Searched refs:BOOT_KIND_BASE (Results 1 – 4 of 4) sorted by relevance
88 ldr x1, =BOOT_KIND_BASE153 ldr x3, =BOOT_KIND_BASE
358 u_register_t *boot_kind = (void *) BOOT_KIND_BASE; in bl2_plat_handle_pre_image_load()370 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()380 flush_dcache_range(BOOT_KIND_BASE, sizeof(*boot_kind)); in bl2_plat_handle_pre_image_load()
82 memory (BOOT_KIND_BASE) together with the BL31 parameters87 behind using direct shared memory access to BOOT_KIND_BASE _and_
48 #define BOOT_KIND_BASE (RCAR_SHARED_MEM_BASE + \ macro