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

/seL4-refos-master/kernel/libsel4/src/
H A Dsel4_bootinfo.c20 void seL4_InitBootInfo(seL4_BootInfo *bi) function
/seL4-refos-master/libs/libsel4/src/
H A Dsel4_bootinfo.c20 void seL4_InitBootInfo(seL4_BootInfo *bi) function

Completed in 24 milliseconds