Searched refs:GUEST_PENDING_DBG_EXCEPTIONS (Results 1 – 2 of 2) sorted by relevance
226 GUEST_PENDING_DBG_EXCEPTIONS = 0x00006822, enumerator
553 FIELD(GUEST_PENDING_DBG_EXCEPTIONS, guest_pending_dbg_exceptions),3887 vmcs_write32(GUEST_PENDING_DBG_EXCEPTIONS, 0); in vmx_vcpu_reset()6511 vmcs_writel(GUEST_PENDING_DBG_EXCEPTIONS,6912 vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS);