Searched refs:FAR_EL2 (Results 1 – 4 of 4) sorted by relevance
90 vcpu_write_sys_reg(vcpu, addr, FAR_EL2); in inject_abt64()
2450 EL2_REG(FAR_EL2, access_rw, reset_val, 0),
393 FAR_EL2, /* Fault Address Register (EL2) */ enumerator
2365 Sysreg FAR_EL2 3 4 6 0 0