/*	$NetBSD: types.h,v 1.4 2006/09/02 02:04:26 gdamore Exp $	*/

#define	_MIPS_PADDR_T_64BIT

#include <mips/types.h>

#define	__HAVE_DEVICE_REGISTER
#define	__HAVE_GENERIC_SOFT_INTERRUPTS
#define	__HAVE_TIMECOUNTER