pci_notice 778 drivers/pci/hotplug/cpqphp_core.c pci_notice(pdev, "the device is not a bridge, skipping\n"); pci_notice 3126 drivers/pci/quirks.c pci_notice(dev, "proprietary Ricoh MMC controller disabled (via CardBus function)\n"); pci_notice 3127 drivers/pci/quirks.c pci_notice(dev, "MMC cards are now supported by standard SDHCI controller\n"); pci_notice 3165 drivers/pci/quirks.c pci_notice(dev, "MMC controller base frequency changed to 50Mhz.\n"); pci_notice 3178 drivers/pci/quirks.c pci_notice(dev, "proprietary Ricoh MMC controller disabled (via FireWire function)\n"); pci_notice 3179 drivers/pci/quirks.c pci_notice(dev, "MMC cards are now supported by standard SDHCI controller\n");