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 67 "include/linux/module.h" 4191int init_module(void) ; 4192#line 68 4193void cleanup_module(void) ; 4194#line 295 "include/linux/usb/serial.h" 4195extern int usb_serial_register_drivers(struct usb_driver *udriver , struct usb_serial_driver * const *serial_drivers ) ; 4196#line 297 4197extern void usb_serial_deregister_drivers(struct usb_driver *udriver , struct usb_serial_driver * const *serial_drivers ) ; 4198#line 301 4199extern int usb_serial_probe(struct usb_interface *iface , struct usb_device_id const *id ) ; 4200#line 303 4201extern void usb_serial_disconnect(struct usb_interface *iface ) ; 4202#line 60 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4203static struct usb_device_id id_table[16] = 4204#line 60 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4205 { {(__u16 )899, (__u16 )4204, (__u16 )14081, (unsigned short)0, (unsigned short)0, 4206 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )0, 4207 (__u8 )0, 0UL}, 4208 {(__u16 )899, (__u16 )4204, (__u16 )14082, (unsigned short)0, (unsigned short)0, 4209 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )0, 4210 (__u8 )0, 0UL}, 4211 {(__u16 )899, (__u16 )4204, (__u16 )14097, (unsigned short)0, (unsigned short)0, 4212 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )0, 4213 (__u8 )0, 0UL}, 4214 {(__u16 )899, (__u16 )4204, (__u16 )14098, (unsigned short)0, (unsigned short)0, 4215 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )0, 4216 (__u8 )0, 0UL}, 4217 {(__u16 )899, (__u16 )4204, (__u16 )14100, (unsigned short)0, (unsigned short)0, 4218 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )0, 4219 (__u8 )0, 0UL}, 4220 {(__u16 )899, (__u16 )4204, (__u16 )14101, (unsigned short)0, (unsigned short)0, 4221 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )0, 4222 (__u8 )0, 0UL}, 4223 {(__u16 )899, (__u16 )5848, (__u16 )21843, (unsigned short)0, (unsigned short)0, 4224 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )255, 4225 (__u8 )0, 0UL}, 4226 {(__u16 )899, (__u16 )5848, (__u16 )25874, (unsigned short)0, (unsigned short)0, 4227 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )255, 4228 (__u8 )0, 0UL}, 4229 {(__u16 )899, (__u16 )4100, (__u16 )24576, (unsigned short)0, (unsigned short)0, 4230 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )255, 4231 (__u8 )0, 0UL}, 4232 {(__u16 )899, (__u16 )1140, (__u16 )1876, (unsigned short)0, (unsigned short)0, 4233 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )255, 4234 (__u8 )0, 0UL}, 4235 {(__u16 )899, (__u16 )1256, (__u16 )26176, (unsigned short)0, (unsigned short)0, 4236 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )0, 4237 (__u8 )0, 0UL}, 4238 {(__u16 )899, (__u16 )4204, (__u16 )14102, (unsigned short)0, (unsigned short)0, 4239 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )255, 4240 (__u8 )255, 0UL}, 4241 {(__u16 )899, (__u16 )4204, (__u16 )14102, (unsigned short)0, (unsigned short)0, 4242 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )254, 4243 (__u8 )255, 0UL}, 4244 {(__u16 )899, (__u16 )4204, (__u16 )14104, (unsigned short)0, (unsigned short)0, 4245 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )253, 4246 (__u8 )255, 0UL}, 4247 {(__u16 )899, (__u16 )4204, (__u16 )14104, (unsigned short)0, (unsigned short)0, 4248 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )254, 4249 (__u8 )255, 0UL}, 4250 {(__u16 )899, (__u16 )4204, (__u16 )14104, (unsigned short)0, (unsigned short)0, 4251 (unsigned char)0, (unsigned char)0, (unsigned char)0, (__u8 )255, (__u8 )255, 4252 (__u8 )255, 0UL}}; 4253#line 79 4254extern struct usb_device_id const __mod_usb_device_table __attribute__((__unused__, 4255__alias__("id_table"))) ; 4256#line 81 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4257static struct usb_driver qcaux_driver = 4258#line 81 4259 {"qcaux", & usb_serial_probe, & usb_serial_disconnect, (int (*)(struct usb_interface *intf , 4260 unsigned int code , 4261 void *buf ))0, 4262 (int (*)(struct usb_interface *intf , pm_message_t message ))0, (int (*)(struct usb_interface *intf ))0, 4263 (int (*)(struct usb_interface *intf ))0, (int (*)(struct usb_interface *intf ))0, 4264 (int (*)(struct usb_interface *intf ))0, (struct usb_device_id const *)(id_table), 4265 {{{{{{0U}}, 0U, 0U, (void *)0}}}, {(struct list_head *)0, (struct list_head *)0}}, 4266 {{(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0, 4267 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device *dev ))0, 4268 (int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, (int (*)(struct device *dev , 4269 pm_message_t state ))0, 4270 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0, 4271 (struct driver_private *)0}, 0}, 0U, 0U, 0U}; 4272#line 88 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4273static struct usb_serial_driver qcaux_device = 4274#line 88 4275 {(char const *)0, (struct usb_device_id const *)(id_table), (char)1, {(struct list_head *)0, 4276 (struct list_head *)0}, 4277 {"qcaux", (struct bus_type *)0, & __this_module, (char const *)0, (_Bool)0, 4278 (struct of_device_id const *)0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0, 4279 (void (*)(struct device *dev ))0, (int (*)(struct device *dev , pm_message_t state ))0, 4280 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0, 4281 (struct driver_private *)0}, (struct usb_driver *)0, {{{{{{0U}}, 0U, 0U, (void *)0}}}, 4282 {(struct list_head *)0, 4283 (struct list_head *)0}}, 4284 0UL, 0UL, (int (*)(struct usb_serial *serial , struct usb_device_id const *id ))0, 4285 (int (*)(struct usb_serial *serial ))0, (int (*)(struct usb_serial *serial ))0, 4286 (void (*)(struct usb_serial *serial ))0, (void (*)(struct usb_serial *serial ))0, 4287 (int (*)(struct usb_serial_port *port ))0, (int (*)(struct usb_serial_port *port ))0, 4288 (int (*)(struct usb_serial *serial , pm_message_t message ))0, (int (*)(struct usb_serial *serial ))0, 4289 (int (*)(struct tty_struct *tty , struct usb_serial_port *port ))0, (void (*)(struct usb_serial_port *port ))0, 4290 (int (*)(struct tty_struct *tty , struct usb_serial_port *port , unsigned char const *buf , 4291 int count ))0, (int (*)(struct tty_struct *tty ))0, (int (*)(struct tty_struct *tty , 4292 unsigned int cmd , 4293 unsigned long arg ))0, 4294 (void (*)(struct tty_struct *tty , struct usb_serial_port *port , struct ktermios *old ))0, 4295 (void (*)(struct tty_struct *tty , int break_state ))0, (int (*)(struct tty_struct *tty ))0, 4296 (void (*)(struct tty_struct *tty ))0, (void (*)(struct tty_struct *tty ))0, (int (*)(struct tty_struct *tty ))0, 4297 (int (*)(struct tty_struct *tty , unsigned int set , unsigned int clear ))0, (int (*)(struct tty_struct *tty , 4298 struct serial_icounter_struct *icount ))0, 4299 (void (*)(struct usb_serial_port *port , int on ))0, (int (*)(struct usb_serial_port *port ))0, 4300 (void (*)(struct tty_struct *tty ))0, (void (*)(struct urb *urb ))0, (void (*)(struct urb *urb ))0, 4301 (void (*)(struct urb *urb ))0, (void (*)(struct urb *urb ))0, (void (*)(struct urb *urb ))0, 4302 (int (*)(struct usb_serial_port *port , void *dest , size_t size ))0}; 4303#line 97 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4304static struct usb_serial_driver * const serial_drivers[2] = { (struct usb_serial_driver * const )(& qcaux_device), (struct usb_serial_driver * const )((void *)0)}; 4305#line 101 4306static int qcaux_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ; 4307#line 101 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4308static int qcaux_driver_init(void) 4309{ int tmp___7 ; 4310 unsigned long __cil_tmp2 ; 4311 unsigned long __cil_tmp3 ; 4312 struct usb_serial_driver * const *__cil_tmp4 ; 4313 4314 { 4315 { 4316#line 101 4317 __cil_tmp2 = 0 * 8UL; 4318#line 101 4319 __cil_tmp3 = (unsigned long )(serial_drivers) + __cil_tmp2; 4320#line 101 4321 __cil_tmp4 = (struct usb_serial_driver * const *)__cil_tmp3; 4322#line 101 4323 tmp___7 = usb_serial_register_drivers(& qcaux_driver, __cil_tmp4); 4324 } 4325#line 101 4326 return (tmp___7); 4327} 4328} 4329#line 101 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4330int init_module(void) 4331{ int tmp___7 ; 4332 4333 { 4334 { 4335#line 101 4336 tmp___7 = qcaux_driver_init(); 4337 } 4338#line 101 4339 return (tmp___7); 4340} 4341} 4342#line 101 4343static void qcaux_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ; 4344#line 101 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4345static void qcaux_driver_exit(void) 4346{ unsigned long __cil_tmp1 ; 4347 unsigned long __cil_tmp2 ; 4348 struct usb_serial_driver * const *__cil_tmp3 ; 4349 4350 { 4351 { 4352#line 101 4353 __cil_tmp1 = 0 * 8UL; 4354#line 101 4355 __cil_tmp2 = (unsigned long )(serial_drivers) + __cil_tmp1; 4356#line 101 4357 __cil_tmp3 = (struct usb_serial_driver * const *)__cil_tmp2; 4358#line 101 4359 usb_serial_deregister_drivers(& qcaux_driver, __cil_tmp3); 4360 } 4361#line 101 4362 return; 4363} 4364} 4365#line 101 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4366void cleanup_module(void) 4367{ 4368 4369 { 4370 { 4371#line 101 4372 qcaux_driver_exit(); 4373 } 4374#line 101 4375 return; 4376} 4377} 4378#line 102 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4379static char const __mod_license102[12] __attribute__((__used__, __unused__, __section__(".modinfo"), 4380__aligned__(1))) = 4381#line 102 4382 { (char const )'l', (char const )'i', (char const )'c', (char const )'e', 4383 (char const )'n', (char const )'s', (char const )'e', (char const )'=', 4384 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'}; 4385#line 120 4386void ldv_check_final_state(void) ; 4387#line 126 4388extern void ldv_initialize(void) ; 4389#line 129 4390extern int __VERIFIER_nondet_int(void) ; 4391#line 132 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4392int LDV_IN_INTERRUPT ; 4393#line 135 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4394void main(void) 4395{ int tmp___7 ; 4396 int tmp___8 ; 4397 4398 { 4399 { 4400#line 147 4401 LDV_IN_INTERRUPT = 1; 4402#line 156 4403 ldv_initialize(); 4404 } 4405 { 4406#line 158 4407 while (1) { 4408 while_continue: /* CIL Label */ ; 4409 { 4410#line 158 4411 tmp___8 = __VERIFIER_nondet_int(); 4412 } 4413#line 158 4414 if (tmp___8) { 4415 4416 } else { 4417#line 158 4418 goto while_break; 4419 } 4420 { 4421#line 161 4422 tmp___7 = __VERIFIER_nondet_int(); 4423 } 4424 { 4425#line 163 4426 goto switch_default; 4427#line 161 4428 if (0) { 4429 switch_default: /* CIL Label */ 4430#line 163 4431 goto switch_break; 4432 } else { 4433 switch_break: /* CIL Label */ ; 4434 } 4435 } 4436 } 4437 while_break: /* CIL Label */ ; 4438 } 4439 { 4440#line 172 4441 ldv_check_final_state(); 4442 } 4443#line 175 4444 return; 4445} 4446} 4447#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h" 4448void ldv_blast_assert(void) 4449{ 4450 4451 { 4452 ERROR: 4453#line 6 4454 goto ERROR; 4455} 4456} 4457#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h" 4458extern int __VERIFIER_nondet_int(void) ; 4459#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c" 4460int ldv_mutex = 1; 4461#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c" 4462int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) 4463{ int nondetermined ; 4464 4465 { 4466#line 29 4467 if (ldv_mutex == 1) { 4468 4469 } else { 4470 { 4471#line 29 4472 ldv_blast_assert(); 4473 } 4474 } 4475 { 4476#line 32 4477 nondetermined = __VERIFIER_nondet_int(); 4478 } 4479#line 35 4480 if (nondetermined) { 4481#line 38 4482 ldv_mutex = 2; 4483#line 40 4484 return (0); 4485 } else { 4486#line 45 4487 return (-4); 4488 } 4489} 4490} 4491#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c" 4492int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) 4493{ int nondetermined ; 4494 4495 { 4496#line 57 4497 if (ldv_mutex == 1) { 4498 4499 } else { 4500 { 4501#line 57 4502 ldv_blast_assert(); 4503 } 4504 } 4505 { 4506#line 60 4507 nondetermined = __VERIFIER_nondet_int(); 4508 } 4509#line 63 4510 if (nondetermined) { 4511#line 66 4512 ldv_mutex = 2; 4513#line 68 4514 return (0); 4515 } else { 4516#line 73 4517 return (-4); 4518 } 4519} 4520} 4521#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c" 4522int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) 4523{ int atomic_value_after_dec ; 4524 4525 { 4526#line 83 4527 if (ldv_mutex == 1) { 4528 4529 } else { 4530 { 4531#line 83 4532 ldv_blast_assert(); 4533 } 4534 } 4535 { 4536#line 86 4537 atomic_value_after_dec = __VERIFIER_nondet_int(); 4538 } 4539#line 89 4540 if (atomic_value_after_dec == 0) { 4541#line 92 4542 ldv_mutex = 2; 4543#line 94 4544 return (1); 4545 } else { 4546 4547 } 4548#line 98 4549 return (0); 4550} 4551} 4552#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c" 4553void mutex_lock(struct mutex *lock ) 4554{ 4555 4556 { 4557#line 108 4558 if (ldv_mutex == 1) { 4559 4560 } else { 4561 { 4562#line 108 4563 ldv_blast_assert(); 4564 } 4565 } 4566#line 110 4567 ldv_mutex = 2; 4568#line 111 4569 return; 4570} 4571} 4572#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c" 4573int mutex_trylock(struct mutex *lock ) 4574{ int nondetermined ; 4575 4576 { 4577#line 121 4578 if (ldv_mutex == 1) { 4579 4580 } else { 4581 { 4582#line 121 4583 ldv_blast_assert(); 4584 } 4585 } 4586 { 4587#line 124 4588 nondetermined = __VERIFIER_nondet_int(); 4589 } 4590#line 127 4591 if (nondetermined) { 4592#line 130 4593 ldv_mutex = 2; 4594#line 132 4595 return (1); 4596 } else { 4597#line 137 4598 return (0); 4599 } 4600} 4601} 4602#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c" 4603void mutex_unlock(struct mutex *lock ) 4604{ 4605 4606 { 4607#line 147 4608 if (ldv_mutex == 2) { 4609 4610 } else { 4611 { 4612#line 147 4613 ldv_blast_assert(); 4614 } 4615 } 4616#line 149 4617 ldv_mutex = 1; 4618#line 150 4619 return; 4620} 4621} 4622#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c" 4623void ldv_check_final_state(void) 4624{ 4625 4626 { 4627#line 156 4628 if (ldv_mutex == 1) { 4629 4630 } else { 4631 { 4632#line 156 4633 ldv_blast_assert(); 4634 } 4635 } 4636#line 157 4637 return; 4638} 4639} 4640#line 184 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7553/dscv_tempdir/dscv/ri/32_1/drivers/usb/serial/qcaux.c.common.c" 4641long s__builtin_expect(long val , long res ) 4642{ 4643 4644 { 4645#line 185 4646 return (val); 4647} 4648}

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--qcaux.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	4452
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 692

Source: