Displaying 2 results from an estimated 2 matches for "pcpu_set".
Did you mean:
cpu_set
2005 May 02
0
[PATCH] update evtchn for SMP
...{
- if ( (irq = virq_to_irq[virq]) == -1 )
+ if ( (irq = PCPU_GET(virq_to_irq)[virq]) == -1 )
continue;
/* Get a new binding from Xen. */
@@ -512,6 +570,20 @@
}
}
+void
+ap_evtchn_init(int cpu)
+{
+ int i;
+
+ /* XXX -- expedience hack */
+ PCPU_SET(virq_to_irq, (int *)&virq_to_irq[cpu]);
+ PCPU_SET(ipi_to_evtchn, (int *)&ipi_to_evtchn[cpu]);
+
+ /* No VIRQ -> IRQ mappings. */
+ for ( i = 0; i < NR_VIRQS; i++ )
+ PCPU_GET(virq_to_irq)[i] = -1;
+}
+
static void
evtchn_init(void *dummy __unused)
{
@@ -527,9 +59...
2013 Oct 28
5
FreeBSD PVH guest support
...FOREACH(i) {
pc = pcpu_find(i);
- pc->pc_vcpu_id = pc->pc_acpi_id;
+ if (xen_hvm_domain())
+ pc->pc_vcpu_id = pc->pc_acpi_id;
if (bootverbose)
printf("XEN: CPU %u has VCPU ID %u\n",
i, pc->pc_vcpu_id);
@@ -790,6 +812,31 @@ xen_hvm_cpu_init(void)
DPCPU_SET(vcpu_info, vcpu_info);
}
+/*----------------------------- Debug functions ------------------------------*/
+#define PRINTK_BUFSIZE 1024
+static int
+vprintk(const char *fmt, __va_list ap)
+{
+ int retval, len;
+ static char buf[PRINTK_BUFSIZE];
+
+ retval = vsnprintf(buf, PRINTK_BUFSIZE - 1, fmt...