Searched refs:GUEST_PENDING_DBG_EXCEPTIONS (Results 1 – 2 of 2) sorted by relevance
222 GUEST_PENDING_DBG_EXCEPTIONS = 0x00006822, enumerator
2828 vmcs_write32(GUEST_PENDING_DBG_EXCEPTIONS, 0); in vmx_vcpu_reset()