Symbol: veriexecioctl
sys/dev/veriexec.c
53
static dev_type_ioctl(veriexecioctl);
sys/dev/veriexec.c
60
.d_ioctl = veriexecioctl,