Showing error 704

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


Source:

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