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

aarch64: Add missing faults to seL4_getArchFault

Browse source 
seL4_getArchFault is a libsel4 helper that constructs fault messages out
of the IPC buffer message registers. Aarch64 was missing a few types.
This commit is contained in:
Kent McLeod 2019-10-15 16:56:52 +11:00 committed by Kent Mcleod
parent 7409fa1de5
commit 4cb3414def
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/faults.h
View file

@ -46,6 +46,12 @@ LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag)
seL4_GetMR(seL4_VMFault_Addr),
seL4_GetMR(seL4_VMFault_PrefetchFault),
seL4_GetMR(seL4_VMFault_FSR));
#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
case seL4_Fault_VGICMaintenance:
return seL4_Fault_VGICMaintenance_new(seL4_GetMR(seL4_VGICMaintenance_IDX));
case seL4_Fault_VCPUFault:
return seL4_Fault_VCPUFault_new(seL4_GetMR(seL4_VCPUFault_HSR));
#endif /* CONFIG_ARM_HYPERVISOR_SUPPORT */
#ifdef CONFIG_KERNEL_MCS
case seL4_Fault_Timeout:
return seL4_Fault_Timeout_new(seL4_GetMR(seL4_Timeout_Data),