db_boot_poweroff_cmd  450 ddb/db_command.c 	{ "poweroff",	db_boot_poweroff_cmd,	0,	0 },
db_boot_poweroff_cmd   62 ddb/db_command.h void db_boot_poweroff_cmd(db_expr_t, int, db_expr_t, char *);