Showing error 477

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--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 6961
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 43 "include/asm-generic/int-ll64.h"
  21typedef unsigned char u8;
  22#line 45 "include/asm-generic/int-ll64.h"
  23typedef short s16;
  24#line 46 "include/asm-generic/int-ll64.h"
  25typedef unsigned short u16;
  26#line 48 "include/asm-generic/int-ll64.h"
  27typedef int s32;
  28#line 49 "include/asm-generic/int-ll64.h"
  29typedef unsigned int u32;
  30#line 51 "include/asm-generic/int-ll64.h"
  31typedef long long s64;
  32#line 52 "include/asm-generic/int-ll64.h"
  33typedef unsigned long long u64;
  34#line 14 "include/asm-generic/posix_types.h"
  35typedef long __kernel_long_t;
  36#line 15 "include/asm-generic/posix_types.h"
  37typedef unsigned long __kernel_ulong_t;
  38#line 31 "include/asm-generic/posix_types.h"
  39typedef int __kernel_pid_t;
  40#line 44 "include/asm-generic/posix_types.h"
  41typedef __kernel_long_t __kernel_suseconds_t;
  42#line 52 "include/asm-generic/posix_types.h"
  43typedef unsigned int __kernel_uid32_t;
  44#line 53 "include/asm-generic/posix_types.h"
  45typedef unsigned int __kernel_gid32_t;
  46#line 75 "include/asm-generic/posix_types.h"
  47typedef __kernel_ulong_t __kernel_size_t;
  48#line 76 "include/asm-generic/posix_types.h"
  49typedef __kernel_long_t __kernel_ssize_t;
  50#line 91 "include/asm-generic/posix_types.h"
  51typedef long long __kernel_loff_t;
  52#line 92 "include/asm-generic/posix_types.h"
  53typedef __kernel_long_t __kernel_time_t;
  54#line 93 "include/asm-generic/posix_types.h"
  55typedef __kernel_long_t __kernel_clock_t;
  56#line 94 "include/asm-generic/posix_types.h"
  57typedef int __kernel_timer_t;
  58#line 95 "include/asm-generic/posix_types.h"
  59typedef int __kernel_clockid_t;
  60#line 21 "include/linux/types.h"
  61typedef __u32 __kernel_dev_t;
  62#line 24 "include/linux/types.h"
  63typedef __kernel_dev_t dev_t;
  64#line 27 "include/linux/types.h"
  65typedef unsigned short umode_t;
  66#line 30 "include/linux/types.h"
  67typedef __kernel_pid_t pid_t;
  68#line 35 "include/linux/types.h"
  69typedef __kernel_clockid_t clockid_t;
  70#line 38 "include/linux/types.h"
  71typedef _Bool bool;
  72#line 40 "include/linux/types.h"
  73typedef __kernel_uid32_t uid_t;
  74#line 41 "include/linux/types.h"
  75typedef __kernel_gid32_t gid_t;
  76#line 54 "include/linux/types.h"
  77typedef __kernel_loff_t loff_t;
  78#line 63 "include/linux/types.h"
  79typedef __kernel_size_t size_t;
  80#line 68 "include/linux/types.h"
  81typedef __kernel_ssize_t ssize_t;
  82#line 78 "include/linux/types.h"
  83typedef __kernel_time_t time_t;
  84#line 111 "include/linux/types.h"
  85typedef __s32 int32_t;
  86#line 117 "include/linux/types.h"
  87typedef __u32 uint32_t;
  88#line 142 "include/linux/types.h"
  89typedef unsigned long sector_t;
  90#line 143 "include/linux/types.h"
  91typedef unsigned long blkcnt_t;
  92#line 155 "include/linux/types.h"
  93typedef u64 dma_addr_t;
  94#line 178 "include/linux/types.h"
  95typedef __u16 __le16;
  96#line 180 "include/linux/types.h"
  97typedef __u32 __le32;
  98#line 202 "include/linux/types.h"
  99typedef unsigned int gfp_t;
 100#line 203 "include/linux/types.h"
 101typedef unsigned int fmode_t;
 102#line 219 "include/linux/types.h"
 103struct __anonstruct_atomic_t_7 {
 104   int counter ;
 105};
 106#line 219 "include/linux/types.h"
 107typedef struct __anonstruct_atomic_t_7 atomic_t;
 108#line 224 "include/linux/types.h"
 109struct __anonstruct_atomic64_t_8 {
 110   long counter ;
 111};
 112#line 224 "include/linux/types.h"
 113typedef struct __anonstruct_atomic64_t_8 atomic64_t;
 114#line 229 "include/linux/types.h"
 115struct list_head {
 116   struct list_head *next ;
 117   struct list_head *prev ;
 118};
 119#line 233
 120struct hlist_node;
 121#line 233 "include/linux/types.h"
 122struct hlist_head {
 123   struct hlist_node *first ;
 124};
 125#line 237 "include/linux/types.h"
 126struct hlist_node {
 127   struct hlist_node *next ;
 128   struct hlist_node **pprev ;
 129};
 130#line 253 "include/linux/types.h"
 131struct rcu_head {
 132   struct rcu_head *next ;
 133   void (*func)(struct rcu_head *head ) ;
 134};
 135#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
 136struct module;
 137#line 56
 138struct module;
 139#line 146 "include/linux/init.h"
 140typedef void (*ctor_fn_t)(void);
 141#line 47 "include/linux/dynamic_debug.h"
 142struct device;
 143#line 47
 144struct device;
 145#line 135 "include/linux/kernel.h"
 146struct completion;
 147#line 135
 148struct completion;
 149#line 136
 150struct pt_regs;
 151#line 136
 152struct pt_regs;
 153#line 349
 154struct pid;
 155#line 349
 156struct pid;
 157#line 12 "include/linux/thread_info.h"
 158struct timespec;
 159#line 12
 160struct timespec;
 161#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
 162struct page;
 163#line 18
 164struct page;
 165#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
 166struct task_struct;
 167#line 20
 168struct task_struct;
 169#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 170struct task_struct;
 171#line 8
 172struct mm_struct;
 173#line 8
 174struct mm_struct;
 175#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 176struct pt_regs {
 177   unsigned long r15 ;
 178   unsigned long r14 ;
 179   unsigned long r13 ;
 180   unsigned long r12 ;
 181   unsigned long bp ;
 182   unsigned long bx ;
 183   unsigned long r11 ;
 184   unsigned long r10 ;
 185   unsigned long r9 ;
 186   unsigned long r8 ;
 187   unsigned long ax ;
 188   unsigned long cx ;
 189   unsigned long dx ;
 190   unsigned long si ;
 191   unsigned long di ;
 192   unsigned long orig_ax ;
 193   unsigned long ip ;
 194   unsigned long cs ;
 195   unsigned long flags ;
 196   unsigned long sp ;
 197   unsigned long ss ;
 198};
 199#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
 200struct __anonstruct____missing_field_name_15 {
 201   unsigned int a ;
 202   unsigned int b ;
 203};
 204#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
 205struct __anonstruct____missing_field_name_16 {
 206   u16 limit0 ;
 207   u16 base0 ;
 208   unsigned int base1 : 8 ;
 209   unsigned int type : 4 ;
 210   unsigned int s : 1 ;
 211   unsigned int dpl : 2 ;
 212   unsigned int p : 1 ;
 213   unsigned int limit : 4 ;
 214   unsigned int avl : 1 ;
 215   unsigned int l : 1 ;
 216   unsigned int d : 1 ;
 217   unsigned int g : 1 ;
 218   unsigned int base2 : 8 ;
 219};
 220#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
 221union __anonunion____missing_field_name_14 {
 222   struct __anonstruct____missing_field_name_15 __annonCompField5 ;
 223   struct __anonstruct____missing_field_name_16 __annonCompField6 ;
 224};
 225#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
 226struct desc_struct {
 227   union __anonunion____missing_field_name_14 __annonCompField7 ;
 228} __attribute__((__packed__)) ;
 229#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
 230typedef unsigned long pgdval_t;
 231#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
 232typedef unsigned long pgprotval_t;
 233#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 234struct pgprot {
 235   pgprotval_t pgprot ;
 236};
 237#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 238typedef struct pgprot pgprot_t;
 239#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 240struct __anonstruct_pgd_t_20 {
 241   pgdval_t pgd ;
 242};
 243#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 244typedef struct __anonstruct_pgd_t_20 pgd_t;
 245#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 246typedef struct page *pgtable_t;
 247#line 295
 248struct file;
 249#line 295
 250struct file;
 251#line 313
 252struct seq_file;
 253#line 313
 254struct seq_file;
 255#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
 256struct page;
 257#line 47
 258struct thread_struct;
 259#line 47
 260struct thread_struct;
 261#line 50
 262struct mm_struct;
 263#line 51
 264struct desc_struct;
 265#line 52
 266struct task_struct;
 267#line 53
 268struct cpumask;
 269#line 53
 270struct cpumask;
 271#line 329
 272struct arch_spinlock;
 273#line 329
 274struct arch_spinlock;
 275#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 276struct task_struct;
 277#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
 278struct kernel_vm86_regs {
 279   struct pt_regs pt ;
 280   unsigned short es ;
 281   unsigned short __esh ;
 282   unsigned short ds ;
 283   unsigned short __dsh ;
 284   unsigned short fs ;
 285   unsigned short __fsh ;
 286   unsigned short gs ;
 287   unsigned short __gsh ;
 288};
 289#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
 290union __anonunion____missing_field_name_24 {
 291   struct pt_regs *regs ;
 292   struct kernel_vm86_regs *vm86 ;
 293};
 294#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
 295struct math_emu_info {
 296   long ___orig_eip ;
 297   union __anonunion____missing_field_name_24 __annonCompField8 ;
 298};
 299#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
 300struct task_struct;
 301#line 10 "include/asm-generic/bug.h"
 302struct bug_entry {
 303   int bug_addr_disp ;
 304   int file_disp ;
 305   unsigned short line ;
 306   unsigned short flags ;
 307};
 308#line 12 "include/linux/bug.h"
 309struct pt_regs;
 310#line 14 "include/linux/cpumask.h"
 311struct cpumask {
 312   unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
 313};
 314#line 14 "include/linux/cpumask.h"
 315typedef struct cpumask cpumask_t;
 316#line 637 "include/linux/cpumask.h"
 317typedef struct cpumask *cpumask_var_t;
 318#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
 319struct static_key;
 320#line 234
 321struct static_key;
 322#line 11 "include/linux/personality.h"
 323struct pt_regs;
 324#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 325struct i387_fsave_struct {
 326   u32 cwd ;
 327   u32 swd ;
 328   u32 twd ;
 329   u32 fip ;
 330   u32 fcs ;
 331   u32 foo ;
 332   u32 fos ;
 333   u32 st_space[20] ;
 334   u32 status ;
 335};
 336#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 337struct __anonstruct____missing_field_name_31 {
 338   u64 rip ;
 339   u64 rdp ;
 340};
 341#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 342struct __anonstruct____missing_field_name_32 {
 343   u32 fip ;
 344   u32 fcs ;
 345   u32 foo ;
 346   u32 fos ;
 347};
 348#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 349union __anonunion____missing_field_name_30 {
 350   struct __anonstruct____missing_field_name_31 __annonCompField12 ;
 351   struct __anonstruct____missing_field_name_32 __annonCompField13 ;
 352};
 353#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 354union __anonunion____missing_field_name_33 {
 355   u32 padding1[12] ;
 356   u32 sw_reserved[12] ;
 357};
 358#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 359struct i387_fxsave_struct {
 360   u16 cwd ;
 361   u16 swd ;
 362   u16 twd ;
 363   u16 fop ;
 364   union __anonunion____missing_field_name_30 __annonCompField14 ;
 365   u32 mxcsr ;
 366   u32 mxcsr_mask ;
 367   u32 st_space[32] ;
 368   u32 xmm_space[64] ;
 369   u32 padding[12] ;
 370   union __anonunion____missing_field_name_33 __annonCompField15 ;
 371} __attribute__((__aligned__(16))) ;
 372#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 373struct i387_soft_struct {
 374   u32 cwd ;
 375   u32 swd ;
 376   u32 twd ;
 377   u32 fip ;
 378   u32 fcs ;
 379   u32 foo ;
 380   u32 fos ;
 381   u32 st_space[20] ;
 382   u8 ftop ;
 383   u8 changed ;
 384   u8 lookahead ;
 385   u8 no_update ;
 386   u8 rm ;
 387   u8 alimit ;
 388   struct math_emu_info *info ;
 389   u32 entry_eip ;
 390};
 391#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 392struct ymmh_struct {
 393   u32 ymmh_space[64] ;
 394};
 395#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 396struct xsave_hdr_struct {
 397   u64 xstate_bv ;
 398   u64 reserved1[2] ;
 399   u64 reserved2[5] ;
 400} __attribute__((__packed__)) ;
 401#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 402struct xsave_struct {
 403   struct i387_fxsave_struct i387 ;
 404   struct xsave_hdr_struct xsave_hdr ;
 405   struct ymmh_struct ymmh ;
 406} __attribute__((__packed__, __aligned__(64))) ;
 407#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 408union thread_xstate {
 409   struct i387_fsave_struct fsave ;
 410   struct i387_fxsave_struct fxsave ;
 411   struct i387_soft_struct soft ;
 412   struct xsave_struct xsave ;
 413};
 414#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 415struct fpu {
 416   unsigned int last_cpu ;
 417   unsigned int has_fpu ;
 418   union thread_xstate *state ;
 419};
 420#line 433
 421struct kmem_cache;
 422#line 435
 423struct perf_event;
 424#line 435
 425struct perf_event;
 426#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 427struct thread_struct {
 428   struct desc_struct tls_array[3] ;
 429   unsigned long sp0 ;
 430   unsigned long sp ;
 431   unsigned long usersp ;
 432   unsigned short es ;
 433   unsigned short ds ;
 434   unsigned short fsindex ;
 435   unsigned short gsindex ;
 436   unsigned long fs ;
 437   unsigned long gs ;
 438   struct perf_event *ptrace_bps[4] ;
 439   unsigned long debugreg6 ;
 440   unsigned long ptrace_dr7 ;
 441   unsigned long cr2 ;
 442   unsigned long trap_nr ;
 443   unsigned long error_code ;
 444   struct fpu fpu ;
 445   unsigned long *io_bitmap_ptr ;
 446   unsigned long iopl ;
 447   unsigned int io_bitmap_max ;
 448};
 449#line 23 "include/asm-generic/atomic-long.h"
 450typedef atomic64_t atomic_long_t;
 451#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 452typedef u16 __ticket_t;
 453#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 454typedef u32 __ticketpair_t;
 455#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 456struct __raw_tickets {
 457   __ticket_t head ;
 458   __ticket_t tail ;
 459};
 460#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 461union __anonunion____missing_field_name_36 {
 462   __ticketpair_t head_tail ;
 463   struct __raw_tickets tickets ;
 464};
 465#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 466struct arch_spinlock {
 467   union __anonunion____missing_field_name_36 __annonCompField17 ;
 468};
 469#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 470typedef struct arch_spinlock arch_spinlock_t;
 471#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 472struct __anonstruct____missing_field_name_38 {
 473   u32 read ;
 474   s32 write ;
 475};
 476#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 477union __anonunion_arch_rwlock_t_37 {
 478   s64 lock ;
 479   struct __anonstruct____missing_field_name_38 __annonCompField18 ;
 480};
 481#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 482typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_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 20 "include/linux/spinlock_types.h"
 490struct raw_spinlock {
 491   arch_spinlock_t raw_lock ;
 492   unsigned int magic ;
 493   unsigned int owner_cpu ;
 494   void *owner ;
 495};
 496#line 20 "include/linux/spinlock_types.h"
 497typedef struct raw_spinlock raw_spinlock_t;
 498#line 64 "include/linux/spinlock_types.h"
 499union __anonunion____missing_field_name_39 {
 500   struct raw_spinlock rlock ;
 501};
 502#line 64 "include/linux/spinlock_types.h"
 503struct spinlock {
 504   union __anonunion____missing_field_name_39 __annonCompField19 ;
 505};
 506#line 64 "include/linux/spinlock_types.h"
 507typedef struct spinlock spinlock_t;
 508#line 11 "include/linux/rwlock_types.h"
 509struct __anonstruct_rwlock_t_40 {
 510   arch_rwlock_t raw_lock ;
 511   unsigned int magic ;
 512   unsigned int owner_cpu ;
 513   void *owner ;
 514};
 515#line 11 "include/linux/rwlock_types.h"
 516typedef struct __anonstruct_rwlock_t_40 rwlock_t;
 517#line 119 "include/linux/seqlock.h"
 518struct seqcount {
 519   unsigned int sequence ;
 520};
 521#line 119 "include/linux/seqlock.h"
 522typedef struct seqcount seqcount_t;
 523#line 14 "include/linux/time.h"
 524struct timespec {
 525   __kernel_time_t tv_sec ;
 526   long tv_nsec ;
 527};
 528#line 20 "include/linux/time.h"
 529struct timeval {
 530   __kernel_time_t tv_sec ;
 531   __kernel_suseconds_t tv_usec ;
 532};
 533#line 43 "include/linux/input.h"
 534struct input_id {
 535   __u16 bustype ;
 536   __u16 vendor ;
 537   __u16 product ;
 538   __u16 version ;
 539};
 540#line 69 "include/linux/input.h"
 541struct input_absinfo {
 542   __s32 value ;
 543   __s32 minimum ;
 544   __s32 maximum ;
 545   __s32 fuzz ;
 546   __s32 flat ;
 547   __s32 resolution ;
 548};
 549#line 93 "include/linux/input.h"
 550struct input_keymap_entry {
 551   __u8 flags ;
 552   __u8 len ;
 553   __u16 index ;
 554   __u32 keycode ;
 555   __u8 scancode[32] ;
 556};
 557#line 957 "include/linux/input.h"
 558struct ff_replay {
 559   __u16 length ;
 560   __u16 delay ;
 561};
 562#line 967 "include/linux/input.h"
 563struct ff_trigger {
 564   __u16 button ;
 565   __u16 interval ;
 566};
 567#line 984 "include/linux/input.h"
 568struct ff_envelope {
 569   __u16 attack_length ;
 570   __u16 attack_level ;
 571   __u16 fade_length ;
 572   __u16 fade_level ;
 573};
 574#line 996 "include/linux/input.h"
 575struct ff_constant_effect {
 576   __s16 level ;
 577   struct ff_envelope envelope ;
 578};
 579#line 1007 "include/linux/input.h"
 580struct ff_ramp_effect {
 581   __s16 start_level ;
 582   __s16 end_level ;
 583   struct ff_envelope envelope ;
 584};
 585#line 1023 "include/linux/input.h"
 586struct ff_condition_effect {
 587   __u16 right_saturation ;
 588   __u16 left_saturation ;
 589   __s16 right_coeff ;
 590   __s16 left_coeff ;
 591   __u16 deadband ;
 592   __s16 center ;
 593};
 594#line 1052 "include/linux/input.h"
 595struct ff_periodic_effect {
 596   __u16 waveform ;
 597   __u16 period ;
 598   __s16 magnitude ;
 599   __s16 offset ;
 600   __u16 phase ;
 601   struct ff_envelope envelope ;
 602   __u32 custom_len ;
 603   __s16 *custom_data ;
 604};
 605#line 1073 "include/linux/input.h"
 606struct ff_rumble_effect {
 607   __u16 strong_magnitude ;
 608   __u16 weak_magnitude ;
 609};
 610#line 1101 "include/linux/input.h"
 611union __anonunion_u_42 {
 612   struct ff_constant_effect constant ;
 613   struct ff_ramp_effect ramp ;
 614   struct ff_periodic_effect periodic ;
 615   struct ff_condition_effect condition[2] ;
 616   struct ff_rumble_effect rumble ;
 617};
 618#line 1101 "include/linux/input.h"
 619struct ff_effect {
 620   __u16 type ;
 621   __s16 id ;
 622   __u16 direction ;
 623   struct ff_trigger trigger ;
 624   struct ff_replay replay ;
 625   union __anonunion_u_42 u ;
 626};
 627#line 202 "include/linux/ioport.h"
 628struct device;
 629#line 20 "include/linux/kobject_ns.h"
 630struct sock;
 631#line 20
 632struct sock;
 633#line 21
 634struct kobject;
 635#line 21
 636struct kobject;
 637#line 27
 638enum kobj_ns_type {
 639    KOBJ_NS_TYPE_NONE = 0,
 640    KOBJ_NS_TYPE_NET = 1,
 641    KOBJ_NS_TYPES = 2
 642} ;
 643#line 40 "include/linux/kobject_ns.h"
 644struct kobj_ns_type_operations {
 645   enum kobj_ns_type type ;
 646   void *(*grab_current_ns)(void) ;
 647   void const   *(*netlink_ns)(struct sock *sk ) ;
 648   void const   *(*initial_ns)(void) ;
 649   void (*drop_ns)(void * ) ;
 650};
 651#line 22 "include/linux/sysfs.h"
 652struct kobject;
 653#line 23
 654struct module;
 655#line 24
 656enum kobj_ns_type;
 657#line 26 "include/linux/sysfs.h"
 658struct attribute {
 659   char const   *name ;
 660   umode_t mode ;
 661};
 662#line 56 "include/linux/sysfs.h"
 663struct attribute_group {
 664   char const   *name ;
 665   umode_t (*is_visible)(struct kobject * , struct attribute * , int  ) ;
 666   struct attribute **attrs ;
 667};
 668#line 85
 669struct file;
 670#line 86
 671struct vm_area_struct;
 672#line 86
 673struct vm_area_struct;
 674#line 88 "include/linux/sysfs.h"
 675struct bin_attribute {
 676   struct attribute attr ;
 677   size_t size ;
 678   void *private ;
 679   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 680                   loff_t  , size_t  ) ;
 681   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 682                    loff_t  , size_t  ) ;
 683   int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
 684};
 685#line 112 "include/linux/sysfs.h"
 686struct sysfs_ops {
 687   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
 688   ssize_t (*store)(struct kobject * , struct attribute * , char const   * , size_t  ) ;
 689   void const   *(*namespace)(struct kobject * , struct attribute  const  * ) ;
 690};
 691#line 118
 692struct sysfs_dirent;
 693#line 118
 694struct sysfs_dirent;
 695#line 22 "include/linux/kref.h"
 696struct kref {
 697   atomic_t refcount ;
 698};
 699#line 49 "include/linux/wait.h"
 700struct __wait_queue_head {
 701   spinlock_t lock ;
 702   struct list_head task_list ;
 703};
 704#line 53 "include/linux/wait.h"
 705typedef struct __wait_queue_head wait_queue_head_t;
 706#line 55
 707struct task_struct;
 708#line 60 "include/linux/kobject.h"
 709struct kset;
 710#line 60
 711struct kobj_type;
 712#line 60 "include/linux/kobject.h"
 713struct kobject {
 714   char const   *name ;
 715   struct list_head entry ;
 716   struct kobject *parent ;
 717   struct kset *kset ;
 718   struct kobj_type *ktype ;
 719   struct sysfs_dirent *sd ;
 720   struct kref kref ;
 721   unsigned int state_initialized : 1 ;
 722   unsigned int state_in_sysfs : 1 ;
 723   unsigned int state_add_uevent_sent : 1 ;
 724   unsigned int state_remove_uevent_sent : 1 ;
 725   unsigned int uevent_suppress : 1 ;
 726};
 727#line 108 "include/linux/kobject.h"
 728struct kobj_type {
 729   void (*release)(struct kobject *kobj ) ;
 730   struct sysfs_ops  const  *sysfs_ops ;
 731   struct attribute **default_attrs ;
 732   struct kobj_ns_type_operations  const  *(*child_ns_type)(struct kobject *kobj ) ;
 733   void const   *(*namespace)(struct kobject *kobj ) ;
 734};
 735#line 116 "include/linux/kobject.h"
 736struct kobj_uevent_env {
 737   char *envp[32] ;
 738   int envp_idx ;
 739   char buf[2048] ;
 740   int buflen ;
 741};
 742#line 123 "include/linux/kobject.h"
 743struct kset_uevent_ops {
 744   int (* const  filter)(struct kset *kset , struct kobject *kobj ) ;
 745   char const   *(* const  name)(struct kset *kset , struct kobject *kobj ) ;
 746   int (* const  uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
 747};
 748#line 140
 749struct sock;
 750#line 159 "include/linux/kobject.h"
 751struct kset {
 752   struct list_head list ;
 753   spinlock_t list_lock ;
 754   struct kobject kobj ;
 755   struct kset_uevent_ops  const  *uevent_ops ;
 756};
 757#line 19 "include/linux/klist.h"
 758struct klist_node;
 759#line 19
 760struct klist_node;
 761#line 39 "include/linux/klist.h"
 762struct klist_node {
 763   void *n_klist ;
 764   struct list_head n_node ;
 765   struct kref n_ref ;
 766};
 767#line 48 "include/linux/mutex.h"
 768struct mutex {
 769   atomic_t count ;
 770   spinlock_t wait_lock ;
 771   struct list_head wait_list ;
 772   struct task_struct *owner ;
 773   char const   *name ;
 774   void *magic ;
 775};
 776#line 69 "include/linux/mutex.h"
 777struct mutex_waiter {
 778   struct list_head list ;
 779   struct task_struct *task ;
 780   void *magic ;
 781};
 782#line 46 "include/linux/ktime.h"
 783union ktime {
 784   s64 tv64 ;
 785};
 786#line 59 "include/linux/ktime.h"
 787typedef union ktime ktime_t;
 788#line 10 "include/linux/timer.h"
 789struct tvec_base;
 790#line 10
 791struct tvec_base;
 792#line 12 "include/linux/timer.h"
 793struct timer_list {
 794   struct list_head entry ;
 795   unsigned long expires ;
 796   struct tvec_base *base ;
 797   void (*function)(unsigned long  ) ;
 798   unsigned long data ;
 799   int slack ;
 800   int start_pid ;
 801   void *start_site ;
 802   char start_comm[16] ;
 803};
 804#line 289
 805struct hrtimer;
 806#line 289
 807struct hrtimer;
 808#line 290
 809enum hrtimer_restart;
 810#line 17 "include/linux/workqueue.h"
 811struct work_struct;
 812#line 17
 813struct work_struct;
 814#line 79 "include/linux/workqueue.h"
 815struct work_struct {
 816   atomic_long_t data ;
 817   struct list_head entry ;
 818   void (*func)(struct work_struct *work ) ;
 819};
 820#line 92 "include/linux/workqueue.h"
 821struct delayed_work {
 822   struct work_struct work ;
 823   struct timer_list timer ;
 824};
 825#line 25 "include/linux/completion.h"
 826struct completion {
 827   unsigned int done ;
 828   wait_queue_head_t wait ;
 829};
 830#line 42 "include/linux/pm.h"
 831struct device;
 832#line 50 "include/linux/pm.h"
 833struct pm_message {
 834   int event ;
 835};
 836#line 50 "include/linux/pm.h"
 837typedef struct pm_message pm_message_t;
 838#line 264 "include/linux/pm.h"
 839struct dev_pm_ops {
 840   int (*prepare)(struct device *dev ) ;
 841   void (*complete)(struct device *dev ) ;
 842   int (*suspend)(struct device *dev ) ;
 843   int (*resume)(struct device *dev ) ;
 844   int (*freeze)(struct device *dev ) ;
 845   int (*thaw)(struct device *dev ) ;
 846   int (*poweroff)(struct device *dev ) ;
 847   int (*restore)(struct device *dev ) ;
 848   int (*suspend_late)(struct device *dev ) ;
 849   int (*resume_early)(struct device *dev ) ;
 850   int (*freeze_late)(struct device *dev ) ;
 851   int (*thaw_early)(struct device *dev ) ;
 852   int (*poweroff_late)(struct device *dev ) ;
 853   int (*restore_early)(struct device *dev ) ;
 854   int (*suspend_noirq)(struct device *dev ) ;
 855   int (*resume_noirq)(struct device *dev ) ;
 856   int (*freeze_noirq)(struct device *dev ) ;
 857   int (*thaw_noirq)(struct device *dev ) ;
 858   int (*poweroff_noirq)(struct device *dev ) ;
 859   int (*restore_noirq)(struct device *dev ) ;
 860   int (*runtime_suspend)(struct device *dev ) ;
 861   int (*runtime_resume)(struct device *dev ) ;
 862   int (*runtime_idle)(struct device *dev ) ;
 863};
 864#line 458
 865enum rpm_status {
 866    RPM_ACTIVE = 0,
 867    RPM_RESUMING = 1,
 868    RPM_SUSPENDED = 2,
 869    RPM_SUSPENDING = 3
 870} ;
 871#line 480
 872enum rpm_request {
 873    RPM_REQ_NONE = 0,
 874    RPM_REQ_IDLE = 1,
 875    RPM_REQ_SUSPEND = 2,
 876    RPM_REQ_AUTOSUSPEND = 3,
 877    RPM_REQ_RESUME = 4
 878} ;
 879#line 488
 880struct wakeup_source;
 881#line 488
 882struct wakeup_source;
 883#line 495 "include/linux/pm.h"
 884struct pm_subsys_data {
 885   spinlock_t lock ;
 886   unsigned int refcount ;
 887};
 888#line 506
 889struct dev_pm_qos_request;
 890#line 506
 891struct pm_qos_constraints;
 892#line 506 "include/linux/pm.h"
 893struct dev_pm_info {
 894   pm_message_t power_state ;
 895   unsigned int can_wakeup : 1 ;
 896   unsigned int async_suspend : 1 ;
 897   bool is_prepared : 1 ;
 898   bool is_suspended : 1 ;
 899   bool ignore_children : 1 ;
 900   spinlock_t lock ;
 901   struct list_head entry ;
 902   struct completion completion ;
 903   struct wakeup_source *wakeup ;
 904   bool wakeup_path : 1 ;
 905   struct timer_list suspend_timer ;
 906   unsigned long timer_expires ;
 907   struct work_struct work ;
 908   wait_queue_head_t wait_queue ;
 909   atomic_t usage_count ;
 910   atomic_t child_count ;
 911   unsigned int disable_depth : 3 ;
 912   unsigned int idle_notification : 1 ;
 913   unsigned int request_pending : 1 ;
 914   unsigned int deferred_resume : 1 ;
 915   unsigned int run_wake : 1 ;
 916   unsigned int runtime_auto : 1 ;
 917   unsigned int no_callbacks : 1 ;
 918   unsigned int irq_safe : 1 ;
 919   unsigned int use_autosuspend : 1 ;
 920   unsigned int timer_autosuspends : 1 ;
 921   enum rpm_request request ;
 922   enum rpm_status runtime_status ;
 923   int runtime_error ;
 924   int autosuspend_delay ;
 925   unsigned long last_busy ;
 926   unsigned long active_jiffies ;
 927   unsigned long suspended_jiffies ;
 928   unsigned long accounting_timestamp ;
 929   ktime_t suspend_time ;
 930   s64 max_time_suspended_ns ;
 931   struct dev_pm_qos_request *pq_req ;
 932   struct pm_subsys_data *subsys_data ;
 933   struct pm_qos_constraints *constraints ;
 934};
 935#line 564 "include/linux/pm.h"
 936struct dev_pm_domain {
 937   struct dev_pm_ops ops ;
 938};
 939#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
 940struct dma_map_ops;
 941#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
 942struct dev_archdata {
 943   void *acpi_handle ;
 944   struct dma_map_ops *dma_ops ;
 945   void *iommu ;
 946};
 947#line 28 "include/linux/device.h"
 948struct device;
 949#line 29
 950struct device_private;
 951#line 29
 952struct device_private;
 953#line 30
 954struct device_driver;
 955#line 30
 956struct device_driver;
 957#line 31
 958struct driver_private;
 959#line 31
 960struct driver_private;
 961#line 32
 962struct module;
 963#line 33
 964struct class;
 965#line 33
 966struct class;
 967#line 34
 968struct subsys_private;
 969#line 34
 970struct subsys_private;
 971#line 35
 972struct bus_type;
 973#line 35
 974struct bus_type;
 975#line 36
 976struct device_node;
 977#line 36
 978struct device_node;
 979#line 37
 980struct iommu_ops;
 981#line 37
 982struct iommu_ops;
 983#line 39 "include/linux/device.h"
 984struct bus_attribute {
 985   struct attribute attr ;
 986   ssize_t (*show)(struct bus_type *bus , char *buf ) ;
 987   ssize_t (*store)(struct bus_type *bus , char const   *buf , size_t count ) ;
 988};
 989#line 89
 990struct device_attribute;
 991#line 89
 992struct driver_attribute;
 993#line 89 "include/linux/device.h"
 994struct bus_type {
 995   char const   *name ;
 996   char const   *dev_name ;
 997   struct device *dev_root ;
 998   struct bus_attribute *bus_attrs ;
 999   struct device_attribute *dev_attrs ;
1000   struct driver_attribute *drv_attrs ;
1001   int (*match)(struct device *dev , struct device_driver *drv ) ;
1002   int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1003   int (*probe)(struct device *dev ) ;
1004   int (*remove)(struct device *dev ) ;
1005   void (*shutdown)(struct device *dev ) ;
1006   int (*suspend)(struct device *dev , pm_message_t state ) ;
1007   int (*resume)(struct device *dev ) ;
1008   struct dev_pm_ops  const  *pm ;
1009   struct iommu_ops *iommu_ops ;
1010   struct subsys_private *p ;
1011};
1012#line 127
1013struct device_type;
1014#line 214
1015struct of_device_id;
1016#line 214 "include/linux/device.h"
1017struct device_driver {
1018   char const   *name ;
1019   struct bus_type *bus ;
1020   struct module *owner ;
1021   char const   *mod_name ;
1022   bool suppress_bind_attrs ;
1023   struct of_device_id  const  *of_match_table ;
1024   int (*probe)(struct device *dev ) ;
1025   int (*remove)(struct device *dev ) ;
1026   void (*shutdown)(struct device *dev ) ;
1027   int (*suspend)(struct device *dev , pm_message_t state ) ;
1028   int (*resume)(struct device *dev ) ;
1029   struct attribute_group  const  **groups ;
1030   struct dev_pm_ops  const  *pm ;
1031   struct driver_private *p ;
1032};
1033#line 249 "include/linux/device.h"
1034struct driver_attribute {
1035   struct attribute attr ;
1036   ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1037   ssize_t (*store)(struct device_driver *driver , char const   *buf , size_t count ) ;
1038};
1039#line 330
1040struct class_attribute;
1041#line 330 "include/linux/device.h"
1042struct class {
1043   char const   *name ;
1044   struct module *owner ;
1045   struct class_attribute *class_attrs ;
1046   struct device_attribute *dev_attrs ;
1047   struct bin_attribute *dev_bin_attrs ;
1048   struct kobject *dev_kobj ;
1049   int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1050   char *(*devnode)(struct device *dev , umode_t *mode ) ;
1051   void (*class_release)(struct class *class ) ;
1052   void (*dev_release)(struct device *dev ) ;
1053   int (*suspend)(struct device *dev , pm_message_t state ) ;
1054   int (*resume)(struct device *dev ) ;
1055   struct kobj_ns_type_operations  const  *ns_type ;
1056   void const   *(*namespace)(struct device *dev ) ;
1057   struct dev_pm_ops  const  *pm ;
1058   struct subsys_private *p ;
1059};
1060#line 397 "include/linux/device.h"
1061struct class_attribute {
1062   struct attribute attr ;
1063   ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1064   ssize_t (*store)(struct class *class , struct class_attribute *attr , char const   *buf ,
1065                    size_t count ) ;
1066   void const   *(*namespace)(struct class *class , struct class_attribute  const  *attr ) ;
1067};
1068#line 465 "include/linux/device.h"
1069struct device_type {
1070   char const   *name ;
1071   struct attribute_group  const  **groups ;
1072   int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1073   char *(*devnode)(struct device *dev , umode_t *mode ) ;
1074   void (*release)(struct device *dev ) ;
1075   struct dev_pm_ops  const  *pm ;
1076};
1077#line 476 "include/linux/device.h"
1078struct device_attribute {
1079   struct attribute attr ;
1080   ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1081   ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const   *buf ,
1082                    size_t count ) ;
1083};
1084#line 559 "include/linux/device.h"
1085struct device_dma_parameters {
1086   unsigned int max_segment_size ;
1087   unsigned long segment_boundary_mask ;
1088};
1089#line 627
1090struct dma_coherent_mem;
1091#line 627 "include/linux/device.h"
1092struct device {
1093   struct device *parent ;
1094   struct device_private *p ;
1095   struct kobject kobj ;
1096   char const   *init_name ;
1097   struct device_type  const  *type ;
1098   struct mutex mutex ;
1099   struct bus_type *bus ;
1100   struct device_driver *driver ;
1101   void *platform_data ;
1102   struct dev_pm_info power ;
1103   struct dev_pm_domain *pm_domain ;
1104   int numa_node ;
1105   u64 *dma_mask ;
1106   u64 coherent_dma_mask ;
1107   struct device_dma_parameters *dma_parms ;
1108   struct list_head dma_pools ;
1109   struct dma_coherent_mem *dma_mem ;
1110   struct dev_archdata archdata ;
1111   struct device_node *of_node ;
1112   dev_t devt ;
1113   u32 id ;
1114   spinlock_t devres_lock ;
1115   struct list_head devres_head ;
1116   struct klist_node knode_class ;
1117   struct class *class ;
1118   struct attribute_group  const  **groups ;
1119   void (*release)(struct device *dev ) ;
1120};
1121#line 43 "include/linux/pm_wakeup.h"
1122struct wakeup_source {
1123   char const   *name ;
1124   struct list_head entry ;
1125   spinlock_t lock ;
1126   struct timer_list timer ;
1127   unsigned long timer_expires ;
1128   ktime_t total_time ;
1129   ktime_t max_time ;
1130   ktime_t last_time ;
1131   unsigned long event_count ;
1132   unsigned long active_count ;
1133   unsigned long relax_count ;
1134   unsigned long hit_count ;
1135   unsigned int active : 1 ;
1136};
1137#line 15 "include/linux/blk_types.h"
1138struct page;
1139#line 16
1140struct block_device;
1141#line 16
1142struct block_device;
1143#line 33 "include/linux/list_bl.h"
1144struct hlist_bl_node;
1145#line 33 "include/linux/list_bl.h"
1146struct hlist_bl_head {
1147   struct hlist_bl_node *first ;
1148};
1149#line 37 "include/linux/list_bl.h"
1150struct hlist_bl_node {
1151   struct hlist_bl_node *next ;
1152   struct hlist_bl_node **pprev ;
1153};
1154#line 13 "include/linux/dcache.h"
1155struct nameidata;
1156#line 13
1157struct nameidata;
1158#line 14
1159struct path;
1160#line 14
1161struct path;
1162#line 15
1163struct vfsmount;
1164#line 15
1165struct vfsmount;
1166#line 35 "include/linux/dcache.h"
1167struct qstr {
1168   unsigned int hash ;
1169   unsigned int len ;
1170   unsigned char const   *name ;
1171};
1172#line 88
1173struct inode;
1174#line 88
1175struct dentry_operations;
1176#line 88
1177struct super_block;
1178#line 88 "include/linux/dcache.h"
1179union __anonunion_d_u_45 {
1180   struct list_head d_child ;
1181   struct rcu_head d_rcu ;
1182};
1183#line 88 "include/linux/dcache.h"
1184struct dentry {
1185   unsigned int d_flags ;
1186   seqcount_t d_seq ;
1187   struct hlist_bl_node d_hash ;
1188   struct dentry *d_parent ;
1189   struct qstr d_name ;
1190   struct inode *d_inode ;
1191   unsigned char d_iname[32] ;
1192   unsigned int d_count ;
1193   spinlock_t d_lock ;
1194   struct dentry_operations  const  *d_op ;
1195   struct super_block *d_sb ;
1196   unsigned long d_time ;
1197   void *d_fsdata ;
1198   struct list_head d_lru ;
1199   union __anonunion_d_u_45 d_u ;
1200   struct list_head d_subdirs ;
1201   struct list_head d_alias ;
1202};
1203#line 131 "include/linux/dcache.h"
1204struct dentry_operations {
1205   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1206   int (*d_hash)(struct dentry  const  * , struct inode  const  * , struct qstr * ) ;
1207   int (*d_compare)(struct dentry  const  * , struct inode  const  * , struct dentry  const  * ,
1208                    struct inode  const  * , unsigned int  , char const   * , struct qstr  const  * ) ;
1209   int (*d_delete)(struct dentry  const  * ) ;
1210   void (*d_release)(struct dentry * ) ;
1211   void (*d_prune)(struct dentry * ) ;
1212   void (*d_iput)(struct dentry * , struct inode * ) ;
1213   char *(*d_dname)(struct dentry * , char * , int  ) ;
1214   struct vfsmount *(*d_automount)(struct path * ) ;
1215   int (*d_manage)(struct dentry * , bool  ) ;
1216} __attribute__((__aligned__((1) <<  (6) ))) ;
1217#line 4 "include/linux/path.h"
1218struct dentry;
1219#line 5
1220struct vfsmount;
1221#line 7 "include/linux/path.h"
1222struct path {
1223   struct vfsmount *mnt ;
1224   struct dentry *dentry ;
1225};
1226#line 62 "include/linux/stat.h"
1227struct kstat {
1228   u64 ino ;
1229   dev_t dev ;
1230   umode_t mode ;
1231   unsigned int nlink ;
1232   uid_t uid ;
1233   gid_t gid ;
1234   dev_t rdev ;
1235   loff_t size ;
1236   struct timespec atime ;
1237   struct timespec mtime ;
1238   struct timespec ctime ;
1239   unsigned long blksize ;
1240   unsigned long long blocks ;
1241};
1242#line 64 "include/linux/radix-tree.h"
1243struct radix_tree_node;
1244#line 64 "include/linux/radix-tree.h"
1245struct radix_tree_root {
1246   unsigned int height ;
1247   gfp_t gfp_mask ;
1248   struct radix_tree_node *rnode ;
1249};
1250#line 14 "include/linux/prio_tree.h"
1251struct prio_tree_node;
1252#line 14 "include/linux/prio_tree.h"
1253struct raw_prio_tree_node {
1254   struct prio_tree_node *left ;
1255   struct prio_tree_node *right ;
1256   struct prio_tree_node *parent ;
1257};
1258#line 20 "include/linux/prio_tree.h"
1259struct prio_tree_node {
1260   struct prio_tree_node *left ;
1261   struct prio_tree_node *right ;
1262   struct prio_tree_node *parent ;
1263   unsigned long start ;
1264   unsigned long last ;
1265};
1266#line 28 "include/linux/prio_tree.h"
1267struct prio_tree_root {
1268   struct prio_tree_node *prio_tree_node ;
1269   unsigned short index_bits ;
1270   unsigned short raw ;
1271};
1272#line 6 "include/linux/pid.h"
1273enum pid_type {
1274    PIDTYPE_PID = 0,
1275    PIDTYPE_PGID = 1,
1276    PIDTYPE_SID = 2,
1277    PIDTYPE_MAX = 3
1278} ;
1279#line 50
1280struct pid_namespace;
1281#line 50 "include/linux/pid.h"
1282struct upid {
1283   int nr ;
1284   struct pid_namespace *ns ;
1285   struct hlist_node pid_chain ;
1286};
1287#line 57 "include/linux/pid.h"
1288struct pid {
1289   atomic_t count ;
1290   unsigned int level ;
1291   struct hlist_head tasks[3] ;
1292   struct rcu_head rcu ;
1293   struct upid numbers[1] ;
1294};
1295#line 69 "include/linux/pid.h"
1296struct pid_link {
1297   struct hlist_node node ;
1298   struct pid *pid ;
1299};
1300#line 100
1301struct pid_namespace;
1302#line 18 "include/linux/capability.h"
1303struct task_struct;
1304#line 94 "include/linux/capability.h"
1305struct kernel_cap_struct {
1306   __u32 cap[2] ;
1307};
1308#line 94 "include/linux/capability.h"
1309typedef struct kernel_cap_struct kernel_cap_t;
1310#line 377
1311struct dentry;
1312#line 378
1313struct user_namespace;
1314#line 378
1315struct user_namespace;
1316#line 16 "include/linux/fiemap.h"
1317struct fiemap_extent {
1318   __u64 fe_logical ;
1319   __u64 fe_physical ;
1320   __u64 fe_length ;
1321   __u64 fe_reserved64[2] ;
1322   __u32 fe_flags ;
1323   __u32 fe_reserved[3] ;
1324};
1325#line 8 "include/linux/shrinker.h"
1326struct shrink_control {
1327   gfp_t gfp_mask ;
1328   unsigned long nr_to_scan ;
1329};
1330#line 31 "include/linux/shrinker.h"
1331struct shrinker {
1332   int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1333   int seeks ;
1334   long batch ;
1335   struct list_head list ;
1336   atomic_long_t nr_in_batch ;
1337};
1338#line 10 "include/linux/migrate_mode.h"
1339enum migrate_mode {
1340    MIGRATE_ASYNC = 0,
1341    MIGRATE_SYNC_LIGHT = 1,
1342    MIGRATE_SYNC = 2
1343} ;
1344#line 408 "include/linux/fs.h"
1345struct export_operations;
1346#line 408
1347struct export_operations;
1348#line 410
1349struct iovec;
1350#line 410
1351struct iovec;
1352#line 411
1353struct nameidata;
1354#line 412
1355struct kiocb;
1356#line 412
1357struct kiocb;
1358#line 413
1359struct kobject;
1360#line 414
1361struct pipe_inode_info;
1362#line 414
1363struct pipe_inode_info;
1364#line 415
1365struct poll_table_struct;
1366#line 415
1367struct poll_table_struct;
1368#line 416
1369struct kstatfs;
1370#line 416
1371struct kstatfs;
1372#line 417
1373struct vm_area_struct;
1374#line 418
1375struct vfsmount;
1376#line 419
1377struct cred;
1378#line 419
1379struct cred;
1380#line 469 "include/linux/fs.h"
1381struct iattr {
1382   unsigned int ia_valid ;
1383   umode_t ia_mode ;
1384   uid_t ia_uid ;
1385   gid_t ia_gid ;
1386   loff_t ia_size ;
1387   struct timespec ia_atime ;
1388   struct timespec ia_mtime ;
1389   struct timespec ia_ctime ;
1390   struct file *ia_file ;
1391};
1392#line 129 "include/linux/quota.h"
1393struct if_dqinfo {
1394   __u64 dqi_bgrace ;
1395   __u64 dqi_igrace ;
1396   __u32 dqi_flags ;
1397   __u32 dqi_valid ;
1398};
1399#line 19 "include/linux/rwsem.h"
1400struct rw_semaphore;
1401#line 19
1402struct rw_semaphore;
1403#line 25 "include/linux/rwsem.h"
1404struct rw_semaphore {
1405   long count ;
1406   raw_spinlock_t wait_lock ;
1407   struct list_head wait_list ;
1408};
1409#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
1410struct device;
1411#line 98 "include/linux/nodemask.h"
1412struct __anonstruct_nodemask_t_115 {
1413   unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1414};
1415#line 98 "include/linux/nodemask.h"
1416typedef struct __anonstruct_nodemask_t_115 nodemask_t;
1417#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1418struct __anonstruct_mm_context_t_116 {
1419   void *ldt ;
1420   int size ;
1421   unsigned short ia32_compat ;
1422   struct mutex lock ;
1423   void *vdso ;
1424};
1425#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1426typedef struct __anonstruct_mm_context_t_116 mm_context_t;
1427#line 8 "include/linux/vmalloc.h"
1428struct vm_area_struct;
1429#line 50 "include/linux/dqblk_xfs.h"
1430struct fs_disk_quota {
1431   __s8 d_version ;
1432   __s8 d_flags ;
1433   __u16 d_fieldmask ;
1434   __u32 d_id ;
1435   __u64 d_blk_hardlimit ;
1436   __u64 d_blk_softlimit ;
1437   __u64 d_ino_hardlimit ;
1438   __u64 d_ino_softlimit ;
1439   __u64 d_bcount ;
1440   __u64 d_icount ;
1441   __s32 d_itimer ;
1442   __s32 d_btimer ;
1443   __u16 d_iwarns ;
1444   __u16 d_bwarns ;
1445   __s32 d_padding2 ;
1446   __u64 d_rtb_hardlimit ;
1447   __u64 d_rtb_softlimit ;
1448   __u64 d_rtbcount ;
1449   __s32 d_rtbtimer ;
1450   __u16 d_rtbwarns ;
1451   __s16 d_padding3 ;
1452   char d_padding4[8] ;
1453};
1454#line 146 "include/linux/dqblk_xfs.h"
1455struct fs_qfilestat {
1456   __u64 qfs_ino ;
1457   __u64 qfs_nblks ;
1458   __u32 qfs_nextents ;
1459};
1460#line 146 "include/linux/dqblk_xfs.h"
1461typedef struct fs_qfilestat fs_qfilestat_t;
1462#line 152 "include/linux/dqblk_xfs.h"
1463struct fs_quota_stat {
1464   __s8 qs_version ;
1465   __u16 qs_flags ;
1466   __s8 qs_pad ;
1467   fs_qfilestat_t qs_uquota ;
1468   fs_qfilestat_t qs_gquota ;
1469   __u32 qs_incoredqs ;
1470   __s32 qs_btimelimit ;
1471   __s32 qs_itimelimit ;
1472   __s32 qs_rtbtimelimit ;
1473   __u16 qs_bwarnlimit ;
1474   __u16 qs_iwarnlimit ;
1475};
1476#line 17 "include/linux/dqblk_qtree.h"
1477struct dquot;
1478#line 17
1479struct dquot;
1480#line 185 "include/linux/quota.h"
1481typedef __kernel_uid32_t qid_t;
1482#line 186 "include/linux/quota.h"
1483typedef long long qsize_t;
1484#line 200 "include/linux/quota.h"
1485struct mem_dqblk {
1486   qsize_t dqb_bhardlimit ;
1487   qsize_t dqb_bsoftlimit ;
1488   qsize_t dqb_curspace ;
1489   qsize_t dqb_rsvspace ;
1490   qsize_t dqb_ihardlimit ;
1491   qsize_t dqb_isoftlimit ;
1492   qsize_t dqb_curinodes ;
1493   time_t dqb_btime ;
1494   time_t dqb_itime ;
1495};
1496#line 215
1497struct quota_format_type;
1498#line 215
1499struct quota_format_type;
1500#line 217 "include/linux/quota.h"
1501struct mem_dqinfo {
1502   struct quota_format_type *dqi_format ;
1503   int dqi_fmt_id ;
1504   struct list_head dqi_dirty_list ;
1505   unsigned long dqi_flags ;
1506   unsigned int dqi_bgrace ;
1507   unsigned int dqi_igrace ;
1508   qsize_t dqi_maxblimit ;
1509   qsize_t dqi_maxilimit ;
1510   void *dqi_priv ;
1511};
1512#line 230
1513struct super_block;
1514#line 288 "include/linux/quota.h"
1515struct dquot {
1516   struct hlist_node dq_hash ;
1517   struct list_head dq_inuse ;
1518   struct list_head dq_free ;
1519   struct list_head dq_dirty ;
1520   struct mutex dq_lock ;
1521   atomic_t dq_count ;
1522   wait_queue_head_t dq_wait_unused ;
1523   struct super_block *dq_sb ;
1524   unsigned int dq_id ;
1525   loff_t dq_off ;
1526   unsigned long dq_flags ;
1527   short dq_type ;
1528   struct mem_dqblk dq_dqb ;
1529};
1530#line 305 "include/linux/quota.h"
1531struct quota_format_ops {
1532   int (*check_quota_file)(struct super_block *sb , int type ) ;
1533   int (*read_file_info)(struct super_block *sb , int type ) ;
1534   int (*write_file_info)(struct super_block *sb , int type ) ;
1535   int (*free_file_info)(struct super_block *sb , int type ) ;
1536   int (*read_dqblk)(struct dquot *dquot ) ;
1537   int (*commit_dqblk)(struct dquot *dquot ) ;
1538   int (*release_dqblk)(struct dquot *dquot ) ;
1539};
1540#line 316 "include/linux/quota.h"
1541struct dquot_operations {
1542   int (*write_dquot)(struct dquot * ) ;
1543   struct dquot *(*alloc_dquot)(struct super_block * , int  ) ;
1544   void (*destroy_dquot)(struct dquot * ) ;
1545   int (*acquire_dquot)(struct dquot * ) ;
1546   int (*release_dquot)(struct dquot * ) ;
1547   int (*mark_dirty)(struct dquot * ) ;
1548   int (*write_info)(struct super_block * , int  ) ;
1549   qsize_t *(*get_reserved_space)(struct inode * ) ;
1550};
1551#line 329
1552struct path;
1553#line 332 "include/linux/quota.h"
1554struct quotactl_ops {
1555   int (*quota_on)(struct super_block * , int  , int  , struct path * ) ;
1556   int (*quota_on_meta)(struct super_block * , int  , int  ) ;
1557   int (*quota_off)(struct super_block * , int  ) ;
1558   int (*quota_sync)(struct super_block * , int  , int  ) ;
1559   int (*get_info)(struct super_block * , int  , struct if_dqinfo * ) ;
1560   int (*set_info)(struct super_block * , int  , struct if_dqinfo * ) ;
1561   int (*get_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
1562   int (*set_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
1563   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1564   int (*set_xstate)(struct super_block * , unsigned int  , int  ) ;
1565};
1566#line 345 "include/linux/quota.h"
1567struct quota_format_type {
1568   int qf_fmt_id ;
1569   struct quota_format_ops  const  *qf_ops ;
1570   struct module *qf_owner ;
1571   struct quota_format_type *qf_next ;
1572};
1573#line 399 "include/linux/quota.h"
1574struct quota_info {
1575   unsigned int flags ;
1576   struct mutex dqio_mutex ;
1577   struct mutex dqonoff_mutex ;
1578   struct rw_semaphore dqptr_sem ;
1579   struct inode *files[2] ;
1580   struct mem_dqinfo info[2] ;
1581   struct quota_format_ops  const  *ops[2] ;
1582};
1583#line 532 "include/linux/fs.h"
1584struct page;
1585#line 533
1586struct address_space;
1587#line 533
1588struct address_space;
1589#line 534
1590struct writeback_control;
1591#line 534
1592struct writeback_control;
1593#line 577 "include/linux/fs.h"
1594union __anonunion_arg_146 {
1595   char *buf ;
1596   void *data ;
1597};
1598#line 577 "include/linux/fs.h"
1599struct __anonstruct_read_descriptor_t_145 {
1600   size_t written ;
1601   size_t count ;
1602   union __anonunion_arg_146 arg ;
1603   int error ;
1604};
1605#line 577 "include/linux/fs.h"
1606typedef struct __anonstruct_read_descriptor_t_145 read_descriptor_t;
1607#line 590 "include/linux/fs.h"
1608struct address_space_operations {
1609   int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1610   int (*readpage)(struct file * , struct page * ) ;
1611   int (*writepages)(struct address_space * , struct writeback_control * ) ;
1612   int (*set_page_dirty)(struct page *page ) ;
1613   int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1614                    unsigned int nr_pages ) ;
1615   int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1616                      unsigned int len , unsigned int flags , struct page **pagep ,
1617                      void **fsdata ) ;
1618   int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1619                    unsigned int copied , struct page *page , void *fsdata ) ;
1620   sector_t (*bmap)(struct address_space * , sector_t  ) ;
1621   void (*invalidatepage)(struct page * , unsigned long  ) ;
1622   int (*releasepage)(struct page * , gfp_t  ) ;
1623   void (*freepage)(struct page * ) ;
1624   ssize_t (*direct_IO)(int  , struct kiocb * , struct iovec  const  *iov , loff_t offset ,
1625                        unsigned long nr_segs ) ;
1626   int (*get_xip_mem)(struct address_space * , unsigned long  , int  , void ** , unsigned long * ) ;
1627   int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode  ) ;
1628   int (*launder_page)(struct page * ) ;
1629   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long  ) ;
1630   int (*error_remove_page)(struct address_space * , struct page * ) ;
1631};
1632#line 645
1633struct backing_dev_info;
1634#line 645
1635struct backing_dev_info;
1636#line 646 "include/linux/fs.h"
1637struct address_space {
1638   struct inode *host ;
1639   struct radix_tree_root page_tree ;
1640   spinlock_t tree_lock ;
1641   unsigned int i_mmap_writable ;
1642   struct prio_tree_root i_mmap ;
1643   struct list_head i_mmap_nonlinear ;
1644   struct mutex i_mmap_mutex ;
1645   unsigned long nrpages ;
1646   unsigned long writeback_index ;
1647   struct address_space_operations  const  *a_ops ;
1648   unsigned long flags ;
1649   struct backing_dev_info *backing_dev_info ;
1650   spinlock_t private_lock ;
1651   struct list_head private_list ;
1652   struct address_space *assoc_mapping ;
1653} __attribute__((__aligned__(sizeof(long )))) ;
1654#line 669
1655struct request_queue;
1656#line 669
1657struct request_queue;
1658#line 671
1659struct hd_struct;
1660#line 671
1661struct gendisk;
1662#line 671 "include/linux/fs.h"
1663struct block_device {
1664   dev_t bd_dev ;
1665   int bd_openers ;
1666   struct inode *bd_inode ;
1667   struct super_block *bd_super ;
1668   struct mutex bd_mutex ;
1669   struct list_head bd_inodes ;
1670   void *bd_claiming ;
1671   void *bd_holder ;
1672   int bd_holders ;
1673   bool bd_write_holder ;
1674   struct list_head bd_holder_disks ;
1675   struct block_device *bd_contains ;
1676   unsigned int bd_block_size ;
1677   struct hd_struct *bd_part ;
1678   unsigned int bd_part_count ;
1679   int bd_invalidated ;
1680   struct gendisk *bd_disk ;
1681   struct request_queue *bd_queue ;
1682   struct list_head bd_list ;
1683   unsigned long bd_private ;
1684   int bd_fsfreeze_count ;
1685   struct mutex bd_fsfreeze_mutex ;
1686};
1687#line 749
1688struct posix_acl;
1689#line 749
1690struct posix_acl;
1691#line 761
1692struct inode_operations;
1693#line 761 "include/linux/fs.h"
1694union __anonunion____missing_field_name_147 {
1695   unsigned int const   i_nlink ;
1696   unsigned int __i_nlink ;
1697};
1698#line 761 "include/linux/fs.h"
1699union __anonunion____missing_field_name_148 {
1700   struct list_head i_dentry ;
1701   struct rcu_head i_rcu ;
1702};
1703#line 761
1704struct file_operations;
1705#line 761
1706struct file_lock;
1707#line 761
1708struct cdev;
1709#line 761 "include/linux/fs.h"
1710union __anonunion____missing_field_name_149 {
1711   struct pipe_inode_info *i_pipe ;
1712   struct block_device *i_bdev ;
1713   struct cdev *i_cdev ;
1714};
1715#line 761 "include/linux/fs.h"
1716struct inode {
1717   umode_t i_mode ;
1718   unsigned short i_opflags ;
1719   uid_t i_uid ;
1720   gid_t i_gid ;
1721   unsigned int i_flags ;
1722   struct posix_acl *i_acl ;
1723   struct posix_acl *i_default_acl ;
1724   struct inode_operations  const  *i_op ;
1725   struct super_block *i_sb ;
1726   struct address_space *i_mapping ;
1727   void *i_security ;
1728   unsigned long i_ino ;
1729   union __anonunion____missing_field_name_147 __annonCompField30 ;
1730   dev_t i_rdev ;
1731   struct timespec i_atime ;
1732   struct timespec i_mtime ;
1733   struct timespec i_ctime ;
1734   spinlock_t i_lock ;
1735   unsigned short i_bytes ;
1736   blkcnt_t i_blocks ;
1737   loff_t i_size ;
1738   unsigned long i_state ;
1739   struct mutex i_mutex ;
1740   unsigned long dirtied_when ;
1741   struct hlist_node i_hash ;
1742   struct list_head i_wb_list ;
1743   struct list_head i_lru ;
1744   struct list_head i_sb_list ;
1745   union __anonunion____missing_field_name_148 __annonCompField31 ;
1746   atomic_t i_count ;
1747   unsigned int i_blkbits ;
1748   u64 i_version ;
1749   atomic_t i_dio_count ;
1750   atomic_t i_writecount ;
1751   struct file_operations  const  *i_fop ;
1752   struct file_lock *i_flock ;
1753   struct address_space i_data ;
1754   struct dquot *i_dquot[2] ;
1755   struct list_head i_devices ;
1756   union __anonunion____missing_field_name_149 __annonCompField32 ;
1757   __u32 i_generation ;
1758   __u32 i_fsnotify_mask ;
1759   struct hlist_head i_fsnotify_marks ;
1760   atomic_t i_readcount ;
1761   void *i_private ;
1762};
1763#line 942 "include/linux/fs.h"
1764struct fown_struct {
1765   rwlock_t lock ;
1766   struct pid *pid ;
1767   enum pid_type pid_type ;
1768   uid_t uid ;
1769   uid_t euid ;
1770   int signum ;
1771};
1772#line 953 "include/linux/fs.h"
1773struct file_ra_state {
1774   unsigned long start ;
1775   unsigned int size ;
1776   unsigned int async_size ;
1777   unsigned int ra_pages ;
1778   unsigned int mmap_miss ;
1779   loff_t prev_pos ;
1780};
1781#line 976 "include/linux/fs.h"
1782union __anonunion_f_u_150 {
1783   struct list_head fu_list ;
1784   struct rcu_head fu_rcuhead ;
1785};
1786#line 976 "include/linux/fs.h"
1787struct file {
1788   union __anonunion_f_u_150 f_u ;
1789   struct path f_path ;
1790   struct file_operations  const  *f_op ;
1791   spinlock_t f_lock ;
1792   int f_sb_list_cpu ;
1793   atomic_long_t f_count ;
1794   unsigned int f_flags ;
1795   fmode_t f_mode ;
1796   loff_t f_pos ;
1797   struct fown_struct f_owner ;
1798   struct cred  const  *f_cred ;
1799   struct file_ra_state f_ra ;
1800   u64 f_version ;
1801   void *f_security ;
1802   void *private_data ;
1803   struct list_head f_ep_links ;
1804   struct list_head f_tfile_llink ;
1805   struct address_space *f_mapping ;
1806   unsigned long f_mnt_write_state ;
1807};
1808#line 1111
1809struct files_struct;
1810#line 1111 "include/linux/fs.h"
1811typedef struct files_struct *fl_owner_t;
1812#line 1113 "include/linux/fs.h"
1813struct file_lock_operations {
1814   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1815   void (*fl_release_private)(struct file_lock * ) ;
1816};
1817#line 1118 "include/linux/fs.h"
1818struct lock_manager_operations {
1819   int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1820   void (*lm_notify)(struct file_lock * ) ;
1821   int (*lm_grant)(struct file_lock * , struct file_lock * , int  ) ;
1822   void (*lm_release_private)(struct file_lock * ) ;
1823   void (*lm_break)(struct file_lock * ) ;
1824   int (*lm_change)(struct file_lock ** , int  ) ;
1825};
1826#line 4 "include/linux/nfs_fs_i.h"
1827struct nlm_lockowner;
1828#line 4
1829struct nlm_lockowner;
1830#line 9 "include/linux/nfs_fs_i.h"
1831struct nfs_lock_info {
1832   u32 state ;
1833   struct nlm_lockowner *owner ;
1834   struct list_head list ;
1835};
1836#line 15
1837struct nfs4_lock_state;
1838#line 15
1839struct nfs4_lock_state;
1840#line 16 "include/linux/nfs_fs_i.h"
1841struct nfs4_lock_info {
1842   struct nfs4_lock_state *owner ;
1843};
1844#line 1138 "include/linux/fs.h"
1845struct fasync_struct;
1846#line 1138 "include/linux/fs.h"
1847struct __anonstruct_afs_152 {
1848   struct list_head link ;
1849   int state ;
1850};
1851#line 1138 "include/linux/fs.h"
1852union __anonunion_fl_u_151 {
1853   struct nfs_lock_info nfs_fl ;
1854   struct nfs4_lock_info nfs4_fl ;
1855   struct __anonstruct_afs_152 afs ;
1856};
1857#line 1138 "include/linux/fs.h"
1858struct file_lock {
1859   struct file_lock *fl_next ;
1860   struct list_head fl_link ;
1861   struct list_head fl_block ;
1862   fl_owner_t fl_owner ;
1863   unsigned int fl_flags ;
1864   unsigned char fl_type ;
1865   unsigned int fl_pid ;
1866   struct pid *fl_nspid ;
1867   wait_queue_head_t fl_wait ;
1868   struct file *fl_file ;
1869   loff_t fl_start ;
1870   loff_t fl_end ;
1871   struct fasync_struct *fl_fasync ;
1872   unsigned long fl_break_time ;
1873   unsigned long fl_downgrade_time ;
1874   struct file_lock_operations  const  *fl_ops ;
1875   struct lock_manager_operations  const  *fl_lmops ;
1876   union __anonunion_fl_u_151 fl_u ;
1877};
1878#line 1378 "include/linux/fs.h"
1879struct fasync_struct {
1880   spinlock_t fa_lock ;
1881   int magic ;
1882   int fa_fd ;
1883   struct fasync_struct *fa_next ;
1884   struct file *fa_file ;
1885   struct rcu_head fa_rcu ;
1886};
1887#line 1418
1888struct file_system_type;
1889#line 1418
1890struct super_operations;
1891#line 1418
1892struct xattr_handler;
1893#line 1418
1894struct mtd_info;
1895#line 1418 "include/linux/fs.h"
1896struct super_block {
1897   struct list_head s_list ;
1898   dev_t s_dev ;
1899   unsigned char s_dirt ;
1900   unsigned char s_blocksize_bits ;
1901   unsigned long s_blocksize ;
1902   loff_t s_maxbytes ;
1903   struct file_system_type *s_type ;
1904   struct super_operations  const  *s_op ;
1905   struct dquot_operations  const  *dq_op ;
1906   struct quotactl_ops  const  *s_qcop ;
1907   struct export_operations  const  *s_export_op ;
1908   unsigned long s_flags ;
1909   unsigned long s_magic ;
1910   struct dentry *s_root ;
1911   struct rw_semaphore s_umount ;
1912   struct mutex s_lock ;
1913   int s_count ;
1914   atomic_t s_active ;
1915   void *s_security ;
1916   struct xattr_handler  const  **s_xattr ;
1917   struct list_head s_inodes ;
1918   struct hlist_bl_head s_anon ;
1919   struct list_head *s_files ;
1920   struct list_head s_mounts ;
1921   struct list_head s_dentry_lru ;
1922   int s_nr_dentry_unused ;
1923   spinlock_t s_inode_lru_lock  __attribute__((__aligned__((1) <<  (6) ))) ;
1924   struct list_head s_inode_lru ;
1925   int s_nr_inodes_unused ;
1926   struct block_device *s_bdev ;
1927   struct backing_dev_info *s_bdi ;
1928   struct mtd_info *s_mtd ;
1929   struct hlist_node s_instances ;
1930   struct quota_info s_dquot ;
1931   int s_frozen ;
1932   wait_queue_head_t s_wait_unfrozen ;
1933   char s_id[32] ;
1934   u8 s_uuid[16] ;
1935   void *s_fs_info ;
1936   unsigned int s_max_links ;
1937   fmode_t s_mode ;
1938   u32 s_time_gran ;
1939   struct mutex s_vfs_rename_mutex ;
1940   char *s_subtype ;
1941   char *s_options ;
1942   struct dentry_operations  const  *s_d_op ;
1943   int cleancache_poolid ;
1944   struct shrinker s_shrink ;
1945   atomic_long_t s_remove_count ;
1946   int s_readonly_remount ;
1947};
1948#line 1567 "include/linux/fs.h"
1949struct fiemap_extent_info {
1950   unsigned int fi_flags ;
1951   unsigned int fi_extents_mapped ;
1952   unsigned int fi_extents_max ;
1953   struct fiemap_extent *fi_extents_start ;
1954};
1955#line 1609 "include/linux/fs.h"
1956struct file_operations {
1957   struct module *owner ;
1958   loff_t (*llseek)(struct file * , loff_t  , int  ) ;
1959   ssize_t (*read)(struct file * , char * , size_t  , loff_t * ) ;
1960   ssize_t (*write)(struct file * , char const   * , size_t  , loff_t * ) ;
1961   ssize_t (*aio_read)(struct kiocb * , struct iovec  const  * , unsigned long  ,
1962                       loff_t  ) ;
1963   ssize_t (*aio_write)(struct kiocb * , struct iovec  const  * , unsigned long  ,
1964                        loff_t  ) ;
1965   int (*readdir)(struct file * , void * , int (*)(void * , char const   * , int  ,
1966                                                   loff_t  , u64  , unsigned int  ) ) ;
1967   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
1968   long (*unlocked_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
1969   long (*compat_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
1970   int (*mmap)(struct file * , struct vm_area_struct * ) ;
1971   int (*open)(struct inode * , struct file * ) ;
1972   int (*flush)(struct file * , fl_owner_t id ) ;
1973   int (*release)(struct inode * , struct file * ) ;
1974   int (*fsync)(struct file * , loff_t  , loff_t  , int datasync ) ;
1975   int (*aio_fsync)(struct kiocb * , int datasync ) ;
1976   int (*fasync)(int  , struct file * , int  ) ;
1977   int (*lock)(struct file * , int  , struct file_lock * ) ;
1978   ssize_t (*sendpage)(struct file * , struct page * , int  , size_t  , loff_t * ,
1979                       int  ) ;
1980   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
1981                                      unsigned long  , unsigned long  ) ;
1982   int (*check_flags)(int  ) ;
1983   int (*flock)(struct file * , int  , struct file_lock * ) ;
1984   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t  ,
1985                           unsigned int  ) ;
1986   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t  ,
1987                          unsigned int  ) ;
1988   int (*setlease)(struct file * , long  , struct file_lock ** ) ;
1989   long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
1990};
1991#line 1639 "include/linux/fs.h"
1992struct inode_operations {
1993   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
1994   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
1995   int (*permission)(struct inode * , int  ) ;
1996   struct posix_acl *(*get_acl)(struct inode * , int  ) ;
1997   int (*readlink)(struct dentry * , char * , int  ) ;
1998   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
1999   int (*create)(struct inode * , struct dentry * , umode_t  , struct nameidata * ) ;
2000   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2001   int (*unlink)(struct inode * , struct dentry * ) ;
2002   int (*symlink)(struct inode * , struct dentry * , char const   * ) ;
2003   int (*mkdir)(struct inode * , struct dentry * , umode_t  ) ;
2004   int (*rmdir)(struct inode * , struct dentry * ) ;
2005   int (*mknod)(struct inode * , struct dentry * , umode_t  , dev_t  ) ;
2006   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2007   void (*truncate)(struct inode * ) ;
2008   int (*setattr)(struct dentry * , struct iattr * ) ;
2009   int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2010   int (*setxattr)(struct dentry * , char const   * , void const   * , size_t  , int  ) ;
2011   ssize_t (*getxattr)(struct dentry * , char const   * , void * , size_t  ) ;
2012   ssize_t (*listxattr)(struct dentry * , char * , size_t  ) ;
2013   int (*removexattr)(struct dentry * , char const   * ) ;
2014   void (*truncate_range)(struct inode * , loff_t  , loff_t  ) ;
2015   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2016} __attribute__((__aligned__((1) <<  (6) ))) ;
2017#line 1669
2018struct seq_file;
2019#line 1684 "include/linux/fs.h"
2020struct super_operations {
2021   struct inode *(*alloc_inode)(struct super_block *sb ) ;
2022   void (*destroy_inode)(struct inode * ) ;
2023   void (*dirty_inode)(struct inode * , int flags ) ;
2024   int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2025   int (*drop_inode)(struct inode * ) ;
2026   void (*evict_inode)(struct inode * ) ;
2027   void (*put_super)(struct super_block * ) ;
2028   void (*write_super)(struct super_block * ) ;
2029   int (*sync_fs)(struct super_block *sb , int wait ) ;
2030   int (*freeze_fs)(struct super_block * ) ;
2031   int (*unfreeze_fs)(struct super_block * ) ;
2032   int (*statfs)(struct dentry * , struct kstatfs * ) ;
2033   int (*remount_fs)(struct super_block * , int * , char * ) ;
2034   void (*umount_begin)(struct super_block * ) ;
2035   int (*show_options)(struct seq_file * , struct dentry * ) ;
2036   int (*show_devname)(struct seq_file * , struct dentry * ) ;
2037   int (*show_path)(struct seq_file * , struct dentry * ) ;
2038   int (*show_stats)(struct seq_file * , struct dentry * ) ;
2039   ssize_t (*quota_read)(struct super_block * , int  , char * , size_t  , loff_t  ) ;
2040   ssize_t (*quota_write)(struct super_block * , int  , char const   * , size_t  ,
2041                          loff_t  ) ;
2042   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t  ) ;
2043   int (*nr_cached_objects)(struct super_block * ) ;
2044   void (*free_cached_objects)(struct super_block * , int  ) ;
2045};
2046#line 1835 "include/linux/fs.h"
2047struct file_system_type {
2048   char const   *name ;
2049   int fs_flags ;
2050   struct dentry *(*mount)(struct file_system_type * , int  , char const   * , void * ) ;
2051   void (*kill_sb)(struct super_block * ) ;
2052   struct module *owner ;
2053   struct file_system_type *next ;
2054   struct hlist_head fs_supers ;
2055   struct lock_class_key s_lock_key ;
2056   struct lock_class_key s_umount_key ;
2057   struct lock_class_key s_vfs_rename_key ;
2058   struct lock_class_key i_lock_key ;
2059   struct lock_class_key i_mutex_key ;
2060   struct lock_class_key i_mutex_dir_key ;
2061};
2062#line 12 "include/linux/mod_devicetable.h"
2063typedef unsigned long kernel_ulong_t;
2064#line 98 "include/linux/mod_devicetable.h"
2065struct usb_device_id {
2066   __u16 match_flags ;
2067   __u16 idVendor ;
2068   __u16 idProduct ;
2069   __u16 bcdDevice_lo ;
2070   __u16 bcdDevice_hi ;
2071   __u8 bDeviceClass ;
2072   __u8 bDeviceSubClass ;
2073   __u8 bDeviceProtocol ;
2074   __u8 bInterfaceClass ;
2075   __u8 bInterfaceSubClass ;
2076   __u8 bInterfaceProtocol ;
2077   kernel_ulong_t driver_info ;
2078};
2079#line 219 "include/linux/mod_devicetable.h"
2080struct of_device_id {
2081   char name[32] ;
2082   char type[32] ;
2083   char compatible[128] ;
2084   void *data ;
2085};
2086#line 312 "include/linux/mod_devicetable.h"
2087struct input_device_id {
2088   kernel_ulong_t flags ;
2089   __u16 bustype ;
2090   __u16 vendor ;
2091   __u16 product ;
2092   __u16 version ;
2093   kernel_ulong_t evbit[1] ;
2094   kernel_ulong_t keybit[12] ;
2095   kernel_ulong_t relbit[1] ;
2096   kernel_ulong_t absbit[1] ;
2097   kernel_ulong_t mscbit[1] ;
2098   kernel_ulong_t ledbit[1] ;
2099   kernel_ulong_t sndbit[1] ;
2100   kernel_ulong_t ffbit[2] ;
2101   kernel_ulong_t swbit[1] ;
2102   kernel_ulong_t driver_info ;
2103};
2104#line 1250 "include/linux/input.h"
2105struct ff_device;
2106#line 1250
2107struct input_mt_slot;
2108#line 1250
2109struct input_handle;
2110#line 1250 "include/linux/input.h"
2111struct input_dev {
2112   char const   *name ;
2113   char const   *phys ;
2114   char const   *uniq ;
2115   struct input_id id ;
2116   unsigned long propbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2117   unsigned long evbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2118   unsigned long keybit[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2119   unsigned long relbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2120   unsigned long absbit[((64UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2121   unsigned long mscbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2122   unsigned long ledbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2123   unsigned long sndbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2124   unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2125   unsigned long swbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2126   unsigned int hint_events_per_packet ;
2127   unsigned int keycodemax ;
2128   unsigned int keycodesize ;
2129   void *keycode ;
2130   int (*setkeycode)(struct input_dev *dev , struct input_keymap_entry  const  *ke ,
2131                     unsigned int *old_keycode ) ;
2132   int (*getkeycode)(struct input_dev *dev , struct input_keymap_entry *ke ) ;
2133   struct ff_device *ff ;
2134   unsigned int repeat_key ;
2135   struct timer_list timer ;
2136   int rep[2] ;
2137   struct input_mt_slot *mt ;
2138   int mtsize ;
2139   int slot ;
2140   int trkid ;
2141   struct input_absinfo *absinfo ;
2142   unsigned long key[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2143   unsigned long led[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2144   unsigned long snd[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2145   unsigned long sw[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2146   int (*open)(struct input_dev *dev ) ;
2147   void (*close)(struct input_dev *dev ) ;
2148   int (*flush)(struct input_dev *dev , struct file *file ) ;
2149   int (*event)(struct input_dev *dev , unsigned int type , unsigned int code , int value ) ;
2150   struct input_handle *grab ;
2151   spinlock_t event_lock ;
2152   struct mutex mutex ;
2153   unsigned int users ;
2154   bool going_away ;
2155   bool sync ;
2156   struct device dev ;
2157   struct list_head h_list ;
2158   struct list_head node ;
2159};
2160#line 1370
2161struct input_handle;
2162#line 1409 "include/linux/input.h"
2163struct input_handler {
2164   void *private ;
2165   void (*event)(struct input_handle *handle , unsigned int type , unsigned int code ,
2166                 int value ) ;
2167   bool (*filter)(struct input_handle *handle , unsigned int type , unsigned int code ,
2168                  int value ) ;
2169   bool (*match)(struct input_handler *handler , struct input_dev *dev ) ;
2170   int (*connect)(struct input_handler *handler , struct input_dev *dev , struct input_device_id  const  *id ) ;
2171   void (*disconnect)(struct input_handle *handle ) ;
2172   void (*start)(struct input_handle *handle ) ;
2173   struct file_operations  const  *fops ;
2174   int minor ;
2175   char const   *name ;
2176   struct input_device_id  const  *id_table ;
2177   struct list_head h_list ;
2178   struct list_head node ;
2179};
2180#line 1442 "include/linux/input.h"
2181struct input_handle {
2182   void *private ;
2183   int open ;
2184   char const   *name ;
2185   struct input_dev *dev ;
2186   struct input_handler *handler ;
2187   struct list_head d_node ;
2188   struct list_head h_node ;
2189};
2190#line 1619 "include/linux/input.h"
2191struct ff_device {
2192   int (*upload)(struct input_dev *dev , struct ff_effect *effect , struct ff_effect *old ) ;
2193   int (*erase)(struct input_dev *dev , int effect_id ) ;
2194   int (*playback)(struct input_dev *dev , int effect_id , int value ) ;
2195   void (*set_gain)(struct input_dev *dev , u16 gain ) ;
2196   void (*set_autocenter)(struct input_dev *dev , u16 magnitude ) ;
2197   void (*destroy)(struct ff_device * ) ;
2198   void *private ;
2199   unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2200   struct mutex mutex ;
2201   int max_effects ;
2202   struct ff_effect *effects ;
2203   struct file *effect_owners[] ;
2204};
2205#line 60 "include/linux/pageblock-flags.h"
2206struct page;
2207#line 9 "include/linux/memory_hotplug.h"
2208struct page;
2209#line 994 "include/linux/mmzone.h"
2210struct page;
2211#line 10 "include/linux/gfp.h"
2212struct vm_area_struct;
2213#line 29 "include/linux/sysctl.h"
2214struct completion;
2215#line 100 "include/linux/rbtree.h"
2216struct rb_node {
2217   unsigned long rb_parent_color ;
2218   struct rb_node *rb_right ;
2219   struct rb_node *rb_left ;
2220} __attribute__((__aligned__(sizeof(long )))) ;
2221#line 110 "include/linux/rbtree.h"
2222struct rb_root {
2223   struct rb_node *rb_node ;
2224};
2225#line 939 "include/linux/sysctl.h"
2226struct nsproxy;
2227#line 939
2228struct nsproxy;
2229#line 48 "include/linux/kmod.h"
2230struct cred;
2231#line 49
2232struct file;
2233#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
2234struct task_struct;
2235#line 18 "include/linux/elf.h"
2236typedef __u64 Elf64_Addr;
2237#line 19 "include/linux/elf.h"
2238typedef __u16 Elf64_Half;
2239#line 23 "include/linux/elf.h"
2240typedef __u32 Elf64_Word;
2241#line 24 "include/linux/elf.h"
2242typedef __u64 Elf64_Xword;
2243#line 194 "include/linux/elf.h"
2244struct elf64_sym {
2245   Elf64_Word st_name ;
2246   unsigned char st_info ;
2247   unsigned char st_other ;
2248   Elf64_Half st_shndx ;
2249   Elf64_Addr st_value ;
2250   Elf64_Xword st_size ;
2251};
2252#line 194 "include/linux/elf.h"
2253typedef struct elf64_sym Elf64_Sym;
2254#line 438
2255struct file;
2256#line 39 "include/linux/moduleparam.h"
2257struct kernel_param;
2258#line 39
2259struct kernel_param;
2260#line 41 "include/linux/moduleparam.h"
2261struct kernel_param_ops {
2262   int (*set)(char const   *val , struct kernel_param  const  *kp ) ;
2263   int (*get)(char *buffer , struct kernel_param  const  *kp ) ;
2264   void (*free)(void *arg ) ;
2265};
2266#line 50
2267struct kparam_string;
2268#line 50
2269struct kparam_array;
2270#line 50 "include/linux/moduleparam.h"
2271union __anonunion____missing_field_name_218 {
2272   void *arg ;
2273   struct kparam_string  const  *str ;
2274   struct kparam_array  const  *arr ;
2275};
2276#line 50 "include/linux/moduleparam.h"
2277struct kernel_param {
2278   char const   *name ;
2279   struct kernel_param_ops  const  *ops ;
2280   u16 perm ;
2281   s16 level ;
2282   union __anonunion____missing_field_name_218 __annonCompField35 ;
2283};
2284#line 63 "include/linux/moduleparam.h"
2285struct kparam_string {
2286   unsigned int maxlen ;
2287   char *string ;
2288};
2289#line 69 "include/linux/moduleparam.h"
2290struct kparam_array {
2291   unsigned int max ;
2292   unsigned int elemsize ;
2293   unsigned int *num ;
2294   struct kernel_param_ops  const  *ops ;
2295   void *elem ;
2296};
2297#line 445
2298struct module;
2299#line 80 "include/linux/jump_label.h"
2300struct module;
2301#line 143 "include/linux/jump_label.h"
2302struct static_key {
2303   atomic_t enabled ;
2304};
2305#line 22 "include/linux/tracepoint.h"
2306struct module;
2307#line 23
2308struct tracepoint;
2309#line 23
2310struct tracepoint;
2311#line 25 "include/linux/tracepoint.h"
2312struct tracepoint_func {
2313   void *func ;
2314   void *data ;
2315};
2316#line 30 "include/linux/tracepoint.h"
2317struct tracepoint {
2318   char const   *name ;
2319   struct static_key key ;
2320   void (*regfunc)(void) ;
2321   void (*unregfunc)(void) ;
2322   struct tracepoint_func *funcs ;
2323};
2324#line 19 "include/linux/export.h"
2325struct kernel_symbol {
2326   unsigned long value ;
2327   char const   *name ;
2328};
2329#line 8 "include/asm-generic/module.h"
2330struct mod_arch_specific {
2331
2332};
2333#line 35 "include/linux/module.h"
2334struct module;
2335#line 37
2336struct module_param_attrs;
2337#line 37 "include/linux/module.h"
2338struct module_kobject {
2339   struct kobject kobj ;
2340   struct module *mod ;
2341   struct kobject *drivers_dir ;
2342   struct module_param_attrs *mp ;
2343};
2344#line 44 "include/linux/module.h"
2345struct module_attribute {
2346   struct attribute attr ;
2347   ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
2348   ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const   * ,
2349                    size_t count ) ;
2350   void (*setup)(struct module * , char const   * ) ;
2351   int (*test)(struct module * ) ;
2352   void (*free)(struct module * ) ;
2353};
2354#line 71
2355struct exception_table_entry;
2356#line 71
2357struct exception_table_entry;
2358#line 199
2359enum module_state {
2360    MODULE_STATE_LIVE = 0,
2361    MODULE_STATE_COMING = 1,
2362    MODULE_STATE_GOING = 2
2363} ;
2364#line 215 "include/linux/module.h"
2365struct module_ref {
2366   unsigned long incs ;
2367   unsigned long decs ;
2368} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
2369#line 220
2370struct module_sect_attrs;
2371#line 220
2372struct module_notes_attrs;
2373#line 220
2374struct ftrace_event_call;
2375#line 220 "include/linux/module.h"
2376struct module {
2377   enum module_state state ;
2378   struct list_head list ;
2379   char name[64UL - sizeof(unsigned long )] ;
2380   struct module_kobject mkobj ;
2381   struct module_attribute *modinfo_attrs ;
2382   char const   *version ;
2383   char const   *srcversion ;
2384   struct kobject *holders_dir ;
2385   struct kernel_symbol  const  *syms ;
2386   unsigned long const   *crcs ;
2387   unsigned int num_syms ;
2388   struct kernel_param *kp ;
2389   unsigned int num_kp ;
2390   unsigned int num_gpl_syms ;
2391   struct kernel_symbol  const  *gpl_syms ;
2392   unsigned long const   *gpl_crcs ;
2393   struct kernel_symbol  const  *unused_syms ;
2394   unsigned long const   *unused_crcs ;
2395   unsigned int num_unused_syms ;
2396   unsigned int num_unused_gpl_syms ;
2397   struct kernel_symbol  const  *unused_gpl_syms ;
2398   unsigned long const   *unused_gpl_crcs ;
2399   struct kernel_symbol  const  *gpl_future_syms ;
2400   unsigned long const   *gpl_future_crcs ;
2401   unsigned int num_gpl_future_syms ;
2402   unsigned int num_exentries ;
2403   struct exception_table_entry *extable ;
2404   int (*init)(void) ;
2405   void *module_init ;
2406   void *module_core ;
2407   unsigned int init_size ;
2408   unsigned int core_size ;
2409   unsigned int init_text_size ;
2410   unsigned int core_text_size ;
2411   unsigned int init_ro_size ;
2412   unsigned int core_ro_size ;
2413   struct mod_arch_specific arch ;
2414   unsigned int taints ;
2415   unsigned int num_bugs ;
2416   struct list_head bug_list ;
2417   struct bug_entry *bug_table ;
2418   Elf64_Sym *symtab ;
2419   Elf64_Sym *core_symtab ;
2420   unsigned int num_symtab ;
2421   unsigned int core_num_syms ;
2422   char *strtab ;
2423   char *core_strtab ;
2424   struct module_sect_attrs *sect_attrs ;
2425   struct module_notes_attrs *notes_attrs ;
2426   char *args ;
2427   void *percpu ;
2428   unsigned int percpu_size ;
2429   unsigned int num_tracepoints ;
2430   struct tracepoint * const  *tracepoints_ptrs ;
2431   unsigned int num_trace_bprintk_fmt ;
2432   char const   **trace_bprintk_fmt_start ;
2433   struct ftrace_event_call **trace_events ;
2434   unsigned int num_trace_events ;
2435   struct list_head source_list ;
2436   struct list_head target_list ;
2437   struct task_struct *waiter ;
2438   void (*exit)(void) ;
2439   struct module_ref *refptr ;
2440   ctor_fn_t *ctors ;
2441   unsigned int num_ctors ;
2442};
2443#line 250 "include/linux/usb/ch9.h"
2444struct usb_device_descriptor {
2445   __u8 bLength ;
2446   __u8 bDescriptorType ;
2447   __le16 bcdUSB ;
2448   __u8 bDeviceClass ;
2449   __u8 bDeviceSubClass ;
2450   __u8 bDeviceProtocol ;
2451   __u8 bMaxPacketSize0 ;
2452   __le16 idVendor ;
2453   __le16 idProduct ;
2454   __le16 bcdDevice ;
2455   __u8 iManufacturer ;
2456   __u8 iProduct ;
2457   __u8 iSerialNumber ;
2458   __u8 bNumConfigurations ;
2459} __attribute__((__packed__)) ;
2460#line 306 "include/linux/usb/ch9.h"
2461struct usb_config_descriptor {
2462   __u8 bLength ;
2463   __u8 bDescriptorType ;
2464   __le16 wTotalLength ;
2465   __u8 bNumInterfaces ;
2466   __u8 bConfigurationValue ;
2467   __u8 iConfiguration ;
2468   __u8 bmAttributes ;
2469   __u8 bMaxPower ;
2470} __attribute__((__packed__)) ;
2471#line 343 "include/linux/usb/ch9.h"
2472struct usb_interface_descriptor {
2473   __u8 bLength ;
2474   __u8 bDescriptorType ;
2475   __u8 bInterfaceNumber ;
2476   __u8 bAlternateSetting ;
2477   __u8 bNumEndpoints ;
2478   __u8 bInterfaceClass ;
2479   __u8 bInterfaceSubClass ;
2480   __u8 bInterfaceProtocol ;
2481   __u8 iInterface ;
2482} __attribute__((__packed__)) ;
2483#line 361 "include/linux/usb/ch9.h"
2484struct usb_endpoint_descriptor {
2485   __u8 bLength ;
2486   __u8 bDescriptorType ;
2487   __u8 bEndpointAddress ;
2488   __u8 bmAttributes ;
2489   __le16 wMaxPacketSize ;
2490   __u8 bInterval ;
2491   __u8 bRefresh ;
2492   __u8 bSynchAddress ;
2493} __attribute__((__packed__)) ;
2494#line 598 "include/linux/usb/ch9.h"
2495struct usb_ss_ep_comp_descriptor {
2496   __u8 bLength ;
2497   __u8 bDescriptorType ;
2498   __u8 bMaxBurst ;
2499   __u8 bmAttributes ;
2500   __le16 wBytesPerInterval ;
2501} __attribute__((__packed__)) ;
2502#line 677 "include/linux/usb/ch9.h"
2503struct usb_interface_assoc_descriptor {
2504   __u8 bLength ;
2505   __u8 bDescriptorType ;
2506   __u8 bFirstInterface ;
2507   __u8 bInterfaceCount ;
2508   __u8 bFunctionClass ;
2509   __u8 bFunctionSubClass ;
2510   __u8 bFunctionProtocol ;
2511   __u8 iFunction ;
2512} __attribute__((__packed__)) ;
2513#line 737 "include/linux/usb/ch9.h"
2514struct usb_bos_descriptor {
2515   __u8 bLength ;
2516   __u8 bDescriptorType ;
2517   __le16 wTotalLength ;
2518   __u8 bNumDeviceCaps ;
2519} __attribute__((__packed__)) ;
2520#line 786 "include/linux/usb/ch9.h"
2521struct usb_ext_cap_descriptor {
2522   __u8 bLength ;
2523   __u8 bDescriptorType ;
2524   __u8 bDevCapabilityType ;
2525   __le32 bmAttributes ;
2526} __attribute__((__packed__)) ;
2527#line 806 "include/linux/usb/ch9.h"
2528struct usb_ss_cap_descriptor {
2529   __u8 bLength ;
2530   __u8 bDescriptorType ;
2531   __u8 bDevCapabilityType ;
2532   __u8 bmAttributes ;
2533   __le16 wSpeedSupported ;
2534   __u8 bFunctionalitySupport ;
2535   __u8 bU1devExitLat ;
2536   __le16 bU2DevExitLat ;
2537} __attribute__((__packed__)) ;
2538#line 829 "include/linux/usb/ch9.h"
2539struct usb_ss_container_id_descriptor {
2540   __u8 bLength ;
2541   __u8 bDescriptorType ;
2542   __u8 bDevCapabilityType ;
2543   __u8 bReserved ;
2544   __u8 ContainerID[16] ;
2545} __attribute__((__packed__)) ;
2546#line 891
2547enum usb_device_speed {
2548    USB_SPEED_UNKNOWN = 0,
2549    USB_SPEED_LOW = 1,
2550    USB_SPEED_FULL = 2,
2551    USB_SPEED_HIGH = 3,
2552    USB_SPEED_WIRELESS = 4,
2553    USB_SPEED_SUPER = 5
2554} ;
2555#line 911
2556enum usb_device_state {
2557    USB_STATE_NOTATTACHED = 0,
2558    USB_STATE_ATTACHED = 1,
2559    USB_STATE_POWERED = 2,
2560    USB_STATE_RECONNECTING = 3,
2561    USB_STATE_UNAUTHENTICATED = 4,
2562    USB_STATE_DEFAULT = 5,
2563    USB_STATE_ADDRESS = 6,
2564    USB_STATE_CONFIGURED = 7,
2565    USB_STATE_SUSPENDED = 8
2566} ;
2567#line 31 "include/linux/irq.h"
2568struct seq_file;
2569#line 32
2570struct module;
2571#line 14 "include/linux/irqdesc.h"
2572struct module;
2573#line 17 "include/linux/profile.h"
2574struct pt_regs;
2575#line 65
2576struct task_struct;
2577#line 66
2578struct mm_struct;
2579#line 88
2580struct pt_regs;
2581#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
2582struct exception_table_entry {
2583   unsigned long insn ;
2584   unsigned long fixup ;
2585};
2586#line 132 "include/linux/hardirq.h"
2587struct task_struct;
2588#line 8 "include/linux/timerqueue.h"
2589struct timerqueue_node {
2590   struct rb_node node ;
2591   ktime_t expires ;
2592};
2593#line 13 "include/linux/timerqueue.h"
2594struct timerqueue_head {
2595   struct rb_root head ;
2596   struct timerqueue_node *next ;
2597};
2598#line 27 "include/linux/hrtimer.h"
2599struct hrtimer_clock_base;
2600#line 27
2601struct hrtimer_clock_base;
2602#line 28
2603struct hrtimer_cpu_base;
2604#line 28
2605struct hrtimer_cpu_base;
2606#line 44
2607enum hrtimer_restart {
2608    HRTIMER_NORESTART = 0,
2609    HRTIMER_RESTART = 1
2610} ;
2611#line 108 "include/linux/hrtimer.h"
2612struct hrtimer {
2613   struct timerqueue_node node ;
2614   ktime_t _softexpires ;
2615   enum hrtimer_restart (*function)(struct hrtimer * ) ;
2616   struct hrtimer_clock_base *base ;
2617   unsigned long state ;
2618   int start_pid ;
2619   void *start_site ;
2620   char start_comm[16] ;
2621};
2622#line 145 "include/linux/hrtimer.h"
2623struct hrtimer_clock_base {
2624   struct hrtimer_cpu_base *cpu_base ;
2625   int index ;
2626   clockid_t clockid ;
2627   struct timerqueue_head active ;
2628   ktime_t resolution ;
2629   ktime_t (*get_time)(void) ;
2630   ktime_t softirq_time ;
2631   ktime_t offset ;
2632};
2633#line 178 "include/linux/hrtimer.h"
2634struct hrtimer_cpu_base {
2635   raw_spinlock_t lock ;
2636   unsigned long active_bases ;
2637   ktime_t expires_next ;
2638   int hres_active ;
2639   int hang_detected ;
2640   unsigned long nr_events ;
2641   unsigned long nr_retries ;
2642   unsigned long nr_hangs ;
2643   ktime_t max_hang_time ;
2644   struct hrtimer_clock_base clock_base[3] ;
2645};
2646#line 187 "include/linux/interrupt.h"
2647struct device;
2648#line 695
2649struct seq_file;
2650#line 23 "include/linux/mm_types.h"
2651struct address_space;
2652#line 40 "include/linux/mm_types.h"
2653union __anonunion____missing_field_name_229 {
2654   unsigned long index ;
2655   void *freelist ;
2656};
2657#line 40 "include/linux/mm_types.h"
2658struct __anonstruct____missing_field_name_233 {
2659   unsigned int inuse : 16 ;
2660   unsigned int objects : 15 ;
2661   unsigned int frozen : 1 ;
2662};
2663#line 40 "include/linux/mm_types.h"
2664union __anonunion____missing_field_name_232 {
2665   atomic_t _mapcount ;
2666   struct __anonstruct____missing_field_name_233 __annonCompField37 ;
2667};
2668#line 40 "include/linux/mm_types.h"
2669struct __anonstruct____missing_field_name_231 {
2670   union __anonunion____missing_field_name_232 __annonCompField38 ;
2671   atomic_t _count ;
2672};
2673#line 40 "include/linux/mm_types.h"
2674union __anonunion____missing_field_name_230 {
2675   unsigned long counters ;
2676   struct __anonstruct____missing_field_name_231 __annonCompField39 ;
2677};
2678#line 40 "include/linux/mm_types.h"
2679struct __anonstruct____missing_field_name_228 {
2680   union __anonunion____missing_field_name_229 __annonCompField36 ;
2681   union __anonunion____missing_field_name_230 __annonCompField40 ;
2682};
2683#line 40 "include/linux/mm_types.h"
2684struct __anonstruct____missing_field_name_235 {
2685   struct page *next ;
2686   int pages ;
2687   int pobjects ;
2688};
2689#line 40 "include/linux/mm_types.h"
2690union __anonunion____missing_field_name_234 {
2691   struct list_head lru ;
2692   struct __anonstruct____missing_field_name_235 __annonCompField42 ;
2693};
2694#line 40 "include/linux/mm_types.h"
2695union __anonunion____missing_field_name_236 {
2696   unsigned long private ;
2697   struct kmem_cache *slab ;
2698   struct page *first_page ;
2699};
2700#line 40 "include/linux/mm_types.h"
2701struct page {
2702   unsigned long flags ;
2703   struct address_space *mapping ;
2704   struct __anonstruct____missing_field_name_228 __annonCompField41 ;
2705   union __anonunion____missing_field_name_234 __annonCompField43 ;
2706   union __anonunion____missing_field_name_236 __annonCompField44 ;
2707   unsigned long debug_flags ;
2708} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
2709#line 200 "include/linux/mm_types.h"
2710struct __anonstruct_vm_set_238 {
2711   struct list_head list ;
2712   void *parent ;
2713   struct vm_area_struct *head ;
2714};
2715#line 200 "include/linux/mm_types.h"
2716union __anonunion_shared_237 {
2717   struct __anonstruct_vm_set_238 vm_set ;
2718   struct raw_prio_tree_node prio_tree_node ;
2719};
2720#line 200
2721struct anon_vma;
2722#line 200
2723struct vm_operations_struct;
2724#line 200
2725struct mempolicy;
2726#line 200 "include/linux/mm_types.h"
2727struct vm_area_struct {
2728   struct mm_struct *vm_mm ;
2729   unsigned long vm_start ;
2730   unsigned long vm_end ;
2731   struct vm_area_struct *vm_next ;
2732   struct vm_area_struct *vm_prev ;
2733   pgprot_t vm_page_prot ;
2734   unsigned long vm_flags ;
2735   struct rb_node vm_rb ;
2736   union __anonunion_shared_237 shared ;
2737   struct list_head anon_vma_chain ;
2738   struct anon_vma *anon_vma ;
2739   struct vm_operations_struct  const  *vm_ops ;
2740   unsigned long vm_pgoff ;
2741   struct file *vm_file ;
2742   void *vm_private_data ;
2743   struct mempolicy *vm_policy ;
2744};
2745#line 257 "include/linux/mm_types.h"
2746struct core_thread {
2747   struct task_struct *task ;
2748   struct core_thread *next ;
2749};
2750#line 262 "include/linux/mm_types.h"
2751struct core_state {
2752   atomic_t nr_threads ;
2753   struct core_thread dumper ;
2754   struct completion startup ;
2755};
2756#line 284 "include/linux/mm_types.h"
2757struct mm_rss_stat {
2758   atomic_long_t count[3] ;
2759};
2760#line 288
2761struct linux_binfmt;
2762#line 288
2763struct mmu_notifier_mm;
2764#line 288 "include/linux/mm_types.h"
2765struct mm_struct {
2766   struct vm_area_struct *mmap ;
2767   struct rb_root mm_rb ;
2768   struct vm_area_struct *mmap_cache ;
2769   unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2770                                      unsigned long pgoff , unsigned long flags ) ;
2771   void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2772   unsigned long mmap_base ;
2773   unsigned long task_size ;
2774   unsigned long cached_hole_size ;
2775   unsigned long free_area_cache ;
2776   pgd_t *pgd ;
2777   atomic_t mm_users ;
2778   atomic_t mm_count ;
2779   int map_count ;
2780   spinlock_t page_table_lock ;
2781   struct rw_semaphore mmap_sem ;
2782   struct list_head mmlist ;
2783   unsigned long hiwater_rss ;
2784   unsigned long hiwater_vm ;
2785   unsigned long total_vm ;
2786   unsigned long locked_vm ;
2787   unsigned long pinned_vm ;
2788   unsigned long shared_vm ;
2789   unsigned long exec_vm ;
2790   unsigned long stack_vm ;
2791   unsigned long reserved_vm ;
2792   unsigned long def_flags ;
2793   unsigned long nr_ptes ;
2794   unsigned long start_code ;
2795   unsigned long end_code ;
2796   unsigned long start_data ;
2797   unsigned long end_data ;
2798   unsigned long start_brk ;
2799   unsigned long brk ;
2800   unsigned long start_stack ;
2801   unsigned long arg_start ;
2802   unsigned long arg_end ;
2803   unsigned long env_start ;
2804   unsigned long env_end ;
2805   unsigned long saved_auxv[44] ;
2806   struct mm_rss_stat rss_stat ;
2807   struct linux_binfmt *binfmt ;
2808   cpumask_var_t cpu_vm_mask_var ;
2809   mm_context_t context ;
2810   unsigned int faultstamp ;
2811   unsigned int token_priority ;
2812   unsigned int last_interval ;
2813   unsigned long flags ;
2814   struct core_state *core_state ;
2815   spinlock_t ioctx_lock ;
2816   struct hlist_head ioctx_list ;
2817   struct task_struct *owner ;
2818   struct file *exe_file ;
2819   unsigned long num_exe_file_vmas ;
2820   struct mmu_notifier_mm *mmu_notifier_mm ;
2821   pgtable_t pmd_huge_pte ;
2822   struct cpumask cpumask_allocation ;
2823};
2824#line 7 "include/asm-generic/cputime.h"
2825typedef unsigned long cputime_t;
2826#line 84 "include/linux/sem.h"
2827struct task_struct;
2828#line 101
2829struct sem_undo_list;
2830#line 101 "include/linux/sem.h"
2831struct sysv_sem {
2832   struct sem_undo_list *undo_list ;
2833};
2834#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2835struct siginfo;
2836#line 10
2837struct siginfo;
2838#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2839struct __anonstruct_sigset_t_240 {
2840   unsigned long sig[1] ;
2841};
2842#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2843typedef struct __anonstruct_sigset_t_240 sigset_t;
2844#line 17 "include/asm-generic/signal-defs.h"
2845typedef void __signalfn_t(int  );
2846#line 18 "include/asm-generic/signal-defs.h"
2847typedef __signalfn_t *__sighandler_t;
2848#line 20 "include/asm-generic/signal-defs.h"
2849typedef void __restorefn_t(void);
2850#line 21 "include/asm-generic/signal-defs.h"
2851typedef __restorefn_t *__sigrestore_t;
2852#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2853struct sigaction {
2854   __sighandler_t sa_handler ;
2855   unsigned long sa_flags ;
2856   __sigrestore_t sa_restorer ;
2857   sigset_t sa_mask ;
2858};
2859#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2860struct k_sigaction {
2861   struct sigaction sa ;
2862};
2863#line 7 "include/asm-generic/siginfo.h"
2864union sigval {
2865   int sival_int ;
2866   void *sival_ptr ;
2867};
2868#line 7 "include/asm-generic/siginfo.h"
2869typedef union sigval sigval_t;
2870#line 48 "include/asm-generic/siginfo.h"
2871struct __anonstruct__kill_242 {
2872   __kernel_pid_t _pid ;
2873   __kernel_uid32_t _uid ;
2874};
2875#line 48 "include/asm-generic/siginfo.h"
2876struct __anonstruct__timer_243 {
2877   __kernel_timer_t _tid ;
2878   int _overrun ;
2879   char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2880   sigval_t _sigval ;
2881   int _sys_private ;
2882};
2883#line 48 "include/asm-generic/siginfo.h"
2884struct __anonstruct__rt_244 {
2885   __kernel_pid_t _pid ;
2886   __kernel_uid32_t _uid ;
2887   sigval_t _sigval ;
2888};
2889#line 48 "include/asm-generic/siginfo.h"
2890struct __anonstruct__sigchld_245 {
2891   __kernel_pid_t _pid ;
2892   __kernel_uid32_t _uid ;
2893   int _status ;
2894   __kernel_clock_t _utime ;
2895   __kernel_clock_t _stime ;
2896};
2897#line 48 "include/asm-generic/siginfo.h"
2898struct __anonstruct__sigfault_246 {
2899   void *_addr ;
2900   short _addr_lsb ;
2901};
2902#line 48 "include/asm-generic/siginfo.h"
2903struct __anonstruct__sigpoll_247 {
2904   long _band ;
2905   int _fd ;
2906};
2907#line 48 "include/asm-generic/siginfo.h"
2908union __anonunion__sifields_241 {
2909   int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2910   struct __anonstruct__kill_242 _kill ;
2911   struct __anonstruct__timer_243 _timer ;
2912   struct __anonstruct__rt_244 _rt ;
2913   struct __anonstruct__sigchld_245 _sigchld ;
2914   struct __anonstruct__sigfault_246 _sigfault ;
2915   struct __anonstruct__sigpoll_247 _sigpoll ;
2916};
2917#line 48 "include/asm-generic/siginfo.h"
2918struct siginfo {
2919   int si_signo ;
2920   int si_errno ;
2921   int si_code ;
2922   union __anonunion__sifields_241 _sifields ;
2923};
2924#line 48 "include/asm-generic/siginfo.h"
2925typedef struct siginfo siginfo_t;
2926#line 288
2927struct siginfo;
2928#line 10 "include/linux/signal.h"
2929struct task_struct;
2930#line 18
2931struct user_struct;
2932#line 28 "include/linux/signal.h"
2933struct sigpending {
2934   struct list_head list ;
2935   sigset_t signal ;
2936};
2937#line 239
2938struct timespec;
2939#line 240
2940struct pt_regs;
2941#line 10 "include/linux/seccomp.h"
2942struct __anonstruct_seccomp_t_250 {
2943   int mode ;
2944};
2945#line 10 "include/linux/seccomp.h"
2946typedef struct __anonstruct_seccomp_t_250 seccomp_t;
2947#line 81 "include/linux/plist.h"
2948struct plist_head {
2949   struct list_head node_list ;
2950};
2951#line 85 "include/linux/plist.h"
2952struct plist_node {
2953   int prio ;
2954   struct list_head prio_list ;
2955   struct list_head node_list ;
2956};
2957#line 40 "include/linux/rtmutex.h"
2958struct rt_mutex_waiter;
2959#line 40
2960struct rt_mutex_waiter;
2961#line 42 "include/linux/resource.h"
2962struct rlimit {
2963   unsigned long rlim_cur ;
2964   unsigned long rlim_max ;
2965};
2966#line 81
2967struct task_struct;
2968#line 11 "include/linux/task_io_accounting.h"
2969struct task_io_accounting {
2970   u64 rchar ;
2971   u64 wchar ;
2972   u64 syscr ;
2973   u64 syscw ;
2974   u64 read_bytes ;
2975   u64 write_bytes ;
2976   u64 cancelled_write_bytes ;
2977};
2978#line 13 "include/linux/latencytop.h"
2979struct task_struct;
2980#line 20 "include/linux/latencytop.h"
2981struct latency_record {
2982   unsigned long backtrace[12] ;
2983   unsigned int count ;
2984   unsigned long time ;
2985   unsigned long max ;
2986};
2987#line 29 "include/linux/key.h"
2988typedef int32_t key_serial_t;
2989#line 32 "include/linux/key.h"
2990typedef uint32_t key_perm_t;
2991#line 34
2992struct key;
2993#line 34
2994struct key;
2995#line 74
2996struct seq_file;
2997#line 75
2998struct user_struct;
2999#line 76
3000struct signal_struct;
3001#line 76
3002struct signal_struct;
3003#line 77
3004struct cred;
3005#line 79
3006struct key_type;
3007#line 79
3008struct key_type;
3009#line 81
3010struct keyring_list;
3011#line 81
3012struct keyring_list;
3013#line 124
3014struct key_user;
3015#line 124 "include/linux/key.h"
3016union __anonunion____missing_field_name_251 {
3017   time_t expiry ;
3018   time_t revoked_at ;
3019};
3020#line 124 "include/linux/key.h"
3021union __anonunion_type_data_252 {
3022   struct list_head link ;
3023   unsigned long x[2] ;
3024   void *p[2] ;
3025   int reject_error ;
3026};
3027#line 124 "include/linux/key.h"
3028union __anonunion_payload_253 {
3029   unsigned long value ;
3030   void *rcudata ;
3031   void *data ;
3032   struct keyring_list *subscriptions ;
3033};
3034#line 124 "include/linux/key.h"
3035struct key {
3036   atomic_t usage ;
3037   key_serial_t serial ;
3038   struct rb_node serial_node ;
3039   struct key_type *type ;
3040   struct rw_semaphore sem ;
3041   struct key_user *user ;
3042   void *security ;
3043   union __anonunion____missing_field_name_251 __annonCompField45 ;
3044   uid_t uid ;
3045   gid_t gid ;
3046   key_perm_t perm ;
3047   unsigned short quotalen ;
3048   unsigned short datalen ;
3049   unsigned long flags ;
3050   char *description ;
3051   union __anonunion_type_data_252 type_data ;
3052   union __anonunion_payload_253 payload ;
3053};
3054#line 18 "include/linux/selinux.h"
3055struct audit_context;
3056#line 18
3057struct audit_context;
3058#line 21 "include/linux/cred.h"
3059struct user_struct;
3060#line 22
3061struct cred;
3062#line 23
3063struct inode;
3064#line 31 "include/linux/cred.h"
3065struct group_info {
3066   atomic_t usage ;
3067   int ngroups ;
3068   int nblocks ;
3069   gid_t small_block[32] ;
3070   gid_t *blocks[0] ;
3071};
3072#line 83 "include/linux/cred.h"
3073struct thread_group_cred {
3074   atomic_t usage ;
3075   pid_t tgid ;
3076   spinlock_t lock ;
3077   struct key *session_keyring ;
3078   struct key *process_keyring ;
3079   struct rcu_head rcu ;
3080};
3081#line 116 "include/linux/cred.h"
3082struct cred {
3083   atomic_t usage ;
3084   atomic_t subscribers ;
3085   void *put_addr ;
3086   unsigned int magic ;
3087   uid_t uid ;
3088   gid_t gid ;
3089   uid_t suid ;
3090   gid_t sgid ;
3091   uid_t euid ;
3092   gid_t egid ;
3093   uid_t fsuid ;
3094   gid_t fsgid ;
3095   unsigned int securebits ;
3096   kernel_cap_t cap_inheritable ;
3097   kernel_cap_t cap_permitted ;
3098   kernel_cap_t cap_effective ;
3099   kernel_cap_t cap_bset ;
3100   unsigned char jit_keyring ;
3101   struct key *thread_keyring ;
3102   struct key *request_key_auth ;
3103   struct thread_group_cred *tgcred ;
3104   void *security ;
3105   struct user_struct *user ;
3106   struct user_namespace *user_ns ;
3107   struct group_info *group_info ;
3108   struct rcu_head rcu ;
3109};
3110#line 61 "include/linux/llist.h"
3111struct llist_node;
3112#line 65 "include/linux/llist.h"
3113struct llist_node {
3114   struct llist_node *next ;
3115};
3116#line 97 "include/linux/sched.h"
3117struct futex_pi_state;
3118#line 97
3119struct futex_pi_state;
3120#line 98
3121struct robust_list_head;
3122#line 98
3123struct robust_list_head;
3124#line 99
3125struct bio_list;
3126#line 99
3127struct bio_list;
3128#line 100
3129struct fs_struct;
3130#line 100
3131struct fs_struct;
3132#line 101
3133struct perf_event_context;
3134#line 101
3135struct perf_event_context;
3136#line 102
3137struct blk_plug;
3138#line 102
3139struct blk_plug;
3140#line 150
3141struct seq_file;
3142#line 151
3143struct cfs_rq;
3144#line 151
3145struct cfs_rq;
3146#line 259
3147struct task_struct;
3148#line 366
3149struct nsproxy;
3150#line 367
3151struct user_namespace;
3152#line 58 "include/linux/aio_abi.h"
3153struct io_event {
3154   __u64 data ;
3155   __u64 obj ;
3156   __s64 res ;
3157   __s64 res2 ;
3158};
3159#line 16 "include/linux/uio.h"
3160struct iovec {
3161   void *iov_base ;
3162   __kernel_size_t iov_len ;
3163};
3164#line 15 "include/linux/aio.h"
3165struct kioctx;
3166#line 15
3167struct kioctx;
3168#line 87 "include/linux/aio.h"
3169union __anonunion_ki_obj_255 {
3170   void *user ;
3171   struct task_struct *tsk ;
3172};
3173#line 87
3174struct eventfd_ctx;
3175#line 87 "include/linux/aio.h"
3176struct kiocb {
3177   struct list_head ki_run_list ;
3178   unsigned long ki_flags ;
3179   int ki_users ;
3180   unsigned int ki_key ;
3181   struct file *ki_filp ;
3182   struct kioctx *ki_ctx ;
3183   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3184   ssize_t (*ki_retry)(struct kiocb * ) ;
3185   void (*ki_dtor)(struct kiocb * ) ;
3186   union __anonunion_ki_obj_255 ki_obj ;
3187   __u64 ki_user_data ;
3188   loff_t ki_pos ;
3189   void *private ;
3190   unsigned short ki_opcode ;
3191   size_t ki_nbytes ;
3192   char *ki_buf ;
3193   size_t ki_left ;
3194   struct iovec ki_inline_vec ;
3195   struct iovec *ki_iovec ;
3196   unsigned long ki_nr_segs ;
3197   unsigned long ki_cur_seg ;
3198   struct list_head ki_list ;
3199   struct list_head ki_batch ;
3200   struct eventfd_ctx *ki_eventfd ;
3201};
3202#line 166 "include/linux/aio.h"
3203struct aio_ring_info {
3204   unsigned long mmap_base ;
3205   unsigned long mmap_size ;
3206   struct page **ring_pages ;
3207   spinlock_t ring_lock ;
3208   long nr_pages ;
3209   unsigned int nr ;
3210   unsigned int tail ;
3211   struct page *internal_pages[8] ;
3212};
3213#line 179 "include/linux/aio.h"
3214struct kioctx {
3215   atomic_t users ;
3216   int dead ;
3217   struct mm_struct *mm ;
3218   unsigned long user_id ;
3219   struct hlist_node list ;
3220   wait_queue_head_t wait ;
3221   spinlock_t ctx_lock ;
3222   int reqs_active ;
3223   struct list_head active_reqs ;
3224   struct list_head run_list ;
3225   unsigned int max_reqs ;
3226   struct aio_ring_info ring_info ;
3227   struct delayed_work wq ;
3228   struct rcu_head rcu_head ;
3229};
3230#line 214
3231struct mm_struct;
3232#line 443 "include/linux/sched.h"
3233struct sighand_struct {
3234   atomic_t count ;
3235   struct k_sigaction action[64] ;
3236   spinlock_t siglock ;
3237   wait_queue_head_t signalfd_wqh ;
3238};
3239#line 450 "include/linux/sched.h"
3240struct pacct_struct {
3241   int ac_flag ;
3242   long ac_exitcode ;
3243   unsigned long ac_mem ;
3244   cputime_t ac_utime ;
3245   cputime_t ac_stime ;
3246   unsigned long ac_minflt ;
3247   unsigned long ac_majflt ;
3248};
3249#line 458 "include/linux/sched.h"
3250struct cpu_itimer {
3251   cputime_t expires ;
3252   cputime_t incr ;
3253   u32 error ;
3254   u32 incr_error ;
3255};
3256#line 476 "include/linux/sched.h"
3257struct task_cputime {
3258   cputime_t utime ;
3259   cputime_t stime ;
3260   unsigned long long sum_exec_runtime ;
3261};
3262#line 512 "include/linux/sched.h"
3263struct thread_group_cputimer {
3264   struct task_cputime cputime ;
3265   int running ;
3266   raw_spinlock_t lock ;
3267};
3268#line 519
3269struct autogroup;
3270#line 519
3271struct autogroup;
3272#line 528
3273struct tty_struct;
3274#line 528
3275struct taskstats;
3276#line 528
3277struct tty_audit_buf;
3278#line 528 "include/linux/sched.h"
3279struct signal_struct {
3280   atomic_t sigcnt ;
3281   atomic_t live ;
3282   int nr_threads ;
3283   wait_queue_head_t wait_chldexit ;
3284   struct task_struct *curr_target ;
3285   struct sigpending shared_pending ;
3286   int group_exit_code ;
3287   int notify_count ;
3288   struct task_struct *group_exit_task ;
3289   int group_stop_count ;
3290   unsigned int flags ;
3291   unsigned int is_child_subreaper : 1 ;
3292   unsigned int has_child_subreaper : 1 ;
3293   struct list_head posix_timers ;
3294   struct hrtimer real_timer ;
3295   struct pid *leader_pid ;
3296   ktime_t it_real_incr ;
3297   struct cpu_itimer it[2] ;
3298   struct thread_group_cputimer cputimer ;
3299   struct task_cputime cputime_expires ;
3300   struct list_head cpu_timers[3] ;
3301   struct pid *tty_old_pgrp ;
3302   int leader ;
3303   struct tty_struct *tty ;
3304   struct autogroup *autogroup ;
3305   cputime_t utime ;
3306   cputime_t stime ;
3307   cputime_t cutime ;
3308   cputime_t cstime ;
3309   cputime_t gtime ;
3310   cputime_t cgtime ;
3311   cputime_t prev_utime ;
3312   cputime_t prev_stime ;
3313   unsigned long nvcsw ;
3314   unsigned long nivcsw ;
3315   unsigned long cnvcsw ;
3316   unsigned long cnivcsw ;
3317   unsigned long min_flt ;
3318   unsigned long maj_flt ;
3319   unsigned long cmin_flt ;
3320   unsigned long cmaj_flt ;
3321   unsigned long inblock ;
3322   unsigned long oublock ;
3323   unsigned long cinblock ;
3324   unsigned long coublock ;
3325   unsigned long maxrss ;
3326   unsigned long cmaxrss ;
3327   struct task_io_accounting ioac ;
3328   unsigned long long sum_sched_runtime ;
3329   struct rlimit rlim[16] ;
3330   struct pacct_struct pacct ;
3331   struct taskstats *stats ;
3332   unsigned int audit_tty ;
3333   struct tty_audit_buf *tty_audit_buf ;
3334   struct rw_semaphore group_rwsem ;
3335   int oom_adj ;
3336   int oom_score_adj ;
3337   int oom_score_adj_min ;
3338   struct mutex cred_guard_mutex ;
3339};
3340#line 703 "include/linux/sched.h"
3341struct user_struct {
3342   atomic_t __count ;
3343   atomic_t processes ;
3344   atomic_t files ;
3345   atomic_t sigpending ;
3346   atomic_t inotify_watches ;
3347   atomic_t inotify_devs ;
3348   atomic_t fanotify_listeners ;
3349   atomic_long_t epoll_watches ;
3350   unsigned long mq_bytes ;
3351   unsigned long locked_shm ;
3352   struct key *uid_keyring ;
3353   struct key *session_keyring ;
3354   struct hlist_node uidhash_node ;
3355   uid_t uid ;
3356   struct user_namespace *user_ns ;
3357   atomic_long_t locked_vm ;
3358};
3359#line 747
3360struct backing_dev_info;
3361#line 748
3362struct reclaim_state;
3363#line 748
3364struct reclaim_state;
3365#line 751 "include/linux/sched.h"
3366struct sched_info {
3367   unsigned long pcount ;
3368   unsigned long long run_delay ;
3369   unsigned long long last_arrival ;
3370   unsigned long long last_queued ;
3371};
3372#line 763 "include/linux/sched.h"
3373struct task_delay_info {
3374   spinlock_t lock ;
3375   unsigned int flags ;
3376   struct timespec blkio_start ;
3377   struct timespec blkio_end ;
3378   u64 blkio_delay ;
3379   u64 swapin_delay ;
3380   u32 blkio_count ;
3381   u32 swapin_count ;
3382   struct timespec freepages_start ;
3383   struct timespec freepages_end ;
3384   u64 freepages_delay ;
3385   u32 freepages_count ;
3386};
3387#line 1088
3388struct io_context;
3389#line 1088
3390struct io_context;
3391#line 1097
3392struct audit_context;
3393#line 1098
3394struct mempolicy;
3395#line 1099
3396struct pipe_inode_info;
3397#line 1102
3398struct rq;
3399#line 1102
3400struct rq;
3401#line 1122 "include/linux/sched.h"
3402struct sched_class {
3403   struct sched_class  const  *next ;
3404   void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3405   void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3406   void (*yield_task)(struct rq *rq ) ;
3407   bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3408   void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3409   struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3410   void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3411   int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3412   void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3413   void (*post_schedule)(struct rq *this_rq ) ;
3414   void (*task_waking)(struct task_struct *task ) ;
3415   void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3416   void (*set_cpus_allowed)(struct task_struct *p , struct cpumask  const  *newmask ) ;
3417   void (*rq_online)(struct rq *rq ) ;
3418   void (*rq_offline)(struct rq *rq ) ;
3419   void (*set_curr_task)(struct rq *rq ) ;
3420   void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3421   void (*task_fork)(struct task_struct *p ) ;
3422   void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3423   void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3424   void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3425   unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3426   void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3427};
3428#line 1167 "include/linux/sched.h"
3429struct load_weight {
3430   unsigned long weight ;
3431   unsigned long inv_weight ;
3432};
3433#line 1172 "include/linux/sched.h"
3434struct sched_statistics {
3435   u64 wait_start ;
3436   u64 wait_max ;
3437   u64 wait_count ;
3438   u64 wait_sum ;
3439   u64 iowait_count ;
3440   u64 iowait_sum ;
3441   u64 sleep_start ;
3442   u64 sleep_max ;
3443   s64 sum_sleep_runtime ;
3444   u64 block_start ;
3445   u64 block_max ;
3446   u64 exec_max ;
3447   u64 slice_max ;
3448   u64 nr_migrations_cold ;
3449   u64 nr_failed_migrations_affine ;
3450   u64 nr_failed_migrations_running ;
3451   u64 nr_failed_migrations_hot ;
3452   u64 nr_forced_migrations ;
3453   u64 nr_wakeups ;
3454   u64 nr_wakeups_sync ;
3455   u64 nr_wakeups_migrate ;
3456   u64 nr_wakeups_local ;
3457   u64 nr_wakeups_remote ;
3458   u64 nr_wakeups_affine ;
3459   u64 nr_wakeups_affine_attempts ;
3460   u64 nr_wakeups_passive ;
3461   u64 nr_wakeups_idle ;
3462};
3463#line 1207 "include/linux/sched.h"
3464struct sched_entity {
3465   struct load_weight load ;
3466   struct rb_node run_node ;
3467   struct list_head group_node ;
3468   unsigned int on_rq ;
3469   u64 exec_start ;
3470   u64 sum_exec_runtime ;
3471   u64 vruntime ;
3472   u64 prev_sum_exec_runtime ;
3473   u64 nr_migrations ;
3474   struct sched_statistics statistics ;
3475   struct sched_entity *parent ;
3476   struct cfs_rq *cfs_rq ;
3477   struct cfs_rq *my_q ;
3478};
3479#line 1233
3480struct rt_rq;
3481#line 1233 "include/linux/sched.h"
3482struct sched_rt_entity {
3483   struct list_head run_list ;
3484   unsigned long timeout ;
3485   unsigned int time_slice ;
3486   int nr_cpus_allowed ;
3487   struct sched_rt_entity *back ;
3488   struct sched_rt_entity *parent ;
3489   struct rt_rq *rt_rq ;
3490   struct rt_rq *my_q ;
3491};
3492#line 1264
3493struct css_set;
3494#line 1264
3495struct compat_robust_list_head;
3496#line 1264
3497struct mem_cgroup;
3498#line 1264 "include/linux/sched.h"
3499struct memcg_batch_info {
3500   int do_batch ;
3501   struct mem_cgroup *memcg ;
3502   unsigned long nr_pages ;
3503   unsigned long memsw_nr_pages ;
3504};
3505#line 1264 "include/linux/sched.h"
3506struct task_struct {
3507   long volatile   state ;
3508   void *stack ;
3509   atomic_t usage ;
3510   unsigned int flags ;
3511   unsigned int ptrace ;
3512   struct llist_node wake_entry ;
3513   int on_cpu ;
3514   int on_rq ;
3515   int prio ;
3516   int static_prio ;
3517   int normal_prio ;
3518   unsigned int rt_priority ;
3519   struct sched_class  const  *sched_class ;
3520   struct sched_entity se ;
3521   struct sched_rt_entity rt ;
3522   struct hlist_head preempt_notifiers ;
3523   unsigned char fpu_counter ;
3524   unsigned int policy ;
3525   cpumask_t cpus_allowed ;
3526   struct sched_info sched_info ;
3527   struct list_head tasks ;
3528   struct plist_node pushable_tasks ;
3529   struct mm_struct *mm ;
3530   struct mm_struct *active_mm ;
3531   unsigned int brk_randomized : 1 ;
3532   int exit_state ;
3533   int exit_code ;
3534   int exit_signal ;
3535   int pdeath_signal ;
3536   unsigned int jobctl ;
3537   unsigned int personality ;
3538   unsigned int did_exec : 1 ;
3539   unsigned int in_execve : 1 ;
3540   unsigned int in_iowait : 1 ;
3541   unsigned int sched_reset_on_fork : 1 ;
3542   unsigned int sched_contributes_to_load : 1 ;
3543   unsigned int irq_thread : 1 ;
3544   pid_t pid ;
3545   pid_t tgid ;
3546   unsigned long stack_canary ;
3547   struct task_struct *real_parent ;
3548   struct task_struct *parent ;
3549   struct list_head children ;
3550   struct list_head sibling ;
3551   struct task_struct *group_leader ;
3552   struct list_head ptraced ;
3553   struct list_head ptrace_entry ;
3554   struct pid_link pids[3] ;
3555   struct list_head thread_group ;
3556   struct completion *vfork_done ;
3557   int *set_child_tid ;
3558   int *clear_child_tid ;
3559   cputime_t utime ;
3560   cputime_t stime ;
3561   cputime_t utimescaled ;
3562   cputime_t stimescaled ;
3563   cputime_t gtime ;
3564   cputime_t prev_utime ;
3565   cputime_t prev_stime ;
3566   unsigned long nvcsw ;
3567   unsigned long nivcsw ;
3568   struct timespec start_time ;
3569   struct timespec real_start_time ;
3570   unsigned long min_flt ;
3571   unsigned long maj_flt ;
3572   struct task_cputime cputime_expires ;
3573   struct list_head cpu_timers[3] ;
3574   struct cred  const  *real_cred ;
3575   struct cred  const  *cred ;
3576   struct cred *replacement_session_keyring ;
3577   char comm[16] ;
3578   int link_count ;
3579   int total_link_count ;
3580   struct sysv_sem sysvsem ;
3581   unsigned long last_switch_count ;
3582   struct thread_struct thread ;
3583   struct fs_struct *fs ;
3584   struct files_struct *files ;
3585   struct nsproxy *nsproxy ;
3586   struct signal_struct *signal ;
3587   struct sighand_struct *sighand ;
3588   sigset_t blocked ;
3589   sigset_t real_blocked ;
3590   sigset_t saved_sigmask ;
3591   struct sigpending pending ;
3592   unsigned long sas_ss_sp ;
3593   size_t sas_ss_size ;
3594   int (*notifier)(void *priv ) ;
3595   void *notifier_data ;
3596   sigset_t *notifier_mask ;
3597   struct audit_context *audit_context ;
3598   uid_t loginuid ;
3599   unsigned int sessionid ;
3600   seccomp_t seccomp ;
3601   u32 parent_exec_id ;
3602   u32 self_exec_id ;
3603   spinlock_t alloc_lock ;
3604   raw_spinlock_t pi_lock ;
3605   struct plist_head pi_waiters ;
3606   struct rt_mutex_waiter *pi_blocked_on ;
3607   struct mutex_waiter *blocked_on ;
3608   unsigned int irq_events ;
3609   unsigned long hardirq_enable_ip ;
3610   unsigned long hardirq_disable_ip ;
3611   unsigned int hardirq_enable_event ;
3612   unsigned int hardirq_disable_event ;
3613   int hardirqs_enabled ;
3614   int hardirq_context ;
3615   unsigned long softirq_disable_ip ;
3616   unsigned long softirq_enable_ip ;
3617   unsigned int softirq_disable_event ;
3618   unsigned int softirq_enable_event ;
3619   int softirqs_enabled ;
3620   int softirq_context ;
3621   void *journal_info ;
3622   struct bio_list *bio_list ;
3623   struct blk_plug *plug ;
3624   struct reclaim_state *reclaim_state ;
3625   struct backing_dev_info *backing_dev_info ;
3626   struct io_context *io_context ;
3627   unsigned long ptrace_message ;
3628   siginfo_t *last_siginfo ;
3629   struct task_io_accounting ioac ;
3630   u64 acct_rss_mem1 ;
3631   u64 acct_vm_mem1 ;
3632   cputime_t acct_timexpd ;
3633   nodemask_t mems_allowed ;
3634   seqcount_t mems_allowed_seq ;
3635   int cpuset_mem_spread_rotor ;
3636   int cpuset_slab_spread_rotor ;
3637   struct css_set *cgroups ;
3638   struct list_head cg_list ;
3639   struct robust_list_head *robust_list ;
3640   struct compat_robust_list_head *compat_robust_list ;
3641   struct list_head pi_state_list ;
3642   struct futex_pi_state *pi_state_cache ;
3643   struct perf_event_context *perf_event_ctxp[2] ;
3644   struct mutex perf_event_mutex ;
3645   struct list_head perf_event_list ;
3646   struct mempolicy *mempolicy ;
3647   short il_next ;
3648   short pref_node_fork ;
3649   struct rcu_head rcu ;
3650   struct pipe_inode_info *splice_pipe ;
3651   struct task_delay_info *delays ;
3652   int make_it_fail ;
3653   int nr_dirtied ;
3654   int nr_dirtied_pause ;
3655   unsigned long dirty_paused_when ;
3656   int latency_record_count ;
3657   struct latency_record latency_record[32] ;
3658   unsigned long timer_slack_ns ;
3659   unsigned long default_timer_slack_ns ;
3660   struct list_head *scm_work_list ;
3661   unsigned long trace ;
3662   unsigned long trace_recursion ;
3663   struct memcg_batch_info memcg_batch ;
3664   atomic_t ptrace_bp_refcnt ;
3665};
3666#line 1681
3667struct pid_namespace;
3668#line 25 "include/linux/usb.h"
3669struct usb_device;
3670#line 25
3671struct usb_device;
3672#line 26
3673struct usb_driver;
3674#line 26
3675struct usb_driver;
3676#line 27
3677struct wusb_dev;
3678#line 27
3679struct wusb_dev;
3680#line 47
3681struct ep_device;
3682#line 47
3683struct ep_device;
3684#line 64 "include/linux/usb.h"
3685struct usb_host_endpoint {
3686   struct usb_endpoint_descriptor desc ;
3687   struct usb_ss_ep_comp_descriptor ss_ep_comp ;
3688   struct list_head urb_list ;
3689   void *hcpriv ;
3690   struct ep_device *ep_dev ;
3691   unsigned char *extra ;
3692   int extralen ;
3693   int enabled ;
3694};
3695#line 77 "include/linux/usb.h"
3696struct usb_host_interface {
3697   struct usb_interface_descriptor desc ;
3698   struct usb_host_endpoint *endpoint ;
3699   char *string ;
3700   unsigned char *extra ;
3701   int extralen ;
3702};
3703#line 90
3704enum usb_interface_condition {
3705    USB_INTERFACE_UNBOUND = 0,
3706    USB_INTERFACE_BINDING = 1,
3707    USB_INTERFACE_BOUND = 2,
3708    USB_INTERFACE_UNBINDING = 3
3709} ;
3710#line 159 "include/linux/usb.h"
3711struct usb_interface {
3712   struct usb_host_interface *altsetting ;
3713   struct usb_host_interface *cur_altsetting ;
3714   unsigned int num_altsetting ;
3715   struct usb_interface_assoc_descriptor *intf_assoc ;
3716   int minor ;
3717   enum usb_interface_condition condition ;
3718   unsigned int sysfs_files_created : 1 ;
3719   unsigned int ep_devs_created : 1 ;
3720   unsigned int unregistering : 1 ;
3721   unsigned int needs_remote_wakeup : 1 ;
3722   unsigned int needs_altsetting0 : 1 ;
3723   unsigned int needs_binding : 1 ;
3724   unsigned int reset_running : 1 ;
3725   unsigned int resetting_device : 1 ;
3726   struct device dev ;
3727   struct device *usb_dev ;
3728   atomic_t pm_usage_cnt ;
3729   struct work_struct reset_ws ;
3730};
3731#line 222 "include/linux/usb.h"
3732struct usb_interface_cache {
3733   unsigned int num_altsetting ;
3734   struct kref ref ;
3735   struct usb_host_interface altsetting[0] ;
3736};
3737#line 274 "include/linux/usb.h"
3738struct usb_host_config {
3739   struct usb_config_descriptor desc ;
3740   char *string ;
3741   struct usb_interface_assoc_descriptor *intf_assoc[16] ;
3742   struct usb_interface *interface[32] ;
3743   struct usb_interface_cache *intf_cache[32] ;
3744   unsigned char *extra ;
3745   int extralen ;
3746};
3747#line 296 "include/linux/usb.h"
3748struct usb_host_bos {
3749   struct usb_bos_descriptor *desc ;
3750   struct usb_ext_cap_descriptor *ext_cap ;
3751   struct usb_ss_cap_descriptor *ss_cap ;
3752   struct usb_ss_container_id_descriptor *ss_id ;
3753};
3754#line 315 "include/linux/usb.h"
3755struct usb_devmap {
3756   unsigned long devicemap[128UL / (8UL * sizeof(unsigned long ))] ;
3757};
3758#line 322
3759struct mon_bus;
3760#line 322 "include/linux/usb.h"
3761struct usb_bus {
3762   struct device *controller ;
3763   int busnum ;
3764   char const   *bus_name ;
3765   u8 uses_dma ;
3766   u8 uses_pio_for_control ;
3767   u8 otg_port ;
3768   unsigned int is_b_host : 1 ;
3769   unsigned int b_hnp_enable : 1 ;
3770   unsigned int sg_tablesize ;
3771   int devnum_next ;
3772   struct usb_devmap devmap ;
3773   struct usb_device *root_hub ;
3774   struct usb_bus *hs_companion ;
3775   struct list_head bus_list ;
3776   int bandwidth_allocated ;
3777   int bandwidth_int_reqs ;
3778   int bandwidth_isoc_reqs ;
3779   struct dentry *usbfs_dentry ;
3780   struct mon_bus *mon_bus ;
3781   int monitored ;
3782};
3783#line 377
3784struct usb_tt;
3785#line 377
3786struct usb_tt;
3787#line 379
3788enum usb_device_removable {
3789    USB_DEVICE_REMOVABLE_UNKNOWN = 0,
3790    USB_DEVICE_REMOVABLE = 1,
3791    USB_DEVICE_FIXED = 2
3792} ;
3793#line 447 "include/linux/usb.h"
3794struct usb_device {
3795   int devnum ;
3796   char devpath[16] ;
3797   u32 route ;
3798   enum usb_device_state state ;
3799   enum usb_device_speed speed ;
3800   struct usb_tt *tt ;
3801   int ttport ;
3802   unsigned int toggle[2] ;
3803   struct usb_device *parent ;
3804   struct usb_bus *bus ;
3805   struct usb_host_endpoint ep0 ;
3806   struct device dev ;
3807   struct usb_device_descriptor descriptor ;
3808   struct usb_host_bos *bos ;
3809   struct usb_host_config *config ;
3810   struct usb_host_config *actconfig ;
3811   struct usb_host_endpoint *ep_in[16] ;
3812   struct usb_host_endpoint *ep_out[16] ;
3813   char **rawdescriptors ;
3814   unsigned short bus_mA ;
3815   u8 portnum ;
3816   u8 level ;
3817   unsigned int can_submit : 1 ;
3818   unsigned int persist_enabled : 1 ;
3819   unsigned int have_langid : 1 ;
3820   unsigned int authorized : 1 ;
3821   unsigned int authenticated : 1 ;
3822   unsigned int wusb : 1 ;
3823   unsigned int lpm_capable : 1 ;
3824   unsigned int usb2_hw_lpm_capable : 1 ;
3825   unsigned int usb2_hw_lpm_enabled : 1 ;
3826   int string_langid ;
3827   char *product ;
3828   char *manufacturer ;
3829   char *serial ;
3830   struct list_head filelist ;
3831   struct device *usb_classdev ;
3832   struct dentry *usbfs_dentry ;
3833   int maxchild ;
3834   struct usb_device **children ;
3835   u32 quirks ;
3836   atomic_t urbnum ;
3837   unsigned long active_duration ;
3838   unsigned long connect_time ;
3839   unsigned int do_remote_wakeup : 1 ;
3840   unsigned int reset_resume : 1 ;
3841   struct wusb_dev *wusb_dev ;
3842   int slot_id ;
3843   enum usb_device_removable removable ;
3844};
3845#line 789 "include/linux/usb.h"
3846struct usb_dynids {
3847   spinlock_t lock ;
3848   struct list_head list ;
3849};
3850#line 808 "include/linux/usb.h"
3851struct usbdrv_wrap {
3852   struct device_driver driver ;
3853   int for_devices ;
3854};
3855#line 869 "include/linux/usb.h"
3856struct usb_driver {
3857   char const   *name ;
3858   int (*probe)(struct usb_interface *intf , struct usb_device_id  const  *id ) ;
3859   void (*disconnect)(struct usb_interface *intf ) ;
3860   int (*unlocked_ioctl)(struct usb_interface *intf , unsigned int code , void *buf ) ;
3861   int (*suspend)(struct usb_interface *intf , pm_message_t message ) ;
3862   int (*resume)(struct usb_interface *intf ) ;
3863   int (*reset_resume)(struct usb_interface *intf ) ;
3864   int (*pre_reset)(struct usb_interface *intf ) ;
3865   int (*post_reset)(struct usb_interface *intf ) ;
3866   struct usb_device_id  const  *id_table ;
3867   struct usb_dynids dynids ;
3868   struct usbdrv_wrap drvwrap ;
3869   unsigned int no_dynamic_id : 1 ;
3870   unsigned int supports_autosuspend : 1 ;
3871   unsigned int soft_unbind : 1 ;
3872};
3873#line 1022 "include/linux/usb.h"
3874struct usb_iso_packet_descriptor {
3875   unsigned int offset ;
3876   unsigned int length ;
3877   unsigned int actual_length ;
3878   int status ;
3879};
3880#line 1029
3881struct urb;
3882#line 1029
3883struct urb;
3884#line 1031 "include/linux/usb.h"
3885struct usb_anchor {
3886   struct list_head urb_list ;
3887   wait_queue_head_t wait ;
3888   spinlock_t lock ;
3889   unsigned int poisoned : 1 ;
3890};
3891#line 1223
3892struct scatterlist;
3893#line 1223 "include/linux/usb.h"
3894struct urb {
3895   struct kref kref ;
3896   void *hcpriv ;
3897   atomic_t use_count ;
3898   atomic_t reject ;
3899   int unlinked ;
3900   struct list_head urb_list ;
3901   struct list_head anchor_list ;
3902   struct usb_anchor *anchor ;
3903   struct usb_device *dev ;
3904   struct usb_host_endpoint *ep ;
3905   unsigned int pipe ;
3906   unsigned int stream_id ;
3907   int status ;
3908   unsigned int transfer_flags ;
3909   void *transfer_buffer ;
3910   dma_addr_t transfer_dma ;
3911   struct scatterlist *sg ;
3912   int num_mapped_sgs ;
3913   int num_sgs ;
3914   u32 transfer_buffer_length ;
3915   u32 actual_length ;
3916   unsigned char *setup_packet ;
3917   dma_addr_t setup_dma ;
3918   int start_frame ;
3919   int number_of_packets ;
3920   int interval ;
3921   int error_count ;
3922   void *context ;
3923   void (*complete)(struct urb * ) ;
3924   struct usb_iso_packet_descriptor iso_frame_desc[0] ;
3925};
3926#line 1429
3927struct scatterlist;
3928#line 107 "include/linux/videodev2.h"
3929enum v4l2_field {
3930    V4L2_FIELD_ANY = 0,
3931    V4L2_FIELD_NONE = 1,
3932    V4L2_FIELD_TOP = 2,
3933    V4L2_FIELD_BOTTOM = 3,
3934    V4L2_FIELD_INTERLACED = 4,
3935    V4L2_FIELD_SEQ_TB = 5,
3936    V4L2_FIELD_SEQ_BT = 6,
3937    V4L2_FIELD_ALTERNATE = 7,
3938    V4L2_FIELD_INTERLACED_TB = 8,
3939    V4L2_FIELD_INTERLACED_BT = 9
3940} ;
3941#line 149
3942enum v4l2_buf_type {
3943    V4L2_BUF_TYPE_VIDEO_CAPTURE = 1,
3944    V4L2_BUF_TYPE_VIDEO_OUTPUT = 2,
3945    V4L2_BUF_TYPE_VIDEO_OVERLAY = 3,
3946    V4L2_BUF_TYPE_VBI_CAPTURE = 4,
3947    V4L2_BUF_TYPE_VBI_OUTPUT = 5,
3948    V4L2_BUF_TYPE_SLICED_VBI_CAPTURE = 6,
3949    V4L2_BUF_TYPE_SLICED_VBI_OUTPUT = 7,
3950    V4L2_BUF_TYPE_VIDEO_OUTPUT_OVERLAY = 8,
3951    V4L2_BUF_TYPE_VIDEO_CAPTURE_MPLANE = 9,
3952    V4L2_BUF_TYPE_VIDEO_OUTPUT_MPLANE = 10,
3953    V4L2_BUF_TYPE_PRIVATE = 128
3954} ;
3955#line 184
3956enum v4l2_memory {
3957    V4L2_MEMORY_MMAP = 1,
3958    V4L2_MEMORY_USERPTR = 2,
3959    V4L2_MEMORY_OVERLAY = 3
3960} ;
3961#line 191
3962enum v4l2_colorspace {
3963    V4L2_COLORSPACE_SMPTE170M = 1,
3964    V4L2_COLORSPACE_SMPTE240M = 2,
3965    V4L2_COLORSPACE_REC709 = 3,
3966    V4L2_COLORSPACE_BT878 = 4,
3967    V4L2_COLORSPACE_470_SYSTEM_M = 5,
3968    V4L2_COLORSPACE_470_SYSTEM_BG = 6,
3969    V4L2_COLORSPACE_JPEG = 7,
3970    V4L2_COLORSPACE_SRGB = 8
3971} ;
3972#line 233 "include/linux/videodev2.h"
3973struct v4l2_fract {
3974   __u32 numerator ;
3975   __u32 denominator ;
3976};
3977#line 291 "include/linux/videodev2.h"
3978struct v4l2_pix_format {
3979   __u32 width ;
3980   __u32 height ;
3981   __u32 pixelformat ;
3982   enum v4l2_field field ;
3983   __u32 bytesperline ;
3984   __u32 sizeimage ;
3985   enum v4l2_colorspace colorspace ;
3986   __u32 priv ;
3987};
3988#line 517 "include/linux/videodev2.h"
3989struct v4l2_timecode {
3990   __u32 type ;
3991   __u32 flags ;
3992   __u8 frames ;
3993   __u8 seconds ;
3994   __u8 minutes ;
3995   __u8 hours ;
3996   __u8 userbits[4] ;
3997};
3998#line 542 "include/linux/videodev2.h"
3999struct v4l2_jpegcompression {
4000   int quality ;
4001   int APPn ;
4002   int APP_len ;
4003   char APP_data[60] ;
4004   int COM_len ;
4005   char COM_data[60] ;
4006   __u32 jpeg_markers ;
4007};
4008#line 599 "include/linux/videodev2.h"
4009union __anonunion_m_259 {
4010   __u32 mem_offset ;
4011   unsigned long userptr ;
4012};
4013#line 599 "include/linux/videodev2.h"
4014struct v4l2_plane {
4015   __u32 bytesused ;
4016   __u32 length ;
4017   union __anonunion_m_259 m ;
4018   __u32 data_offset ;
4019   __u32 reserved[11] ;
4020};
4021#line 637 "include/linux/videodev2.h"
4022union __anonunion_m_260 {
4023   __u32 offset ;
4024   unsigned long userptr ;
4025   struct v4l2_plane *planes ;
4026};
4027#line 637 "include/linux/videodev2.h"
4028struct v4l2_buffer {
4029   __u32 index ;
4030   enum v4l2_buf_type type ;
4031   __u32 bytesused ;
4032   __u32 flags ;
4033   enum v4l2_field field ;
4034   struct timeval timestamp ;
4035   struct v4l2_timecode timecode ;
4036   __u32 sequence ;
4037   enum v4l2_memory memory ;
4038   union __anonunion_m_260 m ;
4039   __u32 length ;
4040   __u32 input ;
4041   __u32 reserved ;
4042};
4043#line 722 "include/linux/videodev2.h"
4044struct v4l2_captureparm {
4045   __u32 capability ;
4046   __u32 capturemode ;
4047   struct v4l2_fract timeperframe ;
4048   __u32 extendedmode ;
4049   __u32 readbuffers ;
4050   __u32 reserved[4] ;
4051};
4052#line 735 "include/linux/videodev2.h"
4053struct v4l2_outputparm {
4054   __u32 capability ;
4055   __u32 outputmode ;
4056   struct v4l2_fract timeperframe ;
4057   __u32 extendedmode ;
4058   __u32 writebuffers ;
4059   __u32 reserved[4] ;
4060};
4061#line 805 "include/linux/videodev2.h"
4062typedef __u64 v4l2_std_id;
4063#line 1145
4064enum v4l2_ctrl_type {
4065    V4L2_CTRL_TYPE_INTEGER = 1,
4066    V4L2_CTRL_TYPE_BOOLEAN = 2,
4067    V4L2_CTRL_TYPE_MENU = 3,
4068    V4L2_CTRL_TYPE_BUTTON = 4,
4069    V4L2_CTRL_TYPE_INTEGER64 = 5,
4070    V4L2_CTRL_TYPE_CTRL_CLASS = 6,
4071    V4L2_CTRL_TYPE_STRING = 7,
4072    V4L2_CTRL_TYPE_BITMASK = 8
4073} ;
4074#line 1157 "include/linux/videodev2.h"
4075struct v4l2_queryctrl {
4076   __u32 id ;
4077   enum v4l2_ctrl_type type ;
4078   __u8 name[32] ;
4079   __s32 minimum ;
4080   __s32 maximum ;
4081   __s32 step ;
4082   __s32 default_value ;
4083   __u32 flags ;
4084   __u32 reserved[2] ;
4085};
4086#line 1170 "include/linux/videodev2.h"
4087struct v4l2_querymenu {
4088   __u32 id ;
4089   __u32 index ;
4090   __u8 name[32] ;
4091   __u32 reserved ;
4092};
4093#line 2181 "include/linux/videodev2.h"
4094union __anonunion_parm_271 {
4095   struct v4l2_captureparm capture ;
4096   struct v4l2_outputparm output ;
4097   __u8 raw_data[200] ;
4098};
4099#line 2181 "include/linux/videodev2.h"
4100struct v4l2_streamparm {
4101   enum v4l2_buf_type type ;
4102   union __anonunion_parm_271 parm ;
4103};
4104#line 2268 "include/linux/videodev2.h"
4105union __anonunion____missing_field_name_274 {
4106   __u32 addr ;
4107   char name[32] ;
4108};
4109#line 2268 "include/linux/videodev2.h"
4110struct v4l2_dbg_match {
4111   __u32 type ;
4112   union __anonunion____missing_field_name_274 __annonCompField55 ;
4113} __attribute__((__packed__)) ;
4114#line 2276 "include/linux/videodev2.h"
4115struct v4l2_dbg_register {
4116   struct v4l2_dbg_match match ;
4117   __u32 size ;
4118   __u64 reg ;
4119   __u64 val ;
4120} __attribute__((__packed__)) ;
4121#line 2284 "include/linux/videodev2.h"
4122struct v4l2_dbg_chip_ident {
4123   struct v4l2_dbg_match match ;
4124   __u32 ident ;
4125   __u32 revision ;
4126} __attribute__((__packed__)) ;
4127#line 28 "include/linux/poll.h"
4128struct poll_table_struct;
4129#line 39 "include/linux/poll.h"
4130struct poll_table_struct {
4131   void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
4132   unsigned long _key ;
4133};
4134#line 8 "include/linux/cdev.h"
4135struct file_operations;
4136#line 9
4137struct inode;
4138#line 10
4139struct module;
4140#line 12 "include/linux/cdev.h"
4141struct cdev {
4142   struct kobject kobj ;
4143   struct module *owner ;
4144   struct file_operations  const  *ops ;
4145   struct list_head list ;
4146   dev_t dev ;
4147   unsigned int count ;
4148};
4149#line 29 "include/media/media-entity.h"
4150struct media_pipeline {
4151
4152};
4153#line 32
4154struct media_pad;
4155#line 32 "include/media/media-entity.h"
4156struct media_link {
4157   struct media_pad *source ;
4158   struct media_pad *sink ;
4159   struct media_link *reverse ;
4160   unsigned long flags ;
4161};
4162#line 39
4163struct media_entity;
4164#line 39 "include/media/media-entity.h"
4165struct media_pad {
4166   struct media_entity *entity ;
4167   u16 index ;
4168   unsigned long flags ;
4169};
4170#line 45 "include/media/media-entity.h"
4171struct media_entity_operations {
4172   int (*link_setup)(struct media_entity *entity , struct media_pad  const  *local ,
4173                     struct media_pad  const  *remote , u32 flags ) ;
4174};
4175#line 51
4176struct media_device;
4177#line 51 "include/media/media-entity.h"
4178struct __anonstruct_v4l_281 {
4179   u32 major ;
4180   u32 minor ;
4181};
4182#line 51 "include/media/media-entity.h"
4183struct __anonstruct_fb_282 {
4184   u32 major ;
4185   u32 minor ;
4186};
4187#line 51 "include/media/media-entity.h"
4188struct __anonstruct_alsa_283 {
4189   u32 card ;
4190   u32 device ;
4191   u32 subdevice ;
4192};
4193#line 51 "include/media/media-entity.h"
4194union __anonunion_info_280 {
4195   struct __anonstruct_v4l_281 v4l ;
4196   struct __anonstruct_fb_282 fb ;
4197   struct __anonstruct_alsa_283 alsa ;
4198   int dvb ;
4199};
4200#line 51 "include/media/media-entity.h"
4201struct media_entity {
4202   struct list_head list ;
4203   struct media_device *parent ;
4204   u32 id ;
4205   char const   *name ;
4206   u32 type ;
4207   u32 revision ;
4208   unsigned long flags ;
4209   u32 group_id ;
4210   u16 num_pads ;
4211   u16 num_links ;
4212   u16 num_backlinks ;
4213   u16 max_links ;
4214   struct media_pad *pads ;
4215   struct media_link *links ;
4216   struct media_entity_operations  const  *ops ;
4217   int stream_count ;
4218   int use_count ;
4219   struct media_pipeline *pipe ;
4220   union __anonunion_info_280 info ;
4221};
4222#line 30 "include/media/v4l2-dev.h"
4223struct video_device;
4224#line 30
4225struct video_device;
4226#line 31
4227struct v4l2_device;
4228#line 31
4229struct v4l2_device;
4230#line 32
4231struct v4l2_ctrl_handler;
4232#line 32
4233struct v4l2_ctrl_handler;
4234#line 45 "include/media/v4l2-dev.h"
4235struct v4l2_prio_state {
4236   atomic_t prios[4] ;
4237};
4238#line 58 "include/media/v4l2-dev.h"
4239struct v4l2_file_operations {
4240   struct module *owner ;
4241   ssize_t (*read)(struct file * , char * , size_t  , loff_t * ) ;
4242   ssize_t (*write)(struct file * , char const   * , size_t  , loff_t * ) ;
4243   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
4244   long (*ioctl)(struct file * , unsigned int  , unsigned long  ) ;
4245   long (*unlocked_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
4246   long (*compat_ioctl32)(struct file * , unsigned int  , unsigned long  ) ;
4247   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
4248                                      unsigned long  , unsigned long  ) ;
4249   int (*mmap)(struct file * , struct vm_area_struct * ) ;
4250   int (*open)(struct file * ) ;
4251   int (*release)(struct file * ) ;
4252};
4253#line 81
4254struct v4l2_ioctl_ops;
4255#line 81 "include/media/v4l2-dev.h"
4256struct video_device {
4257   struct media_entity entity ;
4258   struct v4l2_file_operations  const  *fops ;
4259   struct device dev ;
4260   struct cdev *cdev ;
4261   struct device *parent ;
4262   struct v4l2_device *v4l2_dev ;
4263   struct v4l2_ctrl_handler *ctrl_handler ;
4264   struct v4l2_prio_state *prio ;
4265   char name[32] ;
4266   int vfl_type ;
4267   int minor ;
4268   u16 num ;
4269   unsigned long flags ;
4270   int index ;
4271   spinlock_t fh_lock ;
4272   struct list_head fh_list ;
4273   int debug ;
4274   v4l2_std_id tvnorms ;
4275   v4l2_std_id current_norm ;
4276   void (*release)(struct video_device *vdev ) ;
4277   struct v4l2_ioctl_ops  const  *ioctl_ops ;
4278   struct mutex *lock ;
4279};
4280#line 119 "include/media/v4l2-common.h"
4281struct v4l2_device;
4282#line 46 "include/linux/slub_def.h"
4283struct kmem_cache_cpu {
4284   void **freelist ;
4285   unsigned long tid ;
4286   struct page *page ;
4287   struct page *partial ;
4288   int node ;
4289   unsigned int stat[26] ;
4290};
4291#line 57 "include/linux/slub_def.h"
4292struct kmem_cache_node {
4293   spinlock_t list_lock ;
4294   unsigned long nr_partial ;
4295   struct list_head partial ;
4296   atomic_long_t nr_slabs ;
4297   atomic_long_t total_objects ;
4298   struct list_head full ;
4299};
4300#line 73 "include/linux/slub_def.h"
4301struct kmem_cache_order_objects {
4302   unsigned long x ;
4303};
4304#line 80 "include/linux/slub_def.h"
4305struct kmem_cache {
4306   struct kmem_cache_cpu *cpu_slab ;
4307   unsigned long flags ;
4308   unsigned long min_partial ;
4309   int size ;
4310   int objsize ;
4311   int offset ;
4312   int cpu_partial ;
4313   struct kmem_cache_order_objects oo ;
4314   struct kmem_cache_order_objects max ;
4315   struct kmem_cache_order_objects min ;
4316   gfp_t allocflags ;
4317   int refcount ;
4318   void (*ctor)(void * ) ;
4319   int inuse ;
4320   int align ;
4321   int reserved ;
4322   char const   *name ;
4323   struct list_head list ;
4324   struct kobject kobj ;
4325   int remote_node_defrag_ratio ;
4326   struct kmem_cache_node *node[1 << 10] ;
4327};
4328#line 42 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4329struct framerates {
4330   u8 const   *rates ;
4331   int nrates ;
4332};
4333#line 48 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4334struct gspca_ctrl {
4335   s16 val ;
4336   s16 def ;
4337   s16 min ;
4338   s16 max ;
4339};
4340#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4341struct cam {
4342   struct v4l2_pix_format  const  *cam_mode ;
4343   struct framerates  const  *mode_framerates ;
4344   struct gspca_ctrl *ctrls ;
4345   u32 bulk_size ;
4346   u32 input_flags ;
4347   u8 nmodes ;
4348   u8 no_urb_create ;
4349   u8 bulk_nurbs ;
4350   u8 bulk ;
4351   u8 npkt ;
4352   u8 needs_full_bandwidth ;
4353};
4354#line 77
4355struct gspca_dev;
4356#line 77
4357struct gspca_dev;
4358#line 78
4359struct gspca_frame;
4360#line 78
4361struct gspca_frame;
4362#line 101 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4363struct ctrl {
4364   struct v4l2_queryctrl qctrl ;
4365   int (*set)(struct gspca_dev * , __s32  ) ;
4366   int (*get)(struct gspca_dev * , __s32 * ) ;
4367   void (*set_control)(struct gspca_dev * ) ;
4368};
4369#line 109 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4370struct sd_desc {
4371   char const   *name ;
4372   struct ctrl  const  *ctrls ;
4373   int nctrls ;
4374   int (*config)(struct gspca_dev * , struct usb_device_id  const  * ) ;
4375   int (*init)(struct gspca_dev * ) ;
4376   int (*start)(struct gspca_dev * ) ;
4377   void (*pkt_scan)(struct gspca_dev *gspca_dev , u8 *data , int len ) ;
4378   int (*isoc_init)(struct gspca_dev * ) ;
4379   int (*isoc_nego)(struct gspca_dev * ) ;
4380   void (*stopN)(struct gspca_dev * ) ;
4381   void (*stop0)(struct gspca_dev * ) ;
4382   void (*dq_callback)(struct gspca_dev * ) ;
4383   int (*get_jcomp)(struct gspca_dev * , struct v4l2_jpegcompression * ) ;
4384   int (*set_jcomp)(struct gspca_dev * , struct v4l2_jpegcompression * ) ;
4385   int (*querymenu)(struct gspca_dev * , struct v4l2_querymenu * ) ;
4386   void (*get_streamparm)(struct gspca_dev * , struct v4l2_streamparm * ) ;
4387   void (*set_streamparm)(struct gspca_dev * , struct v4l2_streamparm * ) ;
4388   int (*set_register)(struct gspca_dev * , struct v4l2_dbg_register * ) ;
4389   int (*get_register)(struct gspca_dev * , struct v4l2_dbg_register * ) ;
4390   int (*get_chip_ident)(struct gspca_dev * , struct v4l2_dbg_chip_ident * ) ;
4391   int (*int_pkt_scan)(struct gspca_dev *gspca_dev , u8 *data , int len ) ;
4392   u8 other_input ;
4393};
4394#line 145
4395enum gspca_packet_type {
4396    DISCARD_PACKET = 0,
4397    FIRST_PACKET = 1,
4398    INTER_PACKET = 2,
4399    LAST_PACKET = 3
4400} ;
4401#line 152 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4402struct gspca_frame {
4403   __u8 *data ;
4404   int vma_use_count ;
4405   struct v4l2_buffer v4l2_buf ;
4406};
4407#line 158 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4408struct gspca_dev {
4409   struct video_device vdev ;
4410   struct module *module ;
4411   struct usb_device *dev ;
4412   struct file *capt_file ;
4413   struct input_dev *input_dev ;
4414   char phys[64] ;
4415   struct cam cam ;
4416   struct sd_desc  const  *sd_desc ;
4417   unsigned int ctrl_dis ;
4418   unsigned int ctrl_inac ;
4419   __u8 *usb_buf ;
4420   struct urb *urb[4] ;
4421   struct urb *int_urb ;
4422   __u8 *frbuf ;
4423   struct gspca_frame frame[16] ;
4424   u8 *image ;
4425   __u32 frsz ;
4426   u32 image_len ;
4427   atomic_t fr_q ;
4428   atomic_t fr_i ;
4429   signed char fr_queue[16] ;
4430   char nframes ;
4431   u8 fr_o ;
4432   __u8 last_packet_type ;
4433   __s8 empty_packet ;
4434   __u8 streaming ;
4435   __u8 curr_mode ;
4436   __u32 pixfmt ;
4437   __u16 width ;
4438   __u16 height ;
4439   __u32 sequence ;
4440   wait_queue_head_t wq ;
4441   struct mutex usb_lock ;
4442   struct mutex queue_lock ;
4443   int usb_err ;
4444   u16 pkt_size ;
4445   char frozen ;
4446   char present ;
4447   char nbufread ;
4448   char memory ;
4449   __u8 iface ;
4450   __u8 alt ;
4451   u8 audio ;
4452};
4453#line 57 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4454struct sd {
4455   struct gspca_dev gspca_dev ;
4456   u8 mode ;
4457   u8 brightness ;
4458   u8 exposure ;
4459   u8 autogain ;
4460   u8 gain ;
4461   u8 sof_read ;
4462   u8 header_read ;
4463   u8 autogain_ignore_frames ;
4464   atomic_t avg_lum ;
4465};
4466#line 250 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4467struct __anonstruct_285 {
4468   int  : 0 ;
4469};
4470#line 520 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4471struct __anonstruct_286 {
4472   int  : 0 ;
4473};
4474#line 1 "<compiler builtins>"
4475
4476#line 1
4477long __builtin_expect(long val , long res ) ;
4478#line 100 "include/linux/printk.h"
4479extern int ( /* format attribute */  printk)(char const   *fmt  , ...) ;
4480#line 23 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/atomic.h"
4481__inline static int atomic_read(atomic_t const   *v )  __attribute__((__no_instrument_function__)) ;
4482#line 23 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/atomic.h"
4483__inline static int atomic_read(atomic_t const   *v ) 
4484{ int const   *__cil_tmp2 ;
4485  int volatile   *__cil_tmp3 ;
4486  int volatile   __cil_tmp4 ;
4487
4488  {
4489  {
4490#line 25
4491  __cil_tmp2 = (int const   *)v;
4492#line 25
4493  __cil_tmp3 = (int volatile   *)__cil_tmp2;
4494#line 25
4495  __cil_tmp4 = *__cil_tmp3;
4496#line 25
4497  return ((int )__cil_tmp4);
4498  }
4499}
4500}
4501#line 35
4502__inline static void atomic_set(atomic_t *v , int i )  __attribute__((__no_instrument_function__)) ;
4503#line 35 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/atomic.h"
4504__inline static void atomic_set(atomic_t *v , int i ) 
4505{ 
4506
4507  {
4508#line 37
4509  *((int *)v) = i;
4510#line 38
4511  return;
4512}
4513}
4514#line 152 "include/linux/mutex.h"
4515void mutex_lock(struct mutex *lock ) ;
4516#line 153
4517int __attribute__((__warn_unused_result__))  mutex_lock_interruptible(struct mutex *lock ) ;
4518#line 154
4519int __attribute__((__warn_unused_result__))  mutex_lock_killable(struct mutex *lock ) ;
4520#line 168
4521int mutex_trylock(struct mutex *lock ) ;
4522#line 169
4523void mutex_unlock(struct mutex *lock ) ;
4524#line 170
4525int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
4526#line 1502 "include/linux/input.h"
4527extern void input_event(struct input_dev *dev , unsigned int type , unsigned int code ,
4528                        int value ) ;
4529#line 1505
4530__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
4531                                      int value )  __attribute__((__no_instrument_function__)) ;
4532#line 1505 "include/linux/input.h"
4533__inline static void input_report_key(struct input_dev *dev , unsigned int code ,
4534                                      int value ) 
4535{ int __cil_tmp4 ;
4536  int __cil_tmp5 ;
4537
4538  {
4539  {
4540#line 1507
4541  __cil_tmp4 = ! value;
4542#line 1507
4543  __cil_tmp5 = ! __cil_tmp4;
4544#line 1507
4545  input_event(dev, 1U, code, __cil_tmp5);
4546  }
4547#line 1508
4548  return;
4549}
4550}
4551#line 1530
4552__inline static void input_sync(struct input_dev *dev )  __attribute__((__no_instrument_function__)) ;
4553#line 1530 "include/linux/input.h"
4554__inline static void input_sync(struct input_dev *dev ) 
4555{ 
4556
4557  {
4558  {
4559#line 1532
4560  input_event(dev, 0U, 0U, 0);
4561  }
4562#line 1533
4563  return;
4564}
4565}
4566#line 26 "include/linux/export.h"
4567extern struct module __this_module ;
4568#line 67 "include/linux/module.h"
4569int init_module(void) ;
4570#line 68
4571void cleanup_module(void) ;
4572#line 46 "include/linux/delay.h"
4573extern void msleep(unsigned int msecs ) ;
4574#line 955 "include/linux/usb.h"
4575extern int usb_register_driver(struct usb_driver * , struct module * , char const   * ) ;
4576#line 962
4577extern void usb_deregister(struct usb_driver * ) ;
4578#line 1443
4579extern int usb_control_msg(struct usb_device *dev , unsigned int pipe , __u8 request ,
4580                           __u8 requesttype , __u16 value , __u16 index , void *data ,
4581                           __u16 size , int timeout ) ;
4582#line 1567
4583__inline static unsigned int __create_pipe(struct usb_device *dev , unsigned int endpoint )  __attribute__((__no_instrument_function__)) ;
4584#line 1567 "include/linux/usb.h"
4585__inline static unsigned int __create_pipe(struct usb_device *dev , unsigned int endpoint ) 
4586{ unsigned int __cil_tmp3 ;
4587  int __cil_tmp4 ;
4588  int __cil_tmp5 ;
4589  unsigned int __cil_tmp6 ;
4590
4591  {
4592  {
4593#line 1570
4594  __cil_tmp3 = endpoint << 15;
4595#line 1570
4596  __cil_tmp4 = *((int *)dev);
4597#line 1570
4598  __cil_tmp5 = __cil_tmp4 << 8;
4599#line 1570
4600  __cil_tmp6 = (unsigned int )__cil_tmp5;
4601#line 1570
4602  return (__cil_tmp6 | __cil_tmp3);
4603  }
4604}
4605}
4606#line 216 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/gspca.h"
4607extern int gspca_dev_probe(struct usb_interface *intf , struct usb_device_id  const  *id ,
4608                           struct sd_desc  const  *sd_desc , int dev_size , struct module *module ) ;
4609#line 226
4610extern void gspca_disconnect(struct usb_interface *intf ) ;
4611#line 227
4612extern void gspca_frame_add(struct gspca_dev *gspca_dev , enum gspca_packet_type packet_type ,
4613                            u8 const   *data , int len ) ;
4614#line 232
4615extern int gspca_suspend(struct usb_interface *intf , int messageevent ) ;
4616#line 233
4617extern int gspca_resume(struct usb_interface *intf ) ;
4618#line 235
4619extern int gspca_auto_gain_n_exposure(struct gspca_dev *gspca_dev , int avg_lum ,
4620                                      int desired_avg_lum , int deadzone , int gain_knee ,
4621                                      int exposure_knee ) ;
4622#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4623static char const   __mod_author34[43]  __attribute__((__used__, __unused__, __section__(".modinfo"),
4624__aligned__(1)))  = 
4625#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4626  {      (char const   )'a',      (char const   )'u',      (char const   )'t',      (char const   )'h', 
4627        (char const   )'o',      (char const   )'r',      (char const   )'=',      (char const   )'H', 
4628        (char const   )'a',      (char const   )'n',      (char const   )'s',      (char const   )' ', 
4629        (char const   )'d',      (char const   )'e',      (char const   )' ',      (char const   )'G', 
4630        (char const   )'o',      (char const   )'e',      (char const   )'d',      (char const   )'e', 
4631        (char const   )' ',      (char const   )'<',      (char const   )'h',      (char const   )'d', 
4632        (char const   )'e',      (char const   )'g',      (char const   )'o',      (char const   )'e', 
4633        (char const   )'d',      (char const   )'e',      (char const   )'@',      (char const   )'r', 
4634        (char const   )'e',      (char const   )'d',      (char const   )'h',      (char const   )'a', 
4635        (char const   )'t',      (char const   )'.',      (char const   )'c',      (char const   )'o', 
4636        (char const   )'m',      (char const   )'>',      (char const   )'\000'};
4637#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4638static char const   __mod_description35[26]  __attribute__((__used__, __unused__,
4639__section__(".modinfo"), __aligned__(1)))  = 
4640#line 35
4641  {      (char const   )'d',      (char const   )'e',      (char const   )'s',      (char const   )'c', 
4642        (char const   )'r',      (char const   )'i',      (char const   )'p',      (char const   )'t', 
4643        (char const   )'i',      (char const   )'o',      (char const   )'n',      (char const   )'=', 
4644        (char const   )'P',      (char const   )'i',      (char const   )'x',      (char const   )'a', 
4645        (char const   )'r',      (char const   )'t',      (char const   )' ',      (char const   )'P', 
4646        (char const   )'A',      (char const   )'C',      (char const   )'2',      (char const   )'0', 
4647        (char const   )'7',      (char const   )'\000'};
4648#line 36 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4649static char const   __mod_license36[12]  __attribute__((__used__, __unused__, __section__(".modinfo"),
4650__aligned__(1)))  = 
4651#line 36
4652  {      (char const   )'l',      (char const   )'i',      (char const   )'c',      (char const   )'e', 
4653        (char const   )'n',      (char const   )'s',      (char const   )'e',      (char const   )'=', 
4654        (char const   )'G',      (char const   )'P',      (char const   )'L',      (char const   )'\000'};
4655#line 75
4656static int sd_setbrightness(struct gspca_dev *gspca_dev , __s32 val ) ;
4657#line 76
4658static int sd_getbrightness(struct gspca_dev *gspca_dev , __s32 *val ) ;
4659#line 77
4660static int sd_setexposure(struct gspca_dev *gspca_dev , __s32 val ) ;
4661#line 78
4662static int sd_getexposure(struct gspca_dev *gspca_dev , __s32 *val ) ;
4663#line 79
4664static int sd_setautogain(struct gspca_dev *gspca_dev , __s32 val ) ;
4665#line 80
4666static int sd_getautogain(struct gspca_dev *gspca_dev , __s32 *val ) ;
4667#line 81
4668static int sd_setgain(struct gspca_dev *gspca_dev , __s32 val ) ;
4669#line 82
4670static int sd_getgain(struct gspca_dev *gspca_dev , __s32 *val ) ;
4671#line 84 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4672static struct ctrl  const  sd_ctrls[4]  = {      {{(__u32 )9963776, (enum v4l2_ctrl_type )1, {(__u8 )'B', (__u8 )'r', (__u8 )'i',
4673                                                  (__u8 )'g', (__u8 )'h', (__u8 )'t',
4674                                                  (__u8 )'n', (__u8 )'e', (__u8 )'s',
4675                                                  (__u8 )'s', (__u8 )'\000'}, 0, 255,
4676       1, 46, (__u32 )0, {0U, 0U}}, & sd_setbrightness, & sd_getbrightness, (void (*)(struct gspca_dev * ))0}, 
4677        {{(__u32 )9963793,
4678       (enum v4l2_ctrl_type )1, {(__u8 )'E', (__u8 )'x', (__u8 )'p', (__u8 )'o', (__u8 )'s',
4679                                 (__u8 )'u', (__u8 )'r', (__u8 )'e', (__u8 )'\000'},
4680       3, 90, 1, 5, (__u32 )0, {0U, 0U}}, & sd_setexposure, & sd_getexposure, (void (*)(struct gspca_dev * ))0}, 
4681        {{(__u32 )9963794,
4682       (enum v4l2_ctrl_type )2, {(__u8 )'A', (__u8 )'u', (__u8 )'t', (__u8 )'o', (__u8 )' ',
4683                                 (__u8 )'G', (__u8 )'a', (__u8 )'i', (__u8 )'n', (__u8 )'\000'},
4684       0, 1, 1, 1, (__u32 )0, {0U, 0U}}, & sd_setautogain, & sd_getautogain, (void (*)(struct gspca_dev * ))0}, 
4685        {{(__u32 )9963795,
4686       (enum v4l2_ctrl_type )1, {(__u8 )'G', (__u8 )'a', (__u8 )'i', (__u8 )'n', (__u8 )'\000'},
4687       0, 31, 1, 7, (__u32 )0, {0U, 0U}}, & sd_setgain, & sd_getgain, (void (*)(struct gspca_dev * ))0}};
4688#line 148 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4689static struct v4l2_pix_format  const  sif_mode[2]  = {      {(__u32 )176, (__u32 )144, ((80U | (50U << 8)) | (48U << 16)) | (55U << 24),
4690      (enum v4l2_field )1, (__u32 )176, (__u32 )25632, (enum v4l2_colorspace )8, (__u32 )1}, 
4691        {(__u32 )352,
4692      (__u32 )288, ((80U | (50U << 8)) | (48U << 16)) | (55U << 24), (enum v4l2_field )1,
4693      (__u32 )352, (__u32 )101952, (enum v4l2_colorspace )8, (__u32 )0}};
4694#line 164 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4695static __u8 const   pac207_sensor_init[4][8]  = { {        (__u8 const   )16,        (__u8 const   )18,        (__u8 const   )13,        (__u8 const   )18, 
4696            (__u8 const   )12,        (__u8 const   )1,        (__u8 const   )41,        (__u8 const   )132}, 
4697   {        (__u8 const   )73,        (__u8 const   )100,        (__u8 const   )100,        (__u8 const   )100, 
4698            (__u8 const   )4,        (__u8 const   )16,        (__u8 const   )240,        (__u8 const   )48}, 
4699   {        (__u8 const   )0,        (__u8 const   )0,        (__u8 const   )0,        (__u8 const   )112, 
4700            (__u8 const   )160,        (__u8 const   )248,        (__u8 const   )0,        (__u8 const   )0}, 
4701   {        (__u8 const   )50,        (__u8 const   )0,        (__u8 const   )150,        (__u8 const   )0, 
4702            (__u8 const   )162,        (__u8 const   )2,        (__u8 const   )175,        (__u8 const   )0}};
4703#line 171 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4704static int pac207_write_regs(struct gspca_dev *gspca_dev , u16 index , u8 const   *buffer ,
4705                             u16 length ) 
4706{ struct usb_device *udev ;
4707  int err ;
4708  size_t __len ;
4709  void *__ret ;
4710  unsigned int tmp___7 ;
4711  unsigned long __cil_tmp10 ;
4712  unsigned long __cil_tmp11 ;
4713  unsigned long __cil_tmp12 ;
4714  unsigned long __cil_tmp13 ;
4715  __u8 *__cil_tmp14 ;
4716  void *__cil_tmp15 ;
4717  void const   *__cil_tmp16 ;
4718  int __cil_tmp17 ;
4719  unsigned int __cil_tmp18 ;
4720  unsigned int __cil_tmp19 ;
4721  __u8 __cil_tmp20 ;
4722  int __cil_tmp21 ;
4723  int __cil_tmp22 ;
4724  __u8 __cil_tmp23 ;
4725  __u16 __cil_tmp24 ;
4726  unsigned long __cil_tmp25 ;
4727  unsigned long __cil_tmp26 ;
4728  __u8 *__cil_tmp27 ;
4729  void *__cil_tmp28 ;
4730  int __cil_tmp29 ;
4731
4732  {
4733  {
4734#line 174
4735  __cil_tmp10 = (unsigned long )gspca_dev;
4736#line 174
4737  __cil_tmp11 = __cil_tmp10 + 1104;
4738#line 174
4739  udev = *((struct usb_device **)__cil_tmp11);
4740#line 177
4741  __len = (size_t )length;
4742#line 177
4743  __cil_tmp12 = (unsigned long )gspca_dev;
4744#line 177
4745  __cil_tmp13 = __cil_tmp12 + 1248;
4746#line 177
4747  __cil_tmp14 = *((__u8 **)__cil_tmp13);
4748#line 177
4749  __cil_tmp15 = (void *)__cil_tmp14;
4750#line 177
4751  __cil_tmp16 = (void const   *)buffer;
4752#line 177
4753  __ret = __builtin_memcpy(__cil_tmp15, __cil_tmp16, __len);
4754#line 179
4755  tmp___7 = __create_pipe(udev, 0U);
4756#line 179
4757  __cil_tmp17 = 2 << 30;
4758#line 179
4759  __cil_tmp18 = (unsigned int )__cil_tmp17;
4760#line 179
4761  __cil_tmp19 = __cil_tmp18 | tmp___7;
4762#line 179
4763  __cil_tmp20 = (__u8 )1;
4764#line 179
4765  __cil_tmp21 = 2 << 5;
4766#line 179
4767  __cil_tmp22 = __cil_tmp21 | 1;
4768#line 179
4769  __cil_tmp23 = (__u8 )__cil_tmp22;
4770#line 179
4771  __cil_tmp24 = (__u16 )0;
4772#line 179
4773  __cil_tmp25 = (unsigned long )gspca_dev;
4774#line 179
4775  __cil_tmp26 = __cil_tmp25 + 1248;
4776#line 179
4777  __cil_tmp27 = *((__u8 **)__cil_tmp26);
4778#line 179
4779  __cil_tmp28 = (void *)__cil_tmp27;
4780#line 179
4781  err = usb_control_msg(udev, __cil_tmp19, __cil_tmp20, __cil_tmp23, __cil_tmp24,
4782                        index, __cil_tmp28, length, 100);
4783  }
4784#line 183
4785  if (err < 0) {
4786    {
4787#line 184
4788    __cil_tmp29 = (int )index;
4789#line 184
4790    printk("<3>gspca_pac207: Failed to write registers to index 0x%04X, error %d\n",
4791           __cil_tmp29, err);
4792    }
4793  } else {
4794
4795  }
4796#line 187
4797  return (err);
4798}
4799}
4800#line 191 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4801static int pac207_write_reg(struct gspca_dev *gspca_dev , u16 index , u16 value ) 
4802{ struct usb_device *udev ;
4803  int err ;
4804  unsigned int tmp___7 ;
4805  unsigned long __cil_tmp7 ;
4806  unsigned long __cil_tmp8 ;
4807  int __cil_tmp9 ;
4808  unsigned int __cil_tmp10 ;
4809  unsigned int __cil_tmp11 ;
4810  __u8 __cil_tmp12 ;
4811  int __cil_tmp13 ;
4812  int __cil_tmp14 ;
4813  __u8 __cil_tmp15 ;
4814  void *__cil_tmp16 ;
4815  __u16 __cil_tmp17 ;
4816  int __cil_tmp18 ;
4817  int __cil_tmp19 ;
4818
4819  {
4820  {
4821#line 193
4822  __cil_tmp7 = (unsigned long )gspca_dev;
4823#line 193
4824  __cil_tmp8 = __cil_tmp7 + 1104;
4825#line 193
4826  udev = *((struct usb_device **)__cil_tmp8);
4827#line 196
4828  tmp___7 = __create_pipe(udev, 0U);
4829#line 196
4830  __cil_tmp9 = 2 << 30;
4831#line 196
4832  __cil_tmp10 = (unsigned int )__cil_tmp9;
4833#line 196
4834  __cil_tmp11 = __cil_tmp10 | tmp___7;
4835#line 196
4836  __cil_tmp12 = (__u8 )0;
4837#line 196
4838  __cil_tmp13 = 2 << 5;
4839#line 196
4840  __cil_tmp14 = __cil_tmp13 | 1;
4841#line 196
4842  __cil_tmp15 = (__u8 )__cil_tmp14;
4843#line 196
4844  __cil_tmp16 = (void *)0;
4845#line 196
4846  __cil_tmp17 = (__u16 )0;
4847#line 196
4848  err = usb_control_msg(udev, __cil_tmp11, __cil_tmp12, __cil_tmp15, value, index,
4849                        __cil_tmp16, __cil_tmp17, 100);
4850  }
4851#line 199
4852  if (err) {
4853    {
4854#line 200
4855    __cil_tmp18 = (int )index;
4856#line 200
4857    __cil_tmp19 = (int )value;
4858#line 200
4859    printk("<3>gspca_pac207: Failed to write a register (index 0x%04X, value 0x%02X, error %d)\n",
4860           __cil_tmp18, __cil_tmp19, err);
4861    }
4862  } else {
4863
4864  }
4865#line 203
4866  return (err);
4867}
4868}
4869#line 206 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4870static int pac207_read_reg(struct gspca_dev *gspca_dev , u16 index ) 
4871{ struct usb_device *udev ;
4872  int res ;
4873  unsigned int tmp___7 ;
4874  unsigned long __cil_tmp6 ;
4875  unsigned long __cil_tmp7 ;
4876  int __cil_tmp8 ;
4877  unsigned int __cil_tmp9 ;
4878  unsigned int __cil_tmp10 ;
4879  unsigned int __cil_tmp11 ;
4880  __u8 __cil_tmp12 ;
4881  int __cil_tmp13 ;
4882  int __cil_tmp14 ;
4883  int __cil_tmp15 ;
4884  __u8 __cil_tmp16 ;
4885  __u16 __cil_tmp17 ;
4886  unsigned long __cil_tmp18 ;
4887  unsigned long __cil_tmp19 ;
4888  __u8 *__cil_tmp20 ;
4889  void *__cil_tmp21 ;
4890  __u16 __cil_tmp22 ;
4891  int __cil_tmp23 ;
4892  unsigned long __cil_tmp24 ;
4893  unsigned long __cil_tmp25 ;
4894  __u8 *__cil_tmp26 ;
4895  __u8 *__cil_tmp27 ;
4896  __u8 __cil_tmp28 ;
4897
4898  {
4899  {
4900#line 208
4901  __cil_tmp6 = (unsigned long )gspca_dev;
4902#line 208
4903  __cil_tmp7 = __cil_tmp6 + 1104;
4904#line 208
4905  udev = *((struct usb_device **)__cil_tmp7);
4906#line 211
4907  tmp___7 = __create_pipe(udev, 0U);
4908#line 211
4909  __cil_tmp8 = 2 << 30;
4910#line 211
4911  __cil_tmp9 = (unsigned int )__cil_tmp8;
4912#line 211
4913  __cil_tmp10 = __cil_tmp9 | tmp___7;
4914#line 211
4915  __cil_tmp11 = __cil_tmp10 | 128U;
4916#line 211
4917  __cil_tmp12 = (__u8 )0;
4918#line 211
4919  __cil_tmp13 = 2 << 5;
4920#line 211
4921  __cil_tmp14 = 128 | __cil_tmp13;
4922#line 211
4923  __cil_tmp15 = __cil_tmp14 | 1;
4924#line 211
4925  __cil_tmp16 = (__u8 )__cil_tmp15;
4926#line 211
4927  __cil_tmp17 = (__u16 )0;
4928#line 211
4929  __cil_tmp18 = (unsigned long )gspca_dev;
4930#line 211
4931  __cil_tmp19 = __cil_tmp18 + 1248;
4932#line 211
4933  __cil_tmp20 = *((__u8 **)__cil_tmp19);
4934#line 211
4935  __cil_tmp21 = (void *)__cil_tmp20;
4936#line 211
4937  __cil_tmp22 = (__u16 )1;
4938#line 211
4939  res = usb_control_msg(udev, __cil_tmp11, __cil_tmp12, __cil_tmp16, __cil_tmp17,
4940                        index, __cil_tmp21, __cil_tmp22, 100);
4941  }
4942#line 215
4943  if (res < 0) {
4944    {
4945#line 216
4946    __cil_tmp23 = (int )index;
4947#line 216
4948    printk("<3>gspca_pac207: Failed to read a register (index 0x%04X, error %d)\n",
4949           __cil_tmp23, res);
4950    }
4951#line 218
4952    return (res);
4953  } else {
4954
4955  }
4956  {
4957#line 221
4958  __cil_tmp24 = (unsigned long )gspca_dev;
4959#line 221
4960  __cil_tmp25 = __cil_tmp24 + 1248;
4961#line 221
4962  __cil_tmp26 = *((__u8 **)__cil_tmp25);
4963#line 221
4964  __cil_tmp27 = __cil_tmp26 + 0;
4965#line 221
4966  __cil_tmp28 = *__cil_tmp27;
4967#line 221
4968  return ((int )__cil_tmp28);
4969  }
4970}
4971}
4972#line 225 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
4973static int sd_config(struct gspca_dev *gspca_dev , struct usb_device_id  const  *id ) 
4974{ struct sd *sd ;
4975  struct cam *cam ;
4976  u8 idreg[2] ;
4977  int tmp___7 ;
4978  int tmp___8 ;
4979  u16 __cil_tmp8 ;
4980  unsigned long __cil_tmp9 ;
4981  unsigned long __cil_tmp10 ;
4982  u16 __cil_tmp11 ;
4983  unsigned long __cil_tmp12 ;
4984  unsigned long __cil_tmp13 ;
4985  unsigned long __cil_tmp14 ;
4986  unsigned long __cil_tmp15 ;
4987  unsigned long __cil_tmp16 ;
4988  unsigned long __cil_tmp17 ;
4989  u8 __cil_tmp18 ;
4990  int __cil_tmp19 ;
4991  int __cil_tmp20 ;
4992  int __cil_tmp21 ;
4993  unsigned long __cil_tmp22 ;
4994  unsigned long __cil_tmp23 ;
4995  u8 __cil_tmp24 ;
4996  int __cil_tmp25 ;
4997  int __cil_tmp26 ;
4998  int __cil_tmp27 ;
4999  int __cil_tmp28 ;
5000  unsigned long __cil_tmp29 ;
5001  unsigned long __cil_tmp30 ;
5002  unsigned long __cil_tmp31 ;
5003  unsigned long __cil_tmp32 ;
5004  u8 __cil_tmp33 ;
5005  int __cil_tmp34 ;
5006  int __cil_tmp35 ;
5007  unsigned long __cil_tmp36 ;
5008  unsigned long __cil_tmp37 ;
5009  u8 __cil_tmp38 ;
5010  int __cil_tmp39 ;
5011  unsigned long __cil_tmp40 ;
5012  unsigned long __cil_tmp41 ;
5013  unsigned long __cil_tmp42 ;
5014  unsigned long __cil_tmp43 ;
5015  unsigned long __cil_tmp44 ;
5016  unsigned long __cil_tmp45 ;
5017  unsigned long __cil_tmp46 ;
5018  unsigned long __cil_tmp47 ;
5019  unsigned long __cil_tmp48 ;
5020  unsigned long __cil_tmp49 ;
5021  unsigned long __cil_tmp50 ;
5022  unsigned long __cil_tmp51 ;
5023  unsigned long __cil_tmp52 ;
5024  unsigned long __cil_tmp53 ;
5025  unsigned long __cil_tmp54 ;
5026  unsigned long __cil_tmp55 ;
5027
5028  {
5029  {
5030#line 228
5031  sd = (struct sd *)gspca_dev;
5032#line 232
5033  __cil_tmp8 = (u16 )0;
5034#line 232
5035  tmp___7 = pac207_read_reg(gspca_dev, __cil_tmp8);
5036#line 232
5037  __cil_tmp9 = 0 * 1UL;
5038#line 232
5039  __cil_tmp10 = (unsigned long )(idreg) + __cil_tmp9;
5040#line 232
5041  *((u8 *)__cil_tmp10) = (u8 )tmp___7;
5042#line 233
5043  __cil_tmp11 = (u16 )1;
5044#line 233
5045  tmp___8 = pac207_read_reg(gspca_dev, __cil_tmp11);
5046#line 233
5047  __cil_tmp12 = 1 * 1UL;
5048#line 233
5049  __cil_tmp13 = (unsigned long )(idreg) + __cil_tmp12;
5050#line 233
5051  *((u8 *)__cil_tmp13) = (u8 )tmp___8;
5052#line 234
5053  __cil_tmp14 = 0 * 1UL;
5054#line 234
5055  __cil_tmp15 = (unsigned long )(idreg) + __cil_tmp14;
5056#line 234
5057  __cil_tmp16 = 1 * 1UL;
5058#line 234
5059  __cil_tmp17 = (unsigned long )(idreg) + __cil_tmp16;
5060#line 234
5061  __cil_tmp18 = *((u8 *)__cil_tmp17);
5062#line 234
5063  __cil_tmp19 = (int )__cil_tmp18;
5064#line 234
5065  __cil_tmp20 = __cil_tmp19 & 240;
5066#line 234
5067  __cil_tmp21 = __cil_tmp20 >> 4;
5068#line 234
5069  __cil_tmp22 = 0 * 1UL;
5070#line 234
5071  __cil_tmp23 = (unsigned long )(idreg) + __cil_tmp22;
5072#line 234
5073  __cil_tmp24 = *((u8 *)__cil_tmp23);
5074#line 234
5075  __cil_tmp25 = (int )__cil_tmp24;
5076#line 234
5077  __cil_tmp26 = __cil_tmp25 & 15;
5078#line 234
5079  __cil_tmp27 = __cil_tmp26 << 4;
5080#line 234
5081  __cil_tmp28 = __cil_tmp27 | __cil_tmp21;
5082#line 234
5083  *((u8 *)__cil_tmp15) = (u8 )__cil_tmp28;
5084#line 235
5085  __cil_tmp29 = 1 * 1UL;
5086#line 235
5087  __cil_tmp30 = (unsigned long )(idreg) + __cil_tmp29;
5088#line 235
5089  __cil_tmp31 = 1 * 1UL;
5090#line 235
5091  __cil_tmp32 = (unsigned long )(idreg) + __cil_tmp31;
5092#line 235
5093  __cil_tmp33 = *((u8 *)__cil_tmp32);
5094#line 235
5095  __cil_tmp34 = (int )__cil_tmp33;
5096#line 235
5097  __cil_tmp35 = __cil_tmp34 & 15;
5098#line 235
5099  *((u8 *)__cil_tmp30) = (u8 )__cil_tmp35;
5100  }
5101  {
5102#line 239
5103  __cil_tmp36 = 0 * 1UL;
5104#line 239
5105  __cil_tmp37 = (unsigned long )(idreg) + __cil_tmp36;
5106#line 239
5107  __cil_tmp38 = *((u8 *)__cil_tmp37);
5108#line 239
5109  __cil_tmp39 = (int )__cil_tmp38;
5110#line 239
5111  if (__cil_tmp39 != 39) {
5112#line 241
5113    return (-19);
5114  } else {
5115
5116  }
5117  }
5118#line 248
5119  __cil_tmp40 = (unsigned long )gspca_dev;
5120#line 248
5121  __cil_tmp41 = __cil_tmp40 + 1192;
5122#line 248
5123  cam = (struct cam *)__cil_tmp41;
5124#line 249
5125  __cil_tmp42 = 0 * 32UL;
5126#line 249
5127  __cil_tmp43 = (unsigned long )(sif_mode) + __cil_tmp42;
5128#line 249
5129  *((struct v4l2_pix_format  const  **)cam) = (struct v4l2_pix_format  const  *)__cil_tmp43;
5130#line 250
5131  __cil_tmp44 = (unsigned long )cam;
5132#line 250
5133  __cil_tmp45 = __cil_tmp44 + 32;
5134#line 250
5135  __cil_tmp46 = 64UL / 32UL;
5136#line 250
5137  __cil_tmp47 = __cil_tmp46 + 0UL;
5138#line 250
5139  *((u8 *)__cil_tmp45) = (u8 )__cil_tmp47;
5140#line 251
5141  __cil_tmp48 = (unsigned long )sd;
5142#line 251
5143  __cil_tmp49 = __cil_tmp48 + 3233;
5144#line 251
5145  *((u8 *)__cil_tmp49) = (u8 )46;
5146#line 252
5147  __cil_tmp50 = (unsigned long )sd;
5148#line 252
5149  __cil_tmp51 = __cil_tmp50 + 3234;
5150#line 252
5151  *((u8 *)__cil_tmp51) = (u8 )5;
5152#line 253
5153  __cil_tmp52 = (unsigned long )sd;
5154#line 253
5155  __cil_tmp53 = __cil_tmp52 + 3236;
5156#line 253
5157  *((u8 *)__cil_tmp53) = (u8 )7;
5158#line 254
5159  __cil_tmp54 = (unsigned long )sd;
5160#line 254
5161  __cil_tmp55 = __cil_tmp54 + 3235;
5162#line 254
5163  *((u8 *)__cil_tmp55) = (u8 )1;
5164#line 256
5165  return (0);
5166}
5167}
5168#line 260 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
5169static int sd_init(struct gspca_dev *gspca_dev ) 
5170{ u16 __cil_tmp2 ;
5171  u16 __cil_tmp3 ;
5172  u16 __cil_tmp4 ;
5173  u16 __cil_tmp5 ;
5174
5175  {
5176  {
5177#line 262
5178  __cil_tmp2 = (u16 )65;
5179#line 262
5180  __cil_tmp3 = (u16 )0;
5181#line 262
5182  pac207_write_reg(gspca_dev, __cil_tmp2, __cil_tmp3);
5183#line 266
5184  __cil_tmp4 = (u16 )15;
5185#line 266
5186  __cil_tmp5 = (u16 )0;
5187#line 266
5188  pac207_write_reg(gspca_dev, __cil_tmp4, __cil_tmp5);
5189  }
5190#line 268
5191  return (0);
5192}
5193}
5194#line 272 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
5195static int sd_start(struct gspca_dev *gspca_dev ) 
5196{ struct sd *sd ;
5197  __u8 mode ;
5198  u16 __cil_tmp4 ;
5199  u16 __cil_tmp5 ;
5200  u16 __cil_tmp6 ;
5201  unsigned long __cil_tmp7 ;
5202  unsigned long __cil_tmp8 ;
5203  unsigned long __cil_tmp9 ;
5204  unsigned long __cil_tmp10 ;
5205  __u8 const   *__cil_tmp11 ;
5206  u16 __cil_tmp12 ;
5207  u16 __cil_tmp13 ;
5208  unsigned long __cil_tmp14 ;
5209  unsigned long __cil_tmp15 ;
5210  unsigned long __cil_tmp16 ;
5211  unsigned long __cil_tmp17 ;
5212  __u8 const   *__cil_tmp18 ;
5213  u16 __cil_tmp19 ;
5214  u16 __cil_tmp20 ;
5215  unsigned long __cil_tmp21 ;
5216  unsigned long __cil_tmp22 ;
5217  unsigned long __cil_tmp23 ;
5218  unsigned long __cil_tmp24 ;
5219  __u8 const   *__cil_tmp25 ;
5220  u16 __cil_tmp26 ;
5221  u16 __cil_tmp27 ;
5222  unsigned long __cil_tmp28 ;
5223  unsigned long __cil_tmp29 ;
5224  unsigned long __cil_tmp30 ;
5225  unsigned long __cil_tmp31 ;
5226  __u8 const   *__cil_tmp32 ;
5227  u16 __cil_tmp33 ;
5228  unsigned long __cil_tmp34 ;
5229  unsigned long __cil_tmp35 ;
5230  __u16 __cil_tmp36 ;
5231  int __cil_tmp37 ;
5232  u16 __cil_tmp38 ;
5233  u16 __cil_tmp39 ;
5234  u16 __cil_tmp40 ;
5235  u16 __cil_tmp41 ;
5236  u16 __cil_tmp42 ;
5237  u16 __cil_tmp43 ;
5238  u16 __cil_tmp44 ;
5239  unsigned long __cil_tmp45 ;
5240  unsigned long __cil_tmp46 ;
5241  u8 __cil_tmp47 ;
5242  u16 __cil_tmp48 ;
5243  u16 __cil_tmp49 ;
5244  unsigned long __cil_tmp50 ;
5245  unsigned long __cil_tmp51 ;
5246  u8 __cil_tmp52 ;
5247  u16 __cil_tmp53 ;
5248  u16 __cil_tmp54 ;
5249  unsigned long __cil_tmp55 ;
5250  unsigned long __cil_tmp56 ;
5251  u8 __cil_tmp57 ;
5252  u16 __cil_tmp58 ;
5253  unsigned long __cil_tmp59 ;
5254  unsigned long __cil_tmp60 ;
5255  __u16 __cil_tmp61 ;
5256  int __cil_tmp62 ;
5257  int __cil_tmp63 ;
5258  int __cil_tmp64 ;
5259  u16 __cil_tmp65 ;
5260  u16 __cil_tmp66 ;
5261  u16 __cil_tmp67 ;
5262  u16 __cil_tmp68 ;
5263  u16 __cil_tmp69 ;
5264  u16 __cil_tmp70 ;
5265  u16 __cil_tmp71 ;
5266  u16 __cil_tmp72 ;
5267  unsigned long __cil_tmp73 ;
5268  unsigned long __cil_tmp74 ;
5269  unsigned long __cil_tmp75 ;
5270  unsigned long __cil_tmp76 ;
5271  unsigned long __cil_tmp77 ;
5272  unsigned long __cil_tmp78 ;
5273  atomic_t *__cil_tmp79 ;
5274
5275  {
5276  {
5277#line 274
5278  sd = (struct sd *)gspca_dev;
5279#line 277
5280  __cil_tmp4 = (u16 )15;
5281#line 277
5282  __cil_tmp5 = (u16 )16;
5283#line 277
5284  pac207_write_reg(gspca_dev, __cil_tmp4, __cil_tmp5);
5285#line 278
5286  __cil_tmp6 = (u16 )2;
5287#line 278
5288  __cil_tmp7 = 0 * 1UL;
5289#line 278
5290  __cil_tmp8 = 0 * 8UL;
5291#line 278
5292  __cil_tmp9 = __cil_tmp8 + __cil_tmp7;
5293#line 278
5294  __cil_tmp10 = (unsigned long )(pac207_sensor_init) + __cil_tmp9;
5295#line 278
5296  __cil_tmp11 = (__u8 const   *)__cil_tmp10;
5297#line 278
5298  __cil_tmp12 = (u16 )8;
5299#line 278
5300  pac207_write_regs(gspca_dev, __cil_tmp6, __cil_tmp11, __cil_tmp12);
5301#line 279
5302  __cil_tmp13 = (u16 )10;
5303#line 279
5304  __cil_tmp14 = 0 * 1UL;
5305#line 279
5306  __cil_tmp15 = 1 * 8UL;
5307#line 279
5308  __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
5309#line 279
5310  __cil_tmp17 = (unsigned long )(pac207_sensor_init) + __cil_tmp16;
5311#line 279
5312  __cil_tmp18 = (__u8 const   *)__cil_tmp17;
5313#line 279
5314  __cil_tmp19 = (u16 )8;
5315#line 279
5316  pac207_write_regs(gspca_dev, __cil_tmp13, __cil_tmp18, __cil_tmp19);
5317#line 280
5318  __cil_tmp20 = (u16 )18;
5319#line 280
5320  __cil_tmp21 = 0 * 1UL;
5321#line 280
5322  __cil_tmp22 = 2 * 8UL;
5323#line 280
5324  __cil_tmp23 = __cil_tmp22 + __cil_tmp21;
5325#line 280
5326  __cil_tmp24 = (unsigned long )(pac207_sensor_init) + __cil_tmp23;
5327#line 280
5328  __cil_tmp25 = (__u8 const   *)__cil_tmp24;
5329#line 280
5330  __cil_tmp26 = (u16 )8;
5331#line 280
5332  pac207_write_regs(gspca_dev, __cil_tmp20, __cil_tmp25, __cil_tmp26);
5333#line 281
5334  __cil_tmp27 = (u16 )66;
5335#line 281
5336  __cil_tmp28 = 0 * 1UL;
5337#line 281
5338  __cil_tmp29 = 3 * 8UL;
5339#line 281
5340  __cil_tmp30 = __cil_tmp29 + __cil_tmp28;
5341#line 281
5342  __cil_tmp31 = (unsigned long )(pac207_sensor_init) + __cil_tmp30;
5343#line 281
5344  __cil_tmp32 = (__u8 const   *)__cil_tmp31;
5345#line 281
5346  __cil_tmp33 = (u16 )8;
5347#line 281
5348  pac207_write_regs(gspca_dev, __cil_tmp27, __cil_tmp32, __cil_tmp33);
5349  }
5350  {
5351#line 284
5352  __cil_tmp34 = (unsigned long )gspca_dev;
5353#line 284
5354  __cil_tmp35 = __cil_tmp34 + 3020;
5355#line 284
5356  __cil_tmp36 = *((__u16 *)__cil_tmp35);
5357#line 284
5358  __cil_tmp37 = (int )__cil_tmp36;
5359#line 284
5360  if (__cil_tmp37 == 176) {
5361    {
5362#line 285
5363    __cil_tmp38 = (u16 )74;
5364#line 285
5365    __cil_tmp39 = (u16 )255;
5366#line 285
5367    pac207_write_reg(gspca_dev, __cil_tmp38, __cil_tmp39);
5368    }
5369  } else {
5370    {
5371#line 287
5372    __cil_tmp40 = (u16 )74;
5373#line 287
5374    __cil_tmp41 = (u16 )48;
5375#line 287
5376    pac207_write_reg(gspca_dev, __cil_tmp40, __cil_tmp41);
5377    }
5378  }
5379  }
5380  {
5381#line 288
5382  __cil_tmp42 = (u16 )75;
5383#line 288
5384  __cil_tmp43 = (u16 )0;
5385#line 288
5386  pac207_write_reg(gspca_dev, __cil_tmp42, __cil_tmp43);
5387#line 289
5388  __cil_tmp44 = (u16 )8;
5389#line 289
5390  __cil_tmp45 = (unsigned long )sd;
5391#line 289
5392  __cil_tmp46 = __cil_tmp45 + 3233;
5393#line 289
5394  __cil_tmp47 = *((u8 *)__cil_tmp46);
5395#line 289
5396  __cil_tmp48 = (u16 )__cil_tmp47;
5397#line 289
5398  pac207_write_reg(gspca_dev, __cil_tmp44, __cil_tmp48);
5399#line 292
5400  __cil_tmp49 = (u16 )14;
5401#line 292
5402  __cil_tmp50 = (unsigned long )sd;
5403#line 292
5404  __cil_tmp51 = __cil_tmp50 + 3236;
5405#line 292
5406  __cil_tmp52 = *((u8 *)__cil_tmp51);
5407#line 292
5408  __cil_tmp53 = (u16 )__cil_tmp52;
5409#line 292
5410  pac207_write_reg(gspca_dev, __cil_tmp49, __cil_tmp53);
5411#line 293
5412  __cil_tmp54 = (u16 )2;
5413#line 293
5414  __cil_tmp55 = (unsigned long )sd;
5415#line 293
5416  __cil_tmp56 = __cil_tmp55 + 3234;
5417#line 293
5418  __cil_tmp57 = *((u8 *)__cil_tmp56);
5419#line 293
5420  __cil_tmp58 = (u16 )__cil_tmp57;
5421#line 293
5422  pac207_write_reg(gspca_dev, __cil_tmp54, __cil_tmp58);
5423#line 295
5424  mode = (__u8 )2;
5425  }
5426  {
5427#line 296
5428  __cil_tmp59 = (unsigned long )gspca_dev;
5429#line 296
5430  __cil_tmp60 = __cil_tmp59 + 3020;
5431#line 296
5432  __cil_tmp61 = *((__u16 *)__cil_tmp60);
5433#line 296
5434  __cil_tmp62 = (int )__cil_tmp61;
5435#line 296
5436  if (__cil_tmp62 == 176) {
5437#line 297
5438    __cil_tmp63 = (int )mode;
5439#line 297
5440    __cil_tmp64 = __cil_tmp63 | 1;
5441#line 297
5442    mode = (__u8 )__cil_tmp64;
5443  } else {
5444
5445  }
5446  }
5447  {
5448#line 302
5449  __cil_tmp65 = (u16 )65;
5450#line 302
5451  __cil_tmp66 = (u16 )mode;
5452#line 302
5453  pac207_write_reg(gspca_dev, __cil_tmp65, __cil_tmp66);
5454#line 304
5455  __cil_tmp67 = (u16 )19;
5456#line 304
5457  __cil_tmp68 = (u16 )1;
5458#line 304
5459  pac207_write_reg(gspca_dev, __cil_tmp67, __cil_tmp68);
5460#line 305
5461  __cil_tmp69 = (u16 )28;
5462#line 305
5463  __cil_tmp70 = (u16 )1;
5464#line 305
5465  pac207_write_reg(gspca_dev, __cil_tmp69, __cil_tmp70);
5466#line 306
5467  msleep(10U);
5468#line 307
5469  __cil_tmp71 = (u16 )64;
5470#line 307
5471  __cil_tmp72 = (u16 )1;
5472#line 307
5473  pac207_write_reg(gspca_dev, __cil_tmp71, __cil_tmp72);
5474#line 309
5475  __cil_tmp73 = (unsigned long )sd;
5476#line 309
5477  __cil_tmp74 = __cil_tmp73 + 3237;
5478#line 309
5479  *((u8 *)__cil_tmp74) = (u8 )0;
5480#line 310
5481  __cil_tmp75 = (unsigned long )sd;
5482#line 310
5483  __cil_tmp76 = __cil_tmp75 + 3239;
5484#line 310
5485  *((u8 *)__cil_tmp76) = (u8 )0;
5486#line 311
5487  __cil_tmp77 = (unsigned long )sd;
5488#line 311
5489  __cil_tmp78 = __cil_tmp77 + 3240;
5490#line 311
5491  __cil_tmp79 = (atomic_t *)__cil_tmp78;
5492#line 311
5493  atomic_set(__cil_tmp79, -1);
5494  }
5495#line 312
5496  return (0);
5497}
5498}
5499#line 315 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
5500static void sd_stopN(struct gspca_dev *gspca_dev ) 
5501{ u16 __cil_tmp2 ;
5502  u16 __cil_tmp3 ;
5503  u16 __cil_tmp4 ;
5504  u16 __cil_tmp5 ;
5505  u16 __cil_tmp6 ;
5506  u16 __cil_tmp7 ;
5507
5508  {
5509  {
5510#line 317
5511  __cil_tmp2 = (u16 )64;
5512#line 317
5513  __cil_tmp3 = (u16 )0;
5514#line 317
5515  pac207_write_reg(gspca_dev, __cil_tmp2, __cil_tmp3);
5516#line 318
5517  __cil_tmp4 = (u16 )65;
5518#line 318
5519  __cil_tmp5 = (u16 )0;
5520#line 318
5521  pac207_write_reg(gspca_dev, __cil_tmp4, __cil_tmp5);
5522#line 319
5523  __cil_tmp6 = (u16 )15;
5524#line 319
5525  __cil_tmp7 = (u16 )0;
5526#line 319
5527  pac207_write_reg(gspca_dev, __cil_tmp6, __cil_tmp7);
5528  }
5529#line 320
5530  return;
5531}
5532}
5533#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/pac_common.h"
5534static unsigned char const   pac_sof_marker[5]  = {      (unsigned char const   )255,      (unsigned char const   )255,      (unsigned char const   )0,      (unsigned char const   )255, 
5535        (unsigned char const   )150};
5536#line 74 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/video/gspca/pac_common.h"
5537static unsigned char *pac_find_sof(u8 *sof_read , unsigned char *m , int len ) 
5538{ int i ;
5539  u8 __cil_tmp5 ;
5540  unsigned char *__cil_tmp6 ;
5541  unsigned char __cil_tmp7 ;
5542  int __cil_tmp8 ;
5543  unsigned char *__cil_tmp9 ;
5544  unsigned char __cil_tmp10 ;
5545  int __cil_tmp11 ;
5546  unsigned char *__cil_tmp12 ;
5547  unsigned char __cil_tmp13 ;
5548  unsigned char *__cil_tmp14 ;
5549  unsigned char __cil_tmp15 ;
5550  int __cil_tmp16 ;
5551  unsigned char *__cil_tmp17 ;
5552  unsigned char __cil_tmp18 ;
5553  unsigned char *__cil_tmp19 ;
5554  void *__cil_tmp20 ;
5555
5556  {
5557#line 80
5558  i = 0;
5559  {
5560#line 80
5561  while (1) {
5562    while_continue: /* CIL Label */ ;
5563#line 80
5564    if (i < len) {
5565
5566    } else {
5567#line 80
5568      goto while_break;
5569    }
5570    {
5571#line 81
5572    __cil_tmp5 = *sof_read;
5573#line 82
5574    if ((int )__cil_tmp5 == 0) {
5575#line 82
5576      goto case_0;
5577    } else
5578#line 86
5579    if ((int )__cil_tmp5 == 1) {
5580#line 86
5581      goto case_1;
5582    } else
5583#line 92
5584    if ((int )__cil_tmp5 == 2) {
5585#line 92
5586      goto case_2;
5587    } else
5588#line 104
5589    if ((int )__cil_tmp5 == 3) {
5590#line 104
5591      goto case_3;
5592    } else
5593#line 110
5594    if ((int )__cil_tmp5 == 4) {
5595#line 110
5596      goto case_4;
5597    } else {
5598      {
5599#line 128
5600      goto switch_default___1;
5601#line 81
5602      if (0) {
5603        case_0: /* CIL Label */ 
5604        {
5605#line 83
5606        __cil_tmp6 = m + i;
5607#line 83
5608        __cil_tmp7 = *__cil_tmp6;
5609#line 83
5610        __cil_tmp8 = (int )__cil_tmp7;
5611#line 83
5612        if (__cil_tmp8 == 255) {
5613#line 84
5614          *sof_read = (u8 )1;
5615        } else {
5616
5617        }
5618        }
5619#line 85
5620        goto switch_break;
5621        case_1: /* CIL Label */ 
5622        {
5623#line 87
5624        __cil_tmp9 = m + i;
5625#line 87
5626        __cil_tmp10 = *__cil_tmp9;
5627#line 87
5628        __cil_tmp11 = (int )__cil_tmp10;
5629#line 87
5630        if (__cil_tmp11 == 255) {
5631#line 88
5632          *sof_read = (u8 )2;
5633        } else {
5634#line 90
5635          *sof_read = (u8 )0;
5636        }
5637        }
5638#line 91
5639        goto switch_break;
5640        case_2: /* CIL Label */ 
5641        {
5642#line 93
5643        __cil_tmp12 = m + i;
5644#line 93
5645        __cil_tmp13 = *__cil_tmp12;
5646#line 94
5647        if ((int )__cil_tmp13 == 0) {
5648#line 94
5649          goto case_0___0;
5650        } else
5651#line 97
5652        if ((int )__cil_tmp13 == 255) {
5653#line 97
5654          goto case_255;
5655        } else {
5656          {
5657#line 100
5658          goto switch_default;
5659#line 93
5660          if (0) {
5661            case_0___0: /* CIL Label */ 
5662#line 95
5663            *sof_read = (u8 )3;
5664#line 96
5665            goto switch_break___0;
5666            case_255: /* CIL Label */ 
5667#line 99
5668            goto switch_break___0;
5669            switch_default: /* CIL Label */ 
5670#line 101
5671            *sof_read = (u8 )0;
5672          } else {
5673            switch_break___0: /* CIL Label */ ;
5674          }
5675          }
5676        }
5677        }
5678#line 103
5679        goto switch_break;
5680        case_3: /* CIL Label */ 
5681        {
5682#line 105
5683        __cil_tmp14 = m + i;
5684#line 105
5685        __cil_tmp15 = *__cil_tmp14;
5686#line 105
5687        __cil_tmp16 = (int )__cil_tmp15;
5688#line 105
5689        if (__cil_tmp16 == 255) {
5690#line 106
5691          *sof_read = (u8 )4;
5692        } else {
5693#line 108
5694          *sof_read = (u8 )0;
5695        }
5696        }
5697#line 109
5698        goto switch_break;
5699        case_4: /* CIL Label */ 
5700        {
5701#line 111
5702        __cil_tmp17 = m + i;
5703#line 111
5704        __cil_tmp18 = *__cil_tmp17;
5705#line 112
5706        if ((int )__cil_tmp18 == 150) {
5707#line 112
5708          goto case_150;
5709        } else
5710#line 121
5711        if ((int )__cil_tmp18 == 255) {
5712#line 121
5713          goto case_255___0;
5714        } else {
5715          {
5716#line 124
5717          goto switch_default___0;
5718#line 111
5719          if (0) {
5720            case_150: /* CIL Label */ 
5721#line 118
5722            *sof_read = (u8 )0;
5723            {
5724#line 119
5725            __cil_tmp19 = m + i;
5726#line 119
5727            return (__cil_tmp19 + 1);
5728            }
5729#line 120
5730            goto switch_break___1;
5731            case_255___0: /* CIL Label */ 
5732#line 122
5733            *sof_read = (u8 )2;
5734#line 123
5735            goto switch_break___1;
5736            switch_default___0: /* CIL Label */ 
5737#line 125
5738            *sof_read = (u8 )0;
5739          } else {
5740            switch_break___1: /* CIL Label */ ;
5741          }
5742          }
5743        }
5744        }
5745#line 127
5746        goto switch_break;
5747        switch_default___1: /* CIL Label */ 
5748#line 129
5749        *sof_read = (u8 )0;
5750      } else {
5751        switch_break: /* CIL Label */ ;
5752      }
5753      }
5754    }
5755    }
5756#line 80
5757    i = i + 1;
5758  }
5759  while_break: /* CIL Label */ ;
5760  }
5761  {
5762#line 133
5763  __cil_tmp20 = (void *)0;
5764#line 133
5765  return ((unsigned char *)__cil_tmp20);
5766  }
5767}
5768}
5769#line 325 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
5770static void pac207_do_auto_gain(struct gspca_dev *gspca_dev ) 
5771{ struct sd *sd ;
5772  int avg_lum ;
5773  int tmp___7 ;
5774  int tmp___8 ;
5775  unsigned long __cil_tmp6 ;
5776  unsigned long __cil_tmp7 ;
5777  atomic_t *__cil_tmp8 ;
5778  atomic_t const   *__cil_tmp9 ;
5779  unsigned long __cil_tmp10 ;
5780  unsigned long __cil_tmp11 ;
5781  u8 __cil_tmp12 ;
5782  int __cil_tmp13 ;
5783  unsigned long __cil_tmp14 ;
5784  unsigned long __cil_tmp15 ;
5785  unsigned long __cil_tmp16 ;
5786  unsigned long __cil_tmp17 ;
5787  u8 __cil_tmp18 ;
5788  int __cil_tmp19 ;
5789  int __cil_tmp20 ;
5790  unsigned long __cil_tmp21 ;
5791  unsigned long __cil_tmp22 ;
5792
5793  {
5794  {
5795#line 327
5796  sd = (struct sd *)gspca_dev;
5797#line 328
5798  __cil_tmp6 = (unsigned long )sd;
5799#line 328
5800  __cil_tmp7 = __cil_tmp6 + 3240;
5801#line 328
5802  __cil_tmp8 = (atomic_t *)__cil_tmp7;
5803#line 328
5804  __cil_tmp9 = (atomic_t const   *)__cil_tmp8;
5805#line 328
5806  tmp___7 = atomic_read(__cil_tmp9);
5807#line 328
5808  avg_lum = tmp___7;
5809  }
5810#line 330
5811  if (avg_lum == -1) {
5812#line 331
5813    return;
5814  } else {
5815
5816  }
5817  {
5818#line 333
5819  __cil_tmp10 = (unsigned long )sd;
5820#line 333
5821  __cil_tmp11 = __cil_tmp10 + 3239;
5822#line 333
5823  __cil_tmp12 = *((u8 *)__cil_tmp11);
5824#line 333
5825  __cil_tmp13 = (int )__cil_tmp12;
5826#line 333
5827  if (__cil_tmp13 > 0) {
5828#line 334
5829    __cil_tmp14 = (unsigned long )sd;
5830#line 334
5831    __cil_tmp15 = __cil_tmp14 + 3239;
5832#line 334
5833    __cil_tmp16 = (unsigned long )sd;
5834#line 334
5835    __cil_tmp17 = __cil_tmp16 + 3239;
5836#line 334
5837    __cil_tmp18 = *((u8 *)__cil_tmp17);
5838#line 334
5839    __cil_tmp19 = (int )__cil_tmp18;
5840#line 334
5841    __cil_tmp20 = __cil_tmp19 - 1;
5842#line 334
5843    *((u8 *)__cil_tmp15) = (u8 )__cil_tmp20;
5844  } else {
5845    {
5846#line 335
5847    tmp___8 = gspca_auto_gain_n_exposure(gspca_dev, avg_lum, 90, 30, 15, 9);
5848    }
5849#line 335
5850    if (tmp___8) {
5851#line 338
5852      __cil_tmp21 = (unsigned long )sd;
5853#line 338
5854      __cil_tmp22 = __cil_tmp21 + 3239;
5855#line 338
5856      *((u8 *)__cil_tmp22) = (u8 )2;
5857    } else {
5858
5859    }
5860  }
5861  }
5862#line 339
5863  return;
5864}
5865}
5866#line 341 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
5867static void sd_pkt_scan(struct gspca_dev *gspca_dev , u8 *data , int len ) 
5868{ struct sd *sd ;
5869  unsigned char *sof ;
5870  int n ;
5871  int needed ;
5872  unsigned long __cil_tmp8 ;
5873  unsigned long __cil_tmp9 ;
5874  u8 *__cil_tmp10 ;
5875  unsigned long __cil_tmp11 ;
5876  unsigned long __cil_tmp12 ;
5877  unsigned long __cil_tmp13 ;
5878  enum gspca_packet_type __cil_tmp14 ;
5879  u8 const   *__cil_tmp15 ;
5880  unsigned long __cil_tmp16 ;
5881  unsigned long __cil_tmp17 ;
5882  enum gspca_packet_type __cil_tmp18 ;
5883  void *__cil_tmp19 ;
5884  u8 const   *__cil_tmp20 ;
5885  int __cil_tmp21 ;
5886  unsigned long __cil_tmp22 ;
5887  unsigned long __cil_tmp23 ;
5888  u8 __cil_tmp24 ;
5889  int __cil_tmp25 ;
5890  unsigned long __cil_tmp26 ;
5891  unsigned long __cil_tmp27 ;
5892  u8 __cil_tmp28 ;
5893  int __cil_tmp29 ;
5894  unsigned long __cil_tmp30 ;
5895  unsigned long __cil_tmp31 ;
5896  u8 __cil_tmp32 ;
5897  int __cil_tmp33 ;
5898  unsigned long __cil_tmp34 ;
5899  unsigned long __cil_tmp35 ;
5900  atomic_t *__cil_tmp36 ;
5901  int __cil_tmp37 ;
5902  u8 *__cil_tmp38 ;
5903  u8 __cil_tmp39 ;
5904  int __cil_tmp40 ;
5905  unsigned long __cil_tmp41 ;
5906  unsigned long __cil_tmp42 ;
5907  u8 __cil_tmp43 ;
5908  int __cil_tmp44 ;
5909  unsigned long __cil_tmp45 ;
5910  unsigned long __cil_tmp46 ;
5911  unsigned long __cil_tmp47 ;
5912  unsigned long __cil_tmp48 ;
5913  u8 __cil_tmp49 ;
5914  int __cil_tmp50 ;
5915  int __cil_tmp51 ;
5916  unsigned long __cil_tmp52 ;
5917  unsigned long __cil_tmp53 ;
5918  enum gspca_packet_type __cil_tmp54 ;
5919  u8 const   *__cil_tmp55 ;
5920
5921  {
5922  {
5923#line 345
5924  sd = (struct sd *)gspca_dev;
5925#line 348
5926  __cil_tmp8 = (unsigned long )sd;
5927#line 348
5928  __cil_tmp9 = __cil_tmp8 + 3237;
5929#line 348
5930  __cil_tmp10 = (u8 *)__cil_tmp9;
5931#line 348
5932  sof = pac_find_sof(__cil_tmp10, data, len);
5933  }
5934#line 349
5935  if (sof) {
5936#line 353
5937    n = sof - data;
5938    {
5939#line 354
5940    __cil_tmp11 = (unsigned long )n;
5941#line 354
5942    if (__cil_tmp11 > 5UL) {
5943#line 355
5944      __cil_tmp12 = (unsigned long )n;
5945#line 355
5946      __cil_tmp13 = __cil_tmp12 - 5UL;
5947#line 355
5948      n = (int )__cil_tmp13;
5949    } else {
5950#line 357
5951      n = 0;
5952    }
5953    }
5954    {
5955#line 358
5956    __cil_tmp14 = (enum gspca_packet_type )3;
5957#line 358
5958    __cil_tmp15 = (u8 const   *)data;
5959#line 358
5960    gspca_frame_add(gspca_dev, __cil_tmp14, __cil_tmp15, n);
5961#line 360
5962    __cil_tmp16 = (unsigned long )sd;
5963#line 360
5964    __cil_tmp17 = __cil_tmp16 + 3238;
5965#line 360
5966    *((u8 *)__cil_tmp17) = (u8 )0;
5967#line 361
5968    __cil_tmp18 = (enum gspca_packet_type )1;
5969#line 361
5970    __cil_tmp19 = (void *)0;
5971#line 361
5972    __cil_tmp20 = (u8 const   *)__cil_tmp19;
5973#line 361
5974    gspca_frame_add(gspca_dev, __cil_tmp18, __cil_tmp20, 0);
5975#line 362
5976    __cil_tmp21 = sof - data;
5977#line 362
5978    len = len - __cil_tmp21;
5979#line 363
5980    data = sof;
5981    }
5982  } else {
5983
5984  }
5985  {
5986#line 365
5987  __cil_tmp22 = (unsigned long )sd;
5988#line 365
5989  __cil_tmp23 = __cil_tmp22 + 3238;
5990#line 365
5991  __cil_tmp24 = *((u8 *)__cil_tmp23);
5992#line 365
5993  __cil_tmp25 = (int )__cil_tmp24;
5994#line 365
5995  if (__cil_tmp25 < 11) {
5996    {
5997#line 369
5998    __cil_tmp26 = (unsigned long )sd;
5999#line 369
6000    __cil_tmp27 = __cil_tmp26 + 3238;
6001#line 369
6002    __cil_tmp28 = *((u8 *)__cil_tmp27);
6003#line 369
6004    __cil_tmp29 = (int )__cil_tmp28;
6005#line 369
6006    if (__cil_tmp29 < 5) {
6007#line 370
6008      __cil_tmp30 = (unsigned long )sd;
6009#line 370
6010      __cil_tmp31 = __cil_tmp30 + 3238;
6011#line 370
6012      __cil_tmp32 = *((u8 *)__cil_tmp31);
6013#line 370
6014      __cil_tmp33 = (int )__cil_tmp32;
6015#line 370
6016      needed = 5 - __cil_tmp33;
6017#line 371
6018      if (len >= needed) {
6019        {
6020#line 372
6021        __cil_tmp34 = (unsigned long )sd;
6022#line 372
6023        __cil_tmp35 = __cil_tmp34 + 3240;
6024#line 372
6025        __cil_tmp36 = (atomic_t *)__cil_tmp35;
6026#line 372
6027        __cil_tmp37 = needed - 1;
6028#line 372
6029        __cil_tmp38 = data + __cil_tmp37;
6030#line 372
6031        __cil_tmp39 = *__cil_tmp38;
6032#line 372
6033        __cil_tmp40 = (int )__cil_tmp39;
6034#line 372
6035        atomic_set(__cil_tmp36, __cil_tmp40);
6036        }
6037      } else {
6038
6039      }
6040    } else {
6041
6042    }
6043    }
6044#line 375
6045    __cil_tmp41 = (unsigned long )sd;
6046#line 375
6047    __cil_tmp42 = __cil_tmp41 + 3238;
6048#line 375
6049    __cil_tmp43 = *((u8 *)__cil_tmp42);
6050#line 375
6051    __cil_tmp44 = (int )__cil_tmp43;
6052#line 375
6053    needed = 11 - __cil_tmp44;
6054#line 376
6055    if (len <= needed) {
6056#line 377
6057      __cil_tmp45 = (unsigned long )sd;
6058#line 377
6059      __cil_tmp46 = __cil_tmp45 + 3238;
6060#line 377
6061      __cil_tmp47 = (unsigned long )sd;
6062#line 377
6063      __cil_tmp48 = __cil_tmp47 + 3238;
6064#line 377
6065      __cil_tmp49 = *((u8 *)__cil_tmp48);
6066#line 377
6067      __cil_tmp50 = (int )__cil_tmp49;
6068#line 377
6069      __cil_tmp51 = __cil_tmp50 + len;
6070#line 377
6071      *((u8 *)__cil_tmp46) = (u8 )__cil_tmp51;
6072#line 378
6073      return;
6074    } else {
6075
6076    }
6077#line 380
6078    data = data + needed;
6079#line 381
6080    len = len - needed;
6081#line 382
6082    __cil_tmp52 = (unsigned long )sd;
6083#line 382
6084    __cil_tmp53 = __cil_tmp52 + 3238;
6085#line 382
6086    *((u8 *)__cil_tmp53) = (u8 )11;
6087  } else {
6088
6089  }
6090  }
6091  {
6092#line 385
6093  __cil_tmp54 = (enum gspca_packet_type )2;
6094#line 385
6095  __cil_tmp55 = (u8 const   *)data;
6096#line 385
6097  gspca_frame_add(gspca_dev, __cil_tmp54, __cil_tmp55, len);
6098  }
6099#line 386
6100  return;
6101}
6102}
6103#line 388 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6104static void setbrightness(struct gspca_dev *gspca_dev ) 
6105{ struct sd *sd ;
6106  u16 __cil_tmp3 ;
6107  unsigned long __cil_tmp4 ;
6108  unsigned long __cil_tmp5 ;
6109  u8 __cil_tmp6 ;
6110  u16 __cil_tmp7 ;
6111  u16 __cil_tmp8 ;
6112  u16 __cil_tmp9 ;
6113  u16 __cil_tmp10 ;
6114  u16 __cil_tmp11 ;
6115
6116  {
6117  {
6118#line 390
6119  sd = (struct sd *)gspca_dev;
6120#line 392
6121  __cil_tmp3 = (u16 )8;
6122#line 392
6123  __cil_tmp4 = (unsigned long )sd;
6124#line 392
6125  __cil_tmp5 = __cil_tmp4 + 3233;
6126#line 392
6127  __cil_tmp6 = *((u8 *)__cil_tmp5);
6128#line 392
6129  __cil_tmp7 = (u16 )__cil_tmp6;
6130#line 392
6131  pac207_write_reg(gspca_dev, __cil_tmp3, __cil_tmp7);
6132#line 393
6133  __cil_tmp8 = (u16 )19;
6134#line 393
6135  __cil_tmp9 = (u16 )1;
6136#line 393
6137  pac207_write_reg(gspca_dev, __cil_tmp8, __cil_tmp9);
6138#line 394
6139  __cil_tmp10 = (u16 )28;
6140#line 394
6141  __cil_tmp11 = (u16 )1;
6142#line 394
6143  pac207_write_reg(gspca_dev, __cil_tmp10, __cil_tmp11);
6144  }
6145#line 395
6146  return;
6147}
6148}
6149#line 397 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6150static void setexposure(struct gspca_dev *gspca_dev ) 
6151{ struct sd *sd ;
6152  u16 __cil_tmp3 ;
6153  unsigned long __cil_tmp4 ;
6154  unsigned long __cil_tmp5 ;
6155  u8 __cil_tmp6 ;
6156  u16 __cil_tmp7 ;
6157  u16 __cil_tmp8 ;
6158  u16 __cil_tmp9 ;
6159  u16 __cil_tmp10 ;
6160  u16 __cil_tmp11 ;
6161
6162  {
6163  {
6164#line 399
6165  sd = (struct sd *)gspca_dev;
6166#line 401
6167  __cil_tmp3 = (u16 )2;
6168#line 401
6169  __cil_tmp4 = (unsigned long )sd;
6170#line 401
6171  __cil_tmp5 = __cil_tmp4 + 3234;
6172#line 401
6173  __cil_tmp6 = *((u8 *)__cil_tmp5);
6174#line 401
6175  __cil_tmp7 = (u16 )__cil_tmp6;
6176#line 401
6177  pac207_write_reg(gspca_dev, __cil_tmp3, __cil_tmp7);
6178#line 402
6179  __cil_tmp8 = (u16 )19;
6180#line 402
6181  __cil_tmp9 = (u16 )1;
6182#line 402
6183  pac207_write_reg(gspca_dev, __cil_tmp8, __cil_tmp9);
6184#line 403
6185  __cil_tmp10 = (u16 )28;
6186#line 403
6187  __cil_tmp11 = (u16 )1;
6188#line 403
6189  pac207_write_reg(gspca_dev, __cil_tmp10, __cil_tmp11);
6190  }
6191#line 404
6192  return;
6193}
6194}
6195#line 406 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6196static void setgain(struct gspca_dev *gspca_dev ) 
6197{ struct sd *sd ;
6198  u16 __cil_tmp3 ;
6199  unsigned long __cil_tmp4 ;
6200  unsigned long __cil_tmp5 ;
6201  u8 __cil_tmp6 ;
6202  u16 __cil_tmp7 ;
6203  u16 __cil_tmp8 ;
6204  u16 __cil_tmp9 ;
6205  u16 __cil_tmp10 ;
6206  u16 __cil_tmp11 ;
6207
6208  {
6209  {
6210#line 408
6211  sd = (struct sd *)gspca_dev;
6212#line 410
6213  __cil_tmp3 = (u16 )14;
6214#line 410
6215  __cil_tmp4 = (unsigned long )sd;
6216#line 410
6217  __cil_tmp5 = __cil_tmp4 + 3236;
6218#line 410
6219  __cil_tmp6 = *((u8 *)__cil_tmp5);
6220#line 410
6221  __cil_tmp7 = (u16 )__cil_tmp6;
6222#line 410
6223  pac207_write_reg(gspca_dev, __cil_tmp3, __cil_tmp7);
6224#line 411
6225  __cil_tmp8 = (u16 )19;
6226#line 411
6227  __cil_tmp9 = (u16 )1;
6228#line 411
6229  pac207_write_reg(gspca_dev, __cil_tmp8, __cil_tmp9);
6230#line 412
6231  __cil_tmp10 = (u16 )28;
6232#line 412
6233  __cil_tmp11 = (u16 )1;
6234#line 412
6235  pac207_write_reg(gspca_dev, __cil_tmp10, __cil_tmp11);
6236  }
6237#line 413
6238  return;
6239}
6240}
6241#line 415 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6242static int sd_setbrightness(struct gspca_dev *gspca_dev , __s32 val ) 
6243{ struct sd *sd ;
6244  unsigned long __cil_tmp4 ;
6245  unsigned long __cil_tmp5 ;
6246  unsigned long __cil_tmp6 ;
6247  unsigned long __cil_tmp7 ;
6248
6249  {
6250#line 417
6251  sd = (struct sd *)gspca_dev;
6252#line 419
6253  __cil_tmp4 = (unsigned long )sd;
6254#line 419
6255  __cil_tmp5 = __cil_tmp4 + 3233;
6256#line 419
6257  *((u8 *)__cil_tmp5) = (u8 )val;
6258  {
6259#line 420
6260  __cil_tmp6 = (unsigned long )gspca_dev;
6261#line 420
6262  __cil_tmp7 = __cil_tmp6 + 3012;
6263#line 420
6264  if (*((__u8 *)__cil_tmp7)) {
6265    {
6266#line 421
6267    setbrightness(gspca_dev);
6268    }
6269  } else {
6270
6271  }
6272  }
6273#line 422
6274  return (0);
6275}
6276}
6277#line 425 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6278static int sd_getbrightness(struct gspca_dev *gspca_dev , __s32 *val ) 
6279{ struct sd *sd ;
6280  unsigned long __cil_tmp4 ;
6281  unsigned long __cil_tmp5 ;
6282  u8 __cil_tmp6 ;
6283
6284  {
6285#line 427
6286  sd = (struct sd *)gspca_dev;
6287#line 429
6288  __cil_tmp4 = (unsigned long )sd;
6289#line 429
6290  __cil_tmp5 = __cil_tmp4 + 3233;
6291#line 429
6292  __cil_tmp6 = *((u8 *)__cil_tmp5);
6293#line 429
6294  *val = (__s32 )__cil_tmp6;
6295#line 430
6296  return (0);
6297}
6298}
6299#line 433 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6300static int sd_setexposure(struct gspca_dev *gspca_dev , __s32 val ) 
6301{ struct sd *sd ;
6302  unsigned long __cil_tmp4 ;
6303  unsigned long __cil_tmp5 ;
6304  unsigned long __cil_tmp6 ;
6305  unsigned long __cil_tmp7 ;
6306
6307  {
6308#line 435
6309  sd = (struct sd *)gspca_dev;
6310#line 437
6311  __cil_tmp4 = (unsigned long )sd;
6312#line 437
6313  __cil_tmp5 = __cil_tmp4 + 3234;
6314#line 437
6315  *((u8 *)__cil_tmp5) = (u8 )val;
6316  {
6317#line 438
6318  __cil_tmp6 = (unsigned long )gspca_dev;
6319#line 438
6320  __cil_tmp7 = __cil_tmp6 + 3012;
6321#line 438
6322  if (*((__u8 *)__cil_tmp7)) {
6323    {
6324#line 439
6325    setexposure(gspca_dev);
6326    }
6327  } else {
6328
6329  }
6330  }
6331#line 440
6332  return (0);
6333}
6334}
6335#line 443 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6336static int sd_getexposure(struct gspca_dev *gspca_dev , __s32 *val ) 
6337{ struct sd *sd ;
6338  unsigned long __cil_tmp4 ;
6339  unsigned long __cil_tmp5 ;
6340  u8 __cil_tmp6 ;
6341
6342  {
6343#line 445
6344  sd = (struct sd *)gspca_dev;
6345#line 447
6346  __cil_tmp4 = (unsigned long )sd;
6347#line 447
6348  __cil_tmp5 = __cil_tmp4 + 3234;
6349#line 447
6350  __cil_tmp6 = *((u8 *)__cil_tmp5);
6351#line 447
6352  *val = (__s32 )__cil_tmp6;
6353#line 448
6354  return (0);
6355}
6356}
6357#line 451 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6358static int sd_setgain(struct gspca_dev *gspca_dev , __s32 val ) 
6359{ struct sd *sd ;
6360  unsigned long __cil_tmp4 ;
6361  unsigned long __cil_tmp5 ;
6362  unsigned long __cil_tmp6 ;
6363  unsigned long __cil_tmp7 ;
6364
6365  {
6366#line 453
6367  sd = (struct sd *)gspca_dev;
6368#line 455
6369  __cil_tmp4 = (unsigned long )sd;
6370#line 455
6371  __cil_tmp5 = __cil_tmp4 + 3236;
6372#line 455
6373  *((u8 *)__cil_tmp5) = (u8 )val;
6374  {
6375#line 456
6376  __cil_tmp6 = (unsigned long )gspca_dev;
6377#line 456
6378  __cil_tmp7 = __cil_tmp6 + 3012;
6379#line 456
6380  if (*((__u8 *)__cil_tmp7)) {
6381    {
6382#line 457
6383    setgain(gspca_dev);
6384    }
6385  } else {
6386
6387  }
6388  }
6389#line 458
6390  return (0);
6391}
6392}
6393#line 461 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6394static int sd_getgain(struct gspca_dev *gspca_dev , __s32 *val ) 
6395{ struct sd *sd ;
6396  unsigned long __cil_tmp4 ;
6397  unsigned long __cil_tmp5 ;
6398  u8 __cil_tmp6 ;
6399
6400  {
6401#line 463
6402  sd = (struct sd *)gspca_dev;
6403#line 465
6404  __cil_tmp4 = (unsigned long )sd;
6405#line 465
6406  __cil_tmp5 = __cil_tmp4 + 3236;
6407#line 465
6408  __cil_tmp6 = *((u8 *)__cil_tmp5);
6409#line 465
6410  *val = (__s32 )__cil_tmp6;
6411#line 466
6412  return (0);
6413}
6414}
6415#line 469 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6416static int sd_setautogain(struct gspca_dev *gspca_dev , __s32 val ) 
6417{ struct sd *sd ;
6418  unsigned long __cil_tmp4 ;
6419  unsigned long __cil_tmp5 ;
6420  unsigned long __cil_tmp6 ;
6421  unsigned long __cil_tmp7 ;
6422  unsigned long __cil_tmp8 ;
6423  unsigned long __cil_tmp9 ;
6424  unsigned long __cil_tmp10 ;
6425  unsigned long __cil_tmp11 ;
6426  unsigned long __cil_tmp12 ;
6427  unsigned long __cil_tmp13 ;
6428  unsigned long __cil_tmp14 ;
6429  unsigned long __cil_tmp15 ;
6430
6431  {
6432#line 471
6433  sd = (struct sd *)gspca_dev;
6434#line 473
6435  __cil_tmp4 = (unsigned long )sd;
6436#line 473
6437  __cil_tmp5 = __cil_tmp4 + 3235;
6438#line 473
6439  *((u8 *)__cil_tmp5) = (u8 )val;
6440  {
6441#line 478
6442  __cil_tmp6 = (unsigned long )sd;
6443#line 478
6444  __cil_tmp7 = __cil_tmp6 + 3235;
6445#line 478
6446  if (*((u8 *)__cil_tmp7)) {
6447#line 479
6448    __cil_tmp8 = (unsigned long )sd;
6449#line 479
6450    __cil_tmp9 = __cil_tmp8 + 3234;
6451#line 479
6452    *((u8 *)__cil_tmp9) = (u8 )5;
6453#line 480
6454    __cil_tmp10 = (unsigned long )sd;
6455#line 480
6456    __cil_tmp11 = __cil_tmp10 + 3236;
6457#line 480
6458    *((u8 *)__cil_tmp11) = (u8 )7;
6459    {
6460#line 481
6461    __cil_tmp12 = (unsigned long )gspca_dev;
6462#line 481
6463    __cil_tmp13 = __cil_tmp12 + 3012;
6464#line 481
6465    if (*((__u8 *)__cil_tmp13)) {
6466      {
6467#line 482
6468      __cil_tmp14 = (unsigned long )sd;
6469#line 482
6470      __cil_tmp15 = __cil_tmp14 + 3239;
6471#line 482
6472      *((u8 *)__cil_tmp15) = (u8 )2;
6473#line 484
6474      setexposure(gspca_dev);
6475#line 485
6476      setgain(gspca_dev);
6477      }
6478    } else {
6479
6480    }
6481    }
6482  } else {
6483
6484  }
6485  }
6486#line 489
6487  return (0);
6488}
6489}
6490#line 492 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6491static int sd_getautogain(struct gspca_dev *gspca_dev , __s32 *val ) 
6492{ struct sd *sd ;
6493  unsigned long __cil_tmp4 ;
6494  unsigned long __cil_tmp5 ;
6495  u8 __cil_tmp6 ;
6496
6497  {
6498#line 494
6499  sd = (struct sd *)gspca_dev;
6500#line 496
6501  __cil_tmp4 = (unsigned long )sd;
6502#line 496
6503  __cil_tmp5 = __cil_tmp4 + 3235;
6504#line 496
6505  __cil_tmp6 = *((u8 *)__cil_tmp5);
6506#line 496
6507  *val = (__s32 )__cil_tmp6;
6508#line 497
6509  return (0);
6510}
6511}
6512#line 501 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6513static int sd_int_pkt_scan(struct gspca_dev *gspca_dev , u8 *data , int len ) 
6514{ int ret ;
6515  u8 *__cil_tmp5 ;
6516  u8 __cil_tmp6 ;
6517  int __cil_tmp7 ;
6518  u8 *__cil_tmp8 ;
6519  u8 __cil_tmp9 ;
6520  int __cil_tmp10 ;
6521  unsigned long __cil_tmp11 ;
6522  unsigned long __cil_tmp12 ;
6523  struct input_dev *__cil_tmp13 ;
6524  unsigned long __cil_tmp14 ;
6525  unsigned long __cil_tmp15 ;
6526  struct input_dev *__cil_tmp16 ;
6527  unsigned long __cil_tmp17 ;
6528  unsigned long __cil_tmp18 ;
6529  struct input_dev *__cil_tmp19 ;
6530  unsigned long __cil_tmp20 ;
6531  unsigned long __cil_tmp21 ;
6532  struct input_dev *__cil_tmp22 ;
6533
6534  {
6535#line 505
6536  ret = -22;
6537#line 507
6538  if (len == 2) {
6539    {
6540#line 507
6541    __cil_tmp5 = data + 0;
6542#line 507
6543    __cil_tmp6 = *__cil_tmp5;
6544#line 507
6545    __cil_tmp7 = (int )__cil_tmp6;
6546#line 507
6547    if (__cil_tmp7 == 90) {
6548      {
6549#line 507
6550      __cil_tmp8 = data + 1;
6551#line 507
6552      __cil_tmp9 = *__cil_tmp8;
6553#line 507
6554      __cil_tmp10 = (int )__cil_tmp9;
6555#line 507
6556      if (__cil_tmp10 == 90) {
6557        {
6558#line 508
6559        __cil_tmp11 = (unsigned long )gspca_dev;
6560#line 508
6561        __cil_tmp12 = __cil_tmp11 + 1120;
6562#line 508
6563        __cil_tmp13 = *((struct input_dev **)__cil_tmp12);
6564#line 508
6565        input_report_key(__cil_tmp13, 212U, 1);
6566#line 509
6567        __cil_tmp14 = (unsigned long )gspca_dev;
6568#line 509
6569        __cil_tmp15 = __cil_tmp14 + 1120;
6570#line 509
6571        __cil_tmp16 = *((struct input_dev **)__cil_tmp15);
6572#line 509
6573        input_sync(__cil_tmp16);
6574#line 510
6575        __cil_tmp17 = (unsigned long )gspca_dev;
6576#line 510
6577        __cil_tmp18 = __cil_tmp17 + 1120;
6578#line 510
6579        __cil_tmp19 = *((struct input_dev **)__cil_tmp18);
6580#line 510
6581        input_report_key(__cil_tmp19, 212U, 0);
6582#line 511
6583        __cil_tmp20 = (unsigned long )gspca_dev;
6584#line 511
6585        __cil_tmp21 = __cil_tmp20 + 1120;
6586#line 511
6587        __cil_tmp22 = *((struct input_dev **)__cil_tmp21);
6588#line 511
6589        input_sync(__cil_tmp22);
6590#line 512
6591        ret = 0;
6592        }
6593      } else {
6594
6595      }
6596      }
6597    } else {
6598
6599    }
6600    }
6601  } else {
6602
6603  }
6604#line 515
6605  return (ret);
6606}
6607}
6608#line 520 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6609static struct sd_desc  const  sd_desc  = 
6610#line 520
6611     {"pac207", sd_ctrls, (int )(sizeof(sd_ctrls) / sizeof(sd_ctrls[0]) + sizeof(struct __anonstruct_286 )),
6612    & sd_config, & sd_init, & sd_start, & sd_pkt_scan, (int (*)(struct gspca_dev * ))0,
6613    (int (*)(struct gspca_dev * ))0, & sd_stopN, (void (*)(struct gspca_dev * ))0,
6614    & pac207_do_auto_gain, (int (*)(struct gspca_dev * , struct v4l2_jpegcompression * ))0,
6615    (int (*)(struct gspca_dev * , struct v4l2_jpegcompression * ))0, (int (*)(struct gspca_dev * ,
6616                                                                              struct v4l2_querymenu * ))0,
6617    (void (*)(struct gspca_dev * , struct v4l2_streamparm * ))0, (void (*)(struct gspca_dev * ,
6618                                                                           struct v4l2_streamparm * ))0,
6619    (int (*)(struct gspca_dev * , struct v4l2_dbg_register * ))0, (int (*)(struct gspca_dev * ,
6620                                                                           struct v4l2_dbg_register * ))0,
6621    (int (*)(struct gspca_dev * , struct v4l2_dbg_chip_ident * ))0, & sd_int_pkt_scan,
6622    (unsigned char)0};
6623#line 536 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/14210/dscv_tempdir/dscv/ri/32_1/drivers/media/video/gspca/pac207.c.common.c"
6624static struct usb_device_id  const  device_table[13]  = 
6625#line 536
6626  {      {(__u16 )3, (__u16 )1054, (__u16 )16424, (unsigned short)0, (unsigned short)0,
6627      (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
6628      (unsigned char)0, 0UL}, 
6629        {(__u16 )3, (__u16 )2362, (__u16 )9312, (unsigned short)0, (unsigned short)0,
6630      (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
6631      (unsigned char)0, 0UL}, 
6632        {(__u16 )3, (__u16 )2362, (__u16 )9313, (unsigned short)0, (unsigned short)0,
6633      (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
6634      (unsigned char)0, 0UL}, 
6635        {(__u16 )3, (__u16 )2362, (__u16 )9315, (unsigned short)0, (unsigned short)0,
6636      (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
6637      (unsigned char)0, 0UL}, 
6638        {(__u16 )3, (__u16 )2362, (__u16 )9316, (unsigned short)0, (unsigned short)0,
6639      (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
6640      (unsigned char)0, 0UL}, 
6641        {(__u16 )3, (__u16 )2362, (__u16 )9320, (unsigned short)0, (unsigned short)0,
6642      (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
6643      (unsigned char)0, 0UL}, 
6644        {(__u16 )3, (__u16 )2362, (__u16 )9328, (unsigned short)0, (unsigned short)0,
6645      (unsigned char)0, (unsigned char)0, (unsigned