1/* @title: LAPIC Timer */
2#pragma once
3#include <stdbool.h>
4#include <types/types.h>
5
6void lapic_timer_init(cpu_id_t core_id);
7void lapic_timer_init_bsp(void);
8void lapic_timer_disable(void);
9void lapic_timer_enable(void);
10bool lapic_timer_is_enabled(void);
11void lapic_clock_evdev_group_init(void);
12