NFSLOG_ALL_BUFFERS
(caddr_t)&args, (caddr_t)&res, cr, &nb, 0, NFSLOG_ALL_BUFFERS);
if (which_buffers == NFSLOG_ALL_BUFFERS) {