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

Thomas Gleixner
2013-03-07T14:00:20Z

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