Constant windows::Wdk::System::SystemServices::XPF_CONTEXT_INFO_64BITDEBUGREGS
pub const XPF_CONTEXT_INFO_64BITDEBUGREGS: u32 = 6u32;
pub const XPF_CONTEXT_INFO_64BITDEBUGREGS: u32 = 6u32;