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/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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to