12 lines
327 B
C
12 lines
327 B
C
#ifndef _KERNEL_TASKING_DUMP_H
|
|
#define _KERNEL_TASKING_DUMP_H
|
|
|
|
#include <platform/generic/tasking/trapframe.h>
|
|
#include <tasking/proc.h>
|
|
|
|
void dump_and_kill(proc_t* p);
|
|
int dump_prepare_kernel_data();
|
|
int dump_kernel(const char* err);
|
|
int dump_kernel_from_tf(const char* err, trapframe_t* tf);
|
|
|
|
#endif // _KERNEL_TASKING_DUMP_H
|