x86: clean up MSI(X) output format

The new version is more clearly a BDF and removes the confusing
'msivec', which was the hardware field.

Note that we print the irq_h->name, but no one actually sets that...
Everything related to register_irq(), including msix setup, needs a lot
of work.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
diff --git a/kern/arch/x86/ioapic.c b/kern/arch/x86/ioapic.c
index 70d91a5..8d2d197 100644
--- a/kern/arch/x86/ioapic.c
+++ b/kern/arch/x86/ioapic.c
@@ -442,8 +442,8 @@
 		irq_h->unmask = msi_unmask_irq;
 		irq_h->route_irq = msi_route_irq;
 		irq_h->type = "msi";
-		printk("MSI irq: (%x,%x,%x): enabling %p %s vno %d\n",
-			   p->bus, p->dev, p->func, msivec, irq_h->name, vno);
+		printk("MSI irq: (%02x:%02x.%x): %s vector %d\n",
+			   p->bus, p->dev, p->func, irq_h->name, vno);
 		return vno;
 	}
 	irq_h->check_spurious = lapic_check_spurious;
@@ -452,8 +452,8 @@
 	irq_h->unmask = msix_unmask_irq;
 	irq_h->route_irq = msix_route_irq;
 	irq_h->type = "msi-x";
-	printk("MSI-X irq: (%x,%x,%x): enabling %p %s vno %d\n",
-	       p->bus, p->dev, p->func, msivec, irq_h->name, vno);
+	printk("MSI-X irq: (%02x,%02x,%x): %s vector %d\n",
+	       p->bus, p->dev, p->func, irq_h->name, vno);
 	return vno;
 }