/* $NetBSD: acpi_timer.h,v 1.3 2010/03/05 08:30:48 jruoho Exp $ */

#ifndef _SYS_DEV_ACPI_ACPI_TIMER_H
#define _SYS_DEV_ACPI_ACPI_TIMER_H

int	acpitimer_init(void);
int	acpitimer_detach(void);

#endif	/* !_SYS_DEV_ACPI_ACPI_TIMER_H */