#include "error.h"
#include <stdint.h>

kstatus tsc_init();

uint64_t tsc_get_timestamp();