Hi all,

I’m trying to understand the code a little bit more. This is kind of a random 
question. I’m wondering that in a case where we call to allocate a frame using 
allocman library, where is the physical address of a certain region is stored?

In allocman_t there are multiple fields:

    size_t num_utspace_chunks;
    struct allocman_utspace_chunk *utspace_chunk;
    size_t *utspace_chunk_count;
    struct allocman_utspace_allocation **utspace_chunks;

struct allocman_utspace_chunk {
    size_t size_bits;
    seL4_Word type;
    size_t count;

struct allocman_utspace_allocation {
    seL4_Word cookie;
    cspacepath_t slot;

I didn’t find struct that hold the paddr, also after we create a frame where is 
that paddr stored? It is stored in slot.capPtr? Also What does the field cookie 

Best Regards
-Daniel Wang

Devel mailing list

Reply via email to