invalidate_guid_record  569 drivers/infiniband/hw/mlx4/alias_GUID.c 	invalidate_guid_record(dev, port, index);
invalidate_guid_record  623 drivers/infiniband/hw/mlx4/alias_GUID.c 		invalidate_guid_record(dev, port, i);
invalidate_guid_record  876 drivers/infiniband/hw/mlx4/alias_GUID.c 			invalidate_guid_record(dev, i + 1, j);