/* x86-64 relocations */