Changeset View

Standalone View

	Show First 20 Lines • Show All 586 Lines • ▼ Show 20 Lines
	static void			static void
	shutdown_halt(void *junk, int howto)			shutdown_halt(void *junk, int howto)
	{			{

	if (howto & RB_HALT) {			if (howto & RB_HALT) {
	printf("\n");			printf("\n");
	printf("The operating system has halted.\n");			printf("The operating system has halted.\n");
	printf("Please press any key to reboot.\n\n");			printf("Please press any key to reboot.\n\n");

				wdog_kern_pat(WD_TO_NEVER);

	switch (cngetc()) {			switch (cngetc()) {
	case -1: /* No console, just die */			case -1: /* No console, just die */
	cpu_halt();			cpu_halt();
	/* NOTREACHED */			/* NOTREACHED */
	default:			default:
	break;			break;
	}			}
	}			}
	▲ Show 20 Lines • Show All 1,134 Lines • Show Last 20 Lines