Constant X64_EMPTY_DR7 

pub const X64_EMPTY_DR7: u64 = 0x0000000000000400;