From a235aceb1a690db07328f56de75f41ed1d02059d Mon Sep 17 00:00:00 2001 From: Adrian Chadd Date: Sat, 30 May 2009 06:37:03 +0000 Subject: [PATCH] Correctly report the IPI IRQs being created; make it clear what vectors they are for. --- sys/i386/xen/mp_machdep.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/sys/i386/xen/mp_machdep.c b/sys/i386/xen/mp_machdep.c index d8e1eea1a1ae..6b4be60b70a7 100644 --- a/sys/i386/xen/mp_machdep.c +++ b/sys/i386/xen/mp_machdep.c @@ -480,8 +480,8 @@ xen_smp_intr_init(unsigned int cpu) smp_reschedule_interrupt, INTR_FAST|INTR_TYPE_TTY|INTR_MPSAFE, &irq); - printf("cpu=%d irq=%d vector=%d\n", - cpu, rc, RESCHEDULE_VECTOR); + printf("[XEN] IPI cpu=%d irq=%d vector=RESCHEDULE_VECTOR (%d)\n", + cpu, irq, RESCHEDULE_VECTOR); per_cpu(resched_irq, cpu) = irq; @@ -495,8 +495,8 @@ xen_smp_intr_init(unsigned int cpu) goto fail; per_cpu(callfunc_irq, cpu) = irq; - printf("cpu=%d irq=%d vector=%d\n", - cpu, rc, CALL_FUNCTION_VECTOR); + printf("[XEN] IPI cpu=%d irq=%d vector=CALL_FUNCTION_VECTOR (%d)\n", + cpu, irq, CALL_FUNCTION_VECTOR); if ((cpu != 0) && ((rc = ap_cpu_initclocks(cpu)) != 0))