def dir_find_empty(self, blk):
res = BitVecVal(-errno.ENOSPC, 64)
for i in range(2):
res = If(blk[self.I_OFF_DATA + i * 2] == 0, i, res)
return res
微信
公众号
扫码关注公众号