prefetch_activated 1267 drivers/infiniband/hw/mlx5/odp.c 	int prefetch_activated = 0;
prefetch_activated 1289 drivers/infiniband/hw/mlx5/odp.c 		prefetch_activated = 1;
prefetch_activated 1299 drivers/infiniband/hw/mlx5/odp.c 		prefetch_activated = 0;
prefetch_activated 1311 drivers/infiniband/hw/mlx5/odp.c 		    prefetch_activated);
prefetch_activated 1318 drivers/infiniband/hw/mlx5/odp.c 	if (prefetch_activated) {