ioapic/x86_64: Fix x86_64 buildkernel with gcc41 (syncs with i386).
authorSascha Wildner <saw@online.de>
Tue, 13 Dec 2011 09:44:35 +0000 (10:44 +0100)
committerSascha Wildner <saw@online.de>
Tue, 13 Dec 2011 09:44:35 +0000 (10:44 +0100)
commit63d7cc4f161a2007d2b6cfd2771eaabb71aaa637
tree1c890349791bbec9e7e4c712cd898892bc0bfebe
parent14904fb81aceefd2622423b5d2de87313df7c170
ioapic/x86_64: Fix x86_64 buildkernel with gcc41 (syncs with i386).

In-discussion-with: sephe
sys/platform/pc64/apic/ioapic.c