svn commit: r302854 - head/sys/kern

[Bruce Evans]

On Fri, 15 Jul 2016, Bruce Evans wrote:

>> Log:
>>  Let DDB's buf printer handle NULL pointers in the buf page array.
>
> I noticed some other bugs in this code:

Oops, that was supposed to be a private reply.

Bruce