POR_EL0_INIT
write_sysreg_s(POR_EL0_INIT, SYS_POR_EL0);
p->thread.por_el0 = POR_EL0_INIT;
write_sysreg_s(POR_EL0_INIT, SYS_POR_EL0);
if (por_el0 == POR_EL0_INIT) {
if (signal_por_el0 != POR_EL0_INIT) {
signal_por_el0, POR_EL0_INIT);