#ifndef _RISCV_INT_MWGWTYPES_H_
#define _RISCV_INT_MWGWTYPES_H_

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

#include <sys/common_int_mwgwtypes.h>

#endif /* !_RISCV_INT_MWGWTYPES_H_ */
