#include <machine/hp-timing.h>