intrframe
struct intrframe *ifp;
ifp = (struct intrframe *)(argp + i);
struct intrframe *ifp;
ifp = (struct intrframe *)
struct intrframe cf_if;
int i8254_clockintr(void *, struct intrframe *);
i8254_clockintr(void *arg, struct intrframe *frame)
lapic_clockintr(void *arg, struct intrframe *frame)
void lapic_clockintr(void *, struct intrframe *);
unsigned int evtchn_do_event(int, struct intrframe *);
void call_evtchn_do_event(int, struct intrframe *);
struct intrframe;
void do_hypervisor_callback(struct intrframe *regs);
struct intrframe *regs = args;
do_hypervisor_callback(struct intrframe *regs)
xen_ipi_halt(struct cpu_info *ci, struct intrframe *intrf)
xen_ipi_synch_fpu(struct cpu_info *ci, struct intrframe *intrf)
xen_ipi_ddb(struct cpu_info *ci, struct intrframe *intrf)
xen_ipi_xcall(struct cpu_info *ci, struct intrframe *intrf)
xen_ipi_ast(struct cpu_info *ci, struct intrframe *intrf)
xen_ipi_generic(struct cpu_info *ci, struct intrframe *intrf)
xen_ipi_hvcb(struct cpu_info *ci, struct intrframe *intrf)
xen_ipi_kpreempt(struct cpu_info *ci, struct intrframe * intrf)
static void xen_ipi_ddb(struct cpu_info *, struct intrframe *);
static void xen_ipi_halt(struct cpu_info *, struct intrframe *);
static void xen_ipi_synch_fpu(struct cpu_info *, struct intrframe *);
static void xen_ipi_xcall(struct cpu_info *, struct intrframe *);
static void xen_ipi_hvcb(struct cpu_info *, struct intrframe *);
static void xen_ipi_generic(struct cpu_info *, struct intrframe *);
static void xen_ipi_ast(struct cpu_info *, struct intrframe *);
static void xen_ipi_kpreempt(struct cpu_info *ci, struct intrframe *);
static void (*xen_ipifunc[XEN_NIPIS])(struct cpu_info *, struct intrframe *) =
xen_ipi_handler(void *arg, struct intrframe *regs)
evtchn_do_event(int evtch, struct intrframe *regs)