/* If Context is NULL, then ASSERT(). If CpuIndex == BspIndex, then ASSERT(). If BspIndex or CpuIndex exceed the range of all CPUs in the system, then ASSERT(). */
VOID EFIAPI SmmCpuSyncReleaseBsp(IN OUT SMM_CPU_SYNC_CONTEXT *Context, IN UINTN CpuIndex, IN UINTN BspIndex)
/* If Context is NULL, then ASSERT(). If CpuIndex == BspIndex, then ASSERT(). If BspIndex or CpuIndex exceed the range of all CPUs in the system, then ASSERT(). */
VOID EFIAPI SmmCpuSyncReleaseBsp(IN OUT SMM_CPU_SYNC_CONTEXT *Context, IN UINTN CpuIndex, IN UINTN BspIndex)
{
  ASSERT (Context != NULL);
  ASSERT (BspIndex != CpuIndex);
  ASSERT (CpuIndex < Context->NumberOfCpus);
  ASSERT (BspIndex < Context->NumberOfCpus);
  InternalReleaseSemaphore (Context->CpuSem[BspIndex].Run);
}