/* Boards that are compatible with this generic platform support are listed in a 'board' table. Setup the architecture  */
static void __init mpc5200_simple_setup_arch(void)
/* Boards that are compatible with this generic platform support are listed in a 'board' table. Setup the architecture  */
static void __init mpc5200_simple_setup_arch(void)
{
	if (ppc_md.progress)
		ppc_md.progress("mpc5200_simple_setup_arch()", 0);
	mpc52xx_map_common_devices();
	mpc5200_setup_xlb_arbiter();
	mpc52xx_setup_pci();
}