Here is some of the preliminary work for libxc to work and compile properly under x86-64 . libxc_x64_makefile_patch[1].diff: First, I''ve set files such as xc_ptrace,xc_plan9_build,xc_vmx_build, & xc_linux_build to build only for x86_32. As we enable these to work will add we should add them back. Now everyone may not agree with my changes, but this can be resolved through discussion. I do wonder what tools ia64 guys are using...because it can''t be these...can it ? libxc_x64_xc_private_patch[2].diff: Adds need definitions for x86-64. libxc_x64_xc_linux_build_x64_patch[3].diff: I''ve added a new file xc_linux_build_x64.c. I did this with the future in mind of supporting both 32bit and 64bit domains. Currently we will only support 64bit domains. So this file will have the xc_linux_build function for x86-64. Once 32bit domain support is added then we will rename the function to xc_linux_build_x64 or something else that distinguishes it as our x86-64 build linux function, and xc_linux_build would be our 32bit build function (located in xc_linux_build.c). Don''t know if anything works yet, but once all the code is in place and working I''ll be able to kick out any bugs. I also don''t know if I am zeroing out the 4 level page table correctly. So as you can see from the comments..I''m not sure about that work. Signed-off-by: Jerone Young <jyoung5@us.ibm.com> -- Jerone Young IBM Linux Technology Center jyoung5@us.ibm.com 512-838-1157 (T/L: 678-1157)