Searched defs:ui_p_reg_start (Results 1 - 2 of 2) sorted by relevance
| /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 36 milliseconds