_LIBC_ia32_DDI_H_ 34 uspace/lib/c/arch/amd64/include/libarch/ddi.h #define _LIBC_ia32_DDI_H_ _LIBC_ia32_DDI_H_ 34 uspace/lib/c/arch/ia32/include/libarch/ddi.h #define _LIBC_ia32_DDI_H_