free_4k
free_4k(dev, MLX5_GET64(manage_pages_in, in, pas[i]), function);
free_4k(dev, MLX5_GET64(manage_pages_out, out, pas[i]), function);