685 static u64 its_cmd_mask_field(u64 *its_cmd, int word, int shift, int size)  in its_cmd_mask_field()  argument
687 	return (le64_to_cpu(its_cmd[word]) >> shift) & (BIT_ULL(size) - 1);  in its_cmd_mask_field()
705 				       u64 *its_cmd)  in vgic_its_cmd_handle_discard()  argument
707 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_discard()
708 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_discard()
731 				    u64 *its_cmd)  in vgic_its_cmd_handle_movi()  argument
733 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_movi()
734 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_movi()
735 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_movi()
911 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapi()  argument
913 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapi()
914 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_mapi()
915 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapi()
930 	if (its_cmd_get_command(its_cmd) == GITS_CMD_MAPTI)  in vgic_its_cmd_handle_mapi()
931 		lpi_nr = its_cmd_get_physical_id(its_cmd);  in vgic_its_cmd_handle_mapi()
1032 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapd()  argument
1034 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapd()
1035 	bool valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapd()
1036 	u8 num_eventid_bits = its_cmd_get_size(its_cmd);  in vgic_its_cmd_handle_mapd()
1037 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()
1074 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapc()  argument
1081 	valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapc()
1082 	coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapc()
1083 	target_addr = its_cmd_get_target_addr(its_cmd);  in vgic_its_cmd_handle_mapc()
1115 				     u64 *its_cmd)  in vgic_its_cmd_handle_clear()  argument
1117 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_clear()
1118 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_clear()
1140 				   u64 *its_cmd)  in vgic_its_cmd_handle_inv()  argument
1142 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_inv()
1143 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_inv()
1163 				      u64 *its_cmd)  in vgic_its_cmd_handle_invall()  argument
1165 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_invall()
1207 				      u64 *its_cmd)  in vgic_its_cmd_handle_movall()  argument
1209 	u32 target1_addr = its_cmd_get_target_addr(its_cmd);  in vgic_its_cmd_handle_movall()
1210 	u32 target2_addr = its_cmd_mask_field(its_cmd, 3, 16, 32);  in vgic_its_cmd_handle_movall()
1247 				   u64 *its_cmd)  in vgic_its_cmd_handle_int()  argument
1249 	u32 msi_data = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_int()
1250 	u64 msi_devid = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_int()
1260 				   u64 *its_cmd)  in vgic_its_handle_command()  argument
1265 	switch (its_cmd_get_command(its_cmd)) {  in vgic_its_handle_command()
1267 		ret = vgic_its_cmd_handle_mapd(kvm, its, its_cmd);  in vgic_its_handle_command()
1270 		ret = vgic_its_cmd_handle_mapc(kvm, its, its_cmd);  in vgic_its_handle_command()
1273 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1276 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1279 		ret = vgic_its_cmd_handle_movi(kvm, its, its_cmd);  in vgic_its_handle_command()
1282 		ret = vgic_its_cmd_handle_discard(kvm, its, its_cmd);  in vgic_its_handle_command()
1285 		ret = vgic_its_cmd_handle_clear(kvm, its, its_cmd);  in vgic_its_handle_command()
1288 		ret = vgic_its_cmd_handle_movall(kvm, its, its_cmd);  in vgic_its_handle_command()
1291 		ret = vgic_its_cmd_handle_int(kvm, its, its_cmd);  in vgic_its_handle_command()
1294 		ret = vgic_its_cmd_handle_inv(kvm, its, its_cmd);  in vgic_its_handle_command()
1297 		ret = vgic_its_cmd_handle_invall(kvm, its, its_cmd);  in vgic_its_handle_command()