678 static u64 its_cmd_mask_field(u64 *its_cmd, int word, int shift, int size)  in its_cmd_mask_field()  argument
680 	return (le64_to_cpu(its_cmd[word]) >> shift) & (BIT_ULL(size) - 1);  in its_cmd_mask_field()
698 				       u64 *its_cmd)  in vgic_its_cmd_handle_discard()  argument
700 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_discard()
701 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_discard()
724 				    u64 *its_cmd)  in vgic_its_cmd_handle_movi()  argument
726 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_movi()
727 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_movi()
728 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_movi()
897 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapi()  argument
899 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapi()
900 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_mapi()
901 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapi()
916 	if (its_cmd_get_command(its_cmd) == GITS_CMD_MAPTI)  in vgic_its_cmd_handle_mapi()
917 		lpi_nr = its_cmd_get_physical_id(its_cmd);  in vgic_its_cmd_handle_mapi()
1018 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapd()  argument
1020 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapd()
1021 	bool valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapd()
1022 	u8 num_eventid_bits = its_cmd_get_size(its_cmd);  in vgic_its_cmd_handle_mapd()
1023 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()
1060 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapc()  argument
1067 	valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapc()
1068 	coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapc()
1069 	target_addr = its_cmd_get_target_addr(its_cmd);  in vgic_its_cmd_handle_mapc()
1101 				     u64 *its_cmd)  in vgic_its_cmd_handle_clear()  argument
1103 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_clear()
1104 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_clear()
1126 				   u64 *its_cmd)  in vgic_its_cmd_handle_inv()  argument
1128 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_inv()
1129 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_inv()
1149 				      u64 *its_cmd)  in vgic_its_cmd_handle_invall()  argument
1151 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_invall()
1193 				      u64 *its_cmd)  in vgic_its_cmd_handle_movall()  argument
1195 	u32 target1_addr = its_cmd_get_target_addr(its_cmd);  in vgic_its_cmd_handle_movall()
1196 	u32 target2_addr = its_cmd_mask_field(its_cmd, 3, 16, 32);  in vgic_its_cmd_handle_movall()
1233 				   u64 *its_cmd)  in vgic_its_cmd_handle_int()  argument
1235 	u32 msi_data = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_int()
1236 	u64 msi_devid = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_int()
1246 				   u64 *its_cmd)  in vgic_its_handle_command()  argument
1251 	switch (its_cmd_get_command(its_cmd)) {  in vgic_its_handle_command()
1253 		ret = vgic_its_cmd_handle_mapd(kvm, its, its_cmd);  in vgic_its_handle_command()
1256 		ret = vgic_its_cmd_handle_mapc(kvm, its, its_cmd);  in vgic_its_handle_command()
1259 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1262 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1265 		ret = vgic_its_cmd_handle_movi(kvm, its, its_cmd);  in vgic_its_handle_command()
1268 		ret = vgic_its_cmd_handle_discard(kvm, its, its_cmd);  in vgic_its_handle_command()
1271 		ret = vgic_its_cmd_handle_clear(kvm, its, its_cmd);  in vgic_its_handle_command()
1274 		ret = vgic_its_cmd_handle_movall(kvm, its, its_cmd);  in vgic_its_handle_command()
1277 		ret = vgic_its_cmd_handle_int(kvm, its, its_cmd);  in vgic_its_handle_command()
1280 		ret = vgic_its_cmd_handle_inv(kvm, its, its_cmd);  in vgic_its_handle_command()
1283 		ret = vgic_its_cmd_handle_invall(kvm, its, its_cmd);  in vgic_its_handle_command()