Searched refs:BOOT_KIND_BASE (Results 1 – 6 of 6) sorted by relevance
88 ldr x1, =BOOT_KIND_BASE153 ldr x3, =BOOT_KIND_BASE
336 u_register_t *boot_kind = (void *)BOOT_KIND_BASE; in bl2_plat_handle_pre_image_load()347 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()357 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()
77 memory (BOOT_KIND_BASE) together with the BL31 parameters82 behind using direct shared memory access to BOOT_KIND_BASE _and_
82 memory (BOOT_KIND_BASE) together with the BL31 parameters87 behind using direct shared memory access to BOOT_KIND_BASE _and_
422 u_register_t *boot_kind = (void *) BOOT_KIND_BASE; in bl2_plat_handle_pre_image_load()440 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()450 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()
48 #define BOOT_KIND_BASE (RCAR_SHARED_MEM_BASE + \ macro
