panic.h File Reference

#include <kernel/cpu/interrupt.h>
#include <kernel/defs.h>
#include <boot/boot_info.h>
#include <sys/list.h>

Go to the source code of this file.

Data Structures
struct	panic_symbol_t
	Panic symbol structure. More...

Macros
#define	PANIC_NO_CPU_ID   UINT32_MAX
	Cpu ID indicating no CPU has panicked yet.
#define	PANIC_MAX_STACK_FRAMES   16
	Maximum stack frames to capture in a panic.

Functions
void	panic_stack_trace (const interrupt_frame_t *frame)
	Print a stack trace from a interrupt frame.
void	panic_symbols_init (const boot_kernel_t *kernel)
	Initialize panic symbols from the bootloader-provided kernel information.
NORETURN void	panic (const interrupt_frame_t *frame, const char *format,...)
	Panic the kernel, printing a message and halting.