Generic account for RWTHAachen Students 7bf0cf184c only check irq status reg if irq_no = 124		2011-08-15 09:56:46 -07:00
..
x86	only check irq status reg if irq_no = 124	2011-08-15 09:56:46 -07:00