#ifdef CONFIG_440SP 
#if defined(CONFIG_440SP) || defined(CONFIG_440SPE) 
void platform_machine_check(struct pt_regs *regs){#ifdef CONFIG_440SP	printk("PLB0: BEAR=0x%08x%08x ACR=  0x%08x BESR= 0x%08x%08x\n",	       mfdcr(DCRN_PLB0_BEARH), mfdcr(DCRN_PLB0_BEARL),	       mfdcr(DCRN_PLB0_ACR), mfdcr(DCRN_PLB0_BESRH),	       mfdcr(DCRN_PLB0_BESRL));	printk("PLB1: BEAR=0x%08x%08x ACR=  0x%08x BESR= 0x%08x%08x\n",	       mfdcr(DCRN_PLB1_BEARH), mfdcr(DCRN_PLB1_BEARL),	       mfdcr(DCRN_PLB1_ACR), mfdcr(DCRN_PLB1_BESRH),	       mfdcr(DCRN_PLB1_BESRL));#else    	printk("PLB0: BEAR=0x%08x%08x ACR=  0x%08x BESR= 0x%08x\n",		mfdcr(DCRN_PLB0_BEARH), mfdcr(DCRN_PLB0_BEARL),		mfdcr(DCRN_PLB0_ACR),  mfdcr(DCRN_PLB0_BESR));#endif	printk("POB0: BEAR=0x%08x%08x BESR0=0x%08x BESR1=0x%08x\n",		mfdcr(DCRN_POB0_BEARH), mfdcr(DCRN_POB0_BEARL),		mfdcr(DCRN_POB0_BESR0), mfdcr(DCRN_POB0_BESR1));	printk("OPB0: BEAR=0x%08x%08x BSTAT=0x%08x\n",		mfdcr(DCRN_OPB0_BEARH), mfdcr(DCRN_OPB0_BEARL),		mfdcr(DCRN_OPB0_BSTAT));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b0f7b8bc57ee90138a7c429951457027a90c326f/ibm44x_common.c/buggy/arch/ppc/syslib/ibm44x_common.c