BOOTCFG_MAX_SIZE
max_size = BOOTCFG_MAX_SIZE;
if (sector_length > BOOTCFG_MAX_SIZE)
sector_length = BOOTCFG_MAX_SIZE;
if (used_bytes > MIN(sector_length, BOOTCFG_MAX_SIZE)) {
EFSYS_ASSERT3U(max_size, <=, BOOTCFG_MAX_SIZE);
if (sector_length > BOOTCFG_MAX_SIZE)
sector_length = BOOTCFG_MAX_SIZE;
max_size = BOOTCFG_MAX_SIZE;