ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition

B2.4.10 Data Abort exception
Common Memory System Architecture Features
The DataAbort() function generates a Data Abort exception and is used by both the VMSA and PMSA
architectures. It sets the DFSR to indicate:
the type of the abort, including the distinction between section and page on a VMSA implementation
on a VMSA implementation, the domain, if appropriate
whether the access was a read or write.
For a synchronous abort it also sets the DFAR to the MVA of the abort.
For details of the FSR encoding values see:
Fault Status Register encodings for the VMSA on page B3-50, for a VMSA implementation
Fault Status Register encodings for the PMSA on page B4-19, for a PMSA implementation.
An implementation might also set the IMPLEMENTATION DEFINED ADFSR.
// Data abort types.
enumeration DAbort {DAbort_AccessFlag,
DAbort_Alignment,
DAbort_Background,
DAbort_Domain,
DAbort_Permission,
DAbort_Translation};
DataAbort(bits(32) address, bits(4) domain, boolean sectionnotpage, boolean iswrite, DAbort type)
ARM DDI 0406B Copyright © 1996-1998, 2000, 2004-2008 ARM Limited. All rights reserved. B2-39