typedef struct _DBGKD_SET_SPECIAL_CALL64
{
    unsigned __int64 SpecialCall;
} DBGKD_SET_SPECIAL_CALL64, *PDBGKD_SET_SPECIAL_CALL64;