Searched refs:boot_kind (Results 1 – 2 of 2) sorted by relevance
336 u_register_t *boot_kind = (void *)BOOT_KIND_BASE; in bl2_plat_handle_pre_image_load() local346 *boot_kind = RCAR_WARM_BOOT; in bl2_plat_handle_pre_image_load()347 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()356 *boot_kind = RCAR_COLD_BOOT; in bl2_plat_handle_pre_image_load()357 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()
493 u_register_t *boot_kind = (void *) BOOT_KIND_BASE; in bl2_plat_handle_pre_image_load() local530 *boot_kind = RCAR_COLD_BOOT; in bl2_plat_handle_pre_image_load()531 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()536 *boot_kind = RCAR_WARM_BOOT; in bl2_plat_handle_pre_image_load()537 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()