acpi_os_redirect_output 68 drivers/acpi/acpica/acutils.h acpi_os_redirect_output (stderr); acpi_os_redirect_output 71 drivers/acpi/acpica/acutils.h acpi_os_redirect_output (output_file); acpi_os_redirect_output 342 include/acpi/acpiosxf.h void acpi_os_redirect_output(void *destination);