PMCNTENSET_EL0
mask = __vcpu_sys_reg(vcpu, PMCNTENSET_EL0);
mask &= __vcpu_sys_reg(vcpu, PMCNTENSET_EL0);
if (!(__vcpu_sys_reg(vcpu, PMCNTENSET_EL0) & BIT(pmc->idx)))
__vcpu_rmw_sys_reg(vcpu, PMCNTENSET_EL0, &=, mask);
__vcpu_rmw_sys_reg(vcpu, PMCNTENSET_EL0, |=, val);
__vcpu_rmw_sys_reg(vcpu, PMCNTENSET_EL0, &=, ~val);
p->regval = __vcpu_sys_reg(vcpu, PMCNTENSET_EL0);
{ PMU_SYS_REG(PMCNTENSET_EL0),
.access = access_pmcnten, .reg = PMCNTENSET_EL0,
.access = access_pmcnten, .reg = PMCNTENSET_EL0,