//+----------------------------------------------------------------------------
//
// File:     timer.c
//
// Module:   
//
// Synopsis: 
//
// Created:  sgasch  21 Oct 2003
//
//+----------------------------------------------------------------------------

#include "kernel.h"
#include "hal.h"
#include "rtl.h"
#include "interrupts.h"

void
HalTimerInt(INTERRUPT_STATE *is)
{
    static CHAR whee[] = "|/-\\\0";
    static ULONG u = 0;
    static BYTE b = 0;
    static unsigned int foo;
    BYTE *p = (BYTE *)0x000B8000;

    out(0x61, 0x80);
    u++;

    CURRENT_STAMP(&foo);

    if ((u % 500) == 0)
    {
        b++;
        if (whee[b] == '\0')
        {
            b = 0;
        }
        *(p + 158) = whee[b];
        *(p + 159) = ' ';
    }
}