* TSC timer
****************************************************************/
-#define PIT_TICK_RATE 1193180 // Underlying HZ of PIT
-#define PIT_TICK_INTERVAL 65536 // Default interval for 18.2Hz timer
#define TICKS_PER_DAY (u32)((u64)60*60*24*PIT_TICK_RATE / PIT_TICK_INTERVAL)
#define CALIBRATE_COUNT 0x800 // Approx 1.7ms
u32 cpu_khz VAR16VISIBLE;
static void
-calibrate_tsc()
+calibrate_tsc(void)
{
// Setup "timer2"
u8 orig = inb(PORT_PS2_CTRLB);
****************************************************************/
static int
-rtc_updating()
+rtc_updating(void)
{
// This function checks to see if the update-in-progress bit
// is set in CMOS Status Register A. If not, it returns 0.
}
static void
-pit_setup()
+pit_setup(void)
{
// timer0: binary count, 16bit count, mode 2
outb(PM_SEL_TIMER0|PM_ACCESS_WORD|PM_MODE2|PM_CNT_BINARY, PORT_PIT_MODE);
}
static void
-init_rtc()
+init_rtc(void)
{
outb_cmos(0x26, CMOS_STATUS_A); // 32,768Khz src, 976.5625us updates
u8 regB = inb_cmos(CMOS_STATUS_B);
}
void
-timer_setup()
+timer_setup(void)
{
dprintf(3, "init timer\n");
calibrate_tsc();
// INT 08h System Timer ISR Entry Point
void VISIBLE16
-handle_08()
+handle_08(void)
{
debug_isr(DEBUG_ISR_08);
****************************************************************/
void
-useRTC()
+useRTC(void)
{
u16 ebda_seg = get_ebda_seg();
int count = GET_EBDA2(ebda_seg, RTCusers);
}
void
-releaseRTC()
+releaseRTC(void)
{
u16 ebda_seg = get_ebda_seg();
int count = GET_EBDA2(ebda_seg, RTCusers);
}
static void
-clear_usertimer()
+clear_usertimer(void)
{
if (!(GET_BDA(rtc_wait_flag) & RWS_WAIT_PENDING))
return;
// int70h: IRQ8 - CMOS RTC
void VISIBLE16
-handle_70()
+handle_70(void)
{
debug_isr(DEBUG_ISR_70);