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

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--usb_debug.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	4570
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 696

Source: