tag	line	file	source code
DBG_DEVS	274	arch/alpha/kernel/bios32.c	DBG_DEVS(("layout_dev: bus %d  slot 0x%x  VID 0x%x  DID 0x%x  class 0x%x\n",
DBG_DEVS	285	arch/alpha/kernel/bios32.c	DBG_DEVS(("layout_bus: starting bus %d\n", bus->number));
DBG_DEVS	315	arch/alpha/kernel/bios32.c	DBG_DEVS(("layout_bus: starting bus %d devices\n", bus->number));
DBG_DEVS	325	arch/alpha/kernel/bios32.c	DBG_DEVS(("layout_bus: starting bus %d children\n", bus->number));
DBG_DEVS	797	arch/alpha/kernel/bios32.c	DBG_DEVS(("sio_fixup: bus %d  slot 0x%x  VID 0x%x  DID 0x%x\n"