037a63ac48
This lets one interrupt DDB's output, which is useful if paging is disabled and the output device is slow. Submitted by: Anton Rang <rang@acm.org> Reviewed by: jhb MFC after: 1 week Differential Revision: https://reviews.freebsd.org/D9138