/*
 * Trap handlers
 * Copyright (c) 2001,2003,2004 David H. Hovemeyer <daveho@cs.umd.edu>
 * $Revision: 1.1 $
 * 
 * This is free software.  You are permitted to use,
 * redistribute, and modify it as specified in the file "COPYING".
 */

#include <geekos/idt.h>
#include <geekos/kthread.h>
#include <geekos/defs.h>
#include <geekos/trap.h>
#include <geekos/serial.h>

/*
 * TODO: need to add handlers for other exceptions (such as bounds
 * check, debug, etc.)
 */

/*
 * Handler for general protection faults and other bad errors.
 * Kill the current thread (which caused the fault).
 */
static void GPF_Handler(struct Interrupt_State* state)
{
    /* Send the thread to the reaper... */
  SerialPrintLevel(1000,"Exception %d received, killing thread %p\n",state->intNum, g_currentThread);
  Dump_Interrupt_State(state);
  
  Exit(-1);
  
  /* We will never get here */
  KASSERT(false);
}

/*
 * Initialize handlers for processor traps.
 */
void Init_Traps(void)
{
  PrintBoth("Initializing Traps\n");
  Install_Interrupt_Handler(12, &GPF_Handler);  /* stack exception */
  Install_Interrupt_Handler(13, &GPF_Handler);  /* general protection fault */
}