hfcpci_revision    42 drivers/isdn/hardware/mISDN/hfcpci.c static const char *hfcpci_revision = "2.0";
hfcpci_revision  1991 drivers/isdn/hardware/mISDN/hfcpci.c 	printk(KERN_INFO "mISDN: HFC-PCI driver %s\n", hfcpci_revision);