/* the frequency of the profiling timer can be changed by writing a multiplier value into /proc/profile.  */
int setup_profiling_timer(unsigned int)
/* the frequency of the profiling timer can be changed by writing a multiplier value into /proc/profile.  */
int setup_profiling_timer(unsigned int)
{
	int i;
	if ( (!multiplier) || (calibration_result / multiplier < 500))
		return -EINVAL;
	for_each_possible_cpu(i)
		per_cpu(prof_multiplier, i) = multiplier;
	return 0;
}