void* records = valloc(ISO9660_BLKSZ);
u32_t current_pos = -ISO9660_BLKSZ, max_pos = inode->fsize,
blk = inode->lb_addr * ISO9660_BLKSZ, blk_offset = (u32_t)-1;
void* records = valloc(ISO9660_BLKSZ);
u32_t current_pos = -ISO9660_BLKSZ, max_pos = inode->fsize,
blk = inode->lb_addr * ISO9660_BLKSZ, blk_offset = (u32_t)-1;