Hello > > The physical address is not necessarily stored anywhere, as this is dependent > on the specific untyped manager. There is an interface function > `allocman_utspace_paddr` > (https://github.com/seL4/seL4_libs/blob/master/libsel4allocman/include/allocman/allocman.h#L410) > that will call into the attached untyped manager and ask it for the physical > address. This relies on allocman having been told about the physical > addresses of untypeds to begin with.
A time ago, I had several problems with a debugging of memory allocation, and, while most of them are fixed, still do not have the clear understanding how this stuff works. do you have any structured documentation about allocman? _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
