#ifndef HV_PANIC_H
#define HV_PANIC_H

#include "hv/types.h"

void panic(const char *reason) __attribute__((noreturn));
void panic_with_code(const char *reason, uint64_t code) __attribute__((noreturn));
void panic_dump_value(const char *name, uint64_t value);

#define BUG_ON(cond) do { if (cond) { panic("BUG_ON: " #cond); } } while (0)

#endif