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

User:	Jiri Slaby
Error type:	Reachable Error Location
Error type description:	A specified error location is reachable in some program path
File location:	ldv-linux-3.4/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	4645
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 765

Source: