#include <stdlib.h>
#include "cpu/registers.h"

extern "C" void handle_exception(const cpu_state_t* r) {
  printk("exception ", uhex{r->irq}, " ec ", uhex{r->error}, " eip: ", uhex{r->eip}, '\n');

  abort();
};