Stub out kernel support for VM contexts (XCC)
[akaros.git] / kern / include / trap.h
index 118c81d..b5f8d3c 100644 (file)
@@ -17,6 +17,8 @@ void idt_init(void);
 int register_irq(int irq, isr_t handler, void *irq_arg, uint32_t tbdf);
 int route_irqs(int cpu_vec, int coreid);
 void print_trapframe(struct hw_trapframe *hw_tf);
+void print_swtrapframe(struct sw_trapframe *sw_tf);
+void print_vmtrapframe(struct vm_trapframe *vm_tf);
 void print_user_ctx(struct user_context *ctx);
 /* Generic per-core timer interrupt handler.  set_percore_timer() will fire the
  * timer_interrupt(). */