/*
* 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_ */