Searched refs:GUEST_IA32_DEBUGCTL (Results 1 – 2 of 2) sorted by relevance
| /linux-2.6.39/arch/x86/include/asm/ | ||
| D | vmx.h | 129 GUEST_IA32_DEBUGCTL = 0x00002802, enumerator |
| /linux-2.6.39/arch/x86/kvm/ | ||
| D | vmx.c | 2831 vmcs_write64(GUEST_IA32_DEBUGCTL, 0); in vmx_vcpu_reset() |