Lines Matching defs:boot_dev
292 uint32_t boot_dev, boot_cpu; in bl2_plat_flush_bl31_params() local1032 uint32_t reg, midr, lcs, boot_dev, boot_cpu, sscg, type, rev; in bl2_early_platform_setup2() local