Symbol: DEVICE_REGISTERED
drivers/infiniband/core/device.c
1072
xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
drivers/infiniband/core/device.c
1188
xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
drivers/infiniband/core/device.c
1276
xa_clear_mark(&devices, device->index, DEVICE_REGISTERED);
drivers/infiniband/core/device.c
1324
xa_set_mark(&devices, device->index, DEVICE_REGISTERED);
drivers/infiniband/core/device.c
1846
xa_for_each_marked (&devices, index, device, DEVICE_REGISTERED) {
drivers/infiniband/core/device.c
2467
xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
drivers/infiniband/core/device.c
896
xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {