Displaying 2 results from an estimated 2 matches for "ipi_to_evtchn".
2005 May 02
0
[PATCH] update evtchn for SMP
...-xen-sparse/i386-xen/i386-xen/evtchn.c 2005-04-30 17:06:55 -07:00
@@ -31,8 +31,9 @@
static int evtchn_to_irq[NR_EVENT_CHANNELS];
static int irq_to_evtchn[NR_IRQS];
-/* IRQ <-> VIRQ mapping. */
-static int virq_to_irq[NR_VIRQS];
+static int virq_to_irq[MAX_VIRT_CPUS][NR_VIRQS];
+static int ipi_to_evtchn[MAX_VIRT_CPUS][NR_VIRQS];
+
/* Reference counts for bindings to IRQs. */
static int irq_bindcount[NR_IRQS];
@@ -120,7 +121,7 @@
mtx_lock(&irq_mapping_update_lock);
- if ( (irq = virq_to_irq[virq]) == -1 )
+ if ( (irq = PCPU_GET(virq_to_irq)[virq]) == -1 )
{
op.c...
2005 Jun 07
8
[PATCH] add dom0 vcpu hotplug control
This patch adds new control messages for vcpu hotplug events. Via the
xm vcpu_hotplug sub-program, VCPUS in domains can be enabled/disabled
when CONFIG_HOTPLUG_CPU is enabled in the target domain''s kernel.
Currently there is nothing that tracks whether a VCPU is up or down.
My previous [1]patch added a new per-VCPU flag (VCPUF_down) which could
be used to keep track of which VCPUS are