Searched refs:GUEST_PENDING_DBG_EXCEPTIONS (Results 1 – 5 of 5) sorted by relevance
319 GUEST_PENDING_DBG_EXCEPTIONS = 0x00006822, enumerator
325 GUEST_PENDING_DBG_EXCEPTIONS = 0x00006822, enumerator
273 vmwrite(GUEST_PENDING_DBG_EXCEPTIONS, 0); in init_vmcs_guest_state()
87 EVMCS1_FIELD(GUEST_PENDING_DBG_EXCEPTIONS, guest_pending_dbg_exceptions,
1223 FIELD(GUEST_PENDING_DBG_EXCEPTIONS, guest_pending_dbg_exceptions),6740 vmcs_writel(GUEST_PENDING_DBG_EXCEPTIONS, 0); in vmx_vcpu_reset()9947 vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS)); in dump_vmcs()12000 vmcs_writel(GUEST_PENDING_DBG_EXCEPTIONS, in prepare_vmcs02_full()13017 vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS); in sync_vmcs12()