/*
 * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef _MACHINE_INTTYPES_H_
#define _MACHINE_INTTYPES_H_

/*
 * Trusted Firmware does not depend on any definitions in this file. Content
 * will be added as needed.
 */

#endif /* !_MACHINE_INTTYPES_H_ */