HelenOS sources

system_restart    449 uspace/app/shutdown-dlg/shutdown-dlg.c 		rc = system_restart(sddlg->system);
system_restart    207 uspace/app/shutdown/shutdown.c 		rc = system_restart(system);
system_restart     46 uspace/lib/system/include/system.h extern errno_t system_restart(system_t *);
system_restart    203 uspace/lib/system/test/system.c 	rc = system_restart(system);
system_restart    238 uspace/lib/system/test/system.c 	rc = system_restart(system);
HelenOS homepage, sources at GitHub