xa_for_each_marked  821 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
xa_for_each_marked 1004 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
xa_for_each_marked 1120 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {
xa_for_each_marked 1320 drivers/infiniband/core/device.c 	xa_for_each_marked (&clients, index, client, CLIENT_REGISTERED) {
xa_for_each_marked 1752 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, device, DEVICE_REGISTERED) {
xa_for_each_marked 1817 drivers/infiniband/core/device.c 	xa_for_each_marked (&clients, index, client, CLIENT_REGISTERED) {
xa_for_each_marked 2304 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED)
xa_for_each_marked 2324 drivers/infiniband/core/device.c 	xa_for_each_marked (&devices, index, dev, DEVICE_REGISTERED) {