Showing error 567

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 8158
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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