Constant WHvX64RegisterVirtualCr8 

pub const WHvX64RegisterVirtualCr8: WHV_REGISTER_NAME;