Searched refs:boot_kind (Results 1 – 2 of 2) sorted by relevance
337 u_register_t *boot_kind = (void *)BOOT_KIND_BASE; in bl2_plat_handle_pre_image_load() local347 *boot_kind = RCAR_WARM_BOOT; in bl2_plat_handle_pre_image_load()348 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()357 *boot_kind = RCAR_COLD_BOOT; in bl2_plat_handle_pre_image_load()358 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()
494 u_register_t *boot_kind = (void *) BOOT_KIND_BASE; in bl2_plat_handle_pre_image_load() local531 *boot_kind = RCAR_COLD_BOOT; in bl2_plat_handle_pre_image_load()532 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()537 *boot_kind = RCAR_WARM_BOOT; in bl2_plat_handle_pre_image_load()538 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()