pmctrl_reboot      52 usr/sbin/pmctrl/pmctrl.c static void pmctrl_reboot(int, char **);
pmctrl_reboot      69 usr/sbin/pmctrl/pmctrl.c 	{ "reboot"	,pmctrl_reboot	,"Reboot system." },