/* Setup separate stacks for certain exception handlers. If the input Buffer and BufferSize are both NULL, use global variable if possible. */
EFI_STATUS EFIAPI InitializeSeparateExceptionStacks(IN VOID *Buffer, IN OUT UINTN *BufferSize)
/* Setup separate stacks for certain exception handlers. If the input Buffer and BufferSize are both NULL, use global variable if possible. */
EFI_STATUS EFIAPI InitializeSeparateExceptionStacks(IN VOID *Buffer, IN OUT UINTN *BufferSize)
{
  if ((Buffer == NULL) && (BufferSize == NULL)) {
    return EFI_UNSUPPORTED;
  }
  return ArchSetupExceptionStack (Buffer, BufferSize);
}