/* If the BSP cannot be switched prior to the return from this service, then EFI_UNSUPPORTED must be returned. */
EFI_STATUS EFIAPI EdkiiPeiSwitchBSP(IN EDKII_PEI_MP_SERVICES2_PPI *This, IN UINTN ProcessorNumber, IN BOOLEAN EnableOldBSP)
/* If the BSP cannot be switched prior to the return from this service, then EFI_UNSUPPORTED must be returned. */
EFI_STATUS EFIAPI EdkiiPeiSwitchBSP(IN EDKII_PEI_MP_SERVICES2_PPI *This, IN UINTN ProcessorNumber, IN BOOLEAN EnableOldBSP)
{
  return MpInitLibSwitchBSP (ProcessorNumber, EnableOldBSP);
}