Searched refs:HSR_TASE_FAULT (Results 1 - 1 of 1) sorted by relevance
/seL4-mcs-10.1.1/src/arch/arm/object/ | ||
H A D | vcpu.c | 763 #define HSR_TASE_FAULT (0x1fe00020) macro 776 if (hsr == HSR_FPU_FAULT || hsr == HSR_TASE_FAULT) { |
Completed in 67 milliseconds