The following reply was made to PR kern/35278; it has been noted by GNATS.

From: yamt@mwd.biglobe.ne.jp (YAMAMOTO Takashi)
To: elad@NetBSD.org
Cc: gnats-bugs@NetBSD.org
Subject: Re: kern/35278: veriexec sometimes feeds user va to log(9)
Date: Thu, 21 Dec 2006 22:40:59 +0900 (JST)

 > attached are two diffs:
 > 
 > pathname_t.diff, adds type 'pathname_t' and these functions:
 >   pathname_t pathname_get(const char *dirp, enum uio_seg segflg) - do
 >     whatever is needed to get the pathname from 'dirp' according to
 >     'segflg'.
 > 
 >   const char *pathname_path(pathname_t path) - return pathname from
 >     a 'pathname_t'.
 > 
 >   void pathname_put(pathname_t) - free memory associated with a
 >     'pathname_t'. can handle NULL values.
 > 
 >   (prototypes and type in namei.h, backend in vfs_lookup.c)
 > 
 > valog.diff, makes use of above interface to ensure no user va is
 >   passed to log(9).
 > 
 > -e.
 
 are you trying to implement what i suggested, or a different thing?
 
 YAMAMOTO Takashi