#include "u.h"
#include "../port/lib.h"
#include "mem.h"
#include "dat.h"
#include "fns.h"
#include "io.h"

int
havetimer(void)
{
	return 0;
}

void
timeradd(Timer *)
{
}

void
timerdel(Timer *)
{
}

void
clockintrsched(void)
{
}