Searched refs:guest_pending_dbg_exceptions (Results 1 – 1 of 1) sorted by relevance
134 u64 guest_pending_dbg_exceptions; member363 *value = current_evmcs->guest_pending_dbg_exceptions; in evmcs_vmread()750 current_evmcs->guest_pending_dbg_exceptions = value; in evmcs_vmwrite()