#ifndef _MIPS_INT_MWGWTYPES_H_
#define _MIPS_INT_MWGWTYPES_H_

/* XXX: gcc defines these as (unsigned) long int, which confuses printf. */
#undef __INT32_TYPE__
#undef __UINT32_TYPE__

#include <sys/common_int_mwgwtypes.h>

#endif /* !_MIPS_INT_MWGWTYPES_H_ */
