Searched refs:SYS_IFSR32_EL2 (Results 1 – 2 of 2) sorted by relevance
410 #define SYS_IFSR32_EL2 sys_reg(3, 4, 5, 0, 1) macro
104 case IFSR32_EL2: return read_sysreg_s(SYS_IFSR32_EL2); in vcpu_read_sys_reg()147 case IFSR32_EL2: write_sysreg_s(val, SYS_IFSR32_EL2); return; in vcpu_write_sys_reg()1643 { SYS_DESC(SYS_IFSR32_EL2), NULL, reset_unknown, IFSR32_EL2 },
