Showing error 944

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


Source:

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