invalidate_user_asid
invalidate_user_asid(loaded_mm_asid);
invalidate_user_asid(this_cpu_read(cpu_tlbstate.loaded_mm_asid));
invalidate_user_asid(new_asid);