Showing error 229

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


Source:

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