Constant X64_RegisterCr3 

pub const X64_RegisterCr3: REGISTER_ID;