IBNOS
|
#include <interrupt/interrupt.h>
#include <hardware/gdt.h>
#include <memory/physmem.h>
#include <process/object.h>
#include <process/process.h>
#include <process/thread.h>
#include <process/semaphore.h>
#include <process/pipe.h>
#include <process/event.h>
#include <process/timer.h>
#include <process/filesystem.h>
#include <loader/elf.h>
#include <console/console.h>
#include <util/util.h>
#include <syscall.h>
Go to the source code of this file.
Functions | |
uint32_t | dispatchInterrupt (uint32_t interrupt, uint32_t error, struct thread *t) |
Handle an incoming interrupt. More... | |
uint32_t | interrupt_0x07 (UNUSED uint32_t interrupt, UNUSED uint32_t error, struct thread *t) |
Coprocessor / FPU not available handler. More... | |
uint32_t | interrupt_0x10 (UNUSED uint32_t interrupt, UNUSED uint32_t error, struct thread *t) |
uint32_t | interrupt_0x80 (UNUSED uint32_t interrupt, UNUSED uint32_t error, struct thread *t) |
Interrupt which handles Syscalls. More... | |
bool | interruptReserve (uint32_t interrupt, interrupt_callback callback) |
Request an interrupt. More... | |
void | interruptFree (uint32_t interrupt) |
Free a previously requested interrupt. More... | |