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