1#ifndef __nkern_sys__ 2#define __nkern_sys__ 3 4#ifndef SYSCON_ADDR 5# define SYSCON_ADDR (0x100000) 6#endif 7 8void poweroff(void); 9void reboot(void); 10 11#endif