blob: f6dc952f456c0cca6064af1a792d9eef39a63a9d (
plain) (
tree)
|
|
#pragma once
#include <stdint.h>
// BIOS TIMER code
void update_timer(void);
uint32_t get_bios_timer(void);
void int1A(void);
uint8_t port_timer_read(uint16_t port);
void port_timer_write(uint16_t port, uint8_t val);
|