#pragma once #include namespace kernel::hw::timer { void init_pit(void); void inc_tick(void); std::size_t current_ticks(void); }