Searched refs:guest_pending_dbg_exceptions (Results 1 – 4 of 4) sorted by relevance
87 EVMCS1_FIELD(GUEST_PENDING_DBG_EXCEPTIONS, guest_pending_dbg_exceptions,
512 natural_width guest_pending_dbg_exceptions; member670 CHECK_OFFSET(guest_pending_dbg_exceptions, 560); in vmx_check_vmcs12_offsets()1223 FIELD(GUEST_PENDING_DBG_EXCEPTIONS, guest_pending_dbg_exceptions),12001 vmcs12->guest_pending_dbg_exceptions); in prepare_vmcs02_full()13016 vmcs12->guest_pending_dbg_exceptions = in sync_vmcs12()
623 u64 guest_pending_dbg_exceptions; member
137 natural_width guest_pending_dbg_exceptions;