__vcpu_sys_reg
(__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_E2H));
hcr = __vcpu_sys_reg(vcpu, HCR_EL2);
(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_TMEA);
u64 hcr_el2 = __vcpu_sys_reg(vcpu, HCR_EL2);
return __vcpu_sys_reg(vcpu, MPIDR_EL1) & MPIDR_HWID_BITMASK;
u64 cptr = __vcpu_sys_reg(vcpu, CPTR_EL2);
(!!(__vcpu_sys_reg(vcpu, OSLSR_EL1) & OSLSR_EL1_OSLK))
return __vcpu_sys_reg(vcpu, CNTV_CTL_EL0);
return __vcpu_sys_reg(vcpu, CNTP_CTL_EL0);
return __vcpu_sys_reg(vcpu, CNTHV_CTL_EL2);
return __vcpu_sys_reg(vcpu, CNTHP_CTL_EL2);
u64 val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);
return __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0);
return __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);
return __vcpu_sys_reg(vcpu, CNTHV_CVAL_EL2);
return __vcpu_sys_reg(vcpu, CNTHP_CVAL_EL2);
val = __vcpu_sys_reg(vcpu, HCR_EL2);
!(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_TCR2En))
hcr = __vcpu_sys_reg(vcpu, HCR_EL2);
if (__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_FWB) {
if ((__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_CD) &&
(__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_DC)) {
u64 nested = __vcpu_sys_reg(vcpu, reg);
val = __vcpu_sys_reg(vcpu, tb->index);
val = __vcpu_sys_reg(vcpu, sr);
tmp = __vcpu_sys_reg(vcpu, HCRX_EL2);
(__vcpu_sys_reg(vcpu, reg) & control_bit)) {
elr = __vcpu_sys_reg(vcpu, ELR_EL2);
!(__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_IMO))
if (__vcpu_sys_reg(vcpu, SCTLR2_EL2) & SCTLR2_EL1_EASE)
u64 val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);
val = __vcpu_sys_reg(vcpu, HCR_EL2);
!(__vcpu_sys_reg(vcpu, CNTHCTL_EL2) & CNTHCTL_EL1NVPCT))
!(__vcpu_sys_reg(vcpu, CNTHCTL_EL2) & CNTHCTL_EL1NVVCT))
u64 val = __vcpu_sys_reg(vcpu, CPTR_EL2);
u64 hcrx = __vcpu_sys_reg(vcpu, HCRX_EL2);
fwd &= (__vcpu_sys_reg(vcpu, HFGITR2_EL2) & HFGITR2_EL2_TSBCSYNC);
fwd &= (__vcpu_sys_reg(vcpu, HFGITR_EL2) & HFGITR_EL2_PSBCSYNC);
return __vcpu_sys_reg(vcpu, reg);
u64 val = __vcpu_sys_reg(vcpu, HCRX_EL2);
vsesr = __vcpu_sys_reg(vcpu, VSESR_EL2);
sve_cond_update_zcr_vq(__vcpu_sys_reg(vcpu, ZCR_EL2), SYS_ZCR_EL2);
write_sysreg_el1(__vcpu_sys_reg(vcpu, vcpu_sve_zcr_elx(vcpu)), SYS_ZCR);
zcr_el2 = __vcpu_sys_reg(vcpu, ZCR_EL2);
zcr_el1 = __vcpu_sys_reg(vcpu, vcpu_sve_zcr_elx(vcpu));
write_sysreg_s(__vcpu_sys_reg(vcpu, FPMR), SYS_FPMR);
write_sysreg(__vcpu_sys_reg(vcpu, FPEXC32_EL2), fpexc32_el2);
val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);
val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);
write_sysreg(__vcpu_sys_reg(vcpu, DACR32_EL2), dacr32_el2);
write_sysreg(__vcpu_sys_reg(vcpu, IFSR32_EL2), ifsr32_el2);
write_sysreg(__vcpu_sys_reg(vcpu, DBGVCR32_EL2), dbgvcr32_el2);
ich_hcr = __vcpu_sys_reg(vcpu, ICH_HCR_EL2);
(__vcpu_sys_reg(vcpu, HFGRTR_EL2) & HFGRTR_EL2_ICC_IGRPENn_EL1))
(__vcpu_sys_reg(vcpu, HFGWTR_EL2) & HFGWTR_EL2_ICC_IGRPENn_EL1))
(__vcpu_sys_reg(vcpu, HFGRTR_EL2) & HFGRTR_EL2_ICC_IGRPENn_EL1))
(__vcpu_sys_reg(vcpu, HFGWTR_EL2) & HFGWTR_EL2_ICC_IGRPENn_EL1))
val = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);
val = __vcpu_sys_reg(vcpu, CNTHP_CVAL_EL2);
cval = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);
ctl = __vcpu_sys_reg(vcpu, CNTP_CTL_EL0);
cval = __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0);
ctl = __vcpu_sys_reg(vcpu, CNTV_CTL_EL0);
val = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);
val = __vcpu_sys_reg(vcpu, CNTP_CVAL_EL0);
val = __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0);
val = __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0);
if ((__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_NV) ||
(__vcpu_sys_reg(vcpu, HFGITR_EL2) & HFGITR_EL2_ERET))
vcpu_set_reg(vcpu, rt, __vcpu_sys_reg(vcpu, CPTR_EL2));
guest_hcr = __vcpu_sys_reg(vcpu, HCR_EL2);
va |= __vcpu_sys_reg(vcpu, VNCR_EL2) & GENMASK(PAGE_SHIFT - 1, 0);
write_sysreg_el1(__vcpu_sys_reg(vcpu, SCTLR_EL2), SYS_SCTLR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, CPTR_EL2), SYS_CPACR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, TTBR0_EL2), SYS_TTBR0);
write_sysreg_el1(__vcpu_sys_reg(vcpu, TTBR1_EL2), SYS_TTBR1);
write_sysreg_el1(__vcpu_sys_reg(vcpu, TCR_EL2), SYS_TCR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, CNTHCTL_EL2), SYS_CNTKCTL);
val = translate_sctlr_el2_to_sctlr_el1(__vcpu_sys_reg(vcpu, SCTLR_EL2));
val = translate_cptr_el2_to_cpacr_el1(__vcpu_sys_reg(vcpu, CPTR_EL2));
val = translate_ttbr0_el2_to_ttbr0_el1(__vcpu_sys_reg(vcpu, TTBR0_EL2));
val = translate_tcr_el2_to_tcr_el1(__vcpu_sys_reg(vcpu, TCR_EL2));
write_sysreg_el1(__vcpu_sys_reg(vcpu, TCR2_EL2), SYS_TCR2);
write_sysreg_el1(__vcpu_sys_reg(vcpu, PIR_EL2), SYS_PIR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, PIRE0_EL2), SYS_PIRE0);
write_sysreg_el1(__vcpu_sys_reg(vcpu, POR_EL2), SYS_POR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, ESR_EL2), SYS_ESR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, AFSR0_EL2), SYS_AFSR0);
write_sysreg_el1(__vcpu_sys_reg(vcpu, AFSR1_EL2), SYS_AFSR1);
write_sysreg_el1(__vcpu_sys_reg(vcpu, FAR_EL2), SYS_FAR);
write_sysreg(__vcpu_sys_reg(vcpu, SP_EL2), sp_el1);
write_sysreg_el1(__vcpu_sys_reg(vcpu, ELR_EL2), SYS_ELR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, SPSR_EL2), SYS_SPSR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, SCTLR2_EL2), SYS_SCTLR2);
write_sysreg(__vcpu_sys_reg(vcpu, PAR_EL1), par_el1);
write_sysreg(__vcpu_sys_reg(vcpu, TPIDR_EL1), tpidr_el1);
write_sysreg(__vcpu_sys_reg(vcpu, MPIDR_EL1), vmpidr_el2);
write_sysreg_el1(__vcpu_sys_reg(vcpu, MAIR_EL2), SYS_MAIR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, VBAR_EL2), SYS_VBAR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, CONTEXTIDR_EL2), SYS_CONTEXTIDR);
write_sysreg_el1(__vcpu_sys_reg(vcpu, AMAIR_EL2), SYS_AMAIR);
if (__vcpu_sys_reg(vcpu, HCR_EL2) & (HCR_TGE | HCR_TEA))
(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_TMEA);
if (!(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_TMEA))
!(__vcpu_sys_reg(vcpu, HCRX_EL2) & HCRX_EL2_SCTLR2En))
return (u64)sign_extend64(__vcpu_sys_reg(vcpu, VNCR_EL2), 48);
u64 guest_mdcr = __vcpu_sys_reg(vcpu, MDCR_EL2);
if (__vcpu_sys_reg(vcpu, HCR_EL2) & HCR_NV)
ikey.lo = __vcpu_sys_reg(vcpu, APIBKEYLO_EL1);
ikey.hi = __vcpu_sys_reg(vcpu, APIBKEYHI_EL1);
ikey.lo = __vcpu_sys_reg(vcpu, APIAKEYLO_EL1);
ikey.hi = __vcpu_sys_reg(vcpu, APIAKEYHI_EL1);
mod = __vcpu_sys_reg(vcpu, SP_EL2);
return __vcpu_sys_reg(vcpu, MDCR_EL2) & MDCR_EL2_HLP;
u64 val = __vcpu_sys_reg(vcpu, MDCR_EL2);
return __vcpu_sys_reg(kvm_pmc_to_vcpu(pmc), counter_index_to_evtreg(pmc->idx));
u64 pmcr = __vcpu_sys_reg(vcpu, PMCR_EL0);
n = FIELD_GET(MDCR_EL2_HPMN, __vcpu_sys_reg(vcpu, MDCR_EL2));
mask = __vcpu_sys_reg(vcpu, PMCNTENSET_EL0);
counter = __vcpu_sys_reg(vcpu, reg);
val = __vcpu_sys_reg(vcpu, reg) & GENMASK(63, 32);
hpmn = SYS_FIELD_GET(MDCR_EL2, HPMN, __vcpu_sys_reg(vcpu, MDCR_EL2));
u64 reg = __vcpu_sys_reg(vcpu, PMOVSSET_EL0);
reg &= __vcpu_sys_reg(vcpu, PMINTENSET_EL1);
mask &= __vcpu_sys_reg(vcpu, PMCNTENSET_EL0);
type = __vcpu_sys_reg(vcpu, counter_index_to_evtreg(i));
reg = __vcpu_sys_reg(vcpu, counter_index_to_reg(i)) + 1;
if ((__vcpu_sys_reg(vcpu, PMCR_EL0) ^ val) & ARMV8_PMU_PMCR_E)
unsigned int mdcr = __vcpu_sys_reg(vcpu, MDCR_EL2);
if (!(__vcpu_sys_reg(vcpu, PMCNTENSET_EL0) & BIT(pmc->idx)))
u64 mdcr = __vcpu_sys_reg(vcpu, MDCR_EL2);
p->regval = __vcpu_sys_reg(vcpu, PMSELR_EL0)
__vcpu_sys_reg(vcpu, PMSELR_EL0));
idx = SYS_FIELD_GET(PMSELR_EL0, SEL, __vcpu_sys_reg(vcpu, PMSELR_EL0));
p->regval = __vcpu_sys_reg(vcpu, reg);
*val = __vcpu_sys_reg(vcpu, r->reg) & mask;
p->regval = __vcpu_sys_reg(vcpu, PMCNTENSET_EL0);
p->regval = __vcpu_sys_reg(vcpu, PMINTENSET_EL1);
p->regval = __vcpu_sys_reg(vcpu, PMOVSSET_EL0);
p->regval = __vcpu_sys_reg(vcpu, PMUSERENR_EL0)
*val = __vcpu_sys_reg(vcpu, rd->reg);
p->regval = __vcpu_sys_reg(vcpu, r->reg);
return __vcpu_sys_reg(vcpu, r->reg);
p->regval = __vcpu_sys_reg(vcpu, SP_EL1);
p->regval = __vcpu_sys_reg(vcpu, SPSR_EL1);
p->regval = __vcpu_sys_reg(vcpu, CNTKCTL_EL1);
return __vcpu_sys_reg(vcpu, r->reg);
p->regval = __vcpu_sys_reg(vcpu, ZCR_EL2);
u64 hpmn, val, old = __vcpu_sys_reg(vcpu, MDCR_EL2);
val |= __vcpu_sys_reg(vcpu, reg) & ~CNTKCTL_VALID_BITS;
return __vcpu_sys_reg(vcpu, reg);
get_vmid(__vcpu_sys_reg(vcpu, VTTBR_EL2)),
val = __vcpu_sys_reg(vcpu, r->reg);
p->regval = __vcpu_sys_reg(vcpu, r->reg);
return __vcpu_sys_reg(vcpu, r->reg);
return __vcpu_sys_reg(vcpu, r->reg);
return __vcpu_sys_reg(vcpu, r->reg);
return __vcpu_sys_reg(vcpu, r->reg);
return __vcpu_sys_reg(vcpu, r->reg);
u64 reg = __vcpu_sys_reg(vcpu, PMUSERENR_EL0);
return __vcpu_sys_reg(vcpu, r->reg);
return __vcpu_sys_reg(vcpu, r->reg);
__entry->hcr_el2 = __vcpu_sys_reg(vcpu, HCR_EL2);
__entry->hcr_el2 = __vcpu_sys_reg(vcpu, HCR_EL2);
*val = __vcpu_sys_reg(vcpu, r->reg);
xmo = __vcpu_sys_reg(vcpu, HCR_EL2) & (HCR_IMO | HCR_FMO);
u64 lr = __vcpu_sys_reg(vcpu, ICH_LRN(i));
hcr = __vcpu_sys_reg(vcpu, ICH_HCR_EL2);
vmcr = __vcpu_sys_reg(vcpu, ICH_VMCR_EL2);
if (__vcpu_sys_reg(vcpu, ICH_HCR_EL2) & ICH_HCR_EL2_UIE) {
u64 lr = __vcpu_sys_reg(vcpu, ICH_LRN(i));
u64 val = __vcpu_sys_reg(vcpu, ICH_HCR_EL2);
lr = __vcpu_sys_reg(vcpu, ICH_LRN(i));
s_cpu_if->vgic_hcr = __vcpu_sys_reg(vcpu, ICH_HCR_EL2);
s_cpu_if->vgic_vmcr = __vcpu_sys_reg(vcpu, ICH_VMCR_EL2);
s_cpu_if->vgic_ap0r[i] = __vcpu_sys_reg(vcpu, ICH_AP0RN(i));
s_cpu_if->vgic_ap1r[i] = __vcpu_sys_reg(vcpu, ICH_AP1RN(i));
level = (__vcpu_sys_reg(vcpu, ICH_HCR_EL2) & ICH_HCR_EL2_En) && vgic_v3_get_misr(vcpu);