| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* This file is part of the coreboot project. */ | |
| #include <arch/cache.h> | |
| #include <program_loading.h> | |
| void arch_prog_run(struct prog *prog) | |
| { | |
| void (*doit)(void *); | |
| cache_sync_instructions(); | |
| doit = prog_entry(prog); | |
| doit(prog_entry_arg(prog)); | |
| } |