vmcs01_debugctl  2328 arch/x86/kvm/vmx/nested.c 		vmcs_write64(GUEST_IA32_DEBUGCTL, vmx->nested.vmcs01_debugctl);
vmcs01_debugctl  3068 arch/x86/kvm/vmx/nested.c 		vmx->nested.vmcs01_debugctl = vmcs_read64(GUEST_IA32_DEBUGCTL);
vmcs01_debugctl   167 arch/x86/kvm/vmx/vmx.h 	u64 vmcs01_debugctl;