#include <linux/hardirq.h>
#include <asm/x86_init.h>
#include <xen/interface/xen.h>
#include <xen/interface/sched.h>
#include <xen/interface/vcpu.h>
#include <xen/events.h>
#include <asm/xen/hypercall.h>
#include <asm/xen/hypervisor.h>
#include "xen-ops.h"
Go to the source code of this file.
PV_CALLEE_SAVE_REGS_THUNK |
( |
xen_save_fl |
| ) |
|
PV_CALLEE_SAVE_REGS_THUNK |
( |
xen_restore_fl |
| ) |
|
PV_CALLEE_SAVE_REGS_THUNK |
( |
xen_irq_disable |
| ) |
|
PV_CALLEE_SAVE_REGS_THUNK |
( |
xen_irq_enable |
| ) |
|
Definition at line 20 of file irq.c.