Constant WHvX64RegisterSpecCtrl

pub const WHvX64RegisterSpecCtrl: WHV_REGISTER_NAME;