#include <amd64/hpet.h>
#include <amd64/rtc.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); }

void date_time(struct date_time* date_time) { rtc_date_time(date_time); }