Showing error 113

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