VERIEXEC_UNLOCKED
KASSERT(file_lock_state != VERIEXEC_UNLOCKED);
KASSERT(file_lock_state != VERIEXEC_UNLOCKED);
if (have_lock == VERIEXEC_UNLOCKED)
if (have_lock == VERIEXEC_UNLOCKED)
veriexec_file_purge(vfe, VERIEXEC_UNLOCKED);
veriexec_file_purge(veriexec_get(vp), VERIEXEC_UNLOCKED);