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

/seL4-refos-master/kernel/src/arch/riscv/machine/
H A Dhardware.c186 * core timer on the sie register or masks an external IRQ at the plic.
280 word_t sie = 0; local
281 sie |= BIT(SEXTERNAL_IE);
282 sie |= BIT(STIMER_IE);
286 sie |= BIT(SIPI_IE);
289 set_sie_mask(sie);

Completed in 33 milliseconds