Searched refs:hsr (Results 1 – 9 of 9) sorted by relevance
183 VISIBLE NORETURN void c_handle_vcpu_fault(word_t hsr) in c_handle_vcpu_fault() argument191 ksKernelEntry.word = hsr; in c_handle_vcpu_fault()193 handleVCPUFault(hsr); in c_handle_vcpu_fault()
53 void c_handle_vcpu_fault(word_t hsr)
645 static inline bool_t armv_handleVCPUFault(word_t hsr) in armv_handleVCPUFault() argument648 if ((ESR_EC(hsr) == ESR_EC_TFP || ESR_EC(hsr) == ESR_EC_CPACR) && !isFpuEnable()) { in armv_handleVCPUFault()655 if (hsr == UNKNOWN_FAULT) { in armv_handleVCPUFault()
839 static inline bool_t armv_handleVCPUFault(word_t hsr) in armv_handleVCPUFault() argument842 if (hsr == HSR_FPU_FAULT || hsr == HSR_TASE_FAULT) { in armv_handleVCPUFault()
560 void handleVCPUFault(word_t hsr) in handleVCPUFault() argument563 if (armv_handleVCPUFault(hsr)) in handleVCPUFault()567 current_fault = seL4_Fault_VCPUFault_new(hsr); in handleVCPUFault()
90 void handleVCPUFault(word_t hsr);
218 field hsr 32
210 field hsr 32
Completed in 19 milliseconds