Platform management

syscalls_platformCtl (syscalls_platformctl)

GETFROMSTACK(ustack, void *, ptr, 0);

Executes platform controll call with argument given by ptr.


syscall_platformWdogReload (syscalls_wdgreload)

Reloads watchdog device when it is available.


syscalls_platformSyspageProg (syscalls_syspageprog)

GETFROMSTACK(ustack, syspageprog_t *, prog, 0);
GETFROMSTACK(ustack, int, i, 1);


syscalls_platformKeepIdle (syscalls_keepidle)

GETFROMSTACK(ustack, int, t, 0);