Symbol: VERIEXEC_GETSTATE
sbin/veriexec/veriexec.c
129
state = VERIEXEC_GETSTATE;
sbin/veriexec/veriexec.c
206
if (ioctl(dev_fd, VERIEXEC_GETSTATE, &x)) {
sbin/veriexec/veriexec.c
275
else if (state == VERIEXEC_GETSTATE)
sys/dev/veriexec/verified_exec.c
78
case VERIEXEC_GETSTATE: