Symbol: veriexec_file_verify
sys/kern/kern_veriexec.c
1330
error = veriexec_file_verify(l, vp, path, VERIEXEC_FILE,
sys/kern/kern_veriexec.c
707
r = veriexec_file_verify(l, vp, name, flag, VERIEXEC_FILE_UNLOCKED,