db_acpi_tree      328 arch/i386/i386/db_interface.c 	{ "tree",	db_acpi_tree,		0,	NULL },
db_acpi_tree       20 dev/acpi/acpidebug.h void db_acpi_tree(db_expr_t, int, db_expr_t, char *);