102     unsigned long gen, int *found_dev)  in get_veriexec_file()  argument
110 	if (found_dev != NULL)  in get_veriexec_file()
111 		*found_dev = 0;  in get_veriexec_file()
131 		if (found_dev != NULL)  in get_veriexec_file()
132 			*found_dev = 1;  in get_veriexec_file()
168 find_veriexec_file(dev_t fsid, long fileid, unsigned long gen, int *found_dev,  in find_veriexec_file()  argument
190 		ip = get_veriexec_file(search[x], fsid, fileid, gen, found_dev);  in find_veriexec_file()
447 	int found_dev;  in mac_veriexec_metadata_get_file_flags()  local
449 	ip = find_veriexec_file(fsid, fileid, gen, &found_dev, check_files);  in mac_veriexec_metadata_get_file_flags()
512 	int error, found_dev;  in mac_veriexec_metadata_fetch_fingerprint_status()  local
520 		found_dev = 0;  in mac_veriexec_metadata_fetch_fingerprint_status()
522 		    vap->va_gen, &found_dev, check_files);  in mac_veriexec_metadata_fetch_fingerprint_status()
524 			status = (found_dev) ? FINGERPRINT_NOENTRY :  in mac_veriexec_metadata_fetch_fingerprint_status()