Showing error 615

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


Source:

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