Searched defs:boot_idx (Results 1 – 1 of 1) sorted by relevance
624 static uint32_t boot_idx = INVALID_BOOT_IDX; in plat_fwu_get_boot_idx() local 661 uint32_t boot_idx; in plat_fwu_set_images_source() local