../../../mips32/include/libarch/stdint.h