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

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

Source: