!idt doesn't work on x64 Windows

WINDBG
1

The ‘!idt’ command doesn’t work on x64 Windows.
It just gives the following error:

“Can’t read kernel symbols.”

The exact configuration: x64 Windows 2003 SP1, kernel dump or
live kernel debugging, the latest WinDbg 6.5.0003.7.
Kernel symbols are set up correctly.

The same ‘!idt’ command works fine on a x86 Windows XP system.

Dmitriy Budko, VMware

2

Thanks for the report; a case of public symbols not having enough type
info. We’ll fix it for Longhorn, and are looking into fixing the public
symbols for w2k3 which are available through the Internet Symbol Server.

Jason Shay

-----Original Message-----
From: Dmitriy Budko [mailto:xxxxx@vmware.com]
Sent: Thursday, July 07, 2005 9:15 PM
To: Kernel Debugging Interest List
Cc: Windbg External Feedback
Subject: !idt doesn’t work on x64 Windows

The ‘!idt’ command doesn’t work on x64 Windows.
It just gives the following error:

“Can’t read kernel symbols.”

The exact configuration: x64 Windows 2003 SP1, kernel dump or
live kernel debugging, the latest WinDbg 6.5.0003.7.
Kernel symbols are set up correctly.

The same ‘!idt’ command works fine on a x86 Windows XP system.

Dmitriy Budko, VMware