0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013 #include <linux/pci.h>
0014 #include <linux/of_platform.h>
0015
0016 #include <asm/time.h>
0017 #include <asm/ipic.h>
0018 #include <asm/udbg.h>
0019
0020 #include "mpc83xx.h"
0021
0022
0023
0024
0025
0026
0027 static void __init asp834x_setup_arch(void)
0028 {
0029 mpc83xx_setup_arch();
0030 mpc834x_usb_cfg();
0031 }
0032
0033 machine_device_initcall(asp834x, mpc83xx_declare_of_platform_devices);
0034
0035
0036
0037
0038 static int __init asp834x_probe(void)
0039 {
0040 return of_machine_is_compatible("analogue-and-micro,asp8347e");
0041 }
0042
0043 define_machine(asp834x) {
0044 .name = "ASP8347E",
0045 .probe = asp834x_probe,
0046 .setup_arch = asp834x_setup_arch,
0047 .discover_phbs = mpc83xx_setup_pci,
0048 .init_IRQ = mpc83xx_ipic_init_IRQ,
0049 .get_irq = ipic_get_irq,
0050 .restart = mpc83xx_restart,
0051 .time_init = mpc83xx_time_init,
0052 .calibrate_decr = generic_calibrate_decr,
0053 .progress = udbg_progress,
0054 };