portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

libsel4: Correct VGIC and VCPU fault types

Browse source
This commit is contained in:
Adrian Danis 2016-11-30 11:59:48 +11:00
parent fe0f417789
commit 8b0e63f09d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/faults.h
View file

@ -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();