db_acpi_trace     329 arch/i386/i386/db_interface.c 	{ "trace",	db_acpi_trace,		0,	NULL },
db_acpi_trace      21 dev/acpi/acpidebug.h void db_acpi_trace(db_expr_t, int, db_expr_t, char *);