mm_needs_global_asid
if (mm_needs_global_asid(loaded_mm, loaded_mm_asid)) {
if (mm_needs_global_asid(next, prev_asid)) {