Searched refs:STIMER_IP (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/arch/riscv/machine/ | ||
H A D | hardware.c | 18 #define STIMER_IP 5 macro 110 } else if (sip & BIT(STIMER_IP)) { 178 return (sip & (BIT(STIMER_IP) | BIT(SEXTERNAL_IP))); |
Completed in 74 milliseconds