Showing error 1067

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