Constant WHvX64RegisterCr8 

pub const WHvX64RegisterCr8: WHV_REGISTER_NAME;