/* $NetBSD: acpi_timer.h,v 1.2 2009/04/08 00:15:45 dyoung Exp $ */
int acpitimer_init(void);
int acpitimer_detach(void);