xen_arch_intr_handle_upcall
xen_arch_intr_handle_upcall(&frame->tf_idt);
void xen_arch_intr_handle_upcall(struct trapframe *);