typedef struct _IA64_DBGKD_CONTROL_SET
{
     ULONG Continue;
     UINT64 CurrentSymbolStart;
     UINT64 CurrentSymbolEnd;
} IA64_DBGKD_CONTROL_SET, *PIA64_DBGKD_CONTROL_SET;

Windows Vista Kernel Structures