text: /*
   *                               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-2021 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
  