To catch such errors, assertions may be added to the kernel that interact with the
<citerefentry><refentrytitle>witness
</refentrytitle><manvolnum>4
</manvolnum></citerefentry> subsystem to emit a warning or fatal error (depending on the system configuration) when a potentially blocking call is made while holding a mutex.