Showing error 329

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 6548
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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