1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <arch/cache.h>
5 #include <program_loading.h>
7 void boot_linux(void *kernel_ptr
, void *fdt_ptr
);
9 void arch_prog_run(struct prog
*prog
)
13 cache_sync_instructions();
15 switch (prog_cbfs_type(prog
)) {
16 case CBFS_TYPE_FIT_PAYLOAD
:
18 * We only load Linux payloads from the ramstage, so provide a hint to
19 * the linker that the below functions do not need to be included in
26 boot_linux(prog_entry(prog
), prog_entry_arg(prog
));
29 doit
= prog_entry(prog
);
30 doit(prog_entry_arg(prog
));