3 #ifndef MP_SERVICE_PPI_H
4 #define MP_SERVICE_PPI_H
12 #include <fsp/soc_binding.h>
27 bool run_serial,
efi_uintn_t timeout_usec,
void *argument);
void(EFIAPI * efi_ap_procedure)(void *buffer)
EFI_STATUS efi_return_status_t
EFI_PROCESSOR_INFORMATION efi_processor_information
efi_return_status_t mp_get_number_of_processors(efi_uintn_t *number_of_processors, efi_uintn_t *number_of_enabled_processors)
void * mp_fill_ppi_services_data(void)
efi_return_status_t mp_get_processor_info(efi_uintn_t processor_number, efi_processor_information *processor_info_buffer)
efi_return_status_t mp_identify_processor(efi_uintn_t *processor_number)
static efi_return_status_t mp_api_unsupported(void)
efi_return_status_t mp_startup_all_cpus(efi_ap_procedure procedure, efi_uintn_t timeout_usec, void *argument)
efi_return_status_t mp_startup_all_aps(efi_ap_procedure procedure, bool run_serial, efi_uintn_t timeout_usec, void *argument)
efi_return_status_t mp_startup_this_ap(efi_ap_procedure procedure, efi_uintn_t processor_number, efi_uintn_t timeout_usec, void *argument)