Searched refs:kernel_entry32 (Results 1 – 2 of 2) sorted by relevance
18 .global kernel_entry32 symbol28 kernel_entry32: label
31 extern uint32_t kernel_entry32;75 return kernel_entry32; in plat_get_ns_image_entrypoint()