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

/seL4-l4v-10.1.1/seL4/include/
H A Dbootinfo.h20 #define BI_FRAME_SIZE_BITS PAGE_BITS macro
24 compile_assert(bi_size, sizeof(seL4_BootInfo) <= BIT(BI_FRAME_SIZE_BITS))
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c278 pptr = alloc_region(BI_FRAME_SIZE_BITS);
283 clearMemory((void*)pptr, BI_FRAME_SIZE_BITS);

Completed in 38 milliseconds