1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __ARCH_ARM_FAULT_H
3 #define __ARCH_ARM_FAULT_H
6 * Fault status register encodings. We steal bit 31 for our own purposes.
8 #define FSR_LNX_PF (1 << 31)
9 #define FSR_WRITE (1 << 11)
10 #define FSR_FS4 (1 << 10)
11 #define FSR_FS3_0 (15)
12 #define FSR_FS5_0 (0x3f)
14 #ifdef CONFIG_ARM_LPAE
17 static inline int fsr_fs(unsigned int fsr
)
19 return fsr
& FSR_FS5_0
;
24 static inline int fsr_fs(unsigned int fsr
)
26 return (fsr
& FSR_FS3_0
) | (fsr
& FSR_FS4
) >> 6;
30 void do_bad_area(unsigned long addr
, unsigned int fsr
, struct pt_regs
*regs
);
31 void early_abt_enable(void);
33 #endif /* __ARCH_ARM_FAULT_H */