SYS_POR_EL0
por = read_sysreg_s(SYS_POR_EL0);
write_sysreg_s(POR_EL0_INIT, SYS_POR_EL0);
p->thread.por_el0 = read_sysreg_s(SYS_POR_EL0);
current->thread.por_el0 = read_sysreg_s(SYS_POR_EL0);
write_sysreg_s(next->thread.por_el0, SYS_POR_EL0);
current->thread.por_el0 = read_sysreg_s(SYS_POR_EL0);
set_ua_state_por_el0(ua_state, read_sysreg_s(SYS_POR_EL0));
write_sysreg_s(por_enable_all, SYS_POR_EL0);
write_sysreg_s(POR_EL0_INIT, SYS_POR_EL0);
write_sysreg_s(por_el0, SYS_POR_EL0);
write_sysreg_s(vcpu_read_sys_reg(vcpu, POR_EL0), SYS_POR_EL0);
config->por_el0 = read_sysreg_s(SYS_POR_EL0);
write_sysreg_s(config->por_el0, SYS_POR_EL0);
write_sysreg_s(ctxt_sys_reg(ctxt, POR_EL0), SYS_POR_EL0);
ctxt_sys_reg(ctxt, POR_EL0) = read_sysreg_s(SYS_POR_EL0);
{ SYS_DESC(SYS_POR_EL0), NULL, reset_unknown, POR_EL0,
old_por = read_sysreg_s(SYS_POR_EL0);
write_sysreg_s(old_por | new_por, SYS_POR_EL0);
asm volatile("mrs %0, " SYS_POR_EL0 "\n" : "=r"(val));
asm volatile("msr " SYS_POR_EL0 ", %0\n" :: "r"(val));