PMSELR_EL0
__vcpu_sys_reg(vcpu, PMSELR_EL0));
__vcpu_assign_sys_reg(vcpu, PMSELR_EL0, p->regval);
p->regval = __vcpu_sys_reg(vcpu, PMSELR_EL0)
idx = SYS_FIELD_GET(PMSELR_EL0, SEL,
__vcpu_sys_reg(vcpu, PMSELR_EL0));
idx = SYS_FIELD_GET(PMSELR_EL0, SEL, __vcpu_sys_reg(vcpu, PMSELR_EL0));
{ PMU_SYS_REG(PMSELR_EL0),
.access = access_pmselr, .reset = reset_pmselr, .reg = PMSELR_EL0 },