Symbol: X86_CR4_PDPTR_BITS
arch/x86/kvm/vmx/vmx.c
4613
vcpu->arch.cr4_guest_owned_bits &= ~X86_CR4_PDPTR_BITS;
arch/x86/kvm/x86.c
1384
&& ((cr4 ^ old_cr4) & X86_CR4_PDPTR_BITS)