#include <printf.h>
#include <stdint.h>
#include <isv.h> 
#include <panic.h>


__attribute__((interrupt)) void spurrious_int(void *unused) {
  printf("Detected spurrious interrupt, doing nothing.\n");
}