Symbol: VERIEXEC_DEVICE
sbin/veriexecctl/veriexecctl.c
231
if ((gfd = open(VERIEXEC_DEVICE, O_RDWR, 0)) == -1)
sbin/veriexecctl/veriexecctl.c
232
err(EXIT_FAILURE, "Cannot open `%s'", VERIEXEC_DEVICE);