#ifndef CRASH_H
#define CRASH_H

#include <stdint.h>

/* Crash screen types */
enum crash_type {
    CRASH_PAGE_FAULT,
    CRASH_GPF,
    CRASH_DOUBLE_FAULT,
    CRASH_DIVIDE_ERROR,
    CRASH_INVALID_OPCODE,
    CRASH_MACHINE_CHECK,
    CRASH_WHEA_ERROR,
};

/* Show crash screen and halt */
void crash_show(enum crash_type type, uint64_t rip, uint64_t cr2, uint64_t error);

#endif
