Showing error 242

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