Use the correct registers on X86_64.