check_files
unsigned long gen, int check_files);
struct vattr *vap, struct thread *td, int check_files);
struct proc *p, int *flags, int check_files);
unsigned long gen, int *flags, int check_files);
struct mac_veriexec_file_info **ipp, int check_files);
int check_files, struct thread *td);
int check_files, struct thread *td)
td, check_files);
if (!check_files) {
int *flags, int check_files)
&ip, check_files);
int *flags, int check_files)
(check_files == VERIEXEC_FILES_FIRST));
struct vattr *vap, struct thread *td, int check_files)
check_files) != 0) {
unsigned long gen, int check_files)
&ip, check_files);
int *found_dev, struct mac_veriexec_file_info **ipp, int check_files)
if (check_files) {
TRACE_IN(check_files);
TRACE_OUT(check_files);
static void check_files(struct configuration *, const char *, int);
check_files(config,