// SPDX-License-Identifier: GPL-3.0-or-later
// Copyright (c) 2026 0xKSor

#pragma once

#include <Types.h>
#include <Arch/Exceptions.h>

__attribute__((noreturn)) void OSPanicException(ExceptionsContext* frame);
__attribute__((noreturn)) void OSPanic(const ASCII* message);