include/lib/libc/stdint.h


1
2
3
4
5
6
7
8
9
10
11
12

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