db_acpi_tree
{ "tree", db_acpi_tree, 0, NULL },
void db_acpi_tree(db_expr_t, int, db_expr_t, char *);