__sysreg_save_user_state
__sysreg_save_user_state(ctxt);
__sysreg_save_user_state(host_ctxt);
__sysreg_save_user_state(guest_ctxt);