db_acpi_trace
{ "trace", db_acpi_trace, 0, NULL },
void db_acpi_trace(db_expr_t, int, db_expr_t, char *);