_LIBC_ia32_DDI_H_ 33 uspace/lib/c/arch/amd64/include/libarch/ddi.h #ifndef _LIBC_ia32_DDI_H_ _LIBC_ia32_DDI_H_ 33 uspace/lib/c/arch/ia32/include/libarch/ddi.h #ifndef _LIBC_ia32_DDI_H_