Symbol: veriexec_file_add
sys/dev/veriexec.c
194
error = veriexec_file_add(l, dict);
sys/sys/verified_exec.h
91
int veriexec_file_add(struct lwp *, prop_dictionary_t);