update_sctlr_el1
void update_sctlr_el1(u64 sctlr);
update_sctlr_el1(task->thread.sctlr_user);
update_sctlr_el1(sctlr);
update_sctlr_el1(next->thread.sctlr_user);