/* Initialize the TOD clock and the CPU timer of the boot cpu.  */
void __init time_init(void)
/* Initialize the TOD clock and the CPU timer of the boot cpu.  */
void __init time_init(void)
{
	etr_reset();
	stp_reset();
	if (register_external_interrupt(0x1004, clock_comparator_interrupt))
                panic("Couldn't request external interrupt 0x1004");
	if (register_external_interrupt(0x1406, timing_alert_interrupt))
		panic("Couldn't request external interrupt 0x1406");
	if (clocksource_register(&clocksource_tod) != 0)
		panic("Could not register TOD clock source");
	init_cpu_timer();
	vtime_init();
}