#include <linux/notifier.h>
#include <linux/cpu.h>
#include <linux/delay.h>
-#include <linux/vs_context.h>
DEFINE_PER_CPU(irq_cpustat_t, irq_stat) ____cacheline_internodealigned_in_smp;
EXPORT_PER_CPU_SYMBOL(irq_stat);
{
/* high bit used in ret_from_ code */
int irq = ~regs->orig_eax;
- struct vx_info_save vxis;
#ifdef CONFIG_4KSTACKS
union irq_ctx *curctx, *irqctx;
u32 *isp;
}
}
#endif
- __enter_vx_admin(&vxis);
#ifdef CONFIG_4KSTACKS
curctx = (union irq_ctx *) current_thread_info();
} else
#endif
__do_IRQ(irq, regs);
- __leave_vx_admin(&vxis);
irq_exit();