ClabureDB: Classified Bug-Reports Database

   /* Generated by CIL v. 1.3.7 */
   /* print_CIL_Input is true */
   
   #line 23 "include/asm-generic/int-ll64.h"
   typedef unsigned short __u16;
   #line 26 "include/asm-generic/int-ll64.h"
   typedef unsigned int __u32;
   #line 30 "include/asm-generic/int-ll64.h"
   typedef unsigned long long __u64;
  #line 43 "include/asm-generic/int-ll64.h"
  typedef unsigned char u8;
  #line 45 "include/asm-generic/int-ll64.h"
  typedef short s16;
  #line 46 "include/asm-generic/int-ll64.h"
  typedef unsigned short u16;
  #line 49 "include/asm-generic/int-ll64.h"
  typedef unsigned int u32;
  #line 51 "include/asm-generic/int-ll64.h"
  typedef long long s64;
  #line 52 "include/asm-generic/int-ll64.h"
  typedef unsigned long long u64;
  #line 14 "include/asm-generic/posix_types.h"
  typedef long __kernel_long_t;
  #line 15 "include/asm-generic/posix_types.h"
  typedef unsigned long __kernel_ulong_t;
  #line 75 "include/asm-generic/posix_types.h"
  typedef __kernel_ulong_t __kernel_size_t;
  #line 76 "include/asm-generic/posix_types.h"
  typedef __kernel_long_t __kernel_ssize_t;
  #line 91 "include/asm-generic/posix_types.h"
  typedef long long __kernel_loff_t;
  #line 21 "include/linux/types.h"
  typedef __u32 __kernel_dev_t;
  #line 24 "include/linux/types.h"
  typedef __kernel_dev_t dev_t;
  #line 27 "include/linux/types.h"
  typedef unsigned short umode_t;
  #line 38 "include/linux/types.h"
  typedef _Bool bool;
  #line 54 "include/linux/types.h"
  typedef __kernel_loff_t loff_t;
  #line 63 "include/linux/types.h"
  typedef __kernel_size_t size_t;
  #line 68 "include/linux/types.h"
  typedef __kernel_ssize_t ssize_t;
  #line 202 "include/linux/types.h"
  typedef unsigned int gfp_t;
  #line 219 "include/linux/types.h"
  struct __anonstruct_atomic_t_7 {
     int counter ;
  };
  #line 219 "include/linux/types.h"
  typedef struct __anonstruct_atomic_t_7 atomic_t;
  #line 224 "include/linux/types.h"
  struct __anonstruct_atomic64_t_8 {
     long counter ;
  };
  #line 224 "include/linux/types.h"
  typedef struct __anonstruct_atomic64_t_8 atomic64_t;
  #line 229 "include/linux/types.h"
  struct list_head {
     struct list_head *next ;
     struct list_head *prev ;
  };
  #line 233
  struct hlist_node;
  #line 233 "include/linux/types.h"
  struct hlist_head {
     struct hlist_node *first ;
  };
  #line 237 "include/linux/types.h"
  struct hlist_node {
     struct hlist_node *next ;
     struct hlist_node **pprev ;
  };
  #line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
  struct module;
  #line 56
  struct module;
  #line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
  struct page;
  #line 18
  struct page;
  #line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
  struct task_struct;
  #line 20
  struct task_struct;
  #line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  struct task_struct;
  #line 8
  struct mm_struct;
  #line 8
  struct mm_struct;
  #line 146 "include/linux/init.h"
  typedef void (*ctor_fn_t)(void);
  #line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
  typedef unsigned long pgdval_t;
  #line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
  typedef unsigned long pgprotval_t;
 #line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 struct pgprot {
    pgprotval_t pgprot ;
 };
 #line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 typedef struct pgprot pgprot_t;
 #line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 struct __anonstruct_pgd_t_19 {
    pgdval_t pgd ;
 };
 #line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 typedef struct __anonstruct_pgd_t_19 pgd_t;
 #line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 typedef struct page *pgtable_t;
 #line 295
 struct file;
 #line 295
 struct file;
 #line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
 struct page;
 #line 50
 struct mm_struct;
 #line 52
 struct task_struct;
 #line 53
 struct cpumask;
 #line 53
 struct cpumask;
 #line 329
 struct arch_spinlock;
 #line 329
 struct arch_spinlock;
 #line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 struct task_struct;
 #line 47 "include/linux/dynamic_debug.h"
 struct device;
 #line 47
 struct device;
 #line 135 "include/linux/kernel.h"
 struct completion;
 #line 135
 struct completion;
 #line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
 struct task_struct;
 #line 10 "include/asm-generic/bug.h"
 struct bug_entry {
    int bug_addr_disp ;
    int file_disp ;
    unsigned short line ;
    unsigned short flags ;
 };
 #line 14 "include/linux/cpumask.h"
 struct cpumask {
    unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
 };
 #line 637 "include/linux/cpumask.h"
 typedef struct cpumask *cpumask_var_t;
 #line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
 struct static_key;
 #line 234
 struct static_key;
 #line 433 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 struct kmem_cache;
 #line 23 "include/asm-generic/atomic-long.h"
 typedef atomic64_t atomic_long_t;
 #line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 typedef u16 __ticket_t;
 #line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 typedef u32 __ticketpair_t;
 #line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 struct __raw_tickets {
    __ticket_t head ;
    __ticket_t tail ;
 };
 #line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 union __anonunion____missing_field_name_36 {
    __ticketpair_t head_tail ;
    struct __raw_tickets tickets ;
 };
 #line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 struct arch_spinlock {
    union __anonunion____missing_field_name_36 __annonCompField17 ;
 };
 #line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 typedef struct arch_spinlock arch_spinlock_t;
 #line 12 "include/linux/lockdep.h"
 struct task_struct;
 #line 20 "include/linux/spinlock_types.h"
 struct raw_spinlock {
    arch_spinlock_t raw_lock ;
    unsigned int magic ;
    unsigned int owner_cpu ;
    void *owner ;
 };
 #line 20 "include/linux/spinlock_types.h"
 typedef struct raw_spinlock raw_spinlock_t;
 #line 64 "include/linux/spinlock_types.h"
 union __anonunion____missing_field_name_39 {
    struct raw_spinlock rlock ;
 };
 #line 64 "include/linux/spinlock_types.h"
 struct spinlock {
    union __anonunion____missing_field_name_39 __annonCompField19 ;
 };
 #line 64 "include/linux/spinlock_types.h"
 typedef struct spinlock spinlock_t;
 #line 49 "include/linux/wait.h"
 struct __wait_queue_head {
    spinlock_t lock ;
    struct list_head task_list ;
 };
 #line 53 "include/linux/wait.h"
 typedef struct __wait_queue_head wait_queue_head_t;
 #line 55
 struct task_struct;
 #line 98 "include/linux/nodemask.h"
 struct __anonstruct_nodemask_t_42 {
    unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
 };
 #line 98 "include/linux/nodemask.h"
 typedef struct __anonstruct_nodemask_t_42 nodemask_t;
 #line 60 "include/linux/pageblock-flags.h"
 struct page;
 #line 48 "include/linux/mutex.h"
 struct mutex {
    atomic_t count ;
    spinlock_t wait_lock ;
    struct list_head wait_list ;
    struct task_struct *owner ;
    char const   *name ;
    void *magic ;
 };
 #line 19 "include/linux/rwsem.h"
 struct rw_semaphore;
 #line 19
 struct rw_semaphore;
 #line 25 "include/linux/rwsem.h"
 struct rw_semaphore {
    long count ;
    raw_spinlock_t wait_lock ;
    struct list_head wait_list ;
 };
 #line 25 "include/linux/completion.h"
 struct completion {
    unsigned int done ;
    wait_queue_head_t wait ;
 };
 #line 9 "include/linux/memory_hotplug.h"
 struct page;
 #line 202 "include/linux/ioport.h"
 struct device;
 #line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
 struct device;
 #line 46 "include/linux/ktime.h"
 union ktime {
    s64 tv64 ;
 };
 #line 59 "include/linux/ktime.h"
 typedef union ktime ktime_t;
 #line 10 "include/linux/timer.h"
 struct tvec_base;
 #line 10
 struct tvec_base;
 #line 12 "include/linux/timer.h"
 struct timer_list {
    struct list_head entry ;
    unsigned long expires ;
    struct tvec_base *base ;
    void (*function)(unsigned long  ) ;
    unsigned long data ;
    int slack ;
    int start_pid ;
    void *start_site ;
    char start_comm[16] ;
 };
 #line 17 "include/linux/workqueue.h"
 struct work_struct;
 #line 17
 struct work_struct;
 #line 79 "include/linux/workqueue.h"
 struct work_struct {
    atomic_long_t data ;
    struct list_head entry ;
    void (*func)(struct work_struct *work ) ;
 };
 #line 42 "include/linux/pm.h"
 struct device;
 #line 50 "include/linux/pm.h"
 struct pm_message {
    int event ;
 };
 #line 50 "include/linux/pm.h"
 typedef struct pm_message pm_message_t;
 #line 264 "include/linux/pm.h"
 struct dev_pm_ops {
    int (*prepare)(struct device *dev ) ;
    void (*complete)(struct device *dev ) ;
    int (*suspend)(struct device *dev ) ;
    int (*resume)(struct device *dev ) ;
    int (*freeze)(struct device *dev ) ;
    int (*thaw)(struct device *dev ) ;
    int (*poweroff)(struct device *dev ) ;
    int (*restore)(struct device *dev ) ;
    int (*suspend_late)(struct device *dev ) ;
    int (*resume_early)(struct device *dev ) ;
    int (*freeze_late)(struct device *dev ) ;
    int (*thaw_early)(struct device *dev ) ;
    int (*poweroff_late)(struct device *dev ) ;
    int (*restore_early)(struct device *dev ) ;
    int (*suspend_noirq)(struct device *dev ) ;
    int (*resume_noirq)(struct device *dev ) ;
    int (*freeze_noirq)(struct device *dev ) ;
    int (*thaw_noirq)(struct device *dev ) ;
    int (*poweroff_noirq)(struct device *dev ) ;
    int (*restore_noirq)(struct device *dev ) ;
    int (*runtime_suspend)(struct device *dev ) ;
    int (*runtime_resume)(struct device *dev ) ;
    int (*runtime_idle)(struct device *dev ) ;
 };
 #line 458
 enum rpm_status {
     RPM_ACTIVE = 0,
     RPM_RESUMING = 1,
     RPM_SUSPENDED = 2,
     RPM_SUSPENDING = 3
 } ;
 #line 480
 enum rpm_request {
     RPM_REQ_NONE = 0,
     RPM_REQ_IDLE = 1,
     RPM_REQ_SUSPEND = 2,
     RPM_REQ_AUTOSUSPEND = 3,
     RPM_REQ_RESUME = 4
 } ;
 #line 488
 struct wakeup_source;
 #line 488
 struct wakeup_source;
 #line 495 "include/linux/pm.h"
 struct pm_subsys_data {
    spinlock_t lock ;
    unsigned int refcount ;
 };
 #line 506
 struct dev_pm_qos_request;
 #line 506
 struct pm_qos_constraints;
 #line 506 "include/linux/pm.h"
 struct dev_pm_info {
    pm_message_t power_state ;
    unsigned int can_wakeup : 1 ;
    unsigned int async_suspend : 1 ;
    bool is_prepared : 1 ;
    bool is_suspended : 1 ;
    bool ignore_children : 1 ;
    spinlock_t lock ;
    struct list_head entry ;
    struct completion completion ;
    struct wakeup_source *wakeup ;
    bool wakeup_path : 1 ;
    struct timer_list suspend_timer ;
    unsigned long timer_expires ;
    struct work_struct work ;
    wait_queue_head_t wait_queue ;
    atomic_t usage_count ;
    atomic_t child_count ;
    unsigned int disable_depth : 3 ;
    unsigned int idle_notification : 1 ;
    unsigned int request_pending : 1 ;
    unsigned int deferred_resume : 1 ;
    unsigned int run_wake : 1 ;
    unsigned int runtime_auto : 1 ;
    unsigned int no_callbacks : 1 ;
    unsigned int irq_safe : 1 ;
    unsigned int use_autosuspend : 1 ;
    unsigned int timer_autosuspends : 1 ;
    enum rpm_request request ;
    enum rpm_status runtime_status ;
    int runtime_error ;
    int autosuspend_delay ;
    unsigned long last_busy ;
    unsigned long active_jiffies ;
    unsigned long suspended_jiffies ;
    unsigned long accounting_timestamp ;
    ktime_t suspend_time ;
    s64 max_time_suspended_ns ;
    struct dev_pm_qos_request *pq_req ;
    struct pm_subsys_data *subsys_data ;
    struct pm_qos_constraints *constraints ;
 };
 #line 564 "include/linux/pm.h"
 struct dev_pm_domain {
    struct dev_pm_ops ops ;
 };
 #line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
 struct __anonstruct_mm_context_t_112 {
    void *ldt ;
    int size ;
    unsigned short ia32_compat ;
    struct mutex lock ;
    void *vdso ;
 };
 #line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
 typedef struct __anonstruct_mm_context_t_112 mm_context_t;
 #line 8 "include/linux/vmalloc.h"
 struct vm_area_struct;
 #line 8
 struct vm_area_struct;
 #line 994 "include/linux/mmzone.h"
 struct page;
 #line 10 "include/linux/gfp.h"
 struct vm_area_struct;
 #line 20 "include/linux/kobject_ns.h"
 struct sock;
 #line 20
 struct sock;
 #line 21
 struct kobject;
 #line 21
 struct kobject;
 #line 27
 enum kobj_ns_type {
     KOBJ_NS_TYPE_NONE = 0,
     KOBJ_NS_TYPE_NET = 1,
     KOBJ_NS_TYPES = 2
 } ;
 #line 40 "include/linux/kobject_ns.h"
 struct kobj_ns_type_operations {
    enum kobj_ns_type type ;
    void *(*grab_current_ns)(void) ;
    void const   *(*netlink_ns)(struct sock *sk ) ;
    void const   *(*initial_ns)(void) ;
    void (*drop_ns)(void * ) ;
 };
 #line 22 "include/linux/sysfs.h"
 struct kobject;
 #line 23
 struct module;
 #line 24
 enum kobj_ns_type;
 #line 26 "include/linux/sysfs.h"
 struct attribute {
    char const   *name ;
    umode_t mode ;
 };
 #line 56 "include/linux/sysfs.h"
 struct attribute_group {
    char const   *name ;
    umode_t (*is_visible)(struct kobject * , struct attribute * , int  ) ;
    struct attribute **attrs ;
 };
 #line 85
 struct file;
 #line 86
 struct vm_area_struct;
 #line 88 "include/linux/sysfs.h"
 struct bin_attribute {
    struct attribute attr ;
    size_t size ;
    void *private ;
    ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
                    loff_t  , size_t  ) ;
    ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
                     loff_t  , size_t  ) ;
    int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
 };
 #line 112 "include/linux/sysfs.h"
 struct sysfs_ops {
    ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
    ssize_t (*store)(struct kobject * , struct attribute * , char const   * , size_t  ) ;
    void const   *(*namespace)(struct kobject * , struct attribute  const  * ) ;
 };
 #line 118
 struct sysfs_dirent;
 #line 118
 struct sysfs_dirent;
 #line 22 "include/linux/kref.h"
 struct kref {
    atomic_t refcount ;
 };
 #line 60 "include/linux/kobject.h"
 struct kset;
 #line 60
 struct kobj_type;
 #line 60 "include/linux/kobject.h"
 struct kobject {
    char const   *name ;
    struct list_head entry ;
    struct kobject *parent ;
    struct kset *kset ;
    struct kobj_type *ktype ;
    struct sysfs_dirent *sd ;
    struct kref kref ;
    unsigned int state_initialized : 1 ;
    unsigned int state_in_sysfs : 1 ;
    unsigned int state_add_uevent_sent : 1 ;
    unsigned int state_remove_uevent_sent : 1 ;
    unsigned int uevent_suppress : 1 ;
 };
 #line 108 "include/linux/kobject.h"
 struct kobj_type {
    void (*release)(struct kobject *kobj ) ;
    struct sysfs_ops  const  *sysfs_ops ;
    struct attribute **default_attrs ;
    struct kobj_ns_type_operations  const  *(*child_ns_type)(struct kobject *kobj ) ;
    void const   *(*namespace)(struct kobject *kobj ) ;
 };
 #line 116 "include/linux/kobject.h"
 struct kobj_uevent_env {
    char *envp[32] ;
    int envp_idx ;
    char buf[2048] ;
    int buflen ;
 };
 #line 123 "include/linux/kobject.h"
 struct kset_uevent_ops {
    int (* const  filter)(struct kset *kset , struct kobject *kobj ) ;
    char const   *(* const  name)(struct kset *kset , struct kobject *kobj ) ;
    int (* const  uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
 };
 #line 140
 struct sock;
 #line 159 "include/linux/kobject.h"
 struct kset {
    struct list_head list ;
    spinlock_t list_lock ;
    struct kobject kobj ;
    struct kset_uevent_ops  const  *uevent_ops ;
 };
 #line 46 "include/linux/slub_def.h"
 struct kmem_cache_cpu {
    void **freelist ;
    unsigned long tid ;
    struct page *page ;
    struct page *partial ;
    int node ;
    unsigned int stat[26] ;
 };
 #line 57 "include/linux/slub_def.h"
 struct kmem_cache_node {
    spinlock_t list_lock ;
    unsigned long nr_partial ;
    struct list_head partial ;
    atomic_long_t nr_slabs ;
    atomic_long_t total_objects ;
    struct list_head full ;
 };
 #line 73 "include/linux/slub_def.h"
 struct kmem_cache_order_objects {
    unsigned long x ;
 };
 #line 80 "include/linux/slub_def.h"
 struct kmem_cache {
    struct kmem_cache_cpu *cpu_slab ;
    unsigned long flags ;
    unsigned long min_partial ;
    int size ;
    int objsize ;
    int offset ;
    int cpu_partial ;
    struct kmem_cache_order_objects oo ;
    struct kmem_cache_order_objects max ;
    struct kmem_cache_order_objects min ;
    gfp_t allocflags ;
    int refcount ;
    void (*ctor)(void * ) ;
    int inuse ;
    int align ;
    int reserved ;
    char const   *name ;
    struct list_head list ;
    struct kobject kobj ;
    int remote_node_defrag_ratio ;
    struct kmem_cache_node *node[1 << 10] ;
 };
 #line 29 "include/linux/sysctl.h"
 struct completion;
 #line 100 "include/linux/rbtree.h"
 struct rb_node {
    unsigned long rb_parent_color ;
    struct rb_node *rb_right ;
    struct rb_node *rb_left ;
 } __attribute__((__aligned__(sizeof(long )))) ;
 #line 110 "include/linux/rbtree.h"
 struct rb_root {
    struct rb_node *rb_node ;
 };
 #line 49 "include/linux/kmod.h"
 struct file;
 #line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
 struct task_struct;
 #line 18 "include/linux/elf.h"
 typedef __u64 Elf64_Addr;
 #line 19 "include/linux/elf.h"
 typedef __u16 Elf64_Half;
 #line 23 "include/linux/elf.h"
 typedef __u32 Elf64_Word;
 #line 24 "include/linux/elf.h"
 typedef __u64 Elf64_Xword;
 #line 194 "include/linux/elf.h"
 struct elf64_sym {
    Elf64_Word st_name ;
    unsigned char st_info ;
    unsigned char st_other ;
    Elf64_Half st_shndx ;
    Elf64_Addr st_value ;
    Elf64_Xword st_size ;
 };
 #line 194 "include/linux/elf.h"
 typedef struct elf64_sym Elf64_Sym;
 #line 438
 struct file;
 #line 39 "include/linux/moduleparam.h"
 struct kernel_param;
 #line 39
 struct kernel_param;
 #line 41 "include/linux/moduleparam.h"
 struct kernel_param_ops {
    int (*set)(char const   *val , struct kernel_param  const  *kp ) ;
    int (*get)(char *buffer , struct kernel_param  const  *kp ) ;
    void (*free)(void *arg ) ;
 };
 #line 50
 struct kparam_string;
 #line 50
 struct kparam_array;
 #line 50 "include/linux/moduleparam.h"
 union __anonunion____missing_field_name_199 {
    void *arg ;
    struct kparam_string  const  *str ;
    struct kparam_array  const  *arr ;
 };
 #line 50 "include/linux/moduleparam.h"
 struct kernel_param {
    char const   *name ;
    struct kernel_param_ops  const  *ops ;
    u16 perm ;
    s16 level ;
    union __anonunion____missing_field_name_199 __annonCompField32 ;
 };
 #line 63 "include/linux/moduleparam.h"
 struct kparam_string {
    unsigned int maxlen ;
    char *string ;
 };
 #line 69 "include/linux/moduleparam.h"
 struct kparam_array {
    unsigned int max ;
    unsigned int elemsize ;
    unsigned int *num ;
    struct kernel_param_ops  const  *ops ;
    void *elem ;
 };
 #line 445
 struct module;
 #line 80 "include/linux/jump_label.h"
 struct module;
 #line 143 "include/linux/jump_label.h"
 struct static_key {
    atomic_t enabled ;
 };
 #line 22 "include/linux/tracepoint.h"
 struct module;
 #line 23
 struct tracepoint;
 #line 23
 struct tracepoint;
 #line 25 "include/linux/tracepoint.h"
 struct tracepoint_func {
    void *func ;
    void *data ;
 };
 #line 30 "include/linux/tracepoint.h"
 struct tracepoint {
    char const   *name ;
    struct static_key key ;
    void (*regfunc)(void) ;
    void (*unregfunc)(void) ;
    struct tracepoint_func *funcs ;
 };
 #line 19 "include/linux/export.h"
 struct kernel_symbol {
    unsigned long value ;
    char const   *name ;
 };
 #line 8 "include/asm-generic/module.h"
 struct mod_arch_specific {
 
 };
 #line 35 "include/linux/module.h"
 struct module;
 #line 37
 struct module_param_attrs;
 #line 37 "include/linux/module.h"
 struct module_kobject {
    struct kobject kobj ;
    struct module *mod ;
    struct kobject *drivers_dir ;
    struct module_param_attrs *mp ;
 };
 #line 44 "include/linux/module.h"
 struct module_attribute {
    struct attribute attr ;
    ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
    ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const   * ,
                     size_t count ) ;
    void (*setup)(struct module * , char const   * ) ;
    int (*test)(struct module * ) ;
    void (*free)(struct module * ) ;
 };
 #line 71
 struct exception_table_entry;
 #line 71
 struct exception_table_entry;
 #line 199
 enum module_state {
     MODULE_STATE_LIVE = 0,
     MODULE_STATE_COMING = 1,
     MODULE_STATE_GOING = 2
 } ;
 #line 215 "include/linux/module.h"
 struct module_ref {
    unsigned long incs ;
    unsigned long decs ;
 } __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
 #line 220
 struct module_sect_attrs;
 #line 220
 struct module_notes_attrs;
 #line 220
 struct ftrace_event_call;
 #line 220 "include/linux/module.h"
 struct module {
    enum module_state state ;
    struct list_head list ;
    char name[64UL - sizeof(unsigned long )] ;
    struct module_kobject mkobj ;
    struct module_attribute *modinfo_attrs ;
    char const   *version ;
    char const   *srcversion ;
    struct kobject *holders_dir ;
    struct kernel_symbol  const  *syms ;
    unsigned long const   *crcs ;
    unsigned int num_syms ;
    struct kernel_param *kp ;
    unsigned int num_kp ;
    unsigned int num_gpl_syms ;
    struct kernel_symbol  const  *gpl_syms ;
    unsigned long const   *gpl_crcs ;
    struct kernel_symbol  const  *unused_syms ;
    unsigned long const   *unused_crcs ;
    unsigned int num_unused_syms ;
    unsigned int num_unused_gpl_syms ;
    struct kernel_symbol  const  *unused_gpl_syms ;
    unsigned long const   *unused_gpl_crcs ;
    struct kernel_symbol  const  *gpl_future_syms ;
    unsigned long const   *gpl_future_crcs ;
    unsigned int num_gpl_future_syms ;
    unsigned int num_exentries ;
    struct exception_table_entry *extable ;
    int (*init)(void) ;
    void *module_init ;
    void *module_core ;
    unsigned int init_size ;
    unsigned int core_size ;
    unsigned int init_text_size ;
    unsigned int core_text_size ;
    unsigned int init_ro_size ;
    unsigned int core_ro_size ;
    struct mod_arch_specific arch ;
    unsigned int taints ;
    unsigned int num_bugs ;
    struct list_head bug_list ;
    struct bug_entry *bug_table ;
    Elf64_Sym *symtab ;
    Elf64_Sym *core_symtab ;
    unsigned int num_symtab ;
    unsigned int core_num_syms ;
    char *strtab ;
    char *core_strtab ;
    struct module_sect_attrs *sect_attrs ;
    struct module_notes_attrs *notes_attrs ;
    char *args ;
    void *percpu ;
    unsigned int percpu_size ;
    unsigned int num_tracepoints ;
    struct tracepoint * const  *tracepoints_ptrs ;
    unsigned int num_trace_bprintk_fmt ;
    char const   **trace_bprintk_fmt_start ;
    struct ftrace_event_call **trace_events ;
    unsigned int num_trace_events ;
    struct list_head source_list ;
    struct list_head target_list ;
    struct task_struct *waiter ;
    void (*exit)(void) ;
    struct module_ref *refptr ;
    ctor_fn_t *ctors ;
    unsigned int num_ctors ;
 };
 #line 19 "include/linux/klist.h"
 struct klist_node;
 #line 19
 struct klist_node;
 #line 39 "include/linux/klist.h"
 struct klist_node {
    void *n_klist ;
    struct list_head n_node ;
    struct kref n_ref ;
 };
 #line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
 struct dma_map_ops;
 #line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
 struct dev_archdata {
    void *acpi_handle ;
    struct dma_map_ops *dma_ops ;
    void *iommu ;
 };
 #line 28 "include/linux/device.h"
 struct device;
 #line 29
 struct device_private;
 #line 29
 struct device_private;
 #line 30
 struct device_driver;
 #line 30
 struct device_driver;
 #line 31
 struct driver_private;
 #line 31
 struct driver_private;
 #line 32
 struct module;
 #line 33
 struct class;
 #line 33
 struct class;
 #line 34
 struct subsys_private;
 #line 34
 struct subsys_private;
 #line 35
 struct bus_type;
 #line 35
 struct bus_type;
 #line 36
 struct device_node;
 #line 36
 struct device_node;
 #line 37
 struct iommu_ops;
 #line 37
 struct iommu_ops;
 #line 39 "include/linux/device.h"
 struct bus_attribute {
    struct attribute attr ;
    ssize_t (*show)(struct bus_type *bus , char *buf ) ;
    ssize_t (*store)(struct bus_type *bus , char const   *buf , size_t count ) ;
 };
 #line 89
 struct device_attribute;
 #line 89
 struct driver_attribute;
 #line 89 "include/linux/device.h"
 struct bus_type {
    char const   *name ;
    char const   *dev_name ;
    struct device *dev_root ;
    struct bus_attribute *bus_attrs ;
    struct device_attribute *dev_attrs ;
    struct driver_attribute *drv_attrs ;
    int (*match)(struct device *dev , struct device_driver *drv ) ;
    int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
    int (*probe)(struct device *dev ) ;
    int (*remove)(struct device *dev ) ;
    void (*shutdown)(struct device *dev ) ;
    int (*suspend)(struct device *dev , pm_message_t state ) ;
    int (*resume)(struct device *dev ) ;
    struct dev_pm_ops  const  *pm ;
    struct iommu_ops *iommu_ops ;
    struct subsys_private *p ;
 };
 #line 127
 struct device_type;
 #line 214
 struct of_device_id;
 #line 214 "include/linux/device.h"
 struct device_driver {
    char const   *name ;
    struct bus_type *bus ;
    struct module *owner ;
    char const   *mod_name ;
    bool suppress_bind_attrs ;
    struct of_device_id  const  *of_match_table ;
    int (*probe)(struct device *dev ) ;
    int (*remove)(struct device *dev ) ;
    void (*shutdown)(struct device *dev ) ;
    int (*suspend)(struct device *dev , pm_message_t state ) ;
    int (*resume)(struct device *dev ) ;
    struct attribute_group  const  **groups ;
    struct dev_pm_ops  const  *pm ;
    struct driver_private *p ;
 };
 #line 249 "include/linux/device.h"
 struct driver_attribute {
    struct attribute attr ;
    ssize_t (*show)(struct device_driver *driver , char *buf ) ;
    ssize_t (*store)(struct device_driver *driver , char const   *buf , size_t count ) ;
 };
 #line 330
 struct class_attribute;
 #line 330 "include/linux/device.h"
 struct class {
    char const   *name ;
    struct module *owner ;
    struct class_attribute *class_attrs ;
    struct device_attribute *dev_attrs ;
    struct bin_attribute *dev_bin_attrs ;
    struct kobject *dev_kobj ;
    int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
    char *(*devnode)(struct device *dev , umode_t *mode ) ;
    void (*class_release)(struct class *class ) ;
    void (*dev_release)(struct device *dev ) ;
    int (*suspend)(struct device *dev , pm_message_t state ) ;
    int (*resume)(struct device *dev ) ;
    struct kobj_ns_type_operations  const  *ns_type ;
    void const   *(*namespace)(struct device *dev ) ;
    struct dev_pm_ops  const  *pm ;
    struct subsys_private *p ;
 };
 #line 397 "include/linux/device.h"
 struct class_attribute {
    struct attribute attr ;
    ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
    ssize_t (*store)(struct class *class , struct class_attribute *attr , char const   *buf ,
                     size_t count ) ;
    void const   *(*namespace)(struct class *class , struct class_attribute  const  *attr ) ;
 };
 #line 465 "include/linux/device.h"
 struct device_type {
    char const   *name ;
    struct attribute_group  const  **groups ;
    int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
    char *(*devnode)(struct device *dev , umode_t *mode ) ;
    void (*release)(struct device *dev ) ;
    struct dev_pm_ops  const  *pm ;
 };
 #line 476 "include/linux/device.h"
 struct device_attribute {
    struct attribute attr ;
    ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
    ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const   *buf ,
                     size_t count ) ;
 };
 #line 559 "include/linux/device.h"
 struct device_dma_parameters {
    unsigned int max_segment_size ;
    unsigned long segment_boundary_mask ;
 };
 #line 627
 struct dma_coherent_mem;
 #line 627 "include/linux/device.h"
 struct device {
    struct device *parent ;
    struct device_private *p ;
    struct kobject kobj ;
    char const   *init_name ;
    struct device_type  const  *type ;
    struct mutex mutex ;
    struct bus_type *bus ;
    struct device_driver *driver ;
    void *platform_data ;
    struct dev_pm_info power ;
    struct dev_pm_domain *pm_domain ;
    int numa_node ;
    u64 *dma_mask ;
    u64 coherent_dma_mask ;
    struct device_dma_parameters *dma_parms ;
    struct list_head dma_pools ;
    struct dma_coherent_mem *dma_mem ;
    struct dev_archdata archdata ;
    struct device_node *of_node ;
    dev_t devt ;
    u32 id ;
    spinlock_t devres_lock ;
    struct list_head devres_head ;
    struct klist_node knode_class ;
    struct class *class ;
    struct attribute_group  const  **groups ;
    void (*release)(struct device *dev ) ;
 };
 #line 43 "include/linux/pm_wakeup.h"
 struct wakeup_source {
    char const   *name ;
    struct list_head entry ;
    spinlock_t lock ;
    struct timer_list timer ;
    unsigned long timer_expires ;
    ktime_t total_time ;
    ktime_t max_time ;
   ktime_t last_time ;
   unsigned long event_count ;
   unsigned long active_count ;
   unsigned long relax_count ;
   unsigned long hit_count ;
   unsigned int active : 1 ;
};
#line 14 "include/linux/prio_tree.h"
struct prio_tree_node;
#line 14 "include/linux/prio_tree.h"
struct raw_prio_tree_node {
   struct prio_tree_node *left ;
   struct prio_tree_node *right ;
   struct prio_tree_node *parent ;
};
#line 20 "include/linux/prio_tree.h"
struct prio_tree_node {
   struct prio_tree_node *left ;
   struct prio_tree_node *right ;
   struct prio_tree_node *parent ;
   unsigned long start ;
   unsigned long last ;
};
#line 8 "include/linux/debug_locks.h"
struct task_struct;
#line 48
struct task_struct;
#line 23 "include/linux/mm_types.h"
struct address_space;
#line 23
struct address_space;
#line 40 "include/linux/mm_types.h"
union __anonunion____missing_field_name_202 {
   unsigned long index ;
   void *freelist ;
};
#line 40 "include/linux/mm_types.h"
struct __anonstruct____missing_field_name_206 {
   unsigned int inuse : 16 ;
   unsigned int objects : 15 ;
   unsigned int frozen : 1 ;
};
#line 40 "include/linux/mm_types.h"
union __anonunion____missing_field_name_205 {
   atomic_t _mapcount ;
   struct __anonstruct____missing_field_name_206 __annonCompField34 ;
};
#line 40 "include/linux/mm_types.h"
struct __anonstruct____missing_field_name_204 {
   union __anonunion____missing_field_name_205 __annonCompField35 ;
   atomic_t _count ;
};
#line 40 "include/linux/mm_types.h"
union __anonunion____missing_field_name_203 {
   unsigned long counters ;
   struct __anonstruct____missing_field_name_204 __annonCompField36 ;
};
#line 40 "include/linux/mm_types.h"
struct __anonstruct____missing_field_name_201 {
   union __anonunion____missing_field_name_202 __annonCompField33 ;
   union __anonunion____missing_field_name_203 __annonCompField37 ;
};
#line 40 "include/linux/mm_types.h"
struct __anonstruct____missing_field_name_208 {
   struct page *next ;
   int pages ;
   int pobjects ;
};
#line 40 "include/linux/mm_types.h"
union __anonunion____missing_field_name_207 {
   struct list_head lru ;
   struct __anonstruct____missing_field_name_208 __annonCompField39 ;
};
#line 40 "include/linux/mm_types.h"
union __anonunion____missing_field_name_209 {
   unsigned long private ;
   struct kmem_cache *slab ;
   struct page *first_page ;
};
#line 40 "include/linux/mm_types.h"
struct page {
   unsigned long flags ;
   struct address_space *mapping ;
   struct __anonstruct____missing_field_name_201 __annonCompField38 ;
   union __anonunion____missing_field_name_207 __annonCompField40 ;
   union __anonunion____missing_field_name_209 __annonCompField41 ;
   unsigned long debug_flags ;
} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
#line 200 "include/linux/mm_types.h"
struct __anonstruct_vm_set_211 {
   struct list_head list ;
   void *parent ;
   struct vm_area_struct *head ;
};
#line 200 "include/linux/mm_types.h"
union __anonunion_shared_210 {
   struct __anonstruct_vm_set_211 vm_set ;
   struct raw_prio_tree_node prio_tree_node ;
};
#line 200
struct anon_vma;
#line 200
struct vm_operations_struct;
#line 200
struct mempolicy;
#line 200 "include/linux/mm_types.h"
struct vm_area_struct {
   struct mm_struct *vm_mm ;
   unsigned long vm_start ;
   unsigned long vm_end ;
   struct vm_area_struct *vm_next ;
   struct vm_area_struct *vm_prev ;
   pgprot_t vm_page_prot ;
   unsigned long vm_flags ;
   struct rb_node vm_rb ;
   union __anonunion_shared_210 shared ;
   struct list_head anon_vma_chain ;
   struct anon_vma *anon_vma ;
   struct vm_operations_struct  const  *vm_ops ;
   unsigned long vm_pgoff ;
   struct file *vm_file ;
   void *vm_private_data ;
   struct mempolicy *vm_policy ;
};
#line 257 "include/linux/mm_types.h"
struct core_thread {
   struct task_struct *task ;
   struct core_thread *next ;
};
#line 262 "include/linux/mm_types.h"
struct core_state {
   atomic_t nr_threads ;
   struct core_thread dumper ;
   struct completion startup ;
};
#line 284 "include/linux/mm_types.h"
struct mm_rss_stat {
   atomic_long_t count[3] ;
};
#line 288
struct linux_binfmt;
#line 288
struct mmu_notifier_mm;
#line 288 "include/linux/mm_types.h"
struct mm_struct {
   struct vm_area_struct *mmap ;
   struct rb_root mm_rb ;
   struct vm_area_struct *mmap_cache ;
   unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
                                      unsigned long pgoff , unsigned long flags ) ;
   void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
   unsigned long mmap_base ;
   unsigned long task_size ;
   unsigned long cached_hole_size ;
   unsigned long free_area_cache ;
   pgd_t *pgd ;
   atomic_t mm_users ;
   atomic_t mm_count ;
   int map_count ;
   spinlock_t page_table_lock ;
   struct rw_semaphore mmap_sem ;
   struct list_head mmlist ;
   unsigned long hiwater_rss ;
   unsigned long hiwater_vm ;
   unsigned long total_vm ;
   unsigned long locked_vm ;
   unsigned long pinned_vm ;
   unsigned long shared_vm ;
   unsigned long exec_vm ;
   unsigned long stack_vm ;
   unsigned long reserved_vm ;
   unsigned long def_flags ;
   unsigned long nr_ptes ;
   unsigned long start_code ;
   unsigned long end_code ;
   unsigned long start_data ;
   unsigned long end_data ;
   unsigned long start_brk ;
   unsigned long brk ;
   unsigned long start_stack ;
   unsigned long arg_start ;
   unsigned long arg_end ;
   unsigned long env_start ;
   unsigned long env_end ;
   unsigned long saved_auxv[44] ;
   struct mm_rss_stat rss_stat ;
   struct linux_binfmt *binfmt ;
   cpumask_var_t cpu_vm_mask_var ;
   mm_context_t context ;
   unsigned int faultstamp ;
   unsigned int token_priority ;
   unsigned int last_interval ;
   unsigned long flags ;
   struct core_state *core_state ;
   spinlock_t ioctx_lock ;
   struct hlist_head ioctx_list ;
   struct task_struct *owner ;
   struct file *exe_file ;
   unsigned long num_exe_file_vmas ;
   struct mmu_notifier_mm *mmu_notifier_mm ;
   pgtable_t pmd_huge_pte ;
   struct cpumask cpumask_allocation ;
};
#line 22 "include/linux/mm.h"
struct mempolicy;
#line 23
struct anon_vma;
#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
struct mm_struct;
#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
struct vm_area_struct;
#line 188 "include/linux/mm.h"
struct vm_fault {
   unsigned int flags ;
   unsigned long pgoff ;
   void *virtual_address ;
   struct page *page ;
};
#line 205 "include/linux/mm.h"
struct vm_operations_struct {
   void (*open)(struct vm_area_struct *area ) ;
   void (*close)(struct vm_area_struct *area ) ;
   int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
   int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
   int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
                 int write ) ;
   int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
   struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
   int (*migrate)(struct vm_area_struct *vma , nodemask_t const   *from , nodemask_t const   *to ,
                  unsigned long flags ) ;
};
#line 195 "include/linux/page-flags.h"
struct page;
#line 58 "include/linux/kfifo.h"
struct __kfifo {
   unsigned int in ;
   unsigned int out ;
   unsigned int mask ;
   unsigned int esize ;
   void *data ;
};
#line 96 "include/linux/kfifo.h"
union __anonunion____missing_field_name_213 {
   struct __kfifo kfifo ;
   unsigned char *type ;
   char (*rectype)[0] ;
   void *ptr ;
   void const   *ptr_const ;
};
#line 96 "include/linux/kfifo.h"
struct kfifo {
   union __anonunion____missing_field_name_213 __annonCompField42 ;
   unsigned char buf[0] ;
};
#line 8 "include/linux/cdev.h"
struct file_operations;
#line 8
struct file_operations;
#line 10
struct module;
#line 12 "include/linux/cdev.h"
struct cdev {
   struct kobject kobj ;
   struct module *owner ;
   struct file_operations  const  *ops ;
   struct list_head list ;
   dev_t dev ;
   unsigned int count ;
};
#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/types.h"
enum iio_chan_type {
    IIO_VOLTAGE = 0,
    IIO_CURRENT = 1,
    IIO_POWER = 2,
    IIO_ACCEL = 3,
    IIO_ANGL_VEL = 4,
    IIO_MAGN = 5,
    IIO_LIGHT = 6,
    IIO_INTENSITY = 7,
    IIO_PROXIMITY = 8,
    IIO_TEMP = 9,
    IIO_INCLI = 10,
    IIO_ROT = 11,
    IIO_ANGL = 12,
    IIO_TIMESTAMP = 13,
    IIO_CAPACITANCE = 14
} ;
#line 85 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/iio.h"
enum iio_endian {
    IIO_CPU = 0,
    IIO_BE = 1,
    IIO_LE = 2
} ;
#line 91
struct iio_chan_spec;
#line 91
struct iio_chan_spec;
#line 92
struct iio_dev;
#line 92
struct iio_dev;
#line 101 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/iio.h"
struct iio_chan_spec_ext_info {
   char const   *name ;
   bool shared ;
   ssize_t (*read)(struct iio_dev * , struct iio_chan_spec  const  * , char *buf ) ;
   ssize_t (*write)(struct iio_dev * , struct iio_chan_spec  const  * , char const   *buf ,
                    size_t len ) ;
};
#line 151 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/iio.h"
struct __anonstruct_scan_type_216 {
   char sign ;
   u8 realbits ;
   u8 storagebits ;
   u8 shift ;
   enum iio_endian endianness ;
};
#line 151 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/iio.h"
struct iio_chan_spec {
   enum iio_chan_type type ;
   int channel ;
   int channel2 ;
   unsigned long address ;
   int scan_index ;
   struct __anonstruct_scan_type_216 scan_type ;
   long info_mask ;
   long event_mask ;
   struct iio_chan_spec_ext_info  const  *ext_info ;
   char *extend_name ;
   char const   *datasheet_name ;
   unsigned int processed_val : 1 ;
   unsigned int modified : 1 ;
   unsigned int indexed : 1 ;
   unsigned int output : 1 ;
   unsigned int differential : 1 ;
};
#line 223
struct iio_trigger;
#line 223
struct iio_trigger;
#line 224
struct iio_dev;
#line 251 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/iio.h"
struct iio_info {
   struct module *driver_module ;
   struct attribute_group *event_attrs ;
   struct attribute_group  const  *attrs ;
   int (*read_raw)(struct iio_dev *indio_dev , struct iio_chan_spec  const  *chan ,
                   int *val , int *val2 , long mask ) ;
   int (*write_raw)(struct iio_dev *indio_dev , struct iio_chan_spec  const  *chan ,
                    int val , int val2 , long mask ) ;
   int (*write_raw_get_fmt)(struct iio_dev *indio_dev , struct iio_chan_spec  const  *chan ,
                            long mask ) ;
   int (*read_event_config)(struct iio_dev *indio_dev , u64 event_code ) ;
   int (*write_event_config)(struct iio_dev *indio_dev , u64 event_code , int state ) ;
   int (*read_event_value)(struct iio_dev *indio_dev , u64 event_code , int *val ) ;
   int (*write_event_value)(struct iio_dev *indio_dev , u64 event_code , int val ) ;
   int (*validate_trigger)(struct iio_dev *indio_dev , struct iio_trigger *trig ) ;
   int (*update_scan_mode)(struct iio_dev *indio_dev , unsigned long const   *scan_mask ) ;
   int (*debugfs_reg_access)(struct iio_dev *indio_dev , unsigned int reg , unsigned int writeval ,
                             unsigned int *readval ) ;
};
#line 302 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/iio.h"
struct iio_buffer_setup_ops {
   int (*preenable)(struct iio_dev * ) ;
   int (*postenable)(struct iio_dev * ) ;
   int (*predisable)(struct iio_dev * ) ;
   int (*postdisable)(struct iio_dev * ) ;
};
#line 341
struct iio_event_interface;
#line 341
struct iio_buffer;
#line 341
struct iio_poll_func;
#line 341
struct dentry;
#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/iio.h"
struct iio_dev {
   int id ;
   int modes ;
   int currentmode ;
   struct device dev ;
   struct iio_event_interface *event_interface ;
   struct iio_buffer *buffer ;
   struct mutex mlock ;
   unsigned long const   *available_scan_masks ;
   unsigned int masklength ;
   unsigned long const   *active_scan_mask ;
   struct iio_trigger *trig ;
   struct iio_poll_func *pollfunc ;
   struct iio_chan_spec  const  *channels ;
   int num_channels ;
   struct list_head channel_attr_list ;
   struct attribute_group chan_attr_group ;
   char const   *name ;
   struct iio_info  const  *info ;
   struct mutex info_exist_lock ;
   struct iio_buffer_setup_ops  const  *setup_ops ;
   struct cdev chrdev ;
   struct attribute_group  const  *groups[7] ;
   int groupcounter ;
   unsigned long flags ;
   struct dentry *debugfs_dentry ;
   unsigned int cached_reg_addr ;
};
#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/buffer.h"
struct iio_buffer;
#line 38 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/buffer.h"
struct iio_buffer_access_funcs {
   int (*store_to)(struct iio_buffer *buffer , u8 *data , s64 timestamp ) ;
   int (*read_first_n)(struct iio_buffer *buffer , size_t n , char *buf ) ;
   int (*request_update)(struct iio_buffer *buffer ) ;
   int (*get_bytes_per_datum)(struct iio_buffer *buffer ) ;
   int (*set_bytes_per_datum)(struct iio_buffer *buffer , size_t bpd ) ;
   int (*get_length)(struct iio_buffer *buffer ) ;
   int (*set_length)(struct iio_buffer *buffer , int length ) ;
};
#line 71 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/buffer.h"
struct iio_buffer {
   int length ;
   int bytes_per_datum ;
   struct attribute_group *scan_el_attrs ;
   long *scan_mask ;
   bool scan_timestamp ;
   unsigned int scan_index_timestamp ;
   struct iio_buffer_access_funcs  const  *access ;
   struct list_head scan_el_dev_attr_list ;
   struct attribute_group scan_el_group ;
   wait_queue_head_t pollq ;
   bool stufftoread ;
   struct attribute_group  const  *attrs ;
   struct list_head demux_list ;
   unsigned char *demux_bounce ;
};
#line 12 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
struct iio_kfifo {
   struct iio_buffer buffer ;
   struct kfifo kf ;
   int update_needed ;
};
#line 1 "<compiler builtins>"
long __builtin_expect(long val , long res ) ;
#line 152 "include/linux/mutex.h"
void mutex_lock(struct mutex *lock ) ;
#line 153
int __attribute__((__warn_unused_result__))  mutex_lock_interruptible(struct mutex *lock ) ;
#line 154
int __attribute__((__warn_unused_result__))  mutex_lock_killable(struct mutex *lock ) ;
#line 168
int mutex_trylock(struct mutex *lock ) ;
#line 169
void mutex_unlock(struct mutex *lock ) ;
#line 170
int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
#line 161 "include/linux/slab.h"
extern void kfree(void const   * ) ;
#line 221 "include/linux/slub_def.h"
extern void *__kmalloc(size_t size , gfp_t flags ) ;
#line 268
__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
                                                                    gfp_t flags )  __attribute__((__no_instrument_function__)) ;
#line 268 "include/linux/slub_def.h"
__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
                                                                    gfp_t flags ) 
{ void *tmp___2 ;

  {
  {
#line 283
  tmp___2 = __kmalloc(size, flags);
  }
#line 283
  return (tmp___2);
}
}
#line 349 "include/linux/slab.h"
__inline static void *kzalloc(size_t size , gfp_t flags )  __attribute__((__no_instrument_function__)) ;
#line 349 "include/linux/slab.h"
__inline static void *kzalloc(size_t size , gfp_t flags ) 
{ void *tmp ;
  unsigned int __cil_tmp4 ;

  {
  {
#line 351
  __cil_tmp4 = flags | 32768U;
#line 351
  tmp = kmalloc(size, __cil_tmp4);
  }
#line 351
  return (tmp);
}
}
#line 174 "include/linux/kfifo.h"
__inline static unsigned int __attribute__((__warn_unused_result__))  __kfifo_uint_must_check_helper(unsigned int val )  __attribute__((__no_instrument_function__)) ;
#line 174 "include/linux/kfifo.h"
__inline static unsigned int __attribute__((__warn_unused_result__))  __kfifo_uint_must_check_helper(unsigned int val ) 
{ 

  {
#line 177
  return (val);
}
}
#line 180
__inline static int __attribute__((__warn_unused_result__))  __kfifo_int_must_check_helper(int val )  __attribute__((__no_instrument_function__)) ;
#line 180 "include/linux/kfifo.h"
__inline static int __attribute__((__warn_unused_result__))  __kfifo_int_must_check_helper(int val ) 
{ 

  {
#line 183
  return (val);
}
}
#line 790
extern int __kfifo_alloc(struct __kfifo *fifo , unsigned int size , size_t esize ,
                         gfp_t gfp_mask ) ;
#line 793
extern void __kfifo_free(struct __kfifo *fifo ) ;
#line 798
extern unsigned int __kfifo_in(struct __kfifo *fifo , void const   *buf , unsigned int len ) ;
#line 807
extern int __kfifo_to_user(struct __kfifo *fifo , void *to , unsigned long len , unsigned int *copied ) ;
#line 819
extern unsigned int __kfifo_in_r(struct __kfifo *fifo , void const   *buf , unsigned int len ,
                                 size_t recsize ) ;
#line 829
extern int __kfifo_to_user_r(struct __kfifo *fifo , void *to , unsigned long len ,
                             unsigned int *copied , size_t recsize ) ;
#line 92 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/buffer.h"
extern void iio_buffer_init(struct iio_buffer *buffer ) ;
#line 100
__inline static void __iio_update_buffer(struct iio_buffer *buffer , int bytes_per_datum ,
                                         int length )  __attribute__((__no_instrument_function__)) ;
#line 100 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/buffer.h"
__inline static void __iio_update_buffer(struct iio_buffer *buffer , int bytes_per_datum ,
                                         int length ) 
{ unsigned long __cil_tmp4 ;
  unsigned long __cil_tmp5 ;

  {
#line 103
  __cil_tmp4 = (unsigned long )buffer;
#line 103
  __cil_tmp5 = __cil_tmp4 + 4;
#line 103
  *((int *)__cil_tmp5) = bytes_per_datum;
#line 104
  *((int *)buffer) = length;
#line 105
  return;
}
}
#line 146
extern ssize_t iio_buffer_read_length(struct device *dev , struct device_attribute *attr ,
                                      char *buf ) ;
#line 152
extern ssize_t iio_buffer_write_length(struct device *dev , struct device_attribute *attr ,
                                       char const   *buf , size_t len ) ;
#line 159
extern ssize_t iio_buffer_store_enable(struct device *dev , struct device_attribute *attr ,
                                       char const   *buf , size_t len ) ;
#line 166
extern ssize_t iio_buffer_show_enable(struct device *dev , struct device_attribute *attr ,
                                      char *buf ) ;
#line 6 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/staging/iio/kfifo_buf.h"
struct iio_buffer *iio_kfifo_allocate(struct iio_dev *indio_dev ) ;
#line 7
void iio_kfifo_free(struct iio_buffer *r ) ;
#line 20 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
__inline static int __iio_allocate_kfifo(struct iio_kfifo *buf , int bytes_per_datum ,
                                         int length )  __attribute__((__no_instrument_function__)) ;
#line 20 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
__inline static int __iio_allocate_kfifo(struct iio_kfifo *buf , int bytes_per_datum ,
                                         int length ) 
{ struct kfifo *__tmp ;
  struct __kfifo *__kfifo ;
  int tmp ;
  int tmp___0 ;
  int tmp___1 ;
  struct iio_buffer *__cil_tmp9 ;
  unsigned long __cil_tmp10 ;
  unsigned long __cil_tmp11 ;
  int __cil_tmp12 ;
  unsigned int __cil_tmp13 ;

  {
#line 23
  if (length == 0) {
#line 24
    return (-22);
  } else
#line 23
  if (bytes_per_datum == 0) {
#line 24
    return (-22);
  } else {

  }
  {
#line 26
  __cil_tmp9 = (struct iio_buffer *)buf;
#line 26
  __iio_update_buffer(__cil_tmp9, bytes_per_datum, length);
#line 27
  __cil_tmp10 = (unsigned long )buf;
#line 27
  __cil_tmp11 = __cil_tmp10 + 160;
#line 27
  __tmp = (struct kfifo *)__cil_tmp11;
#line 27
  __kfifo = (struct __kfifo *)__tmp;
  }
#line 27
  if (24UL == 24UL) {
    {
#line 27
    __cil_tmp12 = bytes_per_datum * length;
#line 27
    __cil_tmp13 = (unsigned int )__cil_tmp12;
#line 27
    tmp = __kfifo_alloc(__kfifo, __cil_tmp13, 1UL, 208U);
#line 27
    tmp___0 = tmp;
    }
  } else {
#line 27
    tmp___0 = -22;
  }
  {
#line 27
  tmp___1 = (int )__kfifo_int_must_check_helper(tmp___0);
  }
#line 27
  return (tmp___1);
}
}
#line 30 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static int iio_request_update_kfifo(struct iio_buffer *r ) 
{ int ret ;
  struct iio_kfifo *buf ;
  struct iio_buffer  const  *__mptr ;
  struct kfifo *__tmp ;
  struct __kfifo *__kfifo ;
  struct iio_kfifo *__cil_tmp7 ;
  struct iio_buffer *__cil_tmp8 ;
  unsigned int __cil_tmp9 ;
  char *__cil_tmp10 ;
  char *__cil_tmp11 ;
  unsigned long __cil_tmp12 ;
  unsigned long __cil_tmp13 ;
  int __cil_tmp14 ;
  unsigned long __cil_tmp15 ;
  unsigned long __cil_tmp16 ;
  unsigned long __cil_tmp17 ;
  unsigned long __cil_tmp18 ;
  unsigned long __cil_tmp19 ;
  int __cil_tmp20 ;
  int __cil_tmp21 ;

  {
#line 32
  ret = 0;
#line 33
  __mptr = (struct iio_buffer  const  *)r;
#line 33
  __cil_tmp7 = (struct iio_kfifo *)0;
#line 33
  __cil_tmp8 = (struct iio_buffer *)__cil_tmp7;
#line 33
  __cil_tmp9 = (unsigned int )__cil_tmp8;
#line 33
  __cil_tmp10 = (char *)__mptr;
#line 33
  __cil_tmp11 = __cil_tmp10 - __cil_tmp9;
#line 33
  buf = (struct iio_kfifo *)__cil_tmp11;
  {
#line 35
  __cil_tmp12 = (unsigned long )buf;
#line 35
  __cil_tmp13 = __cil_tmp12 + 184;
#line 35
  __cil_tmp14 = *((int *)__cil_tmp13);
#line 35
  if (! __cil_tmp14) {
#line 36
    goto error_ret;
  } else {

  }
  }
#line 37
  __cil_tmp15 = (unsigned long )buf;
#line 37
  __cil_tmp16 = __cil_tmp15 + 160;
#line 37
  __tmp = (struct kfifo *)__cil_tmp16;
#line 37
  __kfifo = (struct __kfifo *)__tmp;
#line 37
  if (24UL == 24UL) {
    {
#line 37
    __kfifo_free(__kfifo);
    }
  } else {

  }
  {
#line 38
  __cil_tmp17 = 0 + 4;
#line 38
  __cil_tmp18 = (unsigned long )buf;
#line 38
  __cil_tmp19 = __cil_tmp18 + __cil_tmp17;
#line 38
  __cil_tmp20 = *((int *)__cil_tmp19);
#line 38
  __cil_tmp21 = *((int *)buf);
#line 38
  ret = __iio_allocate_kfifo(buf, __cil_tmp20, __cil_tmp21);
  }
  error_ret: 
#line 41
  return (ret);
}
}
#line 44 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static int iio_get_length_kfifo(struct iio_buffer *r ) 
{ 

  {
#line 46
  return (*((int *)r));
}
}
#line 49 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static struct device_attribute dev_attr_enable  =    {{"enable", (umode_t )420}, & iio_buffer_show_enable, & iio_buffer_store_enable};
#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static struct device_attribute dev_attr_length  =    {{"length", (umode_t )420}, & iio_buffer_read_length, & iio_buffer_write_length};
#line 52 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static struct attribute *iio_kfifo_attributes[3]  = {      & dev_attr_length.attr,      & dev_attr_enable.attr,      (struct attribute *)((void *)0)};
#line 58 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static struct attribute_group iio_kfifo_attribute_group  =    {"buffer", (umode_t (*)(struct kobject * , struct attribute * , int  ))0, iio_kfifo_attributes};
#line 63 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static int iio_get_bytes_per_datum_kfifo(struct iio_buffer *r ) 
{ unsigned long __cil_tmp2 ;
  unsigned long __cil_tmp3 ;

  {
  {
#line 65
  __cil_tmp2 = (unsigned long )r;
#line 65
  __cil_tmp3 = __cil_tmp2 + 4;
#line 65
  return (*((int *)__cil_tmp3));
  }
}
}
#line 68 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static int iio_mark_update_needed_kfifo(struct iio_buffer *r ) 
{ struct iio_kfifo *kf ;
  struct iio_buffer  const  *__mptr ;
  struct iio_kfifo *__cil_tmp4 ;
  struct iio_buffer *__cil_tmp5 ;
  unsigned int __cil_tmp6 ;
  char *__cil_tmp7 ;
  char *__cil_tmp8 ;
  unsigned long __cil_tmp9 ;
  unsigned long __cil_tmp10 ;

  {
#line 70
  __mptr = (struct iio_buffer  const  *)r;
#line 70
  __cil_tmp4 = (struct iio_kfifo *)0;
#line 70
  __cil_tmp5 = (struct iio_buffer *)__cil_tmp4;
#line 70
  __cil_tmp6 = (unsigned int )__cil_tmp5;
#line 70
  __cil_tmp7 = (char *)__mptr;
#line 70
  __cil_tmp8 = __cil_tmp7 - __cil_tmp6;
#line 70
  kf = (struct iio_kfifo *)__cil_tmp8;
#line 71
  __cil_tmp9 = (unsigned long )kf;
#line 71
  __cil_tmp10 = __cil_tmp9 + 184;
#line 71
  *((int *)__cil_tmp10) = 1;
#line 72
  return (0);
}
}
#line 75 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static int iio_set_bytes_per_datum_kfifo(struct iio_buffer *r , size_t bpd ) 
{ unsigned long __cil_tmp3 ;
  unsigned long __cil_tmp4 ;
  int __cil_tmp5 ;
  size_t __cil_tmp6 ;
  unsigned long __cil_tmp7 ;
  unsigned long __cil_tmp8 ;

  {
  {
#line 77
  __cil_tmp3 = (unsigned long )r;
#line 77
  __cil_tmp4 = __cil_tmp3 + 4;
#line 77
  __cil_tmp5 = *((int *)__cil_tmp4);
#line 77
  __cil_tmp6 = (size_t )__cil_tmp5;
#line 77
  if (__cil_tmp6 != bpd) {
    {
#line 78
    __cil_tmp7 = (unsigned long )r;
#line 78
    __cil_tmp8 = __cil_tmp7 + 4;
#line 78
    *((int *)__cil_tmp8) = (int )bpd;
#line 79
    iio_mark_update_needed_kfifo(r);
    }
  } else {

  }
  }
#line 81
  return (0);
}
}
#line 84 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static int iio_set_length_kfifo(struct iio_buffer *r , int length ) 
{ int __cil_tmp3 ;

  {
  {
#line 86
  __cil_tmp3 = *((int *)r);
#line 86
  if (__cil_tmp3 != length) {
    {
#line 87
    *((int *)r) = length;
#line 88
    iio_mark_update_needed_kfifo(r);
    }
  } else {

  }
  }
#line 90
  return (0);
}
}
#line 93 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static int iio_store_to_kfifo(struct iio_buffer *r , u8 *data , s64 timestamp ) 
{ int ret ;
  struct iio_kfifo *kf ;
  struct iio_buffer  const  *__mptr ;
  struct kfifo *__tmp ;
  u8 *__buf ;
  unsigned long __n ;
  size_t __recsize ;
  struct __kfifo *__kfifo ;
  unsigned int tmp ;
  unsigned int tmp___0 ;
  unsigned int tmp___1 ;
  struct iio_kfifo *__cil_tmp16 ;
  struct iio_buffer *__cil_tmp17 ;
  unsigned int __cil_tmp18 ;
  char *__cil_tmp19 ;
  char *__cil_tmp20 ;
  unsigned long __cil_tmp21 ;
  unsigned long __cil_tmp22 ;
  unsigned long __cil_tmp23 ;
  unsigned long __cil_tmp24 ;
  int __cil_tmp25 ;
  void const   *__cil_tmp26 ;
  unsigned int __cil_tmp27 ;
  void const   *__cil_tmp28 ;
  unsigned int __cil_tmp29 ;
  unsigned long __cil_tmp30 ;
  unsigned long __cil_tmp31 ;
  int __cil_tmp32 ;

  {
#line 98
  __mptr = (struct iio_buffer  const  *)r;
#line 98
  __cil_tmp16 = (struct iio_kfifo *)0;
#line 98
  __cil_tmp17 = (struct iio_buffer *)__cil_tmp16;
#line 98
  __cil_tmp18 = (unsigned int )__cil_tmp17;
#line 98
  __cil_tmp19 = (char *)__mptr;
#line 98
  __cil_tmp20 = __cil_tmp19 - __cil_tmp18;
#line 98
  kf = (struct iio_kfifo *)__cil_tmp20;
#line 99
  __cil_tmp21 = (unsigned long )kf;
#line 99
  __cil_tmp22 = __cil_tmp21 + 160;
#line 99
  __tmp = (struct kfifo *)__cil_tmp22;
#line 99
  __buf = data;
#line 99
  __cil_tmp23 = (unsigned long )r;
#line 99
  __cil_tmp24 = __cil_tmp23 + 4;
#line 99
  __cil_tmp25 = *((int *)__cil_tmp24);
#line 99
  __n = (unsigned long )__cil_tmp25;
#line 99
  __recsize = 0UL;
#line 99
  __kfifo = (struct __kfifo *)__tmp;
#line 99
  if (__recsize) {
    {
#line 99
    __cil_tmp26 = (void const   *)__buf;
#line 99
    __cil_tmp27 = (unsigned int )__n;
#line 99
    tmp = __kfifo_in_r(__kfifo, __cil_tmp26, __cil_tmp27, __recsize);
#line 99
    tmp___1 = tmp;
    }
  } else {
    {
#line 99
    __cil_tmp28 = (void const   *)__buf;
#line 99
    __cil_tmp29 = (unsigned int )__n;
#line 99
    tmp___0 = __kfifo_in(__kfifo, __cil_tmp28, __cil_tmp29);
#line 99
    tmp___1 = tmp___0;
    }
  }
#line 99
  ret = (int )tmp___1;
  {
#line 100
  __cil_tmp30 = (unsigned long )r;
#line 100
  __cil_tmp31 = __cil_tmp30 + 4;
#line 100
  __cil_tmp32 = *((int *)__cil_tmp31);
#line 100
  if (ret != __cil_tmp32) {
#line 101
    return (-16);
  } else {

  }
  }
#line 102
  return (0);
}
}
#line 105 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static int iio_read_first_n_kfifo(struct iio_buffer *r , size_t n , char *buf ) 
{ int ret ;
  int copied ;
  struct iio_kfifo *kf ;
  struct iio_buffer  const  *__mptr ;
  size_t __x ;
  struct kfifo *__tmp ;
  void *__to ;
  unsigned int __len ;
  unsigned int *__copied ;
  size_t __recsize ;
  struct __kfifo *__kfifo ;
  int tmp ;
  int tmp___0 ;
  int tmp___1 ;
  unsigned int tmp___2 ;
  struct iio_kfifo *__cil_tmp19 ;
  struct iio_buffer *__cil_tmp20 ;
  unsigned int __cil_tmp21 ;
  char *__cil_tmp22 ;
  char *__cil_tmp23 ;
  unsigned long __cil_tmp24 ;
  unsigned long __cil_tmp25 ;
  int __cil_tmp26 ;
  size_t __cil_tmp27 ;
  unsigned long __cil_tmp28 ;
  unsigned long __cil_tmp29 ;
  int __cil_tmp30 ;
  unsigned long __cil_tmp31 ;
  unsigned long __cil_tmp32 ;
  unsigned long __cil_tmp33 ;
  unsigned long __cil_tmp34 ;
  unsigned long __cil_tmp35 ;
  unsigned long __cil_tmp36 ;
  unsigned int __cil_tmp37 ;
  int *__cil_tmp38 ;

  {
#line 109
  __mptr = (struct iio_buffer  const  *)r;
#line 109
  __cil_tmp19 = (struct iio_kfifo *)0;
#line 109
  __cil_tmp20 = (struct iio_buffer *)__cil_tmp19;
#line 109
  __cil_tmp21 = (unsigned int )__cil_tmp20;
#line 109
  __cil_tmp22 = (char *)__mptr;
#line 109
  __cil_tmp23 = __cil_tmp22 - __cil_tmp21;
#line 109
  kf = (struct iio_kfifo *)__cil_tmp23;
  {
#line 111
  __cil_tmp24 = (unsigned long )r;
#line 111
  __cil_tmp25 = __cil_tmp24 + 4;
#line 111
  __cil_tmp26 = *((int *)__cil_tmp25);
#line 111
  __cil_tmp27 = (size_t )__cil_tmp26;
#line 111
  if (n < __cil_tmp27) {
#line 112
    return (-22);
  } else {

  }
  }
#line 114
  __x = n;
#line 114
  __cil_tmp28 = (unsigned long )r;
#line 114
  __cil_tmp29 = __cil_tmp28 + 4;
#line 114
  __cil_tmp30 = *((int *)__cil_tmp29);
#line 114
  __cil_tmp31 = (unsigned long )__cil_tmp30;
#line 114
  __cil_tmp32 = __x % __cil_tmp31;
#line 114
  n = __x - __cil_tmp32;
#line 115
  __cil_tmp33 = (unsigned long )kf;
#line 115
  __cil_tmp34 = __cil_tmp33 + 160;
#line 115
  __tmp = (struct kfifo *)__cil_tmp34;
#line 115
  __to = (void *)buf;
#line 115
  __len = (unsigned int )n;
#line 115
  __copied = (unsigned int *)(& copied);
#line 115
  __recsize = 0UL;
#line 115
  __kfifo = (struct __kfifo *)__tmp;
#line 115
  if (__recsize) {
    {
#line 115
    __cil_tmp35 = (unsigned long )__len;
#line 115
    tmp = __kfifo_to_user_r(__kfifo, __to, __cil_tmp35, __copied, __recsize);
#line 115
    tmp___1 = tmp;
    }
  } else {
    {
#line 115
    __cil_tmp36 = (unsigned long )__len;
#line 115
    tmp___0 = __kfifo_to_user(__kfifo, __to, __cil_tmp36, __copied);
#line 115
    tmp___1 = tmp___0;
    }
  }
  {
#line 115
  __cil_tmp37 = (unsigned int )tmp___1;
#line 115
  tmp___2 = (unsigned int )__kfifo_uint_must_check_helper(__cil_tmp37);
#line 115
  ret = (int )tmp___2;
  }
  {
#line 117
  __cil_tmp38 = & copied;
#line 117
  return (*__cil_tmp38);
  }
}
}
#line 120 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static struct iio_buffer_access_funcs  const  kfifo_access_funcs  =    {& iio_store_to_kfifo, & iio_read_first_n_kfifo, & iio_request_update_kfifo, & iio_get_bytes_per_datum_kfifo,
    & iio_set_bytes_per_datum_kfifo, & iio_get_length_kfifo, & iio_set_length_kfifo};
#line 130 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
struct iio_buffer *iio_kfifo_allocate(struct iio_dev *indio_dev ) 
{ struct iio_kfifo *kf ;
  void *tmp ;
  void *__cil_tmp4 ;
  unsigned long __cil_tmp5 ;
  unsigned long __cil_tmp6 ;
  struct iio_buffer *__cil_tmp7 ;
  unsigned long __cil_tmp8 ;
  unsigned long __cil_tmp9 ;
  unsigned long __cil_tmp10 ;
  unsigned long __cil_tmp11 ;
  unsigned long __cil_tmp12 ;
  unsigned long __cil_tmp13 ;

  {
  {
#line 134
  tmp = kzalloc(192UL, 208U);
#line 134
  kf = (struct iio_kfifo *)tmp;
  }
#line 135
  if (! kf) {
    {
#line 136
    __cil_tmp4 = (void *)0;
#line 136
    return ((struct iio_buffer *)__cil_tmp4);
    }
  } else {

  }
  {
#line 137
  __cil_tmp5 = (unsigned long )kf;
#line 137
  __cil_tmp6 = __cil_tmp5 + 184;
#line 137
  *((int *)__cil_tmp6) = 1;
#line 138
  __cil_tmp7 = (struct iio_buffer *)kf;
#line 138
  iio_buffer_init(__cil_tmp7);
#line 139
  __cil_tmp8 = 0 + 128;
#line 139
  __cil_tmp9 = (unsigned long )kf;
#line 139
  __cil_tmp10 = __cil_tmp9 + __cil_tmp8;
#line 139
  *((struct attribute_group  const  **)__cil_tmp10) = (struct attribute_group  const  *)(& iio_kfifo_attribute_group);
#line 140
  __cil_tmp11 = 0 + 32;
#line 140
  __cil_tmp12 = (unsigned long )kf;
#line 140
  __cil_tmp13 = __cil_tmp12 + __cil_tmp11;
#line 140
  *((struct iio_buffer_access_funcs  const  **)__cil_tmp13) = & kfifo_access_funcs;
  }
#line 142
  return ((struct iio_buffer *)kf);
}
}
#line 144
extern void *__crc_iio_kfifo_allocate  __attribute__((__weak__)) ;
#line 144 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static unsigned long const   __kcrctab_iio_kfifo_allocate  __attribute__((__used__,
__unused__, __section__("___kcrctab+iio_kfifo_allocate")))  =    (unsigned long const   )((unsigned long )(& __crc_iio_kfifo_allocate));
#line 144 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static char const   __kstrtab_iio_kfifo_allocate[19]  __attribute__((__section__("__ksymtab_strings"),
__aligned__(1)))  = 
#line 144
  {      (char const   )'i',      (char const   )'i',      (char const   )'o',      (char const   )'_', 
        (char const   )'k',      (char const   )'f',      (char const   )'i',      (char const   )'f', 
        (char const   )'o',      (char const   )'_',      (char const   )'a',      (char const   )'l', 
        (char const   )'l',      (char const   )'o',      (char const   )'c',      (char const   )'a', 
        (char const   )'t',      (char const   )'e',      (char const   )'\000'};
#line 144 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static struct kernel_symbol  const  __ksymtab_iio_kfifo_allocate  __attribute__((__used__,
__unused__, __section__("___ksymtab+iio_kfifo_allocate")))  =    {(unsigned long )(& iio_kfifo_allocate), __kstrtab_iio_kfifo_allocate};
#line 146 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
void iio_kfifo_free(struct iio_buffer *r ) 
{ struct iio_buffer  const  *__mptr ;
  struct iio_kfifo *__cil_tmp3 ;
  struct iio_buffer *__cil_tmp4 ;
  unsigned int __cil_tmp5 ;
  char *__cil_tmp6 ;
  char *__cil_tmp7 ;
  struct iio_kfifo *__cil_tmp8 ;
  void const   *__cil_tmp9 ;

  {
  {
#line 148
  __mptr = (struct iio_buffer  const  *)r;
#line 148
  __cil_tmp3 = (struct iio_kfifo *)0;
#line 148
  __cil_tmp4 = (struct iio_buffer *)__cil_tmp3;
#line 148
  __cil_tmp5 = (unsigned int )__cil_tmp4;
#line 148
  __cil_tmp6 = (char *)__mptr;
#line 148
  __cil_tmp7 = __cil_tmp6 - __cil_tmp5;
#line 148
  __cil_tmp8 = (struct iio_kfifo *)__cil_tmp7;
#line 148
  __cil_tmp9 = (void const   *)__cil_tmp8;
#line 148
  kfree(__cil_tmp9);
  }
#line 149
  return;
}
}
#line 150
extern void *__crc_iio_kfifo_free  __attribute__((__weak__)) ;
#line 150 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static unsigned long const   __kcrctab_iio_kfifo_free  __attribute__((__used__, __unused__,
__section__("___kcrctab+iio_kfifo_free")))  =    (unsigned long const   )((unsigned long )(& __crc_iio_kfifo_free));
#line 150 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static char const   __kstrtab_iio_kfifo_free[15]  __attribute__((__section__("__ksymtab_strings"),
__aligned__(1)))  = 
#line 150
  {      (char const   )'i',      (char const   )'i',      (char const   )'o',      (char const   )'_', 
        (char const   )'k',      (char const   )'f',      (char const   )'i',      (char const   )'f', 
        (char const   )'o',      (char const   )'_',      (char const   )'f',      (char const   )'r', 
        (char const   )'e',      (char const   )'e',      (char const   )'\000'};
#line 150 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static struct kernel_symbol  const  __ksymtab_iio_kfifo_free  __attribute__((__used__,
__unused__, __section__("___ksymtab+iio_kfifo_free")))  =    {(unsigned long )(& iio_kfifo_free), __kstrtab_iio_kfifo_free};
#line 152 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
static char const   __mod_license152[12]  __attribute__((__used__, __unused__, __section__(".modinfo"),
__aligned__(1)))  = 
#line 152
  {      (char const   )'l',      (char const   )'i',      (char const   )'c',      (char const   )'e', 
        (char const   )'n',      (char const   )'s',      (char const   )'e',      (char const   )'=', 
        (char const   )'G',      (char const   )'P',      (char const   )'L',      (char const   )'\000'};
#line 170
void ldv_check_final_state(void) ;
#line 176
extern void ldv_initialize(void) ;
#line 179
extern int __VERIFIER_nondet_int(void) ;
#line 182 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
int LDV_IN_INTERRUPT  ;
#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
void main(void) 
{ int tmp ;
  int tmp___0 ;

  {
  {
#line 197
  LDV_IN_INTERRUPT = 1;
#line 206
  ldv_initialize();
  }
  {
#line 208
  while (1) {
    while_continue: /* CIL Label */ ;
    {
#line 208
    tmp___0 = __VERIFIER_nondet_int();
    }
#line 208
    if (tmp___0) {

    } else {
#line 208
      goto while_break;
    }
    {
#line 211
    tmp = __VERIFIER_nondet_int();
    }
    {
#line 213
    goto switch_default;
#line 211
    if (0) {
      switch_default: /* CIL Label */ 
#line 213
      goto switch_break;
    } else {
      switch_break: /* CIL Label */ ;
    }
    }
  }
  while_break: /* CIL Label */ ;
  }
  {
#line 222
  ldv_check_final_state();
  }
#line 225
  return;
}
}
#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
void ldv_blast_assert(void) 
{ 

  {
  ERROR: 
#line 6
  goto ERROR;
}
}
#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
extern int __VERIFIER_nondet_int(void) ;
#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
int ldv_mutex  =    1;
#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
int __attribute__((__warn_unused_result__))  mutex_lock_interruptible(struct mutex *lock ) 
{ int nondetermined ;

  {
#line 29
  if (ldv_mutex == 1) {

  } else {
    {
#line 29
    ldv_blast_assert();
    }
  }
  {
#line 32
  nondetermined = __VERIFIER_nondet_int();
  }
#line 35
  if (nondetermined) {
#line 38
    ldv_mutex = 2;
#line 40
    return (0);
  } else {
#line 45
    return (-4);
  }
}
}
#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
int __attribute__((__warn_unused_result__))  mutex_lock_killable(struct mutex *lock ) 
{ int nondetermined ;

  {
#line 57
  if (ldv_mutex == 1) {

  } else {
    {
#line 57
    ldv_blast_assert();
    }
  }
  {
#line 60
  nondetermined = __VERIFIER_nondet_int();
  }
#line 63
  if (nondetermined) {
#line 66
    ldv_mutex = 2;
#line 68
    return (0);
  } else {
#line 73
    return (-4);
  }
}
}
#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) 
{ int atomic_value_after_dec ;

  {
#line 83
  if (ldv_mutex == 1) {

  } else {
    {
#line 83
    ldv_blast_assert();
    }
  }
  {
#line 86
  atomic_value_after_dec = __VERIFIER_nondet_int();
  }
#line 89
  if (atomic_value_after_dec == 0) {
#line 92
    ldv_mutex = 2;
#line 94
    return (1);
  } else {

  }
#line 98
  return (0);
}
}
#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
void mutex_lock(struct mutex *lock ) 
{ 

  {
#line 108
  if (ldv_mutex == 1) {

  } else {
    {
#line 108
    ldv_blast_assert();
    }
  }
#line 110
  ldv_mutex = 2;
#line 111
  return;
}
}
#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
int mutex_trylock(struct mutex *lock ) 
{ int nondetermined ;

  {
#line 121
  if (ldv_mutex == 1) {

  } else {
    {
#line 121
    ldv_blast_assert();
    }
  }
  {
#line 124
  nondetermined = __VERIFIER_nondet_int();
  }
#line 127
  if (nondetermined) {
#line 130
    ldv_mutex = 2;
#line 132
    return (1);
  } else {
#line 137
    return (0);
  }
}
}
#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
void mutex_unlock(struct mutex *lock ) 
{ 

  {
#line 147
  if (ldv_mutex == 2) {

  } else {
    {
#line 147
    ldv_blast_assert();
    }
  }
#line 149
  ldv_mutex = 1;
#line 150
  return;
}
}
#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
void ldv_check_final_state(void) 
{ 

  {
#line 156
  if (ldv_mutex == 1) {

  } else {
    {
#line 156
    ldv_blast_assert();
    }
  }
#line 157
  return;
}
}
#line 234 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/2033/dscv_tempdir/dscv/ri/32_1/drivers/staging/iio/kfifo_buf.c.common.c"
long s__builtin_expect(long val , long res ) 
{ 

  {
#line 235
  return (val);
}
}