user_pcid
invpcid_flush_one(user_pcid(loaded_mm_asid), addr);
invlpgb_flush_single_pcid_nosync(user_pcid(asid));
invlpgb_flush_user_nr_nosync(user_pcid(asid), addr, nr, pmd);