Showing error 110

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.i
Line in file: 10775
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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