Showing error 104

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-drivers/module_get_put-drivers-net-ppp_generic.ko_unsafe.cil.out.i.pp.i
Line in file: 15015
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

    1# 1 "ldv/08_1/drivers/net/ppp_generic.ko/unsafe.cil.out.i"
    2# 1 "<built-in>"
    3# 1 "<command-line>"
    4# 1 "ldv/08_1/drivers/net/ppp_generic.ko/unsafe.cil.out.i"
    5# 19 "include/asm-generic/int-ll64.h"
    6typedef signed char __s8;
    7# 20 "include/asm-generic/int-ll64.h"
    8typedef unsigned char __u8;
    9# 22 "include/asm-generic/int-ll64.h"
   10typedef short __s16;
   11# 23 "include/asm-generic/int-ll64.h"
   12typedef unsigned short __u16;
   13# 25 "include/asm-generic/int-ll64.h"
   14typedef int __s32;
   15# 26 "include/asm-generic/int-ll64.h"
   16typedef unsigned int __u32;
   17# 29 "include/asm-generic/int-ll64.h"
   18typedef long long __s64;
   19# 30 "include/asm-generic/int-ll64.h"
   20typedef unsigned long long __u64;
   21# 43 "include/asm-generic/int-ll64.h"
   22typedef unsigned char u8;
   23# 46 "include/asm-generic/int-ll64.h"
   24typedef unsigned short u16;
   25# 48 "include/asm-generic/int-ll64.h"
   26typedef int s32;
   27# 49 "include/asm-generic/int-ll64.h"
   28typedef unsigned int u32;
   29# 51 "include/asm-generic/int-ll64.h"
   30typedef long long s64;
   31# 52 "include/asm-generic/int-ll64.h"
   32typedef unsigned long long u64;
   33# 11 "include/asm-generic/types.h"
   34typedef unsigned short umode_t;
   35# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   36typedef unsigned int __kernel_mode_t;
   37# 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   38typedef unsigned long __kernel_nlink_t;
   39# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   40typedef long __kernel_off_t;
   41# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   42typedef int __kernel_pid_t;
   43# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   44typedef unsigned int __kernel_uid_t;
   45# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   46typedef unsigned int __kernel_gid_t;
   47# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   48typedef unsigned long __kernel_size_t;
   49# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   50typedef long __kernel_ssize_t;
   51# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   52typedef long __kernel_time_t;
   53# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   54typedef long __kernel_clock_t;
   55# 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   56typedef int __kernel_timer_t;
   57# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   58typedef int __kernel_clockid_t;
   59# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   60typedef long long __kernel_loff_t;
   61# 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   62typedef __kernel_uid_t __kernel_uid32_t;
   63# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   64typedef __kernel_gid_t __kernel_gid32_t;
   65# 21 "include/linux/types.h"
   66typedef __u32 __kernel_dev_t;
   67# 24 "include/linux/types.h"
   68typedef __kernel_dev_t dev_t;
   69# 26 "include/linux/types.h"
   70typedef __kernel_mode_t mode_t;
   71# 27 "include/linux/types.h"
   72typedef __kernel_nlink_t nlink_t;
   73# 28 "include/linux/types.h"
   74typedef __kernel_off_t off_t;
   75# 29 "include/linux/types.h"
   76typedef __kernel_pid_t pid_t;
   77# 34 "include/linux/types.h"
   78typedef __kernel_clockid_t clockid_t;
   79# 37 "include/linux/types.h"
   80typedef _Bool bool;
   81# 39 "include/linux/types.h"
   82typedef __kernel_uid32_t uid_t;
   83# 40 "include/linux/types.h"
   84typedef __kernel_gid32_t gid_t;
   85# 53 "include/linux/types.h"
   86typedef __kernel_loff_t loff_t;
   87# 62 "include/linux/types.h"
   88typedef __kernel_size_t size_t;
   89# 67 "include/linux/types.h"
   90typedef __kernel_ssize_t ssize_t;
   91# 77 "include/linux/types.h"
   92typedef __kernel_time_t time_t;
   93# 110 "include/linux/types.h"
   94typedef __s32 int32_t;
   95# 116 "include/linux/types.h"
   96typedef __u32 uint32_t;
   97# 141 "include/linux/types.h"
   98typedef unsigned long sector_t;
   99# 142 "include/linux/types.h"
  100typedef unsigned long blkcnt_t;
  101# 154 "include/linux/types.h"
  102typedef u64 dma_addr_t;
  103# 178 "include/linux/types.h"
  104typedef __u16 __be16;
  105# 180 "include/linux/types.h"
  106typedef __u32 __be32;
  107# 184 "include/linux/types.h"
  108typedef __u16 __sum16;
  109# 185 "include/linux/types.h"
  110typedef __u32 __wsum;
  111# 201 "include/linux/types.h"
  112typedef unsigned int gfp_t;
  113# 202 "include/linux/types.h"
  114typedef unsigned int fmode_t;
  115# 214 "include/linux/types.h"
  116struct __anonstruct_atomic_t_6 {
  117   int counter ;
  118};
  119# 214 "include/linux/types.h"
  120typedef struct __anonstruct_atomic_t_6 atomic_t;
  121# 219 "include/linux/types.h"
  122struct __anonstruct_atomic64_t_7 {
  123   long counter ;
  124};
  125# 219 "include/linux/types.h"
  126typedef struct __anonstruct_atomic64_t_7 atomic64_t;
  127# 220 "include/linux/types.h"
  128struct list_head {
  129   struct list_head *next ;
  130   struct list_head *prev ;
  131};
  132# 225 "include/linux/types.h"
  133struct hlist_node;
  134# 225 "include/linux/types.h"
  135struct hlist_node;
  136# 225 "include/linux/types.h"
  137struct hlist_head {
  138   struct hlist_node *first ;
  139};
  140# 229 "include/linux/types.h"
  141struct hlist_node {
  142   struct hlist_node *next ;
  143   struct hlist_node **pprev ;
  144};
  145# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  146struct module;
  147# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  148struct module;
  149# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  150struct module;
  151# 145 "include/linux/init.h"
  152typedef void (*ctor_fn_t)(void);
  153# 48 "include/linux/dynamic_debug.h"
  154struct bug_entry {
  155   int bug_addr_disp ;
  156   int file_disp ;
  157   unsigned short line ;
  158   unsigned short flags ;
  159};
  160# 70 "include/asm-generic/bug.h"
  161struct completion;
  162# 70 "include/asm-generic/bug.h"
  163struct completion;
  164# 70 "include/asm-generic/bug.h"
  165struct completion;
  166# 71 "include/asm-generic/bug.h"
  167struct pt_regs;
  168# 71 "include/asm-generic/bug.h"
  169struct pt_regs;
  170# 71 "include/asm-generic/bug.h"
  171struct pt_regs;
  172# 321 "include/linux/kernel.h"
  173struct pid;
  174# 321 "include/linux/kernel.h"
  175struct pid;
  176# 321 "include/linux/kernel.h"
  177struct pid;
  178# 671 "include/linux/kernel.h"
  179struct timespec;
  180# 671 "include/linux/kernel.h"
  181struct timespec;
  182# 671 "include/linux/kernel.h"
  183struct timespec;
  184# 672 "include/linux/kernel.h"
  185struct compat_timespec;
  186# 672 "include/linux/kernel.h"
  187struct compat_timespec;
  188# 672 "include/linux/kernel.h"
  189struct compat_timespec;
  190# 673 "include/linux/kernel.h"
  191struct __anonstruct_futex_9 {
  192   u32 *uaddr ;
  193   u32 val ;
  194   u32 flags ;
  195   u32 bitset ;
  196   u64 time ;
  197   u32 *uaddr2 ;
  198};
  199# 673 "include/linux/kernel.h"
  200struct __anonstruct_nanosleep_10 {
  201   clockid_t clockid ;
  202   struct timespec *rmtp ;
  203   struct compat_timespec *compat_rmtp ;
  204   u64 expires ;
  205};
  206# 673 "include/linux/kernel.h"
  207struct pollfd;
  208# 673 "include/linux/kernel.h"
  209struct pollfd;
  210# 673 "include/linux/kernel.h"
  211struct __anonstruct_poll_11 {
  212   struct pollfd *ufds ;
  213   int nfds ;
  214   int has_timeout ;
  215   unsigned long tv_sec ;
  216   unsigned long tv_nsec ;
  217};
  218# 673 "include/linux/kernel.h"
  219union __anonunion_ldv_2052_8 {
  220   struct __anonstruct_futex_9 futex ;
  221   struct __anonstruct_nanosleep_10 nanosleep ;
  222   struct __anonstruct_poll_11 poll ;
  223};
  224# 673 "include/linux/kernel.h"
  225struct restart_block {
  226   long (*fn)(struct restart_block * ) ;
  227   union __anonunion_ldv_2052_8 ldv_2052 ;
  228};
  229# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  230struct page;
  231# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  232struct page;
  233# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  234struct page;
  235# 21 "include/asm-generic/getorder.h"
  236struct task_struct;
  237# 21 "include/asm-generic/getorder.h"
  238struct task_struct;
  239# 21 "include/asm-generic/getorder.h"
  240struct task_struct;
  241# 22 "include/asm-generic/getorder.h"
  242struct exec_domain;
  243# 22 "include/asm-generic/getorder.h"
  244struct exec_domain;
  245# 22 "include/asm-generic/getorder.h"
  246struct exec_domain;
  247# 23 "include/asm-generic/getorder.h"
  248struct mm_struct;
  249# 23 "include/asm-generic/getorder.h"
  250struct mm_struct;
  251# 23 "include/asm-generic/getorder.h"
  252struct mm_struct;
  253# 215 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/segment.h"
  254struct pt_regs {
  255   unsigned long r15 ;
  256   unsigned long r14 ;
  257   unsigned long r13 ;
  258   unsigned long r12 ;
  259   unsigned long bp ;
  260   unsigned long bx ;
  261   unsigned long r11 ;
  262   unsigned long r10 ;
  263   unsigned long r9 ;
  264   unsigned long r8 ;
  265   unsigned long ax ;
  266   unsigned long cx ;
  267   unsigned long dx ;
  268   unsigned long si ;
  269   unsigned long di ;
  270   unsigned long orig_ax ;
  271   unsigned long ip ;
  272   unsigned long cs ;
  273   unsigned long flags ;
  274   unsigned long sp ;
  275   unsigned long ss ;
  276};
  277# 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
  278struct kernel_vm86_regs {
  279   struct pt_regs pt ;
  280   unsigned short es ;
  281   unsigned short __esh ;
  282   unsigned short ds ;
  283   unsigned short __dsh ;
  284   unsigned short fs ;
  285   unsigned short __fsh ;
  286   unsigned short gs ;
  287   unsigned short __gsh ;
  288};
  289# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
  290union __anonunion_ldv_2292_12 {
  291   struct pt_regs *regs ;
  292   struct kernel_vm86_regs *vm86 ;
  293};
  294# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
  295struct math_emu_info {
  296   long ___orig_eip ;
  297   union __anonunion_ldv_2292_12 ldv_2292 ;
  298};
  299# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  300typedef unsigned long pgdval_t;
  301# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  302typedef unsigned long pgprotval_t;
  303# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  304struct pgprot {
  305   pgprotval_t pgprot ;
  306};
  307# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  308typedef struct pgprot pgprot_t;
  309# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  310struct __anonstruct_pgd_t_15 {
  311   pgdval_t pgd ;
  312};
  313# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  314typedef struct __anonstruct_pgd_t_15 pgd_t;
  315# 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  316typedef struct page *pgtable_t;
  317# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  318struct file;
  319# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  320struct file;
  321# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  322struct file;
  323# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  324struct seq_file;
  325# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  326struct seq_file;
  327# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  328struct seq_file;
  329# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  330struct __anonstruct_ldv_2526_19 {
  331   unsigned int a ;
  332   unsigned int b ;
  333};
  334# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  335struct __anonstruct_ldv_2541_20 {
  336   u16 limit0 ;
  337   u16 base0 ;
  338   unsigned char base1 ;
  339   unsigned char type : 4 ;
  340   unsigned char s : 1 ;
  341   unsigned char dpl : 2 ;
  342   unsigned char p : 1 ;
  343   unsigned char limit : 4 ;
  344   unsigned char avl : 1 ;
  345   unsigned char l : 1 ;
  346   unsigned char d : 1 ;
  347   unsigned char g : 1 ;
  348   unsigned char base2 ;
  349};
  350# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  351union __anonunion_ldv_2542_18 {
  352   struct __anonstruct_ldv_2526_19 ldv_2526 ;
  353   struct __anonstruct_ldv_2541_20 ldv_2541 ;
  354};
  355# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  356struct desc_struct {
  357   union __anonunion_ldv_2542_18 ldv_2542 ;
  358};
  359# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  360struct thread_struct;
  361# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  362struct thread_struct;
  363# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  364struct thread_struct;
  365# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  366struct cpumask;
  367# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  368struct cpumask;
  369# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  370struct cpumask;
  371# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  372struct arch_spinlock;
  373# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  374struct arch_spinlock;
  375# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  376struct arch_spinlock;
  377# 304 "include/linux/bitmap.h"
  378struct cpumask {
  379   unsigned long bits[64U] ;
  380};
  381# 13 "include/linux/cpumask.h"
  382typedef struct cpumask cpumask_t;
  383# 622 "include/linux/cpumask.h"
  384typedef struct cpumask *cpumask_var_t;
  385# 90 "include/linux/personality.h"
  386struct map_segment;
  387# 90 "include/linux/personality.h"
  388struct map_segment;
  389# 90 "include/linux/personality.h"
  390struct exec_domain {
  391   char const *name ;
  392   void (*handler)(int , struct pt_regs * ) ;
  393   unsigned char pers_low ;
  394   unsigned char pers_high ;
  395   unsigned long *signal_map ;
  396   unsigned long *signal_invmap ;
  397   struct map_segment *err_map ;
  398   struct map_segment *socktype_map ;
  399   struct map_segment *sockopt_map ;
  400   struct map_segment *af_map ;
  401   struct module *module ;
  402   struct exec_domain *next ;
  403};
  404# 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  405struct seq_operations;
  406# 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  407struct seq_operations;
  408# 277 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  409struct i387_fsave_struct {
  410   u32 cwd ;
  411   u32 swd ;
  412   u32 twd ;
  413   u32 fip ;
  414   u32 fcs ;
  415   u32 foo ;
  416   u32 fos ;
  417   u32 st_space[20U] ;
  418   u32 status ;
  419};
  420# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  421struct __anonstruct_ldv_5171_24 {
  422   u64 rip ;
  423   u64 rdp ;
  424};
  425# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  426struct __anonstruct_ldv_5177_25 {
  427   u32 fip ;
  428   u32 fcs ;
  429   u32 foo ;
  430   u32 fos ;
  431};
  432# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  433union __anonunion_ldv_5178_23 {
  434   struct __anonstruct_ldv_5171_24 ldv_5171 ;
  435   struct __anonstruct_ldv_5177_25 ldv_5177 ;
  436};
  437# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  438union __anonunion_ldv_5187_26 {
  439   u32 padding1[12U] ;
  440   u32 sw_reserved[12U] ;
  441};
  442# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  443struct i387_fxsave_struct {
  444   u16 cwd ;
  445   u16 swd ;
  446   u16 twd ;
  447   u16 fop ;
  448   union __anonunion_ldv_5178_23 ldv_5178 ;
  449   u32 mxcsr ;
  450   u32 mxcsr_mask ;
  451   u32 st_space[32U] ;
  452   u32 xmm_space[64U] ;
  453   u32 padding[12U] ;
  454   union __anonunion_ldv_5187_26 ldv_5187 ;
  455};
  456# 329 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  457struct i387_soft_struct {
  458   u32 cwd ;
  459   u32 swd ;
  460   u32 twd ;
  461   u32 fip ;
  462   u32 fcs ;
  463   u32 foo ;
  464   u32 fos ;
  465   u32 st_space[20U] ;
  466   u8 ftop ;
  467   u8 changed ;
  468   u8 lookahead ;
  469   u8 no_update ;
  470   u8 rm ;
  471   u8 alimit ;
  472   struct math_emu_info *info ;
  473   u32 entry_eip ;
  474};
  475# 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  476struct ymmh_struct {
  477   u32 ymmh_space[64U] ;
  478};
  479# 355 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  480struct xsave_hdr_struct {
  481   u64 xstate_bv ;
  482   u64 reserved1[2U] ;
  483   u64 reserved2[5U] ;
  484};
  485# 361 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  486struct xsave_struct {
  487   struct i387_fxsave_struct i387 ;
  488   struct xsave_hdr_struct xsave_hdr ;
  489   struct ymmh_struct ymmh ;
  490};
  491# 367 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  492union thread_xstate {
  493   struct i387_fsave_struct fsave ;
  494   struct i387_fxsave_struct fxsave ;
  495   struct i387_soft_struct soft ;
  496   struct xsave_struct xsave ;
  497};
  498# 375 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  499struct fpu {
  500   union thread_xstate *state ;
  501};
  502# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  503struct kmem_cache;
  504# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  505struct kmem_cache;
  506# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  507struct perf_event;
  508# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  509struct perf_event;
  510# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  511struct perf_event;
  512# 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  513struct thread_struct {
  514   struct desc_struct tls_array[3U] ;
  515   unsigned long sp0 ;
  516   unsigned long sp ;
  517   unsigned long usersp ;
  518   unsigned short es ;
  519   unsigned short ds ;
  520   unsigned short fsindex ;
  521   unsigned short gsindex ;
  522   unsigned long fs ;
  523   unsigned long gs ;
  524   struct perf_event *ptrace_bps[4U] ;
  525   unsigned long debugreg6 ;
  526   unsigned long ptrace_dr7 ;
  527   unsigned long cr2 ;
  528   unsigned long trap_no ;
  529   unsigned long error_code ;
  530   struct fpu fpu ;
  531   unsigned long *io_bitmap_ptr ;
  532   unsigned long iopl ;
  533   unsigned int io_bitmap_max ;
  534};
  535# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  536struct __anonstruct_mm_segment_t_28 {
  537   unsigned long seg ;
  538};
  539# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  540typedef struct __anonstruct_mm_segment_t_28 mm_segment_t;
  541# 23 "include/asm-generic/atomic-long.h"
  542typedef atomic64_t atomic_long_t;
  543# 131 "include/asm-generic/atomic-long.h"
  544struct thread_info {
  545   struct task_struct *task ;
  546   struct exec_domain *exec_domain ;
  547   __u32 flags ;
  548   __u32 status ;
  549   __u32 cpu ;
  550   int preempt_count ;
  551   mm_segment_t addr_limit ;
  552   struct restart_block restart_block ;
  553   void *sysenter_return ;
  554   int uaccess_err ;
  555};
  556# 8 "include/linux/bottom_half.h"
  557struct arch_spinlock {
  558   unsigned int slock ;
  559};
  560# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  561typedef struct arch_spinlock arch_spinlock_t;
  562# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  563struct __anonstruct_arch_rwlock_t_29 {
  564   unsigned int lock ;
  565};
  566# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  567typedef struct __anonstruct_arch_rwlock_t_29 arch_rwlock_t;
  568# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  569struct lockdep_map;
  570# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  571struct lockdep_map;
  572# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  573struct lockdep_map;
  574# 55 "include/linux/debug_locks.h"
  575struct stack_trace {
  576   unsigned int nr_entries ;
  577   unsigned int max_entries ;
  578   unsigned long *entries ;
  579   int skip ;
  580};
  581# 26 "include/linux/stacktrace.h"
  582struct lockdep_subclass_key {
  583   char __one_byte ;
  584};
  585# 53 "include/linux/lockdep.h"
  586struct lock_class_key {
  587   struct lockdep_subclass_key subkeys[8U] ;
  588};
  589# 59 "include/linux/lockdep.h"
  590struct lock_class {
  591   struct list_head hash_entry ;
  592   struct list_head lock_entry ;
  593   struct lockdep_subclass_key *key ;
  594   unsigned int subclass ;
  595   unsigned int dep_gen_id ;
  596   unsigned long usage_mask ;
  597   struct stack_trace usage_traces[13U] ;
  598   struct list_head locks_after ;
  599   struct list_head locks_before ;
  600   unsigned int version ;
  601   unsigned long ops ;
  602   char const *name ;
  603   int name_version ;
  604   unsigned long contention_point[4U] ;
  605   unsigned long contending_point[4U] ;
  606};
  607# 144 "include/linux/lockdep.h"
  608struct lockdep_map {
  609   struct lock_class_key *key ;
  610   struct lock_class *class_cache[2U] ;
  611   char const *name ;
  612   int cpu ;
  613   unsigned long ip ;
  614};
  615# 187 "include/linux/lockdep.h"
  616struct held_lock {
  617   u64 prev_chain_key ;
  618   unsigned long acquire_ip ;
  619   struct lockdep_map *instance ;
  620   struct lockdep_map *nest_lock ;
  621   u64 waittime_stamp ;
  622   u64 holdtime_stamp ;
  623   unsigned short class_idx : 13 ;
  624   unsigned char irq_context : 2 ;
  625   unsigned char trylock : 1 ;
  626   unsigned char read : 2 ;
  627   unsigned char check : 2 ;
  628   unsigned char hardirqs_off : 1 ;
  629   unsigned short references : 11 ;
  630};
  631# 552 "include/linux/lockdep.h"
  632struct raw_spinlock {
  633   arch_spinlock_t raw_lock ;
  634   unsigned int magic ;
  635   unsigned int owner_cpu ;
  636   void *owner ;
  637   struct lockdep_map dep_map ;
  638};
  639# 32 "include/linux/spinlock_types.h"
  640typedef struct raw_spinlock raw_spinlock_t;
  641# 33 "include/linux/spinlock_types.h"
  642struct __anonstruct_ldv_6059_31 {
  643   u8 __padding[24U] ;
  644   struct lockdep_map dep_map ;
  645};
  646# 33 "include/linux/spinlock_types.h"
  647union __anonunion_ldv_6060_30 {
  648   struct raw_spinlock rlock ;
  649   struct __anonstruct_ldv_6059_31 ldv_6059 ;
  650};
  651# 33 "include/linux/spinlock_types.h"
  652struct spinlock {
  653   union __anonunion_ldv_6060_30 ldv_6060 ;
  654};
  655# 76 "include/linux/spinlock_types.h"
  656typedef struct spinlock spinlock_t;
  657# 23 "include/linux/rwlock_types.h"
  658struct __anonstruct_rwlock_t_32 {
  659   arch_rwlock_t raw_lock ;
  660   unsigned int magic ;
  661   unsigned int owner_cpu ;
  662   void *owner ;
  663   struct lockdep_map dep_map ;
  664};
  665# 23 "include/linux/rwlock_types.h"
  666typedef struct __anonstruct_rwlock_t_32 rwlock_t;
  667# 36 "include/linux/seqlock.h"
  668struct __anonstruct_seqlock_t_33 {
  669   unsigned int sequence ;
  670   spinlock_t lock ;
  671};
  672# 36 "include/linux/seqlock.h"
  673typedef struct __anonstruct_seqlock_t_33 seqlock_t;
  674# 110 "include/linux/seqlock.h"
  675struct seqcount {
  676   unsigned int sequence ;
  677};
  678# 121 "include/linux/seqlock.h"
  679typedef struct seqcount seqcount_t;
  680# 233 "include/linux/seqlock.h"
  681struct timespec {
  682   __kernel_time_t tv_sec ;
  683   long tv_nsec ;
  684};
  685# 286 "include/linux/time.h"
  686struct kstat {
  687   u64 ino ;
  688   dev_t dev ;
  689   umode_t mode ;
  690   unsigned int nlink ;
  691   uid_t uid ;
  692   gid_t gid ;
  693   dev_t rdev ;
  694   loff_t size ;
  695   struct timespec atime ;
  696   struct timespec mtime ;
  697   struct timespec ctime ;
  698   unsigned long blksize ;
  699   unsigned long long blocks ;
  700};
  701# 28 "include/linux/wait.h"
  702struct __wait_queue;
  703# 28 "include/linux/wait.h"
  704struct __wait_queue;
  705# 28 "include/linux/wait.h"
  706typedef struct __wait_queue wait_queue_t;
  707# 31 "include/linux/wait.h"
  708struct __wait_queue {
  709   unsigned int flags ;
  710   void *private ;
  711   int (*func)(wait_queue_t * , unsigned int , int , void * ) ;
  712   struct list_head task_list ;
  713};
  714# 49 "include/linux/wait.h"
  715struct __wait_queue_head {
  716   spinlock_t lock ;
  717   struct list_head task_list ;
  718};
  719# 54 "include/linux/wait.h"
  720typedef struct __wait_queue_head wait_queue_head_t;
  721# 96 "include/linux/nodemask.h"
  722struct __anonstruct_nodemask_t_34 {
  723   unsigned long bits[16U] ;
  724};
  725# 96 "include/linux/nodemask.h"
  726typedef struct __anonstruct_nodemask_t_34 nodemask_t;
  727# 640 "include/linux/mmzone.h"
  728struct mutex {
  729   atomic_t count ;
  730   spinlock_t wait_lock ;
  731   struct list_head wait_list ;
  732   struct task_struct *owner ;
  733   char const *name ;
  734   void *magic ;
  735   struct lockdep_map dep_map ;
  736};
  737# 63 "include/linux/mutex.h"
  738struct mutex_waiter {
  739   struct list_head list ;
  740   struct task_struct *task ;
  741   void *magic ;
  742};
  743# 171 "include/linux/mutex.h"
  744struct rw_semaphore;
  745# 171 "include/linux/mutex.h"
  746struct rw_semaphore;
  747# 171 "include/linux/mutex.h"
  748struct rw_semaphore;
  749# 172 "include/linux/mutex.h"
  750struct rw_semaphore {
  751   long count ;
  752   spinlock_t wait_lock ;
  753   struct list_head wait_list ;
  754   struct lockdep_map dep_map ;
  755};
  756# 763 "include/linux/mmzone.h"
  757struct ctl_table;
  758# 763 "include/linux/mmzone.h"
  759struct ctl_table;
  760# 763 "include/linux/mmzone.h"
  761struct ctl_table;
  762# 175 "include/linux/ioport.h"
  763struct device;
  764# 175 "include/linux/ioport.h"
  765struct device;
  766# 175 "include/linux/ioport.h"
  767struct device;
  768# 312 "include/linux/jiffies.h"
  769union ktime {
  770   s64 tv64 ;
  771};
  772# 59 "include/linux/ktime.h"
  773typedef union ktime ktime_t;
  774# 99 "include/linux/debugobjects.h"
  775struct tvec_base;
  776# 99 "include/linux/debugobjects.h"
  777struct tvec_base;
  778# 99 "include/linux/debugobjects.h"
  779struct tvec_base;
  780# 100 "include/linux/debugobjects.h"
  781struct timer_list {
  782   struct list_head entry ;
  783   unsigned long expires ;
  784   struct tvec_base *base ;
  785   void (*function)(unsigned long ) ;
  786   unsigned long data ;
  787   int slack ;
  788   int start_pid ;
  789   void *start_site ;
  790   char start_comm[16U] ;
  791   struct lockdep_map lockdep_map ;
  792};
  793# 289 "include/linux/timer.h"
  794struct hrtimer;
  795# 289 "include/linux/timer.h"
  796struct hrtimer;
  797# 289 "include/linux/timer.h"
  798struct hrtimer;
  799# 290 "include/linux/timer.h"
  800enum hrtimer_restart;
  801# 290 "include/linux/timer.h"
  802enum hrtimer_restart;
  803# 302 "include/linux/timer.h"
  804struct work_struct;
  805# 302 "include/linux/timer.h"
  806struct work_struct;
  807# 302 "include/linux/timer.h"
  808struct work_struct;
  809# 45 "include/linux/workqueue.h"
  810struct work_struct {
  811   atomic_long_t data ;
  812   struct list_head entry ;
  813   void (*func)(struct work_struct * ) ;
  814   struct lockdep_map lockdep_map ;
  815};
  816# 86 "include/linux/workqueue.h"
  817struct delayed_work {
  818   struct work_struct work ;
  819   struct timer_list timer ;
  820};
  821# 443 "include/linux/workqueue.h"
  822struct completion {
  823   unsigned int done ;
  824   wait_queue_head_t wait ;
  825};
  826# 46 "include/linux/pm.h"
  827struct pm_message {
  828   int event ;
  829};
  830# 52 "include/linux/pm.h"
  831typedef struct pm_message pm_message_t;
  832# 53 "include/linux/pm.h"
  833struct dev_pm_ops {
  834   int (*prepare)(struct device * ) ;
  835   void (*complete)(struct device * ) ;
  836   int (*suspend)(struct device * ) ;
  837   int (*resume)(struct device * ) ;
  838   int (*freeze)(struct device * ) ;
  839   int (*thaw)(struct device * ) ;
  840   int (*poweroff)(struct device * ) ;
  841   int (*restore)(struct device * ) ;
  842   int (*suspend_noirq)(struct device * ) ;
  843   int (*resume_noirq)(struct device * ) ;
  844   int (*freeze_noirq)(struct device * ) ;
  845   int (*thaw_noirq)(struct device * ) ;
  846   int (*poweroff_noirq)(struct device * ) ;
  847   int (*restore_noirq)(struct device * ) ;
  848   int (*runtime_suspend)(struct device * ) ;
  849   int (*runtime_resume)(struct device * ) ;
  850   int (*runtime_idle)(struct device * ) ;
  851};
  852# 272 "include/linux/pm.h"
  853enum rpm_status {
  854    RPM_ACTIVE = 0,
  855    RPM_RESUMING = 1,
  856    RPM_SUSPENDED = 2,
  857    RPM_SUSPENDING = 3
  858} ;
  859# 279 "include/linux/pm.h"
  860enum rpm_request {
  861    RPM_REQ_NONE = 0,
  862    RPM_REQ_IDLE = 1,
  863    RPM_REQ_SUSPEND = 2,
  864    RPM_REQ_AUTOSUSPEND = 3,
  865    RPM_REQ_RESUME = 4
  866} ;
  867# 287 "include/linux/pm.h"
  868struct wakeup_source;
  869# 287 "include/linux/pm.h"
  870struct wakeup_source;
  871# 287 "include/linux/pm.h"
  872struct wakeup_source;
  873# 288 "include/linux/pm.h"
  874struct dev_pm_info {
  875   pm_message_t power_state ;
  876   unsigned char can_wakeup : 1 ;
  877   unsigned char async_suspend : 1 ;
  878   bool is_prepared ;
  879   bool is_suspended ;
  880   spinlock_t lock ;
  881   struct list_head entry ;
  882   struct completion completion ;
  883   struct wakeup_source *wakeup ;
  884   struct timer_list suspend_timer ;
  885   unsigned long timer_expires ;
  886   struct work_struct work ;
  887   wait_queue_head_t wait_queue ;
  888   atomic_t usage_count ;
  889   atomic_t child_count ;
  890   unsigned char disable_depth : 3 ;
  891   unsigned char ignore_children : 1 ;
  892   unsigned char idle_notification : 1 ;
  893   unsigned char request_pending : 1 ;
  894   unsigned char deferred_resume : 1 ;
  895   unsigned char run_wake : 1 ;
  896   unsigned char runtime_auto : 1 ;
  897   unsigned char no_callbacks : 1 ;
  898   unsigned char irq_safe : 1 ;
  899   unsigned char use_autosuspend : 1 ;
  900   unsigned char timer_autosuspends : 1 ;
  901   enum rpm_request request ;
  902   enum rpm_status runtime_status ;
  903   int runtime_error ;
  904   int autosuspend_delay ;
  905   unsigned long last_busy ;
  906   unsigned long active_jiffies ;
  907   unsigned long suspended_jiffies ;
  908   unsigned long accounting_timestamp ;
  909   void *subsys_data ;
  910};
  911# 469 "include/linux/pm.h"
  912struct dev_power_domain {
  913   struct dev_pm_ops ops ;
  914};
  915# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
  916struct __anonstruct_mm_context_t_99 {
  917   void *ldt ;
  918   int size ;
  919   unsigned short ia32_compat ;
  920   struct mutex lock ;
  921   void *vdso ;
  922};
  923# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
  924typedef struct __anonstruct_mm_context_t_99 mm_context_t;
  925# 71 "include/asm-generic/iomap.h"
  926struct vm_area_struct;
  927# 71 "include/asm-generic/iomap.h"
  928struct vm_area_struct;
  929# 71 "include/asm-generic/iomap.h"
  930struct vm_area_struct;
  931# 53 "include/linux/rcupdate.h"
  932struct rcu_head {
  933   struct rcu_head *next ;
  934   void (*func)(struct rcu_head * ) ;
  935};
  936# 841 "include/linux/rcupdate.h"
  937struct nsproxy;
  938# 841 "include/linux/rcupdate.h"
  939struct nsproxy;
  940# 841 "include/linux/rcupdate.h"
  941struct nsproxy;
  942# 842 "include/linux/rcupdate.h"
  943struct ctl_table_root;
  944# 842 "include/linux/rcupdate.h"
  945struct ctl_table_root;
  946# 842 "include/linux/rcupdate.h"
  947struct ctl_table_root;
  948# 843 "include/linux/rcupdate.h"
  949struct ctl_table_set {
  950   struct list_head list ;
  951   struct ctl_table_set *parent ;
  952   int (*is_seen)(struct ctl_table_set * ) ;
  953};
  954# 947 "include/linux/sysctl.h"
  955struct ctl_table_header;
  956# 947 "include/linux/sysctl.h"
  957struct ctl_table_header;
  958# 947 "include/linux/sysctl.h"
  959struct ctl_table_header;
  960# 965 "include/linux/sysctl.h"
  961typedef int proc_handler(struct ctl_table * , int , void * , size_t * , loff_t * );
  962# 985 "include/linux/sysctl.h"
  963struct ctl_table {
  964   char const *procname ;
  965   void *data ;
  966   int maxlen ;
  967   mode_t mode ;
  968   struct ctl_table *child ;
  969   struct ctl_table *parent ;
  970   proc_handler *proc_handler ;
  971   void *extra1 ;
  972   void *extra2 ;
  973};
  974# 1027 "include/linux/sysctl.h"
  975struct ctl_table_root {
  976   struct list_head root_list ;
  977   struct ctl_table_set default_set ;
  978   struct ctl_table_set *(*lookup)(struct ctl_table_root * , struct nsproxy * ) ;
  979   int (*permissions)(struct ctl_table_root * , struct nsproxy * , struct ctl_table * ) ;
  980};
  981# 1035 "include/linux/sysctl.h"
  982struct __anonstruct_ldv_12193_124 {
  983   struct ctl_table *ctl_table ;
  984   struct list_head ctl_entry ;
  985   int used ;
  986   int count ;
  987};
  988# 1035 "include/linux/sysctl.h"
  989union __anonunion_ldv_12195_123 {
  990   struct __anonstruct_ldv_12193_124 ldv_12193 ;
  991   struct rcu_head rcu ;
  992};
  993# 1035 "include/linux/sysctl.h"
  994struct ctl_table_header {
  995   union __anonunion_ldv_12195_123 ldv_12195 ;
  996   struct completion *unregistering ;
  997   struct ctl_table *ctl_table_arg ;
  998   struct ctl_table_root *root ;
  999   struct ctl_table_set *set ;
 1000   struct ctl_table *attached_by ;
 1001   struct ctl_table *attached_to ;
 1002   struct ctl_table_header *parent ;
 1003};
 1004# 36 "include/linux/kmod.h"
 1005struct cred;
 1006# 36 "include/linux/kmod.h"
 1007struct cred;
 1008# 36 "include/linux/kmod.h"
 1009struct cred;
 1010# 229 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h"
 1011struct linux_binprm;
 1012# 229 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h"
 1013struct linux_binprm;
 1014# 229 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h"
 1015struct linux_binprm;
 1016# 27 "include/linux/elf.h"
 1017typedef __u64 Elf64_Addr;
 1018# 28 "include/linux/elf.h"
 1019typedef __u16 Elf64_Half;
 1020# 32 "include/linux/elf.h"
 1021typedef __u32 Elf64_Word;
 1022# 33 "include/linux/elf.h"
 1023typedef __u64 Elf64_Xword;
 1024# 202 "include/linux/elf.h"
 1025struct elf64_sym {
 1026   Elf64_Word st_name ;
 1027   unsigned char st_info ;
 1028   unsigned char st_other ;
 1029   Elf64_Half st_shndx ;
 1030   Elf64_Addr st_value ;
 1031   Elf64_Xword st_size ;
 1032};
 1033# 210 "include/linux/elf.h"
 1034typedef struct elf64_sym Elf64_Sym;
 1035# 444 "include/linux/elf.h"
 1036struct sock;
 1037# 444 "include/linux/elf.h"
 1038struct sock;
 1039# 444 "include/linux/elf.h"
 1040struct sock;
 1041# 445 "include/linux/elf.h"
 1042struct kobject;
 1043# 445 "include/linux/elf.h"
 1044struct kobject;
 1045# 445 "include/linux/elf.h"
 1046struct kobject;
 1047# 446 "include/linux/elf.h"
 1048enum kobj_ns_type {
 1049    KOBJ_NS_TYPE_NONE = 0,
 1050    KOBJ_NS_TYPE_NET = 1,
 1051    KOBJ_NS_TYPES = 2
 1052} ;
 1053# 452 "include/linux/elf.h"
 1054struct kobj_ns_type_operations {
 1055   enum kobj_ns_type type ;
 1056   void *(*grab_current_ns)(void) ;
 1057   void const *(*netlink_ns)(struct sock * ) ;
 1058   void const *(*initial_ns)(void) ;
 1059   void (*drop_ns)(void * ) ;
 1060};
 1061# 57 "include/linux/kobject_ns.h"
 1062struct attribute {
 1063   char const *name ;
 1064   mode_t mode ;
 1065   struct lock_class_key *key ;
 1066   struct lock_class_key skey ;
 1067};
 1068# 33 "include/linux/sysfs.h"
 1069struct attribute_group {
 1070   char const *name ;
 1071   mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
 1072   struct attribute **attrs ;
 1073};
 1074# 62 "include/linux/sysfs.h"
 1075struct bin_attribute {
 1076   struct attribute attr ;
 1077   size_t size ;
 1078   void *private ;
 1079   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1080                   loff_t , size_t ) ;
 1081   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1082                    loff_t , size_t ) ;
 1083   int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
 1084};
 1085# 98 "include/linux/sysfs.h"
 1086struct sysfs_ops {
 1087   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
 1088   ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
 1089};
 1090# 116 "include/linux/sysfs.h"
 1091struct sysfs_dirent;
 1092# 116 "include/linux/sysfs.h"
 1093struct sysfs_dirent;
 1094# 116 "include/linux/sysfs.h"
 1095struct sysfs_dirent;
 1096# 181 "include/linux/sysfs.h"
 1097struct kref {
 1098   atomic_t refcount ;
 1099};
 1100# 49 "include/linux/kobject.h"
 1101struct kset;
 1102# 49 "include/linux/kobject.h"
 1103struct kset;
 1104# 49 "include/linux/kobject.h"
 1105struct kobj_type;
 1106# 49 "include/linux/kobject.h"
 1107struct kobj_type;
 1108# 49 "include/linux/kobject.h"
 1109struct kobject {
 1110   char const *name ;
 1111   struct list_head entry ;
 1112   struct kobject *parent ;
 1113   struct kset *kset ;
 1114   struct kobj_type *ktype ;
 1115   struct sysfs_dirent *sd ;
 1116   struct kref kref ;
 1117   unsigned char state_initialized : 1 ;
 1118   unsigned char state_in_sysfs : 1 ;
 1119   unsigned char state_add_uevent_sent : 1 ;
 1120   unsigned char state_remove_uevent_sent : 1 ;
 1121   unsigned char uevent_suppress : 1 ;
 1122};
 1123# 109 "include/linux/kobject.h"
 1124struct kobj_type {
 1125   void (*release)(struct kobject * ) ;
 1126   struct sysfs_ops const *sysfs_ops ;
 1127   struct attribute **default_attrs ;
 1128   struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
 1129   void const *(*namespace)(struct kobject * ) ;
 1130};
 1131# 117 "include/linux/kobject.h"
 1132struct kobj_uevent_env {
 1133   char *envp[32U] ;
 1134   int envp_idx ;
 1135   char buf[2048U] ;
 1136   int buflen ;
 1137};
 1138# 124 "include/linux/kobject.h"
 1139struct kset_uevent_ops {
 1140   int (* const filter)(struct kset * , struct kobject * ) ;
 1141   char const *(* const name)(struct kset * , struct kobject * ) ;
 1142   int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
 1143};
 1144# 141 "include/linux/kobject.h"
 1145struct kset {
 1146   struct list_head list ;
 1147   spinlock_t list_lock ;
 1148   struct kobject kobj ;
 1149   struct kset_uevent_ops const *uevent_ops ;
 1150};
 1151# 219 "include/linux/kobject.h"
 1152struct kernel_param;
 1153# 219 "include/linux/kobject.h"
 1154struct kernel_param;
 1155# 219 "include/linux/kobject.h"
 1156struct kernel_param;
 1157# 220 "include/linux/kobject.h"
 1158struct kernel_param_ops {
 1159   int (*set)(char const * , struct kernel_param const * ) ;
 1160   int (*get)(char * , struct kernel_param const * ) ;
 1161   void (*free)(void * ) ;
 1162};
 1163# 44 "include/linux/moduleparam.h"
 1164struct kparam_string;
 1165# 44 "include/linux/moduleparam.h"
 1166struct kparam_string;
 1167# 44 "include/linux/moduleparam.h"
 1168struct kparam_array;
 1169# 44 "include/linux/moduleparam.h"
 1170struct kparam_array;
 1171# 44 "include/linux/moduleparam.h"
 1172union __anonunion_ldv_12924_129 {
 1173   void *arg ;
 1174   struct kparam_string const *str ;
 1175   struct kparam_array const *arr ;
 1176};
 1177# 44 "include/linux/moduleparam.h"
 1178struct kernel_param {
 1179   char const *name ;
 1180   struct kernel_param_ops const *ops ;
 1181   u16 perm ;
 1182   u16 flags ;
 1183   union __anonunion_ldv_12924_129 ldv_12924 ;
 1184};
 1185# 59 "include/linux/moduleparam.h"
 1186struct kparam_string {
 1187   unsigned int maxlen ;
 1188   char *string ;
 1189};
 1190# 65 "include/linux/moduleparam.h"
 1191struct kparam_array {
 1192   unsigned int max ;
 1193   unsigned int elemsize ;
 1194   unsigned int *num ;
 1195   struct kernel_param_ops const *ops ;
 1196   void *elem ;
 1197};
 1198# 404 "include/linux/moduleparam.h"
 1199struct jump_label_key {
 1200   atomic_t enabled ;
 1201};
 1202# 99 "include/linux/jump_label.h"
 1203struct tracepoint;
 1204# 99 "include/linux/jump_label.h"
 1205struct tracepoint;
 1206# 99 "include/linux/jump_label.h"
 1207struct tracepoint;
 1208# 100 "include/linux/jump_label.h"
 1209struct tracepoint_func {
 1210   void *func ;
 1211   void *data ;
 1212};
 1213# 29 "include/linux/tracepoint.h"
 1214struct tracepoint {
 1215   char const *name ;
 1216   struct jump_label_key key ;
 1217   void (*regfunc)(void) ;
 1218   void (*unregfunc)(void) ;
 1219   struct tracepoint_func *funcs ;
 1220};
 1221# 84 "include/linux/tracepoint.h"
 1222struct mod_arch_specific {
 1223
 1224};
 1225# 127 "include/trace/events/module.h"
 1226struct kernel_symbol {
 1227   unsigned long value ;
 1228   char const *name ;
 1229};
 1230# 48 "include/linux/module.h"
 1231struct module_attribute {
 1232   struct attribute attr ;
 1233   ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
 1234   ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
 1235                    size_t ) ;
 1236   void (*setup)(struct module * , char const * ) ;
 1237   int (*test)(struct module * ) ;
 1238   void (*free)(struct module * ) ;
 1239};
 1240# 68 "include/linux/module.h"
 1241struct module_param_attrs;
 1242# 68 "include/linux/module.h"
 1243struct module_param_attrs;
 1244# 68 "include/linux/module.h"
 1245struct module_kobject {
 1246   struct kobject kobj ;
 1247   struct module *mod ;
 1248   struct kobject *drivers_dir ;
 1249   struct module_param_attrs *mp ;
 1250};
 1251# 81 "include/linux/module.h"
 1252struct exception_table_entry;
 1253# 81 "include/linux/module.h"
 1254struct exception_table_entry;
 1255# 81 "include/linux/module.h"
 1256struct exception_table_entry;
 1257# 218 "include/linux/module.h"
 1258enum module_state {
 1259    MODULE_STATE_LIVE = 0,
 1260    MODULE_STATE_COMING = 1,
 1261    MODULE_STATE_GOING = 2
 1262} ;
 1263# 224 "include/linux/module.h"
 1264struct module_ref {
 1265   unsigned int incs ;
 1266   unsigned int decs ;
 1267};
 1268# 418 "include/linux/module.h"
 1269struct module_sect_attrs;
 1270# 418 "include/linux/module.h"
 1271struct module_sect_attrs;
 1272# 418 "include/linux/module.h"
 1273struct module_notes_attrs;
 1274# 418 "include/linux/module.h"
 1275struct module_notes_attrs;
 1276# 418 "include/linux/module.h"
 1277struct ftrace_event_call;
 1278# 418 "include/linux/module.h"
 1279struct ftrace_event_call;
 1280# 418 "include/linux/module.h"
 1281struct module {
 1282   enum module_state state ;
 1283   struct list_head list ;
 1284   char name[56U] ;
 1285   struct module_kobject mkobj ;
 1286   struct module_attribute *modinfo_attrs ;
 1287   char const *version ;
 1288   char const *srcversion ;
 1289   struct kobject *holders_dir ;
 1290   struct kernel_symbol const *syms ;
 1291   unsigned long const *crcs ;
 1292   unsigned int num_syms ;
 1293   struct kernel_param *kp ;
 1294   unsigned int num_kp ;
 1295   unsigned int num_gpl_syms ;
 1296   struct kernel_symbol const *gpl_syms ;
 1297   unsigned long const *gpl_crcs ;
 1298   struct kernel_symbol const *unused_syms ;
 1299   unsigned long const *unused_crcs ;
 1300   unsigned int num_unused_syms ;
 1301   unsigned int num_unused_gpl_syms ;
 1302   struct kernel_symbol const *unused_gpl_syms ;
 1303   unsigned long const *unused_gpl_crcs ;
 1304   struct kernel_symbol const *gpl_future_syms ;
 1305   unsigned long const *gpl_future_crcs ;
 1306   unsigned int num_gpl_future_syms ;
 1307   unsigned int num_exentries ;
 1308   struct exception_table_entry *extable ;
 1309   int (*init)(void) ;
 1310   void *module_init ;
 1311   void *module_core ;
 1312   unsigned int init_size ;
 1313   unsigned int core_size ;
 1314   unsigned int init_text_size ;
 1315   unsigned int core_text_size ;
 1316   unsigned int init_ro_size ;
 1317   unsigned int core_ro_size ;
 1318   struct mod_arch_specific arch ;
 1319   unsigned int taints ;
 1320   unsigned int num_bugs ;
 1321   struct list_head bug_list ;
 1322   struct bug_entry *bug_table ;
 1323   Elf64_Sym *symtab ;
 1324   Elf64_Sym *core_symtab ;
 1325   unsigned int num_symtab ;
 1326   unsigned int core_num_syms ;
 1327   char *strtab ;
 1328   char *core_strtab ;
 1329   struct module_sect_attrs *sect_attrs ;
 1330   struct module_notes_attrs *notes_attrs ;
 1331   char *args ;
 1332   void *percpu ;
 1333   unsigned int percpu_size ;
 1334   unsigned int num_tracepoints ;
 1335   struct tracepoint * const *tracepoints_ptrs ;
 1336   unsigned int num_trace_bprintk_fmt ;
 1337   char const **trace_bprintk_fmt_start ;
 1338   struct ftrace_event_call **trace_events ;
 1339   unsigned int num_trace_events ;
 1340   unsigned int num_ftrace_callsites ;
 1341   unsigned long *ftrace_callsites ;
 1342   struct list_head source_list ;
 1343   struct list_head target_list ;
 1344   struct task_struct *waiter ;
 1345   void (*exit)(void) ;
 1346   struct module_ref *refptr ;
 1347   ctor_fn_t (**ctors)(void) ;
 1348   unsigned int num_ctors ;
 1349};
 1350# 8 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/net/ppp_generic.c.p"
 1351struct idr_layer {
 1352   unsigned long bitmap ;
 1353   struct idr_layer *ary[64U] ;
 1354   int count ;
 1355   int layer ;
 1356   struct rcu_head rcu_head ;
 1357};
 1358# 58 "include/linux/idr.h"
 1359struct idr {
 1360   struct idr_layer *top ;
 1361   struct idr_layer *id_free ;
 1362   int layers ;
 1363   int id_free_cnt ;
 1364   spinlock_t lock ;
 1365};
 1366# 16 "include/linux/socket.h"
 1367struct iovec {
 1368   void *iov_base ;
 1369   __kernel_size_t iov_len ;
 1370};
 1371# 38 "include/linux/socket.h"
 1372typedef unsigned short sa_family_t;
 1373# 39 "include/linux/socket.h"
 1374struct sockaddr {
 1375   sa_family_t sa_family ;
 1376   char sa_data[14U] ;
 1377};
 1378# 53 "include/linux/socket.h"
 1379struct msghdr {
 1380   void *msg_name ;
 1381   int msg_namelen ;
 1382   struct iovec *msg_iov ;
 1383   __kernel_size_t msg_iovlen ;
 1384   void *msg_control ;
 1385   __kernel_size_t msg_controllen ;
 1386   unsigned int msg_flags ;
 1387};
 1388# 41 "include/linux/hdlc/ioctl.h"
 1389struct __anonstruct_sync_serial_settings_130 {
 1390   unsigned int clock_rate ;
 1391   unsigned int clock_type ;
 1392   unsigned short loopback ;
 1393};
 1394# 41 "include/linux/hdlc/ioctl.h"
 1395typedef struct __anonstruct_sync_serial_settings_130 sync_serial_settings;
 1396# 48 "include/linux/hdlc/ioctl.h"
 1397struct __anonstruct_te1_settings_131 {
 1398   unsigned int clock_rate ;
 1399   unsigned int clock_type ;
 1400   unsigned short loopback ;
 1401   unsigned int slot_map ;
 1402};
 1403# 48 "include/linux/hdlc/ioctl.h"
 1404typedef struct __anonstruct_te1_settings_131 te1_settings;
 1405# 53 "include/linux/hdlc/ioctl.h"
 1406struct __anonstruct_raw_hdlc_proto_132 {
 1407   unsigned short encoding ;
 1408   unsigned short parity ;
 1409};
 1410# 53 "include/linux/hdlc/ioctl.h"
 1411typedef struct __anonstruct_raw_hdlc_proto_132 raw_hdlc_proto;
 1412# 63 "include/linux/hdlc/ioctl.h"
 1413struct __anonstruct_fr_proto_133 {
 1414   unsigned int t391 ;
 1415   unsigned int t392 ;
 1416   unsigned int n391 ;
 1417   unsigned int n392 ;
 1418   unsigned int n393 ;
 1419   unsigned short lmi ;
 1420   unsigned short dce ;
 1421};
 1422# 63 "include/linux/hdlc/ioctl.h"
 1423typedef struct __anonstruct_fr_proto_133 fr_proto;
 1424# 67 "include/linux/hdlc/ioctl.h"
 1425struct __anonstruct_fr_proto_pvc_134 {
 1426   unsigned int dlci ;
 1427};
 1428# 67 "include/linux/hdlc/ioctl.h"
 1429typedef struct __anonstruct_fr_proto_pvc_134 fr_proto_pvc;
 1430# 72 "include/linux/hdlc/ioctl.h"
 1431struct __anonstruct_fr_proto_pvc_info_135 {
 1432   unsigned int dlci ;
 1433   char master[16U] ;
 1434};
 1435# 72 "include/linux/hdlc/ioctl.h"
 1436typedef struct __anonstruct_fr_proto_pvc_info_135 fr_proto_pvc_info;
 1437# 77 "include/linux/hdlc/ioctl.h"
 1438struct __anonstruct_cisco_proto_136 {
 1439   unsigned int interval ;
 1440   unsigned int timeout ;
 1441};
 1442# 77 "include/linux/hdlc/ioctl.h"
 1443typedef struct __anonstruct_cisco_proto_136 cisco_proto;
 1444# 93 "include/linux/hdlc/ioctl.h"
 1445struct ifmap {
 1446   unsigned long mem_start ;
 1447   unsigned long mem_end ;
 1448   unsigned short base_addr ;
 1449   unsigned char irq ;
 1450   unsigned char dma ;
 1451   unsigned char port ;
 1452};
 1453# 142 "include/linux/if.h"
 1454union __anonunion_ifs_ifsu_137 {
 1455   raw_hdlc_proto *raw_hdlc ;
 1456   cisco_proto *cisco ;
 1457   fr_proto *fr ;
 1458   fr_proto_pvc *fr_pvc ;
 1459   fr_proto_pvc_info *fr_pvc_info ;
 1460   sync_serial_settings *sync ;
 1461   te1_settings *te1 ;
 1462};
 1463# 142 "include/linux/if.h"
 1464struct if_settings {
 1465   unsigned int type ;
 1466   unsigned int size ;
 1467   union __anonunion_ifs_ifsu_137 ifs_ifsu ;
 1468};
 1469# 160 "include/linux/if.h"
 1470union __anonunion_ifr_ifrn_138 {
 1471   char ifrn_name[16U] ;
 1472};
 1473# 160 "include/linux/if.h"
 1474union __anonunion_ifr_ifru_139 {
 1475   struct sockaddr ifru_addr ;
 1476   struct sockaddr ifru_dstaddr ;
 1477   struct sockaddr ifru_broadaddr ;
 1478   struct sockaddr ifru_netmask ;
 1479   struct sockaddr ifru_hwaddr ;
 1480   short ifru_flags ;
 1481   int ifru_ivalue ;
 1482   int ifru_mtu ;
 1483   struct ifmap ifru_map ;
 1484   char ifru_slave[16U] ;
 1485   char ifru_newname[16U] ;
 1486   void *ifru_data ;
 1487   struct if_settings ifru_settings ;
 1488};
 1489# 160 "include/linux/if.h"
 1490struct ifreq {
 1491   union __anonunion_ifr_ifrn_138 ifr_ifrn ;
 1492   union __anonunion_ifr_ifru_139 ifr_ifru ;
 1493};
 1494# 224 "include/linux/if.h"
 1495struct ethhdr {
 1496   unsigned char h_dest[6U] ;
 1497   unsigned char h_source[6U] ;
 1498   __be16 h_proto ;
 1499};
 1500# 124 "include/linux/if_ether.h"
 1501struct prio_tree_node;
 1502# 124 "include/linux/if_ether.h"
 1503struct prio_tree_node;
 1504# 124 "include/linux/if_ether.h"
 1505struct raw_prio_tree_node {
 1506   struct prio_tree_node *left ;
 1507   struct prio_tree_node *right ;
 1508   struct prio_tree_node *parent ;
 1509};
 1510# 19 "include/linux/prio_tree.h"
 1511struct prio_tree_node {
 1512   struct prio_tree_node *left ;
 1513   struct prio_tree_node *right ;
 1514   struct prio_tree_node *parent ;
 1515   unsigned long start ;
 1516   unsigned long last ;
 1517};
 1518# 27 "include/linux/prio_tree.h"
 1519struct prio_tree_root {
 1520   struct prio_tree_node *prio_tree_node ;
 1521   unsigned short index_bits ;
 1522   unsigned short raw ;
 1523};
 1524# 111 "include/linux/prio_tree.h"
 1525struct rb_node {
 1526   unsigned long rb_parent_color ;
 1527   struct rb_node *rb_right ;
 1528   struct rb_node *rb_left ;
 1529};
 1530# 108 "include/linux/rbtree.h"
 1531struct rb_root {
 1532   struct rb_node *rb_node ;
 1533};
 1534# 180 "include/linux/rbtree.h"
 1535struct address_space;
 1536# 180 "include/linux/rbtree.h"
 1537struct address_space;
 1538# 180 "include/linux/rbtree.h"
 1539struct address_space;
 1540# 181 "include/linux/rbtree.h"
 1541struct __anonstruct_ldv_14087_142 {
 1542   u16 inuse ;
 1543   u16 objects ;
 1544};
 1545# 181 "include/linux/rbtree.h"
 1546union __anonunion_ldv_14088_141 {
 1547   atomic_t _mapcount ;
 1548   struct __anonstruct_ldv_14087_142 ldv_14087 ;
 1549};
 1550# 181 "include/linux/rbtree.h"
 1551struct __anonstruct_ldv_14093_144 {
 1552   unsigned long private ;
 1553   struct address_space *mapping ;
 1554};
 1555# 181 "include/linux/rbtree.h"
 1556union __anonunion_ldv_14096_143 {
 1557   struct __anonstruct_ldv_14093_144 ldv_14093 ;
 1558   struct kmem_cache *slab ;
 1559   struct page *first_page ;
 1560};
 1561# 181 "include/linux/rbtree.h"
 1562union __anonunion_ldv_14100_145 {
 1563   unsigned long index ;
 1564   void *freelist ;
 1565};
 1566# 181 "include/linux/rbtree.h"
 1567struct page {
 1568   unsigned long flags ;
 1569   atomic_t _count ;
 1570   union __anonunion_ldv_14088_141 ldv_14088 ;
 1571   union __anonunion_ldv_14096_143 ldv_14096 ;
 1572   union __anonunion_ldv_14100_145 ldv_14100 ;
 1573   struct list_head lru ;
 1574};
 1575# 124 "include/linux/mm_types.h"
 1576struct __anonstruct_vm_set_147 {
 1577   struct list_head list ;
 1578   void *parent ;
 1579   struct vm_area_struct *head ;
 1580};
 1581# 124 "include/linux/mm_types.h"
 1582union __anonunion_shared_146 {
 1583   struct __anonstruct_vm_set_147 vm_set ;
 1584   struct raw_prio_tree_node prio_tree_node ;
 1585};
 1586# 124 "include/linux/mm_types.h"
 1587struct anon_vma;
 1588# 124 "include/linux/mm_types.h"
 1589struct anon_vma;
 1590# 124 "include/linux/mm_types.h"
 1591struct vm_operations_struct;
 1592# 124 "include/linux/mm_types.h"
 1593struct vm_operations_struct;
 1594# 124 "include/linux/mm_types.h"
 1595struct mempolicy;
 1596# 124 "include/linux/mm_types.h"
 1597struct mempolicy;
 1598# 124 "include/linux/mm_types.h"
 1599struct vm_area_struct {
 1600   struct mm_struct *vm_mm ;
 1601   unsigned long vm_start ;
 1602   unsigned long vm_end ;
 1603   struct vm_area_struct *vm_next ;
 1604   struct vm_area_struct *vm_prev ;
 1605   pgprot_t vm_page_prot ;
 1606   unsigned long vm_flags ;
 1607   struct rb_node vm_rb ;
 1608   union __anonunion_shared_146 shared ;
 1609   struct list_head anon_vma_chain ;
 1610   struct anon_vma *anon_vma ;
 1611   struct vm_operations_struct const *vm_ops ;
 1612   unsigned long vm_pgoff ;
 1613   struct file *vm_file ;
 1614   void *vm_private_data ;
 1615   struct mempolicy *vm_policy ;
 1616};
 1617# 187 "include/linux/mm_types.h"
 1618struct core_thread {
 1619   struct task_struct *task ;
 1620   struct core_thread *next ;
 1621};
 1622# 193 "include/linux/mm_types.h"
 1623struct core_state {
 1624   atomic_t nr_threads ;
 1625   struct core_thread dumper ;
 1626   struct completion startup ;
 1627};
 1628# 206 "include/linux/mm_types.h"
 1629struct mm_rss_stat {
 1630   atomic_long_t count[3U] ;
 1631};
 1632# 219 "include/linux/mm_types.h"
 1633struct linux_binfmt;
 1634# 219 "include/linux/mm_types.h"
 1635struct linux_binfmt;
 1636# 219 "include/linux/mm_types.h"
 1637struct mmu_notifier_mm;
 1638# 219 "include/linux/mm_types.h"
 1639struct mmu_notifier_mm;
 1640# 219 "include/linux/mm_types.h"
 1641struct mm_struct {
 1642   struct vm_area_struct *mmap ;
 1643   struct rb_root mm_rb ;
 1644   struct vm_area_struct *mmap_cache ;
 1645   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
 1646                                      unsigned long , unsigned long ) ;
 1647   void (*unmap_area)(struct mm_struct * , unsigned long ) ;
 1648   unsigned long mmap_base ;
 1649   unsigned long task_size ;
 1650   unsigned long cached_hole_size ;
 1651   unsigned long free_area_cache ;
 1652   pgd_t *pgd ;
 1653   atomic_t mm_users ;
 1654   atomic_t mm_count ;
 1655   int map_count ;
 1656   spinlock_t page_table_lock ;
 1657   struct rw_semaphore mmap_sem ;
 1658   struct list_head mmlist ;
 1659   unsigned long hiwater_rss ;
 1660   unsigned long hiwater_vm ;
 1661   unsigned long total_vm ;
 1662   unsigned long locked_vm ;
 1663   unsigned long shared_vm ;
 1664   unsigned long exec_vm ;
 1665   unsigned long stack_vm ;
 1666   unsigned long reserved_vm ;
 1667   unsigned long def_flags ;
 1668   unsigned long nr_ptes ;
 1669   unsigned long start_code ;
 1670   unsigned long end_code ;
 1671   unsigned long start_data ;
 1672   unsigned long end_data ;
 1673   unsigned long start_brk ;
 1674   unsigned long brk ;
 1675   unsigned long start_stack ;
 1676   unsigned long arg_start ;
 1677   unsigned long arg_end ;
 1678   unsigned long env_start ;
 1679   unsigned long env_end ;
 1680   unsigned long saved_auxv[44U] ;
 1681   struct mm_rss_stat rss_stat ;
 1682   struct linux_binfmt *binfmt ;
 1683   cpumask_var_t cpu_vm_mask_var ;
 1684   mm_context_t context ;
 1685   unsigned int faultstamp ;
 1686   unsigned int token_priority ;
 1687   unsigned int last_interval ;
 1688   atomic_t oom_disable_count ;
 1689   unsigned long flags ;
 1690   struct core_state *core_state ;
 1691   spinlock_t ioctx_lock ;
 1692   struct hlist_head ioctx_list ;
 1693   struct task_struct *owner ;
 1694   struct file *exe_file ;
 1695   unsigned long num_exe_file_vmas ;
 1696   struct mmu_notifier_mm *mmu_notifier_mm ;
 1697   pgtable_t pmd_huge_pte ;
 1698   struct cpumask cpumask_allocation ;
 1699};
 1700# 158 "include/linux/kmemcheck.h"
 1701enum ldv_13744 {
 1702    SS_FREE = 0,
 1703    SS_UNCONNECTED = 1,
 1704    SS_CONNECTING = 2,
 1705    SS_CONNECTED = 3,
 1706    SS_DISCONNECTING = 4
 1707} ;
 1708# 53 "include/linux/net.h"
 1709typedef enum ldv_13744 socket_state;
 1710# 179 "include/asm-generic/fcntl.h"
 1711struct poll_table_struct;
 1712# 179 "include/asm-generic/fcntl.h"
 1713struct poll_table_struct;
 1714# 179 "include/asm-generic/fcntl.h"
 1715struct poll_table_struct;
 1716# 180 "include/asm-generic/fcntl.h"
 1717struct pipe_inode_info;
 1718# 180 "include/asm-generic/fcntl.h"
 1719struct pipe_inode_info;
 1720# 180 "include/asm-generic/fcntl.h"
 1721struct pipe_inode_info;
 1722# 181 "include/asm-generic/fcntl.h"
 1723struct inode;
 1724# 181 "include/asm-generic/fcntl.h"
 1725struct inode;
 1726# 181 "include/asm-generic/fcntl.h"
 1727struct inode;
 1728# 182 "include/asm-generic/fcntl.h"
 1729struct net;
 1730# 182 "include/asm-generic/fcntl.h"
 1731struct net;
 1732# 182 "include/asm-generic/fcntl.h"
 1733struct net;
 1734# 199 "include/asm-generic/fcntl.h"
 1735struct fasync_struct;
 1736# 199 "include/asm-generic/fcntl.h"
 1737struct fasync_struct;
 1738# 199 "include/asm-generic/fcntl.h"
 1739struct socket_wq {
 1740   wait_queue_head_t wait ;
 1741   struct fasync_struct *fasync_list ;
 1742   struct rcu_head rcu ;
 1743};
 1744# 127 "include/linux/net.h"
 1745struct proto_ops;
 1746# 127 "include/linux/net.h"
 1747struct proto_ops;
 1748# 127 "include/linux/net.h"
 1749struct socket {
 1750   socket_state state ;
 1751   short type ;
 1752   unsigned long flags ;
 1753   struct socket_wq *wq ;
 1754   struct file *file ;
 1755   struct sock *sk ;
 1756   struct proto_ops const *ops ;
 1757};
 1758# 153 "include/linux/net.h"
 1759struct kiocb;
 1760# 153 "include/linux/net.h"
 1761struct kiocb;
 1762# 153 "include/linux/net.h"
 1763struct kiocb;
 1764# 154 "include/linux/net.h"
 1765struct proto_ops {
 1766   int family ;
 1767   struct module *owner ;
 1768   int (*release)(struct socket * ) ;
 1769   int (*bind)(struct socket * , struct sockaddr * , int ) ;
 1770   int (*connect)(struct socket * , struct sockaddr * , int , int ) ;
 1771   int (*socketpair)(struct socket * , struct socket * ) ;
 1772   int (*accept)(struct socket * , struct socket * , int ) ;
 1773   int (*getname)(struct socket * , struct sockaddr * , int * , int ) ;
 1774   unsigned int (*poll)(struct file * , struct socket * , struct poll_table_struct * ) ;
 1775   int (*ioctl)(struct socket * , unsigned int , unsigned long ) ;
 1776   int (*compat_ioctl)(struct socket * , unsigned int , unsigned long ) ;
 1777   int (*listen)(struct socket * , int ) ;
 1778   int (*shutdown)(struct socket * , int ) ;
 1779   int (*setsockopt)(struct socket * , int , int , char * , unsigned int ) ;
 1780   int (*getsockopt)(struct socket * , int , int , char * , int * ) ;
 1781   int (*compat_setsockopt)(struct socket * , int , int , char * , unsigned int ) ;
 1782   int (*compat_getsockopt)(struct socket * , int , int , char * , int * ) ;
 1783   int (*sendmsg)(struct kiocb * , struct socket * , struct msghdr * , size_t ) ;
 1784   int (*recvmsg)(struct kiocb * , struct socket * , struct msghdr * , size_t , int ) ;
 1785   int (*mmap)(struct file * , struct socket * , struct vm_area_struct * ) ;
 1786   ssize_t (*sendpage)(struct socket * , struct page * , int , size_t , int ) ;
 1787   ssize_t (*splice_read)(struct socket * , loff_t * , struct pipe_inode_info * ,
 1788                          size_t , unsigned int ) ;
 1789};
 1790# 118 "include/linux/kmemleak.h"
 1791struct kmem_cache_cpu {
 1792   void **freelist ;
 1793   unsigned long tid ;
 1794   struct page *page ;
 1795   int node ;
 1796   unsigned int stat[19U] ;
 1797};
 1798# 46 "include/linux/slub_def.h"
 1799struct kmem_cache_node {
 1800   spinlock_t list_lock ;
 1801   unsigned long nr_partial ;
 1802   struct list_head partial ;
 1803   atomic_long_t nr_slabs ;
 1804   atomic_long_t total_objects ;
 1805   struct list_head full ;
 1806};
 1807# 57 "include/linux/slub_def.h"
 1808struct kmem_cache_order_objects {
 1809   unsigned long x ;
 1810};
 1811# 67 "include/linux/slub_def.h"
 1812struct kmem_cache {
 1813   struct kmem_cache_cpu *cpu_slab ;
 1814   unsigned long flags ;
 1815   unsigned long min_partial ;
 1816   int size ;
 1817   int objsize ;
 1818   int offset ;
 1819   struct kmem_cache_order_objects oo ;
 1820   struct kmem_cache_order_objects max ;
 1821   struct kmem_cache_order_objects min ;
 1822   gfp_t allocflags ;
 1823   int refcount ;
 1824   void (*ctor)(void * ) ;
 1825   int inuse ;
 1826   int align ;
 1827   int reserved ;
 1828   char const *name ;
 1829   struct list_head list ;
 1830   struct kobject kobj ;
 1831   int remote_node_defrag_ratio ;
 1832   struct kmem_cache_node *node[1024U] ;
 1833};
 1834# 176 "include/linux/textsearch.h"
 1835struct exception_table_entry {
 1836   unsigned long insn ;
 1837   unsigned long fixup ;
 1838};
 1839# 108 "include/net/checksum.h"
 1840struct sk_buff;
 1841# 108 "include/net/checksum.h"
 1842struct sk_buff;
 1843# 108 "include/net/checksum.h"
 1844struct sk_buff;
 1845# 120 "include/net/checksum.h"
 1846struct klist_node;
 1847# 120 "include/net/checksum.h"
 1848struct klist_node;
 1849# 120 "include/net/checksum.h"
 1850struct klist_node;
 1851# 37 "include/linux/klist.h"
 1852struct klist_node {
 1853   void *n_klist ;
 1854   struct list_head n_node ;
 1855   struct kref n_ref ;
 1856};
 1857# 67 "include/linux/klist.h"
 1858struct dma_map_ops;
 1859# 67 "include/linux/klist.h"
 1860struct dma_map_ops;
 1861# 67 "include/linux/klist.h"
 1862struct dev_archdata {
 1863   void *acpi_handle ;
 1864   struct dma_map_ops *dma_ops ;
 1865   void *iommu ;
 1866};
 1867# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1868struct device_private;
 1869# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1870struct device_private;
 1871# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1872struct device_private;
 1873# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1874struct device_driver;
 1875# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1876struct device_driver;
 1877# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1878struct device_driver;
 1879# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1880struct driver_private;
 1881# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1882struct driver_private;
 1883# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1884struct driver_private;
 1885# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1886struct class;
 1887# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1888struct class;
 1889# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1890struct class;
 1891# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1892struct subsys_private;
 1893# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1894struct subsys_private;
 1895# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1896struct subsys_private;
 1897# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1898struct bus_type;
 1899# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1900struct bus_type;
 1901# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1902struct bus_type;
 1903# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1904struct device_node;
 1905# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1906struct device_node;
 1907# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1908struct device_node;
 1909# 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 1910struct bus_attribute {
 1911   struct attribute attr ;
 1912   ssize_t (*show)(struct bus_type * , char * ) ;
 1913   ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
 1914};
 1915# 49 "include/linux/device.h"
 1916struct device_attribute;
 1917# 49 "include/linux/device.h"
 1918struct device_attribute;
 1919# 49 "include/linux/device.h"
 1920struct driver_attribute;
 1921# 49 "include/linux/device.h"
 1922struct driver_attribute;
 1923# 49 "include/linux/device.h"
 1924struct bus_type {
 1925   char const *name ;
 1926   struct bus_attribute *bus_attrs ;
 1927   struct device_attribute *dev_attrs ;
 1928   struct driver_attribute *drv_attrs ;
 1929   int (*match)(struct device * , struct device_driver * ) ;
 1930   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 1931   int (*probe)(struct device * ) ;
 1932   int (*remove)(struct device * ) ;
 1933   void (*shutdown)(struct device * ) ;
 1934   int (*suspend)(struct device * , pm_message_t ) ;
 1935   int (*resume)(struct device * ) ;
 1936   struct dev_pm_ops const *pm ;
 1937   struct subsys_private *p ;
 1938};
 1939# 153 "include/linux/device.h"
 1940struct of_device_id;
 1941# 153 "include/linux/device.h"
 1942struct of_device_id;
 1943# 153 "include/linux/device.h"
 1944struct device_driver {
 1945   char const *name ;
 1946   struct bus_type *bus ;
 1947   struct module *owner ;
 1948   char const *mod_name ;
 1949   bool suppress_bind_attrs ;
 1950   struct of_device_id const *of_match_table ;
 1951   int (*probe)(struct device * ) ;
 1952   int (*remove)(struct device * ) ;
 1953   void (*shutdown)(struct device * ) ;
 1954   int (*suspend)(struct device * , pm_message_t ) ;
 1955   int (*resume)(struct device * ) ;
 1956   struct attribute_group const **groups ;
 1957   struct dev_pm_ops const *pm ;
 1958   struct driver_private *p ;
 1959};
 1960# 218 "include/linux/device.h"
 1961struct driver_attribute {
 1962   struct attribute attr ;
 1963   ssize_t (*show)(struct device_driver * , char * ) ;
 1964   ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
 1965};
 1966# 248 "include/linux/device.h"
 1967struct class_attribute;
 1968# 248 "include/linux/device.h"
 1969struct class_attribute;
 1970# 248 "include/linux/device.h"
 1971struct class {
 1972   char const *name ;
 1973   struct module *owner ;
 1974   struct class_attribute *class_attrs ;
 1975   struct device_attribute *dev_attrs ;
 1976   struct bin_attribute *dev_bin_attrs ;
 1977   struct kobject *dev_kobj ;
 1978   int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
 1979   char *(*devnode)(struct device * , mode_t * ) ;
 1980   void (*class_release)(struct class * ) ;
 1981   void (*dev_release)(struct device * ) ;
 1982   int (*suspend)(struct device * , pm_message_t ) ;
 1983   int (*resume)(struct device * ) ;
 1984   struct kobj_ns_type_operations const *ns_type ;
 1985   void const *(*namespace)(struct device * ) ;
 1986   struct dev_pm_ops const *pm ;
 1987   struct subsys_private *p ;
 1988};
 1989# 305 "include/linux/device.h"
 1990struct device_type;
 1991# 305 "include/linux/device.h"
 1992struct device_type;
 1993# 344 "include/linux/device.h"
 1994struct class_attribute {
 1995   struct attribute attr ;
 1996   ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
 1997   ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
 1998};
 1999# 395 "include/linux/device.h"
 2000struct device_type {
 2001   char const *name ;
 2002   struct attribute_group const **groups ;
 2003   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 2004   char *(*devnode)(struct device * , mode_t * ) ;
 2005   void (*release)(struct device * ) ;
 2006   struct dev_pm_ops const *pm ;
 2007};
 2008# 422 "include/linux/device.h"
 2009struct device_attribute {
 2010   struct attribute attr ;
 2011   ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
 2012   ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
 2013                    size_t ) ;
 2014};
 2015# 483 "include/linux/device.h"
 2016struct device_dma_parameters {
 2017   unsigned int max_segment_size ;
 2018   unsigned long segment_boundary_mask ;
 2019};
 2020# 492 "include/linux/device.h"
 2021struct dma_coherent_mem;
 2022# 492 "include/linux/device.h"
 2023struct dma_coherent_mem;
 2024# 492 "include/linux/device.h"
 2025struct device {
 2026   struct device *parent ;
 2027   struct device_private *p ;
 2028   struct kobject kobj ;
 2029   char const *init_name ;
 2030   struct device_type const *type ;
 2031   struct mutex mutex ;
 2032   struct bus_type *bus ;
 2033   struct device_driver *driver ;
 2034   void *platform_data ;
 2035   struct dev_pm_info power ;
 2036   struct dev_power_domain *pwr_domain ;
 2037   int numa_node ;
 2038   u64 *dma_mask ;
 2039   u64 coherent_dma_mask ;
 2040   struct device_dma_parameters *dma_parms ;
 2041   struct list_head dma_pools ;
 2042   struct dma_coherent_mem *dma_mem ;
 2043   struct dev_archdata archdata ;
 2044   struct device_node *of_node ;
 2045   dev_t devt ;
 2046   spinlock_t devres_lock ;
 2047   struct list_head devres_head ;
 2048   struct klist_node knode_class ;
 2049   struct class *class ;
 2050   struct attribute_group const **groups ;
 2051   void (*release)(struct device * ) ;
 2052};
 2053# 604 "include/linux/device.h"
 2054struct wakeup_source {
 2055   char *name ;
 2056   struct list_head entry ;
 2057   spinlock_t lock ;
 2058   struct timer_list timer ;
 2059   unsigned long timer_expires ;
 2060   ktime_t total_time ;
 2061   ktime_t max_time ;
 2062   ktime_t last_time ;
 2063   unsigned long event_count ;
 2064   unsigned long active_count ;
 2065   unsigned long relax_count ;
 2066   unsigned long hit_count ;
 2067   unsigned char active : 1 ;
 2068};
 2069# 34 "include/linux/bug.h"
 2070struct dma_attrs {
 2071   unsigned long flags[1U] ;
 2072};
 2073# 65 "include/linux/dma-attrs.h"
 2074struct scatterlist {
 2075   unsigned long sg_magic ;
 2076   unsigned long page_link ;
 2077   unsigned int offset ;
 2078   unsigned int length ;
 2079   dma_addr_t dma_address ;
 2080   unsigned int dma_length ;
 2081};
 2082# 92 "include/linux/bit_spinlock.h"
 2083struct file_ra_state;
 2084# 92 "include/linux/bit_spinlock.h"
 2085struct file_ra_state;
 2086# 92 "include/linux/bit_spinlock.h"
 2087struct file_ra_state;
 2088# 93 "include/linux/bit_spinlock.h"
 2089struct user_struct;
 2090# 93 "include/linux/bit_spinlock.h"
 2091struct user_struct;
 2092# 93 "include/linux/bit_spinlock.h"
 2093struct user_struct;
 2094# 94 "include/linux/bit_spinlock.h"
 2095struct writeback_control;
 2096# 94 "include/linux/bit_spinlock.h"
 2097struct writeback_control;
 2098# 94 "include/linux/bit_spinlock.h"
 2099struct writeback_control;
 2100# 175 "include/linux/mm.h"
 2101struct vm_fault {
 2102   unsigned int flags ;
 2103   unsigned long pgoff ;
 2104   void *virtual_address ;
 2105   struct page *page ;
 2106};
 2107# 192 "include/linux/mm.h"
 2108struct vm_operations_struct {
 2109   void (*open)(struct vm_area_struct * ) ;
 2110   void (*close)(struct vm_area_struct * ) ;
 2111   int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
 2112   int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
 2113   int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
 2114   int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
 2115   struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
 2116   int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
 2117                  unsigned long ) ;
 2118};
 2119# 266 "include/linux/scatterlist.h"
 2120enum dma_data_direction {
 2121    DMA_BIDIRECTIONAL = 0,
 2122    DMA_TO_DEVICE = 1,
 2123    DMA_FROM_DEVICE = 2,
 2124    DMA_NONE = 3
 2125} ;
 2126# 273 "include/linux/scatterlist.h"
 2127struct dma_map_ops {
 2128   void *(*alloc_coherent)(struct device * , size_t , dma_addr_t * , gfp_t ) ;
 2129   void (*free_coherent)(struct device * , size_t , void * , dma_addr_t ) ;
 2130   dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
 2131                          enum dma_data_direction , struct dma_attrs * ) ;
 2132   void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
 2133                      struct dma_attrs * ) ;
 2134   int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
 2135                 struct dma_attrs * ) ;
 2136   void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
 2137                    struct dma_attrs * ) ;
 2138   void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
 2139   void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
 2140   void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
 2141   void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
 2142   int (*mapping_error)(struct device * , dma_addr_t ) ;
 2143   int (*dma_supported)(struct device * , u64 ) ;
 2144   int (*set_dma_mask)(struct device * , u64 ) ;
 2145   int is_phys ;
 2146};
 2147# 33 "include/linux/dmaengine.h"
 2148typedef s32 dma_cookie_t;
 2149# 874 "include/linux/dmaengine.h"
 2150struct timerqueue_node {
 2151   struct rb_node node ;
 2152   ktime_t expires ;
 2153};
 2154# 12 "include/linux/timerqueue.h"
 2155struct timerqueue_head {
 2156   struct rb_root head ;
 2157   struct timerqueue_node *next ;
 2158};
 2159# 50 "include/linux/timerqueue.h"
 2160struct hrtimer_clock_base;
 2161# 50 "include/linux/timerqueue.h"
 2162struct hrtimer_clock_base;
 2163# 50 "include/linux/timerqueue.h"
 2164struct hrtimer_clock_base;
 2165# 51 "include/linux/timerqueue.h"
 2166struct hrtimer_cpu_base;
 2167# 51 "include/linux/timerqueue.h"
 2168struct hrtimer_cpu_base;
 2169# 51 "include/linux/timerqueue.h"
 2170struct hrtimer_cpu_base;
 2171# 60 "include/linux/timerqueue.h"
 2172enum hrtimer_restart {
 2173    HRTIMER_NORESTART = 0,
 2174    HRTIMER_RESTART = 1
 2175} ;
 2176# 65 "include/linux/timerqueue.h"
 2177struct hrtimer {
 2178   struct timerqueue_node node ;
 2179   ktime_t _softexpires ;
 2180   enum hrtimer_restart (*function)(struct hrtimer * ) ;
 2181   struct hrtimer_clock_base *base ;
 2182   unsigned long state ;
 2183   int start_pid ;
 2184   void *start_site ;
 2185   char start_comm[16U] ;
 2186};
 2187# 132 "include/linux/hrtimer.h"
 2188struct hrtimer_clock_base {
 2189   struct hrtimer_cpu_base *cpu_base ;
 2190   int index ;
 2191   clockid_t clockid ;
 2192   struct timerqueue_head active ;
 2193   ktime_t resolution ;
 2194   ktime_t (*get_time)(void) ;
 2195   ktime_t softirq_time ;
 2196   ktime_t offset ;
 2197};
 2198# 162 "include/linux/hrtimer.h"
 2199struct hrtimer_cpu_base {
 2200   raw_spinlock_t lock ;
 2201   unsigned long active_bases ;
 2202   ktime_t expires_next ;
 2203   int hres_active ;
 2204   int hang_detected ;
 2205   unsigned long nr_events ;
 2206   unsigned long nr_retries ;
 2207   unsigned long nr_hangs ;
 2208   ktime_t max_hang_time ;
 2209   struct hrtimer_clock_base clock_base[3U] ;
 2210};
 2211# 452 "include/linux/hrtimer.h"
 2212struct net_device;
 2213# 452 "include/linux/hrtimer.h"
 2214struct net_device;
 2215# 452 "include/linux/hrtimer.h"
 2216struct net_device;
 2217# 453 "include/linux/hrtimer.h"
 2218struct nf_conntrack {
 2219   atomic_t use ;
 2220};
 2221# 102 "include/linux/skbuff.h"
 2222struct nf_bridge_info {
 2223   atomic_t use ;
 2224   struct net_device *physindev ;
 2225   struct net_device *physoutdev ;
 2226   unsigned int mask ;
 2227   unsigned long data[4U] ;
 2228};
 2229# 112 "include/linux/skbuff.h"
 2230struct sk_buff_head {
 2231   struct sk_buff *next ;
 2232   struct sk_buff *prev ;
 2233   __u32 qlen ;
 2234   spinlock_t lock ;
 2235};
 2236# 134 "include/linux/skbuff.h"
 2237struct skb_frag_struct;
 2238# 134 "include/linux/skbuff.h"
 2239struct skb_frag_struct;
 2240# 134 "include/linux/skbuff.h"
 2241typedef struct skb_frag_struct skb_frag_t;
 2242# 135 "include/linux/skbuff.h"
 2243struct skb_frag_struct {
 2244   struct page *page ;
 2245   __u32 page_offset ;
 2246   __u32 size ;
 2247};
 2248# 142 "include/linux/skbuff.h"
 2249struct skb_shared_hwtstamps {
 2250   ktime_t hwtstamp ;
 2251   ktime_t syststamp ;
 2252};
 2253# 183 "include/linux/skbuff.h"
 2254struct skb_shared_info {
 2255   unsigned short nr_frags ;
 2256   unsigned short gso_size ;
 2257   unsigned short gso_segs ;
 2258   unsigned short gso_type ;
 2259   __be32 ip6_frag_id ;
 2260   __u8 tx_flags ;
 2261   struct sk_buff *frag_list ;
 2262   struct skb_shared_hwtstamps hwtstamps ;
 2263   atomic_t dataref ;
 2264   void *destructor_arg ;
 2265   skb_frag_t frags[18U] ;
 2266};
 2267# 259 "include/linux/skbuff.h"
 2268typedef unsigned int sk_buff_data_t;
 2269# 260 "include/linux/skbuff.h"
 2270struct sec_path;
 2271# 260 "include/linux/skbuff.h"
 2272struct sec_path;
 2273# 260 "include/linux/skbuff.h"
 2274struct __anonstruct_ldv_19675_150 {
 2275   __u16 csum_start ;
 2276   __u16 csum_offset ;
 2277};
 2278# 260 "include/linux/skbuff.h"
 2279union __anonunion_ldv_19676_149 {
 2280   __wsum csum ;
 2281   struct __anonstruct_ldv_19675_150 ldv_19675 ;
 2282};
 2283# 260 "include/linux/skbuff.h"
 2284union __anonunion_ldv_19706_151 {
 2285   __u32 mark ;
 2286   __u32 dropcount ;
 2287};
 2288# 260 "include/linux/skbuff.h"
 2289struct sk_buff {
 2290   struct sk_buff *next ;
 2291   struct sk_buff *prev ;
 2292   ktime_t tstamp ;
 2293   struct sock *sk ;
 2294   struct net_device *dev ;
 2295   char cb[48U] ;
 2296   unsigned long _skb_refdst ;
 2297   struct sec_path *sp ;
 2298   unsigned int len ;
 2299   unsigned int data_len ;
 2300   __u16 mac_len ;
 2301   __u16 hdr_len ;
 2302   union __anonunion_ldv_19676_149 ldv_19676 ;
 2303   __u32 priority ;
 2304   unsigned char local_df : 1 ;
 2305   unsigned char cloned : 1 ;
 2306   unsigned char ip_summed : 2 ;
 2307   unsigned char nohdr : 1 ;
 2308   unsigned char nfctinfo : 3 ;
 2309   unsigned char pkt_type : 3 ;
 2310   unsigned char fclone : 2 ;
 2311   unsigned char ipvs_property : 1 ;
 2312   unsigned char peeked : 1 ;
 2313   unsigned char nf_trace : 1 ;
 2314   __be16 protocol ;
 2315   void (*destructor)(struct sk_buff * ) ;
 2316   struct nf_conntrack *nfct ;
 2317   struct sk_buff *nfct_reasm ;
 2318   struct nf_bridge_info *nf_bridge ;
 2319   int skb_iif ;
 2320   __u16 tc_index ;
 2321   __u16 tc_verd ;
 2322   __u32 rxhash ;
 2323   __u16 queue_mapping ;
 2324   unsigned char ndisc_nodetype : 2 ;
 2325   unsigned char ooo_okay : 1 ;
 2326   dma_cookie_t dma_cookie ;
 2327   __u32 secmark ;
 2328   union __anonunion_ldv_19706_151 ldv_19706 ;
 2329   __u16 vlan_tci ;
 2330   sk_buff_data_t transport_header ;
 2331   sk_buff_data_t network_header ;
 2332   sk_buff_data_t mac_header ;
 2333   sk_buff_data_t tail ;
 2334   sk_buff_data_t end ;
 2335   unsigned char *head ;
 2336   unsigned char *data ;
 2337   unsigned int truesize ;
 2338   atomic_t users ;
 2339};
 2340# 450 "include/linux/skbuff.h"
 2341struct dst_entry;
 2342# 450 "include/linux/skbuff.h"
 2343struct dst_entry;
 2344# 485 "include/linux/skbuff.h"
 2345struct rtable;
 2346# 485 "include/linux/skbuff.h"
 2347struct rtable;
 2348# 113 "include/linux/netlink.h"
 2349struct nlattr {
 2350   __u16 nla_len ;
 2351   __u16 nla_type ;
 2352};
 2353# 93 "include/linux/capability.h"
 2354struct kernel_cap_struct {
 2355   __u32 cap[2U] ;
 2356};
 2357# 96 "include/linux/capability.h"
 2358typedef struct kernel_cap_struct kernel_cap_t;
 2359# 104 "include/linux/capability.h"
 2360struct dentry;
 2361# 104 "include/linux/capability.h"
 2362struct dentry;
 2363# 104 "include/linux/capability.h"
 2364struct dentry;
 2365# 105 "include/linux/capability.h"
 2366struct user_namespace;
 2367# 105 "include/linux/capability.h"
 2368struct user_namespace;
 2369# 105 "include/linux/capability.h"
 2370struct user_namespace;
 2371# 39 "include/linux/if_link.h"
 2372struct rtnl_link_stats64 {
 2373   __u64 rx_packets ;
 2374   __u64 tx_packets ;
 2375   __u64 rx_bytes ;
 2376   __u64 tx_bytes ;
 2377   __u64 rx_errors ;
 2378   __u64 tx_errors ;
 2379   __u64 rx_dropped ;
 2380   __u64 tx_dropped ;
 2381   __u64 multicast ;
 2382   __u64 collisions ;
 2383   __u64 rx_length_errors ;
 2384   __u64 rx_over_errors ;
 2385   __u64 rx_crc_errors ;
 2386   __u64 rx_frame_errors ;
 2387   __u64 rx_fifo_errors ;
 2388   __u64 rx_missed_errors ;
 2389   __u64 tx_aborted_errors ;
 2390   __u64 tx_carrier_errors ;
 2391   __u64 tx_fifo_errors ;
 2392   __u64 tx_heartbeat_errors ;
 2393   __u64 tx_window_errors ;
 2394   __u64 rx_compressed ;
 2395   __u64 tx_compressed ;
 2396};
 2397# 302 "include/linux/if_link.h"
 2398struct ifla_vf_info {
 2399   __u32 vf ;
 2400   __u8 mac[32U] ;
 2401   __u32 vlan ;
 2402   __u32 qos ;
 2403   __u32 tx_rate ;
 2404};
 2405# 382 "include/linux/if_link.h"
 2406struct plist_head {
 2407   struct list_head node_list ;
 2408   raw_spinlock_t *rawlock ;
 2409   spinlock_t *spinlock ;
 2410};
 2411# 88 "include/linux/plist.h"
 2412struct plist_node {
 2413   int prio ;
 2414   struct list_head prio_list ;
 2415   struct list_head node_list ;
 2416};
 2417# 303 "include/linux/plist.h"
 2418struct file_operations;
 2419# 303 "include/linux/plist.h"
 2420struct file_operations;
 2421# 60 "include/linux/miscdevice.h"
 2422struct pm_qos_request_list {
 2423   struct plist_node list ;
 2424   int pm_qos_class ;
 2425};
 2426# 118 "include/linux/sem.h"
 2427struct sem_undo_list;
 2428# 118 "include/linux/sem.h"
 2429struct sem_undo_list;
 2430# 131 "include/linux/sem.h"
 2431struct sem_undo_list {
 2432   atomic_t refcnt ;
 2433   spinlock_t lock ;
 2434   struct list_head list_proc ;
 2435};
 2436# 140 "include/linux/sem.h"
 2437struct sysv_sem {
 2438   struct sem_undo_list *undo_list ;
 2439};
 2440# 152 "include/linux/sem.h"
 2441struct block_device;
 2442# 152 "include/linux/sem.h"
 2443struct block_device;
 2444# 152 "include/linux/sem.h"
 2445struct block_device;
 2446# 89 "include/linux/kdev_t.h"
 2447struct hlist_bl_node;
 2448# 89 "include/linux/kdev_t.h"
 2449struct hlist_bl_node;
 2450# 89 "include/linux/kdev_t.h"
 2451struct hlist_bl_head {
 2452   struct hlist_bl_node *first ;
 2453};
 2454# 36 "include/linux/list_bl.h"
 2455struct hlist_bl_node {
 2456   struct hlist_bl_node *next ;
 2457   struct hlist_bl_node **pprev ;
 2458};
 2459# 114 "include/linux/rculist_bl.h"
 2460struct nameidata;
 2461# 114 "include/linux/rculist_bl.h"
 2462struct nameidata;
 2463# 114 "include/linux/rculist_bl.h"
 2464struct nameidata;
 2465# 115 "include/linux/rculist_bl.h"
 2466struct path;
 2467# 115 "include/linux/rculist_bl.h"
 2468struct path;
 2469# 115 "include/linux/rculist_bl.h"
 2470struct path;
 2471# 116 "include/linux/rculist_bl.h"
 2472struct vfsmount;
 2473# 116 "include/linux/rculist_bl.h"
 2474struct vfsmount;
 2475# 116 "include/linux/rculist_bl.h"
 2476struct vfsmount;
 2477# 117 "include/linux/rculist_bl.h"
 2478struct qstr {
 2479   unsigned int hash ;
 2480   unsigned int len ;
 2481   unsigned char const *name ;
 2482};
 2483# 100 "include/linux/dcache.h"
 2484struct dentry_operations;
 2485# 100 "include/linux/dcache.h"
 2486struct dentry_operations;
 2487# 100 "include/linux/dcache.h"
 2488struct super_block;
 2489# 100 "include/linux/dcache.h"
 2490struct super_block;
 2491# 100 "include/linux/dcache.h"
 2492union __anonunion_d_u_153 {
 2493   struct list_head d_child ;
 2494   struct rcu_head d_rcu ;
 2495};
 2496# 100 "include/linux/dcache.h"
 2497struct dentry {
 2498   unsigned int d_flags ;
 2499   seqcount_t d_seq ;
 2500   struct hlist_bl_node d_hash ;
 2501   struct dentry *d_parent ;
 2502   struct qstr d_name ;
 2503   struct inode *d_inode ;
 2504   unsigned char d_iname[32U] ;
 2505   unsigned int d_count ;
 2506   spinlock_t d_lock ;
 2507   struct dentry_operations const *d_op ;
 2508   struct super_block *d_sb ;
 2509   unsigned long d_time ;
 2510   void *d_fsdata ;
 2511   struct list_head d_lru ;
 2512   union __anonunion_d_u_153 d_u ;
 2513   struct list_head d_subdirs ;
 2514   struct list_head d_alias ;
 2515};
 2516# 151 "include/linux/dcache.h"
 2517struct dentry_operations {
 2518   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
 2519   int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
 2520   int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
 2521                    struct inode const * , unsigned int , char const * , struct qstr const * ) ;
 2522   int (*d_delete)(struct dentry const * ) ;
 2523   void (*d_release)(struct dentry * ) ;
 2524   void (*d_iput)(struct dentry * , struct inode * ) ;
 2525   char *(*d_dname)(struct dentry * , char * , int ) ;
 2526   struct vfsmount *(*d_automount)(struct path * ) ;
 2527   int (*d_manage)(struct dentry * , bool ) ;
 2528};
 2529# 422 "include/linux/dcache.h"
 2530struct path {
 2531   struct vfsmount *mnt ;
 2532   struct dentry *dentry ;
 2533};
 2534# 51 "include/linux/radix-tree.h"
 2535struct radix_tree_node;
 2536# 51 "include/linux/radix-tree.h"
 2537struct radix_tree_node;
 2538# 51 "include/linux/radix-tree.h"
 2539struct radix_tree_root {
 2540   unsigned int height ;
 2541   gfp_t gfp_mask ;
 2542   struct radix_tree_node *rnode ;
 2543};
 2544# 229 "include/linux/radix-tree.h"
 2545enum pid_type {
 2546    PIDTYPE_PID = 0,
 2547    PIDTYPE_PGID = 1,
 2548    PIDTYPE_SID = 2,
 2549    PIDTYPE_MAX = 3
 2550} ;
 2551# 236 "include/linux/radix-tree.h"
 2552struct pid_namespace;
 2553# 236 "include/linux/radix-tree.h"
 2554struct pid_namespace;
 2555# 236 "include/linux/radix-tree.h"
 2556struct upid {
 2557   int nr ;
 2558   struct pid_namespace *ns ;
 2559   struct hlist_node pid_chain ;
 2560};
 2561# 56 "include/linux/pid.h"
 2562struct pid {
 2563   atomic_t count ;
 2564   unsigned int level ;
 2565   struct hlist_head tasks[3U] ;
 2566   struct rcu_head rcu ;
 2567   struct upid numbers[1U] ;
 2568};
 2569# 68 "include/linux/pid.h"
 2570struct pid_link {
 2571   struct hlist_node node ;
 2572   struct pid *pid ;
 2573};
 2574# 45 "include/linux/semaphore.h"
 2575struct fiemap_extent {
 2576   __u64 fe_logical ;
 2577   __u64 fe_physical ;
 2578   __u64 fe_length ;
 2579   __u64 fe_reserved64[2U] ;
 2580   __u32 fe_flags ;
 2581   __u32 fe_reserved[3U] ;
 2582};
 2583# 38 "include/linux/fiemap.h"
 2584struct export_operations;
 2585# 38 "include/linux/fiemap.h"
 2586struct export_operations;
 2587# 38 "include/linux/fiemap.h"
 2588struct export_operations;
 2589# 40 "include/linux/fiemap.h"
 2590struct kstatfs;
 2591# 40 "include/linux/fiemap.h"
 2592struct kstatfs;
 2593# 40 "include/linux/fiemap.h"
 2594struct kstatfs;
 2595# 426 "include/linux/fs.h"
 2596struct iattr {
 2597   unsigned int ia_valid ;
 2598   umode_t ia_mode ;
 2599   uid_t ia_uid ;
 2600   gid_t ia_gid ;
 2601   loff_t ia_size ;
 2602   struct timespec ia_atime ;
 2603   struct timespec ia_mtime ;
 2604   struct timespec ia_ctime ;
 2605   struct file *ia_file ;
 2606};
 2607# 119 "include/linux/quota.h"
 2608struct if_dqinfo {
 2609   __u64 dqi_bgrace ;
 2610   __u64 dqi_igrace ;
 2611   __u32 dqi_flags ;
 2612   __u32 dqi_valid ;
 2613};
 2614# 152 "include/linux/quota.h"
 2615struct percpu_counter {
 2616   spinlock_t lock ;
 2617   s64 count ;
 2618   struct list_head list ;
 2619   s32 *counters ;
 2620};
 2621# 176 "include/linux/percpu_counter.h"
 2622struct fs_disk_quota {
 2623   __s8 d_version ;
 2624   __s8 d_flags ;
 2625   __u16 d_fieldmask ;
 2626   __u32 d_id ;
 2627   __u64 d_blk_hardlimit ;
 2628   __u64 d_blk_softlimit ;
 2629   __u64 d_ino_hardlimit ;
 2630   __u64 d_ino_softlimit ;
 2631   __u64 d_bcount ;
 2632   __u64 d_icount ;
 2633   __s32 d_itimer ;
 2634   __s32 d_btimer ;
 2635   __u16 d_iwarns ;
 2636   __u16 d_bwarns ;
 2637   __s32 d_padding2 ;
 2638   __u64 d_rtb_hardlimit ;
 2639   __u64 d_rtb_softlimit ;
 2640   __u64 d_rtbcount ;
 2641   __s32 d_rtbtimer ;
 2642   __u16 d_rtbwarns ;
 2643   __s16 d_padding3 ;
 2644   char d_padding4[8U] ;
 2645};
 2646# 75 "include/linux/dqblk_xfs.h"
 2647struct fs_qfilestat {
 2648   __u64 qfs_ino ;
 2649   __u64 qfs_nblks ;
 2650   __u32 qfs_nextents ;
 2651};
 2652# 150 "include/linux/dqblk_xfs.h"
 2653typedef struct fs_qfilestat fs_qfilestat_t;
 2654# 151 "include/linux/dqblk_xfs.h"
 2655struct fs_quota_stat {
 2656   __s8 qs_version ;
 2657   __u16 qs_flags ;
 2658   __s8 qs_pad ;
 2659   fs_qfilestat_t qs_uquota ;
 2660   fs_qfilestat_t qs_gquota ;
 2661   __u32 qs_incoredqs ;
 2662   __s32 qs_btimelimit ;
 2663   __s32 qs_itimelimit ;
 2664   __s32 qs_rtbtimelimit ;
 2665   __u16 qs_bwarnlimit ;
 2666   __u16 qs_iwarnlimit ;
 2667};
 2668# 165 "include/linux/dqblk_xfs.h"
 2669struct dquot;
 2670# 165 "include/linux/dqblk_xfs.h"
 2671struct dquot;
 2672# 165 "include/linux/dqblk_xfs.h"
 2673struct dquot;
 2674# 185 "include/linux/quota.h"
 2675typedef __kernel_uid32_t qid_t;
 2676# 186 "include/linux/quota.h"
 2677typedef long long qsize_t;
 2678# 189 "include/linux/quota.h"
 2679struct mem_dqblk {
 2680   qsize_t dqb_bhardlimit ;
 2681   qsize_t dqb_bsoftlimit ;
 2682   qsize_t dqb_curspace ;
 2683   qsize_t dqb_rsvspace ;
 2684   qsize_t dqb_ihardlimit ;
 2685   qsize_t dqb_isoftlimit ;
 2686   qsize_t dqb_curinodes ;
 2687   time_t dqb_btime ;
 2688   time_t dqb_itime ;
 2689};
 2690# 211 "include/linux/quota.h"
 2691struct quota_format_type;
 2692# 211 "include/linux/quota.h"
 2693struct quota_format_type;
 2694# 211 "include/linux/quota.h"
 2695struct quota_format_type;
 2696# 212 "include/linux/quota.h"
 2697struct mem_dqinfo {
 2698   struct quota_format_type *dqi_format ;
 2699   int dqi_fmt_id ;
 2700   struct list_head dqi_dirty_list ;
 2701   unsigned long dqi_flags ;
 2702   unsigned int dqi_bgrace ;
 2703   unsigned int dqi_igrace ;
 2704   qsize_t dqi_maxblimit ;
 2705   qsize_t dqi_maxilimit ;
 2706   void *dqi_priv ;
 2707};
 2708# 271 "include/linux/quota.h"
 2709struct dquot {
 2710   struct hlist_node dq_hash ;
 2711   struct list_head dq_inuse ;
 2712   struct list_head dq_free ;
 2713   struct list_head dq_dirty ;
 2714   struct mutex dq_lock ;
 2715   atomic_t dq_count ;
 2716   wait_queue_head_t dq_wait_unused ;
 2717   struct super_block *dq_sb ;
 2718   unsigned int dq_id ;
 2719   loff_t dq_off ;
 2720   unsigned long dq_flags ;
 2721   short dq_type ;
 2722   struct mem_dqblk dq_dqb ;
 2723};
 2724# 299 "include/linux/quota.h"
 2725struct quota_format_ops {
 2726   int (*check_quota_file)(struct super_block * , int ) ;
 2727   int (*read_file_info)(struct super_block * , int ) ;
 2728   int (*write_file_info)(struct super_block * , int ) ;
 2729   int (*free_file_info)(struct super_block * , int ) ;
 2730   int (*read_dqblk)(struct dquot * ) ;
 2731   int (*commit_dqblk)(struct dquot * ) ;
 2732   int (*release_dqblk)(struct dquot * ) ;
 2733};
 2734# 310 "include/linux/quota.h"
 2735struct dquot_operations {
 2736   int (*write_dquot)(struct dquot * ) ;
 2737   struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
 2738   void (*destroy_dquot)(struct dquot * ) ;
 2739   int (*acquire_dquot)(struct dquot * ) ;
 2740   int (*release_dquot)(struct dquot * ) ;
 2741   int (*mark_dirty)(struct dquot * ) ;
 2742   int (*write_info)(struct super_block * , int ) ;
 2743   qsize_t *(*get_reserved_space)(struct inode * ) ;
 2744};
 2745# 324 "include/linux/quota.h"
 2746struct quotactl_ops {
 2747   int (*quota_on)(struct super_block * , int , int , struct path * ) ;
 2748   int (*quota_on_meta)(struct super_block * , int , int ) ;
 2749   int (*quota_off)(struct super_block * , int ) ;
 2750   int (*quota_sync)(struct super_block * , int , int ) ;
 2751   int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
 2752   int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
 2753   int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
 2754   int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
 2755   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
 2756   int (*set_xstate)(struct super_block * , unsigned int , int ) ;
 2757};
 2758# 340 "include/linux/quota.h"
 2759struct quota_format_type {
 2760   int qf_fmt_id ;
 2761   struct quota_format_ops const *qf_ops ;
 2762   struct module *qf_owner ;
 2763   struct quota_format_type *qf_next ;
 2764};
 2765# 386 "include/linux/quota.h"
 2766struct quota_info {
 2767   unsigned int flags ;
 2768   struct mutex dqio_mutex ;
 2769   struct mutex dqonoff_mutex ;
 2770   struct rw_semaphore dqptr_sem ;
 2771   struct inode *files[2U] ;
 2772   struct mem_dqinfo info[2U] ;
 2773   struct quota_format_ops const *ops[2U] ;
 2774};
 2775# 576 "include/linux/fs.h"
 2776union __anonunion_arg_155 {
 2777   char *buf ;
 2778   void *data ;
 2779};
 2780# 576 "include/linux/fs.h"
 2781struct __anonstruct_read_descriptor_t_154 {
 2782   size_t written ;
 2783   size_t count ;
 2784   union __anonunion_arg_155 arg ;
 2785   int error ;
 2786};
 2787# 576 "include/linux/fs.h"
 2788typedef struct __anonstruct_read_descriptor_t_154 read_descriptor_t;
 2789# 579 "include/linux/fs.h"
 2790struct address_space_operations {
 2791   int (*writepage)(struct page * , struct writeback_control * ) ;
 2792   int (*readpage)(struct file * , struct page * ) ;
 2793   int (*writepages)(struct address_space * , struct writeback_control * ) ;
 2794   int (*set_page_dirty)(struct page * ) ;
 2795   int (*readpages)(struct file * , struct address_space * , struct list_head * ,
 2796                    unsigned int ) ;
 2797   int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
 2798                      unsigned int , struct page ** , void ** ) ;
 2799   int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
 2800                    unsigned int , struct page * , void * ) ;
 2801   sector_t (*bmap)(struct address_space * , sector_t ) ;
 2802   void (*invalidatepage)(struct page * , unsigned long ) ;
 2803   int (*releasepage)(struct page * , gfp_t ) ;
 2804   void (*freepage)(struct page * ) ;
 2805   ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
 2806                        unsigned long ) ;
 2807   int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
 2808   int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
 2809   int (*launder_page)(struct page * ) ;
 2810   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
 2811   int (*error_remove_page)(struct address_space * , struct page * ) ;
 2812};
 2813# 630 "include/linux/fs.h"
 2814struct backing_dev_info;
 2815# 630 "include/linux/fs.h"
 2816struct backing_dev_info;
 2817# 630 "include/linux/fs.h"
 2818struct backing_dev_info;
 2819# 631 "include/linux/fs.h"
 2820struct address_space {
 2821   struct inode *host ;
 2822   struct radix_tree_root page_tree ;
 2823   spinlock_t tree_lock ;
 2824   unsigned int i_mmap_writable ;
 2825   struct prio_tree_root i_mmap ;
 2826   struct list_head i_mmap_nonlinear ;
 2827   struct mutex i_mmap_mutex ;
 2828   unsigned long nrpages ;
 2829   unsigned long writeback_index ;
 2830   struct address_space_operations const *a_ops ;
 2831   unsigned long flags ;
 2832   struct backing_dev_info *backing_dev_info ;
 2833   spinlock_t private_lock ;
 2834   struct list_head private_list ;
 2835   struct address_space *assoc_mapping ;
 2836};
 2837# 652 "include/linux/fs.h"
 2838struct hd_struct;
 2839# 652 "include/linux/fs.h"
 2840struct hd_struct;
 2841# 652 "include/linux/fs.h"
 2842struct gendisk;
 2843# 652 "include/linux/fs.h"
 2844struct gendisk;
 2845# 652 "include/linux/fs.h"
 2846struct block_device {
 2847   dev_t bd_dev ;
 2848   int bd_openers ;
 2849   struct inode *bd_inode ;
 2850   struct super_block *bd_super ;
 2851   struct mutex bd_mutex ;
 2852   struct list_head bd_inodes ;
 2853   void *bd_claiming ;
 2854   void *bd_holder ;
 2855   int bd_holders ;
 2856   bool bd_write_holder ;
 2857   struct list_head bd_holder_disks ;
 2858   struct block_device *bd_contains ;
 2859   unsigned int bd_block_size ;
 2860   struct hd_struct *bd_part ;
 2861   unsigned int bd_part_count ;
 2862   int bd_invalidated ;
 2863   struct gendisk *bd_disk ;
 2864   struct list_head bd_list ;
 2865   unsigned long bd_private ;
 2866   int bd_fsfreeze_count ;
 2867   struct mutex bd_fsfreeze_mutex ;
 2868};
 2869# 723 "include/linux/fs.h"
 2870struct posix_acl;
 2871# 723 "include/linux/fs.h"
 2872struct posix_acl;
 2873# 723 "include/linux/fs.h"
 2874struct posix_acl;
 2875# 724 "include/linux/fs.h"
 2876struct inode_operations;
 2877# 724 "include/linux/fs.h"
 2878struct inode_operations;
 2879# 724 "include/linux/fs.h"
 2880union __anonunion_ldv_22650_156 {
 2881   struct list_head i_dentry ;
 2882   struct rcu_head i_rcu ;
 2883};
 2884# 724 "include/linux/fs.h"
 2885struct file_lock;
 2886# 724 "include/linux/fs.h"
 2887struct file_lock;
 2888# 724 "include/linux/fs.h"
 2889struct cdev;
 2890# 724 "include/linux/fs.h"
 2891struct cdev;
 2892# 724 "include/linux/fs.h"
 2893union __anonunion_ldv_22676_157 {
 2894   struct pipe_inode_info *i_pipe ;
 2895   struct block_device *i_bdev ;
 2896   struct cdev *i_cdev ;
 2897};
 2898# 724 "include/linux/fs.h"
 2899struct inode {
 2900   umode_t i_mode ;
 2901   uid_t i_uid ;
 2902   gid_t i_gid ;
 2903   struct inode_operations const *i_op ;
 2904   struct super_block *i_sb ;
 2905   spinlock_t i_lock ;
 2906   unsigned int i_flags ;
 2907   unsigned long i_state ;
 2908   void *i_security ;
 2909   struct mutex i_mutex ;
 2910   unsigned long dirtied_when ;
 2911   struct hlist_node i_hash ;
 2912   struct list_head i_wb_list ;
 2913   struct list_head i_lru ;
 2914   struct list_head i_sb_list ;
 2915   union __anonunion_ldv_22650_156 ldv_22650 ;
 2916   unsigned long i_ino ;
 2917   atomic_t i_count ;
 2918   unsigned int i_nlink ;
 2919   dev_t i_rdev ;
 2920   unsigned int i_blkbits ;
 2921   u64 i_version ;
 2922   loff_t i_size ;
 2923   struct timespec i_atime ;
 2924   struct timespec i_mtime ;
 2925   struct timespec i_ctime ;
 2926   blkcnt_t i_blocks ;
 2927   unsigned short i_bytes ;
 2928   struct rw_semaphore i_alloc_sem ;
 2929   struct file_operations const *i_fop ;
 2930   struct file_lock *i_flock ;
 2931   struct address_space *i_mapping ;
 2932   struct address_space i_data ;
 2933   struct dquot *i_dquot[2U] ;
 2934   struct list_head i_devices ;
 2935   union __anonunion_ldv_22676_157 ldv_22676 ;
 2936   __u32 i_generation ;
 2937   __u32 i_fsnotify_mask ;
 2938   struct hlist_head i_fsnotify_marks ;
 2939   atomic_t i_readcount ;
 2940   atomic_t i_writecount ;
 2941   struct posix_acl *i_acl ;
 2942   struct posix_acl *i_default_acl ;
 2943   void *i_private ;
 2944};
 2945# 902 "include/linux/fs.h"
 2946struct fown_struct {
 2947   rwlock_t lock ;
 2948   struct pid *pid ;
 2949   enum pid_type pid_type ;
 2950   uid_t uid ;
 2951   uid_t euid ;
 2952   int signum ;
 2953};
 2954# 910 "include/linux/fs.h"
 2955struct file_ra_state {
 2956   unsigned long start ;
 2957   unsigned int size ;
 2958   unsigned int async_size ;
 2959   unsigned int ra_pages ;
 2960   unsigned int mmap_miss ;
 2961   loff_t prev_pos ;
 2962};
 2963# 933 "include/linux/fs.h"
 2964union __anonunion_f_u_158 {
 2965   struct list_head fu_list ;
 2966   struct rcu_head fu_rcuhead ;
 2967};
 2968# 933 "include/linux/fs.h"
 2969struct file {
 2970   union __anonunion_f_u_158 f_u ;
 2971   struct path f_path ;
 2972   struct file_operations const *f_op ;
 2973   spinlock_t f_lock ;
 2974   int f_sb_list_cpu ;
 2975   atomic_long_t f_count ;
 2976   unsigned int f_flags ;
 2977   fmode_t f_mode ;
 2978   loff_t f_pos ;
 2979   struct fown_struct f_owner ;
 2980   struct cred const *f_cred ;
 2981   struct file_ra_state f_ra ;
 2982   u64 f_version ;
 2983   void *f_security ;
 2984   void *private_data ;
 2985   struct list_head f_ep_links ;
 2986   struct address_space *f_mapping ;
 2987   unsigned long f_mnt_write_state ;
 2988};
 2989# 1064 "include/linux/fs.h"
 2990struct files_struct;
 2991# 1064 "include/linux/fs.h"
 2992struct files_struct;
 2993# 1064 "include/linux/fs.h"
 2994typedef struct files_struct *fl_owner_t;
 2995# 1065 "include/linux/fs.h"
 2996struct file_lock_operations {
 2997   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
 2998   void (*fl_release_private)(struct file_lock * ) ;
 2999};
 3000# 1070 "include/linux/fs.h"
 3001struct lock_manager_operations {
 3002   int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
 3003   void (*fl_notify)(struct file_lock * ) ;
 3004   int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
 3005   void (*fl_release_private)(struct file_lock * ) ;
 3006   void (*fl_break)(struct file_lock * ) ;
 3007   int (*fl_change)(struct file_lock ** , int ) ;
 3008};
 3009# 163 "include/linux/nfs.h"
 3010struct nlm_lockowner;
 3011# 163 "include/linux/nfs.h"
 3012struct nlm_lockowner;
 3013# 163 "include/linux/nfs.h"
 3014struct nlm_lockowner;
 3015# 164 "include/linux/nfs.h"
 3016struct nfs_lock_info {
 3017   u32 state ;
 3018   struct nlm_lockowner *owner ;
 3019   struct list_head list ;
 3020};
 3021# 18 "include/linux/nfs_fs_i.h"
 3022struct nfs4_lock_state;
 3023# 18 "include/linux/nfs_fs_i.h"
 3024struct nfs4_lock_state;
 3025# 18 "include/linux/nfs_fs_i.h"
 3026struct nfs4_lock_state;
 3027# 19 "include/linux/nfs_fs_i.h"
 3028struct nfs4_lock_info {
 3029   struct nfs4_lock_state *owner ;
 3030};
 3031# 23 "include/linux/nfs_fs_i.h"
 3032struct __anonstruct_afs_160 {
 3033   struct list_head link ;
 3034   int state ;
 3035};
 3036# 23 "include/linux/nfs_fs_i.h"
 3037union __anonunion_fl_u_159 {
 3038   struct nfs_lock_info nfs_fl ;
 3039   struct nfs4_lock_info nfs4_fl ;
 3040   struct __anonstruct_afs_160 afs ;
 3041};
 3042# 23 "include/linux/nfs_fs_i.h"
 3043struct file_lock {
 3044   struct file_lock *fl_next ;
 3045   struct list_head fl_link ;
 3046   struct list_head fl_block ;
 3047   fl_owner_t fl_owner ;
 3048   unsigned char fl_flags ;
 3049   unsigned char fl_type ;
 3050   unsigned int fl_pid ;
 3051   struct pid *fl_nspid ;
 3052   wait_queue_head_t fl_wait ;
 3053   struct file *fl_file ;
 3054   loff_t fl_start ;
 3055   loff_t fl_end ;
 3056   struct fasync_struct *fl_fasync ;
 3057   unsigned long fl_break_time ;
 3058   struct file_lock_operations const *fl_ops ;
 3059   struct lock_manager_operations const *fl_lmops ;
 3060   union __anonunion_fl_u_159 fl_u ;
 3061};
 3062# 1171 "include/linux/fs.h"
 3063struct fasync_struct {
 3064   spinlock_t fa_lock ;
 3065   int magic ;
 3066   int fa_fd ;
 3067   struct fasync_struct *fa_next ;
 3068   struct file *fa_file ;
 3069   struct rcu_head fa_rcu ;
 3070};
 3071# 1363 "include/linux/fs.h"
 3072struct file_system_type;
 3073# 1363 "include/linux/fs.h"
 3074struct file_system_type;
 3075# 1363 "include/linux/fs.h"
 3076struct super_operations;
 3077# 1363 "include/linux/fs.h"
 3078struct super_operations;
 3079# 1363 "include/linux/fs.h"
 3080struct xattr_handler;
 3081# 1363 "include/linux/fs.h"
 3082struct xattr_handler;
 3083# 1363 "include/linux/fs.h"
 3084struct mtd_info;
 3085# 1363 "include/linux/fs.h"
 3086struct mtd_info;
 3087# 1363 "include/linux/fs.h"
 3088struct super_block {
 3089   struct list_head s_list ;
 3090   dev_t s_dev ;
 3091   unsigned char s_dirt ;
 3092   unsigned char s_blocksize_bits ;
 3093   unsigned long s_blocksize ;
 3094   loff_t s_maxbytes ;
 3095   struct file_system_type *s_type ;
 3096   struct super_operations const *s_op ;
 3097   struct dquot_operations const *dq_op ;
 3098   struct quotactl_ops const *s_qcop ;
 3099   struct export_operations const *s_export_op ;
 3100   unsigned long s_flags ;
 3101   unsigned long s_magic ;
 3102   struct dentry *s_root ;
 3103   struct rw_semaphore s_umount ;
 3104   struct mutex s_lock ;
 3105   int s_count ;
 3106   atomic_t s_active ;
 3107   void *s_security ;
 3108   struct xattr_handler const **s_xattr ;
 3109   struct list_head s_inodes ;
 3110   struct hlist_bl_head s_anon ;
 3111   struct list_head *s_files ;
 3112   struct list_head s_dentry_lru ;
 3113   int s_nr_dentry_unused ;
 3114   struct block_device *s_bdev ;
 3115   struct backing_dev_info *s_bdi ;
 3116   struct mtd_info *s_mtd ;
 3117   struct list_head s_instances ;
 3118   struct quota_info s_dquot ;
 3119   int s_frozen ;
 3120   wait_queue_head_t s_wait_unfrozen ;
 3121   char s_id[32U] ;
 3122   u8 s_uuid[16U] ;
 3123   void *s_fs_info ;
 3124   fmode_t s_mode ;
 3125   u32 s_time_gran ;
 3126   struct mutex s_vfs_rename_mutex ;
 3127   char *s_subtype ;
 3128   char *s_options ;
 3129   struct dentry_operations const *s_d_op ;
 3130   int cleancache_poolid ;
 3131};
 3132# 1495 "include/linux/fs.h"
 3133struct fiemap_extent_info {
 3134   unsigned int fi_flags ;
 3135   unsigned int fi_extents_mapped ;
 3136   unsigned int fi_extents_max ;
 3137   struct fiemap_extent *fi_extents_start ;
 3138};
 3139# 1534 "include/linux/fs.h"
 3140struct file_operations {
 3141   struct module *owner ;
 3142   loff_t (*llseek)(struct file * , loff_t , int ) ;
 3143   ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
 3144   ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
 3145   ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
 3146                       loff_t ) ;
 3147   ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
 3148                        loff_t ) ;
 3149   int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
 3150                                                   loff_t , u64 , unsigned int ) ) ;
 3151   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
 3152   long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
 3153   long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
 3154   int (*mmap)(struct file * , struct vm_area_struct * ) ;
 3155   int (*open)(struct inode * , struct file * ) ;
 3156   int (*flush)(struct file * , fl_owner_t ) ;
 3157   int (*release)(struct inode * , struct file * ) ;
 3158   int (*fsync)(struct file * , int ) ;
 3159   int (*aio_fsync)(struct kiocb * , int ) ;
 3160   int (*fasync)(int , struct file * , int ) ;
 3161   int (*lock)(struct file * , int , struct file_lock * ) ;
 3162   ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
 3163                       int ) ;
 3164   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
 3165                                      unsigned long , unsigned long ) ;
 3166   int (*check_flags)(int ) ;
 3167   int (*flock)(struct file * , int , struct file_lock * ) ;
 3168   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
 3169                           unsigned int ) ;
 3170   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
 3171                          unsigned int ) ;
 3172   int (*setlease)(struct file * , long , struct file_lock ** ) ;
 3173   long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
 3174};
 3175# 1574 "include/linux/fs.h"
 3176struct inode_operations {
 3177   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
 3178   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
 3179   int (*permission)(struct inode * , int , unsigned int ) ;
 3180   int (*check_acl)(struct inode * , int , unsigned int ) ;
 3181   int (*readlink)(struct dentry * , char * , int ) ;
 3182   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
 3183   int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
 3184   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
 3185   int (*unlink)(struct inode * , struct dentry * ) ;
 3186   int (*symlink)(struct inode * , struct dentry * , char const * ) ;
 3187   int (*mkdir)(struct inode * , struct dentry * , int ) ;
 3188   int (*rmdir)(struct inode * , struct dentry * ) ;
 3189   int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
 3190   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
 3191   void (*truncate)(struct inode * ) ;
 3192   int (*setattr)(struct dentry * , struct iattr * ) ;
 3193   int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
 3194   int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
 3195   ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
 3196   ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
 3197   int (*removexattr)(struct dentry * , char const * ) ;
 3198   void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
 3199   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
 3200};
 3201# 1620 "include/linux/fs.h"
 3202struct super_operations {
 3203   struct inode *(*alloc_inode)(struct super_block * ) ;
 3204   void (*destroy_inode)(struct inode * ) ;
 3205   void (*dirty_inode)(struct inode * , int ) ;
 3206   int (*write_inode)(struct inode * , struct writeback_control * ) ;
 3207   int (*drop_inode)(struct inode * ) ;
 3208   void (*evict_inode)(struct inode * ) ;
 3209   void (*put_super)(struct super_block * ) ;
 3210   void (*write_super)(struct super_block * ) ;
 3211   int (*sync_fs)(struct super_block * , int ) ;
 3212   int (*freeze_fs)(struct super_block * ) ;
 3213   int (*unfreeze_fs)(struct super_block * ) ;
 3214   int (*statfs)(struct dentry * , struct kstatfs * ) ;
 3215   int (*remount_fs)(struct super_block * , int * , char * ) ;
 3216   void (*umount_begin)(struct super_block * ) ;
 3217   int (*show_options)(struct seq_file * , struct vfsmount * ) ;
 3218   int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
 3219   int (*show_path)(struct seq_file * , struct vfsmount * ) ;
 3220   int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
 3221   ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
 3222   ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
 3223                          loff_t ) ;
 3224   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
 3225};
 3226# 1801 "include/linux/fs.h"
 3227struct file_system_type {
 3228   char const *name ;
 3229   int fs_flags ;
 3230   struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
 3231   void (*kill_sb)(struct super_block * ) ;
 3232   struct module *owner ;
 3233   struct file_system_type *next ;
 3234   struct list_head fs_supers ;
 3235   struct lock_class_key s_lock_key ;
 3236   struct lock_class_key s_umount_key ;
 3237   struct lock_class_key s_vfs_rename_key ;
 3238   struct lock_class_key i_lock_key ;
 3239   struct lock_class_key i_mutex_key ;
 3240   struct lock_class_key i_mutex_dir_key ;
 3241   struct lock_class_key i_alloc_sem_key ;
 3242};
 3243# 44 "include/linux/aio_abi.h"
 3244struct io_event {
 3245   __u64 data ;
 3246   __u64 obj ;
 3247   __s64 res ;
 3248   __s64 res2 ;
 3249};
 3250# 7 "include/asm-generic/cputime.h"
 3251typedef unsigned long cputime_t;
 3252# 26 "include/asm-generic/cputime.h"
 3253struct siginfo;
 3254# 26 "include/asm-generic/cputime.h"
 3255struct siginfo;
 3256# 26 "include/asm-generic/cputime.h"
 3257struct siginfo;
 3258# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3259struct __anonstruct_sigset_t_161 {
 3260   unsigned long sig[1U] ;
 3261};
 3262# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3263typedef struct __anonstruct_sigset_t_161 sigset_t;
 3264# 17 "include/asm-generic/signal-defs.h"
 3265typedef void __signalfn_t(int );
 3266# 18 "include/asm-generic/signal-defs.h"
 3267typedef __signalfn_t *__sighandler_t;
 3268# 20 "include/asm-generic/signal-defs.h"
 3269typedef void __restorefn_t(void);
 3270# 21 "include/asm-generic/signal-defs.h"
 3271typedef __restorefn_t *__sigrestore_t;
 3272# 126 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3273struct sigaction {
 3274   __sighandler_t sa_handler ;
 3275   unsigned long sa_flags ;
 3276   __sigrestore_t sa_restorer ;
 3277   sigset_t sa_mask ;
 3278};
 3279# 173 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3280struct k_sigaction {
 3281   struct sigaction sa ;
 3282};
 3283# 185 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3284union sigval {
 3285   int sival_int ;
 3286   void *sival_ptr ;
 3287};
 3288# 10 "include/asm-generic/siginfo.h"
 3289typedef union sigval sigval_t;
 3290# 11 "include/asm-generic/siginfo.h"
 3291struct __anonstruct__kill_163 {
 3292   __kernel_pid_t _pid ;
 3293   __kernel_uid32_t _uid ;
 3294};
 3295# 11 "include/asm-generic/siginfo.h"
 3296struct __anonstruct__timer_164 {
 3297   __kernel_timer_t _tid ;
 3298   int _overrun ;
 3299   char _pad[0U] ;
 3300   sigval_t _sigval ;
 3301   int _sys_private ;
 3302};
 3303# 11 "include/asm-generic/siginfo.h"
 3304struct __anonstruct__rt_165 {
 3305   __kernel_pid_t _pid ;
 3306   __kernel_uid32_t _uid ;
 3307   sigval_t _sigval ;
 3308};
 3309# 11 "include/asm-generic/siginfo.h"
 3310struct __anonstruct__sigchld_166 {
 3311   __kernel_pid_t _pid ;
 3312   __kernel_uid32_t _uid ;
 3313   int _status ;
 3314   __kernel_clock_t _utime ;
 3315   __kernel_clock_t _stime ;
 3316};
 3317# 11 "include/asm-generic/siginfo.h"
 3318struct __anonstruct__sigfault_167 {
 3319   void *_addr ;
 3320   short _addr_lsb ;
 3321};
 3322# 11 "include/asm-generic/siginfo.h"
 3323struct __anonstruct__sigpoll_168 {
 3324   long _band ;
 3325   int _fd ;
 3326};
 3327# 11 "include/asm-generic/siginfo.h"
 3328union __anonunion__sifields_162 {
 3329   int _pad[28U] ;
 3330   struct __anonstruct__kill_163 _kill ;
 3331   struct __anonstruct__timer_164 _timer ;
 3332   struct __anonstruct__rt_165 _rt ;
 3333   struct __anonstruct__sigchld_166 _sigchld ;
 3334   struct __anonstruct__sigfault_167 _sigfault ;
 3335   struct __anonstruct__sigpoll_168 _sigpoll ;
 3336};
 3337# 11 "include/asm-generic/siginfo.h"
 3338struct siginfo {
 3339   int si_signo ;
 3340   int si_errno ;
 3341   int si_code ;
 3342   union __anonunion__sifields_162 _sifields ;
 3343};
 3344# 94 "include/asm-generic/siginfo.h"
 3345typedef struct siginfo siginfo_t;
 3346# 24 "include/linux/signal.h"
 3347struct sigpending {
 3348   struct list_head list ;
 3349   sigset_t signal ;
 3350};
 3351# 90 "include/linux/proportions.h"
 3352struct prop_local_single {
 3353   unsigned long events ;
 3354   unsigned long period ;
 3355   int shift ;
 3356   spinlock_t lock ;
 3357};
 3358# 10 "include/linux/seccomp.h"
 3359struct __anonstruct_seccomp_t_171 {
 3360   int mode ;
 3361};
 3362# 10 "include/linux/seccomp.h"
 3363typedef struct __anonstruct_seccomp_t_171 seccomp_t;
 3364# 38 "include/linux/rtmutex.h"
 3365struct rt_mutex_waiter;
 3366# 38 "include/linux/rtmutex.h"
 3367struct rt_mutex_waiter;
 3368# 38 "include/linux/rtmutex.h"
 3369struct rt_mutex_waiter;
 3370# 41 "include/linux/resource.h"
 3371struct rlimit {
 3372   unsigned long rlim_cur ;
 3373   unsigned long rlim_max ;
 3374};
 3375# 85 "include/linux/resource.h"
 3376struct task_io_accounting {
 3377   u64 rchar ;
 3378   u64 wchar ;
 3379   u64 syscr ;
 3380   u64 syscw ;
 3381   u64 read_bytes ;
 3382   u64 write_bytes ;
 3383   u64 cancelled_write_bytes ;
 3384};
 3385# 45 "include/linux/task_io_accounting.h"
 3386struct latency_record {
 3387   unsigned long backtrace[12U] ;
 3388   unsigned int count ;
 3389   unsigned long time ;
 3390   unsigned long max ;
 3391};
 3392# 29 "include/linux/key.h"
 3393typedef int32_t key_serial_t;
 3394# 32 "include/linux/key.h"
 3395typedef uint32_t key_perm_t;
 3396# 33 "include/linux/key.h"
 3397struct key;
 3398# 33 "include/linux/key.h"
 3399struct key;
 3400# 33 "include/linux/key.h"
 3401struct key;
 3402# 34 "include/linux/key.h"
 3403struct signal_struct;
 3404# 34 "include/linux/key.h"
 3405struct signal_struct;
 3406# 34 "include/linux/key.h"
 3407struct signal_struct;
 3408# 35 "include/linux/key.h"
 3409struct key_type;
 3410# 35 "include/linux/key.h"
 3411struct key_type;
 3412# 35 "include/linux/key.h"
 3413struct key_type;
 3414# 37 "include/linux/key.h"
 3415struct keyring_list;
 3416# 37 "include/linux/key.h"
 3417struct keyring_list;
 3418# 37 "include/linux/key.h"
 3419struct keyring_list;
 3420# 115 "include/linux/key.h"
 3421struct key_user;
 3422# 115 "include/linux/key.h"
 3423struct key_user;
 3424# 115 "include/linux/key.h"
 3425union __anonunion_ldv_25230_172 {
 3426   time_t expiry ;
 3427   time_t revoked_at ;
 3428};
 3429# 115 "include/linux/key.h"
 3430union __anonunion_type_data_173 {
 3431   struct list_head link ;
 3432   unsigned long x[2U] ;
 3433   void *p[2U] ;
 3434   int reject_error ;
 3435};
 3436# 115 "include/linux/key.h"
 3437union __anonunion_payload_174 {
 3438   unsigned long value ;
 3439   void *rcudata ;
 3440   void *data ;
 3441   struct keyring_list *subscriptions ;
 3442};
 3443# 115 "include/linux/key.h"
 3444struct key {
 3445   atomic_t usage ;
 3446   key_serial_t serial ;
 3447   struct rb_node serial_node ;
 3448   struct key_type *type ;
 3449   struct rw_semaphore sem ;
 3450   struct key_user *user ;
 3451   void *security ;
 3452   union __anonunion_ldv_25230_172 ldv_25230 ;
 3453   uid_t uid ;
 3454   gid_t gid ;
 3455   key_perm_t perm ;
 3456   unsigned short quotalen ;
 3457   unsigned short datalen ;
 3458   unsigned long flags ;
 3459   char *description ;
 3460   union __anonunion_type_data_173 type_data ;
 3461   union __anonunion_payload_174 payload ;
 3462};
 3463# 310 "include/linux/key.h"
 3464struct audit_context;
 3465# 310 "include/linux/key.h"
 3466struct audit_context;
 3467# 310 "include/linux/key.h"
 3468struct audit_context;
 3469# 27 "include/linux/selinux.h"
 3470struct group_info {
 3471   atomic_t usage ;
 3472   int ngroups ;
 3473   int nblocks ;
 3474   gid_t small_block[32U] ;
 3475   gid_t *blocks[0U] ;
 3476};
 3477# 77 "include/linux/cred.h"
 3478struct thread_group_cred {
 3479   atomic_t usage ;
 3480   pid_t tgid ;
 3481   spinlock_t lock ;
 3482   struct key *session_keyring ;
 3483   struct key *process_keyring ;
 3484   struct rcu_head rcu ;
 3485};
 3486# 91 "include/linux/cred.h"
 3487struct cred {
 3488   atomic_t usage ;
 3489   atomic_t subscribers ;
 3490   void *put_addr ;
 3491   unsigned int magic ;
 3492   uid_t uid ;
 3493   gid_t gid ;
 3494   uid_t suid ;
 3495   gid_t sgid ;
 3496   uid_t euid ;
 3497   gid_t egid ;
 3498   uid_t fsuid ;
 3499   gid_t fsgid ;
 3500   unsigned int securebits ;
 3501   kernel_cap_t cap_inheritable ;
 3502   kernel_cap_t cap_permitted ;
 3503   kernel_cap_t cap_effective ;
 3504   kernel_cap_t cap_bset ;
 3505   unsigned char jit_keyring ;
 3506   struct key *thread_keyring ;
 3507   struct key *request_key_auth ;
 3508   struct thread_group_cred *tgcred ;
 3509   void *security ;
 3510   struct user_struct *user ;
 3511   struct user_namespace *user_ns ;
 3512   struct group_info *group_info ;
 3513   struct rcu_head rcu ;
 3514};
 3515# 264 "include/linux/cred.h"
 3516struct futex_pi_state;
 3517# 264 "include/linux/cred.h"
 3518struct futex_pi_state;
 3519# 264 "include/linux/cred.h"
 3520struct futex_pi_state;
 3521# 265 "include/linux/cred.h"
 3522struct robust_list_head;
 3523# 265 "include/linux/cred.h"
 3524struct robust_list_head;
 3525# 265 "include/linux/cred.h"
 3526struct robust_list_head;
 3527# 266 "include/linux/cred.h"
 3528struct bio_list;
 3529# 266 "include/linux/cred.h"
 3530struct bio_list;
 3531# 266 "include/linux/cred.h"
 3532struct bio_list;
 3533# 267 "include/linux/cred.h"
 3534struct fs_struct;
 3535# 267 "include/linux/cred.h"
 3536struct fs_struct;
 3537# 267 "include/linux/cred.h"
 3538struct fs_struct;
 3539# 268 "include/linux/cred.h"
 3540struct perf_event_context;
 3541# 268 "include/linux/cred.h"
 3542struct perf_event_context;
 3543# 268 "include/linux/cred.h"
 3544struct perf_event_context;
 3545# 269 "include/linux/cred.h"
 3546struct blk_plug;
 3547# 269 "include/linux/cred.h"
 3548struct blk_plug;
 3549# 269 "include/linux/cred.h"
 3550struct blk_plug;
 3551# 149 "include/linux/sched.h"
 3552struct cfs_rq;
 3553# 149 "include/linux/sched.h"
 3554struct cfs_rq;
 3555# 149 "include/linux/sched.h"
 3556struct cfs_rq;
 3557# 383 "include/linux/sched.h"
 3558struct kioctx;
 3559# 383 "include/linux/sched.h"
 3560struct kioctx;
 3561# 383 "include/linux/sched.h"
 3562struct kioctx;
 3563# 384 "include/linux/sched.h"
 3564union __anonunion_ki_obj_175 {
 3565   void *user ;
 3566   struct task_struct *tsk ;
 3567};
 3568# 384 "include/linux/sched.h"
 3569struct eventfd_ctx;
 3570# 384 "include/linux/sched.h"
 3571struct eventfd_ctx;
 3572# 384 "include/linux/sched.h"
 3573struct kiocb {
 3574   struct list_head ki_run_list ;
 3575   unsigned long ki_flags ;
 3576   int ki_users ;
 3577   unsigned int ki_key ;
 3578   struct file *ki_filp ;
 3579   struct kioctx *ki_ctx ;
 3580   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
 3581   ssize_t (*ki_retry)(struct kiocb * ) ;
 3582   void (*ki_dtor)(struct kiocb * ) ;
 3583   union __anonunion_ki_obj_175 ki_obj ;
 3584   __u64 ki_user_data ;
 3585   loff_t ki_pos ;
 3586   void *private ;
 3587   unsigned short ki_opcode ;
 3588   size_t ki_nbytes ;
 3589   char *ki_buf ;
 3590   size_t ki_left ;
 3591   struct iovec ki_inline_vec ;
 3592   struct iovec *ki_iovec ;
 3593   unsigned long ki_nr_segs ;
 3594   unsigned long ki_cur_seg ;
 3595   struct list_head ki_list ;
 3596   struct eventfd_ctx *ki_eventfd ;
 3597};
 3598# 161 "include/linux/aio.h"
 3599struct aio_ring_info {
 3600   unsigned long mmap_base ;
 3601   unsigned long mmap_size ;
 3602   struct page **ring_pages ;
 3603   spinlock_t ring_lock ;
 3604   long nr_pages ;
 3605   unsigned int nr ;
 3606   unsigned int tail ;
 3607   struct page *internal_pages[8U] ;
 3608};
 3609# 177 "include/linux/aio.h"
 3610struct kioctx {
 3611   atomic_t users ;
 3612   int dead ;
 3613   struct mm_struct *mm ;
 3614   unsigned long user_id ;
 3615   struct hlist_node list ;
 3616   wait_queue_head_t wait ;
 3617   spinlock_t ctx_lock ;
 3618   int reqs_active ;
 3619   struct list_head active_reqs ;
 3620   struct list_head run_list ;
 3621   unsigned int max_reqs ;
 3622   struct aio_ring_info ring_info ;
 3623   struct delayed_work wq ;
 3624   struct rcu_head rcu_head ;
 3625};
 3626# 404 "include/linux/sched.h"
 3627struct sighand_struct {
 3628   atomic_t count ;
 3629   struct k_sigaction action[64U] ;
 3630   spinlock_t siglock ;
 3631   wait_queue_head_t signalfd_wqh ;
 3632};
 3633# 447 "include/linux/sched.h"
 3634struct pacct_struct {
 3635   int ac_flag ;
 3636   long ac_exitcode ;
 3637   unsigned long ac_mem ;
 3638   cputime_t ac_utime ;
 3639   cputime_t ac_stime ;
 3640   unsigned long ac_minflt ;
 3641   unsigned long ac_majflt ;
 3642};
 3643# 455 "include/linux/sched.h"
 3644struct cpu_itimer {
 3645   cputime_t expires ;
 3646   cputime_t incr ;
 3647   u32 error ;
 3648   u32 incr_error ;
 3649};
 3650# 462 "include/linux/sched.h"
 3651struct task_cputime {
 3652   cputime_t utime ;
 3653   cputime_t stime ;
 3654   unsigned long long sum_exec_runtime ;
 3655};
 3656# 479 "include/linux/sched.h"
 3657struct thread_group_cputimer {
 3658   struct task_cputime cputime ;
 3659   int running ;
 3660   spinlock_t lock ;
 3661};
 3662# 515 "include/linux/sched.h"
 3663struct autogroup;
 3664# 515 "include/linux/sched.h"
 3665struct autogroup;
 3666# 515 "include/linux/sched.h"
 3667struct autogroup;
 3668# 516 "include/linux/sched.h"
 3669struct tty_struct;
 3670# 516 "include/linux/sched.h"
 3671struct tty_struct;
 3672# 516 "include/linux/sched.h"
 3673struct taskstats;
 3674# 516 "include/linux/sched.h"
 3675struct taskstats;
 3676# 516 "include/linux/sched.h"
 3677struct tty_audit_buf;
 3678# 516 "include/linux/sched.h"
 3679struct tty_audit_buf;
 3680# 516 "include/linux/sched.h"
 3681struct signal_struct {
 3682   atomic_t sigcnt ;
 3683   atomic_t live ;
 3684   int nr_threads ;
 3685   wait_queue_head_t wait_chldexit ;
 3686   struct task_struct *curr_target ;
 3687   struct sigpending shared_pending ;
 3688   int group_exit_code ;
 3689   int notify_count ;
 3690   struct task_struct *group_exit_task ;
 3691   int group_stop_count ;
 3692   unsigned int flags ;
 3693   struct list_head posix_timers ;
 3694   struct hrtimer real_timer ;
 3695   struct pid *leader_pid ;
 3696   ktime_t it_real_incr ;
 3697   struct cpu_itimer it[2U] ;
 3698   struct thread_group_cputimer cputimer ;
 3699   struct task_cputime cputime_expires ;
 3700   struct list_head cpu_timers[3U] ;
 3701   struct pid *tty_old_pgrp ;
 3702   int leader ;
 3703   struct tty_struct *tty ;
 3704   struct autogroup *autogroup ;
 3705   cputime_t utime ;
 3706   cputime_t stime ;
 3707   cputime_t cutime ;
 3708   cputime_t cstime ;
 3709   cputime_t gtime ;
 3710   cputime_t cgtime ;
 3711   cputime_t prev_utime ;
 3712   cputime_t prev_stime ;
 3713   unsigned long nvcsw ;
 3714   unsigned long nivcsw ;
 3715   unsigned long cnvcsw ;
 3716   unsigned long cnivcsw ;
 3717   unsigned long min_flt ;
 3718   unsigned long maj_flt ;
 3719   unsigned long cmin_flt ;
 3720   unsigned long cmaj_flt ;
 3721   unsigned long inblock ;
 3722   unsigned long oublock ;
 3723   unsigned long cinblock ;
 3724   unsigned long coublock ;
 3725   unsigned long maxrss ;
 3726   unsigned long cmaxrss ;
 3727   struct task_io_accounting ioac ;
 3728   unsigned long long sum_sched_runtime ;
 3729   struct rlimit rlim[16U] ;
 3730   struct pacct_struct pacct ;
 3731   struct taskstats *stats ;
 3732   unsigned int audit_tty ;
 3733   struct tty_audit_buf *tty_audit_buf ;
 3734   struct rw_semaphore threadgroup_fork_lock ;
 3735   int oom_adj ;
 3736   int oom_score_adj ;
 3737   int oom_score_adj_min ;
 3738   struct mutex cred_guard_mutex ;
 3739};
 3740# 683 "include/linux/sched.h"
 3741struct user_struct {
 3742   atomic_t __count ;
 3743   atomic_t processes ;
 3744   atomic_t files ;
 3745   atomic_t sigpending ;
 3746   atomic_t inotify_watches ;
 3747   atomic_t inotify_devs ;
 3748   atomic_t fanotify_listeners ;
 3749   atomic_long_t epoll_watches ;
 3750   unsigned long mq_bytes ;
 3751   unsigned long locked_shm ;
 3752   struct key *uid_keyring ;
 3753   struct key *session_keyring ;
 3754   struct hlist_node uidhash_node ;
 3755   uid_t uid ;
 3756   struct user_namespace *user_ns ;
 3757   atomic_long_t locked_vm ;
 3758};
 3759# 728 "include/linux/sched.h"
 3760struct reclaim_state;
 3761# 728 "include/linux/sched.h"
 3762struct reclaim_state;
 3763# 728 "include/linux/sched.h"
 3764struct reclaim_state;
 3765# 729 "include/linux/sched.h"
 3766struct sched_info {
 3767   unsigned long pcount ;
 3768   unsigned long long run_delay ;
 3769   unsigned long long last_arrival ;
 3770   unsigned long long last_queued ;
 3771};
 3772# 744 "include/linux/sched.h"
 3773struct task_delay_info {
 3774   spinlock_t lock ;
 3775   unsigned int flags ;
 3776   struct timespec blkio_start ;
 3777   struct timespec blkio_end ;
 3778   u64 blkio_delay ;
 3779   u64 swapin_delay ;
 3780   u32 blkio_count ;
 3781   u32 swapin_count ;
 3782   struct timespec freepages_start ;
 3783   struct timespec freepages_end ;
 3784   u64 freepages_delay ;
 3785   u32 freepages_count ;
 3786};
 3787# 1037 "include/linux/sched.h"
 3788struct io_context;
 3789# 1037 "include/linux/sched.h"
 3790struct io_context;
 3791# 1037 "include/linux/sched.h"
 3792struct io_context;
 3793# 1059 "include/linux/sched.h"
 3794struct uts_namespace;
 3795# 1059 "include/linux/sched.h"
 3796struct uts_namespace;
 3797# 1059 "include/linux/sched.h"
 3798struct uts_namespace;
 3799# 1060 "include/linux/sched.h"
 3800struct rq;
 3801# 1060 "include/linux/sched.h"
 3802struct rq;
 3803# 1060 "include/linux/sched.h"
 3804struct rq;
 3805# 1061 "include/linux/sched.h"
 3806struct sched_class {
 3807   struct sched_class const *next ;
 3808   void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
 3809   void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
 3810   void (*yield_task)(struct rq * ) ;
 3811   bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
 3812   void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
 3813   struct task_struct *(*pick_next_task)(struct rq * ) ;
 3814   void (*put_prev_task)(struct rq * , struct task_struct * ) ;
 3815   int (*select_task_rq)(struct task_struct * , int , int ) ;
 3816   void (*pre_schedule)(struct rq * , struct task_struct * ) ;
 3817   void (*post_schedule)(struct rq * ) ;
 3818   void (*task_waking)(struct task_struct * ) ;
 3819   void (*task_woken)(struct rq * , struct task_struct * ) ;
 3820   void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
 3821   void (*rq_online)(struct rq * ) ;
 3822   void (*rq_offline)(struct rq * ) ;
 3823   void (*set_curr_task)(struct rq * ) ;
 3824   void (*task_tick)(struct rq * , struct task_struct * , int ) ;
 3825   void (*task_fork)(struct task_struct * ) ;
 3826   void (*switched_from)(struct rq * , struct task_struct * ) ;
 3827   void (*switched_to)(struct rq * , struct task_struct * ) ;
 3828   void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
 3829   unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
 3830   void (*task_move_group)(struct task_struct * , int ) ;
 3831};
 3832# 1127 "include/linux/sched.h"
 3833struct load_weight {
 3834   unsigned long weight ;
 3835   unsigned long inv_weight ;
 3836};
 3837# 1132 "include/linux/sched.h"
 3838struct sched_statistics {
 3839   u64 wait_start ;
 3840   u64 wait_max ;
 3841   u64 wait_count ;
 3842   u64 wait_sum ;
 3843   u64 iowait_count ;
 3844   u64 iowait_sum ;
 3845   u64 sleep_start ;
 3846   u64 sleep_max ;
 3847   s64 sum_sleep_runtime ;
 3848   u64 block_start ;
 3849   u64 block_max ;
 3850   u64 exec_max ;
 3851   u64 slice_max ;
 3852   u64 nr_migrations_cold ;
 3853   u64 nr_failed_migrations_affine ;
 3854   u64 nr_failed_migrations_running ;
 3855   u64 nr_failed_migrations_hot ;
 3856   u64 nr_forced_migrations ;
 3857   u64 nr_wakeups ;
 3858   u64 nr_wakeups_sync ;
 3859   u64 nr_wakeups_migrate ;
 3860   u64 nr_wakeups_local ;
 3861   u64 nr_wakeups_remote ;
 3862   u64 nr_wakeups_affine ;
 3863   u64 nr_wakeups_affine_attempts ;
 3864   u64 nr_wakeups_passive ;
 3865   u64 nr_wakeups_idle ;
 3866};
 3867# 1167 "include/linux/sched.h"
 3868struct sched_entity {
 3869   struct load_weight load ;
 3870   struct rb_node run_node ;
 3871   struct list_head group_node ;
 3872   unsigned int on_rq ;
 3873   u64 exec_start ;
 3874   u64 sum_exec_runtime ;
 3875   u64 vruntime ;
 3876   u64 prev_sum_exec_runtime ;
 3877   u64 nr_migrations ;
 3878   struct sched_statistics statistics ;
 3879   struct sched_entity *parent ;
 3880   struct cfs_rq *cfs_rq ;
 3881   struct cfs_rq *my_q ;
 3882};
 3883# 1193 "include/linux/sched.h"
 3884struct rt_rq;
 3885# 1193 "include/linux/sched.h"
 3886struct rt_rq;
 3887# 1193 "include/linux/sched.h"
 3888struct sched_rt_entity {
 3889   struct list_head run_list ;
 3890   unsigned long timeout ;
 3891   unsigned int time_slice ;
 3892   int nr_cpus_allowed ;
 3893   struct sched_rt_entity *back ;
 3894   struct sched_rt_entity *parent ;
 3895   struct rt_rq *rt_rq ;
 3896   struct rt_rq *my_q ;
 3897};
 3898# 1217 "include/linux/sched.h"
 3899struct mem_cgroup;
 3900# 1217 "include/linux/sched.h"
 3901struct mem_cgroup;
 3902# 1217 "include/linux/sched.h"
 3903struct memcg_batch_info {
 3904   int do_batch ;
 3905   struct mem_cgroup *memcg ;
 3906   unsigned long nr_pages ;
 3907   unsigned long memsw_nr_pages ;
 3908};
 3909# 1569 "include/linux/sched.h"
 3910struct irqaction;
 3911# 1569 "include/linux/sched.h"
 3912struct irqaction;
 3913# 1569 "include/linux/sched.h"
 3914struct css_set;
 3915# 1569 "include/linux/sched.h"
 3916struct css_set;
 3917# 1569 "include/linux/sched.h"
 3918struct compat_robust_list_head;
 3919# 1569 "include/linux/sched.h"
 3920struct compat_robust_list_head;
 3921# 1569 "include/linux/sched.h"
 3922struct ftrace_ret_stack;
 3923# 1569 "include/linux/sched.h"
 3924struct ftrace_ret_stack;
 3925# 1569 "include/linux/sched.h"
 3926struct task_struct {
 3927   long volatile state ;
 3928   void *stack ;
 3929   atomic_t usage ;
 3930   unsigned int flags ;
 3931   unsigned int ptrace ;
 3932   struct task_struct *wake_entry ;
 3933   int on_cpu ;
 3934   int on_rq ;
 3935   int prio ;
 3936   int static_prio ;
 3937   int normal_prio ;
 3938   unsigned int rt_priority ;
 3939   struct sched_class const *sched_class ;
 3940   struct sched_entity se ;
 3941   struct sched_rt_entity rt ;
 3942   struct hlist_head preempt_notifiers ;
 3943   unsigned char fpu_counter ;
 3944   unsigned int btrace_seq ;
 3945   unsigned int policy ;
 3946   cpumask_t cpus_allowed ;
 3947   struct sched_info sched_info ;
 3948   struct list_head tasks ;
 3949   struct plist_node pushable_tasks ;
 3950   struct mm_struct *mm ;
 3951   struct mm_struct *active_mm ;
 3952   unsigned char brk_randomized : 1 ;
 3953   int exit_state ;
 3954   int exit_code ;
 3955   int exit_signal ;
 3956   int pdeath_signal ;
 3957   unsigned int group_stop ;
 3958   unsigned int personality ;
 3959   unsigned char did_exec : 1 ;
 3960   unsigned char in_execve : 1 ;
 3961   unsigned char in_iowait : 1 ;
 3962   unsigned char sched_reset_on_fork : 1 ;
 3963   unsigned char sched_contributes_to_load : 1 ;
 3964   pid_t pid ;
 3965   pid_t tgid ;
 3966   unsigned long stack_canary ;
 3967   struct task_struct *real_parent ;
 3968   struct task_struct *parent ;
 3969   struct list_head children ;
 3970   struct list_head sibling ;
 3971   struct task_struct *group_leader ;
 3972   struct list_head ptraced ;
 3973   struct list_head ptrace_entry ;
 3974   struct pid_link pids[3U] ;
 3975   struct list_head thread_group ;
 3976   struct completion *vfork_done ;
 3977   int *set_child_tid ;
 3978   int *clear_child_tid ;
 3979   cputime_t utime ;
 3980   cputime_t stime ;
 3981   cputime_t utimescaled ;
 3982   cputime_t stimescaled ;
 3983   cputime_t gtime ;
 3984   cputime_t prev_utime ;
 3985   cputime_t prev_stime ;
 3986   unsigned long nvcsw ;
 3987   unsigned long nivcsw ;
 3988   struct timespec start_time ;
 3989   struct timespec real_start_time ;
 3990   unsigned long min_flt ;
 3991   unsigned long maj_flt ;
 3992   struct task_cputime cputime_expires ;
 3993   struct list_head cpu_timers[3U] ;
 3994   struct cred const *real_cred ;
 3995   struct cred const *cred ;
 3996   struct cred *replacement_session_keyring ;
 3997   char comm[16U] ;
 3998   int link_count ;
 3999   int total_link_count ;
 4000   struct sysv_sem sysvsem ;
 4001   unsigned long last_switch_count ;
 4002   struct thread_struct thread ;
 4003   struct fs_struct *fs ;
 4004   struct files_struct *files ;
 4005   struct nsproxy *nsproxy ;
 4006   struct signal_struct *signal ;
 4007   struct sighand_struct *sighand ;
 4008   sigset_t blocked ;
 4009   sigset_t real_blocked ;
 4010   sigset_t saved_sigmask ;
 4011   struct sigpending pending ;
 4012   unsigned long sas_ss_sp ;
 4013   size_t sas_ss_size ;
 4014   int (*notifier)(void * ) ;
 4015   void *notifier_data ;
 4016   sigset_t *notifier_mask ;
 4017   struct audit_context *audit_context ;
 4018   uid_t loginuid ;
 4019   unsigned int sessionid ;
 4020   seccomp_t seccomp ;
 4021   u32 parent_exec_id ;
 4022   u32 self_exec_id ;
 4023   spinlock_t alloc_lock ;
 4024   struct irqaction *irqaction ;
 4025   raw_spinlock_t pi_lock ;
 4026   struct plist_head pi_waiters ;
 4027   struct rt_mutex_waiter *pi_blocked_on ;
 4028   struct mutex_waiter *blocked_on ;
 4029   unsigned int irq_events ;
 4030   unsigned long hardirq_enable_ip ;
 4031   unsigned long hardirq_disable_ip ;
 4032   unsigned int hardirq_enable_event ;
 4033   unsigned int hardirq_disable_event ;
 4034   int hardirqs_enabled ;
 4035   int hardirq_context ;
 4036   unsigned long softirq_disable_ip ;
 4037   unsigned long softirq_enable_ip ;
 4038   unsigned int softirq_disable_event ;
 4039   unsigned int softirq_enable_event ;
 4040   int softirqs_enabled ;
 4041   int softirq_context ;
 4042   u64 curr_chain_key ;
 4043   int lockdep_depth ;
 4044   unsigned int lockdep_recursion ;
 4045   struct held_lock held_locks[48U] ;
 4046   gfp_t lockdep_reclaim_gfp ;
 4047   void *journal_info ;
 4048   struct bio_list *bio_list ;
 4049   struct blk_plug *plug ;
 4050   struct reclaim_state *reclaim_state ;
 4051   struct backing_dev_info *backing_dev_info ;
 4052   struct io_context *io_context ;
 4053   unsigned long ptrace_message ;
 4054   siginfo_t *last_siginfo ;
 4055   struct task_io_accounting ioac ;
 4056   u64 acct_rss_mem1 ;
 4057   u64 acct_vm_mem1 ;
 4058   cputime_t acct_timexpd ;
 4059   nodemask_t mems_allowed ;
 4060   int mems_allowed_change_disable ;
 4061   int cpuset_mem_spread_rotor ;
 4062   int cpuset_slab_spread_rotor ;
 4063   struct css_set *cgroups ;
 4064   struct list_head cg_list ;
 4065   struct robust_list_head *robust_list ;
 4066   struct compat_robust_list_head *compat_robust_list ;
 4067   struct list_head pi_state_list ;
 4068   struct futex_pi_state *pi_state_cache ;
 4069   struct perf_event_context *perf_event_ctxp[2U] ;
 4070   struct mutex perf_event_mutex ;
 4071   struct list_head perf_event_list ;
 4072   struct mempolicy *mempolicy ;
 4073   short il_next ;
 4074   short pref_node_fork ;
 4075   atomic_t fs_excl ;
 4076   struct rcu_head rcu ;
 4077   struct pipe_inode_info *splice_pipe ;
 4078   struct task_delay_info *delays ;
 4079   int make_it_fail ;
 4080   struct prop_local_single dirties ;
 4081   int latency_record_count ;
 4082   struct latency_record latency_record[32U] ;
 4083   unsigned long timer_slack_ns ;
 4084   unsigned long default_timer_slack_ns ;
 4085   struct list_head *scm_work_list ;
 4086   int curr_ret_stack ;
 4087   struct ftrace_ret_stack *ret_stack ;
 4088   unsigned long long ftrace_timestamp ;
 4089   atomic_t trace_overrun ;
 4090   atomic_t tracing_graph_pause ;
 4091   unsigned long trace ;
 4092   unsigned long trace_recursion ;
 4093   struct memcg_batch_info memcg_batch ;
 4094   atomic_t ptrace_bp_refcnt ;
 4095};
 4096# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 4097typedef s32 compat_time_t;
 4098# 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 4099typedef s32 compat_long_t;
 4100# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 4101struct compat_timespec {
 4102   compat_time_t tv_sec ;
 4103   s32 tv_nsec ;
 4104};
 4105# 196 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 4106typedef u32 compat_uptr_t;
 4107# 205 "include/linux/compat.h"
 4108struct compat_robust_list {
 4109   compat_uptr_t next ;
 4110};
 4111# 209 "include/linux/compat.h"
 4112struct compat_robust_list_head {
 4113   struct compat_robust_list list ;
 4114   compat_long_t futex_offset ;
 4115   compat_uptr_t list_op_pending ;
 4116};
 4117# 563 "include/linux/compat.h"
 4118struct ethtool_cmd {
 4119   __u32 cmd ;
 4120   __u32 supported ;
 4121   __u32 advertising ;
 4122   __u16 speed ;
 4123   __u8 duplex ;
 4124   __u8 port ;
 4125   __u8 phy_address ;
 4126   __u8 transceiver ;
 4127   __u8 autoneg ;
 4128   __u8 mdio_support ;
 4129   __u32 maxtxpkt ;
 4130   __u32 maxrxpkt ;
 4131   __u16 speed_hi ;
 4132   __u8 eth_tp_mdix ;
 4133   __u8 reserved2 ;
 4134   __u32 lp_advertising ;
 4135   __u32 reserved[2U] ;
 4136};
 4137# 61 "include/linux/ethtool.h"
 4138struct ethtool_drvinfo {
 4139   __u32 cmd ;
 4140   char driver[32U] ;
 4141   char version[32U] ;
 4142   char fw_version[32U] ;
 4143   char bus_info[32U] ;
 4144   char reserved1[32U] ;
 4145   char reserved2[12U] ;
 4146   __u32 n_priv_flags ;
 4147   __u32 n_stats ;
 4148   __u32 testinfo_len ;
 4149   __u32 eedump_len ;
 4150   __u32 regdump_len ;
 4151};
 4152# 87 "include/linux/ethtool.h"
 4153struct ethtool_wolinfo {
 4154   __u32 cmd ;
 4155   __u32 supported ;
 4156   __u32 wolopts ;
 4157   __u8 sopass[6U] ;
 4158};
 4159# 102 "include/linux/ethtool.h"
 4160struct ethtool_regs {
 4161   __u32 cmd ;
 4162   __u32 version ;
 4163   __u32 len ;
 4164   __u8 data[0U] ;
 4165};
 4166# 110 "include/linux/ethtool.h"
 4167struct ethtool_eeprom {
 4168   __u32 cmd ;
 4169   __u32 magic ;
 4170   __u32 offset ;
 4171   __u32 len ;
 4172   __u8 data[0U] ;
 4173};
 4174# 119 "include/linux/ethtool.h"
 4175struct ethtool_coalesce {
 4176   __u32 cmd ;
 4177   __u32 rx_coalesce_usecs ;
 4178   __u32 rx_max_coalesced_frames ;
 4179   __u32 rx_coalesce_usecs_irq ;
 4180   __u32 rx_max_coalesced_frames_irq ;
 4181   __u32 tx_coalesce_usecs ;
 4182   __u32 tx_max_coalesced_frames ;
 4183   __u32 tx_coalesce_usecs_irq ;
 4184   __u32 tx_max_coalesced_frames_irq ;
 4185   __u32 stats_block_coalesce_usecs ;
 4186   __u32 use_adaptive_rx_coalesce ;
 4187   __u32 use_adaptive_tx_coalesce ;
 4188   __u32 pkt_rate_low ;
 4189   __u32 rx_coalesce_usecs_low ;
 4190   __u32 rx_max_coalesced_frames_low ;
 4191   __u32 tx_coalesce_usecs_low ;
 4192   __u32 tx_max_coalesced_frames_low ;
 4193   __u32 pkt_rate_high ;
 4194   __u32 rx_coalesce_usecs_high ;
 4195   __u32 rx_max_coalesced_frames_high ;
 4196   __u32 tx_coalesce_usecs_high ;
 4197   __u32 tx_max_coalesced_frames_high ;
 4198   __u32 rate_sample_interval ;
 4199};
 4200# 215 "include/linux/ethtool.h"
 4201struct ethtool_ringparam {
 4202   __u32 cmd ;
 4203   __u32 rx_max_pending ;
 4204   __u32 rx_mini_max_pending ;
 4205   __u32 rx_jumbo_max_pending ;
 4206   __u32 tx_max_pending ;
 4207   __u32 rx_pending ;
 4208   __u32 rx_mini_pending ;
 4209   __u32 rx_jumbo_pending ;
 4210   __u32 tx_pending ;
 4211};
 4212# 237 "include/linux/ethtool.h"
 4213struct ethtool_channels {
 4214   __u32 cmd ;
 4215   __u32 max_rx ;
 4216   __u32 max_tx ;
 4217   __u32 max_other ;
 4218   __u32 max_combined ;
 4219   __u32 rx_count ;
 4220   __u32 tx_count ;
 4221   __u32 other_count ;
 4222   __u32 combined_count ;
 4223};
 4224# 265 "include/linux/ethtool.h"
 4225struct ethtool_pauseparam {
 4226   __u32 cmd ;
 4227   __u32 autoneg ;
 4228   __u32 rx_pause ;
 4229   __u32 tx_pause ;
 4230};
 4231# 314 "include/linux/ethtool.h"
 4232struct ethtool_test {
 4233   __u32 cmd ;
 4234   __u32 flags ;
 4235   __u32 reserved ;
 4236   __u32 len ;
 4237   __u64 data[0U] ;
 4238};
 4239# 326 "include/linux/ethtool.h"
 4240struct ethtool_stats {
 4241   __u32 cmd ;
 4242   __u32 n_stats ;
 4243   __u64 data[0U] ;
 4244};
 4245# 347 "include/linux/ethtool.h"
 4246struct ethtool_tcpip4_spec {
 4247   __be32 ip4src ;
 4248   __be32 ip4dst ;
 4249   __be16 psrc ;
 4250   __be16 pdst ;
 4251   __u8 tos ;
 4252};
 4253# 380 "include/linux/ethtool.h"
 4254struct ethtool_ah_espip4_spec {
 4255   __be32 ip4src ;
 4256   __be32 ip4dst ;
 4257   __be32 spi ;
 4258   __u8 tos ;
 4259};
 4260# 396 "include/linux/ethtool.h"
 4261struct ethtool_usrip4_spec {
 4262   __be32 ip4src ;
 4263   __be32 ip4dst ;
 4264   __be32 l4_4_bytes ;
 4265   __u8 tos ;
 4266   __u8 ip_ver ;
 4267   __u8 proto ;
 4268};
 4269# 416 "include/linux/ethtool.h"
 4270union ethtool_flow_union {
 4271   struct ethtool_tcpip4_spec tcp_ip4_spec ;
 4272   struct ethtool_tcpip4_spec udp_ip4_spec ;
 4273   struct ethtool_tcpip4_spec sctp_ip4_spec ;
 4274   struct ethtool_ah_espip4_spec ah_ip4_spec ;
 4275   struct ethtool_ah_espip4_spec esp_ip4_spec ;
 4276   struct ethtool_usrip4_spec usr_ip4_spec ;
 4277   struct ethhdr ether_spec ;
 4278   __u8 hdata[60U] ;
 4279};
 4280# 427 "include/linux/ethtool.h"
 4281struct ethtool_flow_ext {
 4282   __be16 vlan_etype ;
 4283   __be16 vlan_tci ;
 4284   __be32 data[2U] ;
 4285};
 4286# 433 "include/linux/ethtool.h"
 4287struct ethtool_rx_flow_spec {
 4288   __u32 flow_type ;
 4289   union ethtool_flow_union h_u ;
 4290   struct ethtool_flow_ext h_ext ;
 4291   union ethtool_flow_union m_u ;
 4292   struct ethtool_flow_ext m_ext ;
 4293   __u64 ring_cookie ;
 4294   __u32 location ;
 4295};
 4296# 456 "include/linux/ethtool.h"
 4297struct ethtool_rxnfc {
 4298   __u32 cmd ;
 4299   __u32 flow_type ;
 4300   __u64 data ;
 4301   struct ethtool_rx_flow_spec fs ;
 4302   __u32 rule_cnt ;
 4303   __u32 rule_locs[0U] ;
 4304};
 4305# 526 "include/linux/ethtool.h"
 4306struct ethtool_rxfh_indir {
 4307   __u32 cmd ;
 4308   __u32 size ;
 4309   __u32 ring_index[0U] ;
 4310};
 4311# 542 "include/linux/ethtool.h"
 4312union __anonunion_h_u_182 {
 4313   struct ethtool_tcpip4_spec tcp_ip4_spec ;
 4314   struct ethtool_tcpip4_spec udp_ip4_spec ;
 4315   struct ethtool_tcpip4_spec sctp_ip4_spec ;
 4316   struct ethtool_ah_espip4_spec ah_ip4_spec ;
 4317   struct ethtool_ah_espip4_spec esp_ip4_spec ;
 4318   struct ethtool_usrip4_spec usr_ip4_spec ;
 4319   struct ethhdr ether_spec ;
 4320   __u8 hdata[72U] ;
 4321};
 4322# 542 "include/linux/ethtool.h"
 4323union __anonunion_m_u_183 {
 4324   struct ethtool_tcpip4_spec tcp_ip4_spec ;
 4325   struct ethtool_tcpip4_spec udp_ip4_spec ;
 4326   struct ethtool_tcpip4_spec sctp_ip4_spec ;
 4327   struct ethtool_ah_espip4_spec ah_ip4_spec ;
 4328   struct ethtool_ah_espip4_spec esp_ip4_spec ;
 4329   struct ethtool_usrip4_spec usr_ip4_spec ;
 4330   struct ethhdr ether_spec ;
 4331   __u8 hdata[72U] ;
 4332};
 4333# 542 "include/linux/ethtool.h"
 4334struct ethtool_rx_ntuple_flow_spec {
 4335   __u32 flow_type ;
 4336   union __anonunion_h_u_182 h_u ;
 4337   union __anonunion_m_u_183 m_u ;
 4338   __u16 vlan_tag ;
 4339   __u16 vlan_tag_mask ;
 4340   __u64 data ;
 4341   __u64 data_mask ;
 4342   __s32 action ;
 4343};
 4344# 579 "include/linux/ethtool.h"
 4345struct ethtool_rx_ntuple {
 4346   __u32 cmd ;
 4347   struct ethtool_rx_ntuple_flow_spec fs ;
 4348};
 4349# 595 "include/linux/ethtool.h"
 4350struct ethtool_flash {
 4351   __u32 cmd ;
 4352   __u32 region ;
 4353   char data[128U] ;
 4354};
 4355# 603 "include/linux/ethtool.h"
 4356struct ethtool_dump {
 4357   __u32 cmd ;
 4358   __u32 version ;
 4359   __u32 flag ;
 4360   __u32 len ;
 4361   __u8 data[0U] ;
 4362};
 4363# 721 "include/linux/ethtool.h"
 4364struct ethtool_rx_ntuple_list {
 4365   struct list_head list ;
 4366   unsigned int count ;
 4367};
 4368# 728 "include/linux/ethtool.h"
 4369enum ethtool_phys_id_state {
 4370    ETHTOOL_ID_INACTIVE = 0,
 4371    ETHTOOL_ID_ACTIVE = 1,
 4372    ETHTOOL_ID_ON = 2,
 4373    ETHTOOL_ID_OFF = 3
 4374} ;
 4375# 763 "include/linux/ethtool.h"
 4376struct ethtool_ops {
 4377   int (*get_settings)(struct net_device * , struct ethtool_cmd * ) ;
 4378   int (*set_settings)(struct net_device * , struct ethtool_cmd * ) ;
 4379   void (*get_drvinfo)(struct net_device * , struct ethtool_drvinfo * ) ;
 4380   int (*get_regs_len)(struct net_device * ) ;
 4381   void (*get_regs)(struct net_device * , struct ethtool_regs * , void * ) ;
 4382   void (*get_wol)(struct net_device * , struct ethtool_wolinfo * ) ;
 4383   int (*set_wol)(struct net_device * , struct ethtool_wolinfo * ) ;
 4384   u32 (*get_msglevel)(struct net_device * ) ;
 4385   void (*set_msglevel)(struct net_device * , u32 ) ;
 4386   int (*nway_reset)(struct net_device * ) ;
 4387   u32 (*get_link)(struct net_device * ) ;
 4388   int (*get_eeprom_len)(struct net_device * ) ;
 4389   int (*get_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ;
 4390   int (*set_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ;
 4391   int (*get_coalesce)(struct net_device * , struct ethtool_coalesce * ) ;
 4392   int (*set_coalesce)(struct net_device * , struct ethtool_coalesce * ) ;
 4393   void (*get_ringparam)(struct net_device * , struct ethtool_ringparam * ) ;
 4394   int (*set_ringparam)(struct net_device * , struct ethtool_ringparam * ) ;
 4395   void (*get_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ;
 4396   int (*set_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ;
 4397   u32 (*get_rx_csum)(struct net_device * ) ;
 4398   int (*set_rx_csum)(struct net_device * , u32 ) ;
 4399   u32 (*get_tx_csum)(struct net_device * ) ;
 4400   int (*set_tx_csum)(struct net_device * , u32 ) ;
 4401   u32 (*get_sg)(struct net_device * ) ;
 4402   int (*set_sg)(struct net_device * , u32 ) ;
 4403   u32 (*get_tso)(struct net_device * ) ;
 4404   int (*set_tso)(struct net_device * , u32 ) ;
 4405   void (*self_test)(struct net_device * , struct ethtool_test * , u64 * ) ;
 4406   void (*get_strings)(struct net_device * , u32 , u8 * ) ;
 4407   int (*set_phys_id)(struct net_device * , enum ethtool_phys_id_state ) ;
 4408   void (*get_ethtool_stats)(struct net_device * , struct ethtool_stats * , u64 * ) ;
 4409   int (*begin)(struct net_device * ) ;
 4410   void (*complete)(struct net_device * ) ;
 4411   u32 (*get_ufo)(struct net_device * ) ;
 4412   int (*set_ufo)(struct net_device * , u32 ) ;
 4413   u32 (*get_flags)(struct net_device * ) ;
 4414   int (*set_flags)(struct net_device * , u32 ) ;
 4415   u32 (*get_priv_flags)(struct net_device * ) ;
 4416   int (*set_priv_flags)(struct net_device * , u32 ) ;
 4417   int (*get_sset_count)(struct net_device * , int ) ;
 4418   int (*get_rxnfc)(struct net_device * , struct ethtool_rxnfc * , void * ) ;
 4419   int (*set_rxnfc)(struct net_device * , struct ethtool_rxnfc * ) ;
 4420   int (*flash_device)(struct net_device * , struct ethtool_flash * ) ;
 4421   int (*reset)(struct net_device * , u32 * ) ;
 4422   int (*set_rx_ntuple)(struct net_device * , struct ethtool_rx_ntuple * ) ;
 4423   int (*get_rx_ntuple)(struct net_device * , u32 , void * ) ;
 4424   int (*get_rxfh_indir)(struct net_device * , struct ethtool_rxfh_indir * ) ;
 4425   int (*set_rxfh_indir)(struct net_device * , struct ethtool_rxfh_indir const * ) ;
 4426   void (*get_channels)(struct net_device * , struct ethtool_channels * ) ;
 4427   int (*set_channels)(struct net_device * , struct ethtool_channels * ) ;
 4428   int (*get_dump_flag)(struct net_device * , struct ethtool_dump * ) ;
 4429   int (*get_dump_data)(struct net_device * , struct ethtool_dump * , void * ) ;
 4430   int (*set_dump)(struct net_device * , struct ethtool_dump * ) ;
 4431};
 4432# 972 "include/linux/ethtool.h"
 4433struct prot_inuse;
 4434# 972 "include/linux/ethtool.h"
 4435struct prot_inuse;
 4436# 972 "include/linux/ethtool.h"
 4437struct prot_inuse;
 4438# 973 "include/linux/ethtool.h"
 4439struct netns_core {
 4440   struct ctl_table_header *sysctl_hdr ;
 4441   int sysctl_somaxconn ;
 4442   struct prot_inuse *inuse ;
 4443};
 4444# 38 "include/net/snmp.h"
 4445struct u64_stats_sync {
 4446
 4447};
 4448# 138 "include/linux/u64_stats_sync.h"
 4449struct ipstats_mib {
 4450   u64 mibs[31U] ;
 4451   struct u64_stats_sync syncp ;
 4452};
 4453# 61 "include/net/snmp.h"
 4454struct icmp_mib {
 4455   unsigned long mibs[27U] ;
 4456};
 4457# 67 "include/net/snmp.h"
 4458struct icmpmsg_mib {
 4459   unsigned long mibs[512U] ;
 4460};
 4461# 72 "include/net/snmp.h"
 4462struct icmpv6_mib {
 4463   unsigned long mibs[5U] ;
 4464};
 4465# 83 "include/net/snmp.h"
 4466struct icmpv6msg_mib {
 4467   unsigned long mibs[512U] ;
 4468};
 4469# 93 "include/net/snmp.h"
 4470struct tcp_mib {
 4471   unsigned long mibs[15U] ;
 4472};
 4473# 100 "include/net/snmp.h"
 4474struct udp_mib {
 4475   unsigned long mibs[7U] ;
 4476};
 4477# 106 "include/net/snmp.h"
 4478struct linux_mib {
 4479   unsigned long mibs[80U] ;
 4480};
 4481# 112 "include/net/snmp.h"
 4482struct linux_xfrm_mib {
 4483   unsigned long mibs[27U] ;
 4484};
 4485# 118 "include/net/snmp.h"
 4486struct proc_dir_entry;
 4487# 118 "include/net/snmp.h"
 4488struct proc_dir_entry;
 4489# 118 "include/net/snmp.h"
 4490struct netns_mib {
 4491   struct tcp_mib *tcp_statistics[2U] ;
 4492   struct ipstats_mib *ip_statistics[2U] ;
 4493   struct linux_mib *net_statistics[2U] ;
 4494   struct udp_mib *udp_statistics[2U] ;
 4495   struct udp_mib *udplite_statistics[2U] ;
 4496   struct icmp_mib *icmp_statistics[2U] ;
 4497   struct icmpmsg_mib *icmpmsg_statistics[2U] ;
 4498   struct proc_dir_entry *proc_net_devsnmp6 ;
 4499   struct udp_mib *udp_stats_in6[2U] ;
 4500   struct udp_mib *udplite_stats_in6[2U] ;
 4501   struct ipstats_mib *ipv6_statistics[2U] ;
 4502   struct icmpv6_mib *icmpv6_statistics[2U] ;
 4503   struct icmpv6msg_mib *icmpv6msg_statistics[2U] ;
 4504   struct linux_xfrm_mib *xfrm_statistics[2U] ;
 4505};
 4506# 26 "include/net/netns/mib.h"
 4507struct netns_unix {
 4508   int sysctl_max_dgram_qlen ;
 4509   struct ctl_table_header *ctl ;
 4510};
 4511# 12 "include/net/netns/unix.h"
 4512struct netns_packet {
 4513   spinlock_t sklist_lock ;
 4514   struct hlist_head sklist ;
 4515};
 4516# 14 "include/net/netns/packet.h"
 4517struct netns_frags {
 4518   int nqueues ;
 4519   atomic_t mem ;
 4520   struct list_head lru_list ;
 4521   int timeout ;
 4522   int high_thresh ;
 4523   int low_thresh ;
 4524};
 4525# 73 "include/net/inet_frag.h"
 4526struct ipv4_devconf;
 4527# 73 "include/net/inet_frag.h"
 4528struct ipv4_devconf;
 4529# 73 "include/net/inet_frag.h"
 4530struct ipv4_devconf;
 4531# 74 "include/net/inet_frag.h"
 4532struct fib_rules_ops;
 4533# 74 "include/net/inet_frag.h"
 4534struct fib_rules_ops;
 4535# 74 "include/net/inet_frag.h"
 4536struct fib_rules_ops;
 4537# 75 "include/net/inet_frag.h"
 4538struct xt_table;
 4539# 75 "include/net/inet_frag.h"
 4540struct xt_table;
 4541# 75 "include/net/inet_frag.h"
 4542struct netns_ipv4 {
 4543   struct ctl_table_header *forw_hdr ;
 4544   struct ctl_table_header *frags_hdr ;
 4545   struct ctl_table_header *ipv4_hdr ;
 4546   struct ctl_table_header *route_hdr ;
 4547   struct ipv4_devconf *devconf_all ;
 4548   struct ipv4_devconf *devconf_dflt ;
 4549   struct fib_rules_ops *rules_ops ;
 4550   struct hlist_head *fib_table_hash ;
 4551   struct sock *fibnl ;
 4552   struct sock **icmp_sk ;
 4553   struct sock *tcp_sock ;
 4554   struct netns_frags frags ;
 4555   struct xt_table *iptable_filter ;
 4556   struct xt_table *iptable_mangle ;
 4557   struct xt_table *iptable_raw ;
 4558   struct xt_table *arptable_filter ;
 4559   struct xt_table *iptable_security ;
 4560   struct xt_table *nat_table ;
 4561   struct hlist_head *nat_bysource ;
 4562   unsigned int nat_htable_size ;
 4563   int sysctl_icmp_echo_ignore_all ;
 4564   int sysctl_icmp_echo_ignore_broadcasts ;
 4565   int sysctl_icmp_ignore_bogus_error_responses ;
 4566   int sysctl_icmp_ratelimit ;
 4567   int sysctl_icmp_ratemask ;
 4568   int sysctl_icmp_errors_use_inbound_ifaddr ;
 4569   int sysctl_rt_cache_rebuild_count ;
 4570   int current_rt_cache_rebuild_count ;
 4571   unsigned int sysctl_ping_group_range[2U] ;
 4572   atomic_t rt_genid ;
 4573   atomic_t dev_addr_genid ;
 4574   struct list_head mr_tables ;
 4575   struct fib_rules_ops *mr_rules_ops ;
 4576};
 4577# 70 "include/net/netns/ipv4.h"
 4578struct dst_ops {
 4579   unsigned short family ;
 4580   __be16 protocol ;
 4581   unsigned int gc_thresh ;
 4582   int (*gc)(struct dst_ops * ) ;
 4583   struct dst_entry *(*check)(struct dst_entry * , __u32 ) ;
 4584   unsigned int (*default_advmss)(struct dst_entry const * ) ;
 4585   unsigned int (*default_mtu)(struct dst_entry const * ) ;
 4586   u32 *(*cow_metrics)(struct dst_entry * , unsigned long ) ;
 4587   void (*destroy)(struct dst_entry * ) ;
 4588   void (*ifdown)(struct dst_entry * , struct net_device * , int ) ;
 4589   struct dst_entry *(*negative_advice)(struct dst_entry * ) ;
 4590   void (*link_failure)(struct sk_buff * ) ;
 4591   void (*update_pmtu)(struct dst_entry * , u32 ) ;
 4592   int (*local_out)(struct sk_buff * ) ;
 4593   struct kmem_cache *kmem_cachep ;
 4594   struct percpu_counter pcpuc_entries ;
 4595};
 4596# 66 "include/net/dst_ops.h"
 4597struct netns_sysctl_ipv6 {
 4598   struct ctl_table_header *table ;
 4599   struct ctl_table_header *frags_hdr ;
 4600   int bindv6only ;
 4601   int flush_delay ;
 4602   int ip6_rt_max_size ;
 4603   int ip6_rt_gc_min_interval ;
 4604   int ip6_rt_gc_timeout ;
 4605   int ip6_rt_gc_interval ;
 4606   int ip6_rt_gc_elasticity ;
 4607   int ip6_rt_mtu_expires ;
 4608   int ip6_rt_min_advmss ;
 4609   int icmpv6_time ;
 4610};
 4611# 29 "include/net/netns/ipv6.h"
 4612struct ipv6_devconf;
 4613# 29 "include/net/netns/ipv6.h"
 4614struct ipv6_devconf;
 4615# 29 "include/net/netns/ipv6.h"
 4616struct rt6_info;
 4617# 29 "include/net/netns/ipv6.h"
 4618struct rt6_info;
 4619# 29 "include/net/netns/ipv6.h"
 4620struct rt6_statistics;
 4621# 29 "include/net/netns/ipv6.h"
 4622struct rt6_statistics;
 4623# 29 "include/net/netns/ipv6.h"
 4624struct fib6_table;
 4625# 29 "include/net/netns/ipv6.h"
 4626struct fib6_table;
 4627# 29 "include/net/netns/ipv6.h"
 4628struct netns_ipv6 {
 4629   struct netns_sysctl_ipv6 sysctl ;
 4630   struct ipv6_devconf *devconf_all ;
 4631   struct ipv6_devconf *devconf_dflt ;
 4632   struct netns_frags frags ;
 4633   struct xt_table *ip6table_filter ;
 4634   struct xt_table *ip6table_mangle ;
 4635   struct xt_table *ip6table_raw ;
 4636   struct xt_table *ip6table_security ;
 4637   struct rt6_info *ip6_null_entry ;
 4638   struct rt6_statistics *rt6_stats ;
 4639   struct timer_list ip6_fib_timer ;
 4640   struct hlist_head *fib_table_hash ;
 4641   struct fib6_table *fib6_main_tbl ;
 4642   struct dst_ops ip6_dst_ops ;
 4643   unsigned int ip6_rt_gc_expire ;
 4644   unsigned long ip6_rt_last_gc ;
 4645   struct rt6_info *ip6_prohibit_entry ;
 4646   struct rt6_info *ip6_blk_hole_entry ;
 4647   struct fib6_table *fib6_local_tbl ;
 4648   struct fib_rules_ops *fib6_rules_ops ;
 4649   struct sock **icmp_sk ;
 4650   struct sock *ndisc_sk ;
 4651   struct sock *tcp_sk ;
 4652   struct sock *igmp_sk ;
 4653   struct list_head mr6_tables ;
 4654   struct fib_rules_ops *mr6_rules_ops ;
 4655};
 4656# 68 "include/net/netns/ipv6.h"
 4657struct netns_dccp {
 4658   struct sock *v4_ctl_sk ;
 4659   struct sock *v6_ctl_sk ;
 4660};
 4661# 46 "include/linux/proc_fs.h"
 4662typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
 4663# 48 "include/linux/proc_fs.h"
 4664typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
 4665# 49 "include/linux/proc_fs.h"
 4666struct proc_dir_entry {
 4667   unsigned int low_ino ;
 4668   unsigned int namelen ;
 4669   char const *name ;
 4670   mode_t mode ;
 4671   nlink_t nlink ;
 4672   uid_t uid ;
 4673   gid_t gid ;
 4674   loff_t size ;
 4675   struct inode_operations const *proc_iops ;
 4676   struct file_operations const *proc_fops ;
 4677   struct proc_dir_entry *next ;
 4678   struct proc_dir_entry *parent ;
 4679   struct proc_dir_entry *subdir ;
 4680   void *data ;
 4681   read_proc_t *read_proc ;
 4682   write_proc_t *write_proc ;
 4683   atomic_t count ;
 4684   int pde_users ;
 4685   spinlock_t pde_unload_lock ;
 4686   struct completion *pde_unload_completion ;
 4687   struct list_head pde_openers ;
 4688};
 4689# 376 "include/linux/netfilter.h"
 4690struct ebt_table;
 4691# 376 "include/linux/netfilter.h"
 4692struct ebt_table;
 4693# 376 "include/linux/netfilter.h"
 4694struct ebt_table;
 4695# 377 "include/linux/netfilter.h"
 4696struct netns_xt {
 4697   struct list_head tables[13U] ;
 4698   struct ebt_table *broute_table ;
 4699   struct ebt_table *frame_filter ;
 4700   struct ebt_table *frame_nat ;
 4701};
 4702# 17 "include/net/netns/x_tables.h"
 4703struct hlist_nulls_node;
 4704# 17 "include/net/netns/x_tables.h"
 4705struct hlist_nulls_node;
 4706# 17 "include/net/netns/x_tables.h"
 4707struct hlist_nulls_head {
 4708   struct hlist_nulls_node *first ;
 4709};
 4710# 20 "include/linux/list_nulls.h"
 4711struct hlist_nulls_node {
 4712   struct hlist_nulls_node *next ;
 4713   struct hlist_nulls_node **pprev ;
 4714};
 4715# 86 "include/linux/list_nulls.h"
 4716struct ip_conntrack_stat;
 4717# 86 "include/linux/list_nulls.h"
 4718struct ip_conntrack_stat;
 4719# 86 "include/linux/list_nulls.h"
 4720struct netns_ct {
 4721   atomic_t count ;
 4722   unsigned int expect_count ;
 4723   unsigned int htable_size ;
 4724   struct kmem_cache *nf_conntrack_cachep ;
 4725   struct hlist_nulls_head *hash ;
 4726   struct hlist_head *expect_hash ;
 4727   struct hlist_nulls_head unconfirmed ;
 4728   struct hlist_nulls_head dying ;
 4729   struct ip_conntrack_stat *stat ;
 4730   int sysctl_events ;
 4731   unsigned int sysctl_events_retry_timeout ;
 4732   int sysctl_acct ;
 4733   int sysctl_tstamp ;
 4734   int sysctl_checksum ;
 4735   unsigned int sysctl_log_invalid ;
 4736   struct ctl_table_header *sysctl_header ;
 4737   struct ctl_table_header *acct_sysctl_header ;
 4738   struct ctl_table_header *tstamp_sysctl_header ;
 4739   struct ctl_table_header *event_sysctl_header ;
 4740   char *slabname ;
 4741};
 4742# 484 "include/linux/xfrm.h"
 4743struct xfrm_policy_hash {
 4744   struct hlist_head *table ;
 4745   unsigned int hmask ;
 4746};
 4747# 16 "include/net/netns/xfrm.h"
 4748struct netns_xfrm {
 4749   struct list_head state_all ;
 4750   struct hlist_head *state_bydst ;
 4751   struct hlist_head *state_bysrc ;
 4752   struct hlist_head *state_byspi ;
 4753   unsigned int state_hmask ;
 4754   unsigned int state_num ;
 4755   struct work_struct state_hash_work ;
 4756   struct hlist_head state_gc_list ;
 4757   struct work_struct state_gc_work ;
 4758   wait_queue_head_t km_waitq ;
 4759   struct list_head policy_all ;
 4760   struct hlist_head *policy_byidx ;
 4761   unsigned int policy_idx_hmask ;
 4762   struct hlist_head policy_inexact[6U] ;
 4763   struct xfrm_policy_hash policy_bydst[6U] ;
 4764   unsigned int policy_count[6U] ;
 4765   struct work_struct policy_hash_work ;
 4766   struct sock *nlsk ;
 4767   struct sock *nlsk_stash ;
 4768   u32 sysctl_aevent_etime ;
 4769   u32 sysctl_aevent_rseqth ;
 4770   int sysctl_larval_drop ;
 4771   u32 sysctl_acq_expires ;
 4772   struct ctl_table_header *sysctl_hdr ;
 4773   struct dst_ops xfrm4_dst_ops ;
 4774   struct dst_ops xfrm6_dst_ops ;
 4775};
 4776# 62 "include/net/netns/xfrm.h"
 4777struct net_generic;
 4778# 62 "include/net/netns/xfrm.h"
 4779struct net_generic;
 4780# 62 "include/net/netns/xfrm.h"
 4781struct net_generic;
 4782# 63 "include/net/netns/xfrm.h"
 4783struct netns_ipvs;
 4784# 63 "include/net/netns/xfrm.h"
 4785struct netns_ipvs;
 4786# 63 "include/net/netns/xfrm.h"
 4787struct netns_ipvs;
 4788# 64 "include/net/netns/xfrm.h"
 4789struct net {
 4790   atomic_t passive ;
 4791   atomic_t count ;
 4792   spinlock_t rules_mod_lock ;
 4793   struct list_head list ;
 4794   struct list_head cleanup_list ;
 4795   struct list_head exit_list ;
 4796   struct proc_dir_entry *proc_net ;
 4797   struct proc_dir_entry *proc_net_stat ;
 4798   struct ctl_table_set sysctls ;
 4799   struct sock *rtnl ;
 4800   struct sock *genl_sock ;
 4801   struct list_head dev_base_head ;
 4802   struct hlist_head *dev_name_head ;
 4803   struct hlist_head *dev_index_head ;
 4804   struct list_head rules_ops ;
 4805   struct net_device *loopback_dev ;
 4806   struct netns_core core ;
 4807   struct netns_mib mib ;
 4808   struct netns_packet packet ;
 4809   struct netns_unix unx ;
 4810   struct netns_ipv4 ipv4 ;
 4811   struct netns_ipv6 ipv6 ;
 4812   struct netns_dccp dccp ;
 4813   struct netns_xt xt ;
 4814   struct netns_ct ct ;
 4815   struct sock *nfnl ;
 4816   struct sock *nfnl_stash ;
 4817   struct sk_buff_head wext_nlevents ;
 4818   struct net_generic *gen ;
 4819   struct netns_xfrm xfrm ;
 4820   struct netns_ipvs *ipvs ;
 4821};
 4822# 104 "include/net/net_namespace.h"
 4823struct seq_file {
 4824   char *buf ;
 4825   size_t size ;
 4826   size_t from ;
 4827   size_t count ;
 4828   loff_t index ;
 4829   loff_t read_pos ;
 4830   u64 version ;
 4831   struct mutex lock ;
 4832   struct seq_operations const *op ;
 4833   void *private ;
 4834};
 4835# 28 "include/linux/seq_file.h"
 4836struct seq_operations {
 4837   void *(*start)(struct seq_file * , loff_t * ) ;
 4838   void (*stop)(struct seq_file * , void * ) ;
 4839   void *(*next)(struct seq_file * , void * , loff_t * ) ;
 4840   int (*show)(struct seq_file * , void * ) ;
 4841};
 4842# 224 "include/net/net_namespace.h"
 4843struct pernet_operations {
 4844   struct list_head list ;
 4845   int (*init)(struct net * ) ;
 4846   void (*exit)(struct net * ) ;
 4847   void (*exit_batch)(struct list_head * ) ;
 4848   int *id ;
 4849   size_t size ;
 4850};
 4851# 59 "include/net/dsa.h"
 4852struct ieee_ets {
 4853   __u8 willing ;
 4854   __u8 ets_cap ;
 4855   __u8 cbs ;
 4856   __u8 tc_tx_bw[8U] ;
 4857   __u8 tc_rx_bw[8U] ;
 4858   __u8 tc_tsa[8U] ;
 4859   __u8 prio_tc[8U] ;
 4860   __u8 tc_reco_bw[8U] ;
 4861   __u8 tc_reco_tsa[8U] ;
 4862   __u8 reco_prio_tc[8U] ;
 4863};
 4864# 69 "include/linux/dcbnl.h"
 4865struct ieee_pfc {
 4866   __u8 pfc_cap ;
 4867   __u8 pfc_en ;
 4868   __u8 mbc ;
 4869   __u16 delay ;
 4870   __u64 requests[8U] ;
 4871   __u64 indications[8U] ;
 4872};
 4873# 89 "include/linux/dcbnl.h"
 4874struct cee_pg {
 4875   __u8 willing ;
 4876   __u8 error ;
 4877   __u8 pg_en ;
 4878   __u8 tcs_supported ;
 4879   __u8 pg_bw[8U] ;
 4880   __u8 prio_pg[8U] ;
 4881};
 4882# 112 "include/linux/dcbnl.h"
 4883struct cee_pfc {
 4884   __u8 willing ;
 4885   __u8 error ;
 4886   __u8 pfc_en ;
 4887   __u8 tcs_supported ;
 4888};
 4889# 127 "include/linux/dcbnl.h"
 4890struct dcb_app {
 4891   __u8 selector ;
 4892   __u8 priority ;
 4893   __u16 protocol ;
 4894};
 4895# 156 "include/linux/dcbnl.h"
 4896struct dcb_peer_app_info {
 4897   __u8 willing ;
 4898   __u8 error ;
 4899};
 4900# 33 "include/net/dcbnl.h"
 4901struct dcbnl_rtnl_ops {
 4902   int (*ieee_getets)(struct net_device * , struct ieee_ets * ) ;
 4903   int (*ieee_setets)(struct net_device * , struct ieee_ets * ) ;
 4904   int (*ieee_getpfc)(struct net_device * , struct ieee_pfc * ) ;
 4905   int (*ieee_setpfc)(struct net_device * , struct ieee_pfc * ) ;
 4906   int (*ieee_getapp)(struct net_device * , struct dcb_app * ) ;
 4907   int (*ieee_setapp)(struct net_device * , struct dcb_app * ) ;
 4908   int (*ieee_peer_getets)(struct net_device * , struct ieee_ets * ) ;
 4909   int (*ieee_peer_getpfc)(struct net_device * , struct ieee_pfc * ) ;
 4910   u8 (*getstate)(struct net_device * ) ;
 4911   u8 (*setstate)(struct net_device * , u8 ) ;
 4912   void (*getpermhwaddr)(struct net_device * , u8 * ) ;
 4913   void (*setpgtccfgtx)(struct net_device * , int , u8 , u8 , u8 , u8 ) ;
 4914   void (*setpgbwgcfgtx)(struct net_device * , int , u8 ) ;
 4915   void (*setpgtccfgrx)(struct net_device * , int , u8 , u8 , u8 , u8 ) ;
 4916   void (*setpgbwgcfgrx)(struct net_device * , int , u8 ) ;
 4917   void (*getpgtccfgtx)(struct net_device * , int , u8 * , u8 * , u8 * , u8 * ) ;
 4918   void (*getpgbwgcfgtx)(struct net_device * , int , u8 * ) ;
 4919   void (*getpgtccfgrx)(struct net_device * , int , u8 * , u8 * , u8 * , u8 * ) ;
 4920   void (*getpgbwgcfgrx)(struct net_device * , int , u8 * ) ;
 4921   void (*setpfccfg)(struct net_device * , int , u8 ) ;
 4922   void (*getpfccfg)(struct net_device * , int , u8 * ) ;
 4923   u8 (*setall)(struct net_device * ) ;
 4924   u8 (*getcap)(struct net_device * , int , u8 * ) ;
 4925   u8 (*getnumtcs)(struct net_device * , int , u8 * ) ;
 4926   u8 (*setnumtcs)(struct net_device * , int , u8 ) ;
 4927   u8 (*getpfcstate)(struct net_device * ) ;
 4928   void (*setpfcstate)(struct net_device * , u8 ) ;
 4929   void (*getbcncfg)(struct net_device * , int , u32 * ) ;
 4930   void (*setbcncfg)(struct net_device * , int , u32 ) ;
 4931   void (*getbcnrp)(struct net_device * , int , u8 * ) ;
 4932   void (*setbcnrp)(struct net_device * , int , u8 ) ;
 4933   u8 (*setapp)(struct net_device * , u8 , u16 , u8 ) ;
 4934   u8 (*getapp)(struct net_device * , u8 , u16 ) ;
 4935   u8 (*getfeatcfg)(struct net_device * , int , u8 * ) ;
 4936   u8 (*setfeatcfg)(struct net_device * , int , u8 ) ;
 4937   u8 (*getdcbx)(struct net_device * ) ;
 4938   u8 (*setdcbx)(struct net_device * , u8 ) ;
 4939   int (*peer_getappinfo)(struct net_device * , struct dcb_peer_app_info * , u16 * ) ;
 4940   int (*peer_getapptable)(struct net_device * , struct dcb_app * ) ;
 4941   int (*cee_peer_getpg)(struct net_device * , struct cee_pg * ) ;
 4942   int (*cee_peer_getpfc)(struct net_device * , struct cee_pfc * ) ;
 4943};
 4944# 91 "include/net/dcbnl.h"
 4945struct vlan_group;
 4946# 91 "include/net/dcbnl.h"
 4947struct vlan_group;
 4948# 91 "include/net/dcbnl.h"
 4949struct vlan_group;
 4950# 92 "include/net/dcbnl.h"
 4951struct netpoll_info;
 4952# 92 "include/net/dcbnl.h"
 4953struct netpoll_info;
 4954# 92 "include/net/dcbnl.h"
 4955struct netpoll_info;
 4956# 93 "include/net/dcbnl.h"
 4957struct phy_device;
 4958# 93 "include/net/dcbnl.h"
 4959struct phy_device;
 4960# 93 "include/net/dcbnl.h"
 4961struct phy_device;
 4962# 94 "include/net/dcbnl.h"
 4963struct wireless_dev;
 4964# 94 "include/net/dcbnl.h"
 4965struct wireless_dev;
 4966# 94 "include/net/dcbnl.h"
 4967struct wireless_dev;
 4968# 95 "include/net/dcbnl.h"
 4969enum netdev_tx {
 4970    __NETDEV_TX_MIN = (-0x7FFFFFFF-1),
 4971    NETDEV_TX_OK = 0,
 4972    NETDEV_TX_BUSY = 16,
 4973    NETDEV_TX_LOCKED = 32
 4974} ;
 4975# 117 "include/linux/netdevice.h"
 4976typedef enum netdev_tx netdev_tx_t;
 4977# 136 "include/linux/netdevice.h"
 4978struct net_device_stats {
 4979   unsigned long rx_packets ;
 4980   unsigned long tx_packets ;
 4981   unsigned long rx_bytes ;
 4982   unsigned long tx_bytes ;
 4983   unsigned long rx_errors ;
 4984   unsigned long tx_errors ;
 4985   unsigned long rx_dropped ;
 4986   unsigned long tx_dropped ;
 4987   unsigned long multicast ;
 4988   unsigned long collisions ;
 4989   unsigned long rx_length_errors ;
 4990   unsigned long rx_over_errors ;
 4991   unsigned long rx_crc_errors ;
 4992   unsigned long rx_frame_errors ;
 4993   unsigned long rx_fifo_errors ;
 4994   unsigned long rx_missed_errors ;
 4995   unsigned long tx_aborted_errors ;
 4996   unsigned long tx_carrier_errors ;
 4997   unsigned long tx_fifo_errors ;
 4998   unsigned long tx_heartbeat_errors ;
 4999   unsigned long tx_window_errors ;
 5000   unsigned long rx_compressed ;
 5001   unsigned long tx_compressed ;
 5002};
 5003# 211 "include/linux/netdevice.h"
 5004struct neighbour;
 5005# 211 "include/linux/netdevice.h"
 5006struct neighbour;
 5007# 211 "include/linux/netdevice.h"
 5008struct neighbour;
 5009# 212 "include/linux/netdevice.h"
 5010struct neigh_parms;
 5011# 212 "include/linux/netdevice.h"
 5012struct neigh_parms;
 5013# 212 "include/linux/netdevice.h"
 5014struct neigh_parms;
 5015# 239 "include/linux/netdevice.h"
 5016struct netdev_hw_addr_list {
 5017   struct list_head list ;
 5018   int count ;
 5019};
 5020# 244 "include/linux/netdevice.h"
 5021struct hh_cache {
 5022   struct hh_cache *hh_next ;
 5023   atomic_t hh_refcnt ;
 5024   __be16 hh_type ;
 5025   u16 hh_len ;
 5026   int (*hh_output)(struct sk_buff * ) ;
 5027   seqlock_t hh_lock ;
 5028   unsigned long hh_data[16U] ;
 5029};
 5030# 292 "include/linux/netdevice.h"
 5031struct header_ops {
 5032   int (*create)(struct sk_buff * , struct net_device * , unsigned short , void const * ,
 5033                 void const * , unsigned int ) ;
 5034   int (*parse)(struct sk_buff const * , unsigned char * ) ;
 5035   int (*rebuild)(struct sk_buff * ) ;
 5036   int (*cache)(struct neighbour const * , struct hh_cache * ) ;
 5037   void (*cache_update)(struct hh_cache * , struct net_device const * , unsigned char const * ) ;
 5038};
 5039# 392 "include/linux/netdevice.h"
 5040enum rx_handler_result {
 5041    RX_HANDLER_CONSUMED = 0,
 5042    RX_HANDLER_ANOTHER = 1,
 5043    RX_HANDLER_EXACT = 2,
 5044    RX_HANDLER_PASS = 3
 5045} ;
 5046# 440 "include/linux/netdevice.h"
 5047typedef enum rx_handler_result rx_handler_result_t;
 5048# 441 "include/linux/netdevice.h"
 5049typedef rx_handler_result_t rx_handler_func_t(struct sk_buff ** );
 5050# 548 "include/linux/netdevice.h"
 5051struct Qdisc;
 5052# 548 "include/linux/netdevice.h"
 5053struct Qdisc;
 5054# 548 "include/linux/netdevice.h"
 5055struct netdev_queue {
 5056   struct net_device *dev ;
 5057   struct Qdisc *qdisc ;
 5058   unsigned long state ;
 5059   struct Qdisc *qdisc_sleeping ;
 5060   struct kobject kobj ;
 5061   int numa_node ;
 5062   spinlock_t _xmit_lock ;
 5063   int xmit_lock_owner ;
 5064   unsigned long trans_start ;
 5065};
 5066# 590 "include/linux/netdevice.h"
 5067struct rps_map {
 5068   unsigned int len ;
 5069   struct rcu_head rcu ;
 5070   u16 cpus[0U] ;
 5071};
 5072# 602 "include/linux/netdevice.h"
 5073struct rps_dev_flow {
 5074   u16 cpu ;
 5075   u16 filter ;
 5076   unsigned int last_qtail ;
 5077};
 5078# 614 "include/linux/netdevice.h"
 5079struct rps_dev_flow_table {
 5080   unsigned int mask ;
 5081   struct rcu_head rcu ;
 5082   struct work_struct free_work ;
 5083   struct rps_dev_flow flows[0U] ;
 5084};
 5085# 666 "include/linux/netdevice.h"
 5086struct netdev_rx_queue {
 5087   struct rps_map *rps_map ;
 5088   struct rps_dev_flow_table *rps_flow_table ;
 5089   struct kobject kobj ;
 5090   struct net_device *dev ;
 5091};
 5092# 676 "include/linux/netdevice.h"
 5093struct xps_map {
 5094   unsigned int len ;
 5095   unsigned int alloc_len ;
 5096   struct rcu_head rcu ;
 5097   u16 queues[0U] ;
 5098};
 5099# 689 "include/linux/netdevice.h"
 5100struct xps_dev_maps {
 5101   struct rcu_head rcu ;
 5102   struct xps_map *cpu_map[0U] ;
 5103};
 5104# 700 "include/linux/netdevice.h"
 5105struct netdev_tc_txq {
 5106   u16 count ;
 5107   u16 offset ;
 5108};
 5109# 711 "include/linux/netdevice.h"
 5110struct net_device_ops {
 5111   int (*ndo_init)(struct net_device * ) ;
 5112   void (*ndo_uninit)(struct net_device * ) ;
 5113   int (*ndo_open)(struct net_device * ) ;
 5114   int (*ndo_stop)(struct net_device * ) ;
 5115   netdev_tx_t (*ndo_start_xmit)(struct sk_buff * , struct net_device * ) ;
 5116   u16 (*ndo_select_queue)(struct net_device * , struct sk_buff * ) ;
 5117   void (*ndo_change_rx_flags)(struct net_device * , int ) ;
 5118   void (*ndo_set_rx_mode)(struct net_device * ) ;
 5119   void (*ndo_set_multicast_list)(struct net_device * ) ;
 5120   int (*ndo_set_mac_address)(struct net_device * , void * ) ;
 5121   int (*ndo_validate_addr)(struct net_device * ) ;
 5122   int (*ndo_do_ioctl)(struct net_device * , struct ifreq * , int ) ;
 5123   int (*ndo_set_config)(struct net_device * , struct ifmap * ) ;
 5124   int (*ndo_change_mtu)(struct net_device * , int ) ;
 5125   int (*ndo_neigh_setup)(struct net_device * , struct neigh_parms * ) ;
 5126   void (*ndo_tx_timeout)(struct net_device * ) ;
 5127   struct rtnl_link_stats64 *(*ndo_get_stats64)(struct net_device * , struct rtnl_link_stats64 * ) ;
 5128   struct net_device_stats *(*ndo_get_stats)(struct net_device * ) ;
 5129   void (*ndo_vlan_rx_register)(struct net_device * , struct vlan_group * ) ;
 5130   void (*ndo_vlan_rx_add_vid)(struct net_device * , unsigned short ) ;
 5131   void (*ndo_vlan_rx_kill_vid)(struct net_device * , unsigned short ) ;
 5132   void (*ndo_poll_controller)(struct net_device * ) ;
 5133   int (*ndo_netpoll_setup)(struct net_device * , struct netpoll_info * ) ;
 5134   void (*ndo_netpoll_cleanup)(struct net_device * ) ;
 5135   int (*ndo_set_vf_mac)(struct net_device * , int , u8 * ) ;
 5136   int (*ndo_set_vf_vlan)(struct net_device * , int , u16 , u8 ) ;
 5137   int (*ndo_set_vf_tx_rate)(struct net_device * , int , int ) ;
 5138   int (*ndo_get_vf_config)(struct net_device * , int , struct ifla_vf_info * ) ;
 5139   int (*ndo_set_vf_port)(struct net_device * , int , struct nlattr ** ) ;
 5140   int (*ndo_get_vf_port)(struct net_device * , int , struct sk_buff * ) ;
 5141   int (*ndo_setup_tc)(struct net_device * , u8 ) ;
 5142   int (*ndo_fcoe_enable)(struct net_device * ) ;
 5143   int (*ndo_fcoe_disable)(struct net_device * ) ;
 5144   int (*ndo_fcoe_ddp_setup)(struct net_device * , u16 , struct scatterlist * , unsigned int ) ;
 5145   int (*ndo_fcoe_ddp_done)(struct net_device * , u16 ) ;
 5146   int (*ndo_fcoe_ddp_target)(struct net_device * , u16 , struct scatterlist * ,
 5147                              unsigned int ) ;
 5148   int (*ndo_fcoe_get_wwn)(struct net_device * , u64 * , int ) ;
 5149   int (*ndo_rx_flow_steer)(struct net_device * , struct sk_buff const * , u16 ,
 5150                            u32 ) ;
 5151   int (*ndo_add_slave)(struct net_device * , struct net_device * ) ;
 5152   int (*ndo_del_slave)(struct net_device * , struct net_device * ) ;
 5153   u32 (*ndo_fix_features)(struct net_device * , u32 ) ;
 5154   int (*ndo_set_features)(struct net_device * , u32 ) ;
 5155};
 5156# 995 "include/linux/netdevice.h"
 5157struct iw_handler_def;
 5158# 995 "include/linux/netdevice.h"
 5159struct iw_handler_def;
 5160# 995 "include/linux/netdevice.h"
 5161struct iw_public_data;
 5162# 995 "include/linux/netdevice.h"
 5163struct iw_public_data;
 5164# 995 "include/linux/netdevice.h"
 5165struct in_device;
 5166# 995 "include/linux/netdevice.h"
 5167struct in_device;
 5168# 995 "include/linux/netdevice.h"
 5169struct dn_dev;
 5170# 995 "include/linux/netdevice.h"
 5171struct dn_dev;
 5172# 995 "include/linux/netdevice.h"
 5173struct inet6_dev;
 5174# 995 "include/linux/netdevice.h"
 5175struct inet6_dev;
 5176# 995 "include/linux/netdevice.h"
 5177struct cpu_rmap;
 5178# 995 "include/linux/netdevice.h"
 5179struct cpu_rmap;
 5180# 995 "include/linux/netdevice.h"
 5181struct pcpu_lstats;
 5182# 995 "include/linux/netdevice.h"
 5183struct pcpu_lstats;
 5184# 995 "include/linux/netdevice.h"
 5185struct pcpu_tstats;
 5186# 995 "include/linux/netdevice.h"
 5187struct pcpu_tstats;
 5188# 995 "include/linux/netdevice.h"
 5189struct pcpu_dstats;
 5190# 995 "include/linux/netdevice.h"
 5191struct pcpu_dstats;
 5192# 995 "include/linux/netdevice.h"
 5193union __anonunion_ldv_31005_191 {
 5194   void *ml_priv ;
 5195   struct pcpu_lstats *lstats ;
 5196   struct pcpu_tstats *tstats ;
 5197   struct pcpu_dstats *dstats ;
 5198};
 5199# 995 "include/linux/netdevice.h"
 5200struct garp_port;
 5201# 995 "include/linux/netdevice.h"
 5202struct garp_port;
 5203# 995 "include/linux/netdevice.h"
 5204struct rtnl_link_ops;
 5205# 995 "include/linux/netdevice.h"
 5206struct rtnl_link_ops;
 5207# 995 "include/linux/netdevice.h"
 5208struct net_device {
 5209   char name[16U] ;
 5210   struct pm_qos_request_list pm_qos_req ;
 5211   struct hlist_node name_hlist ;
 5212   char *ifalias ;
 5213   unsigned long mem_end ;
 5214   unsigned long mem_start ;
 5215   unsigned long base_addr ;
 5216   unsigned int irq ;
 5217   unsigned long state ;
 5218   struct list_head dev_list ;
 5219   struct list_head napi_list ;
 5220   struct list_head unreg_list ;
 5221   u32 features ;
 5222   u32 hw_features ;
 5223   u32 wanted_features ;
 5224   u32 vlan_features ;
 5225   int ifindex ;
 5226   int iflink ;
 5227   struct net_device_stats stats ;
 5228   atomic_long_t rx_dropped ;
 5229   struct iw_handler_def const *wireless_handlers ;
 5230   struct iw_public_data *wireless_data ;
 5231   struct net_device_ops const *netdev_ops ;
 5232   struct ethtool_ops const *ethtool_ops ;
 5233   struct header_ops const *header_ops ;
 5234   unsigned int flags ;
 5235   unsigned int priv_flags ;
 5236   unsigned short gflags ;
 5237   unsigned short padded ;
 5238   unsigned char operstate ;
 5239   unsigned char link_mode ;
 5240   unsigned char if_port ;
 5241   unsigned char dma ;
 5242   unsigned int mtu ;
 5243   unsigned short type ;
 5244   unsigned short hard_header_len ;
 5245   unsigned short needed_headroom ;
 5246   unsigned short needed_tailroom ;
 5247   unsigned char perm_addr[32U] ;
 5248   unsigned char addr_assign_type ;
 5249   unsigned char addr_len ;
 5250   unsigned short dev_id ;
 5251   spinlock_t addr_list_lock ;
 5252   struct netdev_hw_addr_list uc ;
 5253   struct netdev_hw_addr_list mc ;
 5254   int uc_promisc ;
 5255   unsigned int promiscuity ;
 5256   unsigned int allmulti ;
 5257   struct vlan_group *vlgrp ;
 5258   void *dsa_ptr ;
 5259   void *atalk_ptr ;
 5260   struct in_device *ip_ptr ;
 5261   struct dn_dev *dn_ptr ;
 5262   struct inet6_dev *ip6_ptr ;
 5263   void *ec_ptr ;
 5264   void *ax25_ptr ;
 5265   struct wireless_dev *ieee80211_ptr ;
 5266   unsigned long last_rx ;
 5267   struct net_device *master ;
 5268   unsigned char *dev_addr ;
 5269   struct netdev_hw_addr_list dev_addrs ;
 5270   unsigned char broadcast[32U] ;
 5271   struct kset *queues_kset ;
 5272   struct netdev_rx_queue *_rx ;
 5273   unsigned int num_rx_queues ;
 5274   unsigned int real_num_rx_queues ;
 5275   struct cpu_rmap *rx_cpu_rmap ;
 5276   rx_handler_func_t *rx_handler ;
 5277   void *rx_handler_data ;
 5278   struct netdev_queue *ingress_queue ;
 5279   struct netdev_queue *_tx ;
 5280   unsigned int num_tx_queues ;
 5281   unsigned int real_num_tx_queues ;
 5282   struct Qdisc *qdisc ;
 5283   unsigned long tx_queue_len ;
 5284   spinlock_t tx_global_lock ;
 5285   struct xps_dev_maps *xps_maps ;
 5286   unsigned long trans_start ;
 5287   int watchdog_timeo ;
 5288   struct timer_list watchdog_timer ;
 5289   int *pcpu_refcnt ;
 5290   struct list_head todo_list ;
 5291   struct hlist_node index_hlist ;
 5292   struct list_head link_watch_list ;
 5293   unsigned char reg_state ;
 5294   bool dismantle ;
 5295   unsigned short rtnl_link_state ;
 5296   void (*destructor)(struct net_device * ) ;
 5297   struct netpoll_info *npinfo ;
 5298   struct net *nd_net ;
 5299   union __anonunion_ldv_31005_191 ldv_31005 ;
 5300   struct garp_port *garp_port ;
 5301   struct device dev ;
 5302   struct attribute_group const *sysfs_groups[4U] ;
 5303   struct rtnl_link_ops const *rtnl_link_ops ;
 5304   unsigned int gso_max_size ;
 5305   struct dcbnl_rtnl_ops const *dcbnl_ops ;
 5306   u8 num_tc ;
 5307   struct netdev_tc_txq tc_to_txq[16U] ;
 5308   u8 prio_tc_map[16U] ;
 5309   unsigned int fcoe_ddp_xid ;
 5310   struct ethtool_rx_ntuple_list ethtool_ntuple_list ;
 5311   struct phy_device *phydev ;
 5312   int group ;
 5313};
 5314# 1559 "include/linux/netdevice.h"
 5315enum irqreturn {
 5316    IRQ_NONE = 0,
 5317    IRQ_HANDLED = 1,
 5318    IRQ_WAKE_THREAD = 2
 5319} ;
 5320# 16 "include/linux/irqreturn.h"
 5321typedef enum irqreturn irqreturn_t;
 5322# 91 "include/linux/interrupt.h"
 5323struct irqaction {
 5324   irqreturn_t (*handler)(int , void * ) ;
 5325   unsigned long flags ;
 5326   void *dev_id ;
 5327   struct irqaction *next ;
 5328   int irq ;
 5329   irqreturn_t (*thread_fn)(int , void * ) ;
 5330   struct task_struct *thread ;
 5331   unsigned long thread_flags ;
 5332   unsigned long thread_mask ;
 5333   char const *name ;
 5334   struct proc_dir_entry *dir ;
 5335};
 5336# 2651 "include/linux/netdevice.h"
 5337struct pollfd {
 5338   int fd ;
 5339   short events ;
 5340   short revents ;
 5341};
 5342# 34 "include/linux/poll.h"
 5343struct poll_table_struct {
 5344   void (*qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
 5345   unsigned long key ;
 5346};
 5347# 38 "include/linux/poll.h"
 5348typedef struct poll_table_struct poll_table;
 5349# 109 "include/linux/ppp_defs.h"
 5350enum NPmode {
 5351    NPMODE_PASS = 0,
 5352    NPMODE_DROP = 1,
 5353    NPMODE_ERROR = 2,
 5354    NPMODE_QUEUE = 3
 5355} ;
 5356# 116 "include/linux/ppp_defs.h"
 5357struct pppstat {
 5358   __u32 ppp_discards ;
 5359   __u32 ppp_ibytes ;
 5360   __u32 ppp_ioctects ;
 5361   __u32 ppp_ipackets ;
 5362   __u32 ppp_ierrors ;
 5363   __u32 ppp_ilqrs ;
 5364   __u32 ppp_obytes ;
 5365   __u32 ppp_ooctects ;
 5366   __u32 ppp_opackets ;
 5367   __u32 ppp_oerrors ;
 5368   __u32 ppp_olqrs ;
 5369};
 5370# 138 "include/linux/ppp_defs.h"
 5371struct vjstat {
 5372   __u32 vjs_packets ;
 5373   __u32 vjs_compressed ;
 5374   __u32 vjs_searches ;
 5375   __u32 vjs_misses ;
 5376   __u32 vjs_uncompressedin ;
 5377   __u32 vjs_compressedin ;
 5378   __u32 vjs_errorin ;
 5379   __u32 vjs_tossed ;
 5380};
 5381# 149 "include/linux/ppp_defs.h"
 5382struct compstat {
 5383   __u32 unc_bytes ;
 5384   __u32 unc_packets ;
 5385   __u32 comp_bytes ;
 5386   __u32 comp_packets ;
 5387   __u32 inc_bytes ;
 5388   __u32 inc_packets ;
 5389   __u32 in_count ;
 5390   __u32 bytes_out ;
 5391   double ratio ;
 5392};
 5393# 164 "include/linux/ppp_defs.h"
 5394struct ppp_stats {
 5395   struct pppstat p ;
 5396   struct vjstat vj ;
 5397};
 5398# 169 "include/linux/ppp_defs.h"
 5399struct ppp_comp_stats {
 5400   struct compstat c ;
 5401   struct compstat d ;
 5402};
 5403# 174 "include/linux/ppp_defs.h"
 5404struct ppp_idle {
 5405   __kernel_time_t xmit_idle ;
 5406   __kernel_time_t recv_idle ;
 5407};
 5408# 183 "include/linux/ppp_defs.h"
 5409struct sock_filter {
 5410   __u16 code ;
 5411   __u8 jt ;
 5412   __u8 jf ;
 5413   __u32 k ;
 5414};
 5415# 32 "include/linux/filter.h"
 5416struct sock_fprog {
 5417   unsigned short len ;
 5418   struct sock_filter *filter ;
 5419};
 5420# 37 "include/linux/filter.h"
 5421struct sk_filter {
 5422   atomic_t refcnt ;
 5423   unsigned int len ;
 5424   unsigned int (*bpf_func)(struct sk_buff const * , struct sock_filter const * ) ;
 5425   struct rcu_head rcu ;
 5426   struct sock_filter insns[0U] ;
 5427};
 5428# 221 "include/linux/filter.h"
 5429struct npioctl {
 5430   int protocol ;
 5431   enum NPmode mode ;
 5432};
 5433# 94 "include/linux/if_ppp.h"
 5434struct ppp_option_data {
 5435   __u8 *ptr ;
 5436   __u32 length ;
 5437   int transmit ;
 5438};
 5439# 126 "include/linux/if_ppp.h"
 5440struct ppp_channel;
 5441# 126 "include/linux/if_ppp.h"
 5442struct ppp_channel;
 5443# 126 "include/linux/if_ppp.h"
 5444struct ppp_channel;
 5445# 127 "include/linux/if_ppp.h"
 5446struct ppp_channel_ops {
 5447   int (*start_xmit)(struct ppp_channel * , struct sk_buff * ) ;
 5448   int (*ioctl)(struct ppp_channel * , unsigned int , unsigned long ) ;
 5449};
 5450# 36 "include/linux/ppp_channel.h"
 5451struct ppp_channel {
 5452   void *private ;
 5453   struct ppp_channel_ops const *ops ;
 5454   int mtu ;
 5455   int hdrlen ;
 5456   void *ppp ;
 5457   int speed ;
 5458   int latency ;
 5459};
 5460# 77 "include/linux/ppp_channel.h"
 5461struct compressor {
 5462   int compress_proto ;
 5463   void *(*comp_alloc)(unsigned char * , int ) ;
 5464   void (*comp_free)(void * ) ;
 5465   int (*comp_init)(void * , unsigned char * , int , int , int , int ) ;
 5466   void (*comp_reset)(void * ) ;
 5467   int (*compress)(void * , unsigned char * , unsigned char * , int , int ) ;
 5468   void (*comp_stat)(void * , struct compstat * ) ;
 5469   void *(*decomp_alloc)(unsigned char * , int ) ;
 5470   void (*decomp_free)(void * ) ;
 5471   int (*decomp_init)(void * , unsigned char * , int , int , int , int , int ) ;
 5472   void (*decomp_reset)(void * ) ;
 5473   int (*decompress)(void * , unsigned char * , int , unsigned char * , int ) ;
 5474   void (*incomp)(void * , unsigned char * , int ) ;
 5475   void (*decomp_stat)(void * , struct compstat * ) ;
 5476   struct module *owner ;
 5477   unsigned int comp_extra ;
 5478};
 5479# 169 "include/linux/if_arp.h"
 5480struct iphdr {
 5481   unsigned char ihl : 4 ;
 5482   unsigned char version : 4 ;
 5483   __u8 tos ;
 5484   __be16 tot_len ;
 5485   __be16 id ;
 5486   __be16 frag_off ;
 5487   __u8 ttl ;
 5488   __u8 protocol ;
 5489   __sum16 check ;
 5490   __be32 saddr ;
 5491   __be32 daddr ;
 5492};
 5493# 148 "include/linux/ip.h"
 5494struct tcphdr {
 5495   __be16 source ;
 5496   __be16 dest ;
 5497   __be32 seq ;
 5498   __be32 ack_seq ;
 5499   unsigned char res1 : 4 ;
 5500   unsigned char doff : 4 ;
 5501   unsigned char fin : 1 ;
 5502   unsigned char syn : 1 ;
 5503   unsigned char rst : 1 ;
 5504   unsigned char psh : 1 ;
 5505   unsigned char ack : 1 ;
 5506   unsigned char urg : 1 ;
 5507   unsigned char ece : 1 ;
 5508   unsigned char cwr : 1 ;
 5509   __be16 window ;
 5510   __sum16 check ;
 5511   __be16 urg_ptr ;
 5512};
 5513# 327 "include/linux/fsnotify.h"
 5514struct linux_binprm {
 5515   char buf[128U] ;
 5516   struct vm_area_struct *vma ;
 5517   unsigned long vma_pages ;
 5518   struct mm_struct *mm ;
 5519   unsigned long p ;
 5520   unsigned char cred_prepared : 1 ;
 5521   unsigned char cap_effective : 1 ;
 5522   unsigned int recursion_depth ;
 5523   struct file *file ;
 5524   struct cred *cred ;
 5525   int unsafe ;
 5526   unsigned int per_clear ;
 5527   int argc ;
 5528   int envc ;
 5529   char const *filename ;
 5530   char const *interp ;
 5531   unsigned int interp_flags ;
 5532   unsigned int interp_data ;
 5533   unsigned long loader ;
 5534   unsigned long exec ;
 5535};
 5536# 62 "include/linux/binfmts.h"
 5537struct coredump_params {
 5538   long signr ;
 5539   struct pt_regs *regs ;
 5540   struct file *file ;
 5541   unsigned long limit ;
 5542   unsigned long mm_flags ;
 5543};
 5544# 80 "include/linux/binfmts.h"
 5545struct linux_binfmt {
 5546   struct list_head lh ;
 5547   struct module *module ;
 5548   int (*load_binary)(struct linux_binprm * , struct pt_regs * ) ;
 5549   int (*load_shlib)(struct file * ) ;
 5550   int (*core_dump)(struct coredump_params * ) ;
 5551   unsigned long min_coredump ;
 5552};
 5553# 83 "include/linux/security.h"
 5554struct xfrm_policy;
 5555# 83 "include/linux/security.h"
 5556struct xfrm_policy;
 5557# 83 "include/linux/security.h"
 5558struct xfrm_policy;
 5559# 84 "include/linux/security.h"
 5560struct xfrm_state;
 5561# 84 "include/linux/security.h"
 5562struct xfrm_state;
 5563# 84 "include/linux/security.h"
 5564struct xfrm_state;
 5565# 105 "include/linux/security.h"
 5566struct request_sock;
 5567# 105 "include/linux/security.h"
 5568struct request_sock;
 5569# 105 "include/linux/security.h"
 5570struct request_sock;
 5571# 68 "include/linux/atomic.h"
 5572struct nla_policy {
 5573   u16 type ;
 5574   u16 len ;
 5575};
 5576# 24 "include/net/rtnetlink.h"
 5577struct rtnl_link_ops {
 5578   struct list_head list ;
 5579   char const *kind ;
 5580   size_t priv_size ;
 5581   void (*setup)(struct net_device * ) ;
 5582   int maxtype ;
 5583   struct nla_policy const *policy ;
 5584   int (*validate)(struct nlattr ** , struct nlattr ** ) ;
 5585   int (*newlink)(struct net * , struct net_device * , struct nlattr ** , struct nlattr ** ) ;
 5586   int (*changelink)(struct net_device * , struct nlattr ** , struct nlattr ** ) ;
 5587   void (*dellink)(struct net_device * , struct list_head * ) ;
 5588   size_t (*get_size)(struct net_device const * ) ;
 5589   int (*fill_info)(struct sk_buff * , struct net_device const * ) ;
 5590   size_t (*get_xstats_size)(struct net_device const * ) ;
 5591   int (*fill_xstats)(struct sk_buff * , struct net_device const * ) ;
 5592   int (*get_tx_queues)(struct net * , struct nlattr ** , unsigned int * , unsigned int * ) ;
 5593};
 5594# 127 "include/net/rtnetlink.h"
 5595struct neigh_table;
 5596# 127 "include/net/rtnetlink.h"
 5597struct neigh_table;
 5598# 127 "include/net/rtnetlink.h"
 5599struct neigh_parms {
 5600   struct net *net ;
 5601   struct net_device *dev ;
 5602   struct neigh_parms *next ;
 5603   int (*neigh_setup)(struct neighbour * ) ;
 5604   void (*neigh_cleanup)(struct neighbour * ) ;
 5605   struct neigh_table *tbl ;
 5606   void *sysctl_table ;
 5607   int dead ;
 5608   atomic_t refcnt ;
 5609   struct rcu_head rcu_head ;
 5610   int base_reachable_time ;
 5611   int retrans_time ;
 5612   int gc_staletime ;
 5613   int reachable_time ;
 5614   int delay_probe_time ;
 5615   int queue_len ;
 5616   int ucast_probes ;
 5617   int app_probes ;
 5618   int mcast_probes ;
 5619   int anycast_delay ;
 5620   int proxy_delay ;
 5621   int proxy_qlen ;
 5622   int locktime ;
 5623};
 5624# 71 "include/net/neighbour.h"
 5625struct neigh_statistics {
 5626   unsigned long allocs ;
 5627   unsigned long destroys ;
 5628   unsigned long hash_grows ;
 5629   unsigned long res_failed ;
 5630   unsigned long lookups ;
 5631   unsigned long hits ;
 5632   unsigned long rcv_probes_mcast ;
 5633   unsigned long rcv_probes_ucast ;
 5634   unsigned long periodic_gc_runs ;
 5635   unsigned long forced_gc_runs ;
 5636   unsigned long unres_discards ;
 5637};
 5638# 90 "include/net/neighbour.h"
 5639struct neigh_ops;
 5640# 90 "include/net/neighbour.h"
 5641struct neigh_ops;
 5642# 90 "include/net/neighbour.h"
 5643struct neighbour {
 5644   struct neighbour *next ;
 5645   struct neigh_table *tbl ;
 5646   struct neigh_parms *parms ;
 5647   unsigned long confirmed ;
 5648   unsigned long updated ;
 5649   rwlock_t lock ;
 5650   atomic_t refcnt ;
 5651   struct sk_buff_head arp_queue ;
 5652   struct timer_list timer ;
 5653   unsigned long used ;
 5654   atomic_t probes ;
 5655   __u8 flags ;
 5656   __u8 nud_state ;
 5657   __u8 type ;
 5658   __u8 dead ;
 5659   seqlock_t ha_lock ;
 5660   unsigned char ha[32U] ;
 5661   struct hh_cache *hh ;
 5662   int (*output)(struct sk_buff * ) ;
 5663   struct neigh_ops const *ops ;
 5664   struct rcu_head rcu ;
 5665   struct net_device *dev ;
 5666   u8 primary_key[0U] ;
 5667};
 5668# 118 "include/net/neighbour.h"
 5669struct neigh_ops {
 5670   int family ;
 5671   void (*solicit)(struct neighbour * , struct sk_buff * ) ;
 5672   void (*error_report)(struct neighbour * , struct sk_buff * ) ;
 5673   int (*output)(struct sk_buff * ) ;
 5674   int (*connected_output)(struct sk_buff * ) ;
 5675   int (*hh_output)(struct sk_buff * ) ;
 5676   int (*queue_xmit)(struct sk_buff * ) ;
 5677};
 5678# 128 "include/net/neighbour.h"
 5679struct pneigh_entry {
 5680   struct pneigh_entry *next ;
 5681   struct net *net ;
 5682   struct net_device *dev ;
 5683   u8 flags ;
 5684   u8 key[0U] ;
 5685};
 5686# 138 "include/net/neighbour.h"
 5687struct neigh_hash_table {
 5688   struct neighbour **hash_buckets ;
 5689   unsigned int hash_mask ;
 5690   __u32 hash_rnd ;
 5691   struct rcu_head rcu ;
 5692};
 5693# 149 "include/net/neighbour.h"
 5694struct neigh_table {
 5695   struct neigh_table *next ;
 5696   int family ;
 5697   int entry_size ;
 5698   int key_len ;
 5699   __u32 (*hash)(void const * , struct net_device const * , __u32 ) ;
 5700   int (*constructor)(struct neighbour * ) ;
 5701   int (*pconstructor)(struct pneigh_entry * ) ;
 5702   void (*pdestructor)(struct pneigh_entry * ) ;
 5703   void (*proxy_redo)(struct sk_buff * ) ;
 5704   char *id ;
 5705   struct neigh_parms parms ;
 5706   int gc_interval ;
 5707   int gc_thresh1 ;
 5708   int gc_thresh2 ;
 5709   int gc_thresh3 ;
 5710   unsigned long last_flush ;
 5711   struct delayed_work gc_work ;
 5712   struct timer_list proxy_timer ;
 5713   struct sk_buff_head proxy_queue ;
 5714   atomic_t entries ;
 5715   rwlock_t lock ;
 5716   unsigned long last_rand ;
 5717   struct kmem_cache *kmem_cachep ;
 5718   struct neigh_statistics *stats ;
 5719   struct neigh_hash_table *nht ;
 5720   struct pneigh_entry **phash_buckets ;
 5721};
 5722# 394 "include/net/neighbour.h"
 5723struct dn_route;
 5724# 394 "include/net/neighbour.h"
 5725struct dn_route;
 5726# 394 "include/net/neighbour.h"
 5727union __anonunion_ldv_37274_200 {
 5728   struct dst_entry *next ;
 5729   struct rtable *rt_next ;
 5730   struct rt6_info *rt6_next ;
 5731   struct dn_route *dn_next ;
 5732};
 5733# 394 "include/net/neighbour.h"
 5734struct dst_entry {
 5735   struct rcu_head rcu_head ;
 5736   struct dst_entry *child ;
 5737   struct net_device *dev ;
 5738   struct dst_ops *ops ;
 5739   unsigned long _metrics ;
 5740   unsigned long expires ;
 5741   struct dst_entry *path ;
 5742   struct neighbour *neighbour ;
 5743   struct hh_cache *hh ;
 5744   struct xfrm_state *xfrm ;
 5745   int (*input)(struct sk_buff * ) ;
 5746   int (*output)(struct sk_buff * ) ;
 5747   short error ;
 5748   short obsolete ;
 5749   unsigned short header_len ;
 5750   unsigned short trailer_len ;
 5751   __u32 tclassid ;
 5752   long __pad_to_align_refcnt[1U] ;
 5753   atomic_t __refcnt ;
 5754   int __use ;
 5755   unsigned long lastuse ;
 5756   int flags ;
 5757   union __anonunion_ldv_37274_200 ldv_37274 ;
 5758};
 5759# 101 "include/net/sock.h"
 5760struct __anonstruct_socket_lock_t_201 {
 5761   spinlock_t slock ;
 5762   int owned ;
 5763   wait_queue_head_t wq ;
 5764   struct lockdep_map dep_map ;
 5765};
 5766# 101 "include/net/sock.h"
 5767typedef struct __anonstruct_socket_lock_t_201 socket_lock_t;
 5768# 101 "include/net/sock.h"
 5769struct proto;
 5770# 101 "include/net/sock.h"
 5771struct proto;
 5772# 101 "include/net/sock.h"
 5773struct proto;
 5774# 102 "include/net/sock.h"
 5775union __anonunion_ldv_37475_202 {
 5776   unsigned int skc_hash ;
 5777   __u16 skc_u16hashes[2U] ;
 5778};
 5779# 102 "include/net/sock.h"
 5780union __anonunion_ldv_37483_203 {
 5781   struct hlist_node skc_bind_node ;
 5782   struct hlist_nulls_node skc_portaddr_node ;
 5783};
 5784# 102 "include/net/sock.h"
 5785union __anonunion_ldv_37490_204 {
 5786   struct hlist_node skc_node ;
 5787   struct hlist_nulls_node skc_nulls_node ;
 5788};
 5789# 102 "include/net/sock.h"
 5790struct sock_common {
 5791   __be32 skc_daddr ;
 5792   __be32 skc_rcv_saddr ;
 5793   union __anonunion_ldv_37475_202 ldv_37475 ;
 5794   unsigned short skc_family ;
 5795   unsigned char volatile skc_state ;
 5796   unsigned char skc_reuse ;
 5797   int skc_bound_dev_if ;
 5798   union __anonunion_ldv_37483_203 ldv_37483 ;
 5799   struct proto *skc_prot ;
 5800   struct net *skc_net ;
 5801   int skc_dontcopy_begin[0U] ;
 5802   union __anonunion_ldv_37490_204 ldv_37490 ;
 5803   int skc_tx_queue_mapping ;
 5804   atomic_t skc_refcnt ;
 5805   int skc_dontcopy_end[0U] ;
 5806};
 5807# 168 "include/net/sock.h"
 5808struct __anonstruct_sk_backlog_205 {
 5809   atomic_t rmem_alloc ;
 5810   int len ;
 5811   struct sk_buff *head ;
 5812   struct sk_buff *tail ;
 5813};
 5814# 168 "include/net/sock.h"
 5815struct sock {
 5816   struct sock_common __sk_common ;
 5817   socket_lock_t sk_lock ;
 5818   struct sk_buff_head sk_receive_queue ;
 5819   struct __anonstruct_sk_backlog_205 sk_backlog ;
 5820   int sk_forward_alloc ;
 5821   __u32 sk_rxhash ;
 5822   atomic_t sk_drops ;
 5823   int sk_rcvbuf ;
 5824   struct sk_filter *sk_filter ;
 5825   struct socket_wq *sk_wq ;
 5826   struct sk_buff_head sk_async_wait_queue ;
 5827   struct xfrm_policy *sk_policy[2U] ;
 5828   unsigned long sk_flags ;
 5829   struct dst_entry *sk_dst_cache ;
 5830   spinlock_t sk_dst_lock ;
 5831   atomic_t sk_wmem_alloc ;
 5832   atomic_t sk_omem_alloc ;
 5833   int sk_sndbuf ;
 5834   struct sk_buff_head sk_write_queue ;
 5835   unsigned char sk_shutdown : 2 ;
 5836   unsigned char sk_no_check : 2 ;
 5837   unsigned char sk_userlocks : 4 ;
 5838   unsigned char sk_protocol ;
 5839   unsigned short sk_type ;
 5840   int sk_wmem_queued ;
 5841   gfp_t sk_allocation ;
 5842   int sk_route_caps ;
 5843   int sk_route_nocaps ;
 5844   int sk_gso_type ;
 5845   unsigned int sk_gso_max_size ;
 5846   int sk_rcvlowat ;
 5847   unsigned long sk_lingertime ;
 5848   struct sk_buff_head sk_error_queue ;
 5849   struct proto *sk_prot_creator ;
 5850   rwlock_t sk_callback_lock ;
 5851   int sk_err ;
 5852   int sk_err_soft ;
 5853   unsigned short sk_ack_backlog ;
 5854   unsigned short sk_max_ack_backlog ;
 5855   __u32 sk_priority ;
 5856   struct pid *sk_peer_pid ;
 5857   struct cred const *sk_peer_cred ;
 5858   long sk_rcvtimeo ;
 5859   long sk_sndtimeo ;
 5860   void *sk_protinfo ;
 5861   struct timer_list sk_timer ;
 5862   ktime_t sk_stamp ;
 5863   struct socket *sk_socket ;
 5864   void *sk_user_data ;
 5865   struct page *sk_sndmsg_page ;
 5866   struct sk_buff *sk_send_head ;
 5867   __u32 sk_sndmsg_off ;
 5868   int sk_write_pending ;
 5869   void *sk_security ;
 5870   __u32 sk_mark ;
 5871   u32 sk_classid ;
 5872   void (*sk_state_change)(struct sock * ) ;
 5873   void (*sk_data_ready)(struct sock * , int ) ;
 5874   void (*sk_write_space)(struct sock * ) ;
 5875   void (*sk_error_report)(struct sock * ) ;
 5876   int (*sk_backlog_rcv)(struct sock * , struct sk_buff * ) ;
 5877   void (*sk_destruct)(struct sock * ) ;
 5878};
 5879# 716 "include/net/sock.h"
 5880struct request_sock_ops;
 5881# 716 "include/net/sock.h"
 5882struct request_sock_ops;
 5883# 716 "include/net/sock.h"
 5884struct request_sock_ops;
 5885# 717 "include/net/sock.h"
 5886struct timewait_sock_ops;
 5887# 717 "include/net/sock.h"
 5888struct timewait_sock_ops;
 5889# 717 "include/net/sock.h"
 5890struct timewait_sock_ops;
 5891# 718 "include/net/sock.h"
 5892struct inet_hashinfo;
 5893# 718 "include/net/sock.h"
 5894struct inet_hashinfo;
 5895# 718 "include/net/sock.h"
 5896struct inet_hashinfo;
 5897# 719 "include/net/sock.h"
 5898struct raw_hashinfo;
 5899# 719 "include/net/sock.h"
 5900struct raw_hashinfo;
 5901# 719 "include/net/sock.h"
 5902struct raw_hashinfo;
 5903# 720 "include/net/sock.h"
 5904struct udp_table;
 5905# 720 "include/net/sock.h"
 5906struct udp_table;
 5907# 720 "include/net/sock.h"
 5908union __anonunion_h_206 {
 5909   struct inet_hashinfo *hashinfo ;
 5910   struct udp_table *udp_table ;
 5911   struct raw_hashinfo *raw_hash ;
 5912};
 5913# 720 "include/net/sock.h"
 5914struct proto {
 5915   void (*close)(struct sock * , long ) ;
 5916   int (*connect)(struct sock * , struct sockaddr * , int ) ;
 5917   int (*disconnect)(struct sock * , int ) ;
 5918   struct sock *(*accept)(struct sock * , int , int * ) ;
 5919   int (*ioctl)(struct sock * , int , unsigned long ) ;
 5920   int (*init)(struct sock * ) ;
 5921   void (*destroy)(struct sock * ) ;
 5922   void (*shutdown)(struct sock * , int ) ;
 5923   int (*setsockopt)(struct sock * , int , int , char * , unsigned int ) ;
 5924   int (*getsockopt)(struct sock * , int , int , char * , int * ) ;
 5925   int (*compat_setsockopt)(struct sock * , int , int , char * , unsigned int ) ;
 5926   int (*compat_getsockopt)(struct sock * , int , int , char * , int * ) ;
 5927   int (*compat_ioctl)(struct sock * , unsigned int , unsigned long ) ;
 5928   int (*sendmsg)(struct kiocb * , struct sock * , struct msghdr * , size_t ) ;
 5929   int (*recvmsg)(struct kiocb * , struct sock * , struct msghdr * , size_t , int ,
 5930                  int , int * ) ;
 5931   int (*sendpage)(struct sock * , struct page * , int , size_t , int ) ;
 5932   int (*bind)(struct sock * , struct sockaddr * , int ) ;
 5933   int (*backlog_rcv)(struct sock * , struct sk_buff * ) ;
 5934   void (*hash)(struct sock * ) ;
 5935   void (*unhash)(struct sock * ) ;
 5936   void (*rehash)(struct sock * ) ;
 5937   int (*get_port)(struct sock * , unsigned short ) ;
 5938   void (*clear_sk)(struct sock * , int ) ;
 5939   unsigned int inuse_idx ;
 5940   void (*enter_memory_pressure)(struct sock * ) ;
 5941   atomic_long_t *memory_allocated ;
 5942   struct percpu_counter *sockets_allocated ;
 5943   int *memory_pressure ;
 5944   long *sysctl_mem ;
 5945   int *sysctl_wmem ;
 5946   int *sysctl_rmem ;
 5947   int max_header ;
 5948   bool no_autobind ;
 5949   struct kmem_cache *slab ;
 5950   unsigned int obj_size ;
 5951   int slab_flags ;
 5952   struct percpu_counter *orphan_count ;
 5953   struct request_sock_ops *rsk_prot ;
 5954   struct timewait_sock_ops *twsk_prot ;
 5955   union __anonunion_h_206 h ;
 5956   struct module *owner ;
 5957   char name[32U] ;
 5958   struct list_head node ;
 5959};
 5960# 169 "include/linux/jhash.h"
 5961struct request_values {
 5962
 5963};
 5964# 172 "include/linux/jhash.h"
 5965struct request_sock_ops {
 5966   int family ;
 5967   int obj_size ;
 5968   struct kmem_cache *slab ;
 5969   char *slab_name ;
 5970   int (*rtx_syn_ack)(struct sock * , struct request_sock * , struct request_values * ) ;
 5971   void (*send_ack)(struct sock * , struct sk_buff * , struct request_sock * ) ;
 5972   void (*send_reset)(struct sock * , struct sk_buff * ) ;
 5973   void (*destructor)(struct request_sock * ) ;
 5974   void (*syn_ack_timeout)(struct sock * , struct request_sock * ) ;
 5975};
 5976# 50 "include/net/request_sock.h"
 5977struct request_sock {
 5978   struct request_sock *dl_next ;
 5979   u16 mss ;
 5980   u8 retrans ;
 5981   u8 cookie_ts ;
 5982   u32 window_clamp ;
 5983   u32 rcv_wnd ;
 5984   u32 ts_recent ;
 5985   unsigned long expires ;
 5986   struct request_sock_ops const *rsk_ops ;
 5987   struct sock *sk ;
 5988   u32 secid ;
 5989   u32 peer_secid ;
 5990};
 5991# 367 "include/net/inet_connection_sock.h"
 5992struct timewait_sock_ops {
 5993   struct kmem_cache *twsk_slab ;
 5994   char *twsk_slab_name ;
 5995   unsigned int twsk_obj_size ;
 5996   int (*twsk_unique)(struct sock * , struct sock * , void * ) ;
 5997   void (*twsk_destructor)(struct sock * ) ;
 5998   void *(*twsk_getpeer)(struct sock * ) ;
 5999};
 6000# 119 "include/net/slhc_vj.h"
 6001typedef __u8 byte_t;
 6002# 120 "include/net/slhc_vj.h"
 6003typedef __u32 int32;
 6004# 121 "include/net/slhc_vj.h"
 6005struct cstate {
 6006   byte_t cs_this ;
 6007   struct cstate *next ;
 6008   struct iphdr cs_ip ;
 6009   struct tcphdr cs_tcp ;
 6010   unsigned char cs_ipopt[64U] ;
 6011   unsigned char cs_tcpopt[64U] ;
 6012   int cs_hsize ;
 6013};
 6014# 137 "include/net/slhc_vj.h"
 6015struct slcompress {
 6016   struct cstate *tstate ;
 6017   struct cstate *rstate ;
 6018   byte_t tslot_limit ;
 6019   byte_t rslot_limit ;
 6020   byte_t xmit_oldest ;
 6021   byte_t xmit_current ;
 6022   byte_t recv_current ;
 6023   byte_t flags ;
 6024   int32 sls_o_nontcp ;
 6025   int32 sls_o_tcp ;
 6026   int32 sls_o_uncompressed ;
 6027   int32 sls_o_compressed ;
 6028   int32 sls_o_searches ;
 6029   int32 sls_o_misses ;
 6030   int32 sls_i_uncompressed ;
 6031   int32 sls_i_compressed ;
 6032   int32 sls_i_error ;
 6033   int32 sls_i_tossed ;
 6034   int32 sls_i_runt ;
 6035   int32 sls_i_badcheck ;
 6036};
 6037# 182 "include/net/slhc_vj.h"
 6038struct mnt_namespace;
 6039# 182 "include/net/slhc_vj.h"
 6040struct mnt_namespace;
 6041# 182 "include/net/slhc_vj.h"
 6042struct mnt_namespace;
 6043# 183 "include/net/slhc_vj.h"
 6044struct ipc_namespace;
 6045# 183 "include/net/slhc_vj.h"
 6046struct ipc_namespace;
 6047# 183 "include/net/slhc_vj.h"
 6048struct ipc_namespace;
 6049# 184 "include/net/slhc_vj.h"
 6050struct nsproxy {
 6051   atomic_t count ;
 6052   struct uts_namespace *uts_ns ;
 6053   struct ipc_namespace *ipc_ns ;
 6054   struct mnt_namespace *mnt_ns ;
 6055   struct pid_namespace *pid_ns ;
 6056   struct net *net_ns ;
 6057};
 6058# 83 "include/linux/nsproxy.h"
 6059struct net_generic {
 6060   unsigned int len ;
 6061   struct rcu_head rcu ;
 6062   void *ptr[0U] ;
 6063};
 6064# 46 "include/net/netns/generic.h"
 6065enum ldv_27071 {
 6066    INTERFACE = 1,
 6067    CHANNEL = 2
 6068} ;
 6069# 51 "include/net/netns/generic.h"
 6070struct ppp_file {
 6071   enum ldv_27071 kind ;
 6072   struct sk_buff_head xq ;
 6073   struct sk_buff_head rq ;
 6074   wait_queue_head_t rwait ;
 6075   atomic_t refcnt ;
 6076   int hdrlen ;
 6077   int index ;
 6078   int dead ;
 6079};
 6080# 98 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/net/ppp_generic.c.p"
 6081struct ppp {
 6082   struct ppp_file file ;
 6083   struct file *owner ;
 6084   struct list_head channels ;
 6085   int n_channels ;
 6086   spinlock_t rlock ;
 6087   spinlock_t wlock ;
 6088   int mru ;
 6089   unsigned int flags ;
 6090   unsigned int xstate ;
 6091   unsigned int rstate ;
 6092   int debug ;
 6093   struct slcompress *vj ;
 6094   enum NPmode npmode[6U] ;
 6095   struct sk_buff *xmit_pending ;
 6096   struct compressor *xcomp ;
 6097   void *xc_state ;
 6098   struct compressor *rcomp ;
 6099   void *rc_state ;
 6100   unsigned long last_xmit ;
 6101   unsigned long last_recv ;
 6102   struct net_device *dev ;
 6103   int closing ;
 6104   int nxchan ;
 6105   u32 nxseq ;
 6106   int mrru ;
 6107   u32 nextseq ;
 6108   u32 minseq ;
 6109   struct sk_buff_head mrq ;
 6110   struct sock_filter *pass_filter ;
 6111   struct sock_filter *active_filter ;
 6112   unsigned int pass_len ;
 6113   unsigned int active_len ;
 6114   struct net *ppp_net ;
 6115};
 6116# 148 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/net/ppp_generic.c.p"
 6117struct channel {
 6118   struct ppp_file file ;
 6119   struct list_head list ;
 6120   struct ppp_channel *chan ;
 6121   struct rw_semaphore chan_sem ;
 6122   spinlock_t downl ;
 6123   struct ppp *ppp ;
 6124   struct net *chan_net ;
 6125   struct list_head clist ;
 6126   rwlock_t upl ;
 6127   u8 avail ;
 6128   u8 had_frag ;
 6129   u32 lastseq ;
 6130   int speed ;
 6131};
 6132# 197 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/net/ppp_generic.c.p"
 6133struct ppp_net {
 6134   struct idr units_idr ;
 6135   struct mutex all_ppp_mutex ;
 6136   struct list_head all_channels ;
 6137   struct list_head new_channels ;
 6138   int last_channel_index ;
 6139   spinlock_t all_channels_lock ;
 6140};
 6141# 1561 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/net/ppp_generic.c.p"
 6142struct ppp_mp_skb_parm {
 6143   u32 sequence ;
 6144   u8 BEbits ;
 6145};
 6146# 2469 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/ppp_generic.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/net/ppp_generic.c.p"
 6147struct compressor_entry {
 6148   struct list_head list ;
 6149   struct compressor *comp ;
 6150};
 6151# 1 "<compiler builtins>"
 6152
 6153# 1 "<compiler builtins>"
 6154
 6155# 1 "<compiler builtins>"
 6156
 6157# 24 "include/linux/list.h"
 6158__inline static void INIT_LIST_HEAD(struct list_head *list )
 6159{
 6160
 6161  {
 6162# 26 "include/linux/list.h"
 6163  list->next = list;
 6164# 27 "include/linux/list.h"
 6165  list->prev = list;
 6166# 28 "include/linux/list.h"
 6167  return;
 6168}
 6169}
 6170# 47 "include/linux/list.h"
 6171extern void __list_add(struct list_head * , struct list_head * , struct list_head * ) ;
 6172# 60 "include/linux/list.h"
 6173__inline static void list_add(struct list_head *new , struct list_head *head )
 6174{
 6175
 6176  {
 6177  {
 6178# 62 "include/linux/list.h"
 6179  __list_add(new, head, head->next);
 6180  }
 6181# 63 "include/linux/list.h"
 6182  return;
 6183}
 6184}
 6185# 74 "include/linux/list.h"
 6186__inline static void list_add_tail(struct list_head *new , struct list_head *head )
 6187{
 6188
 6189  {
 6190  {
 6191# 76 "include/linux/list.h"
 6192  __list_add(new, head->prev, head);
 6193  }
 6194# 77 "include/linux/list.h"
 6195  return;
 6196}
 6197}
 6198# 111 "include/linux/list.h"
 6199extern void __list_del_entry(struct list_head * ) ;
 6200# 112 "include/linux/list.h"
 6201extern void list_del(struct list_head * ) ;
 6202# 153 "include/linux/list.h"
 6203__inline static void list_move(struct list_head *list , struct list_head *head )
 6204{
 6205
 6206  {
 6207  {
 6208# 155 "include/linux/list.h"
 6209  __list_del_entry(list);
 6210# 156 "include/linux/list.h"
 6211  list_add(list, head);
 6212  }
 6213# 157 "include/linux/list.h"
 6214  return;
 6215}
 6216}
 6217# 186 "include/linux/list.h"
 6218__inline static int list_empty(struct list_head const *head )
 6219{
 6220
 6221  {
 6222# 188 "include/linux/list.h"
 6223  return ((unsigned long )((struct list_head const *)head->next) == (unsigned long )head);
 6224}
 6225}
 6226# 60 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6227__inline static void set_bit(unsigned int nr , unsigned long volatile *addr )
 6228{
 6229
 6230  {
 6231# 68 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6232  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory");
 6233# 70 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6234  return;
 6235}
 6236}
 6237# 98 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6238__inline static void clear_bit(int nr , unsigned long volatile *addr )
 6239{
 6240
 6241  {
 6242# 105 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6243  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr));
 6244# 107 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6245  return;
 6246}
 6247}
 6248# 246 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6249__inline static int test_and_clear_bit(int nr , unsigned long volatile *addr )
 6250{ int oldbit ;
 6251
 6252  {
 6253# 250 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6254  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; btr %2,%1\n\tsbb %0,%0": "=r" (oldbit),
 6255                       "+m" (*((long volatile *)addr)): "Ir" (nr): "memory");
 6256# 254 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6257  return (oldbit);
 6258}
 6259}
 6260# 315 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6261__inline static int variable_test_bit(int nr , unsigned long const volatile *addr )
 6262{ int oldbit ;
 6263
 6264  {
 6265# 319 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6266  __asm__ volatile ("bt %2,%1\n\tsbb %0,%0": "=r" (oldbit): "m" (*((unsigned long *)addr)),
 6267                       "Ir" (nr));
 6268# 324 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 6269  return (oldbit);
 6270}
 6271}
 6272# 46 "include/linux/swab.h"
 6273__inline static __u16 __fswab16(__u16 val )
 6274{
 6275
 6276  {
 6277# 51 "include/linux/swab.h"
 6278  return ((__u16 )((int )((short )((int )val << 8)) | (int )((short )((int )val >> 8))));
 6279}
 6280}
 6281# 148 "include/linux/swab.h"
 6282__inline static __u16 __swab16p(__u16 const *p )
 6283{ __u16 tmp ;
 6284
 6285  {
 6286  {
 6287# 153 "include/linux/swab.h"
 6288  tmp = __fswab16((__u16 )((int )*p));
 6289  }
 6290# 153 "include/linux/swab.h"
 6291  return (tmp);
 6292}
 6293}
 6294# 87 "include/linux/byteorder/little_endian.h"
 6295__inline static __u16 __be16_to_cpup(__be16 const *p )
 6296{ __u16 tmp ;
 6297
 6298  {
 6299  {
 6300# 89 "include/linux/byteorder/little_endian.h"
 6301  tmp = __swab16p(p);
 6302  }
 6303# 89 "include/linux/byteorder/little_endian.h"
 6304  return (tmp);
 6305}
 6306}
 6307# 101 "include/linux/printk.h"
 6308extern int printk(char const * , ...) ;
 6309# 64 "include/asm-generic/bug.h"
 6310extern void warn_slowpath_fmt(char const * , int const , char const * , ...) ;
 6311# 69 "include/asm-generic/bug.h"
 6312extern void warn_slowpath_null(char const * , int const ) ;
 6313# 170 "include/linux/kernel.h"
 6314extern void might_fault(void) ;
 6315