ACPI_FILE_OUT
(void)fwrite(acpi_gbl_print_buffer, length, 1, ACPI_FILE_OUT);
gbl_output_file = ACPI_FILE_OUT;