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

User:	Jiri Slaby
Error type:	Reachable Error Location
Error type description:	A specified error location is reachable in some program path
File location:	ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	5102
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 316

Source: