asm-amd64.c headers