#include <linux/stddef.h>
#include <linux/kernel.h>
#include <linux/pci.h>
#include <linux/interrupt.h>
#include <linux/kdev_t.h>
#include <linux/delay.h>
#include <linux/seq_file.h>
#include <linux/of.h>
#include <asm/time.h>
#include <asm/machdep.h>
#include <asm/pci-bridge.h>
#include <asm/prom.h>
#include <mm/mmu_decl.h>
#include <asm/udbg.h>
#include <asm/mpic.h>
#include <linux/of_platform.h>
#include <sysdev/fsl_pci.h>
#include <sysdev/fsl_soc.h>
#include <sysdev/simple_gpio.h>
#include <asm/fsl_guts.h>
#include "mpc86xx.h"
Go to the source code of this file.
#define CLKDVDR_PXCKDLY 0x06000000 |
#define CLKDVDR_PXCKEN 0x80000000 |
#define CLKDVDR_PXCKINV 0x10000000 |
#define CLKDVDR_PXCLK_MASK 0x001F0000 |
define_machine |
( |
mpc86xx_hpcd |
| ) |
|
machine_arch_initcall |
( |
mpc86xx_hpcd |
, |
|
|
mpc8610_declare_of_platform_devices |
|
|
) |
| |