37 #define HEADER_DESTINATION(destination)	((destination) << 16)  argument
675 	int tcode, tlabel, extended_tcode, source, destination;  in fw_fill_response()  local
680 	destination    = HEADER_GET_SOURCE(request_header[1]);  in fw_fill_response()
686 		HEADER_DESTINATION(destination);  in fw_fill_response()
860 	int tcode, destination, source;  in handle_exclusive_region_request()  local
862 	destination = HEADER_GET_DESTINATION(p->header[0]);  in handle_exclusive_region_request()
873 					  tcode, destination, source,  in handle_exclusive_region_request()
889 	int tcode, destination, source;  in handle_fcp_region_request()  local
900 	destination = HEADER_GET_DESTINATION(p->header[0]);  in handle_fcp_region_request()
914 						  destination, source,  in handle_fcp_region_request()
1060 		int tcode, int destination, int source, int generation,  in handle_topology_map()  argument
1105 		int tcode, int destination, int source, int generation,  in handle_registers()  argument
1225 		int tcode, int destination, int source, int generation,  in handle_low_memory()  argument