Showing error 1145

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--net--tokenring--abyss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 7602
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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