Michael L. Hitch wrote:
On Tue, 16 Sep 2008, matthew green wrote:this should be set in the Makefile not here -- we want to move all the non-generated stuff out of this copy of the file for the future. does the define of USE_AMD64_IOPL not help/fix this as well?I don't believe it does: when you define USE_AMD64_IOPL, the server code will attempt to use amd64_iopl(), which I could not find anywhere in our tree.
We have x86_64_iopl in -lx86_64 Cheers, Jared