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