28c28
< __FBSDID("$FreeBSD: head/sys/dev/mvs/mvs_pci.c 208414 2010-05-22 08:30:47Z mav $");
---
> __FBSDID("$FreeBSD: head/sys/dev/mvs/mvs_pci.c 214099 2010-10-20 07:22:34Z mav $");
342d341
< //device_printf(ctlr->dev, "irq MIC:%08x\n", ic);
< __FBSDID("$FreeBSD: head/sys/dev/mvs/mvs_pci.c 208414 2010-05-22 08:30:47Z mav $");
---
> __FBSDID("$FreeBSD: head/sys/dev/mvs/mvs_pci.c 214099 2010-10-20 07:22:34Z mav $");
342d341
< //device_printf(ctlr->dev, "irq MIC:%08x\n", ic);