nfslog_READDIRPLUS3_fhargs
static void nfslog_READDIRPLUS3_fhargs(nfslog_READDIRPLUS3args *,
{nfslog_READDIRPLUS3_fhargs,