619 		error = EBADF;  in kern_fcntl()
630 		error = EBADF;  in kern_fcntl()
658 			error = EBADF;  in kern_fcntl()
733 			error = EBADF;  in kern_fcntl()
754 				error = EBADF;  in kern_fcntl()
767 				error = EBADF;  in kern_fcntl()
838 			error = EBADF;  in kern_fcntl()
895 			error = EBADF;  in kern_fcntl()
946 			error = EBADF;  in kern_fcntl()
960 			error = EBADF;  in kern_fcntl()
997 				error = EBADF;  in kern_fcntl()
1002 				error = EBADF;  in kern_fcntl()
1060 		return (EBADF);  in kern_dup()
1062 		return (mode == FDDUP_FCNTL ? EINVAL : EBADF);  in kern_dup()
1065 		return (mode == FDDUP_FCNTL ? EINVAL : EBADF);  in kern_dup()
1067 	error = EBADF;  in kern_dup()
1506 		return (EBADF);  in kern_close()
2308 		return (EBADF);  in finstall()
3003 		error = EBADF;  in fget_cap_noref()
3060 		error = EBADF;  in fget_cap()
3100 			error = EBADF;  in fget_remote()
3174 		return (EBADF);  in fgetvp_lookup_smr()
3239 		return (EBADF);  in fgetvp_lookup_smr()
3287 		error = EBADF;  in fgetvp_lookup()
3366 		return (EBADF);  in fget_unlocked_seq()
3376 				return (EBADF);  in fget_unlocked_seq()
3421 		return (EBADF);  in fget_unlocked_seq()
3427 			return (EBADF);  in fget_unlocked_seq()
3476 		return (EBADF);  in fget_unlocked_flags()
3551 		return (EBADF);  in fget_only_user()
3557 		return (EBADF);  in fget_only_user()
3577 		return (EBADF);  in fget_only_user()
3581 		return (EBADF);  in fget_only_user()
3615 		return (EBADF);  in _fget()
3626 			error = EBADF;  in _fget()
3632 			error = EBADF;  in _fget()
3681 			return (EBADF);  in fget_mmap()
3797 		error = EBADF;  in fgetvp_rights()
3914 		error = EBADF;  in sys_flock()
3947 		return (EBADF);  in dupfdopen()
3978 			return (EBADF);  in dupfdopen()
5377 	return (EBADF);  in badfo_readwrite()
5393 	return (EBADF);  in badfo_ioctl()
5408 	return (EBADF);  in badfo_kqfilter()
5415 	return (EBADF);  in badfo_stat()
5430 	return (EBADF);  in badfo_chmod()
5438 	return (EBADF);  in badfo_chown()
5447 	return (EBADF);  in badfo_sendfile()