Showing error 482

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