__debug_save_state
__debug_save_state(host_dbg, host_ctxt);
__debug_save_state(guest_dbg, guest_ctxt);