Showing error 359

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


Source:

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