Showing error 530

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--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 6683
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 46 "include/linux/delay.h"
5944extern void msleep(unsigned int msecs ) ;
5945#line 251 "include/linux/net.h"
5946extern int net_ratelimit(void) ;
5947#line 59 "include/net/irda/irda.h"
5948extern unsigned int irda_debug ;
5949#line 90 "include/net/irda/qos.h"
5950extern void irda_qos_bits_to_value(struct qos_info *qos ) ;
5951#line 105 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/net/irda/sir-dev.h"
5952extern int irda_register_dongle(struct dongle_driver *new ) ;
5953#line 106
5954extern int irda_unregister_dongle(struct dongle_driver *drv ) ;
5955#line 116
5956extern int sirdev_raw_write(struct sir_dev *dev , char const   *buf , int len ) ;
5957#line 117
5958extern int sirdev_raw_read(struct sir_dev *dev , char *buf , int len ) ;
5959#line 118
5960extern int sirdev_set_dtr_rts(struct sir_dev *dev , int dtr , int rts ) ;
5961#line 43 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
5962static int ma600_open(struct sir_dev *dev ) ;
5963#line 44
5964static int ma600_close(struct sir_dev *dev ) ;
5965#line 45
5966static int ma600_change_speed(struct sir_dev *dev , unsigned int speed ) ;
5967#line 46
5968static int ma600_reset(struct sir_dev *dev ) ;
5969#line 58 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
5970static struct dongle_driver ma600  = 
5971#line 58
5972     {& __this_module, "MA600", (IRDA_DONGLE )11, & ma600_open, & ma600_close, & ma600_reset,
5973    & ma600_change_speed, {(struct list_head *)0, (struct list_head *)0}};
5974#line 69
5975static int ma600_sir_init(void)  __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
5976#line 69 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
5977static int ma600_sir_init(void) 
5978{ int tmp___7 ;
5979
5980  {
5981  {
5982#line 71
5983  while (1) {
5984    while_continue: /* CIL Label */ ;
5985#line 71
5986    if (irda_debug >= 2U) {
5987      {
5988#line 71
5989      printk("<7>%s()\n", "ma600_sir_init");
5990      }
5991    } else {
5992
5993    }
5994#line 71
5995    goto while_break;
5996  }
5997  while_break: /* CIL Label */ ;
5998  }
5999  {
6000#line 72
6001  tmp___7 = irda_register_dongle(& ma600);
6002  }
6003#line 72
6004  return (tmp___7);
6005}
6006}
6007#line 75
6008static void ma600_sir_cleanup(void)  __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
6009#line 75 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6010static void ma600_sir_cleanup(void) 
6011{ 
6012
6013  {
6014  {
6015#line 77
6016  while (1) {
6017    while_continue: /* CIL Label */ ;
6018#line 77
6019    if (irda_debug >= 2U) {
6020      {
6021#line 77
6022      printk("<7>%s()\n", "ma600_sir_cleanup");
6023      }
6024    } else {
6025
6026    }
6027#line 77
6028    goto while_break;
6029  }
6030  while_break: /* CIL Label */ ;
6031  }
6032  {
6033#line 78
6034  irda_unregister_dongle(& ma600);
6035  }
6036#line 79
6037  return;
6038}
6039}
6040#line 88 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6041static int ma600_open(struct sir_dev *dev ) 
6042{ struct qos_info *qos ;
6043  unsigned long __cil_tmp3 ;
6044  unsigned long __cil_tmp4 ;
6045  unsigned long __cil_tmp5 ;
6046  unsigned long __cil_tmp6 ;
6047  unsigned long __cil_tmp7 ;
6048  unsigned long __cil_tmp8 ;
6049  unsigned long __cil_tmp9 ;
6050  unsigned long __cil_tmp10 ;
6051  __u16 __cil_tmp11 ;
6052  int __cil_tmp12 ;
6053  int __cil_tmp13 ;
6054  unsigned long __cil_tmp14 ;
6055  unsigned long __cil_tmp15 ;
6056  unsigned long __cil_tmp16 ;
6057
6058  {
6059#line 90
6060  __cil_tmp3 = (unsigned long )dev;
6061#line 90
6062  __cil_tmp4 = __cil_tmp3 + 16;
6063#line 90
6064  qos = (struct qos_info *)__cil_tmp4;
6065  {
6066#line 92
6067  while (1) {
6068    while_continue: /* CIL Label */ ;
6069#line 92
6070    if (irda_debug >= 2U) {
6071      {
6072#line 92
6073      printk("<7>%s()\n", "ma600_open");
6074      }
6075    } else {
6076
6077    }
6078#line 92
6079    goto while_break;
6080  }
6081  while_break: /* CIL Label */ ;
6082  }
6083  {
6084#line 94
6085  sirdev_set_dtr_rts(dev, 1, 1);
6086#line 97
6087  __cil_tmp5 = 4 + 4;
6088#line 97
6089  __cil_tmp6 = (unsigned long )qos;
6090#line 97
6091  __cil_tmp7 = __cil_tmp6 + __cil_tmp5;
6092#line 97
6093  __cil_tmp8 = 4 + 4;
6094#line 97
6095  __cil_tmp9 = (unsigned long )qos;
6096#line 97
6097  __cil_tmp10 = __cil_tmp9 + __cil_tmp8;
6098#line 97
6099  __cil_tmp11 = *((__u16 *)__cil_tmp10);
6100#line 97
6101  __cil_tmp12 = (int )__cil_tmp11;
6102#line 97
6103  __cil_tmp13 = __cil_tmp12 & 63;
6104#line 97
6105  *((__u16 *)__cil_tmp7) = (__u16 )__cil_tmp13;
6106#line 100
6107  __cil_tmp14 = 44 + 4;
6108#line 100
6109  __cil_tmp15 = (unsigned long )qos;
6110#line 100
6111  __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
6112#line 100
6113  *((__u16 *)__cil_tmp16) = (__u16 )1;
6114#line 101
6115  irda_qos_bits_to_value(qos);
6116  }
6117#line 105
6118  return (0);
6119}
6120}
6121#line 108 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6122static int ma600_close(struct sir_dev *dev ) 
6123{ 
6124
6125  {
6126  {
6127#line 110
6128  while (1) {
6129    while_continue: /* CIL Label */ ;
6130#line 110
6131    if (irda_debug >= 2U) {
6132      {
6133#line 110
6134      printk("<7>%s()\n", "ma600_close");
6135      }
6136    } else {
6137
6138    }
6139#line 110
6140    goto while_break;
6141  }
6142  while_break: /* CIL Label */ ;
6143  }
6144  {
6145#line 113
6146  sirdev_set_dtr_rts(dev, 0, 0);
6147  }
6148#line 115
6149  return (0);
6150}
6151}
6152#line 118 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6153static __u8 get_control_byte(__u32 speed ) 
6154{ __u8 byte ;
6155
6156  {
6157#line 127
6158  if ((int )speed == 57600) {
6159#line 127
6160    goto case_57600;
6161  } else
6162#line 130
6163  if ((int )speed == 38400) {
6164#line 130
6165    goto case_38400;
6166  } else
6167#line 133
6168  if ((int )speed == 19200) {
6169#line 133
6170    goto case_19200;
6171  } else
6172#line 136
6173  if ((int )speed == 9600) {
6174#line 136
6175    goto case_9600;
6176  } else
6177#line 139
6178  if ((int )speed == 2400) {
6179#line 139
6180    goto case_2400;
6181  } else {
6182    {
6183#line 123
6184    goto switch_default;
6185#line 122
6186    if (0) {
6187      switch_default: /* CIL Label */ 
6188#line 125
6189      byte = (__u8 )4;
6190#line 126
6191      goto switch_break;
6192      case_57600: /* CIL Label */ 
6193#line 128
6194      byte = (__u8 )3;
6195#line 129
6196      goto switch_break;
6197      case_38400: /* CIL Label */ 
6198#line 131
6199      byte = (__u8 )2;
6200#line 132
6201      goto switch_break;
6202      case_19200: /* CIL Label */ 
6203#line 134
6204      byte = (__u8 )1;
6205#line 135
6206      goto switch_break;
6207      case_9600: /* CIL Label */ 
6208#line 137
6209      byte = (__u8 )0;
6210#line 138
6211      goto switch_break;
6212      case_2400: /* CIL Label */ 
6213#line 140
6214      byte = (__u8 )8;
6215#line 141
6216      goto switch_break;
6217    } else {
6218      switch_break: /* CIL Label */ ;
6219    }
6220    }
6221  }
6222#line 144
6223  return (byte);
6224}
6225}
6226#line 176 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6227static int ma600_change_speed(struct sir_dev *dev , unsigned int speed ) 
6228{ u8 byte ;
6229  __u8 tmp___8 ;
6230  int tmp___9 ;
6231  __u8 tmp___10 ;
6232  unsigned long __cil_tmp9 ;
6233  unsigned long __cil_tmp10 ;
6234  unsigned int __cil_tmp11 ;
6235  u8 *__cil_tmp12 ;
6236  char const   *__cil_tmp13 ;
6237  int __cil_tmp14 ;
6238  char *__cil_tmp15 ;
6239  int __cil_tmp16 ;
6240  int __cil_tmp17 ;
6241  u8 *__cil_tmp18 ;
6242  u8 __cil_tmp19 ;
6243  int __cil_tmp20 ;
6244  u8 *__cil_tmp21 ;
6245  u8 __cil_tmp22 ;
6246  unsigned int __cil_tmp23 ;
6247  unsigned int __cil_tmp24 ;
6248  unsigned long __cil_tmp25 ;
6249  unsigned long __cil_tmp26 ;
6250
6251  {
6252  {
6253#line 180
6254  while (1) {
6255    while_continue: /* CIL Label */ ;
6256#line 180
6257    if (irda_debug >= 2U) {
6258      {
6259#line 180
6260      __cil_tmp9 = (unsigned long )dev;
6261#line 180
6262      __cil_tmp10 = __cil_tmp9 + 336;
6263#line 180
6264      __cil_tmp11 = *((unsigned int *)__cil_tmp10);
6265#line 180
6266      printk("<7>%s(), speed=%d (was %d)\n", "ma600_change_speed", speed, __cil_tmp11);
6267      }
6268    } else {
6269
6270    }
6271#line 180
6272    goto while_break;
6273  }
6274  while_break: /* CIL Label */ ;
6275  }
6276  {
6277#line 186
6278  sirdev_set_dtr_rts(dev, 1, 0);
6279#line 187
6280  __const_udelay(4295000UL);
6281#line 190
6282  __cil_tmp12 = & byte;
6283#line 190
6284  *__cil_tmp12 = get_control_byte(speed);
6285#line 191
6286  __cil_tmp13 = (char const   *)(& byte);
6287#line 191
6288  __cil_tmp14 = (int )1UL;
6289#line 191
6290  sirdev_raw_write(dev, __cil_tmp13, __cil_tmp14);
6291#line 194
6292  msleep(15U);
6293#line 202
6294  __cil_tmp15 = (char *)(& byte);
6295#line 202
6296  __cil_tmp16 = (int )1UL;
6297#line 202
6298  sirdev_raw_read(dev, __cil_tmp15, __cil_tmp16);
6299#line 203
6300  tmp___10 = get_control_byte(speed);
6301  }
6302  {
6303#line 203
6304  __cil_tmp17 = (int )tmp___10;
6305#line 203
6306  __cil_tmp18 = & byte;
6307#line 203
6308  __cil_tmp19 = *__cil_tmp18;
6309#line 203
6310  __cil_tmp20 = (int )__cil_tmp19;
6311#line 203
6312  if (__cil_tmp20 != __cil_tmp17) {
6313    {
6314#line 204
6315    while (1) {
6316      while_continue___0: /* CIL Label */ ;
6317      {
6318#line 204
6319      tmp___9 = net_ratelimit();
6320      }
6321#line 204
6322      if (tmp___9) {
6323        {
6324#line 204
6325        tmp___8 = get_control_byte(speed);
6326#line 204
6327        __cil_tmp21 = & byte;
6328#line 204
6329        __cil_tmp22 = *__cil_tmp21;
6330#line 204
6331        __cil_tmp23 = (unsigned int )__cil_tmp22;
6332#line 204
6333        __cil_tmp24 = (unsigned int )tmp___8;
6334#line 204
6335        printk("<4>%s(): bad control byte read-back %02x != %02x\n", "ma600_change_speed",
6336               __cil_tmp23, __cil_tmp24);
6337        }
6338      } else {
6339
6340      }
6341#line 204
6342      goto while_break___0;
6343    }
6344    while_break___0: /* CIL Label */ ;
6345    }
6346#line 207
6347    return (-1);
6348  } else {
6349    {
6350#line 210
6351    while (1) {
6352      while_continue___1: /* CIL Label */ ;
6353#line 210
6354      if (irda_debug >= 2U) {
6355        {
6356#line 210
6357        printk("<7>%s() control byte write read OK\n", "ma600_change_speed");
6358        }
6359      } else {
6360
6361      }
6362#line 210
6363      goto while_break___1;
6364    }
6365    while_break___1: /* CIL Label */ ;
6366    }
6367  }
6368  }
6369  {
6370#line 214
6371  sirdev_set_dtr_rts(dev, 1, 1);
6372#line 217
6373  msleep(10U);
6374#line 220
6375  __cil_tmp25 = (unsigned long )dev;
6376#line 220
6377  __cil_tmp26 = __cil_tmp25 + 336;
6378#line 220
6379  *((unsigned int *)__cil_tmp26) = speed;
6380  }
6381#line 222
6382  return (0);
6383}
6384}
6385#line 240 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6386static int ma600_reset(struct sir_dev *dev ) 
6387{ unsigned long __cil_tmp2 ;
6388  unsigned long __cil_tmp3 ;
6389
6390  {
6391  {
6392#line 242
6393  while (1) {
6394    while_continue: /* CIL Label */ ;
6395#line 242
6396    if (irda_debug >= 2U) {
6397      {
6398#line 242
6399      printk("<7>%s()\n", "ma600_reset");
6400      }
6401    } else {
6402
6403    }
6404#line 242
6405    goto while_break;
6406  }
6407  while_break: /* CIL Label */ ;
6408  }
6409  {
6410#line 245
6411  sirdev_set_dtr_rts(dev, 0, 1);
6412#line 246
6413  msleep(10U);
6414#line 249
6415  sirdev_set_dtr_rts(dev, 1, 1);
6416#line 250
6417  msleep(10U);
6418#line 252
6419  __cil_tmp2 = (unsigned long )dev;
6420#line 252
6421  __cil_tmp3 = __cil_tmp2 + 336;
6422#line 252
6423  *((unsigned int *)__cil_tmp3) = 9600U;
6424  }
6425#line 254
6426  return (0);
6427}
6428}
6429#line 257 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6430static char const   __mod_author257[70]  __attribute__((__used__, __unused__, __section__(".modinfo"),
6431__aligned__(1)))  = 
6432#line 257
6433  {      (char const   )'a',      (char const   )'u',      (char const   )'t',      (char const   )'h', 
6434        (char const   )'o',      (char const   )'r',      (char const   )'=',      (char const   )'L', 
6435        (char const   )'e',      (char const   )'u',      (char const   )'n',      (char const   )'g', 
6436        (char const   )' ',      (char const   )'<',      (char const   )'9',      (char const   )'5', 
6437        (char const   )'E',      (char const   )'t',      (char const   )'w',      (char const   )'l', 
6438        (char const   )'@',      (char const   )'a',      (char const   )'l',      (char const   )'u', 
6439        (char const   )'m',      (char const   )'n',      (char const   )'i',      (char const   )'.', 
6440        (char const   )'e',      (char const   )'e',      (char const   )'.',      (char const   )'u', 
6441        (char const   )'s',      (char const   )'t',      (char const   )'.',      (char const   )'h', 
6442        (char const   )'k',      (char const   )'>',      (char const   )' ',      (char const   )'h', 
6443        (char const   )'t',      (char const   )'t',      (char const   )'p',      (char const   )':', 
6444        (char const   )'/',      (char const   )'/',      (char const   )'w',      (char const   )'w', 
6445        (char const   )'w',      (char const   )'.',      (char const   )'e',      (char const   )'n', 
6446        (char const   )'g',      (char const   )'s',      (char const   )'v',      (char const   )'r', 
6447        (char const   )'.',      (char const   )'u',      (char const   )'s',      (char const   )'t', 
6448        (char const   )'/',      (char const   )'~',      (char const   )'e',      (char const   )'e', 
6449        (char const   )'t',      (char const   )'w',      (char const   )'l',      (char const   )'9', 
6450        (char const   )'5',      (char const   )'\000'};
6451#line 258 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6452static char const   __mod_description258[44]  __attribute__((__used__, __unused__,
6453__section__(".modinfo"), __aligned__(1)))  = 
6454#line 258
6455  {      (char const   )'d',      (char const   )'e',      (char const   )'s',      (char const   )'c', 
6456        (char const   )'r',      (char const   )'i',      (char const   )'p',      (char const   )'t', 
6457        (char const   )'i',      (char const   )'o',      (char const   )'n',      (char const   )'=', 
6458        (char const   )'M',      (char const   )'A',      (char const   )'6',      (char const   )'0', 
6459        (char const   )'0',      (char const   )' ',      (char const   )'d',      (char const   )'o', 
6460        (char const   )'n',      (char const   )'g',      (char const   )'l',      (char const   )'e', 
6461        (char const   )' ',      (char const   )'d',      (char const   )'r',      (char const   )'i', 
6462        (char const   )'v',      (char const   )'e',      (char const   )'r',      (char const   )' ', 
6463        (char const   )'v',      (char const   )'e',      (char const   )'r',      (char const   )'s', 
6464        (char const   )'i',      (char const   )'o',      (char const   )'n',      (char const   )' ', 
6465        (char const   )'0',      (char const   )'.',      (char const   )'1',      (char const   )'\000'};
6466#line 259 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6467static char const   __mod_license259[12]  __attribute__((__used__, __unused__, __section__(".modinfo"),
6468__aligned__(1)))  = 
6469#line 259
6470  {      (char const   )'l',      (char const   )'i',      (char const   )'c',      (char const   )'e', 
6471        (char const   )'n',      (char const   )'s',      (char const   )'e',      (char const   )'=', 
6472        (char const   )'G',      (char const   )'P',      (char const   )'L',      (char const   )'\000'};
6473#line 260 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/9305/dscv_tempdir/dscv/ri/32_1/drivers/net/irda/ma600-sir.c.common.c"
6474static char const   __mod_alias260[21]  __attribute__((__used__, __unused__, __section__(".modinfo"),
6475__aligned__(1)))  = 
6476