acpi_db_display_interfaces
void acpi_db_display_interfaces(char *action_arg, char *interface_name_arg);
acpi_db_display_interfaces(acpi_gbl_db_args[1],
