Showing error 325

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