Symbol: db_script_exec
sys/ddb/db_script.c
323
if (db_script_exec(scriptname, 0) == ENOENT)
sys/ddb/db_script.c
324
(void)db_script_exec(DB_SCRIPT_KDBENTER_DEFAULT, 0);
sys/ddb/db_script.c
374
db_script_exec(db_tok_string, 1);