src/arch/arm/boot.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

/* SPDX-License-Identifier: GPL-2.0-only */

#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));
}