soc/intel/xeon_sp/cpx: Fix PCU device IDs
[coreboot.git] / src / lib / prog_ops.c
blob9aa0b58f016661cf8379c577bb4c28eefd8bb5d2
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <program_loading.h>
4 #include <types.h>
6 /* For each segment of a program loaded this function is called*/
7 void prog_segment_loaded(uintptr_t start, size_t size, int flags)
9 platform_segment_loaded(start, size, flags);
10 arch_segment_loaded(start, size, flags);
13 void __weak platform_segment_loaded(uintptr_t start,
14 size_t size, int flags)
16 /* do nothing */
19 void __weak arch_segment_loaded(uintptr_t start, size_t size,
20 int flags)
22 /* do nothing */
25 void prog_run(struct prog *prog)
27 platform_prog_run(prog);
28 arch_prog_run(prog);
31 void __weak platform_prog_run(struct prog *prog)
33 /* do nothing */