Nucleus

diff --git a/drivers/devices.c b/drivers/devices.c
index a5873df..9e0203a 100644
--- a/drivers/devices.c
+++ b/drivers/devices.c
@@ -16,6 +16,7 @@ struct Device {
 };
 
 void pci_init_ide(uint8_t bus, uint8_t dev, uint8_t func);
+void pci_init_bga(uint8_t bus, uint8_t dev, uint8_t func);
 
 /* Device database */
 struct Device devices[] = {
@@ -32,7 +33,7 @@ struct Device devices[] = {
 
 	/* Virtual devices */
 	{0x1B36, 0x000D, "QEMU XHCI Host Adapter", NULL},
-	{0x1234, 0x1111, "QEMU/Bochs VBE Framebuffer", NULL},
+	{0x1234, 0x1111, "QEMU/Bochs VBE Framebuffer", pci_init_bga},
 };
 
 /* Initialise a PCI device */
@@ -50,14 +51,8 @@ init_pci_device(int bus, int dev, int func)
 		if (devices[d].vendor != vendor
 		 || devices[d].device != device)
 			continue;
-		kprintf("PCI(%d,%d,%d) %s", bus, dev, func,
-		        devices[d].name);
 		if (devices[d].init)
 			devices[d].init(bus, dev, func);
 		return;
 	}
-
-	/* No match */
-	kprintf("PCI(%d,%d,%d) = %#.4x:%#.4x", bus, dev, func,
-	        vendor, device);
 }