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_CM (1 << 13)
10 #define FSR_WRITE (1 << 11)
11 #define FSR_FS4 (1 << 10)
12 #define FSR_FS3_0 (15)
13 #define FSR_FS5_0 (0x3f)
15 #ifdef CONFIG_ARM_LPAE
18 static inline int fsr_fs(unsigned int fsr
)
20 return fsr
& FSR_FS5_0
;
25 static inline int fsr_fs(unsigned int fsr
)
27 return (fsr
& FSR_FS3_0
) | (fsr
& FSR_FS4
) >> 6;
31 void do_bad_area(unsigned long addr
, unsigned int fsr
, struct pt_regs
*regs
);
32 void early_abt_enable(void);
34 #endif /* __ARCH_ARM_FAULT_H */