Showing error 556

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