/* Returns from the EBC stack by stack Index. */
EFI_STATUS ReturnEBCStack(IN UINTN Index)
/* Returns from the EBC stack by stack Index. */
EFI_STATUS ReturnEBCStack(IN UINTN Index)
{
  mStackBufferIndex[Index] = NULL;
  return EFI_SUCCESS;
}