Constant WHvRegisterSversion 

pub const WHvRegisterSversion: WHV_REGISTER_NAME;