nfslog_record_put
nfslog_record_put(log_cookie, 0, FALSE, which_buffers);
nfslog_record_put(log_cookie,