Showing error 651

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