Constant WHvX64RegisterRcx 

pub const WHvX64RegisterRcx: WHV_REGISTER_NAME;