mirror of
https://github.com/edk2-porting/linux-next.git
synced 2024-12-19 18:53:52 +08:00
a240a46964
Support for the GT-64120-based Wind River 4KC PPMC Evaluation board. Signed-off-by: Rongkai.Zhan <Rongkai.zhan@windriver.com> Signed-off-by: Ralf Baechle <ralf@linux-mips.org>
51 lines
1.1 KiB
C
51 lines
1.1 KiB
C
/*
|
|
* This file is subject to the terms and conditions of the GNU General Public
|
|
* License. See the file "COPYING" in the main directory of this archive
|
|
* for more details.
|
|
*
|
|
* Copyright (C) 1997 Ralf Baechle
|
|
*/
|
|
#include <linux/sched.h>
|
|
#include <linux/mm.h>
|
|
#include <asm/io.h>
|
|
#include <asm/pgtable.h>
|
|
#include <asm/processor.h>
|
|
#include <asm/reboot.h>
|
|
#include <asm/system.h>
|
|
#include <asm/cacheflush.h>
|
|
|
|
void wrppmc_machine_restart(char *command)
|
|
{
|
|
/*
|
|
* Ouch, we're still alive ... This time we take the silver bullet ...
|
|
* ... and find that we leave the hardware in a state in which the
|
|
* kernel in the flush locks up somewhen during of after the PCI
|
|
* detection stuff.
|
|
*/
|
|
local_irq_disable();
|
|
set_c0_status(ST0_BEV | ST0_ERL);
|
|
change_c0_config(CONF_CM_CMASK, CONF_CM_UNCACHED);
|
|
flush_cache_all();
|
|
write_c0_wired(0);
|
|
__asm__ __volatile__("jr\t%0"::"r"(0xbfc00000));
|
|
}
|
|
|
|
void wrppmc_machine_halt(void)
|
|
{
|
|
local_irq_disable();
|
|
|
|
printk(KERN_NOTICE "You can safely turn off the power\n");
|
|
while (1) {
|
|
__asm__(
|
|
".set\tmips3\n\t"
|
|
"wait\n\t"
|
|
".set\tmips0"
|
|
);
|
|
}
|
|
}
|
|
|
|
void wrppmc_machine_power_off(void)
|
|
{
|
|
wrppmc_machine_halt();
|
|
}
|