| #
46f7a54d8c545ff61d59d6b336232d2b65c3b1fd |
|
26-Jul-2013 |
Jérôme Duval <jerome.duval@gmail.com> |
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.
|