[PATCH 01/10] clocksource: add generic dummy timer driver

[Thomas Gleixner]

On Wed, 6 Mar 2013, Stephen Boyd wrote:

> +static int __init dummy_timer_register(void)
> +{
> +	int err = register_cpu_notifier(&dummy_timer_cpu_nb);
> +	if (err)
> +		return err;
> +
> +	/* We won't get a call on the boot CPU, so register immediately */
> +	dummy_timer_setup();
> +
> +	return 0;
> +}
> +device_initcall(dummy_timer_register);

Are you sure that you want that to be installed unconditionally? What
about multi-platform kernels?

Thanks,

	tglx