Searched refs:hsr (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/kernel/include/arch/arm/arch/kernel/
H A Dtraps.h53 void c_handle_vcpu_fault(word_t hsr)
/seL4-refos-master/kernel/src/arch/arm/
H A Dc_traps.c182 VISIBLE NORETURN void c_handle_vcpu_fault(word_t hsr) argument
190 ksKernelEntry.word = hsr;
192 handleVCPUFault(hsr);
/seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h645 static inline bool_t armv_handleVCPUFault(word_t hsr) argument
648 if ((ESR_EC(hsr) == ESR_EC_TFP || ESR_EC(hsr) == ESR_EC_CPACR) && !isFpuEnable()) {
655 if (hsr == UNKNOWN_FAULT) {
/seL4-refos-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h839 static inline bool_t armv_handleVCPUFault(word_t hsr) argument
842 if (hsr == HSR_FPU_FAULT || hsr == HSR_TASE_FAULT) {
/seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h839 static inline bool_t armv_handleVCPUFault(word_t hsr) argument
842 if (hsr == HSR_FPU_FAULT || hsr == HSR_TASE_FAULT) {
/seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h839 static inline bool_t armv_handleVCPUFault(word_t hsr) argument
842 if (hsr == HSR_FPU_FAULT || hsr == HSR_TASE_FAULT) {
/seL4-refos-master/kernel/src/arch/arm/object/
H A Dvcpu.c553 void handleVCPUFault(word_t hsr) argument
556 if (armv_handleVCPUFault(hsr))
560 current_fault = seL4_Fault_VCPUFault_new(hsr);
/seL4-refos-master/kernel/include/arch/arm/arch/object/
H A Dvcpu.h91 void handleVCPUFault(word_t hsr);

Completed in 44 milliseconds