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

/seL4-mcs-10.1.1/libsel4/src/
H A Dsel4_bootinfo.c15 /** Consider moving bootinfo into libsel4_startup */
16 seL4_BootInfo* bootinfo; variable
21 bootinfo = bi;
23 seL4_SetUserData((seL4_Word)bootinfo->ipcBuffer);
28 return bootinfo;
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dsel4.h26 #include <sel4/bootinfo.h>
/seL4-mcs-10.1.1/include/kernel/
H A Dboot.h14 #include <bootinfo.h>
/seL4-mcs-10.1.1/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 96 milliseconds