Showing error 140

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.i
Line in file: 9110
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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