Showing error 476

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