|
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 | |||
| ) |
1.8.2