x64 WinDbg

Just a clarification: If your are running WinDbg on an x64 bit platform
you have to install the native x64 bit version of WinDbg. Mostly because
it has the x64bit drivers which are required when using 1394, and USB as
well.

Gary G. Little