Searched refs:bi_frame_vptr (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/kernel/ |
| H A D | boot.h | 90 vptr_t bi_frame_vptr
98 vptr_t bi_frame_vptr,
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/ |
| H A D | boot.c | 375 vptr_t bi_frame_vptr; local
386 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS);
390 it_v_reg.end = bi_frame_vptr + BIT(PAGE_BITS);
459 bi_frame_vptr
505 bi_frame_vptr,
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | boot.c | 251 vptr_t bi_frame_vptr; local
262 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS);
266 it_v_reg.end = bi_frame_vptr + BIT(PAGE_BITS);
314 bi_frame_vptr
355 bi_frame_vptr,
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot.c | 262 vptr_t bi_frame_vptr; local
286 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS);
287 extra_bi_frame_vptr = bi_frame_vptr + BIT(PAGE_BITS);
409 bi_frame_vptr
462 bi_frame_vptr,
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | boot.c | 405 vptr_t bi_frame_vptr,
454 setRegister(tcb, capRegister, bi_frame_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 49 milliseconds