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

/seL4-test-master/kernel/include/
H A Dbootinfo.h15 #define BI_FRAME_SIZE_BITS PAGE_BITS macro
19 compile_assert(bi_size, sizeof(seL4_BootInfo) <= BIT(BI_FRAME_SIZE_BITS))
/seL4-test-master/kernel/src/kernel/
H A Dboot.c316 clearMemory((void *) rootserver.boot_info, BI_FRAME_SIZE_BITS);

Completed in 74 milliseconds