panic.h

Go to the documentation of this file.

#pragma once
 
#include <kernel/cpu/interrupt.h>
#include <kernel/defs.h>
 
#include <boot/boot_info.h>
 
#include <sys/list.h>
 
#define PANIC_NO_CPU_ID UINT32_MAX
 
#define PANIC_MAX_STACK_FRAMES 16
 
typedef struct panic_symbol
{
    list_entry_t entry;
    uintptr_t start;
    uintptr_t end;
    char name[MAX_NAME];
} panic_symbol_t;
 
void panic_stack_trace(const interrupt_frame_t* frame);
 
void panic_symbols_init(const boot_kernel_t* kernel);
 
NORETURN void panic(const interrupt_frame_t* frame, const char* format, ...);