// The OS/K Team licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.

#include <dv/dev.h>

void _except(ctx_t *ctx, int code, char *fmt, ...)
{
    va_list ap;

    log("\nException %d - ", code);

    va_start(ap, fmt);
    vlog(fmt, ap);
    va_end(ap);

    log("\n");

    dumpregs(ctx);
    log("\n");

    dumpfwstack(ctx);

    if (ctx->mp)
        free(ctx->mp);

    if (devfiniall(ctx) < 0) {
        log("Couldn't deinitialize devices\n");
        exit(-100 - code);
    }

    exit(code);
}