sysctl_kern_proc_filedesc
CTLFLAG_RD|CTLFLAG_MPSAFE, sysctl_kern_proc_filedesc,
ATF_TC_WITHOUT_HEAD(sysctl_kern_proc_filedesc);
ATF_TC_BODY(sysctl_kern_proc_filedesc, tc)
ATF_TP_ADD_TC(tp, sysctl_kern_proc_filedesc);