typedef struct _DBGKD_SET_SPECIAL_CALL64
{
     UINT64 SpecialCall;
} DBGKD_SET_SPECIAL_CALL64, *PDBGKD_SET_SPECIAL_CALL64;

Windows Vista Kernel Structures