__gmap_unmap_by_gaddr 410 arch/s390/mm/gmap.c flush |= __gmap_unmap_by_gaddr(gmap, to + off); __gmap_unmap_by_gaddr 444 arch/s390/mm/gmap.c flush |= __gmap_unmap_by_gaddr(gmap, to + off);