Constant WHvX64RegisterCs 

pub const WHvX64RegisterCs: WHV_REGISTER_NAME;