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()
1048 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapi()  argument
1050 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapi()
1051 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_mapi()
1052 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapi()
1067 	if (its_cmd_get_command(its_cmd) == GITS_CMD_MAPTI)  in vgic_its_cmd_handle_mapi()
1068 		lpi_nr = its_cmd_get_physical_id(its_cmd);  in vgic_its_cmd_handle_mapi()
1171 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapd()  argument
1173 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_mapd()
1174 	bool valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapd()
1175 	u8 num_eventid_bits = its_cmd_get_size(its_cmd);  in vgic_its_cmd_handle_mapd()
1176 	gpa_t itt_addr = its_cmd_get_ittaddr(its_cmd);  in vgic_its_cmd_handle_mapd()
1213 				    u64 *its_cmd)  in vgic_its_cmd_handle_mapc()  argument
1220 	valid = its_cmd_get_validbit(its_cmd);  in vgic_its_cmd_handle_mapc()
1221 	coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_mapc()
1222 	target_addr = its_cmd_get_target_addr(its_cmd);  in vgic_its_cmd_handle_mapc()
1255 				     u64 *its_cmd)  in vgic_its_cmd_handle_clear()  argument
1257 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_clear()
1258 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_clear()
1280 				   u64 *its_cmd)  in vgic_its_cmd_handle_inv()  argument
1282 	u32 device_id = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_inv()
1283 	u32 event_id = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_inv()
1303 				      u64 *its_cmd)  in vgic_its_cmd_handle_invall()  argument
1305 	u32 coll_id = its_cmd_get_collection(its_cmd);  in vgic_its_cmd_handle_invall()
1347 				      u64 *its_cmd)  in vgic_its_cmd_handle_movall()  argument
1349 	u32 target1_addr = its_cmd_get_target_addr(its_cmd);  in vgic_its_cmd_handle_movall()
1350 	u32 target2_addr = its_cmd_mask_field(its_cmd, 3, 16, 32);  in vgic_its_cmd_handle_movall()
1389 				   u64 *its_cmd)  in vgic_its_cmd_handle_int()  argument
1391 	u32 msi_data = its_cmd_get_id(its_cmd);  in vgic_its_cmd_handle_int()
1392 	u64 msi_devid = its_cmd_get_deviceid(its_cmd);  in vgic_its_cmd_handle_int()
1402 				   u64 *its_cmd)  in vgic_its_handle_command()  argument
1407 	switch (its_cmd_get_command(its_cmd)) {  in vgic_its_handle_command()
1409 		ret = vgic_its_cmd_handle_mapd(kvm, its, its_cmd);  in vgic_its_handle_command()
1412 		ret = vgic_its_cmd_handle_mapc(kvm, its, its_cmd);  in vgic_its_handle_command()
1415 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1418 		ret = vgic_its_cmd_handle_mapi(kvm, its, its_cmd);  in vgic_its_handle_command()
1421 		ret = vgic_its_cmd_handle_movi(kvm, its, its_cmd);  in vgic_its_handle_command()
1424 		ret = vgic_its_cmd_handle_discard(kvm, its, its_cmd);  in vgic_its_handle_command()
1427 		ret = vgic_its_cmd_handle_clear(kvm, its, its_cmd);  in vgic_its_handle_command()
1430 		ret = vgic_its_cmd_handle_movall(kvm, its, its_cmd);  in vgic_its_handle_command()
1433 		ret = vgic_its_cmd_handle_int(kvm, its, its_cmd);  in vgic_its_handle_command()
1436 		ret = vgic_its_cmd_handle_inv(kvm, its, its_cmd);  in vgic_its_handle_command()
1439 		ret = vgic_its_cmd_handle_invall(kvm, its, its_cmd);  in vgic_its_handle_command()