../../ia32/include/asm.h