Searched refs:MID_LEVEL_STRUCTURES_SIZE (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c37 #define MID_LEVEL_STRUCTURES_SIZE (NUM_MID_LEVEL_STRUCTURES * sizeof(vspace_mid_level_t)) macro
39 #define VSPACE_RESERVE_SIZE (MID_LEVEL_STRUCTURES_SIZE + BOTTOM_LEVEL_STRUCTURES_SIZE + sizeof(vspace_mid_level_t))
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c37 #define MID_LEVEL_STRUCTURES_SIZE (NUM_MID_LEVEL_STRUCTURES * sizeof(vspace_mid_level_t)) macro
39 #define VSPACE_RESERVE_SIZE (MID_LEVEL_STRUCTURES_SIZE + BOTTOM_LEVEL_STRUCTURES_SIZE + sizeof(vspace_mid_level_t))

Completed in 76 milliseconds