Showing error 912

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--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 6901
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 93 "include/linux/capability.h"
1162struct kernel_cap_struct {
1163   __u32 cap[2U] ;
1164};
1165#line 96 "include/linux/capability.h"
1166typedef struct kernel_cap_struct kernel_cap_t;
1167#line 104
1168struct dentry;
1169#line 104
1170struct dentry;
1171#line 105
1172struct user_namespace;
1173#line 105
1174struct user_namespace;
1175#line 554
1176struct prio_tree_node;
1177#line 554 "include/linux/capability.h"
1178struct raw_prio_tree_node {
1179   struct prio_tree_node *left ;
1180   struct prio_tree_node *right ;
1181   struct prio_tree_node *parent ;
1182};
1183#line 19 "include/linux/prio_tree.h"
1184struct prio_tree_node {
1185   struct prio_tree_node *left ;
1186   struct prio_tree_node *right ;
1187   struct prio_tree_node *parent ;
1188   unsigned long start ;
1189   unsigned long last ;
1190};
1191#line 27 "include/linux/prio_tree.h"
1192struct prio_tree_root {
1193   struct prio_tree_node *prio_tree_node ;
1194   unsigned short index_bits ;
1195   unsigned short raw ;
1196};
1197#line 116
1198struct address_space;
1199#line 116
1200struct address_space;
1201#line 117 "include/linux/prio_tree.h"
1202union __anonunion_ldv_14345_137 {
1203   unsigned long index ;
1204   void *freelist ;
1205};
1206#line 117 "include/linux/prio_tree.h"
1207struct __anonstruct_ldv_14355_141 {
1208   unsigned short inuse ;
1209   unsigned short objects : 15 ;
1210   unsigned char frozen : 1 ;
1211};
1212#line 117 "include/linux/prio_tree.h"
1213union __anonunion_ldv_14356_140 {
1214   atomic_t _mapcount ;
1215   struct __anonstruct_ldv_14355_141 ldv_14355 ;
1216};
1217#line 117 "include/linux/prio_tree.h"
1218struct __anonstruct_ldv_14358_139 {
1219   union __anonunion_ldv_14356_140 ldv_14356 ;
1220   atomic_t _count ;
1221};
1222#line 117 "include/linux/prio_tree.h"
1223union __anonunion_ldv_14359_138 {
1224   unsigned long counters ;
1225   struct __anonstruct_ldv_14358_139 ldv_14358 ;
1226};
1227#line 117 "include/linux/prio_tree.h"
1228struct __anonstruct_ldv_14360_136 {
1229   union __anonunion_ldv_14345_137 ldv_14345 ;
1230   union __anonunion_ldv_14359_138 ldv_14359 ;
1231};
1232#line 117 "include/linux/prio_tree.h"
1233struct __anonstruct_ldv_14367_143 {
1234   struct page *next ;
1235   int pages ;
1236   int pobjects ;
1237};
1238#line 117 "include/linux/prio_tree.h"
1239union __anonunion_ldv_14368_142 {
1240   struct list_head lru ;
1241   struct __anonstruct_ldv_14367_143 ldv_14367 ;
1242};
1243#line 117 "include/linux/prio_tree.h"
1244union __anonunion_ldv_14373_144 {
1245   unsigned long private ;
1246   struct kmem_cache *slab ;
1247   struct page *first_page ;
1248};
1249#line 117 "include/linux/prio_tree.h"
1250struct page {
1251   unsigned long flags ;
1252   struct address_space *mapping ;
1253   struct __anonstruct_ldv_14360_136 ldv_14360 ;
1254   union __anonunion_ldv_14368_142 ldv_14368 ;
1255   union __anonunion_ldv_14373_144 ldv_14373 ;
1256   unsigned long debug_flags ;
1257};
1258#line 192 "include/linux/mm_types.h"
1259struct __anonstruct_vm_set_146 {
1260   struct list_head list ;
1261   void *parent ;
1262   struct vm_area_struct *head ;
1263};
1264#line 192 "include/linux/mm_types.h"
1265union __anonunion_shared_145 {
1266   struct __anonstruct_vm_set_146 vm_set ;
1267   struct raw_prio_tree_node prio_tree_node ;
1268};
1269#line 192
1270struct anon_vma;
1271#line 192
1272struct vm_operations_struct;
1273#line 192
1274struct mempolicy;
1275#line 192 "include/linux/mm_types.h"
1276struct vm_area_struct {
1277   struct mm_struct *vm_mm ;
1278   unsigned long vm_start ;
1279   unsigned long vm_end ;
1280   struct vm_area_struct *vm_next ;
1281   struct vm_area_struct *vm_prev ;
1282   pgprot_t vm_page_prot ;
1283   unsigned long vm_flags ;
1284   struct rb_node vm_rb ;
1285   union __anonunion_shared_145 shared ;
1286   struct list_head anon_vma_chain ;
1287   struct anon_vma *anon_vma ;
1288   struct vm_operations_struct  const  *vm_ops ;
1289   unsigned long vm_pgoff ;
1290   struct file *vm_file ;
1291   void *vm_private_data ;
1292   struct mempolicy *vm_policy ;
1293};
1294#line 255 "include/linux/mm_types.h"
1295struct core_thread {
1296   struct task_struct *task ;
1297   struct core_thread *next ;
1298};
1299#line 261 "include/linux/mm_types.h"
1300struct core_state {
1301   atomic_t nr_threads ;
1302   struct core_thread dumper ;
1303   struct completion startup ;
1304};
1305#line 274 "include/linux/mm_types.h"
1306struct mm_rss_stat {
1307   atomic_long_t count[3U] ;
1308};
1309#line 287
1310struct linux_binfmt;
1311#line 287
1312struct mmu_notifier_mm;
1313#line 287 "include/linux/mm_types.h"
1314struct mm_struct {
1315   struct vm_area_struct *mmap ;
1316   struct rb_root mm_rb ;
1317   struct vm_area_struct *mmap_cache ;
1318   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
1319                                      unsigned long  , unsigned long  ) ;
1320   void (*unmap_area)(struct mm_struct * , unsigned long  ) ;
1321   unsigned long mmap_base ;
1322   unsigned long task_size ;
1323   unsigned long cached_hole_size ;
1324   unsigned long free_area_cache ;
1325   pgd_t *pgd ;
1326   atomic_t mm_users ;
1327   atomic_t mm_count ;
1328   int map_count ;
1329   spinlock_t page_table_lock ;
1330   struct rw_semaphore mmap_sem ;
1331   struct list_head mmlist ;
1332   unsigned long hiwater_rss ;
1333   unsigned long hiwater_vm ;
1334   unsigned long total_vm ;
1335   unsigned long locked_vm ;
1336   unsigned long pinned_vm ;
1337   unsigned long shared_vm ;
1338   unsigned long exec_vm ;
1339   unsigned long stack_vm ;
1340   unsigned long reserved_vm ;
1341   unsigned long def_flags ;
1342   unsigned long nr_ptes ;
1343   unsigned long start_code ;
1344   unsigned long end_code ;
1345   unsigned long start_data ;
1346   unsigned long end_data ;
1347   unsigned long start_brk ;
1348   unsigned long brk ;
1349   unsigned long start_stack ;
1350   unsigned long arg_start ;
1351   unsigned long arg_end ;
1352   unsigned long env_start ;
1353   unsigned long env_end ;
1354   unsigned long saved_auxv[44U] ;
1355   struct mm_rss_stat rss_stat ;
1356   struct linux_binfmt *binfmt ;
1357   cpumask_var_t cpu_vm_mask_var ;
1358   mm_context_t context ;
1359   unsigned int faultstamp ;
1360   unsigned int token_priority ;
1361   unsigned int last_interval ;
1362   unsigned long flags ;
1363   struct core_state *core_state ;
1364   spinlock_t ioctx_lock ;
1365   struct hlist_head ioctx_list ;
1366   struct task_struct *owner ;
1367   struct file *exe_file ;
1368   unsigned long num_exe_file_vmas ;
1369   struct mmu_notifier_mm *mmu_notifier_mm ;
1370   pgtable_t pmd_huge_pte ;
1371   struct cpumask cpumask_allocation ;
1372};
1373#line 7 "include/asm-generic/cputime.h"
1374typedef unsigned long cputime_t;
1375#line 98 "include/linux/sem.h"
1376struct sem_undo_list;
1377#line 98 "include/linux/sem.h"
1378struct sysv_sem {
1379   struct sem_undo_list *undo_list ;
1380};
1381#line 107
1382struct siginfo;
1383#line 107
1384struct siginfo;
1385#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1386struct __anonstruct_sigset_t_147 {
1387   unsigned long sig[1U] ;
1388};
1389#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1390typedef struct __anonstruct_sigset_t_147 sigset_t;
1391#line 17 "include/asm-generic/signal-defs.h"
1392typedef void __signalfn_t(int  );
1393#line 18 "include/asm-generic/signal-defs.h"
1394typedef __signalfn_t *__sighandler_t;
1395#line 20 "include/asm-generic/signal-defs.h"
1396typedef void __restorefn_t(void);
1397#line 21 "include/asm-generic/signal-defs.h"
1398typedef __restorefn_t *__sigrestore_t;
1399#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1400struct sigaction {
1401   __sighandler_t sa_handler ;
1402   unsigned long sa_flags ;
1403   __sigrestore_t sa_restorer ;
1404   sigset_t sa_mask ;
1405};
1406#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1407struct k_sigaction {
1408   struct sigaction sa ;
1409};
1410#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1411union sigval {
1412   int sival_int ;
1413   void *sival_ptr ;
1414};
1415#line 10 "include/asm-generic/siginfo.h"
1416typedef union sigval sigval_t;
1417#line 11 "include/asm-generic/siginfo.h"
1418struct __anonstruct__kill_149 {
1419   __kernel_pid_t _pid ;
1420   __kernel_uid32_t _uid ;
1421};
1422#line 11 "include/asm-generic/siginfo.h"
1423struct __anonstruct__timer_150 {
1424   __kernel_timer_t _tid ;
1425   int _overrun ;
1426   char _pad[0U] ;
1427   sigval_t _sigval ;
1428   int _sys_private ;
1429};
1430#line 11 "include/asm-generic/siginfo.h"
1431struct __anonstruct__rt_151 {
1432   __kernel_pid_t _pid ;
1433   __kernel_uid32_t _uid ;
1434   sigval_t _sigval ;
1435};
1436#line 11 "include/asm-generic/siginfo.h"
1437struct __anonstruct__sigchld_152 {
1438   __kernel_pid_t _pid ;
1439   __kernel_uid32_t _uid ;
1440   int _status ;
1441   __kernel_clock_t _utime ;
1442   __kernel_clock_t _stime ;
1443};
1444#line 11 "include/asm-generic/siginfo.h"
1445struct __anonstruct__sigfault_153 {
1446   void *_addr ;
1447   short _addr_lsb ;
1448};
1449#line 11 "include/asm-generic/siginfo.h"
1450struct __anonstruct__sigpoll_154 {
1451   long _band ;
1452   int _fd ;
1453};
1454#line 11 "include/asm-generic/siginfo.h"
1455union __anonunion__sifields_148 {
1456   int _pad[28U] ;
1457   struct __anonstruct__kill_149 _kill ;
1458   struct __anonstruct__timer_150 _timer ;
1459   struct __anonstruct__rt_151 _rt ;
1460   struct __anonstruct__sigchld_152 _sigchld ;
1461   struct __anonstruct__sigfault_153 _sigfault ;
1462   struct __anonstruct__sigpoll_154 _sigpoll ;
1463};
1464#line 11 "include/asm-generic/siginfo.h"
1465struct siginfo {
1466   int si_signo ;
1467   int si_errno ;
1468   int si_code ;
1469   union __anonunion__sifields_148 _sifields ;
1470};
1471#line 102 "include/asm-generic/siginfo.h"
1472typedef struct siginfo siginfo_t;
1473#line 14 "include/linux/signal.h"
1474struct user_struct;
1475#line 24 "include/linux/signal.h"
1476struct sigpending {
1477   struct list_head list ;
1478   sigset_t signal ;
1479};
1480#line 388
1481enum pid_type {
1482    PIDTYPE_PID = 0,
1483    PIDTYPE_PGID = 1,
1484    PIDTYPE_SID = 2,
1485    PIDTYPE_MAX = 3
1486} ;
1487#line 395
1488struct pid_namespace;
1489#line 395 "include/linux/signal.h"
1490struct upid {
1491   int nr ;
1492   struct pid_namespace *ns ;
1493   struct hlist_node pid_chain ;
1494};
1495#line 56 "include/linux/pid.h"
1496struct pid {
1497   atomic_t count ;
1498   unsigned int level ;
1499   struct hlist_head tasks[3U] ;
1500   struct rcu_head rcu ;
1501   struct upid numbers[1U] ;
1502};
1503#line 68 "include/linux/pid.h"
1504struct pid_link {
1505   struct hlist_node node ;
1506   struct pid *pid ;
1507};
1508#line 10 "include/linux/seccomp.h"
1509struct __anonstruct_seccomp_t_157 {
1510   int mode ;
1511};
1512#line 10 "include/linux/seccomp.h"
1513typedef struct __anonstruct_seccomp_t_157 seccomp_t;
1514#line 427 "include/linux/rculist.h"
1515struct plist_head {
1516   struct list_head node_list ;
1517};
1518#line 84 "include/linux/plist.h"
1519struct plist_node {
1520   int prio ;
1521   struct list_head prio_list ;
1522   struct list_head node_list ;
1523};
1524#line 20 "include/linux/rtmutex.h"
1525struct rt_mutex {
1526   raw_spinlock_t wait_lock ;
1527   struct plist_head wait_list ;
1528   struct task_struct *owner ;
1529   int save_state ;
1530   char const   *name ;
1531   char const   *file ;
1532   int line ;
1533   void *magic ;
1534};
1535#line 38
1536struct rt_mutex_waiter;
1537#line 38
1538struct rt_mutex_waiter;
1539#line 41 "include/linux/resource.h"
1540struct rlimit {
1541   unsigned long rlim_cur ;
1542   unsigned long rlim_max ;
1543};
1544#line 85 "include/linux/resource.h"
1545struct timerqueue_node {
1546   struct rb_node node ;
1547   ktime_t expires ;
1548};
1549#line 12 "include/linux/timerqueue.h"
1550struct timerqueue_head {
1551   struct rb_root head ;
1552   struct timerqueue_node *next ;
1553};
1554#line 50
1555struct hrtimer_clock_base;
1556#line 50
1557struct hrtimer_clock_base;
1558#line 51
1559struct hrtimer_cpu_base;
1560#line 51
1561struct hrtimer_cpu_base;
1562#line 60
1563enum hrtimer_restart {
1564    HRTIMER_NORESTART = 0,
1565    HRTIMER_RESTART = 1
1566} ;
1567#line 65 "include/linux/timerqueue.h"
1568struct hrtimer {
1569   struct timerqueue_node node ;
1570   ktime_t _softexpires ;
1571   enum hrtimer_restart (*function)(struct hrtimer * ) ;
1572   struct hrtimer_clock_base *base ;
1573   unsigned long state ;
1574   int start_pid ;
1575   void *start_site ;
1576   char start_comm[16U] ;
1577};
1578#line 132 "include/linux/hrtimer.h"
1579struct hrtimer_clock_base {
1580   struct hrtimer_cpu_base *cpu_base ;
1581   int index ;
1582   clockid_t clockid ;
1583   struct timerqueue_head active ;
1584   ktime_t resolution ;
1585   ktime_t (*get_time)(void) ;
1586   ktime_t softirq_time ;
1587   ktime_t offset ;
1588};
1589#line 162 "include/linux/hrtimer.h"
1590struct hrtimer_cpu_base {
1591   raw_spinlock_t lock ;
1592   unsigned long active_bases ;
1593   ktime_t expires_next ;
1594   int hres_active ;
1595   int hang_detected ;
1596   unsigned long nr_events ;
1597   unsigned long nr_retries ;
1598   unsigned long nr_hangs ;
1599   ktime_t max_hang_time ;
1600   struct hrtimer_clock_base clock_base[3U] ;
1601};
1602#line 452 "include/linux/hrtimer.h"
1603struct task_io_accounting {
1604   u64 rchar ;
1605   u64 wchar ;
1606   u64 syscr ;
1607   u64 syscw ;
1608   u64 read_bytes ;
1609   u64 write_bytes ;
1610   u64 cancelled_write_bytes ;
1611};
1612#line 45 "include/linux/task_io_accounting.h"
1613struct latency_record {
1614   unsigned long backtrace[12U] ;
1615   unsigned int count ;
1616   unsigned long time ;
1617   unsigned long max ;
1618};
1619#line 29 "include/linux/key.h"
1620typedef int32_t key_serial_t;
1621#line 32 "include/linux/key.h"
1622typedef uint32_t key_perm_t;
1623#line 33
1624struct key;
1625#line 33
1626struct key;
1627#line 34
1628struct signal_struct;
1629#line 34
1630struct signal_struct;
1631#line 35
1632struct key_type;
1633#line 35
1634struct key_type;
1635#line 37
1636struct keyring_list;
1637#line 37
1638struct keyring_list;
1639#line 115
1640struct key_user;
1641#line 115 "include/linux/key.h"
1642union __anonunion_ldv_15609_158 {
1643   time_t expiry ;
1644   time_t revoked_at ;
1645};
1646#line 115 "include/linux/key.h"
1647union __anonunion_type_data_159 {
1648   struct list_head link ;
1649   unsigned long x[2U] ;
1650   void *p[2U] ;
1651   int reject_error ;
1652};
1653#line 115 "include/linux/key.h"
1654union __anonunion_payload_160 {
1655   unsigned long value ;
1656   void *rcudata ;
1657   void *data ;
1658   struct keyring_list *subscriptions ;
1659};
1660#line 115 "include/linux/key.h"
1661struct key {
1662   atomic_t usage ;
1663   key_serial_t serial ;
1664   struct rb_node serial_node ;
1665   struct key_type *type ;
1666   struct rw_semaphore sem ;
1667   struct key_user *user ;
1668   void *security ;
1669   union __anonunion_ldv_15609_158 ldv_15609 ;
1670   uid_t uid ;
1671   gid_t gid ;
1672   key_perm_t perm ;
1673   unsigned short quotalen ;
1674   unsigned short datalen ;
1675   unsigned long flags ;
1676   char *description ;
1677   union __anonunion_type_data_159 type_data ;
1678   union __anonunion_payload_160 payload ;
1679};
1680#line 316
1681struct audit_context;
1682#line 316
1683struct audit_context;
1684#line 27 "include/linux/selinux.h"
1685struct inode;
1686#line 27
1687struct inode;
1688#line 28 "include/linux/selinux.h"
1689struct group_info {
1690   atomic_t usage ;
1691   int ngroups ;
1692   int nblocks ;
1693   gid_t small_block[32U] ;
1694   gid_t *blocks[0U] ;
1695};
1696#line 77 "include/linux/cred.h"
1697struct thread_group_cred {
1698   atomic_t usage ;
1699   pid_t tgid ;
1700   spinlock_t lock ;
1701   struct key *session_keyring ;
1702   struct key *process_keyring ;
1703   struct rcu_head rcu ;
1704};
1705#line 91 "include/linux/cred.h"
1706struct cred {
1707   atomic_t usage ;
1708   atomic_t subscribers ;
1709   void *put_addr ;
1710   unsigned int magic ;
1711   uid_t uid ;
1712   gid_t gid ;
1713   uid_t suid ;
1714   gid_t sgid ;
1715   uid_t euid ;
1716   gid_t egid ;
1717   uid_t fsuid ;
1718   gid_t fsgid ;
1719   unsigned int securebits ;
1720   kernel_cap_t cap_inheritable ;
1721   kernel_cap_t cap_permitted ;
1722   kernel_cap_t cap_effective ;
1723   kernel_cap_t cap_bset ;
1724   unsigned char jit_keyring ;
1725   struct key *thread_keyring ;
1726   struct key *request_key_auth ;
1727   struct thread_group_cred *tgcred ;
1728   void *security ;
1729   struct user_struct *user ;
1730   struct user_namespace *user_ns ;
1731   struct group_info *group_info ;
1732   struct rcu_head rcu ;
1733};
1734#line 264
1735struct llist_node;
1736#line 64 "include/linux/llist.h"
1737struct llist_node {
1738   struct llist_node *next ;
1739};
1740#line 185
1741struct futex_pi_state;
1742#line 185
1743struct futex_pi_state;
1744#line 186
1745struct robust_list_head;
1746#line 186
1747struct robust_list_head;
1748#line 187
1749struct bio_list;
1750#line 187
1751struct bio_list;
1752#line 188
1753struct fs_struct;
1754#line 188
1755struct fs_struct;
1756#line 189
1757struct perf_event_context;
1758#line 189
1759struct perf_event_context;
1760#line 190
1761struct blk_plug;
1762#line 190
1763struct blk_plug;
1764#line 149 "include/linux/sched.h"
1765struct cfs_rq;
1766#line 149
1767struct cfs_rq;
1768#line 44 "include/linux/aio_abi.h"
1769struct io_event {
1770   __u64 data ;
1771   __u64 obj ;
1772   __s64 res ;
1773   __s64 res2 ;
1774};
1775#line 106 "include/linux/aio_abi.h"
1776struct iovec {
1777   void *iov_base ;
1778   __kernel_size_t iov_len ;
1779};
1780#line 54 "include/linux/uio.h"
1781struct kioctx;
1782#line 54
1783struct kioctx;
1784#line 55 "include/linux/uio.h"
1785union __anonunion_ki_obj_161 {
1786   void *user ;
1787   struct task_struct *tsk ;
1788};
1789#line 55
1790struct eventfd_ctx;
1791#line 55 "include/linux/uio.h"
1792struct kiocb {
1793   struct list_head ki_run_list ;
1794   unsigned long ki_flags ;
1795   int ki_users ;
1796   unsigned int ki_key ;
1797   struct file *ki_filp ;
1798   struct kioctx *ki_ctx ;
1799   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
1800   ssize_t (*ki_retry)(struct kiocb * ) ;
1801   void (*ki_dtor)(struct kiocb * ) ;
1802   union __anonunion_ki_obj_161 ki_obj ;
1803   __u64 ki_user_data ;
1804   loff_t ki_pos ;
1805   void *private ;
1806   unsigned short ki_opcode ;
1807   size_t ki_nbytes ;
1808   char *ki_buf ;
1809   size_t ki_left ;
1810   struct iovec ki_inline_vec ;
1811   struct iovec *ki_iovec ;
1812   unsigned long ki_nr_segs ;
1813   unsigned long ki_cur_seg ;
1814   struct list_head ki_list ;
1815   struct list_head ki_batch ;
1816   struct eventfd_ctx *ki_eventfd ;
1817};
1818#line 162 "include/linux/aio.h"
1819struct aio_ring_info {
1820   unsigned long mmap_base ;
1821   unsigned long mmap_size ;
1822   struct page **ring_pages ;
1823   spinlock_t ring_lock ;
1824   long nr_pages ;
1825   unsigned int nr ;
1826   unsigned int tail ;
1827   struct page *internal_pages[8U] ;
1828};
1829#line 178 "include/linux/aio.h"
1830struct kioctx {
1831   atomic_t users ;
1832   int dead ;
1833   struct mm_struct *mm ;
1834   unsigned long user_id ;
1835   struct hlist_node list ;
1836   wait_queue_head_t wait ;
1837   spinlock_t ctx_lock ;
1838   int reqs_active ;
1839   struct list_head active_reqs ;
1840   struct list_head run_list ;
1841   unsigned int max_reqs ;
1842   struct aio_ring_info ring_info ;
1843   struct delayed_work wq ;
1844   struct rcu_head rcu_head ;
1845};
1846#line 406 "include/linux/sched.h"
1847struct sighand_struct {
1848   atomic_t count ;
1849   struct k_sigaction action[64U] ;
1850   spinlock_t siglock ;
1851   wait_queue_head_t signalfd_wqh ;
1852};
1853#line 449 "include/linux/sched.h"
1854struct pacct_struct {
1855   int ac_flag ;
1856   long ac_exitcode ;
1857   unsigned long ac_mem ;
1858   cputime_t ac_utime ;
1859   cputime_t ac_stime ;
1860   unsigned long ac_minflt ;
1861   unsigned long ac_majflt ;
1862};
1863#line 457 "include/linux/sched.h"
1864struct cpu_itimer {
1865   cputime_t expires ;
1866   cputime_t incr ;
1867   u32 error ;
1868   u32 incr_error ;
1869};
1870#line 464 "include/linux/sched.h"
1871struct task_cputime {
1872   cputime_t utime ;
1873   cputime_t stime ;
1874   unsigned long long sum_exec_runtime ;
1875};
1876#line 481 "include/linux/sched.h"
1877struct thread_group_cputimer {
1878   struct task_cputime cputime ;
1879   int running ;
1880   raw_spinlock_t lock ;
1881};
1882#line 517
1883struct autogroup;
1884#line 517
1885struct autogroup;
1886#line 518
1887struct tty_struct;
1888#line 518
1889struct taskstats;
1890#line 518
1891struct tty_audit_buf;
1892#line 518 "include/linux/sched.h"
1893struct signal_struct {
1894   atomic_t sigcnt ;
1895   atomic_t live ;
1896   int nr_threads ;
1897   wait_queue_head_t wait_chldexit ;
1898   struct task_struct *curr_target ;
1899   struct sigpending shared_pending ;
1900   int group_exit_code ;
1901   int notify_count ;
1902   struct task_struct *group_exit_task ;
1903   int group_stop_count ;
1904   unsigned int flags ;
1905   unsigned char is_child_subreaper : 1 ;
1906   unsigned char has_child_subreaper : 1 ;
1907   struct list_head posix_timers ;
1908   struct hrtimer real_timer ;
1909   struct pid *leader_pid ;
1910   ktime_t it_real_incr ;
1911   struct cpu_itimer it[2U] ;
1912   struct thread_group_cputimer cputimer ;
1913   struct task_cputime cputime_expires ;
1914   struct list_head cpu_timers[3U] ;
1915   struct pid *tty_old_pgrp ;
1916   int leader ;
1917   struct tty_struct *tty ;
1918   struct autogroup *autogroup ;
1919   cputime_t utime ;
1920   cputime_t stime ;
1921   cputime_t cutime ;
1922   cputime_t cstime ;
1923   cputime_t gtime ;
1924   cputime_t cgtime ;
1925   cputime_t prev_utime ;
1926   cputime_t prev_stime ;
1927   unsigned long nvcsw ;
1928   unsigned long nivcsw ;
1929   unsigned long cnvcsw ;
1930   unsigned long cnivcsw ;
1931   unsigned long min_flt ;
1932   unsigned long maj_flt ;
1933   unsigned long cmin_flt ;
1934   unsigned long cmaj_flt ;
1935   unsigned long inblock ;
1936   unsigned long oublock ;
1937   unsigned long cinblock ;
1938   unsigned long coublock ;
1939   unsigned long maxrss ;
1940   unsigned long cmaxrss ;
1941   struct task_io_accounting ioac ;
1942   unsigned long long sum_sched_runtime ;
1943   struct rlimit rlim[16U] ;
1944   struct pacct_struct pacct ;
1945   struct taskstats *stats ;
1946   unsigned int audit_tty ;
1947   struct tty_audit_buf *tty_audit_buf ;
1948   struct rw_semaphore group_rwsem ;
1949   int oom_adj ;
1950   int oom_score_adj ;
1951   int oom_score_adj_min ;
1952   struct mutex cred_guard_mutex ;
1953};
1954#line 699 "include/linux/sched.h"
1955struct user_struct {
1956   atomic_t __count ;
1957   atomic_t processes ;
1958   atomic_t files ;
1959   atomic_t sigpending ;
1960   atomic_t inotify_watches ;
1961   atomic_t inotify_devs ;
1962   atomic_t fanotify_listeners ;
1963   atomic_long_t epoll_watches ;
1964   unsigned long mq_bytes ;
1965   unsigned long locked_shm ;
1966   struct key *uid_keyring ;
1967   struct key *session_keyring ;
1968   struct hlist_node uidhash_node ;
1969   uid_t uid ;
1970   struct user_namespace *user_ns ;
1971   atomic_long_t locked_vm ;
1972};
1973#line 744
1974struct backing_dev_info;
1975#line 744
1976struct backing_dev_info;
1977#line 745
1978struct reclaim_state;
1979#line 745
1980struct reclaim_state;
1981#line 746 "include/linux/sched.h"
1982struct sched_info {
1983   unsigned long pcount ;
1984   unsigned long long run_delay ;
1985   unsigned long long last_arrival ;
1986   unsigned long long last_queued ;
1987};
1988#line 760 "include/linux/sched.h"
1989struct task_delay_info {
1990   spinlock_t lock ;
1991   unsigned int flags ;
1992   struct timespec blkio_start ;
1993   struct timespec blkio_end ;
1994   u64 blkio_delay ;
1995   u64 swapin_delay ;
1996   u32 blkio_count ;
1997   u32 swapin_count ;
1998   struct timespec freepages_start ;
1999   struct timespec freepages_end ;
2000   u64 freepages_delay ;
2001   u32 freepages_count ;
2002};
2003#line 1069
2004struct io_context;
2005#line 1069
2006struct io_context;
2007#line 1097
2008struct pipe_inode_info;
2009#line 1097
2010struct pipe_inode_info;
2011#line 1099
2012struct rq;
2013#line 1099
2014struct rq;
2015#line 1100 "include/linux/sched.h"
2016struct sched_class {
2017   struct sched_class  const  *next ;
2018   void (*enqueue_task)(struct rq * , struct task_struct * , int  ) ;
2019   void (*dequeue_task)(struct rq * , struct task_struct * , int  ) ;
2020   void (*yield_task)(struct rq * ) ;
2021   bool (*yield_to_task)(struct rq * , struct task_struct * , bool  ) ;
2022   void (*check_preempt_curr)(struct rq * , struct task_struct * , int  ) ;
2023   struct task_struct *(*pick_next_task)(struct rq * ) ;
2024   void (*put_prev_task)(struct rq * , struct task_struct * ) ;
2025   int (*select_task_rq)(struct task_struct * , int  , int  ) ;
2026   void (*pre_schedule)(struct rq * , struct task_struct * ) ;
2027   void (*post_schedule)(struct rq * ) ;
2028   void (*task_waking)(struct task_struct * ) ;
2029   void (*task_woken)(struct rq * , struct task_struct * ) ;
2030   void (*set_cpus_allowed)(struct task_struct * , struct cpumask  const  * ) ;
2031   void (*rq_online)(struct rq * ) ;
2032   void (*rq_offline)(struct rq * ) ;
2033   void (*set_curr_task)(struct rq * ) ;
2034   void (*task_tick)(struct rq * , struct task_struct * , int  ) ;
2035   void (*task_fork)(struct task_struct * ) ;
2036   void (*switched_from)(struct rq * , struct task_struct * ) ;
2037   void (*switched_to)(struct rq * , struct task_struct * ) ;
2038   void (*prio_changed)(struct rq * , struct task_struct * , int  ) ;
2039   unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
2040   void (*task_move_group)(struct task_struct * , int  ) ;
2041};
2042#line 1165 "include/linux/sched.h"
2043struct load_weight {
2044   unsigned long weight ;
2045   unsigned long inv_weight ;
2046};
2047#line 1170 "include/linux/sched.h"
2048struct sched_statistics {
2049   u64 wait_start ;
2050   u64 wait_max ;
2051   u64 wait_count ;
2052   u64 wait_sum ;
2053   u64 iowait_count ;
2054   u64 iowait_sum ;
2055   u64 sleep_start ;
2056   u64 sleep_max ;
2057   s64 sum_sleep_runtime ;
2058   u64 block_start ;
2059   u64 block_max ;
2060   u64 exec_max ;
2061   u64 slice_max ;
2062   u64 nr_migrations_cold ;
2063   u64 nr_failed_migrations_affine ;
2064   u64 nr_failed_migrations_running ;
2065   u64 nr_failed_migrations_hot ;
2066   u64 nr_forced_migrations ;
2067   u64 nr_wakeups ;
2068   u64 nr_wakeups_sync ;
2069   u64 nr_wakeups_migrate ;
2070   u64 nr_wakeups_local ;
2071   u64 nr_wakeups_remote ;
2072   u64 nr_wakeups_affine ;
2073   u64 nr_wakeups_affine_attempts ;
2074   u64 nr_wakeups_passive ;
2075   u64 nr_wakeups_idle ;
2076};
2077#line 1205 "include/linux/sched.h"
2078struct sched_entity {
2079   struct load_weight load ;
2080   struct rb_node run_node ;
2081   struct list_head group_node ;
2082   unsigned int on_rq ;
2083   u64 exec_start ;
2084   u64 sum_exec_runtime ;
2085   u64 vruntime ;
2086   u64 prev_sum_exec_runtime ;
2087   u64 nr_migrations ;
2088   struct sched_statistics statistics ;
2089   struct sched_entity *parent ;
2090   struct cfs_rq *cfs_rq ;
2091   struct cfs_rq *my_q ;
2092};
2093#line 1231
2094struct rt_rq;
2095#line 1231 "include/linux/sched.h"
2096struct sched_rt_entity {
2097   struct list_head run_list ;
2098   unsigned long timeout ;
2099   unsigned int time_slice ;
2100   int nr_cpus_allowed ;
2101   struct sched_rt_entity *back ;
2102   struct sched_rt_entity *parent ;
2103   struct rt_rq *rt_rq ;
2104   struct rt_rq *my_q ;
2105};
2106#line 1255
2107struct mem_cgroup;
2108#line 1255 "include/linux/sched.h"
2109struct memcg_batch_info {
2110   int do_batch ;
2111   struct mem_cgroup *memcg ;
2112   unsigned long nr_pages ;
2113   unsigned long memsw_nr_pages ;
2114};
2115#line 1616
2116struct files_struct;
2117#line 1616
2118struct css_set;
2119#line 1616
2120struct compat_robust_list_head;
2121#line 1616 "include/linux/sched.h"
2122struct task_struct {
2123   long volatile   state ;
2124   void *stack ;
2125   atomic_t usage ;
2126   unsigned int flags ;
2127   unsigned int ptrace ;
2128   struct llist_node wake_entry ;
2129   int on_cpu ;
2130   int on_rq ;
2131   int prio ;
2132   int static_prio ;
2133   int normal_prio ;
2134   unsigned int rt_priority ;
2135   struct sched_class  const  *sched_class ;
2136   struct sched_entity se ;
2137   struct sched_rt_entity rt ;
2138   struct hlist_head preempt_notifiers ;
2139   unsigned char fpu_counter ;
2140   unsigned int policy ;
2141   cpumask_t cpus_allowed ;
2142   struct sched_info sched_info ;
2143   struct list_head tasks ;
2144   struct plist_node pushable_tasks ;
2145   struct mm_struct *mm ;
2146   struct mm_struct *active_mm ;
2147   unsigned char brk_randomized : 1 ;
2148   int exit_state ;
2149   int exit_code ;
2150   int exit_signal ;
2151   int pdeath_signal ;
2152   unsigned int jobctl ;
2153   unsigned int personality ;
2154   unsigned char did_exec : 1 ;
2155   unsigned char in_execve : 1 ;
2156   unsigned char in_iowait : 1 ;
2157   unsigned char sched_reset_on_fork : 1 ;
2158   unsigned char sched_contributes_to_load : 1 ;
2159   unsigned char irq_thread : 1 ;
2160   pid_t pid ;
2161   pid_t tgid ;
2162   unsigned long stack_canary ;
2163   struct task_struct *real_parent ;
2164   struct task_struct *parent ;
2165   struct list_head children ;
2166   struct list_head sibling ;
2167   struct task_struct *group_leader ;
2168   struct list_head ptraced ;
2169   struct list_head ptrace_entry ;
2170   struct pid_link pids[3U] ;
2171   struct list_head thread_group ;
2172   struct completion *vfork_done ;
2173   int *set_child_tid ;
2174   int *clear_child_tid ;
2175   cputime_t utime ;
2176   cputime_t stime ;
2177   cputime_t utimescaled ;
2178   cputime_t stimescaled ;
2179   cputime_t gtime ;
2180   cputime_t prev_utime ;
2181   cputime_t prev_stime ;
2182   unsigned long nvcsw ;
2183   unsigned long nivcsw ;
2184   struct timespec start_time ;
2185   struct timespec real_start_time ;
2186   unsigned long min_flt ;
2187   unsigned long maj_flt ;
2188   struct task_cputime cputime_expires ;
2189   struct list_head cpu_timers[3U] ;
2190   struct cred  const  *real_cred ;
2191   struct cred  const  *cred ;
2192   struct cred *replacement_session_keyring ;
2193   char comm[16U] ;
2194   int link_count ;
2195   int total_link_count ;
2196   struct sysv_sem sysvsem ;
2197   unsigned long last_switch_count ;
2198   struct thread_struct thread ;
2199   struct fs_struct *fs ;
2200   struct files_struct *files ;
2201   struct nsproxy *nsproxy ;
2202   struct signal_struct *signal ;
2203   struct sighand_struct *sighand ;
2204   sigset_t blocked ;
2205   sigset_t real_blocked ;
2206   sigset_t saved_sigmask ;
2207   struct sigpending pending ;
2208   unsigned long sas_ss_sp ;
2209   size_t sas_ss_size ;
2210   int (*notifier)(void * ) ;
2211   void *notifier_data ;
2212   sigset_t *notifier_mask ;
2213   struct audit_context *audit_context ;
2214   uid_t loginuid ;
2215   unsigned int sessionid ;
2216   seccomp_t seccomp ;
2217   u32 parent_exec_id ;
2218   u32 self_exec_id ;
2219   spinlock_t alloc_lock ;
2220   raw_spinlock_t pi_lock ;
2221   struct plist_head pi_waiters ;
2222   struct rt_mutex_waiter *pi_blocked_on ;
2223   struct mutex_waiter *blocked_on ;
2224   unsigned int irq_events ;
2225   unsigned long hardirq_enable_ip ;
2226   unsigned long hardirq_disable_ip ;
2227   unsigned int hardirq_enable_event ;
2228   unsigned int hardirq_disable_event ;
2229   int hardirqs_enabled ;
2230   int hardirq_context ;
2231   unsigned long softirq_disable_ip ;
2232   unsigned long softirq_enable_ip ;
2233   unsigned int softirq_disable_event ;
2234   unsigned int softirq_enable_event ;
2235   int softirqs_enabled ;
2236   int softirq_context ;
2237   u64 curr_chain_key ;
2238   int lockdep_depth ;
2239   unsigned int lockdep_recursion ;
2240   struct held_lock held_locks[48U] ;
2241   gfp_t lockdep_reclaim_gfp ;
2242   void *journal_info ;
2243   struct bio_list *bio_list ;
2244   struct blk_plug *plug ;
2245   struct reclaim_state *reclaim_state ;
2246   struct backing_dev_info *backing_dev_info ;
2247   struct io_context *io_context ;
2248   unsigned long ptrace_message ;
2249   siginfo_t *last_siginfo ;
2250   struct task_io_accounting ioac ;
2251   u64 acct_rss_mem1 ;
2252   u64 acct_vm_mem1 ;
2253   cputime_t acct_timexpd ;
2254   nodemask_t mems_allowed ;
2255   seqcount_t mems_allowed_seq ;
2256   int cpuset_mem_spread_rotor ;
2257   int cpuset_slab_spread_rotor ;
2258   struct css_set *cgroups ;
2259   struct list_head cg_list ;
2260   struct robust_list_head *robust_list ;
2261   struct compat_robust_list_head *compat_robust_list ;
2262   struct list_head pi_state_list ;
2263   struct futex_pi_state *pi_state_cache ;
2264   struct perf_event_context *perf_event_ctxp[2U] ;
2265   struct mutex perf_event_mutex ;
2266   struct list_head perf_event_list ;
2267   struct mempolicy *mempolicy ;
2268   short il_next ;
2269   short pref_node_fork ;
2270   struct rcu_head rcu ;
2271   struct pipe_inode_info *splice_pipe ;
2272   struct task_delay_info *delays ;
2273   int make_it_fail ;
2274   int nr_dirtied ;
2275   int nr_dirtied_pause ;
2276   unsigned long dirty_paused_when ;
2277   int latency_record_count ;
2278   struct latency_record latency_record[32U] ;
2279   unsigned long timer_slack_ns ;
2280   unsigned long default_timer_slack_ns ;
2281   struct list_head *scm_work_list ;
2282   unsigned long trace ;
2283   unsigned long trace_recursion ;
2284   struct memcg_batch_info memcg_batch ;
2285   atomic_t ptrace_bp_refcnt ;
2286};
2287#line 215 "include/linux/mod_devicetable.h"
2288struct of_device_id {
2289   char name[32U] ;
2290   char type[32U] ;
2291   char compatible[128U] ;
2292   void *data ;
2293};
2294#line 584
2295struct klist_node;
2296#line 584
2297struct klist_node;
2298#line 37 "include/linux/klist.h"
2299struct klist_node {
2300   void *n_klist ;
2301   struct list_head n_node ;
2302   struct kref n_ref ;
2303};
2304#line 67
2305struct dma_map_ops;
2306#line 67 "include/linux/klist.h"
2307struct dev_archdata {
2308   void *acpi_handle ;
2309   struct dma_map_ops *dma_ops ;
2310   void *iommu ;
2311};
2312#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2313struct device_private;
2314#line 17
2315struct device_private;
2316#line 18
2317struct device_driver;
2318#line 18
2319struct device_driver;
2320#line 19
2321struct driver_private;
2322#line 19
2323struct driver_private;
2324#line 20
2325struct class;
2326#line 20
2327struct class;
2328#line 21
2329struct subsys_private;
2330#line 21
2331struct subsys_private;
2332#line 22
2333struct bus_type;
2334#line 22
2335struct bus_type;
2336#line 23
2337struct device_node;
2338#line 23
2339struct device_node;
2340#line 24
2341struct iommu_ops;
2342#line 24
2343struct iommu_ops;
2344#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
2345struct bus_attribute {
2346   struct attribute attr ;
2347   ssize_t (*show)(struct bus_type * , char * ) ;
2348   ssize_t (*store)(struct bus_type * , char const   * , size_t  ) ;
2349};
2350#line 51 "include/linux/device.h"
2351struct device_attribute;
2352#line 51
2353struct driver_attribute;
2354#line 51 "include/linux/device.h"
2355struct bus_type {
2356   char const   *name ;
2357   char const   *dev_name ;
2358   struct device *dev_root ;
2359   struct bus_attribute *bus_attrs ;
2360   struct device_attribute *dev_attrs ;
2361   struct driver_attribute *drv_attrs ;
2362   int (*match)(struct device * , struct device_driver * ) ;
2363   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
2364   int (*probe)(struct device * ) ;
2365   int (*remove)(struct device * ) ;
2366   void (*shutdown)(struct device * ) ;
2367   int (*suspend)(struct device * , pm_message_t  ) ;
2368   int (*resume)(struct device * ) ;
2369   struct dev_pm_ops  const  *pm ;
2370   struct iommu_ops *iommu_ops ;
2371   struct subsys_private *p ;
2372};
2373#line 125
2374struct device_type;
2375#line 182 "include/linux/device.h"
2376struct device_driver {
2377   char const   *name ;
2378   struct bus_type *bus ;
2379   struct module *owner ;
2380   char const   *mod_name ;
2381   bool suppress_bind_attrs ;
2382   struct of_device_id  const  *of_match_table ;
2383   int (*probe)(struct device * ) ;
2384   int (*remove)(struct device * ) ;
2385   void (*shutdown)(struct device * ) ;
2386   int (*suspend)(struct device * , pm_message_t  ) ;
2387   int (*resume)(struct device * ) ;
2388   struct attribute_group  const  **groups ;
2389   struct dev_pm_ops  const  *pm ;
2390   struct driver_private *p ;
2391};
2392#line 245 "include/linux/device.h"
2393struct driver_attribute {
2394   struct attribute attr ;
2395   ssize_t (*show)(struct device_driver * , char * ) ;
2396   ssize_t (*store)(struct device_driver * , char const   * , size_t  ) ;
2397};
2398#line 299
2399struct class_attribute;
2400#line 299 "include/linux/device.h"
2401struct class {
2402   char const   *name ;
2403   struct module *owner ;
2404   struct class_attribute *class_attrs ;
2405   struct device_attribute *dev_attrs ;
2406   struct bin_attribute *dev_bin_attrs ;
2407   struct kobject *dev_kobj ;
2408   int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
2409   char *(*devnode)(struct device * , umode_t * ) ;
2410   void (*class_release)(struct class * ) ;
2411   void (*dev_release)(struct device * ) ;
2412   int (*suspend)(struct device * , pm_message_t  ) ;
2413   int (*resume)(struct device * ) ;
2414   struct kobj_ns_type_operations  const  *ns_type ;
2415   void const   *(*namespace)(struct device * ) ;
2416   struct dev_pm_ops  const  *pm ;
2417   struct subsys_private *p ;
2418};
2419#line 394 "include/linux/device.h"
2420struct class_attribute {
2421   struct attribute attr ;
2422   ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
2423   ssize_t (*store)(struct class * , struct class_attribute * , char const   * , size_t  ) ;
2424   void const   *(*namespace)(struct class * , struct class_attribute  const  * ) ;
2425};
2426#line 447 "include/linux/device.h"
2427struct device_type {
2428   char const   *name ;
2429   struct attribute_group  const  **groups ;
2430   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
2431   char *(*devnode)(struct device * , umode_t * ) ;
2432   void (*release)(struct device * ) ;
2433   struct dev_pm_ops  const  *pm ;
2434};
2435#line 474 "include/linux/device.h"
2436struct device_attribute {
2437   struct attribute attr ;
2438   ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
2439   ssize_t (*store)(struct device * , struct device_attribute * , char const   * ,
2440                    size_t  ) ;
2441};
2442#line 557 "include/linux/device.h"
2443struct device_dma_parameters {
2444   unsigned int max_segment_size ;
2445   unsigned long segment_boundary_mask ;
2446};
2447#line 567
2448struct dma_coherent_mem;
2449#line 567 "include/linux/device.h"
2450struct device {
2451   struct device *parent ;
2452   struct device_private *p ;
2453   struct kobject kobj ;
2454   char const   *init_name ;
2455   struct device_type  const  *type ;
2456   struct mutex mutex ;
2457   struct bus_type *bus ;
2458   struct device_driver *driver ;
2459   void *platform_data ;
2460   struct dev_pm_info power ;
2461   struct dev_pm_domain *pm_domain ;
2462   int numa_node ;
2463   u64 *dma_mask ;
2464   u64 coherent_dma_mask ;
2465   struct device_dma_parameters *dma_parms ;
2466   struct list_head dma_pools ;
2467   struct dma_coherent_mem *dma_mem ;
2468   struct dev_archdata archdata ;
2469   struct device_node *of_node ;
2470   dev_t devt ;
2471   u32 id ;
2472   spinlock_t devres_lock ;
2473   struct list_head devres_head ;
2474   struct klist_node knode_class ;
2475   struct class *class ;
2476   struct attribute_group  const  **groups ;
2477   void (*release)(struct device * ) ;
2478};
2479#line 681 "include/linux/device.h"
2480struct wakeup_source {
2481   char const   *name ;
2482   struct list_head entry ;
2483   spinlock_t lock ;
2484   struct timer_list timer ;
2485   unsigned long timer_expires ;
2486   ktime_t total_time ;
2487   ktime_t max_time ;
2488   ktime_t last_time ;
2489   unsigned long event_count ;
2490   unsigned long active_count ;
2491   unsigned long relax_count ;
2492   unsigned long hit_count ;
2493   unsigned char active : 1 ;
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 54 "include/linux/delay.h"
2579enum fe_type {
2580    FE_QPSK = 0,
2581    FE_QAM = 1,
2582    FE_OFDM = 2,
2583    FE_ATSC = 3
2584} ;
2585#line 36 "include/linux/dvb/frontend.h"
2586typedef enum fe_type fe_type_t;
2587#line 37
2588enum fe_caps {
2589    FE_IS_STUPID = 0,
2590    FE_CAN_INVERSION_AUTO = 1,
2591    FE_CAN_FEC_1_2 = 2,
2592    FE_CAN_FEC_2_3 = 4,
2593    FE_CAN_FEC_3_4 = 8,
2594    FE_CAN_FEC_4_5 = 16,
2595    FE_CAN_FEC_5_6 = 32,
2596    FE_CAN_FEC_6_7 = 64,
2597    FE_CAN_FEC_7_8 = 128,
2598    FE_CAN_FEC_8_9 = 256,
2599    FE_CAN_FEC_AUTO = 512,
2600    FE_CAN_QPSK = 1024,
2601    FE_CAN_QAM_16 = 2048,
2602    FE_CAN_QAM_32 = 4096,
2603    FE_CAN_QAM_64 = 8192,
2604    FE_CAN_QAM_128 = 16384,
2605    FE_CAN_QAM_256 = 32768,
2606    FE_CAN_QAM_AUTO = 65536,
2607    FE_CAN_TRANSMISSION_MODE_AUTO = 131072,
2608    FE_CAN_BANDWIDTH_AUTO = 262144,
2609    FE_CAN_GUARD_INTERVAL_AUTO = 524288,
2610    FE_CAN_HIERARCHY_AUTO = 1048576,
2611    FE_CAN_8VSB = 2097152,
2612    FE_CAN_16VSB = 4194304,
2613    FE_HAS_EXTENDED_CAPS = 8388608,
2614    FE_CAN_TURBO_FEC = 134217728,
2615    FE_CAN_2G_MODULATION = 268435456,
2616    FE_NEEDS_BENDING = 536870912,
2617    FE_CAN_RECOVER = 1073741824,
2618    FE_CAN_MUTE_TS = (-0x7FFFFFFF-1)
2619} ;
2620#line 70 "include/linux/dvb/frontend.h"
2621typedef enum fe_caps fe_caps_t;
2622#line 71 "include/linux/dvb/frontend.h"
2623struct dvb_frontend_info {
2624   char name[128U] ;
2625   fe_type_t type ;
2626   __u32 frequency_min ;
2627   __u32 frequency_max ;
2628   __u32 frequency_stepsize ;
2629   __u32 frequency_tolerance ;
2630   __u32 symbol_rate_min ;
2631   __u32 symbol_rate_max ;
2632   __u32 symbol_rate_tolerance ;
2633   __u32 notifier_delay ;
2634   fe_caps_t caps ;
2635};
2636#line 86 "include/linux/dvb/frontend.h"
2637struct dvb_diseqc_master_cmd {
2638   __u8 msg[6U] ;
2639   __u8 msg_len ;
2640};
2641#line 96 "include/linux/dvb/frontend.h"
2642struct dvb_diseqc_slave_reply {
2643   __u8 msg[4U] ;
2644   __u8 msg_len ;
2645   int timeout ;
2646};
2647#line 103
2648enum fe_sec_voltage {
2649    SEC_VOLTAGE_13 = 0,
2650    SEC_VOLTAGE_18 = 1,
2651    SEC_VOLTAGE_OFF = 2
2652} ;
2653#line 109 "include/linux/dvb/frontend.h"
2654typedef enum fe_sec_voltage fe_sec_voltage_t;
2655#line 110
2656enum fe_sec_tone_mode {
2657    SEC_TONE_ON = 0,
2658    SEC_TONE_OFF = 1
2659} ;
2660#line 115 "include/linux/dvb/frontend.h"
2661typedef enum fe_sec_tone_mode fe_sec_tone_mode_t;
2662#line 116
2663enum fe_sec_mini_cmd {
2664    SEC_MINI_A = 0,
2665    SEC_MINI_B = 1
2666} ;
2667#line 121 "include/linux/dvb/frontend.h"
2668typedef enum fe_sec_mini_cmd fe_sec_mini_cmd_t;
2669#line 122
2670enum fe_status {
2671    FE_HAS_SIGNAL = 1,
2672    FE_HAS_CARRIER = 2,
2673    FE_HAS_VITERBI = 4,
2674    FE_HAS_SYNC = 8,
2675    FE_HAS_LOCK = 16,
2676    FE_TIMEDOUT = 32,
2677    FE_REINIT = 64
2678} ;
2679#line 132 "include/linux/dvb/frontend.h"
2680typedef enum fe_status fe_status_t;
2681#line 133
2682enum fe_spectral_inversion {
2683    INVERSION_OFF = 0,
2684    INVERSION_ON = 1,
2685    INVERSION_AUTO = 2
2686} ;
2687#line 139 "include/linux/dvb/frontend.h"
2688typedef enum fe_spectral_inversion fe_spectral_inversion_t;
2689#line 140
2690enum fe_code_rate {
2691    FEC_NONE = 0,
2692    FEC_1_2 = 1,
2693    FEC_2_3 = 2,
2694    FEC_3_4 = 3,
2695    FEC_4_5 = 4,
2696    FEC_5_6 = 5,
2697    FEC_6_7 = 6,
2698    FEC_7_8 = 7,
2699    FEC_8_9 = 8,
2700    FEC_AUTO = 9,
2701    FEC_3_5 = 10,
2702    FEC_9_10 = 11
2703} ;
2704#line 155 "include/linux/dvb/frontend.h"
2705typedef enum fe_code_rate fe_code_rate_t;
2706#line 156
2707enum fe_modulation {
2708    QPSK = 0,
2709    QAM_16 = 1,
2710    QAM_32 = 2,
2711    QAM_64 = 3,
2712    QAM_128 = 4,
2713    QAM_256 = 5,
2714    QAM_AUTO = 6,
2715    VSB_8 = 7,
2716    VSB_16 = 8,
2717    PSK_8 = 9,
2718    APSK_16 = 10,
2719    APSK_32 = 11,
2720    DQPSK = 12
2721} ;
2722#line 172 "include/linux/dvb/frontend.h"
2723typedef enum fe_modulation fe_modulation_t;
2724#line 173
2725enum fe_transmit_mode {
2726    TRANSMISSION_MODE_2K = 0,
2727    TRANSMISSION_MODE_8K = 1,
2728    TRANSMISSION_MODE_AUTO = 2,
2729    TRANSMISSION_MODE_4K = 3,
2730    TRANSMISSION_MODE_1K = 4,
2731    TRANSMISSION_MODE_16K = 5,
2732    TRANSMISSION_MODE_32K = 6
2733} ;
2734#line 182 "include/linux/dvb/frontend.h"
2735typedef enum fe_transmit_mode fe_transmit_mode_t;
2736#line 183
2737enum fe_guard_interval {
2738    GUARD_INTERVAL_1_32 = 0,
2739    GUARD_INTERVAL_1_16 = 1,
2740    GUARD_INTERVAL_1_8 = 2,
2741    GUARD_INTERVAL_1_4 = 3,
2742    GUARD_INTERVAL_AUTO = 4,
2743    GUARD_INTERVAL_1_128 = 5,
2744    GUARD_INTERVAL_19_128 = 6,
2745    GUARD_INTERVAL_19_256 = 7
2746} ;
2747#line 205 "include/linux/dvb/frontend.h"
2748typedef enum fe_guard_interval fe_guard_interval_t;
2749#line 206
2750enum fe_hierarchy {
2751    HIERARCHY_NONE = 0,
2752    HIERARCHY_1 = 1,
2753    HIERARCHY_2 = 2,
2754    HIERARCHY_4 = 3,
2755    HIERARCHY_AUTO = 4
2756} ;
2757#line 214 "include/linux/dvb/frontend.h"
2758typedef enum fe_hierarchy fe_hierarchy_t;
2759#line 215
2760enum fe_pilot {
2761    PILOT_ON = 0,
2762    PILOT_OFF = 1,
2763    PILOT_AUTO = 2
2764} ;
2765#line 329 "include/linux/dvb/frontend.h"
2766typedef enum fe_pilot fe_pilot_t;
2767#line 330
2768enum fe_rolloff {
2769    ROLLOFF_35 = 0,
2770    ROLLOFF_20 = 1,
2771    ROLLOFF_25 = 2,
2772    ROLLOFF_AUTO = 3
2773} ;
2774#line 336 "include/linux/dvb/frontend.h"
2775typedef enum fe_rolloff fe_rolloff_t;
2776#line 337
2777enum fe_delivery_system {
2778    SYS_UNDEFINED = 0,
2779    SYS_DVBC_ANNEX_A = 1,
2780    SYS_DVBC_ANNEX_B = 2,
2781    SYS_DVBT = 3,
2782    SYS_DSS = 4,
2783    SYS_DVBS = 5,
2784    SYS_DVBS2 = 6,
2785    SYS_DVBH = 7,
2786    SYS_ISDBT = 8,
2787    SYS_ISDBS = 9,
2788    SYS_ISDBC = 10,
2789    SYS_ATSC = 11,
2790    SYS_ATSCMH = 12,
2791    SYS_DMBTH = 13,
2792    SYS_CMMB = 14,
2793    SYS_DAB = 15,
2794    SYS_DVBT2 = 16,
2795    SYS_TURBO = 17,
2796    SYS_DVBC_ANNEX_C = 18
2797} ;
2798#line 358 "include/linux/dvb/frontend.h"
2799typedef enum fe_delivery_system fe_delivery_system_t;
2800#line 374 "include/linux/dvb/frontend.h"
2801struct __anonstruct_buffer_165 {
2802   __u8 data[32U] ;
2803   __u32 len ;
2804   __u32 reserved1[3U] ;
2805   void *reserved2 ;
2806};
2807#line 374 "include/linux/dvb/frontend.h"
2808union __anonunion_u_164 {
2809   __u32 data ;
2810   struct __anonstruct_buffer_165 buffer ;
2811};
2812#line 374 "include/linux/dvb/frontend.h"
2813struct dtv_property {
2814   __u32 cmd ;
2815   __u32 reserved[3U] ;
2816   union __anonunion_u_164 u ;
2817   int result ;
2818};
2819#line 41 "include/asm-generic/poll.h"
2820struct block_device;
2821#line 41
2822struct block_device;
2823#line 93 "include/linux/bit_spinlock.h"
2824struct hlist_bl_node;
2825#line 93 "include/linux/bit_spinlock.h"
2826struct hlist_bl_head {
2827   struct hlist_bl_node *first ;
2828};
2829#line 36 "include/linux/list_bl.h"
2830struct hlist_bl_node {
2831   struct hlist_bl_node *next ;
2832   struct hlist_bl_node **pprev ;
2833};
2834#line 114 "include/linux/rculist_bl.h"
2835struct nameidata;
2836#line 114
2837struct nameidata;
2838#line 115
2839struct path;
2840#line 115
2841struct path;
2842#line 116
2843struct vfsmount;
2844#line 116
2845struct vfsmount;
2846#line 117 "include/linux/rculist_bl.h"
2847struct qstr {
2848   unsigned int hash ;
2849   unsigned int len ;
2850   unsigned char const   *name ;
2851};
2852#line 72 "include/linux/dcache.h"
2853struct dentry_operations;
2854#line 72
2855struct super_block;
2856#line 72 "include/linux/dcache.h"
2857union __anonunion_d_u_166 {
2858   struct list_head d_child ;
2859   struct rcu_head d_rcu ;
2860};
2861#line 72 "include/linux/dcache.h"
2862struct dentry {
2863   unsigned int d_flags ;
2864   seqcount_t d_seq ;
2865   struct hlist_bl_node d_hash ;
2866   struct dentry *d_parent ;
2867   struct qstr d_name ;
2868   struct inode *d_inode ;
2869   unsigned char d_iname[32U] ;
2870   unsigned int d_count ;
2871   spinlock_t d_lock ;
2872   struct dentry_operations  const  *d_op ;
2873   struct super_block *d_sb ;
2874   unsigned long d_time ;
2875   void *d_fsdata ;
2876   struct list_head d_lru ;
2877   union __anonunion_d_u_166 d_u ;
2878   struct list_head d_subdirs ;
2879   struct list_head d_alias ;
2880};
2881#line 123 "include/linux/dcache.h"
2882struct dentry_operations {
2883   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2884   int (*d_hash)(struct dentry  const  * , struct inode  const  * , struct qstr * ) ;
2885   int (*d_compare)(struct dentry  const  * , struct inode  const  * , struct dentry  const  * ,
2886                    struct inode  const  * , unsigned int  , char const   * , struct qstr  const  * ) ;
2887   int (*d_delete)(struct dentry  const  * ) ;
2888   void (*d_release)(struct dentry * ) ;
2889   void (*d_prune)(struct dentry * ) ;
2890   void (*d_iput)(struct dentry * , struct inode * ) ;
2891   char *(*d_dname)(struct dentry * , char * , int  ) ;
2892   struct vfsmount *(*d_automount)(struct path * ) ;
2893   int (*d_manage)(struct dentry * , bool  ) ;
2894};
2895#line 402 "include/linux/dcache.h"
2896struct path {
2897   struct vfsmount *mnt ;
2898   struct dentry *dentry ;
2899};
2900#line 58 "include/linux/radix-tree.h"
2901struct radix_tree_node;
2902#line 58 "include/linux/radix-tree.h"
2903struct radix_tree_root {
2904   unsigned int height ;
2905   gfp_t gfp_mask ;
2906   struct radix_tree_node *rnode ;
2907};
2908#line 45 "include/linux/semaphore.h"
2909struct fiemap_extent {
2910   __u64 fe_logical ;
2911   __u64 fe_physical ;
2912   __u64 fe_length ;
2913   __u64 fe_reserved64[2U] ;
2914   __u32 fe_flags ;
2915   __u32 fe_reserved[3U] ;
2916};
2917#line 38 "include/linux/fiemap.h"
2918struct shrink_control {
2919   gfp_t gfp_mask ;
2920   unsigned long nr_to_scan ;
2921};
2922#line 14 "include/linux/shrinker.h"
2923struct shrinker {
2924   int (*shrink)(struct shrinker * , struct shrink_control * ) ;
2925   int seeks ;
2926   long batch ;
2927   struct list_head list ;
2928   atomic_long_t nr_in_batch ;
2929};
2930#line 43
2931enum migrate_mode {
2932    MIGRATE_ASYNC = 0,
2933    MIGRATE_SYNC_LIGHT = 1,
2934    MIGRATE_SYNC = 2
2935} ;
2936#line 49
2937struct export_operations;
2938#line 49
2939struct export_operations;
2940#line 51
2941struct poll_table_struct;
2942#line 51
2943struct poll_table_struct;
2944#line 52
2945struct kstatfs;
2946#line 52
2947struct kstatfs;
2948#line 435 "include/linux/fs.h"
2949struct iattr {
2950   unsigned int ia_valid ;
2951   umode_t ia_mode ;
2952   uid_t ia_uid ;
2953   gid_t ia_gid ;
2954   loff_t ia_size ;
2955   struct timespec ia_atime ;
2956   struct timespec ia_mtime ;
2957   struct timespec ia_ctime ;
2958   struct file *ia_file ;
2959};
2960#line 119 "include/linux/quota.h"
2961struct if_dqinfo {
2962   __u64 dqi_bgrace ;
2963   __u64 dqi_igrace ;
2964   __u32 dqi_flags ;
2965   __u32 dqi_valid ;
2966};
2967#line 152 "include/linux/quota.h"
2968struct fs_disk_quota {
2969   __s8 d_version ;
2970   __s8 d_flags ;
2971   __u16 d_fieldmask ;
2972   __u32 d_id ;
2973   __u64 d_blk_hardlimit ;
2974   __u64 d_blk_softlimit ;
2975   __u64 d_ino_hardlimit ;
2976   __u64 d_ino_softlimit ;
2977   __u64 d_bcount ;
2978   __u64 d_icount ;
2979   __s32 d_itimer ;
2980   __s32 d_btimer ;
2981   __u16 d_iwarns ;
2982   __u16 d_bwarns ;
2983   __s32 d_padding2 ;
2984   __u64 d_rtb_hardlimit ;
2985   __u64 d_rtb_softlimit ;
2986   __u64 d_rtbcount ;
2987   __s32 d_rtbtimer ;
2988   __u16 d_rtbwarns ;
2989   __s16 d_padding3 ;
2990   char d_padding4[8U] ;
2991};
2992#line 75 "include/linux/dqblk_xfs.h"
2993struct fs_qfilestat {
2994   __u64 qfs_ino ;
2995   __u64 qfs_nblks ;
2996   __u32 qfs_nextents ;
2997};
2998#line 150 "include/linux/dqblk_xfs.h"
2999typedef struct fs_qfilestat fs_qfilestat_t;
3000#line 151 "include/linux/dqblk_xfs.h"
3001struct fs_quota_stat {
3002   __s8 qs_version ;
3003   __u16 qs_flags ;
3004   __s8 qs_pad ;
3005   fs_qfilestat_t qs_uquota ;
3006   fs_qfilestat_t qs_gquota ;
3007   __u32 qs_incoredqs ;
3008   __s32 qs_btimelimit ;
3009   __s32 qs_itimelimit ;
3010   __s32 qs_rtbtimelimit ;
3011   __u16 qs_bwarnlimit ;
3012   __u16 qs_iwarnlimit ;
3013};
3014#line 165
3015struct dquot;
3016#line 165
3017struct dquot;
3018#line 185 "include/linux/quota.h"
3019typedef __kernel_uid32_t qid_t;
3020#line 186 "include/linux/quota.h"
3021typedef long long qsize_t;
3022#line 189 "include/linux/quota.h"
3023struct mem_dqblk {
3024   qsize_t dqb_bhardlimit ;
3025   qsize_t dqb_bsoftlimit ;
3026   qsize_t dqb_curspace ;
3027   qsize_t dqb_rsvspace ;
3028   qsize_t dqb_ihardlimit ;
3029   qsize_t dqb_isoftlimit ;
3030   qsize_t dqb_curinodes ;
3031   time_t dqb_btime ;
3032   time_t dqb_itime ;
3033};
3034#line 211
3035struct quota_format_type;
3036#line 211
3037struct quota_format_type;
3038#line 212 "include/linux/quota.h"
3039struct mem_dqinfo {
3040   struct quota_format_type *dqi_format ;
3041   int dqi_fmt_id ;
3042   struct list_head dqi_dirty_list ;
3043   unsigned long dqi_flags ;
3044   unsigned int dqi_bgrace ;
3045   unsigned int dqi_igrace ;
3046   qsize_t dqi_maxblimit ;
3047   qsize_t dqi_maxilimit ;
3048   void *dqi_priv ;
3049};
3050#line 275 "include/linux/quota.h"
3051struct dquot {
3052   struct hlist_node dq_hash ;
3053   struct list_head dq_inuse ;
3054   struct list_head dq_free ;
3055   struct list_head dq_dirty ;
3056   struct mutex dq_lock ;
3057   atomic_t dq_count ;
3058   wait_queue_head_t dq_wait_unused ;
3059   struct super_block *dq_sb ;
3060   unsigned int dq_id ;
3061   loff_t dq_off ;
3062   unsigned long dq_flags ;
3063   short dq_type ;
3064   struct mem_dqblk dq_dqb ;
3065};
3066#line 303 "include/linux/quota.h"
3067struct quota_format_ops {
3068   int (*check_quota_file)(struct super_block * , int  ) ;
3069   int (*read_file_info)(struct super_block * , int  ) ;
3070   int (*write_file_info)(struct super_block * , int  ) ;
3071   int (*free_file_info)(struct super_block * , int  ) ;
3072   int (*read_dqblk)(struct dquot * ) ;
3073   int (*commit_dqblk)(struct dquot * ) ;
3074   int (*release_dqblk)(struct dquot * ) ;
3075};
3076#line 314 "include/linux/quota.h"
3077struct dquot_operations {
3078   int (*write_dquot)(struct dquot * ) ;
3079   struct dquot *(*alloc_dquot)(struct super_block * , int  ) ;
3080   void (*destroy_dquot)(struct dquot * ) ;
3081   int (*acquire_dquot)(struct dquot * ) ;
3082   int (*release_dquot)(struct dquot * ) ;
3083   int (*mark_dirty)(struct dquot * ) ;
3084   int (*write_info)(struct super_block * , int  ) ;
3085   qsize_t *(*get_reserved_space)(struct inode * ) ;
3086};
3087#line 328 "include/linux/quota.h"
3088struct quotactl_ops {
3089   int (*quota_on)(struct super_block * , int  , int  , struct path * ) ;
3090   int (*quota_on_meta)(struct super_block * , int  , int  ) ;
3091   int (*quota_off)(struct super_block * , int  ) ;
3092   int (*quota_sync)(struct super_block * , int  , int  ) ;
3093   int (*get_info)(struct super_block * , int  , struct if_dqinfo * ) ;
3094   int (*set_info)(struct super_block * , int  , struct if_dqinfo * ) ;
3095   int (*get_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
3096   int (*set_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
3097   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
3098   int (*set_xstate)(struct super_block * , unsigned int  , int  ) ;
3099};
3100#line 344 "include/linux/quota.h"
3101struct quota_format_type {
3102   int qf_fmt_id ;
3103   struct quota_format_ops  const  *qf_ops ;
3104   struct module *qf_owner ;
3105   struct quota_format_type *qf_next ;
3106};
3107#line 390 "include/linux/quota.h"
3108struct quota_info {
3109   unsigned int flags ;
3110   struct mutex dqio_mutex ;
3111   struct mutex dqonoff_mutex ;
3112   struct rw_semaphore dqptr_sem ;
3113   struct inode *files[2U] ;
3114   struct mem_dqinfo info[2U] ;
3115   struct quota_format_ops  const  *ops[2U] ;
3116};
3117#line 421
3118struct writeback_control;
3119#line 421
3120struct writeback_control;
3121#line 585 "include/linux/fs.h"
3122union __anonunion_arg_168 {
3123   char *buf ;
3124   void *data ;
3125};
3126#line 585 "include/linux/fs.h"
3127struct __anonstruct_read_descriptor_t_167 {
3128   size_t written ;
3129   size_t count ;
3130   union __anonunion_arg_168 arg ;
3131   int error ;
3132};
3133#line 585 "include/linux/fs.h"
3134typedef struct __anonstruct_read_descriptor_t_167 read_descriptor_t;
3135#line 588 "include/linux/fs.h"
3136struct address_space_operations {
3137   int (*writepage)(struct page * , struct writeback_control * ) ;
3138   int (*readpage)(struct file * , struct page * ) ;
3139   int (*writepages)(struct address_space * , struct writeback_control * ) ;
3140   int (*set_page_dirty)(struct page * ) ;
3141   int (*readpages)(struct file * , struct address_space * , struct list_head * ,
3142                    unsigned int  ) ;
3143   int (*write_begin)(struct file * , struct address_space * , loff_t  , unsigned int  ,
3144                      unsigned int  , struct page ** , void ** ) ;
3145   int (*write_end)(struct file * , struct address_space * , loff_t  , unsigned int  ,
3146                    unsigned int  , struct page * , void * ) ;
3147   sector_t (*bmap)(struct address_space * , sector_t  ) ;
3148   void (*invalidatepage)(struct page * , unsigned long  ) ;
3149   int (*releasepage)(struct page * , gfp_t  ) ;
3150   void (*freepage)(struct page * ) ;
3151   ssize_t (*direct_IO)(int  , struct kiocb * , struct iovec  const  * , loff_t  ,
3152                        unsigned long  ) ;
3153   int (*get_xip_mem)(struct address_space * , unsigned long  , int  , void ** , unsigned long * ) ;
3154   int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode  ) ;
3155   int (*launder_page)(struct page * ) ;
3156   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long  ) ;
3157   int (*error_remove_page)(struct address_space * , struct page * ) ;
3158};
3159#line 642 "include/linux/fs.h"
3160struct address_space {
3161   struct inode *host ;
3162   struct radix_tree_root page_tree ;
3163   spinlock_t tree_lock ;
3164   unsigned int i_mmap_writable ;
3165   struct prio_tree_root i_mmap ;
3166   struct list_head i_mmap_nonlinear ;
3167   struct mutex i_mmap_mutex ;
3168   unsigned long nrpages ;
3169   unsigned long writeback_index ;
3170   struct address_space_operations  const  *a_ops ;
3171   unsigned long flags ;
3172   struct backing_dev_info *backing_dev_info ;
3173   spinlock_t private_lock ;
3174   struct list_head private_list ;
3175   struct address_space *assoc_mapping ;
3176};
3177#line 664
3178struct request_queue;
3179#line 664
3180struct request_queue;
3181#line 665
3182struct hd_struct;
3183#line 665
3184struct gendisk;
3185#line 665 "include/linux/fs.h"
3186struct block_device {
3187   dev_t bd_dev ;
3188   int bd_openers ;
3189   struct inode *bd_inode ;
3190   struct super_block *bd_super ;
3191   struct mutex bd_mutex ;
3192   struct list_head bd_inodes ;
3193   void *bd_claiming ;
3194   void *bd_holder ;
3195   int bd_holders ;
3196   bool bd_write_holder ;
3197   struct list_head bd_holder_disks ;
3198   struct block_device *bd_contains ;
3199   unsigned int bd_block_size ;
3200   struct hd_struct *bd_part ;
3201   unsigned int bd_part_count ;
3202   int bd_invalidated ;
3203   struct gendisk *bd_disk ;
3204   struct request_queue *bd_queue ;
3205   struct list_head bd_list ;
3206   unsigned long bd_private ;
3207   int bd_fsfreeze_count ;
3208   struct mutex bd_fsfreeze_mutex ;
3209};
3210#line 737
3211struct posix_acl;
3212#line 737
3213struct posix_acl;
3214#line 738
3215struct inode_operations;
3216#line 738 "include/linux/fs.h"
3217union __anonunion_ldv_20195_169 {
3218   unsigned int const   i_nlink ;
3219   unsigned int __i_nlink ;
3220};
3221#line 738 "include/linux/fs.h"
3222union __anonunion_ldv_20214_170 {
3223   struct list_head i_dentry ;
3224   struct rcu_head i_rcu ;
3225};
3226#line 738
3227struct file_operations;
3228#line 738
3229struct file_lock;
3230#line 738
3231struct cdev;
3232#line 738 "include/linux/fs.h"
3233union __anonunion_ldv_20232_171 {
3234   struct pipe_inode_info *i_pipe ;
3235   struct block_device *i_bdev ;
3236   struct cdev *i_cdev ;
3237};
3238#line 738 "include/linux/fs.h"
3239struct inode {
3240   umode_t i_mode ;
3241   unsigned short i_opflags ;
3242   uid_t i_uid ;
3243   gid_t i_gid ;
3244   unsigned int i_flags ;
3245   struct posix_acl *i_acl ;
3246   struct posix_acl *i_default_acl ;
3247   struct inode_operations  const  *i_op ;
3248   struct super_block *i_sb ;
3249   struct address_space *i_mapping ;
3250   void *i_security ;
3251   unsigned long i_ino ;
3252   union __anonunion_ldv_20195_169 ldv_20195 ;
3253   dev_t i_rdev ;
3254   struct timespec i_atime ;
3255   struct timespec i_mtime ;
3256   struct timespec i_ctime ;
3257   spinlock_t i_lock ;
3258   unsigned short i_bytes ;
3259   blkcnt_t i_blocks ;
3260   loff_t i_size ;
3261   unsigned long i_state ;
3262   struct mutex i_mutex ;
3263   unsigned long dirtied_when ;
3264   struct hlist_node i_hash ;
3265   struct list_head i_wb_list ;
3266   struct list_head i_lru ;
3267   struct list_head i_sb_list ;
3268   union __anonunion_ldv_20214_170 ldv_20214 ;
3269   atomic_t i_count ;
3270   unsigned int i_blkbits ;
3271   u64 i_version ;
3272   atomic_t i_dio_count ;
3273   atomic_t i_writecount ;
3274   struct file_operations  const  *i_fop ;
3275   struct file_lock *i_flock ;
3276   struct address_space i_data ;
3277   struct dquot *i_dquot[2U] ;
3278   struct list_head i_devices ;
3279   union __anonunion_ldv_20232_171 ldv_20232 ;
3280   __u32 i_generation ;
3281   __u32 i_fsnotify_mask ;
3282   struct hlist_head i_fsnotify_marks ;
3283   atomic_t i_readcount ;
3284   void *i_private ;
3285};
3286#line 941 "include/linux/fs.h"
3287struct fown_struct {
3288   rwlock_t lock ;
3289   struct pid *pid ;
3290   enum pid_type pid_type ;
3291   uid_t uid ;
3292   uid_t euid ;
3293   int signum ;
3294};
3295#line 949 "include/linux/fs.h"
3296struct file_ra_state {
3297   unsigned long start ;
3298   unsigned int size ;
3299   unsigned int async_size ;
3300   unsigned int ra_pages ;
3301   unsigned int mmap_miss ;
3302   loff_t prev_pos ;
3303};
3304#line 972 "include/linux/fs.h"
3305union __anonunion_f_u_172 {
3306   struct list_head fu_list ;
3307   struct rcu_head fu_rcuhead ;
3308};
3309#line 972 "include/linux/fs.h"
3310struct file {
3311   union __anonunion_f_u_172 f_u ;
3312   struct path f_path ;
3313   struct file_operations  const  *f_op ;
3314   spinlock_t f_lock ;
3315   int f_sb_list_cpu ;
3316   atomic_long_t f_count ;
3317   unsigned int f_flags ;
3318   fmode_t f_mode ;
3319   loff_t f_pos ;
3320   struct fown_struct f_owner ;
3321   struct cred  const  *f_cred ;
3322   struct file_ra_state f_ra ;
3323   u64 f_version ;
3324   void *f_security ;
3325   void *private_data ;
3326   struct list_head f_ep_links ;
3327   struct list_head f_tfile_llink ;
3328   struct address_space *f_mapping ;
3329   unsigned long f_mnt_write_state ;
3330};
3331#line 1111 "include/linux/fs.h"
3332typedef struct files_struct *fl_owner_t;
3333#line 1112 "include/linux/fs.h"
3334struct file_lock_operations {
3335   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3336   void (*fl_release_private)(struct file_lock * ) ;
3337};
3338#line 1117 "include/linux/fs.h"
3339struct lock_manager_operations {
3340   int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3341   void (*lm_notify)(struct file_lock * ) ;
3342   int (*lm_grant)(struct file_lock * , struct file_lock * , int  ) ;
3343   void (*lm_release_private)(struct file_lock * ) ;
3344   void (*lm_break)(struct file_lock * ) ;
3345   int (*lm_change)(struct file_lock ** , int  ) ;
3346};
3347#line 1134
3348struct nlm_lockowner;
3349#line 1134
3350struct nlm_lockowner;
3351#line 1135 "include/linux/fs.h"
3352struct nfs_lock_info {
3353   u32 state ;
3354   struct nlm_lockowner *owner ;
3355   struct list_head list ;
3356};
3357#line 14 "include/linux/nfs_fs_i.h"
3358struct nfs4_lock_state;
3359#line 14
3360struct nfs4_lock_state;
3361#line 15 "include/linux/nfs_fs_i.h"
3362struct nfs4_lock_info {
3363   struct nfs4_lock_state *owner ;
3364};
3365#line 19
3366struct fasync_struct;
3367#line 19 "include/linux/nfs_fs_i.h"
3368struct __anonstruct_afs_174 {
3369   struct list_head link ;
3370   int state ;
3371};
3372#line 19 "include/linux/nfs_fs_i.h"
3373union __anonunion_fl_u_173 {
3374   struct nfs_lock_info nfs_fl ;
3375   struct nfs4_lock_info nfs4_fl ;
3376   struct __anonstruct_afs_174 afs ;
3377};
3378#line 19 "include/linux/nfs_fs_i.h"
3379struct file_lock {
3380   struct file_lock *fl_next ;
3381   struct list_head fl_link ;
3382   struct list_head fl_block ;
3383   fl_owner_t fl_owner ;
3384   unsigned int fl_flags ;
3385   unsigned char fl_type ;
3386   unsigned int fl_pid ;
3387   struct pid *fl_nspid ;
3388   wait_queue_head_t fl_wait ;
3389   struct file *fl_file ;
3390   loff_t fl_start ;
3391   loff_t fl_end ;
3392   struct fasync_struct *fl_fasync ;
3393   unsigned long fl_break_time ;
3394   unsigned long fl_downgrade_time ;
3395   struct file_lock_operations  const  *fl_ops ;
3396   struct lock_manager_operations  const  *fl_lmops ;
3397   union __anonunion_fl_u_173 fl_u ;
3398};
3399#line 1221 "include/linux/fs.h"
3400struct fasync_struct {
3401   spinlock_t fa_lock ;
3402   int magic ;
3403   int fa_fd ;
3404   struct fasync_struct *fa_next ;
3405   struct file *fa_file ;
3406   struct rcu_head fa_rcu ;
3407};
3408#line 1417
3409struct file_system_type;
3410#line 1417
3411struct super_operations;
3412#line 1417
3413struct xattr_handler;
3414#line 1417
3415struct mtd_info;
3416#line 1417 "include/linux/fs.h"
3417struct super_block {
3418   struct list_head s_list ;
3419   dev_t s_dev ;
3420   unsigned char s_dirt ;
3421   unsigned char s_blocksize_bits ;
3422   unsigned long s_blocksize ;
3423   loff_t s_maxbytes ;
3424   struct file_system_type *s_type ;
3425   struct super_operations  const  *s_op ;
3426   struct dquot_operations  const  *dq_op ;
3427   struct quotactl_ops  const  *s_qcop ;
3428   struct export_operations  const  *s_export_op ;
3429   unsigned long s_flags ;
3430   unsigned long s_magic ;
3431   struct dentry *s_root ;
3432   struct rw_semaphore s_umount ;
3433   struct mutex s_lock ;
3434   int s_count ;
3435   atomic_t s_active ;
3436   void *s_security ;
3437   struct xattr_handler  const  **s_xattr ;
3438   struct list_head s_inodes ;
3439   struct hlist_bl_head s_anon ;
3440   struct list_head *s_files ;
3441   struct list_head s_mounts ;
3442   struct list_head s_dentry_lru ;
3443   int s_nr_dentry_unused ;
3444   spinlock_t s_inode_lru_lock ;
3445   struct list_head s_inode_lru ;
3446   int s_nr_inodes_unused ;
3447   struct block_device *s_bdev ;
3448   struct backing_dev_info *s_bdi ;
3449   struct mtd_info *s_mtd ;
3450   struct hlist_node s_instances ;
3451   struct quota_info s_dquot ;
3452   int s_frozen ;
3453   wait_queue_head_t s_wait_unfrozen ;
3454   char s_id[32U] ;
3455   u8 s_uuid[16U] ;
3456   void *s_fs_info ;
3457   unsigned int s_max_links ;
3458   fmode_t s_mode ;
3459   u32 s_time_gran ;
3460   struct mutex s_vfs_rename_mutex ;
3461   char *s_subtype ;
3462   char *s_options ;
3463   struct dentry_operations  const  *s_d_op ;
3464   int cleancache_poolid ;
3465   struct shrinker s_shrink ;
3466   atomic_long_t s_remove_count ;
3467   int s_readonly_remount ;
3468};
3469#line 1563 "include/linux/fs.h"
3470struct fiemap_extent_info {
3471   unsigned int fi_flags ;
3472   unsigned int fi_extents_mapped ;
3473   unsigned int fi_extents_max ;
3474   struct fiemap_extent *fi_extents_start ;
3475};
3476#line 1602 "include/linux/fs.h"
3477struct file_operations {
3478   struct module *owner ;
3479   loff_t (*llseek)(struct file * , loff_t  , int  ) ;
3480   ssize_t (*read)(struct file * , char * , size_t  , loff_t * ) ;
3481   ssize_t (*write)(struct file * , char const   * , size_t  , loff_t * ) ;
3482   ssize_t (*aio_read)(struct kiocb * , struct iovec  const  * , unsigned long  ,
3483                       loff_t  ) ;
3484   ssize_t (*aio_write)(struct kiocb * , struct iovec  const  * , unsigned long  ,
3485                        loff_t  ) ;
3486   int (*readdir)(struct file * , void * , int (*)(void * , char const   * , int  ,
3487                                                   loff_t  , u64  , unsigned int  ) ) ;
3488   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3489   long (*unlocked_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
3490   long (*compat_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
3491   int (*mmap)(struct file * , struct vm_area_struct * ) ;
3492   int (*open)(struct inode * , struct file * ) ;
3493   int (*flush)(struct file * , fl_owner_t  ) ;
3494   int (*release)(struct inode * , struct file * ) ;
3495   int (*fsync)(struct file * , loff_t  , loff_t  , int  ) ;
3496   int (*aio_fsync)(struct kiocb * , int  ) ;
3497   int (*fasync)(int  , struct file * , int  ) ;
3498   int (*lock)(struct file * , int  , struct file_lock * ) ;
3499   ssize_t (*sendpage)(struct file * , struct page * , int  , size_t  , loff_t * ,
3500                       int  ) ;
3501   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
3502                                      unsigned long  , unsigned long  ) ;
3503   int (*check_flags)(int  ) ;
3504   int (*flock)(struct file * , int  , struct file_lock * ) ;
3505   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t  ,
3506                           unsigned int  ) ;
3507   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t  ,
3508                          unsigned int  ) ;
3509   int (*setlease)(struct file * , long  , struct file_lock ** ) ;
3510   long (*fallocate)(struct file * , int  , loff_t  , loff_t  ) ;
3511};
3512#line 1637 "include/linux/fs.h"
3513struct inode_operations {
3514   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3515   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3516   int (*permission)(struct inode * , int  ) ;
3517   struct posix_acl *(*get_acl)(struct inode * , int  ) ;
3518   int (*readlink)(struct dentry * , char * , int  ) ;
3519   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3520   int (*create)(struct inode * , struct dentry * , umode_t  , struct nameidata * ) ;
3521   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3522   int (*unlink)(struct inode * , struct dentry * ) ;
3523   int (*symlink)(struct inode * , struct dentry * , char const   * ) ;
3524   int (*mkdir)(struct inode * , struct dentry * , umode_t  ) ;
3525   int (*rmdir)(struct inode * , struct dentry * ) ;
3526   int (*mknod)(struct inode * , struct dentry * , umode_t  , dev_t  ) ;
3527   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3528   void (*truncate)(struct inode * ) ;
3529   int (*setattr)(struct dentry * , struct iattr * ) ;
3530   int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
3531   int (*setxattr)(struct dentry * , char const   * , void const   * , size_t  , int  ) ;
3532   ssize_t (*getxattr)(struct dentry * , char const   * , void * , size_t  ) ;
3533   ssize_t (*listxattr)(struct dentry * , char * , size_t  ) ;
3534   int (*removexattr)(struct dentry * , char const   * ) ;
3535   void (*truncate_range)(struct inode * , loff_t  , loff_t  ) ;
3536   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64  , u64  ) ;
3537};
3538#line 1682 "include/linux/fs.h"
3539struct super_operations {
3540   struct inode *(*alloc_inode)(struct super_block * ) ;
3541   void (*destroy_inode)(struct inode * ) ;
3542   void (*dirty_inode)(struct inode * , int  ) ;
3543   int (*write_inode)(struct inode * , struct writeback_control * ) ;
3544   int (*drop_inode)(struct inode * ) ;
3545   void (*evict_inode)(struct inode * ) ;
3546   void (*put_super)(struct super_block * ) ;
3547   void (*write_super)(struct super_block * ) ;
3548   int (*sync_fs)(struct super_block * , int  ) ;
3549   int (*freeze_fs)(struct super_block * ) ;
3550   int (*unfreeze_fs)(struct super_block * ) ;
3551   int (*statfs)(struct dentry * , struct kstatfs * ) ;
3552   int (*remount_fs)(struct super_block * , int * , char * ) ;
3553   void (*umount_begin)(struct super_block * ) ;
3554   int (*show_options)(struct seq_file * , struct dentry * ) ;
3555   int (*show_devname)(struct seq_file * , struct dentry * ) ;
3556   int (*show_path)(struct seq_file * , struct dentry * ) ;
3557   int (*show_stats)(struct seq_file * , struct dentry * ) ;
3558   ssize_t (*quota_read)(struct super_block * , int  , char * , size_t  , loff_t  ) ;
3559   ssize_t (*quota_write)(struct super_block * , int  , char const   * , size_t  ,
3560                          loff_t  ) ;
3561   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t  ) ;
3562   int (*nr_cached_objects)(struct super_block * ) ;
3563   void (*free_cached_objects)(struct super_block * , int  ) ;
3564};
3565#line 1834 "include/linux/fs.h"
3566struct file_system_type {
3567   char const   *name ;
3568   int fs_flags ;
3569   struct dentry *(*mount)(struct file_system_type * , int  , char const   * , void * ) ;
3570   void (*kill_sb)(struct super_block * ) ;
3571   struct module *owner ;
3572   struct file_system_type *next ;
3573   struct hlist_head fs_supers ;
3574   struct lock_class_key s_lock_key ;
3575   struct lock_class_key s_umount_key ;
3576   struct lock_class_key s_vfs_rename_key ;
3577   struct lock_class_key i_lock_key ;
3578   struct lock_class_key i_mutex_key ;
3579   struct lock_class_key i_mutex_dir_key ;
3580};
3581#line 2674 "include/linux/fs.h"
3582struct exception_table_entry {
3583   unsigned long insn ;
3584   unsigned long fixup ;
3585};
3586#line 34 "include/linux/poll.h"
3587struct poll_table_struct {
3588   void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
3589   unsigned long _key ;
3590};
3591#line 165
3592struct dvb_frontend;
3593#line 165
3594struct dvb_frontend;
3595#line 166
3596struct dvb_device;
3597#line 166 "include/linux/poll.h"
3598struct dvb_adapter {
3599   int num ;
3600   struct list_head list_head ;
3601   struct list_head device_list ;
3602   char const   *name ;
3603   u8 proposed_mac[6U] ;
3604   void *priv ;
3605   struct device *device ;
3606   struct module *module ;
3607   int mfe_shared ;
3608   struct dvb_device *mfe_dvbdev ;
3609   struct mutex mfe_lock ;
3610   int (*fe_ioctl_override)(struct dvb_frontend * , unsigned int  , void * , unsigned int  ) ;
3611};
3612#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvbdev.h"
3613struct dvb_device {
3614   struct list_head list_head ;
3615   struct file_operations  const  *fops ;
3616   struct dvb_adapter *adapter ;
3617   int type ;
3618   int minor ;
3619   u32 id ;
3620   int readers ;
3621   int writers ;
3622   int users ;
3623   wait_queue_head_t wait_queue ;
3624   int (*kernel_ioctl)(struct file * , unsigned int  , void * ) ;
3625   void *priv ;
3626};
3627#line 148 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvbdev.h"
3628struct dvb_frontend_tune_settings {
3629   int min_delay_ms ;
3630   int step_size ;
3631   int max_drift ;
3632};
3633#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3634struct dvb_tuner_info {
3635   char name[128U] ;
3636   u32 frequency_min ;
3637   u32 frequency_max ;
3638   u32 frequency_step ;
3639   u32 bandwidth_min ;
3640   u32 bandwidth_max ;
3641   u32 bandwidth_step ;
3642};
3643#line 70 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3644struct analog_parameters {
3645   unsigned int frequency ;
3646   unsigned int mode ;
3647   unsigned int audmode ;
3648   u64 std ;
3649};
3650#line 113
3651enum tuner_param {
3652    DVBFE_TUNER_FREQUENCY = 1,
3653    DVBFE_TUNER_TUNERSTEP = 2,
3654    DVBFE_TUNER_IFFREQ = 4,
3655    DVBFE_TUNER_BANDWIDTH = 8,
3656    DVBFE_TUNER_REFCLOCK = 16,
3657    DVBFE_TUNER_IQSENSE = 32,
3658    DVBFE_TUNER_DUMMY = (-0x7FFFFFFF-1)
3659} ;
3660#line 123
3661enum dvbfe_algo {
3662    DVBFE_ALGO_HW = 1,
3663    DVBFE_ALGO_SW = 2,
3664    DVBFE_ALGO_CUSTOM = 4,
3665    DVBFE_ALGO_RECOVERY = (-0x7FFFFFFF-1)
3666} ;
3667#line 130 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3668struct tuner_state {
3669   u32 frequency ;
3670   u32 tunerstep ;
3671   u32 ifreq ;
3672   u32 bandwidth ;
3673   u32 iqsense ;
3674   u32 refclock ;
3675};
3676#line 164
3677enum dvbfe_search {
3678    DVBFE_ALGO_SEARCH_SUCCESS = 1,
3679    DVBFE_ALGO_SEARCH_ASLEEP = 2,
3680    DVBFE_ALGO_SEARCH_FAILED = 4,
3681    DVBFE_ALGO_SEARCH_INVALID = 8,
3682    DVBFE_ALGO_SEARCH_AGAIN = 16,
3683    DVBFE_ALGO_SEARCH_ERROR = (-0x7FFFFFFF-1)
3684} ;
3685#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3686struct dvb_tuner_ops {
3687   struct dvb_tuner_info info ;
3688   int (*release)(struct dvb_frontend * ) ;
3689   int (*init)(struct dvb_frontend * ) ;
3690   int (*sleep)(struct dvb_frontend * ) ;
3691   int (*set_params)(struct dvb_frontend * ) ;
3692   int (*set_analog_params)(struct dvb_frontend * , struct analog_parameters * ) ;
3693   int (*calc_regs)(struct dvb_frontend * , u8 * , int  ) ;
3694   int (*set_config)(struct dvb_frontend * , void * ) ;
3695   int (*get_frequency)(struct dvb_frontend * , u32 * ) ;
3696   int (*get_bandwidth)(struct dvb_frontend * , u32 * ) ;
3697   int (*get_if_frequency)(struct dvb_frontend * , u32 * ) ;
3698   int (*get_status)(struct dvb_frontend * , u32 * ) ;
3699   int (*get_rf_strength)(struct dvb_frontend * , u16 * ) ;
3700   int (*set_frequency)(struct dvb_frontend * , u32  ) ;
3701   int (*set_bandwidth)(struct dvb_frontend * , u32  ) ;
3702   int (*set_state)(struct dvb_frontend * , enum tuner_param  , struct tuner_state * ) ;
3703   int (*get_state)(struct dvb_frontend * , enum tuner_param  , struct tuner_state * ) ;
3704};
3705#line 236 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3706struct analog_demod_info {
3707   char *name ;
3708};
3709#line 240 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3710struct analog_demod_ops {
3711   struct analog_demod_info info ;
3712   void (*set_params)(struct dvb_frontend * , struct analog_parameters * ) ;
3713   int (*has_signal)(struct dvb_frontend * ) ;
3714   int (*get_afc)(struct dvb_frontend * ) ;
3715   void (*tuner_status)(struct dvb_frontend * ) ;
3716   void (*standby)(struct dvb_frontend * ) ;
3717   void (*release)(struct dvb_frontend * ) ;
3718   int (*i2c_gate_ctrl)(struct dvb_frontend * , int  ) ;
3719   int (*set_config)(struct dvb_frontend * , void * ) ;
3720};
3721#line 257
3722struct dtv_frontend_properties;
3723#line 257
3724struct dtv_frontend_properties;
3725#line 258 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3726struct dvb_frontend_ops {
3727   struct dvb_frontend_info info ;
3728   u8 delsys[8U] ;
3729   void (*release)(struct dvb_frontend * ) ;
3730   void (*release_sec)(struct dvb_frontend * ) ;
3731   int (*init)(struct dvb_frontend * ) ;
3732   int (*sleep)(struct dvb_frontend * ) ;
3733   int (*write)(struct dvb_frontend * , u8 const   * , int  ) ;
3734   int (*tune)(struct dvb_frontend * , bool  , unsigned int  , unsigned int * , fe_status_t * ) ;
3735   enum dvbfe_algo (*get_frontend_algo)(struct dvb_frontend * ) ;
3736   int (*set_frontend)(struct dvb_frontend * ) ;
3737   int (*get_tune_settings)(struct dvb_frontend * , struct dvb_frontend_tune_settings * ) ;
3738   int (*get_frontend)(struct dvb_frontend * ) ;
3739   int (*read_status)(struct dvb_frontend * , fe_status_t * ) ;
3740   int (*read_ber)(struct dvb_frontend * , u32 * ) ;
3741   int (*read_signal_strength)(struct dvb_frontend * , u16 * ) ;
3742   int (*read_snr)(struct dvb_frontend * , u16 * ) ;
3743   int (*read_ucblocks)(struct dvb_frontend * , u32 * ) ;
3744   int (*diseqc_reset_overload)(struct dvb_frontend * ) ;
3745   int (*diseqc_send_master_cmd)(struct dvb_frontend * , struct dvb_diseqc_master_cmd * ) ;
3746   int (*diseqc_recv_slave_reply)(struct dvb_frontend * , struct dvb_diseqc_slave_reply * ) ;
3747   int (*diseqc_send_burst)(struct dvb_frontend * , fe_sec_mini_cmd_t  ) ;
3748   int (*set_tone)(struct dvb_frontend * , fe_sec_tone_mode_t  ) ;
3749   int (*set_voltage)(struct dvb_frontend * , fe_sec_voltage_t  ) ;
3750   int (*enable_high_lnb_voltage)(struct dvb_frontend * , long  ) ;
3751   int (*dishnetwork_send_legacy_command)(struct dvb_frontend * , unsigned long  ) ;
3752   int (*i2c_gate_ctrl)(struct dvb_frontend * , int  ) ;
3753   int (*ts_bus_ctrl)(struct dvb_frontend * , int  ) ;
3754   enum dvbfe_search (*search)(struct dvb_frontend * ) ;
3755   struct dvb_tuner_ops tuner_ops ;
3756   struct analog_demod_ops analog_ops ;
3757   int (*set_property)(struct dvb_frontend * , struct dtv_property * ) ;
3758   int (*get_property)(struct dvb_frontend * , struct dtv_property * ) ;
3759};
3760#line 317 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3761struct __anonstruct_layer_176 {
3762   u8 segment_count ;
3763   fe_code_rate_t fec ;
3764   fe_modulation_t modulation ;
3765   u8 interleaving ;
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 dtv_frontend_properties {
3769   u32 state ;
3770   u32 frequency ;
3771   fe_modulation_t modulation ;
3772   fe_sec_voltage_t voltage ;
3773   fe_sec_tone_mode_t sectone ;
3774   fe_spectral_inversion_t inversion ;
3775   fe_code_rate_t fec_inner ;
3776   fe_transmit_mode_t transmission_mode ;
3777   u32 bandwidth_hz ;
3778   fe_guard_interval_t guard_interval ;
3779   fe_hierarchy_t hierarchy ;
3780   u32 symbol_rate ;
3781   fe_code_rate_t code_rate_HP ;
3782   fe_code_rate_t code_rate_LP ;
3783   fe_pilot_t pilot ;
3784   fe_rolloff_t rolloff ;
3785   fe_delivery_system_t delivery_system ;
3786   u8 isdbt_partial_reception ;
3787   u8 isdbt_sb_mode ;
3788   u8 isdbt_sb_subchannel ;
3789   u32 isdbt_sb_segment_idx ;
3790   u32 isdbt_sb_segment_count ;
3791   u8 isdbt_layer_enabled ;
3792   struct __anonstruct_layer_176 layer[3U] ;
3793   u32 isdbs_ts_id ;
3794   u32 dvbt2_plp_id ;
3795};
3796#line 376 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3797struct dvb_frontend {
3798   struct dvb_frontend_ops ops ;
3799   struct dvb_adapter *dvb ;
3800   void *demodulator_priv ;
3801   void *tuner_priv ;
3802   void *frontend_priv ;
3803   void *sec_priv ;
3804   void *analog_demod_priv ;
3805   struct dtv_frontend_properties dtv_property_cache ;
3806   int (*callback)(void * , int  , int  , int  ) ;
3807   int id ;
3808};
3809#line 403 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/dvb/dvb-core/dvb_frontend.h"
3810struct tda18218_config {
3811   u8 i2c_address ;
3812   u8 i2c_wr_max ;
3813   unsigned char loop_through : 1 ;
3814};
3815#line 35 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18218.h"
3816struct tda18218_priv {
3817   struct tda18218_config *cfg ;
3818   struct i2c_adapter *i2c ;
3819   u32 if_frequency ;
3820   u8 regs[59U] ;
3821};
3822#line 1 "<compiler builtins>"
3823
3824#line 1
3825
3826#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
3827void ldv_spin_lock(void) ;
3828#line 3
3829void ldv_spin_unlock(void) ;
3830#line 4
3831int ldv_spin_trylock(void) ;
3832#line 101 "include/linux/printk.h"
3833extern int printk(char const   *  , ...) ;
3834#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3835extern void *__memcpy(void * , void const   * , size_t  ) ;
3836#line 161 "include/linux/slab.h"
3837extern void kfree(void const   * ) ;
3838#line 220 "include/linux/slub_def.h"
3839extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t  ) ;
3840#line 223
3841void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3842#line 353 "include/linux/slab.h"
3843__inline static void *kzalloc(size_t size , gfp_t flags ) ;
3844#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
3845extern void *__VERIFIER_nondet_pointer(void) ;
3846#line 11
3847void ldv_check_alloc_flags(gfp_t flags ) ;
3848#line 12
3849void ldv_check_alloc_nonatomic(void) ;
3850#line 14
3851struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3852#line 69 "include/linux/i2c.h"
3853extern int i2c_transfer(struct i2c_adapter * , struct i2c_msg * , int  ) ;
3854#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/media/common/tuners/tda18218.h"
3855struct dvb_frontend *tda18218_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
3856                                     struct tda18218_config *cfg ) ;
3857#line 39 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
3858static int debug  ;
3859#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
3860static int tda18218_wr_regs(struct tda18218_priv *priv , u8 reg , u8 *val , u8 len ) 
3861{ int ret ;
3862  u8 *buf ;
3863  unsigned long __lengthofbuf ;
3864  void *tmp ;
3865  u8 quotient ;
3866  u8 remainder ;
3867  u8 i ;
3868  u8 msg_len ;
3869  u8 msg_len_max ;
3870  struct i2c_msg msg[1U] ;
3871  size_t __len ;
3872  void *__ret ;
3873  int __cil_tmp17 ;
3874  int __cil_tmp18 ;
3875  long __cil_tmp19 ;
3876  unsigned long __cil_tmp20 ;
3877  u8 **__cil_tmp21 ;
3878  unsigned long __cil_tmp22 ;
3879  unsigned long __cil_tmp23 ;
3880  struct tda18218_config *__cil_tmp24 ;
3881  u8 __cil_tmp25 ;
3882  unsigned long __cil_tmp26 ;
3883  unsigned long __cil_tmp27 ;
3884  unsigned long __cil_tmp28 ;
3885  unsigned long __cil_tmp29 ;
3886  unsigned long __cil_tmp30 ;
3887  unsigned long __cil_tmp31 ;
3888  unsigned long __cil_tmp32 ;
3889  unsigned long __cil_tmp33 ;
3890  unsigned long __cil_tmp34 ;
3891  struct tda18218_config *__cil_tmp35 ;
3892  unsigned long __cil_tmp36 ;
3893  unsigned long __cil_tmp37 ;
3894  u8 __cil_tmp38 ;
3895  unsigned int __cil_tmp39 ;
3896  unsigned int __cil_tmp40 ;
3897  int __cil_tmp41 ;
3898  int __cil_tmp42 ;
3899  int __cil_tmp43 ;
3900  int __cil_tmp44 ;
3901  int __cil_tmp45 ;
3902  int __cil_tmp46 ;
3903  int __cil_tmp47 ;
3904  int __cil_tmp48 ;
3905  unsigned long __cil_tmp49 ;
3906  unsigned long __cil_tmp50 ;
3907  unsigned long __cil_tmp51 ;
3908  __u16 __cil_tmp52 ;
3909  unsigned int __cil_tmp53 ;
3910  unsigned int __cil_tmp54 ;
3911  u8 **__cil_tmp55 ;
3912  u8 *__cil_tmp56 ;
3913  u8 *__cil_tmp57 ;
3914  int __cil_tmp58 ;
3915  int __cil_tmp59 ;
3916  int __cil_tmp60 ;
3917  int __cil_tmp61 ;
3918  int __cil_tmp62 ;
3919  void *__cil_tmp63 ;
3920  void *__cil_tmp64 ;
3921  int __cil_tmp65 ;
3922  int __cil_tmp66 ;
3923  int __cil_tmp67 ;
3924  unsigned long __cil_tmp68 ;
3925  void const   *__cil_tmp69 ;
3926  void const   *__cil_tmp70 ;
3927  unsigned long __cil_tmp71 ;
3928  unsigned long __cil_tmp72 ;
3929  struct i2c_adapter *__cil_tmp73 ;
3930  struct i2c_msg *__cil_tmp74 ;
3931  int __cil_tmp75 ;
3932  int __cil_tmp76 ;
3933  int __cil_tmp77 ;
3934  int __cil_tmp78 ;
3935  unsigned int __cil_tmp79 ;
3936  int __cil_tmp80 ;
3937  int __cil_tmp81 ;
3938
3939  {
3940  {
3941#line 46
3942  ret = 0;
3943#line 47
3944  __cil_tmp17 = (int )len;
3945#line 47
3946  __cil_tmp18 = __cil_tmp17 + 1;
3947#line 47
3948  __cil_tmp19 = (long )__cil_tmp18;
3949#line 47
3950  __lengthofbuf = (unsigned long )__cil_tmp19;
3951#line 47
3952  __cil_tmp20 = 1UL * __lengthofbuf;
3953#line 47
3954  tmp = __builtin_alloca(__cil_tmp20);
3955#line 47
3956  __cil_tmp21 = & buf;
3957#line 47
3958  *__cil_tmp21 = (u8 *)tmp;
3959#line 48
3960  __cil_tmp22 = 0 * 16UL;
3961#line 48
3962  __cil_tmp23 = (unsigned long )(msg) + __cil_tmp22;
3963#line 48
3964  __cil_tmp24 = *((struct tda18218_config **)priv);
3965#line 48
3966  __cil_tmp25 = *((u8 *)__cil_tmp24);
3967#line 48
3968  *((__u16 *)__cil_tmp23) = (unsigned short )__cil_tmp25;
3969#line 48
3970  __cil_tmp26 = 0 * 16UL;
3971#line 48
3972  __cil_tmp27 = __cil_tmp26 + 2;
3973#line 48
3974  __cil_tmp28 = (unsigned long )(msg) + __cil_tmp27;
3975#line 48
3976  *((__u16 *)__cil_tmp28) = (__u16 )0U;
3977#line 48
3978  __cil_tmp29 = 0 * 16UL;
3979#line 48
3980  __cil_tmp30 = __cil_tmp29 + 4;
3981#line 48
3982  __cil_tmp31 = (unsigned long )(msg) + __cil_tmp30;
3983#line 48
3984  *((__u16 *)__cil_tmp31) = (unsigned short)0;
3985#line 48
3986  __cil_tmp32 = 0 * 16UL;
3987#line 48
3988  __cil_tmp33 = __cil_tmp32 + 8;
3989#line 48
3990  __cil_tmp34 = (unsigned long )(msg) + __cil_tmp33;
3991#line 48
3992  *((__u8 **)__cil_tmp34) = (__u8 *)(& buf);
3993#line 56
3994  __cil_tmp35 = *((struct tda18218_config **)priv);
3995#line 56
3996  __cil_tmp36 = (unsigned long )__cil_tmp35;
3997#line 56
3998  __cil_tmp37 = __cil_tmp36 + 1;
3999#line 56
4000  __cil_tmp38 = *((u8 *)__cil_tmp37);
4001#line 56
4002  __cil_tmp39 = (unsigned int )__cil_tmp38;
4003#line 56
4004  __cil_tmp40 = __cil_tmp39 + 255U;
4005#line 56
4006  msg_len_max = (u8 )__cil_tmp40;
4007#line 57
4008  __cil_tmp41 = (int )msg_len_max;
4009#line 57
4010  __cil_tmp42 = (int )len;
4011#line 57
4012  __cil_tmp43 = __cil_tmp42 / __cil_tmp41;
4013#line 57
4014  quotient = (u8 )__cil_tmp43;
4015#line 58
4016  __cil_tmp44 = (int )msg_len_max;
4017#line 58
4018  __cil_tmp45 = (int )len;
4019#line 58
4020  __cil_tmp46 = __cil_tmp45 % __cil_tmp44;
4021#line 58
4022  remainder = (u8 )__cil_tmp46;
4023#line 59
4024  msg_len = msg_len_max;
4025#line 60
4026  i = (u8 )0U;
4027  }
4028#line 60
4029  goto ldv_22777;
4030  ldv_22776: ;
4031  {
4032#line 61
4033  __cil_tmp47 = (int )quotient;
4034#line 61
4035  __cil_tmp48 = (int )i;
4036#line 61
4037  if (__cil_tmp48 == __cil_tmp47) {
4038#line 62
4039    msg_len = remainder;
4040  } else {
4041
4042  }
4043  }
4044  {
4045#line 64
4046  __cil_tmp49 = 0 * 16UL;
4047#line 64
4048  __cil_tmp50 = __cil_tmp49 + 4;
4049#line 64
4050  __cil_tmp51 = (unsigned long )(msg) + __cil_tmp50;
4051#line 64
4052  __cil_tmp52 = (__u16 )msg_len;
4053#line 64
4054  __cil_tmp53 = (unsigned int )__cil_tmp52;
4055#line 64
4056  __cil_tmp54 = __cil_tmp53 + 1U;
4057#line 64
4058  *((__u16 *)__cil_tmp51) = (__u16 )__cil_tmp54;
4059#line 65
4060  __cil_tmp55 = & buf;
4061#line 65
4062  __cil_tmp56 = *__cil_tmp55;
4063#line 65
4064  __cil_tmp57 = __cil_tmp56 + 0;
4065#line 65
4066  __cil_tmp58 = (int )reg;
4067#line 65
4068  __cil_tmp59 = (int )msg_len_max;
4069#line 65
4070  __cil_tmp60 = (int )i;
4071#line 65
4072  __cil_tmp61 = __cil_tmp60 * __cil_tmp59;
4073#line 65
4074  __cil_tmp62 = __cil_tmp61 + __cil_tmp58;
4075#line 65
4076  *__cil_tmp57 = (u8 )__cil_tmp62;
4077#line 66
4078  __len = (size_t )msg_len;
4079#line 66
4080  __cil_tmp63 = (void *)(& buf);
4081#line 66
4082  __cil_tmp64 = __cil_tmp63 + 1U;
4083#line 66
4084  __cil_tmp65 = (int )msg_len_max;
4085#line 66
4086  __cil_tmp66 = (int )i;
4087#line 66
4088  __cil_tmp67 = __cil_tmp66 * __cil_tmp65;
4089#line 66
4090  __cil_tmp68 = (unsigned long )__cil_tmp67;
4091#line 66
4092  __cil_tmp69 = (void const   *)val;
4093#line 66
4094  __cil_tmp70 = __cil_tmp69 + __cil_tmp68;
4095#line 66
4096  __ret = __builtin_memcpy(__cil_tmp64, __cil_tmp70, __len);
4097#line 68
4098  __cil_tmp71 = (unsigned long )priv;
4099#line 68
4100  __cil_tmp72 = __cil_tmp71 + 8;
4101#line 68
4102  __cil_tmp73 = *((struct i2c_adapter **)__cil_tmp72);
4103#line 68
4104  __cil_tmp74 = (struct i2c_msg *)(& msg);
4105#line 68
4106  ret = i2c_transfer(__cil_tmp73, __cil_tmp74, 1);
4107  }
4108#line 69
4109  if (ret != 1) {
4110#line 70
4111    goto ldv_22775;
4112  } else {
4113
4114  }
4115#line 60
4116  __cil_tmp75 = (int )i;
4117#line 60
4118  __cil_tmp76 = __cil_tmp75 + 1;
4119#line 60
4120  i = (u8 )__cil_tmp76;
4121  ldv_22777: ;
4122  {
4123#line 60
4124  __cil_tmp77 = (int )quotient;
4125#line 60
4126  __cil_tmp78 = (int )i;
4127#line 60
4128  if (__cil_tmp78 <= __cil_tmp77) {
4129    {
4130#line 60
4131    __cil_tmp79 = (unsigned int )remainder;
4132#line 60
4133    if (__cil_tmp79 != 0U) {
4134#line 61
4135      goto ldv_22776;
4136    } else {
4137#line 63
4138      goto ldv_22775;
4139    }
4140    }
4141  } else {
4142#line 63
4143    goto ldv_22775;
4144  }
4145  }
4146  ldv_22775: ;
4147#line 73
4148  if (ret == 1) {
4149#line 74
4150    ret = 0;
4151  } else {
4152    {
4153#line 76
4154    __cil_tmp80 = (int )reg;
4155#line 76
4156    __cil_tmp81 = (int )len;
4157#line 76
4158    printk("<4>tda18218: i2c wr failed ret:%d reg:%02x len:%d\n", ret, __cil_tmp80,
4159           __cil_tmp81);
4160#line 77
4161    ret = -121;
4162    }
4163  }
4164#line 80
4165  return (ret);
4166}
4167}
4168#line 84 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
4169static int tda18218_rd_regs(struct tda18218_priv *priv , u8 reg , u8 *val , u8 len ) 
4170{ int ret ;
4171  u8 *buf ;
4172  unsigned long __lengthofbuf ;
4173  void *tmp ;
4174  struct i2c_msg msg[2U] ;
4175  size_t __len ;
4176  void *__ret ;
4177  int __cil_tmp12 ;
4178  int __cil_tmp13 ;
4179  int __cil_tmp14 ;
4180  long __cil_tmp15 ;
4181  unsigned long __cil_tmp16 ;
4182  u8 **__cil_tmp17 ;
4183  unsigned long __cil_tmp18 ;
4184  unsigned long __cil_tmp19 ;
4185  struct tda18218_config *__cil_tmp20 ;
4186  u8 __cil_tmp21 ;
4187  unsigned long __cil_tmp22 ;
4188  unsigned long __cil_tmp23 ;
4189  unsigned long __cil_tmp24 ;
4190  unsigned long __cil_tmp25 ;
4191  unsigned long __cil_tmp26 ;
4192  unsigned long __cil_tmp27 ;
4193  unsigned long __cil_tmp28 ;
4194  unsigned long __cil_tmp29 ;
4195  unsigned long __cil_tmp30 ;
4196  unsigned long __cil_tmp31 ;
4197  unsigned long __cil_tmp32 ;
4198  struct tda18218_config *__cil_tmp33 ;
4199  u8 __cil_tmp34 ;
4200  unsigned long __cil_tmp35 ;
4201  unsigned long __cil_tmp36 ;
4202  unsigned long __cil_tmp37 ;
4203  unsigned long __cil_tmp38 ;
4204  unsigned long __cil_tmp39 ;
4205  unsigned long __cil_tmp40 ;
4206  int __cil_tmp41 ;
4207  int __cil_tmp42 ;
4208  int __cil_tmp43 ;
4209  unsigned long __cil_tmp44 ;
4210  unsigned long __cil_tmp45 ;
4211  unsigned long __cil_tmp46 ;
4212  unsigned long __cil_tmp47 ;
4213  unsigned long __cil_tmp48 ;
4214  struct i2c_adapter *__cil_tmp49 ;
4215  struct i2c_msg *__cil_tmp50 ;
4216  void *__cil_tmp51 ;
4217  unsigned long __cil_tmp52 ;
4218  void const   *__cil_tmp53 ;
4219  void const   *__cil_tmp54 ;
4220  int __cil_tmp55 ;
4221  int __cil_tmp56 ;
4222
4223  {
4224  {
4225#line 87
4226  __cil_tmp12 = (int )len;
4227#line 87
4228  __cil_tmp13 = (int )reg;
4229#line 87
4230  __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
4231#line 87
4232  __cil_tmp15 = (long )__cil_tmp14;
4233#line 87
4234  __lengthofbuf = (unsigned long )__cil_tmp15;
4235#line 87
4236  __cil_tmp16 = 1UL * __lengthofbuf;
4237#line 87
4238  tmp = __builtin_alloca(__cil_tmp16);
4239#line 87
4240  __cil_tmp17 = & buf;
4241#line 87
4242  *__cil_tmp17 = (u8 *)tmp;
4243#line 88
4244  __cil_tmp18 = 0 * 16UL;
4245#line 88
4246  __cil_tmp19 = (unsigned long )(msg) + __cil_tmp18;
4247#line 88
4248  __cil_tmp20 = *((struct tda18218_config **)priv);
4249#line 88
4250  __cil_tmp21 = *((u8 *)__cil_tmp20);
4251#line 88
4252  *((__u16 *)__cil_tmp19) = (unsigned short )__cil_tmp21;
4253#line 88
4254  __cil_tmp22 = 0 * 16UL;
4255#line 88
4256  __cil_tmp23 = __cil_tmp22 + 2;
4257#line 88
4258  __cil_tmp24 = (unsigned long )(msg) + __cil_tmp23;
4259#line 88
4260  *((__u16 *)__cil_tmp24) = (__u16 )0U;
4261#line 88
4262  __cil_tmp25 = 0 * 16UL;
4263#line 88
4264  __cil_tmp26 = __cil_tmp25 + 4;
4265#line 88
4266  __cil_tmp27 = (unsigned long )(msg) + __cil_tmp26;
4267#line 88
4268  *((__u16 *)__cil_tmp27) = (__u16 )1U;
4269#line 88
4270  __cil_tmp28 = 0 * 16UL;
4271#line 88
4272  __cil_tmp29 = __cil_tmp28 + 8;
4273#line 88
4274  __cil_tmp30 = (unsigned long )(msg) + __cil_tmp29;
4275#line 88
4276  *((__u8 **)__cil_tmp30) = (__u8 *)"";
4277#line 88
4278  __cil_tmp31 = 1 * 16UL;
4279#line 88
4280  __cil_tmp32 = (unsigned long )(msg) + __cil_tmp31;
4281#line 88
4282  __cil_tmp33 = *((struct tda18218_config **)priv);
4283#line 88
4284  __cil_tmp34 = *((u8 *)__cil_tmp33);
4285#line 88
4286  *((__u16 *)__cil_tmp32) = (unsigned short )__cil_tmp34;
4287#line 88
4288  __cil_tmp35 = 1 * 16UL;
4289#line 88
4290  __cil_tmp36 = __cil_tmp35 + 2;
4291#line 88
4292  __cil_tmp37 = (unsigned long )(msg) + __cil_tmp36;
4293#line 88
4294  *((__u16 *)__cil_tmp37) = (__u16 )1U;
4295#line 88
4296  __cil_tmp38 = 1 * 16UL;
4297#line 88
4298  __cil_tmp39 = __cil_tmp38 + 4;
4299#line 88
4300  __cil_tmp40 = (unsigned long )(msg) + __cil_tmp39;
4301#line 88
4302  __cil_tmp41 = (int )len;
4303#line 88
4304  __cil_tmp42 = (int )reg;
4305#line 88
4306  __cil_tmp43 = __cil_tmp42 + __cil_tmp41;
4307#line 88
4308  *((__u16 *)__cil_tmp40) = (unsigned short )__cil_tmp43;
4309#line 88
4310  __cil_tmp44 = 1 * 16UL;
4311#line 88
4312  __cil_tmp45 = __cil_tmp44 + 8;
4313#line 88
4314  __cil_tmp46 = (unsigned long )(msg) + __cil_tmp45;
4315#line 88
4316  *((__u8 **)__cil_tmp46) = (__u8 *)(& buf);
4317#line 102
4318  __cil_tmp47 = (unsigned long )priv;
4319#line 102
4320  __cil_tmp48 = __cil_tmp47 + 8;
4321#line 102
4322  __cil_tmp49 = *((struct i2c_adapter **)__cil_tmp48);
4323#line 102
4324  __cil_tmp50 = (struct i2c_msg *)(& msg);
4325#line 102
4326  ret = i2c_transfer(__cil_tmp49, __cil_tmp50, 2);
4327  }
4328#line 103
4329  if (ret == 2) {
4330    {
4331#line 104
4332    __len = (size_t )len;
4333#line 104
4334    __cil_tmp51 = (void *)val;
4335#line 104
4336    __cil_tmp52 = (unsigned long )reg;
4337#line 104
4338    __cil_tmp53 = (void const   *)(& buf);
4339#line 104
4340    __cil_tmp54 = __cil_tmp53 + __cil_tmp52;
4341#line 104
4342    __ret = __builtin_memcpy(__cil_tmp51, __cil_tmp54, __len);
4343#line 105
4344    ret = 0;
4345    }
4346  } else {
4347    {
4348#line 107
4349    __cil_tmp55 = (int )reg;
4350#line 107
4351    __cil_tmp56 = (int )len;
4352#line 107
4353    printk("<4>tda18218: i2c rd failed ret:%d reg:%02x len:%d\n", ret, __cil_tmp55,
4354           __cil_tmp56);
4355#line 108
4356    ret = -121;
4357    }
4358  }
4359#line 111
4360  return (ret);
4361}
4362}
4363#line 115 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
4364static int tda18218_wr_reg(struct tda18218_priv *priv , u8 reg , u8 val ) 
4365{ int tmp ;
4366  int __cil_tmp5 ;
4367  u8 __cil_tmp6 ;
4368  u8 __cil_tmp7 ;
4369
4370  {
4371  {
4372#line 117
4373  __cil_tmp5 = (int )reg;
4374#line 117
4375  __cil_tmp6 = (u8 )__cil_tmp5;
4376#line 117
4377  __cil_tmp7 = (u8 )1;
4378#line 117
4379  tmp = tda18218_wr_regs(priv, __cil_tmp6, & val, __cil_tmp7);
4380  }
4381#line 117
4382  return (tmp);
4383}
4384}
4385#line 122 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
4386static int tda18218_rd_reg(struct tda18218_priv *priv , u8 reg , u8 *val ) 
4387{ int tmp ;
4388  int __cil_tmp5 ;
4389  u8 __cil_tmp6 ;
4390  u8 __cil_tmp7 ;
4391
4392  {
4393  {
4394#line 124
4395  __cil_tmp5 = (int )reg;
4396#line 124
4397  __cil_tmp6 = (u8 )__cil_tmp5;
4398#line 124
4399  __cil_tmp7 = (u8 )1;
4400#line 124
4401  tmp = tda18218_rd_regs(priv, __cil_tmp6, val, __cil_tmp7);
4402  }
4403#line 124
4404  return (tmp);
4405}
4406}
4407#line 127 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
4408static int tda18218_set_params(struct dvb_frontend *fe ) 
4409{ struct tda18218_priv *priv ;
4410  struct dtv_frontend_properties *c ;
4411  u32 bw ;
4412  int ret ;
4413  u8 buf[3U] ;
4414  u8 i ;
4415  u8 BP_Filter ;
4416  u8 LP_Fc ;
4417  u32 LO_Frac ;
4418  u8 agc[14U][2U] ;
4419  unsigned long __cil_tmp12 ;
4420  unsigned long __cil_tmp13 ;
4421  void *__cil_tmp14 ;
4422  unsigned long __cil_tmp15 ;
4423  unsigned long __cil_tmp16 ;
4424  unsigned long __cil_tmp17 ;
4425  unsigned long __cil_tmp18 ;
4426  unsigned long __cil_tmp19 ;
4427  unsigned long __cil_tmp20 ;
4428  unsigned long __cil_tmp21 ;
4429  unsigned long __cil_tmp22 ;
4430  unsigned long __cil_tmp23 ;
4431  unsigned long __cil_tmp24 ;
4432  unsigned long __cil_tmp25 ;
4433  unsigned long __cil_tmp26 ;
4434  unsigned long __cil_tmp27 ;
4435  unsigned long __cil_tmp28 ;
4436  unsigned long __cil_tmp29 ;
4437  unsigned long __cil_tmp30 ;
4438  unsigned long __cil_tmp31 ;
4439  unsigned long __cil_tmp32 ;
4440  unsigned long __cil_tmp33 ;
4441  unsigned long __cil_tmp34 ;
4442  unsigned long __cil_tmp35 ;
4443  unsigned long __cil_tmp36 ;
4444  unsigned long __cil_tmp37 ;
4445  unsigned long __cil_tmp38 ;
4446  unsigned long __cil_tmp39 ;
4447  unsigned long __cil_tmp40 ;
4448  unsigned long __cil_tmp41 ;
4449  unsigned long __cil_tmp42 ;
4450  unsigned long __cil_tmp43 ;
4451  unsigned long __cil_tmp44 ;
4452  unsigned long __cil_tmp45 ;
4453  unsigned long __cil_tmp46 ;
4454  unsigned long __cil_tmp47 ;
4455  unsigned long __cil_tmp48 ;
4456  unsigned long __cil_tmp49 ;
4457  unsigned long __cil_tmp50 ;
4458  unsigned long __cil_tmp51 ;
4459  unsigned long __cil_tmp52 ;
4460  unsigned long __cil_tmp53 ;
4461  unsigned long __cil_tmp54 ;
4462  unsigned long __cil_tmp55 ;
4463  unsigned long __cil_tmp56 ;
4464  unsigned long __cil_tmp57 ;
4465  unsigned long __cil_tmp58 ;
4466  unsigned long __cil_tmp59 ;
4467  unsigned long __cil_tmp60 ;
4468  unsigned long __cil_tmp61 ;
4469  unsigned long __cil_tmp62 ;
4470  unsigned long __cil_tmp63 ;
4471  unsigned long __cil_tmp64 ;
4472  unsigned long __cil_tmp65 ;
4473  unsigned long __cil_tmp66 ;
4474  unsigned long __cil_tmp67 ;
4475  unsigned long __cil_tmp68 ;
4476  unsigned long __cil_tmp69 ;
4477  unsigned long __cil_tmp70 ;
4478  unsigned long __cil_tmp71 ;
4479  unsigned long __cil_tmp72 ;
4480  unsigned long __cil_tmp73 ;
4481  unsigned long __cil_tmp74 ;
4482  unsigned long __cil_tmp75 ;
4483  unsigned long __cil_tmp76 ;
4484  unsigned long __cil_tmp77 ;
4485  unsigned long __cil_tmp78 ;
4486  unsigned long __cil_tmp79 ;
4487  unsigned long __cil_tmp80 ;
4488  unsigned long __cil_tmp81 ;
4489  unsigned long __cil_tmp82 ;
4490  unsigned long __cil_tmp83 ;
4491  unsigned long __cil_tmp84 ;
4492  unsigned long __cil_tmp85 ;
4493  unsigned long __cil_tmp86 ;
4494  unsigned long __cil_tmp87 ;
4495  unsigned long __cil_tmp88 ;
4496  unsigned long __cil_tmp89 ;
4497  unsigned long __cil_tmp90 ;
4498  unsigned long __cil_tmp91 ;
4499  unsigned long __cil_tmp92 ;
4500  unsigned long __cil_tmp93 ;
4501  unsigned long __cil_tmp94 ;
4502  unsigned long __cil_tmp95 ;
4503  unsigned long __cil_tmp96 ;
4504  unsigned long __cil_tmp97 ;
4505  unsigned long __cil_tmp98 ;
4506  unsigned long __cil_tmp99 ;
4507  unsigned long __cil_tmp100 ;
4508  unsigned long __cil_tmp101 ;
4509  unsigned long __cil_tmp102 ;
4510  unsigned long __cil_tmp103 ;
4511  unsigned long __cil_tmp104 ;
4512  unsigned long __cil_tmp105 ;
4513  unsigned long __cil_tmp106 ;
4514  unsigned long __cil_tmp107 ;
4515  unsigned long __cil_tmp108 ;
4516  unsigned long __cil_tmp109 ;
4517  unsigned long __cil_tmp110 ;
4518  unsigned long __cil_tmp111 ;
4519  unsigned long __cil_tmp112 ;
4520  unsigned long __cil_tmp113 ;
4521  unsigned long __cil_tmp114 ;
4522  unsigned long __cil_tmp115 ;
4523  unsigned long __cil_tmp116 ;
4524  unsigned long __cil_tmp117 ;
4525  unsigned long __cil_tmp118 ;
4526  unsigned long __cil_tmp119 ;
4527  unsigned long __cil_tmp120 ;
4528  unsigned long __cil_tmp121 ;
4529  unsigned long __cil_tmp122 ;
4530  unsigned long __cil_tmp123 ;
4531  unsigned long __cil_tmp124 ;
4532  unsigned long __cil_tmp125 ;
4533  unsigned long __cil_tmp126 ;
4534  unsigned long __cil_tmp127 ;
4535  unsigned long __cil_tmp128 ;
4536  unsigned long __cil_tmp129 ;
4537  unsigned long __cil_tmp130 ;
4538  int (*__cil_tmp131)(struct dvb_frontend * , int  ) ;
4539  unsigned long __cil_tmp132 ;
4540  unsigned long __cil_tmp133 ;
4541  unsigned long __cil_tmp134 ;
4542  unsigned long __cil_tmp135 ;
4543  int (*__cil_tmp136)(struct dvb_frontend * , int  ) ;
4544  unsigned long __cil_tmp137 ;
4545  unsigned long __cil_tmp138 ;
4546  unsigned long __cil_tmp139 ;
4547  unsigned long __cil_tmp140 ;
4548  int (*__cil_tmp141)(struct dvb_frontend * , int  ) ;
4549  unsigned long __cil_tmp142 ;
4550  unsigned long __cil_tmp143 ;
4551  unsigned long __cil_tmp144 ;
4552  unsigned long __cil_tmp145 ;
4553  unsigned long __cil_tmp146 ;
4554  unsigned long __cil_tmp147 ;
4555  unsigned long __cil_tmp148 ;
4556  unsigned long __cil_tmp149 ;
4557  u32 __cil_tmp150 ;
4558  unsigned long __cil_tmp151 ;
4559  unsigned long __cil_tmp152 ;
4560  u32 __cil_tmp153 ;
4561  unsigned long __cil_tmp154 ;
4562  unsigned long __cil_tmp155 ;
4563  signed char __cil_tmp156 ;
4564  int __cil_tmp157 ;
4565  unsigned long __cil_tmp158 ;
4566  unsigned long __cil_tmp159 ;
4567  unsigned long __cil_tmp160 ;
4568  unsigned long __cil_tmp161 ;
4569  u8 __cil_tmp162 ;
4570  signed char __cil_tmp163 ;
4571  int __cil_tmp164 ;
4572  int __cil_tmp165 ;
4573  int __cil_tmp166 ;
4574  unsigned long __cil_tmp167 ;
4575  unsigned long __cil_tmp168 ;
4576  signed char __cil_tmp169 ;
4577  int __cil_tmp170 ;
4578  unsigned long __cil_tmp171 ;
4579  unsigned long __cil_tmp172 ;
4580  unsigned long __cil_tmp173 ;
4581  unsigned long __cil_tmp174 ;
4582  u8 __cil_tmp175 ;
4583  signed char __cil_tmp176 ;
4584  int __cil_tmp177 ;
4585  int __cil_tmp178 ;
4586  int __cil_tmp179 ;
4587  unsigned long __cil_tmp180 ;
4588  unsigned long __cil_tmp181 ;
4589  unsigned long __cil_tmp182 ;
4590  unsigned long __cil_tmp183 ;
4591  unsigned long __cil_tmp184 ;
4592  unsigned long __cil_tmp185 ;
4593  u8 __cil_tmp186 ;
4594  u8 *__cil_tmp187 ;
4595  u8 __cil_tmp188 ;
4596  unsigned long __cil_tmp189 ;
4597  unsigned long __cil_tmp190 ;
4598  u32 __cil_tmp191 ;
4599  u32 __cil_tmp192 ;
4600  unsigned long __cil_tmp193 ;
4601  unsigned long __cil_tmp194 ;
4602  u32 __cil_tmp195 ;
4603  u32 __cil_tmp196 ;
4604  unsigned long __cil_tmp197 ;
4605  unsigned long __cil_tmp198 ;
4606  unsigned long __cil_tmp199 ;
4607  unsigned long __cil_tmp200 ;
4608  unsigned long __cil_tmp201 ;
4609  unsigned long __cil_tmp202 ;
4610  u8 __cil_tmp203 ;
4611  unsigned int __cil_tmp204 ;
4612  unsigned int __cil_tmp205 ;
4613  u32 __cil_tmp206 ;
4614  u8 __cil_tmp207 ;
4615  int __cil_tmp208 ;
4616  int __cil_tmp209 ;
4617  unsigned int __cil_tmp210 ;
4618  unsigned int __cil_tmp211 ;
4619  u8 __cil_tmp212 ;
4620  u8 *__cil_tmp213 ;
4621  u8 __cil_tmp214 ;
4622  unsigned long __cil_tmp215 ;
4623  unsigned long __cil_tmp216 ;
4624  unsigned long __cil_tmp217 ;
4625  unsigned long __cil_tmp218 ;
4626  unsigned long __cil_tmp219 ;
4627  unsigned long __cil_tmp220 ;
4628  u8 __cil_tmp221 ;
4629  unsigned int __cil_tmp222 ;
4630  unsigned int __cil_tmp223 ;
4631  u8 __cil_tmp224 ;
4632  u8 *__cil_tmp225 ;
4633  u8 __cil_tmp226 ;
4634  unsigned long __cil_tmp227 ;
4635  unsigned long __cil_tmp228 ;
4636  unsigned long __cil_tmp229 ;
4637  unsigned long __cil_tmp230 ;
4638  unsigned long __cil_tmp231 ;
4639  unsigned long __cil_tmp232 ;
4640  u8 __cil_tmp233 ;
4641  unsigned int __cil_tmp234 ;
4642  unsigned int __cil_tmp235 ;
4643  u8 __cil_tmp236 ;
4644  u8 *__cil_tmp237 ;
4645  u8 __cil_tmp238 ;
4646  unsigned long __cil_tmp239 ;
4647  int __cil_tmp240 ;
4648  unsigned long __cil_tmp241 ;
4649  unsigned long __cil_tmp242 ;
4650  unsigned long __cil_tmp243 ;
4651  u8 __cil_tmp244 ;
4652  int __cil_tmp245 ;
4653  u8 __cil_tmp246 ;
4654  unsigned long __cil_tmp247 ;
4655  int __cil_tmp248 ;
4656  unsigned long __cil_tmp249 ;
4657  unsigned long __cil_tmp250 ;
4658  unsigned long __cil_tmp251 ;
4659  u8 __cil_tmp252 ;
4660  int __cil_tmp253 ;
4661  u8 __cil_tmp254 ;
4662  int __cil_tmp255 ;
4663  int __cil_tmp256 ;
4664  unsigned int __cil_tmp257 ;
4665  int (*__cil_tmp258)(struct dvb_frontend * , int  ) ;
4666  unsigned long __cil_tmp259 ;
4667  unsigned long __cil_tmp260 ;
4668  unsigned long __cil_tmp261 ;
4669  unsigned long __cil_tmp262 ;
4670  int (*__cil_tmp263)(struct dvb_frontend * , int  ) ;
4671  unsigned long __cil_tmp264 ;
4672  unsigned long __cil_tmp265 ;
4673  unsigned long __cil_tmp266 ;
4674  unsigned long __cil_tmp267 ;
4675  int (*__cil_tmp268)(struct dvb_frontend * , int  ) ;
4676  int *__cil_tmp269 ;
4677  int __cil_tmp270 ;
4678
4679  {
4680#line 129
4681  __cil_tmp12 = (unsigned long )fe;
4682#line 129
4683  __cil_tmp13 = __cil_tmp12 + 768;
4684#line 129
4685  __cil_tmp14 = *((void **)__cil_tmp13);
4686#line 129
4687  priv = (struct tda18218_priv *)__cil_tmp14;
4688#line 130
4689  __cil_tmp15 = (unsigned long )fe;
4690#line 130
4691  __cil_tmp16 = __cil_tmp15 + 800;
4692#line 130
4693  c = (struct dtv_frontend_properties *)__cil_tmp16;
4694#line 131
4695  __cil_tmp17 = (unsigned long )c;
4696#line 131
4697  __cil_tmp18 = __cil_tmp17 + 32;
4698#line 131
4699  bw = *((u32 *)__cil_tmp18);
4700#line 136
4701  __cil_tmp19 = 0 * 1UL;
4702#line 136
4703  __cil_tmp20 = 0 * 2UL;
4704#line 136
4705  __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
4706#line 136
4707  __cil_tmp22 = (unsigned long )(agc) + __cil_tmp21;
4708#line 136
4709  *((u8 *)__cil_tmp22) = (u8 )32U;
4710#line 136
4711  __cil_tmp23 = 1 * 1UL;
4712#line 136
4713  __cil_tmp24 = 0 * 2UL;
4714#line 136
4715  __cil_tmp25 = __cil_tmp24 + __cil_tmp23;
4716#line 136
4717  __cil_tmp26 = (unsigned long )(agc) + __cil_tmp25;
4718#line 136
4719  *((u8 *)__cil_tmp26) = (u8 )96U;
4720#line 136
4721  __cil_tmp27 = 0 * 1UL;
4722#line 136
4723  __cil_tmp28 = 1 * 2UL;
4724#line 136
4725  __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
4726#line 136
4727  __cil_tmp30 = (unsigned long )(agc) + __cil_tmp29;
4728#line 136
4729  *((u8 *)__cil_tmp30) = (u8 )35U;
4730#line 136
4731  __cil_tmp31 = 1 * 1UL;
4732#line 136
4733  __cil_tmp32 = 1 * 2UL;
4734#line 136
4735  __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
4736#line 136
4737  __cil_tmp34 = (unsigned long )(agc) + __cil_tmp33;
4738#line 136
4739  *((u8 *)__cil_tmp34) = (u8 )2U;
4740#line 136
4741  __cil_tmp35 = 0 * 1UL;
4742#line 136
4743  __cil_tmp36 = 2 * 2UL;
4744#line 136
4745  __cil_tmp37 = __cil_tmp36 + __cil_tmp35;
4746#line 136
4747  __cil_tmp38 = (unsigned long )(agc) + __cil_tmp37;
4748#line 136
4749  *((u8 *)__cil_tmp38) = (u8 )32U;
4750#line 136
4751  __cil_tmp39 = 1 * 1UL;
4752#line 136
4753  __cil_tmp40 = 2 * 2UL;
4754#line 136
4755  __cil_tmp41 = __cil_tmp40 + __cil_tmp39;
4756#line 136
4757  __cil_tmp42 = (unsigned long )(agc) + __cil_tmp41;
4758#line 136
4759  *((u8 *)__cil_tmp42) = (u8 )160U;
4760#line 136
4761  __cil_tmp43 = 0 * 1UL;
4762#line 136
4763  __cil_tmp44 = 3 * 2UL;
4764#line 136
4765  __cil_tmp45 = __cil_tmp44 + __cil_tmp43;
4766#line 136
4767  __cil_tmp46 = (unsigned long )(agc) + __cil_tmp45;
4768#line 136
4769  *((u8 *)__cil_tmp46) = (u8 )35U;
4770#line 136
4771  __cil_tmp47 = 1 * 1UL;
4772#line 136
4773  __cil_tmp48 = 3 * 2UL;
4774#line 136
4775  __cil_tmp49 = __cil_tmp48 + __cil_tmp47;
4776#line 136
4777  __cil_tmp50 = (unsigned long )(agc) + __cil_tmp49;
4778#line 136
4779  *((u8 *)__cil_tmp50) = (u8 )9U;
4780#line 136
4781  __cil_tmp51 = 0 * 1UL;
4782#line 136
4783  __cil_tmp52 = 4 * 2UL;
4784#line 136
4785  __cil_tmp53 = __cil_tmp52 + __cil_tmp51;
4786#line 136
4787  __cil_tmp54 = (unsigned long )(agc) + __cil_tmp53;
4788#line 136
4789  *((u8 *)__cil_tmp54) = (u8 )32U;
4790#line 136
4791  __cil_tmp55 = 1 * 1UL;
4792#line 136
4793  __cil_tmp56 = 4 * 2UL;
4794#line 136
4795  __cil_tmp57 = __cil_tmp56 + __cil_tmp55;
4796#line 136
4797  __cil_tmp58 = (unsigned long )(agc) + __cil_tmp57;
4798#line 136
4799  *((u8 *)__cil_tmp58) = (u8 )224U;
4800#line 136
4801  __cil_tmp59 = 0 * 1UL;
4802#line 136
4803  __cil_tmp60 = 5 * 2UL;
4804#line 136
4805  __cil_tmp61 = __cil_tmp60 + __cil_tmp59;
4806#line 136
4807  __cil_tmp62 = (unsigned long )(agc) + __cil_tmp61;
4808#line 136
4809  *((u8 *)__cil_tmp62) = (u8 )35U;
4810#line 136
4811  __cil_tmp63 = 1 * 1UL;
4812#line 136
4813  __cil_tmp64 = 5 * 2UL;
4814#line 136
4815  __cil_tmp65 = __cil_tmp64 + __cil_tmp63;
4816#line 136
4817  __cil_tmp66 = (unsigned long )(agc) + __cil_tmp65;
4818#line 136
4819  *((u8 *)__cil_tmp66) = (u8 )12U;
4820#line 136
4821  __cil_tmp67 = 0 * 1UL;
4822#line 136
4823  __cil_tmp68 = 6 * 2UL;
4824#line 136
4825  __cil_tmp69 = __cil_tmp68 + __cil_tmp67;
4826#line 136
4827  __cil_tmp70 = (unsigned long )(agc) + __cil_tmp69;
4828#line 136
4829  *((u8 *)__cil_tmp70) = (u8 )32U;
4830#line 136
4831  __cil_tmp71 = 1 * 1UL;
4832#line 136
4833  __cil_tmp72 = 6 * 2UL;
4834#line 136
4835  __cil_tmp73 = __cil_tmp72 + __cil_tmp71;
4836#line 136
4837  __cil_tmp74 = (unsigned long )(agc) + __cil_tmp73;
4838#line 136
4839  *((u8 *)__cil_tmp74) = (u8 )64U;
4840#line 136
4841  __cil_tmp75 = 0 * 1UL;
4842#line 136
4843  __cil_tmp76 = 7 * 2UL;
4844#line 136
4845  __cil_tmp77 = __cil_tmp76 + __cil_tmp75;
4846#line 136
4847  __cil_tmp78 = (unsigned long )(agc) + __cil_tmp77;
4848#line 136
4849  *((u8 *)__cil_tmp78) = (u8 )35U;
4850#line 136
4851  __cil_tmp79 = 1 * 1UL;
4852#line 136
4853  __cil_tmp80 = 7 * 2UL;
4854#line 136
4855  __cil_tmp81 = __cil_tmp80 + __cil_tmp79;
4856#line 136
4857  __cil_tmp82 = (unsigned long )(agc) + __cil_tmp81;
4858#line 136
4859  *((u8 *)__cil_tmp82) = (u8 )1U;
4860#line 136
4861  __cil_tmp83 = 0 * 1UL;
4862#line 136
4863  __cil_tmp84 = 8 * 2UL;
4864#line 136
4865  __cil_tmp85 = __cil_tmp84 + __cil_tmp83;
4866#line 136
4867  __cil_tmp86 = (unsigned long )(agc) + __cil_tmp85;
4868#line 136
4869  *((u8 *)__cil_tmp86) = (u8 )32U;
4870#line 136
4871  __cil_tmp87 = 1 * 1UL;
4872#line 136
4873  __cil_tmp88 = 8 * 2UL;
4874#line 136
4875  __cil_tmp89 = __cil_tmp88 + __cil_tmp87;
4876#line 136
4877  __cil_tmp90 = (unsigned long )(agc) + __cil_tmp89;
4878#line 136
4879  *((u8 *)__cil_tmp90) = (u8 )128U;
4880#line 136
4881  __cil_tmp91 = 0 * 1UL;
4882#line 136
4883  __cil_tmp92 = 9 * 2UL;
4884#line 136
4885  __cil_tmp93 = __cil_tmp92 + __cil_tmp91;
4886#line 136
4887  __cil_tmp94 = (unsigned long )(agc) + __cil_tmp93;
4888#line 136
4889  *((u8 *)__cil_tmp94) = (u8 )35U;
4890#line 136
4891  __cil_tmp95 = 1 * 1UL;
4892#line 136
4893  __cil_tmp96 = 9 * 2UL;
4894#line 136
4895  __cil_tmp97 = __cil_tmp96 + __cil_tmp95;
4896#line 136
4897  __cil_tmp98 = (unsigned long )(agc) + __cil_tmp97;
4898#line 136
4899  *((u8 *)__cil_tmp98) = (u8 )8U;
4900#line 136
4901  __cil_tmp99 = 0 * 1UL;
4902#line 136
4903  __cil_tmp100 = 10 * 2UL;
4904#line 136
4905  __cil_tmp101 = __cil_tmp100 + __cil_tmp99;
4906#line 136
4907  __cil_tmp102 = (unsigned long )(agc) + __cil_tmp101;
4908#line 136
4909  *((u8 *)__cil_tmp102) = (u8 )32U;
4910#line 136
4911  __cil_tmp103 = 1 * 1UL;
4912#line 136
4913  __cil_tmp104 = 10 * 2UL;
4914#line 136
4915  __cil_tmp105 = __cil_tmp104 + __cil_tmp103;
4916#line 136
4917  __cil_tmp106 = (unsigned long )(agc) + __cil_tmp105;
4918#line 136
4919  *((u8 *)__cil_tmp106) = (u8 )192U;
4920#line 136
4921  __cil_tmp107 = 0 * 1UL;
4922#line 136
4923  __cil_tmp108 = 11 * 2UL;
4924#line 136
4925  __cil_tmp109 = __cil_tmp108 + __cil_tmp107;
4926#line 136
4927  __cil_tmp110 = (unsigned long )(agc) + __cil_tmp109;
4928#line 136
4929  *((u8 *)__cil_tmp110) = (u8 )35U;
4930#line 136
4931  __cil_tmp111 = 1 * 1UL;
4932#line 136
4933  __cil_tmp112 = 11 * 2UL;
4934#line 136
4935  __cil_tmp113 = __cil_tmp112 + __cil_tmp111;
4936#line 136
4937  __cil_tmp114 = (unsigned long )(agc) + __cil_tmp113;
4938#line 136
4939  *((u8 *)__cil_tmp114) = (u8 )11U;
4940#line 136
4941  __cil_tmp115 = 0 * 1UL;
4942#line 136
4943  __cil_tmp116 = 12 * 2UL;
4944#line 136
4945  __cil_tmp117 = __cil_tmp116 + __cil_tmp115;
4946#line 136
4947  __cil_tmp118 = (unsigned long )(agc) + __cil_tmp117;
4948#line 136
4949  *((u8 *)__cil_tmp118) = (u8 )36U;
4950#line 136
4951  __cil_tmp119 = 1 * 1UL;
4952#line 136
4953  __cil_tmp120 = 12 * 2UL;
4954#line 136
4955  __cil_tmp121 = __cil_tmp120 + __cil_tmp119;
4956#line 136
4957  __cil_tmp122 = (unsigned long )(agc) + __cil_tmp121;
4958#line 136
4959  *((u8 *)__cil_tmp122) = (u8 )28U;
4960#line 136
4961  __cil_tmp123 = 0 * 1UL;
4962#line 136
4963  __cil_tmp124 = 13 * 2UL;
4964#line 136
4965  __cil_tmp125 = __cil_tmp124 + __cil_tmp123;
4966#line 136
4967  __cil_tmp126 = (unsigned long )(agc) + __cil_tmp125;
4968#line 136
4969  *((u8 *)__cil_tmp126) = (u8 )36U;
4970#line 136
4971  __cil_tmp127 = 1 * 1UL;
4972#line 136
4973  __cil_tmp128 = 13 * 2UL;
4974#line 136
4975  __cil_tmp129 = __cil_tmp128 + __cil_tmp127;
4976#line 136
4977  __cil_tmp130 = (unsigned long )(agc) + __cil_tmp129;
4978#line 136
4979  *((u8 *)__cil_tmp130) = (u8 )12U;
4980  {
4981#line 153
4982  __cil_tmp131 = (int (*)(struct dvb_frontend * , int  ))0;
4983#line 153
4984  __cil_tmp132 = (unsigned long )__cil_tmp131;
4985#line 153
4986  __cil_tmp133 = 0 + 360;
4987#line 153
4988  __cil_tmp134 = (unsigned long )fe;
4989#line 153
4990  __cil_tmp135 = __cil_tmp134 + __cil_tmp133;
4991#line 153
4992  __cil_tmp136 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp135);
4993#line 153
4994  __cil_tmp137 = (unsigned long )__cil_tmp136;
4995#line 153
4996  if (__cil_tmp137 != __cil_tmp132) {
4997    {
4998#line 154
4999    __cil_tmp138 = 0 + 360;
5000#line 154
5001    __cil_tmp139 = (unsigned long )fe;
5002#line 154
5003    __cil_tmp140 = __cil_tmp139 + __cil_tmp138;
5004#line 154
5005    __cil_tmp141 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp140);
5006#line 154
5007    (*__cil_tmp141)(fe, 1);
5008    }
5009  } else {
5010
5011  }
5012  }
5013#line 157
5014  if (bw <= 6000000U) {
5015#line 158
5016    LP_Fc = (u8 )0U;
5017#line 159
5018    __cil_tmp142 = (unsigned long )priv;
5019#line 159
5020    __cil_tmp143 = __cil_tmp142 + 16;
5021#line 159
5022    *((u32 *)__cil_tmp143) = 3000000U;
5023  } else
5024#line 160
5025  if (bw <= 7000000U) {
5026#line 161
5027    LP_Fc = (u8 )1U;
5028#line 162
5029    __cil_tmp144 = (unsigned long )priv;
5030#line 162
5031    __cil_tmp145 = __cil_tmp144 + 16;
5032#line 162
5033    *((u32 *)__cil_tmp145) = 3500000U;
5034  } else {
5035#line 164
5036    LP_Fc = (u8 )2U;
5037#line 165
5038    __cil_tmp146 = (unsigned long )priv;
5039#line 165
5040    __cil_tmp147 = __cil_tmp146 + 16;
5041#line 165
5042    *((u32 *)__cil_tmp147) = 4000000U;
5043  }
5044#line 168
5045  __cil_tmp148 = (unsigned long )priv;
5046#line 168
5047  __cil_tmp149 = __cil_tmp148 + 16;
5048#line 168
5049  __cil_tmp150 = *((u32 *)__cil_tmp149);
5050#line 168
5051  __cil_tmp151 = (unsigned long )c;
5052#line 168
5053  __cil_tmp152 = __cil_tmp151 + 4;
5054#line 168
5055  __cil_tmp153 = *((u32 *)__cil_tmp152);
5056#line 168
5057  LO_Frac = __cil_tmp153 + __cil_tmp150;
5058#line 171
5059  if (LO_Frac <= 187999999U) {
5060#line 172
5061    BP_Filter = (u8 )3U;
5062  } else
5063#line 173
5064  if (LO_Frac <= 252999999U) {
5065#line 174
5066    BP_Filter = (u8 )4U;
5067  } else
5068#line 175
5069  if (LO_Frac <= 342999999U) {
5070#line 176
5071    BP_Filter = (u8 )5U;
5072  } else {
5073#line 178
5074    BP_Filter = (u8 )6U;
5075  }
5076  {
5077#line 180
5078  __cil_tmp154 = 0 * 1UL;
5079#line 180
5080  __cil_tmp155 = (unsigned long )(buf) + __cil_tmp154;
5081#line 180
5082  __cil_tmp156 = (signed char )BP_Filter;
5083#line 180
5084  __cil_tmp157 = (int )__cil_tmp156;
5085#line 180
5086  __cil_tmp158 = 26 * 1UL;
5087#line 180
5088  __cil_tmp159 = 20 + __cil_tmp158;
5089#line 180
5090  __cil_tmp160 = (unsigned long )priv;
5091#line 180
5092  __cil_tmp161 = __cil_tmp160 + __cil_tmp159;
5093#line 180
5094  __cil_tmp162 = *((u8 *)__cil_tmp161);
5095#line 180
5096  __cil_tmp163 = (signed char )__cil_tmp162;
5097#line 180
5098  __cil_tmp164 = (int )__cil_tmp163;
5099#line 180
5100  __cil_tmp165 = __cil_tmp164 & -8;
5101#line 180
5102  __cil_tmp166 = __cil_tmp165 | __cil_tmp157;
5103#line 180
5104  *((u8 *)__cil_tmp155) = (u8 )__cil_tmp166;
5105#line 181
5106  __cil_tmp167 = 1 * 1UL;
5107#line 181
5108  __cil_tmp168 = (unsigned long )(buf) + __cil_tmp167;
5109#line 181
5110  __cil_tmp169 = (signed char )LP_Fc;
5111#line 181
5112  __cil_tmp170 = (int )__cil_tmp169;
5113#line 181
5114  __cil_tmp171 = 27 * 1UL;
5115#line 181
5116  __cil_tmp172 = 20 + __cil_tmp171;
5117#line 181
5118  __cil_tmp173 = (unsigned long )priv;
5119#line 181
5120  __cil_tmp174 = __cil_tmp173 + __cil_tmp172;
5121#line 181
5122  __cil_tmp175 = *((u8 *)__cil_tmp174);
5123#line 181
5124  __cil_tmp176 = (signed char )__cil_tmp175;
5125#line 181
5126  __cil_tmp177 = (int )__cil_tmp176;
5127#line 181
5128  __cil_tmp178 = __cil_tmp177 & -4;
5129#line 181
5130  __cil_tmp179 = __cil_tmp178 | __cil_tmp170;
5131#line 181
5132  *((u8 *)__cil_tmp168) = (u8 )__cil_tmp179;
5133#line 182
5134  __cil_tmp180 = 2 * 1UL;
5135#line 182
5136  __cil_tmp181 = (unsigned long )(buf) + __cil_tmp180;
5137#line 182
5138  __cil_tmp182 = 28 * 1UL;
5139#line 182
5140  __cil_tmp183 = 20 + __cil_tmp182;
5141#line 182
5142  __cil_tmp184 = (unsigned long )priv;
5143#line 182
5144  __cil_tmp185 = __cil_tmp184 + __cil_tmp183;
5145#line 182
5146  *((u8 *)__cil_tmp181) = *((u8 *)__cil_tmp185);
5147#line 183
5148  __cil_tmp186 = (u8 )26;
5149#line 183
5150  __cil_tmp187 = (u8 *)(& buf);
5151#line 183
5152  __cil_tmp188 = (u8 )3;
5153#line 183
5154  ret = tda18218_wr_regs(priv, __cil_tmp186, __cil_tmp187, __cil_tmp188);
5155  }
5156#line 184
5157  if (ret != 0) {
5158#line 185
5159    goto error;
5160  } else {
5161
5162  }
5163  {
5164#line 187
5165  __cil_tmp189 = 0 * 1UL;
5166#line 187
5167  __cil_tmp190 = (unsigned long )(buf) + __cil_tmp189;
5168#line 187
5169  __cil_tmp191 = LO_Frac / 1000U;
5170#line 187
5171  __cil_tmp192 = __cil_tmp191 >> 12;
5172#line 187
5173  *((u8 *)__cil_tmp190) = (u8 )__cil_tmp192;
5174#line 188
5175  __cil_tmp193 = 1 * 1UL;
5176#line 188
5177  __cil_tmp194 = (unsigned long )(buf) + __cil_tmp193;
5178#line 188
5179  __cil_tmp195 = LO_Frac / 1000U;
5180#line 188
5181  __cil_tmp196 = __cil_tmp195 >> 4;
5182#line 188
5183  *((u8 *)__cil_tmp194) = (u8 )__cil_tmp196;
5184#line 189
5185  __cil_tmp197 = 2 * 1UL;
5186#line 189
5187  __cil_tmp198 = (unsigned long )(buf) + __cil_tmp197;
5188#line 189
5189  __cil_tmp199 = 12 * 1UL;
5190#line 189
5191  __cil_tmp200 = 20 + __cil_tmp199;
5192#line 189
5193  __cil_tmp201 = (unsigned long )priv;
5194#line 189
5195  __cil_tmp202 = __cil_tmp201 + __cil_tmp200;
5196#line 189
5197  __cil_tmp203 = *((u8 *)__cil_tmp202);
5198#line 189
5199  __cil_tmp204 = (unsigned int )__cil_tmp203;
5200#line 189
5201  __cil_tmp205 = __cil_tmp204 & 15U;
5202#line 189
5203  __cil_tmp206 = LO_Frac / 1000U;
5204#line 189
5205  __cil_tmp207 = (u8 )__cil_tmp206;
5206#line 189
5207  __cil_tmp208 = (int )__cil_tmp207;
5208#line 189
5209  __cil_tmp209 = __cil_tmp208 << 4U;
5210#line 189
5211  __cil_tmp210 = (unsigned int )__cil_tmp209;
5212#line 189
5213  __cil_tmp211 = __cil_tmp210 | __cil_tmp205;
5214#line 189
5215  *((u8 *)__cil_tmp198) = (u8 )__cil_tmp211;
5216#line 191
5217  __cil_tmp212 = (u8 )10;
5218#line 191
5219  __cil_tmp213 = (u8 *)(& buf);
5220#line 191
5221  __cil_tmp214 = (u8 )3;
5222#line 191
5223  ret = tda18218_wr_regs(priv, __cil_tmp212, __cil_tmp213, __cil_tmp214);
5224  }
5225#line 192
5226  if (ret != 0) {
5227#line 193
5228    goto error;
5229  } else {
5230
5231  }
5232  {
5233#line 195
5234  __cil_tmp215 = 0 * 1UL;
5235#line 195
5236  __cil_tmp216 = (unsigned long )(buf) + __cil_tmp215;
5237#line 195
5238  __cil_tmp217 = 15 * 1UL;
5239#line 195
5240  __cil_tmp218 = 20 + __cil_tmp217;
5241#line 195
5242  __cil_tmp219 = (unsigned long )priv;
5243#line 195
5244  __cil_tmp220 = __cil_tmp219 + __cil_tmp218;
5245#line 195
5246  __cil_tmp221 = *((u8 *)__cil_tmp220);
5247#line 195
5248  __cil_tmp222 = (unsigned int )__cil_tmp221;
5249#line 195
5250  __cil_tmp223 = __cil_tmp222 | 64U;
5251#line 195
5252  *((u8 *)__cil_tmp216) = (u8 )__cil_tmp223;
5253#line 196
5254  __cil_tmp224 = (u8 )15;
5255#line 196
5256  __cil_tmp225 = (u8 *)(& buf);
5257#line 196
5258  __cil_tmp226 = (u8 )1;
5259#line 196
5260  ret = tda18218_wr_regs(priv, __cil_tmp224, __cil_tmp225, __cil_tmp226);
5261  }
5262#line 197
5263  if (ret != 0) {
5264#line 198
5265    goto error;
5266  } else {
5267
5268  }
5269  {
5270#line 200
5271  __cil_tmp227 = 0 * 1UL;
5272#line 200
5273  __cil_tmp228 = (unsigned long )(buf) + __cil_tmp227;
5274#line 200
5275  __cil_tmp229 = 15 * 1UL;
5276#line 200
5277  __cil_tmp230 = 20 + __cil_tmp229;
5278#line 200
5279  __cil_tmp231 = (unsigned long )priv;
5280#line 200
5281  __cil_tmp232 = __cil_tmp231 + __cil_tmp230;
5282#line 200
5283  __cil_tmp233 = *((u8 *)__cil_tmp232);
5284#line 200
5285  __cil_tmp234 = (unsigned int )__cil_tmp233;
5286#line 200
5287  __cil_tmp235 = __cil_tmp234 & 191U;
5288#line 200
5289  *((u8 *)__cil_tmp228) = (u8 )__cil_tmp235;
5290#line 201
5291  __cil_tmp236 = (u8 )15;
5292#line 201
5293  __cil_tmp237 = (u8 *)(& buf);
5294#line 201
5295  __cil_tmp238 = (u8 )1;
5296#line 201
5297  ret = tda18218_wr_regs(priv, __cil_tmp236, __cil_tmp237, __cil_tmp238);
5298  }
5299#line 202
5300  if (ret != 0) {
5301#line 203
5302    goto error;
5303  } else {
5304
5305  }
5306#line 206
5307  i = (u8 )0U;
5308#line 206
5309  goto ldv_22817;
5310  ldv_22816: 
5311  {
5312#line 207
5313  __cil_tmp239 = 0 * 1UL;
5314#line 207
5315  __cil_tmp240 = (int )i;
5316#line 207
5317  __cil_tmp241 = __cil_tmp240 * 2UL;
5318#line 207
5319  __cil_tmp242 = __cil_tmp241 + __cil_tmp239;
5320#line 207
5321  __cil_tmp243 = (unsigned long )(agc) + __cil_tmp242;
5322#line 207
5323  __cil_tmp244 = *((u8 *)__cil_tmp243);
5324#line 207
5325  __cil_tmp245 = (int )__cil_tmp244;
5326#line 207
5327  __cil_tmp246 = (u8 )__cil_tmp245;
5328#line 207
5329  __cil_tmp247 = 1 * 1UL;
5330#line 207
5331  __cil_tmp248 = (int )i;
5332#line 207
5333  __cil_tmp249 = __cil_tmp248 * 2UL;
5334#line 207
5335  __cil_tmp250 = __cil_tmp249 + __cil_tmp247;
5336#line 207
5337  __cil_tmp251 = (unsigned long )(agc) + __cil_tmp250;
5338#line 207
5339  __cil_tmp252 = *((u8 *)__cil_tmp251);
5340#line 207
5341  __cil_tmp253 = (int )__cil_tmp252;
5342#line 207
5343  __cil_tmp254 = (u8 )__cil_tmp253;
5344#line 207
5345  ret = tda18218_wr_reg(priv, __cil_tmp246, __cil_tmp254);
5346  }
5347#line 208
5348  if (ret != 0) {
5349#line 209
5350    goto error;
5351  } else {
5352
5353  }
5354#line 206
5355  __cil_tmp255 = (int )i;
5356#line 206
5357  __cil_tmp256 = __cil_tmp255 + 1;
5358#line 206
5359  i = (u8 )__cil_tmp256;
5360  ldv_22817: ;
5361  {
5362#line 206
5363  __cil_tmp257 = (unsigned int )i;
5364#line 206
5365  if (__cil_tmp257 <= 13U) {
5366#line 207
5367    goto ldv_22816;
5368  } else {
5369#line 209
5370    goto ldv_22818;
5371  }
5372  }
5373  ldv_22818: ;
5374  error: ;
5375  {
5376#line 213
5377  __cil_tmp258 = (int (*)(struct dvb_frontend * , int  ))0;
5378#line 213
5379  __cil_tmp259 = (unsigned long )__cil_tmp258;
5380#line 213
5381  __cil_tmp260 = 0 + 360;
5382#line 213
5383  __cil_tmp261 = (unsigned long )fe;
5384#line 213
5385  __cil_tmp262 = __cil_tmp261 + __cil_tmp260;
5386#line 213
5387  __cil_tmp263 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp262);
5388#line 213
5389  __cil_tmp264 = (unsigned long )__cil_tmp263;
5390#line 213
5391  if (__cil_tmp264 != __cil_tmp259) {
5392    {
5393#line 214
5394    __cil_tmp265 = 0 + 360;
5395#line 214
5396    __cil_tmp266 = (unsigned long )fe;
5397#line 214
5398    __cil_tmp267 = __cil_tmp266 + __cil_tmp265;
5399#line 214
5400    __cil_tmp268 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp267);
5401#line 214
5402    (*__cil_tmp268)(fe, 0);
5403    }
5404  } else {
5405
5406  }
5407  }
5408#line 216
5409  if (ret != 0) {
5410    {
5411#line 217
5412    __cil_tmp269 = & debug;
5413#line 217
5414    __cil_tmp270 = *__cil_tmp269;
5415#line 217
5416    if (__cil_tmp270 != 0) {
5417      {
5418#line 217
5419      printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_set_params", ret);
5420      }
5421    } else {
5422
5423    }
5424    }
5425  } else {
5426
5427  }
5428#line 219
5429  return (ret);
5430}
5431}
5432#line 222 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5433static int tda18218_get_if_frequency(struct dvb_frontend *fe , u32 *frequency ) 
5434{ struct tda18218_priv *priv ;
5435  unsigned long __cil_tmp4 ;
5436  unsigned long __cil_tmp5 ;
5437  void *__cil_tmp6 ;
5438  unsigned long __cil_tmp7 ;
5439  unsigned long __cil_tmp8 ;
5440  int *__cil_tmp9 ;
5441  int __cil_tmp10 ;
5442  u32 __cil_tmp11 ;
5443
5444  {
5445#line 224
5446  __cil_tmp4 = (unsigned long )fe;
5447#line 224
5448  __cil_tmp5 = __cil_tmp4 + 768;
5449#line 224
5450  __cil_tmp6 = *((void **)__cil_tmp5);
5451#line 224
5452  priv = (struct tda18218_priv *)__cil_tmp6;
5453#line 225
5454  __cil_tmp7 = (unsigned long )priv;
5455#line 225
5456  __cil_tmp8 = __cil_tmp7 + 16;
5457#line 225
5458  *frequency = *((u32 *)__cil_tmp8);
5459  {
5460#line 226
5461  __cil_tmp9 = & debug;
5462#line 226
5463  __cil_tmp10 = *__cil_tmp9;
5464#line 226
5465  if (__cil_tmp10 != 0) {
5466    {
5467#line 226
5468    __cil_tmp11 = *frequency;
5469#line 226
5470    printk("<7>tda18218: %s: if=%d\n", "tda18218_get_if_frequency", __cil_tmp11);
5471    }
5472  } else {
5473
5474  }
5475  }
5476#line 227
5477  return (0);
5478}
5479}
5480#line 230 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5481static int tda18218_sleep(struct dvb_frontend *fe ) 
5482{ struct tda18218_priv *priv ;
5483  int ret ;
5484  unsigned long __cil_tmp4 ;
5485  unsigned long __cil_tmp5 ;
5486  void *__cil_tmp6 ;
5487  int (*__cil_tmp7)(struct dvb_frontend * , int  ) ;
5488  unsigned long __cil_tmp8 ;
5489  unsigned long __cil_tmp9 ;
5490  unsigned long __cil_tmp10 ;
5491  unsigned long __cil_tmp11 ;
5492  int (*__cil_tmp12)(struct dvb_frontend * , int  ) ;
5493  unsigned long __cil_tmp13 ;
5494  unsigned long __cil_tmp14 ;
5495  unsigned long __cil_tmp15 ;
5496  unsigned long __cil_tmp16 ;
5497  int (*__cil_tmp17)(struct dvb_frontend * , int  ) ;
5498  u8 __cil_tmp18 ;
5499  unsigned long __cil_tmp19 ;
5500  unsigned long __cil_tmp20 ;
5501  unsigned long __cil_tmp21 ;
5502  unsigned long __cil_tmp22 ;
5503  u8 __cil_tmp23 ;
5504  unsigned int __cil_tmp24 ;
5505  unsigned int __cil_tmp25 ;
5506  int __cil_tmp26 ;
5507  u8 __cil_tmp27 ;
5508  int (*__cil_tmp28)(struct dvb_frontend * , int  ) ;
5509  unsigned long __cil_tmp29 ;
5510  unsigned long __cil_tmp30 ;
5511  unsigned long __cil_tmp31 ;
5512  unsigned long __cil_tmp32 ;
5513  int (*__cil_tmp33)(struct dvb_frontend * , int  ) ;
5514  unsigned long __cil_tmp34 ;
5515  unsigned long __cil_tmp35 ;
5516  unsigned long __cil_tmp36 ;
5517  unsigned long __cil_tmp37 ;
5518  int (*__cil_tmp38)(struct dvb_frontend * , int  ) ;
5519  int *__cil_tmp39 ;
5520  int __cil_tmp40 ;
5521
5522  {
5523#line 232
5524  __cil_tmp4 = (unsigned long )fe;
5525#line 232
5526  __cil_tmp5 = __cil_tmp4 + 768;
5527#line 232
5528  __cil_tmp6 = *((void **)__cil_tmp5);
5529#line 232
5530  priv = (struct tda18218_priv *)__cil_tmp6;
5531  {
5532#line 235
5533  __cil_tmp7 = (int (*)(struct dvb_frontend * , int  ))0;
5534#line 235
5535  __cil_tmp8 = (unsigned long )__cil_tmp7;
5536#line 235
5537  __cil_tmp9 = 0 + 360;
5538#line 235
5539  __cil_tmp10 = (unsigned long )fe;
5540#line 235
5541  __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
5542#line 235
5543  __cil_tmp12 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp11);
5544#line 235
5545  __cil_tmp13 = (unsigned long )__cil_tmp12;
5546#line 235
5547  if (__cil_tmp13 != __cil_tmp8) {
5548    {
5549#line 236
5550    __cil_tmp14 = 0 + 360;
5551#line 236
5552    __cil_tmp15 = (unsigned long )fe;
5553#line 236
5554    __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
5555#line 236
5556    __cil_tmp17 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp16);
5557#line 236
5558    (*__cil_tmp17)(fe, 1);
5559    }
5560  } else {
5561
5562  }
5563  }
5564  {
5565#line 239
5566  __cil_tmp18 = (u8 )23;
5567#line 239
5568  __cil_tmp19 = 23 * 1UL;
5569#line 239
5570  __cil_tmp20 = 20 + __cil_tmp19;
5571#line 239
5572  __cil_tmp21 = (unsigned long )priv;
5573#line 239
5574  __cil_tmp22 = __cil_tmp21 + __cil_tmp20;
5575#line 239
5576  __cil_tmp23 = *((u8 *)__cil_tmp22);
5577#line 239
5578  __cil_tmp24 = (unsigned int )__cil_tmp23;
5579#line 239
5580  __cil_tmp25 = __cil_tmp24 | 1U;
5581#line 239
5582  __cil_tmp26 = (int )__cil_tmp25;
5583#line 239
5584  __cil_tmp27 = (u8 )__cil_tmp26;
5585#line 239
5586  ret = tda18218_wr_reg(priv, __cil_tmp18, __cil_tmp27);
5587  }
5588  {
5589#line 241
5590  __cil_tmp28 = (int (*)(struct dvb_frontend * , int  ))0;
5591#line 241
5592  __cil_tmp29 = (unsigned long )__cil_tmp28;
5593#line 241
5594  __cil_tmp30 = 0 + 360;
5595#line 241
5596  __cil_tmp31 = (unsigned long )fe;
5597#line 241
5598  __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
5599#line 241
5600  __cil_tmp33 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp32);
5601#line 241
5602  __cil_tmp34 = (unsigned long )__cil_tmp33;
5603#line 241
5604  if (__cil_tmp34 != __cil_tmp29) {
5605    {
5606#line 242
5607    __cil_tmp35 = 0 + 360;
5608#line 242
5609    __cil_tmp36 = (unsigned long )fe;
5610#line 242
5611    __cil_tmp37 = __cil_tmp36 + __cil_tmp35;
5612#line 242
5613    __cil_tmp38 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp37);
5614#line 242
5615    (*__cil_tmp38)(fe, 0);
5616    }
5617  } else {
5618
5619  }
5620  }
5621#line 244
5622  if (ret != 0) {
5623    {
5624#line 245
5625    __cil_tmp39 = & debug;
5626#line 245
5627    __cil_tmp40 = *__cil_tmp39;
5628#line 245
5629    if (__cil_tmp40 != 0) {
5630      {
5631#line 245
5632      printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_sleep", ret);
5633      }
5634    } else {
5635
5636    }
5637    }
5638  } else {
5639
5640  }
5641#line 247
5642  return (ret);
5643}
5644}
5645#line 250 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5646static int tda18218_init(struct dvb_frontend *fe ) 
5647{ struct tda18218_priv *priv ;
5648  int ret ;
5649  unsigned long __cil_tmp4 ;
5650  unsigned long __cil_tmp5 ;
5651  void *__cil_tmp6 ;
5652  int (*__cil_tmp7)(struct dvb_frontend * , int  ) ;
5653  unsigned long __cil_tmp8 ;
5654  unsigned long __cil_tmp9 ;
5655  unsigned long __cil_tmp10 ;
5656  unsigned long __cil_tmp11 ;
5657  int (*__cil_tmp12)(struct dvb_frontend * , int  ) ;
5658  unsigned long __cil_tmp13 ;
5659  unsigned long __cil_tmp14 ;
5660  unsigned long __cil_tmp15 ;
5661  unsigned long __cil_tmp16 ;
5662  int (*__cil_tmp17)(struct dvb_frontend * , int  ) ;
5663  u8 __cil_tmp18 ;
5664  unsigned long __cil_tmp19 ;
5665  unsigned long __cil_tmp20 ;
5666  u8 (*__cil_tmp21)[59U] ;
5667  u8 *__cil_tmp22 ;
5668  u8 __cil_tmp23 ;
5669  int (*__cil_tmp24)(struct dvb_frontend * , int  ) ;
5670  unsigned long __cil_tmp25 ;
5671  unsigned long __cil_tmp26 ;
5672  unsigned long __cil_tmp27 ;
5673  unsigned long __cil_tmp28 ;
5674  int (*__cil_tmp29)(struct dvb_frontend * , int  ) ;
5675  unsigned long __cil_tmp30 ;
5676  unsigned long __cil_tmp31 ;
5677  unsigned long __cil_tmp32 ;
5678  unsigned long __cil_tmp33 ;
5679  int (*__cil_tmp34)(struct dvb_frontend * , int  ) ;
5680  int *__cil_tmp35 ;
5681  int __cil_tmp36 ;
5682
5683  {
5684#line 252
5685  __cil_tmp4 = (unsigned long )fe;
5686#line 252
5687  __cil_tmp5 = __cil_tmp4 + 768;
5688#line 252
5689  __cil_tmp6 = *((void **)__cil_tmp5);
5690#line 252
5691  priv = (struct tda18218_priv *)__cil_tmp6;
5692  {
5693#line 257
5694  __cil_tmp7 = (int (*)(struct dvb_frontend * , int  ))0;
5695#line 257
5696  __cil_tmp8 = (unsigned long )__cil_tmp7;
5697#line 257
5698  __cil_tmp9 = 0 + 360;
5699#line 257
5700  __cil_tmp10 = (unsigned long )fe;
5701#line 257
5702  __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
5703#line 257
5704  __cil_tmp12 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp11);
5705#line 257
5706  __cil_tmp13 = (unsigned long )__cil_tmp12;
5707#line 257
5708  if (__cil_tmp13 != __cil_tmp8) {
5709    {
5710#line 258
5711    __cil_tmp14 = 0 + 360;
5712#line 258
5713    __cil_tmp15 = (unsigned long )fe;
5714#line 258
5715    __cil_tmp16 = __cil_tmp15 + __cil_tmp14;
5716#line 258
5717    __cil_tmp17 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp16);
5718#line 258
5719    (*__cil_tmp17)(fe, 1);
5720    }
5721  } else {
5722
5723  }
5724  }
5725  {
5726#line 260
5727  __cil_tmp18 = (u8 )0;
5728#line 260
5729  __cil_tmp19 = (unsigned long )priv;
5730#line 260
5731  __cil_tmp20 = __cil_tmp19 + 20;
5732#line 260
5733  __cil_tmp21 = (u8 (*)[59U])__cil_tmp20;
5734#line 260
5735  __cil_tmp22 = (u8 *)__cil_tmp21;
5736#line 260
5737  __cil_tmp23 = (u8 )59;
5738#line 260
5739  ret = tda18218_wr_regs(priv, __cil_tmp18, __cil_tmp22, __cil_tmp23);
5740  }
5741  {
5742#line 262
5743  __cil_tmp24 = (int (*)(struct dvb_frontend * , int  ))0;
5744#line 262
5745  __cil_tmp25 = (unsigned long )__cil_tmp24;
5746#line 262
5747  __cil_tmp26 = 0 + 360;
5748#line 262
5749  __cil_tmp27 = (unsigned long )fe;
5750#line 262
5751  __cil_tmp28 = __cil_tmp27 + __cil_tmp26;
5752#line 262
5753  __cil_tmp29 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp28);
5754#line 262
5755  __cil_tmp30 = (unsigned long )__cil_tmp29;
5756#line 262
5757  if (__cil_tmp30 != __cil_tmp25) {
5758    {
5759#line 263
5760    __cil_tmp31 = 0 + 360;
5761#line 263
5762    __cil_tmp32 = (unsigned long )fe;
5763#line 263
5764    __cil_tmp33 = __cil_tmp32 + __cil_tmp31;
5765#line 263
5766    __cil_tmp34 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp33);
5767#line 263
5768    (*__cil_tmp34)(fe, 0);
5769    }
5770  } else {
5771
5772  }
5773  }
5774#line 265
5775  if (ret != 0) {
5776    {
5777#line 266
5778    __cil_tmp35 = & debug;
5779#line 266
5780    __cil_tmp36 = *__cil_tmp35;
5781#line 266
5782    if (__cil_tmp36 != 0) {
5783      {
5784#line 266
5785      printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_init", ret);
5786      }
5787    } else {
5788
5789    }
5790    }
5791  } else {
5792
5793  }
5794#line 268
5795  return (ret);
5796}
5797}
5798#line 271 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5799static int tda18218_release(struct dvb_frontend *fe ) 
5800{ unsigned long __cil_tmp2 ;
5801  unsigned long __cil_tmp3 ;
5802  void *__cil_tmp4 ;
5803  void const   *__cil_tmp5 ;
5804  unsigned long __cil_tmp6 ;
5805  unsigned long __cil_tmp7 ;
5806
5807  {
5808  {
5809#line 273
5810  __cil_tmp2 = (unsigned long )fe;
5811#line 273
5812  __cil_tmp3 = __cil_tmp2 + 768;
5813#line 273
5814  __cil_tmp4 = *((void **)__cil_tmp3);
5815#line 273
5816  __cil_tmp5 = (void const   *)__cil_tmp4;
5817#line 273
5818  kfree(__cil_tmp5);
5819#line 274
5820  __cil_tmp6 = (unsigned long )fe;
5821#line 274
5822  __cil_tmp7 = __cil_tmp6 + 768;
5823#line 274
5824  *((void **)__cil_tmp7) = (void *)0;
5825  }
5826#line 275
5827  return (0);
5828}
5829}
5830#line 278 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5831static struct dvb_tuner_ops  const  tda18218_tuner_ops  = 
5832#line 278
5833     {{{(char )'N', (char )'X', (char )'P', (char )' ', (char )'T', (char )'D', (char )'A',
5834      (char )'1', (char )'8', (char )'2', (char )'1', (char )'8', (char )'\000'},
5835     174000000U, 864000000U, 1000U, 0U, 0U, 0U}, & tda18218_release, & tda18218_init,
5836    & tda18218_sleep, & tda18218_set_params, (int (*)(struct dvb_frontend * , struct analog_parameters * ))0,
5837    (int (*)(struct dvb_frontend * , u8 * , int  ))0, (int (*)(struct dvb_frontend * ,
5838                                                               void * ))0, (int (*)(struct dvb_frontend * ,
5839                                                                                    u32 * ))0,
5840    (int (*)(struct dvb_frontend * , u32 * ))0, & tda18218_get_if_frequency, (int (*)(struct dvb_frontend * ,
5841                                                                                      u32 * ))0,
5842    (int (*)(struct dvb_frontend * , u16 * ))0, (int (*)(struct dvb_frontend * , u32  ))0,
5843    (int (*)(struct dvb_frontend * , u32  ))0, (int (*)(struct dvb_frontend * , enum tuner_param  ,
5844                                                        struct tuner_state * ))0,
5845    (int (*)(struct dvb_frontend * , enum tuner_param  , struct tuner_state * ))0};
5846#line 296 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/9528/dscv_tempdir/dscv/ri/43_1a/drivers/media/common/tuners/tda18218.c.p"
5847struct dvb_frontend *tda18218_attach(struct dvb_frontend *fe , struct i2c_adapter *i2c ,
5848                                     struct tda18218_config *cfg ) 
5849{ struct tda18218_priv *priv ;
5850  u8 val ;
5851  int ret ;
5852  u8 def_regs[59U] ;
5853  void *tmp ;
5854  size_t __len ;
5855  void *__ret ;
5856  size_t __len___0 ;
5857  void *__ret___0 ;
5858  unsigned long __cil_tmp13 ;
5859  unsigned long __cil_tmp14 ;
5860  unsigned long __cil_tmp15 ;
5861  unsigned long __cil_tmp16 ;
5862  unsigned long __cil_tmp17 ;
5863  unsigned long __cil_tmp18 ;
5864  unsigned long __cil_tmp19 ;
5865  unsigned long __cil_tmp20 ;
5866  unsigned long __cil_tmp21 ;
5867  unsigned long __cil_tmp22 ;
5868  unsigned long __cil_tmp23 ;
5869  unsigned long __cil_tmp24 ;
5870  unsigned long __cil_tmp25 ;
5871  unsigned long __cil_tmp26 ;
5872  unsigned long __cil_tmp27 ;
5873  unsigned long __cil_tmp28 ;
5874  unsigned long __cil_tmp29 ;
5875  unsigned long __cil_tmp30 ;
5876  unsigned long __cil_tmp31 ;
5877  unsigned long __cil_tmp32 ;
5878  unsigned long __cil_tmp33 ;
5879  unsigned long __cil_tmp34 ;
5880  unsigned long __cil_tmp35 ;
5881  unsigned long __cil_tmp36 ;
5882  unsigned long __cil_tmp37 ;
5883  unsigned long __cil_tmp38 ;
5884  unsigned long __cil_tmp39 ;
5885  unsigned long __cil_tmp40 ;
5886  unsigned long __cil_tmp41 ;
5887  unsigned long __cil_tmp42 ;
5888  unsigned long __cil_tmp43 ;
5889  unsigned long __cil_tmp44 ;
5890  unsigned long __cil_tmp45 ;
5891  unsigned long __cil_tmp46 ;
5892  unsigned long __cil_tmp47 ;
5893  unsigned long __cil_tmp48 ;
5894  unsigned long __cil_tmp49 ;
5895  unsigned long __cil_tmp50 ;
5896  unsigned long __cil_tmp51 ;
5897  unsigned long __cil_tmp52 ;
5898  unsigned long __cil_tmp53 ;
5899  unsigned long __cil_tmp54 ;
5900  unsigned long __cil_tmp55 ;
5901  unsigned long __cil_tmp56 ;
5902  unsigned long __cil_tmp57 ;
5903  unsigned long __cil_tmp58 ;
5904  unsigned long __cil_tmp59 ;
5905  unsigned long __cil_tmp60 ;
5906  unsigned long __cil_tmp61 ;
5907  unsigned long __cil_tmp62 ;
5908  unsigned long __cil_tmp63 ;
5909  unsigned long __cil_tmp64 ;
5910  unsigned long __cil_tmp65 ;
5911  unsigned long __cil_tmp66 ;
5912  unsigned long __cil_tmp67 ;
5913  unsigned long __cil_tmp68 ;
5914  unsigned long __cil_tmp69 ;
5915  unsigned long __cil_tmp70 ;
5916  unsigned long __cil_tmp71 ;
5917  unsigned long __cil_tmp72 ;
5918  unsigned long __cil_tmp73 ;
5919  unsigned long __cil_tmp74 ;
5920  unsigned long __cil_tmp75 ;
5921  unsigned long __cil_tmp76 ;
5922  unsigned long __cil_tmp77 ;
5923  unsigned long __cil_tmp78 ;
5924  unsigned long __cil_tmp79 ;
5925  unsigned long __cil_tmp80 ;
5926  unsigned long __cil_tmp81 ;
5927  unsigned long __cil_tmp82 ;
5928  unsigned long __cil_tmp83 ;
5929  unsigned long __cil_tmp84 ;
5930  unsigned long __cil_tmp85 ;
5931  unsigned long __cil_tmp86 ;
5932  unsigned long __cil_tmp87 ;
5933  unsigned long __cil_tmp88 ;
5934  unsigned long __cil_tmp89 ;
5935  unsigned long __cil_tmp90 ;
5936  unsigned long __cil_tmp91 ;
5937  unsigned long __cil_tmp92 ;
5938  unsigned long __cil_tmp93 ;
5939  unsigned long __cil_tmp94 ;
5940  unsigned long __cil_tmp95 ;
5941  unsigned long __cil_tmp96 ;
5942  unsigned long __cil_tmp97 ;
5943  unsigned long __cil_tmp98 ;
5944  unsigned long __cil_tmp99 ;
5945  unsigned long __cil_tmp100 ;
5946  unsigned long __cil_tmp101 ;
5947  unsigned long __cil_tmp102 ;
5948  unsigned long __cil_tmp103 ;
5949  unsigned long __cil_tmp104 ;
5950  unsigned long __cil_tmp105 ;
5951  unsigned long __cil_tmp106 ;
5952  unsigned long __cil_tmp107 ;
5953  unsigned long __cil_tmp108 ;
5954  unsigned long __cil_tmp109 ;
5955  unsigned long __cil_tmp110 ;
5956  unsigned long __cil_tmp111 ;
5957  unsigned long __cil_tmp112 ;
5958  unsigned long __cil_tmp113 ;
5959  unsigned long __cil_tmp114 ;
5960  unsigned long __cil_tmp115 ;
5961  unsigned long __cil_tmp116 ;
5962  unsigned long __cil_tmp117 ;
5963  unsigned long __cil_tmp118 ;
5964  unsigned long __cil_tmp119 ;
5965  unsigned long __cil_tmp120 ;
5966  unsigned long __cil_tmp121 ;
5967  unsigned long __cil_tmp122 ;
5968  unsigned long __cil_tmp123 ;
5969  unsigned long __cil_tmp124 ;
5970  unsigned long __cil_tmp125 ;
5971  unsigned long __cil_tmp126 ;
5972  unsigned long __cil_tmp127 ;
5973  unsigned long __cil_tmp128 ;
5974  unsigned long __cil_tmp129 ;
5975  unsigned long __cil_tmp130 ;
5976  struct tda18218_priv *__cil_tmp131 ;
5977  unsigned long __cil_tmp132 ;
5978  unsigned long __cil_tmp133 ;
5979  unsigned long __cil_tmp134 ;
5980  unsigned long __cil_tmp135 ;
5981  unsigned long __cil_tmp136 ;
5982  unsigned long __cil_tmp137 ;
5983  int (*__cil_tmp138)(struct dvb_frontend * , int  ) ;
5984  unsigned long __cil_tmp139 ;
5985  unsigned long __cil_tmp140 ;
5986  unsigned long __cil_tmp141 ;
5987  unsigned long __cil_tmp142 ;
5988  int (*__cil_tmp143)(struct dvb_frontend * , int  ) ;
5989  unsigned long __cil_tmp144 ;
5990  unsigned long __cil_tmp145 ;
5991  unsigned long __cil_tmp146 ;
5992  unsigned long __cil_tmp147 ;
5993  int (*__cil_tmp148)(struct dvb_frontend * , int  ) ;
5994  u8 __cil_tmp149 ;
5995  int *__cil_tmp150 ;
5996  int __cil_tmp151 ;
5997  u8 *__cil_tmp152 ;
5998  u8 __cil_tmp153 ;
5999  int __cil_tmp154 ;
6000  void const   *__cil_tmp155 ;
6001  u8 *__cil_tmp156 ;
6002  u8 __cil_tmp157 ;
6003  int __cil_tmp158 ;
6004  unsigned long __cil_tmp159 ;
6005  unsigned long __cil_tmp160 ;
6006  u8 __cil_tmp161 ;
6007  int __cil_tmp162 ;
6008  void const   *__cil_tmp163 ;
6009  unsigned long __cil_tmp164 ;
6010  unsigned long __cil_tmp165 ;
6011  unsigned long __cil_tmp166 ;
6012  struct dvb_tuner_ops *__cil_tmp167 ;
6013  void *__cil_tmp168 ;
6014  void const   *__cil_tmp169 ;
6015  unsigned long __cil_tmp170 ;
6016  unsigned long __cil_tmp171 ;
6017  unsigned long __cil_tmp172 ;
6018  struct dvb_tuner_ops *__cil_tmp173 ;
6019  void *__cil_tmp174 ;
6020  void const   *__cil_tmp175 ;
6021  unsigned long __cil_tmp176 ;
6022  unsigned long __cil_tmp177 ;
6023  u8 (*__cil_tmp178)[59U] ;
6024  void *__cil_tmp179 ;
6025  void const   *__cil_tmp180 ;
6026  unsigned long __cil_tmp181 ;
6027  unsigned long __cil_tmp182 ;
6028  u8 (*__cil_tmp183)[59U] ;
6029  void *__cil_tmp184 ;
6030  void const   *__cil_tmp185 ;
6031  struct tda18218_config *__cil_tmp186 ;
6032  unsigned char *__cil_tmp187 ;
6033  unsigned char *__cil_tmp188 ;
6034  unsigned char __cil_tmp189 ;
6035  unsigned int __cil_tmp190 ;
6036  unsigned long __cil_tmp191 ;
6037  unsigned long __cil_tmp192 ;
6038  unsigned long __cil_tmp193 ;
6039  unsigned long __cil_tmp194 ;
6040  unsigned long __cil_tmp195 ;
6041  unsigned long __cil_tmp196 ;
6042  unsigned long __cil_tmp197 ;
6043  unsigned long __cil_tmp198 ;
6044  u8 __cil_tmp199 ;
6045  unsigned long __cil_tmp200 ;
6046  unsigned long __cil_tmp201 ;
6047  unsigned long __cil_tmp202 ;
6048  unsigned long __cil_tmp203 ;
6049  u8 __cil_tmp204 ;
6050  unsigned int __cil_tmp205 ;
6051  unsigned int __cil_tmp206 ;
6052  int __cil_tmp207 ;
6053  u8 __cil_tmp208 ;
6054  int *__cil_tmp209 ;
6055  int __cil_tmp210 ;
6056  int (*__cil_tmp211)(struct dvb_frontend * , int  ) ;
6057  unsigned long __cil_tmp212 ;
6058  unsigned long __cil_tmp213 ;
6059  unsigned long __cil_tmp214 ;
6060  unsigned long __cil_tmp215 ;
6061  int (*__cil_tmp216)(struct dvb_frontend * , int  ) ;
6062  unsigned long __cil_tmp217 ;
6063  unsigned long __cil_tmp218 ;
6064  unsigned long __cil_tmp219 ;
6065  unsigned long __cil_tmp220 ;
6066  int (*__cil_tmp221)(struct dvb_frontend * , int  ) ;
6067
6068  {
6069  {
6070#line 299
6071  priv = (struct tda18218_priv *)0;
6072#line 303
6073  __cil_tmp13 = 0 * 1UL;
6074#line 303
6075  __cil_tmp14 = (unsigned long )(def_regs) + __cil_tmp13;
6076#line 303
6077  *((u8 *)__cil_tmp14) = (u8 )192U;
6078#line 303
6079  __cil_tmp15 = 1 * 1UL;
6080#line 303
6081  __cil_tmp16 = (unsigned long )(def_regs) + __cil_tmp15;
6082#line 303
6083  *((u8 *)__cil_tmp16) = (u8 )136U;
6084#line 303
6085  __cil_tmp17 = 2 * 1UL;
6086#line 303
6087  __cil_tmp18 = (unsigned long )(def_regs) + __cil_tmp17;
6088#line 303
6089  *((u8 *)__cil_tmp18) = (u8 )0U;
6090#line 303
6091  __cil_tmp19 = 3 * 1UL;
6092#line 303
6093  __cil_tmp20 = (unsigned long )(def_regs) + __cil_tmp19;
6094#line 303
6095  *((u8 *)__cil_tmp20) = (u8 )142U;
6096#line 303
6097  __cil_tmp21 = 4 * 1UL;
6098#line 303
6099  __cil_tmp22 = (unsigned long )(def_regs) + __cil_tmp21;
6100#line 303
6101  *((u8 *)__cil_tmp22) = (u8 )3U;
6102#line 303
6103  __cil_tmp23 = 5 * 1UL;
6104#line 303
6105  __cil_tmp24 = (unsigned long )(def_regs) + __cil_tmp23;
6106#line 303
6107  *((u8 *)__cil_tmp24) = (u8 )0U;
6108#line 303
6109  __cil_tmp25 = 6 * 1UL;
6110#line 303
6111  __cil_tmp26 = (unsigned long )(def_regs) + __cil_tmp25;
6112#line 303
6113  *((u8 *)__cil_tmp26) = (u8 )0U;
6114#line 303
6115  __cil_tmp27 = 7 * 1UL;
6116#line 303
6117  __cil_tmp28 = (unsigned long )(def_regs) + __cil_tmp27;
6118#line 303
6119  *((u8 *)__cil_tmp28) = (u8 )208U;
6120#line 303
6121  __cil_tmp29 = 8 * 1UL;
6122#line 303
6123  __cil_tmp30 = (unsigned long )(def_regs) + __cil_tmp29;
6124#line 303
6125  *((u8 *)__cil_tmp30) = (u8 )0U;
6126#line 303
6127  __cil_tmp31 = 9 * 1UL;
6128#line 303
6129  __cil_tmp32 = (unsigned long )(def_regs) + __cil_tmp31;
6130#line 303
6131  *((u8 *)__cil_tmp32) = (u8 )64U;
6132#line 303
6133  __cil_tmp33 = 10 * 1UL;
6134#line 303
6135  __cil_tmp34 = (unsigned long )(def_regs) + __cil_tmp33;
6136#line 303
6137  *((u8 *)__cil_tmp34) = (u8 )0U;
6138#line 303
6139  __cil_tmp35 = 11 * 1UL;
6140#line 303
6141  __cil_tmp36 = (unsigned long )(def_regs) + __cil_tmp35;
6142#line 303
6143  *((u8 *)__cil_tmp36) = (u8 )0U;
6144#line 303
6145  __cil_tmp37 = 12 * 1UL;
6146#line 303
6147  __cil_tmp38 = (unsigned long )(def_regs) + __cil_tmp37;
6148#line 303
6149  *((u8 *)__cil_tmp38) = (u8 )7U;
6150#line 303
6151  __cil_tmp39 = 13 * 1UL;
6152#line 303
6153  __cil_tmp40 = (unsigned long )(def_regs) + __cil_tmp39;
6154#line 303
6155  *((u8 *)__cil_tmp40) = (u8 )255U;
6156#line 303
6157  __cil_tmp41 = 14 * 1UL;
6158#line 303
6159  __cil_tmp42 = (unsigned long )(def_regs) + __cil_tmp41;
6160#line 303
6161  *((u8 *)__cil_tmp42) = (u8 )132U;
6162#line 303
6163  __cil_tmp43 = 15 * 1UL;
6164#line 303
6165  __cil_tmp44 = (unsigned long )(def_regs) + __cil_tmp43;
6166#line 303
6167  *((u8 *)__cil_tmp44) = (u8 )9U;
6168#line 303
6169  __cil_tmp45 = 16 * 1UL;
6170#line 303
6171  __cil_tmp46 = (unsigned long )(def_regs) + __cil_tmp45;
6172#line 303
6173  *((u8 *)__cil_tmp46) = (u8 )0U;
6174#line 303
6175  __cil_tmp47 = 17 * 1UL;
6176#line 303
6177  __cil_tmp48 = (unsigned long )(def_regs) + __cil_tmp47;
6178#line 303
6179  *((u8 *)__cil_tmp48) = (u8 )19U;
6180#line 303
6181  __cil_tmp49 = 18 * 1UL;
6182#line 303
6183  __cil_tmp50 = (unsigned long )(def_regs) + __cil_tmp49;
6184#line 303
6185  *((u8 *)__cil_tmp50) = (u8 )0U;
6186#line 303
6187  __cil_tmp51 = 19 * 1UL;
6188#line 303
6189  __cil_tmp52 = (unsigned long )(def_regs) + __cil_tmp51;
6190#line 303
6191  *((u8 *)__cil_tmp52) = (u8 )0U;
6192#line 303
6193  __cil_tmp53 = 20 * 1UL;
6194#line 303
6195  __cil_tmp54 = (unsigned long )(def_regs) + __cil_tmp53;
6196#line 303
6197  *((u8 *)__cil_tmp54) = (u8 )1U;
6198#line 303
6199  __cil_tmp55 = 21 * 1UL;
6200#line 303
6201  __cil_tmp56 = (unsigned long )(def_regs) + __cil_tmp55;
6202#line 303
6203  *((u8 *)__cil_tmp56) = (u8 )132U;
6204#line 303
6205  __cil_tmp57 = 22 * 1UL;
6206#line 303
6207  __cil_tmp58 = (unsigned long )(def_regs) + __cil_tmp57;
6208#line 303
6209  *((u8 *)__cil_tmp58) = (u8 )9U;
6210#line 303
6211  __cil_tmp59 = 23 * 1UL;
6212#line 303
6213  __cil_tmp60 = (unsigned long )(def_regs) + __cil_tmp59;
6214#line 303
6215  *((u8 *)__cil_tmp60) = (u8 )240U;
6216#line 303
6217  __cil_tmp61 = 24 * 1UL;
6218#line 303
6219  __cil_tmp62 = (unsigned long )(def_regs) + __cil_tmp61;
6220#line 303
6221  *((u8 *)__cil_tmp62) = (u8 )25U;
6222#line 303
6223  __cil_tmp63 = 25 * 1UL;
6224#line 303
6225  __cil_tmp64 = (unsigned long )(def_regs) + __cil_tmp63;
6226#line 303
6227  *((u8 *)__cil_tmp64) = (u8 )10U;
6228#line 303
6229  __cil_tmp65 = 26 * 1UL;
6230#line 303
6231  __cil_tmp66 = (unsigned long )(def_regs) + __cil_tmp65;
6232#line 303
6233  *((u8 *)__cil_tmp66) = (u8 )142U;
6234#line 303
6235  __cil_tmp67 = 27 * 1UL;
6236#line 303
6237  __cil_tmp68 = (unsigned long )(def_regs) + __cil_tmp67;
6238#line 303
6239  *((u8 *)__cil_tmp68) = (u8 )105U;
6240#line 303
6241  __cil_tmp69 = 28 * 1UL;
6242#line 303
6243  __cil_tmp70 = (unsigned long )(def_regs) + __cil_tmp69;
6244#line 303
6245  *((u8 *)__cil_tmp70) = (u8 )152U;
6246#line 303
6247  __cil_tmp71 = 29 * 1UL;
6248#line 303
6249  __cil_tmp72 = (unsigned long )(def_regs) + __cil_tmp71;
6250#line 303
6251  *((u8 *)__cil_tmp72) = (u8 )1U;
6252#line 303
6253  __cil_tmp73 = 30 * 1UL;
6254#line 303
6255  __cil_tmp74 = (unsigned long )(def_regs) + __cil_tmp73;
6256#line 303
6257  *((u8 *)__cil_tmp74) = (u8 )0U;
6258#line 303
6259  __cil_tmp75 = 31 * 1UL;
6260#line 303
6261  __cil_tmp76 = (unsigned long )(def_regs) + __cil_tmp75;
6262#line 303
6263  *((u8 *)__cil_tmp76) = (u8 )88U;
6264#line 303
6265  __cil_tmp77 = 32 * 1UL;
6266#line 303
6267  __cil_tmp78 = (unsigned long )(def_regs) + __cil_tmp77;
6268#line 303
6269  *((u8 *)__cil_tmp78) = (u8 )16U;
6270#line 303
6271  __cil_tmp79 = 33 * 1UL;
6272#line 303
6273  __cil_tmp80 = (unsigned long )(def_regs) + __cil_tmp79;
6274#line 303
6275  *((u8 *)__cil_tmp80) = (u8 )64U;
6276#line 303
6277  __cil_tmp81 = 34 * 1UL;
6278#line 303
6279  __cil_tmp82 = (unsigned long )(def_regs) + __cil_tmp81;
6280#line 303
6281  *((u8 *)__cil_tmp82) = (u8 )140U;
6282#line 303
6283  __cil_tmp83 = 35 * 1UL;
6284#line 303
6285  __cil_tmp84 = (unsigned long )(def_regs) + __cil_tmp83;
6286#line 303
6287  *((u8 *)__cil_tmp84) = (u8 )0U;
6288#line 303
6289  __cil_tmp85 = 36 * 1UL;
6290#line 303
6291  __cil_tmp86 = (unsigned long )(def_regs) + __cil_tmp85;
6292#line 303
6293  *((u8 *)__cil_tmp86) = (u8 )12U;
6294#line 303
6295  __cil_tmp87 = 37 * 1UL;
6296#line 303
6297  __cil_tmp88 = (unsigned long )(def_regs) + __cil_tmp87;
6298#line 303
6299  *((u8 *)__cil_tmp88) = (u8 )72U;
6300#line 303
6301  __cil_tmp89 = 38 * 1UL;
6302#line 303
6303  __cil_tmp90 = (unsigned long )(def_regs) + __cil_tmp89;
6304#line 303
6305  *((u8 *)__cil_tmp90) = (u8 )133U;
6306#line 303
6307  __cil_tmp91 = 39 * 1UL;
6308#line 303
6309  __cil_tmp92 = (unsigned long )(def_regs) + __cil_tmp91;
6310#line 303
6311  *((u8 *)__cil_tmp92) = (u8 )201U;
6312#line 303
6313  __cil_tmp93 = 40 * 1UL;
6314#line 303
6315  __cil_tmp94 = (unsigned long )(def_regs) + __cil_tmp93;
6316#line 303
6317  *((u8 *)__cil_tmp94) = (u8 )167U;
6318#line 303
6319  __cil_tmp95 = 41 * 1UL;
6320#line 303
6321  __cil_tmp96 = (unsigned long )(def_regs) + __cil_tmp95;
6322#line 303
6323  *((u8 *)__cil_tmp96) = (u8 )0U;
6324#line 303
6325  __cil_tmp97 = 42 * 1UL;
6326#line 303
6327  __cil_tmp98 = (unsigned long )(def_regs) + __cil_tmp97;
6328#line 303
6329  *((u8 *)__cil_tmp98) = (u8 )0U;
6330#line 303
6331  __cil_tmp99 = 43 * 1UL;
6332#line 303
6333  __cil_tmp100 = (unsigned long )(def_regs) + __cil_tmp99;
6334#line 303
6335  *((u8 *)__cil_tmp100) = (u8 )0U;
6336#line 303
6337  __cil_tmp101 = 44 * 1UL;
6338#line 303
6339  __cil_tmp102 = (unsigned long )(def_regs) + __cil_tmp101;
6340#line 303
6341  *((u8 *)__cil_tmp102) = (u8 )48U;
6342#line 303
6343  __cil_tmp103 = 45 * 1UL;
6344#line 303
6345  __cil_tmp104 = (unsigned long )(def_regs) + __cil_tmp103;
6346#line 303
6347  *((u8 *)__cil_tmp104) = (u8 )129U;
6348#line 303
6349  __cil_tmp105 = 46 * 1UL;
6350#line 303
6351  __cil_tmp106 = (unsigned long )(def_regs) + __cil_tmp105;
6352#line 303
6353  *((u8 *)__cil_tmp106) = (u8 )128U;
6354#line 303
6355  __cil_tmp107 = 47 * 1UL;
6356#line 303
6357  __cil_tmp108 = (unsigned long )(def_regs) + __cil_tmp107;
6358#line 303
6359  *((u8 *)__cil_tmp108) = (u8 )0U;
6360#line 303
6361  __cil_tmp109 = 48 * 1UL;
6362#line 303
6363  __cil_tmp110 = (unsigned long )(def_regs) + __cil_tmp109;
6364#line 303
6365  *((u8 *)__cil_tmp110) = (u8 )57U;
6366#line 303
6367  __cil_tmp111 = 49 * 1UL;
6368#line 303
6369  __cil_tmp112 = (unsigned long )(def_regs) + __cil_tmp111;
6370#line 303
6371  *((u8 *)__cil_tmp112) = (u8 )0U;
6372#line 303
6373  __cil_tmp113 = 50 * 1UL;
6374#line 303
6375  __cil_tmp114 = (unsigned long )(def_regs) + __cil_tmp113;
6376#line 303
6377  *((u8 *)__cil_tmp114) = (u8 )138U;
6378#line 303
6379  __cil_tmp115 = 51 * 1UL;
6380#line 303
6381  __cil_tmp116 = (unsigned long )(def_regs) + __cil_tmp115;
6382#line 303
6383  *((u8 *)__cil_tmp116) = (u8 )0U;
6384#line 303
6385  __cil_tmp117 = 52 * 1UL;
6386#line 303
6387  __cil_tmp118 = (unsigned long )(def_regs) + __cil_tmp117;
6388#line 303
6389  *((u8 *)__cil_tmp118) = (u8 )0U;
6390#line 303
6391  __cil_tmp119 = 53 * 1UL;
6392#line 303
6393  __cil_tmp120 = (unsigned long )(def_regs) + __cil_tmp119;
6394#line 303
6395  *((u8 *)__cil_tmp120) = (u8 )0U;
6396#line 303
6397  __cil_tmp121 = 54 * 1UL;
6398#line 303
6399  __cil_tmp122 = (unsigned long )(def_regs) + __cil_tmp121;
6400#line 303
6401  *((u8 *)__cil_tmp122) = (u8 )0U;
6402#line 303
6403  __cil_tmp123 = 55 * 1UL;
6404#line 303
6405  __cil_tmp124 = (unsigned long )(def_regs) + __cil_tmp123;
6406#line 303
6407  *((u8 *)__cil_tmp124) = (u8 )0U;
6408#line 303
6409  __cil_tmp125 = 56 * 1UL;
6410#line 303
6411  __cil_tmp126 = (unsigned long )(def_regs) + __cil_tmp125;
6412#line 303
6413  *((u8 *)__cil_tmp126) = (u8 )0U;
6414#line 303
6415  __cil_tmp127 = 57 * 1UL;
6416#line 303
6417  __cil_tmp128 = (unsigned long )(def_regs) + __cil_tmp127;
6418#line 303
6419  *((u8 *)__cil_tmp128) = (u8 )246U;
6420#line 303
6421  __cil_tmp129 = 58 * 1UL;
6422#line 303
6423  __cil_tmp130 = (unsigned long )(def_regs) + __cil_tmp129;
6424#line 303
6425  *((u8 *)__cil_tmp130) = (u8 )246U;
6426#line 312
6427  tmp = kzalloc(80UL, 208U);
6428#line 312
6429  priv = (struct tda18218_priv *)tmp;
6430  }
6431  {
6432#line 313
6433  __cil_tmp131 = (struct tda18218_priv *)0;
6434#line 313
6435  __cil_tmp132 = (unsigned long )__cil_tmp131;
6436#line 313
6437  __cil_tmp133 = (unsigned long )priv;
6438#line 313
6439  if (__cil_tmp133 == __cil_tmp132) {
6440#line 314
6441    return ((struct dvb_frontend *)0);
6442  } else {
6443
6444  }
6445  }
6446#line 316
6447  *((struct tda18218_config **)priv) = cfg;
6448#line 317
6449  __cil_tmp134 = (unsigned long )priv;
6450#line 317
6451  __cil_tmp135 = __cil_tmp134 + 8;
6452#line 317
6453  *((struct i2c_adapter **)__cil_tmp135) = i2c;
6454#line 318
6455  __cil_tmp136 = (unsigned long )fe;
6456#line 318
6457  __cil_tmp137 = __cil_tmp136 + 768;
6458#line 318
6459  *((void **)__cil_tmp137) = (void *)priv;
6460  {
6461#line 320
6462  __cil_tmp138 = (int (*)(struct dvb_frontend * , int  ))0;
6463#line 320
6464  __cil_tmp139 = (unsigned long )__cil_tmp138;
6465#line 320
6466  __cil_tmp140 = 0 + 360;
6467#line 320
6468  __cil_tmp141 = (unsigned long )fe;
6469#line 320
6470  __cil_tmp142 = __cil_tmp141 + __cil_tmp140;
6471#line 320
6472  __cil_tmp143 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp142);
6473#line 320
6474  __cil_tmp144 = (unsigned long )__cil_tmp143;
6475#line 320
6476  if (__cil_tmp144 != __cil_tmp139) {
6477    {
6478#line 321
6479    __cil_tmp145 = 0 + 360;
6480#line 321
6481    __cil_tmp146 = (unsigned long )fe;
6482#line 321
6483    __cil_tmp147 = __cil_tmp146 + __cil_tmp145;
6484#line 321
6485    __cil_tmp148 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp147);
6486#line 321
6487    (*__cil_tmp148)(fe, 1);
6488    }
6489  } else {
6490
6491  }
6492  }
6493  {
6494#line 324
6495  __cil_tmp149 = (u8 )0;
6496#line 324
6497  ret = tda18218_rd_reg(priv, __cil_tmp149, & val);
6498  }
6499  {
6500#line 325
6501  __cil_tmp150 = & debug;
6502#line 325
6503  __cil_tmp151 = *__cil_tmp150;
6504#line 325
6505  if (__cil_tmp151 != 0) {
6506    {
6507#line 325
6508    __cil_tmp152 = & val;
6509#line 325
6510    __cil_tmp153 = *__cil_tmp152;
6511#line 325
6512    __cil_tmp154 = (int )__cil_tmp153;
6513#line 325
6514    printk("<7>tda18218: %s: ret:%d chip ID:%02x\n", "tda18218_attach", ret, __cil_tmp154);
6515    }
6516  } else {
6517
6518  }
6519  }
6520#line 326
6521  if (ret != 0) {
6522    {
6523#line 327
6524    __cil_tmp155 = (void const   *)priv;
6525#line 327
6526    kfree(__cil_tmp155);
6527    }
6528#line 328
6529    return ((struct dvb_frontend *)0);
6530  } else {
6531    {
6532#line 326
6533    __cil_tmp156 = & val;
6534#line 326
6535    __cil_tmp157 = *__cil_tmp156;
6536#line 326
6537    __cil_tmp158 = (int )__cil_tmp157;
6538#line 326
6539    __cil_tmp159 = 0 * 1UL;
6540#line 326
6541    __cil_tmp160 = (unsigned long )(def_regs) + __cil_tmp159;
6542#line 326
6543    __cil_tmp161 = *((u8 *)__cil_tmp160);
6544#line 326
6545    __cil_tmp162 = (int )__cil_tmp161;
6546#line 326
6547    if (__cil_tmp162 != __cil_tmp158) {
6548      {
6549#line 327
6550      __cil_tmp163 = (void const   *)priv;
6551#line 327
6552      kfree(__cil_tmp163);
6553      }
6554#line 328
6555      return ((struct dvb_frontend *)0);
6556    } else {
6557
6558    }
6559    }
6560  }
6561  {
6562#line 331
6563  printk("<6>tda18218: NXP TDA18218HN successfully identified.\n");
6564#line 333
6565  __len = 280UL;
6566  }
6567#line 333
6568  if (__len > 63UL) {
6569    {
6570#line 333
6571    __cil_tmp164 = 0 + 384;
6572#line 333
6573    __cil_tmp165 = (unsigned long )fe;
6574#line 333
6575    __cil_tmp166 = __cil_tmp165 + __cil_tmp164;
6576#line 333
6577    __cil_tmp167 = (struct dvb_tuner_ops *)__cil_tmp166;
6578#line 333
6579    __cil_tmp168 = (void *)__cil_tmp167;
6580#line 333
6581    __cil_tmp169 = (void const   *)(& tda18218_tuner_ops);
6582#line 333
6583    __ret = __memcpy(__cil_tmp168, __cil_tmp169, __len);
6584    }
6585  } else {
6586    {
6587#line 333
6588    __cil_tmp170 = 0 + 384;
6589#line 333
6590    __cil_tmp171 = (unsigned long )fe;
6591#line 333
6592    __cil_tmp172 = __cil_tmp171 + __cil_tmp170;
6593#line 333
6594    __cil_tmp173 = (struct dvb_tuner_ops *)__cil_tmp172;
6595#line 333
6596    __cil_tmp174 = (void *)__cil_tmp173;
6597#line 333
6598    __cil_tmp175 = (void const   *)(& tda18218_tuner_ops);
6599#line 333
6600    __ret = __builtin_memcpy(__cil_tmp174, __cil_tmp175, __len);
6601    }
6602  }
6603#line 335
6604  __len___0 = 59UL;
6605#line 335
6606  if (__len___0 > 63UL) {
6607    {
6608#line 335
6609    __cil_tmp176 = (unsigned long )priv;
6610#line 335
6611    __cil_tmp177 = __cil_tmp176 + 20;
6612#line 335
6613    __cil_tmp178 = (u8 (*)[59U])__cil_tmp177;
6614#line 335
6615    __cil_tmp179 = (void *)__cil_tmp178;
6616#line 335
6617    __cil_tmp180 = (void const   *)(& def_regs);
6618#line 335
6619    __ret___0 = __memcpy(__cil_tmp179, __cil_tmp180, __len___0);
6620    }
6621  } else {
6622    {
6623#line 335
6624    __cil_tmp181 = (unsigned long )priv;
6625#line 335
6626    __cil_tmp182 = __cil_tmp181 + 20;
6627#line 335
6628    __cil_tmp183 = (u8 (*)[59U])__cil_tmp182;
6629#line 335
6630    __cil_tmp184 = (void *)__cil_tmp183;
6631#line 335
6632    __cil_tmp185 = (void const   *)(& def_regs);
6633#line 335
6634    __ret___0 = __builtin_memcpy(__cil_tmp184, __cil_tmp185, __len___0);
6635    }
6636  }
6637  {
6638#line 338
6639  __cil_tmp186 = *((struct tda18218_config **)priv);
6640#line 338
6641  __cil_tmp187 = (unsigned char *)__cil_tmp186;
6642#line 338
6643  __cil_tmp188 = __cil_tmp187 + 2UL;
6644#line 338
6645  __cil_tmp189 = *__cil_tmp188;
6646#line 338
6647  __cil_tmp190 = (unsigned int )__cil_tmp189;
6648#line 338
6649  if (__cil_tmp190 != 0U) {
6650#line 339
6651    __cil_tmp191 = 23 * 1UL;
6652#line 339
6653    __cil_tmp192 = 20 + __cil_tmp191;
6654#line 339
6655    __cil_tmp193 = (unsigned long )priv;
6656#line 339
6657    __cil_tmp194 = __cil_tmp193 + __cil_tmp192;
6658#line 339
6659    *((u8 *)__cil_tmp194) = (u8 )176U;
6660#line 340
6661    __cil_tmp195 = 24 * 1UL;
6662#line 340
6663    __cil_tmp196 = 20 + __cil_tmp195;
6664#line 340
6665    __cil_tmp197 = (unsigned long )priv;
6666#line 340
6667    __cil_tmp198 = __cil_tmp197 + __cil_tmp196;
6668#line 340
6669    *((u8 *)__cil_tmp198) = (u8 )89U;
6670  } else {
6671
6672  }
6673  }
6674  {
6675#line 344
6676  __cil_tmp199 = (u8 )23;
6677#line 344
6678  __cil_tmp200 = 23 * 1UL;
6679#line 344
6680  __cil_tmp201 = 20 + __cil_tmp200;
6681#line 344
6682  __cil_tmp202 = (unsigned long )priv;
6683#line 344
6684  __cil_tmp203 = __cil_tmp202 + __cil_tmp201;
6685#line 344
6686  __cil_tmp204 = *((u8 *)__cil_tmp203);
6687#line 344
6688  __cil_tmp205 = (unsigned int )__cil_tmp204;
6689#line 344
6690  __cil_tmp206 = __cil_tmp205 | 1U;
6691#line 344
6692  __cil_tmp207 = (int )__cil_tmp206;
6693#line 344
6694  __cil_tmp208 = (u8 )__cil_tmp207;
6695#line 344
6696  ret = tda18218_wr_reg(priv, __cil_tmp199, __cil_tmp208);
6697  }
6698#line 345
6699  if (ret != 0) {
6700    {
6701#line 346
6702    __cil_tmp209 = & debug;
6703#line 346
6704    __cil_tmp210 = *__cil_tmp209;
6705#line 346
6706    if (__cil_tmp210 != 0) {
6707      {
6708#line 346
6709      printk("<7>tda18218: %s: failed ret:%d\n", "tda18218_attach", ret);
6710      }
6711    } else {
6712
6713    }
6714    }
6715  } else {
6716
6717  }
6718  {
6719#line 348
6720  __cil_tmp211 = (int (*)(struct dvb_frontend * , int  ))0;
6721#line 348
6722  __cil_tmp212 = (unsigned long )__cil_tmp211;
6723#line 348
6724  __cil_tmp213 = 0 + 360;
6725#line 348
6726  __cil_tmp214 = (unsigned long )fe;
6727#line 348
6728  __cil_tmp215 = __cil_tmp214 + __cil_tmp213;
6729#line 348
6730  __cil_tmp216 = *((int (**)(struct dvb_frontend * , int  ))__cil_tmp215);
6731#line 348
6732  __cil_tmp217 = (unsigned long )__cil_tmp216;
6733#line 348
6734  if (__cil_tmp217 != __cil_tmp212) {
6735    {
6736#line 349
6737    __cil_tmp218 = 0 + 360;
6738#line 349
6739    __cil_tmp219 = (unsigned long )fe;
6740