panic.h

Go to the documentation of this file.

#ifndef _BLUESCREEN_H_INCLUDED
#define _BLUESCREEN_H_INCLUDED
 
#include "cpu.h"
 
extern void* kernel_symbols;
 
__attribute__((noreturn)) void panic(void);
__attribute__((noreturn)) void panic_message(const char* message);
 
__attribute__((noreturn)) void panic_cpu(const cpu_state* cpu);
 
#endif