Searched refs:GUEST_PENDING_DBG_EXCEPTIONS (Results 1 – 2 of 2) sorted by relevance
277 GUEST_PENDING_DBG_EXCEPTIONS = 0x00006822, enumerator
809 FIELD(GUEST_PENDING_DBG_EXCEPTIONS, guest_pending_dbg_exceptions),4934 vmcs_write32(GUEST_PENDING_DBG_EXCEPTIONS, 0); in vmx_vcpu_reset()7983 vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS)); in dump_vmcs()9527 vmcs_writel(GUEST_PENDING_DBG_EXCEPTIONS, in prepare_vmcs02()10185 vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS); in prepare_vmcs12()