Showing error 700

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


Source:

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