Showing error 909

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