647  * dev_id=2 event=20 -> vcpu 3, intid=8195
669 	 * dev=2, eventid=20  -> lpi= 8195, col=3  in its_setup1()
681 	its_send_mapti(dev2, 8195 /* lpi id */, 20 /* event id */, col3);  in its_setup1()
704 	its_send_int(dev2, 20);  in test_its_trigger()
707 			"dev=2, eventid=20  -> lpi= 8195, col=3");  in test_its_trigger()
722 	 * disable 8195, check dev2/eventid=20 does not trigger the  in test_its_trigger()
726 	its_send_inv(dev2, 20);  in test_its_trigger()
730 	its_send_int(dev2, 20);  in test_its_trigger()
733 			"dev2/eventid=20 does not trigger any LPI");  in test_its_trigger()
746 	its_send_int(dev2, 20);  in test_its_trigger()
751 			"dev2/eventid=20 pending LPI is received");  in test_its_trigger()
756 	its_send_int(dev2, 20);  in test_its_trigger()
759 			"dev2/eventid=20 now triggers an LPI");  in test_its_trigger()
765 	 * Unmap device 2 and check the eventid 20 formerly  in test_its_trigger()
772 	its_send_int(dev2, 20);  in test_its_trigger()
798 	its_send_int(dev2, 20);  in test_its_migration()
801 			"dev2/eventid=20 triggers LPI 8195 on PE #3 after migration");  in test_its_migration()