Kevin Hao 70ef6d595b x86: get irq for hpet timer
HPET timer's IRQ is 0 by default. So we have to select which irq
will be used by these timers. We wait to set the timer's irq until
we really open it in order to reduce the chance of conflicting with
other device.

Signed-off-by: Kevin Hao <kexin.hao@windriver.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
2008-06-02 11:35:12 +02:00
..
2008-04-23 23:00:13 -04:00
2008-05-23 15:38:07 +01:00
2008-05-14 10:05:18 -07:00
2008-05-24 09:56:13 -07:00
2008-05-12 22:57:51 +10:00
2008-05-20 00:33:44 -07:00
2008-06-02 11:35:12 +02:00
2008-05-20 10:12:26 -07:00
2008-04-29 08:06:12 -07:00
2008-04-24 23:57:33 +02:00