Searched refs:IFSR32_EL2 (Results 1 – 3 of 3) sorted by relevance
197 sysreg[IFSR32_EL2] = read_sysreg(ifsr32_el2); in __sysreg32_save_state()219 write_sysreg(sysreg[IFSR32_EL2], ifsr32_el2); in __sysreg32_restore_state()
149 IFSR32_EL2, /* Instruction Fault Status Register */ enumerator169 #define c5_IFSR (IFSR32_EL2 * 2)/* Instruction Fault Status Register */
115 case IFSR32_EL2: return read_sysreg_s(SYS_IFSR32_EL2); in vcpu_read_sys_reg()158 case IFSR32_EL2: write_sysreg_s(val, SYS_IFSR32_EL2); return; in vcpu_write_sys_reg()1458 { SYS_DESC(SYS_IFSR32_EL2), NULL, reset_unknown, IFSR32_EL2 },
