Showing error 66

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