#include <sys/param.h>
#include <sys/systm.h>

/* static const int pit_freq = 20000; */

static void _timeout_init(int freq)
{
	if (acquire_timer0(freq, clock_handler))
		printf("Error: acquire_timer0 failed\n");
}

static void _timeout_deinit(void)
{
	release_timer0();
}