/*
 *                               POK header
 *
 * The following file is a part of the POK project. Any modification should
 * be made according to the POK licence. You CANNOT use this file or a part
 * of a file for your own project.
 *
 * For more information on the POK licence, please see our LICENCE FILE
 *
 * Please follow the coding guidelines described in doc/CODING_GUIDELINES
 *
 *                                      Copyright (c) 2007-2020 POK team
 */

#ifndef __POK_X86_TYPES_H__
#define __POK_X86_TYPES_H__

typedef unsigned char uint8_t;
typedef unsigned short uint16_t;
typedef unsigned int uint32_t;
typedef long int int32_t;
typedef unsigned long long uint64_t;

typedef char int8_t;
typedef short int16_t;
typedef signed long long int64_t;

typedef unsigned int size_t;
typedef int ssize_t;
typedef unsigned long int intptr_t;

#endif
