Showing error 555

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--tokenring--abyss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 7970
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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