/* 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)); | |
} |