Searched refs:ipcbuf_vptr (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | bug_mvt20110302.c | 26 vptr_t ipcbuf_vptr; member in struct:create_ipcbuf_frame_ret
|
| /seL4-l4v-10.1.1/seL4/include/kernel/ |
| H A D | boot.h | 67 pptr_t allocate_bi_frame(node_id_t node_id, word_t num_nodes, vptr_t ipcbuf_vptr);
89 vptr_t ipcbuf_vptr,
99 vptr_t ipcbuf_vptr,
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/ |
| H A D | boot.c | 376 vptr_t ipcbuf_vptr; local
385 ipcbuf_vptr = ui_v_reg.end;
386 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS);
432 bi_frame_pptr = allocate_bi_frame(0, CONFIG_MAX_NUM_NODES, ipcbuf_vptr);
463 ipcbuf_cap = create_ipcbuf_frame(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
506 ipcbuf_vptr,
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | boot.c | 252 vptr_t ipcbuf_vptr; local
261 ipcbuf_vptr = ui_v_reg.end;
262 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS);
297 bi_frame_pptr = allocate_bi_frame(0, CONFIG_MAX_NUM_NODES, ipcbuf_vptr);
318 ipcbuf_cap = create_ipcbuf_frame(root_cnode_cap, it_pd_cap, ipcbuf_vptr);
356 ipcbuf_vptr,
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot.c | 263 vptr_t ipcbuf_vptr; local
285 ipcbuf_vptr = ui_v_reg.end;
286 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS);
334 bi_frame_pptr = allocate_bi_frame(0, ksNumCPUs, ipcbuf_vptr);
427 ipcbuf_cap = create_ipcbuf_frame(root_cnode_cap, it_vspace_cap, ipcbuf_vptr);
463 ipcbuf_vptr,
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | boot.c | 272 vptr_t ipcbuf_vptr
292 BI_PTR(pptr)->ipcBuffer = (seL4_IPCBuffer *) ipcbuf_vptr;
406 vptr_t ipcbuf_vptr,
449 tcb->tcbIPCBuffer = ipcbuf_vptr;
452 Arch_setTCBIPCBuffer(tcb, ipcbuf_vptr);
401 create_initial_thread( cap_t root_cnode_cap, cap_t it_pd_cap, vptr_t ui_v_entry, vptr_t bi_frame_vptr, vptr_t ipcbuf_vptr, cap_t ipcbuf_cap ) argument
|
Completed in 46 milliseconds