PMUSERENR_EL0
ctxt_sys_reg(hctxt, PMUSERENR_EL0) = read_sysreg(pmuserenr_el0);
write_sysreg(ctxt_sys_reg(hctxt, PMUSERENR_EL0), pmuserenr_el0);
ctxt_sys_reg(hctxt, PMUSERENR_EL0) = val;
__vcpu_assign_sys_reg(vcpu, PMUSERENR_EL0,
p->regval = __vcpu_sys_reg(vcpu, PMUSERENR_EL0)
{ PMU_SYS_REG(PMUSERENR_EL0), .access = access_pmuserenr,
.reset = reset_val, .reg = PMUSERENR_EL0, .val = 0 },
u64 reg = __vcpu_sys_reg(vcpu, PMUSERENR_EL0);