static void sdv_pci_init(void) { x86_of_pci_init(); }
static void __cpuinit sdv_pci_init(void) { x86_of_pci_init(); /* We can't set this earlier, because we need to calibrate the timer */ legacy_pic = &null_legacy_pic; }
static void __cpuinit sdv_pci_init(void) { x86_of_pci_init(); legacy_pic = &null_legacy_pic; }