654 	struct its_device *dev2, *dev7;  in its_setup1()  local
660 	dev7 = its_create_device(7 /* dev id */, 8 /* nb_ites */);  in its_setup1()
673 	its_send_mapd(dev7, true);  in its_setup1()
682 	its_send_mapti(dev7, 8196 /* lpi id */, 255 /* event id */, col2);  in its_setup1()
689 	struct its_device *dev2, *dev7;  in test_its_trigger()  local
697 	dev7 = its_get_device(7);  in test_its_trigger()
712 	its_send_int(dev7, 255);  in test_its_trigger()
782 	struct its_device *dev2, *dev7;  in test_its_migration()  local
791 	dev7 = its_get_device(7);  in test_its_migration()
806 	its_send_int(dev7, 255);  in test_its_migration()
819 	struct its_device *dev2 = NULL, *dev7 = NULL;  in test_migrate_unmapped_collection()  local
838 	dev7 = its_get_device(7);  in test_migrate_unmapped_collection()
853 	its_send_int(dev7, 255);  in test_migrate_unmapped_collection()