Showing error 528

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


Source:

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