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