Searched refs:BI_PTR (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/
H A Dbootinfo.h18 #define BI_PTR(r) ((seL4_BootInfo*)(r)) macro
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c286 ndks_boot.bi_frame = BI_PTR(pptr);
289 BI_PTR(pptr)->nodeID = node_id;
290 BI_PTR(pptr)->numNodes = num_nodes;
291 BI_PTR(pptr)->numIOPTLevels = 0;
292 BI_PTR(pptr)->ipcBuffer = (seL4_IPCBuffer *) ipcbuf_vptr;
293 BI_PTR(pptr)->initThreadCNodeSizeBits = CONFIG_ROOT_CNODE_SIZE_BITS;
294 BI_PTR(pptr)->initThreadDomain = ksDomSchedule[ksDomScheduleIdx].domain;
295 BI_PTR(pptr)->extraLen = 0;
296 BI_PTR(pptr)->extraBIPages.start = 0;
297 BI_PTR(ppt
[all...]

Completed in 34 milliseconds