37 #define HEADER_DESTINATION(destination)	((destination) << 16)  argument
673 	int tcode, tlabel, extended_tcode, source, destination;  in fw_fill_response()  local
678 	destination    = HEADER_GET_SOURCE(request_header[1]);  in fw_fill_response()
684 		HEADER_DESTINATION(destination);  in fw_fill_response()
841 	int tcode, destination, source;  in handle_exclusive_region_request()  local
843 	destination = HEADER_GET_DESTINATION(p->header[0]);  in handle_exclusive_region_request()
854 					  tcode, destination, source,  in handle_exclusive_region_request()
870 	int tcode, destination, source;  in handle_fcp_region_request()  local
881 	destination = HEADER_GET_DESTINATION(p->header[0]);  in handle_fcp_region_request()
895 						  destination, source,  in handle_fcp_region_request()
1040 		int tcode, int destination, int source, int generation,  in handle_topology_map()  argument
1085 		int tcode, int destination, int source, int generation,  in handle_registers()  argument
1205 		int tcode, int destination, int source, int generation,  in handle_low_memory()  argument