fb72f180d5
the semantics in that the returned filename to use is now a kernel pointer rather than a user space pointer. This required changing the arguments to the CHECKALT*() macros some and changing the various system calls that used pathnames to use the kern_foo() functions that can accept kernel space filename pointers instead of calling the system call directly. - Use kern_open(), kern_stat(), kern_lstat(), kern_fstat(), kern_access(), kern_truncate(), kern_pathconf(), kern_execve(), kern_select(), kern_setitimer(), kern_getitimer(), kern_statfs(), and kern_fstatfs(). Silence on: alpha@