/*
+ * arch/ppc64/kernel/pSeries_pci.c
+ *
* Copyright (C) 2001 Dave Engebretsen, IBM Corporation
* Copyright (C) 2003 Anton Blanchard <anton@au.ibm.com>, IBM
*
int i;
unsigned int reg;
- if (!machine_is(pseries))
+ if (!platform_is_pseries())
return;
printk("Using INTC for W82c105 IDE controller.\n");