Linux Kernel
3.7.1
|
#include <linux/pci.h>
#include <linux/of_platform.h>
#include <asm/time.h>
#include <asm/ipic.h>
#include <asm/udbg.h>
#include <sysdev/fsl_pci.h>
#include <sysdev/fsl_soc.h>
#include "mpc83xx.h"
Go to the source code of this file.
Functions | |
machine_device_initcall (mpc830x_rdb, mpc83xx_declare_of_platform_devices) | |
define_machine (mpc830x_rdb) | |
define_machine | ( | mpc830x_rdb | ) |
Definition at line 54 of file mpc830x_rdb.c.
machine_device_initcall | ( | mpc830x_rdb | , |
mpc83xx_declare_of_platform_devices | |||
) |