#include <linux/sched.h>
#include <linux/err.h>
#include <linux/slab.h>
#include <linux/smp.h>
#include <linux/irq_work.h>
#include <asm/paravirt.h>
#include <asm/desc.h>
#include <asm/pgtable.h>
#include <asm/cpu.h>
#include <xen/interface/xen.h>
#include <xen/interface/vcpu.h>
#include <asm/xen/interface.h>
#include <asm/xen/hypercall.h>
#include <xen/xen.h>
#include <xen/page.h>
#include <xen/events.h>
#include <xen/hvc-console.h>
#include "xen-ops.h"
#include "mmu.h"
Go to the source code of this file.
void xen_send_IPI_all |
( |
int |
vector | ) |
|
void xen_send_IPI_allbutself |
( |
int |
vector | ) |
|
void xen_send_IPI_self |
( |
int |
vector | ) |
|
Definition at line 40 of file smp.c.