mconsole_reboot    80 arch/um/drivers/mconsole.h extern void mconsole_reboot(struct mc_request *req);
mconsole_reboot    24 arch/um/drivers/mconsole_user.c 	{ "reboot", mconsole_reboot, MCONSOLE_PROC },