Searched refs:getFaultStatus (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/arch/arm/machine/ | ||
H A D | debug.c | 996 static fault_status_t getFaultStatus(word_t hsr_or_fsr) function 1040 fs = getFaultStatus(hsr_or_fsr); |
Completed in 39 milliseconds