x86_64: 64-bit index register should be used.
authorSepherosa Ziehau <sephe@dragonflybsd.org>
Thu, 17 Feb 2011 08:00:17 +0000 (16:00 +0800)
committerSepherosa Ziehau <sephe@dragonflybsd.org>
Thu, 17 Feb 2011 08:09:35 +0000 (16:09 +0800)
commit4fb281af227d2b2ecfb4ba70d864b0415e1820c1
tree76780cbf9c6ea91d1ea21553b7d26d0e273560a7
parent10a2ee6e966f085168cb41c11a58694cf61d3c23
x86_64: 64-bit index register should be used.

Looks like qemu does not accept 32-bit index register, while the
real boxs and virtualbox accept 32-bit index regiter.

However, according to AMD <<24593--Rev. 3.17--June 2010>> Page 25,
64-bit index register should be used to create effective address.

DragonFly-bug: http://bugs.dragonflybsd.org/issue1991
sys/platform/pc64/apic/apic_vector.s
sys/platform/pc64/icu/icu_vector.s