Searched refs:ACPI_FILE_OUT (Results 1 – 3 of 3) sorted by relevance
354 #define ACPI_FILE_OUT stdout macro358 #define ACPI_FILE_OUT NULL macro
300 gbl_output_file = ACPI_FILE_OUT; in main()
631 (void)fwrite(acpi_gbl_print_buffer, length, 1, ACPI_FILE_OUT); in vprintf()