1/* @title: TSC */
2#pragma once
3#include <stdbool.h>
4#include <stdint.h>
5#include <types/types.h>
6
7struct clock *tsc_clock_init(freq_hz_t freq_hz);
8freq_hz_t tsc_calibrate_hpet(void);
9bool tsc_sync_check_bsp(cpu_id_t ap_cpu);
10void tsc_sync_check_ap(cpu_id_t self);
11void tsc_sync_check_all_aps(void);
12void tsc_mailboxes_init(void);
13bool tsc_should_use_tsc(void);
14