#ifndef _KERNEL_AMD64_HPET_H
#define _KERNEL_AMD64_HPET_H

#include <libk/std.h>

void amd64_hpet_sleep_micro (uint64_t us);
void amd64_hpet_init (void);

#endif // _KERNEL_AMD64_HPET_H