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

/seL4-test-master/kernel/include/
H A Dbootinfo.h13 #define BI_PTR(r) ((seL4_BootInfo*)(r)) macro
/seL4-test-master/kernel/src/kernel/
H A Dboot.c322 ndks_boot.bi_frame = BI_PTR(rootserver.boot_info);
324 BI_PTR(rootserver.boot_info)->nodeID = node_id;
325 BI_PTR(rootserver.boot_info)->numNodes = num_nodes;
326 BI_PTR(rootserver.boot_info)->numIOPTLevels = 0;
327 BI_PTR(rootserver.boot_info)->ipcBuffer = (seL4_IPCBuffer *) ipcbuf_vptr;
328 BI_PTR(rootserver.boot_info)->initThreadCNodeSizeBits = CONFIG_ROOT_CNODE_SIZE_BITS;
329 BI_PTR(rootserver.boot_info)->initThreadDomain = ksDomSchedule[ksDomScheduleIdx].domain;
330 BI_PTR(rootserver.boot_info)->extraLen = extra_bi_size;

Completed in 37 milliseconds