#include <linux/stddef.h>
#include <linux/kernel.h>
#include <linux/pci.h>
#include <linux/kdev_t.h>
#include <linux/delay.h>
#include <linux/seq_file.h>
#include <linux/of_platform.h>
#include <asm/time.h>
#include <asm/machdep.h>
#include <asm/pci-bridge.h>
#include <asm/mpic.h>
#include <mm/mmu_decl.h>
#include <asm/udbg.h>
#include <asm/prom.h>
#include <sysdev/fsl_soc.h>
#include <sysdev/fsl_pci.h>
#include <asm/cpm2.h>
#include <sysdev/cpm2_pic.h>
#include "mpc85xx.h"
Go to the source code of this file.
#define KSI8560_CPLD_HVR 0x04 /* Hardware Version Register */ |
#define KSI8560_CPLD_PVR 0x08 /* PLD Version Register */ |
#define KSI8560_CPLD_RCR1 0x30 /* Reset Command Register 1 */ |
#define KSI8560_CPLD_RCR1_CPUHR 0x80 /* CPU Hard Reset */ |
define_machine |
( |
ksi8560 |
| ) |
|