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))