db_acpi_showval   327 arch/i386/i386/db_interface.c 	{ "showval",	db_acpi_showval,	CS_OWN,	NULL },
db_acpi_showval    18 dev/acpi/acpidebug.h void db_acpi_showval(db_expr_t, int, db_expr_t, char *);