Showing error 101

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-atl1c-atl1c.ko_safe.cil.out.i.pp.cil.c
Line in file: 13837
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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