kernel/include/irq_handler.h


1
2
3
4
5
6
7
8
9

#ifndef IRQ_HANDLER_H
#define IRQ_HANDLER_H

#include <types.h>

void eoi(uint64_t number);
void isr_def_handler(uint64_t number, uint64_t rsp, uint64_t error);

#endif