acpi_db_decode_and_display_object
void acpi_db_decode_and_display_object(char *target, char *output_type);
acpi_db_decode_and_display_object(acpi_gbl_db_args[1],
