127989a8eSAntonio Nino Diaz /* 227989a8eSAntonio Nino Diaz * Copyright (c) 2012-2017 Roberto E. Vargas Caballero 327989a8eSAntonio Nino Diaz * 427989a8eSAntonio Nino Diaz * SPDX-License-Identifier: BSD-3-Clause 527989a8eSAntonio Nino Diaz */ 6*7c0ff9c4SAntonio Nino Diaz /* 7*7c0ff9c4SAntonio Nino Diaz * Portions copyright (c) 2018, ARM Limited and Contributors. 8*7c0ff9c4SAntonio Nino Diaz * All rights reserved. 9*7c0ff9c4SAntonio Nino Diaz */ 1027989a8eSAntonio Nino Diaz 1127989a8eSAntonio Nino Diaz #ifndef _STDINT_H_ 1227989a8eSAntonio Nino Diaz #define _STDINT_H_ 1327989a8eSAntonio Nino Diaz 14*7c0ff9c4SAntonio Nino Diaz #include <stdint_.h> 1527989a8eSAntonio Nino Diaz 1627989a8eSAntonio Nino Diaz #endif 17