Showing error 106

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-drivers/module_get_put-drivers-net-pppox.ko_safe.cil.out.i.pp.i
Line in file: 6169
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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