vcpu_read_sys_reg
sctlr = vcpu_read_sys_reg(vcpu, r);
return vcpu_read_sys_reg(vcpu, r) & bit;
u64 vcpu_read_sys_reg(const struct kvm_vcpu *, enum vcpu_sysreg);
return (vcpu_read_sys_reg(vcpu, reg) & cache_bits) == cache_bits;
#define perm_idx(v, r, i) ((vcpu_read_sys_reg((v), (r)) >> ((i) * 4)) & 0xf)
return vcpu_read_sys_reg(vcpu, TCR2_EL1);
return vcpu_read_sys_reg(vcpu, TCR2_EL2);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, TTBR0_EL1), SYS_TTBR0);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, TTBR1_EL1), SYS_TTBR1);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, TCR_EL1), SYS_TCR);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, MAIR_EL1), SYS_MAIR);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, TCR2_EL1), SYS_TCR2);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, PIR_EL1), SYS_PIR);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, PIRE0_EL1), SYS_PIRE0);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, POR_EL1), SYS_POR);
write_sysreg_s(vcpu_read_sys_reg(vcpu, POR_EL0), SYS_POR_EL0);
write_sysreg_el1(vcpu_read_sys_reg(vcpu, SCTLR_EL1), SYS_SCTLR);
par = vcpu_read_sys_reg(vcpu, PAR_EL1);
!(vcpu_read_sys_reg(vcpu, HCR_EL2) & (HCR_VM | HCR_DC)))
sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1);
tcr = vcpu_read_sys_reg(vcpu, TCR_EL1);
vcpu_read_sys_reg(vcpu, TTBR1_EL1) :
vcpu_read_sys_reg(vcpu, TTBR0_EL1));
sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2);
tcr = vcpu_read_sys_reg(vcpu, TCR_EL2);
vcpu_read_sys_reg(vcpu, TTBR1_EL2) :
vcpu_read_sys_reg(vcpu, TTBR0_EL2));
vcpu_read_sys_reg(vcpu, MAIR_EL1) :
vcpu_read_sys_reg(vcpu, MAIR_EL2));
vcpu_read_sys_reg(vcpu, SCTLR_EL1) :
vcpu_read_sys_reg(vcpu, SCTLR_EL2));
sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1);
sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2);
wxn = (vcpu_read_sys_reg(vcpu, SCTLR_EL2) & SCTLR_ELx_WXN);
wxn = (vcpu_read_sys_reg(vcpu, SCTLR_EL1) & SCTLR_ELx_WXN);
u64 mdscr = vcpu_read_sys_reg(vcpu, MDSCR_EL1) & ~(MDSCR_EL1_SS |
mdscr = vcpu_read_sys_reg(vcpu, MDSCR_EL1);
spsr = vcpu_read_sys_reg(vcpu, SPSR_EL2);
if (vcpu_read_sys_reg(vcpu, HCR_EL2) & HCR_HCD)
return vcpu_read_sys_reg(vcpu, reg);
if (vcpu_read_sys_reg(vcpu, TCR_EL1) & TTBCR_EAE) {
far = vcpu_read_sys_reg(vcpu, FAR_EL1);
if (is_nested_ctxt(vcpu) && (vcpu_read_sys_reg(vcpu, HCR_EL2) & HCR_VM))
esr = vcpu_read_sys_reg(vcpu, exception_esr_elx(vcpu));
!(vcpu_read_sys_reg(vcpu, TCR_EL1) & TTBCR_EAE))
esr = vcpu_read_sys_reg(vcpu, exception_esr_elx(vcpu));
sctlr2 = vcpu_read_sys_reg(vcpu, SCTLR2_EL1);
sctlr2 = vcpu_read_sys_reg(vcpu, SCTLR2_EL2);
u64 vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2);
wi.baddr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);
wi.be = vcpu_read_sys_reg(vcpu, SCTLR_EL2) & SCTLR_ELx_EE;
vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);
vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2);
hcr = vcpu_read_sys_reg(vcpu, HCR_EL2);
s2_mmu->tlb_vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2) & ~VTTBR_CNP_BIT;
s2_mmu->tlb_vtcr = vcpu_read_sys_reg(vcpu, VTCR_EL2);
s2_mmu->nested_stage2_enabled = vcpu_read_sys_reg(vcpu, HCR_EL2) & HCR_VM;
tcr = vcpu_read_sys_reg(vcpu, TCR_EL1);
tcr = vcpu_read_sys_reg(vcpu, TCR_EL2);
asid = FIELD_GET(TTBRx_EL1_ASID, vcpu_read_sys_reg(vcpu, ttbr_elx));
u64 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL2);
*elr = ptr = vcpu_read_sys_reg(vcpu, ELR_EL2);
u64 tcr = vcpu_read_sys_reg(vcpu, TCR_EL2);
u64 tcr = vcpu_read_sys_reg(vcpu, TCR_EL2);
if (!(vcpu_read_sys_reg(vcpu, MDCR_EL2) & MDCR_EL2_HPME))
p->regval = vcpu_read_sys_reg(vcpu, reg);
csselr = vcpu_read_sys_reg(vcpu, CSSELR_EL1);
p->regval = vcpu_read_sys_reg(vcpu, ELR_EL1);
vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);
u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);
u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);
p->regval = vcpu_read_sys_reg(vcpu, r->reg);
val = vcpu_read_sys_reg(vcpu, r->reg);
p->regval = (vcpu_read_sys_reg(vcpu, r->reg) & mask) >> shift;