path: root/kernel/arch/x86_64/isr_handler.cpp

#include <stdint.h>
#include <stdio.h>

extern "C" void exception_handler(int e) {
    printf("Exception: %x", e);
}