John Baldwin 4a588c1ba7 Use proper resource ID's for HPET IRQ resources. This mostly consists of
looking to see if there is an existing IRQ resource for a given IRQ
provided by the BIOS and using that RID if so.  Otherwise, allocate a new
RID for the new IRQ.

Reviewed by:	mav (a while ago)
2010-12-07 18:49:11 +00:00
..
2010-10-13 17:06:25 +00:00
2010-07-06 20:57:28 +00:00
2010-06-11 19:53:42 +00:00
2010-07-06 20:57:28 +00:00