Constant X64_RegisterCr4 

pub const X64_RegisterCr4: REGISTER_ID;