tree 78129b50ab2f76752d1012502d724a78ad7bc648
parent e490517a039a99d692cb3a5561941b0a5f576172
author Kevin Hao <kexin.hao@windriver.com> 1212057664 +0800
committer Ingo Molnar <mingo@elte.hu> 1212399312 +0200

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>