VERIEXEC_ACTIVE - FreeBSD

FreeBSD

DragonflyBSD — FreeBSD — Haiku — Illumos — Linux — NetBSD — OpenBSD

Action Another action Something else here

Symbol: VERIEXEC_ACTIVE

sbin/veriexec/veriexec.c

state = VERIEXEC_ACTIVE;

sys/dev/veriexec/verified_exec.c

case VERIEXEC_ACTIVE: