#include "../../x86_64/kernel/tsc_sync.c"