ClabureDB

1/* Generated by CIL v. 1.3.7 */ 2/* print_CIL_Input is true */ 3 4#line 145 "include/linux/init.h" 5typedef void (*ctor_fn_t)(void); 6#line 19 "include/asm-generic/int-ll64.h" 7typedef signed char __s8; 8#line 20 "include/asm-generic/int-ll64.h" 9typedef unsigned char __u8; 10#line 22 "include/asm-generic/int-ll64.h" 11typedef short __s16; 12#line 23 "include/asm-generic/int-ll64.h" 13typedef unsigned short __u16; 14#line 25 "include/asm-generic/int-ll64.h" 15typedef int __s32; 16#line 26 "include/asm-generic/int-ll64.h" 17typedef unsigned int __u32; 18#line 29 "include/asm-generic/int-ll64.h" 19typedef long long __s64; 20#line 30 "include/asm-generic/int-ll64.h" 21typedef unsigned long long __u64; 22#line 43 "include/asm-generic/int-ll64.h" 23typedef unsigned char u8; 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 11 "include/asm-generic/types.h" 35typedef unsigned short umode_t; 36#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 37typedef unsigned int __kernel_mode_t; 38#line 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 39typedef unsigned long __kernel_nlink_t; 40#line 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 41typedef long __kernel_off_t; 42#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 43typedef int __kernel_pid_t; 44#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 45typedef unsigned int __kernel_uid_t; 46#line 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 47typedef unsigned int __kernel_gid_t; 48#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 49typedef unsigned long __kernel_size_t; 50#line 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 51typedef long __kernel_ssize_t; 52#line 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 53typedef long __kernel_time_t; 54#line 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 55typedef long __kernel_clock_t; 56#line 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 57typedef int __kernel_timer_t; 58#line 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 59typedef int __kernel_clockid_t; 60#line 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 61typedef long long __kernel_loff_t; 62#line 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 63typedef __kernel_uid_t __kernel_uid32_t; 64#line 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h" 65typedef __kernel_gid_t __kernel_gid32_t; 66#line 21 "include/linux/types.h" 67typedef __u32 __kernel_dev_t; 68#line 24 "include/linux/types.h" 69typedef __kernel_dev_t dev_t; 70#line 26 "include/linux/types.h" 71typedef __kernel_mode_t mode_t; 72#line 27 "include/linux/types.h" 73typedef __kernel_nlink_t nlink_t; 74#line 28 "include/linux/types.h" 75typedef __kernel_off_t off_t; 76#line 29 "include/linux/types.h" 77typedef __kernel_pid_t pid_t; 78#line 34 "include/linux/types.h" 79typedef __kernel_clockid_t clockid_t; 80#line 37 "include/linux/types.h" 81typedef _Bool bool; 82#line 39 "include/linux/types.h" 83typedef __kernel_uid32_t uid_t; 84#line 40 "include/linux/types.h" 85typedef __kernel_gid32_t gid_t; 86#line 53 "include/linux/types.h" 87typedef __kernel_loff_t loff_t; 88#line 62 "include/linux/types.h" 89typedef __kernel_size_t size_t; 90#line 67 "include/linux/types.h" 91typedef __kernel_ssize_t ssize_t; 92#line 77 "include/linux/types.h" 93typedef __kernel_time_t time_t; 94#line 110 "include/linux/types.h" 95typedef __s32 int32_t; 96#line 116 "include/linux/types.h" 97typedef __u32 uint32_t; 98#line 141 "include/linux/types.h" 99typedef unsigned long sector_t; 100#line 142 "include/linux/types.h" 101typedef unsigned long blkcnt_t; 102#line 154 "include/linux/types.h" 103typedef u64 dma_addr_t; 104#line 177 "include/linux/types.h" 105typedef __u16 __le16; 106#line 178 "include/linux/types.h" 107typedef __u16 __be16; 108#line 180 "include/linux/types.h" 109typedef __u32 __be32; 110#line 185 "include/linux/types.h" 111typedef __u32 __wsum; 112#line 201 "include/linux/types.h" 113typedef unsigned int gfp_t; 114#line 202 "include/linux/types.h" 115typedef unsigned int fmode_t; 116#line 212 "include/linux/types.h" 117struct __anonstruct_atomic_t_7 { 118 int counter ; 119}; 120#line 212 "include/linux/types.h" 121typedef struct __anonstruct_atomic_t_7 atomic_t; 122#line 217 "include/linux/types.h" 123struct __anonstruct_atomic64_t_8 { 124 long counter ; 125}; 126#line 217 "include/linux/types.h" 127typedef struct __anonstruct_atomic64_t_8 atomic64_t; 128#line 222 "include/linux/types.h" 129struct list_head { 130 struct list_head *next ; 131 struct list_head *prev ; 132}; 133#line 226 134struct hlist_node; 135#line 226 136struct hlist_node; 137#line 226 138struct hlist_node; 139#line 226 "include/linux/types.h" 140struct hlist_head { 141 struct hlist_node *first ; 142}; 143#line 230 "include/linux/types.h" 144struct hlist_node { 145 struct hlist_node *next ; 146 struct hlist_node **pprev ; 147}; 148#line 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h" 149struct module; 150#line 59 151struct module; 152#line 59 153struct module; 154#line 59 155struct module; 156#line 10 "include/asm-generic/bug.h" 157struct bug_entry { 158 int bug_addr_disp ; 159 int file_disp ; 160 unsigned short line ; 161 unsigned short flags ; 162}; 163#line 113 "include/linux/kernel.h" 164struct completion; 165#line 113 166struct completion; 167#line 113 168struct completion; 169#line 113 170struct completion; 171#line 114 172struct pt_regs; 173#line 114 174struct pt_regs; 175#line 114 176struct pt_regs; 177#line 114 178struct pt_regs; 179#line 322 180struct pid; 181#line 322 182struct pid; 183#line 322 184struct pid; 185#line 322 186struct pid; 187#line 12 "include/linux/thread_info.h" 188struct timespec; 189#line 12 190struct timespec; 191#line 12 192struct timespec; 193#line 12 194struct timespec; 195#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page.h" 196struct page; 197#line 18 198struct page; 199#line 18 200struct page; 201#line 18 202struct page; 203#line 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h" 204struct task_struct; 205#line 20 206struct task_struct; 207#line 20 208struct task_struct; 209#line 20 210struct task_struct; 211#line 7 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 212struct task_struct; 213#line 8 214struct mm_struct; 215#line 8 216struct mm_struct; 217#line 8 218struct mm_struct; 219#line 8 220struct mm_struct; 221#line 99 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h" 222struct pt_regs { 223 unsigned long r15 ; 224 unsigned long r14 ; 225 unsigned long r13 ; 226 unsigned long r12 ; 227 unsigned long bp ; 228 unsigned long bx ; 229 unsigned long r11 ; 230 unsigned long r10 ; 231 unsigned long r9 ; 232 unsigned long r8 ; 233 unsigned long ax ; 234 unsigned long cx ; 235 unsigned long dx ; 236 unsigned long si ; 237 unsigned long di ; 238 unsigned long orig_ax ; 239 unsigned long ip ; 240 unsigned long cs ; 241 unsigned long flags ; 242 unsigned long sp ; 243 unsigned long ss ; 244}; 245#line 136 246struct task_struct; 247#line 141 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h" 248struct kernel_vm86_regs { 249 struct pt_regs pt ; 250 unsigned short es ; 251 unsigned short __esh ; 252 unsigned short ds ; 253 unsigned short __dsh ; 254 unsigned short fs ; 255 unsigned short __fsh ; 256 unsigned short gs ; 257 unsigned short __gsh ; 258}; 259#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/math_emu.h" 260union __anonunion____missing_field_name_14 { 261 struct pt_regs *regs ; 262 struct kernel_vm86_regs *vm86 ; 263}; 264#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/math_emu.h" 265struct math_emu_info { 266 long ___orig_eip ; 267 union __anonunion____missing_field_name_14 __annonCompField5 ; 268}; 269#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h" 270struct task_struct; 271#line 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h" 272typedef unsigned long pgdval_t; 273#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h" 274typedef unsigned long pgprotval_t; 275#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h" 276struct pgprot { 277 pgprotval_t pgprot ; 278}; 279#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h" 280typedef struct pgprot pgprot_t; 281#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h" 282struct __anonstruct_pgd_t_17 { 283 pgdval_t pgd ; 284}; 285#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h" 286typedef struct __anonstruct_pgd_t_17 pgd_t; 287#line 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h" 288typedef struct page *pgtable_t; 289#line 293 290struct file; 291#line 293 292struct file; 293#line 293 294struct file; 295#line 293 296struct file; 297#line 311 298struct seq_file; 299#line 311 300struct seq_file; 301#line 311 302struct seq_file; 303#line 311 304struct seq_file; 305#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h" 306struct __anonstruct____missing_field_name_22 { 307 unsigned int a ; 308 unsigned int b ; 309}; 310#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h" 311struct __anonstruct____missing_field_name_23 { 312 u16 limit0 ; 313 u16 base0 ; 314 unsigned int base1 : 8 ; 315 unsigned int type : 4 ; 316 unsigned int s : 1 ; 317 unsigned int dpl : 2 ; 318 unsigned int p : 1 ; 319 unsigned int limit : 4 ; 320 unsigned int avl : 1 ; 321 unsigned int l : 1 ; 322 unsigned int d : 1 ; 323 unsigned int g : 1 ; 324 unsigned int base2 : 8 ; 325}; 326#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h" 327union __anonunion____missing_field_name_21 { 328 struct __anonstruct____missing_field_name_22 __annonCompField7 ; 329 struct __anonstruct____missing_field_name_23 __annonCompField8 ; 330}; 331#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h" 332struct desc_struct { 333 union __anonunion____missing_field_name_21 __annonCompField9 ; 334} __attribute__((__packed__)) ; 335#line 45 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h" 336struct page; 337#line 46 338struct thread_struct; 339#line 46 340struct thread_struct; 341#line 46 342struct thread_struct; 343#line 46 344struct thread_struct; 345#line 49 346struct mm_struct; 347#line 50 348struct desc_struct; 349#line 51 350struct task_struct; 351#line 52 352struct cpumask; 353#line 52 354struct cpumask; 355#line 52 356struct cpumask; 357#line 52 358struct cpumask; 359#line 322 360struct arch_spinlock; 361#line 322 362struct arch_spinlock; 363#line 322 364struct arch_spinlock; 365#line 322 366struct arch_spinlock; 367#line 13 "include/linux/cpumask.h" 368struct cpumask { 369 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ; 370}; 371#line 13 "include/linux/cpumask.h" 372typedef struct cpumask cpumask_t; 373#line 622 "include/linux/cpumask.h" 374typedef struct cpumask *cpumask_var_t; 375#line 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/system.h" 376struct task_struct; 377#line 11 "include/linux/personality.h" 378struct pt_regs; 379#line 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 380struct seq_operations; 381#line 145 382struct seq_operations; 383#line 145 384struct seq_operations; 385#line 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 386struct i387_fsave_struct { 387 u32 cwd ; 388 u32 swd ; 389 u32 twd ; 390 u32 fip ; 391 u32 fcs ; 392 u32 foo ; 393 u32 fos ; 394 u32 st_space[20] ; 395 u32 status ; 396}; 397#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 398struct __anonstruct____missing_field_name_31 { 399 u64 rip ; 400 u64 rdp ; 401}; 402#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 403struct __anonstruct____missing_field_name_32 { 404 u32 fip ; 405 u32 fcs ; 406 u32 foo ; 407 u32 fos ; 408}; 409#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 410union __anonunion____missing_field_name_30 { 411 struct __anonstruct____missing_field_name_31 __annonCompField12 ; 412 struct __anonstruct____missing_field_name_32 __annonCompField13 ; 413}; 414#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 415union __anonunion____missing_field_name_33 { 416 u32 padding1[12] ; 417 u32 sw_reserved[12] ; 418}; 419#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 420struct i387_fxsave_struct { 421 u16 cwd ; 422 u16 swd ; 423 u16 twd ; 424 u16 fop ; 425 union __anonunion____missing_field_name_30 __annonCompField14 ; 426 u32 mxcsr ; 427 u32 mxcsr_mask ; 428 u32 st_space[32] ; 429 u32 xmm_space[64] ; 430 u32 padding[12] ; 431 union __anonunion____missing_field_name_33 __annonCompField15 ; 432} __attribute__((__aligned__(16))) ; 433#line 331 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 434struct i387_soft_struct { 435 u32 cwd ; 436 u32 swd ; 437 u32 twd ; 438 u32 fip ; 439 u32 fcs ; 440 u32 foo ; 441 u32 fos ; 442 u32 st_space[20] ; 443 u8 ftop ; 444 u8 changed ; 445 u8 lookahead ; 446 u8 no_update ; 447 u8 rm ; 448 u8 alimit ; 449 struct math_emu_info *info ; 450 u32 entry_eip ; 451}; 452#line 351 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 453struct ymmh_struct { 454 u32 ymmh_space[64] ; 455}; 456#line 356 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 457struct xsave_hdr_struct { 458 u64 xstate_bv ; 459 u64 reserved1[2] ; 460 u64 reserved2[5] ; 461} __attribute__((__packed__)) ; 462#line 362 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 463struct xsave_struct { 464 struct i387_fxsave_struct i387 ; 465 struct xsave_hdr_struct xsave_hdr ; 466 struct ymmh_struct ymmh ; 467} __attribute__((__packed__, __aligned__(64))) ; 468#line 369 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 469union thread_xstate { 470 struct i387_fsave_struct fsave ; 471 struct i387_fxsave_struct fxsave ; 472 struct i387_soft_struct soft ; 473 struct xsave_struct xsave ; 474}; 475#line 376 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 476struct fpu { 477 union thread_xstate *state ; 478}; 479#line 421 480struct kmem_cache; 481#line 421 482struct kmem_cache; 483#line 421 484struct kmem_cache; 485#line 423 486struct perf_event; 487#line 423 488struct perf_event; 489#line 423 490struct perf_event; 491#line 423 492struct perf_event; 493#line 425 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h" 494struct thread_struct { 495 struct desc_struct tls_array[3] ; 496 unsigned long sp0 ; 497 unsigned long sp ; 498 unsigned long usersp ; 499 unsigned short es ; 500 unsigned short ds ; 501 unsigned short fsindex ; 502 unsigned short gsindex ; 503 unsigned long fs ; 504 unsigned long gs ; 505 struct perf_event *ptrace_bps[4] ; 506 unsigned long debugreg6 ; 507 unsigned long ptrace_dr7 ; 508 unsigned long cr2 ; 509 unsigned long trap_no ; 510 unsigned long error_code ; 511 struct fpu fpu ; 512 unsigned long *io_bitmap_ptr ; 513 unsigned long iopl ; 514 unsigned int io_bitmap_max ; 515}; 516#line 23 "include/asm-generic/atomic-long.h" 517typedef atomic64_t atomic_long_t; 518#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h" 519struct arch_spinlock { 520 unsigned int slock ; 521}; 522#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h" 523typedef struct arch_spinlock arch_spinlock_t; 524#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h" 525struct __anonstruct_arch_rwlock_t_36 { 526 unsigned int lock ; 527}; 528#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h" 529typedef struct __anonstruct_arch_rwlock_t_36 arch_rwlock_t; 530#line 12 "include/linux/lockdep.h" 531struct task_struct; 532#line 13 533struct lockdep_map; 534#line 13 535struct lockdep_map; 536#line 13 537struct lockdep_map; 538#line 13 539struct lockdep_map; 540#line 8 "include/linux/debug_locks.h" 541struct task_struct; 542#line 48 543struct task_struct; 544#line 4 "include/linux/stacktrace.h" 545struct task_struct; 546#line 5 547struct pt_regs; 548#line 8 549struct task_struct; 550#line 10 "include/linux/stacktrace.h" 551struct stack_trace { 552 unsigned int nr_entries ; 553 unsigned int max_entries ; 554 unsigned long *entries ; 555 int skip ; 556}; 557#line 50 "include/linux/lockdep.h" 558struct lockdep_subclass_key { 559 char __one_byte ; 560} __attribute__((__packed__)) ; 561#line 54 "include/linux/lockdep.h" 562struct lock_class_key { 563 struct lockdep_subclass_key subkeys[8UL] ; 564}; 565#line 65 "include/linux/lockdep.h" 566struct lock_class { 567 struct list_head hash_entry ; 568 struct list_head lock_entry ; 569 struct lockdep_subclass_key *key ; 570 unsigned int subclass ; 571 unsigned int dep_gen_id ; 572 unsigned long usage_mask ; 573 struct stack_trace usage_traces[13] ; 574 struct list_head locks_after ; 575 struct list_head locks_before ; 576 unsigned int version ; 577 unsigned long ops ; 578 char const *name ; 579 int name_version ; 580 unsigned long contention_point[4] ; 581 unsigned long contending_point[4] ; 582}; 583#line 150 "include/linux/lockdep.h" 584struct lockdep_map { 585 struct lock_class_key *key ; 586 struct lock_class *class_cache[2] ; 587 char const *name ; 588 int cpu ; 589 unsigned long ip ; 590}; 591#line 196 "include/linux/lockdep.h" 592struct held_lock { 593 u64 prev_chain_key ; 594 unsigned long acquire_ip ; 595 struct lockdep_map *instance ; 596 struct lockdep_map *nest_lock ; 597 u64 waittime_stamp ; 598 u64 holdtime_stamp ; 599 unsigned int class_idx : 13 ; 600 unsigned int irq_context : 2 ; 601 unsigned int trylock : 1 ; 602 unsigned int read : 2 ; 603 unsigned int check : 2 ; 604 unsigned int hardirqs_off : 1 ; 605 unsigned int references : 11 ; 606}; 607#line 20 "include/linux/spinlock_types.h" 608struct raw_spinlock { 609 arch_spinlock_t raw_lock ; 610 unsigned int magic ; 611 unsigned int owner_cpu ; 612 void *owner ; 613 struct lockdep_map dep_map ; 614}; 615#line 20 "include/linux/spinlock_types.h" 616typedef struct raw_spinlock raw_spinlock_t; 617#line 64 "include/linux/spinlock_types.h" 618struct __anonstruct____missing_field_name_38 { 619 u8 __padding[(unsigned int )(& ((struct raw_spinlock *)0)->dep_map)] ; 620 struct lockdep_map dep_map ; 621}; 622#line 64 "include/linux/spinlock_types.h" 623union __anonunion____missing_field_name_37 { 624 struct raw_spinlock rlock ; 625 struct __anonstruct____missing_field_name_38 __annonCompField17 ; 626}; 627#line 64 "include/linux/spinlock_types.h" 628struct spinlock { 629 union __anonunion____missing_field_name_37 __annonCompField18 ; 630}; 631#line 64 "include/linux/spinlock_types.h" 632typedef struct spinlock spinlock_t; 633#line 11 "include/linux/rwlock_types.h" 634struct __anonstruct_rwlock_t_39 { 635 arch_rwlock_t raw_lock ; 636 unsigned int magic ; 637 unsigned int owner_cpu ; 638 void *owner ; 639 struct lockdep_map dep_map ; 640}; 641#line 11 "include/linux/rwlock_types.h" 642typedef struct __anonstruct_rwlock_t_39 rwlock_t; 643#line 33 "include/linux/seqlock.h" 644struct __anonstruct_seqlock_t_40 { 645 unsigned int sequence ; 646 spinlock_t lock ; 647}; 648#line 33 "include/linux/seqlock.h" 649typedef struct __anonstruct_seqlock_t_40 seqlock_t; 650#line 119 "include/linux/seqlock.h" 651struct seqcount { 652 unsigned int sequence ; 653}; 654#line 119 "include/linux/seqlock.h" 655typedef struct seqcount seqcount_t; 656#line 14 "include/linux/time.h" 657struct timespec { 658 __kernel_time_t tv_sec ; 659 long tv_nsec ; 660}; 661#line 62 "include/linux/stat.h" 662struct kstat { 663 u64 ino ; 664 dev_t dev ; 665 umode_t mode ; 666 unsigned int nlink ; 667 uid_t uid ; 668 gid_t gid ; 669 dev_t rdev ; 670 loff_t size ; 671 struct timespec atime ; 672 struct timespec mtime ; 673 struct timespec ctime ; 674 unsigned long blksize ; 675 unsigned long long blocks ; 676}; 677#line 50 "include/linux/wait.h" 678struct __wait_queue_head { 679 spinlock_t lock ; 680 struct list_head task_list ; 681}; 682#line 54 "include/linux/wait.h" 683typedef struct __wait_queue_head wait_queue_head_t; 684#line 56 685struct task_struct; 686#line 96 "include/linux/nodemask.h" 687struct __anonstruct_nodemask_t_41 { 688 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ; 689}; 690#line 96 "include/linux/nodemask.h" 691typedef struct __anonstruct_nodemask_t_41 nodemask_t; 692#line 60 "include/linux/pageblock-flags.h" 693struct page; 694#line 48 "include/linux/mutex.h" 695struct mutex { 696 atomic_t count ; 697 spinlock_t wait_lock ; 698 struct list_head wait_list ; 699 struct task_struct *owner ; 700 char const *name ; 701 void *magic ; 702 struct lockdep_map dep_map ; 703}; 704#line 69 "include/linux/mutex.h" 705struct mutex_waiter { 706 struct list_head list ; 707 struct task_struct *task ; 708 void *magic ; 709}; 710#line 20 "include/linux/rwsem.h" 711struct rw_semaphore; 712#line 20 713struct rw_semaphore; 714#line 20 715struct rw_semaphore; 716#line 20 717struct rw_semaphore; 718#line 26 "include/linux/rwsem.h" 719struct rw_semaphore { 720 long count ; 721 spinlock_t wait_lock ; 722 struct list_head wait_list ; 723 struct lockdep_map dep_map ; 724}; 725#line 8 "include/linux/memory_hotplug.h" 726struct page; 727#line 768 "include/linux/mmzone.h" 728struct ctl_table; 729#line 768 730struct ctl_table; 731#line 768 732struct ctl_table; 733#line 768 734struct ctl_table; 735#line 177 "include/linux/ioport.h" 736struct device; 737#line 177 738struct device; 739#line 177 740struct device; 741#line 177 742struct device; 743#line 103 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mpspec.h" 744struct device; 745#line 46 "include/linux/ktime.h" 746union ktime { 747 s64 tv64 ; 748}; 749#line 59 "include/linux/ktime.h" 750typedef union ktime ktime_t; 751#line 10 "include/linux/timer.h" 752struct tvec_base; 753#line 10 754struct tvec_base; 755#line 10 756struct tvec_base; 757#line 10 758struct tvec_base; 759#line 12 "include/linux/timer.h" 760struct timer_list { 761 struct list_head entry ; 762 unsigned long expires ; 763 struct tvec_base *base ; 764 void (*function)(unsigned long ) ; 765 unsigned long data ; 766 int slack ; 767 int start_pid ; 768 void *start_site ; 769 char start_comm[16] ; 770 struct lockdep_map lockdep_map ; 771}; 772#line 289 773struct hrtimer; 774#line 289 775struct hrtimer; 776#line 289 777struct hrtimer; 778#line 289 779struct hrtimer; 780#line 290 781enum hrtimer_restart; 782#line 290 783enum hrtimer_restart; 784#line 290 785enum hrtimer_restart; 786#line 17 "include/linux/workqueue.h" 787struct work_struct; 788#line 17 789struct work_struct; 790#line 17 791struct work_struct; 792#line 17 793struct work_struct; 794#line 79 "include/linux/workqueue.h" 795struct work_struct { 796 atomic_long_t data ; 797 struct list_head entry ; 798 void (*func)(struct work_struct *work ) ; 799 struct lockdep_map lockdep_map ; 800}; 801#line 92 "include/linux/workqueue.h" 802struct delayed_work { 803 struct work_struct work ; 804 struct timer_list timer ; 805}; 806#line 25 "include/linux/completion.h" 807struct completion { 808 unsigned int done ; 809 wait_queue_head_t wait ; 810}; 811#line 42 "include/linux/pm.h" 812struct device; 813#line 50 "include/linux/pm.h" 814struct pm_message { 815 int event ; 816}; 817#line 50 "include/linux/pm.h" 818typedef struct pm_message pm_message_t; 819#line 204 "include/linux/pm.h" 820struct dev_pm_ops { 821 int (*prepare)(struct device *dev ) ; 822 void (*complete)(struct device *dev ) ; 823 int (*suspend)(struct device *dev ) ; 824 int (*resume)(struct device *dev ) ; 825 int (*freeze)(struct device *dev ) ; 826 int (*thaw)(struct device *dev ) ; 827 int (*poweroff)(struct device *dev ) ; 828 int (*restore)(struct device *dev ) ; 829 int (*suspend_noirq)(struct device *dev ) ; 830 int (*resume_noirq)(struct device *dev ) ; 831 int (*freeze_noirq)(struct device *dev ) ; 832 int (*thaw_noirq)(struct device *dev ) ; 833 int (*poweroff_noirq)(struct device *dev ) ; 834 int (*restore_noirq)(struct device *dev ) ; 835 int (*runtime_suspend)(struct device *dev ) ; 836 int (*runtime_resume)(struct device *dev ) ; 837 int (*runtime_idle)(struct device *dev ) ; 838}; 839#line 392 840enum rpm_status { 841 RPM_ACTIVE = 0, 842 RPM_RESUMING = 1, 843 RPM_SUSPENDED = 2, 844 RPM_SUSPENDING = 3 845} ; 846#line 414 847enum rpm_request { 848 RPM_REQ_NONE = 0, 849 RPM_REQ_IDLE = 1, 850 RPM_REQ_SUSPEND = 2, 851 RPM_REQ_AUTOSUSPEND = 3, 852 RPM_REQ_RESUME = 4 853} ; 854#line 422 855struct wakeup_source; 856#line 422 857struct wakeup_source; 858#line 422 859struct wakeup_source; 860#line 422 861struct wakeup_source; 862#line 424 "include/linux/pm.h" 863struct dev_pm_info { 864 pm_message_t power_state ; 865 unsigned int can_wakeup : 1 ; 866 unsigned int async_suspend : 1 ; 867 bool is_prepared : 1 ; 868 bool is_suspended : 1 ; 869 spinlock_t lock ; 870 struct list_head entry ; 871 struct completion completion ; 872 struct wakeup_source *wakeup ; 873 struct timer_list suspend_timer ; 874 unsigned long timer_expires ; 875 struct work_struct work ; 876 wait_queue_head_t wait_queue ; 877 atomic_t usage_count ; 878 atomic_t child_count ; 879 unsigned int disable_depth : 3 ; 880 unsigned int ignore_children : 1 ; 881 unsigned int idle_notification : 1 ; 882 unsigned int request_pending : 1 ; 883 unsigned int deferred_resume : 1 ; 884 unsigned int run_wake : 1 ; 885 unsigned int runtime_auto : 1 ; 886 unsigned int no_callbacks : 1 ; 887 unsigned int irq_safe : 1 ; 888 unsigned int use_autosuspend : 1 ; 889 unsigned int timer_autosuspends : 1 ; 890 enum rpm_request request ; 891 enum rpm_status runtime_status ; 892 int runtime_error ; 893 int autosuspend_delay ; 894 unsigned long last_busy ; 895 unsigned long active_jiffies ; 896 unsigned long suspended_jiffies ; 897 unsigned long accounting_timestamp ; 898 void *subsys_data ; 899}; 900#line 475 "include/linux/pm.h" 901struct dev_power_domain { 902 struct dev_pm_ops ops ; 903}; 904#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h" 905struct __anonstruct_mm_context_t_111 { 906 void *ldt ; 907 int size ; 908 unsigned short ia32_compat ; 909 struct mutex lock ; 910 void *vdso ; 911}; 912#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h" 913typedef struct __anonstruct_mm_context_t_111 mm_context_t; 914#line 8 "include/linux/vmalloc.h" 915struct vm_area_struct; 916#line 8 917struct vm_area_struct; 918#line 8 919struct vm_area_struct; 920#line 8 921struct vm_area_struct; 922#line 964 "include/linux/mmzone.h" 923struct page; 924#line 10 "include/linux/gfp.h" 925struct vm_area_struct; 926#line 29 "include/linux/sysctl.h" 927struct completion; 928#line 72 "include/linux/rcupdate.h" 929struct rcu_head { 930 struct rcu_head *next ; 931 void (*func)(struct rcu_head *head ) ; 932}; 933#line 936 "include/linux/sysctl.h" 934struct ctl_table; 935#line 937 936struct nsproxy; 937#line 937 938struct nsproxy; 939#line 937 940struct nsproxy; 941#line 937 942struct nsproxy; 943#line 938 944struct ctl_table_root; 945#line 938 946struct ctl_table_root; 947#line 938 948struct ctl_table_root; 949#line 938 950struct ctl_table_root; 951#line 940 "include/linux/sysctl.h" 952struct ctl_table_set { 953 struct list_head list ; 954 struct ctl_table_set *parent ; 955 int (*is_seen)(struct ctl_table_set * ) ; 956}; 957#line 950 958struct ctl_table_header; 959#line 950 960struct ctl_table_header; 961#line 950 962struct ctl_table_header; 963#line 950 964struct ctl_table_header; 965#line 965 "include/linux/sysctl.h" 966typedef int proc_handler(struct ctl_table *ctl , int write , void *buffer , size_t *lenp , 967 loff_t *ppos ); 968#line 1015 "include/linux/sysctl.h" 969struct ctl_table { 970 char const *procname ; 971 void *data ; 972 int maxlen ; 973 mode_t mode ; 974 struct ctl_table *child ; 975 struct ctl_table *parent ; 976 proc_handler *proc_handler ; 977 void *extra1 ; 978 void *extra2 ; 979}; 980#line 1028 "include/linux/sysctl.h" 981struct ctl_table_root { 982 struct list_head root_list ; 983 struct ctl_table_set default_set ; 984 struct ctl_table_set *(*lookup)(struct ctl_table_root *root , struct nsproxy *namespaces ) ; 985 int (*permissions)(struct ctl_table_root *root , struct nsproxy *namespaces , struct ctl_table *table ) ; 986}; 987#line 1039 "include/linux/sysctl.h" 988struct __anonstruct____missing_field_name_190 { 989 struct ctl_table *ctl_table ; 990 struct list_head ctl_entry ; 991 int used ; 992 int count ; 993}; 994#line 1039 "include/linux/sysctl.h" 995union __anonunion____missing_field_name_189 { 996 struct __anonstruct____missing_field_name_190 __annonCompField29 ; 997 struct rcu_head rcu ; 998}; 999#line 1039 "include/linux/sysctl.h" 1000struct ctl_table_header { 1001 union __anonunion____missing_field_name_189 __annonCompField30 ; 1002 struct completion *unregistering ; 1003 struct ctl_table *ctl_table_arg ; 1004 struct ctl_table_root *root ; 1005 struct ctl_table_set *set ; 1006 struct ctl_table *attached_by ; 1007 struct ctl_table *attached_to ; 1008 struct ctl_table_header *parent ; 1009}; 1010#line 48 "include/linux/kmod.h" 1011struct cred; 1012#line 48 1013struct cred; 1014#line 48 1015struct cred; 1016#line 48 1017struct cred; 1018#line 49 1019struct file; 1020#line 264 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h" 1021struct task_struct; 1022#line 10 "include/linux/elf.h" 1023struct file; 1024#line 27 "include/linux/elf.h" 1025typedef __u64 Elf64_Addr; 1026#line 28 "include/linux/elf.h" 1027typedef __u16 Elf64_Half; 1028#line 32 "include/linux/elf.h" 1029typedef __u32 Elf64_Word; 1030#line 33 "include/linux/elf.h" 1031typedef __u64 Elf64_Xword; 1032#line 203 "include/linux/elf.h" 1033struct elf64_sym { 1034 Elf64_Word st_name ; 1035 unsigned char st_info ; 1036 unsigned char st_other ; 1037 Elf64_Half st_shndx ; 1038 Elf64_Addr st_value ; 1039 Elf64_Xword st_size ; 1040}; 1041#line 203 "include/linux/elf.h" 1042typedef struct elf64_sym Elf64_Sym; 1043#line 20 "include/linux/kobject_ns.h" 1044struct sock; 1045#line 20 1046struct sock; 1047#line 20 1048struct sock; 1049#line 20 1050struct sock; 1051#line 21 1052struct kobject; 1053#line 21 1054struct kobject; 1055#line 21 1056struct kobject; 1057#line 21 1058struct kobject; 1059#line 27 1060enum kobj_ns_type { 1061 KOBJ_NS_TYPE_NONE = 0, 1062 KOBJ_NS_TYPE_NET = 1, 1063 KOBJ_NS_TYPES = 2 1064} ; 1065#line 40 "include/linux/kobject_ns.h" 1066struct kobj_ns_type_operations { 1067 enum kobj_ns_type type ; 1068 void *(*grab_current_ns)(void) ; 1069 void const *(*netlink_ns)(struct sock *sk ) ; 1070 void const *(*initial_ns)(void) ; 1071 void (*drop_ns)(void * ) ; 1072}; 1073#line 22 "include/linux/sysfs.h" 1074struct kobject; 1075#line 23 1076struct module; 1077#line 24 1078enum kobj_ns_type; 1079#line 26 "include/linux/sysfs.h" 1080struct attribute { 1081 char const *name ; 1082 mode_t mode ; 1083 struct lock_class_key *key ; 1084 struct lock_class_key skey ; 1085}; 1086#line 56 "include/linux/sysfs.h" 1087struct attribute_group { 1088 char const *name ; 1089 mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ; 1090 struct attribute **attrs ; 1091}; 1092#line 85 1093struct file; 1094#line 86 1095struct vm_area_struct; 1096#line 88 "include/linux/sysfs.h" 1097struct bin_attribute { 1098 struct attribute attr ; 1099 size_t size ; 1100 void *private ; 1101 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * , 1102 loff_t , size_t ) ; 1103 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * , 1104 loff_t , size_t ) ; 1105 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ; 1106}; 1107#line 112 "include/linux/sysfs.h" 1108struct sysfs_ops { 1109 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ; 1110 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ; 1111}; 1112#line 117 1113struct sysfs_dirent; 1114#line 117 1115struct sysfs_dirent; 1116#line 117 1117struct sysfs_dirent; 1118#line 117 1119struct sysfs_dirent; 1120#line 20 "include/linux/kref.h" 1121struct kref { 1122 atomic_t refcount ; 1123}; 1124#line 60 "include/linux/kobject.h" 1125struct kset; 1126#line 60 1127struct kset; 1128#line 60 1129struct kset; 1130#line 60 1131struct kobj_type; 1132#line 60 1133struct kobj_type; 1134#line 60 1135struct kobj_type; 1136#line 60 "include/linux/kobject.h" 1137struct kobject { 1138 char const *name ; 1139 struct list_head entry ; 1140 struct kobject *parent ; 1141 struct kset *kset ; 1142 struct kobj_type *ktype ; 1143 struct sysfs_dirent *sd ; 1144 struct kref kref ; 1145 unsigned int state_initialized : 1 ; 1146 unsigned int state_in_sysfs : 1 ; 1147 unsigned int state_add_uevent_sent : 1 ; 1148 unsigned int state_remove_uevent_sent : 1 ; 1149 unsigned int uevent_suppress : 1 ; 1150}; 1151#line 110 "include/linux/kobject.h" 1152struct kobj_type { 1153 void (*release)(struct kobject *kobj ) ; 1154 struct sysfs_ops const *sysfs_ops ; 1155 struct attribute **default_attrs ; 1156 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ; 1157 void const *(*namespace)(struct kobject *kobj ) ; 1158}; 1159#line 118 "include/linux/kobject.h" 1160struct kobj_uevent_env { 1161 char *envp[32] ; 1162 int envp_idx ; 1163 char buf[2048] ; 1164 int buflen ; 1165}; 1166#line 125 "include/linux/kobject.h" 1167struct kset_uevent_ops { 1168 int (* const filter)(struct kset *kset , struct kobject *kobj ) ; 1169 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ; 1170 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ; 1171}; 1172#line 142 1173struct sock; 1174#line 161 "include/linux/kobject.h" 1175struct kset { 1176 struct list_head list ; 1177 spinlock_t list_lock ; 1178 struct kobject kobj ; 1179 struct kset_uevent_ops const *uevent_ops ; 1180}; 1181#line 34 "include/linux/moduleparam.h" 1182struct kernel_param; 1183#line 34 1184struct kernel_param; 1185#line 34 1186struct kernel_param; 1187#line 34 1188struct kernel_param; 1189#line 36 "include/linux/moduleparam.h" 1190struct kernel_param_ops { 1191 int (*set)(char const *val , struct kernel_param const *kp ) ; 1192 int (*get)(char *buffer , struct kernel_param const *kp ) ; 1193 void (*free)(void *arg ) ; 1194}; 1195#line 48 1196struct kparam_string; 1197#line 48 1198struct kparam_string; 1199#line 48 1200struct kparam_string; 1201#line 48 1202struct kparam_array; 1203#line 48 1204struct kparam_array; 1205#line 48 1206struct kparam_array; 1207#line 48 "include/linux/moduleparam.h" 1208union __anonunion____missing_field_name_195 { 1209 void *arg ; 1210 struct kparam_string const *str ; 1211 struct kparam_array const *arr ; 1212}; 1213#line 48 "include/linux/moduleparam.h" 1214struct kernel_param { 1215 char const *name ; 1216 struct kernel_param_ops const *ops ; 1217 u16 perm ; 1218 u16 flags ; 1219 union __anonunion____missing_field_name_195 __annonCompField31 ; 1220}; 1221#line 61 "include/linux/moduleparam.h" 1222struct kparam_string { 1223 unsigned int maxlen ; 1224 char *string ; 1225}; 1226#line 67 "include/linux/moduleparam.h" 1227struct kparam_array { 1228 unsigned int max ; 1229 unsigned int elemsize ; 1230 unsigned int *num ; 1231 struct kernel_param_ops const *ops ; 1232 void *elem ; 1233}; 1234#line 391 1235struct module; 1236#line 26 "include/linux/jump_label.h" 1237struct module; 1238#line 61 "include/linux/jump_label.h" 1239struct jump_label_key { 1240 atomic_t enabled ; 1241}; 1242#line 22 "include/linux/tracepoint.h" 1243struct module; 1244#line 23 1245struct tracepoint; 1246#line 23 1247struct tracepoint; 1248#line 23 1249struct tracepoint; 1250#line 23 1251struct tracepoint; 1252#line 25 "include/linux/tracepoint.h" 1253struct tracepoint_func { 1254 void *func ; 1255 void *data ; 1256}; 1257#line 30 "include/linux/tracepoint.h" 1258struct tracepoint { 1259 char const *name ; 1260 struct jump_label_key key ; 1261 void (*regfunc)(void) ; 1262 void (*unregfunc)(void) ; 1263 struct tracepoint_func *funcs ; 1264}; 1265#line 8 "include/asm-generic/module.h" 1266struct mod_arch_specific { 1267 1268}; 1269#line 21 "include/trace/events/module.h" 1270struct module; 1271#line 37 "include/linux/module.h" 1272struct kernel_symbol { 1273 unsigned long value ; 1274 char const *name ; 1275}; 1276#line 49 1277struct module; 1278#line 51 "include/linux/module.h" 1279struct module_attribute { 1280 struct attribute attr ; 1281 ssize_t (*show)(struct module_attribute * , struct module * , char * ) ; 1282 ssize_t (*store)(struct module_attribute * , struct module * , char const * , 1283 size_t count ) ; 1284 void (*setup)(struct module * , char const * ) ; 1285 int (*test)(struct module * ) ; 1286 void (*free)(struct module * ) ; 1287}; 1288#line 70 1289struct module_param_attrs; 1290#line 70 1291struct module_param_attrs; 1292#line 70 1293struct module_param_attrs; 1294#line 70 "include/linux/module.h" 1295struct module_kobject { 1296 struct kobject kobj ; 1297 struct module *mod ; 1298 struct kobject *drivers_dir ; 1299 struct module_param_attrs *mp ; 1300}; 1301#line 83 1302struct exception_table_entry; 1303#line 83 1304struct exception_table_entry; 1305#line 83 1306struct exception_table_entry; 1307#line 83 1308struct exception_table_entry; 1309#line 265 1310enum module_state { 1311 MODULE_STATE_LIVE = 0, 1312 MODULE_STATE_COMING = 1, 1313 MODULE_STATE_GOING = 2 1314} ; 1315#line 272 1316struct module_sect_attrs; 1317#line 272 1318struct module_sect_attrs; 1319#line 272 1320struct module_sect_attrs; 1321#line 272 1322struct module_notes_attrs; 1323#line 272 1324struct module_notes_attrs; 1325#line 272 1326struct module_notes_attrs; 1327#line 272 1328struct ftrace_event_call; 1329#line 272 1330struct ftrace_event_call; 1331#line 272 1332struct ftrace_event_call; 1333#line 272 "include/linux/module.h" 1334struct module_ref { 1335 unsigned int incs ; 1336 unsigned int decs ; 1337}; 1338#line 272 "include/linux/module.h" 1339struct module { 1340 enum module_state state ; 1341 struct list_head list ; 1342 char name[64UL - sizeof(unsigned long )] ; 1343 struct module_kobject mkobj ; 1344 struct module_attribute *modinfo_attrs ; 1345 char const *version ; 1346 char const *srcversion ; 1347 struct kobject *holders_dir ; 1348 struct kernel_symbol const *syms ; 1349 unsigned long const *crcs ; 1350 unsigned int num_syms ; 1351 struct kernel_param *kp ; 1352 unsigned int num_kp ; 1353 unsigned int num_gpl_syms ; 1354 struct kernel_symbol const *gpl_syms ; 1355 unsigned long const *gpl_crcs ; 1356 struct kernel_symbol const *unused_syms ; 1357 unsigned long const *unused_crcs ; 1358 unsigned int num_unused_syms ; 1359 unsigned int num_unused_gpl_syms ; 1360 struct kernel_symbol const *unused_gpl_syms ; 1361 unsigned long const *unused_gpl_crcs ; 1362 struct kernel_symbol const *gpl_future_syms ; 1363 unsigned long const *gpl_future_crcs ; 1364 unsigned int num_gpl_future_syms ; 1365 unsigned int num_exentries ; 1366 struct exception_table_entry *extable ; 1367 int (*init)(void) ; 1368 void *module_init ; 1369 void *module_core ; 1370 unsigned int init_size ; 1371 unsigned int core_size ; 1372 unsigned int init_text_size ; 1373 unsigned int core_text_size ; 1374 unsigned int init_ro_size ; 1375 unsigned int core_ro_size ; 1376 struct mod_arch_specific arch ; 1377 unsigned int taints ; 1378 unsigned int num_bugs ; 1379 struct list_head bug_list ; 1380 struct bug_entry *bug_table ; 1381 Elf64_Sym *symtab ; 1382 Elf64_Sym *core_symtab ; 1383 unsigned int num_symtab ; 1384 unsigned int core_num_syms ; 1385 char *strtab ; 1386 char *core_strtab ; 1387 struct module_sect_attrs *sect_attrs ; 1388 struct module_notes_attrs *notes_attrs ; 1389 char *args ; 1390 void *percpu ; 1391 unsigned int percpu_size ; 1392 unsigned int num_tracepoints ; 1393 struct tracepoint * const *tracepoints_ptrs ; 1394 unsigned int num_trace_bprintk_fmt ; 1395 char const **trace_bprintk_fmt_start ; 1396 struct ftrace_event_call **trace_events ; 1397 unsigned int num_trace_events ; 1398 unsigned int num_ftrace_callsites ; 1399 unsigned long *ftrace_callsites ; 1400 struct list_head source_list ; 1401 struct list_head target_list ; 1402 struct task_struct *waiter ; 1403 void (*exit)(void) ; 1404 struct module_ref *refptr ; 1405 ctor_fn_t *ctors ; 1406 unsigned int num_ctors ; 1407}; 1408#line 11 "include/linux/socket.h" 1409struct sockaddr; 1410#line 11 1411struct sockaddr; 1412#line 11 1413struct sockaddr; 1414#line 16 "include/linux/uio.h" 1415struct iovec { 1416 void *iov_base ; 1417 __kernel_size_t iov_len ; 1418}; 1419#line 27 "include/linux/socket.h" 1420struct pid; 1421#line 28 1422struct cred; 1423#line 34 1424struct seq_file; 1425#line 38 "include/linux/socket.h" 1426typedef unsigned short sa_family_t; 1427#line 44 "include/linux/socket.h" 1428struct sockaddr { 1429 sa_family_t sa_family ; 1430 char sa_data[14] ; 1431}; 1432#line 332 1433struct timespec; 1434#line 37 "include/linux/hdlc/ioctl.h" 1435struct __anonstruct_sync_serial_settings_197 { 1436 unsigned int clock_rate ; 1437 unsigned int clock_type ; 1438 unsigned short loopback ; 1439}; 1440#line 37 "include/linux/hdlc/ioctl.h" 1441typedef struct __anonstruct_sync_serial_settings_197 sync_serial_settings; 1442#line 43 "include/linux/hdlc/ioctl.h" 1443struct __anonstruct_te1_settings_198 { 1444 unsigned int clock_rate ; 1445 unsigned int clock_type ; 1446 unsigned short loopback ; 1447 unsigned int slot_map ; 1448}; 1449#line 43 "include/linux/hdlc/ioctl.h" 1450typedef struct __anonstruct_te1_settings_198 te1_settings; 1451#line 50 "include/linux/hdlc/ioctl.h" 1452struct __anonstruct_raw_hdlc_proto_199 { 1453 unsigned short encoding ; 1454 unsigned short parity ; 1455}; 1456#line 50 "include/linux/hdlc/ioctl.h" 1457typedef struct __anonstruct_raw_hdlc_proto_199 raw_hdlc_proto; 1458#line 55 "include/linux/hdlc/ioctl.h" 1459struct __anonstruct_fr_proto_200 { 1460 unsigned int t391 ; 1461 unsigned int t392 ; 1462 unsigned int n391 ; 1463 unsigned int n392 ; 1464 unsigned int n393 ; 1465 unsigned short lmi ; 1466 unsigned short dce ; 1467}; 1468#line 55 "include/linux/hdlc/ioctl.h" 1469typedef struct __anonstruct_fr_proto_200 fr_proto; 1470#line 65 "include/linux/hdlc/ioctl.h" 1471struct __anonstruct_fr_proto_pvc_201 { 1472 unsigned int dlci ; 1473}; 1474#line 65 "include/linux/hdlc/ioctl.h" 1475typedef struct __anonstruct_fr_proto_pvc_201 fr_proto_pvc; 1476#line 69 "include/linux/hdlc/ioctl.h" 1477struct __anonstruct_fr_proto_pvc_info_202 { 1478 unsigned int dlci ; 1479 char master[16] ; 1480}; 1481#line 69 "include/linux/hdlc/ioctl.h" 1482typedef struct __anonstruct_fr_proto_pvc_info_202 fr_proto_pvc_info; 1483#line 74 "include/linux/hdlc/ioctl.h" 1484struct __anonstruct_cisco_proto_203 { 1485 unsigned int interval ; 1486 unsigned int timeout ; 1487}; 1488#line 74 "include/linux/hdlc/ioctl.h" 1489typedef struct __anonstruct_cisco_proto_203 cisco_proto; 1490#line 134 "include/linux/if.h" 1491struct ifmap { 1492 unsigned long mem_start ; 1493 unsigned long mem_end ; 1494 unsigned short base_addr ; 1495 unsigned char irq ; 1496 unsigned char dma ; 1497 unsigned char port ; 1498}; 1499#line 144 "include/linux/if.h" 1500union __anonunion_ifs_ifsu_206 { 1501 raw_hdlc_proto *raw_hdlc ; 1502 cisco_proto *cisco ; 1503 fr_proto *fr ; 1504 fr_proto_pvc *fr_pvc ; 1505 fr_proto_pvc_info *fr_pvc_info ; 1506 sync_serial_settings *sync ; 1507 te1_settings *te1 ; 1508}; 1509#line 144 "include/linux/if.h" 1510struct if_settings { 1511 unsigned int type ; 1512 unsigned int size ; 1513 union __anonunion_ifs_ifsu_206 ifs_ifsu ; 1514}; 1515#line 168 "include/linux/if.h" 1516union __anonunion_ifr_ifrn_207 { 1517 char ifrn_name[16] ; 1518}; 1519#line 168 "include/linux/if.h" 1520union __anonunion_ifr_ifru_208 { 1521 struct sockaddr ifru_addr ; 1522 struct sockaddr ifru_dstaddr ; 1523 struct sockaddr ifru_broadaddr ; 1524 struct sockaddr ifru_netmask ; 1525 struct sockaddr ifru_hwaddr ; 1526 short ifru_flags ; 1527 int ifru_ivalue ; 1528 int ifru_mtu ; 1529 struct ifmap ifru_map ; 1530 char ifru_slave[16] ; 1531 char ifru_newname[16] ; 1532 void *ifru_data ; 1533 struct if_settings ifru_settings ; 1534}; 1535#line 168 "include/linux/if.h" 1536struct ifreq { 1537 union __anonunion_ifr_ifrn_207 ifr_ifrn ; 1538 union __anonunion_ifr_ifru_208 ifr_ifru ; 1539}; 1540#line 119 "include/linux/if_ether.h" 1541struct ethhdr { 1542 unsigned char h_dest[6] ; 1543 unsigned char h_source[6] ; 1544 __be16 h_proto ; 1545} __attribute__((__packed__)) ; 1546#line 14 "include/linux/prio_tree.h" 1547struct prio_tree_node; 1548#line 14 1549struct prio_tree_node; 1550#line 14 1551struct prio_tree_node; 1552#line 14 "include/linux/prio_tree.h" 1553struct raw_prio_tree_node { 1554 struct prio_tree_node *left ; 1555 struct prio_tree_node *right ; 1556 struct prio_tree_node *parent ; 1557}; 1558#line 20 "include/linux/prio_tree.h" 1559struct prio_tree_node { 1560 struct prio_tree_node *left ; 1561 struct prio_tree_node *right ; 1562 struct prio_tree_node *parent ; 1563 unsigned long start ; 1564 unsigned long last ; 1565}; 1566#line 28 "include/linux/prio_tree.h" 1567struct prio_tree_root { 1568 struct prio_tree_node *prio_tree_node ; 1569 unsigned short index_bits ; 1570 unsigned short raw ; 1571}; 1572#line 100 "include/linux/rbtree.h" 1573struct rb_node { 1574 unsigned long rb_parent_color ; 1575 struct rb_node *rb_right ; 1576 struct rb_node *rb_left ; 1577} __attribute__((__aligned__(sizeof(long )))) ; 1578#line 110 "include/linux/rbtree.h" 1579struct rb_root { 1580 struct rb_node *rb_node ; 1581}; 1582#line 23 "include/linux/mm_types.h" 1583struct address_space; 1584#line 23 1585struct address_space; 1586#line 23 1587struct address_space; 1588#line 23 1589struct address_space; 1590#line 34 "include/linux/mm_types.h" 1591struct __anonstruct____missing_field_name_211 { 1592 u16 inuse ; 1593 u16 objects ; 1594}; 1595#line 34 "include/linux/mm_types.h" 1596union __anonunion____missing_field_name_210 { 1597 atomic_t _mapcount ; 1598 struct __anonstruct____missing_field_name_211 __annonCompField32 ; 1599}; 1600#line 34 "include/linux/mm_types.h" 1601struct __anonstruct____missing_field_name_213 { 1602 unsigned long private ; 1603 struct address_space *mapping ; 1604}; 1605#line 34 "include/linux/mm_types.h" 1606union __anonunion____missing_field_name_212 { 1607 struct __anonstruct____missing_field_name_213 __annonCompField34 ; 1608 struct kmem_cache *slab ; 1609 struct page *first_page ; 1610}; 1611#line 34 "include/linux/mm_types.h" 1612union __anonunion____missing_field_name_214 { 1613 unsigned long index ; 1614 void *freelist ; 1615}; 1616#line 34 "include/linux/mm_types.h" 1617struct page { 1618 unsigned long flags ; 1619 atomic_t _count ; 1620 union __anonunion____missing_field_name_210 __annonCompField33 ; 1621 union __anonunion____missing_field_name_212 __annonCompField35 ; 1622 union __anonunion____missing_field_name_214 __annonCompField36 ; 1623 struct list_head lru ; 1624}; 1625#line 132 "include/linux/mm_types.h" 1626struct __anonstruct_vm_set_216 { 1627 struct list_head list ; 1628 void *parent ; 1629 struct vm_area_struct *head ; 1630}; 1631#line 132 "include/linux/mm_types.h" 1632union __anonunion_shared_215 { 1633 struct __anonstruct_vm_set_216 vm_set ; 1634 struct raw_prio_tree_node prio_tree_node ; 1635}; 1636#line 132 1637struct anon_vma; 1638#line 132 1639struct anon_vma; 1640#line 132 1641struct anon_vma; 1642#line 132 1643struct vm_operations_struct; 1644#line 132 1645struct vm_operations_struct; 1646#line 132 1647struct vm_operations_struct; 1648#line 132 1649struct mempolicy; 1650#line 132 1651struct mempolicy; 1652#line 132 1653struct mempolicy; 1654#line 132 "include/linux/mm_types.h" 1655struct vm_area_struct { 1656 struct mm_struct *vm_mm ; 1657 unsigned long vm_start ; 1658 unsigned long vm_end ; 1659 struct vm_area_struct *vm_next ; 1660 struct vm_area_struct *vm_prev ; 1661 pgprot_t vm_page_prot ; 1662 unsigned long vm_flags ; 1663 struct rb_node vm_rb ; 1664 union __anonunion_shared_215 shared ; 1665 struct list_head anon_vma_chain ; 1666 struct anon_vma *anon_vma ; 1667 struct vm_operations_struct const *vm_ops ; 1668 unsigned long vm_pgoff ; 1669 struct file *vm_file ; 1670 void *vm_private_data ; 1671 struct mempolicy *vm_policy ; 1672}; 1673#line 189 "include/linux/mm_types.h" 1674struct core_thread { 1675 struct task_struct *task ; 1676 struct core_thread *next ; 1677}; 1678#line 194 "include/linux/mm_types.h" 1679struct core_state { 1680 atomic_t nr_threads ; 1681 struct core_thread dumper ; 1682 struct completion startup ; 1683}; 1684#line 216 "include/linux/mm_types.h" 1685struct mm_rss_stat { 1686 atomic_long_t count[3] ; 1687}; 1688#line 220 1689struct linux_binfmt; 1690#line 220 1691struct linux_binfmt; 1692#line 220 1693struct linux_binfmt; 1694#line 220 1695struct mmu_notifier_mm; 1696#line 220 1697struct mmu_notifier_mm; 1698#line 220 1699struct mmu_notifier_mm; 1700#line 220 "include/linux/mm_types.h" 1701struct mm_struct { 1702 struct vm_area_struct *mmap ; 1703 struct rb_root mm_rb ; 1704 struct vm_area_struct *mmap_cache ; 1705 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len , 1706 unsigned long pgoff , unsigned long flags ) ; 1707 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ; 1708 unsigned long mmap_base ; 1709 unsigned long task_size ; 1710 unsigned long cached_hole_size ; 1711 unsigned long free_area_cache ; 1712 pgd_t *pgd ; 1713 atomic_t mm_users ; 1714 atomic_t mm_count ; 1715 int map_count ; 1716 spinlock_t page_table_lock ; 1717 struct rw_semaphore mmap_sem ; 1718 struct list_head mmlist ; 1719 unsigned long hiwater_rss ; 1720 unsigned long hiwater_vm ; 1721 unsigned long total_vm ; 1722 unsigned long locked_vm ; 1723 unsigned long shared_vm ; 1724 unsigned long exec_vm ; 1725 unsigned long stack_vm ; 1726 unsigned long reserved_vm ; 1727 unsigned long def_flags ; 1728 unsigned long nr_ptes ; 1729 unsigned long start_code ; 1730 unsigned long end_code ; 1731 unsigned long start_data ; 1732 unsigned long end_data ; 1733 unsigned long start_brk ; 1734 unsigned long brk ; 1735 unsigned long start_stack ; 1736 unsigned long arg_start ; 1737 unsigned long arg_end ; 1738 unsigned long env_start ; 1739 unsigned long env_end ; 1740 unsigned long saved_auxv[44] ; 1741 struct mm_rss_stat rss_stat ; 1742 struct linux_binfmt *binfmt ; 1743 cpumask_var_t cpu_vm_mask_var ; 1744 mm_context_t context ; 1745 unsigned int faultstamp ; 1746 unsigned int token_priority ; 1747 unsigned int last_interval ; 1748 atomic_t oom_disable_count ; 1749 unsigned long flags ; 1750 struct core_state *core_state ; 1751 spinlock_t ioctx_lock ; 1752 struct hlist_head ioctx_list ; 1753 struct task_struct *owner ; 1754 struct file *exe_file ; 1755 unsigned long num_exe_file_vmas ; 1756 struct mmu_notifier_mm *mmu_notifier_mm ; 1757 pgtable_t pmd_huge_pte ; 1758 struct cpumask cpumask_allocation ; 1759}; 1760#line 65 "include/linux/net.h" 1761struct poll_table_struct; 1762#line 65 1763struct poll_table_struct; 1764#line 65 1765struct poll_table_struct; 1766#line 65 1767struct poll_table_struct; 1768#line 66 1769struct pipe_inode_info; 1770#line 66 1771struct pipe_inode_info; 1772#line 66 1773struct pipe_inode_info; 1774#line 66 1775struct pipe_inode_info; 1776#line 67 1777struct inode; 1778#line 67 1779struct inode; 1780#line 67 1781struct inode; 1782#line 67 1783struct inode; 1784#line 68 1785struct net; 1786#line 68 1787struct net; 1788#line 68 1789struct net; 1790#line 68 1791struct net; 1792#line 121 1793struct fasync_struct; 1794#line 121 1795struct fasync_struct; 1796#line 121 1797struct fasync_struct; 1798#line 154 1799struct vm_area_struct; 1800#line 155 1801struct page; 1802#line 156 1803struct kiocb; 1804#line 156 1805struct kiocb; 1806#line 156 1807struct kiocb; 1808#line 156 1809struct kiocb; 1810#line 157 1811struct sockaddr; 1812#line 159 1813struct module; 1814#line 221 1815struct iovec; 1816#line 38 "include/linux/slub_def.h" 1817struct kmem_cache_cpu { 1818 void **freelist ; 1819 unsigned long tid ; 1820 struct page *page ; 1821 int node ; 1822 unsigned int stat[19] ; 1823}; 1824#line 48 "include/linux/slub_def.h" 1825struct kmem_cache_node { 1826 spinlock_t list_lock ; 1827 unsigned long nr_partial ; 1828 struct list_head partial ; 1829 atomic_long_t nr_slabs ; 1830 atomic_long_t total_objects ; 1831 struct list_head full ; 1832}; 1833#line 64 "include/linux/slub_def.h" 1834struct kmem_cache_order_objects { 1835 unsigned long x ; 1836}; 1837#line 71 "include/linux/slub_def.h" 1838struct kmem_cache { 1839 struct kmem_cache_cpu *cpu_slab ; 1840 unsigned long flags ; 1841 unsigned long min_partial ; 1842 int size ; 1843 int objsize ; 1844 int offset ; 1845 struct kmem_cache_order_objects oo ; 1846 struct kmem_cache_order_objects max ; 1847 struct kmem_cache_order_objects min ; 1848 gfp_t allocflags ; 1849 int refcount ; 1850 void (*ctor)(void * ) ; 1851 int inuse ; 1852 int align ; 1853 int reserved ; 1854 char const *name ; 1855 struct list_head list ; 1856 struct kobject kobj ; 1857 int remote_node_defrag_ratio ; 1858 struct kmem_cache_node *node[1 << 10] ; 1859}; 1860#line 94 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess.h" 1861struct exception_table_entry { 1862 unsigned long insn ; 1863 unsigned long fixup ; 1864}; 1865#line 109 "include/net/checksum.h" 1866struct sk_buff; 1867#line 109 1868struct sk_buff; 1869#line 109 1870struct sk_buff; 1871#line 109 1872struct sk_buff; 1873#line 19 "include/linux/klist.h" 1874struct klist_node; 1875#line 19 1876struct klist_node; 1877#line 19 1878struct klist_node; 1879#line 19 1880struct klist_node; 1881#line 39 "include/linux/klist.h" 1882struct klist_node { 1883 void *n_klist ; 1884 struct list_head n_node ; 1885 struct kref n_ref ; 1886}; 1887#line 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h" 1888struct dma_map_ops; 1889#line 4 1890struct dma_map_ops; 1891#line 4 1892struct dma_map_ops; 1893#line 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h" 1894struct dev_archdata { 1895 void *acpi_handle ; 1896 struct dma_map_ops *dma_ops ; 1897 void *iommu ; 1898}; 1899#line 28 "include/linux/device.h" 1900struct device; 1901#line 29 1902struct device_private; 1903#line 29 1904struct device_private; 1905#line 29 1906struct device_private; 1907#line 29 1908struct device_private; 1909#line 30 1910struct device_driver; 1911#line 30 1912struct device_driver; 1913#line 30 1914struct device_driver; 1915#line 30 1916struct device_driver; 1917#line 31 1918struct driver_private; 1919#line 31 1920struct driver_private; 1921#line 31 1922struct driver_private; 1923#line 31 1924struct driver_private; 1925#line 32 1926struct class; 1927#line 32 1928struct class; 1929#line 32 1930struct class; 1931#line 32 1932struct class; 1933#line 33 1934struct subsys_private; 1935#line 33 1936struct subsys_private; 1937#line 33 1938struct subsys_private; 1939#line 33 1940struct subsys_private; 1941#line 34 1942struct bus_type; 1943#line 34 1944struct bus_type; 1945#line 34 1946struct bus_type; 1947#line 34 1948struct bus_type; 1949#line 35 1950struct device_node; 1951#line 35 1952struct device_node; 1953#line 35 1954struct device_node; 1955#line 35 1956struct device_node; 1957#line 37 "include/linux/device.h" 1958struct bus_attribute { 1959 struct attribute attr ; 1960 ssize_t (*show)(struct bus_type *bus , char *buf ) ; 1961 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ; 1962}; 1963#line 82 1964struct device_attribute; 1965#line 82 1966struct device_attribute; 1967#line 82 1968struct device_attribute; 1969#line 82 1970struct driver_attribute; 1971#line 82 1972struct driver_attribute; 1973#line 82 1974struct driver_attribute; 1975#line 82 "include/linux/device.h" 1976struct bus_type { 1977 char const *name ; 1978 struct bus_attribute *bus_attrs ; 1979 struct device_attribute *dev_attrs ; 1980 struct driver_attribute *drv_attrs ; 1981 int (*match)(struct device *dev , struct device_driver *drv ) ; 1982 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ; 1983 int (*probe)(struct device *dev ) ; 1984 int (*remove)(struct device *dev ) ; 1985 void (*shutdown)(struct device *dev ) ; 1986 int (*suspend)(struct device *dev , pm_message_t state ) ; 1987 int (*resume)(struct device *dev ) ; 1988 struct dev_pm_ops const *pm ; 1989 struct subsys_private *p ; 1990}; 1991#line 185 1992struct of_device_id; 1993#line 185 1994struct of_device_id; 1995#line 185 1996struct of_device_id; 1997#line 185 "include/linux/device.h" 1998struct device_driver { 1999 char const *name ; 2000 struct bus_type *bus ; 2001 struct module *owner ; 2002 char const *mod_name ; 2003 bool suppress_bind_attrs ; 2004 struct of_device_id const *of_match_table ; 2005 int (*probe)(struct device *dev ) ; 2006 int (*remove)(struct device *dev ) ; 2007 void (*shutdown)(struct device *dev ) ; 2008 int (*suspend)(struct device *dev , pm_message_t state ) ; 2009 int (*resume)(struct device *dev ) ; 2010 struct attribute_group const **groups ; 2011 struct dev_pm_ops const *pm ; 2012 struct driver_private *p ; 2013}; 2014#line 222 "include/linux/device.h" 2015struct driver_attribute { 2016 struct attribute attr ; 2017 ssize_t (*show)(struct device_driver *driver , char *buf ) ; 2018 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ; 2019}; 2020#line 280 2021struct class_attribute; 2022#line 280 2023struct class_attribute; 2024#line 280 2025struct class_attribute; 2026#line 280 "include/linux/device.h" 2027struct class { 2028 char const *name ; 2029 struct module *owner ; 2030 struct class_attribute *class_attrs ; 2031 struct device_attribute *dev_attrs ; 2032 struct bin_attribute *dev_bin_attrs ; 2033 struct kobject *dev_kobj ; 2034 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ; 2035 char *(*devnode)(struct device *dev , mode_t *mode ) ; 2036 void (*class_release)(struct class *class ) ; 2037 void (*dev_release)(struct device *dev ) ; 2038 int (*suspend)(struct device *dev , pm_message_t state ) ; 2039 int (*resume)(struct device *dev ) ; 2040 struct kobj_ns_type_operations const *ns_type ; 2041 void const *(*namespace)(struct device *dev ) ; 2042 struct dev_pm_ops const *pm ; 2043 struct subsys_private *p ; 2044}; 2045#line 306 2046struct device_type; 2047#line 306 2048struct device_type; 2049#line 306 2050struct device_type; 2051#line 347 "include/linux/device.h" 2052struct class_attribute { 2053 struct attribute attr ; 2054 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ; 2055 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf , 2056 size_t count ) ; 2057}; 2058#line 413 "include/linux/device.h" 2059struct device_type { 2060 char const *name ; 2061 struct attribute_group const **groups ; 2062 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ; 2063 char *(*devnode)(struct device *dev , mode_t *mode ) ; 2064 void (*release)(struct device *dev ) ; 2065 struct dev_pm_ops const *pm ; 2066}; 2067#line 424 "include/linux/device.h" 2068struct device_attribute { 2069 struct attribute attr ; 2070 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ; 2071 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf , 2072 size_t count ) ; 2073}; 2074#line 484 "include/linux/device.h" 2075struct device_dma_parameters { 2076 unsigned int max_segment_size ; 2077 unsigned long segment_boundary_mask ; 2078}; 2079#line 551 2080struct dma_coherent_mem; 2081#line 551 2082struct dma_coherent_mem; 2083#line 551 2084struct dma_coherent_mem; 2085#line 551 "include/linux/device.h" 2086struct device { 2087 struct device *parent ; 2088 struct device_private *p ; 2089 struct kobject kobj ; 2090 char const *init_name ; 2091 struct device_type const *type ; 2092 struct mutex mutex ; 2093 struct bus_type *bus ; 2094 struct device_driver *driver ; 2095 void *platform_data ; 2096 struct dev_pm_info power ; 2097 struct dev_power_domain *pwr_domain ; 2098 int numa_node ; 2099 u64 *dma_mask ; 2100 u64 coherent_dma_mask ; 2101 struct device_dma_parameters *dma_parms ; 2102 struct list_head dma_pools ; 2103 struct dma_coherent_mem *dma_mem ; 2104 struct dev_archdata archdata ; 2105 struct device_node *of_node ; 2106 dev_t devt ; 2107 spinlock_t devres_lock ; 2108 struct list_head devres_head ; 2109 struct klist_node knode_class ; 2110 struct class *class ; 2111 struct attribute_group const **groups ; 2112 void (*release)(struct device *dev ) ; 2113}; 2114#line 43 "include/linux/pm_wakeup.h" 2115struct wakeup_source { 2116 char *name ; 2117 struct list_head entry ; 2118 spinlock_t lock ; 2119 struct timer_list timer ; 2120 unsigned long timer_expires ; 2121 ktime_t total_time ; 2122 ktime_t max_time ; 2123 ktime_t last_time ; 2124 unsigned long event_count ; 2125 unsigned long active_count ; 2126 unsigned long relax_count ; 2127 unsigned long hit_count ; 2128 unsigned int active : 1 ; 2129}; 2130#line 12 "include/linux/bug.h" 2131struct pt_regs; 2132#line 25 "include/linux/dma-attrs.h" 2133struct dma_attrs { 2134 unsigned long flags[((2UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ; 2135}; 2136#line 6 "include/asm-generic/scatterlist.h" 2137struct scatterlist { 2138 unsigned long sg_magic ; 2139 unsigned long page_link ; 2140 unsigned int offset ; 2141 unsigned int length ; 2142 dma_addr_t dma_address ; 2143 unsigned int dma_length ; 2144}; 2145#line 19 "include/linux/mm.h" 2146struct mempolicy; 2147#line 20 2148struct anon_vma; 2149#line 21 2150struct file_ra_state; 2151#line 21 2152struct file_ra_state; 2153#line 21 2154struct file_ra_state; 2155#line 21 2156struct file_ra_state; 2157#line 22 2158struct user_struct; 2159#line 22 2160struct user_struct; 2161#line 22 2162struct user_struct; 2163#line 22 2164struct user_struct; 2165#line 23 2166struct writeback_control; 2167#line 23 2168struct writeback_control; 2169#line 23 2170struct writeback_control; 2171#line 23 2172struct writeback_control; 2173#line 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64.h" 2174struct mm_struct; 2175#line 656 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable.h" 2176struct vm_area_struct; 2177#line 185 "include/linux/mm.h" 2178struct vm_fault { 2179 unsigned int flags ; 2180 unsigned long pgoff ; 2181 void *virtual_address ; 2182 struct page *page ; 2183}; 2184#line 202 "include/linux/mm.h" 2185struct vm_operations_struct { 2186 void (*open)(struct vm_area_struct *area ) ; 2187 void (*close)(struct vm_area_struct *area ) ; 2188 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ; 2189 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ; 2190 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len , 2191 int write ) ; 2192 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ; 2193 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ; 2194 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to , 2195 unsigned long flags ) ; 2196}; 2197#line 244 2198struct inode; 2199#line 197 "include/linux/page-flags.h" 2200struct page; 2201#line 11 "include/linux/dma-mapping.h" 2202enum dma_data_direction { 2203 DMA_BIDIRECTIONAL = 0, 2204 DMA_TO_DEVICE = 1, 2205 DMA_FROM_DEVICE = 2, 2206 DMA_NONE = 3 2207} ; 2208#line 18 "include/linux/dma-mapping.h" 2209struct dma_map_ops { 2210 void *(*alloc_coherent)(struct device *dev , size_t size , dma_addr_t *dma_handle , 2211 gfp_t gfp ) ; 2212 void (*free_coherent)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ) ; 2213 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset , 2214 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ; 2215 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir , 2216 struct dma_attrs *attrs ) ; 2217 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir , 2218 struct dma_attrs *attrs ) ; 2219 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir , 2220 struct dma_attrs *attrs ) ; 2221 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size , 2222 enum dma_data_direction dir ) ; 2223 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size , 2224 enum dma_data_direction dir ) ; 2225 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents , 2226 enum dma_data_direction dir ) ; 2227 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents , 2228 enum dma_data_direction dir ) ; 2229 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ; 2230 int (*dma_supported)(struct device *dev , u64 mask ) ; 2231 int (*set_dma_mask)(struct device *dev , u64 mask ) ; 2232 int is_phys ; 2233}; 2234#line 25 "include/linux/dma-debug.h" 2235struct device; 2236#line 26 2237struct scatterlist; 2238#line 27 2239struct bus_type; 2240#line 6 "include/linux/swiotlb.h" 2241struct device; 2242#line 7 2243struct dma_attrs; 2244#line 8 2245struct scatterlist; 2246#line 33 "include/linux/dmaengine.h" 2247typedef s32 dma_cookie_t; 2248#line 8 "include/linux/timerqueue.h" 2249struct timerqueue_node { 2250 struct rb_node node ; 2251 ktime_t expires ; 2252}; 2253#line 13 "include/linux/timerqueue.h" 2254struct timerqueue_head { 2255 struct rb_root head ; 2256 struct timerqueue_node *next ; 2257}; 2258#line 27 "include/linux/hrtimer.h" 2259struct hrtimer_clock_base; 2260#line 27 2261struct hrtimer_clock_base; 2262#line 27 2263struct hrtimer_clock_base; 2264#line 27 2265struct hrtimer_clock_base; 2266#line 28 2267struct hrtimer_cpu_base; 2268#line 28 2269struct hrtimer_cpu_base; 2270#line 28 2271struct hrtimer_cpu_base; 2272#line 28 2273struct hrtimer_cpu_base; 2274#line 44 2275enum hrtimer_restart { 2276 HRTIMER_NORESTART = 0, 2277 HRTIMER_RESTART = 1 2278} ; 2279#line 108 "include/linux/hrtimer.h" 2280struct hrtimer { 2281 struct timerqueue_node node ; 2282 ktime_t _softexpires ; 2283 enum hrtimer_restart (*function)(struct hrtimer * ) ; 2284 struct hrtimer_clock_base *base ; 2285 unsigned long state ; 2286 int start_pid ; 2287 void *start_site ; 2288 char start_comm[16] ; 2289}; 2290#line 145 "include/linux/hrtimer.h" 2291struct hrtimer_clock_base { 2292 struct hrtimer_cpu_base *cpu_base ; 2293 int index ; 2294 clockid_t clockid ; 2295 struct timerqueue_head active ; 2296 ktime_t resolution ; 2297 ktime_t (*get_time)(void) ; 2298 ktime_t softirq_time ; 2299 ktime_t offset ; 2300}; 2301#line 178 "include/linux/hrtimer.h" 2302struct hrtimer_cpu_base { 2303 raw_spinlock_t lock ; 2304 unsigned long active_bases ; 2305 ktime_t expires_next ; 2306 int hres_active ; 2307 int hang_detected ; 2308 unsigned long nr_events ; 2309 unsigned long nr_retries ; 2310 unsigned long nr_hangs ; 2311 ktime_t max_hang_time ; 2312 struct hrtimer_clock_base clock_base[3] ; 2313}; 2314#line 94 "include/linux/skbuff.h" 2315struct net_device; 2316#line 94 2317struct net_device; 2318#line 94 2319struct net_device; 2320#line 94 2321struct net_device; 2322#line 95 2323struct scatterlist; 2324#line 96 2325struct pipe_inode_info; 2326#line 99 "include/linux/skbuff.h" 2327struct nf_conntrack { 2328 atomic_t use ; 2329}; 2330#line 105 "include/linux/skbuff.h" 2331struct nf_bridge_info { 2332 atomic_t use ; 2333 struct net_device *physindev ; 2334 struct net_device *physoutdev ; 2335 unsigned int mask ; 2336 unsigned long data[32UL / sizeof(unsigned long )] ; 2337}; 2338#line 114 "include/linux/skbuff.h" 2339struct sk_buff_head { 2340 struct sk_buff *next ; 2341 struct sk_buff *prev ; 2342 __u32 qlen ; 2343 spinlock_t lock ; 2344}; 2345#line 123 2346struct sk_buff; 2347#line 259 "include/linux/skbuff.h" 2348typedef unsigned int sk_buff_data_t; 2349#line 325 2350struct sec_path; 2351#line 325 2352struct sec_path; 2353#line 325 2354struct sec_path; 2355#line 325 "include/linux/skbuff.h" 2356struct __anonstruct____missing_field_name_225 { 2357 __u16 csum_start ; 2358 __u16 csum_offset ; 2359}; 2360#line 325 "include/linux/skbuff.h" 2361union __anonunion____missing_field_name_224 { 2362 __wsum csum ; 2363 struct __anonstruct____missing_field_name_225 __annonCompField37 ; 2364}; 2365#line 325 "include/linux/skbuff.h" 2366union __anonunion____missing_field_name_226 { 2367 __u32 mark ; 2368 __u32 dropcount ; 2369}; 2370#line 325 "include/linux/skbuff.h" 2371struct sk_buff { 2372 struct sk_buff *next ; 2373 struct sk_buff *prev ; 2374 ktime_t tstamp ; 2375 struct sock *sk ; 2376 struct net_device *dev ; 2377 char cb[48] __attribute__((__aligned__(8))) ; 2378 unsigned long _skb_refdst ; 2379 struct sec_path *sp ; 2380 unsigned int len ; 2381 unsigned int data_len ; 2382 __u16 mac_len ; 2383 __u16 hdr_len ; 2384 union __anonunion____missing_field_name_224 __annonCompField38 ; 2385 __u32 priority ; 2386 __u8 local_df : 1 ; 2387 __u8 cloned : 1 ; 2388 __u8 ip_summed : 2 ; 2389 __u8 nohdr : 1 ; 2390 __u8 nfctinfo : 3 ; 2391 __u8 pkt_type : 3 ; 2392 __u8 fclone : 2 ; 2393 __u8 ipvs_property : 1 ; 2394 __u8 peeked : 1 ; 2395 __u8 nf_trace : 1 ; 2396 __be16 protocol ; 2397 void (*destructor)(struct sk_buff *skb ) ; 2398 struct nf_conntrack *nfct ; 2399 struct sk_buff *nfct_reasm ; 2400 struct nf_bridge_info *nf_bridge ; 2401 int skb_iif ; 2402 __u16 tc_index ; 2403 __u16 tc_verd ; 2404 __u32 rxhash ; 2405 __u16 queue_mapping ; 2406 __u8 ndisc_nodetype : 2 ; 2407 __u8 ooo_okay : 1 ; 2408 dma_cookie_t dma_cookie ; 2409 __u32 secmark ; 2410 union __anonunion____missing_field_name_226 __annonCompField39 ; 2411 __u16 vlan_tci ; 2412 sk_buff_data_t transport_header ; 2413 sk_buff_data_t network_header ; 2414 sk_buff_data_t mac_header ; 2415 sk_buff_data_t tail ; 2416 sk_buff_data_t end ; 2417 unsigned char *head ; 2418 unsigned char *data ; 2419 unsigned int truesize ; 2420 atomic_t users ; 2421}; 2422#line 450 2423struct dst_entry; 2424#line 450 2425struct dst_entry; 2426#line 450 2427struct dst_entry; 2428#line 125 "include/linux/netlink.h" 2429struct nlattr { 2430 __u16 nla_len ; 2431 __u16 nla_type ; 2432}; 2433#line 18 "include/linux/capability.h" 2434struct task_struct; 2435#line 94 "include/linux/capability.h" 2436struct kernel_cap_struct { 2437 __u32 cap[2] ; 2438}; 2439#line 94 "include/linux/capability.h" 2440typedef struct kernel_cap_struct kernel_cap_t; 2441#line 376 2442struct dentry; 2443#line 376 2444struct dentry; 2445#line 376 2446struct dentry; 2447#line 376 2448struct dentry; 2449#line 377 2450struct user_namespace; 2451#line 377 2452struct user_namespace; 2453#line 377 2454struct user_namespace; 2455#line 377 2456struct user_namespace; 2457#line 153 "include/linux/netlink.h" 2458struct net; 2459#line 41 "include/linux/if_link.h" 2460struct rtnl_link_stats64 { 2461 __u64 rx_packets ; 2462 __u64 tx_packets ; 2463 __u64 rx_bytes ; 2464 __u64 tx_bytes ; 2465 __u64 rx_errors ; 2466 __u64 tx_errors ; 2467 __u64 rx_dropped ; 2468 __u64 tx_dropped ; 2469 __u64 multicast ; 2470 __u64 collisions ; 2471 __u64 rx_length_errors ; 2472 __u64 rx_over_errors ; 2473 __u64 rx_crc_errors ; 2474 __u64 rx_frame_errors ; 2475 __u64 rx_fifo_errors ; 2476 __u64 rx_missed_errors ; 2477 __u64 tx_aborted_errors ; 2478 __u64 tx_carrier_errors ; 2479 __u64 tx_fifo_errors ; 2480 __u64 tx_heartbeat_errors ; 2481 __u64 tx_window_errors ; 2482 __u64 rx_compressed ; 2483 __u64 tx_compressed ; 2484}; 2485#line 303 "include/linux/if_link.h" 2486struct ifla_vf_info { 2487 __u32 vf ; 2488 __u8 mac[32] ; 2489 __u32 vlan ; 2490 __u32 qos ; 2491 __u32 tx_rate ; 2492}; 2493#line 82 "include/linux/plist.h" 2494struct plist_head { 2495 struct list_head node_list ; 2496 raw_spinlock_t *rawlock ; 2497 spinlock_t *spinlock ; 2498}; 2499#line 90 "include/linux/plist.h" 2500struct plist_node { 2501 int prio ; 2502 struct list_head prio_list ; 2503 struct list_head node_list ; 2504}; 2505#line 45 "include/linux/miscdevice.h" 2506struct device; 2507#line 47 2508struct file_operations; 2509#line 47 2510struct file_operations; 2511#line 47 2512struct file_operations; 2513#line 23 "include/linux/pm_qos_params.h" 2514struct pm_qos_request_list { 2515 struct plist_node list ; 2516 int pm_qos_class ; 2517}; 2518#line 84 "include/linux/sem.h" 2519struct task_struct; 2520#line 122 2521struct sem_undo_list; 2522#line 122 2523struct sem_undo_list; 2524#line 122 2525struct sem_undo_list; 2526#line 135 "include/linux/sem.h" 2527struct sem_undo_list { 2528 atomic_t refcnt ; 2529 spinlock_t lock ; 2530 struct list_head list_proc ; 2531}; 2532#line 141 "include/linux/sem.h" 2533struct sysv_sem { 2534 struct sem_undo_list *undo_list ; 2535}; 2536#line 15 "include/linux/blk_types.h" 2537struct page; 2538#line 16 2539struct block_device; 2540#line 16 2541struct block_device; 2542#line 16 2543struct block_device; 2544#line 16 2545struct block_device; 2546#line 33 "include/linux/list_bl.h" 2547struct hlist_bl_node; 2548#line 33 2549struct hlist_bl_node; 2550#line 33 2551struct hlist_bl_node; 2552#line 33 "include/linux/list_bl.h" 2553struct hlist_bl_head { 2554 struct hlist_bl_node *first ; 2555}; 2556#line 37 "include/linux/list_bl.h" 2557struct hlist_bl_node { 2558 struct hlist_bl_node *next ; 2559 struct hlist_bl_node **pprev ; 2560}; 2561#line 13 "include/linux/dcache.h" 2562struct nameidata; 2563#line 13 2564struct nameidata; 2565#line 13 2566struct nameidata; 2567#line 13 2568struct nameidata; 2569#line 14 2570struct path; 2571#line 14 2572struct path; 2573#line 14 2574struct path; 2575#line 14 2576struct path; 2577#line 15 2578struct vfsmount; 2579#line 15 2580struct vfsmount; 2581#line 15 2582struct vfsmount; 2583#line 15 2584struct vfsmount; 2585#line 35 "include/linux/dcache.h" 2586struct qstr { 2587 unsigned int hash ; 2588 unsigned int len ; 2589 unsigned char const *name ; 2590}; 2591#line 116 2592struct dentry_operations; 2593#line 116 2594struct dentry_operations; 2595#line 116 2596struct dentry_operations; 2597#line 116 2598struct super_block; 2599#line 116 2600struct super_block; 2601#line 116 2602struct super_block; 2603#line 116 "include/linux/dcache.h" 2604union __anonunion_d_u_242 { 2605 struct list_head d_child ; 2606 struct rcu_head d_rcu ; 2607}; 2608#line 116 "include/linux/dcache.h" 2609struct dentry { 2610 unsigned int d_flags ; 2611 seqcount_t d_seq ; 2612 struct hlist_bl_node d_hash ; 2613 struct dentry *d_parent ; 2614 struct qstr d_name ; 2615 struct inode *d_inode ; 2616 unsigned char d_iname[32] ; 2617 unsigned int d_count ; 2618 spinlock_t d_lock ; 2619 struct dentry_operations const *d_op ; 2620 struct super_block *d_sb ; 2621 unsigned long d_time ; 2622 void *d_fsdata ; 2623 struct list_head d_lru ; 2624 union __anonunion_d_u_242 d_u ; 2625 struct list_head d_subdirs ; 2626 struct list_head d_alias ; 2627}; 2628#line 159 "include/linux/dcache.h" 2629struct dentry_operations { 2630 int (*d_revalidate)(struct dentry * , struct nameidata * ) ; 2631 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ; 2632 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * , 2633 struct inode const * , unsigned int , char const * , struct qstr const * ) ; 2634 int (*d_delete)(struct dentry const * ) ; 2635 void (*d_release)(struct dentry * ) ; 2636 void (*d_iput)(struct dentry * , struct inode * ) ; 2637 char *(*d_dname)(struct dentry * , char * , int ) ; 2638 struct vfsmount *(*d_automount)(struct path * ) ; 2639 int (*d_manage)(struct dentry * , bool ) ; 2640} __attribute__((__aligned__((1) << (6) ))) ; 2641#line 4 "include/linux/path.h" 2642struct dentry; 2643#line 5 2644struct vfsmount; 2645#line 7 "include/linux/path.h" 2646struct path { 2647 struct vfsmount *mnt ; 2648 struct dentry *dentry ; 2649}; 2650#line 57 "include/linux/radix-tree.h" 2651struct radix_tree_node; 2652#line 57 2653struct radix_tree_node; 2654#line 57 2655struct radix_tree_node; 2656#line 57 "include/linux/radix-tree.h" 2657struct radix_tree_root { 2658 unsigned int height ; 2659 gfp_t gfp_mask ; 2660 struct radix_tree_node *rnode ; 2661}; 2662#line 6 "include/linux/pid.h" 2663enum pid_type { 2664 PIDTYPE_PID = 0, 2665 PIDTYPE_PGID = 1, 2666 PIDTYPE_SID = 2, 2667 PIDTYPE_MAX = 3 2668} ; 2669#line 50 2670struct pid_namespace; 2671#line 50 2672struct pid_namespace; 2673#line 50 2674struct pid_namespace; 2675#line 50 "include/linux/pid.h" 2676struct upid { 2677 int nr ; 2678 struct pid_namespace *ns ; 2679 struct hlist_node pid_chain ; 2680}; 2681#line 57 "include/linux/pid.h" 2682struct pid { 2683 atomic_t count ; 2684 unsigned int level ; 2685 struct hlist_head tasks[3] ; 2686 struct rcu_head rcu ; 2687 struct upid numbers[1] ; 2688}; 2689#line 69 "include/linux/pid.h" 2690struct pid_link { 2691 struct hlist_node node ; 2692 struct pid *pid ; 2693}; 2694#line 100 2695struct pid_namespace; 2696#line 16 "include/linux/fiemap.h" 2697struct fiemap_extent { 2698 __u64 fe_logical ; 2699 __u64 fe_physical ; 2700 __u64 fe_length ; 2701 __u64 fe_reserved64[2] ; 2702 __u32 fe_flags ; 2703 __u32 fe_reserved[3] ; 2704}; 2705#line 399 "include/linux/fs.h" 2706struct export_operations; 2707#line 399 2708struct export_operations; 2709#line 399 2710struct export_operations; 2711#line 399 2712struct export_operations; 2713#line 401 2714struct iovec; 2715#line 402 2716struct nameidata; 2717#line 403 2718struct kiocb; 2719#line 404 2720struct kobject; 2721#line 405 2722struct pipe_inode_info; 2723#line 406 2724struct poll_table_struct; 2725#line 407 2726struct kstatfs; 2727#line 407 2728struct kstatfs; 2729#line 407 2730struct kstatfs; 2731#line 407 2732struct kstatfs; 2733#line 408 2734struct vm_area_struct; 2735#line 409 2736struct vfsmount; 2737#line 410 2738struct cred; 2739#line 460 "include/linux/fs.h" 2740struct iattr { 2741 unsigned int ia_valid ; 2742 umode_t ia_mode ; 2743 uid_t ia_uid ; 2744 gid_t ia_gid ; 2745 loff_t ia_size ; 2746 struct timespec ia_atime ; 2747 struct timespec ia_mtime ; 2748 struct timespec ia_ctime ; 2749 struct file *ia_file ; 2750}; 2751#line 129 "include/linux/quota.h" 2752struct if_dqinfo { 2753 __u64 dqi_bgrace ; 2754 __u64 dqi_igrace ; 2755 __u32 dqi_flags ; 2756 __u32 dqi_valid ; 2757}; 2758#line 18 "include/linux/percpu_counter.h" 2759struct percpu_counter { 2760 spinlock_t lock ; 2761 s64 count ; 2762 struct list_head list ; 2763 s32 *counters ; 2764}; 2765#line 50 "include/linux/dqblk_xfs.h" 2766struct fs_disk_quota { 2767 __s8 d_version ; 2768 __s8 d_flags ; 2769 __u16 d_fieldmask ; 2770 __u32 d_id ; 2771 __u64 d_blk_hardlimit ; 2772 __u64 d_blk_softlimit ; 2773 __u64 d_ino_hardlimit ; 2774 __u64 d_ino_softlimit ; 2775 __u64 d_bcount ; 2776 __u64 d_icount ; 2777 __s32 d_itimer ; 2778 __s32 d_btimer ; 2779 __u16 d_iwarns ; 2780 __u16 d_bwarns ; 2781 __s32 d_padding2 ; 2782 __u64 d_rtb_hardlimit ; 2783 __u64 d_rtb_softlimit ; 2784 __u64 d_rtbcount ; 2785 __s32 d_rtbtimer ; 2786 __u16 d_rtbwarns ; 2787 __s16 d_padding3 ; 2788 char d_padding4[8] ; 2789}; 2790#line 146 "include/linux/dqblk_xfs.h" 2791struct fs_qfilestat { 2792 __u64 qfs_ino ; 2793 __u64 qfs_nblks ; 2794 __u32 qfs_nextents ; 2795}; 2796#line 146 "include/linux/dqblk_xfs.h" 2797typedef struct fs_qfilestat fs_qfilestat_t; 2798#line 152 "include/linux/dqblk_xfs.h" 2799struct fs_quota_stat { 2800 __s8 qs_version ; 2801 __u16 qs_flags ; 2802 __s8 qs_pad ; 2803 fs_qfilestat_t qs_uquota ; 2804 fs_qfilestat_t qs_gquota ; 2805 __u32 qs_incoredqs ; 2806 __s32 qs_btimelimit ; 2807 __s32 qs_itimelimit ; 2808 __s32 qs_rtbtimelimit ; 2809 __u16 qs_bwarnlimit ; 2810 __u16 qs_iwarnlimit ; 2811}; 2812#line 17 "include/linux/dqblk_qtree.h" 2813struct dquot; 2814#line 17 2815struct dquot; 2816#line 17 2817struct dquot; 2818#line 17 2819struct dquot; 2820#line 185 "include/linux/quota.h" 2821typedef __kernel_uid32_t qid_t; 2822#line 186 "include/linux/quota.h" 2823typedef long long qsize_t; 2824#line 200 "include/linux/quota.h" 2825struct mem_dqblk { 2826 qsize_t dqb_bhardlimit ; 2827 qsize_t dqb_bsoftlimit ; 2828 qsize_t dqb_curspace ; 2829 qsize_t dqb_rsvspace ; 2830 qsize_t dqb_ihardlimit ; 2831 qsize_t dqb_isoftlimit ; 2832 qsize_t dqb_curinodes ; 2833 time_t dqb_btime ; 2834 time_t dqb_itime ; 2835}; 2836#line 215 2837struct quota_format_type; 2838#line 215 2839struct quota_format_type; 2840#line 215 2841struct quota_format_type; 2842#line 215 2843struct quota_format_type; 2844#line 217 "include/linux/quota.h" 2845struct mem_dqinfo { 2846 struct quota_format_type *dqi_format ; 2847 int dqi_fmt_id ; 2848 struct list_head dqi_dirty_list ; 2849 unsigned long dqi_flags ; 2850 unsigned int dqi_bgrace ; 2851 unsigned int dqi_igrace ; 2852 qsize_t dqi_maxblimit ; 2853 qsize_t dqi_maxilimit ; 2854 void *dqi_priv ; 2855}; 2856#line 230 2857struct super_block; 2858#line 284 "include/linux/quota.h" 2859struct dquot { 2860 struct hlist_node dq_hash ; 2861 struct list_head dq_inuse ; 2862 struct list_head dq_free ; 2863 struct list_head dq_dirty ; 2864 struct mutex dq_lock ; 2865 atomic_t dq_count ; 2866 wait_queue_head_t dq_wait_unused ; 2867 struct super_block *dq_sb ; 2868 unsigned int dq_id ; 2869 loff_t dq_off ; 2870 unsigned long dq_flags ; 2871 short dq_type ; 2872 struct mem_dqblk dq_dqb ; 2873}; 2874#line 301 "include/linux/quota.h" 2875struct quota_format_ops { 2876 int (*check_quota_file)(struct super_block *sb , int type ) ; 2877 int (*read_file_info)(struct super_block *sb , int type ) ; 2878 int (*write_file_info)(struct super_block *sb , int type ) ; 2879 int (*free_file_info)(struct super_block *sb , int type ) ; 2880 int (*read_dqblk)(struct dquot *dquot ) ; 2881 int (*commit_dqblk)(struct dquot *dquot ) ; 2882 int (*release_dqblk)(struct dquot *dquot ) ; 2883}; 2884#line 312 "include/linux/quota.h" 2885struct dquot_operations { 2886 int (*write_dquot)(struct dquot * ) ; 2887 struct dquot *(*alloc_dquot)(struct super_block * , int ) ; 2888 void (*destroy_dquot)(struct dquot * ) ; 2889 int (*acquire_dquot)(struct dquot * ) ; 2890 int (*release_dquot)(struct dquot * ) ; 2891 int (*mark_dirty)(struct dquot * ) ; 2892 int (*write_info)(struct super_block * , int ) ; 2893 qsize_t *(*get_reserved_space)(struct inode * ) ; 2894}; 2895#line 325 2896struct path; 2897#line 328 "include/linux/quota.h" 2898struct quotactl_ops { 2899 int (*quota_on)(struct super_block * , int , int , struct path * ) ; 2900 int (*quota_on_meta)(struct super_block * , int , int ) ; 2901 int (*quota_off)(struct super_block * , int ) ; 2902 int (*quota_sync)(struct super_block * , int , int ) ; 2903 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ; 2904 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ; 2905 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ; 2906 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ; 2907 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ; 2908 int (*set_xstate)(struct super_block * , unsigned int , int ) ; 2909}; 2910#line 341 "include/linux/quota.h" 2911struct quota_format_type { 2912 int qf_fmt_id ; 2913 struct quota_format_ops const *qf_ops ; 2914 struct module *qf_owner ; 2915 struct quota_format_type *qf_next ; 2916}; 2917#line 395 "include/linux/quota.h" 2918struct quota_info { 2919 unsigned int flags ; 2920 struct mutex dqio_mutex ; 2921 struct mutex dqonoff_mutex ; 2922 struct rw_semaphore dqptr_sem ; 2923 struct inode *files[2] ; 2924 struct mem_dqinfo info[2] ; 2925 struct quota_format_ops const *ops[2] ; 2926}; 2927#line 523 "include/linux/fs.h" 2928struct page; 2929#line 524 2930struct address_space; 2931#line 525 2932struct writeback_control; 2933#line 568 "include/linux/fs.h" 2934union __anonunion_arg_249 { 2935 char *buf ; 2936 void *data ; 2937}; 2938#line 568 "include/linux/fs.h" 2939struct __anonstruct_read_descriptor_t_248 { 2940 size_t written ; 2941 size_t count ; 2942 union __anonunion_arg_249 arg ; 2943 int error ; 2944}; 2945#line 568 "include/linux/fs.h" 2946typedef struct __anonstruct_read_descriptor_t_248 read_descriptor_t; 2947#line 581 "include/linux/fs.h" 2948struct address_space_operations { 2949 int (*writepage)(struct page *page , struct writeback_control *wbc ) ; 2950 int (*readpage)(struct file * , struct page * ) ; 2951 int (*writepages)(struct address_space * , struct writeback_control * ) ; 2952 int (*set_page_dirty)(struct page *page ) ; 2953 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages , 2954 unsigned int nr_pages ) ; 2955 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos , 2956 unsigned int len , unsigned int flags , struct page **pagep , 2957 void **fsdata ) ; 2958 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len , 2959 unsigned int copied , struct page *page , void *fsdata ) ; 2960 sector_t (*bmap)(struct address_space * , sector_t ) ; 2961 void (*invalidatepage)(struct page * , unsigned long ) ; 2962 int (*releasepage)(struct page * , gfp_t ) ; 2963 void (*freepage)(struct page * ) ; 2964 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset , 2965 unsigned long nr_segs ) ; 2966 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ; 2967 int (*migratepage)(struct address_space * , struct page * , struct page * ) ; 2968 int (*launder_page)(struct page * ) ; 2969 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ; 2970 int (*error_remove_page)(struct address_space * , struct page * ) ; 2971}; 2972#line 633 2973struct backing_dev_info; 2974#line 633 2975struct backing_dev_info; 2976#line 633 2977struct backing_dev_info; 2978#line 633 2979struct backing_dev_info; 2980#line 634 "include/linux/fs.h" 2981struct address_space { 2982 struct inode *host ; 2983 struct radix_tree_root page_tree ; 2984 spinlock_t tree_lock ; 2985 unsigned int i_mmap_writable ; 2986 struct prio_tree_root i_mmap ; 2987 struct list_head i_mmap_nonlinear ; 2988 struct mutex i_mmap_mutex ; 2989 unsigned long nrpages ; 2990 unsigned long writeback_index ; 2991 struct address_space_operations const *a_ops ; 2992 unsigned long flags ; 2993 struct backing_dev_info *backing_dev_info ; 2994 spinlock_t private_lock ; 2995 struct list_head private_list ; 2996 struct address_space *assoc_mapping ; 2997} __attribute__((__aligned__(sizeof(long )))) ; 2998#line 658 2999struct hd_struct; 3000#line 658 3001struct hd_struct; 3002#line 658 3003struct hd_struct; 3004#line 658 3005struct gendisk; 3006#line 658 3007struct gendisk; 3008#line 658 3009struct gendisk; 3010#line 658 "include/linux/fs.h" 3011struct block_device { 3012 dev_t bd_dev ; 3013 int bd_openers ; 3014 struct inode *bd_inode ; 3015 struct super_block *bd_super ; 3016 struct mutex bd_mutex ; 3017 struct list_head bd_inodes ; 3018 void *bd_claiming ; 3019 void *bd_holder ; 3020 int bd_holders ; 3021 bool bd_write_holder ; 3022 struct list_head bd_holder_disks ; 3023 struct block_device *bd_contains ; 3024 unsigned int bd_block_size ; 3025 struct hd_struct *bd_part ; 3026 unsigned int bd_part_count ; 3027 int bd_invalidated ; 3028 struct gendisk *bd_disk ; 3029 struct list_head bd_list ; 3030 unsigned long bd_private ; 3031 int bd_fsfreeze_count ; 3032 struct mutex bd_fsfreeze_mutex ; 3033}; 3034#line 735 3035struct posix_acl; 3036#line 735 3037struct posix_acl; 3038#line 735 3039struct posix_acl; 3040#line 735 3041struct posix_acl; 3042#line 738 3043struct inode_operations; 3044#line 738 3045struct inode_operations; 3046#line 738 3047struct inode_operations; 3048#line 738 "include/linux/fs.h" 3049union __anonunion____missing_field_name_250 { 3050 struct list_head i_dentry ; 3051 struct rcu_head i_rcu ; 3052}; 3053#line 738 3054struct file_lock; 3055#line 738 3056struct file_lock; 3057#line 738 3058struct file_lock; 3059#line 738 3060struct cdev; 3061#line 738 3062struct cdev; 3063#line 738 3064struct cdev; 3065#line 738 "include/linux/fs.h" 3066union __anonunion____missing_field_name_251 { 3067 struct pipe_inode_info *i_pipe ; 3068 struct block_device *i_bdev ; 3069 struct cdev *i_cdev ; 3070}; 3071#line 738 "include/linux/fs.h" 3072struct inode { 3073 umode_t i_mode ; 3074 uid_t i_uid ; 3075 gid_t i_gid ; 3076 struct inode_operations const *i_op ; 3077 struct super_block *i_sb ; 3078 spinlock_t i_lock ; 3079 unsigned int i_flags ; 3080 unsigned long i_state ; 3081 void *i_security ; 3082 struct mutex i_mutex ; 3083 unsigned long dirtied_when ; 3084 struct hlist_node i_hash ; 3085 struct list_head i_wb_list ; 3086 struct list_head i_lru ; 3087 struct list_head i_sb_list ; 3088 union __anonunion____missing_field_name_250 __annonCompField40 ; 3089 unsigned long i_ino ; 3090 atomic_t i_count ; 3091 unsigned int i_nlink ; 3092 dev_t i_rdev ; 3093 unsigned int i_blkbits ; 3094 u64 i_version ; 3095 loff_t i_size ; 3096 struct timespec i_atime ; 3097 struct timespec i_mtime ; 3098 struct timespec i_ctime ; 3099 blkcnt_t i_blocks ; 3100 unsigned short i_bytes ; 3101 struct rw_semaphore i_alloc_sem ; 3102 struct file_operations const *i_fop ; 3103 struct file_lock *i_flock ; 3104 struct address_space *i_mapping ; 3105 struct address_space i_data ; 3106 struct dquot *i_dquot[2] ; 3107 struct list_head i_devices ; 3108 union __anonunion____missing_field_name_251 __annonCompField41 ; 3109 __u32 i_generation ; 3110 __u32 i_fsnotify_mask ; 3111 struct hlist_head i_fsnotify_marks ; 3112 atomic_t i_readcount ; 3113 atomic_t i_writecount ; 3114 struct posix_acl *i_acl ; 3115 struct posix_acl *i_default_acl ; 3116 void *i_private ; 3117}; 3118#line 903 "include/linux/fs.h" 3119struct fown_struct { 3120 rwlock_t lock ; 3121 struct pid *pid ; 3122 enum pid_type pid_type ; 3123 uid_t uid ; 3124 uid_t euid ; 3125 int signum ; 3126}; 3127#line 914 "include/linux/fs.h" 3128struct file_ra_state { 3129 unsigned long start ; 3130 unsigned int size ; 3131 unsigned int async_size ; 3132 unsigned int ra_pages ; 3133 unsigned int mmap_miss ; 3134 loff_t prev_pos ; 3135}; 3136#line 937 "include/linux/fs.h" 3137union __anonunion_f_u_252 { 3138 struct list_head fu_list ; 3139 struct rcu_head fu_rcuhead ; 3140}; 3141#line 937 "include/linux/fs.h" 3142struct file { 3143 union __anonunion_f_u_252 f_u ; 3144 struct path f_path ; 3145 struct file_operations const *f_op ; 3146 spinlock_t f_lock ; 3147 int f_sb_list_cpu ; 3148 atomic_long_t f_count ; 3149 unsigned int f_flags ; 3150 fmode_t f_mode ; 3151 loff_t f_pos ; 3152 struct fown_struct f_owner ; 3153 struct cred const *f_cred ; 3154 struct file_ra_state f_ra ; 3155 u64 f_version ; 3156 void *f_security ; 3157 void *private_data ; 3158 struct list_head f_ep_links ; 3159 struct address_space *f_mapping ; 3160 unsigned long f_mnt_write_state ; 3161}; 3162#line 1064 3163struct files_struct; 3164#line 1064 3165struct files_struct; 3166#line 1064 3167struct files_struct; 3168#line 1064 "include/linux/fs.h" 3169typedef struct files_struct *fl_owner_t; 3170#line 1066 "include/linux/fs.h" 3171struct file_lock_operations { 3172 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ; 3173 void (*fl_release_private)(struct file_lock * ) ; 3174}; 3175#line 1071 "include/linux/fs.h" 3176struct lock_manager_operations { 3177 int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ; 3178 void (*fl_notify)(struct file_lock * ) ; 3179 int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ; 3180 void (*fl_release_private)(struct file_lock * ) ; 3181 void (*fl_break)(struct file_lock * ) ; 3182 int (*fl_change)(struct file_lock ** , int ) ; 3183}; 3184#line 8 "include/linux/nfs_fs_i.h" 3185struct nlm_lockowner; 3186#line 8 3187struct nlm_lockowner; 3188#line 8 3189struct nlm_lockowner; 3190#line 8 3191struct nlm_lockowner; 3192#line 13 "include/linux/nfs_fs_i.h" 3193struct nfs_lock_info { 3194 u32 state ; 3195 struct nlm_lockowner *owner ; 3196 struct list_head list ; 3197}; 3198#line 19 3199struct nfs4_lock_state; 3200#line 19 3201struct nfs4_lock_state; 3202#line 19 3203struct nfs4_lock_state; 3204#line 19 3205struct nfs4_lock_state; 3206#line 20 "include/linux/nfs_fs_i.h" 3207struct nfs4_lock_info { 3208 struct nfs4_lock_state *owner ; 3209}; 3210#line 1091 "include/linux/fs.h" 3211struct __anonstruct_afs_254 { 3212 struct list_head link ; 3213 int state ; 3214}; 3215#line 1091 "include/linux/fs.h" 3216union __anonunion_fl_u_253 { 3217 struct nfs_lock_info nfs_fl ; 3218 struct nfs4_lock_info nfs4_fl ; 3219 struct __anonstruct_afs_254 afs ; 3220}; 3221#line 1091 "include/linux/fs.h" 3222struct file_lock { 3223 struct file_lock *fl_next ; 3224 struct list_head fl_link ; 3225 struct list_head fl_block ; 3226 fl_owner_t fl_owner ; 3227 unsigned char fl_flags ; 3228 unsigned char fl_type ; 3229 unsigned int fl_pid ; 3230 struct pid *fl_nspid ; 3231 wait_queue_head_t fl_wait ; 3232 struct file *fl_file ; 3233 loff_t fl_start ; 3234 loff_t fl_end ; 3235 struct fasync_struct *fl_fasync ; 3236 unsigned long fl_break_time ; 3237 struct file_lock_operations const *fl_ops ; 3238 struct lock_manager_operations const *fl_lmops ; 3239 union __anonunion_fl_u_253 fl_u ; 3240}; 3241#line 1324 "include/linux/fs.h" 3242struct fasync_struct { 3243 spinlock_t fa_lock ; 3244 int magic ; 3245 int fa_fd ; 3246 struct fasync_struct *fa_next ; 3247 struct file *fa_file ; 3248 struct rcu_head fa_rcu ; 3249}; 3250#line 1364 3251struct file_system_type; 3252#line 1364 3253struct file_system_type; 3254#line 1364 3255struct file_system_type; 3256#line 1364 3257struct super_operations; 3258#line 1364 3259struct super_operations; 3260#line 1364 3261struct super_operations; 3262#line 1364 3263struct xattr_handler; 3264#line 1364 3265struct xattr_handler; 3266#line 1364 3267struct xattr_handler; 3268#line 1364 3269struct mtd_info; 3270#line 1364 3271struct mtd_info; 3272#line 1364 3273struct mtd_info; 3274#line 1364 "include/linux/fs.h" 3275struct super_block { 3276 struct list_head s_list ; 3277 dev_t s_dev ; 3278 unsigned char s_dirt ; 3279 unsigned char s_blocksize_bits ; 3280 unsigned long s_blocksize ; 3281 loff_t s_maxbytes ; 3282 struct file_system_type *s_type ; 3283 struct super_operations const *s_op ; 3284 struct dquot_operations const *dq_op ; 3285 struct quotactl_ops const *s_qcop ; 3286 struct export_operations const *s_export_op ; 3287 unsigned long s_flags ; 3288 unsigned long s_magic ; 3289 struct dentry *s_root ; 3290 struct rw_semaphore s_umount ; 3291 struct mutex s_lock ; 3292 int s_count ; 3293 atomic_t s_active ; 3294 void *s_security ; 3295 struct xattr_handler const **s_xattr ; 3296 struct list_head s_inodes ; 3297 struct hlist_bl_head s_anon ; 3298 struct list_head *s_files ; 3299 struct list_head s_dentry_lru ; 3300 int s_nr_dentry_unused ; 3301 struct block_device *s_bdev ; 3302 struct backing_dev_info *s_bdi ; 3303 struct mtd_info *s_mtd ; 3304 struct list_head s_instances ; 3305 struct quota_info s_dquot ; 3306 int s_frozen ; 3307 wait_queue_head_t s_wait_unfrozen ; 3308 char s_id[32] ; 3309 u8 s_uuid[16] ; 3310 void *s_fs_info ; 3311 fmode_t s_mode ; 3312 u32 s_time_gran ; 3313 struct mutex s_vfs_rename_mutex ; 3314 char *s_subtype ; 3315 char *s_options ; 3316 struct dentry_operations const *s_d_op ; 3317 int cleancache_poolid ; 3318}; 3319#line 1499 "include/linux/fs.h" 3320struct fiemap_extent_info { 3321 unsigned int fi_flags ; 3322 unsigned int fi_extents_mapped ; 3323 unsigned int fi_extents_max ; 3324 struct fiemap_extent *fi_extents_start ; 3325}; 3326#line 1546 "include/linux/fs.h" 3327struct file_operations { 3328 struct module *owner ; 3329 loff_t (*llseek)(struct file * , loff_t , int ) ; 3330 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ; 3331 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ; 3332 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long , 3333 loff_t ) ; 3334 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long , 3335 loff_t ) ; 3336 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int , 3337 loff_t , u64 , unsigned int ) ) ; 3338 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ; 3339 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ; 3340 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ; 3341 int (*mmap)(struct file * , struct vm_area_struct * ) ; 3342 int (*open)(struct inode * , struct file * ) ; 3343 int (*flush)(struct file * , fl_owner_t id ) ; 3344 int (*release)(struct inode * , struct file * ) ; 3345 int (*fsync)(struct file * , int datasync ) ; 3346 int (*aio_fsync)(struct kiocb * , int datasync ) ; 3347 int (*fasync)(int , struct file * , int ) ; 3348 int (*lock)(struct file * , int , struct file_lock * ) ; 3349 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * , 3350 int ) ; 3351 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long , 3352 unsigned long , unsigned long ) ; 3353 int (*check_flags)(int ) ; 3354 int (*flock)(struct file * , int , struct file_lock * ) ; 3355 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t , 3356 unsigned int ) ; 3357 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t , 3358 unsigned int ) ; 3359 int (*setlease)(struct file * , long , struct file_lock ** ) ; 3360 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ; 3361}; 3362#line 1578 "include/linux/fs.h" 3363struct inode_operations { 3364 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ; 3365 void *(*follow_link)(struct dentry * , struct nameidata * ) ; 3366 int (*permission)(struct inode * , int , unsigned int ) ; 3367 int (*check_acl)(struct inode * , int , unsigned int ) ; 3368 int (*readlink)(struct dentry * , char * , int ) ; 3369 void (*put_link)(struct dentry * , struct nameidata * , void * ) ; 3370 int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ; 3371 int (*link)(struct dentry * , struct inode * , struct dentry * ) ; 3372 int (*unlink)(struct inode * , struct dentry * ) ; 3373 int (*symlink)(struct inode * , struct dentry * , char const * ) ; 3374 int (*mkdir)(struct inode * , struct dentry * , int ) ; 3375 int (*rmdir)(struct inode * , struct dentry * ) ; 3376 int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ; 3377 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ; 3378 void (*truncate)(struct inode * ) ; 3379 int (*setattr)(struct dentry * , struct iattr * ) ; 3380 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ; 3381 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ; 3382 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ; 3383 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ; 3384 int (*removexattr)(struct dentry * , char const * ) ; 3385 void (*truncate_range)(struct inode * , loff_t , loff_t ) ; 3386 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ; 3387} __attribute__((__aligned__((1) << (6) ))) ; 3388#line 1608 3389struct seq_file; 3390#line 1622 "include/linux/fs.h" 3391struct super_operations { 3392 struct inode *(*alloc_inode)(struct super_block *sb ) ; 3393 void (*destroy_inode)(struct inode * ) ; 3394 void (*dirty_inode)(struct inode * , int flags ) ; 3395 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ; 3396 int (*drop_inode)(struct inode * ) ; 3397 void (*evict_inode)(struct inode * ) ; 3398 void (*put_super)(struct super_block * ) ; 3399 void (*write_super)(struct super_block * ) ; 3400 int (*sync_fs)(struct super_block *sb , int wait ) ; 3401 int (*freeze_fs)(struct super_block * ) ; 3402 int (*unfreeze_fs)(struct super_block * ) ; 3403 int (*statfs)(struct dentry * , struct kstatfs * ) ; 3404 int (*remount_fs)(struct super_block * , int * , char * ) ; 3405 void (*umount_begin)(struct super_block * ) ; 3406 int (*show_options)(struct seq_file * , struct vfsmount * ) ; 3407 int (*show_devname)(struct seq_file * , struct vfsmount * ) ; 3408 int (*show_path)(struct seq_file * , struct vfsmount * ) ; 3409 int (*show_stats)(struct seq_file * , struct vfsmount * ) ; 3410 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ; 3411 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t , 3412 loff_t ) ; 3413 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ; 3414}; 3415#line 1802 "include/linux/fs.h" 3416struct file_system_type { 3417 char const *name ; 3418 int fs_flags ; 3419 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ; 3420 void (*kill_sb)(struct super_block * ) ; 3421 struct module *owner ; 3422 struct file_system_type *next ; 3423 struct list_head fs_supers ; 3424 struct lock_class_key s_lock_key ; 3425 struct lock_class_key s_umount_key ; 3426 struct lock_class_key s_vfs_rename_key ; 3427 struct lock_class_key i_lock_key ; 3428 struct lock_class_key i_mutex_key ; 3429 struct lock_class_key i_mutex_dir_key ; 3430 struct lock_class_key i_alloc_sem_key ; 3431}; 3432#line 2574 3433struct ctl_table; 3434#line 58 "include/linux/aio_abi.h" 3435struct io_event { 3436 __u64 data ; 3437 __u64 obj ; 3438 __s64 res ; 3439 __s64 res2 ; 3440}; 3441#line 7 "include/asm-generic/cputime.h" 3442typedef unsigned long cputime_t; 3443#line 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h" 3444struct siginfo; 3445#line 10 3446struct siginfo; 3447#line 10 3448struct siginfo; 3449#line 10 3450struct siginfo; 3451#line 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h" 3452struct __anonstruct_sigset_t_258 { 3453 unsigned long sig[1] ; 3454}; 3455#line 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h" 3456typedef struct __anonstruct_sigset_t_258 sigset_t; 3457#line 17 "include/asm-generic/signal-defs.h" 3458typedef void __signalfn_t(int ); 3459#line 18 "include/asm-generic/signal-defs.h" 3460typedef __signalfn_t *__sighandler_t; 3461#line 20 "include/asm-generic/signal-defs.h" 3462typedef void __restorefn_t(void); 3463#line 21 "include/asm-generic/signal-defs.h" 3464typedef __restorefn_t *__sigrestore_t; 3465#line 167 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h" 3466struct sigaction { 3467 __sighandler_t sa_handler ; 3468 unsigned long sa_flags ; 3469 __sigrestore_t sa_restorer ; 3470 sigset_t sa_mask ; 3471}; 3472#line 174 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h" 3473struct k_sigaction { 3474 struct sigaction sa ; 3475}; 3476#line 7 "include/asm-generic/siginfo.h" 3477union sigval { 3478 int sival_int ; 3479 void *sival_ptr ; 3480}; 3481#line 7 "include/asm-generic/siginfo.h" 3482typedef union sigval sigval_t; 3483#line 40 "include/asm-generic/siginfo.h" 3484struct __anonstruct__kill_260 { 3485 __kernel_pid_t _pid ; 3486 __kernel_uid32_t _uid ; 3487}; 3488#line 40 "include/asm-generic/siginfo.h" 3489struct __anonstruct__timer_261 { 3490 __kernel_timer_t _tid ; 3491 int _overrun ; 3492 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ; 3493 sigval_t _sigval ; 3494 int _sys_private ; 3495}; 3496#line 40 "include/asm-generic/siginfo.h" 3497struct __anonstruct__rt_262 { 3498 __kernel_pid_t _pid ; 3499 __kernel_uid32_t _uid ; 3500 sigval_t _sigval ; 3501}; 3502#line 40 "include/asm-generic/siginfo.h" 3503struct __anonstruct__sigchld_263 { 3504 __kernel_pid_t _pid ; 3505 __kernel_uid32_t _uid ; 3506 int _status ; 3507 __kernel_clock_t _utime ; 3508 __kernel_clock_t _stime ; 3509}; 3510#line 40 "include/asm-generic/siginfo.h" 3511struct __anonstruct__sigfault_264 { 3512 void *_addr ; 3513 short _addr_lsb ; 3514}; 3515#line 40 "include/asm-generic/siginfo.h" 3516struct __anonstruct__sigpoll_265 { 3517 long _band ; 3518 int _fd ; 3519}; 3520#line 40 "include/asm-generic/siginfo.h" 3521union __anonunion__sifields_259 { 3522 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ; 3523 struct __anonstruct__kill_260 _kill ; 3524 struct __anonstruct__timer_261 _timer ; 3525 struct __anonstruct__rt_262 _rt ; 3526 struct __anonstruct__sigchld_263 _sigchld ; 3527 struct __anonstruct__sigfault_264 _sigfault ; 3528 struct __anonstruct__sigpoll_265 _sigpoll ; 3529}; 3530#line 40 "include/asm-generic/siginfo.h" 3531struct siginfo { 3532 int si_signo ; 3533 int si_errno ; 3534 int si_code ; 3535 union __anonunion__sifields_259 _sifields ; 3536}; 3537#line 40 "include/asm-generic/siginfo.h" 3538typedef struct siginfo siginfo_t; 3539#line 280 3540struct siginfo; 3541#line 10 "include/linux/signal.h" 3542struct task_struct; 3543#line 28 "include/linux/signal.h" 3544struct sigpending { 3545 struct list_head list ; 3546 sigset_t signal ; 3547}; 3548#line 239 3549struct timespec; 3550#line 240 3551struct pt_regs; 3552#line 97 "include/linux/proportions.h" 3553struct prop_local_single { 3554 unsigned long events ; 3555 unsigned long period ; 3556 int shift ; 3557 spinlock_t lock ; 3558}; 3559#line 10 "include/linux/seccomp.h" 3560struct __anonstruct_seccomp_t_268 { 3561 int mode ; 3562}; 3563#line 10 "include/linux/seccomp.h" 3564typedef struct __anonstruct_seccomp_t_268 seccomp_t; 3565#line 40 "include/linux/rtmutex.h" 3566struct rt_mutex_waiter; 3567#line 40 3568struct rt_mutex_waiter; 3569#line 40 3570struct rt_mutex_waiter; 3571#line 40 3572struct rt_mutex_waiter; 3573#line 42 "include/linux/resource.h" 3574struct rlimit { 3575 unsigned long rlim_cur ; 3576 unsigned long rlim_max ; 3577}; 3578#line 81 3579struct task_struct; 3580#line 11 "include/linux/task_io_accounting.h" 3581struct task_io_accounting { 3582 u64 rchar ; 3583 u64 wchar ; 3584 u64 syscr ; 3585 u64 syscw ; 3586 u64 read_bytes ; 3587 u64 write_bytes ; 3588 u64 cancelled_write_bytes ; 3589}; 3590#line 18 "include/linux/latencytop.h" 3591struct latency_record { 3592 unsigned long backtrace[12] ; 3593 unsigned int count ; 3594 unsigned long time ; 3595 unsigned long max ; 3596}; 3597#line 26 3598struct task_struct; 3599#line 29 "include/linux/key.h" 3600typedef int32_t key_serial_t; 3601#line 32 "include/linux/key.h" 3602typedef uint32_t key_perm_t; 3603#line 34 3604struct key; 3605#line 34 3606struct key; 3607#line 34 3608struct key; 3609#line 34 3610struct key; 3611#line 74 3612struct seq_file; 3613#line 75 3614struct user_struct; 3615#line 76 3616struct signal_struct; 3617#line 76 3618struct signal_struct; 3619#line 76 3620struct signal_struct; 3621#line 76 3622struct signal_struct; 3623#line 77 3624struct cred; 3625#line 79 3626struct key_type; 3627#line 79 3628struct key_type; 3629#line 79 3630struct key_type; 3631#line 79 3632struct key_type; 3633#line 81 3634struct keyring_list; 3635#line 81 3636struct keyring_list; 3637#line 81 3638struct keyring_list; 3639#line 81 3640struct keyring_list; 3641#line 124 3642struct key_user; 3643#line 124 3644struct key_user; 3645#line 124 3646struct key_user; 3647#line 124 "include/linux/key.h" 3648union __anonunion____missing_field_name_269 { 3649 time_t expiry ; 3650 time_t revoked_at ; 3651}; 3652#line 124 "include/linux/key.h" 3653union __anonunion_type_data_270 { 3654 struct list_head link ; 3655 unsigned long x[2] ; 3656 void *p[2] ; 3657 int reject_error ; 3658}; 3659#line 124 "include/linux/key.h" 3660union __anonunion_payload_271 { 3661 unsigned long value ; 3662 void *rcudata ; 3663 void *data ; 3664 struct keyring_list *subscriptions ; 3665}; 3666#line 124 "include/linux/key.h" 3667struct key { 3668 atomic_t usage ; 3669 key_serial_t serial ; 3670 struct rb_node serial_node ; 3671 struct key_type *type ; 3672 struct rw_semaphore sem ; 3673 struct key_user *user ; 3674 void *security ; 3675 union __anonunion____missing_field_name_269 __annonCompField42 ; 3676 uid_t uid ; 3677 gid_t gid ; 3678 key_perm_t perm ; 3679 unsigned short quotalen ; 3680 unsigned short datalen ; 3681 unsigned long flags ; 3682 char *description ; 3683 union __anonunion_type_data_270 type_data ; 3684 union __anonunion_payload_271 payload ; 3685}; 3686#line 18 "include/linux/selinux.h" 3687struct audit_context; 3688#line 18 3689struct audit_context; 3690#line 18 3691struct audit_context; 3692#line 18 3693struct audit_context; 3694#line 21 "include/linux/cred.h" 3695struct user_struct; 3696#line 22 3697struct cred; 3698#line 23 3699struct inode; 3700#line 31 "include/linux/cred.h" 3701struct group_info { 3702 atomic_t usage ; 3703 int ngroups ; 3704 int nblocks ; 3705 gid_t small_block[32] ; 3706 gid_t *blocks[0] ; 3707}; 3708#line 83 "include/linux/cred.h" 3709struct thread_group_cred { 3710 atomic_t usage ; 3711 pid_t tgid ; 3712 spinlock_t lock ; 3713 struct key *session_keyring ; 3714 struct key *process_keyring ; 3715 struct rcu_head rcu ; 3716}; 3717#line 116 "include/linux/cred.h" 3718struct cred { 3719 atomic_t usage ; 3720 atomic_t subscribers ; 3721 void *put_addr ; 3722 unsigned int magic ; 3723 uid_t uid ; 3724 gid_t gid ; 3725 uid_t suid ; 3726 gid_t sgid ; 3727 uid_t euid ; 3728 gid_t egid ; 3729 uid_t fsuid ; 3730 gid_t fsgid ; 3731 unsigned int securebits ; 3732 kernel_cap_t cap_inheritable ; 3733 kernel_cap_t cap_permitted ; 3734 kernel_cap_t cap_effective ; 3735 kernel_cap_t cap_bset ; 3736 unsigned char jit_keyring ; 3737 struct key *thread_keyring ; 3738 struct key *request_key_auth ; 3739 struct thread_group_cred *tgcred ; 3740 void *security ; 3741 struct user_struct *user ; 3742 struct user_namespace *user_ns ; 3743 struct group_info *group_info ; 3744 struct rcu_head rcu ; 3745}; 3746#line 97 "include/linux/sched.h" 3747struct futex_pi_state; 3748#line 97 3749struct futex_pi_state; 3750#line 97 3751struct futex_pi_state; 3752#line 97 3753struct futex_pi_state; 3754#line 98 3755struct robust_list_head; 3756#line 98 3757struct robust_list_head; 3758#line 98 3759struct robust_list_head; 3760#line 98 3761struct robust_list_head; 3762#line 99 3763struct bio_list; 3764#line 99 3765struct bio_list; 3766#line 99 3767struct bio_list; 3768#line 99 3769struct bio_list; 3770#line 100 3771struct fs_struct; 3772#line 100 3773struct fs_struct; 3774#line 100 3775struct fs_struct; 3776#line 100 3777struct fs_struct; 3778#line 101 3779struct perf_event_context; 3780#line 101 3781struct perf_event_context; 3782#line 101 3783struct perf_event_context; 3784#line 101 3785struct perf_event_context; 3786#line 102 3787struct blk_plug; 3788#line 102 3789struct blk_plug; 3790#line 102 3791struct blk_plug; 3792#line 102 3793struct blk_plug; 3794#line 150 3795struct seq_file; 3796#line 151 3797struct cfs_rq; 3798#line 151 3799struct cfs_rq; 3800#line 151 3801struct cfs_rq; 3802#line 151 3803struct cfs_rq; 3804#line 259 3805struct task_struct; 3806#line 364 3807struct nsproxy; 3808#line 365 3809struct user_namespace; 3810#line 15 "include/linux/aio.h" 3811struct kioctx; 3812#line 15 3813struct kioctx; 3814#line 15 3815struct kioctx; 3816#line 15 3817struct kioctx; 3818#line 87 "include/linux/aio.h" 3819union __anonunion_ki_obj_272 { 3820 void *user ; 3821 struct task_struct *tsk ; 3822}; 3823#line 87 3824struct eventfd_ctx; 3825#line 87 3826struct eventfd_ctx; 3827#line 87 3828struct eventfd_ctx; 3829#line 87 "include/linux/aio.h" 3830struct kiocb { 3831 struct list_head ki_run_list ; 3832 unsigned long ki_flags ; 3833 int ki_users ; 3834 unsigned int ki_key ; 3835 struct file *ki_filp ; 3836 struct kioctx *ki_ctx ; 3837 int (*ki_cancel)(struct kiocb * , struct io_event * ) ; 3838 ssize_t (*ki_retry)(struct kiocb * ) ; 3839 void (*ki_dtor)(struct kiocb * ) ; 3840 union __anonunion_ki_obj_272 ki_obj ; 3841 __u64 ki_user_data ; 3842 loff_t ki_pos ; 3843 void *private ; 3844 unsigned short ki_opcode ; 3845 size_t ki_nbytes ; 3846 char *ki_buf ; 3847 size_t ki_left ; 3848 struct iovec ki_inline_vec ; 3849 struct iovec *ki_iovec ; 3850 unsigned long ki_nr_segs ; 3851 unsigned long ki_cur_seg ; 3852 struct list_head ki_list ; 3853 struct eventfd_ctx *ki_eventfd ; 3854}; 3855#line 165 "include/linux/aio.h" 3856struct aio_ring_info { 3857 unsigned long mmap_base ; 3858 unsigned long mmap_size ; 3859 struct page **ring_pages ; 3860 spinlock_t ring_lock ; 3861 long nr_pages ; 3862 unsigned int nr ; 3863 unsigned int tail ; 3864 struct page *internal_pages[8] ; 3865}; 3866#line 178 "include/linux/aio.h" 3867struct kioctx { 3868 atomic_t users ; 3869 int dead ; 3870 struct mm_struct *mm ; 3871 unsigned long user_id ; 3872 struct hlist_node list ; 3873 wait_queue_head_t wait ; 3874 spinlock_t ctx_lock ; 3875 int reqs_active ; 3876 struct list_head active_reqs ; 3877 struct list_head run_list ; 3878 unsigned int max_reqs ; 3879 struct aio_ring_info ring_info ; 3880 struct delayed_work wq ; 3881 struct rcu_head rcu_head ; 3882}; 3883#line 213 3884struct mm_struct; 3885#line 441 "include/linux/sched.h" 3886struct sighand_struct { 3887 atomic_t count ; 3888 struct k_sigaction action[64] ; 3889 spinlock_t siglock ; 3890 wait_queue_head_t signalfd_wqh ; 3891}; 3892#line 448 "include/linux/sched.h" 3893struct pacct_struct { 3894 int ac_flag ; 3895 long ac_exitcode ; 3896 unsigned long ac_mem ; 3897 cputime_t ac_utime ; 3898 cputime_t ac_stime ; 3899 unsigned long ac_minflt ; 3900 unsigned long ac_majflt ; 3901}; 3902#line 456 "include/linux/sched.h" 3903struct cpu_itimer { 3904 cputime_t expires ; 3905 cputime_t incr ; 3906 u32 error ; 3907 u32 incr_error ; 3908}; 3909#line 474 "include/linux/sched.h" 3910struct task_cputime { 3911 cputime_t utime ; 3912 cputime_t stime ; 3913 unsigned long long sum_exec_runtime ; 3914}; 3915#line 510 "include/linux/sched.h" 3916struct thread_group_cputimer { 3917 struct task_cputime cputime ; 3918 int running ; 3919 spinlock_t lock ; 3920}; 3921#line 517 3922struct autogroup; 3923#line 517 3924struct autogroup; 3925#line 517 3926struct autogroup; 3927#line 517 3928struct autogroup; 3929#line 526 3930struct tty_struct; 3931#line 526 3932struct tty_struct; 3933#line 526 3934struct tty_struct; 3935#line 526 3936struct taskstats; 3937#line 526 3938struct taskstats; 3939#line 526 3940struct taskstats; 3941#line 526 3942struct tty_audit_buf; 3943#line 526 3944struct tty_audit_buf; 3945#line 526 3946struct tty_audit_buf; 3947#line 526 "include/linux/sched.h" 3948struct signal_struct { 3949 atomic_t sigcnt ; 3950 atomic_t live ; 3951 int nr_threads ; 3952 wait_queue_head_t wait_chldexit ; 3953 struct task_struct *curr_target ; 3954 struct sigpending shared_pending ; 3955 int group_exit_code ; 3956 int notify_count ; 3957 struct task_struct *group_exit_task ; 3958 int group_stop_count ; 3959 unsigned int flags ; 3960 struct list_head posix_timers ; 3961 struct hrtimer real_timer ; 3962 struct pid *leader_pid ; 3963 ktime_t it_real_incr ; 3964 struct cpu_itimer it[2] ; 3965 struct thread_group_cputimer cputimer ; 3966 struct task_cputime cputime_expires ; 3967 struct list_head cpu_timers[3] ; 3968 struct pid *tty_old_pgrp ; 3969 int leader ; 3970 struct tty_struct *tty ; 3971 struct autogroup *autogroup ; 3972 cputime_t utime ; 3973 cputime_t stime ; 3974 cputime_t cutime ; 3975 cputime_t cstime ; 3976 cputime_t gtime ; 3977 cputime_t cgtime ; 3978 cputime_t prev_utime ; 3979 cputime_t prev_stime ; 3980 unsigned long nvcsw ; 3981 unsigned long nivcsw ; 3982 unsigned long cnvcsw ; 3983 unsigned long cnivcsw ; 3984 unsigned long min_flt ; 3985 unsigned long maj_flt ; 3986 unsigned long cmin_flt ; 3987 unsigned long cmaj_flt ; 3988 unsigned long inblock ; 3989 unsigned long oublock ; 3990 unsigned long cinblock ; 3991 unsigned long coublock ; 3992 unsigned long maxrss ; 3993 unsigned long cmaxrss ; 3994 struct task_io_accounting ioac ; 3995 unsigned long long sum_sched_runtime ; 3996 struct rlimit rlim[16] ; 3997 struct pacct_struct pacct ; 3998 struct taskstats *stats ; 3999 unsigned int audit_tty ; 4000 struct tty_audit_buf *tty_audit_buf ; 4001 struct rw_semaphore threadgroup_fork_lock ; 4002 int oom_adj ; 4003 int oom_score_adj ; 4004 int oom_score_adj_min ; 4005 struct mutex cred_guard_mutex ; 4006}; 4007#line 687 "include/linux/sched.h" 4008struct user_struct { 4009 atomic_t __count ; 4010 atomic_t processes ; 4011 atomic_t files ; 4012 atomic_t sigpending ; 4013 atomic_t inotify_watches ; 4014 atomic_t inotify_devs ; 4015 atomic_t fanotify_listeners ; 4016 atomic_long_t epoll_watches ; 4017 unsigned long mq_bytes ; 4018 unsigned long locked_shm ; 4019 struct key *uid_keyring ; 4020 struct key *session_keyring ; 4021 struct hlist_node uidhash_node ; 4022 uid_t uid ; 4023 struct user_namespace *user_ns ; 4024 atomic_long_t locked_vm ; 4025}; 4026#line 731 4027struct backing_dev_info; 4028#line 732 4029struct reclaim_state; 4030#line 732 4031struct reclaim_state; 4032#line 732 4033struct reclaim_state; 4034#line 732 4035struct reclaim_state; 4036#line 735 "include/linux/sched.h" 4037struct sched_info { 4038 unsigned long pcount ; 4039 unsigned long long run_delay ; 4040 unsigned long long last_arrival ; 4041 unsigned long long last_queued ; 4042}; 4043#line 747 "include/linux/sched.h" 4044struct task_delay_info { 4045 spinlock_t lock ; 4046 unsigned int flags ; 4047 struct timespec blkio_start ; 4048 struct timespec blkio_end ; 4049 u64 blkio_delay ; 4050 u64 swapin_delay ; 4051 u32 blkio_count ; 4052 u32 swapin_count ; 4053 struct timespec freepages_start ; 4054 struct timespec freepages_end ; 4055 u64 freepages_delay ; 4056 u32 freepages_count ; 4057}; 4058#line 1050 4059struct io_context; 4060#line 1050 4061struct io_context; 4062#line 1050 4063struct io_context; 4064#line 1050 4065struct io_context; 4066#line 1059 4067struct audit_context; 4068#line 1060 4069struct mempolicy; 4070#line 1061 4071struct pipe_inode_info; 4072#line 1064 4073struct rq; 4074#line 1064 4075struct rq; 4076#line 1064 4077struct rq; 4078#line 1064 4079struct rq; 4080#line 1084 "include/linux/sched.h" 4081struct sched_class { 4082 struct sched_class const *next ; 4083 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ; 4084 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ; 4085 void (*yield_task)(struct rq *rq ) ; 4086 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ; 4087 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ; 4088 struct task_struct *(*pick_next_task)(struct rq *rq ) ; 4089 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ; 4090 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ; 4091 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ; 4092 void (*post_schedule)(struct rq *this_rq ) ; 4093 void (*task_waking)(struct task_struct *task ) ; 4094 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ; 4095 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ; 4096 void (*rq_online)(struct rq *rq ) ; 4097 void (*rq_offline)(struct rq *rq ) ; 4098 void (*set_curr_task)(struct rq *rq ) ; 4099 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ; 4100 void (*task_fork)(struct task_struct *p ) ; 4101 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ; 4102 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ; 4103 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ; 4104 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ; 4105 void (*task_move_group)(struct task_struct *p , int on_rq ) ; 4106}; 4107#line 1129 "include/linux/sched.h" 4108struct load_weight { 4109 unsigned long weight ; 4110 unsigned long inv_weight ; 4111}; 4112#line 1134 "include/linux/sched.h" 4113struct sched_statistics { 4114 u64 wait_start ; 4115 u64 wait_max ; 4116 u64 wait_count ; 4117 u64 wait_sum ; 4118 u64 iowait_count ; 4119 u64 iowait_sum ; 4120 u64 sleep_start ; 4121 u64 sleep_max ; 4122 s64 sum_sleep_runtime ; 4123 u64 block_start ; 4124 u64 block_max ; 4125 u64 exec_max ; 4126 u64 slice_max ; 4127 u64 nr_migrations_cold ; 4128 u64 nr_failed_migrations_affine ; 4129 u64 nr_failed_migrations_running ; 4130 u64 nr_failed_migrations_hot ; 4131 u64 nr_forced_migrations ; 4132 u64 nr_wakeups ; 4133 u64 nr_wakeups_sync ; 4134 u64 nr_wakeups_migrate ; 4135 u64 nr_wakeups_local ; 4136 u64 nr_wakeups_remote ; 4137 u64 nr_wakeups_affine ; 4138 u64 nr_wakeups_affine_attempts ; 4139 u64 nr_wakeups_passive ; 4140 u64 nr_wakeups_idle ; 4141}; 4142#line 1169 "include/linux/sched.h" 4143struct sched_entity { 4144 struct load_weight load ; 4145 struct rb_node run_node ; 4146 struct list_head group_node ; 4147 unsigned int on_rq ; 4148 u64 exec_start ; 4149 u64 sum_exec_runtime ; 4150 u64 vruntime ; 4151 u64 prev_sum_exec_runtime ; 4152 u64 nr_migrations ; 4153 struct sched_statistics statistics ; 4154 struct sched_entity *parent ; 4155 struct cfs_rq *cfs_rq ; 4156 struct cfs_rq *my_q ; 4157}; 4158#line 1195 4159struct rt_rq; 4160#line 1195 4161struct rt_rq; 4162#line 1195 4163struct rt_rq; 4164#line 1195 "include/linux/sched.h" 4165struct sched_rt_entity { 4166 struct list_head run_list ; 4167 unsigned long timeout ; 4168 unsigned int time_slice ; 4169 int nr_cpus_allowed ; 4170 struct sched_rt_entity *back ; 4171 struct sched_rt_entity *parent ; 4172 struct rt_rq *rt_rq ; 4173 struct rt_rq *my_q ; 4174}; 4175#line 1220 4176struct irqaction; 4177#line 1220 4178struct irqaction; 4179#line 1220 4180struct irqaction; 4181#line 1220 4182struct css_set; 4183#line 1220 4184struct css_set; 4185#line 1220 4186struct css_set; 4187#line 1220 4188struct compat_robust_list_head; 4189#line 1220 4190struct compat_robust_list_head; 4191#line 1220 4192struct compat_robust_list_head; 4193#line 1220 4194struct ftrace_ret_stack; 4195#line 1220 4196struct ftrace_ret_stack; 4197#line 1220 4198struct ftrace_ret_stack; 4199#line 1220 4200struct mem_cgroup; 4201#line 1220 4202struct mem_cgroup; 4203#line 1220 4204struct mem_cgroup; 4205#line 1220 "include/linux/sched.h" 4206struct memcg_batch_info { 4207 int do_batch ; 4208 struct mem_cgroup *memcg ; 4209 unsigned long nr_pages ; 4210 unsigned long memsw_nr_pages ; 4211}; 4212#line 1220 "include/linux/sched.h" 4213struct task_struct { 4214 long volatile state ; 4215 void *stack ; 4216 atomic_t usage ; 4217 unsigned int flags ; 4218 unsigned int ptrace ; 4219 struct task_struct *wake_entry ; 4220 int on_cpu ; 4221 int on_rq ; 4222 int prio ; 4223 int static_prio ; 4224 int normal_prio ; 4225 unsigned int rt_priority ; 4226 struct sched_class const *sched_class ; 4227 struct sched_entity se ; 4228 struct sched_rt_entity rt ; 4229 struct hlist_head preempt_notifiers ; 4230 unsigned char fpu_counter ; 4231 unsigned int btrace_seq ; 4232 unsigned int policy ; 4233 cpumask_t cpus_allowed ; 4234 struct sched_info sched_info ; 4235 struct list_head tasks ; 4236 struct plist_node pushable_tasks ; 4237 struct mm_struct *mm ; 4238 struct mm_struct *active_mm ; 4239 unsigned int brk_randomized : 1 ; 4240 int exit_state ; 4241 int exit_code ; 4242 int exit_signal ; 4243 int pdeath_signal ; 4244 unsigned int group_stop ; 4245 unsigned int personality ; 4246 unsigned int did_exec : 1 ; 4247 unsigned int in_execve : 1 ; 4248 unsigned int in_iowait : 1 ; 4249 unsigned int sched_reset_on_fork : 1 ; 4250 unsigned int sched_contributes_to_load : 1 ; 4251 pid_t pid ; 4252 pid_t tgid ; 4253 unsigned long stack_canary ; 4254 struct task_struct *real_parent ; 4255 struct task_struct *parent ; 4256 struct list_head children ; 4257 struct list_head sibling ; 4258 struct task_struct *group_leader ; 4259 struct list_head ptraced ; 4260 struct list_head ptrace_entry ; 4261 struct pid_link pids[3] ; 4262 struct list_head thread_group ; 4263 struct completion *vfork_done ; 4264 int *set_child_tid ; 4265 int *clear_child_tid ; 4266 cputime_t utime ; 4267 cputime_t stime ; 4268 cputime_t utimescaled ; 4269 cputime_t stimescaled ; 4270 cputime_t gtime ; 4271 cputime_t prev_utime ; 4272 cputime_t prev_stime ; 4273 unsigned long nvcsw ; 4274 unsigned long nivcsw ; 4275 struct timespec start_time ; 4276 struct timespec real_start_time ; 4277 unsigned long min_flt ; 4278 unsigned long maj_flt ; 4279 struct task_cputime cputime_expires ; 4280 struct list_head cpu_timers[3] ; 4281 struct cred const *real_cred ; 4282 struct cred const *cred ; 4283 struct cred *replacement_session_keyring ; 4284 char comm[16] ; 4285 int link_count ; 4286 int total_link_count ; 4287 struct sysv_sem sysvsem ; 4288 unsigned long last_switch_count ; 4289 struct thread_struct thread ; 4290 struct fs_struct *fs ; 4291 struct files_struct *files ; 4292 struct nsproxy *nsproxy ; 4293 struct signal_struct *signal ; 4294 struct sighand_struct *sighand ; 4295 sigset_t blocked ; 4296 sigset_t real_blocked ; 4297 sigset_t saved_sigmask ; 4298 struct sigpending pending ; 4299 unsigned long sas_ss_sp ; 4300 size_t sas_ss_size ; 4301 int (*notifier)(void *priv ) ; 4302 void *notifier_data ; 4303 sigset_t *notifier_mask ; 4304 struct audit_context *audit_context ; 4305 uid_t loginuid ; 4306 unsigned int sessionid ; 4307 seccomp_t seccomp ; 4308 u32 parent_exec_id ; 4309 u32 self_exec_id ; 4310 spinlock_t alloc_lock ; 4311 struct irqaction *irqaction ; 4312 raw_spinlock_t pi_lock ; 4313 struct plist_head pi_waiters ; 4314 struct rt_mutex_waiter *pi_blocked_on ; 4315 struct mutex_waiter *blocked_on ; 4316 unsigned int irq_events ; 4317 unsigned long hardirq_enable_ip ; 4318 unsigned long hardirq_disable_ip ; 4319 unsigned int hardirq_enable_event ; 4320 unsigned int hardirq_disable_event ; 4321 int hardirqs_enabled ; 4322 int hardirq_context ; 4323 unsigned long softirq_disable_ip ; 4324 unsigned long softirq_enable_ip ; 4325 unsigned int softirq_disable_event ; 4326 unsigned int softirq_enable_event ; 4327 int softirqs_enabled ; 4328 int softirq_context ; 4329 u64 curr_chain_key ; 4330 int lockdep_depth ; 4331 unsigned int lockdep_recursion ; 4332 struct held_lock held_locks[48UL] ; 4333 gfp_t lockdep_reclaim_gfp ; 4334 void *journal_info ; 4335 struct bio_list *bio_list ; 4336 struct blk_plug *plug ; 4337 struct reclaim_state *reclaim_state ; 4338 struct backing_dev_info *backing_dev_info ; 4339 struct io_context *io_context ; 4340 unsigned long ptrace_message ; 4341 siginfo_t *last_siginfo ; 4342 struct task_io_accounting ioac ; 4343 u64 acct_rss_mem1 ; 4344 u64 acct_vm_mem1 ; 4345 cputime_t acct_timexpd ; 4346 nodemask_t mems_allowed ; 4347 int mems_allowed_change_disable ; 4348 int cpuset_mem_spread_rotor ; 4349 int cpuset_slab_spread_rotor ; 4350 struct css_set *cgroups ; 4351 struct list_head cg_list ; 4352 struct robust_list_head *robust_list ; 4353 struct compat_robust_list_head *compat_robust_list ; 4354 struct list_head pi_state_list ; 4355 struct futex_pi_state *pi_state_cache ; 4356 struct perf_event_context *perf_event_ctxp[2] ; 4357 struct mutex perf_event_mutex ; 4358 struct list_head perf_event_list ; 4359 struct mempolicy *mempolicy ; 4360 short il_next ; 4361 short pref_node_fork ; 4362 atomic_t fs_excl ; 4363 struct rcu_head rcu ; 4364 struct pipe_inode_info *splice_pipe ; 4365 struct task_delay_info *delays ; 4366 int make_it_fail ; 4367 struct prop_local_single dirties ; 4368 int latency_record_count ; 4369 struct latency_record latency_record[32] ; 4370 unsigned long timer_slack_ns ; 4371 unsigned long default_timer_slack_ns ; 4372 struct list_head *scm_work_list ; 4373 int curr_ret_stack ; 4374 struct ftrace_ret_stack *ret_stack ; 4375 unsigned long long ftrace_timestamp ; 4376 atomic_t trace_overrun ; 4377 atomic_t tracing_graph_pause ; 4378 unsigned long trace ; 4379 unsigned long trace_recursion ; 4380 struct memcg_batch_info memcg_batch ; 4381 atomic_t ptrace_bp_refcnt ; 4382}; 4383#line 1634 4384struct pid_namespace; 4385#line 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h" 4386typedef s32 compat_long_t; 4387#line 196 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h" 4388typedef u32 compat_uptr_t; 4389#line 206 "include/linux/compat.h" 4390struct compat_robust_list { 4391 compat_uptr_t next ; 4392}; 4393#line 210 "include/linux/compat.h" 4394struct compat_robust_list_head { 4395 struct compat_robust_list list ; 4396 compat_long_t futex_offset ; 4397 compat_uptr_t list_op_pending ; 4398}; 4399#line 23 "include/linux/ethtool.h" 4400struct ethtool_cmd { 4401 __u32 cmd ; 4402 __u32 supported ; 4403 __u32 advertising ; 4404 __u16 speed ; 4405 __u8 duplex ; 4406 __u8 port ; 4407 __u8 phy_address ; 4408 __u8 transceiver ; 4409 __u8 autoneg ; 4410 __u8 mdio_support ; 4411 __u32 maxtxpkt ; 4412 __u32 maxrxpkt ; 4413 __u16 speed_hi ; 4414 __u8 eth_tp_mdix ; 4415 __u8 reserved2 ; 4416 __u32 lp_advertising ; 4417 __u32 reserved[2] ; 4418}; 4419#line 65 "include/linux/ethtool.h" 4420struct ethtool_drvinfo { 4421 __u32 cmd ; 4422 char driver[32] ; 4423 char version[32] ; 4424 char fw_version[32] ; 4425 char bus_info[32] ; 4426 char reserved1[32] ; 4427 char reserved2[12] ; 4428 __u32 n_priv_flags ; 4429 __u32 n_stats ; 4430 __u32 testinfo_len ; 4431 __u32 eedump_len ; 4432 __u32 regdump_len ; 4433}; 4434#line 90 "include/linux/ethtool.h" 4435struct ethtool_wolinfo { 4436 __u32 cmd ; 4437 __u32 supported ; 4438 __u32 wolopts ; 4439 __u8 sopass[6] ; 4440}; 4441#line 104 "include/linux/ethtool.h" 4442struct ethtool_regs { 4443 __u32 cmd ; 4444 __u32 version ; 4445 __u32 len ; 4446 __u8 data[0] ; 4447}; 4448#line 112 "include/linux/ethtool.h" 4449struct ethtool_eeprom { 4450 __u32 cmd ; 4451 __u32 magic ; 4452 __u32 offset ; 4453 __u32 len ; 4454 __u8 data[0] ; 4455}; 4456#line 121 "include/linux/ethtool.h" 4457struct ethtool_coalesce { 4458 __u32 cmd ; 4459 __u32 rx_coalesce_usecs ; 4460 __u32 rx_max_coalesced_frames ; 4461 __u32 rx_coalesce_usecs_irq ; 4462 __u32 rx_max_coalesced_frames_irq ; 4463 __u32 tx_coalesce_usecs ; 4464 __u32 tx_max_coalesced_frames ; 4465 __u32 tx_coalesce_usecs_irq ; 4466 __u32 tx_max_coalesced_frames_irq ; 4467 __u32 stats_block_coalesce_usecs ; 4468 __u32 use_adaptive_rx_coalesce ; 4469 __u32 use_adaptive_tx_coalesce ; 4470 __u32 pkt_rate_low ; 4471 __u32 rx_coalesce_usecs_low ; 4472 __u32 rx_max_coalesced_frames_low ; 4473 __u32 tx_coalesce_usecs_low ; 4474 __u32 tx_max_coalesced_frames_low ; 4475 __u32 pkt_rate_high ; 4476 __u32 rx_coalesce_usecs_high ; 4477 __u32 rx_max_coalesced_frames_high ; 4478 __u32 tx_coalesce_usecs_high ; 4479 __u32 tx_max_coalesced_frames_high ; 4480 __u32 rate_sample_interval ; 4481}; 4482#line 217 "include/linux/ethtool.h" 4483struct ethtool_ringparam { 4484 __u32 cmd ; 4485 __u32 rx_max_pending ; 4486 __u32 rx_mini_max_pending ; 4487 __u32 rx_jumbo_max_pending ; 4488 __u32 tx_max_pending ; 4489 __u32 rx_pending ; 4490 __u32 rx_mini_pending ; 4491 __u32 rx_jumbo_pending ; 4492 __u32 tx_pending ; 4493}; 4494#line 254 "include/linux/ethtool.h" 4495struct ethtool_channels { 4496 __u32 cmd ; 4497 __u32 max_rx ; 4498 __u32 max_tx ; 4499 __u32 max_other ; 4500 __u32 max_combined ; 4501 __u32 rx_count ; 4502 __u32 tx_count ; 4503 __u32 other_count ; 4504 __u32 combined_count ; 4505}; 4506#line 267 "include/linux/ethtool.h" 4507struct ethtool_pauseparam { 4508 __u32 cmd ; 4509 __u32 autoneg ; 4510 __u32 rx_pause ; 4511 __u32 tx_pause ; 4512}; 4513#line 319 "include/linux/ethtool.h" 4514struct ethtool_test { 4515 __u32 cmd ; 4516 __u32 flags ; 4517 __u32 reserved ; 4518 __u32 len ; 4519 __u64 data[0] ; 4520}; 4521#line 328 "include/linux/ethtool.h" 4522struct ethtool_stats { 4523 __u32 cmd ; 4524 __u32 n_stats ; 4525 __u64 data[0] ; 4526}; 4527#line 373 "include/linux/ethtool.h" 4528struct ethtool_tcpip4_spec { 4529 __be32 ip4src ; 4530 __be32 ip4dst ; 4531 __be16 psrc ; 4532 __be16 pdst ; 4533 __u8 tos ; 4534}; 4535#line 390 "include/linux/ethtool.h" 4536struct ethtool_ah_espip4_spec { 4537 __be32 ip4src ; 4538 __be32 ip4dst ; 4539 __be32 spi ; 4540 __u8 tos ; 4541}; 4542#line 408 "include/linux/ethtool.h" 4543struct ethtool_usrip4_spec { 4544 __be32 ip4src ; 4545 __be32 ip4dst ; 4546 __be32 l4_4_bytes ; 4547 __u8 tos ; 4548 __u8 ip_ver ; 4549 __u8 proto ; 4550}; 4551#line 417 "include/linux/ethtool.h" 4552union ethtool_flow_union { 4553 struct ethtool_tcpip4_spec tcp_ip4_spec ; 4554 struct ethtool_tcpip4_spec udp_ip4_spec ; 4555 struct ethtool_tcpip4_spec sctp_ip4_spec ; 4556 struct ethtool_ah_espip4_spec ah_ip4_spec ; 4557 struct ethtool_ah_espip4_spec esp_ip4_spec ; 4558 struct ethtool_usrip4_spec usr_ip4_spec ; 4559 struct ethhdr ether_spec ; 4560 __u8 hdata[60] ; 4561}; 4562#line 428 "include/linux/ethtool.h" 4563struct ethtool_flow_ext { 4564 __be16 vlan_etype ; 4565 __be16 vlan_tci ; 4566 __be32 data[2] ; 4567}; 4568#line 447 "include/linux/ethtool.h" 4569struct ethtool_rx_flow_spec { 4570 __u32 flow_type ; 4571 union ethtool_flow_union h_u ; 4572 struct ethtool_flow_ext h_ext ; 4573 union ethtool_flow_union m_u ; 4574 struct ethtool_flow_ext m_ext ; 4575 __u64 ring_cookie ; 4576 __u32 location ; 4577}; 4578#line 496 "include/linux/ethtool.h" 4579struct ethtool_rxnfc { 4580 __u32 cmd ; 4581 __u32 flow_type ; 4582 __u64 data ; 4583 struct ethtool_rx_flow_spec fs ; 4584 __u32 rule_cnt ; 4585 __u32 rule_locs[0] ; 4586}; 4587#line 537 "include/linux/ethtool.h" 4588struct ethtool_rxfh_indir { 4589 __u32 cmd ; 4590 __u32 size ; 4591 __u32 ring_index[0] ; 4592}; 4593#line 559 "include/linux/ethtool.h" 4594union __anonunion_h_u_279 { 4595 struct ethtool_tcpip4_spec tcp_ip4_spec ; 4596 struct ethtool_tcpip4_spec udp_ip4_spec ; 4597 struct ethtool_tcpip4_spec sctp_ip4_spec ; 4598 struct ethtool_ah_espip4_spec ah_ip4_spec ; 4599 struct ethtool_ah_espip4_spec esp_ip4_spec ; 4600 struct ethtool_usrip4_spec usr_ip4_spec ; 4601 struct ethhdr ether_spec ; 4602 __u8 hdata[72] ; 4603}; 4604#line 559 "include/linux/ethtool.h" 4605struct ethtool_rx_ntuple_flow_spec { 4606 __u32 flow_type ; 4607 union __anonunion_h_u_279 h_u ; 4608 union __anonunion_h_u_279 m_u ; 4609 __u16 vlan_tag ; 4610 __u16 vlan_tag_mask ; 4611 __u64 data ; 4612 __u64 data_mask ; 4613 __s32 action ; 4614}; 4615#line 587 "include/linux/ethtool.h" 4616struct ethtool_rx_ntuple { 4617 __u32 cmd ; 4618 struct ethtool_rx_ntuple_flow_spec fs ; 4619}; 4620#line 598 "include/linux/ethtool.h" 4621struct ethtool_flash { 4622 __u32 cmd ; 4623 __u32 region ; 4624 char data[128] ; 4625}; 4626#line 616 "include/linux/ethtool.h" 4627struct ethtool_dump { 4628 __u32 cmd ; 4629 __u32 version ; 4630 __u32 flag ; 4631 __u32 len ; 4632 __u8 data[0] ; 4633}; 4634#line 722 "include/linux/ethtool.h" 4635struct ethtool_rx_ntuple_list { 4636 struct list_head list ; 4637 unsigned int count ; 4638}; 4639#line 738 4640enum ethtool_phys_id_state { 4641 ETHTOOL_ID_INACTIVE = 0, 4642 ETHTOOL_ID_ACTIVE = 1, 4643 ETHTOOL_ID_ON = 2, 4644 ETHTOOL_ID_OFF = 3 4645} ; 4646#line 745 4647struct net_device; 4648#line 891 "include/linux/ethtool.h" 4649struct ethtool_ops { 4650 int (*get_settings)(struct net_device * , struct ethtool_cmd * ) ; 4651 int (*set_settings)(struct net_device * , struct ethtool_cmd * ) ; 4652 void (*get_drvinfo)(struct net_device * , struct ethtool_drvinfo * ) ; 4653 int (*get_regs_len)(struct net_device * ) ; 4654 void (*get_regs)(struct net_device * , struct ethtool_regs * , void * ) ; 4655 void (*get_wol)(struct net_device * , struct ethtool_wolinfo * ) ; 4656 int (*set_wol)(struct net_device * , struct ethtool_wolinfo * ) ; 4657 u32 (*get_msglevel)(struct net_device * ) ; 4658 void (*set_msglevel)(struct net_device * , u32 ) ; 4659 int (*nway_reset)(struct net_device * ) ; 4660 u32 (*get_link)(struct net_device * ) ; 4661 int (*get_eeprom_len)(struct net_device * ) ; 4662 int (*get_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ; 4663 int (*set_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ; 4664 int (*get_coalesce)(struct net_device * , struct ethtool_coalesce * ) ; 4665 int (*set_coalesce)(struct net_device * , struct ethtool_coalesce * ) ; 4666 void (*get_ringparam)(struct net_device * , struct ethtool_ringparam * ) ; 4667 int (*set_ringparam)(struct net_device * , struct ethtool_ringparam * ) ; 4668 void (*get_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ; 4669 int (*set_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ; 4670 u32 (*get_rx_csum)(struct net_device * ) ; 4671 int (*set_rx_csum)(struct net_device * , u32 ) ; 4672 u32 (*get_tx_csum)(struct net_device * ) ; 4673 int (*set_tx_csum)(struct net_device * , u32 ) ; 4674 u32 (*get_sg)(struct net_device * ) ; 4675 int (*set_sg)(struct net_device * , u32 ) ; 4676 u32 (*get_tso)(struct net_device * ) ; 4677 int (*set_tso)(struct net_device * , u32 ) ; 4678 void (*self_test)(struct net_device * , struct ethtool_test * , u64 * ) ; 4679 void (*get_strings)(struct net_device * , u32 stringset , u8 * ) ; 4680 int (*set_phys_id)(struct net_device * , enum ethtool_phys_id_state ) ; 4681 void (*get_ethtool_stats)(struct net_device * , struct ethtool_stats * , u64 * ) ; 4682 int (*begin)(struct net_device * ) ; 4683 void (*complete)(struct net_device * ) ; 4684 u32 (*get_ufo)(struct net_device * ) ; 4685 int (*set_ufo)(struct net_device * , u32 ) ; 4686 u32 (*get_flags)(struct net_device * ) ; 4687 int (*set_flags)(struct net_device * , u32 ) ; 4688 u32 (*get_priv_flags)(struct net_device * ) ; 4689 int (*set_priv_flags)(struct net_device * , u32 ) ; 4690 int (*get_sset_count)(struct net_device * , int ) ; 4691 int (*get_rxnfc)(struct net_device * , struct ethtool_rxnfc * , void * ) ; 4692 int (*set_rxnfc)(struct net_device * , struct ethtool_rxnfc * ) ; 4693 int (*flash_device)(struct net_device * , struct ethtool_flash * ) ; 4694 int (*reset)(struct net_device * , u32 * ) ; 4695 int (*set_rx_ntuple)(struct net_device * , struct ethtool_rx_ntuple * ) ; 4696 int (*get_rx_ntuple)(struct net_device * , u32 stringset , void * ) ; 4697 int (*get_rxfh_indir)(struct net_device * , struct ethtool_rxfh_indir * ) ; 4698 int (*set_rxfh_indir)(struct net_device * , struct ethtool_rxfh_indir const * ) ; 4699 void (*get_channels)(struct net_device * , struct ethtool_channels * ) ; 4700 int (*set_channels)(struct net_device * , struct ethtool_channels * ) ; 4701 int (*get_dump_flag)(struct net_device * , struct ethtool_dump * ) ; 4702 int (*get_dump_data)(struct net_device * , struct ethtool_dump * , void * ) ; 4703 int (*set_dump)(struct net_device * , struct ethtool_dump * ) ; 4704}; 4705#line 4 "include/net/netns/core.h" 4706struct ctl_table_header; 4707#line 5 4708struct prot_inuse; 4709#line 5 4710struct prot_inuse; 4711#line 5 4712struct prot_inuse; 4713#line 5 4714struct prot_inuse; 4715#line 7 "include/net/netns/core.h" 4716struct netns_core { 4717 struct ctl_table_header *sysctl_hdr ; 4718 int sysctl_somaxconn ; 4719 struct prot_inuse *inuse ; 4720}; 4721#line 64 "include/linux/u64_stats_sync.h" 4722struct u64_stats_sync { 4723 4724}; 4725#line 56 "include/net/snmp.h" 4726struct ipstats_mib { 4727 u64 mibs[31] ; 4728 struct u64_stats_sync syncp ; 4729}; 4730#line 64 "include/net/snmp.h" 4731struct icmp_mib { 4732 unsigned long mibs[27] ; 4733}; 4734#line 69 "include/net/snmp.h" 4735struct icmpmsg_mib { 4736 unsigned long mibs[512] ; 4737}; 4738#line 76 "include/net/snmp.h" 4739struct icmpv6_mib { 4740 unsigned long mibs[5] ; 4741}; 4742#line 86 "include/net/snmp.h" 4743struct icmpv6msg_mib { 4744 unsigned long mibs[512] ; 4745}; 4746#line 97 "include/net/snmp.h" 4747struct tcp_mib { 4748 unsigned long mibs[15] ; 4749}; 4750#line 103 "include/net/snmp.h" 4751struct udp_mib { 4752 unsigned long mibs[7] ; 4753}; 4754#line 109 "include/net/snmp.h" 4755struct linux_mib { 4756 unsigned long mibs[80] ; 4757}; 4758#line 115 "include/net/snmp.h" 4759struct linux_xfrm_mib { 4760 unsigned long mibs[27] ; 4761}; 4762#line 6 "include/net/netns/mib.h" 4763struct proc_dir_entry; 4764#line 6 4765struct proc_dir_entry; 4766#line 6 4767struct proc_dir_entry; 4768#line 6 "include/net/netns/mib.h" 4769struct netns_mib { 4770 struct tcp_mib *tcp_statistics[2] ; 4771 struct ipstats_mib *ip_statistics[2] ; 4772 struct linux_mib *net_statistics[2] ; 4773 struct udp_mib *udp_statistics[2] ; 4774 struct udp_mib *udplite_statistics[2] ; 4775 struct icmp_mib *icmp_statistics[2] ; 4776 struct icmpmsg_mib *icmpmsg_statistics[2] ; 4777 struct proc_dir_entry *proc_net_devsnmp6 ; 4778 struct udp_mib *udp_stats_in6[2] ; 4779 struct udp_mib *udplite_stats_in6[2] ; 4780 struct ipstats_mib *ipv6_statistics[2] ; 4781 struct icmpv6_mib *icmpv6_statistics[2] ; 4782 struct icmpv6msg_mib *icmpv6msg_statistics[2] ; 4783 struct linux_xfrm_mib *xfrm_statistics[2] ; 4784}; 4785#line 7 "include/net/netns/unix.h" 4786struct ctl_table_header; 4787#line 8 "include/net/netns/unix.h" 4788struct netns_unix { 4789 int sysctl_max_dgram_qlen ; 4790 struct ctl_table_header *ctl ; 4791}; 4792#line 10 "include/net/netns/packet.h" 4793struct netns_packet { 4794 spinlock_t sklist_lock ; 4795 struct hlist_head sklist ; 4796}; 4797#line 4 "include/net/inet_frag.h" 4798struct netns_frags { 4799 int nqueues ; 4800 atomic_t mem ; 4801 struct list_head lru_list ; 4802 int timeout ; 4803 int high_thresh ; 4804 int low_thresh ; 4805}; 4806#line 10 "include/net/netns/ipv4.h" 4807struct ctl_table_header; 4808#line 11 4809struct ipv4_devconf; 4810#line 11 4811struct ipv4_devconf; 4812#line 11 4813struct ipv4_devconf; 4814#line 11 4815struct ipv4_devconf; 4816#line 12 4817struct fib_rules_ops; 4818#line 12 4819struct fib_rules_ops; 4820#line 12 4821struct fib_rules_ops; 4822#line 12 4823struct fib_rules_ops; 4824#line 13 4825struct hlist_head; 4826#line 14 4827struct sock; 4828#line 16 4829struct xt_table; 4830#line 16 4831struct xt_table; 4832#line 16 4833struct xt_table; 4834#line 16 "include/net/netns/ipv4.h" 4835struct netns_ipv4 { 4836 struct ctl_table_header *forw_hdr ; 4837 struct ctl_table_header *frags_hdr ; 4838 struct ctl_table_header *ipv4_hdr ; 4839 struct ctl_table_header *route_hdr ; 4840 struct ipv4_devconf *devconf_all ; 4841 struct ipv4_devconf *devconf_dflt ; 4842 struct fib_rules_ops *rules_ops ; 4843 struct hlist_head *fib_table_hash ; 4844 struct sock *fibnl ; 4845 struct sock **icmp_sk ; 4846 struct sock *tcp_sock ; 4847 struct netns_frags frags ; 4848 struct xt_table *iptable_filter ; 4849 struct xt_table *iptable_mangle ; 4850 struct xt_table *iptable_raw ; 4851 struct xt_table *arptable_filter ; 4852 struct xt_table *iptable_security ; 4853 struct xt_table *nat_table ; 4854 struct hlist_head *nat_bysource ; 4855 unsigned int nat_htable_size ; 4856 int sysctl_icmp_echo_ignore_all ; 4857 int sysctl_icmp_echo_ignore_broadcasts ; 4858 int sysctl_icmp_ignore_bogus_error_responses ; 4859 int sysctl_icmp_ratelimit ; 4860 int sysctl_icmp_ratemask ; 4861 int sysctl_icmp_errors_use_inbound_ifaddr ; 4862 int sysctl_rt_cache_rebuild_count ; 4863 int current_rt_cache_rebuild_count ; 4864 unsigned int sysctl_ping_group_range[2] ; 4865 atomic_t rt_genid ; 4866 atomic_t dev_addr_genid ; 4867 struct list_head mr_tables ; 4868 struct fib_rules_ops *mr_rules_ops ; 4869}; 4870#line 7 "include/net/dst_ops.h" 4871struct dst_entry; 4872#line 9 4873struct net_device; 4874#line 10 4875struct sk_buff; 4876#line 12 "include/net/dst_ops.h" 4877struct dst_ops { 4878 unsigned short family ; 4879 __be16 protocol ; 4880 unsigned int gc_thresh ; 4881 int (*gc)(struct dst_ops *ops ) ; 4882 struct dst_entry *(*check)(struct dst_entry * , __u32 cookie ) ; 4883 unsigned int (*default_advmss)(struct dst_entry const * ) ; 4884 unsigned int (*default_mtu)(struct dst_entry const * ) ; 4885 u32 *(*cow_metrics)(struct dst_entry * , unsigned long ) ; 4886 void (*destroy)(struct dst_entry * ) ; 4887 void (*ifdown)(struct dst_entry * , struct net_device *dev , int how ) ; 4888 struct dst_entry *(*negative_advice)(struct dst_entry * ) ; 4889 void (*link_failure)(struct sk_buff * ) ; 4890 void (*update_pmtu)(struct dst_entry *dst , u32 mtu ) ; 4891 int (*local_out)(struct sk_buff *skb ) ; 4892 struct kmem_cache *kmem_cachep ; 4893 struct percpu_counter pcpuc_entries __attribute__((__aligned__((1) << (6) ))) ; 4894}; 4895#line 11 "include/net/netns/ipv6.h" 4896struct ctl_table_header; 4897#line 13 "include/net/netns/ipv6.h" 4898struct netns_sysctl_ipv6 { 4899 struct ctl_table_header *table ; 4900 struct ctl_table_header *frags_hdr ; 4901 int bindv6only ; 4902 int flush_delay ; 4903 int ip6_rt_max_size ; 4904 int ip6_rt_gc_min_interval ; 4905 int ip6_rt_gc_timeout ; 4906 int ip6_rt_gc_interval ; 4907 int ip6_rt_gc_elasticity ; 4908 int ip6_rt_mtu_expires ; 4909 int ip6_rt_min_advmss ; 4910 int icmpv6_time ; 4911}; 4912#line 30 4913struct ipv6_devconf; 4914#line 30 4915struct ipv6_devconf; 4916#line 30 4917struct ipv6_devconf; 4918#line 30 4919struct rt6_info; 4920#line 30 4921struct rt6_info; 4922#line 30 4923struct rt6_info; 4924#line 30 4925struct rt6_statistics; 4926#line 30 4927struct rt6_statistics; 4928#line 30 4929struct rt6_statistics; 4930#line 30 4931struct fib6_table; 4932#line 30 4933struct fib6_table; 4934#line 30 4935struct fib6_table; 4936#line 30 "include/net/netns/ipv6.h" 4937struct netns_ipv6 { 4938 struct netns_sysctl_ipv6 sysctl ; 4939 struct ipv6_devconf *devconf_all ; 4940 struct ipv6_devconf *devconf_dflt ; 4941 struct netns_frags frags ; 4942 struct xt_table *ip6table_filter ; 4943 struct xt_table *ip6table_mangle ; 4944 struct xt_table *ip6table_raw ; 4945 struct xt_table *ip6table_security ; 4946 struct rt6_info *ip6_null_entry ; 4947 struct rt6_statistics *rt6_stats ; 4948 struct timer_list ip6_fib_timer ; 4949 struct hlist_head *fib_table_hash ; 4950 struct fib6_table *fib6_main_tbl ; 4951 struct dst_ops ip6_dst_ops ; 4952 unsigned int ip6_rt_gc_expire ; 4953 unsigned long ip6_rt_last_gc ; 4954 struct rt6_info *ip6_prohibit_entry ; 4955 struct rt6_info *ip6_blk_hole_entry ; 4956 struct fib6_table *fib6_local_tbl ; 4957 struct fib_rules_ops *fib6_rules_ops ; 4958 struct sock **icmp_sk ; 4959 struct sock *ndisc_sk ; 4960 struct sock *tcp_sk ; 4961 struct sock *igmp_sk ; 4962 struct list_head mr6_tables ; 4963 struct fib_rules_ops *mr6_rules_ops ; 4964}; 4965#line 4 "include/net/netns/dccp.h" 4966struct sock; 4967#line 6 "include/net/netns/dccp.h" 4968struct netns_dccp { 4969 struct sock *v4_ctl_sk ; 4970 struct sock *v6_ctl_sk ; 4971}; 4972#line 102 "include/linux/netfilter.h" 4973struct sk_buff; 4974#line 168 "include/net/flow.h" 4975struct net; 4976#line 169 4977struct sock; 4978#line 10 "include/linux/proc_fs.h" 4979struct net; 4980#line 11 4981struct completion; 4982#line 12 4983struct mm_struct; 4984#line 46 "include/linux/proc_fs.h" 4985typedef int read_proc_t(char *page , char **start , off_t off , int count , int *eof , 4986 void *data ); 4987#line 48 "include/linux/proc_fs.h" 4988typedef int write_proc_t(struct file *file , char const *buffer , unsigned long count , 4989 void *data ); 4990#line 51 "include/linux/proc_fs.h" 4991struct proc_dir_entry { 4992 unsigned int low_ino ; 4993 unsigned int namelen ; 4994 char const *name ; 4995 mode_t mode ; 4996 nlink_t nlink ; 4997 uid_t uid ; 4998 gid_t gid ; 4999 loff_t size ; 5000 struct inode_operations const *proc_iops ; 5001 struct file_operations const *proc_fops ; 5002 struct proc_dir_entry *next ; 5003 struct proc_dir_entry *parent ; 5004 struct proc_dir_entry *subdir ; 5005 void *data ; 5006 read_proc_t *read_proc ; 5007 write_proc_t *write_proc ; 5008 atomic_t count ; 5009 int pde_users ; 5010 spinlock_t pde_unload_lock ; 5011 struct completion *pde_unload_completion ; 5012 struct list_head pde_openers ; 5013}; 5014#line 117 5015struct pid_namespace; 5016#line 243 5017struct nsproxy; 5018#line 263 5019struct ctl_table_header; 5020#line 264 5021struct ctl_table; 5022#line 7 "include/net/netns/x_tables.h" 5023struct ebt_table; 5024#line 7 5025struct ebt_table; 5026#line 7 5027struct ebt_table; 5028#line 7 5029struct ebt_table; 5030#line 9 "include/net/netns/x_tables.h" 5031struct netns_xt { 5032 struct list_head tables[13] ; 5033 struct ebt_table *broute_table ; 5034 struct ebt_table *frame_filter ; 5035 struct ebt_table *frame_nat ; 5036}; 5037#line 17 "include/linux/list_nulls.h" 5038struct hlist_nulls_node; 5039#line 17 5040struct hlist_nulls_node; 5041#line 17 5042struct hlist_nulls_node; 5043#line 17 "include/linux/list_nulls.h" 5044struct hlist_nulls_head { 5045 struct hlist_nulls_node *first ; 5046}; 5047#line 21 "include/linux/list_nulls.h" 5048struct hlist_nulls_node { 5049 struct hlist_nulls_node *next ; 5050 struct hlist_nulls_node **pprev ; 5051}; 5052#line 8 "include/net/netns/conntrack.h" 5053struct ctl_table_header; 5054#line 11 5055struct ip_conntrack_stat; 5056#line 11 5057struct ip_conntrack_stat; 5058#line 11 5059struct ip_conntrack_stat; 5060#line 11 "include/net/netns/conntrack.h" 5061struct netns_ct { 5062 atomic_t count ; 5063 unsigned int expect_count ; 5064 unsigned int htable_size ; 5065 struct kmem_cache *nf_conntrack_cachep ; 5066 struct hlist_nulls_head *hash ; 5067 struct hlist_head *expect_hash ; 5068 struct hlist_nulls_head unconfirmed ; 5069 struct hlist_nulls_head dying ; 5070 struct ip_conntrack_stat *stat ; 5071 int sysctl_events ; 5072 unsigned int sysctl_events_retry_timeout ; 5073 int sysctl_acct ; 5074 int sysctl_tstamp ; 5075 int sysctl_checksum ; 5076 unsigned int sysctl_log_invalid ; 5077 struct ctl_table_header *sysctl_header ; 5078 struct ctl_table_header *acct_sysctl_header ; 5079 struct ctl_table_header *tstamp_sysctl_header ; 5080 struct ctl_table_header *event_sysctl_header ; 5081 char *slabname ; 5082}; 5083#line 10 "include/net/netns/xfrm.h" 5084struct ctl_table_header; 5085#line 12 "include/net/netns/xfrm.h" 5086struct xfrm_policy_hash { 5087 struct hlist_head *table ; 5088 unsigned int hmask ; 5089}; 5090#line 17 "include/net/netns/xfrm.h" 5091struct netns_xfrm { 5092 struct list_head state_all ; 5093 struct hlist_head *state_bydst ; 5094 struct hlist_head *state_bysrc ; 5095 struct hlist_head *state_byspi ; 5096 unsigned int state_hmask ; 5097 unsigned int state_num ; 5098 struct work_struct state_hash_work ; 5099 struct hlist_head state_gc_list ; 5100 struct work_struct state_gc_work ; 5101 wait_queue_head_t km_waitq ; 5102 struct list_head policy_all ; 5103 struct hlist_head *policy_byidx ; 5104 unsigned int policy_idx_hmask ; 5105 struct hlist_head policy_inexact[6] ; 5106 struct xfrm_policy_hash policy_bydst[6] ; 5107 unsigned int policy_count[6] ; 5108 struct work_struct policy_hash_work ; 5109 struct sock *nlsk ; 5110 struct sock *nlsk_stash ; 5111 u32 sysctl_aevent_etime ; 5112 u32 sysctl_aevent_rseqth ; 5113 int sysctl_larval_drop ; 5114 u32 sysctl_acq_expires ; 5115 struct ctl_table_header *sysctl_hdr ; 5116 struct dst_ops xfrm4_dst_ops ; 5117 struct dst_ops xfrm6_dst_ops ; 5118}; 5119#line 25 "include/net/net_namespace.h" 5120struct proc_dir_entry; 5121#line 26 5122struct net_device; 5123#line 27 5124struct sock; 5125#line 28 5126struct ctl_table_header; 5127#line 29 5128struct net_generic; 5129#line 29 5130struct net_generic; 5131#line 29 5132struct net_generic; 5133#line 29 5134struct net_generic; 5135#line 30 5136struct sock; 5137#line 31 5138struct netns_ipvs; 5139#line 31 5140struct netns_ipvs; 5141#line 31 5142struct netns_ipvs; 5143#line 31 5144struct netns_ipvs; 5145#line 37 "include/net/net_namespace.h" 5146struct net { 5147 atomic_t passive ; 5148 atomic_t count ; 5149 spinlock_t rules_mod_lock ; 5150 struct list_head list ; 5151 struct list_head cleanup_list ; 5152 struct list_head exit_list ; 5153 struct proc_dir_entry *proc_net ; 5154 struct proc_dir_entry *proc_net_stat ; 5155 struct ctl_table_set sysctls ; 5156 struct sock *rtnl ; 5157 struct sock *genl_sock ; 5158 struct list_head dev_base_head ; 5159 struct hlist_head *dev_name_head ; 5160 struct hlist_head *dev_index_head ; 5161 struct list_head rules_ops ; 5162 struct net_device *loopback_dev ; 5163 struct netns_core core ; 5164 struct netns_mib mib ; 5165 struct netns_packet packet ; 5166 struct netns_unix unx ; 5167 struct netns_ipv4 ipv4 ; 5168 struct netns_ipv6 ipv6 ; 5169 struct netns_dccp dccp ; 5170 struct netns_xt xt ; 5171 struct netns_ct ct ; 5172 struct sock *nfnl ; 5173 struct sock *nfnl_stash ; 5174 struct sk_buff_head wext_nlevents ; 5175 struct net_generic *gen ; 5176 struct netns_xfrm xfrm ; 5177 struct netns_ipvs *ipvs ; 5178}; 5179#line 10 "include/linux/seq_file.h" 5180struct seq_operations; 5181#line 11 5182struct file; 5183#line 12 5184struct path; 5185#line 13 5186struct inode; 5187#line 14 5188struct dentry; 5189#line 16 "include/linux/seq_file.h" 5190struct seq_file { 5191 char *buf ; 5192 size_t size ; 5193 size_t from ; 5194 size_t count ; 5195 loff_t index ; 5196 loff_t read_pos ; 5197 u64 version ; 5198 struct mutex lock ; 5199 struct seq_operations const *op ; 5200 void *private ; 5201}; 5202#line 29 "include/linux/seq_file.h" 5203struct seq_operations { 5204 void *(*start)(struct seq_file *m , loff_t *pos ) ; 5205 void (*stop)(struct seq_file *m , void *v ) ; 5206 void *(*next)(struct seq_file *m , void *v , loff_t *pos ) ; 5207 int (*show)(struct seq_file *m , void *v ) ; 5208}; 5209#line 6 "include/linux/seq_file_net.h" 5210struct net; 5211#line 282 "include/net/net_namespace.h" 5212struct ctl_table; 5213#line 283 5214struct ctl_table_header; 5215#line 57 "include/linux/dcbnl.h" 5216struct ieee_ets { 5217 __u8 willing ; 5218 __u8 ets_cap ; 5219 __u8 cbs ; 5220 __u8 tc_tx_bw[8] ; 5221 __u8 tc_rx_bw[8] ; 5222 __u8 tc_tsa[8] ; 5223 __u8 prio_tc[8] ; 5224 __u8 tc_reco_bw[8] ; 5225 __u8 tc_reco_tsa[8] ; 5226 __u8 reco_prio_tc[8] ; 5227}; 5228#line 81 "include/linux/dcbnl.h" 5229struct ieee_pfc { 5230 __u8 pfc_cap ; 5231 __u8 pfc_en ; 5232 __u8 mbc ; 5233 __u16 delay ; 5234 __u64 requests[8] ; 5235 __u64 indications[8] ; 5236}; 5237#line 104 "include/linux/dcbnl.h" 5238struct cee_pg { 5239 __u8 willing ; 5240 __u8 error ; 5241 __u8 pg_en ; 5242 __u8 tcs_supported ; 5243 __u8 pg_bw[8] ; 5244 __u8 prio_pg[8] ; 5245}; 5246#line 121 "include/linux/dcbnl.h" 5247struct cee_pfc { 5248 __u8 willing ; 5249 __u8 error ; 5250 __u8 pfc_en ; 5251 __u8 tcs_supported ; 5252}; 5253#line 151 "include/linux/dcbnl.h" 5254struct dcb_app { 5255 __u8 selector ; 5256 __u8 priority ; 5257 __u16 protocol ; 5258}; 5259#line 166 "include/linux/dcbnl.h" 5260struct dcb_peer_app_info { 5261 __u8 willing ; 5262 __u8 error ; 5263}; 5264#line 38 "include/net/dcbnl.h" 5265struct dcbnl_rtnl_ops { 5266 int (*ieee_getets)(struct net_device * , struct ieee_ets * ) ; 5267 int (*ieee_setets)(struct net_device * , struct ieee_ets * ) ; 5268 int (*ieee_getpfc)(struct net_device * , struct ieee_pfc * ) ; 5269 int (*ieee_setpfc)(struct net_device * , struct ieee_pfc * ) ; 5270 int (*ieee_getapp)(struct net_device * , struct dcb_app * ) ; 5271 int (*ieee_setapp)(struct net_device * , struct dcb_app * ) ; 5272 int (*ieee_peer_getets)(struct net_device * , struct ieee_ets * ) ; 5273 int (*ieee_peer_getpfc)(struct net_device * , struct ieee_pfc * ) ; 5274 u8 (*getstate)(struct net_device * ) ; 5275 u8 (*setstate)(struct net_device * , u8 ) ; 5276 void (*getpermhwaddr)(struct net_device * , u8 * ) ; 5277 void (*setpgtccfgtx)(struct net_device * , int , u8 , u8 , u8 , u8 ) ; 5278 void (*setpgbwgcfgtx)(struct net_device * , int , u8 ) ; 5279 void (*setpgtccfgrx)(struct net_device * , int , u8 , u8 , u8 , u8 ) ; 5280 void (*setpgbwgcfgrx)(struct net_device * , int , u8 ) ; 5281 void (*getpgtccfgtx)(struct net_device * , int , u8 * , u8 * , u8 * , u8 * ) ; 5282 void (*getpgbwgcfgtx)(struct net_device * , int , u8 * ) ; 5283 void (*getpgtccfgrx)(struct net_device * , int , u8 * , u8 * , u8 * , u8 * ) ; 5284 void (*getpgbwgcfgrx)(struct net_device * , int , u8 * ) ; 5285 void (*setpfccfg)(struct net_device * , int , u8 ) ; 5286 void (*getpfccfg)(struct net_device * , int , u8 * ) ; 5287 u8 (*setall)(struct net_device * ) ; 5288 u8 (*getcap)(struct net_device * , int , u8 * ) ; 5289 u8 (*getnumtcs)(struct net_device * , int , u8 * ) ; 5290 u8 (*setnumtcs)(struct net_device * , int , u8 ) ; 5291 u8 (*getpfcstate)(struct net_device * ) ; 5292 void (*setpfcstate)(struct net_device * , u8 ) ; 5293 void (*getbcncfg)(struct net_device * , int , u32 * ) ; 5294 void (*setbcncfg)(struct net_device * , int , u32 ) ; 5295 void (*getbcnrp)(struct net_device * , int , u8 * ) ; 5296 void (*setbcnrp)(struct net_device * , int , u8 ) ; 5297 u8 (*setapp)(struct net_device * , u8 , u16 , u8 ) ; 5298 u8 (*getapp)(struct net_device * , u8 , u16 ) ; 5299 u8 (*getfeatcfg)(struct net_device * , int , u8 * ) ; 5300 u8 (*setfeatcfg)(struct net_device * , int , u8 ) ; 5301 u8 (*getdcbx)(struct net_device * ) ; 5302 u8 (*setdcbx)(struct net_device * , u8 ) ; 5303 int (*peer_getappinfo)(struct net_device * , struct dcb_peer_app_info * , u16 * ) ; 5304 int (*peer_getapptable)(struct net_device * , struct dcb_app * ) ; 5305 int (*cee_peer_getpg)(struct net_device * , struct cee_pg * ) ; 5306 int (*cee_peer_getpfc)(struct net_device * , struct cee_pfc * ) ; 5307}; 5308#line 55 "include/linux/netdevice.h" 5309struct vlan_group; 5310#line 55 5311struct vlan_group; 5312#line 55 5313struct vlan_group; 5314#line 55 5315struct vlan_group; 5316#line 56 5317struct netpoll_info; 5318#line 56 5319struct netpoll_info; 5320#line 56 5321struct netpoll_info; 5322#line 56 5323struct netpoll_info; 5324#line 57 5325struct phy_device; 5326#line 57 5327struct phy_device; 5328#line 57 5329struct phy_device; 5330#line 57 5331struct phy_device; 5332#line 59 5333struct wireless_dev; 5334#line 59 5335struct wireless_dev; 5336#line 59 5337struct wireless_dev; 5338#line 59 5339struct wireless_dev; 5340#line 111 5341enum netdev_tx { 5342 __NETDEV_TX_MIN = (-0x7FFFFFFF-1), 5343 NETDEV_TX_OK = 0, 5344 NETDEV_TX_BUSY = 16, 5345 NETDEV_TX_LOCKED = 32 5346} ; 5347#line 117 "include/linux/netdevice.h" 5348typedef enum netdev_tx netdev_tx_t; 5349#line 176 "include/linux/netdevice.h" 5350struct net_device_stats { 5351 unsigned long rx_packets ; 5352 unsigned long tx_packets ; 5353 unsigned long rx_bytes ; 5354 unsigned long tx_bytes ; 5355 unsigned long rx_errors ; 5356 unsigned long tx_errors ; 5357 unsigned long rx_dropped ; 5358 unsigned long tx_dropped ; 5359 unsigned long multicast ; 5360 unsigned long collisions ; 5361 unsigned long rx_length_errors ; 5362 unsigned long rx_over_errors ; 5363 unsigned long rx_crc_errors ; 5364 unsigned long rx_frame_errors ; 5365 unsigned long rx_fifo_errors ; 5366 unsigned long rx_missed_errors ; 5367 unsigned long tx_aborted_errors ; 5368 unsigned long tx_carrier_errors ; 5369 unsigned long tx_fifo_errors ; 5370 unsigned long tx_heartbeat_errors ; 5371 unsigned long tx_window_errors ; 5372 unsigned long rx_compressed ; 5373 unsigned long tx_compressed ; 5374}; 5375#line 221 5376struct neighbour; 5377#line 221 5378struct neighbour; 5379#line 221 5380struct neighbour; 5381#line 221 5382struct neighbour; 5383#line 222 5384struct neigh_parms; 5385#line 222 5386struct neigh_parms; 5387#line 222 5388struct neigh_parms; 5389#line 222 5390struct neigh_parms; 5391#line 223 5392struct sk_buff; 5393#line 225 "include/linux/netdevice.h" 5394struct netdev_hw_addr { 5395 struct list_head list ; 5396 unsigned char addr[32] ; 5397 unsigned char type ; 5398 bool synced ; 5399 bool global_use ; 5400 int refcount ; 5401 struct rcu_head rcu_head ; 5402}; 5403#line 240 "include/linux/netdevice.h" 5404struct netdev_hw_addr_list { 5405 struct list_head list ; 5406 int count ; 5407}; 5408#line 260 "include/linux/netdevice.h" 5409struct hh_cache { 5410 struct hh_cache *hh_next ; 5411 atomic_t hh_refcnt ; 5412 __be16 hh_type __attribute__((__aligned__((1) << (6) ))) ; 5413 u16 hh_len ; 5414 int (*hh_output)(struct sk_buff *skb ) ; 5415 seqlock_t hh_lock ; 5416 unsigned long hh_data[128UL / sizeof(long )] ; 5417}; 5418#line 311 "include/linux/netdevice.h" 5419struct header_ops { 5420 int (*create)(struct sk_buff *skb , struct net_device *dev , unsigned short type , 5421 void const *daddr , void const *saddr , unsigned int len ) ; 5422 int (*parse)(struct sk_buff const *skb , unsigned char *haddr ) ; 5423 int (*rebuild)(struct sk_buff *skb ) ; 5424 int (*cache)(struct neighbour const *neigh , struct hh_cache *hh ) ; 5425 void (*cache_update)(struct hh_cache *hh , struct net_device const *dev , unsigned char const *haddr ) ; 5426}; 5427#line 434 5428enum rx_handler_result { 5429 RX_HANDLER_CONSUMED = 0, 5430 RX_HANDLER_ANOTHER = 1, 5431 RX_HANDLER_EXACT = 2, 5432 RX_HANDLER_PASS = 3 5433} ; 5434#line 440 "include/linux/netdevice.h" 5435typedef enum rx_handler_result rx_handler_result_t; 5436#line 441 "include/linux/netdevice.h" 5437typedef rx_handler_result_t rx_handler_func_t(struct sk_buff **pskb ); 5438#line 551 5439struct Qdisc; 5440#line 551 5441struct Qdisc; 5442#line 551 5443struct Qdisc; 5444#line 551 "include/linux/netdevice.h" 5445struct netdev_queue { 5446 struct net_device *dev ; 5447 struct Qdisc *qdisc ; 5448 unsigned long state ; 5449 struct Qdisc *qdisc_sleeping ; 5450 struct kobject kobj ; 5451 int numa_node ; 5452 spinlock_t _xmit_lock __attribute__((__aligned__((1) << (6) ))) ; 5453 int xmit_lock_owner ; 5454 unsigned long trans_start ; 5455} __attribute__((__aligned__((1) << (6) ))) ; 5456#line 597 "include/linux/netdevice.h" 5457struct rps_map { 5458 unsigned int len ; 5459 struct rcu_head rcu ; 5460 u16 cpus[0] ; 5461}; 5462#line 609 "include/linux/netdevice.h" 5463struct rps_dev_flow { 5464 u16 cpu ; 5465 u16 filter ; 5466 unsigned int last_qtail ; 5467}; 5468#line 619 "include/linux/netdevice.h" 5469struct rps_dev_flow_table { 5470 unsigned int mask ; 5471 struct rcu_head rcu ; 5472 struct work_struct free_work ; 5473 struct rps_dev_flow flows[0] ; 5474}; 5475#line 670 "include/linux/netdevice.h" 5476struct netdev_rx_queue { 5477 struct rps_map *rps_map ; 5478 struct rps_dev_flow_table *rps_flow_table ; 5479 struct kobject kobj ; 5480 struct net_device *dev ; 5481} __attribute__((__aligned__((1) << (6) ))) ; 5482#line 683 "include/linux/netdevice.h" 5483struct xps_map { 5484 unsigned int len ; 5485 unsigned int alloc_len ; 5486 struct rcu_head rcu ; 5487 u16 queues[0] ; 5488}; 5489#line 696 "include/linux/netdevice.h" 5490struct xps_dev_maps { 5491 struct rcu_head rcu ; 5492 struct xps_map *cpu_map[0] ; 5493}; 5494#line 707 "include/linux/netdevice.h" 5495struct netdev_tc_txq { 5496 u16 count ; 5497 u16 offset ; 5498}; 5499#line 892 "include/linux/netdevice.h" 5500struct net_device_ops { 5501 int (*ndo_init)(struct net_device *dev ) ; 5502 void (*ndo_uninit)(struct net_device *dev ) ; 5503 int (*ndo_open)(struct net_device *dev ) ; 5504 int (*ndo_stop)(struct net_device *dev ) ; 5505 netdev_tx_t (*ndo_start_xmit)(struct sk_buff *skb , struct net_device *dev ) ; 5506 u16 (*ndo_select_queue)(struct net_device *dev , struct sk_buff *skb ) ; 5507 void (*ndo_change_rx_flags)(struct net_device *dev , int flags ) ; 5508 void (*ndo_set_rx_mode)(struct net_device *dev ) ; 5509 void (*ndo_set_multicast_list)(struct net_device *dev ) ; 5510 int (*ndo_set_mac_address)(struct net_device *dev , void *addr ) ; 5511 int (*ndo_validate_addr)(struct net_device *dev ) ; 5512 int (*ndo_do_ioctl)(struct net_device *dev , struct ifreq *ifr , int cmd ) ; 5513 int (*ndo_set_config)(struct net_device *dev , struct ifmap *map ) ; 5514 int (*ndo_change_mtu)(struct net_device *dev , int new_mtu ) ; 5515 int (*ndo_neigh_setup)(struct net_device *dev , struct neigh_parms * ) ; 5516 void (*ndo_tx_timeout)(struct net_device *dev ) ; 5517 struct rtnl_link_stats64 *(*ndo_get_stats64)(struct net_device *dev , struct rtnl_link_stats64 *storage ) ; 5518 struct net_device_stats *(*ndo_get_stats)(struct net_device *dev ) ; 5519 void (*ndo_vlan_rx_register)(struct net_device *dev , struct vlan_group *grp ) ; 5520 void (*ndo_vlan_rx_add_vid)(struct net_device *dev , unsigned short vid ) ; 5521 void (*ndo_vlan_rx_kill_vid)(struct net_device *dev , unsigned short vid ) ; 5522 void (*ndo_poll_controller)(struct net_device *dev ) ; 5523 int (*ndo_netpoll_setup)(struct net_device *dev , struct netpoll_info *info ) ; 5524 void (*ndo_netpoll_cleanup)(struct net_device *dev ) ; 5525 int (*ndo_set_vf_mac)(struct net_device *dev , int queue , u8 *mac ) ; 5526 int (*ndo_set_vf_vlan)(struct net_device *dev , int queue , u16 vlan , u8 qos ) ; 5527 int (*ndo_set_vf_tx_rate)(struct net_device *dev , int vf , int rate ) ; 5528 int (*ndo_get_vf_config)(struct net_device *dev , int vf , struct ifla_vf_info *ivf ) ; 5529 int (*ndo_set_vf_port)(struct net_device *dev , int vf , struct nlattr **port ) ; 5530 int (*ndo_get_vf_port)(struct net_device *dev , int vf , struct sk_buff *skb ) ; 5531 int (*ndo_setup_tc)(struct net_device *dev , u8 tc ) ; 5532 int (*ndo_fcoe_enable)(struct net_device *dev ) ; 5533 int (*ndo_fcoe_disable)(struct net_device *dev ) ; 5534 int (*ndo_fcoe_ddp_setup)(struct net_device *dev , u16 xid , struct scatterlist *sgl , 5535 unsigned int sgc ) ; 5536 int (*ndo_fcoe_ddp_done)(struct net_device *dev , u16 xid ) ; 5537 int (*ndo_fcoe_ddp_target)(struct net_device *dev , u16 xid , struct scatterlist *sgl , 5538 unsigned int sgc ) ; 5539 int (*ndo_fcoe_get_wwn)(struct net_device *dev , u64 *wwn , int type ) ; 5540 int (*ndo_rx_flow_steer)(struct net_device *dev , struct sk_buff const *skb , 5541 u16 rxq_index , u32 flow_id ) ; 5542 int (*ndo_add_slave)(struct net_device *dev , struct net_device *slave_dev ) ; 5543 int (*ndo_del_slave)(struct net_device *dev , struct net_device *slave_dev ) ; 5544 u32 (*ndo_fix_features)(struct net_device *dev , u32 features ) ; 5545 int (*ndo_set_features)(struct net_device *dev , u32 features ) ; 5546}; 5547#line 993 5548struct iw_handler_def; 5549#line 993 5550struct iw_handler_def; 5551#line 993 5552struct iw_handler_def; 5553#line 993 5554struct iw_public_data; 5555#line 993 5556struct iw_public_data; 5557#line 993 5558struct iw_public_data; 5559#line 993 5560struct in_device; 5561#line 993 5562struct in_device; 5563#line 993 5564struct in_device; 5565#line 993 5566struct dn_dev; 5567#line 993 5568struct dn_dev; 5569#line 993 5570struct dn_dev; 5571#line 993 5572struct inet6_dev; 5573#line 993 5574struct inet6_dev; 5575#line 993 5576struct inet6_dev; 5577#line 993 5578struct cpu_rmap; 5579#line 993 5580struct cpu_rmap; 5581#line 993 5582struct cpu_rmap; 5583#line 993 5584enum __anonenum_reg_state_303 { 5585 NETREG_UNINITIALIZED = 0, 5586 NETREG_REGISTERED = 1, 5587 NETREG_UNREGISTERING = 2, 5588 NETREG_UNREGISTERED = 3, 5589 NETREG_RELEASED = 4, 5590 NETREG_DUMMY = 5 5591} ; 5592#line 993 5593enum __anonenum_rtnl_link_state_304 { 5594 RTNL_LINK_INITIALIZED = 0, 5595 RTNL_LINK_INITIALIZING = 1 5596} ; 5597#line 993 5598struct pcpu_lstats; 5599#line 993 5600struct pcpu_lstats; 5601#line 993 5602struct pcpu_lstats; 5603#line 993 5604struct pcpu_tstats; 5605#line 993 5606struct pcpu_tstats; 5607#line 993 5608struct pcpu_tstats; 5609#line 993 5610struct pcpu_dstats; 5611#line 993 5612struct pcpu_dstats; 5613#line 993 5614struct pcpu_dstats; 5615#line 993 "include/linux/netdevice.h" 5616union __anonunion____missing_field_name_305 { 5617 void *ml_priv ; 5618 struct pcpu_lstats *lstats ; 5619 struct pcpu_tstats *tstats ; 5620 struct pcpu_dstats *dstats ; 5621}; 5622#line 993 5623struct garp_port; 5624#line 993 5625struct garp_port; 5626#line 993 5627struct garp_port; 5628#line 993 5629struct rtnl_link_ops; 5630#line 993 5631struct rtnl_link_ops; 5632#line 993 5633struct rtnl_link_ops; 5634#line 993 "include/linux/netdevice.h" 5635struct net_device { 5636 char name[16] ; 5637 struct pm_qos_request_list pm_qos_req ; 5638 struct hlist_node name_hlist ; 5639 char *ifalias ; 5640 unsigned long mem_end ; 5641 unsigned long mem_start ; 5642 unsigned long base_addr ; 5643 unsigned int irq ; 5644 unsigned long state ; 5645 struct list_head dev_list ; 5646 struct list_head napi_list ; 5647 struct list_head unreg_list ; 5648 u32 features ; 5649 u32 hw_features ; 5650 u32 wanted_features ; 5651 u32 vlan_features ; 5652 int ifindex ; 5653 int iflink ; 5654 struct net_device_stats stats ; 5655 atomic_long_t rx_dropped ; 5656 struct iw_handler_def const *wireless_handlers ; 5657 struct iw_public_data *wireless_data ; 5658 struct net_device_ops const *netdev_ops ; 5659 struct ethtool_ops const *ethtool_ops ; 5660 struct header_ops const *header_ops ; 5661 unsigned int flags ; 5662 unsigned int priv_flags ; 5663 unsigned short gflags ; 5664 unsigned short padded ; 5665 unsigned char operstate ; 5666 unsigned char link_mode ; 5667 unsigned char if_port ; 5668 unsigned char dma ; 5669 unsigned int mtu ; 5670 unsigned short type ; 5671 unsigned short hard_header_len ; 5672 unsigned short needed_headroom ; 5673 unsigned short needed_tailroom ; 5674 unsigned char perm_addr[32] ; 5675 unsigned char addr_assign_type ; 5676 unsigned char addr_len ; 5677 unsigned short dev_id ; 5678 spinlock_t addr_list_lock ; 5679 struct netdev_hw_addr_list uc ; 5680 struct netdev_hw_addr_list mc ; 5681 int uc_promisc ; 5682 unsigned int promiscuity ; 5683 unsigned int allmulti ; 5684 struct vlan_group *vlgrp ; 5685 void *dsa_ptr ; 5686 void *atalk_ptr ; 5687 struct in_device *ip_ptr ; 5688 struct dn_dev *dn_ptr ; 5689 struct inet6_dev *ip6_ptr ; 5690 void *ec_ptr ; 5691 void *ax25_ptr ; 5692 struct wireless_dev *ieee80211_ptr ; 5693 unsigned long last_rx ; 5694 struct net_device *master ; 5695 unsigned char *dev_addr ; 5696 struct netdev_hw_addr_list dev_addrs ; 5697 unsigned char broadcast[32] ; 5698 struct kset *queues_kset ; 5699 struct netdev_rx_queue *_rx ; 5700 unsigned int num_rx_queues ; 5701 unsigned int real_num_rx_queues ; 5702 struct cpu_rmap *rx_cpu_rmap ; 5703 rx_handler_func_t *rx_handler ; 5704 void *rx_handler_data ; 5705 struct netdev_queue *ingress_queue ; 5706 struct netdev_queue *_tx __attribute__((__aligned__((1) << (6) ))) ; 5707 unsigned int num_tx_queues ; 5708 unsigned int real_num_tx_queues ; 5709 struct Qdisc *qdisc ; 5710 unsigned long tx_queue_len ; 5711 spinlock_t tx_global_lock ; 5712 struct xps_dev_maps *xps_maps ; 5713 unsigned long trans_start ; 5714 int watchdog_timeo ; 5715 struct timer_list watchdog_timer ; 5716 int *pcpu_refcnt ; 5717 struct list_head todo_list ; 5718 struct hlist_node index_hlist ; 5719 struct list_head link_watch_list ; 5720 enum __anonenum_reg_state_303 reg_state : 8 ; 5721 bool dismantle ; 5722 enum __anonenum_rtnl_link_state_304 rtnl_link_state : 16 ; 5723 void (*destructor)(struct net_device *dev ) ; 5724 struct netpoll_info *npinfo ; 5725 struct net *nd_net ; 5726 union __anonunion____missing_field_name_305 __annonCompField44 ; 5727 struct garp_port *garp_port ; 5728 struct device dev ; 5729 struct attribute_group const *sysfs_groups[4] ; 5730 struct rtnl_link_ops const *rtnl_link_ops ; 5731 unsigned int gso_max_size ; 5732 struct dcbnl_rtnl_ops const *dcbnl_ops ; 5733 u8 num_tc ; 5734 struct netdev_tc_txq tc_to_txq[16] ; 5735 u8 prio_tc_map[16] ; 5736 unsigned int fcoe_ddp_xid ; 5737 struct ethtool_rx_ntuple_list ethtool_ntuple_list ; 5738 struct phy_device *phydev ; 5739 int group ; 5740}; 5741#line 10 "include/linux/irqreturn.h" 5742enum irqreturn { 5743 IRQ_NONE = 0, 5744 IRQ_HANDLED = 1, 5745 IRQ_WAKE_THREAD = 2 5746} ; 5747#line 16 "include/linux/irqreturn.h" 5748typedef enum irqreturn irqreturn_t; 5749#line 31 "include/linux/irq.h" 5750struct seq_file; 5751#line 12 "include/linux/irqdesc.h" 5752struct proc_dir_entry; 5753#line 16 "include/linux/profile.h" 5754struct proc_dir_entry; 5755#line 17 5756struct pt_regs; 5757#line 65 5758struct task_struct; 5759#line 66 5760struct mm_struct; 5761#line 88 5762struct pt_regs; 5763#line 363 "include/linux/irq.h" 5764struct irqaction; 5765#line 132 "include/linux/hardirq.h" 5766struct task_struct; 5767#line 9 "include/trace/events/irq.h" 5768struct irqaction; 5769#line 106 "include/linux/interrupt.h" 5770struct irqaction { 5771 irqreturn_t (*handler)(int , void * ) ; 5772 unsigned long flags ; 5773 void *dev_id ; 5774 struct irqaction *next ; 5775 int irq ; 5776 irqreturn_t (*thread_fn)(int , void * ) ; 5777 struct task_struct *thread ; 5778 unsigned long thread_flags ; 5779 unsigned long thread_mask ; 5780 char const *name ; 5781 struct proc_dir_entry *dir ; 5782} __attribute__((__aligned__((1) << (12) ))) ; 5783#line 172 5784struct device; 5785#line 682 5786struct seq_file; 5787#line 12 "include/linux/mod_devicetable.h" 5788typedef unsigned long kernel_ulong_t; 5789#line 98 "include/linux/mod_devicetable.h" 5790struct usb_device_id { 5791 __u16 match_flags ; 5792 __u16 idVendor ; 5793 __u16 idProduct ; 5794 __u16 bcdDevice_lo ; 5795 __u16 bcdDevice_hi ; 5796 __u8 bDeviceClass ; 5797 __u8 bDeviceSubClass ; 5798 __u8 bDeviceProtocol ; 5799 __u8 bInterfaceClass ; 5800 __u8 bInterfaceSubClass ; 5801 __u8 bInterfaceProtocol ; 5802 kernel_ulong_t driver_info ; 5803}; 5804#line 219 "include/linux/mod_devicetable.h" 5805struct of_device_id { 5806 char name[32] ; 5807 char type[32] ; 5808 char compatible[128] ; 5809 void *data ; 5810}; 5811#line 171 "include/linux/usb/ch9.h" 5812struct usb_ctrlrequest { 5813 __u8 bRequestType ; 5814 __u8 bRequest ; 5815 __le16 wValue ; 5816 __le16 wIndex ; 5817 __le16 wLength ; 5818} __attribute__((__packed__)) ; 5819#line 244 "include/linux/usb/ch9.h" 5820struct usb_device_descriptor { 5821 __u8 bLength ; 5822 __u8 bDescriptorType ; 5823 __le16 bcdUSB ; 5824 __u8 bDeviceClass ; 5825 __u8 bDeviceSubClass ; 5826 __u8 bDeviceProtocol ; 5827 __u8 bMaxPacketSize0 ; 5828 __le16 idVendor ; 5829 __le16 idProduct ; 5830 __le16 bcdDevice ; 5831 __u8 iManufacturer ; 5832 __u8 iProduct ; 5833 __u8 iSerialNumber ; 5834 __u8 bNumConfigurations ; 5835} __attribute__((__packed__)) ; 5836#line 300 "include/linux/usb/ch9.h" 5837struct usb_config_descriptor { 5838 __u8 bLength ; 5839 __u8 bDescriptorType ; 5840 __le16 wTotalLength ; 5841 __u8 bNumInterfaces ; 5842 __u8 bConfigurationValue ; 5843 __u8 iConfiguration ; 5844 __u8 bmAttributes ; 5845 __u8 bMaxPower ; 5846} __attribute__((__packed__)) ; 5847#line 337 "include/linux/usb/ch9.h" 5848struct usb_interface_descriptor { 5849 __u8 bLength ; 5850 __u8 bDescriptorType ; 5851 __u8 bInterfaceNumber ; 5852 __u8 bAlternateSetting ; 5853 __u8 bNumEndpoints ; 5854 __u8 bInterfaceClass ; 5855 __u8 bInterfaceSubClass ; 5856 __u8 bInterfaceProtocol ; 5857 __u8 iInterface ; 5858} __attribute__((__packed__)) ; 5859#line 355 "include/linux/usb/ch9.h" 5860struct usb_endpoint_descriptor { 5861 __u8 bLength ; 5862 __u8 bDescriptorType ; 5863 __u8 bEndpointAddress ; 5864 __u8 bmAttributes ; 5865 __le16 wMaxPacketSize ; 5866 __u8 bInterval ; 5867 __u8 bRefresh ; 5868 __u8 bSynchAddress ; 5869} __attribute__((__packed__)) ; 5870#line 576 "include/linux/usb/ch9.h" 5871struct usb_ss_ep_comp_descriptor { 5872 __u8 bLength ; 5873 __u8 bDescriptorType ; 5874 __u8 bMaxBurst ; 5875 __u8 bmAttributes ; 5876 __le16 wBytesPerInterval ; 5877} __attribute__((__packed__)) ; 5878#line 637 "include/linux/usb/ch9.h" 5879struct usb_interface_assoc_descriptor { 5880 __u8 bLength ; 5881 __u8 bDescriptorType ; 5882 __u8 bFirstInterface ; 5883 __u8 bInterfaceCount ; 5884 __u8 bFunctionClass ; 5885 __u8 bFunctionSubClass ; 5886 __u8 bFunctionProtocol ; 5887 __u8 iFunction ; 5888} __attribute__((__packed__)) ; 5889#line 846 5890enum usb_device_speed { 5891 USB_SPEED_UNKNOWN = 0, 5892 USB_SPEED_LOW = 1, 5893 USB_SPEED_FULL = 2, 5894 USB_SPEED_HIGH = 3, 5895 USB_SPEED_WIRELESS = 4, 5896 USB_SPEED_SUPER = 5 5897} ; 5898#line 854 5899enum usb_device_state { 5900 USB_STATE_NOTATTACHED = 0, 5901 USB_STATE_ATTACHED = 1, 5902 USB_STATE_POWERED = 2, 5903 USB_STATE_RECONNECTING = 3, 5904 USB_STATE_UNAUTHENTICATED = 4, 5905 USB_STATE_DEFAULT = 5, 5906 USB_STATE_ADDRESS = 6, 5907 USB_STATE_CONFIGURED = 7, 5908 USB_STATE_SUSPENDED = 8 5909} ; 5910#line 25 "include/linux/usb.h" 5911struct usb_device; 5912#line 25 5913struct usb_device; 5914#line 25 5915struct usb_device; 5916#line 25 5917struct usb_device; 5918#line 26 5919struct usb_driver; 5920#line 26 5921struct usb_driver; 5922#line 26 5923struct usb_driver; 5924#line 26 5925struct usb_driver; 5926#line 27 5927struct wusb_dev; 5928#line 27 5929struct wusb_dev; 5930#line 27 5931struct wusb_dev; 5932#line 27 5933struct wusb_dev; 5934#line 47 5935struct ep_device; 5936#line 47 5937struct ep_device; 5938#line 47 5939struct ep_device; 5940#line 47 5941struct ep_device; 5942#line 64 "include/linux/usb.h" 5943struct usb_host_endpoint { 5944 struct usb_endpoint_descriptor desc ; 5945 struct usb_ss_ep_comp_descriptor ss_ep_comp ; 5946 struct list_head urb_list ; 5947 void *hcpriv ; 5948 struct ep_device *ep_dev ; 5949 unsigned char *extra ; 5950 int extralen ; 5951 int enabled ; 5952}; 5953#line 77 "include/linux/usb.h" 5954struct usb_host_interface { 5955 struct usb_interface_descriptor desc ; 5956 struct usb_host_endpoint *endpoint ; 5957 char *string ; 5958 unsigned char *extra ; 5959 int extralen ; 5960}; 5961#line 90 5962enum usb_interface_condition { 5963 USB_INTERFACE_UNBOUND = 0, 5964 USB_INTERFACE_BINDING = 1, 5965 USB_INTERFACE_BOUND = 2, 5966 USB_INTERFACE_UNBINDING = 3 5967} ; 5968#line 159 "include/linux/usb.h" 5969struct usb_interface { 5970 struct usb_host_interface *altsetting ; 5971 struct usb_host_interface *cur_altsetting ; 5972 unsigned int num_altsetting ; 5973 struct usb_interface_assoc_descriptor *intf_assoc ; 5974 int minor ; 5975 enum usb_interface_condition condition ; 5976 unsigned int sysfs_files_created : 1 ; 5977 unsigned int ep_devs_created : 1 ; 5978 unsigned int unregistering : 1 ; 5979 unsigned int needs_remote_wakeup : 1 ; 5980 unsigned int needs_altsetting0 : 1 ; 5981 unsigned int needs_binding : 1 ; 5982 unsigned int reset_running : 1 ; 5983 unsigned int resetting_device : 1 ; 5984 struct device dev ; 5985 struct device *usb_dev ; 5986 atomic_t pm_usage_cnt ; 5987 struct work_struct reset_ws ; 5988}; 5989#line 222 "include/linux/usb.h" 5990struct usb_interface_cache { 5991 unsigned int num_altsetting ; 5992 struct kref ref ; 5993 struct usb_host_interface altsetting[0] ; 5994}; 5995#line 274 "include/linux/usb.h" 5996struct usb_host_config { 5997 struct usb_config_descriptor desc ; 5998 char *string ; 5999 struct usb_interface_assoc_descriptor *intf_assoc[16] ; 6000 struct usb_interface *interface[32] ; 6001 struct usb_interface_cache *intf_cache[32] ; 6002 unsigned char *extra ; 6003 int extralen ; 6004}; 6005#line 305 "include/linux/usb.h" 6006struct usb_devmap { 6007 unsigned long devicemap[128UL / (8UL * sizeof(unsigned long ))] ; 6008}; 6009#line 312 6010struct mon_bus; 6011#line 312 6012struct mon_bus; 6013#line 312 6014struct mon_bus; 6015#line 312 "include/linux/usb.h" 6016struct usb_bus { 6017 struct device *controller ; 6018 int busnum ; 6019 char const *bus_name ; 6020 u8 uses_dma ; 6021 u8 uses_pio_for_control ; 6022 u8 otg_port ; 6023 unsigned int is_b_host : 1 ; 6024 unsigned int b_hnp_enable : 1 ; 6025 unsigned int sg_tablesize ; 6026 int devnum_next ; 6027 struct usb_devmap devmap ; 6028 struct usb_device *root_hub ; 6029 struct usb_bus *hs_companion ; 6030 struct list_head bus_list ; 6031 int bandwidth_allocated ; 6032 int bandwidth_int_reqs ; 6033 int bandwidth_isoc_reqs ; 6034 struct dentry *usbfs_dentry ; 6035 struct mon_bus *mon_bus ; 6036 int monitored ; 6037}; 6038#line 367 6039struct usb_tt; 6040#line 367 6041struct usb_tt; 6042#line 367 6043struct usb_tt; 6044#line 367 6045struct usb_tt; 6046#line 426 "include/linux/usb.h" 6047struct usb_device { 6048 int devnum ; 6049 char devpath[16] ; 6050 u32 route ; 6051 enum usb_device_state state ; 6052 enum usb_device_speed speed ; 6053 struct usb_tt *tt ; 6054 int ttport ; 6055 unsigned int toggle[2] ; 6056 struct usb_device *parent ; 6057 struct usb_bus *bus ; 6058 struct usb_host_endpoint ep0 ; 6059 struct device dev ; 6060 struct usb_device_descriptor descriptor ; 6061 struct usb_host_config *config ; 6062 struct usb_host_config *actconfig ; 6063 struct usb_host_endpoint *ep_in[16] ; 6064 struct usb_host_endpoint *ep_out[16] ; 6065 char **rawdescriptors ; 6066 unsigned short bus_mA ; 6067 u8 portnum ; 6068 u8 level ; 6069 unsigned int can_submit : 1 ; 6070 unsigned int persist_enabled : 1 ; 6071 unsigned int have_langid : 1 ; 6072 unsigned int authorized : 1 ; 6073 unsigned int authenticated : 1 ; 6074 unsigned int wusb : 1 ; 6075 int string_langid ; 6076 char *product ; 6077 char *manufacturer ; 6078 char *serial ; 6079 struct list_head filelist ; 6080 struct device *usb_classdev ; 6081 struct dentry *usbfs_dentry ; 6082 int maxchild ; 6083 struct usb_device *children[31] ; 6084 u32 quirks ; 6085 atomic_t urbnum ; 6086 unsigned long active_duration ; 6087 unsigned long connect_time ; 6088 unsigned int do_remote_wakeup : 1 ; 6089 unsigned int reset_resume : 1 ; 6090 struct wusb_dev *wusb_dev ; 6091 int slot_id ; 6092}; 6093#line 763 "include/linux/usb.h" 6094struct usb_dynids { 6095 spinlock_t lock ; 6096 struct list_head list ; 6097}; 6098#line 782 "include/linux/usb.h" 6099struct usbdrv_wrap { 6100 struct device_driver driver ; 6101 int for_devices ; 6102}; 6103#line 843 "include/linux/usb.h" 6104struct usb_driver { 6105 char const *name ; 6106 int (*probe)(struct usb_interface *intf , struct usb_device_id const *id ) ; 6107 void (*disconnect)(struct usb_interface *intf ) ; 6108 int (*unlocked_ioctl)(struct usb_interface *intf , unsigned int code , void *buf ) ; 6109 int (*suspend)(struct usb_interface *intf , pm_message_t message ) ; 6110 int (*resume)(struct usb_interface *intf ) ; 6111 int (*reset_resume)(struct usb_interface *intf ) ; 6112 int (*pre_reset)(struct usb_interface *intf ) ; 6113 int (*post_reset)(struct usb_interface *intf ) ; 6114 struct usb_device_id const *id_table ; 6115 struct usb_dynids dynids ; 6116 struct usbdrv_wrap drvwrap ; 6117 unsigned int no_dynamic_id : 1 ; 6118 unsigned int supports_autosuspend : 1 ; 6119 unsigned int soft_unbind : 1 ; 6120}; 6121#line 983 "include/linux/usb.h" 6122struct usb_iso_packet_descriptor { 6123 unsigned int offset ; 6124 unsigned int length ; 6125 unsigned int actual_length ; 6126 int status ; 6127}; 6128#line 990 6129struct urb; 6130#line 990 6131struct urb; 6132#line 990 6133struct urb; 6134#line 990 6135struct urb; 6136#line 992 "include/linux/usb.h" 6137struct usb_anchor { 6138 struct list_head urb_list ; 6139 wait_queue_head_t wait ; 6140 spinlock_t lock ; 6141 unsigned int poisoned : 1 ; 6142}; 6143#line 1183 "include/linux/usb.h" 6144struct urb { 6145 struct kref kref ; 6146 void *hcpriv ; 6147 atomic_t use_count ; 6148 atomic_t reject ; 6149 int unlinked ; 6150 struct list_head urb_list ; 6151 struct list_head anchor_list ; 6152 struct usb_anchor *anchor ; 6153 struct usb_device *dev ; 6154 struct usb_host_endpoint *ep ; 6155 unsigned int pipe ; 6156 unsigned int stream_id ; 6157 int status ; 6158 unsigned int transfer_flags ; 6159 void *transfer_buffer ; 6160 dma_addr_t transfer_dma ; 6161 struct scatterlist *sg ; 6162 int num_sgs ; 6163 u32 transfer_buffer_length ; 6164 u32 actual_length ; 6165 unsigned char *setup_packet ; 6166 dma_addr_t setup_dma ; 6167 int start_frame ; 6168 int number_of_packets ; 6169 int interval ; 6170 int error_count ; 6171 void *context ; 6172 void (*complete)(struct urb * ) ; 6173 struct usb_iso_packet_descriptor iso_frame_desc[0] ; 6174}; 6175#line 1388 6176struct scatterlist; 6177#line 163 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/usb/catc.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c.common.c" 6178struct catc; 6179#line 163 6180struct catc; 6181#line 163 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/usb/catc.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c.common.c" 6182struct ctrl_queue { 6183 u8 dir ; 6184 u8 request ; 6185 u16 value ; 6186 u16 index ; 6187 void *buf ; 6188 int len ; 6189 void (*callback)(struct catc *catc , struct ctrl_queue *q ) ; 6190}; 6191#line 163 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/usb/catc.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c.common.c" 6192struct catc { 6193 struct net_device *netdev ; 6194 struct usb_device *usbdev ; 6195 unsigned long flags ; 6196 unsigned int tx_ptr ; 6197 unsigned int tx_idx ; 6198 unsigned int ctrl_head ; 6199 unsigned int ctrl_tail ; 6200 spinlock_t tx_lock ; 6201 spinlock_t ctrl_lock ; 6202 u8 tx_buf[2][23070] ; 6203 u8 rx_buf[23070] ; 6204 u8 irq_buf[2] ; 6205 u8 ctrl_buf[64] ; 6206 struct usb_ctrlrequest ctrl_dr ; 6207 struct timer_list timer ; 6208 u8 stats_buf[8] ; 6209 u16 stats_vals[4] ; 6210 unsigned long last_stats ; 6211 u8 multicast[64] ; 6212 struct ctrl_queue ctrl_queue[16] ; 6213 struct urb *tx_urb ; 6214 struct urb *rx_urb ; 6215 struct urb *irq_urb ; 6216 struct urb *ctrl_urb ; 6217 u8 is_f5u011 ; 6218 u8 rxmode[2] ; 6219 atomic_t recq_sz ; 6220}; 6221#line 1 "<compiler builtins>" 6222 6223#line 1 6224long __builtin_expect(long , long ) ; 6225#line 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h" 6226__inline static void ( __attribute__((__always_inline__)) set_bit)(unsigned int nr , 6227 unsigned long volatile *addr ) 6228{ long volatile *__cil_tmp3 ; 6229 6230 { 6231#line 68 6232 __cil_tmp3 = (long volatile *)addr; 6233#line 68 6234 __asm__ volatile (".section .smp_locks,\"a\"\n" 6235 ".balign 4\n" 6236 ".long 671f - .\n" 6237 ".previous\n" 6238 "671:" 6239 "\n\tlock; " 6240 "bts %1,%0": "+m" (*__cil_tmp3): "Ir" (nr): "memory"); 6241#line 71 6242 return; 6243} 6244} 6245#line 97 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h" 6246__inline static void ( __attribute__((__always_inline__)) clear_bit)(int nr , unsigned long volatile *addr ) 6247{ long volatile *__cil_tmp3 ; 6248 6249 { 6250#line 105 6251 __cil_tmp3 = (long volatile *)addr; 6252#line 105 6253 __asm__ volatile (".section .smp_locks,\"a\"\n" 6254 ".balign 4\n" 6255 ".long 671f - .\n" 6256 ".previous\n" 6257 "671:" 6258 "\n\tlock; " 6259 "btr %1,%0": "+m" (*__cil_tmp3): "Ir" (nr)); 6260#line 109 6261 return; 6262} 6263} 6264#line 195 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h" 6265__inline static int test_and_set_bit(int nr , unsigned long volatile *addr ) 6266{ int oldbit ; 6267 long volatile *__cil_tmp4 ; 6268 6269 { 6270#line 199 6271 __cil_tmp4 = (long volatile *)addr; 6272#line 199 6273 __asm__ volatile (".section .smp_locks,\"a\"\n" 6274 ".balign 4\n" 6275 ".long 671f - .\n" 6276 ".previous\n" 6277 "671:" 6278 "\n\tlock; " 6279 "bts %2,%1\n\t" 6280 "sbb %0,%0": "=r" (oldbit), "+m" (*__cil_tmp4): "Ir" (nr): "memory"); 6281#line 202 6282 return (oldbit); 6283} 6284} 6285#line 246 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h" 6286__inline static int test_and_clear_bit(int nr , unsigned long volatile *addr ) 6287{ int oldbit ; 6288 long volatile *__cil_tmp4 ; 6289 6290 { 6291#line 250 6292 __cil_tmp4 = (long volatile *)addr; 6293#line 250 6294 __asm__ volatile (".section .smp_locks,\"a\"\n" 6295 ".balign 4\n" 6296 ".long 671f - .\n" 6297 ".previous\n" 6298 "671:" 6299 "\n\tlock; " 6300 "btr %2,%1\n\t" 6301 "sbb %0,%0": "=r" (oldbit), "+m" (*__cil_tmp4): "Ir" (nr): "memory"); 6302#line 254 6303 return (oldbit); 6304} 6305} 6306#line 46 "include/linux/swab.h" 6307__inline static __u16 __fswab16(__u16 val ) __attribute__((__const__)) ; 6308#line 46 6309__inline static __u16 __fswab16(__u16 val ) __attribute__((__const__)) ; 6310#line 46 "include/linux/swab.h" 6311__inline static __u16 __fswab16(__u16 val ) 6312{ int __cil_tmp2 ; 6313 int __cil_tmp3 ; 6314 int __cil_tmp4 ; 6315 int __cil_tmp5 ; 6316 int __cil_tmp6 ; 6317 int __cil_tmp7 ; 6318 int __cil_tmp8 ; 6319 6320 { 6321 { 6322#line 51 6323 __cil_tmp2 = (int )val; 6324#line 51 6325 __cil_tmp3 = __cil_tmp2 & 65280; 6326#line 51 6327 __cil_tmp4 = __cil_tmp3 >> 8; 6328#line 51 6329 __cil_tmp5 = (int )val; 6330#line 51 6331 __cil_tmp6 = __cil_tmp5 & 255; 6332#line 51 6333 __cil_tmp7 = __cil_tmp6 << 8; 6334#line 51 6335 __cil_tmp8 = __cil_tmp7 | __cil_tmp4; 6336#line 51 6337 return ((__u16 )__cil_tmp8); 6338 } 6339} 6340} 6341#line 148 "include/linux/swab.h" 6342__inline static __u16 __swab16p(__u16 const *p ) 6343{ __u16 tmp ; 6344 __u16 __cil_tmp3 ; 6345 __u16 __cil_tmp4 ; 6346 int __cil_tmp5 ; 6347 6348 { 6349 { 6350#line 153 6351 __cil_tmp3 = *p; 6352#line 153 6353 __cil_tmp4 = (__u16 )__cil_tmp3; 6354#line 153 6355 tmp = __fswab16(__cil_tmp4); 6356 } 6357 { 6358#line 153 6359 __cil_tmp5 = (int )tmp; 6360#line 153 6361 return ((__u16 )__cil_tmp5); 6362 } 6363} 6364} 6365#line 63 "include/linux/byteorder/little_endian.h" 6366__inline static __u16 __le16_to_cpup(__le16 const *p ) 6367{ __le16 __cil_tmp2 ; 6368 6369 { 6370 { 6371#line 65 6372 __cil_tmp2 = *p; 6373#line 65 6374 return ((__u16 )__cil_tmp2); 6375 } 6376} 6377} 6378#line 87 "include/linux/byteorder/little_endian.h" 6379__inline static __u16 __be16_to_cpup(__be16 const *p ) 6380{ __u16 tmp ; 6381 __u16 *__cil_tmp3 ; 6382 __u16 const *__cil_tmp4 ; 6383 6384 { 6385 { 6386#line 89 6387 __cil_tmp3 = (__u16 *)p; 6388#line 89 6389 __cil_tmp4 = (__u16 const *)__cil_tmp3; 6390#line 89 6391 tmp = __swab16p(__cil_tmp4); 6392 } 6393#line 89 6394 return (tmp); 6395} 6396} 6397#line 100 "include/linux/printk.h" 6398extern int printk(char const *fmt , ...) ; 6399#line 69 "include/asm-generic/bug.h" 6400extern void warn_slowpath_null(char const *file , int line ) ; 6401#line 295 "include/linux/kernel.h" 6402extern int snprintf(char *buf , size_t size , char const *fmt , ...) ; 6403#line 55 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h" 6404extern void *memset(void *s , int c , size_t n ) ; 6405#line 27 "include/linux/string.h" 6406extern char *strncpy(char * , char const * , __kernel_size_t ) ; 6407#line 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h" 6408__inline static int atomic_read(atomic_t const *v ) 6409{ int const *__cil_tmp2 ; 6410 int volatile *__cil_tmp3 ; 6411 int volatile __cil_tmp4 ; 6412 6413 { 6414 { 6415#line 25 6416 __cil_tmp2 = & v->counter; 6417#line 25 6418 __cil_tmp3 = (int volatile *)__cil_tmp2; 6419#line 25 6420 __cil_tmp4 = *__cil_tmp3; 6421#line 25 6422 return ((int )__cil_tmp4); 6423 } 6424} 6425} 6426#line 35 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h" 6427__inline static void atomic_set(atomic_t *v , int i ) 6428{ 6429 6430 { 6431#line 37 6432 v->counter = i; 6433#line 38 6434 return; 6435} 6436} 6437#line 93 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h" 6438__inline static void atomic_inc(atomic_t *v ) 6439{ 6440 6441 { 6442#line 95 6443 __asm__ volatile (".section .smp_locks,\"a\"\n" 6444 ".balign 4\n" 6445 ".long 671f - .\n" 6446 ".previous\n" 6447 "671:" 6448 "\n\tlock; " 6449 "incl %0": "+m" (v->counter)); 6450#line 97 6451 return; 6452} 6453} 6454#line 105 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h" 6455__inline static void atomic_dec(atomic_t *v ) 6456{ 6457 6458 { 6459#line 107 6460 __asm__ volatile (".section .smp_locks,\"a\"\n" 6461 ".balign 4\n" 6462 ".long 671f - .\n" 6463 ".previous\n" 6464 "671:" 6465 "\n\tlock; " 6466 "decl %0": "+m" (v->counter)); 6467#line 109 6468 return; 6469} 6470} 6471#line 93 "include/linux/spinlock.h" 6472extern void __raw_spin_lock_init(raw_spinlock_t *lock , char const *name , struct lock_class_key *key ) ; 6473#line 32 "include/linux/spinlock_api_smp.h" 6474extern unsigned long _raw_spin_lock_irqsave(raw_spinlock_t *lock ) __attribute__((__section__(".spinlock.text"))) ; 6475#line 42 6476extern void _raw_spin_unlock_irqrestore(raw_spinlock_t *lock , unsigned long flags ) __attribute__((__section__(".spinlock.text"))) ; 6477#line 272 "include/linux/spinlock.h" 6478__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock ) 6479{ 6480 6481 { 6482#line 274 6483 return (& lock->__annonCompField18.rlock); 6484} 6485} 6486#line 338 "include/linux/spinlock.h" 6487__inline static void spin_unlock_irqrestore(spinlock_t *lock , unsigned long flags ) 6488{ struct raw_spinlock *__cil_tmp3 ; 6489 6490 { 6491 { 6492#line 340 6493 while (1) { 6494 while_continue: /* CIL Label */ ; 6495 { 6496#line 340 6497 __cil_tmp3 = & lock->__annonCompField18.rlock; 6498#line 340 6499 _raw_spin_unlock_irqrestore(__cil_tmp3, flags); 6500 } 6501#line 340 6502 goto while_break; 6503 } 6504 while_break___0: /* CIL Label */ ; 6505 } 6506 6507 while_break: ; 6508#line 341 6509 return; 6510} 6511} 6512#line 82 "include/linux/jiffies.h" 6513extern unsigned long volatile jiffies __attribute__((__section__(".data"))) ; 6514#line 91 "include/linux/timer.h" 6515extern void init_timer_key(struct timer_list *timer , char const *name , struct lock_class_key *key ) ; 6516#line 211 6517extern int mod_timer(struct timer_list *timer , unsigned long expires ) ; 6518#line 280 6519extern int del_timer_sync(struct timer_list *timer ) ; 6520#line 79 "include/linux/module.h" 6521int init_module(void) ; 6522#line 80 6523void cleanup_module(void) ; 6524#line 99 6525extern struct module __this_module ; 6526#line 705 "include/linux/device.h" 6527extern void *dev_get_drvdata(struct device const *dev ) __attribute__((__ldv_model__)) ; 6528#line 706 6529extern int dev_set_drvdata(struct device *dev , void *data ) ; 6530#line 799 6531extern int dev_warn(struct device const *dev , char const *fmt , ...) ; 6532#line 491 "include/linux/skbuff.h" 6533extern void consume_skb(struct sk_buff *skb ) ; 6534#line 1167 6535extern unsigned char *skb_put(struct sk_buff *skb , unsigned int len ) ; 6536#line 1541 6537extern struct sk_buff *dev_alloc_skb(unsigned int length ) ; 6538#line 1904 "include/linux/skbuff.h" 6539__inline static void skb_copy_from_linear_data(struct sk_buff const *skb , void *to , 6540 unsigned int len ) 6541{ size_t __len ; 6542 void *__ret ; 6543 unsigned char *__cil_tmp6 ; 6544 void const *__cil_tmp7 ; 6545 6546 { 6547 { 6548#line 1908 6549 __len = (size_t )len; 6550#line 1908 6551 __cil_tmp6 = skb->data; 6552#line 1908 6553 __cil_tmp7 = (void const *)__cil_tmp6; 6554#line 1908 6555 __ret = __builtin_memcpy(to, __cil_tmp7, __len); 6556 } 6557#line 1909 6558 return; 6559} 6560} 6561#line 1918 "include/linux/skbuff.h" 6562__inline static void skb_copy_to_linear_data(struct sk_buff *skb , void const *from , 6563 unsigned int len ) 6564{ size_t __len ; 6565 void *__ret ; 6566 unsigned char *__cil_tmp6 ; 6567 void *__cil_tmp7 ; 6568 6569 { 6570 { 6571#line 1922 6572 __len = (size_t )len; 6573#line 1922 6574 __cil_tmp6 = skb->data; 6575#line 1922 6576 __cil_tmp7 = (void *)__cil_tmp6; 6577#line 1922 6578 __ret = __builtin_memcpy(__cil_tmp7, from, __len); 6579 } 6580#line 1923 6581 return; 6582} 6583} 6584#line 49 "include/linux/ethtool.h" 6585__inline static void ethtool_cmd_speed_set(struct ethtool_cmd *ep , __u32 speed ) 6586{ __u32 __cil_tmp3 ; 6587 6588 { 6589#line 53 6590 ep->speed = (__u16 )speed; 6591#line 54 6592 __cil_tmp3 = speed >> 16; 6593#line 54 6594 ep->speed_hi = (__u16 )__cil_tmp3; 6595#line 55 6596 return; 6597} 6598} 6599#line 748 6600extern u32 ethtool_op_get_link(struct net_device *dev ) ; 6601#line 1409 "include/linux/netdevice.h" 6602__inline static struct netdev_queue *netdev_get_tx_queue(struct net_device const *dev , 6603 unsigned int index ) 6604{ struct netdev_queue *__cil_tmp3 ; 6605 struct netdev_queue *__cil_tmp4 ; 6606 6607 { 6608 { 6609#line 1413 6610 __cil_tmp3 = dev->_tx; 6611#line 1413 6612 __cil_tmp4 = __cil_tmp3 + index; 6613#line 1413 6614 return ((struct netdev_queue *)__cil_tmp4); 6615 } 6616} <

User:	Jiri Slaby
Error type:	Reachable Error Location
Error type description:	A specified error location is reachable in some program path
File location:	ldv-drivers/usb_urb-drivers-net-usb-catc.ko_unsafe.cil.out.i.pp.cil.c
Line in file:	11648
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 139

Source: