Showing error 688

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--usb--serial--iuu_phoenix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 13653
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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