os161-1.99
 All Data Structures
types.h
00001 /*
00002  * Copyright (c) 2000, 2001, 2002, 2003, 2004, 2005, 2008
00003  *      The President and Fellows of Harvard College.
00004  *
00005  * Redistribution and use in source and binary forms, with or without
00006  * modification, are permitted provided that the following conditions
00007  * are met:
00008  * 1. Redistributions of source code must retain the above copyright
00009  *    notice, this list of conditions and the following disclaimer.
00010  * 2. Redistributions in binary form must reproduce the above copyright
00011  *    notice, this list of conditions and the following disclaimer in the
00012  *    documentation and/or other materials provided with the distribution.
00013  * 3. Neither the name of the University nor the names of its contributors
00014  *    may be used to endorse or promote products derived from this software
00015  *    without specific prior written permission.
00016  *
00017  * THIS SOFTWARE IS PROVIDED BY THE UNIVERSITY AND CONTRIBUTORS ``AS IS'' AND
00018  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
00019  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
00020  * ARE DISCLAIMED.  IN NO EVENT SHALL THE UNIVERSITY OR CONTRIBUTORS BE LIABLE
00021  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
00022  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
00023  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
00024  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
00025  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
00026  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
00027  * SUCH DAMAGE.
00028  */
00029 
00030 #ifndef _KERN_TYPES_H_
00031 #define _KERN_TYPES_H_
00032 
00033 /* Get machine-dependent types. */
00034 #include <kern/machine/types.h>
00035 
00036 /*
00037  * Machine-independent types visible to user level.
00038  *
00039  * Define everything with leading underscores to avoid polluting the C
00040  * namespace for applications.
00041  *
00042  * The C standard (and additionally the POSIX standard) define rules
00043  * for what families of symbol names are allowed to be used by
00044  * application programmers, and what families of symbol names can be
00045  * defined by various standard header files. The C library needs to
00046  * conform to those rules, to the extent reasonably practical, to make
00047  * sure that application code compiles and behaves as intended.
00048  *
00049  * Many of the C library's headers need to use one or more of these
00050  * types in places where the "real" name of the type cannot be
00051  * exposed, or expose the names of some of these types and not others.
00052  * (For example, <string.h> is supposed to define size_t, but is not
00053  * supposed to also define e.g. pid_t.)
00054  *
00055  * For this reason we define everything with two underscores in front
00056  * of it; in C such symbol names are reserved for the implementation,
00057  * which we are, so this file can be included anywhere in any libc
00058  * header without causing namespace problems. The "real" type names
00059  * are defined with an additional layer of typedefs; this happens for
00060  * the kernel in <types.h> and for userland in (mostly) <sys/types.h>
00061  * and also various other places as per relevant standards.
00062  */
00063 
00064 typedef __u32 __blkcnt_t;  /* Count of blocks */
00065 typedef __u32 __blksize_t; /* Size of an I/O block */
00066 typedef __u64 __counter_t; /* Event counter */
00067 typedef __u32 __daddr_t;   /* Disk block number */
00068 typedef __u32 __dev_t;     /* Hardware device ID */
00069 typedef __u32 __fsid_t;    /* Filesystem ID */
00070 typedef __i32 __gid_t;     /* Group ID */
00071 typedef __u32 __in_addr_t; /* Internet address */
00072 typedef __u32 __in_port_t; /* Internet port number */
00073 typedef __u32 __ino_t;     /* Inode number */
00074 typedef __u32 __mode_t;    /* File access mode */
00075 typedef __u16 __nlink_t;   /* Number of links (intentionally only 16 bits) */
00076 typedef __i64 __off_t;     /* Offset within file */
00077 typedef __i32 __pid_t;     /* Process ID */
00078 typedef __u64 __rlim_t;    /* Resource limit quantity */
00079 typedef __u8 __sa_family_t;/* Socket address family */
00080 typedef __i64 __time_t;    /* Time in seconds */
00081 typedef __i32 __uid_t;     /* User ID */
00082 
00083 typedef int __nfds_t;    /* Number of file handles */
00084 typedef int __socklen_t;   /* Socket-related length */
00085 
00086 /* See note in <stdarg.h> */
00087 #ifdef __GNUC__
00088 typedef __builtin_va_list __va_list;
00089 #endif
00090 
00091 
00092 #endif /* _KERN_TYPES_H_ */
 All Data Structures