Constant WHvRegisterSint3

pub const WHvRegisterSint3: WHV_REGISTER_NAME;