From 8b0e63f09d795568f736019821a678a4637b9a24 Mon Sep 17 00:00:00 2001 From: Adrian Danis Date: Wed, 30 Nov 2016 11:59:48 +1100 Subject: [PATCH] libsel4: Correct VGIC and VCPU fault types --- libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/faults.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/faults.h b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/faults.h index 1c81e5948..9d59a4bb4 100644 --- a/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/faults.h +++ b/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/faults.h @@ -47,9 +47,9 @@ seL4_getArchFault(seL4_MessageInfo_t tag) seL4_GetMR(seL4_VMFault_FSR)); #ifdef CONFIG_ARM_HYPERVISOR_SUPPORT case seL4_Fault_VGICMaintenance: - return seL4_Fault_VGICMaintenance_new(seL4_GetMR(seL4_Fault_VGICMaintenance_IDX)); + return seL4_Fault_VGICMaintenance_new(seL4_GetMR(seL4_VGICMaintenance_IDX)); case seL4_Fault_VCPUFault: - return seL4_Fault_VCPUFault_new(seL4_GetMR(seL4_Fault_VCPUFault_HSR)); + return seL4_Fault_VCPUFault_new(seL4_GetMR(seL4_VCPUFault_HSR)); #endif /* CONFIG_ARM_HYPERVISOR_SUPPORT */ default: return seL4_Fault_NullFault_new();