K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2010-12-07T18:49:11.104272Z
K 7
svn:log
V 269
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)

END