Showing error 187

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