/* $NetBSD: types.h,v 1.10 2006/10/23 21:12:42 peter Exp $ */

#ifndef _HPCARM_TYPES_H_
#define	_HPCARM_TYPES_H_

#include <arm/arm32/types.h>

#define	__HAVE_DEVICE_REGISTER
#define	__HAVE_GENERIC_SOFT_INTERRUPTS
#define	__GENERIC_SOFT_INTERRUPTS_ALL_LEVELS
#define	__HAVE_GENERIC_TODR
#define	__HAVE_TIMECOUNTER

#endif