Searched defs:hart_id (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/seL4/src/arch/riscv/smp/ |
H A D | ipi.c | 78 void ipi_send_target(irq_t irq, word_t hart_id) argument
|
/seL4-l4v-master/seL4/src/arch/riscv/kernel/ |
H A D | boot.c | 162 BOOT_CODE static bool_t try_init_kernel_secondary_core(word_t hart_id, word_t core_id) 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-l4v-master/seL4/include/drivers/irq/ |
H A D | riscv_plic0.h | 79 static inline word_t plic_enable_offset(word_t hart_id, word_t context_id) argument 86 static inline word_t plic_thres_offset(word_t hart_id, word_t context_id) argument 92 static inline word_t plic_claim_offset(word_t hart_id, word_t context_id) argument 121 word_t hart_id = get_hart_id(); local 128 word_t hart_id = get_hart_id(); local 138 word_t hart_id = get_hart_id(); local 154 word_t hart_id = get_hart_id(); local [all...] |
Completed in 80 milliseconds