VERIEXEC_LOCKED
veriexec_file_purge(vfe, VERIEXEC_LOCKED);
KASSERT(file_lock_state != VERIEXEC_LOCKED);