Constant WHvRegisterSint2 

pub const WHvRegisterSint2: WHV_REGISTER_NAME;