xan_for_each_marked  432 drivers/infiniband/core/device.c 	xan_for_each_marked(&ibdev->client_data, index, client_data,
xan_for_each_marked 1844 drivers/infiniband/core/device.c 	xan_for_each_marked (&ibdev->client_data, index, client_data,
xan_for_each_marked 2518 drivers/infiniband/core/device.c 	xan_for_each_marked (&dev->client_data, index, client_data,