Showing error 558

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