pci_numachip_init
extern int __init pci_numachip_init(void);
x86_init.pci.arch_init = pci_numachip_init;