1*27989a8eSAntonio Nino Diaz /* 2*27989a8eSAntonio Nino Diaz * Copyright (c) 2012-2017 Roberto E. Vargas Caballero 3*27989a8eSAntonio Nino Diaz * 4*27989a8eSAntonio Nino Diaz * SPDX-License-Identifier: BSD-3-Clause 5*27989a8eSAntonio Nino Diaz */ 6*27989a8eSAntonio Nino Diaz 7*27989a8eSAntonio Nino Diaz #ifndef _STDINT_H_ 8*27989a8eSAntonio Nino Diaz #define _STDINT_H_ 9*27989a8eSAntonio Nino Diaz 10*27989a8eSAntonio Nino Diaz #include <arch/stdint.h> 11*27989a8eSAntonio Nino Diaz 12*27989a8eSAntonio Nino Diaz #endif 13