#include <amd64/hpet.h>
#include <libk/std.h>
#include <sys/time.h>

/// Sleep for given amount of microseconds
void sleep_micro (size_t us) { hpet_sleep_micro (us); }