Searched refs:bootinfo (Results 1 - 18 of 18) sorted by relevance

/seL4-refos-master/kernel/libsel4/src/
H A Dsel4_bootinfo.c16 /** Consider moving bootinfo into libsel4_startup */
17 seL4_BootInfo *bootinfo; variable
22 bootinfo = bi;
27 return bootinfo;
/seL4-refos-master/libs/libsel4/src/
H A Dsel4_bootinfo.c16 /** Consider moving bootinfo into libsel4_startup */
17 seL4_BootInfo *bootinfo; variable
22 bootinfo = bi;
27 return bootinfo;
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dbootinfo.c21 /* bootinfo was set as an environment variable in _sel4_start */
22 seL4_BootInfo *bootinfo = sel4runtime_bootinfo(); local
23 if (!bootinfo) {
24 ZF_LOGE("Attempted %s in an environment without bootinfo.", __FUNCTION__);
27 return bootinfo;
H A Dcommon.c25 #include <sel4/bootinfo.h>
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dbootinfo.c21 /* bootinfo was set as an environment variable in _sel4_start */
22 seL4_BootInfo *bootinfo = sel4runtime_bootinfo(); local
23 if (!bootinfo) {
24 ZF_LOGE("Attempted %s in an environment without bootinfo.", __FUNCTION__);
27 return bootinfo;
H A Dcommon.c25 #include <sel4/bootinfo.h>
/seL4-refos-master/libs/libsel4platsupport/include/sel4platsupport/
H A Dplatsupport.h20 #include <sel4platsupport/bootinfo.h>
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/include/sel4platsupport/
H A Dplatsupport.h20 #include <sel4platsupport/bootinfo.h>
/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/x86_64/
H A Dcrt0.S38 # setup the bootinfo
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/x86_64/
H A Dcrt0.S38 # setup the bootinfo
/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dsel4.h18 #include <sel4/bootinfo.h>
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dsel4.h18 #include <sel4/bootinfo.h>
/seL4-refos-master/kernel/include/kernel/
H A Dboot.h8 #include <bootinfo.h>
9 #include <arch/bootinfo.h>
/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dmain.c48 #include <sel4platsupport/bootinfo.h>
H A Dstate.h49 seL4_BootInfo *bootinfo; member in struct:procserv_state
/seL4-refos-master/apps/process_server/src/
H A Dmain.c48 #include <sel4platsupport/bootinfo.h>
H A Dstate.h49 seL4_BootInfo *bootinfo; member in struct:procserv_state
/seL4-refos-master/kernel/manual/parts/
H A Dbootup.tex58 \texttt{seL4\_CapBootInfoFrame} & BootInfo frame (see \autoref{ch:bootup:bootinfo}) \\
67 \section{\label{ch:bootup:bootinfo}BootInfo Frame}
98 \texttt{seL4\_Word} & \texttt{extraLen} & length of additional bootinfo information in bytes \\
108 \texttt{seL4\_SlotRegion} & \texttt{extraBIPages} & frames backing additional bootinfo information \\
120 information. If \texttt{extraLen} is greater then zero then 4K after the start of bootinfo
121 is a region of extraLen bytes containing additional bootinfo structures. Each chunk starts

Completed in 109 milliseconds