#include "context.h"
#include "head.h"

void interrupt_entry(uint32_t irq_num) {
  my_printf("interrupt_entry %d\n", irq_num);
}

void trap_entry(uint32_t irq_num) {
  my_printf("trap_entry %d\n", irq_num);
  write_csr(mscratch, 0xffffffff);
}