69 static KDDEBUGGER_DATA64 *get_kdbg(uint64_t KernBase, struct pdb_reader *pdb,  in get_kdbg()  argument
90         if (!SYM_RESOLVE(KernBase, pdb, KiWaitNever) ||  in get_kdbg()
91                 !SYM_RESOLVE(KernBase, pdb, KiWaitAlways) ||  in get_kdbg()
92                 !SYM_RESOLVE(KernBase, pdb, KdpDataBlockEncoded)) {  in get_kdbg()
517     uint64_t KernBase;  in main()  local
560     KernBase = idt_desc_addr(first_idt_desc) & ~(ELF2DMP_PAGE_SIZE - 1);  in main()
561     printf("Searching kernel downwards from 0x%016"PRIx64"...\n", KernBase);  in main()
563     for (; KernBase >= 0xfffff78000000000; KernBase -= ELF2DMP_PAGE_SIZE) {  in main()
564         nt_start_addr = va_space_resolve(&vs, KernBase);  in main()
570             printf("Checking candidate KernBase = 0x%016"PRIx64"\n", KernBase);  in main()
571             if (pe_check_pdb_name(KernBase, nt_start_addr, &vs, &rsds)) {  in main()
583     printf("KernBase = 0x%016"PRIx64", signature is \'%.2s\'\n", KernBase,  in main()
601     if (!SYM_RESOLVE(KernBase, &pdb, KdDebuggerDataBlock) ||  in main()
602             !SYM_RESOLVE(KernBase, &pdb, KdVersionBlock)) {  in main()
606     kdbg = get_kdbg(KernBase, &pdb, &vs, KdDebuggerDataBlock);  in main()