/* Set up timer interrupt, and return the current time in seconds.  */
static void __init shark_timer_init(void)
/* Set up timer interrupt, and return the current time in seconds.  */
static void __init shark_timer_init(void)
{
	outb(0x34, 0x43);
	outb(HZ_TIME & 0xff, 0x40);
	outb(HZ_TIME >> 8, 0x40);
	setup_irq(IRQ_TIMER, &shark_timer_irq);
}