Searched refs:SEXTERNAL_IP (Results 1 - 1 of 1) sorted by relevance
| /seL4-refos-master/kernel/src/arch/riscv/machine/ | ||
| H A D | hardware.c | 21 #define SEXTERNAL_IP 9 macro 103 if (sip & BIT(SEXTERNAL_IP)) { 178 return (sip & (BIT(STIMER_IP) | BIT(SEXTERNAL_IP))); |
Completed in 70 milliseconds