X86_CR4_PDPTR_BITS
vcpu->arch.cr4_guest_owned_bits &= ~X86_CR4_PDPTR_BITS;
&& ((cr4 ^ old_cr4) & X86_CR4_PDPTR_BITS)