Showing error 330

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