Jérôme Duval 46f7a54d8c MSI: Use the effective APIC id of the boot CPU for the address destination.
* This should only affect systems where the CPU ids aren't sequential (mostly
non Intel).
* Fixes #9807.
2013-07-29 17:36:03 +02:00
..
2012-10-08 13:59:16 +02:00
2011-11-01 17:19:26 +00:00
2012-07-09 11:11:38 +01:00
2011-11-02 16:02:07 +00:00