ClabureDB

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 202 "include/linux/types.h" 99typedef unsigned int gfp_t; 100#line 203 "include/linux/types.h" 101typedef unsigned int fmode_t; 102#line 221 "include/linux/types.h" 103struct __anonstruct_atomic_t_6 { 104 int counter ; 105}; 106#line 221 "include/linux/types.h" 107typedef struct __anonstruct_atomic_t_6 atomic_t; 108#line 226 "include/linux/types.h" 109struct __anonstruct_atomic64_t_7 { 110 long counter ; 111}; 112#line 226 "include/linux/types.h" 113typedef struct __anonstruct_atomic64_t_7 atomic64_t; 114#line 227 "include/linux/types.h" 115struct list_head { 116 struct list_head *next ; 117 struct list_head *prev ; 118}; 119#line 232 120struct hlist_node; 121#line 232 "include/linux/types.h" 122struct hlist_head { 123 struct hlist_node *first ; 124}; 125#line 236 "include/linux/types.h" 126struct hlist_node { 127 struct hlist_node *next ; 128 struct hlist_node **pprev ; 129}; 130#line 247 "include/linux/types.h" 131struct rcu_head { 132 struct rcu_head *next ; 133 void (*func)(struct rcu_head * ) ; 134}; 135#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h" 136struct module; 137#line 55 138struct module; 139#line 146 "include/linux/init.h" 140typedef void (*ctor_fn_t)(void); 141#line 46 "include/linux/dynamic_debug.h" 142struct device; 143#line 46 144struct device; 145#line 57 146struct completion; 147#line 57 148struct completion; 149#line 58 150struct pt_regs; 151#line 58 152struct pt_regs; 153#line 348 "include/linux/kernel.h" 154struct pid; 155#line 348 156struct pid; 157#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h" 158struct timespec; 159#line 112 160struct timespec; 161#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h" 162struct page; 163#line 58 164struct page; 165#line 26 "include/asm-generic/getorder.h" 166struct task_struct; 167#line 26 168struct task_struct; 169#line 28 170struct mm_struct; 171#line 28 172struct mm_struct; 173#line 268 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/segment.h" 174struct pt_regs { 175 unsigned long r15 ; 176 unsigned long r14 ; 177 unsigned long r13 ; 178 unsigned long r12 ; 179 unsigned long bp ; 180 unsigned long bx ; 181 unsigned long r11 ; 182 unsigned long r10 ; 183 unsigned long r9 ; 184 unsigned long r8 ; 185 unsigned long ax ; 186 unsigned long cx ; 187 unsigned long dx ; 188 unsigned long si ; 189 unsigned long di ; 190 unsigned long orig_ax ; 191 unsigned long ip ; 192 unsigned long cs ; 193 unsigned long flags ; 194 unsigned long sp ; 195 unsigned long ss ; 196}; 197#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h" 198struct __anonstruct_ldv_2180_13 { 199 unsigned int a ; 200 unsigned int b ; 201}; 202#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h" 203struct __anonstruct_ldv_2195_14 { 204 u16 limit0 ; 205 u16 base0 ; 206 unsigned char base1 ; 207 unsigned char type : 4 ; 208 unsigned char s : 1 ; 209 unsigned char dpl : 2 ; 210 unsigned char p : 1 ; 211 unsigned char limit : 4 ; 212 unsigned char avl : 1 ; 213 unsigned char l : 1 ; 214 unsigned char d : 1 ; 215 unsigned char g : 1 ; 216 unsigned char base2 ; 217}; 218#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h" 219union __anonunion_ldv_2196_12 { 220 struct __anonstruct_ldv_2180_13 ldv_2180 ; 221 struct __anonstruct_ldv_2195_14 ldv_2195 ; 222}; 223#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h" 224struct desc_struct { 225 union __anonunion_ldv_2196_12 ldv_2196 ; 226}; 227#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h" 228typedef unsigned long pgdval_t; 229#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h" 230typedef unsigned long pgprotval_t; 231#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h" 232struct pgprot { 233 pgprotval_t pgprot ; 234}; 235#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 236typedef struct pgprot pgprot_t; 237#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 238struct __anonstruct_pgd_t_16 { 239 pgdval_t pgd ; 240}; 241#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 242typedef struct __anonstruct_pgd_t_16 pgd_t; 243#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 244typedef struct page *pgtable_t; 245#line 290 246struct file; 247#line 290 248struct file; 249#line 305 250struct seq_file; 251#line 305 252struct seq_file; 253#line 337 254struct thread_struct; 255#line 337 256struct thread_struct; 257#line 339 258struct cpumask; 259#line 339 260struct cpumask; 261#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h" 262struct arch_spinlock; 263#line 327 264struct arch_spinlock; 265#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h" 266struct kernel_vm86_regs { 267 struct pt_regs pt ; 268 unsigned short es ; 269 unsigned short __esh ; 270 unsigned short ds ; 271 unsigned short __dsh ; 272 unsigned short fs ; 273 unsigned short __fsh ; 274 unsigned short gs ; 275 unsigned short __gsh ; 276}; 277#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h" 278union __anonunion_ldv_2824_19 { 279 struct pt_regs *regs ; 280 struct kernel_vm86_regs *vm86 ; 281}; 282#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h" 283struct math_emu_info { 284 long ___orig_eip ; 285 union __anonunion_ldv_2824_19 ldv_2824 ; 286}; 287#line 306 "include/linux/bitmap.h" 288struct bug_entry { 289 int bug_addr_disp ; 290 int file_disp ; 291 unsigned short line ; 292 unsigned short flags ; 293}; 294#line 89 "include/linux/bug.h" 295struct cpumask { 296 unsigned long bits[64U] ; 297}; 298#line 14 "include/linux/cpumask.h" 299typedef struct cpumask cpumask_t; 300#line 637 "include/linux/cpumask.h" 301typedef struct cpumask *cpumask_var_t; 302#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h" 303struct static_key; 304#line 234 305struct static_key; 306#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 307struct i387_fsave_struct { 308 u32 cwd ; 309 u32 swd ; 310 u32 twd ; 311 u32 fip ; 312 u32 fcs ; 313 u32 foo ; 314 u32 fos ; 315 u32 st_space[20U] ; 316 u32 status ; 317}; 318#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 319struct __anonstruct_ldv_5180_24 { 320 u64 rip ; 321 u64 rdp ; 322}; 323#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 324struct __anonstruct_ldv_5186_25 { 325 u32 fip ; 326 u32 fcs ; 327 u32 foo ; 328 u32 fos ; 329}; 330#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 331union __anonunion_ldv_5187_23 { 332 struct __anonstruct_ldv_5180_24 ldv_5180 ; 333 struct __anonstruct_ldv_5186_25 ldv_5186 ; 334}; 335#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 336union __anonunion_ldv_5196_26 { 337 u32 padding1[12U] ; 338 u32 sw_reserved[12U] ; 339}; 340#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 341struct i387_fxsave_struct { 342 u16 cwd ; 343 u16 swd ; 344 u16 twd ; 345 u16 fop ; 346 union __anonunion_ldv_5187_23 ldv_5187 ; 347 u32 mxcsr ; 348 u32 mxcsr_mask ; 349 u32 st_space[32U] ; 350 u32 xmm_space[64U] ; 351 u32 padding[12U] ; 352 union __anonunion_ldv_5196_26 ldv_5196 ; 353}; 354#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 355struct i387_soft_struct { 356 u32 cwd ; 357 u32 swd ; 358 u32 twd ; 359 u32 fip ; 360 u32 fcs ; 361 u32 foo ; 362 u32 fos ; 363 u32 st_space[20U] ; 364 u8 ftop ; 365 u8 changed ; 366 u8 lookahead ; 367 u8 no_update ; 368 u8 rm ; 369 u8 alimit ; 370 struct math_emu_info *info ; 371 u32 entry_eip ; 372}; 373#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 374struct ymmh_struct { 375 u32 ymmh_space[64U] ; 376}; 377#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 378struct xsave_hdr_struct { 379 u64 xstate_bv ; 380 u64 reserved1[2U] ; 381 u64 reserved2[5U] ; 382}; 383#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 384struct xsave_struct { 385 struct i387_fxsave_struct i387 ; 386 struct xsave_hdr_struct xsave_hdr ; 387 struct ymmh_struct ymmh ; 388}; 389#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 390union thread_xstate { 391 struct i387_fsave_struct fsave ; 392 struct i387_fxsave_struct fxsave ; 393 struct i387_soft_struct soft ; 394 struct xsave_struct xsave ; 395}; 396#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 397struct fpu { 398 unsigned int last_cpu ; 399 unsigned int has_fpu ; 400 union thread_xstate *state ; 401}; 402#line 433 403struct kmem_cache; 404#line 434 405struct perf_event; 406#line 434 407struct perf_event; 408#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 409struct thread_struct { 410 struct desc_struct tls_array[3U] ; 411 unsigned long sp0 ; 412 unsigned long sp ; 413 unsigned long usersp ; 414 unsigned short es ; 415 unsigned short ds ; 416 unsigned short fsindex ; 417 unsigned short gsindex ; 418 unsigned long fs ; 419 unsigned long gs ; 420 struct perf_event *ptrace_bps[4U] ; 421 unsigned long debugreg6 ; 422 unsigned long ptrace_dr7 ; 423 unsigned long cr2 ; 424 unsigned long trap_nr ; 425 unsigned long error_code ; 426 struct fpu fpu ; 427 unsigned long *io_bitmap_ptr ; 428 unsigned long iopl ; 429 unsigned int io_bitmap_max ; 430}; 431#line 23 "include/asm-generic/atomic-long.h" 432typedef atomic64_t atomic_long_t; 433#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 434typedef u16 __ticket_t; 435#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 436typedef u32 __ticketpair_t; 437#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 438struct __raw_tickets { 439 __ticket_t head ; 440 __ticket_t tail ; 441}; 442#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 443union __anonunion_ldv_5907_29 { 444 __ticketpair_t head_tail ; 445 struct __raw_tickets tickets ; 446}; 447#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 448struct arch_spinlock { 449 union __anonunion_ldv_5907_29 ldv_5907 ; 450}; 451#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 452typedef struct arch_spinlock arch_spinlock_t; 453#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h" 454struct __anonstruct_ldv_5914_31 { 455 u32 read ; 456 s32 write ; 457}; 458#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h" 459union __anonunion_arch_rwlock_t_30 { 460 s64 lock ; 461 struct __anonstruct_ldv_5914_31 ldv_5914 ; 462}; 463#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h" 464typedef union __anonunion_arch_rwlock_t_30 arch_rwlock_t; 465#line 34 466struct lockdep_map; 467#line 34 468struct lockdep_map; 469#line 55 "include/linux/debug_locks.h" 470struct stack_trace { 471 unsigned int nr_entries ; 472 unsigned int max_entries ; 473 unsigned long *entries ; 474 int skip ; 475}; 476#line 26 "include/linux/stacktrace.h" 477struct lockdep_subclass_key { 478 char __one_byte ; 479}; 480#line 53 "include/linux/lockdep.h" 481struct lock_class_key { 482 struct lockdep_subclass_key subkeys[8U] ; 483}; 484#line 59 "include/linux/lockdep.h" 485struct lock_class { 486 struct list_head hash_entry ; 487 struct list_head lock_entry ; 488 struct lockdep_subclass_key *key ; 489 unsigned int subclass ; 490 unsigned int dep_gen_id ; 491 unsigned long usage_mask ; 492 struct stack_trace usage_traces[13U] ; 493 struct list_head locks_after ; 494 struct list_head locks_before ; 495 unsigned int version ; 496 unsigned long ops ; 497 char const *name ; 498 int name_version ; 499 unsigned long contention_point[4U] ; 500 unsigned long contending_point[4U] ; 501}; 502#line 144 "include/linux/lockdep.h" 503struct lockdep_map { 504 struct lock_class_key *key ; 505 struct lock_class *class_cache[2U] ; 506 char const *name ; 507 int cpu ; 508 unsigned long ip ; 509}; 510#line 187 "include/linux/lockdep.h" 511struct held_lock { 512 u64 prev_chain_key ; 513 unsigned long acquire_ip ; 514 struct lockdep_map *instance ; 515 struct lockdep_map *nest_lock ; 516 u64 waittime_stamp ; 517 u64 holdtime_stamp ; 518 unsigned short class_idx : 13 ; 519 unsigned char irq_context : 2 ; 520 unsigned char trylock : 1 ; 521 unsigned char read : 2 ; 522 unsigned char check : 2 ; 523 unsigned char hardirqs_off : 1 ; 524 unsigned short references : 11 ; 525}; 526#line 556 "include/linux/lockdep.h" 527struct raw_spinlock { 528 arch_spinlock_t raw_lock ; 529 unsigned int magic ; 530 unsigned int owner_cpu ; 531 void *owner ; 532 struct lockdep_map dep_map ; 533}; 534#line 32 "include/linux/spinlock_types.h" 535typedef struct raw_spinlock raw_spinlock_t; 536#line 33 "include/linux/spinlock_types.h" 537struct __anonstruct_ldv_6122_33 { 538 u8 __padding[24U] ; 539 struct lockdep_map dep_map ; 540}; 541#line 33 "include/linux/spinlock_types.h" 542union __anonunion_ldv_6123_32 { 543 struct raw_spinlock rlock ; 544 struct __anonstruct_ldv_6122_33 ldv_6122 ; 545}; 546#line 33 "include/linux/spinlock_types.h" 547struct spinlock { 548 union __anonunion_ldv_6123_32 ldv_6123 ; 549}; 550#line 76 "include/linux/spinlock_types.h" 551typedef struct spinlock spinlock_t; 552#line 23 "include/linux/rwlock_types.h" 553struct __anonstruct_rwlock_t_34 { 554 arch_rwlock_t raw_lock ; 555 unsigned int magic ; 556 unsigned int owner_cpu ; 557 void *owner ; 558 struct lockdep_map dep_map ; 559}; 560#line 23 "include/linux/rwlock_types.h" 561typedef struct __anonstruct_rwlock_t_34 rwlock_t; 562#line 110 "include/linux/seqlock.h" 563struct seqcount { 564 unsigned int sequence ; 565}; 566#line 121 "include/linux/seqlock.h" 567typedef struct seqcount seqcount_t; 568#line 254 "include/linux/seqlock.h" 569struct timespec { 570 __kernel_time_t tv_sec ; 571 long tv_nsec ; 572}; 573#line 286 "include/linux/time.h" 574struct kstat { 575 u64 ino ; 576 dev_t dev ; 577 umode_t mode ; 578 unsigned int nlink ; 579 uid_t uid ; 580 gid_t gid ; 581 dev_t rdev ; 582 loff_t size ; 583 struct timespec atime ; 584 struct timespec mtime ; 585 struct timespec ctime ; 586 unsigned long blksize ; 587 unsigned long long blocks ; 588}; 589#line 48 "include/linux/wait.h" 590struct __wait_queue_head { 591 spinlock_t lock ; 592 struct list_head task_list ; 593}; 594#line 53 "include/linux/wait.h" 595typedef struct __wait_queue_head wait_queue_head_t; 596#line 98 "include/linux/nodemask.h" 597struct __anonstruct_nodemask_t_36 { 598 unsigned long bits[16U] ; 599}; 600#line 98 "include/linux/nodemask.h" 601typedef struct __anonstruct_nodemask_t_36 nodemask_t; 602#line 670 "include/linux/mmzone.h" 603struct mutex { 604 atomic_t count ; 605 spinlock_t wait_lock ; 606 struct list_head wait_list ; 607 struct task_struct *owner ; 608 char const *name ; 609 void *magic ; 610 struct lockdep_map dep_map ; 611}; 612#line 63 "include/linux/mutex.h" 613struct mutex_waiter { 614 struct list_head list ; 615 struct task_struct *task ; 616 void *magic ; 617}; 618#line 171 619struct rw_semaphore; 620#line 171 621struct rw_semaphore; 622#line 172 "include/linux/mutex.h" 623struct rw_semaphore { 624 long count ; 625 raw_spinlock_t wait_lock ; 626 struct list_head wait_list ; 627 struct lockdep_map dep_map ; 628}; 629#line 128 "include/linux/rwsem.h" 630struct completion { 631 unsigned int done ; 632 wait_queue_head_t wait ; 633}; 634#line 312 "include/linux/jiffies.h" 635union ktime { 636 s64 tv64 ; 637}; 638#line 59 "include/linux/ktime.h" 639typedef union ktime ktime_t; 640#line 341 641struct tvec_base; 642#line 341 643struct tvec_base; 644#line 342 "include/linux/ktime.h" 645struct timer_list { 646 struct list_head entry ; 647 unsigned long expires ; 648 struct tvec_base *base ; 649 void (*function)(unsigned long ) ; 650 unsigned long data ; 651 int slack ; 652 int start_pid ; 653 void *start_site ; 654 char start_comm[16U] ; 655 struct lockdep_map lockdep_map ; 656}; 657#line 289 "include/linux/timer.h" 658struct hrtimer; 659#line 289 660struct hrtimer; 661#line 290 662enum hrtimer_restart; 663#line 302 664struct work_struct; 665#line 302 666struct work_struct; 667#line 45 "include/linux/workqueue.h" 668struct work_struct { 669 atomic_long_t data ; 670 struct list_head entry ; 671 void (*func)(struct work_struct * ) ; 672 struct lockdep_map lockdep_map ; 673}; 674#line 86 "include/linux/workqueue.h" 675struct delayed_work { 676 struct work_struct work ; 677 struct timer_list timer ; 678}; 679#line 46 "include/linux/pm.h" 680struct pm_message { 681 int event ; 682}; 683#line 52 "include/linux/pm.h" 684typedef struct pm_message pm_message_t; 685#line 53 "include/linux/pm.h" 686struct dev_pm_ops { 687 int (*prepare)(struct device * ) ; 688 void (*complete)(struct device * ) ; 689 int (*suspend)(struct device * ) ; 690 int (*resume)(struct device * ) ; 691 int (*freeze)(struct device * ) ; 692 int (*thaw)(struct device * ) ; 693 int (*poweroff)(struct device * ) ; 694 int (*restore)(struct device * ) ; 695 int (*suspend_late)(struct device * ) ; 696 int (*resume_early)(struct device * ) ; 697 int (*freeze_late)(struct device * ) ; 698 int (*thaw_early)(struct device * ) ; 699 int (*poweroff_late)(struct device * ) ; 700 int (*restore_early)(struct device * ) ; 701 int (*suspend_noirq)(struct device * ) ; 702 int (*resume_noirq)(struct device * ) ; 703 int (*freeze_noirq)(struct device * ) ; 704 int (*thaw_noirq)(struct device * ) ; 705 int (*poweroff_noirq)(struct device * ) ; 706 int (*restore_noirq)(struct device * ) ; 707 int (*runtime_suspend)(struct device * ) ; 708 int (*runtime_resume)(struct device * ) ; 709 int (*runtime_idle)(struct device * ) ; 710}; 711#line 289 712enum rpm_status { 713 RPM_ACTIVE = 0, 714 RPM_RESUMING = 1, 715 RPM_SUSPENDED = 2, 716 RPM_SUSPENDING = 3 717} ; 718#line 296 719enum rpm_request { 720 RPM_REQ_NONE = 0, 721 RPM_REQ_IDLE = 1, 722 RPM_REQ_SUSPEND = 2, 723 RPM_REQ_AUTOSUSPEND = 3, 724 RPM_REQ_RESUME = 4 725} ; 726#line 304 727struct wakeup_source; 728#line 304 729struct wakeup_source; 730#line 494 "include/linux/pm.h" 731struct pm_subsys_data { 732 spinlock_t lock ; 733 unsigned int refcount ; 734}; 735#line 499 736struct dev_pm_qos_request; 737#line 499 738struct pm_qos_constraints; 739#line 499 "include/linux/pm.h" 740struct dev_pm_info { 741 pm_message_t power_state ; 742 unsigned char can_wakeup : 1 ; 743 unsigned char async_suspend : 1 ; 744 bool is_prepared ; 745 bool is_suspended ; 746 bool ignore_children ; 747 spinlock_t lock ; 748 struct list_head entry ; 749 struct completion completion ; 750 struct wakeup_source *wakeup ; 751 bool wakeup_path ; 752 struct timer_list suspend_timer ; 753 unsigned long timer_expires ; 754 struct work_struct work ; 755 wait_queue_head_t wait_queue ; 756 atomic_t usage_count ; 757 atomic_t child_count ; 758 unsigned char disable_depth : 3 ; 759 unsigned char idle_notification : 1 ; 760 unsigned char request_pending : 1 ; 761 unsigned char deferred_resume : 1 ; 762 unsigned char run_wake : 1 ; 763 unsigned char runtime_auto : 1 ; 764 unsigned char no_callbacks : 1 ; 765 unsigned char irq_safe : 1 ; 766 unsigned char use_autosuspend : 1 ; 767 unsigned char timer_autosuspends : 1 ; 768 enum rpm_request request ; 769 enum rpm_status runtime_status ; 770 int runtime_error ; 771 int autosuspend_delay ; 772 unsigned long last_busy ; 773 unsigned long active_jiffies ; 774 unsigned long suspended_jiffies ; 775 unsigned long accounting_timestamp ; 776 ktime_t suspend_time ; 777 s64 max_time_suspended_ns ; 778 struct dev_pm_qos_request *pq_req ; 779 struct pm_subsys_data *subsys_data ; 780 struct pm_qos_constraints *constraints ; 781}; 782#line 558 "include/linux/pm.h" 783struct dev_pm_domain { 784 struct dev_pm_ops ops ; 785}; 786#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h" 787struct __anonstruct_mm_context_t_101 { 788 void *ldt ; 789 int size ; 790 unsigned short ia32_compat ; 791 struct mutex lock ; 792 void *vdso ; 793}; 794#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h" 795typedef struct __anonstruct_mm_context_t_101 mm_context_t; 796#line 18 "include/asm-generic/pci_iomap.h" 797struct vm_area_struct; 798#line 18 799struct vm_area_struct; 800#line 835 "include/linux/sysctl.h" 801struct rb_node { 802 unsigned long rb_parent_color ; 803 struct rb_node *rb_right ; 804 struct rb_node *rb_left ; 805}; 806#line 108 "include/linux/rbtree.h" 807struct rb_root { 808 struct rb_node *rb_node ; 809}; 810#line 176 811struct nsproxy; 812#line 176 813struct nsproxy; 814#line 37 "include/linux/kmod.h" 815struct cred; 816#line 37 817struct cred; 818#line 18 "include/linux/elf.h" 819typedef __u64 Elf64_Addr; 820#line 19 "include/linux/elf.h" 821typedef __u16 Elf64_Half; 822#line 23 "include/linux/elf.h" 823typedef __u32 Elf64_Word; 824#line 24 "include/linux/elf.h" 825typedef __u64 Elf64_Xword; 826#line 193 "include/linux/elf.h" 827struct elf64_sym { 828 Elf64_Word st_name ; 829 unsigned char st_info ; 830 unsigned char st_other ; 831 Elf64_Half st_shndx ; 832 Elf64_Addr st_value ; 833 Elf64_Xword st_size ; 834}; 835#line 201 "include/linux/elf.h" 836typedef struct elf64_sym Elf64_Sym; 837#line 445 838struct sock; 839#line 445 840struct sock; 841#line 446 842struct kobject; 843#line 446 844struct kobject; 845#line 447 846enum kobj_ns_type { 847 KOBJ_NS_TYPE_NONE = 0, 848 KOBJ_NS_TYPE_NET = 1, 849 KOBJ_NS_TYPES = 2 850} ; 851#line 453 "include/linux/elf.h" 852struct kobj_ns_type_operations { 853 enum kobj_ns_type type ; 854 void *(*grab_current_ns)(void) ; 855 void const *(*netlink_ns)(struct sock * ) ; 856 void const *(*initial_ns)(void) ; 857 void (*drop_ns)(void * ) ; 858}; 859#line 57 "include/linux/kobject_ns.h" 860struct attribute { 861 char const *name ; 862 umode_t mode ; 863 struct lock_class_key *key ; 864 struct lock_class_key skey ; 865}; 866#line 33 "include/linux/sysfs.h" 867struct attribute_group { 868 char const *name ; 869 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ; 870 struct attribute **attrs ; 871}; 872#line 62 "include/linux/sysfs.h" 873struct bin_attribute { 874 struct attribute attr ; 875 size_t size ; 876 void *private ; 877 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * , 878 loff_t , size_t ) ; 879 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * , 880 loff_t , size_t ) ; 881 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ; 882}; 883#line 98 "include/linux/sysfs.h" 884struct sysfs_ops { 885 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ; 886 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ; 887 void const *(*namespace)(struct kobject * , struct attribute const * ) ; 888}; 889#line 117 890struct sysfs_dirent; 891#line 117 892struct sysfs_dirent; 893#line 182 "include/linux/sysfs.h" 894struct kref { 895 atomic_t refcount ; 896}; 897#line 39 "include/linux/kobject.h" 898enum kobject_action { 899 KOBJ_ADD = 0, 900 KOBJ_REMOVE = 1, 901 KOBJ_CHANGE = 2, 902 KOBJ_MOVE = 3, 903 KOBJ_ONLINE = 4, 904 KOBJ_OFFLINE = 5, 905 KOBJ_MAX = 6 906} ; 907#line 49 908struct kset; 909#line 49 910struct kobj_type; 911#line 49 "include/linux/kobject.h" 912struct kobject { 913 char const *name ; 914 struct list_head entry ; 915 struct kobject *parent ; 916 struct kset *kset ; 917 struct kobj_type *ktype ; 918 struct sysfs_dirent *sd ; 919 struct kref kref ; 920 unsigned char state_initialized : 1 ; 921 unsigned char state_in_sysfs : 1 ; 922 unsigned char state_add_uevent_sent : 1 ; 923 unsigned char state_remove_uevent_sent : 1 ; 924 unsigned char uevent_suppress : 1 ; 925}; 926#line 107 "include/linux/kobject.h" 927struct kobj_type { 928 void (*release)(struct kobject * ) ; 929 struct sysfs_ops const *sysfs_ops ; 930 struct attribute **default_attrs ; 931 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ; 932 void const *(*namespace)(struct kobject * ) ; 933}; 934#line 115 "include/linux/kobject.h" 935struct kobj_uevent_env { 936 char *envp[32U] ; 937 int envp_idx ; 938 char buf[2048U] ; 939 int buflen ; 940}; 941#line 122 "include/linux/kobject.h" 942struct kset_uevent_ops { 943 int (* const filter)(struct kset * , struct kobject * ) ; 944 char const *(* const name)(struct kset * , struct kobject * ) ; 945 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ; 946}; 947#line 139 "include/linux/kobject.h" 948struct kset { 949 struct list_head list ; 950 spinlock_t list_lock ; 951 struct kobject kobj ; 952 struct kset_uevent_ops const *uevent_ops ; 953}; 954#line 215 955struct kernel_param; 956#line 215 957struct kernel_param; 958#line 216 "include/linux/kobject.h" 959struct kernel_param_ops { 960 int (*set)(char const * , struct kernel_param const * ) ; 961 int (*get)(char * , struct kernel_param const * ) ; 962 void (*free)(void * ) ; 963}; 964#line 49 "include/linux/moduleparam.h" 965struct kparam_string; 966#line 49 967struct kparam_array; 968#line 49 "include/linux/moduleparam.h" 969union __anonunion_ldv_13363_134 { 970 void *arg ; 971 struct kparam_string const *str ; 972 struct kparam_array const *arr ; 973}; 974#line 49 "include/linux/moduleparam.h" 975struct kernel_param { 976 char const *name ; 977 struct kernel_param_ops const *ops ; 978 u16 perm ; 979 s16 level ; 980 union __anonunion_ldv_13363_134 ldv_13363 ; 981}; 982#line 61 "include/linux/moduleparam.h" 983struct kparam_string { 984 unsigned int maxlen ; 985 char *string ; 986}; 987#line 67 "include/linux/moduleparam.h" 988struct kparam_array { 989 unsigned int max ; 990 unsigned int elemsize ; 991 unsigned int *num ; 992 struct kernel_param_ops const *ops ; 993 void *elem ; 994}; 995#line 458 "include/linux/moduleparam.h" 996struct static_key { 997 atomic_t enabled ; 998}; 999#line 225 "include/linux/jump_label.h" 1000struct tracepoint; 1001#line 225 1002struct tracepoint; 1003#line 226 "include/linux/jump_label.h" 1004struct tracepoint_func { 1005 void *func ; 1006 void *data ; 1007}; 1008#line 29 "include/linux/tracepoint.h" 1009struct tracepoint { 1010 char const *name ; 1011 struct static_key key ; 1012 void (*regfunc)(void) ; 1013 void (*unregfunc)(void) ; 1014 struct tracepoint_func *funcs ; 1015}; 1016#line 86 "include/linux/tracepoint.h" 1017struct kernel_symbol { 1018 unsigned long value ; 1019 char const *name ; 1020}; 1021#line 27 "include/linux/export.h" 1022struct mod_arch_specific { 1023 1024}; 1025#line 34 "include/linux/module.h" 1026struct module_param_attrs; 1027#line 34 "include/linux/module.h" 1028struct module_kobject { 1029 struct kobject kobj ; 1030 struct module *mod ; 1031 struct kobject *drivers_dir ; 1032 struct module_param_attrs *mp ; 1033}; 1034#line 43 "include/linux/module.h" 1035struct module_attribute { 1036 struct attribute attr ; 1037 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ; 1038 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * , 1039 size_t ) ; 1040 void (*setup)(struct module * , char const * ) ; 1041 int (*test)(struct module * ) ; 1042 void (*free)(struct module * ) ; 1043}; 1044#line 69 1045struct exception_table_entry; 1046#line 69 1047struct exception_table_entry; 1048#line 198 1049enum module_state { 1050 MODULE_STATE_LIVE = 0, 1051 MODULE_STATE_COMING = 1, 1052 MODULE_STATE_GOING = 2 1053} ; 1054#line 204 "include/linux/module.h" 1055struct module_ref { 1056 unsigned long incs ; 1057 unsigned long decs ; 1058}; 1059#line 219 1060struct module_sect_attrs; 1061#line 219 1062struct module_notes_attrs; 1063#line 219 1064struct ftrace_event_call; 1065#line 219 "include/linux/module.h" 1066struct module { 1067 enum module_state state ; 1068 struct list_head list ; 1069 char name[56U] ; 1070 struct module_kobject mkobj ; 1071 struct module_attribute *modinfo_attrs ; 1072 char const *version ; 1073 char const *srcversion ; 1074 struct kobject *holders_dir ; 1075 struct kernel_symbol const *syms ; 1076 unsigned long const *crcs ; 1077 unsigned int num_syms ; 1078 struct kernel_param *kp ; 1079 unsigned int num_kp ; 1080 unsigned int num_gpl_syms ; 1081 struct kernel_symbol const *gpl_syms ; 1082 unsigned long const *gpl_crcs ; 1083 struct kernel_symbol const *unused_syms ; 1084 unsigned long const *unused_crcs ; 1085 unsigned int num_unused_syms ; 1086 unsigned int num_unused_gpl_syms ; 1087 struct kernel_symbol const *unused_gpl_syms ; 1088 unsigned long const *unused_gpl_crcs ; 1089 struct kernel_symbol const *gpl_future_syms ; 1090 unsigned long const *gpl_future_crcs ; 1091 unsigned int num_gpl_future_syms ; 1092 unsigned int num_exentries ; 1093 struct exception_table_entry *extable ; 1094 int (*init)(void) ; 1095 void *module_init ; 1096 void *module_core ; 1097 unsigned int init_size ; 1098 unsigned int core_size ; 1099 unsigned int init_text_size ; 1100 unsigned int core_text_size ; 1101 unsigned int init_ro_size ; 1102 unsigned int core_ro_size ; 1103 struct mod_arch_specific arch ; 1104 unsigned int taints ; 1105 unsigned int num_bugs ; 1106 struct list_head bug_list ; 1107 struct bug_entry *bug_table ; 1108 Elf64_Sym *symtab ; 1109 Elf64_Sym *core_symtab ; 1110 unsigned int num_symtab ; 1111 unsigned int core_num_syms ; 1112 char *strtab ; 1113 char *core_strtab ; 1114 struct module_sect_attrs *sect_attrs ; 1115 struct module_notes_attrs *notes_attrs ; 1116 char *args ; 1117 void *percpu ; 1118 unsigned int percpu_size ; 1119 unsigned int num_tracepoints ; 1120 struct tracepoint * const *tracepoints_ptrs ; 1121 unsigned int num_trace_bprintk_fmt ; 1122 char const **trace_bprintk_fmt_start ; 1123 struct ftrace_event_call **trace_events ; 1124 unsigned int num_trace_events ; 1125 struct list_head source_list ; 1126 struct list_head target_list ; 1127 struct task_struct *waiter ; 1128 void (*exit)(void) ; 1129 struct module_ref *refptr ; 1130 ctor_fn_t (**ctors)(void) ; 1131 unsigned int num_ctors ; 1132}; 1133#line 88 "include/linux/kmemleak.h" 1134struct kmem_cache_cpu { 1135 void **freelist ; 1136 unsigned long tid ; 1137 struct page *page ; 1138 struct page *partial ; 1139 int node ; 1140 unsigned int stat[26U] ; 1141}; 1142#line 55 "include/linux/slub_def.h" 1143struct kmem_cache_node { 1144 spinlock_t list_lock ; 1145 unsigned long nr_partial ; 1146 struct list_head partial ; 1147 atomic_long_t nr_slabs ; 1148 atomic_long_t total_objects ; 1149 struct list_head full ; 1150}; 1151#line 66 "include/linux/slub_def.h" 1152struct kmem_cache_order_objects { 1153 unsigned long x ; 1154}; 1155#line 76 "include/linux/slub_def.h" 1156struct kmem_cache { 1157 struct kmem_cache_cpu *cpu_slab ; 1158 unsigned long flags ; 1159 unsigned long min_partial ; 1160 int size ; 1161 int objsize ; 1162 int offset ; 1163 int cpu_partial ; 1164 struct kmem_cache_order_objects oo ; 1165 struct kmem_cache_order_objects max ; 1166 struct kmem_cache_order_objects min ; 1167 gfp_t allocflags ; 1168 int refcount ; 1169 void (*ctor)(void * ) ; 1170 int inuse ; 1171 int align ; 1172 int reserved ; 1173 char const *name ; 1174 struct list_head list ; 1175 struct kobject kobj ; 1176 int remote_node_defrag_ratio ; 1177 struct kmem_cache_node *node[1024U] ; 1178}; 1179#line 12 "include/linux/mod_devicetable.h" 1180typedef unsigned long kernel_ulong_t; 1181#line 181 "include/linux/mod_devicetable.h" 1182struct acpi_device_id { 1183 __u8 id[16U] ; 1184 kernel_ulong_t driver_data ; 1185}; 1186#line 215 "include/linux/mod_devicetable.h" 1187struct of_device_id { 1188 char name[32U] ; 1189 char type[32U] ; 1190 char compatible[128U] ; 1191 void *data ; 1192}; 1193#line 93 "include/linux/capability.h" 1194struct kernel_cap_struct { 1195 __u32 cap[2U] ; 1196}; 1197#line 96 "include/linux/capability.h" 1198typedef struct kernel_cap_struct kernel_cap_t; 1199#line 104 1200struct dentry; 1201#line 104 1202struct dentry; 1203#line 105 1204struct user_namespace; 1205#line 105 1206struct user_namespace; 1207#line 554 1208struct prio_tree_node; 1209#line 554 "include/linux/capability.h" 1210struct raw_prio_tree_node { 1211 struct prio_tree_node *left ; 1212 struct prio_tree_node *right ; 1213 struct prio_tree_node *parent ; 1214}; 1215#line 19 "include/linux/prio_tree.h" 1216struct prio_tree_node { 1217 struct prio_tree_node *left ; 1218 struct prio_tree_node *right ; 1219 struct prio_tree_node *parent ; 1220 unsigned long start ; 1221 unsigned long last ; 1222}; 1223#line 27 "include/linux/prio_tree.h" 1224struct prio_tree_root { 1225 struct prio_tree_node *prio_tree_node ; 1226 unsigned short index_bits ; 1227 unsigned short raw ; 1228}; 1229#line 116 1230struct address_space; 1231#line 116 1232struct address_space; 1233#line 117 "include/linux/prio_tree.h" 1234union __anonunion_ldv_14552_138 { 1235 unsigned long index ; 1236 void *freelist ; 1237}; 1238#line 117 "include/linux/prio_tree.h" 1239struct __anonstruct_ldv_14562_142 { 1240 unsigned short inuse ; 1241 unsigned short objects : 15 ; 1242 unsigned char frozen : 1 ; 1243}; 1244#line 117 "include/linux/prio_tree.h" 1245union __anonunion_ldv_14563_141 { 1246 atomic_t _mapcount ; 1247 struct __anonstruct_ldv_14562_142 ldv_14562 ; 1248}; 1249#line 117 "include/linux/prio_tree.h" 1250struct __anonstruct_ldv_14565_140 { 1251 union __anonunion_ldv_14563_141 ldv_14563 ; 1252 atomic_t _count ; 1253}; 1254#line 117 "include/linux/prio_tree.h" 1255union __anonunion_ldv_14566_139 { 1256 unsigned long counters ; 1257 struct __anonstruct_ldv_14565_140 ldv_14565 ; 1258}; 1259#line 117 "include/linux/prio_tree.h" 1260struct __anonstruct_ldv_14567_137 { 1261 union __anonunion_ldv_14552_138 ldv_14552 ; 1262 union __anonunion_ldv_14566_139 ldv_14566 ; 1263}; 1264#line 117 "include/linux/prio_tree.h" 1265struct __anonstruct_ldv_14574_144 { 1266 struct page *next ; 1267 int pages ; 1268 int pobjects ; 1269}; 1270#line 117 "include/linux/prio_tree.h" 1271union __anonunion_ldv_14575_143 { 1272 struct list_head lru ; 1273 struct __anonstruct_ldv_14574_144 ldv_14574 ; 1274}; 1275#line 117 "include/linux/prio_tree.h" 1276union __anonunion_ldv_14580_145 { 1277 unsigned long private ; 1278 struct kmem_cache *slab ; 1279 struct page *first_page ; 1280}; 1281#line 117 "include/linux/prio_tree.h" 1282struct page { 1283 unsigned long flags ; 1284 struct address_space *mapping ; 1285 struct __anonstruct_ldv_14567_137 ldv_14567 ; 1286 union __anonunion_ldv_14575_143 ldv_14575 ; 1287 union __anonunion_ldv_14580_145 ldv_14580 ; 1288 unsigned long debug_flags ; 1289}; 1290#line 192 "include/linux/mm_types.h" 1291struct __anonstruct_vm_set_147 { 1292 struct list_head list ; 1293 void *parent ; 1294 struct vm_area_struct *head ; 1295}; 1296#line 192 "include/linux/mm_types.h" 1297union __anonunion_shared_146 { 1298 struct __anonstruct_vm_set_147 vm_set ; 1299 struct raw_prio_tree_node prio_tree_node ; 1300}; 1301#line 192 1302struct anon_vma; 1303#line 192 1304struct vm_operations_struct; 1305#line 192 1306struct mempolicy; 1307#line 192 "include/linux/mm_types.h" 1308struct vm_area_struct { 1309 struct mm_struct *vm_mm ; 1310 unsigned long vm_start ; 1311 unsigned long vm_end ; 1312 struct vm_area_struct *vm_next ; 1313 struct vm_area_struct *vm_prev ; 1314 pgprot_t vm_page_prot ; 1315 unsigned long vm_flags ; 1316 struct rb_node vm_rb ; 1317 union __anonunion_shared_146 shared ; 1318 struct list_head anon_vma_chain ; 1319 struct anon_vma *anon_vma ; 1320 struct vm_operations_struct const *vm_ops ; 1321 unsigned long vm_pgoff ; 1322 struct file *vm_file ; 1323 void *vm_private_data ; 1324 struct mempolicy *vm_policy ; 1325}; 1326#line 255 "include/linux/mm_types.h" 1327struct core_thread { 1328 struct task_struct *task ; 1329 struct core_thread *next ; 1330}; 1331#line 261 "include/linux/mm_types.h" 1332struct core_state { 1333 atomic_t nr_threads ; 1334 struct core_thread dumper ; 1335 struct completion startup ; 1336}; 1337#line 274 "include/linux/mm_types.h" 1338struct mm_rss_stat { 1339 atomic_long_t count[3U] ; 1340}; 1341#line 287 1342struct linux_binfmt; 1343#line 287 1344struct mmu_notifier_mm; 1345#line 287 "include/linux/mm_types.h" 1346struct mm_struct { 1347 struct vm_area_struct *mmap ; 1348 struct rb_root mm_rb ; 1349 struct vm_area_struct *mmap_cache ; 1350 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long , 1351 unsigned long , unsigned long ) ; 1352 void (*unmap_area)(struct mm_struct * , unsigned long ) ; 1353 unsigned long mmap_base ; 1354 unsigned long task_size ; 1355 unsigned long cached_hole_size ; 1356 unsigned long free_area_cache ; 1357 pgd_t *pgd ; 1358 atomic_t mm_users ; 1359 atomic_t mm_count ; 1360 int map_count ; 1361 spinlock_t page_table_lock ; 1362 struct rw_semaphore mmap_sem ; 1363 struct list_head mmlist ; 1364 unsigned long hiwater_rss ; 1365 unsigned long hiwater_vm ; 1366 unsigned long total_vm ; 1367 unsigned long locked_vm ; 1368 unsigned long pinned_vm ; 1369 unsigned long shared_vm ; 1370 unsigned long exec_vm ; 1371 unsigned long stack_vm ; 1372 unsigned long reserved_vm ; 1373 unsigned long def_flags ; 1374 unsigned long nr_ptes ; 1375 unsigned long start_code ; 1376 unsigned long end_code ; 1377 unsigned long start_data ; 1378 unsigned long end_data ; 1379 unsigned long start_brk ; 1380 unsigned long brk ; 1381 unsigned long start_stack ; 1382 unsigned long arg_start ; 1383 unsigned long arg_end ; 1384 unsigned long env_start ; 1385 unsigned long env_end ; 1386 unsigned long saved_auxv[44U] ; 1387 struct mm_rss_stat rss_stat ; 1388 struct linux_binfmt *binfmt ; 1389 cpumask_var_t cpu_vm_mask_var ; 1390 mm_context_t context ; 1391 unsigned int faultstamp ; 1392 unsigned int token_priority ; 1393 unsigned int last_interval ; 1394 unsigned long flags ; 1395 struct core_state *core_state ; 1396 spinlock_t ioctx_lock ; 1397 struct hlist_head ioctx_list ; 1398 struct task_struct *owner ; 1399 struct file *exe_file ; 1400 unsigned long num_exe_file_vmas ; 1401 struct mmu_notifier_mm *mmu_notifier_mm ; 1402 pgtable_t pmd_huge_pte ; 1403 struct cpumask cpumask_allocation ; 1404}; 1405#line 7 "include/asm-generic/cputime.h" 1406typedef unsigned long cputime_t; 1407#line 98 "include/linux/sem.h" 1408struct sem_undo_list; 1409#line 98 "include/linux/sem.h" 1410struct sysv_sem { 1411 struct sem_undo_list *undo_list ; 1412}; 1413#line 107 1414struct siginfo; 1415#line 107 1416struct siginfo; 1417#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 1418struct __anonstruct_sigset_t_148 { 1419 unsigned long sig[1U] ; 1420}; 1421#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 1422typedef struct __anonstruct_sigset_t_148 sigset_t; 1423#line 17 "include/asm-generic/signal-defs.h" 1424typedef void __signalfn_t(int ); 1425#line 18 "include/asm-generic/signal-defs.h" 1426typedef __signalfn_t *__sighandler_t; 1427#line 20 "include/asm-generic/signal-defs.h" 1428typedef void __restorefn_t(void); 1429#line 21 "include/asm-generic/signal-defs.h" 1430typedef __restorefn_t *__sigrestore_t; 1431#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 1432struct sigaction { 1433 __sighandler_t sa_handler ; 1434 unsigned long sa_flags ; 1435 __sigrestore_t sa_restorer ; 1436 sigset_t sa_mask ; 1437}; 1438#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 1439struct k_sigaction { 1440 struct sigaction sa ; 1441}; 1442#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 1443union sigval { 1444 int sival_int ; 1445 void *sival_ptr ; 1446}; 1447#line 10 "include/asm-generic/siginfo.h" 1448typedef union sigval sigval_t; 1449#line 11 "include/asm-generic/siginfo.h" 1450struct __anonstruct__kill_150 { 1451 __kernel_pid_t _pid ; 1452 __kernel_uid32_t _uid ; 1453}; 1454#line 11 "include/asm-generic/siginfo.h" 1455struct __anonstruct__timer_151 { 1456 __kernel_timer_t _tid ; 1457 int _overrun ; 1458 char _pad[0U] ; 1459 sigval_t _sigval ; 1460 int _sys_private ; 1461}; 1462#line 11 "include/asm-generic/siginfo.h" 1463struct __anonstruct__rt_152 { 1464 __kernel_pid_t _pid ; 1465 __kernel_uid32_t _uid ; 1466 sigval_t _sigval ; 1467}; 1468#line 11 "include/asm-generic/siginfo.h" 1469struct __anonstruct__sigchld_153 { 1470 __kernel_pid_t _pid ; 1471 __kernel_uid32_t _uid ; 1472 int _status ; 1473 __kernel_clock_t _utime ; 1474 __kernel_clock_t _stime ; 1475}; 1476#line 11 "include/asm-generic/siginfo.h" 1477struct __anonstruct__sigfault_154 { 1478 void *_addr ; 1479 short _addr_lsb ; 1480}; 1481#line 11 "include/asm-generic/siginfo.h" 1482struct __anonstruct__sigpoll_155 { 1483 long _band ; 1484 int _fd ; 1485}; 1486#line 11 "include/asm-generic/siginfo.h" 1487union __anonunion__sifields_149 { 1488 int _pad[28U] ; 1489 struct __anonstruct__kill_150 _kill ; 1490 struct __anonstruct__timer_151 _timer ; 1491 struct __anonstruct__rt_152 _rt ; 1492 struct __anonstruct__sigchld_153 _sigchld ; 1493 struct __anonstruct__sigfault_154 _sigfault ; 1494 struct __anonstruct__sigpoll_155 _sigpoll ; 1495}; 1496#line 11 "include/asm-generic/siginfo.h" 1497struct siginfo { 1498 int si_signo ; 1499 int si_errno ; 1500 int si_code ; 1501 union __anonunion__sifields_149 _sifields ; 1502}; 1503#line 102 "include/asm-generic/siginfo.h" 1504typedef struct siginfo siginfo_t; 1505#line 14 "include/linux/signal.h" 1506struct user_struct; 1507#line 24 "include/linux/signal.h" 1508struct sigpending { 1509 struct list_head list ; 1510 sigset_t signal ; 1511}; 1512#line 388 1513enum pid_type { 1514 PIDTYPE_PID = 0, 1515 PIDTYPE_PGID = 1, 1516 PIDTYPE_SID = 2, 1517 PIDTYPE_MAX = 3 1518} ; 1519#line 395 1520struct pid_namespace; 1521#line 395 "include/linux/signal.h" 1522struct upid { 1523 int nr ; 1524 struct pid_namespace *ns ; 1525 struct hlist_node pid_chain ; 1526}; 1527#line 56 "include/linux/pid.h" 1528struct pid { 1529 atomic_t count ; 1530 unsigned int level ; 1531 struct hlist_head tasks[3U] ; 1532 struct rcu_head rcu ; 1533 struct upid numbers[1U] ; 1534}; 1535#line 68 "include/linux/pid.h" 1536struct pid_link { 1537 struct hlist_node node ; 1538 struct pid *pid ; 1539}; 1540#line 10 "include/linux/seccomp.h" 1541struct __anonstruct_seccomp_t_158 { 1542 int mode ; 1543}; 1544#line 10 "include/linux/seccomp.h" 1545typedef struct __anonstruct_seccomp_t_158 seccomp_t; 1546#line 427 "include/linux/rculist.h" 1547struct plist_head { 1548 struct list_head node_list ; 1549}; 1550#line 84 "include/linux/plist.h" 1551struct plist_node { 1552 int prio ; 1553 struct list_head prio_list ; 1554 struct list_head node_list ; 1555}; 1556#line 38 "include/linux/rtmutex.h" 1557struct rt_mutex_waiter; 1558#line 38 1559struct rt_mutex_waiter; 1560#line 41 "include/linux/resource.h" 1561struct rlimit { 1562 unsigned long rlim_cur ; 1563 unsigned long rlim_max ; 1564}; 1565#line 85 "include/linux/resource.h" 1566struct timerqueue_node { 1567 struct rb_node node ; 1568 ktime_t expires ; 1569}; 1570#line 12 "include/linux/timerqueue.h" 1571struct timerqueue_head { 1572 struct rb_root head ; 1573 struct timerqueue_node *next ; 1574}; 1575#line 50 1576struct hrtimer_clock_base; 1577#line 50 1578struct hrtimer_clock_base; 1579#line 51 1580struct hrtimer_cpu_base; 1581#line 51 1582struct hrtimer_cpu_base; 1583#line 60 1584enum hrtimer_restart { 1585 HRTIMER_NORESTART = 0, 1586 HRTIMER_RESTART = 1 1587} ; 1588#line 65 "include/linux/timerqueue.h" 1589struct hrtimer { 1590 struct timerqueue_node node ; 1591 ktime_t _softexpires ; 1592 enum hrtimer_restart (*function)(struct hrtimer * ) ; 1593 struct hrtimer_clock_base *base ; 1594 unsigned long state ; 1595 int start_pid ; 1596 void *start_site ; 1597 char start_comm[16U] ; 1598}; 1599#line 132 "include/linux/hrtimer.h" 1600struct hrtimer_clock_base { 1601 struct hrtimer_cpu_base *cpu_base ; 1602 int index ; 1603 clockid_t clockid ; 1604 struct timerqueue_head active ; 1605 ktime_t resolution ; 1606 ktime_t (*get_time)(void) ; 1607 ktime_t softirq_time ; 1608 ktime_t offset ; 1609}; 1610#line 162 "include/linux/hrtimer.h" 1611struct hrtimer_cpu_base { 1612 raw_spinlock_t lock ; 1613 unsigned long active_bases ; 1614 ktime_t expires_next ; 1615 int hres_active ; 1616 int hang_detected ; 1617 unsigned long nr_events ; 1618 unsigned long nr_retries ; 1619 unsigned long nr_hangs ; 1620 ktime_t max_hang_time ; 1621 struct hrtimer_clock_base clock_base[3U] ; 1622}; 1623#line 452 "include/linux/hrtimer.h" 1624struct task_io_accounting { 1625 u64 rchar ; 1626 u64 wchar ; 1627 u64 syscr ; 1628 u64 syscw ; 1629 u64 read_bytes ; 1630 u64 write_bytes ; 1631 u64 cancelled_write_bytes ; 1632}; 1633#line 45 "include/linux/task_io_accounting.h" 1634struct latency_record { 1635 unsigned long backtrace[12U] ; 1636 unsigned int count ; 1637 unsigned long time ; 1638 unsigned long max ; 1639}; 1640#line 29 "include/linux/key.h" 1641typedef int32_t key_serial_t; 1642#line 32 "include/linux/key.h" 1643typedef uint32_t key_perm_t; 1644#line 33 1645struct key; 1646#line 33 1647struct key; 1648#line 34 1649struct signal_struct; 1650#line 34 1651struct signal_struct; 1652#line 35 1653struct key_type; 1654#line 35 1655struct key_type; 1656#line 37 1657struct keyring_list; 1658#line 37 1659struct keyring_list; 1660#line 115 1661struct key_user; 1662#line 115 "include/linux/key.h" 1663union __anonunion_ldv_15816_159 { 1664 time_t expiry ; 1665 time_t revoked_at ; 1666}; 1667#line 115 "include/linux/key.h" 1668union __anonunion_type_data_160 { 1669 struct list_head link ; 1670 unsigned long x[2U] ; 1671 void *p[2U] ; 1672 int reject_error ; 1673}; 1674#line 115 "include/linux/key.h" 1675union __anonunion_payload_161 { 1676 unsigned long value ; 1677 void *rcudata ; 1678 void *data ; 1679 struct keyring_list *subscriptions ; 1680}; 1681#line 115 "include/linux/key.h" 1682struct key { 1683 atomic_t usage ; 1684 key_serial_t serial ; 1685 struct rb_node serial_node ; 1686 struct key_type *type ; 1687 struct rw_semaphore sem ; 1688 struct key_user *user ; 1689 void *security ; 1690 union __anonunion_ldv_15816_159 ldv_15816 ; 1691 uid_t uid ; 1692 gid_t gid ; 1693 key_perm_t perm ; 1694 unsigned short quotalen ; 1695 unsigned short datalen ; 1696 unsigned long flags ; 1697 char *description ; 1698 union __anonunion_type_data_160 type_data ; 1699 union __anonunion_payload_161 payload ; 1700}; 1701#line 316 1702struct audit_context; 1703#line 316 1704struct audit_context; 1705#line 27 "include/linux/selinux.h" 1706struct inode; 1707#line 27 1708struct inode; 1709#line 28 "include/linux/selinux.h" 1710struct group_info { 1711 atomic_t usage ; 1712 int ngroups ; 1713 int nblocks ; 1714 gid_t small_block[32U] ; 1715 gid_t *blocks[0U] ; 1716}; 1717#line 77 "include/linux/cred.h" 1718struct thread_group_cred { 1719 atomic_t usage ; 1720 pid_t tgid ; 1721 spinlock_t lock ; 1722 struct key *session_keyring ; 1723 struct key *process_keyring ; 1724 struct rcu_head rcu ; 1725}; 1726#line 91 "include/linux/cred.h" 1727struct cred { 1728 atomic_t usage ; 1729 atomic_t subscribers ; 1730 void *put_addr ; 1731 unsigned int magic ; 1732 uid_t uid ; 1733 gid_t gid ; 1734 uid_t suid ; 1735 gid_t sgid ; 1736 uid_t euid ; 1737 gid_t egid ; 1738 uid_t fsuid ; 1739 gid_t fsgid ; 1740 unsigned int securebits ; 1741 kernel_cap_t cap_inheritable ; 1742 kernel_cap_t cap_permitted ; 1743 kernel_cap_t cap_effective ; 1744 kernel_cap_t cap_bset ; 1745 unsigned char jit_keyring ; 1746 struct key *thread_keyring ; 1747 struct key *request_key_auth ; 1748 struct thread_group_cred *tgcred ; 1749 void *security ; 1750 struct user_struct *user ; 1751 struct user_namespace *user_ns ; 1752 struct group_info *group_info ; 1753 struct rcu_head rcu ; 1754}; 1755#line 264 1756struct llist_node; 1757#line 64 "include/linux/llist.h" 1758struct llist_node { 1759 struct llist_node *next ; 1760}; 1761#line 185 1762struct futex_pi_state; 1763#line 185 1764struct futex_pi_state; 1765#line 186 1766struct robust_list_head; 1767#line 186 1768struct robust_list_head; 1769#line 187 1770struct bio_list; 1771#line 187 1772struct bio_list; 1773#line 188 1774struct fs_struct; 1775#line 188 1776struct fs_struct; 1777#line 189 1778struct perf_event_context; 1779#line 189 1780struct perf_event_context; 1781#line 190 1782struct blk_plug; 1783#line 190 1784struct blk_plug; 1785#line 149 "include/linux/sched.h" 1786struct cfs_rq; 1787#line 149 1788struct cfs_rq; 1789#line 44 "include/linux/aio_abi.h" 1790struct io_event { 1791 __u64 data ; 1792 __u64 obj ; 1793 __s64 res ; 1794 __s64 res2 ; 1795}; 1796#line 106 "include/linux/aio_abi.h" 1797struct iovec { 1798 void *iov_base ; 1799 __kernel_size_t iov_len ; 1800}; 1801#line 54 "include/linux/uio.h" 1802struct kioctx; 1803#line 54 1804struct kioctx; 1805#line 55 "include/linux/uio.h" 1806union __anonunion_ki_obj_162 { 1807 void *user ; 1808 struct task_struct *tsk ; 1809}; 1810#line 55 1811struct eventfd_ctx; 1812#line 55 "include/linux/uio.h" 1813struct kiocb { 1814 struct list_head ki_run_list ; 1815 unsigned long ki_flags ; 1816 int ki_users ; 1817 unsigned int ki_key ; 1818 struct file *ki_filp ; 1819 struct kioctx *ki_ctx ; 1820 int (*ki_cancel)(struct kiocb * , struct io_event * ) ; 1821 ssize_t (*ki_retry)(struct kiocb * ) ; 1822 void (*ki_dtor)(struct kiocb * ) ; 1823 union __anonunion_ki_obj_162 ki_obj ; 1824 __u64 ki_user_data ; 1825 loff_t ki_pos ; 1826 void *private ; 1827 unsigned short ki_opcode ; 1828 size_t ki_nbytes ; 1829 char *ki_buf ; 1830 size_t ki_left ; 1831 struct iovec ki_inline_vec ; 1832 struct iovec *ki_iovec ; 1833 unsigned long ki_nr_segs ; 1834 unsigned long ki_cur_seg ; 1835 struct list_head ki_list ; 1836 struct list_head ki_batch ; 1837 struct eventfd_ctx *ki_eventfd ; 1838}; 1839#line 162 "include/linux/aio.h" 1840struct aio_ring_info { 1841 unsigned long mmap_base ; 1842 unsigned long mmap_size ; 1843 struct page **ring_pages ; 1844 spinlock_t ring_lock ; 1845 long nr_pages ; 1846 unsigned int nr ; 1847 unsigned int tail ; 1848 struct page *internal_pages[8U] ; 1849}; 1850#line 178 "include/linux/aio.h" 1851struct kioctx { 1852 atomic_t users ; 1853 int dead ; 1854 struct mm_struct *mm ; 1855 unsigned long user_id ; 1856 struct hlist_node list ; 1857 wait_queue_head_t wait ; 1858 spinlock_t ctx_lock ; 1859 int reqs_active ; 1860 struct list_head active_reqs ; 1861 struct list_head run_list ; 1862 unsigned int max_reqs ; 1863 struct aio_ring_info ring_info ; 1864 struct delayed_work wq ; 1865 struct rcu_head rcu_head ; 1866}; 1867#line 406 "include/linux/sched.h" 1868struct sighand_struct { 1869 atomic_t count ; 1870 struct k_sigaction action[64U] ; 1871 spinlock_t siglock ; 1872 wait_queue_head_t signalfd_wqh ; 1873}; 1874#line 449 "include/linux/sched.h" 1875struct pacct_struct { 1876 int ac_flag ; 1877 long ac_exitcode ; 1878 unsigned long ac_mem ; 1879 cputime_t ac_utime ; 1880 cputime_t ac_stime ; 1881 unsigned long ac_minflt ; 1882 unsigned long ac_majflt ; 1883}; 1884#line 457 "include/linux/sched.h" 1885struct cpu_itimer { 1886 cputime_t expires ; 1887 cputime_t incr ; 1888 u32 error ; 1889 u32 incr_error ; 1890}; 1891#line 464 "include/linux/sched.h" 1892struct task_cputime { 1893 cputime_t utime ; 1894 cputime_t stime ; 1895 unsigned long long sum_exec_runtime ; 1896}; 1897#line 481 "include/linux/sched.h" 1898struct thread_group_cputimer { 1899 struct task_cputime cputime ; 1900 int running ; 1901 raw_spinlock_t lock ; 1902}; 1903#line 517 1904struct autogroup; 1905#line 517 1906struct autogroup; 1907#line 518 1908struct tty_struct; 1909#line 518 1910struct taskstats; 1911#line 518 1912struct tty_audit_buf; 1913#line 518 "include/linux/sched.h" 1914struct signal_struct { 1915 atomic_t sigcnt ; 1916 atomic_t live ; 1917 int nr_threads ; 1918 wait_queue_head_t wait_chldexit ; 1919 struct task_struct *curr_target ; 1920 struct sigpending shared_pending ; 1921 int group_exit_code ; 1922 int notify_count ; 1923 struct task_struct *group_exit_task ; 1924 int group_stop_count ; 1925 unsigned int flags ; 1926 unsigned char is_child_subreaper : 1 ; 1927 unsigned char has_child_subreaper : 1 ; 1928 struct list_head posix_timers ; 1929 struct hrtimer real_timer ; 1930 struct pid *leader_pid ; 1931 ktime_t it_real_incr ; 1932 struct cpu_itimer it[2U] ; 1933 struct thread_group_cputimer cputimer ; 1934 struct task_cputime cputime_expires ; 1935 struct list_head cpu_timers[3U] ; 1936 struct pid *tty_old_pgrp ; 1937 int leader ; 1938 struct tty_struct *tty ; 1939 struct autogroup *autogroup ; 1940 cputime_t utime ; 1941 cputime_t stime ; 1942 cputime_t cutime ; 1943 cputime_t cstime ; 1944 cputime_t gtime ; 1945 cputime_t cgtime ; 1946 cputime_t prev_utime ; 1947 cputime_t prev_stime ; 1948 unsigned long nvcsw ; 1949 unsigned long nivcsw ; 1950 unsigned long cnvcsw ; 1951 unsigned long cnivcsw ; 1952 unsigned long min_flt ; 1953 unsigned long maj_flt ; 1954 unsigned long cmin_flt ; 1955 unsigned long cmaj_flt ; 1956 unsigned long inblock ; 1957 unsigned long oublock ; 1958 unsigned long cinblock ; 1959 unsigned long coublock ; 1960 unsigned long maxrss ; 1961 unsigned long cmaxrss ; 1962 struct task_io_accounting ioac ; 1963 unsigned long long sum_sched_runtime ; 1964 struct rlimit rlim[16U] ; 1965 struct pacct_struct pacct ; 1966 struct taskstats *stats ; 1967 unsigned int audit_tty ; 1968 struct tty_audit_buf *tty_audit_buf ; 1969 struct rw_semaphore group_rwsem ; 1970 int oom_adj ; 1971 int oom_score_adj ; 1972 int oom_score_adj_min ; 1973 struct mutex cred_guard_mutex ; 1974}; 1975#line 699 "include/linux/sched.h" 1976struct user_struct { 1977 atomic_t __count ; 1978 atomic_t processes ; 1979 atomic_t files ; 1980 atomic_t sigpending ; 1981 atomic_t inotify_watches ; 1982 atomic_t inotify_devs ; 1983 atomic_t fanotify_listeners ; 1984 atomic_long_t epoll_watches ; 1985 unsigned long mq_bytes ; 1986 unsigned long locked_shm ; 1987 struct key *uid_keyring ; 1988 struct key *session_keyring ; 1989 struct hlist_node uidhash_node ; 1990 uid_t uid ; 1991 struct user_namespace *user_ns ; 1992 atomic_long_t locked_vm ; 1993}; 1994#line 744 1995struct backing_dev_info; 1996#line 744 1997struct backing_dev_info; 1998#line 745 1999struct reclaim_state; 2000#line 745 2001struct reclaim_state; 2002#line 746 "include/linux/sched.h" 2003struct sched_info { 2004 unsigned long pcount ; 2005 unsigned long long run_delay ; 2006 unsigned long long last_arrival ; 2007 unsigned long long last_queued ; 2008}; 2009#line 760 "include/linux/sched.h" 2010struct task_delay_info { 2011 spinlock_t lock ; 2012 unsigned int flags ; 2013 struct timespec blkio_start ; 2014 struct timespec blkio_end ; 2015 u64 blkio_delay ; 2016 u64 swapin_delay ; 2017 u32 blkio_count ; 2018 u32 swapin_count ; 2019 struct timespec freepages_start ; 2020 struct timespec freepages_end ; 2021 u64 freepages_delay ; 2022 u32 freepages_count ; 2023}; 2024#line 1069 2025struct io_context; 2026#line 1069 2027struct io_context; 2028#line 1097 2029struct pipe_inode_info; 2030#line 1097 2031struct pipe_inode_info; 2032#line 1099 2033struct rq; 2034#line 1099 2035struct rq; 2036#line 1100 "include/linux/sched.h" 2037struct sched_class { 2038 struct sched_class const *next ; 2039 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ; 2040 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ; 2041 void (*yield_task)(struct rq * ) ; 2042 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ; 2043 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ; 2044 struct task_struct *(*pick_next_task)(struct rq * ) ; 2045 void (*put_prev_task)(struct rq * , struct task_struct * ) ; 2046 int (*select_task_rq)(struct task_struct * , int , int ) ; 2047 void (*pre_schedule)(struct rq * , struct task_struct * ) ; 2048 void (*post_schedule)(struct rq * ) ; 2049 void (*task_waking)(struct task_struct * ) ; 2050 void (*task_woken)(struct rq * , struct task_struct * ) ; 2051 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ; 2052 void (*rq_online)(struct rq * ) ; 2053 void (*rq_offline)(struct rq * ) ; 2054 void (*set_curr_task)(struct rq * ) ; 2055 void (*task_tick)(struct rq * , struct task_struct * , int ) ; 2056 void (*task_fork)(struct task_struct * ) ; 2057 void (*switched_from)(struct rq * , struct task_struct * ) ; 2058 void (*switched_to)(struct rq * , struct task_struct * ) ; 2059 void (*prio_changed)(struct rq * , struct task_struct * , int ) ; 2060 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ; 2061 void (*task_move_group)(struct task_struct * , int ) ; 2062}; 2063#line 1165 "include/linux/sched.h" 2064struct load_weight { 2065 unsigned long weight ; 2066 unsigned long inv_weight ; 2067}; 2068#line 1170 "include/linux/sched.h" 2069struct sched_statistics { 2070 u64 wait_start ; 2071 u64 wait_max ; 2072 u64 wait_count ; 2073 u64 wait_sum ; 2074 u64 iowait_count ; 2075 u64 iowait_sum ; 2076 u64 sleep_start ; 2077 u64 sleep_max ; 2078 s64 sum_sleep_runtime ; 2079 u64 block_start ; 2080 u64 block_max ; 2081 u64 exec_max ; 2082 u64 slice_max ; 2083 u64 nr_migrations_cold ; 2084 u64 nr_failed_migrations_affine ; 2085 u64 nr_failed_migrations_running ; 2086 u64 nr_failed_migrations_hot ; 2087 u64 nr_forced_migrations ; 2088 u64 nr_wakeups ; 2089 u64 nr_wakeups_sync ; 2090 u64 nr_wakeups_migrate ; 2091 u64 nr_wakeups_local ; 2092 u64 nr_wakeups_remote ; 2093 u64 nr_wakeups_affine ; 2094 u64 nr_wakeups_affine_attempts ; 2095 u64 nr_wakeups_passive ; 2096 u64 nr_wakeups_idle ; 2097}; 2098#line 1205 "include/linux/sched.h" 2099struct sched_entity { 2100 struct load_weight load ; 2101 struct rb_node run_node ; 2102 struct list_head group_node ; 2103 unsigned int on_rq ; 2104 u64 exec_start ; 2105 u64 sum_exec_runtime ; 2106 u64 vruntime ; 2107 u64 prev_sum_exec_runtime ; 2108 u64 nr_migrations ; 2109 struct sched_statistics statistics ; 2110 struct sched_entity *parent ; 2111 struct cfs_rq *cfs_rq ; 2112 struct cfs_rq *my_q ; 2113}; 2114#line 1231 2115struct rt_rq; 2116#line 1231 "include/linux/sched.h" 2117struct sched_rt_entity { 2118 struct list_head run_list ; 2119 unsigned long timeout ; 2120 unsigned int time_slice ; 2121 int nr_cpus_allowed ; 2122 struct sched_rt_entity *back ; 2123 struct sched_rt_entity *parent ; 2124 struct rt_rq *rt_rq ; 2125 struct rt_rq *my_q ; 2126}; 2127#line 1255 2128struct mem_cgroup; 2129#line 1255 "include/linux/sched.h" 2130struct memcg_batch_info { 2131 int do_batch ; 2132 struct mem_cgroup *memcg ; 2133 unsigned long nr_pages ; 2134 unsigned long memsw_nr_pages ; 2135}; 2136#line 1616 2137struct files_struct; 2138#line 1616 2139struct css_set; 2140#line 1616 2141struct compat_robust_list_head; 2142#line 1616 "include/linux/sched.h" 2143struct task_struct { 2144 long volatile state ; 2145 void *stack ; 2146 atomic_t usage ; 2147 unsigned int flags ; 2148 unsigned int ptrace ; 2149 struct llist_node wake_entry ; 2150 int on_cpu ; 2151 int on_rq ; 2152 int prio ; 2153 int static_prio ; 2154 int normal_prio ; 2155 unsigned int rt_priority ; 2156 struct sched_class const *sched_class ; 2157 struct sched_entity se ; 2158 struct sched_rt_entity rt ; 2159 struct hlist_head preempt_notifiers ; 2160 unsigned char fpu_counter ; 2161 unsigned int policy ; 2162 cpumask_t cpus_allowed ; 2163 struct sched_info sched_info ; 2164 struct list_head tasks ; 2165 struct plist_node pushable_tasks ; 2166 struct mm_struct *mm ; 2167 struct mm_struct *active_mm ; 2168 unsigned char brk_randomized : 1 ; 2169 int exit_state ; 2170 int exit_code ; 2171 int exit_signal ; 2172 int pdeath_signal ; 2173 unsigned int jobctl ; 2174 unsigned int personality ; 2175 unsigned char did_exec : 1 ; 2176 unsigned char in_execve : 1 ; 2177 unsigned char in_iowait : 1 ; 2178 unsigned char sched_reset_on_fork : 1 ; 2179 unsigned char sched_contributes_to_load : 1 ; 2180 unsigned char irq_thread : 1 ; 2181 pid_t pid ; 2182 pid_t tgid ; 2183 unsigned long stack_canary ; 2184 struct task_struct *real_parent ; 2185 struct task_struct *parent ; 2186 struct list_head children ; 2187 struct list_head sibling ; 2188 struct task_struct *group_leader ; 2189 struct list_head ptraced ; 2190 struct list_head ptrace_entry ; 2191 struct pid_link pids[3U] ; 2192 struct list_head thread_group ; 2193 struct completion *vfork_done ; 2194 int *set_child_tid ; 2195 int *clear_child_tid ; 2196 cputime_t utime ; 2197 cputime_t stime ; 2198 cputime_t utimescaled ; 2199 cputime_t stimescaled ; 2200 cputime_t gtime ; 2201 cputime_t prev_utime ; 2202 cputime_t prev_stime ; 2203 unsigned long nvcsw ; 2204 unsigned long nivcsw ; 2205 struct timespec start_time ; 2206 struct timespec real_start_time ; 2207 unsigned long min_flt ; 2208 unsigned long maj_flt ; 2209 struct task_cputime cputime_expires ; 2210 struct list_head cpu_timers[3U] ; 2211 struct cred const *real_cred ; 2212 struct cred const *cred ; 2213 struct cred *replacement_session_keyring ; 2214 char comm[16U] ; 2215 int link_count ; 2216 int total_link_count ; 2217 struct sysv_sem sysvsem ; 2218 unsigned long last_switch_count ; 2219 struct thread_struct thread ; 2220 struct fs_struct *fs ; 2221 struct files_struct *files ; 2222 struct nsproxy *nsproxy ; 2223 struct signal_struct *signal ; 2224 struct sighand_struct *sighand ; 2225 sigset_t blocked ; 2226 sigset_t real_blocked ; 2227 sigset_t saved_sigmask ; 2228 struct sigpending pending ; 2229 unsigned long sas_ss_sp ; 2230 size_t sas_ss_size ; 2231 int (*notifier)(void * ) ; 2232 void *notifier_data ; 2233 sigset_t *notifier_mask ; 2234 struct audit_context *audit_context ; 2235 uid_t loginuid ; 2236 unsigned int sessionid ; 2237 seccomp_t seccomp ; 2238 u32 parent_exec_id ; 2239 u32 self_exec_id ; 2240 spinlock_t alloc_lock ; 2241 raw_spinlock_t pi_lock ; 2242 struct plist_head pi_waiters ; 2243 struct rt_mutex_waiter *pi_blocked_on ; 2244 struct mutex_waiter *blocked_on ; 2245 unsigned int irq_events ; 2246 unsigned long hardirq_enable_ip ; 2247 unsigned long hardirq_disable_ip ; 2248 unsigned int hardirq_enable_event ; 2249 unsigned int hardirq_disable_event ; 2250 int hardirqs_enabled ; 2251 int hardirq_context ; 2252 unsigned long softirq_disable_ip ; 2253 unsigned long softirq_enable_ip ; 2254 unsigned int softirq_disable_event ; 2255 unsigned int softirq_enable_event ; 2256 int softirqs_enabled ; 2257 int softirq_context ; 2258 u64 curr_chain_key ; 2259 int lockdep_depth ; 2260 unsigned int lockdep_recursion ; 2261 struct held_lock held_locks[48U] ; 2262 gfp_t lockdep_reclaim_gfp ; 2263 void *journal_info ; 2264 struct bio_list *bio_list ; 2265 struct blk_plug *plug ; 2266 struct reclaim_state *reclaim_state ; 2267 struct backing_dev_info *backing_dev_info ; 2268 struct io_context *io_context ; 2269 unsigned long ptrace_message ; 2270 siginfo_t *last_siginfo ; 2271 struct task_io_accounting ioac ; 2272 u64 acct_rss_mem1 ; 2273 u64 acct_vm_mem1 ; 2274 cputime_t acct_timexpd ; 2275 nodemask_t mems_allowed ; 2276 seqcount_t mems_allowed_seq ; 2277 int cpuset_mem_spread_rotor ; 2278 int cpuset_slab_spread_rotor ; 2279 struct css_set *cgroups ; 2280 struct list_head cg_list ; 2281 struct robust_list_head *robust_list ; 2282 struct compat_robust_list_head *compat_robust_list ; 2283 struct list_head pi_state_list ; 2284 struct futex_pi_state *pi_state_cache ; 2285 struct perf_event_context *perf_event_ctxp[2U] ; 2286 struct mutex perf_event_mutex ; 2287 struct list_head perf_event_list ; 2288 struct mempolicy *mempolicy ; 2289 short il_next ; 2290 short pref_node_fork ; 2291 struct rcu_head rcu ; 2292 struct pipe_inode_info *splice_pipe ; 2293 struct task_delay_info *delays ; 2294 int make_it_fail ; 2295 int nr_dirtied ; 2296 int nr_dirtied_pause ; 2297 unsigned long dirty_paused_when ; 2298 int latency_record_count ; 2299 struct latency_record latency_record[32U] ; 2300 unsigned long timer_slack_ns ; 2301 unsigned long default_timer_slack_ns ; 2302 struct list_head *scm_work_list ; 2303 unsigned long trace ; 2304 unsigned long trace_recursion ; 2305 struct memcg_batch_info memcg_batch ; 2306 atomic_t ptrace_bp_refcnt ; 2307}; 2308#line 162 "include/acpi/actypes.h" 2309typedef u64 acpi_io_address; 2310#line 371 "include/acpi/actypes.h" 2311typedef u32 acpi_status; 2312#line 373 "include/acpi/actypes.h" 2313typedef char *acpi_string; 2314#line 374 "include/acpi/actypes.h" 2315typedef void *acpi_handle; 2316#line 556 "include/acpi/actypes.h" 2317typedef u32 acpi_object_type; 2318#line 807 "include/acpi/actypes.h" 2319struct __anonstruct_integer_164 { 2320 acpi_object_type type ; 2321 u64 value ; 2322}; 2323#line 807 "include/acpi/actypes.h" 2324struct __anonstruct_string_165 { 2325 acpi_object_type type ; 2326 u32 length ; 2327 char *pointer ; 2328}; 2329#line 807 "include/acpi/actypes.h" 2330struct __anonstruct_buffer_166 { 2331 acpi_object_type type ; 2332 u32 length ; 2333 u8 *pointer ; 2334}; 2335#line 807 "include/acpi/actypes.h" 2336struct __anonstruct_package_167 { 2337 acpi_object_type type ; 2338 u32 count ; 2339 union acpi_object *elements ; 2340}; 2341#line 807 "include/acpi/actypes.h" 2342struct __anonstruct_reference_168 { 2343 acpi_object_type type ; 2344 acpi_object_type actual_type ; 2345 acpi_handle handle ; 2346}; 2347#line 807 "include/acpi/actypes.h" 2348struct __anonstruct_processor_169 { 2349 acpi_object_type type ; 2350 u32 proc_id ; 2351 acpi_io_address pblk_address ; 2352 u32 pblk_length ; 2353}; 2354#line 807 "include/acpi/actypes.h" 2355struct __anonstruct_power_resource_170 { 2356 acpi_object_type type ; 2357 u32 system_level ; 2358 u32 resource_order ; 2359}; 2360#line 807 "include/acpi/actypes.h" 2361union acpi_object { 2362 acpi_object_type type ; 2363 struct __anonstruct_integer_164 integer ; 2364 struct __anonstruct_string_165 string ; 2365 struct __anonstruct_buffer_166 buffer ; 2366 struct __anonstruct_package_167 package ; 2367 struct __anonstruct_reference_168 reference ; 2368 struct __anonstruct_processor_169 processor ; 2369 struct __anonstruct_power_resource_170 power_resource ; 2370}; 2371#line 860 "include/acpi/actypes.h" 2372struct acpi_object_list { 2373 u32 count ; 2374 union acpi_object *pointer ; 2375}; 2376#line 1005 "include/acpi/actypes.h" 2377struct acpica_device_id { 2378 u32 length ; 2379 char *string ; 2380}; 2381#line 1029 "include/acpi/actypes.h" 2382struct acpica_device_id_list { 2383 u32 count ; 2384 u32 list_size ; 2385 struct acpica_device_id ids[1U] ; 2386}; 2387#line 1035 "include/acpi/actypes.h" 2388struct acpi_device_info { 2389 u32 info_size ; 2390 u32 name ; 2391 acpi_object_type type ; 2392 u8 param_count ; 2393 u8 valid ; 2394 u8 flags ; 2395 u8 highest_dstates[4U] ; 2396 u8 lowest_dstates[5U] ; 2397 u32 current_status ; 2398 u64 address ; 2399 struct acpica_device_id hardware_id ; 2400 struct acpica_device_id unique_id ; 2401 struct acpica_device_id_list compatible_id_list ; 2402}; 2403#line 546 "include/acpi/acpixf.h" 2404struct klist_node; 2405#line 546 2406struct klist_node; 2407#line 37 "include/linux/klist.h" 2408struct klist_node { 2409 void *n_klist ; 2410 struct list_head n_node ; 2411 struct kref n_ref ; 2412}; 2413#line 67 2414struct dma_map_ops; 2415#line 67 "include/linux/klist.h" 2416struct dev_archdata { 2417 void *acpi_handle ; 2418 struct dma_map_ops *dma_ops ; 2419 void *iommu ; 2420}; 2421#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h" 2422struct device_private; 2423#line 17 2424struct device_private; 2425#line 18 2426struct device_driver; 2427#line 18 2428struct device_driver; 2429#line 19 2430struct driver_private; 2431#line 19 2432struct driver_private; 2433#line 20 2434struct class; 2435#line 20 2436struct class; 2437#line 21 2438struct subsys_private; 2439#line 21 2440struct subsys_private; 2441#line 22 2442struct bus_type; 2443#line 22 2444struct bus_type; 2445#line 23 2446struct device_node; 2447#line 23 2448struct device_node; 2449#line 24 2450struct iommu_ops; 2451#line 24 2452struct iommu_ops; 2453#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h" 2454struct bus_attribute { 2455 struct attribute attr ; 2456 ssize_t (*show)(struct bus_type * , char * ) ; 2457 ssize_t (*store)(struct bus_type * , char const * , size_t ) ; 2458}; 2459#line 51 "include/linux/device.h" 2460struct device_attribute; 2461#line 51 2462struct driver_attribute; 2463#line 51 "include/linux/device.h" 2464struct bus_type { 2465 char const *name ; 2466 char const *dev_name ; 2467 struct device *dev_root ; 2468 struct bus_attribute *bus_attrs ; 2469 struct device_attribute *dev_attrs ; 2470 struct driver_attribute *drv_attrs ; 2471 int (*match)(struct device * , struct device_driver * ) ; 2472 int (*uevent)(struct device * , struct kobj_uevent_env * ) ; 2473 int (*probe)(struct device * ) ; 2474 int (*remove)(struct device * ) ; 2475 void (*shutdown)(struct device * ) ; 2476 int (*suspend)(struct device * , pm_message_t ) ; 2477 int (*resume)(struct device * ) ; 2478 struct dev_pm_ops const *pm ; 2479 struct iommu_ops *iommu_ops ; 2480 struct subsys_private *p ; 2481}; 2482#line 125 2483struct device_type; 2484#line 182 "include/linux/device.h" 2485struct device_driver { 2486 char const *name ; 2487 struct bus_type *bus ; 2488 struct module *owner ; 2489 char const *mod_name ; 2490 bool suppress_bind_attrs ; 2491 struct of_device_id const *of_match_table ; 2492 int (*probe)(struct device * ) ; 2493 int (*remove)(struct device * ) ; 2494 void (*shutdown)(struct device * ) ; 2495 int (*suspend)(struct device * , pm_message_t ) ; 2496 int (*resume)(struct device * ) ; 2497 struct attribute_group const **groups ; 2498 struct dev_pm_ops const *pm ; 2499 struct driver_private *p ; 2500}; 2501#line 245 "include/linux/device.h" 2502struct driver_attribute { 2503 struct attribute attr ; 2504 ssize_t (*show)(struct device_driver * , char * ) ; 2505 ssize_t (*store)(struct device_driver * , char const * , size_t ) ; 2506}; 2507#line 299 2508struct class_attribute; 2509#line 299 "include/linux/device.h" 2510struct class { 2511 char const *name ; 2512 struct module *owner ; 2513 struct class_attribute *class_attrs ; 2514 struct device_attribute *dev_attrs ; 2515 struct bin_attribute *dev_bin_attrs ; 2516 struct kobject *dev_kobj ; 2517 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ; 2518 char *(*devnode)(struct device * , umode_t * ) ; 2519 void (*class_release)(struct class * ) ; 2520 void (*dev_release)(struct device * ) ; 2521 int (*suspend)(struct device * , pm_message_t ) ; 2522 int (*resume)(struct device * ) ; 2523 struct kobj_ns_type_operations const *ns_type ; 2524 void const *(*namespace)(struct device * ) ; 2525 struct dev_pm_ops const *pm ; 2526 struct subsys_private *p ; 2527}; 2528#line 394 "include/linux/device.h" 2529struct class_attribute { 2530 struct attribute attr ; 2531 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ; 2532 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ; 2533 void const *(*namespace)(struct class * , struct class_attribute const * ) ; 2534}; 2535#line 447 "include/linux/device.h" 2536struct device_type { 2537 char const *name ; 2538 struct attribute_group const **groups ; 2539 int (*uevent)(struct device * , struct kobj_uevent_env * ) ; 2540 char *(*devnode)(struct device * , umode_t * ) ; 2541 void (*release)(struct device * ) ; 2542 struct dev_pm_ops const *pm ; 2543}; 2544#line 474 "include/linux/device.h" 2545struct device_attribute { 2546 struct attribute attr ; 2547 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ; 2548 ssize_t (*store)(struct device * , struct device_attribute * , char const * , 2549 size_t ) ; 2550}; 2551#line 557 "include/linux/device.h" 2552struct device_dma_parameters { 2553 unsigned int max_segment_size ; 2554 unsigned long segment_boundary_mask ; 2555}; 2556#line 567 2557struct dma_coherent_mem; 2558#line 567 "include/linux/device.h" 2559struct device { 2560 struct device *parent ; 2561 struct device_private *p ; 2562 struct kobject kobj ; 2563 char const *init_name ; 2564 struct device_type const *type ; 2565 struct mutex mutex ; 2566 struct bus_type *bus ; 2567 struct device_driver *driver ; 2568 void *platform_data ; 2569 struct dev_pm_info power ; 2570 struct dev_pm_domain *pm_domain ; 2571 int numa_node ; 2572 u64 *dma_mask ; 2573 u64 coherent_dma_mask ; 2574 struct device_dma_parameters *dma_parms ; 2575 struct list_head dma_pools ; 2576 struct dma_coherent_mem *dma_mem ; 2577 struct dev_archdata archdata ; 2578 struct device_node *of_node ; 2579 dev_t devt ; 2580 u32 id ; 2581 spinlock_t devres_lock ; 2582 struct list_head devres_head ; 2583 struct klist_node knode_class ; 2584 struct class *class ; 2585 struct attribute_group const **groups ; 2586 void (*release)(struct device * ) ; 2587}; 2588#line 681 "include/linux/device.h" 2589struct wakeup_source { 2590 char const *name ; 2591 struct list_head entry ; 2592 spinlock_t lock ; 2593 struct timer_list timer ; 2594 unsigned long timer_expires ; 2595 ktime_t total_time ; 2596 ktime_t max_time ; 2597 ktime_t last_time ; 2598 unsigned long event_count ; 2599 unsigned long active_count ; 2600 unsigned long relax_count ; 2601 unsigned long hit_count ; 2602 unsigned char active : 1 ; 2603}; 2604#line 991 "include/linux/device.h" 2605struct acpi_handle_list { 2606 u32 count ; 2607 acpi_handle handles[10U] ; 2608}; 2609#line 53 "include/acpi/acpi_bus.h" 2610struct block_device; 2611#line 53 2612struct block_device; 2613#line 93 "include/linux/bit_spinlock.h" 2614struct hlist_bl_node; 2615#line 93 "include/linux/bit_spinlock.h" 2616struct hlist_bl_head { 2617 struct hlist_bl_node *first ; 2618}; 2619#line 36 "include/linux/list_bl.h" 2620struct hlist_bl_node { 2621 struct hlist_bl_node *next ; 2622 struct hlist_bl_node **pprev ; 2623}; 2624#line 114 "include/linux/rculist_bl.h" 2625struct nameidata; 2626#line 114 2627struct nameidata; 2628#line 115 2629struct path; 2630#line 115 2631struct path; 2632#line 116 2633struct vfsmount; 2634#line 116 2635struct vfsmount; 2636#line 117 "include/linux/rculist_bl.h" 2637struct qstr { 2638 unsigned int hash ; 2639 unsigned int len ; 2640 unsigned char const *name ; 2641}; 2642#line 72 "include/linux/dcache.h" 2643struct dentry_operations; 2644#line 72 2645struct super_block; 2646#line 72 "include/linux/dcache.h" 2647union __anonunion_d_u_171 { 2648 struct list_head d_child ; 2649 struct rcu_head d_rcu ; 2650}; 2651#line 72 "include/linux/dcache.h" 2652struct dentry { 2653 unsigned int d_flags ; 2654 seqcount_t d_seq ; 2655 struct hlist_bl_node d_hash ; 2656 struct dentry *d_parent ; 2657 struct qstr d_name ; 2658 struct inode *d_inode ; 2659 unsigned char d_iname[32U] ; 2660 unsigned int d_count ; 2661 spinlock_t d_lock ; 2662 struct dentry_operations const *d_op ; 2663 struct super_block *d_sb ; 2664 unsigned long d_time ; 2665 void *d_fsdata ; 2666 struct list_head d_lru ; 2667 union __anonunion_d_u_171 d_u ; 2668 struct list_head d_subdirs ; 2669 struct list_head d_alias ; 2670}; 2671#line 123 "include/linux/dcache.h" 2672struct dentry_operations { 2673 int (*d_revalidate)(struct dentry * , struct nameidata * ) ; 2674 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ; 2675 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * , 2676 struct inode const * , unsigned int , char const * , struct qstr const * ) ; 2677 int (*d_delete)(struct dentry const * ) ; 2678 void (*d_release)(struct dentry * ) ; 2679 void (*d_prune)(struct dentry * ) ; 2680 void (*d_iput)(struct dentry * , struct inode * ) ; 2681 char *(*d_dname)(struct dentry * , char * , int ) ; 2682 struct vfsmount *(*d_automount)(struct path * ) ; 2683 int (*d_manage)(struct dentry * , bool ) ; 2684}; 2685#line 402 "include/linux/dcache.h" 2686struct path { 2687 struct vfsmount *mnt ; 2688 struct dentry *dentry ; 2689}; 2690#line 58 "include/linux/radix-tree.h" 2691struct radix_tree_node; 2692#line 58 "include/linux/radix-tree.h" 2693struct radix_tree_root { 2694 unsigned int height ; 2695 gfp_t gfp_mask ; 2696 struct radix_tree_node *rnode ; 2697}; 2698#line 45 "include/linux/semaphore.h" 2699struct fiemap_extent { 2700 __u64 fe_logical ; 2701 __u64 fe_physical ; 2702 __u64 fe_length ; 2703 __u64 fe_reserved64[2U] ; 2704 __u32 fe_flags ; 2705 __u32 fe_reserved[3U] ; 2706}; 2707#line 38 "include/linux/fiemap.h" 2708struct shrink_control { 2709 gfp_t gfp_mask ; 2710 unsigned long nr_to_scan ; 2711}; 2712#line 14 "include/linux/shrinker.h" 2713struct shrinker { 2714 int (*shrink)(struct shrinker * , struct shrink_control * ) ; 2715 int seeks ; 2716 long batch ; 2717 struct list_head list ; 2718 atomic_long_t nr_in_batch ; 2719}; 2720#line 43 2721enum migrate_mode { 2722 MIGRATE_ASYNC = 0, 2723 MIGRATE_SYNC_LIGHT = 1, 2724 MIGRATE_SYNC = 2 2725} ; 2726#line 49 2727struct export_operations; 2728#line 49 2729struct export_operations; 2730#line 51 2731struct poll_table_struct; 2732#line 51 2733struct poll_table_struct; 2734#line 52 2735struct kstatfs; 2736#line 52 2737struct kstatfs; 2738#line 435 "include/linux/fs.h" 2739struct iattr { 2740 unsigned int ia_valid ; 2741 umode_t ia_mode ; 2742 uid_t ia_uid ; 2743 gid_t ia_gid ; 2744 loff_t ia_size ; 2745 struct timespec ia_atime ; 2746 struct timespec ia_mtime ; 2747 struct timespec ia_ctime ; 2748 struct file *ia_file ; 2749}; 2750#line 119 "include/linux/quota.h" 2751struct if_dqinfo { 2752 __u64 dqi_bgrace ; 2753 __u64 dqi_igrace ; 2754 __u32 dqi_flags ; 2755 __u32 dqi_valid ; 2756}; 2757#line 152 "include/linux/quota.h" 2758struct fs_disk_quota { 2759 __s8 d_version ; 2760 __s8 d_flags ; 2761 __u16 d_fieldmask ; 2762 __u32 d_id ; 2763 __u64 d_blk_hardlimit ; 2764 __u64 d_blk_softlimit ; 2765 __u64 d_ino_hardlimit ; 2766 __u64 d_ino_softlimit ; 2767 __u64 d_bcount ; 2768 __u64 d_icount ; 2769 __s32 d_itimer ; 2770 __s32 d_btimer ; 2771 __u16 d_iwarns ; 2772 __u16 d_bwarns ; 2773 __s32 d_padding2 ; 2774 __u64 d_rtb_hardlimit ; 2775 __u64 d_rtb_softlimit ; 2776 __u64 d_rtbcount ; 2777 __s32 d_rtbtimer ; 2778 __u16 d_rtbwarns ; 2779 __s16 d_padding3 ; 2780 char d_padding4[8U] ; 2781}; 2782#line 75 "include/linux/dqblk_xfs.h" 2783struct fs_qfilestat { 2784 __u64 qfs_ino ; 2785 __u64 qfs_nblks ; 2786 __u32 qfs_nextents ; 2787}; 2788#line 150 "include/linux/dqblk_xfs.h" 2789typedef struct fs_qfilestat fs_qfilestat_t; 2790#line 151 "include/linux/dqblk_xfs.h" 2791struct fs_quota_stat { 2792 __s8 qs_version ; 2793 __u16 qs_flags ; 2794 __s8 qs_pad ; 2795 fs_qfilestat_t qs_uquota ; 2796 fs_qfilestat_t qs_gquota ; 2797 __u32 qs_incoredqs ; 2798 __s32 qs_btimelimit ; 2799 __s32 qs_itimelimit ; 2800 __s32 qs_rtbtimelimit ; 2801 __u16 qs_bwarnlimit ; 2802 __u16 qs_iwarnlimit ; 2803}; 2804#line 165 2805struct dquot; 2806#line 165 2807struct dquot; 2808#line 185 "include/linux/quota.h" 2809typedef __kernel_uid32_t qid_t; 2810#line 186 "include/linux/quota.h" 2811typedef long long qsize_t; 2812#line 189 "include/linux/quota.h" 2813struct mem_dqblk { 2814 qsize_t dqb_bhardlimit ; 2815 qsize_t dqb_bsoftlimit ; 2816 qsize_t dqb_curspace ; 2817 qsize_t dqb_rsvspace ; 2818 qsize_t dqb_ihardlimit ; 2819 qsize_t dqb_isoftlimit ; 2820 qsize_t dqb_curinodes ; 2821 time_t dqb_btime ; 2822 time_t dqb_itime ; 2823}; 2824#line 211 2825struct quota_format_type; 2826#line 211 2827struct quota_format_type; 2828#line 212 "include/linux/quota.h" 2829struct mem_dqinfo { 2830 struct quota_format_type *dqi_format ; 2831 int dqi_fmt_id ; 2832 struct list_head dqi_dirty_list ; 2833 unsigned long dqi_flags ; 2834 unsigned int dqi_bgrace ; 2835 unsigned int dqi_igrace ; 2836 qsize_t dqi_maxblimit ; 2837 qsize_t dqi_maxilimit ; 2838 void *dqi_priv ; 2839}; 2840#line 275 "include/linux/quota.h" 2841struct dquot { 2842 struct hlist_node dq_hash ; 2843 struct list_head dq_inuse ; 2844 struct list_head dq_free ; 2845 struct list_head dq_dirty ; 2846 struct mutex dq_lock ; 2847 atomic_t dq_count ; 2848 wait_queue_head_t dq_wait_unused ; 2849 struct super_block *dq_sb ; 2850 unsigned int dq_id ; 2851 loff_t dq_off ; 2852 unsigned long dq_flags ; 2853 short dq_type ; 2854 struct mem_dqblk dq_dqb ; 2855}; 2856#line 303 "include/linux/quota.h" 2857struct quota_format_ops { 2858 int (*check_quota_file)(struct super_block * , int ) ; 2859 int (*read_file_info)(struct super_block * , int ) ; 2860 int (*write_file_info)(struct super_block * , int ) ; 2861 int (*free_file_info)(struct super_block * , int ) ; 2862 int (*read_dqblk)(struct dquot * ) ; 2863 int (*commit_dqblk)(struct dquot * ) ; 2864 int (*release_dqblk)(struct dquot * ) ; 2865}; 2866#line 314 "include/linux/quota.h" 2867struct dquot_operations { 2868 int (*write_dquot)(struct dquot * ) ; 2869 struct dquot *(*alloc_dquot)(struct super_block * , int ) ; 2870 void (*destroy_dquot)(struct dquot * ) ; 2871 int (*acquire_dquot)(struct dquot * ) ; 2872 int (*release_dquot)(struct dquot * ) ; 2873 int (*mark_dirty)(struct dquot * ) ; 2874 int (*write_info)(struct super_block * , int ) ; 2875 qsize_t *(*get_reserved_space)(struct inode * ) ; 2876}; 2877#line 328 "include/linux/quota.h" 2878struct quotactl_ops { 2879 int (*quota_on)(struct super_block * , int , int , struct path * ) ; 2880 int (*quota_on_meta)(struct super_block * , int , int ) ; 2881 int (*quota_off)(struct super_block * , int ) ; 2882 int (*quota_sync)(struct super_block * , int , int ) ; 2883 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ; 2884 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ; 2885 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ; 2886 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ; 2887 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ; 2888 int (*set_xstate)(struct super_block * , unsigned int , int ) ; 2889}; 2890#line 344 "include/linux/quota.h" 2891struct quota_format_type { 2892 int qf_fmt_id ; 2893 struct quota_format_ops const *qf_ops ; 2894 struct module *qf_owner ; 2895 struct quota_format_type *qf_next ; 2896}; 2897#line 390 "include/linux/quota.h" 2898struct quota_info { 2899 unsigned int flags ; 2900 struct mutex dqio_mutex ; 2901 struct mutex dqonoff_mutex ; 2902 struct rw_semaphore dqptr_sem ; 2903 struct inode *files[2U] ; 2904 struct mem_dqinfo info[2U] ; 2905 struct quota_format_ops const *ops[2U] ; 2906}; 2907#line 421 2908struct writeback_control; 2909#line 421 2910struct writeback_control; 2911#line 585 "include/linux/fs.h" 2912union __anonunion_arg_173 { 2913 char *buf ; 2914 void *data ; 2915}; 2916#line 585 "include/linux/fs.h" 2917struct __anonstruct_read_descriptor_t_172 { 2918 size_t written ; 2919 size_t count ; 2920 union __anonunion_arg_173 arg ; 2921 int error ; 2922}; 2923#line 585 "include/linux/fs.h" 2924typedef struct __anonstruct_read_descriptor_t_172 read_descriptor_t; 2925#line 588 "include/linux/fs.h" 2926struct address_space_operations { 2927 int (*writepage)(struct page * , struct writeback_control * ) ; 2928 int (*readpage)(struct file * , struct page * ) ; 2929 int (*writepages)(struct address_space * , struct writeback_control * ) ; 2930 int (*set_page_dirty)(struct page * ) ; 2931 int (*readpages)(struct file * , struct address_space * , struct list_head * , 2932 unsigned int ) ; 2933 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int , 2934 unsigned int , struct page ** , void ** ) ; 2935 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int , 2936 unsigned int , struct page * , void * ) ; 2937 sector_t (*bmap)(struct address_space * , sector_t ) ; 2938 void (*invalidatepage)(struct page * , unsigned long ) ; 2939 int (*releasepage)(struct page * , gfp_t ) ; 2940 void (*freepage)(struct page * ) ; 2941 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t , 2942 unsigned long ) ; 2943 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ; 2944 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ; 2945 int (*launder_page)(struct page * ) ; 2946 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ; 2947 int (*error_remove_page)(struct address_space * , struct page * ) ; 2948}; 2949#line 642 "include/linux/fs.h" 2950struct address_space { 2951 struct inode *host ; 2952 struct radix_tree_root page_tree ; 2953 spinlock_t tree_lock ; 2954 unsigned int i_mmap_writable ; 2955 struct prio_tree_root i_mmap ; 2956 struct list_head i_mmap_nonlinear ; 2957 struct mutex i_mmap_mutex ; 2958 unsigned long nrpages ; 2959 unsigned long writeback_index ; 2960 struct address_space_operations const *a_ops ; 2961 unsigned long flags ; 2962 struct backing_dev_info *backing_dev_info ; 2963 spinlock_t private_lock ; 2964 struct list_head private_list ; 2965 struct address_space *assoc_mapping ; 2966}; 2967#line 664 2968struct request_queue; 2969#line 664 2970struct request_queue; 2971#line 665 2972struct hd_struct; 2973#line 665 2974struct gendisk; 2975#line 665 "include/linux/fs.h" 2976struct block_device { 2977 dev_t bd_dev ; 2978 int bd_openers ; 2979 struct inode *bd_inode ; 2980 struct super_block *bd_super ; 2981 struct mutex bd_mutex ; 2982 struct list_head bd_inodes ; 2983 void *bd_claiming ; 2984 void *bd_holder ; 2985 int bd_holders ; 2986 bool bd_write_holder ; 2987 struct list_head bd_holder_disks ; 2988 struct block_device *bd_contains ; 2989 unsigned int bd_block_size ; 2990 struct hd_struct *bd_part ; 2991 unsigned int bd_part_count ; 2992 int bd_invalidated ; 2993 struct gendisk *bd_disk ; 2994 struct request_queue *bd_queue ; 2995 struct list_head bd_list ; 2996 unsigned long bd_private ; 2997 int bd_fsfreeze_count ; 2998 struct mutex bd_fsfreeze_mutex ; 2999}; 3000#line 737 3001struct posix_acl; 3002#line 737 3003struct posix_acl; 3004#line 738 3005struct inode_operations; 3006#line 738 "include/linux/fs.h" 3007union __anonunion_ldv_21818_174 { 3008 unsigned int const i_nlink ; 3009 unsigned int __i_nlink ; 3010}; 3011#line 738 "include/linux/fs.h" 3012union __anonunion_ldv_21837_175 { 3013 struct list_head i_dentry ; 3014 struct rcu_head i_rcu ; 3015}; 3016#line 738 3017struct file_operations; 3018#line 738 3019struct file_lock; 3020#line 738 3021struct cdev; 3022#line 738 "include/linux/fs.h" 3023union __anonunion_ldv_21855_176 { 3024 struct pipe_inode_info *i_pipe ; 3025 struct block_device *i_bdev ; 3026 struct cdev *i_cdev ; 3027}; 3028#line 738 "include/linux/fs.h" 3029struct inode { 3030 umode_t i_mode ; 3031 unsigned short i_opflags ; 3032 uid_t i_uid ; 3033 gid_t i_gid ; 3034 unsigned int i_flags ; 3035 struct posix_acl *i_acl ; 3036 struct posix_acl *i_default_acl ; 3037 struct inode_operations const *i_op ; 3038 struct super_block *i_sb ; 3039 struct address_space *i_mapping ; 3040 void *i_security ; 3041 unsigned long i_ino ; 3042 union __anonunion_ldv_21818_174 ldv_21818 ; 3043 dev_t i_rdev ; 3044 struct timespec i_atime ; 3045 struct timespec i_mtime ; 3046 struct timespec i_ctime ; 3047 spinlock_t i_lock ; 3048 unsigned short i_bytes ; 3049 blkcnt_t i_blocks ; 3050 loff_t i_size ; 3051 unsigned long i_state ; 3052 struct mutex i_mutex ; 3053 unsigned long dirtied_when ; 3054 struct hlist_node i_hash ; 3055 struct list_head i_wb_list ; 3056 struct list_head i_lru ; 3057 struct list_head i_sb_list ; 3058 union __anonunion_ldv_21837_175 ldv_21837 ; 3059 atomic_t i_count ; 3060 unsigned int i_blkbits ; 3061 u64 i_version ; 3062 atomic_t i_dio_count ; 3063 atomic_t i_writecount ; 3064 struct file_operations const *i_fop ; 3065 struct file_lock *i_flock ; 3066 struct address_space i_data ; 3067 struct dquot *i_dquot[2U] ; 3068 struct list_head i_devices ; 3069 union __anonunion_ldv_21855_176 ldv_21855 ; 3070 __u32 i_generation ; 3071 __u32 i_fsnotify_mask ; 3072 struct hlist_head i_fsnotify_marks ; 3073 atomic_t i_readcount ; 3074 void *i_private ; 3075}; 3076#line 941 "include/linux/fs.h" 3077struct fown_struct { 3078 rwlock_t lock ; 3079 struct pid *pid ; 3080 enum pid_type pid_type ; 3081 uid_t uid ; 3082 uid_t euid ; 3083 int signum ; 3084}; 3085#line 949 "include/linux/fs.h" 3086struct file_ra_state { 3087 unsigned long start ; 3088 unsigned int size ; 3089 unsigned int async_size ; 3090 unsigned int ra_pages ; 3091 unsigned int mmap_miss ; 3092 loff_t prev_pos ; 3093}; 3094#line 972 "include/linux/fs.h" 3095union __anonunion_f_u_177 { 3096 struct list_head fu_list ; 3097 struct rcu_head fu_rcuhead ; 3098}; 3099#line 972 "include/linux/fs.h" 3100struct file { 3101 union __anonunion_f_u_177 f_u ; 3102 struct path f_path ; 3103 struct file_operations const *f_op ; 3104 spinlock_t f_lock ; 3105 int f_sb_list_cpu ; 3106 atomic_long_t f_count ; 3107 unsigned int f_flags ; 3108 fmode_t f_mode ; 3109 loff_t f_pos ; 3110 struct fown_struct f_owner ; 3111 struct cred const *f_cred ; 3112 struct file_ra_state f_ra ; 3113 u64 f_version ; 3114 void *f_security ; 3115 void *private_data ; 3116 struct list_head f_ep_links ; 3117 struct list_head f_tfile_llink ; 3118 struct address_space *f_mapping ; 3119 unsigned long f_mnt_write_state ; 3120}; 3121#line 1111 "include/linux/fs.h" 3122typedef struct files_struct *fl_owner_t; 3123#line 1112 "include/linux/fs.h" 3124struct file_lock_operations { 3125 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ; 3126 void (*fl_release_private)(struct file_lock * ) ; 3127}; 3128#line 1117 "include/linux/fs.h" 3129struct lock_manager_operations { 3130 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ; 3131 void (*lm_notify)(struct file_lock * ) ; 3132 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ; 3133 void (*lm_release_private)(struct file_lock * ) ; 3134 void (*lm_break)(struct file_lock * ) ; 3135 int (*lm_change)(struct file_lock ** , int ) ; 3136}; 3137#line 1134 3138struct nlm_lockowner; 3139#line 1134 3140struct nlm_lockowner; 3141#line 1135 "include/linux/fs.h" 3142struct nfs_lock_info { 3143 u32 state ; 3144 struct nlm_lockowner *owner ; 3145 struct list_head list ; 3146}; 3147#line 14 "include/linux/nfs_fs_i.h" 3148struct nfs4_lock_state; 3149#line 14 3150struct nfs4_lock_state; 3151#line 15 "include/linux/nfs_fs_i.h" 3152struct nfs4_lock_info { 3153 struct nfs4_lock_state *owner ; 3154}; 3155#line 19 3156struct fasync_struct; 3157#line 19 "include/linux/nfs_fs_i.h" 3158struct __anonstruct_afs_179 { 3159 struct list_head link ; 3160 int state ; 3161}; 3162#line 19 "include/linux/nfs_fs_i.h" 3163union __anonunion_fl_u_178 { 3164 struct nfs_lock_info nfs_fl ; 3165 struct nfs4_lock_info nfs4_fl ; 3166 struct __anonstruct_afs_179 afs ; 3167}; 3168#line 19 "include/linux/nfs_fs_i.h" 3169struct file_lock { 3170 struct file_lock *fl_next ; 3171 struct list_head fl_link ; 3172 struct list_head fl_block ; 3173 fl_owner_t fl_owner ; 3174 unsigned int fl_flags ; 3175 unsigned char fl_type ; 3176 unsigned int fl_pid ; 3177 struct pid *fl_nspid ; 3178 wait_queue_head_t fl_wait ; 3179 struct file *fl_file ; 3180 loff_t fl_start ; 3181 loff_t fl_end ; 3182 struct fasync_struct *fl_fasync ; 3183 unsigned long fl_break_time ; 3184 unsigned long fl_downgrade_time ; 3185 struct file_lock_operations const *fl_ops ; 3186 struct lock_manager_operations const *fl_lmops ; 3187 union __anonunion_fl_u_178 fl_u ; 3188}; 3189#line 1221 "include/linux/fs.h" 3190struct fasync_struct { 3191 spinlock_t fa_lock ; 3192 int magic ; 3193 int fa_fd ; 3194 struct fasync_struct *fa_next ; 3195 struct file *fa_file ; 3196 struct rcu_head fa_rcu ; 3197}; 3198#line 1417 3199struct file_system_type; 3200#line 1417 3201struct super_operations; 3202#line 1417 3203struct xattr_handler; 3204#line 1417 3205struct mtd_info; 3206#line 1417 "include/linux/fs.h" 3207struct super_block { 3208 struct list_head s_list ; 3209 dev_t s_dev ; 3210 unsigned char s_dirt ; 3211 unsigned char s_blocksize_bits ; 3212 unsigned long s_blocksize ; 3213 loff_t s_maxbytes ; 3214 struct file_system_type *s_type ; 3215 struct super_operations const *s_op ; 3216 struct dquot_operations const *dq_op ; 3217 struct quotactl_ops const *s_qcop ; 3218 struct export_operations const *s_export_op ; 3219 unsigned long s_flags ; 3220 unsigned long s_magic ; 3221 struct dentry *s_root ; 3222 struct rw_semaphore s_umount ; 3223 struct mutex s_lock ; 3224 int s_count ; 3225 atomic_t s_active ; 3226 void *s_security ; 3227 struct xattr_handler const **s_xattr ; 3228 struct list_head s_inodes ; 3229 struct hlist_bl_head s_anon ; 3230 struct list_head *s_files ; 3231 struct list_head s_mounts ; 3232 struct list_head s_dentry_lru ; 3233 int s_nr_dentry_unused ; 3234 spinlock_t s_inode_lru_lock ; 3235 struct list_head s_inode_lru ; 3236 int s_nr_inodes_unused ; 3237 struct block_device *s_bdev ; 3238 struct backing_dev_info *s_bdi ; 3239 struct mtd_info *s_mtd ; 3240 struct hlist_node s_instances ; 3241 struct quota_info s_dquot ; 3242 int s_frozen ; 3243 wait_queue_head_t s_wait_unfrozen ; 3244 char s_id[32U] ; 3245 u8 s_uuid[16U] ; 3246 void *s_fs_info ; 3247 unsigned int s_max_links ; 3248 fmode_t s_mode ; 3249 u32 s_time_gran ; 3250 struct mutex s_vfs_rename_mutex ; 3251 char *s_subtype ; 3252 char *s_options ; 3253 struct dentry_operations const *s_d_op ; 3254 int cleancache_poolid ; 3255 struct shrinker s_shrink ; 3256 atomic_long_t s_remove_count ; 3257 int s_readonly_remount ; 3258}; 3259#line 1563 "include/linux/fs.h" 3260struct fiemap_extent_info { 3261 unsigned int fi_flags ; 3262 unsigned int fi_extents_mapped ; 3263 unsigned int fi_extents_max ; 3264 struct fiemap_extent *fi_extents_start ; 3265}; 3266#line 1602 "include/linux/fs.h" 3267struct file_operations { 3268 struct module *owner ; 3269 loff_t (*llseek)(struct file * , loff_t , int ) ; 3270 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ; 3271 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ; 3272 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long , 3273 loff_t ) ; 3274 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long , 3275 loff_t ) ; 3276 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int , 3277 loff_t , u64 , unsigned int ) ) ; 3278 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ; 3279 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ; 3280 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ; 3281 int (*mmap)(struct file * , struct vm_area_struct * ) ; 3282 int (*open)(struct inode * , struct file * ) ; 3283 int (*flush)(struct file * , fl_owner_t ) ; 3284 int (*release)(struct inode * , struct file * ) ; 3285 int (*fsync)(struct file * , loff_t , loff_t , int ) ; 3286 int (*aio_fsync)(struct kiocb * , int ) ; 3287 int (*fasync)(int , struct file * , int ) ; 3288 int (*lock)(struct file * , int , struct file_lock * ) ; 3289 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * , 3290 int ) ; 3291 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long , 3292 unsigned long , unsigned long ) ; 3293 int (*check_flags)(int ) ; 3294 int (*flock)(struct file * , int , struct file_lock * ) ; 3295 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t , 3296 unsigned int ) ; 3297 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t , 3298 unsigned int ) ; 3299 int (*setlease)(struct file * , long , struct file_lock ** ) ; 3300 long (*fallocate)(struct file * , int , loff_t , loff_t ) ; 3301}; 3302#line 1637 "include/linux/fs.h" 3303struct inode_operations { 3304 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ; 3305 void *(*follow_link)(struct dentry * , struct nameidata * ) ; 3306 int (*permission)(struct inode * , int ) ; 3307 struct posix_acl *(*get_acl)(struct inode * , int ) ; 3308 int (*readlink)(struct dentry * , char * , int ) ; 3309 void (*put_link)(struct dentry * , struct nameidata * , void * ) ; 3310 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ; 3311 int (*link)(struct dentry * , struct inode * , struct dentry * ) ; 3312 int (*unlink)(struct inode * , struct dentry * ) ; 3313 int (*symlink)(struct inode * , struct dentry * , char const * ) ; 3314 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ; 3315 int (*rmdir)(struct inode * , struct dentry * ) ; 3316 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ; 3317 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ; 3318 void (*truncate)(struct inode * ) ; 3319 int (*setattr)(struct dentry * , struct iattr * ) ; 3320 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ; 3321 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ; 3322 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ; 3323 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ; 3324 int (*removexattr)(struct dentry * , char const * ) ; 3325 void (*truncate_range)(struct inode * , loff_t , loff_t ) ; 3326 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ; 3327}; 3328#line 1682 "include/linux/fs.h" 3329struct super_operations { 3330 struct inode *(*alloc_inode)(struct super_block * ) ; 3331 void (*destroy_inode)(struct inode * ) ; 3332 void (*dirty_inode)(struct inode * , int ) ; 3333 int (*write_inode)(struct inode * , struct writeback_control * ) ; 3334 int (*drop_inode)(struct inode * ) ; 3335 void (*evict_inode)(struct inode * ) ; 3336 void (*put_super)(struct super_block * ) ; 3337 void (*write_super)(struct super_block * ) ; 3338 int (*sync_fs)(struct super_block * , int ) ; 3339 int (*freeze_fs)(struct super_block * ) ; 3340 int (*unfreeze_fs)(struct super_block * ) ; 3341 int (*statfs)(struct dentry * , struct kstatfs * ) ; 3342 int (*remount_fs)(struct super_block * , int * , char * ) ; 3343 void (*umount_begin)(struct super_block * ) ; 3344 int (*show_options)(struct seq_file * , struct dentry * ) ; 3345 int (*show_devname)(struct seq_file * , struct dentry * ) ; 3346 int (*show_path)(struct seq_file * , struct dentry * ) ; 3347 int (*show_stats)(struct seq_file * , struct dentry * ) ; 3348 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ; 3349 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t , 3350 loff_t ) ; 3351 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ; 3352 int (*nr_cached_objects)(struct super_block * ) ; 3353 void (*free_cached_objects)(struct super_block * , int ) ; 3354}; 3355#line 1834 "include/linux/fs.h" 3356struct file_system_type { 3357 char const *name ; 3358 int fs_flags ; 3359 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ; 3360 void (*kill_sb)(struct super_block * ) ; 3361 struct module *owner ; 3362 struct file_system_type *next ; 3363 struct hlist_head fs_supers ; 3364 struct lock_class_key s_lock_key ; 3365 struct lock_class_key s_umount_key ; 3366 struct lock_class_key s_vfs_rename_key ; 3367 struct lock_class_key i_lock_key ; 3368 struct lock_class_key i_mutex_key ; 3369 struct lock_class_key i_mutex_dir_key ; 3370}; 3371#line 46 "include/linux/proc_fs.h" 3372typedef int read_proc_t(char * , char ** , off_t , int , int * , void * ); 3373#line 48 "include/linux/proc_fs.h" 3374typedef int write_proc_t(struct file * , char const * , unsigned long , void * ); 3375#line 49 "include/linux/proc_fs.h" 3376struct proc_dir_entry { 3377 unsigned int low_ino ; 3378 umode_t mode ; 3379 nlink_t nlink ; 3380 uid_t uid ; 3381 gid_t gid ; 3382 loff_t size ; 3383 struct inode_operations const *proc_iops ; 3384 struct file_operations const *proc_fops ; 3385 struct proc_dir_entry *next ; 3386 struct proc_dir_entry *parent ; 3387 struct proc_dir_entry *subdir ; 3388 void *data ; 3389 read_proc_t *read_proc ; 3390 write_proc_t *write_proc ; 3391 atomic_t count ; 3392 int pde_users ; 3393 struct completion *pde_unload_completion ; 3394 struct list_head pde_openers ; 3395 spinlock_t pde_unload_lock ; 3396 u8 namelen ; 3397 char name[0U] ; 3398}; 3399#line 60 "include/acpi/acpi_bus.h" 3400enum acpi_bus_removal_type { 3401 ACPI_BUS_REMOVAL_NORMAL = 0, 3402 ACPI_BUS_REMOVAL_EJECT = 1, 3403 ACPI_BUS_REMOVAL_SUPRISE = 2, 3404 ACPI_BUS_REMOVAL_TYPE_COUNT = 3 3405} ; 3406#line 77 3407struct acpi_driver; 3408#line 77 3409struct acpi_driver; 3410#line 78 3411struct acpi_device; 3412#line 78 3413struct acpi_device; 3414#line 95 "include/acpi/acpi_bus.h" 3415struct acpi_bus_ops { 3416 unsigned char acpi_op_add : 1 ; 3417 unsigned char acpi_op_start : 1 ; 3418}; 3419#line 100 "include/acpi/acpi_bus.h" 3420struct acpi_device_ops { 3421 int (*add)(struct acpi_device * ) ; 3422 int (*remove)(struct acpi_device * , int ) ; 3423 int (*start)(struct acpi_device * ) ; 3424 int (*suspend)(struct acpi_device * , pm_message_t ) ; 3425 int (*resume)(struct acpi_device * ) ; 3426 int (*bind)(struct acpi_device * ) ; 3427 int (*unbind)(struct acpi_device * ) ; 3428 void (*notify)(struct acpi_device * , u32 ) ; 3429}; 3430#line 111 "include/acpi/acpi_bus.h" 3431struct acpi_driver { 3432 char name[80U] ; 3433 char class[80U] ; 3434 struct acpi_device_id const *ids ; 3435 unsigned int flags ; 3436 struct acpi_device_ops ops ; 3437 struct device_driver drv ; 3438 struct module *owner ; 3439}; 3440#line 123 "include/acpi/acpi_bus.h" 3441struct acpi_device_status { 3442 unsigned char present : 1 ; 3443 unsigned char enabled : 1 ; 3444 unsigned char show_in_ui : 1 ; 3445 unsigned char functional : 1 ; 3446 unsigned char battery_present : 1 ; 3447 unsigned int reserved : 27 ; 3448}; 3449#line 139 "include/acpi/acpi_bus.h" 3450struct acpi_device_flags { 3451 unsigned char dynamic_status : 1 ; 3452 unsigned char bus_address : 1 ; 3453 unsigned char removable : 1 ; 3454 unsigned char ejectable : 1 ; 3455 unsigned char lockable : 1 ; 3456 unsigned char suprise_removal_ok : 1 ; 3457 unsigned char power_manageable : 1 ; 3458 unsigned char performance_manageable : 1 ; 3459 unsigned int reserved : 24 ; 3460}; 3461#line 153 "include/acpi/acpi_bus.h" 3462struct acpi_device_dir { 3463 struct proc_dir_entry *entry ; 3464}; 3465#line 164 "include/acpi/acpi_bus.h" 3466typedef char acpi_bus_id[8U]; 3467#line 165 "include/acpi/acpi_bus.h" 3468typedef unsigned long acpi_bus_address; 3469#line 166 "include/acpi/acpi_bus.h" 3470typedef char acpi_device_name[40U]; 3471#line 167 "include/acpi/acpi_bus.h" 3472typedef char acpi_device_class[20U]; 3473#line 173 "include/acpi/acpi_bus.h" 3474struct acpi_device_pnp { 3475 acpi_bus_id bus_id ; 3476 acpi_bus_address bus_address ; 3477 char *unique_id ; 3478 struct list_head ids ; 3479 acpi_device_name device_name ; 3480 acpi_device_class device_class ; 3481}; 3482#line 186 "include/acpi/acpi_bus.h" 3483struct acpi_device_power_flags { 3484 unsigned char explicit_get : 1 ; 3485 unsigned char power_resources : 1 ; 3486 unsigned char inrush_current : 1 ; 3487 unsigned char power_removed : 1 ; 3488 unsigned int reserved : 28 ; 3489}; 3490#line 198 "include/acpi/acpi_bus.h" 3491struct __anonstruct_flags_180 { 3492 unsigned char valid : 1 ; 3493 unsigned char explicit_set : 1 ; 3494 unsigned char reserved : 6 ; 3495}; 3496#line 198 "include/acpi/acpi_bus.h" 3497struct acpi_device_power_state { 3498 struct __anonstruct_flags_180 flags ; 3499 int power ; 3500 int latency ; 3501 struct acpi_handle_list resources ; 3502}; 3503#line 209 "include/acpi/acpi_bus.h" 3504struct acpi_device_power { 3505 int state ; 3506 struct acpi_device_power_flags flags ; 3507 struct acpi_device_power_state states[5U] ; 3508}; 3509#line 215 "include/acpi/acpi_bus.h" 3510struct acpi_device_perf_flags { 3511 u8 reserved ; 3512}; 3513#line 221 "include/acpi/acpi_bus.h" 3514struct __anonstruct_flags_181 { 3515 unsigned char valid : 1 ; 3516 unsigned char reserved : 7 ; 3517}; 3518#line 221 "include/acpi/acpi_bus.h" 3519struct acpi_device_perf_state { 3520 struct __anonstruct_flags_181 flags ; 3521 u8 power ; 3522 u8 performance ; 3523 int latency ; 3524}; 3525#line 231 "include/acpi/acpi_bus.h" 3526struct acpi_device_perf { 3527 int state ; 3528 struct acpi_device_perf_flags flags ; 3529 int state_count ; 3530 struct acpi_device_perf_state *states ; 3531}; 3532#line 238 "include/acpi/acpi_bus.h" 3533struct acpi_device_wakeup_flags { 3534 unsigned char valid : 1 ; 3535 unsigned char run_wake : 1 ; 3536 unsigned char notifier_present : 1 ; 3537}; 3538#line 245 "include/acpi/acpi_bus.h" 3539struct acpi_device_wakeup { 3540 acpi_handle gpe_device ; 3541 u64 gpe_number ; 3542 u64 sleep_state ; 3543 struct acpi_handle_list resources ; 3544 struct acpi_device_wakeup_flags flags ; 3545 int prepare_count ; 3546}; 3547#line 254 "include/acpi/acpi_bus.h" 3548struct acpi_device { 3549 int device_type ; 3550 acpi_handle handle ; 3551 struct acpi_device *parent ; 3552 struct list_head children ; 3553 struct list_head node ; 3554 struct list_head wakeup_list ; 3555 struct acpi_device_status status ; 3556 struct acpi_device_flags flags ; 3557 struct acpi_device_pnp pnp ; 3558 struct acpi_device_power power ; 3559 struct acpi_device_wakeup wakeup ; 3560 struct acpi_device_perf performance ; 3561 struct acpi_device_dir dir ; 3562 struct acpi_device_ops ops ; 3563 struct acpi_driver *driver ; 3564 void *driver_data ; 3565 struct device dev ; 3566 struct acpi_bus_ops bus_ops ; 3567 enum acpi_bus_removal_type removal_type ; 3568}; 3569#line 380 "include/linux/acpi.h" 3570struct acpi_container { 3571 acpi_handle handle ; 3572 unsigned long sun ; 3573 int state ; 3574}; 3575#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3576void ldv_spin_lock(void) ; 3577#line 3 3578void ldv_spin_unlock(void) ; 3579#line 4 3580int ldv_spin_trylock(void) ; 3581#line 101 "include/linux/printk.h" 3582extern int printk(char const * , ...) ; 3583#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h" 3584extern char *strcpy(char * , char const * ) ; 3585#line 64 3586extern int strcmp(char const * , char const * ) ; 3587#line 207 "include/linux/kobject.h" 3588extern int kobject_uevent(struct kobject * , enum kobject_action ) ; 3589#line 161 "include/linux/slab.h" 3590extern void kfree(void const * ) ; 3591#line 220 "include/linux/slub_def.h" 3592extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ; 3593#line 223 3594void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ; 3595#line 353 "include/linux/slab.h" 3596__inline static void *kzalloc(size_t size , gfp_t flags ) ; 3597#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3598extern void *__VERIFIER_nondet_pointer(void) ; 3599#line 11 3600void ldv_check_alloc_flags(gfp_t flags ) ; 3601#line 12 3602void ldv_check_alloc_nonatomic(void) ; 3603#line 14 3604struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ; 3605#line 195 "include/acpi/acpixf.h" 3606extern acpi_status acpi_walk_namespace(acpi_object_type , acpi_handle , u32 , acpi_status (*)(acpi_handle , 3607 u32 , 3608 void * , 3609 void ** ) , 3610 acpi_status (*)(acpi_handle , u32 , void * , 3611 void ** ) , void * , void ** ) ; 3612#line 212 3613extern acpi_status acpi_get_handle(acpi_handle , acpi_string , acpi_handle ** ) ; 3614#line 243 3615extern acpi_status acpi_get_object_info(acpi_handle , struct acpi_device_info ** ) ; 3616#line 257 3617extern acpi_status acpi_get_parent(acpi_handle , acpi_handle ** ) ; 3618#line 294 3619extern acpi_status acpi_install_notify_handler(acpi_handle , u32 , void (*)(acpi_handle , 3620 u32 , 3621 void * ) , 3622 void * ) ; 3623#line 299 3624extern acpi_status acpi_remove_notify_handler(acpi_handle , u32 , void (*)(acpi_handle , 3625 u32 , 3626 void * ) ) ; 3627#line 538 3628extern void acpi_debug_print(u32 , u32 , char const * , char const * , u32 , 3629 char const * , ...) ; 3630#line 45 "include/acpi/acpi_bus.h" 3631extern acpi_status acpi_evaluate_integer(acpi_handle , acpi_string , struct acpi_object_list * , 3632 unsigned long long * ) ; 3633#line 279 "include/acpi/acpi_bus.h" 3634__inline static void *acpi_driver_data(struct acpi_device *d ) 3635{ unsigned long __cil_tmp2 ; 3636 unsigned long __cil_tmp3 ; 3637 3638 { 3639 { 3640#line 281 3641 __cil_tmp2 = (unsigned long )d; 3642#line 281 3643 __cil_tmp3 = __cil_tmp2 + 936; 3644#line 281 3645 return (*((void **)__cil_tmp3)); 3646 } 3647} 3648} 3649#line 317 3650extern int acpi_bus_get_device(acpi_handle , struct acpi_device ** ) ; 3651#line 336 3652extern int acpi_bus_register_driver(struct acpi_driver * ) ; 3653#line 337 3654extern void acpi_bus_unregister_driver(struct acpi_driver * ) ; 3655#line 338 3656extern int acpi_bus_add(struct acpi_device ** , struct acpi_device * , acpi_handle , 3657 int ) ; 3658#line 341 3659extern int acpi_bus_start(struct acpi_device * ) ; 3660#line 63 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3661static char const _acpi_module_name[10U] = 3662#line 63 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3663 { (char const )'c', (char const )'o', (char const )'n', (char const )'t', 3664 (char const )'a', (char const )'i', (char const )'n', (char const )'e', 3665 (char const )'r', (char const )'\000'}; 3666#line 69 3667static int acpi_container_add(struct acpi_device *device ) ; 3668#line 70 3669static int acpi_container_remove(struct acpi_device *device , int type ) ; 3670#line 72 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3671static struct acpi_device_id const container_device_ids[4U] = { {{(__u8 )'A', (__u8 )'C', (__u8 )'P', (__u8 )'I', (__u8 )'0', (__u8 )'0', (__u8 )'0', 3672 (__u8 )'4', (__u8 )'\000', (unsigned char)0, (unsigned char)0, (unsigned char)0, 3673 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, 0UL}, 3674 {{(__u8 )'P', 3675 (__u8 )'N', (__u8 )'P', (__u8 )'0', (__u8 )'A', (__u8 )'0', (__u8 )'5', (__u8 )'\000', 3676 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 3677 (unsigned char)0, (unsigned char)0, (unsigned char)0}, 0UL}, 3678 {{(__u8 )'P', (__u8 )'N', (__u8 )'P', (__u8 )'0', (__u8 )'A', (__u8 )'0', (__u8 )'6', 3679 (__u8 )'\000', (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 3680 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, 0UL}, 3681 {{(__u8 )'\000', 3682 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 3683 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 3684 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, 3685 0UL}}; 3686#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3687struct acpi_device_id const __mod_acpi_device_table ; 3688#line 80 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3689static struct acpi_driver acpi_container_driver = {{(char )'c', (char )'o', (char )'n', (char )'t', (char )'a', (char )'i', (char )'n', 3690 (char )'e', (char )'r', (char )'\000'}, {(char )'c', (char )'o', (char )'n', 3691 (char )'t', (char )'a', (char )'i', 3692 (char )'n', (char )'e', (char )'r', 3693 (char )'\000'}, (struct acpi_device_id const *)(& container_device_ids), 3694 0U, {& acpi_container_add, & acpi_container_remove, (int (*)(struct acpi_device * ))0, 3695 (int (*)(struct acpi_device * , pm_message_t ))0, (int (*)(struct acpi_device * ))0, 3696 (int (*)(struct acpi_device * ))0, (int (*)(struct acpi_device * ))0, (void (*)(struct acpi_device * , 3697 u32 ))0}, 3698 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0, 3699 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device * ))0, (int (*)(struct device * ))0, 3700 (void (*)(struct device * ))0, (int (*)(struct device * , pm_message_t ))0, 3701 (int (*)(struct device * ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0, 3702 (struct driver_private *)0}, (struct module *)0}; 3703#line 92 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3704static int is_device_present(acpi_handle handle ) 3705{ acpi_handle temp ; 3706 acpi_status status ; 3707 unsigned long long sta ; 3708 char *__cil_tmp5 ; 3709 acpi_handle **__cil_tmp6 ; 3710 char *__cil_tmp7 ; 3711 struct acpi_object_list *__cil_tmp8 ; 3712 unsigned long long *__cil_tmp9 ; 3713 unsigned long long __cil_tmp10 ; 3714 int __cil_tmp11 ; 3715 3716 { 3717 { 3718#line 99 3719 __cil_tmp5 = (char *)"_STA"; 3720#line 99 3721 __cil_tmp6 = (acpi_handle **)(& temp); 3722#line 99 3723 status = acpi_get_handle(handle, __cil_tmp5, __cil_tmp6); 3724 } 3725#line 100 3726 if (status != 0U) { 3727#line 101 3728 return (1); 3729 } else { 3730 3731 } 3732 { 3733#line 103 3734 __cil_tmp7 = (char *)"_STA"; 3735#line 103 3736 __cil_tmp8 = (struct acpi_object_list *)0; 3737#line 103 3738 status = acpi_evaluate_integer(handle, __cil_tmp7, __cil_tmp8, & sta); 3739 } 3740#line 104 3741 if (status != 0U) { 3742#line 105 3743 return (0); 3744 } else { 3745 3746 } 3747 { 3748#line 107 3749 __cil_tmp9 = & sta; 3750#line 107 3751 __cil_tmp10 = *__cil_tmp9; 3752#line 107 3753 __cil_tmp11 = (int )__cil_tmp10; 3754#line 107 3755 return (__cil_tmp11 & 1); 3756 } 3757} 3758} 3759#line 111 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3760static int acpi_container_add(struct acpi_device *device ) 3761{ struct acpi_container *container ; 3762 void *tmp ; 3763 struct acpi_device *__cil_tmp4 ; 3764 unsigned long __cil_tmp5 ; 3765 unsigned long __cil_tmp6 ; 3766 struct acpi_container *__cil_tmp7 ; 3767 unsigned long __cil_tmp8 ; 3768 unsigned long __cil_tmp9 ; 3769 unsigned long __cil_tmp10 ; 3770 unsigned long __cil_tmp11 ; 3771 unsigned long __cil_tmp12 ; 3772 unsigned long __cil_tmp13 ; 3773 unsigned long __cil_tmp14 ; 3774 acpi_device_name *__cil_tmp15 ; 3775 char *__cil_tmp16 ; 3776 unsigned long __cil_tmp17 ; 3777 unsigned long __cil_tmp18 ; 3778 unsigned long __cil_tmp19 ; 3779 acpi_device_class *__cil_tmp20 ; 3780 char *__cil_tmp21 ; 3781 unsigned long __cil_tmp22 ; 3782 unsigned long __cil_tmp23 ; 3783 char const *__cil_tmp24 ; 3784 unsigned long __cil_tmp25 ; 3785 unsigned long __cil_tmp26 ; 3786 unsigned long __cil_tmp27 ; 3787 acpi_device_name *__cil_tmp28 ; 3788 char *__cil_tmp29 ; 3789 unsigned long __cil_tmp30 ; 3790 unsigned long __cil_tmp31 ; 3791 acpi_bus_id *__cil_tmp32 ; 3792 char *__cil_tmp33 ; 3793 3794 { 3795 { 3796#line 116 3797 __cil_tmp4 = (struct acpi_device *)0; 3798#line 116 3799 __cil_tmp5 = (unsigned long )__cil_tmp4; 3800#line 116 3801 __cil_tmp6 = (unsigned long )device; 3802#line 116 3803 if (__cil_tmp6 == __cil_tmp5) { 3804 { 3805#line 117 3806 printk("<3>ACPI: device is NULL\n"); 3807 } 3808#line 118 3809 return (-22); 3810 } else { 3811 3812 } 3813 } 3814 { 3815#line 121 3816 tmp = kzalloc(24UL, 208U); 3817#line 121 3818 container = (struct acpi_container *)tmp; 3819 } 3820 { 3821#line 122 3822 __cil_tmp7 = (struct acpi_container *)0; 3823#line 122 3824 __cil_tmp8 = (unsigned long )__cil_tmp7; 3825#line 122 3826 __cil_tmp9 = (unsigned long )container; 3827#line 122 3828 if (__cil_tmp9 == __cil_tmp8) { 3829#line 123 3830 return (-12); 3831 } else { 3832 3833 } 3834 } 3835 { 3836#line 125 3837 __cil_tmp10 = (unsigned long )device; 3838#line 125 3839 __cil_tmp11 = __cil_tmp10 + 8; 3840#line 125 3841 *((acpi_handle *)container) = *((acpi_handle *)__cil_tmp11); 3842#line 126 3843 __cil_tmp12 = 80 + 40; 3844#line 126 3845 __cil_tmp13 = (unsigned long )device; 3846#line 126 3847 __cil_tmp14 = __cil_tmp13 + __cil_tmp12; 3848#line 126 3849 __cil_tmp15 = (acpi_device_name *)__cil_tmp14; 3850#line 126 3851 __cil_tmp16 = (char *)__cil_tmp15; 3852#line 126 3853 strcpy(__cil_tmp16, "ACPI container device"); 3854#line 127 3855 __cil_tmp17 = 80 + 80; 3856#line 127 3857 __cil_tmp18 = (unsigned long )device; 3858#line 127 3859 __cil_tmp19 = __cil_tmp18 + __cil_tmp17; 3860#line 127 3861 __cil_tmp20 = (acpi_device_class *)__cil_tmp19; 3862#line 127 3863 __cil_tmp21 = (char *)__cil_tmp20; 3864#line 127 3865 strcpy(__cil_tmp21, "container"); 3866#line 128 3867 __cil_tmp22 = (unsigned long )device; 3868#line 128 3869 __cil_tmp23 = __cil_tmp22 + 936; 3870#line 128 3871 *((void **)__cil_tmp23) = (void *)container; 3872#line 130 3873 __cil_tmp24 = (char const *)(& _acpi_module_name); 3874#line 130 3875 __cil_tmp25 = 80 + 40; 3876#line 130 3877 __cil_tmp26 = (unsigned long )device; 3878#line 130 3879 __cil_tmp27 = __cil_tmp26 + __cil_tmp25; 3880#line 130 3881 __cil_tmp28 = (acpi_device_name *)__cil_tmp27; 3882#line 130 3883 __cil_tmp29 = (char *)__cil_tmp28; 3884#line 130 3885 __cil_tmp30 = (unsigned long )device; 3886#line 130 3887 __cil_tmp31 = __cil_tmp30 + 80; 3888#line 130 3889 __cil_tmp32 = (acpi_bus_id *)__cil_tmp31; 3890#line 130 3891 __cil_tmp33 = (char *)__cil_tmp32; 3892#line 130 3893 acpi_debug_print(4U, 131U, "acpi_container_add", __cil_tmp24, 16777216U, "Device <%s> bid <%s>\n", 3894 __cil_tmp29, __cil_tmp33); 3895 } 3896#line 133 3897 return (0); 3898} 3899} 3900#line 136 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3901static int acpi_container_remove(struct acpi_device *device , int type ) 3902{ acpi_status status ; 3903 struct acpi_container *pc ; 3904 void *tmp ; 3905 void const *__cil_tmp6 ; 3906 3907 { 3908 { 3909#line 138 3910 status = 0U; 3911#line 139 3912 pc = (struct acpi_container *)0; 3913#line 141 3914 tmp = acpi_driver_data(device); 3915#line 141 3916 pc = (struct acpi_container *)tmp; 3917#line 142 3918 __cil_tmp6 = (void const *)pc; 3919#line 142 3920 kfree(__cil_tmp6); 3921 } 3922#line 143 3923 return ((int )status); 3924} 3925} 3926#line 146 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3927static int container_device_add(struct acpi_device **device , acpi_handle handle ) 3928{ acpi_handle phandle ; 3929 struct acpi_device *pdev ; 3930 int result ; 3931 acpi_status tmp ; 3932 int tmp___0 ; 3933 int tmp___1 ; 3934 acpi_handle **__cil_tmp9 ; 3935 acpi_handle *__cil_tmp10 ; 3936 acpi_handle __cil_tmp11 ; 3937 struct acpi_device **__cil_tmp12 ; 3938 struct acpi_device *__cil_tmp13 ; 3939 struct acpi_device *__cil_tmp14 ; 3940 3941 { 3942 { 3943#line 153 3944 __cil_tmp9 = (acpi_handle **)(& phandle); 3945#line 153 3946 tmp = acpi_get_parent(handle, __cil_tmp9); 3947 } 3948#line 153 3949 if (tmp != 0U) { 3950#line 154 3951 return (-19); 3952 } else { 3953 3954 } 3955 { 3956#line 157 3957 __cil_tmp10 = & phandle; 3958#line 157 3959 __cil_tmp11 = *__cil_tmp10; 3960#line 157 3961 tmp___0 = acpi_bus_get_device(__cil_tmp11, & pdev); 3962 } 3963#line 157 3964 if (tmp___0 != 0) { 3965#line 158 3966 return (-19); 3967 } else { 3968 3969 } 3970 { 3971#line 161 3972 __cil_tmp12 = & pdev; 3973#line 161 3974 __cil_tmp13 = *__cil_tmp12; 3975#line 161 3976 tmp___1 = acpi_bus_add(device, __cil_tmp13, handle, 0); 3977 } 3978#line 161 3979 if (tmp___1 != 0) { 3980#line 162 3981 return (-19); 3982 } else { 3983 3984 } 3985 { 3986#line 165 3987 __cil_tmp14 = *device; 3988#line 165 3989 result = acpi_bus_start(__cil_tmp14); 3990 } 3991#line 167 3992 return (result); 3993} 3994} 3995#line 170 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 3996static void container_notify_cb(acpi_handle handle , u32 type , void *context ) 3997{ struct acpi_device *device ; 3998 int result ; 3999 int present ; 4000 acpi_status status ; 4001 char *tmp ; 4002 int tmp___0 ; 4003 int tmp___1 ; 4004 struct acpi_device **__cil_tmp11 ; 4005 struct acpi_device *__cil_tmp12 ; 4006 unsigned long __cil_tmp13 ; 4007 struct acpi_device **__cil_tmp14 ; 4008 struct acpi_device *__cil_tmp15 ; 4009 unsigned long __cil_tmp16 ; 4010 unsigned long __cil_tmp17 ; 4011 struct acpi_device **__cil_tmp18 ; 4012 struct acpi_device *__cil_tmp19 ; 4013 unsigned long __cil_tmp20 ; 4014 unsigned long __cil_tmp21 ; 4015 struct kobject *__cil_tmp22 ; 4016 enum kobject_action __cil_tmp23 ; 4017 unsigned long __cil_tmp24 ; 4018 struct acpi_device **__cil_tmp25 ; 4019 struct acpi_device *__cil_tmp26 ; 4020 unsigned long __cil_tmp27 ; 4021 unsigned long __cil_tmp28 ; 4022 struct kobject *__cil_tmp29 ; 4023 enum kobject_action __cil_tmp30 ; 4024 struct acpi_device *__cil_tmp31 ; 4025 unsigned long __cil_tmp32 ; 4026 struct acpi_device **__cil_tmp33 ; 4027 struct acpi_device *__cil_tmp34 ; 4028 unsigned long __cil_tmp35 ; 4029 unsigned long __cil_tmp36 ; 4030 struct acpi_device **__cil_tmp37 ; 4031 struct acpi_device *__cil_tmp38 ; 4032 unsigned long __cil_tmp39 ; 4033 unsigned long __cil_tmp40 ; 4034 struct kobject *__cil_tmp41 ; 4035 enum kobject_action __cil_tmp42 ; 4036 4037 { 4038 { 4039#line 172 4040 __cil_tmp11 = & device; 4041#line 172 4042 *__cil_tmp11 = (struct acpi_device *)0; 4043#line 178 4044 present = is_device_present(handle); 4045 } 4046#line 181 4047 if ((int )type == 0) { 4048#line 181 4049 goto case_0; 4050 } else 4051#line 183 4052 if ((int )type == 1) { 4053#line 183 4054 goto case_1; 4055 } else 4056#line 205 4057 if ((int )type == 3) { 4058#line 205 4059 goto case_3; 4060 } else { 4061 { 4062#line 210 4063 goto switch_default; 4064#line 180 4065 if (0) { 4066 case_0: /* CIL Label */ ; 4067 case_1: /* CIL Label */ ; 4068#line 184 4069 if (type == 0U) { 4070#line 184 4071 tmp = (char *)"ACPI_NOTIFY_BUS_CHECK"; 4072 } else { 4073#line 184 4074 tmp = (char *)"ACPI_NOTIFY_DEVICE_CHECK"; 4075 } 4076 { 4077#line 184 4078 printk("<4>Container driver received %s event\n", tmp); 4079#line 187 4080 tmp___0 = acpi_bus_get_device(handle, & device); 4081#line 187 4082 status = (acpi_status )tmp___0; 4083 } 4084#line 188 4085 if (present != 0) { 4086#line 189 4087 if (status != 0U) { 4088#line 189 4089 goto _L; 4090 } else { 4091 { 4092#line 189 4093 __cil_tmp12 = (struct acpi_device *)0; 4094#line 189 4095 __cil_tmp13 = (unsigned long )__cil_tmp12; 4096#line 189 4097 __cil_tmp14 = & device; 4098#line 189 4099 __cil_tmp15 = *__cil_tmp14; 4100#line 189 4101 __cil_tmp16 = (unsigned long )__cil_tmp15; 4102#line 189 4103 if (__cil_tmp16 == __cil_tmp13) { 4104 _L: /* CIL Label */ 4105 { 4106#line 190 4107 result = container_device_add(& device, handle); 4108 } 4109#line 191 4110 if (result == 0) { 4111 { 4112#line 192 4113 __cil_tmp17 = 944 + 16; 4114#line 192 4115 __cil_tmp18 = & device; 4116#line 192 4117 __cil_tmp19 = *__cil_tmp18; 4118#line 192 4119 __cil_tmp20 = (unsigned long )__cil_tmp19; 4120#line 192 4121 __cil_tmp21 = __cil_tmp20 + __cil_tmp17; 4122#line 192 4123 __cil_tmp22 = (struct kobject *)__cil_tmp21; 4124#line 192 4125 __cil_tmp23 = (enum kobject_action )4; 4126#line 192 4127 kobject_uevent(__cil_tmp22, __cil_tmp23); 4128 } 4129 } else { 4130 { 4131#line 195 4132 printk("<4>Failed to add container\n"); 4133 } 4134 } 4135 } else 4136#line 199 4137 if (status == 0U) { 4138 { 4139#line 201 4140 __cil_tmp24 = 944 + 16; 4141#line 201 4142 __cil_tmp25 = & device; 4143#line 201 4144 __cil_tmp26 = *__cil_tmp25; 4145#line 201 4146 __cil_tmp27 = (unsigned long )__cil_tmp26; 4147#line 201 4148 __cil_tmp28 = __cil_tmp27 + __cil_tmp24; 4149#line 201 4150 __cil_tmp29 = (struct kobject *)__cil_tmp28; 4151#line 201 4152 __cil_tmp30 = (enum kobject_action )5; 4153#line 201 4154 kobject_uevent(__cil_tmp29, __cil_tmp30); 4155 } 4156 } else { 4157 4158 } 4159 } 4160 } 4161 } else { 4162 4163 } 4164#line 204 4165 goto ldv_24541; 4166 case_3: /* CIL Label */ 4167 { 4168#line 206 4169 tmp___1 = acpi_bus_get_device(handle, & device); 4170 } 4171#line 206 4172 if (tmp___1 == 0) { 4173 { 4174#line 206 4175 __cil_tmp31 = (struct acpi_device *)0; 4176#line 206 4177 __cil_tmp32 = (unsigned long )__cil_tmp31; 4178#line 206 4179 __cil_tmp33 = & device; 4180#line 206 4181 __cil_tmp34 = *__cil_tmp33; 4182#line 206 4183 __cil_tmp35 = (unsigned long )__cil_tmp34; 4184#line 206 4185 if (__cil_tmp35 != __cil_tmp32) { 4186 { 4187#line 207 4188 __cil_tmp36 = 944 + 16; 4189#line 207 4190 __cil_tmp37 = & device; 4191#line 207 4192 __cil_tmp38 = *__cil_tmp37; 4193#line 207 4194 __cil_tmp39 = (unsigned long )__cil_tmp38; 4195#line 207 4196 __cil_tmp40 = __cil_tmp39 + __cil_tmp36; 4197#line 207 4198 __cil_tmp41 = (struct kobject *)__cil_tmp40; 4199#line 207 4200 __cil_tmp42 = (enum kobject_action )5; 4201#line 207 4202 kobject_uevent(__cil_tmp41, __cil_tmp42); 4203 } 4204 } else { 4205 4206 } 4207 } 4208 } else { 4209 4210 } 4211#line 209 4212 goto ldv_24541; 4213 switch_default: /* CIL Label */ ; 4214#line 211 4215 goto ldv_24541; 4216 } else { 4217 switch_break: /* CIL Label */ ; 4218 } 4219 } 4220 } 4221 ldv_24541: ; 4222#line 213 4223 return; 4224} 4225} 4226#line 217 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4227static acpi_status container_walk_namespace_cb(acpi_handle handle , u32 lvl , void *context , 4228 void **rv ) 4229{ char *hid ; 4230 struct acpi_device_info *info ; 4231 acpi_status status ; 4232 int *action ; 4233 int tmp ; 4234 int tmp___0 ; 4235 int tmp___1 ; 4236 struct acpi_device_info **__cil_tmp12 ; 4237 struct acpi_device_info *__cil_tmp13 ; 4238 unsigned long __cil_tmp14 ; 4239 unsigned long __cil_tmp15 ; 4240 u8 __cil_tmp16 ; 4241 int __cil_tmp17 ; 4242 int __cil_tmp18 ; 4243 unsigned long __cil_tmp19 ; 4244 struct acpi_device_info **__cil_tmp20 ; 4245 struct acpi_device_info *__cil_tmp21 ; 4246 unsigned long __cil_tmp22 ; 4247 unsigned long __cil_tmp23 ; 4248 char *__cil_tmp24 ; 4249 unsigned long __cil_tmp25 ; 4250 unsigned long __cil_tmp26 ; 4251 char const *__cil_tmp27 ; 4252 char const *__cil_tmp28 ; 4253 char const *__cil_tmp29 ; 4254 void *__cil_tmp30 ; 4255 struct acpi_device_info **__cil_tmp31 ; 4256 struct acpi_device_info *__cil_tmp32 ; 4257 void const *__cil_tmp33 ; 4258 4259 { 4260 { 4261#line 220 4262 hid = (char *)0; 4263#line 223 4264 action = (int *)context; 4265#line 225 4266 status = acpi_get_object_info(handle, & info); 4267 } 4268#line 226 4269 if (status != 0U) { 4270#line 227 4271 return (0U); 4272 } else { 4273 4274 } 4275 { 4276#line 230 4277 __cil_tmp12 = & info; 4278#line 230 4279 __cil_tmp13 = *__cil_tmp12; 4280#line 230 4281 __cil_tmp14 = (unsigned long )__cil_tmp13; 4282#line 230 4283 __cil_tmp15 = __cil_tmp14 + 13; 4284#line 230 4285 __cil_tmp16 = *((u8 *)__cil_tmp15); 4286#line 230 4287 __cil_tmp17 = (int )__cil_tmp16; 4288#line 230 4289 __cil_tmp18 = __cil_tmp17 & 4; 4290#line 230 4291 if (__cil_tmp18 != 0) { 4292#line 231 4293 __cil_tmp19 = 40 + 8; 4294#line 231 4295 __cil_tmp20 = & info; 4296#line 231 4297 __cil_tmp21 = *__cil_tmp20; 4298#line 231 4299 __cil_tmp22 = (unsigned long )__cil_tmp21; 4300#line 231 4301 __cil_tmp23 = __cil_tmp22 + __cil_tmp19; 4302#line 231 4303 hid = *((char **)__cil_tmp23); 4304 } else { 4305 4306 } 4307 } 4308 { 4309#line 233 4310 __cil_tmp24 = (char *)0; 4311#line 233 4312 __cil_tmp25 = (unsigned long )__cil_tmp24; 4313#line 233 4314 __cil_tmp26 = (unsigned long )hid; 4315#line 233 4316 if (__cil_tmp26 == __cil_tmp25) { 4317#line 234 4318 goto end; 4319 } else { 4320 4321 } 4322 } 4323 { 4324#line 237 4325 __cil_tmp27 = (char const *)hid; 4326#line 237 4327 tmp = strcmp(__cil_tmp27, "ACPI0004"); 4328 } 4329#line 237 4330 if (tmp != 0) { 4331 { 4332#line 237 4333 __cil_tmp28 = (char const *)hid; 4334#line 237 4335 tmp___0 = strcmp(__cil_tmp28, "PNP0A05"); 4336 } 4337#line 237 4338 if (tmp___0 != 0) { 4339 { 4340#line 237 4341 __cil_tmp29 = (char const *)hid; 4342#line 237 4343 tmp___1 = strcmp(__cil_tmp29, "PNP0A06"); 4344 } 4345#line 237 4346 if (tmp___1 != 0) { 4347#line 239 4348 goto end; 4349 } else { 4350 4351 } 4352 } else { 4353 4354 } 4355 } else { 4356 4357 } 4358#line 243 4359 if (*action == 1) { 4360#line 243 4361 goto case_1; 4362 } else 4363#line 248 4364 if (*action == 2) { 4365#line 248 4366 goto case_2; 4367 } else { 4368 { 4369#line 253 4370 goto switch_default; 4371#line 242 4372 if (0) { 4373 case_1: /* CIL Label */ 4374 { 4375#line 244 4376 __cil_tmp30 = (void *)0; 4377#line 244 4378 acpi_install_notify_handler(handle, 1U, & container_notify_cb, __cil_tmp30); 4379 } 4380#line 247 4381 goto ldv_24556; 4382 case_2: /* CIL Label */ 4383 { 4384#line 249 4385 acpi_remove_notify_handler(handle, 1U, & container_notify_cb); 4386 } 4387#line 252 4388 goto ldv_24556; 4389 switch_default: /* CIL Label */ ; 4390#line 254 4391 goto ldv_24556; 4392 } else { 4393 switch_break: /* CIL Label */ ; 4394 } 4395 } 4396 } 4397 ldv_24556: ; 4398 end: 4399 { 4400#line 258 4401 __cil_tmp31 = & info; 4402#line 258 4403 __cil_tmp32 = *__cil_tmp31; 4404#line 258 4405 __cil_tmp33 = (void const *)__cil_tmp32; 4406#line 258 4407 kfree(__cil_tmp33); 4408 } 4409#line 260 4410 return (0U); 4411} 4412} 4413#line 263 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4414static int acpi_container_init(void) 4415{ int result ; 4416 int action ; 4417 int *__cil_tmp3 ; 4418 acpi_handle __cil_tmp4 ; 4419 acpi_status (*__cil_tmp5)(acpi_handle , u32 , void * , void ** ) ; 4420 void *__cil_tmp6 ; 4421 void **__cil_tmp7 ; 4422 4423 { 4424 { 4425#line 265 4426 result = 0; 4427#line 266 4428 __cil_tmp3 = & action; 4429#line 266 4430 *__cil_tmp3 = 1; 4431#line 268 4432 result = acpi_bus_register_driver(& acpi_container_driver); 4433 } 4434#line 269 4435 if (result < 0) { 4436#line 270 4437 return (result); 4438 } else { 4439 4440 } 4441 { 4442#line 274 4443 __cil_tmp4 = (acpi_handle )0xffffffffffffffffUL; 4444#line 274 4445 __cil_tmp5 = (acpi_status (*)(acpi_handle , u32 , void * , void ** ))0; 4446#line 274 4447 __cil_tmp6 = (void *)(& action); 4448#line 274 4449 __cil_tmp7 = (void **)0; 4450#line 274 4451 acpi_walk_namespace(6U, __cil_tmp4, 4294967295U, & container_walk_namespace_cb, 4452 __cil_tmp5, __cil_tmp6, __cil_tmp7); 4453 } 4454#line 279 4455 return (0); 4456} 4457} 4458#line 282 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4459static void acpi_container_exit(void) 4460{ int action ; 4461 int *__cil_tmp2 ; 4462 acpi_handle __cil_tmp3 ; 4463 acpi_status (*__cil_tmp4)(acpi_handle , u32 , void * , void ** ) ; 4464 void *__cil_tmp5 ; 4465 void **__cil_tmp6 ; 4466 4467 { 4468 { 4469#line 284 4470 __cil_tmp2 = & action; 4471#line 284 4472 *__cil_tmp2 = 2; 4473#line 287 4474 __cil_tmp3 = (acpi_handle )0xffffffffffffffffUL; 4475#line 287 4476 __cil_tmp4 = (acpi_status (*)(acpi_handle , u32 , void * , void ** ))0; 4477#line 287 4478 __cil_tmp5 = (void *)(& action); 4479#line 287 4480 __cil_tmp6 = (void **)0; 4481#line 287 4482 acpi_walk_namespace(6U, __cil_tmp3, 4294967295U, & container_walk_namespace_cb, 4483 __cil_tmp4, __cil_tmp5, __cil_tmp6); 4484#line 292 4485 acpi_bus_unregister_driver(& acpi_container_driver); 4486 } 4487#line 294 4488 return; 4489} 4490} 4491#line 316 4492extern void ldv_check_final_state(void) ; 4493#line 322 4494extern void ldv_initialize(void) ; 4495#line 325 4496extern int __VERIFIER_nondet_int(void) ; 4497#line 328 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4498int LDV_IN_INTERRUPT ; 4499#line 331 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4500void main(void) 4501{ struct acpi_device *var_group1 ; 4502 int var_acpi_container_remove_2_p1 ; 4503 int tmp ; 4504 int tmp___0 ; 4505 int tmp___1 ; 4506 4507 { 4508 { 4509#line 367 4510 LDV_IN_INTERRUPT = 1; 4511#line 376 4512 ldv_initialize(); 4513#line 389 4514 tmp = acpi_container_init(); 4515 } 4516#line 389 4517 if (tmp != 0) { 4518#line 390 4519 goto ldv_final; 4520 } else { 4521 4522 } 4523#line 394 4524 goto ldv_24598; 4525 ldv_24597: 4526 { 4527#line 397 4528 tmp___0 = __VERIFIER_nondet_int(); 4529 } 4530#line 399 4531 if (tmp___0 == 0) { 4532#line 399 4533 goto case_0; 4534 } else 4535#line 422 4536 if (tmp___0 == 1) { 4537#line 422 4538 goto case_1; 4539 } else { 4540 { 4541#line 445 4542 goto switch_default; 4543#line 397 4544 if (0) { 4545 case_0: /* CIL Label */ 4546 { 4547#line 414 4548 acpi_container_add(var_group1); 4549 } 4550#line 421 4551 goto ldv_24594; 4552 case_1: /* CIL Label */ 4553 { 4554#line 437 4555 acpi_container_remove(var_group1, var_acpi_container_remove_2_p1); 4556 } 4557#line 444 4558 goto ldv_24594; 4559 switch_default: /* CIL Label */ ; 4560#line 445 4561 goto ldv_24594; 4562 } else { 4563 switch_break: /* CIL Label */ ; 4564 } 4565 } 4566 } 4567 ldv_24594: ; 4568 ldv_24598: 4569 { 4570#line 394 4571 tmp___1 = __VERIFIER_nondet_int(); 4572 } 4573#line 394 4574 if (tmp___1 != 0) { 4575#line 395 4576 goto ldv_24597; 4577 } else { 4578#line 397 4579 goto ldv_24599; 4580 } 4581 ldv_24599: ; 4582 { 4583#line 464 4584 acpi_container_exit(); 4585 } 4586 ldv_final: 4587 { 4588#line 467 4589 ldv_check_final_state(); 4590 } 4591#line 470 4592 return; 4593} 4594} 4595#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h" 4596void ldv_blast_assert(void) 4597{ 4598 4599 { 4600 ERROR: ; 4601#line 6 4602 goto ERROR; 4603} 4604} 4605#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h" 4606extern int __VERIFIER_nondet_int(void) ; 4607#line 491 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4608int ldv_spin = 0; 4609#line 495 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4610void ldv_check_alloc_flags(gfp_t flags ) 4611{ 4612 4613 { 4614#line 498 4615 if (ldv_spin != 0) { 4616#line 498 4617 if (flags != 32U) { 4618 { 4619#line 498 4620 ldv_blast_assert(); 4621 } 4622 } else { 4623 4624 } 4625 } else { 4626 4627 } 4628#line 501 4629 return; 4630} 4631} 4632#line 501 4633extern struct page *ldv_some_page(void) ; 4634#line 504 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4635struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) 4636{ struct page *tmp ; 4637 4638 { 4639#line 507 4640 if (ldv_spin != 0) { 4641#line 507 4642 if (flags != 32U) { 4643 { 4644#line 507 4645 ldv_blast_assert(); 4646 } 4647 } else { 4648 4649 } 4650 } else { 4651 4652 } 4653 { 4654#line 509 4655 tmp = ldv_some_page(); 4656 } 4657#line 509 4658 return (tmp); 4659} 4660} 4661#line 513 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4662void ldv_check_alloc_nonatomic(void) 4663{ 4664 4665 { 4666#line 516 4667 if (ldv_spin != 0) { 4668 { 4669#line 516 4670 ldv_blast_assert(); 4671 } 4672 } else { 4673 4674 } 4675#line 519 4676 return; 4677} 4678} 4679#line 520 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4680void ldv_spin_lock(void) 4681{ 4682 4683 { 4684#line 523 4685 ldv_spin = 1; 4686#line 524 4687 return; 4688} 4689} 4690#line 527 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4691void ldv_spin_unlock(void) 4692{ 4693 4694 { 4695#line 530 4696 ldv_spin = 0; 4697#line 531 4698 return; 4699} 4700} 4701#line 534 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4702int ldv_spin_trylock(void) 4703{ int is_lock ; 4704 4705 { 4706 { 4707#line 539 4708 is_lock = __VERIFIER_nondet_int(); 4709 } 4710#line 541 4711 if (is_lock != 0) { 4712#line 544 4713 return (0); 4714 } else { 4715#line 549 4716 ldv_spin = 1; 4717#line 551 4718 return (1); 4719 } 4720} 4721} 4722#line 718 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4723void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) 4724{ 4725 4726 { 4727 { 4728#line 724 4729 ldv_check_alloc_flags(ldv_func_arg2); 4730#line 726 4731 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2); 4732 } 4733#line 727 4734 return ((void *)0); 4735} 4736} 4737#line 729 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4603/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/container.c.p" 4738__inline static void *kzalloc(size_t size , gfp_t flags ) 4739{ void *tmp ; 4740 4741 { 4742 { 4743#line 735 4744 ldv_check_alloc_flags(flags); 4745#line 736 4746 tmp = __VERIFIER_nondet_pointer(); 4747 } 4748#line 736 4749 return (tmp); 4750} 4751}

User:	Jiri Slaby
Error type:	Reachable Error Location
Error type description:	A specified error location is reachable in some program path
File location:	ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	4600
Project:	SV-COMP 2013
Project version:	2.6.28
Tools:	Manual Work
Entered:	2013-01-17 16:57:54 UTC

ClabureDB: Classified Bug-Reports Database

Project: SV-COMP 2013

Showing error 756

Source: