Symbol: user_pcid
arch/x86/mm/tlb.c
1644
invpcid_flush_one(user_pcid(loaded_mm_asid), addr);
arch/x86/mm/tlb.c
517
invlpgb_flush_single_pcid_nosync(user_pcid(asid));
arch/x86/mm/tlb.c
528
invlpgb_flush_user_nr_nosync(user_pcid(asid), addr, nr, pmd);