1#ifndef START_HPET_H_
2#define START_HPET_H_
3
4#include <errors/errno.h>
5#include <int_caps.h>
6
7errval_t watch_for_hpet(void);
8
9void hpet_change_event(oct_mode_t mode, const char* device_record, void* st);
10
11errval_t start_hpet_driver(coreid_t where, struct module_info* driver, char* record);
12
13#endif /* START_HPET_H_ */
14