kern_pcid - Linux

Symbol: kern_pcid

arch/x86/mm/tlb.c

u16 ret = kern_pcid(asid);

arch/x86/mm/tlb.c

cr3 |= kern_pcid(asid);

arch/x86/mm/tlb.c

invlpgb_flush_single_pcid_nosync(kern_pcid(asid));

arch/x86/mm/tlb.c

invlpgb_flush_user_nr_nosync(kern_pcid(asid), addr, nr, pmd);

arch/x86/mm/tlb.c

__set_bit(kern_pcid(asid),