207     AcpiOsPrintf ("/*\n");  in AdDisassemblerHeader()
208     AcpiOsPrintf (ACPI_COMMON_HEADER (AML_DISASSEMBLER_NAME, " * "));  in AdDisassemblerHeader()
214             AcpiOsPrintf (  in AdDisassemblerHeader()
220             AcpiOsPrintf (  in AdDisassemblerHeader()
228         AcpiOsPrintf (" * Disassembly of %s\n", Filename);  in AdDisassemblerHeader()
233         AcpiOsPrintf (" * Disassembly of %s, %s", Filename, ctime (&Timer));  in AdDisassemblerHeader()
235     AcpiOsPrintf (" *\n");  in AdDisassemblerHeader()
271     AcpiOsPrintf (" * Original Table Header:\n");  in AdCreateTableHeader()
272     AcpiOsPrintf (" *     Signature        \"%4.4s\"\n",    Table->Signature);  in AdCreateTableHeader()
273     AcpiOsPrintf (" *     Length           0x%8.8X (%u)\n", Table->Length, Table->Length);  in AdCreateTableHeader()
277     AcpiOsPrintf (" *     Revision         0x%2.2X",      Table->Revision);  in AdCreateTableHeader()
283         AcpiOsPrintf (" **** Invalid Revision");  in AdCreateTableHeader()
292             AcpiOsPrintf (" **** 32-bit table (V1), no 64-bit math support");  in AdCreateTableHeader()
303     AcpiOsPrintf ("\n *     Checksum         0x%2.2X",        Table->Checksum);  in AdCreateTableHeader()
308         AcpiOsPrintf (" **** Incorrect checksum, should be 0x%2.2X",  in AdCreateTableHeader()
312     AcpiOsPrintf ("\n");  in AdCreateTableHeader()
313     AcpiOsPrintf (" *     OEM ID           \"%.6s\"\n",     Table->OemId);  in AdCreateTableHeader()
314     AcpiOsPrintf (" *     OEM Table ID     \"%.8s\"\n",     Table->OemTableId);  in AdCreateTableHeader()
315     AcpiOsPrintf (" *     OEM Revision     0x%8.8X (%u)\n", Table->OemRevision, Table->OemRevision);  in AdCreateTableHeader()
316     AcpiOsPrintf (" *     Compiler ID      \"%.4s\"\n",     Table->AslCompilerId);  in AdCreateTableHeader()
317 …AcpiOsPrintf (" *     Compiler Version 0x%8.8X (%u)\n", Table->AslCompilerRevision, Table->AslComp…  in AdCreateTableHeader()
318     AcpiOsPrintf (" */\n");  in AdCreateTableHeader()
335     AcpiOsPrintf (  in AdCreateTableHeader()
377         AcpiOsPrintf ("\n\nTable Header:\n");  in AdDisplayTables()
381         AcpiOsPrintf ("Table Body (Length 0x%X)\n", Table->Length);  in AdDisplayTables()