Showing error 165

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-atm-eni.ko-safe.cil.out.i.pp.cil.c
Line in file: 21665
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC


Source:

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