//+----------------------------------------------------------------------------
//
// File:     hal.h
//
// Module:   
//
// Synopsis: 
//
// Created:  sgasch  5 Jul 2003
//
//+----------------------------------------------------------------------------
#ifndef HAL_H
#define HAL_H

//
// Video/CRT driver
//
#define BLACK         (0)
#define BLUE          (1)
#define GREEN         (2)
#define CYAN          (3)
#define RED           (4)
#define MAGENTA       (5)
#define YELLOW        (6)
#define GRAY          (7)
#define HIGH          (8)
#define WHITE         (HIGH | GRAY)

void
HalVideoSetCurrentColorAttribute(BYTE bFg, BYTE bBg);

void
HalVideoClearScreen(void);

void
HalVideoGetCursorPosition(BYTE *pbLine, BYTE *pbCol);

void
HalVideoSetCursorPosition(BYTE bLine, BYTE bCol);

void
HalVideoPutNullTerminatedString(BYTE *s);

void
HalVideoInitialize(BIOS_HARDWARE_BLOCK *phw);

void 
HalVideoPrint(CHAR *szFormat, ...);

//
// Keyboard driver
//
#define KB_IRQ          (1)
typedef WORD KEYCODE;

typedef struct _INTERRUPT_STATE
{
    // The register contents at the time of the exception.
    // We save these explicitly.
    ULONG gs;
    ULONG fs;
    ULONG es;
    ULONG ds;
    ULONG ebp;
    ULONG edi; 
    ULONG esi;
    ULONG edx;
    ULONG ecx; 
    ULONG ebx;
    ULONG eax;

    // We explicitly push the interrupt number.
    // This makes it easy for the handler function to determine
    // which interrupt occurred.
    ULONG uIntNum;

    // This may be pushed by the processor; if not, we push
    // a dummy error code, so the stack layout is the same
    // for every type of interrupt.
    ULONG uErrorCode;

    // These are always pushed on the stack by the processor.
    ULONG eip;
    ULONG cs;
    ULONG eflags;
}
INTERRUPT_STATE;

typedef void (*INTERRUPT_HANDLER)(INTERRUPT_STATE *pState);

void HalInitializeInterrupts(void);
void HalInterruptInstallHandler(ULONG uIntNum, INTERRUPT_HANDLER p);
void HalInterruptDisable();
void HalInterruptEnable();

void HalIoDelay();

void HalTimerInt(INTERRUPT_STATE *p);
void HalKeyboardInt(INTERRUPT_STATE *p);

extern UINT64 g_ullTimeStampCounter;
ULONG HalReadTimestampCounter(void);

#endif // HAL_H