Showing error 369

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


Source:

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