riscv/kernel/boot.c

47 static void update_external_dt(void)
63 static void update_external_dt(void)
69 static void start_secondary_cores(void)
106 void init_tee_runtime(void)
116 static bool add_padding_to_pool(vaddr_t va, size_t len, void *ptr __unused)
118 	malloc_add_pool((void *)va, len);
122 static void init_primary(void)
140 		void *p = boot_mem_alloc(sz, 2 * alignof(void *));
158 __weak void plat_primary_init_early(void)
163 __weak void boot_primary_init_intc(void)
168 __weak void boot_primary_init_core_ids(void)
171 	const void *fdt = get_external_dt();
205 __weak void boot_secondary_init_intc(void)
209 void boot_init_primary_early(void)
214 void boot_init_primary_late(unsigned long fdt,
225 void __weak boot_init_primary_runtime(void)
250 void __weak boot_init_primary_final(void)
262 static void init_secondary_helper(void)
285 void boot_init_secondary(unsigned long nsec_entry __unused)
292 __weak unsigned long plat_get_aslr_seed(void)
297 __weak unsigned long get_aslr_seed(void)