757 static u64 its_cmd_mask_field(u64 *its_cmd, int word, int shift, int size)  in its_cmd_mask_field()  argument
759 	return (le64_to_cpu(its_cmd[word]) >> shift) & (BIT_ULL(size) - 1);  in its_cmd_mask_field()
777 				       u64 *its_cmd)  in vgic_its_cmd_handle_discard()  argument
779 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_discard()
780 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_discard()
804 				    u64 *its_cmd)  in vgic_its_cmd_handle_movi()  argument
806 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_movi()
807 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_movi()
808 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_movi()
1007 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapi()  argument
1009 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapi()
1010 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_mapi()
1011 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapi()
1026 	if (its_cmd_get_command(its_cmd) == GITS_CMD_MAPTI)  in vgic_its_cmd_handle_mapi()
1027 		lpi_nr = its_cmd_get_physical_id(its_cmd);  in vgic_its_cmd_handle_mapi()
1136 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapd()  argument
1138 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapd()
1139 	bool valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapd()
1140 	u8 num_eventid_bits = its_cmd_get_size(its_cmd);  in vgic_its_cmd_handle_mapd()
1141 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()
1178 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapc()  argument
1184 	valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapc()
1185 	coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapc()
1193 		vcpu = kvm_get_vcpu_by_id(kvm, its_cmd_get_target_addr(its_cmd));  in vgic_its_cmd_handle_mapc()
1225 				     u64 *its_cmd)  in vgic_its_cmd_handle_clear()  argument
1227 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_clear()
1228 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_clear()
1255 				   u64 *its_cmd)  in vgic_its_cmd_handle_inv()  argument
1257 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_inv()
1258 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_inv()
1308 				      u64 *its_cmd)  in vgic_its_cmd_handle_invall()  argument
1310 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_invall()
1333 				      u64 *its_cmd)  in vgic_its_cmd_handle_movall()  argument
1341 	vcpu1 = kvm_get_vcpu_by_id(kvm, its_cmd_get_target_addr(its_cmd));  in vgic_its_cmd_handle_movall()
1342 	vcpu2 = kvm_get_vcpu_by_id(kvm, its_cmd_mask_field(its_cmd, 3, 16, 32));  in vgic_its_cmd_handle_movall()
1370 				   u64 *its_cmd)  in vgic_its_cmd_handle_int()  argument
1372 	u32 msi_data = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_int()
1373 	u64 msi_devid = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_int()
1383 				   u64 *its_cmd)  in vgic_its_handle_command()  argument
1388 	switch (its_cmd_get_command(its_cmd)) {  in vgic_its_handle_command()
1390 		ret = vgic_its_cmd_handle_mapd(kvm, its, its_cmd);  in vgic_its_handle_command()
1393 		ret = vgic_its_cmd_handle_mapc(kvm, its, its_cmd);  in vgic_its_handle_command()
1396 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1399 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1402 		ret = vgic_its_cmd_handle_movi(kvm, its, its_cmd);  in vgic_its_handle_command()
1405 		ret = vgic_its_cmd_handle_discard(kvm, its, its_cmd);  in vgic_its_handle_command()
1408 		ret = vgic_its_cmd_handle_clear(kvm, its, its_cmd);  in vgic_its_handle_command()
1411 		ret = vgic_its_cmd_handle_movall(kvm, its, its_cmd);  in vgic_its_handle_command()
1414 		ret = vgic_its_cmd_handle_int(kvm, its, its_cmd);  in vgic_its_handle_command()
1417 		ret = vgic_its_cmd_handle_inv(kvm, its, its_cmd);  in vgic_its_handle_command()
1420 		ret = vgic_its_cmd_handle_invall(kvm, its, its_cmd);  in vgic_its_handle_command()