Platform management

syscalls_platformCtl (syscalls_platformctl)

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

Executes platform controls 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);