Searched defs:hart_id (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/kernel/src/arch/riscv/smp/ |
| H A D | ipi.c | 78 void ipi_send_target(irq_t irq, word_t hart_id) argument
|
| /seL4-test-master/kernel/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-test-master/tools/seL4/elfloader-tool/src/arch-riscv/ |
| H A D | boot.c | 125 static void set_and_wait_for_ready(int hart_id, int core_id) argument
203 void secondary_entry(int hart_id, int core_id) argument
|
| /seL4-test-master/kernel/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 87 milliseconds