46     check(offset);  in find_offset()
47     check(get_appr_size);  in find_offset()
48     check(get_real_size);  in find_offset()
91     check(f);  in find_verity_offset()
92     check(offset);  in find_verity_offset()
101     check(f);  in parse_ecc_header()
102     check(f->ecc.rsn > 0 && f->ecc.rsn < FEC_RSM);  in parse_ecc_header()
103     check(f->size > sizeof(fec_header));  in parse_ecc_header()
207     check(f);  in parse_ecc()
208     check(offset % FEC_BLOCKSIZE == 0);  in parse_ecc()
209     check(offset < UINT64_MAX - FEC_BLOCKSIZE);  in parse_ecc()
229     check(f);  in get_squashfs_size()
230     check(offset);  in get_squashfs_size()
233     check(sb_size <= SSIZE_MAX);  in get_squashfs_size()
257     check(f);  in get_ext4_size()
258     check(f->size > 1024 + sizeof(ext4_super_block));  in get_ext4_size()
259     check(offset);  in get_ext4_size()
284     check(f);  in get_fs_size()
285     check(offset);  in get_fs_size()
313     check(f);  in load_verity()
354     check(f);  in load_ecc()
371     check(f);  in get_size()
417     check(f);  in fec_close()
449     check(f);  in fec_verity_get_metadata()
450     check(data);  in fec_verity_get_metadata()
456     check(f->data_size < f->size);  in fec_verity_get_metadata()
457     check(f->data_size <= f->verity.hash_start);  in fec_verity_get_metadata()
458     check(f->data_size <= f->verity.metadata_start);  in fec_verity_get_metadata()
459     check(f->verity.table);  in fec_verity_get_metadata()
477     check(f);  in fec_ecc_get_metadata()
478     check(data);  in fec_ecc_get_metadata()
484     check(f->data_size < f->size);  in fec_ecc_get_metadata()
485     check(f->ecc.start >= f->data_size);  in fec_ecc_get_metadata()
486     check(f->ecc.start < f->size);  in fec_ecc_get_metadata()
487     check(f->ecc.start % FEC_BLOCKSIZE == 0)  in fec_ecc_get_metadata()
501     check(f);  in fec_get_status()
502     check(s);  in fec_get_status()
518     check(path);  in fec_open()
519     check(handle);  in fec_open()
520     check(roots > 0 && roots < FEC_RSM);  in fec_open()