blob: dfd568fbded0fc12ad8261e3d1411a1c1d2b4164 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/* 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));
}
|
