blob: 4b0579bad0f21af7d44efbe46d5286b4f44cd24a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
/*
* This file is part of the coreboot project.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; version 2 of the License.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*/
#ifndef MP_SERVICE_PPI_H
#define MP_SERVICE_PPI_H
/*
* This file to implement MP_SERVICES_PPI for Intel FSP to use.
* More details about this PPI can be found here :
* http://github.com/tianocore/edk2/blob/master/MdePkg/Include/Ppi/MpServices.h
*/
#include <efi/efi_datatype.h>
#include <fsp/soc_binding.h>
/*
* SOC must call this function to get required EFI_PEI_MP_SERVICES_PPI
* structure.
*/
efi_pei_mp_services_ppi *mp_fill_ppi_services_data(void);
#endif /* MP_SERVICE_PPI_H */
|
