Showing error 953

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 9184
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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