/*
* Copyright (c) 2012-2017 Roberto E. Vargas Caballero
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#ifndef _STDINT_H_
#define _STDINT_H_
#include <arch/stdint.h>
#endif