PAR_EL1
vcpu_write_sys_reg(vcpu, par, PAR_EL1);
vcpu_write_sys_reg(vcpu, par, PAR_EL1);
par = vcpu_read_sys_reg(vcpu, PAR_EL1);
vcpu_write_sys_reg(vcpu, par, PAR_EL1);
ctxt_sys_reg(ctxt, PAR_EL1) = read_sysreg_par();
write_sysreg(ctxt_sys_reg(ctxt, PAR_EL1), par_el1);
__vcpu_assign_sys_reg(vcpu, PAR_EL1, read_sysreg(par_el1));
write_sysreg(__vcpu_sys_reg(vcpu, PAR_EL1), par_el1);
case PAR_EL1:
case PAR_EL1: val = read_sysreg_par(); break;
case PAR_EL1: write_sysreg_s(val, SYS_PAR_EL1); break;
{ SYS_DESC(SYS_PAR_EL1), NULL, reset_unknown, PAR_EL1 },