Constant WHvX64RegisterCstar 

pub const WHvX64RegisterCstar: WHV_REGISTER_NAME;