diff options
author | adrian <adrian@FreeBSD.org> | 2009-05-30 06:37:03 +0000 |
---|---|---|
committer | adrian <adrian@FreeBSD.org> | 2009-05-30 06:37:03 +0000 |
commit | 9849e67ed2b848cc898c9ba7363015d778a62ffe (patch) | |
tree | 8c45d9c147e91f758ef7940d87f4474466824432 /sys/i386/xen | |
parent | b54272d1c3e6e21a0c27ac36e03b71eacfce3ea7 (diff) | |
download | FreeBSD-src-9849e67ed2b848cc898c9ba7363015d778a62ffe.zip FreeBSD-src-9849e67ed2b848cc898c9ba7363015d778a62ffe.tar.gz |
Correctly report the IPI IRQs being created; make it clear what vectors they are for.
Diffstat (limited to 'sys/i386/xen')
-rw-r--r-- | sys/i386/xen/mp_machdep.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sys/i386/xen/mp_machdep.c b/sys/i386/xen/mp_machdep.c index d8e1eea..6b4be60 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)) |