Searched refs:guest_pending_dbg_exceptions (Results 1 – 3 of 3) sorted by relevance
127 u64 guest_pending_dbg_exceptions; member382 *value = current_evmcs->guest_pending_dbg_exceptions; in evmcs_vmread()815 current_evmcs->guest_pending_dbg_exceptions = value; in evmcs_vmwrite()
141 natural_width guest_pending_dbg_exceptions;
1879 vmcs12->guest_pending_dbg_exceptions = in copy_enlightened_to_vmcs12()1880 evmcs->guest_pending_dbg_exceptions; in copy_enlightened_to_vmcs12()2066 evmcs->guest_pending_dbg_exceptions = in copy_vmcs12_to_enlightened()2067 vmcs12->guest_pending_dbg_exceptions; in copy_vmcs12_to_enlightened()2609 vmcs12->guest_pending_dbg_exceptions); in prepare_vmcs02_rare()4593 vmcs12->guest_pending_dbg_exceptions = in sync_vmcs02_to_vmcs12_rare()