Symbol: veriexec_file_convert
sys/kern/kern_veriexec.c
1246
veriexec_file_convert(vfe, rdict);
sys/kern/kern_veriexec.c
1368
veriexec_file_convert(vfe, entry);