matos/arch/x86/irq_handler.c

#include "interrupt.h"
#include "io.h"
#include "irq.h"
#include "keyboard.h"
#include "pic.h"
#include "serial.h"
#include "vga.h"

// Need GCC > 6
__attribute__((interrupt)) void keyboard_handler(struct interrupt_frame *frame)
{
    EOIIrq(IRQ_KEYBOARD);
    keyboard_do_irq();
    (void)frame;
}

__attribute__((interrupt)) void timer_handler(struct interrupt_frame *frame)
{
    static int timeCnt = 0;
    EOIIrq(IRQ_TIMER);
    VGAPrintf(RED, BLACK, 20, VGA_HEIGHT - 1, "IRQ %d", timeCnt++);
    (void)frame;
}

__attribute__((interrupt)) void serial_handler(struct interrupt_frame *frame)
{
    EOIIrq(IRQ_COM1);
    serialDoIrq(frame);
}