#ifndef _ARCH_x86_64_TIME_H
#define _ARCH_x86_64_TIME_H

#include <arch/tsc.h>

#endif