Showing error 705

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


Source:

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