Showing error 816

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