#ifndef _HPET_H
#define _HPET_H


struct hpet_timer_cookie ;


#define HPET_WAIT_TIMER 0x0001

#endif