Showing error 751

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