Home
last modified time | relevance | path

Searched refs:GUEST_PENDING_DBG_EXCEPTIONS (Results 1 – 2 of 2) sorted by relevance

/linux-4.1.27/arch/x86/include/asm/
Dvmx.h273 GUEST_PENDING_DBG_EXCEPTIONS = 0x00006822, enumerator
/linux-4.1.27/arch/x86/kvm/
Dvmx.c754 FIELD(GUEST_PENDING_DBG_EXCEPTIONS, guest_pending_dbg_exceptions),
4783 vmcs_write32(GUEST_PENDING_DBG_EXCEPTIONS, 0); in vmx_vcpu_reset()
9127 vmcs_writel(GUEST_PENDING_DBG_EXCEPTIONS, in prepare_vmcs02()
9773 vmcs_readl(GUEST_PENDING_DBG_EXCEPTIONS); in prepare_vmcs12()