DDB_MACH_CMD
(void)db_register_tbl_entry(DDB_MACH_CMD, &db_mach_cmd_builtins);
case DDB_MACH_CMD:
(void)db_register_tbl(DDB_MACH_CMD, db_esp_command_table);