Searched refs:get_hart_id (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h109 static inline word_t get_hart_id(void) function
121 word_t hart_id = get_hart_id();
128 word_t hart_id = get_hart_id();
138 word_t hart_id = get_hart_id();
154 word_t hart_id = get_hart_id();

Completed in 296 milliseconds