add x86/asm.h