Constant WHvX64RegisterSpecCtrl 

pub const WHvX64RegisterSpecCtrl: WHV_REGISTER_NAME;