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-02-19 15:11:57 +01:00
2013-01-12 20:01:28 +01:00
2013-05-01 19:52:00 -04:00
2011-06-21 12:35:50 +00:00