2021-11-02 21:47:05 +01:00
|
|
|
#include "swintr.h"
|
2021-10-25 23:25:31 +02:00
|
|
|
#include "irq.h"
|
|
|
|
#include "idt.h"
|
|
|
|
|
|
|
|
extern void syscallHandler();
|
|
|
|
|
|
|
|
int syscallSetup(){
|
|
|
|
uint32_t flags, ret;
|
|
|
|
|
|
|
|
disable_IRQs(flags);
|
|
|
|
ret = idt_set_handler(SYSCALL_INTR_NB, (vaddr_t)syscallHandler, 3);
|
|
|
|
restore_IRQs(flags);
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|