John Baldwin a480c73063 Expand the APIC ID mask field of the ICR register to 8 bits intead of just
4 bits.  This reportedly fixes booting on the SW7500CW2.  Much thanks to
the submitter for tracking this down!

Submitted by:	Brian Buchanan <brian@ncircle.com>
Reviewed by:	peter
MFC after:	3 days
2003-03-17 19:14:13 +00:00
..
2003-02-08 20:37:55 +00:00
2002-09-23 07:27:45 +00:00
2003-02-08 20:37:55 +00:00
2003-01-28 19:05:44 +00:00
2002-10-23 10:14:30 +00:00
2002-11-27 16:28:18 +00:00
2003-02-24 20:29:52 +00:00