Searched defs:pv_offset (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | boot.h | 22 sword_t pv_offset; /* UI virtual address + pv_offset = UI physical address */ member in struct:ui_info
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | boot.c | 190 try_init_kernel( paddr_t ui_p_reg_start, paddr_t ui_p_reg_end, uint32_t pv_offset, vptr_t v_entry, paddr_t dtb_addr_start, paddr_t dtb_addr_end ) argument 407 init_kernel( paddr_t ui_p_reg_start, paddr_t ui_p_reg_end, sword_t pv_offset, vptr_t v_entry, paddr_t dtb_addr_p, uint32_t dtb_size , word_t hart_id, word_t core_id ) argument
|
/seL4-camkes-master/kernel/src/arch/arm/kernel/ |
H A D | boot.c | 309 try_init_kernel( paddr_t ui_p_reg_start, paddr_t ui_p_reg_end, sword_t pv_offset, vptr_t v_entry, paddr_t dtb_addr_start, paddr_t dtb_addr_end ) argument 569 init_kernel( paddr_t ui_p_reg_start, paddr_t ui_p_reg_end, sword_t pv_offset, vptr_t v_entry, paddr_t dtb_addr_p, uint32_t dtb_size ) argument
|
Completed in 47 milliseconds