Symbol: veriexec_convert
sys/dev/veriexec.c
140
error = veriexec_convert(vp, rdict);
sys/sys/verified_exec.h
101
int veriexec_convert(struct vnode *, prop_dictionary_t);