bind - libdns - match format to arg (for clang)
Since the format took the trouble to use %hu I assumed that
an unsigned short was intended to be printed (sprintf) so converted
the arg from unsigned to unsigned short, rather than just
adopting clang's suggestion of changing the format to %u.
This might fix the clang builds.
Get rid of the wait in ixl_get_link_status, get rid of IXL_LINK_FLAG_WAITDONE;
fix another instance of the cv_timedwait() pattern noticed by riastradh@ in
PR kern/60736 . The only remaining change from revision 1.92 is the addition
of sc_link_state_done_task which avoids a lock inversion.
Fix link state handling in ixl driver (PR 60736):
1. The admin queue ("ATQ") polling could skip completions if there was
more than one pending command. Force ixl_atq_poll() to go in order
and simplify by looping around the post_locked and done_locked functions.
This makes ixl_atq_poll_done() superfluous, so remove that.
2. Add missing "goto out" in ixl_get_link_status() so we return EBUSY
instead of falling through to cv_timedwait(). This is much
less likely with fix 1 above but worth fixing anyway.
3. Mostly undo 1.92 - don't block waiting on link in ixl_init(), instead,
fire off a link status check and ignore the result. Meanwhile, in
ixl_init_locked(), enable the hardware link status interrupt.
Addresses the source of the multiple pending completions that triggered
problem 1 while still ensuring we get link status at initialization.
crypto(4): Crank down max number of ops to something reasonable.
Largest driver I found, qat(4), has at most 16384 sessions, so 64k
oughta be enough for anyone.
PR kern/60281: crypto(4): bugs in reference counting and test
Update math/cvc5 to version 1.4.0.
## Changes
- We now require GCC >= 10 and Clang >= 12.
- Update SymFPU. Issue with divider encoding now fixed in SymFPU (related
issues: #9505, #11139, #12335).
- Fixes parsing issues related to unchecked overflowing of indexed
bit-vector operators. This impacts bit-vector operators having width
that is greater than or equal to `2^32`.
- Fixes a bug where the character code point `\u{30000}` was incorrectly
treated as a valid code point.
- Fixes a parsing bug with option `--parse-skolem-definitions`.
- Fixes a soundness bug in the `--learned-rewrite` preprocessing pass.
- We now allow using option `--solve-bv-as-int` with quantifiers, even if the
quantified variables occur under UFs.
- Fixes an issue where the parser would abort prematurely when `get-value` was
called after an unsat response when uninterpreted sorts are present.
- Fixes issues related to theory combination with arrays and non-linear
[11 lines not shown]
resterm: Update to 1.8.2
You can now choose which requests get recorded, exported requests and mocks are
named after their method and path instead of a number,, and the recorder
is visible in the header and status bar.
Skip and only filters
Exports named from the request
Recorder in the header and status bar
Add bootxx_hd9660 as generic boot image in amd64 ISOs.
This enables the .iso to boot from flash drive (in addition to optical
drive) when the BIOS doesn't incorrectly insist on an active MBR partition.
Pull up following revision(s) (requested by hgutch in ticket #1342):
sys/external/bsd/drm2/dist/drm/i915/display/intel_dp.c: revision 1.8
i915: Make this build with -O0.
Based on a patch from Georg K�hberger.
PR bin/59989: Compiler abort when using -O0 optimization on building
Pull up following revision(s) (requested by hgutch in ticket #473):
sys/external/bsd/drm2/dist/drm/i915/display/intel_dp.c: revision 1.8
i915: Make this build with -O0.
Based on a patch from Georg K�hberger.
PR bin/59989: Compiler abort when using -O0 optimization on building
