Searched defs:bootinfo (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/libs/libsel4platsupport/src/
H A Dbootinfo.c22 seL4_BootInfo *bootinfo = sel4runtime_bootinfo(); local
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dbootinfo.c22 seL4_BootInfo *bootinfo = sel4runtime_bootinfo(); local
/seL4-refos-master/kernel/libsel4/src/
H A Dsel4_bootinfo.c17 seL4_BootInfo *bootinfo; variable
/seL4-refos-master/libs/libsel4/src/
H A Dsel4_bootinfo.c17 seL4_BootInfo *bootinfo; variable
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.h49 seL4_BootInfo *bootinfo; member in struct:procserv_state
/seL4-refos-master/apps/process_server/src/
H A Dstate.h49 seL4_BootInfo *bootinfo; member in struct:procserv_state

Completed in 102 milliseconds