|
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... | |
1.8.13