43c43
< __FBSDID("$FreeBSD: head/sys/arm/xscale/i80321/i80321_timer.c 160343 2006-07-14 13:37:47Z cognet $");
---
> __FBSDID("$FreeBSD: head/sys/arm/xscale/i80321/i80321_timer.c 166901 2007-02-23 12:19:07Z piso $");
136c136
< void clockhandler(void *);
---
> int clockhandler(void *);
339,340c339,340
< bus_setup_intr(dev, irq, INTR_TYPE_CLK | INTR_FAST,
< clockhandler, NULL, &ihl);
---
> bus_setup_intr(dev, irq, INTR_TYPE_CLK, clockhandler, NULL,
> NULL, &ihl);
404c404
< void
---
> int
415c415
< return;
---
> return (FILTER_HANDLED);