read_sysreg_par
par = read_sysreg_par();
par = read_sysreg_par();
par = read_sysreg_par();
tmp = read_sysreg_par();
ctxt_sys_reg(ctxt, PAR_EL1) = read_sysreg_par();
u64 par = read_sysreg_par();
u64 par = read_sysreg_par();
case PAR_EL1: val = read_sysreg_par(); break;
par = read_sysreg_par();