Constant WHvRegisterSint3 

pub const WHvRegisterSint3: WHV_REGISTER_NAME;