DEVICE_REGISTERED  821 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
DEVICE_REGISTERED 1004 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
DEVICE_REGISTERED 1120 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
DEVICE_REGISTERED 1259 drivers/infiniband/core/device.c 	xa_clear_mark(&devices, device->index, DEVICE_REGISTERED);
DEVICE_REGISTERED 1305 drivers/infiniband/core/device.c 	xa_set_mark(&devices, device->index, DEVICE_REGISTERED);
DEVICE_REGISTERED 1752 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, device, DEVICE_REGISTERED) {
DEVICE_REGISTERED 2304 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED)
DEVICE_REGISTERED 2324 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {