#ifndef HV_TRAP_H
#define HV_TRAP_H

#include "hv/vcpu.h"

void trap_handle_lower_sync(struct trap_frame *frame);
void trap_handle_current_sync(struct trap_frame *frame);
void trap_handle_irq(struct trap_frame *frame);

#endif