Constant WHvX64RegisterStar 

pub const WHvX64RegisterStar: WHV_REGISTER_NAME;