xan_find_marked   180 drivers/infiniband/core/device.c 	for (index = 0, entry = xan_find_marked(xa, &(index), filter);         \
xan_find_marked   182 drivers/infiniband/core/device.c 	     (index)++, entry = xan_find_marked(xa, &(index), filter))