It is a duplicate of X86_CR3_PCID_NOFLUSH. So just use that instead.
Signed-off-by: Junaid Shahid <junaids@google.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
                          | X86_CR0_ET | X86_CR0_NE | X86_CR0_WP | X86_CR0_AM \
                          | X86_CR0_NW | X86_CR0_CD | X86_CR0_PG))
 
-#define CR3_PCID_INVD           BIT_64(63)
 #define CR4_RESERVED_BITS                                               \
        (~(unsigned long)(X86_CR4_VME | X86_CR4_PVI | X86_CR4_TSD | X86_CR4_DE\
                          | X86_CR4_PSE | X86_CR4_PAE | X86_CR4_MCE     \
 
                                maxphyaddr = 36;
                        rsvd = rsvd_bits(maxphyaddr, 63);
                        if (ctxt->ops->get_cr(ctxt, 4) & X86_CR4_PCIDE)
-                               rsvd &= ~CR3_PCID_INVD;
+                               rsvd &= ~X86_CR3_PCID_NOFLUSH;
                }
 
                if (new_val & rsvd)
 
        bool pcid_enabled = kvm_read_cr4_bits(vcpu, X86_CR4_PCIDE);
 
        if (pcid_enabled) {
-               skip_tlb_flush = cr3 & CR3_PCID_INVD;
-               cr3 &= ~CR3_PCID_INVD;
+               skip_tlb_flush = cr3 & X86_CR3_PCID_NOFLUSH;
+               cr3 &= ~X86_CR3_PCID_NOFLUSH;
        }
 #endif