!C99Shell v. 1.0 pre-release build #16!

Software: Apache/2.0.54 (Fedora). PHP/5.0.4 

uname -a: Linux mina-info.me 2.6.17-1.2142_FC4smp #1 SMP Tue Jul 11 22:57:02 EDT 2006 i686 

uid=48(apache) gid=48(apache) groups=48(apache)
context=system_u:system_r:httpd_sys_script_t
 

Safe-mode: OFF (not secure)

/usr/include/valgrind/linux/   drwxr-xr-x
Free 3.8 GB of 27.03 GB (14.06%)
Home    Back    Forward    UPDIR    Refresh    Search    Buffer    Encoder    Tools    Proc.    FTP brute    Sec.    SQL    PHP-code    Update    Feedback    Self remove    Logout    


Viewing file:     vki.h (65.87 KB)      -rw-r--r--
Select action/file-type:
(+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |

/*--------------------------------------------------------------------*/
/*--- Linux-specific kernel interface.                 linux/vki.h ---*/
/*--------------------------------------------------------------------*/

/*
   This file is part of Valgrind, an extensible x86 protected-mode
   emulator for monitoring program execution on x86-Unixes.

   Copyright (C) 2000-2005 Julian Seward
      jseward@acm.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 2 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.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
   02111-1307, USA.

   The GNU General Public License is contained in the file COPYING.
*/

/* This file defines types and constants for the kernel interface, and to
   make that clear everything is prefixed VKI_/vki_.

   All code is copied verbatim from kernel source files, except that:
   - VKI_/vki_ prefixes are added
   - a few extra constants are defined (eg. VKI_MAP_NOSYMS);  these are
     marked 'internal'
   - some extra explanatory comments are included;  they are all within
     "[[ ]]"
   - for some types, we only care about the size;  for a few of them (big
     ones that are painful to fully drag in here), a VKI_SIZEOF_* constant
     is used.
   
   The files the code is taken from is indicated.

   Note especially that the types are not the glibc versions, many of which
   are different to those in here.

   Also note that all the necessary headers for this architecture are in
   this one file.  Since some Linux headers are generic, this means that
   some code duplication will occur between different vki.h files between
   different Linux Valgrind ports.  This is because it's difficult to
   separate the generic and arch-specific parts for Valgrind's purpose
   without introducing lots of separate files, since the dependencies
   between headers is quite complex.  The resulting code duplication is not
   a big deal, since the header code should not change over time.  

   Finally, note that it is assumed that __KERNEL__ is set for all these
   definitions, which affects some of them.
*/

#ifndef __LINUX_VKI_H
#define __LINUX_VKI_H

//----------------------------------------------------------------------
// Arch-specific POSIX types
//----------------------------------------------------------------------

#include "vki_arch_posixtypes.h"

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/compiler.h
//----------------------------------------------------------------------

# define __user

# define __attribute_const__    /* unimplemented */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/posix_types.h
//----------------------------------------------------------------------

#undef __VKI_NFDBITS
#define __VKI_NFDBITS    (8 * sizeof(unsigned long))

#undef __VKI_FD_SETSIZE
#define __VKI_FD_SETSIZE    1024

#undef __VKI_FDSET_LONGS
#define __VKI_FDSET_LONGS    (__VKI_FD_SETSIZE/__VKI_NFDBITS)

#undef __VKI_FDELT
#define    __VKI_FDELT(d)    ((d) / __VKI_NFDBITS)

#undef __VKI_FDMASK
#define    __VKI_FDMASK(d)    (1UL << ((d) % __VKI_NFDBITS))

typedef struct {
    unsigned long fds_bits [__VKI_FDSET_LONGS];
} __vki_kernel_fd_set;

typedef int __vki_kernel_key_t;
typedef int __vki_kernel_mqd_t;

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/types.h
//----------------------------------------------------------------------

typedef __vki_kernel_fd_set    vki_fd_set;
typedef __vki_kernel_mode_t    vki_mode_t;
typedef __vki_kernel_off_t    vki_off_t;
typedef __vki_kernel_pid_t    vki_pid_t;
typedef __vki_kernel_key_t    vki_key_t;
typedef __vki_kernel_suseconds_t    vki_suseconds_t;
typedef __vki_kernel_timer_t    vki_timer_t;
typedef __vki_kernel_clockid_t    vki_clockid_t;
typedef __vki_kernel_mqd_t    vki_mqd_t;

// [[Nb: it's a bit unclear due to a #ifdef, but I think this is right. --njn]]
typedef __vki_kernel_uid32_t    vki_uid_t;
typedef __vki_kernel_gid32_t    vki_gid_t;

typedef __vki_kernel_old_uid_t    vki_old_uid_t;
typedef __vki_kernel_old_gid_t    vki_old_gid_t;

typedef __vki_kernel_loff_t    vki_loff_t;

typedef __vki_kernel_size_t    vki_size_t;
typedef __vki_kernel_time_t    vki_time_t;
typedef __vki_kernel_clock_t    vki_clock_t;
typedef __vki_kernel_caddr_t    vki_caddr_t;

typedef unsigned long           vki_u_long;

typedef unsigned int            vki_uint;

//----------------------------------------------------------------------
// Now the rest of the arch-specific stuff
//----------------------------------------------------------------------

#include "vki_arch.h"

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/limits.h
//----------------------------------------------------------------------

#define VKI_PATH_MAX       4096    /* # chars in a path name including nul */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/kernel.h
//----------------------------------------------------------------------

struct vki_sysinfo {
    long uptime;            /* Seconds since boot */
    unsigned long loads[3];        /* 1, 5, and 15 minute load averages */
    unsigned long totalram;        /* Total usable main memory size */
    unsigned long freeram;        /* Available memory size */
    unsigned long sharedram;    /* Amount of shared memory */
    unsigned long bufferram;    /* Memory used by buffers */
    unsigned long totalswap;    /* Total swap space size */
    unsigned long freeswap;        /* swap space still available */
    unsigned short procs;        /* Number of current processes */
    unsigned short pad;        /* explicit padding for m68k */
    unsigned long totalhigh;    /* Total high memory size */
    unsigned long freehigh;        /* Available high memory size */
    unsigned int mem_unit;        /* Memory unit size in bytes */
    char _f[20-2*sizeof(long)-sizeof(int)];    /* Padding: libc5 uses this.. */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/byteorder/swab.h
//----------------------------------------------------------------------

#define ___vki_swab16(x) \
({ \
    __vki_u16 __x = (x); \
    ((__vki_u16)( \
        (((__vki_u16)(__x) & (__vki_u16)0x00ffU) << 8) | \
        (((__vki_u16)(__x) & (__vki_u16)0xff00U) >> 8) )); \
})

/*
* provide defaults when no architecture-specific optimization is detected
*/
#ifndef __vki_arch__swab16
#  define __vki_arch__swab16(x) ({ __vki_u16 __tmp = (x) ; ___vki_swab16(__tmp); })
#endif

// [[Nb: using the non-OPTIMIZE version here -- easier to understand, and
//   we don't need the optimised version as we use this very rarely]]
#  define __vki_swab16(x) __vki_fswab16(x)

static __inline__ __attribute_const__ __vki_u16 __vki_fswab16(__vki_u16 x)
{
    return __vki_arch__swab16(x);
}

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/byteorder/little_endian.h
//----------------------------------------------------------------------

#ifdef VKI_LITTLE_ENDIAN
#define __vki_be16_to_cpu(x) __vki_swab16((x))
#endif // VKI_LITTLE_ENDIAN

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/byteorder/big_endian.h
//----------------------------------------------------------------------

#ifdef VKI_BIG_ENDIAN
#define __vki_be16_to_cpu(x) ((__vki_u16)(x))
#endif // VKI_BIG_ENDIAN

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/byteorder/generic.h
//----------------------------------------------------------------------

#define ___vki_ntohs(x) __vki_be16_to_cpu(x)

#define vki_ntohs(x) ___vki_ntohs(x)

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/time.h
//----------------------------------------------------------------------

struct vki_timespec {
    vki_time_t    tv_sec;        /* seconds */
    long        tv_nsec;    /* nanoseconds */
};

struct vki_timeval {
    vki_time_t    tv_sec;        /* seconds */
    vki_suseconds_t    tv_usec;    /* microseconds */
};

struct vki_timezone {
    int    tz_minuteswest;    /* minutes west of Greenwich */
    int    tz_dsttime;    /* type of dst correction */
};

struct  vki_itimerspec {
        struct  vki_timespec it_interval;    /* timer period */
        struct  vki_timespec it_value;       /* timer expiration */
};

struct    vki_itimerval {
    struct    vki_timeval it_interval;    /* timer interval */
    struct    vki_timeval it_value;    /* current value */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/timex.h
//----------------------------------------------------------------------

struct vki_timex {
    unsigned int modes;    /* mode selector */
    long offset;        /* time offset (usec) */
    long freq;        /* frequency offset (scaled ppm) */
    long maxerror;        /* maximum error (usec) */
    long esterror;        /* estimated error (usec) */
    int status;        /* clock command/status */
    long constant;        /* pll time constant */
    long precision;        /* clock precision (usec) (read only) */
    long tolerance;        /* clock frequency tolerance (ppm)
                 * (read only)
                 */
    struct vki_timeval time;    /* (read only) */
    long tick;        /* (modified) usecs between clock ticks */

    long ppsfreq;           /* pps frequency (scaled ppm) (ro) */
    long jitter;            /* pps jitter (us) (ro) */
    int shift;              /* interval duration (s) (shift) (ro) */
    long stabil;            /* pps stability (scaled ppm) (ro) */
    long jitcnt;            /* jitter limit exceeded (ro) */
    long calcnt;            /* calibration intervals (ro) */
    long errcnt;            /* calibration errors (ro) */
    long stbcnt;            /* stability limit exceeded (ro) */

    int  :32; int  :32; int  :32; int  :32;
    int  :32; int  :32; int  :32; int  :32;
    int  :32; int  :32; int  :32; int  :32;
};

//#define ADJ_OFFSET        0x0001    /* time offset */
#define ADJ_FREQUENCY        0x0002    /* frequency offset */
#define ADJ_MAXERROR        0x0004    /* maximum time error */
#define ADJ_ESTERROR        0x0008    /* estimated time error */
#define ADJ_STATUS        0x0010    /* clock status */
#define ADJ_TIMECONST        0x0020    /* pll time constant */
#define ADJ_TICK        0x4000    /* tick value */
//#define ADJ_OFFSET_SINGLESHOT    0x8001    /* old-fashioned adjtime */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/times.h
//----------------------------------------------------------------------

struct vki_tms {
    vki_clock_t tms_utime;
    vki_clock_t tms_stime;
    vki_clock_t tms_cutime;
    vki_clock_t tms_cstime;
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/utime.h
//----------------------------------------------------------------------

struct vki_utimbuf {
    vki_time_t actime;
    vki_time_t modtime;
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/sched.h
//----------------------------------------------------------------------

#define VKI_CSIGNAL        0x000000ff    /* signal mask to be sent at exit */
#define VKI_CLONE_VM        0x00000100    /* set if VM shared between processes */
#define VKI_CLONE_FS        0x00000200    /* set if fs info shared between processes */
#define VKI_CLONE_FILES        0x00000400    /* set if open files shared between processes */
#define VKI_CLONE_SIGHAND    0x00000800    /* set if signal handlers and blocked signals shared */
#define VKI_CLONE_VFORK        0x00004000    /* set if the parent wants the child to wake it up on mm_release */
#define VKI_CLONE_PARENT    0x00008000    /* set if we want to have the same parent as the cloner */
#define VKI_CLONE_THREAD    0x00010000    /* Same thread group? */
#define VKI_CLONE_SYSVSEM    0x00040000    /* share system V SEM_UNDO semantics */
#define VKI_CLONE_SETTLS    0x00080000    /* create a new TLS for the child */
#define VKI_CLONE_PARENT_SETTID    0x00100000    /* set the TID in the parent */
#define VKI_CLONE_CHILD_CLEARTID    0x00200000    /* clear the TID in the child */
#define VKI_CLONE_DETACHED    0x00400000    /* Unused, ignored */
#define VKI_CLONE_CHILD_SETTID    0x01000000    /* set the TID in the child */

struct vki_sched_param {
    int sched_priority;
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/asm-generic/siginfo.h
//----------------------------------------------------------------------

typedef union vki_sigval {
    int sival_int;
    void __user *sival_ptr;
} vki_sigval_t;

#ifndef __VKI_ARCH_SI_PREAMBLE_SIZE
#define __VKI_ARCH_SI_PREAMBLE_SIZE    (3 * sizeof(int))
#endif

#define VKI_SI_MAX_SIZE    128

#ifndef VKI_SI_PAD_SIZE
#define VKI_SI_PAD_SIZE    ((VKI_SI_MAX_SIZE - __VKI_ARCH_SI_PREAMBLE_SIZE) / sizeof(int))
#endif

#ifndef __VKI_ARCH_SI_UID_T
#define __VKI_ARCH_SI_UID_T    vki_uid_t
#endif

#ifndef __VKI_ARCH_SI_BAND_T
#define __VKI_ARCH_SI_BAND_T long
#endif

// [[Nb: this type changed between 2.4 and 2.6, but not in a way that
// affects Valgrind.]]
typedef struct vki_siginfo {
    int si_signo;
    int si_errno;
    int si_code;

    union {
        int _pad[VKI_SI_PAD_SIZE];

        /* kill() */
        struct {
            vki_pid_t _pid;        /* sender's pid */
            __VKI_ARCH_SI_UID_T _uid;    /* sender's uid */
        } _kill;

        /* POSIX.1b timers */
        struct {
            vki_timer_t _tid;        /* timer id */
            int _overrun;        /* overrun count */
            char _pad[sizeof( __VKI_ARCH_SI_UID_T) - sizeof(int)];
            vki_sigval_t _sigval;    /* same as below */
            int _sys_private;       /* not to be passed to user */
        } _timer;

        /* POSIX.1b signals */
        struct {
            vki_pid_t _pid;        /* sender's pid */
            __VKI_ARCH_SI_UID_T _uid;    /* sender's uid */
            vki_sigval_t _sigval;
        } _rt;

        /* SIGCHLD */
        struct {
            vki_pid_t _pid;        /* which child */
            __VKI_ARCH_SI_UID_T _uid;    /* sender's uid */
            int _status;        /* exit code */
            vki_clock_t _utime;
            vki_clock_t _stime;
        } _sigchld;

        /* SIGILL, SIGFPE, SIGSEGV, SIGBUS */
        struct {
            void __user *_addr; /* faulting insn/memory ref. */
#ifdef __ARCH_SI_TRAPNO
            int _trapno;    /* TRAP # which caused the signal */
#endif
        } _sigfault;

        /* SIGPOLL */
        struct {
            __VKI_ARCH_SI_BAND_T _band;    /* POLL_IN, POLL_OUT, POLL_MSG */
            int _fd;
        } _sigpoll;
    } _sifields;
} vki_siginfo_t;

/*
* si_code values
* Digital reserves positive values for kernel-generated signals.
*/
#define VKI_SI_USER    0        /* sent by kill, sigsend, raise */
#define VKI_SI_TKILL    -6        /* sent by tkill system call */

#define VKI_SIGEV_MAX_SIZE    64
#ifndef VKI_SIGEV_PAD_SIZE
#define VKI_SIGEV_PAD_SIZE    ((VKI_SIGEV_MAX_SIZE/sizeof(int)) - 3)
#endif

// [[Nb: in 2.6.8.1, this constant is never defined...]]
#ifndef HAVE_ARCH_SIGEVENT_T

typedef struct vki_sigevent {
    vki_sigval_t sigev_value;
    int sigev_signo;
    int sigev_notify;
    union {
        int _pad[VKI_SIGEV_PAD_SIZE];
         int _tid;

        struct {
            void (*_function)(vki_sigval_t);
            void *_attribute;    /* really pthread_attr_t */
        } _sigev_thread;
    } _sigev_un;
} vki_sigevent_t;

#endif

//----------------------------------------------------------------------
// From elsewhere...
//----------------------------------------------------------------------

// [[The kernel actually uses the numbers 0,1,2 directly here, believe it or
// not.  So we introduce our own constants, based on the glibc ones.]]
#define VKI_SEEK_SET              0
#define VKI_SEEK_CUR              1
#define VKI_SEEK_END              2

// [[Our own additional mmap flags]]
#define VKI_MAP_NOSYMS  0x40000000      // internal: disable symbol loading
#define VKI_MAP_CLIENT  0x80000000      // internal: distinguish client mappings

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/net.h
//----------------------------------------------------------------------

#define VKI_SYS_SOCKET        1    /* sys_socket(2)        */
#define VKI_SYS_BIND        2    /* sys_bind(2)            */
#define VKI_SYS_CONNECT        3    /* sys_connect(2)        */
#define VKI_SYS_LISTEN        4    /* sys_listen(2)        */
#define VKI_SYS_ACCEPT        5    /* sys_accept(2)        */
#define VKI_SYS_GETSOCKNAME    6    /* sys_getsockname(2)        */
#define VKI_SYS_GETPEERNAME    7    /* sys_getpeername(2)        */
#define VKI_SYS_SOCKETPAIR    8    /* sys_socketpair(2)        */
#define VKI_SYS_SEND        9    /* sys_send(2)            */
#define VKI_SYS_RECV        10    /* sys_recv(2)            */
#define VKI_SYS_SENDTO        11    /* sys_sendto(2)        */
#define VKI_SYS_RECVFROM    12    /* sys_recvfrom(2)        */
#define VKI_SYS_SHUTDOWN    13    /* sys_shutdown(2)        */
#define VKI_SYS_SETSOCKOPT    14    /* sys_setsockopt(2)        */
#define VKI_SYS_GETSOCKOPT    15    /* sys_getsockopt(2)        */
#define VKI_SYS_SENDMSG        16    /* sys_sendmsg(2)        */
#define VKI_SYS_RECVMSG        17    /* sys_recvmsg(2)        */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/uio.h
//----------------------------------------------------------------------

struct vki_iovec
{
    void __user *iov_base;    /* BSD uses caddr_t (1003.1g requires void *) */
    __vki_kernel_size_t iov_len; /* Must be size_t (1003.1g) */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/socket.h
//----------------------------------------------------------------------

// [[Resolved arbitrarily;  doesn't really matter whether it's '__inline__'
//   or 'inline']]
#define __KINLINE static __inline__

typedef unsigned short    vki_sa_family_t;

struct vki_sockaddr {
    vki_sa_family_t    sa_family;    /* address family, AF_xxx    */
    char        sa_data[14];    /* 14 bytes of protocol address    */
};

struct vki_msghdr {
    void    *    msg_name;    /* Socket name            */
    int        msg_namelen;    /* Length of name        */
    struct vki_iovec *    msg_iov;    /* Data blocks            */
    __vki_kernel_size_t    msg_iovlen;    /* Number of blocks        */
    void     *    msg_control;    /* Per protocol magic (eg BSD file descriptor passing) */
    __vki_kernel_size_t    msg_controllen;    /* Length of cmsg list */
    unsigned    msg_flags;
};

struct vki_cmsghdr {
    __vki_kernel_size_t    cmsg_len;    /* data byte count, including hdr */
        int        cmsg_level;    /* originating protocol */
        int        cmsg_type;    /* protocol-specific type */
};

#define __VKI_CMSG_NXTHDR(ctl, len, cmsg) __vki_cmsg_nxthdr((ctl),(len),(cmsg))
#define VKI_CMSG_NXTHDR(mhdr, cmsg) vki_cmsg_nxthdr((mhdr), (cmsg))

#define VKI_CMSG_ALIGN(len) ( ((len)+sizeof(long)-1) & ~(sizeof(long)-1) )

#define VKI_CMSG_DATA(cmsg)    ((void *)((char *)(cmsg) + VKI_CMSG_ALIGN(sizeof(struct vki_cmsghdr))))

#define __VKI_CMSG_FIRSTHDR(ctl,len) ((len) >= sizeof(struct vki_cmsghdr) ? \
                  (struct vki_cmsghdr *)(ctl) : \
                  (struct vki_cmsghdr *)NULL)
#define VKI_CMSG_FIRSTHDR(msg)    __VKI_CMSG_FIRSTHDR((msg)->msg_control, (msg)->msg_controllen)

// [[Urgh, this is revolting...]
__KINLINE struct vki_cmsghdr * __vki_cmsg_nxthdr(void *__ctl, __vki_kernel_size_t __size,
                           struct vki_cmsghdr *__cmsg)
{
    struct vki_cmsghdr * __ptr;

    __ptr = (struct vki_cmsghdr*)(((unsigned char *) __cmsg) +  VKI_CMSG_ALIGN(__cmsg->cmsg_len));
    if ((unsigned long)((char*)(__ptr+1) - (char *) __ctl) > __size)
        return (struct vki_cmsghdr *)0;

    return __ptr;
}

__KINLINE struct vki_cmsghdr * vki_cmsg_nxthdr (struct vki_msghdr *__msg, struct vki_cmsghdr *__cmsg)
{
    return __vki_cmsg_nxthdr(__msg->msg_control, __msg->msg_controllen, __cmsg);
}

#define    VKI_SCM_RIGHTS    0x01        /* rw: access rights (array of int) */

#define VKI_AF_UNIX    1    /* Unix domain sockets         */
#define VKI_AF_INET    2    /* Internet IP Protocol        */
#define VKI_AF_INET6    10    /* IP version 6            */

#define VKI_MSG_NOSIGNAL    0x4000    /* Do not generate SIGPIPE */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/in.h
//----------------------------------------------------------------------

struct vki_in_addr {
    __vki_u32    s_addr;
};

/* Structure describing an Internet (IP) socket address. */
#define __VKI_SOCK_SIZE__    16    /* sizeof(struct sockaddr)    */
struct vki_sockaddr_in {
  vki_sa_family_t    sin_family;    /* Address family        */
  unsigned short int    sin_port;    /* Port number            */
  struct vki_in_addr    sin_addr;    /* Internet address        */

  /* Pad to size of `struct sockaddr'. */
  unsigned char        __pad[__VKI_SOCK_SIZE__ - sizeof(short int) -
            sizeof(unsigned short int) - sizeof(struct vki_in_addr)];
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/in6.h
//----------------------------------------------------------------------

struct vki_in6_addr
{
    union
    {
        __vki_u8    u6_addr8[16];
        __vki_u16    u6_addr16[8];
        __vki_u32    u6_addr32[4];
    } vki_in6_u;
#define vki_s6_addr        vki_in6_u.u6_addr8
#define vki_s6_addr16        vki_in6_u.u6_addr16
#define vki_s6_addr32        vki_in6_u.u6_addr32
};

struct vki_sockaddr_in6 {
    unsigned short int    sin6_family;    /* AF_INET6 */
    __vki_u16        sin6_port;      /* Transport layer port # */
    __vki_u32        sin6_flowinfo;  /* IPv6 flow information */
    struct vki_in6_addr    sin6_addr;      /* IPv6 address */
    __vki_u32        sin6_scope_id;  /* scope id (new in RFC2553) */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/un.h
//----------------------------------------------------------------------

#define VKI_UNIX_PATH_MAX    108

struct vki_sockaddr_un {
    vki_sa_family_t sun_family;    /* AF_UNIX */
    char sun_path[VKI_UNIX_PATH_MAX];    /* pathname */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/if.h
//----------------------------------------------------------------------

#define    VKI_IFNAMSIZ    16

struct vki_ifmap
{
    unsigned long mem_start;
    unsigned long mem_end;
    unsigned short base_addr;
    unsigned char irq;
    unsigned char dma;
    unsigned char port;
    /* 3 bytes spare */
};

struct vki_if_settings
{
    unsigned int type;    /* Type of physical device or protocol */
    unsigned int size;    /* Size of the data allocated by the caller */
    union {
                // [[Nb: converted these all to void* to avoid pulling in
                //   unnecessary headers]]]
        /* {atm/eth/dsl}_settings anyone ? */
        void /*raw_hdlc_proto        */__user *raw_hdlc;
        void /*cisco_proto        */__user *cisco;
        void /*fr_proto            */__user *fr;
        void /*fr_proto_pvc        */__user *fr_pvc;
        void /*fr_proto_pvc_info    */__user *fr_pvc_info;

        /* interface settings */
        void /*sync_serial_settings    */__user *sync;
        void /*te1_settings        */__user *te1;
    } ifs_ifsu;
};

struct vki_ifreq
{
#define VKI_IFHWADDRLEN    6
    union
    {
        char    ifrn_name[VKI_IFNAMSIZ];        /* if name, e.g. "en0" */
    } ifr_ifrn;
    
    union {
        struct    vki_sockaddr ifru_addr;
        struct    vki_sockaddr ifru_dstaddr;
        struct    vki_sockaddr ifru_broadaddr;
        struct    vki_sockaddr ifru_netmask;
        struct  vki_sockaddr ifru_hwaddr;
        short    ifru_flags;
        int    ifru_ivalue;
        int    ifru_mtu;
        struct  vki_ifmap ifru_map;
        char    ifru_slave[VKI_IFNAMSIZ];    /* Just fits the size */
        char    ifru_newname[VKI_IFNAMSIZ];
        void __user *    ifru_data;
        struct    vki_if_settings ifru_settings;
    } ifr_ifru;
};

#define vki_ifr_name    ifr_ifrn.ifrn_name    /* interface name     */
#define ifr_hwaddr    ifr_ifru.ifru_hwaddr    /* MAC address         */
#define    ifr_addr    ifr_ifru.ifru_addr    /* address        */
#define    ifr_dstaddr    ifr_ifru.ifru_dstaddr    /* other end of p-p lnk    */
#define    ifr_broadaddr    ifr_ifru.ifru_broadaddr    /* broadcast address    */
#define    ifr_netmask    ifr_ifru.ifru_netmask    /* interface net mask    */
#define    vki_ifr_flags    ifr_ifru.ifru_flags    /* flags        */
#define    vki_ifr_metric    ifr_ifru.ifru_ivalue    /* metric        */
#define    vki_ifr_mtu        ifr_ifru.ifru_mtu    /* mtu            */
#define ifr_map        ifr_ifru.ifru_map    /* device map        */
#define ifr_slave    ifr_ifru.ifru_slave    /* slave device        */
#define    vki_ifr_data    ifr_ifru.ifru_data    /* for use by interface    */
#define vki_ifr_ifindex    ifr_ifru.ifru_ivalue    /* interface index    */
#define ifr_bandwidth    ifr_ifru.ifru_ivalue    /* link bandwidth    */
#define ifr_qlen    ifr_ifru.ifru_ivalue    /* Queue length     */
#define ifr_newname    ifr_ifru.ifru_newname    /* New name        */
#define ifr_settings    ifr_ifru.ifru_settings    /* Device/proto settings*/

struct vki_ifconf
{
    int    ifc_len;            /* size of buffer    */
    union
    {
        char __user *ifcu_buf;
        struct vki_ifreq __user *ifcu_req;
    } ifc_ifcu;
};
#define    vki_ifc_buf    ifc_ifcu.ifcu_buf    /* buffer address    */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/if_arp.h
//----------------------------------------------------------------------

struct vki_arpreq {
  struct vki_sockaddr    arp_pa;        /* protocol address        */
  struct vki_sockaddr    arp_ha;        /* hardware address        */
  int            arp_flags;    /* flags            */
  struct vki_sockaddr   arp_netmask;    /* netmask (only for proxy arps) */
  char            arp_dev[16];
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/route.h
//----------------------------------------------------------------------

struct vki_rtentry
{
    unsigned long    rt_pad1;
    struct vki_sockaddr    rt_dst;        /* target address        */
    struct vki_sockaddr    rt_gateway;    /* gateway addr (RTF_GATEWAY)    */
    struct vki_sockaddr    rt_genmask;    /* target network mask (IP)    */
    unsigned short    rt_flags;
    short        rt_pad2;
    unsigned long    rt_pad3;
    void        *rt_pad4;
    short        rt_metric;    /* +1 for binary compatibility!    */
    char __user    *rt_dev;    /* forcing the device at add    */
    unsigned long    rt_mtu;        /* per route MTU/Window     */
// [[Not important for Valgrind]]
//#ifndef __KERNEL__
//#define rt_mss    rt_mtu        /* Compatibility :-(            */
//#endif
    unsigned long    rt_window;    /* Window clamping         */
    unsigned short    rt_irtt;    /* Initial RTT            */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/resource.h
//----------------------------------------------------------------------

struct    vki_rusage {
    struct vki_timeval ru_utime;    /* user time used */
    struct vki_timeval ru_stime;    /* system time used */
    long    ru_maxrss;        /* maximum resident set size */
    long    ru_ixrss;        /* integral shared memory size */
    long    ru_idrss;        /* integral unshared data size */
    long    ru_isrss;        /* integral unshared stack size */
    long    ru_minflt;        /* page reclaims */
    long    ru_majflt;        /* page faults */
    long    ru_nswap;        /* swaps */
    long    ru_inblock;        /* block input operations */
    long    ru_oublock;        /* block output operations */
    long    ru_msgsnd;        /* messages sent */
    long    ru_msgrcv;        /* messages received */
    long    ru_nsignals;        /* signals received */
    long    ru_nvcsw;        /* voluntary context switches */
    long    ru_nivcsw;        /* involuntary " */
};

struct vki_rlimit {
    unsigned long    rlim_cur;
    unsigned long    rlim_max;
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/elfcore.h
//----------------------------------------------------------------------

struct vki_elf_siginfo
{
    int    si_signo;            /* signal number */
    int    si_code;            /* extra code */
    int    si_errno;            /* errno */
};

// [[Removed some commented out lines here]]
struct vki_elf_prstatus
{
    struct vki_elf_siginfo pr_info;    /* Info associated with signal */
    short    pr_cursig;        /* Current signal */
    unsigned long pr_sigpend;    /* Set of pending signals */
    unsigned long pr_sighold;    /* Set of held signals */
    vki_pid_t    pr_pid;
    vki_pid_t    pr_ppid;
    vki_pid_t    pr_pgrp;
    vki_pid_t    pr_sid;
    struct vki_timeval pr_utime;    /* User time */
    struct vki_timeval pr_stime;    /* System time */
    struct vki_timeval pr_cutime;    /* Cumulative user time */
    struct vki_timeval pr_cstime;    /* Cumulative system time */
    vki_elf_gregset_t pr_reg;    /* GP registers */
    int pr_fpvalid;        /* True if math co-processor being used.  */
};

#define VKI_ELF_PRARGSZ    (80)    /* Number of chars for args */

struct vki_elf_prpsinfo
{
    char    pr_state;    /* numeric process state */
    char    pr_sname;    /* char for pr_state */
    char    pr_zomb;    /* zombie */
    char    pr_nice;    /* nice val */
    unsigned long pr_flag;    /* flags */
    __vki_kernel_uid_t    pr_uid;
    __vki_kernel_gid_t    pr_gid;
    vki_pid_t    pr_pid, pr_ppid, pr_pgrp, pr_sid;
    /* Lots missing */
    char    pr_fname[16];    /* filename of executable */
    char    pr_psargs[VKI_ELF_PRARGSZ];    /* initial part of arg list */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/eventpoll.h
//----------------------------------------------------------------------

#ifdef __x86_64__
#define VKI_EPOLL_PACKED __attribute__((packed))
#else
#define VKI_EPOLL_PACKED
#endif

struct epoll_event {
    __vki_u32 events;
    __vki_u64 data;
} VKI_EPOLL_PACKED;


//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/mqueue.h
//----------------------------------------------------------------------

struct vki_mq_attr {
    long    mq_flags;    /* message queue flags            */
    long    mq_maxmsg;    /* maximum number of messages        */
    long    mq_msgsize;    /* maximum message size            */
    long    mq_curmsgs;    /* number of messages currently queued    */
    long    __reserved[4];    /* ignored for input, zeroed for output */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/utsname.h
//----------------------------------------------------------------------

struct vki_new_utsname {
    char sysname[65];
    char nodename[65];
    char release[65];
    char version[65];
    char machine[65];
    char domainname[65];
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/mii.h
//----------------------------------------------------------------------

/* This structure is used in all SIOCxMIIxxx ioctl calls */
struct vki_mii_ioctl_data {
    vki_u16        phy_id;
    vki_u16        reg_num;
    vki_u16        val_in;
    vki_u16        val_out;
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/capability.h
//----------------------------------------------------------------------

// [[capget()/capset() man page says this, ominously:
//
//   The kernel API is likely to change and use of these functions  (in
//   particular the format of the cap_user_*_t types) is subject to
//   change with each kernel revision.
//
// However, the format hasn't changed since at least Linux 2.4.6.]]

typedef struct __vki_user_cap_header_struct {
    __vki_u32 version;
    int pid;
} __user *vki_cap_user_header_t;

typedef struct __vki_user_cap_data_struct {
        __vki_u32 effective;
        __vki_u32 permitted;
        __vki_u32 inheritable;
} __user *vki_cap_user_data_t;
  

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/module.h
//----------------------------------------------------------------------

// [[We do a VKI_SIZEOF_* here because this type is so big, and its size
//   depends on the word size, so see vki_arch.h]]

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/ipc.h
//----------------------------------------------------------------------

/* Obsolete, used only for backwards compatibility and libc5 compiles */
struct vki_ipc_perm
{
    __vki_kernel_key_t    key;
    __vki_kernel_uid_t    uid;
    __vki_kernel_gid_t    gid;
    __vki_kernel_uid_t    cuid;
    __vki_kernel_gid_t    cgid;
    __vki_kernel_mode_t    mode;
    unsigned short    seq;
};

#define VKI_IPC_CREAT  00001000   /* create if key is nonexistent */
#define VKI_IPC_EXCL   00002000   /* fail if key exists */
#define VKI_IPC_NOWAIT 00004000   /* return error on wait */

//#define VKI_IPC_RMID 0     /* remove resource */
#define VKI_IPC_SET  1     /* set ipc_perm options */
#define VKI_IPC_STAT 2     /* get ipc_perm options */
#define VKI_IPC_INFO 3     /* see ipcs */

#define VKI_IPC_64  0x0100  /* New version (support 32-bit UIDs, bigger
                   message sizes, etc. */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/sem.h
//----------------------------------------------------------------------

#define VKI_GETALL  13       /* get all semval's */
#define VKI_SETVAL  16       /* set semval */
#define VKI_SETALL  17       /* set all semval's */

#define VKI_SEM_STAT 18
#define VKI_SEM_INFO 19

/* Obsolete, used only for backwards compatibility and libc5 compiles */
struct vki_semid_ds {
    struct vki_ipc_perm    sem_perm;        /* permissions .. see ipc.h */
    __vki_kernel_time_t    sem_otime;        /* last semop time */
    __vki_kernel_time_t    sem_ctime;        /* last change time */
        // [[Use void* to avoid excess header copying]]
    void/*struct sem    */*sem_base;        /* ptr to first semaphore in array */
    void/*struct sem_queue */*sem_pending;        /* pending operations to be processed */
    void/*struct sem_queue */**sem_pending_last;    /* last pending operation */
    void/*struct sem_undo    */*undo;            /* undo requests on this array */
    unsigned short    sem_nsems;        /* no. of semaphores in array */
};

struct vki_sembuf {
    unsigned short  sem_num;    /* semaphore index in array */
    short        sem_op;        /* semaphore operation */
    short        sem_flg;    /* operation flags */
};

union vki_semun {
    int val;            /* value for SETVAL */
    struct vki_semid_ds __user *buf;    /* buffer for IPC_STAT & IPC_SET */
    unsigned short __user *array;    /* array for GETALL & SETALL */
    struct vki_seminfo __user *__buf;    /* buffer for IPC_INFO */
    void __user *__pad;
};

struct  vki_seminfo {
    int semmap;
    int semmni;
    int semmns;
    int semmnu;
    int semmsl;
    int semopm;
    int semume;
    int semusz;
    int semvmx;
    int semaem;
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/asm-generic/errno-base.h
//----------------------------------------------------------------------

#define    VKI_EPERM         1    /* Operation not permitted */
#define    VKI_ESRCH         3    /* No such process */
#define    VKI_EINTR         4    /* Interrupted system call */
#define    VKI_EBADF         9    /* Bad file number */
#define VKI_EAGAIN        11    /* Try again */
#define VKI_EWOULDBLOCK        VKI_EAGAIN
#define    VKI_ENOMEM        12    /* Out of memory */
#define    VKI_EACCES        13    /* Permission denied */
#define    VKI_EFAULT        14    /* Bad address */
#define    VKI_EEXIST        17    /* File exists */
#define    VKI_EINVAL        22    /* Invalid argument */
#define    VKI_EMFILE        24    /* Too many open files */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/asm-generic/errno.h
//----------------------------------------------------------------------

#define    VKI_ENOSYS        38    /* Function not implemented */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/wait.h
//----------------------------------------------------------------------

#define VKI_WNOHANG    0x00000001

#define __VKI_WALL    0x40000000    /* Wait on all children, regardless of type */
#define __VKI_WCLONE    0x80000000    /* Wait only on non-SIGCHLD children */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/mman.h
//----------------------------------------------------------------------

#define VKI_MREMAP_MAYMOVE    1
#define VKI_MREMAP_FIXED    2

//----------------------------------------------------------------------
// From linux-2.6.10-rc3-mm1/include/linux/futex.h
//----------------------------------------------------------------------

#define VKI_FUTEX_WAIT (0)
#define VKI_FUTEX_WAKE (1)
#define VKI_FUTEX_FD (2)
#define VKI_FUTEX_REQUEUE (3)
#define VKI_FUTEX_CMP_REQUEUE (4)

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/errno.h
//----------------------------------------------------------------------

#define VKI_ERESTARTSYS    512

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/stat.h
//----------------------------------------------------------------------

#define VKI_S_IRUSR 00400
#define VKI_S_IWUSR 00200

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/dirent.h
//----------------------------------------------------------------------

struct vki_dirent {
    long        d_ino;
    __vki_kernel_off_t    d_off;
    unsigned short    d_reclen;
    char        d_name[256]; /* We must not include limits.h! */
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/sysctl.h
//----------------------------------------------------------------------

struct __vki_sysctl_args {
    int __user *name;
    int nlen;
    void __user *oldval;
    vki_size_t __user *oldlenp;
    void __user *newval;
    vki_size_t newlen;
    unsigned long __unused[4];
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/aio_abi.h
//----------------------------------------------------------------------

typedef unsigned long    vki_aio_context_t;

enum {
    VKI_IOCB_CMD_PREAD = 0,
    VKI_IOCB_CMD_PWRITE = 1,
};

/* read() from /dev/aio returns these structures. */
struct vki_io_event {
    __vki_u64    data;        /* the data field from the iocb */
    __vki_u64    obj;        /* what iocb this event came from */
        // [[Nb: These fields renamed from 'res' and 'res2' because 'res' is
        //   a macro in vg_syscalls.c!]]
    __vki_s64    result;        /* result code for this event */
    __vki_s64    result2;    /* secondary result */
};

#define VKI_PADDED(x,y)    x, y
#if defined(VKI_LITTLE_ENDIAN)
#define VKI_PADDED(x,y)    x, y
#elif defined(VKI_BIG_ENDIAN)
#define VKI_PADDED(x,y)    y, x
#else
#error edit for your odd byteorder.
#endif

struct vki_iocb {
    /* these are internal to the kernel/libc. */
    __vki_u64    aio_data;    /* data to be returned in event's data */
    __vki_u32    VKI_PADDED(aio_key, aio_reserved1);
                /* the kernel sets aio_key to the req # */

    /* common fields */
    __vki_u16    aio_lio_opcode;    /* see IOCB_CMD_ above */
    __vki_s16    aio_reqprio;
    __vki_u32    aio_fildes;

    __vki_u64    aio_buf;
    __vki_u64    aio_nbytes;
    __vki_s64    aio_offset;

    /* extra parameters */
    __vki_u64    aio_reserved2;    /* TODO: use this for a (struct sigevent *) */
    __vki_u64    aio_reserved3;
}; /* 64 bytes */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/aio.h
//----------------------------------------------------------------------

struct vki_aio_ring {
    unsigned    id;    /* kernel internal index number */
    unsigned    nr;    /* number of io_events */
    unsigned    head;
    unsigned    tail;

    unsigned    magic;
    unsigned    compat_features;
    unsigned    incompat_features;
    unsigned    header_length;    /* size of aio_ring */

    struct vki_io_event        io_events[0];
}; /* 128 bytes + ring size */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/msg.h
//----------------------------------------------------------------------

#define VKI_MSG_STAT 11
#define VKI_MSG_INFO 12

struct vki_msqid_ds {
    struct vki_ipc_perm msg_perm;
    struct vki_msg *msg_first;        /* first message on queue,unused  */
    struct vki_msg *msg_last;        /* last message in queue,unused */
    __vki_kernel_time_t msg_stime;    /* last msgsnd time */
    __vki_kernel_time_t msg_rtime;    /* last msgrcv time */
    __vki_kernel_time_t msg_ctime;    /* last change time */
    unsigned long  msg_lcbytes;    /* Reuse junk fields for 32 bit */
    unsigned long  msg_lqbytes;    /* ditto */
    unsigned short msg_cbytes;    /* current number of bytes on queue */
    unsigned short msg_qnum;    /* number of messages in queue */
    unsigned short msg_qbytes;    /* max number of bytes on queue */
    __vki_kernel_ipc_pid_t msg_lspid;    /* pid of last msgsnd */
    __vki_kernel_ipc_pid_t msg_lrpid;    /* last receive pid */
};

struct vki_msgbuf {
    long mtype;         /* type of message */
    char mtext[1];      /* message text */
};

struct vki_msginfo {
    int msgpool;
    int msgmap;
    int msgmax;
    int msgmnb;
    int msgmni;
    int msgssz;
    int msgtql;
    unsigned short  msgseg;
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/shm.h
//----------------------------------------------------------------------

struct vki_shmid_ds {
    struct vki_ipc_perm        shm_perm;    /* operation perms */
    int            shm_segsz;    /* size of segment (bytes) */
    __vki_kernel_time_t        shm_atime;    /* last attach time */
    __vki_kernel_time_t        shm_dtime;    /* last detach time */
    __vki_kernel_time_t        shm_ctime;    /* last change time */
    __vki_kernel_ipc_pid_t    shm_cpid;    /* pid of creator */
    __vki_kernel_ipc_pid_t    shm_lpid;    /* pid of last operator */
    unsigned short        shm_nattch;    /* no. of current attaches */
    unsigned short         shm_unused;    /* compatibility */
    void             *shm_unused2;    /* ditto - used by DIPC */
    void            *shm_unused3;    /* unused */
};

#define VKI_SHM_STAT     13
#define VKI_SHM_INFO     14

/* Obsolete, used only for backwards compatibility */
struct    vki_shminfo {
    int shmmax;
    int shmmin;
    int shmmni;
    int shmseg;
    int shmall;
};

struct vki_shm_info {
    int used_ids;
    unsigned long shm_tot;    /* total allocated shm */
    unsigned long shm_rss;    /* total resident shm */
    unsigned long shm_swp;    /* total swapped shm */
    unsigned long swap_attempts;
    unsigned long swap_successes;
};

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/rtc.h
//----------------------------------------------------------------------

struct vki_rtc_time {
    int tm_sec;
    int tm_min;
    int tm_hour;
    int tm_mday;
    int tm_mon;
    int tm_year;
    int tm_wday;
    int tm_yday;
    int tm_isdst;
};

#define VKI_RTC_AIE_ON    _VKI_IO('p', 0x01)    /* Alarm int. enable on    */
#define VKI_RTC_AIE_OFF    _VKI_IO('p', 0x02)    /* ... off        */
#define VKI_RTC_UIE_ON    _VKI_IO('p', 0x03)    /* Update int. enable on*/
#define VKI_RTC_UIE_OFF    _VKI_IO('p', 0x04)    /* ... off        */
#define VKI_RTC_PIE_ON    _VKI_IO('p', 0x05)    /* Periodic int. enable on*/
#define VKI_RTC_PIE_OFF    _VKI_IO('p', 0x06)    /* ... off        */

#define VKI_RTC_ALM_SET        _VKI_IOW('p', 0x07, struct vki_rtc_time) /* Set alarm time  */
#define VKI_RTC_ALM_READ    _VKI_IOR('p', 0x08, struct vki_rtc_time) /* Read alarm time */
#define VKI_RTC_RD_TIME        _VKI_IOR('p', 0x09, struct vki_rtc_time) /* Read RTC time   */
//#define RTC_SET_TIME    _IOW('p', 0x0a, struct rtc_time) /* Set RTC time    */
#define VKI_RTC_IRQP_READ    _VKI_IOR('p', 0x0b, unsigned long)     /* Read IRQ rate   */
#define VKI_RTC_IRQP_SET    _VKI_IOW('p', 0x0c, unsigned long)     /* Set IRQ rate    */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/isdn.h
//----------------------------------------------------------------------

// [[Nb: Resolved this for the common case where CONFIG_COBALT_MICRO_SERVER
//   is not defined]]
#define VKI_ISDN_MAX_CHANNELS   64

#define VKI_IIOCGETCPS  _VKI_IO('I',21)

#define VKI_IIOCNETGPN  _VKI_IO('I',34)

#define VKI_ISDN_MSNLEN          32

typedef struct {
  char name[10];
  char phone[VKI_ISDN_MSNLEN];
  int  outgoing;
} vki_isdn_net_ioctl_phone;

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/sockios.h
//----------------------------------------------------------------------

#define VKI_SIOCOUTQ        VKI_TIOCOUTQ

#define VKI_SIOCADDRT        0x890B    /* add routing table entry    */
#define VKI_SIOCDELRT        0x890C    /* delete routing table entry    */

#define VKI_SIOCGIFNAME        0x8910    /* get iface name        */
#define VKI_SIOCGIFCONF        0x8912    /* get iface list        */
#define VKI_SIOCGIFFLAGS    0x8913    /* get flags            */
#define VKI_SIOCSIFFLAGS    0x8914    /* set flags            */
#define VKI_SIOCGIFADDR        0x8915    /* get PA address        */
#define VKI_SIOCSIFADDR        0x8916    /* set PA address        */
#define VKI_SIOCGIFDSTADDR    0x8917    /* get remote PA address    */
#define VKI_SIOCSIFDSTADDR    0x8918    /* set remote PA address    */
#define VKI_SIOCGIFBRDADDR    0x8919    /* get broadcast PA address    */
#define VKI_SIOCSIFBRDADDR    0x891a    /* set broadcast PA address    */
#define VKI_SIOCGIFNETMASK    0x891b    /* get network PA mask        */
#define VKI_SIOCSIFNETMASK    0x891c    /* set network PA mask        */
#define VKI_SIOCGIFMETRIC    0x891d    /* get metric            */
#define VKI_SIOCSIFMETRIC    0x891e    /* set metric            */
#define VKI_SIOCGIFMTU        0x8921    /* get MTU size            */
#define VKI_SIOCSIFMTU        0x8922    /* set MTU size            */
#define    VKI_SIOCSIFHWADDR    0x8924    /* set hardware address     */
#define VKI_SIOCGIFHWADDR    0x8927    /* Get hardware address        */
#define VKI_SIOCGIFINDEX    0x8933    /* name -> if_index mapping    */

#define VKI_SIOCGIFTXQLEN    0x8942    /* Get the tx queue length    */
#define VKI_SIOCSIFTXQLEN    0x8943    /* Set the tx queue length     */

#define VKI_SIOCGMIIPHY        0x8947    /* Get address of MII PHY in use. */
#define VKI_SIOCGMIIREG        0x8948    /* Read MII PHY register.    */
#define VKI_SIOCSMIIREG        0x8949    /* Write MII PHY register.    */

#define VKI_SIOCDARP        0x8953    /* delete ARP table entry    */
#define VKI_SIOCGARP        0x8954    /* get ARP table entry        */
#define VKI_SIOCSARP        0x8955    /* set ARP table entry        */

#define VKI_SIOCDRARP        0x8960    /* delete RARP table entry    */
#define VKI_SIOCGRARP        0x8961    /* get RARP table entry        */
#define VKI_SIOCSRARP        0x8962    /* set RARP table entry        */

#define VKI_SIOCGIFMAP        0x8970    /* Get device parameters    */
#define VKI_SIOCSIFMAP        0x8971    /* Set device parameters    */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/ppdev.h
//----------------------------------------------------------------------

#define VKI_PP_MAJOR    99

#define VKI_PP_IOCTL    'p'

/* Set mode for read/write (e.g. IEEE1284_MODE_EPP) */
#define VKI_PPSETMODE    _VKI_IOW(VKI_PP_IOCTL, 0x80, int)

/* Read status */
#define VKI_PPRSTATUS    _VKI_IOR(VKI_PP_IOCTL, 0x81, unsigned char)
//#define PPWSTATUS    OBSOLETE__IOW(PP_IOCTL, 0x82, unsigned char)

/* Read/write control */
#define VKI_PPRCONTROL    _VKI_IOR(VKI_PP_IOCTL, 0x83, unsigned char)
#define VKI_PPWCONTROL    _VKI_IOW(VKI_PP_IOCTL, 0x84, unsigned char)

struct vki_ppdev_frob_struct {
    unsigned char mask;
    unsigned char val;
};
#define VKI_PPFCONTROL      _VKI_IOW(VKI_PP_IOCTL, 0x8e, struct vki_ppdev_frob_struct)

/* Read/write data */
#define VKI_PPRDATA        _VKI_IOR(VKI_PP_IOCTL, 0x85, unsigned char)
#define VKI_PPWDATA        _VKI_IOW(VKI_PP_IOCTL, 0x86, unsigned char)

/* Claim the port to start using it */
#define VKI_PPCLAIM        _VKI_IO(VKI_PP_IOCTL, 0x8b)

/* Release the port when you aren't using it */
#define VKI_PPRELEASE    _VKI_IO(VKI_PP_IOCTL, 0x8c)

/* Yield the port (release it if another driver is waiting,
* then reclaim) */
#define VKI_PPYIELD        _VKI_IO(VKI_PP_IOCTL, 0x8d)

/* Register device exclusively (must be before PPCLAIM). */
#define VKI_PPEXCL        _VKI_IO(VKI_PP_IOCTL, 0x8f)

/* Data line direction: non-zero for input mode. */
#define VKI_PPDATADIR    _VKI_IOW(VKI_PP_IOCTL, 0x90, int)

/* Negotiate a particular IEEE 1284 mode. */
#define VKI_PPNEGOT    _VKI_IOW(VKI_PP_IOCTL, 0x91, int)

/* Set control lines when an interrupt occurs. */
#define VKI_PPWCTLONIRQ    _VKI_IOW(VKI_PP_IOCTL, 0x92, unsigned char)

/* Clear (and return) interrupt count. */
#define VKI_PPCLRIRQ    _VKI_IOR(VKI_PP_IOCTL, 0x93, int)

/* Set the IEEE 1284 phase that we're in (e.g. IEEE1284_PH_FWD_IDLE) */
#define VKI_PPSETPHASE    _VKI_IOW(VKI_PP_IOCTL, 0x94, int)

/* Set and get port timeout (struct timeval's) */
#define VKI_PPGETTIME    _VKI_IOR(VKI_PP_IOCTL, 0x95, struct vki_timeval)
#define VKI_PPSETTIME    _VKI_IOW(VKI_PP_IOCTL, 0x96, struct vki_timeval)

#define VKI_PPGETMODES    _VKI_IOR(VKI_PP_IOCTL, 0x97, unsigned int)

#define VKI_PPGETMODE    _VKI_IOR(VKI_PP_IOCTL, 0x98, int)
#define VKI_PPGETPHASE    _VKI_IOR(VKI_PP_IOCTL, 0x99, int)

#define VKI_PPGETFLAGS    _VKI_IOR(VKI_PP_IOCTL, 0x9a, int)
#define VKI_PPSETFLAGS    _VKI_IOW(VKI_PP_IOCTL, 0x9b, int)

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/fs.h
//----------------------------------------------------------------------

#define VKI_BLKGETSIZE _VKI_IO(0x12,96) /* return device size /512 (long *arg) */

#define VKI_FIBMAP    _VKI_IO(0x00,1)    /* bmap access */
#define VKI_FIGETBSZ    _VKI_IO(0x00,2)    /* get the block size used for bmap */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/scsi/sg.h
//----------------------------------------------------------------------

typedef struct vki_sg_io_hdr
{
    int interface_id;           /* [i] 'S' for SCSI generic (required) */
    int dxfer_direction;        /* [i] data transfer direction  */
    unsigned char cmd_len;      /* [i] SCSI command length ( <= 16 bytes) */
    unsigned char mx_sb_len;    /* [i] max length to write to sbp */
    unsigned short iovec_count; /* [i] 0 implies no scatter gather */
    unsigned int dxfer_len;     /* [i] byte count of data transfer */
    void __user *dxferp;    /* [i], [*io] points to data transfer memory
                          or scatter gather list */
    unsigned char __user *cmdp; /* [i], [*i] points to command to perform */
    void __user *sbp;        /* [i], [*o] points to sense_buffer memory */
    unsigned int timeout;       /* [i] MAX_UINT->no timeout (unit: millisec) */
    unsigned int flags;         /* [i] 0 -> default, see SG_FLAG... */
    int pack_id;                /* [i->o] unused internally (normally) */
    void __user * usr_ptr;      /* [i->o] unused internally */
    unsigned char status;       /* [o] scsi status */
    unsigned char masked_status;/* [o] shifted, masked scsi status */
    unsigned char msg_status;   /* [o] messaging level data (optional) */
    unsigned char sb_len_wr;    /* [o] byte count actually written to sbp */
    unsigned short host_status; /* [o] errors from host adapter */
    unsigned short driver_status;/* [o] errors from software driver */
    int resid;                  /* [o] dxfer_len - actual_transferred */
    unsigned int duration;      /* [o] time taken by cmd (unit: millisec) */
    unsigned int info;          /* [o] auxiliary information */
} vki_sg_io_hdr_t;  /* 64 bytes long (on i386) */

typedef struct vki_sg_scsi_id { /* used by SG_GET_SCSI_ID ioctl() */
    int host_no;        /* as in "scsi<n>" where 'n' is one of 0, 1, 2 etc */
    int channel;
    int scsi_id;        /* scsi id of target device */
    int lun;
    int scsi_type;      /* TYPE_... defined in scsi/scsi.h */
    short h_cmd_per_lun;/* host (adapter) maximum commands per lun */
    short d_queue_depth;/* device (or adapter) maximum queue length */
    int unused[2];      /* probably find a good use, set 0 for now */
} vki_sg_scsi_id_t; /* 32 bytes long on i386 */

#define VKI_SG_EMULATED_HOST 0x2203 /* true for emulated host adapter (ATAPI) */

#define VKI_SG_SET_RESERVED_SIZE 0x2275  /* request a new reserved buffer size */
#define VKI_SG_GET_RESERVED_SIZE 0x2272  /* actual size of reserved buffer */

#define VKI_SG_GET_SCSI_ID 0x2276   /* Yields fd's bus, chan, dev, lun + type */

#define VKI_SG_GET_SG_TABLESIZE 0x227F  /* 0 implies can't do scatter gather */

#define VKI_SG_GET_VERSION_NUM 0x2282 /* Example: version 2.1.34 yields 20134 */

#define VKI_SG_IO 0x2285   /* similar effect as write() followed by read() */

#define VKI_SG_SET_TIMEOUT 0x2201  /* unit: jiffies (10ms on i386) */
#define VKI_SG_GET_TIMEOUT 0x2202  /* yield timeout as _return_ value */

//#define SG_GET_COMMAND_Q 0x2270   /* Yields 0 (queuing off) or 1 (on) */
#define VKI_SG_SET_COMMAND_Q 0x2271   /* Change queuing state with 0 or 1 */

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/cdrom.h
//----------------------------------------------------------------------

#define VKI_CDROMPLAYMSF    0x5303 /* Play Audio MSF (struct cdrom_msf) */
#define VKI_CDROMREADTOCHDR    0x5305 /* Read TOC header
                                           (struct cdrom_tochdr) */
#define VKI_CDROMREADTOCENTRY    0x5306 /* Read TOC entry
                                           (struct cdrom_tocentry) */
#define VKI_CDROMSUBCHNL    0x530b /* Read subchannel data
                                           (struct cdrom_subchnl) */
#define VKI_CDROMREADMODE2    0x530c /* Read CDROM mode 2 data (2336 Bytes)
                                           (struct cdrom_read) */
#define VKI_CDROMREADAUDIO    0x530e /* (struct cdrom_read_audio) */
#define VKI_CDROMMULTISESSION    0x5310 /* Obtain the start-of-last-session
                                           address of multi session disks
                                           (struct cdrom_multisession) */
#define VKI_CDROM_GET_MCN    0x5311 /* Obtain the "Universal Product Code"
                                           if available (struct cdrom_mcn) */
#define VKI_CDROMVOLREAD    0x5313 /* Get the drive's volume setting
                                          (struct cdrom_volctrl) */
#define VKI_CDROM_CLEAR_OPTIONS    0x5321  /* Clear behavior options */
#define VKI_CDROM_DRIVE_STATUS    0x5326  /* Get tray position, etc. */

#define VKI_CDROM_SEND_PACKET    0x5393    /* send a packet to the drive */

struct vki_cdrom_msf0        
{
    __vki_u8    minute;
    __vki_u8    second;
    __vki_u8    frame;
};

union vki_cdrom_addr        
{
    struct vki_cdrom_msf0    msf;
    int            lba;
};

struct vki_cdrom_msf
{
    __vki_u8    cdmsf_min0;    /* start minute */
    __vki_u8    cdmsf_sec0;    /* start second */
    __vki_u8    cdmsf_frame0;    /* start frame */
    __vki_u8    cdmsf_min1;    /* end minute */
    __vki_u8    cdmsf_sec1;    /* end second */
    __vki_u8    cdmsf_frame1;    /* end frame */
};

struct vki_cdrom_tochdr     
{
    __vki_u8    cdth_trk0;    /* start track */
    __vki_u8    cdth_trk1;    /* end track */
};

struct vki_cdrom_volctrl
{
    __vki_u8    channel0;
    __vki_u8    channel1;
    __vki_u8    channel2;
    __vki_u8    channel3;
};

struct vki_cdrom_subchnl
{
    __vki_u8    cdsc_format;
    __vki_u8    cdsc_audiostatus;
    __vki_u8    cdsc_adr:    4;
    __vki_u8    cdsc_ctrl:    4;
    __vki_u8    cdsc_trk;
    __vki_u8    cdsc_ind;
    union vki_cdrom_addr cdsc_absaddr;
    union vki_cdrom_addr cdsc_reladdr;
};

struct vki_cdrom_tocentry
{
    __vki_u8    cdte_track;
    __vki_u8    cdte_adr    :4;
    __vki_u8    cdte_ctrl    :4;
    __vki_u8    cdte_format;
    union vki_cdrom_addr cdte_addr;
    __vki_u8    cdte_datamode;
};

struct vki_cdrom_read      
{
    int    cdread_lba;
    char     *cdread_bufaddr;
    int    cdread_buflen;
};

struct vki_cdrom_read_audio
{
    union vki_cdrom_addr addr; /* frame address */
    __vki_u8 addr_format;      /* CDROM_LBA or CDROM_MSF */
    int nframes;           /* number of 2352-byte-frames to read at once */
    __vki_u8 __user *buf;      /* frame buffer (size: nframes*2352 bytes) */
};

struct vki_cdrom_multisession
{
    union vki_cdrom_addr addr; /* frame address: start-of-last-session
                               (not the new "frame 16"!).  Only valid
                               if the "xa_flag" is true. */
    __vki_u8 xa_flag;        /* 1: "is XA disk" */
    __vki_u8 addr_format;    /* CDROM_LBA or CDROM_MSF */
};

struct vki_cdrom_mcn
{
  __vki_u8 medium_catalog_number[14]; /* 13 ASCII digits, null-terminated */
};

#define VKI_CDROM_PACKET_SIZE    12

struct vki_cdrom_generic_command
{
    unsigned char         cmd[VKI_CDROM_PACKET_SIZE];
    unsigned char        __user *buffer;
    unsigned int         buflen;
    int            stat;
        // [[replace with void* to reduce inclusion amounts]]
    void/*struct vki_request_sense    */__user *sense;
    unsigned char        data_direction;
    int            quiet;
    int            timeout;
    void            __user *reserved[1];    /* unused, actually */
};

#define VKI_CD_SYNC_SIZE         12 /* 12 sync bytes per raw data frame */
#define VKI_CD_HEAD_SIZE          4 /* header (address) bytes per raw data frame */
#define VKI_CD_FRAMESIZE_RAW   2352 /* bytes per frame, "raw" mode */
#define VKI_CD_FRAMESIZE_RAW0 (VKI_CD_FRAMESIZE_RAW-VKI_CD_SYNC_SIZE-VKI_CD_HEAD_SIZE) /*2336*/

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/soundcard.h
//----------------------------------------------------------------------

#ifndef _VKI_SIOWR
#if defined(_VKI_IOWR) && (defined(_AIX) || (!defined(sun) && !defined(sparc) && !defined(__sparc__) && !defined(__INCioctlh) && !defined(__Lynx__)))
/* Use already defined ioctl defines if they exist (except with Sun or Sparc) */
#define    _VKI_SIO        _VKI_IO
#define    _VKI_SIOR        _VKI_IOR
#define    _VKI_SIOW        _VKI_IOW
#define    _VKI_SIOWR        _VKI_IOWR
#else
// [[Valgrind: Install this case if/when necessary]
#error Valgrind: Cannot handle sparc/sun case yet...
#  endif /* _IOWR */
#endif  /* !_VKI_SIOWR */

#define VKI_SNDCTL_SEQ_CTRLRATE        _VKI_SIOWR('Q', 3, int)    /* Set/get timer resolution (HZ) */
#define VKI_SNDCTL_SEQ_GETOUTCOUNT    _VKI_SIOR ('Q', 4, int)
#define VKI_SNDCTL_SEQ_GETINCOUNT    _VKI_SIOR ('Q', 5, int)
#define VKI_SNDCTL_SEQ_PERCMODE        _VKI_SIOW ('Q', 6, int)
#define VKI_SNDCTL_SEQ_TESTMIDI        _VKI_SIOW ('Q', 8, int)
#define VKI_SNDCTL_SEQ_RESETSAMPLES    _VKI_SIOW ('Q', 9, int)
#define VKI_SNDCTL_SEQ_NRSYNTHS        _VKI_SIOR ('Q',10, int)
#define VKI_SNDCTL_SEQ_NRMIDIS        _VKI_SIOR ('Q',11, int)
#define VKI_SNDCTL_SEQ_GETTIME        _VKI_SIOR ('Q',19, int)

#define VKI_SNDCTL_TMR_TIMEBASE        _VKI_SIOWR('T', 1, int)
#define VKI_SNDCTL_TMR_TEMPO        _VKI_SIOWR('T', 5, int)
#define VKI_SNDCTL_TMR_SOURCE        _VKI_SIOWR('T', 6, int)

#define VKI_SNDCTL_MIDI_PRETIME        _VKI_SIOWR('m', 0, int)
#define VKI_SNDCTL_MIDI_MPUMODE        _VKI_SIOWR('m', 1, int)

#define VKI_SNDCTL_DSP_RESET        _VKI_SIO  ('P', 0)
#define VKI_SNDCTL_DSP_SYNC        _VKI_SIO  ('P', 1)
#define VKI_SNDCTL_DSP_SPEED        _VKI_SIOWR('P', 2, int)
#define VKI_SNDCTL_DSP_STEREO        _VKI_SIOWR('P', 3, int)
#define VKI_SNDCTL_DSP_GETBLKSIZE    _VKI_SIOWR('P', 4, int)
#define VKI_SNDCTL_DSP_CHANNELS        _VKI_SIOWR('P', 6, int)
#define VKI_SOUND_PCM_WRITE_FILTER    _VKI_SIOWR('P', 7, int)
#define VKI_SNDCTL_DSP_POST        _VKI_SIO  ('P', 8)
#define VKI_SNDCTL_DSP_SUBDIVIDE    _VKI_SIOWR('P', 9, int)
#define VKI_SNDCTL_DSP_SETFRAGMENT    _VKI_SIOWR('P',10, int)

#define VKI_SNDCTL_DSP_GETFMTS        _VKI_SIOR ('P',11, int) /* Returns a mask */

typedef struct vki_audio_buf_info {
            int fragments;    /* # of available fragments (partially usend ones not counted) */
            int fragstotal;    /* Total # of fragments allocated */
            int fragsize;    /* Size of a fragment in bytes */

            int bytes;    /* Available space in bytes (includes partially used fragments) */
            /* Note! 'bytes' could be more than fragments*fragsize */
        } vki_audio_buf_info;

#define VKI_SNDCTL_DSP_GETOSPACE    _VKI_SIOR ('P',12, vki_audio_buf_info)
#define VKI_SNDCTL_DSP_GETISPACE    _VKI_SIOR ('P',13, vki_audio_buf_info)
//#define VKI_SNDCTL_DSP_NONBLOCK    _VKI_SIO  ('P',14)
#define VKI_SNDCTL_DSP_GETCAPS        _VKI_SIOR ('P',15, int)

#define VKI_SNDCTL_DSP_GETTRIGGER    _VKI_SIOR ('P',16, int)
#define VKI_SNDCTL_DSP_SETTRIGGER    _VKI_SIOW ('P',16, int)

#define VKI_SNDCTL_DSP_SETSYNCRO    _VKI_SIO  ('P', 21)
#define VKI_SNDCTL_DSP_SETDUPLEX    _VKI_SIO  ('P', 22)
#define VKI_SNDCTL_DSP_GETODELAY    _VKI_SIOR ('P', 23, int)

#define VKI_SNDCTL_DSP_GETCHANNELMASK    _VKI_SIOWR('P', 64, int)
#define VKI_SNDCTL_DSP_BIND_CHANNEL    _VKI_SIOWR('P', 65, int)

#define VKI_SNDCTL_DSP_SETSPDIF        _VKI_SIOW ('P', 66, int)
#define VKI_SNDCTL_DSP_GETSPDIF        _VKI_SIOR ('P', 67, int)

#define VKI_SOUND_PCM_READ_RATE        _VKI_SIOR ('P', 2, int)
#define VKI_SOUND_PCM_READ_CHANNELS    _VKI_SIOR ('P', 6, int)
#define VKI_SOUND_PCM_READ_BITS        _VKI_SIOR ('P', 5, int)
#define VKI_SOUND_PCM_READ_FILTER    _VKI_SIOR ('P', 7, int)


//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/hdreg.h
//----------------------------------------------------------------------

#define VKI_HDIO_GET_IDENTITY    0x030d    /* get IDE identification info */

// [[Nb: done like this because the original type is a huge struct that will
//   always be the same size.]]
#define VKI_SIZEOF_STRUCT_HD_DRIVEID   512

//----------------------------------------------------------------------
// From linux-2.6.8.1/include/linux/fb.h
//----------------------------------------------------------------------

#define VKI_FBIOGET_VSCREENINFO    0x4600
#define VKI_FBIOGET_FSCREENINFO    0x4602

struct vki_fb_fix_screeninfo {
    char id[16];            /* identification string eg "TT Builtin" */
    unsigned long smem_start;    /* Start of frame buffer mem */
                    /* (physical address) */
    __vki_u32 smem_len;            /* Length of frame buffer mem */
    __vki_u32 type;            /* see FB_TYPE_*        */
    __vki_u32 type_aux;        /* Interleave for interleaved Planes */
    __vki_u32 visual;        /* see FB_VISUAL_*        */
    __vki_u16 xpanstep;        /* zero if no hardware panning  */
    __vki_u16 ypanstep;        /* zero if no hardware panning  */
    __vki_u16 ywrapstep;        /* zero if no hardware ywrap    */
    __vki_u32 line_length;        /* length of a line in bytes    */
    unsigned long mmio_start;    /* Start of Memory Mapped I/O   */
                    /* (physical address) */
    __vki_u32 mmio_len;        /* Length of Memory Mapped I/O  */
    __vki_u32 accel;        /* Indicate to driver which    */
                    /*  specific chip/card we have    */
    __vki_u16 reserved[3];        /* Reserved for future compatibility */
};

struct vki_fb_bitfield {
    __vki_u32 offset;        /* beginning of bitfield    */
    __vki_u32 length;        /* length of bitfield        */
    __vki_u32 msb_right;        /* != 0 : Most significant bit is */
                    /* right */
};

struct vki_fb_var_screeninfo {
    __vki_u32 xres;            /* visible resolution        */
    __vki_u32 yres;
    __vki_u32 xres_virtual;        /* virtual resolution        */
    __vki_u32 yres_virtual;
    __vki_u32 xoffset;        /* offset from virtual to visible */
    __vki_u32 yoffset;        /* resolution            */

    __vki_u32 bits_per_pixel;    /* guess what            */
    __vki_u32 grayscale;        /* != 0 Graylevels instead of colors */

    struct vki_fb_bitfield red;    /* bitfield in fb mem if true color, */
    struct vki_fb_bitfield green;    /* else only length is significant */
    struct vki_fb_bitfield blue;
    struct vki_fb_bitfield transp;    /* transparency            */    

    __vki_u32 nonstd;        /* != 0 Non standard pixel format */

    __vki_u32 activate;        /* see FB_ACTIVATE_*        */

    __vki_u32 height;        /* height of picture in mm    */
    __vki_u32 width;        /* width of picture in mm     */

    __vki_u32 accel_flags;        /* (OBSOLETE) see fb_info.flags */

    /* Timing: All values in pixclocks, except pixclock (of course) */
    __vki_u32 pixclock;        /* pixel clock in ps (pico seconds) */
    __vki_u32 left_margin;        /* time from sync to picture    */
    __vki_u32 right_margin;        /* time from picture to sync    */
    __vki_u32 upper_margin;        /* time from sync to picture    */
    __vki_u32 lower_margin;
    __vki_u32 hsync_len;        /* length of horizontal sync    */
    __vki_u32 vsync_len;        /* length of vertical sync    */
    __vki_u32 sync;            /* see FB_SYNC_*        */
    __vki_u32 vmode;        /* see FB_VMODE_*        */
    __vki_u32 rotate;        /* angle we rotate counter clockwise */
    __vki_u32 reserved[5];        /* Reserved for future compatibility */
};

//----------------------------------------------------------------------
// From linux-2.6.9/include/linux/kb.h
//----------------------------------------------------------------------

#define VKI_GIO_FONT       0x4B60  /* gets font in expanded form */
#define VKI_PIO_FONT       0x4B61  /* use font in expanded form */

#define VKI_GIO_FONTX      0x4B6B  /* get font using struct consolefontdesc */
#define VKI_PIO_FONTX      0x4B6C  /* set font using struct consolefontdesc */
struct vki_consolefontdesc {
    unsigned short charcount;    /* characters in font (256 or 512) */
    unsigned short charheight;    /* scan lines per character (1-32) */
    char __user *chardata;        /* font data in expanded form */
};

#define VKI_PIO_FONTRESET  0x4B6D  /* reset to default font */

#define VKI_GIO_CMAP       0x4B70  /* gets colour palette on VGA+ */
#define VKI_PIO_CMAP       0x4B71  /* sets colour palette on VGA+ */

#define VKI_KIOCSOUND      0x4B2F  /* start sound generation (0 for off) */
#define VKI_KDMKTONE       0x4B30  /* generate tone */

#define VKI_KDGETLED       0x4B31  /* return current led state */
#define VKI_KDSETLED       0x4B32  /* set led state [lights, not flags] */

#define VKI_KDGKBTYPE      0x4B33  /* get keyboard type */

#define VKI_KDADDIO        0x4B34  /* add i/o port as valid */
#define VKI_KDDELIO        0x4B35  /* del i/o port as valid */
#define VKI_KDENABIO       0x4B36  /* enable i/o to video board */
#define VKI_KDDISABIO      0x4B37  /* disable i/o to video board */

#define VKI_KDSETMODE      0x4B3A  /* set text/graphics mode */
#define VKI_KDGETMODE      0x4B3B  /* get current mode */

#define VKI_KDMAPDISP      0x4B3C  /* map display into address space */
#define VKI_KDUNMAPDISP    0x4B3D  /* unmap display from address space */

#define        VKI_E_TABSZ        256
#define VKI_GIO_SCRNMAP    0x4B40  /* get screen mapping from kernel */
#define VKI_PIO_SCRNMAP       0x4B41  /* put screen mapping table in kernel */
#define VKI_GIO_UNISCRNMAP 0x4B69  /* get full Unicode screen mapping */
#define VKI_PIO_UNISCRNMAP 0x4B6A  /* set full Unicode screen mapping */

#define VKI_GIO_UNIMAP     0x4B66  /* get unicode-to-font mapping from kernel */
#define VKI_PIO_UNIMAP     0x4B67  /* put unicode-to-font mapping in kernel */
#define VKI_PIO_UNIMAPCLR  0x4B68  /* clear table, possibly advise hash algorithm */

#define VKI_KDGKBMODE      0x4B44  /* gets current keyboard mode */
#define VKI_KDSKBMODE      0x4B45  /* sets current keyboard mode */

#define VKI_KDGKBMETA      0x4B62 /* gets meta key handling mode */
#define VKI_KDSKBMETA      0x4B63  /* sets meta key handling mode */

#define VKI_KDGKBLED       0x4B64  /* get led flags (not lights) */
#define VKI_KDSKBLED       0x4B65  /* set led flags (not lights) */

struct vki_kbentry {
    unsigned char kb_table;
    unsigned char kb_index;
    unsigned short kb_value;
};
#define VKI_KDGKBENT       0x4B46  /* gets one entry in translation table */
#define VKI_KDSKBENT       0x4B47  /* sets one entry in translation table */

struct vki_kbsentry {
    unsigned char kb_func;
    unsigned char kb_string[512];
};
#define VKI_KDGKBSENT      0x4B48  /* gets one function key string entry */
#define VKI_KDSKBSENT      0x4B49  /* sets one function key string entry */

struct vki_kbdiacr {
        unsigned char diacr, base, result;
};
struct vki_kbdiacrs {
        unsigned int kb_cnt;    /* number of entries in following array */
    struct vki_kbdiacr kbdiacr[256];    /* MAX_DIACR from keyboard.h */
};
#define VKI_KDGKBDIACR     0x4B4A  /* read kernel accent table */
#define VKI_KDSKBDIACR     0x4B4B  /* write kernel accent table */

struct vki_kbkeycode {
    unsigned int scancode, keycode;
};
#define VKI_KDGETKEYCODE   0x4B4C  /* read kernel keycode table entry */
#define VKI_KDSETKEYCODE   0x4B4D  /* write kernel keycode table entry */

#define VKI_KDSIGACCEPT    0x4B4E  /* accept kbd generated signals */

struct vki_kbd_repeat {
    int delay;    /* in msec; <= 0: don't change */
    int period;    /* in msec; <= 0: don't change */
            /* earlier this field was misnamed "rate" */
};
#define VKI_KDKBDREP       0x4B52  /* set keyboard delay/repeat rate;
                                    * actually used values are returned */

#define VKI_KDFONTOP       0x4B72  /* font operations */

//----------------------------------------------------------------------
// From linux-2.6.9/include/linux/kb.h
//----------------------------------------------------------------------

typedef __vki_kernel_uid32_t vki_qid_t; /* Type in which we store ids in memory */


#endif // __LINUX_VKI_H

/*--------------------------------------------------------------------*/
/*--- end                                                          ---*/
/*--------------------------------------------------------------------*/

:: Command execute ::

Enter:
 
Select:
 

:: Search ::
  - regexp 

:: Upload ::
 
[ Read-Only ]

:: Make Dir ::
 
[ Read-Only ]
:: Make File ::
 
[ Read-Only ]

:: Go Dir ::
 
:: Go File ::
 

--[ c99shell v. 1.0 pre-release build #16 powered by Captain Crunch Security Team | http://ccteam.ru | Generation time: 0.0072 ]--