|
/*
|
|
* Copyright (c) 2012-2017 Roberto E. Vargas Caballero
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
/*
|
|
* Portions copyright (c) 2018, ARM Limited and Contributors.
|
|
* All rights reserved.
|
|
*/
|
|
|
|
#ifndef STDINT_H
|
|
#define STDINT_H
|
|
|
|
#include <stdint_.h>
|
|
|
|
#endif /* STDINT_H */
|