Go to the documentation of this file.
18 #include <linux/stddef.h>
19 #include <linux/kernel.h>
21 #include <linux/errno.h>
22 #include <linux/reboot.h>
23 #include <linux/kdev_t.h>
24 #include <linux/types.h>
33 #include <asm/bootparam.h>
49 pr_info(
" ** Called platform_halt() **\n");
50 __asm__ __volatile__(
"movi a2, 1\nsimcall\n");
55 pr_info(
" ** Called platform_power_off() **\n");
56 __asm__ __volatile__(
"movi a2, 1\nsimcall\n");
63 __asm__ __volatile__(
"movi a2, 15\n\t"
64 "wsr a2, icountlevel\n\t"
67 "wsr a2, ibreakenable\n\t"
82 const char twirl[]=
"|/-\\|/-\\";
87 static int i = 0,
j = 0;
103 __asm__ __volatile__(
"movi a2, -1; simcall\n");