/*	$NetBSD: types.h,v 1.7 2007/10/17 19:55:03 garbled Exp $	*/

#ifndef _IYONIX_TYPES_H_
#define	_IYONIX_TYPES_H_

#include <arm/arm32/types.h>

#define	__HAVE_DEVICE_REGISTER
#define	__HAVE_GENERIC_TODR
#define	__HAVE_TIMECOUNTER

#endif