Constant WHvX64RegisterCr4 

pub const WHvX64RegisterCr4: WHV_REGISTER_NAME;