VERIEXEC_FILE_UNLOCKED
error = veriexec_fp_status(l, vp, VERIEXEC_FILE_UNLOCKED,
if (file_lock_state == VERIEXEC_FILE_UNLOCKED)
if (file_lock_state == VERIEXEC_FILE_UNLOCKED)
r = veriexec_file_verify(l, vp, name, flag, VERIEXEC_FILE_UNLOCKED,