#include <linux/seq_file.h>
#include <linux/module.h>
#include <linux/delay.h>
-#include <linux/vs_context.h>
#include <asm/uaccess.h>
#include <asm/io_apic.h>
#include <asm/idle.h>
{
/* high bit used in ret_from_ code */
unsigned irq = ~regs->orig_rax;
- struct vx_info_save vxis;
if (unlikely(irq >= NR_IRQS)) {
printk(KERN_EMERG "%s: cannot handle IRQ %d\n",
#ifdef CONFIG_DEBUG_STACKOVERFLOW
stack_overflow_check(regs);
#endif
- __enter_vx_admin(&vxis);
__do_IRQ(irq, regs);
- __leave_vx_admin(&vxis);
irq_exit();
return 1;