Correctly report the IPI IRQs being created; make it clear what vectors they are for.

This commit is contained in:
Adrian Chadd 2009-05-30 06:37:03 +00:00
parent c5f5009be6
commit a235aceb1a

View File

@ -480,8 +480,8 @@ xen_smp_intr_init(unsigned int cpu)
smp_reschedule_interrupt, smp_reschedule_interrupt,
INTR_FAST|INTR_TYPE_TTY|INTR_MPSAFE, &irq); INTR_FAST|INTR_TYPE_TTY|INTR_MPSAFE, &irq);
printf("cpu=%d irq=%d vector=%d\n", printf("[XEN] IPI cpu=%d irq=%d vector=RESCHEDULE_VECTOR (%d)\n",
cpu, rc, RESCHEDULE_VECTOR); cpu, irq, RESCHEDULE_VECTOR);
per_cpu(resched_irq, cpu) = irq; per_cpu(resched_irq, cpu) = irq;
@ -495,8 +495,8 @@ xen_smp_intr_init(unsigned int cpu)
goto fail; goto fail;
per_cpu(callfunc_irq, cpu) = irq; per_cpu(callfunc_irq, cpu) = irq;
printf("cpu=%d irq=%d vector=%d\n", printf("[XEN] IPI cpu=%d irq=%d vector=CALL_FUNCTION_VECTOR (%d)\n",
cpu, rc, CALL_FUNCTION_VECTOR); cpu, irq, CALL_FUNCTION_VECTOR);
if ((cpu != 0) && ((rc = ap_cpu_initclocks(cpu)) != 0)) if ((cpu != 0) && ((rc = ap_cpu_initclocks(cpu)) != 0))