/*
 * Copyright (C) 2017 Robin Krahl <robin.krahl@ireas.org>
 * 
 * This program is free software: you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by the Free
 * Software Foundation, either version 3 of the License, or (at your option)
 * any later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
 * more details.
 */

#ifndef GARMOS_TYPES_H
#define GARMOS_TYPES_H

/*
 * The defines x_IS_INT8, x_IS_INT16 and x_IS_INT32 must be set appropriately
 * in the architecture's config.mk.  If they are not set, the fixed width int
 * types will not be defined and the kernel will not compile.
 */

#ifdef CHAR_IS_INT8
#define int8_t signed char
#define uint8_t unsigned char
#endif

#ifdef SHORT_IS_INT16
#define int16_t short
#define uint16_t unsigned short
#endif

#ifdef INT_IS_INT32
#define int32_t int
#define uint32_t unsigned int
#endif

#endif