--- conf/files.bak 2008-01-31 16:08:01.000000000 -0800 +++ conf/files 2008-02-02 11:22:26.000000000 -0800 @@ -1526,7 +1526,7 @@ kern/sys_pipe.c standard kern/sys_process.c standard kern/sys_socket.c standard -kern/syscalls.c optional witness | invariants +kern/syscalls.c optional witness | invariants | kdtrace_hooks kern/sysv_ipc.c standard kern/sysv_msg.c optional sysvmsg kern/sysv_sem.c optional sysvsem