db_acpi_showval
{ "showval", db_acpi_showval, CS_OWN, NULL },
void db_acpi_showval(db_expr_t, int, db_expr_t, char *);