typedef struct _DBGKD_WRITE_BREAKPOINT64
{
    unsigned __int64 BreakPointAddress;
    unsigned long BreakPointHandle;
} DBGKD_WRITE_BREAKPOINT64, *PDBGKD_WRITE_BREAKPOINT64;