37 #define HEADER_DESTINATION(destination)	((destination) << 16)  argument
674 	int tcode, tlabel, extended_tcode, source, destination;  in fw_fill_response()  local
679 	destination    = HEADER_GET_SOURCE(request_header[1]);  in fw_fill_response()
685 		HEADER_DESTINATION(destination);  in fw_fill_response()
842 	int tcode, destination, source;  in handle_exclusive_region_request()  local
844 	destination = HEADER_GET_DESTINATION(p->header[0]);  in handle_exclusive_region_request()
855 					  tcode, destination, source,  in handle_exclusive_region_request()
871 	int tcode, destination, source;  in handle_fcp_region_request()  local
882 	destination = HEADER_GET_DESTINATION(p->header[0]);  in handle_fcp_region_request()
896 						  destination, source,  in handle_fcp_region_request()
1042 		int tcode, int destination, int source, int generation,  in handle_topology_map()  argument
1087 		int tcode, int destination, int source, int generation,  in handle_registers()  argument
1207 		int tcode, int destination, int source, int generation,  in handle_low_memory()  argument