typedef struct _DBGKD_WRITE_BREAKPOINT64
{
     UINT64 BreakPointAddress;
     ULONG BreakPointHandle;
} DBGKD_WRITE_BREAKPOINT64, *PDBGKD_WRITE_BREAKPOINT64;

Windows Vista Kernel Structures