db_value_of_name
args->result = (db_value_of_name(symbol, &value) == true) ? 0 : -1;
if (db_value_of_name("_trap", &value))
if (db_value_of_name("_kdintr", &value))
if (db_value_of_name("_syscall", &value))
if (!db_value_of_name(name, &val)) {
if (!db_value_of_name(name, &val)) {
db_value_of_name("ncpu", &addr);
db_value_of_name("cpu_infos", &addr);
if (!db_value_of_name(db_tok_string, valuep)) {
bool db_value_of_name(const char *, db_expr_t *);
if (db_value_of_name("mutex_syncobj", &mutex_syncobj_) &&
} else if (db_value_of_name("rw_syncobj", &rw_syncobj_) &&