Tenok
A Linux-like Real-Time Operating System for Robotics and Internet of Things
types.h
Go to the documentation of this file.
1 
4 #ifndef __TYPES_H__
5 #define __TYPES_H__
6 
7 #include <stdint.h>
8 
9 typedef int ssize_t;
10 typedef int mode_t;
11 typedef int dev_t;
12 typedef uint32_t ino_t;
13 typedef uint16_t nlink_t;
14 typedef uint16_t uid_t;
15 typedef uint16_t gid_t;
16 typedef long int blksize_t;
17 typedef long int blkcnt_t;
18 typedef int pid_t;
19 typedef int clockid_t;
20 typedef int timer_t;
21 typedef int64_t time_t;
22 typedef long int off_t;
23 typedef unsigned long useconds_t;
24 typedef unsigned long clock_t;
25 
26 /* Tenok has no sockets. The type is named so that a program that mentions one
27  * compiles
28  */
29 typedef unsigned int socklen_t;
30 
31 /* The older spellings, which BSD derived headers still use */
32 typedef unsigned int u_int;
33 typedef unsigned long u_long;
34 typedef unsigned short u_short;
35 typedef unsigned char u_char;
36 
37 #endif