Symbol: invlpgb_flush_single_pcid_nosync
arch/x86/mm/tlb.c
514
invlpgb_flush_single_pcid_nosync(kern_pcid(asid));
arch/x86/mm/tlb.c
517
invlpgb_flush_single_pcid_nosync(user_pcid(asid));