Searched refs:bi_frame_vptr (Results 1 - 5 of 5) sorted by relevance
| /seL4-mcs-10.1.1/include/kernel/ |
| H A D | boot.h | 92 vptr_t bi_frame_vptr
100 vptr_t bi_frame_vptr,
|
| /seL4-mcs-10.1.1/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
509 bi_frame_vptr,
|
| /seL4-mcs-10.1.1/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-mcs-10.1.1/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);
412 bi_frame_vptr
467 bi_frame_vptr,
|
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | boot.c | 452 vptr_t bi_frame_vptr,
500 setRegister(tcb, capRegister, bi_frame_vptr);
448 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 88 milliseconds