37 #define HEADER_DESTINATION(destination)	((destination) << 16)  argument
732 	int tcode, tlabel, extended_tcode, source, destination;  in fw_fill_response()  local
737 	destination    = HEADER_GET_SOURCE(request_header[1]);  in fw_fill_response()
743 		HEADER_DESTINATION(destination);  in fw_fill_response()
927 	int tcode, destination, source;  in handle_exclusive_region_request()  local
929 	destination = HEADER_GET_DESTINATION(p->header[0]);  in handle_exclusive_region_request()
940 					  tcode, destination, source,  in handle_exclusive_region_request()
956 	int tcode, destination, source;  in handle_fcp_region_request()  local
967 	destination = HEADER_GET_DESTINATION(p->header[0]);  in handle_fcp_region_request()
981 						  destination, source,  in handle_fcp_region_request()
1132 		int tcode, int destination, int source, int generation,  in handle_topology_map()  argument
1177 		int tcode, int destination, int source, int generation,  in handle_registers()  argument
1297 		int tcode, int destination, int source, int generation,  in handle_low_memory()  argument