1 /*
2  * Copyright (c) 2025 Travis Geiselbrecht
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #pragma once
9 
10 #include <stdint.h>
11 #include <sys/types.h>
12 
13 // A few shared timer routines needed by the arch/x86 layer
14 uint32_t pit_calibrate_lapic(uint32_t (*lapic_read_tick)(void));
15 uint64_t time_to_tsc_ticks(lk_time_t time);
16