Searched refs:STIMER_IE (Results 1 - 1 of 1) sorted by relevance
/seL4-refos-master/kernel/src/arch/riscv/machine/ | ||
H A D | hardware.c | 19 #define STIMER_IE 5 macro 196 clear_sie_mask(BIT(STIMER_IE)); 198 set_sie_mask(BIT(STIMER_IE)); 282 sie |= BIT(STIMER_IE); |
Completed in 82 milliseconds