822 static u64 its_cmd_mask_field(u64 *its_cmd, int word, int shift, int size)  in its_cmd_mask_field()  argument
824 	return (le64_to_cpu(its_cmd[word]) >> shift) & (BIT_ULL(size) - 1);  in its_cmd_mask_field()
842 				       u64 *its_cmd)  in vgic_its_cmd_handle_discard()  argument
844 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_discard()
845 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_discard()
869 				    u64 *its_cmd)  in vgic_its_cmd_handle_movi()  argument
871 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_movi()
872 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_movi()
873 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_movi()
1072 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapi()  argument
1074 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapi()
1075 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_mapi()
1076 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapi()
1091 	if (its_cmd_get_command(its_cmd) == GITS_CMD_MAPTI)  in vgic_its_cmd_handle_mapi()
1092 		lpi_nr = its_cmd_get_physical_id(its_cmd);  in vgic_its_cmd_handle_mapi()
1200 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapd()  argument
1202 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapd()
1203 	bool valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapd()
1204 	u8 num_eventid_bits = its_cmd_get_size(its_cmd);  in vgic_its_cmd_handle_mapd()
1205 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()
1242 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapc()  argument
1249 	valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapc()
1250 	coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapc()
1251 	target_addr = its_cmd_get_target_addr(its_cmd);  in vgic_its_cmd_handle_mapc()
1288 				     u64 *its_cmd)  in vgic_its_cmd_handle_clear()  argument
1290 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_clear()
1291 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_clear()
1318 				   u64 *its_cmd)  in vgic_its_cmd_handle_inv()  argument
1320 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_inv()
1321 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_inv()
1375 				      u64 *its_cmd)  in vgic_its_cmd_handle_invall()  argument
1377 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_invall()
1400 				      u64 *its_cmd)  in vgic_its_cmd_handle_movall()  argument
1402 	u32 target1_addr = its_cmd_get_target_addr(its_cmd);  in vgic_its_cmd_handle_movall()
1403 	u32 target2_addr = its_cmd_mask_field(its_cmd, 3, 16, 32);  in vgic_its_cmd_handle_movall()
1442 				   u64 *its_cmd)  in vgic_its_cmd_handle_int()  argument
1444 	u32 msi_data = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_int()
1445 	u64 msi_devid = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_int()
1455 				   u64 *its_cmd)  in vgic_its_handle_command()  argument
1460 	switch (its_cmd_get_command(its_cmd)) {  in vgic_its_handle_command()
1462 		ret = vgic_its_cmd_handle_mapd(kvm, its, its_cmd);  in vgic_its_handle_command()
1465 		ret = vgic_its_cmd_handle_mapc(kvm, its, its_cmd);  in vgic_its_handle_command()
1468 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1471 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1474 		ret = vgic_its_cmd_handle_movi(kvm, its, its_cmd);  in vgic_its_handle_command()
1477 		ret = vgic_its_cmd_handle_discard(kvm, its, its_cmd);  in vgic_its_handle_command()
1480 		ret = vgic_its_cmd_handle_clear(kvm, its, its_cmd);  in vgic_its_handle_command()
1483 		ret = vgic_its_cmd_handle_movall(kvm, its, its_cmd);  in vgic_its_handle_command()
1486 		ret = vgic_its_cmd_handle_int(kvm, its, its_cmd);  in vgic_its_handle_command()
1489 		ret = vgic_its_cmd_handle_inv(kvm, its, its_cmd);  in vgic_its_handle_command()
1492 		ret = vgic_its_cmd_handle_invall(kvm, its, its_cmd);  in vgic_its_handle_command()