47     s ? printf(#s" = 0x%016"PRIx64"\n", s) :\
105         printf("[KiWaitNever] = 0x%016"PRIx64"\n", kwn);  in get_kdbg()
106         printf("[KiWaitAlways] = 0x%016"PRIx64"\n", kwa);  in get_kdbg()
112         printf("Decoding KDBG header...\n");  in get_kdbg()
116         printf("Owner tag is \'%.4s\'\n", (char *)&kdbg_hdr.OwnerTag);  in get_kdbg()
135     printf("Decoding KdDebuggerDataBlock...\n");  in get_kdbg()
207             printf("DTB 0x%016"PRIx64" has been found from CPU #%zu"  in fix_dtb()
227         printf("DirectoryTableBase = 0x%016"PRIx64" has been found from CPU #0"  in fix_dtb()
249             printf("Block #%zu 0x%"PRIx64"+:0x%"PRIx64" and %u previous will be"  in try_merge_runs()
255             printf("Block #%zu 0x%"PRIx64"+:0x%"PRIx64" and %u previous will be"  in try_merge_runs()
367         printf("Filling context for CPU #%d...\n", i);  in fill_context()
412     printf("Data directory entry #%d: RVA = 0x%08"PRIx32"\n", idx,  in pe_get_data_dir_entry()
429     printf("Writing header to file...\n");  in write_dump()
440         printf("Writing block #%zu/%zu of %"PRIu64" bytes to file...\n", i,  in write_dump()
495     printf("PDB name is \'%s\', \'%s\' expected\n", pdb_name, PDB_NAME);  in pe_check_pdb_name()
550     printf("CPU #0 CR3 is 0x%016"PRIx64"\n", state->cr[3]);  in main()
559     printf("CPU #0 IDT is at 0x%016"PRIx64"\n", state->idt.base);  in main()
567     printf("CPU #0 IDT[0] -> 0x%016"PRIx64"\n", idt_desc_addr(first_idt_desc));  in main()
570     printf("Searching kernel downwards from 0x%016"PRIx64"...\n", KernBase);  in main()
579             printf("Checking candidate KernBase = 0x%016"PRIx64"\n", KernBase);  in main()
593     printf("KernBase = 0x%016"PRIx64", signature is \'%.2s\'\n", KernBase,  in main()
599     printf("PDB URL is %s\n", pdb_url);  in main()