1#include <stdint.h>
2#define PIT_FREQUENCY 1193182
3uint64_t measure_tsc_freq_pit(void);
4#pragma once
5