Linux Kernel
3.7.1
|
#include <linux/of_platform.h>
#include <linux/pci.h>
#include <asm/mpic.h>
#include <sysdev/fsl_soc.h>
#include <asm/udbg.h>
#include "mpc85xx.h"
Go to the source code of this file.
Functions | |
void __init | bsc913x_rdb_pic_init (void) |
machine_device_initcall (bsc9131_rdb, mpc85xx_common_publish_devices) | |
define_machine (bsc9131_rdb) | |
Definition at line 22 of file bsc913x_rdb.c.
define_machine | ( | bsc9131_rdb | ) |
Definition at line 58 of file bsc913x_rdb.c.
machine_device_initcall | ( | bsc9131_rdb | , |
mpc85xx_common_publish_devices | |||
) |