Symbol: invlpgb_flush_user_nr_nosync
arch/x86/mm/tlb.c
526
invlpgb_flush_user_nr_nosync(kern_pcid(asid), addr, nr, pmd);
arch/x86/mm/tlb.c
528
invlpgb_flush_user_nr_nosync(user_pcid(asid), addr, nr, pmd);