pci_realloc_get_opt 6434 drivers/pci/pci.c 				pci_realloc_get_opt(str + 8);
pci_realloc_get_opt 6436 drivers/pci/pci.c 				pci_realloc_get_opt("on");
pci_realloc_get_opt  208 drivers/pci/pci.h void pci_realloc_get_opt(char *);