jhb 37fc67e5ba 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
2009-06-05 18:44:36 +00:00
2010-06-11 19:53:42 +00:00
2009-06-05 18:44:36 +00:00
2010-07-06 20:57:28 +00:00
2010-01-21 21:14:28 +00:00
2009-06-05 18:44:36 +00:00
2010-01-21 21:14:28 +00:00
2009-06-05 18:44:36 +00:00
2009-06-05 18:44:36 +00:00
2010-01-21 21:14:28 +00:00
2009-06-05 18:44:36 +00:00
2009-06-05 18:44:36 +00:00