Symbol: fd_ktrexecfd
sys/kern/kern_exec.c
1276
fd_ktrexecfd();
sys/sys/filedesc.h
218
void fd_ktrexecfd(void);