static int dconsole_getchar(void) { fw_poll(); return (dcons_checkc(&sc[0])); }
static int dconsole_ischar(void) { fw_poll(); return (dcons_ischar(&sc[0])); }
static int fw_poll_cmd(int argc, char *argv[]) { fw_poll(); return(CMD_OK); }