105     unsigned long gen, int *found_dev)  in get_veriexec_file()  argument
113 	if (found_dev != NULL)  in get_veriexec_file()
114 		*found_dev = 0;  in get_veriexec_file()
134 		if (found_dev != NULL)  in get_veriexec_file()
135 			*found_dev = 1;  in get_veriexec_file()
510 	int error, found_dev;  in mac_veriexec_metadata_fetch_fingerprint_status()  local
518 		found_dev = 0;  in mac_veriexec_metadata_fetch_fingerprint_status()
520 		    vap->va_fileid, vap->va_gen, &found_dev, &ip,  in mac_veriexec_metadata_fetch_fingerprint_status()
522 			status = (found_dev) ? FINGERPRINT_NOENTRY :  in mac_veriexec_metadata_fetch_fingerprint_status()
777     int *found_dev, struct mac_veriexec_file_info **ipp, int check_files)  in mac_veriexec_metadata_get_file_info()  argument
798 		ip = get_veriexec_file(search[x], fsid, fileid, gen, found_dev);  in mac_veriexec_metadata_get_file_info()