Michael Tuexen b6734d8f4a Optimize flushing of receive queues.
This addresses an issue found and reported for the userland stack in
https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=21243

MFC after:		1 week
2020-07-09 16:18:42 +00:00
..
2020-07-06 16:34:49 +00:00
2020-06-21 03:39:26 +00:00
2020-07-08 19:14:44 +00:00
2020-06-04 17:20:58 +00:00
2020-07-06 16:34:49 +00:00
2020-05-23 17:51:06 +00:00
2020-06-30 15:58:29 +00:00
2020-07-01 00:33:16 +00:00
2020-07-06 21:20:57 +00:00
2020-06-21 02:49:56 +00:00