/* $NetBSD: acpipmtimer.h,v 1.3 2009/08/18 17:47:46 dyoung Exp $ */

typedef void *acpipmtimer_t;

acpipmtimer_t acpipmtimer_attach(device_t,
		       bus_space_tag_t, bus_space_handle_t, bus_size_t, int);
int acpipmtimer_detach(acpipmtimer_t, int);
#define ACPIPMT_32BIT 1
#define ACPIPMT_BADLATCH 2