Sorry aside from the comments scattered through various files there is no other documentation. Adrian On Sat 10-Mar-2018 7:06 AM, Vasily A. Sartakov wrote:
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/allocm...) 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?