coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
fsp_mpinit.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <fsp/api.h>
4 #include <intelblocks/mp_init.h>
5 
6 /*
7  * As per FSP integration guide:
8  * If bootloader needs to take control of APs back, a full AP re-initialization is
9  * required after FSP-S is completed and control has been transferred back to bootloader
10  */
12 {
13  init_cpus();
14 }
void do_mpinit_after_fsp(void)
Definition: fsp_mpinit.c:11
void init_cpus(void)
Definition: mp_init.c:133