Symbol: VERIEXEC_FILE_LOCKED
sys/kern/kern_veriexec.c
1331
VERIEXEC_FILE_LOCKED, &vfe);
sys/kern/kern_veriexec.c
442
((file_lock_state == VERIEXEC_FILE_LOCKED)?