diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/arch/tcb.h | 2 | ||||
| -rw-r--r-- | include/kmi/panic.h | 4 | ||||
| -rw-r--r-- | include/kmi/vmem.h | 2 |
3 files changed, 8 insertions, 0 deletions
diff --git a/include/arch/tcb.h b/include/arch/tcb.h index 4f75419..8eddb07 100644 --- a/include/arch/tcb.h +++ b/include/arch/tcb.h @@ -42,6 +42,8 @@ stat_t setup_rpc_stack(struct tcb *t); */ void destroy_rpc_stack(struct tcb *t); +void copy_rpc_stack(struct tcb *t, struct tcb *c); + /** * Reset RPC stack to top. * diff --git a/include/kmi/panic.h b/include/kmi/panic.h index 7a498fa..121323c 100644 --- a/include/kmi/panic.h +++ b/include/kmi/panic.h @@ -4,6 +4,8 @@ #ifndef KMI_PANIC_H #define KMI_PANIC_H +#include <kmi/attrs.h> + /** * @file panic.h * Kernel panic handler. @@ -20,4 +22,6 @@ */ __noreturn void kernel_panic(void *pc, void *addr, long cause); +__noreturn void unhandled_panic(void *pc, void *addr, long cause); + #endif /* KMI_PANIC_H */ diff --git a/include/kmi/vmem.h b/include/kmi/vmem.h index c53f009..9424e33 100644 --- a/include/kmi/vmem.h +++ b/include/kmi/vmem.h @@ -174,4 +174,6 @@ stat_t copy_uvmem(struct tcb *d, struct tcb *s); */ vmflags_t sanitize_uvflags(vmflags_t flags); +void handle_pagefault(vm_t addr); + #endif /* KMI_VMEM_H */ |