blob: 58bb03ae3cf43fcbf2c7191ec12099eaddcc19f9 [file] [log] [blame]
* Copyright 2000 Deep Blue Solutions Ltd
* Copyright 2003 ARM Limited
* Copyright 2008 Cavium Networks
* This file is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License, Version 2, as
* published by the Free Software Foundation.
#ifndef __MACH_SYSTEM_H
#define __MACH_SYSTEM_H
#include <linux/io.h>
#include <asm/proc-fns.h>
#include <mach/hardware.h>
static inline void arch_idle(void)
* This should do all the clock switching
* and wait for interrupt tricks
void arch_reset(char mode, const char *cmd);