#ifndef _KERNEL_SYS_TIME_H
#define _KERNEL_SYS_TIME_H

#include <libk/std.h>

/* May take a timer peripheral lock! */
void sleep_micro (size_t us);

#endif // _KERNEL_SYS_TIME_H