../../../mips32/include/libarch/config.h