#include <pexpert/pexpert.h>
+extern void cpu_shutdown(void);
+
+void kdreboot(void);
+
/*
* Common I/O ports.
*/
#define K_CMD_ECHO 0xee /* used for diagnostic testing */
#define K_CMD_RESET 0xfe /* issue a system reset */
-/*
- * cngetc / cnmaygetc
- *
- * Get one character using polling, rather than interrupts.
- * Used by the kernel debugger.
- */
-
-int
-cngetc(void)
-{
- char c;
-
- if ( 0 == (*PE_poll_input)(0, &c) )
- return ( c );
- else
- return ( 0 );
-}
-
-int
-cnmaygetc(void)
-{
- char c;
-
- if ( 0 == (*PE_poll_input)(0, &c) )
- return ( c );
- else
- return ( 0 );
-}
-
/*
* kd_sendcmd
*
void
kdreboot(void)
{
- extern void cpu_shutdown(void);
-
kd_sendcmd( K_CMD_RESET );
/*