Searched defs:BOOT_BSS (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/
H A Dlinker.h22 #define BOOT_BSS SECTION(".boot.bss") macro
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c21 ndks_boot_t ndks_boot BOOT_BSS; variable
23 rootserver_mem_t rootserver BOOT_BSS; variable
24 static region_t rootserver_mem BOOT_BSS; variable

Completed in 105 milliseconds