HomeFreeBSD

Massively blow up the locking-related KASSERTs used to make sure

Description

Massively blow up the locking-related KASSERTs used to make sure
that we end up in a consistent locking state at the end of
udp_output() in order to be able to see what the values are based
on which we once took a decision (note: some values may have changed).

This helped to debug a syzkaller report.

MFC after: 2 months
Event: Waterloo Hackathon 2019

Details

Provenance
bzAuthored on
Parents
rS348060: Similarly to r338257,338306 try to fold the two consecutive
Branches
Unknown
Tags
Unknown