/** @file
  EDKII Device Security library for SPDM device.
  It follows the SPDM Specification.

Copyright (c) 2024, Intel Corporation. All rights reserved.<BR>
SPDX-License-Identifier: BSD-2-Clause-Patent

**/

#ifndef LIBSPDM_STD_INT_ALT_H
#define LIBSPDM_STD_INT_ALT_H

typedef UINT64  uint64_t;
typedef INT64   int64_t;
typedef UINT32  uint32_t;
typedef INT32   int32_t;
typedef UINT16  uint16_t;
typedef INT16   int16_t;
typedef UINT8   uint8_t;

#ifndef SIZE_MAX
#define SIZE_MAX  MAX_UINTN
#endif

#endif /* LIBSPDM_STDINT_ALT */