read_sysreg_el2
*vcpu_pc(vcpu) = read_sysreg_el2(SYS_ELR);
vcpu_gp_regs(vcpu)->pstate = read_sysreg_el2(SYS_SPSR);
write_sysreg_el2(read_sysreg_el2(SYS_ELR) + 4, SYS_ELR);
fault->far_el2 = read_sysreg_el2(SYS_FAR);
*vcpu_pc(vcpu) = read_sysreg_el2(SYS_ELR);
ESR_ELx_EC(read_sysreg_el2(SYS_ESR)) == ESR_ELx_EC_PAC)
vcpu->arch.ctxt.regs.pstate = read_sysreg_el2(SYS_SPSR);
vcpu->arch.fault.esr_el2 = read_sysreg_el2(SYS_ESR);
write_sysreg_el2(read_sysreg_el2(SYS_ELR) - 4, SYS_ELR);
ctxt->regs.pc = read_sysreg_el2(SYS_ELR);
ctxt->regs.pstate = read_sysreg_el2(SYS_SPSR);
tmp = read_sysreg_el2(SYS_SCTLR);
u64 esr = read_sysreg_el2(SYS_ESR);
spsr_el1 = spsr_el2 = read_sysreg_el2(SYS_SPSR);
write_sysreg_el1(read_sysreg_el2(SYS_FAR), SYS_FAR);
write_sysreg_el1(read_sysreg_el2(SYS_ELR), SYS_ELR);
u64 esr = read_sysreg_el2(SYS_ESR);
esr = read_sysreg_el2(SYS_ESR);
spsr = read_sysreg_el2(SYS_SPSR);
esr = read_sysreg_el2(SYS_ESR);
u64 spsr = read_sysreg_el2(SYS_SPSR);
u64 elr = read_sysreg_el2(SYS_ELR);
*vcpu_pc(vcpu) = read_sysreg_el2(SYS_ELR);
*vcpu_cpsr(vcpu) = read_sysreg_el2(SYS_SPSR);
write_sysreg_el1(read_sysreg_el2(SYS_ELR), SYS_ELR);
return !!(read_sysreg_el2(SYS_SPSR) & PSR_AA32_E_BIT);
read_sysreg_el2(SYS_ESR), read_sysreg_el2(SYS_FAR),
u64 spsr = read_sysreg_el2(SYS_SPSR);
u64 elr = read_sysreg_el2(SYS_ELR);