Showing error 138

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-can-usb-ems_usb.ko_unsafe.cil.out.i.pp.i
Line in file: 8878
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/can/usb/ems_usb.ko/unsafe.cil.out.i"
   2# 1 "<built-in>"
   3# 1 "<command-line>"
   4# 1 "ldv/68_1/drivers/net/can/usb/ems_usb.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# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 627struct siginfo;
 628# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 629struct siginfo;
 630# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 631struct siginfo;
 632# 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 633struct __anonstruct_sigset_t_41 {
 634   unsigned long sig[1] ;
 635};
 636# 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 637typedef struct __anonstruct_sigset_t_41 sigset_t;
 638# 17 "include/asm-generic/signal-defs.h"
 639typedef void __signalfn_t(int );
 640# 18 "include/asm-generic/signal-defs.h"
 641typedef __signalfn_t *__sighandler_t;
 642# 20 "include/asm-generic/signal-defs.h"
 643typedef void __restorefn_t(void);
 644# 21 "include/asm-generic/signal-defs.h"
 645typedef __restorefn_t *__sigrestore_t;
 646# 167 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 647struct sigaction {
 648   __sighandler_t sa_handler ;
 649   unsigned long sa_flags ;
 650   __sigrestore_t sa_restorer ;
 651   sigset_t sa_mask ;
 652};
 653# 174 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 654struct k_sigaction {
 655   struct sigaction sa ;
 656};
 657# 7 "include/asm-generic/siginfo.h"
 658union sigval {
 659   int sival_int ;
 660   void *sival_ptr ;
 661};
 662# 7 "include/asm-generic/siginfo.h"
 663typedef union sigval sigval_t;
 664# 40 "include/asm-generic/siginfo.h"
 665struct __anonstruct__kill_43 {
 666   __kernel_pid_t _pid ;
 667   __kernel_uid32_t _uid ;
 668};
 669# 40 "include/asm-generic/siginfo.h"
 670struct __anonstruct__timer_44 {
 671   __kernel_timer_t _tid ;
 672   int _overrun ;
 673   char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
 674   sigval_t _sigval ;
 675   int _sys_private ;
 676};
 677# 40 "include/asm-generic/siginfo.h"
 678struct __anonstruct__rt_45 {
 679   __kernel_pid_t _pid ;
 680   __kernel_uid32_t _uid ;
 681   sigval_t _sigval ;
 682};
 683# 40 "include/asm-generic/siginfo.h"
 684struct __anonstruct__sigchld_46 {
 685   __kernel_pid_t _pid ;
 686   __kernel_uid32_t _uid ;
 687   int _status ;
 688   __kernel_clock_t _utime ;
 689   __kernel_clock_t _stime ;
 690};
 691# 40 "include/asm-generic/siginfo.h"
 692struct __anonstruct__sigfault_47 {
 693   void *_addr ;
 694   short _addr_lsb ;
 695};
 696# 40 "include/asm-generic/siginfo.h"
 697struct __anonstruct__sigpoll_48 {
 698   long _band ;
 699   int _fd ;
 700};
 701# 40 "include/asm-generic/siginfo.h"
 702union __anonunion__sifields_42 {
 703   int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
 704   struct __anonstruct__kill_43 _kill ;
 705   struct __anonstruct__timer_44 _timer ;
 706   struct __anonstruct__rt_45 _rt ;
 707   struct __anonstruct__sigchld_46 _sigchld ;
 708   struct __anonstruct__sigfault_47 _sigfault ;
 709   struct __anonstruct__sigpoll_48 _sigpoll ;
 710};
 711# 40 "include/asm-generic/siginfo.h"
 712struct siginfo {
 713   int si_signo ;
 714   int si_errno ;
 715   int si_code ;
 716   union __anonunion__sifields_42 _sifields ;
 717};
 718# 40 "include/asm-generic/siginfo.h"
 719typedef struct siginfo siginfo_t;
 720# 280 "include/asm-generic/siginfo.h"
 721struct siginfo;
 722# 10 "include/linux/signal.h"
 723struct task_struct;
 724# 18 "include/linux/signal.h"
 725struct user_struct;
 726# 18 "include/linux/signal.h"
 727struct user_struct;
 728# 28 "include/linux/signal.h"
 729struct sigpending {
 730   struct list_head list ;
 731   sigset_t signal ;
 732};
 733# 239 "include/linux/signal.h"
 734struct timespec;
 735# 240 "include/linux/signal.h"
 736struct pt_regs;
 737# 50 "include/linux/wait.h"
 738struct __wait_queue_head {
 739   spinlock_t lock ;
 740   struct list_head task_list ;
 741};
 742# 54 "include/linux/wait.h"
 743typedef struct __wait_queue_head wait_queue_head_t;
 744# 56 "include/linux/wait.h"
 745struct task_struct;
 746# 96 "include/linux/nodemask.h"
 747struct __anonstruct_nodemask_t_51 {
 748   unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
 749};
 750# 96 "include/linux/nodemask.h"
 751typedef struct __anonstruct_nodemask_t_51 nodemask_t;
 752# 60 "include/linux/pageblock-flags.h"
 753struct page;
 754# 48 "include/linux/mutex.h"
 755struct mutex {
 756   atomic_t count ;
 757   spinlock_t wait_lock ;
 758   struct list_head wait_list ;
 759   struct task_struct *owner ;
 760   char const *name ;
 761   void *magic ;
 762   struct lockdep_map dep_map ;
 763};
 764# 69 "include/linux/mutex.h"
 765struct mutex_waiter {
 766   struct list_head list ;
 767   struct task_struct *task ;
 768   void *magic ;
 769};
 770# 20 "include/linux/rwsem.h"
 771struct rw_semaphore;
 772# 20 "include/linux/rwsem.h"
 773struct rw_semaphore;
 774# 20 "include/linux/rwsem.h"
 775struct rw_semaphore;
 776# 26 "include/linux/rwsem.h"
 777struct rw_semaphore {
 778   long count ;
 779   spinlock_t wait_lock ;
 780   struct list_head wait_list ;
 781   struct lockdep_map dep_map ;
 782};
 783# 8 "include/linux/memory_hotplug.h"
 784struct page;
 785# 768 "include/linux/mmzone.h"
 786struct ctl_table;
 787# 768 "include/linux/mmzone.h"
 788struct ctl_table;
 789# 768 "include/linux/mmzone.h"
 790struct ctl_table;
 791# 177 "include/linux/ioport.h"
 792struct device;
 793# 177 "include/linux/ioport.h"
 794struct device;
 795# 177 "include/linux/ioport.h"
 796struct device;
 797# 103 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mpspec.h"
 798struct device;
 799# 46 "include/linux/ktime.h"
 800union ktime {
 801   s64 tv64 ;
 802};
 803# 59 "include/linux/ktime.h"
 804typedef union ktime ktime_t;
 805# 10 "include/linux/timer.h"
 806struct tvec_base;
 807# 10 "include/linux/timer.h"
 808struct tvec_base;
 809# 10 "include/linux/timer.h"
 810struct tvec_base;
 811# 12 "include/linux/timer.h"
 812struct timer_list {
 813   struct list_head entry ;
 814   unsigned long expires ;
 815   struct tvec_base *base ;
 816   void (*function)(unsigned long ) ;
 817   unsigned long data ;
 818   int slack ;
 819   int start_pid ;
 820   void *start_site ;
 821   char start_comm[16] ;
 822   struct lockdep_map lockdep_map ;
 823};
 824# 289 "include/linux/timer.h"
 825struct hrtimer;
 826# 289 "include/linux/timer.h"
 827struct hrtimer;
 828# 289 "include/linux/timer.h"
 829struct hrtimer;
 830# 290 "include/linux/timer.h"
 831enum hrtimer_restart;
 832# 290 "include/linux/timer.h"
 833enum hrtimer_restart;
 834# 17 "include/linux/workqueue.h"
 835struct work_struct;
 836# 17 "include/linux/workqueue.h"
 837struct work_struct;
 838# 17 "include/linux/workqueue.h"
 839struct work_struct;
 840# 79 "include/linux/workqueue.h"
 841struct work_struct {
 842   atomic_long_t data ;
 843   struct list_head entry ;
 844   void (*func)(struct work_struct *work ) ;
 845   struct lockdep_map lockdep_map ;
 846};
 847# 92 "include/linux/workqueue.h"
 848struct delayed_work {
 849   struct work_struct work ;
 850   struct timer_list timer ;
 851};
 852# 25 "include/linux/completion.h"
 853struct completion {
 854   unsigned int done ;
 855   wait_queue_head_t wait ;
 856};
 857# 42 "include/linux/pm.h"
 858struct device;
 859# 50 "include/linux/pm.h"
 860struct pm_message {
 861   int event ;
 862};
 863# 50 "include/linux/pm.h"
 864typedef struct pm_message pm_message_t;
 865# 204 "include/linux/pm.h"
 866struct dev_pm_ops {
 867   int (*prepare)(struct device *dev ) ;
 868   void (*complete)(struct device *dev ) ;
 869   int (*suspend)(struct device *dev ) ;
 870   int (*resume)(struct device *dev ) ;
 871   int (*freeze)(struct device *dev ) ;
 872   int (*thaw)(struct device *dev ) ;
 873   int (*poweroff)(struct device *dev ) ;
 874   int (*restore)(struct device *dev ) ;
 875   int (*suspend_noirq)(struct device *dev ) ;
 876   int (*resume_noirq)(struct device *dev ) ;
 877   int (*freeze_noirq)(struct device *dev ) ;
 878   int (*thaw_noirq)(struct device *dev ) ;
 879   int (*poweroff_noirq)(struct device *dev ) ;
 880   int (*restore_noirq)(struct device *dev ) ;
 881   int (*runtime_suspend)(struct device *dev ) ;
 882   int (*runtime_resume)(struct device *dev ) ;
 883   int (*runtime_idle)(struct device *dev ) ;
 884};
 885# 392 "include/linux/pm.h"
 886enum rpm_status {
 887    RPM_ACTIVE = 0,
 888    RPM_RESUMING = 1,
 889    RPM_SUSPENDED = 2,
 890    RPM_SUSPENDING = 3
 891} ;
 892# 414 "include/linux/pm.h"
 893enum rpm_request {
 894    RPM_REQ_NONE = 0,
 895    RPM_REQ_IDLE = 1,
 896    RPM_REQ_SUSPEND = 2,
 897    RPM_REQ_AUTOSUSPEND = 3,
 898    RPM_REQ_RESUME = 4
 899} ;
 900# 422 "include/linux/pm.h"
 901struct wakeup_source;
 902# 422 "include/linux/pm.h"
 903struct wakeup_source;
 904# 422 "include/linux/pm.h"
 905struct wakeup_source;
 906# 424 "include/linux/pm.h"
 907struct dev_pm_info {
 908   pm_message_t power_state ;
 909   unsigned int can_wakeup : 1 ;
 910   unsigned int async_suspend : 1 ;
 911   bool is_prepared : 1 ;
 912   bool is_suspended : 1 ;
 913   spinlock_t lock ;
 914   struct list_head entry ;
 915   struct completion completion ;
 916   struct wakeup_source *wakeup ;
 917   struct timer_list suspend_timer ;
 918   unsigned long timer_expires ;
 919   struct work_struct work ;
 920   wait_queue_head_t wait_queue ;
 921   atomic_t usage_count ;
 922   atomic_t child_count ;
 923   unsigned int disable_depth : 3 ;
 924   unsigned int ignore_children : 1 ;
 925   unsigned int idle_notification : 1 ;
 926   unsigned int request_pending : 1 ;
 927   unsigned int deferred_resume : 1 ;
 928   unsigned int run_wake : 1 ;
 929   unsigned int runtime_auto : 1 ;
 930   unsigned int no_callbacks : 1 ;
 931   unsigned int irq_safe : 1 ;
 932   unsigned int use_autosuspend : 1 ;
 933   unsigned int timer_autosuspends : 1 ;
 934   enum rpm_request request ;
 935   enum rpm_status runtime_status ;
 936   int runtime_error ;
 937   int autosuspend_delay ;
 938   unsigned long last_busy ;
 939   unsigned long active_jiffies ;
 940   unsigned long suspended_jiffies ;
 941   unsigned long accounting_timestamp ;
 942   void *subsys_data ;
 943};
 944# 475 "include/linux/pm.h"
 945struct dev_power_domain {
 946   struct dev_pm_ops ops ;
 947};
 948# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
 949struct __anonstruct_mm_context_t_121 {
 950   void *ldt ;
 951   int size ;
 952   unsigned short ia32_compat ;
 953   struct mutex lock ;
 954   void *vdso ;
 955};
 956# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
 957typedef struct __anonstruct_mm_context_t_121 mm_context_t;
 958# 8 "include/linux/vmalloc.h"
 959struct vm_area_struct;
 960# 8 "include/linux/vmalloc.h"
 961struct vm_area_struct;
 962# 8 "include/linux/vmalloc.h"
 963struct vm_area_struct;
 964# 964 "include/linux/mmzone.h"
 965struct page;
 966# 10 "include/linux/gfp.h"
 967struct vm_area_struct;
 968# 20 "include/linux/kobject_ns.h"
 969struct sock;
 970# 20 "include/linux/kobject_ns.h"
 971struct sock;
 972# 20 "include/linux/kobject_ns.h"
 973struct sock;
 974# 21 "include/linux/kobject_ns.h"
 975struct kobject;
 976# 21 "include/linux/kobject_ns.h"
 977struct kobject;
 978# 21 "include/linux/kobject_ns.h"
 979struct kobject;
 980# 27 "include/linux/kobject_ns.h"
 981enum kobj_ns_type {
 982    KOBJ_NS_TYPE_NONE = 0,
 983    KOBJ_NS_TYPE_NET = 1,
 984    KOBJ_NS_TYPES = 2
 985} ;
 986# 40 "include/linux/kobject_ns.h"
 987struct kobj_ns_type_operations {
 988   enum kobj_ns_type type ;
 989   void *(*grab_current_ns)(void) ;
 990   void const *(*netlink_ns)(struct sock *sk ) ;
 991   void const *(*initial_ns)(void) ;
 992   void (*drop_ns)(void * ) ;
 993};
 994# 22 "include/linux/sysfs.h"
 995struct kobject;
 996# 23 "include/linux/sysfs.h"
 997struct module;
 998# 24 "include/linux/sysfs.h"
 999enum kobj_ns_type;
1000# 26 "include/linux/sysfs.h"
1001struct attribute {
1002   char const *name ;
1003   mode_t mode ;
1004   struct lock_class_key *key ;
1005   struct lock_class_key skey ;
1006};
1007# 56 "include/linux/sysfs.h"
1008struct attribute_group {
1009   char const *name ;
1010   mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
1011   struct attribute **attrs ;
1012};
1013# 85 "include/linux/sysfs.h"
1014struct file;
1015# 86 "include/linux/sysfs.h"
1016struct vm_area_struct;
1017# 88 "include/linux/sysfs.h"
1018struct bin_attribute {
1019   struct attribute attr ;
1020   size_t size ;
1021   void *private ;
1022   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
1023                   loff_t , size_t ) ;
1024   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
1025                    loff_t , size_t ) ;
1026   int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
1027};
1028# 112 "include/linux/sysfs.h"
1029struct sysfs_ops {
1030   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
1031   ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
1032};
1033# 117 "include/linux/sysfs.h"
1034struct sysfs_dirent;
1035# 117 "include/linux/sysfs.h"
1036struct sysfs_dirent;
1037# 117 "include/linux/sysfs.h"
1038struct sysfs_dirent;
1039# 20 "include/linux/kref.h"
1040struct kref {
1041   atomic_t refcount ;
1042};
1043# 60 "include/linux/kobject.h"
1044struct kset;
1045# 60 "include/linux/kobject.h"
1046struct kset;
1047# 60 "include/linux/kobject.h"
1048struct kobj_type;
1049# 60 "include/linux/kobject.h"
1050struct kobj_type;
1051# 60 "include/linux/kobject.h"
1052struct kobject {
1053   char const *name ;
1054   struct list_head entry ;
1055   struct kobject *parent ;
1056   struct kset *kset ;
1057   struct kobj_type *ktype ;
1058   struct sysfs_dirent *sd ;
1059   struct kref kref ;
1060   unsigned int state_initialized : 1 ;
1061   unsigned int state_in_sysfs : 1 ;
1062   unsigned int state_add_uevent_sent : 1 ;
1063   unsigned int state_remove_uevent_sent : 1 ;
1064   unsigned int uevent_suppress : 1 ;
1065};
1066# 110 "include/linux/kobject.h"
1067struct kobj_type {
1068   void (*release)(struct kobject *kobj ) ;
1069   struct sysfs_ops const *sysfs_ops ;
1070   struct attribute **default_attrs ;
1071   struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
1072   void const *(*namespace)(struct kobject *kobj ) ;
1073};
1074# 118 "include/linux/kobject.h"
1075struct kobj_uevent_env {
1076   char *envp[32] ;
1077   int envp_idx ;
1078   char buf[2048] ;
1079   int buflen ;
1080};
1081# 125 "include/linux/kobject.h"
1082struct kset_uevent_ops {
1083   int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
1084   char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
1085   int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
1086};
1087# 142 "include/linux/kobject.h"
1088struct sock;
1089# 161 "include/linux/kobject.h"
1090struct kset {
1091   struct list_head list ;
1092   spinlock_t list_lock ;
1093   struct kobject kobj ;
1094   struct kset_uevent_ops const *uevent_ops ;
1095};
1096# 38 "include/linux/slub_def.h"
1097struct kmem_cache_cpu {
1098   void **freelist ;
1099   unsigned long tid ;
1100   struct page *page ;
1101   int node ;
1102   unsigned int stat[19] ;
1103};
1104# 48 "include/linux/slub_def.h"
1105struct kmem_cache_node {
1106   spinlock_t list_lock ;
1107   unsigned long nr_partial ;
1108   struct list_head partial ;
1109   atomic_long_t nr_slabs ;
1110   atomic_long_t total_objects ;
1111   struct list_head full ;
1112};
1113# 64 "include/linux/slub_def.h"
1114struct kmem_cache_order_objects {
1115   unsigned long x ;
1116};
1117# 71 "include/linux/slub_def.h"
1118struct kmem_cache {
1119   struct kmem_cache_cpu *cpu_slab ;
1120   unsigned long flags ;
1121   unsigned long min_partial ;
1122   int size ;
1123   int objsize ;
1124   int offset ;
1125   struct kmem_cache_order_objects oo ;
1126   struct kmem_cache_order_objects max ;
1127   struct kmem_cache_order_objects min ;
1128   gfp_t allocflags ;
1129   int refcount ;
1130   void (*ctor)(void * ) ;
1131   int inuse ;
1132   int align ;
1133   int reserved ;
1134   char const *name ;
1135   struct list_head list ;
1136   struct kobject kobj ;
1137   int remote_node_defrag_ratio ;
1138   struct kmem_cache_node *node[1 << 10] ;
1139};
1140# 62 "include/linux/stat.h"
1141struct kstat {
1142   u64 ino ;
1143   dev_t dev ;
1144   umode_t mode ;
1145   unsigned int nlink ;
1146   uid_t uid ;
1147   gid_t gid ;
1148   dev_t rdev ;
1149   loff_t size ;
1150   struct timespec atime ;
1151   struct timespec mtime ;
1152   struct timespec ctime ;
1153   unsigned long blksize ;
1154   unsigned long long blocks ;
1155};
1156# 29 "include/linux/sysctl.h"
1157struct completion;
1158# 72 "include/linux/rcupdate.h"
1159struct rcu_head {
1160   struct rcu_head *next ;
1161   void (*func)(struct rcu_head *head ) ;
1162};
1163# 936 "include/linux/sysctl.h"
1164struct ctl_table;
1165# 937 "include/linux/sysctl.h"
1166struct nsproxy;
1167# 937 "include/linux/sysctl.h"
1168struct nsproxy;
1169# 937 "include/linux/sysctl.h"
1170struct nsproxy;
1171# 938 "include/linux/sysctl.h"
1172struct ctl_table_root;
1173# 938 "include/linux/sysctl.h"
1174struct ctl_table_root;
1175# 938 "include/linux/sysctl.h"
1176struct ctl_table_root;
1177# 940 "include/linux/sysctl.h"
1178struct ctl_table_set {
1179   struct list_head list ;
1180   struct ctl_table_set *parent ;
1181   int (*is_seen)(struct ctl_table_set * ) ;
1182};
1183# 950 "include/linux/sysctl.h"
1184struct ctl_table_header;
1185# 950 "include/linux/sysctl.h"
1186struct ctl_table_header;
1187# 950 "include/linux/sysctl.h"
1188struct ctl_table_header;
1189# 965 "include/linux/sysctl.h"
1190typedef int proc_handler(struct ctl_table *ctl , int write , void *buffer , size_t *lenp ,
1191                         loff_t *ppos );
1192# 1015 "include/linux/sysctl.h"
1193struct ctl_table {
1194   char const *procname ;
1195   void *data ;
1196   int maxlen ;
1197   mode_t mode ;
1198   struct ctl_table *child ;
1199   struct ctl_table *parent ;
1200   proc_handler *proc_handler ;
1201   void *extra1 ;
1202   void *extra2 ;
1203};
1204# 1028 "include/linux/sysctl.h"
1205struct ctl_table_root {
1206   struct list_head root_list ;
1207   struct ctl_table_set default_set ;
1208   struct ctl_table_set *(*lookup)(struct ctl_table_root *root , struct nsproxy *namespaces ) ;
1209   int (*permissions)(struct ctl_table_root *root , struct nsproxy *namespaces , struct ctl_table *table ) ;
1210};
1211# 1039 "include/linux/sysctl.h"
1212struct __anonstruct____missing_field_name_200 {
1213   struct ctl_table *ctl_table ;
1214   struct list_head ctl_entry ;
1215   int used ;
1216   int count ;
1217};
1218# 1039 "include/linux/sysctl.h"
1219union __anonunion____missing_field_name_199 {
1220   struct __anonstruct____missing_field_name_200 __annonCompField29 ;
1221   struct rcu_head rcu ;
1222};
1223# 1039 "include/linux/sysctl.h"
1224struct ctl_table_header {
1225   union __anonunion____missing_field_name_199 __annonCompField30 ;
1226   struct completion *unregistering ;
1227   struct ctl_table *ctl_table_arg ;
1228   struct ctl_table_root *root ;
1229   struct ctl_table_set *set ;
1230   struct ctl_table *attached_by ;
1231   struct ctl_table *attached_to ;
1232   struct ctl_table_header *parent ;
1233};
1234# 48 "include/linux/kmod.h"
1235struct cred;
1236# 48 "include/linux/kmod.h"
1237struct cred;
1238# 48 "include/linux/kmod.h"
1239struct cred;
1240# 49 "include/linux/kmod.h"
1241struct file;
1242# 264 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h"
1243struct task_struct;
1244# 10 "include/linux/elf.h"
1245struct file;
1246# 27 "include/linux/elf.h"
1247typedef __u64 Elf64_Addr;
1248# 28 "include/linux/elf.h"
1249typedef __u16 Elf64_Half;
1250# 32 "include/linux/elf.h"
1251typedef __u32 Elf64_Word;
1252# 33 "include/linux/elf.h"
1253typedef __u64 Elf64_Xword;
1254# 203 "include/linux/elf.h"
1255struct elf64_sym {
1256   Elf64_Word st_name ;
1257   unsigned char st_info ;
1258   unsigned char st_other ;
1259   Elf64_Half st_shndx ;
1260   Elf64_Addr st_value ;
1261   Elf64_Xword st_size ;
1262};
1263# 203 "include/linux/elf.h"
1264typedef struct elf64_sym Elf64_Sym;
1265# 34 "include/linux/moduleparam.h"
1266struct kernel_param;
1267# 34 "include/linux/moduleparam.h"
1268struct kernel_param;
1269# 34 "include/linux/moduleparam.h"
1270struct kernel_param;
1271# 36 "include/linux/moduleparam.h"
1272struct kernel_param_ops {
1273   int (*set)(char const *val , struct kernel_param const *kp ) ;
1274   int (*get)(char *buffer , struct kernel_param const *kp ) ;
1275   void (*free)(void *arg ) ;
1276};
1277# 48 "include/linux/moduleparam.h"
1278struct kparam_string;
1279# 48 "include/linux/moduleparam.h"
1280struct kparam_string;
1281# 48 "include/linux/moduleparam.h"
1282struct kparam_array;
1283# 48 "include/linux/moduleparam.h"
1284struct kparam_array;
1285# 48 "include/linux/moduleparam.h"
1286union __anonunion____missing_field_name_205 {
1287   void *arg ;
1288   struct kparam_string const *str ;
1289   struct kparam_array const *arr ;
1290};
1291# 48 "include/linux/moduleparam.h"
1292struct kernel_param {
1293   char const *name ;
1294   struct kernel_param_ops const *ops ;
1295   u16 perm ;
1296   u16 flags ;
1297   union __anonunion____missing_field_name_205 __annonCompField31 ;
1298};
1299# 61 "include/linux/moduleparam.h"
1300struct kparam_string {
1301   unsigned int maxlen ;
1302   char *string ;
1303};
1304# 67 "include/linux/moduleparam.h"
1305struct kparam_array {
1306   unsigned int max ;
1307   unsigned int elemsize ;
1308   unsigned int *num ;
1309   struct kernel_param_ops const *ops ;
1310   void *elem ;
1311};
1312# 391 "include/linux/moduleparam.h"
1313struct module;
1314# 26 "include/linux/jump_label.h"
1315struct module;
1316# 61 "include/linux/jump_label.h"
1317struct jump_label_key {
1318   atomic_t enabled ;
1319};
1320# 22 "include/linux/tracepoint.h"
1321struct module;
1322# 23 "include/linux/tracepoint.h"
1323struct tracepoint;
1324# 23 "include/linux/tracepoint.h"
1325struct tracepoint;
1326# 23 "include/linux/tracepoint.h"
1327struct tracepoint;
1328# 25 "include/linux/tracepoint.h"
1329struct tracepoint_func {
1330   void *func ;
1331   void *data ;
1332};
1333# 30 "include/linux/tracepoint.h"
1334struct tracepoint {
1335   char const *name ;
1336   struct jump_label_key key ;
1337   void (*regfunc)(void) ;
1338   void (*unregfunc)(void) ;
1339   struct tracepoint_func *funcs ;
1340};
1341# 8 "include/asm-generic/module.h"
1342struct mod_arch_specific {
1343
1344};
1345# 21 "include/trace/events/module.h"
1346struct module;
1347# 37 "include/linux/module.h"
1348struct kernel_symbol {
1349   unsigned long value ;
1350   char const *name ;
1351};
1352# 49 "include/linux/module.h"
1353struct module;
1354# 51 "include/linux/module.h"
1355struct module_attribute {
1356   struct attribute attr ;
1357   ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
1358   ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
1359                    size_t count ) ;
1360   void (*setup)(struct module * , char const * ) ;
1361   int (*test)(struct module * ) ;
1362   void (*free)(struct module * ) ;
1363};
1364# 70 "include/linux/module.h"
1365struct module_param_attrs;
1366# 70 "include/linux/module.h"
1367struct module_param_attrs;
1368# 70 "include/linux/module.h"
1369struct module_kobject {
1370   struct kobject kobj ;
1371   struct module *mod ;
1372   struct kobject *drivers_dir ;
1373   struct module_param_attrs *mp ;
1374};
1375# 83 "include/linux/module.h"
1376struct exception_table_entry;
1377# 83 "include/linux/module.h"
1378struct exception_table_entry;
1379# 83 "include/linux/module.h"
1380struct exception_table_entry;
1381# 265 "include/linux/module.h"
1382enum module_state {
1383    MODULE_STATE_LIVE = 0,
1384    MODULE_STATE_COMING = 1,
1385    MODULE_STATE_GOING = 2
1386} ;
1387# 272 "include/linux/module.h"
1388struct module_sect_attrs;
1389# 272 "include/linux/module.h"
1390struct module_sect_attrs;
1391# 272 "include/linux/module.h"
1392struct module_notes_attrs;
1393# 272 "include/linux/module.h"
1394struct module_notes_attrs;
1395# 272 "include/linux/module.h"
1396struct ftrace_event_call;
1397# 272 "include/linux/module.h"
1398struct ftrace_event_call;
1399# 272 "include/linux/module.h"
1400struct module_ref {
1401   unsigned int incs ;
1402   unsigned int decs ;
1403};
1404# 272 "include/linux/module.h"
1405struct module {
1406   enum module_state state ;
1407   struct list_head list ;
1408   char name[64UL - sizeof(unsigned long )] ;
1409   struct module_kobject mkobj ;
1410   struct module_attribute *modinfo_attrs ;
1411   char const *version ;
1412   char const *srcversion ;
1413   struct kobject *holders_dir ;
1414   struct kernel_symbol const *syms ;
1415   unsigned long const *crcs ;
1416   unsigned int num_syms ;
1417   struct kernel_param *kp ;
1418   unsigned int num_kp ;
1419   unsigned int num_gpl_syms ;
1420   struct kernel_symbol const *gpl_syms ;
1421   unsigned long const *gpl_crcs ;
1422   struct kernel_symbol const *unused_syms ;
1423   unsigned long const *unused_crcs ;
1424   unsigned int num_unused_syms ;
1425   unsigned int num_unused_gpl_syms ;
1426   struct kernel_symbol const *unused_gpl_syms ;
1427   unsigned long const *unused_gpl_crcs ;
1428   struct kernel_symbol const *gpl_future_syms ;
1429   unsigned long const *gpl_future_crcs ;
1430   unsigned int num_gpl_future_syms ;
1431   unsigned int num_exentries ;
1432   struct exception_table_entry *extable ;
1433   int (*init)(void) ;
1434   void *module_init ;
1435   void *module_core ;
1436   unsigned int init_size ;
1437   unsigned int core_size ;
1438   unsigned int init_text_size ;
1439   unsigned int core_text_size ;
1440   unsigned int init_ro_size ;
1441   unsigned int core_ro_size ;
1442   struct mod_arch_specific arch ;
1443   unsigned int taints ;
1444   unsigned int num_bugs ;
1445   struct list_head bug_list ;
1446   struct bug_entry *bug_table ;
1447   Elf64_Sym *symtab ;
1448   Elf64_Sym *core_symtab ;
1449   unsigned int num_symtab ;
1450   unsigned int core_num_syms ;
1451   char *strtab ;
1452   char *core_strtab ;
1453   struct module_sect_attrs *sect_attrs ;
1454   struct module_notes_attrs *notes_attrs ;
1455   char *args ;
1456   void *percpu ;
1457   unsigned int percpu_size ;
1458   unsigned int num_tracepoints ;
1459   struct tracepoint * const *tracepoints_ptrs ;
1460   unsigned int num_trace_bprintk_fmt ;
1461   char const **trace_bprintk_fmt_start ;
1462   struct ftrace_event_call **trace_events ;
1463   unsigned int num_trace_events ;
1464   unsigned int num_ftrace_callsites ;
1465   unsigned long *ftrace_callsites ;
1466   struct list_head source_list ;
1467   struct list_head target_list ;
1468   struct task_struct *waiter ;
1469   void (*exit)(void) ;
1470   struct module_ref *refptr ;
1471   ctor_fn_t *ctors ;
1472   unsigned int num_ctors ;
1473};
1474# 11 "include/linux/socket.h"
1475struct sockaddr;
1476# 11 "include/linux/socket.h"
1477struct sockaddr;
1478# 16 "include/linux/uio.h"
1479struct iovec {
1480   void *iov_base ;
1481   __kernel_size_t iov_len ;
1482};
1483# 27 "include/linux/socket.h"
1484struct pid;
1485# 28 "include/linux/socket.h"
1486struct cred;
1487# 34 "include/linux/socket.h"
1488struct seq_file;
1489# 38 "include/linux/socket.h"
1490typedef unsigned short sa_family_t;
1491# 44 "include/linux/socket.h"
1492struct sockaddr {
1493   sa_family_t sa_family ;
1494   char sa_data[14] ;
1495};
1496# 332 "include/linux/socket.h"
1497struct timespec;
1498# 37 "include/linux/hdlc/ioctl.h"
1499struct __anonstruct_sync_serial_settings_207 {
1500   unsigned int clock_rate ;
1501   unsigned int clock_type ;
1502   unsigned short loopback ;
1503};
1504# 37 "include/linux/hdlc/ioctl.h"
1505typedef struct __anonstruct_sync_serial_settings_207 sync_serial_settings;
1506# 43 "include/linux/hdlc/ioctl.h"
1507struct __anonstruct_te1_settings_208 {
1508   unsigned int clock_rate ;
1509   unsigned int clock_type ;
1510   unsigned short loopback ;
1511   unsigned int slot_map ;
1512};
1513# 43 "include/linux/hdlc/ioctl.h"
1514typedef struct __anonstruct_te1_settings_208 te1_settings;
1515# 50 "include/linux/hdlc/ioctl.h"
1516struct __anonstruct_raw_hdlc_proto_209 {
1517   unsigned short encoding ;
1518   unsigned short parity ;
1519};
1520# 50 "include/linux/hdlc/ioctl.h"
1521typedef struct __anonstruct_raw_hdlc_proto_209 raw_hdlc_proto;
1522# 55 "include/linux/hdlc/ioctl.h"
1523struct __anonstruct_fr_proto_210 {
1524   unsigned int t391 ;
1525   unsigned int t392 ;
1526   unsigned int n391 ;
1527   unsigned int n392 ;
1528   unsigned int n393 ;
1529   unsigned short lmi ;
1530   unsigned short dce ;
1531};
1532# 55 "include/linux/hdlc/ioctl.h"
1533typedef struct __anonstruct_fr_proto_210 fr_proto;
1534# 65 "include/linux/hdlc/ioctl.h"
1535struct __anonstruct_fr_proto_pvc_211 {
1536   unsigned int dlci ;
1537};
1538# 65 "include/linux/hdlc/ioctl.h"
1539typedef struct __anonstruct_fr_proto_pvc_211 fr_proto_pvc;
1540# 69 "include/linux/hdlc/ioctl.h"
1541struct __anonstruct_fr_proto_pvc_info_212 {
1542   unsigned int dlci ;
1543   char master[16] ;
1544};
1545# 69 "include/linux/hdlc/ioctl.h"
1546typedef struct __anonstruct_fr_proto_pvc_info_212 fr_proto_pvc_info;
1547# 74 "include/linux/hdlc/ioctl.h"
1548struct __anonstruct_cisco_proto_213 {
1549   unsigned int interval ;
1550   unsigned int timeout ;
1551};
1552# 74 "include/linux/hdlc/ioctl.h"
1553typedef struct __anonstruct_cisco_proto_213 cisco_proto;
1554# 134 "include/linux/if.h"
1555struct ifmap {
1556   unsigned long mem_start ;
1557   unsigned long mem_end ;
1558   unsigned short base_addr ;
1559   unsigned char irq ;
1560   unsigned char dma ;
1561   unsigned char port ;
1562};
1563# 144 "include/linux/if.h"
1564union __anonunion_ifs_ifsu_216 {
1565   raw_hdlc_proto *raw_hdlc ;
1566   cisco_proto *cisco ;
1567   fr_proto *fr ;
1568   fr_proto_pvc *fr_pvc ;
1569   fr_proto_pvc_info *fr_pvc_info ;
1570   sync_serial_settings *sync ;
1571   te1_settings *te1 ;
1572};
1573# 144 "include/linux/if.h"
1574struct if_settings {
1575   unsigned int type ;
1576   unsigned int size ;
1577   union __anonunion_ifs_ifsu_216 ifs_ifsu ;
1578};
1579# 168 "include/linux/if.h"
1580union __anonunion_ifr_ifrn_217 {
1581   char ifrn_name[16] ;
1582};
1583# 168 "include/linux/if.h"
1584union __anonunion_ifr_ifru_218 {
1585   struct sockaddr ifru_addr ;
1586   struct sockaddr ifru_dstaddr ;
1587   struct sockaddr ifru_broadaddr ;
1588   struct sockaddr ifru_netmask ;
1589   struct sockaddr ifru_hwaddr ;
1590   short ifru_flags ;
1591   int ifru_ivalue ;
1592   int ifru_mtu ;
1593   struct ifmap ifru_map ;
1594   char ifru_slave[16] ;
1595   char ifru_newname[16] ;
1596   void *ifru_data ;
1597   struct if_settings ifru_settings ;
1598};
1599# 168 "include/linux/if.h"
1600struct ifreq {
1601   union __anonunion_ifr_ifrn_217 ifr_ifrn ;
1602   union __anonunion_ifr_ifru_218 ifr_ifru ;
1603};
1604# 119 "include/linux/if_ether.h"
1605struct ethhdr {
1606   unsigned char h_dest[6] ;
1607   unsigned char h_source[6] ;
1608   __be16 h_proto ;
1609} __attribute__((__packed__)) ;
1610# 14 "include/linux/prio_tree.h"
1611struct prio_tree_node;
1612# 14 "include/linux/prio_tree.h"
1613struct prio_tree_node;
1614# 14 "include/linux/prio_tree.h"
1615struct raw_prio_tree_node {
1616   struct prio_tree_node *left ;
1617   struct prio_tree_node *right ;
1618   struct prio_tree_node *parent ;
1619};
1620# 20 "include/linux/prio_tree.h"
1621struct prio_tree_node {
1622   struct prio_tree_node *left ;
1623   struct prio_tree_node *right ;
1624   struct prio_tree_node *parent ;
1625   unsigned long start ;
1626   unsigned long last ;
1627};
1628# 28 "include/linux/prio_tree.h"
1629struct prio_tree_root {
1630   struct prio_tree_node *prio_tree_node ;
1631   unsigned short index_bits ;
1632   unsigned short raw ;
1633};
1634# 100 "include/linux/rbtree.h"
1635struct rb_node {
1636   unsigned long rb_parent_color ;
1637   struct rb_node *rb_right ;
1638   struct rb_node *rb_left ;
1639} __attribute__((__aligned__(sizeof(long )))) ;
1640# 110 "include/linux/rbtree.h"
1641struct rb_root {
1642   struct rb_node *rb_node ;
1643};
1644# 23 "include/linux/mm_types.h"
1645struct address_space;
1646# 23 "include/linux/mm_types.h"
1647struct address_space;
1648# 23 "include/linux/mm_types.h"
1649struct address_space;
1650# 34 "include/linux/mm_types.h"
1651struct __anonstruct____missing_field_name_221 {
1652   u16 inuse ;
1653   u16 objects ;
1654};
1655# 34 "include/linux/mm_types.h"
1656union __anonunion____missing_field_name_220 {
1657   atomic_t _mapcount ;
1658   struct __anonstruct____missing_field_name_221 __annonCompField32 ;
1659};
1660# 34 "include/linux/mm_types.h"
1661struct __anonstruct____missing_field_name_223 {
1662   unsigned long private ;
1663   struct address_space *mapping ;
1664};
1665# 34 "include/linux/mm_types.h"
1666union __anonunion____missing_field_name_222 {
1667   struct __anonstruct____missing_field_name_223 __annonCompField34 ;
1668   struct kmem_cache *slab ;
1669   struct page *first_page ;
1670};
1671# 34 "include/linux/mm_types.h"
1672union __anonunion____missing_field_name_224 {
1673   unsigned long index ;
1674   void *freelist ;
1675};
1676# 34 "include/linux/mm_types.h"
1677struct page {
1678   unsigned long flags ;
1679   atomic_t _count ;
1680   union __anonunion____missing_field_name_220 __annonCompField33 ;
1681   union __anonunion____missing_field_name_222 __annonCompField35 ;
1682   union __anonunion____missing_field_name_224 __annonCompField36 ;
1683   struct list_head lru ;
1684};
1685# 132 "include/linux/mm_types.h"
1686struct __anonstruct_vm_set_226 {
1687   struct list_head list ;
1688   void *parent ;
1689   struct vm_area_struct *head ;
1690};
1691# 132 "include/linux/mm_types.h"
1692union __anonunion_shared_225 {
1693   struct __anonstruct_vm_set_226 vm_set ;
1694   struct raw_prio_tree_node prio_tree_node ;
1695};
1696# 132 "include/linux/mm_types.h"
1697struct anon_vma;
1698# 132 "include/linux/mm_types.h"
1699struct anon_vma;
1700# 132 "include/linux/mm_types.h"
1701struct vm_operations_struct;
1702# 132 "include/linux/mm_types.h"
1703struct vm_operations_struct;
1704# 132 "include/linux/mm_types.h"
1705struct mempolicy;
1706# 132 "include/linux/mm_types.h"
1707struct mempolicy;
1708# 132 "include/linux/mm_types.h"
1709struct vm_area_struct {
1710   struct mm_struct *vm_mm ;
1711   unsigned long vm_start ;
1712   unsigned long vm_end ;
1713   struct vm_area_struct *vm_next ;
1714   struct vm_area_struct *vm_prev ;
1715   pgprot_t vm_page_prot ;
1716   unsigned long vm_flags ;
1717   struct rb_node vm_rb ;
1718   union __anonunion_shared_225 shared ;
1719   struct list_head anon_vma_chain ;
1720   struct anon_vma *anon_vma ;
1721   struct vm_operations_struct const *vm_ops ;
1722   unsigned long vm_pgoff ;
1723   struct file *vm_file ;
1724   void *vm_private_data ;
1725   struct mempolicy *vm_policy ;
1726};
1727# 189 "include/linux/mm_types.h"
1728struct core_thread {
1729   struct task_struct *task ;
1730   struct core_thread *next ;
1731};
1732# 194 "include/linux/mm_types.h"
1733struct core_state {
1734   atomic_t nr_threads ;
1735   struct core_thread dumper ;
1736   struct completion startup ;
1737};
1738# 216 "include/linux/mm_types.h"
1739struct mm_rss_stat {
1740   atomic_long_t count[3] ;
1741};
1742# 220 "include/linux/mm_types.h"
1743struct linux_binfmt;
1744# 220 "include/linux/mm_types.h"
1745struct linux_binfmt;
1746# 220 "include/linux/mm_types.h"
1747struct mmu_notifier_mm;
1748# 220 "include/linux/mm_types.h"
1749struct mmu_notifier_mm;
1750# 220 "include/linux/mm_types.h"
1751struct mm_struct {
1752   struct vm_area_struct *mmap ;
1753   struct rb_root mm_rb ;
1754   struct vm_area_struct *mmap_cache ;
1755   unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1756                                      unsigned long pgoff , unsigned long flags ) ;
1757   void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1758   unsigned long mmap_base ;
1759   unsigned long task_size ;
1760   unsigned long cached_hole_size ;
1761   unsigned long free_area_cache ;
1762   pgd_t *pgd ;
1763   atomic_t mm_users ;
1764   atomic_t mm_count ;
1765   int map_count ;
1766   spinlock_t page_table_lock ;
1767   struct rw_semaphore mmap_sem ;
1768   struct list_head mmlist ;
1769   unsigned long hiwater_rss ;
1770   unsigned long hiwater_vm ;
1771   unsigned long total_vm ;
1772   unsigned long locked_vm ;
1773   unsigned long shared_vm ;
1774   unsigned long exec_vm ;
1775   unsigned long stack_vm ;
1776   unsigned long reserved_vm ;
1777   unsigned long def_flags ;
1778   unsigned long nr_ptes ;
1779   unsigned long start_code ;
1780   unsigned long end_code ;
1781   unsigned long start_data ;
1782   unsigned long end_data ;
1783   unsigned long start_brk ;
1784   unsigned long brk ;
1785   unsigned long start_stack ;
1786   unsigned long arg_start ;
1787   unsigned long arg_end ;
1788   unsigned long env_start ;
1789   unsigned long env_end ;
1790   unsigned long saved_auxv[44] ;
1791   struct mm_rss_stat rss_stat ;
1792   struct linux_binfmt *binfmt ;
1793   cpumask_var_t cpu_vm_mask_var ;
1794   mm_context_t context ;
1795   unsigned int faultstamp ;
1796   unsigned int token_priority ;
1797   unsigned int last_interval ;
1798   atomic_t oom_disable_count ;
1799   unsigned long flags ;
1800   struct core_state *core_state ;
1801   spinlock_t ioctx_lock ;
1802   struct hlist_head ioctx_list ;
1803   struct task_struct *owner ;
1804   struct file *exe_file ;
1805   unsigned long num_exe_file_vmas ;
1806   struct mmu_notifier_mm *mmu_notifier_mm ;
1807   pgtable_t pmd_huge_pte ;
1808   struct cpumask cpumask_allocation ;
1809};
1810# 65 "include/linux/net.h"
1811struct poll_table_struct;
1812# 65 "include/linux/net.h"
1813struct poll_table_struct;
1814# 65 "include/linux/net.h"
1815struct poll_table_struct;
1816# 66 "include/linux/net.h"
1817struct pipe_inode_info;
1818# 66 "include/linux/net.h"
1819struct pipe_inode_info;
1820# 66 "include/linux/net.h"
1821struct pipe_inode_info;
1822# 67 "include/linux/net.h"
1823struct inode;
1824# 67 "include/linux/net.h"
1825struct inode;
1826# 67 "include/linux/net.h"
1827struct inode;
1828# 68 "include/linux/net.h"
1829struct net;
1830# 68 "include/linux/net.h"
1831struct net;
1832# 68 "include/linux/net.h"
1833struct net;
1834# 121 "include/linux/net.h"
1835struct fasync_struct;
1836# 121 "include/linux/net.h"
1837struct fasync_struct;
1838# 154 "include/linux/net.h"
1839struct vm_area_struct;
1840# 155 "include/linux/net.h"
1841struct page;
1842# 156 "include/linux/net.h"
1843struct kiocb;
1844# 156 "include/linux/net.h"
1845struct kiocb;
1846# 156 "include/linux/net.h"
1847struct kiocb;
1848# 157 "include/linux/net.h"
1849struct sockaddr;
1850# 159 "include/linux/net.h"
1851struct module;
1852# 221 "include/linux/net.h"
1853struct iovec;
1854# 94 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess.h"
1855struct exception_table_entry {
1856   unsigned long insn ;
1857   unsigned long fixup ;
1858};
1859# 109 "include/net/checksum.h"
1860struct sk_buff;
1861# 109 "include/net/checksum.h"
1862struct sk_buff;
1863# 109 "include/net/checksum.h"
1864struct sk_buff;
1865# 19 "include/linux/klist.h"
1866struct klist_node;
1867# 19 "include/linux/klist.h"
1868struct klist_node;
1869# 19 "include/linux/klist.h"
1870struct klist_node;
1871# 39 "include/linux/klist.h"
1872struct klist_node {
1873   void *n_klist ;
1874   struct list_head n_node ;
1875   struct kref n_ref ;
1876};
1877# 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1878struct dma_map_ops;
1879# 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1880struct dma_map_ops;
1881# 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1882struct dev_archdata {
1883   void *acpi_handle ;
1884   struct dma_map_ops *dma_ops ;
1885   void *iommu ;
1886};
1887# 28 "include/linux/device.h"
1888struct device;
1889# 29 "include/linux/device.h"
1890struct device_private;
1891# 29 "include/linux/device.h"
1892struct device_private;
1893# 29 "include/linux/device.h"
1894struct device_private;
1895# 30 "include/linux/device.h"
1896struct device_driver;
1897# 30 "include/linux/device.h"
1898struct device_driver;
1899# 30 "include/linux/device.h"
1900struct device_driver;
1901# 31 "include/linux/device.h"
1902struct driver_private;
1903# 31 "include/linux/device.h"
1904struct driver_private;
1905# 31 "include/linux/device.h"
1906struct driver_private;
1907# 32 "include/linux/device.h"
1908struct class;
1909# 32 "include/linux/device.h"
1910struct class;
1911# 32 "include/linux/device.h"
1912struct class;
1913# 33 "include/linux/device.h"
1914struct subsys_private;
1915# 33 "include/linux/device.h"
1916struct subsys_private;
1917# 33 "include/linux/device.h"
1918struct subsys_private;
1919# 34 "include/linux/device.h"
1920struct bus_type;
1921# 34 "include/linux/device.h"
1922struct bus_type;
1923# 34 "include/linux/device.h"
1924struct bus_type;
1925# 35 "include/linux/device.h"
1926struct device_node;
1927# 35 "include/linux/device.h"
1928struct device_node;
1929# 35 "include/linux/device.h"
1930struct device_node;
1931# 37 "include/linux/device.h"
1932struct bus_attribute {
1933   struct attribute attr ;
1934   ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1935   ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1936};
1937# 82 "include/linux/device.h"
1938struct device_attribute;
1939# 82 "include/linux/device.h"
1940struct device_attribute;
1941# 82 "include/linux/device.h"
1942struct driver_attribute;
1943# 82 "include/linux/device.h"
1944struct driver_attribute;
1945# 82 "include/linux/device.h"
1946struct bus_type {
1947   char const *name ;
1948   struct bus_attribute *bus_attrs ;
1949   struct device_attribute *dev_attrs ;
1950   struct driver_attribute *drv_attrs ;
1951   int (*match)(struct device *dev , struct device_driver *drv ) ;
1952   int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1953   int (*probe)(struct device *dev ) ;
1954   int (*remove)(struct device *dev ) ;
1955   void (*shutdown)(struct device *dev ) ;
1956   int (*suspend)(struct device *dev , pm_message_t state ) ;
1957   int (*resume)(struct device *dev ) ;
1958   struct dev_pm_ops const *pm ;
1959   struct subsys_private *p ;
1960};
1961# 185 "include/linux/device.h"
1962struct of_device_id;
1963# 185 "include/linux/device.h"
1964struct of_device_id;
1965# 185 "include/linux/device.h"
1966struct device_driver {
1967   char const *name ;
1968   struct bus_type *bus ;
1969   struct module *owner ;
1970   char const *mod_name ;
1971   bool suppress_bind_attrs ;
1972   struct of_device_id const *of_match_table ;
1973   int (*probe)(struct device *dev ) ;
1974   int (*remove)(struct device *dev ) ;
1975   void (*shutdown)(struct device *dev ) ;
1976   int (*suspend)(struct device *dev , pm_message_t state ) ;
1977   int (*resume)(struct device *dev ) ;
1978   struct attribute_group const **groups ;
1979   struct dev_pm_ops const *pm ;
1980   struct driver_private *p ;
1981};
1982# 222 "include/linux/device.h"
1983struct driver_attribute {
1984   struct attribute attr ;
1985   ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1986   ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1987};
1988# 280 "include/linux/device.h"
1989struct class_attribute;
1990# 280 "include/linux/device.h"
1991struct class_attribute;
1992# 280 "include/linux/device.h"
1993struct class {
1994   char const *name ;
1995   struct module *owner ;
1996   struct class_attribute *class_attrs ;
1997   struct device_attribute *dev_attrs ;
1998   struct bin_attribute *dev_bin_attrs ;
1999   struct kobject *dev_kobj ;
2000   int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
2001   char *(*devnode)(struct device *dev , mode_t *mode ) ;
2002   void (*class_release)(struct class *class ) ;
2003   void (*dev_release)(struct device *dev ) ;
2004   int (*suspend)(struct device *dev , pm_message_t state ) ;
2005   int (*resume)(struct device *dev ) ;
2006   struct kobj_ns_type_operations const *ns_type ;
2007   void const *(*namespace)(struct device *dev ) ;
2008   struct dev_pm_ops const *pm ;
2009   struct subsys_private *p ;
2010};
2011# 306 "include/linux/device.h"
2012struct device_type;
2013# 306 "include/linux/device.h"
2014struct device_type;
2015# 347 "include/linux/device.h"
2016struct class_attribute {
2017   struct attribute attr ;
2018   ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
2019   ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
2020                    size_t count ) ;
2021};
2022# 413 "include/linux/device.h"
2023struct device_type {
2024   char const *name ;
2025   struct attribute_group const **groups ;
2026   int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
2027   char *(*devnode)(struct device *dev , mode_t *mode ) ;
2028   void (*release)(struct device *dev ) ;
2029   struct dev_pm_ops const *pm ;
2030};
2031# 424 "include/linux/device.h"
2032struct device_attribute {
2033   struct attribute attr ;
2034   ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
2035   ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
2036                    size_t count ) ;
2037};
2038# 484 "include/linux/device.h"
2039struct device_dma_parameters {
2040   unsigned int max_segment_size ;
2041   unsigned long segment_boundary_mask ;
2042};
2043# 551 "include/linux/device.h"
2044struct dma_coherent_mem;
2045# 551 "include/linux/device.h"
2046struct dma_coherent_mem;
2047# 551 "include/linux/device.h"
2048struct device {
2049   struct device *parent ;
2050   struct device_private *p ;
2051   struct kobject kobj ;
2052   char const *init_name ;
2053   struct device_type const *type ;
2054   struct mutex mutex ;
2055   struct bus_type *bus ;
2056   struct device_driver *driver ;
2057   void *platform_data ;
2058   struct dev_pm_info power ;
2059   struct dev_power_domain *pwr_domain ;
2060   int numa_node ;
2061   u64 *dma_mask ;
2062   u64 coherent_dma_mask ;
2063   struct device_dma_parameters *dma_parms ;
2064   struct list_head dma_pools ;
2065   struct dma_coherent_mem *dma_mem ;
2066   struct dev_archdata archdata ;
2067   struct device_node *of_node ;
2068   dev_t devt ;
2069   spinlock_t devres_lock ;
2070   struct list_head devres_head ;
2071   struct klist_node knode_class ;
2072   struct class *class ;
2073   struct attribute_group const **groups ;
2074   void (*release)(struct device *dev ) ;
2075};
2076# 43 "include/linux/pm_wakeup.h"
2077struct wakeup_source {
2078   char *name ;
2079   struct list_head entry ;
2080   spinlock_t lock ;
2081   struct timer_list timer ;
2082   unsigned long timer_expires ;
2083   ktime_t total_time ;
2084   ktime_t max_time ;
2085   ktime_t last_time ;
2086   unsigned long event_count ;
2087   unsigned long active_count ;
2088   unsigned long relax_count ;
2089   unsigned long hit_count ;
2090   unsigned int active : 1 ;
2091};
2092# 12 "include/linux/bug.h"
2093struct pt_regs;
2094# 25 "include/linux/dma-attrs.h"
2095struct dma_attrs {
2096   unsigned long flags[((2UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2097};
2098# 6 "include/asm-generic/scatterlist.h"
2099struct scatterlist {
2100   unsigned long sg_magic ;
2101   unsigned long page_link ;
2102   unsigned int offset ;
2103   unsigned int length ;
2104   dma_addr_t dma_address ;
2105   unsigned int dma_length ;
2106};
2107# 19 "include/linux/mm.h"
2108struct mempolicy;
2109# 20 "include/linux/mm.h"
2110struct anon_vma;
2111# 21 "include/linux/mm.h"
2112struct file_ra_state;
2113# 21 "include/linux/mm.h"
2114struct file_ra_state;
2115# 21 "include/linux/mm.h"
2116struct file_ra_state;
2117# 22 "include/linux/mm.h"
2118struct user_struct;
2119# 23 "include/linux/mm.h"
2120struct writeback_control;
2121# 23 "include/linux/mm.h"
2122struct writeback_control;
2123# 23 "include/linux/mm.h"
2124struct writeback_control;
2125# 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64.h"
2126struct mm_struct;
2127# 656 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable.h"
2128struct vm_area_struct;
2129# 185 "include/linux/mm.h"
2130struct vm_fault {
2131   unsigned int flags ;
2132   unsigned long pgoff ;
2133   void *virtual_address ;
2134   struct page *page ;
2135};
2136# 202 "include/linux/mm.h"
2137struct vm_operations_struct {
2138   void (*open)(struct vm_area_struct *area ) ;
2139   void (*close)(struct vm_area_struct *area ) ;
2140   int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
2141   int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
2142   int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
2143                 int write ) ;
2144   int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
2145   struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
2146   int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
2147                  unsigned long flags ) ;
2148};
2149# 244 "include/linux/mm.h"
2150struct inode;
2151# 197 "include/linux/page-flags.h"
2152struct page;
2153# 11 "include/linux/dma-mapping.h"
2154enum dma_data_direction {
2155    DMA_BIDIRECTIONAL = 0,
2156    DMA_TO_DEVICE = 1,
2157    DMA_FROM_DEVICE = 2,
2158    DMA_NONE = 3
2159} ;
2160# 18 "include/linux/dma-mapping.h"
2161struct dma_map_ops {
2162   void *(*alloc_coherent)(struct device *dev , size_t size , dma_addr_t *dma_handle ,
2163                           gfp_t gfp ) ;
2164   void (*free_coherent)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ) ;
2165   dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
2166                          size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
2167   void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
2168                      struct dma_attrs *attrs ) ;
2169   int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
2170                 struct dma_attrs *attrs ) ;
2171   void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
2172                    struct dma_attrs *attrs ) ;
2173   void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
2174                               enum dma_data_direction dir ) ;
2175   void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
2176                                  enum dma_data_direction dir ) ;
2177   void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
2178                           enum dma_data_direction dir ) ;
2179   void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
2180                              enum dma_data_direction dir ) ;
2181   int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
2182   int (*dma_supported)(struct device *dev , u64 mask ) ;
2183   int (*set_dma_mask)(struct device *dev , u64 mask ) ;
2184   int is_phys ;
2185};
2186# 25 "include/linux/dma-debug.h"
2187struct device;
2188# 26 "include/linux/dma-debug.h"
2189struct scatterlist;
2190# 27 "include/linux/dma-debug.h"
2191struct bus_type;
2192# 6 "include/linux/swiotlb.h"
2193struct device;
2194# 7 "include/linux/swiotlb.h"
2195struct dma_attrs;
2196# 8 "include/linux/swiotlb.h"
2197struct scatterlist;
2198# 33 "include/linux/dmaengine.h"
2199typedef s32 dma_cookie_t;
2200# 8 "include/linux/timerqueue.h"
2201struct timerqueue_node {
2202   struct rb_node node ;
2203   ktime_t expires ;
2204};
2205# 13 "include/linux/timerqueue.h"
2206struct timerqueue_head {
2207   struct rb_root head ;
2208   struct timerqueue_node *next ;
2209};
2210# 27 "include/linux/hrtimer.h"
2211struct hrtimer_clock_base;
2212# 27 "include/linux/hrtimer.h"
2213struct hrtimer_clock_base;
2214# 27 "include/linux/hrtimer.h"
2215struct hrtimer_clock_base;
2216# 28 "include/linux/hrtimer.h"
2217struct hrtimer_cpu_base;
2218# 28 "include/linux/hrtimer.h"
2219struct hrtimer_cpu_base;
2220# 28 "include/linux/hrtimer.h"
2221struct hrtimer_cpu_base;
2222# 44 "include/linux/hrtimer.h"
2223enum hrtimer_restart {
2224    HRTIMER_NORESTART = 0,
2225    HRTIMER_RESTART = 1
2226} ;
2227# 108 "include/linux/hrtimer.h"
2228struct hrtimer {
2229   struct timerqueue_node node ;
2230   ktime_t _softexpires ;
2231   enum hrtimer_restart (*function)(struct hrtimer * ) ;
2232   struct hrtimer_clock_base *base ;
2233   unsigned long state ;
2234   int start_pid ;
2235   void *start_site ;
2236   char start_comm[16] ;
2237};
2238# 145 "include/linux/hrtimer.h"
2239struct hrtimer_clock_base {
2240   struct hrtimer_cpu_base *cpu_base ;
2241   int index ;
2242   clockid_t clockid ;
2243   struct timerqueue_head active ;
2244   ktime_t resolution ;
2245   ktime_t (*get_time)(void) ;
2246   ktime_t softirq_time ;
2247   ktime_t offset ;
2248};
2249# 178 "include/linux/hrtimer.h"
2250struct hrtimer_cpu_base {
2251   raw_spinlock_t lock ;
2252   unsigned long active_bases ;
2253   ktime_t expires_next ;
2254   int hres_active ;
2255   int hang_detected ;
2256   unsigned long nr_events ;
2257   unsigned long nr_retries ;
2258   unsigned long nr_hangs ;
2259   ktime_t max_hang_time ;
2260   struct hrtimer_clock_base clock_base[3] ;
2261};
2262# 94 "include/linux/skbuff.h"
2263struct net_device;
2264# 94 "include/linux/skbuff.h"
2265struct net_device;
2266# 94 "include/linux/skbuff.h"
2267struct net_device;
2268# 95 "include/linux/skbuff.h"
2269struct scatterlist;
2270# 96 "include/linux/skbuff.h"
2271struct pipe_inode_info;
2272# 99 "include/linux/skbuff.h"
2273struct nf_conntrack {
2274   atomic_t use ;
2275};
2276# 105 "include/linux/skbuff.h"
2277struct nf_bridge_info {
2278   atomic_t use ;
2279   struct net_device *physindev ;
2280   struct net_device *physoutdev ;
2281   unsigned int mask ;
2282   unsigned long data[32UL / sizeof(unsigned long )] ;
2283};
2284# 114 "include/linux/skbuff.h"
2285struct sk_buff_head {
2286   struct sk_buff *next ;
2287   struct sk_buff *prev ;
2288   __u32 qlen ;
2289   spinlock_t lock ;
2290};
2291# 123 "include/linux/skbuff.h"
2292struct sk_buff;
2293# 259 "include/linux/skbuff.h"
2294typedef unsigned int sk_buff_data_t;
2295# 325 "include/linux/skbuff.h"
2296struct sec_path;
2297# 325 "include/linux/skbuff.h"
2298struct sec_path;
2299# 325 "include/linux/skbuff.h"
2300struct __anonstruct____missing_field_name_235 {
2301   __u16 csum_start ;
2302   __u16 csum_offset ;
2303};
2304# 325 "include/linux/skbuff.h"
2305union __anonunion____missing_field_name_234 {
2306   __wsum csum ;
2307   struct __anonstruct____missing_field_name_235 __annonCompField37 ;
2308};
2309# 325 "include/linux/skbuff.h"
2310union __anonunion____missing_field_name_236 {
2311   __u32 mark ;
2312   __u32 dropcount ;
2313};
2314# 325 "include/linux/skbuff.h"
2315struct sk_buff {
2316   struct sk_buff *next ;
2317   struct sk_buff *prev ;
2318   ktime_t tstamp ;
2319   struct sock *sk ;
2320   struct net_device *dev ;
2321   char cb[48] __attribute__((__aligned__(8))) ;
2322   unsigned long _skb_refdst ;
2323   struct sec_path *sp ;
2324   unsigned int len ;
2325   unsigned int data_len ;
2326   __u16 mac_len ;
2327   __u16 hdr_len ;
2328   union __anonunion____missing_field_name_234 __annonCompField38 ;
2329   __u32 priority ;
2330   __u8 local_df : 1 ;
2331   __u8 cloned : 1 ;
2332   __u8 ip_summed : 2 ;
2333   __u8 nohdr : 1 ;
2334   __u8 nfctinfo : 3 ;
2335   __u8 pkt_type : 3 ;
2336   __u8 fclone : 2 ;
2337   __u8 ipvs_property : 1 ;
2338   __u8 peeked : 1 ;
2339   __u8 nf_trace : 1 ;
2340   __be16 protocol ;
2341   void (*destructor)(struct sk_buff *skb ) ;
2342   struct nf_conntrack *nfct ;
2343   struct sk_buff *nfct_reasm ;
2344   struct nf_bridge_info *nf_bridge ;
2345   int skb_iif ;
2346   __u16 tc_index ;
2347   __u16 tc_verd ;
2348   __u32 rxhash ;
2349   __u16 queue_mapping ;
2350   __u8 ndisc_nodetype : 2 ;
2351   __u8 ooo_okay : 1 ;
2352   dma_cookie_t dma_cookie ;
2353   __u32 secmark ;
2354   union __anonunion____missing_field_name_236 __annonCompField39 ;
2355   __u16 vlan_tci ;
2356   sk_buff_data_t transport_header ;
2357   sk_buff_data_t network_header ;
2358   sk_buff_data_t mac_header ;
2359   sk_buff_data_t tail ;
2360   sk_buff_data_t end ;
2361   unsigned char *head ;
2362   unsigned char *data ;
2363   unsigned int truesize ;
2364   atomic_t users ;
2365};
2366# 450 "include/linux/skbuff.h"
2367struct dst_entry;
2368# 450 "include/linux/skbuff.h"
2369struct dst_entry;
2370# 125 "include/linux/netlink.h"
2371struct nlattr {
2372   __u16 nla_len ;
2373   __u16 nla_type ;
2374};
2375# 18 "include/linux/capability.h"
2376struct task_struct;
2377# 94 "include/linux/capability.h"
2378struct kernel_cap_struct {
2379   __u32 cap[2] ;
2380};
2381# 94 "include/linux/capability.h"
2382typedef struct kernel_cap_struct kernel_cap_t;
2383# 376 "include/linux/capability.h"
2384struct dentry;
2385# 376 "include/linux/capability.h"
2386struct dentry;
2387# 376 "include/linux/capability.h"
2388struct dentry;
2389# 377 "include/linux/capability.h"
2390struct user_namespace;
2391# 377 "include/linux/capability.h"
2392struct user_namespace;
2393# 377 "include/linux/capability.h"
2394struct user_namespace;
2395# 153 "include/linux/netlink.h"
2396struct net;
2397# 41 "include/linux/if_link.h"
2398struct rtnl_link_stats64 {
2399   __u64 rx_packets ;
2400   __u64 tx_packets ;
2401   __u64 rx_bytes ;
2402   __u64 tx_bytes ;
2403   __u64 rx_errors ;
2404   __u64 tx_errors ;
2405   __u64 rx_dropped ;
2406   __u64 tx_dropped ;
2407   __u64 multicast ;
2408   __u64 collisions ;
2409   __u64 rx_length_errors ;
2410   __u64 rx_over_errors ;
2411   __u64 rx_crc_errors ;
2412   __u64 rx_frame_errors ;
2413   __u64 rx_fifo_errors ;
2414   __u64 rx_missed_errors ;
2415   __u64 tx_aborted_errors ;
2416   __u64 tx_carrier_errors ;
2417   __u64 tx_fifo_errors ;
2418   __u64 tx_heartbeat_errors ;
2419   __u64 tx_window_errors ;
2420   __u64 rx_compressed ;
2421   __u64 tx_compressed ;
2422};
2423# 303 "include/linux/if_link.h"
2424struct ifla_vf_info {
2425   __u32 vf ;
2426   __u8 mac[32] ;
2427   __u32 vlan ;
2428   __u32 qos ;
2429   __u32 tx_rate ;
2430};
2431# 82 "include/linux/plist.h"
2432struct plist_head {
2433   struct list_head node_list ;
2434   raw_spinlock_t *rawlock ;
2435   spinlock_t *spinlock ;
2436};
2437# 90 "include/linux/plist.h"
2438struct plist_node {
2439   int prio ;
2440   struct list_head prio_list ;
2441   struct list_head node_list ;
2442};
2443# 45 "include/linux/miscdevice.h"
2444struct device;
2445# 47 "include/linux/miscdevice.h"
2446struct file_operations;
2447# 47 "include/linux/miscdevice.h"
2448struct file_operations;
2449# 23 "include/linux/pm_qos_params.h"
2450struct pm_qos_request_list {
2451   struct plist_node list ;
2452   int pm_qos_class ;
2453};
2454# 84 "include/linux/sem.h"
2455struct task_struct;
2456# 122 "include/linux/sem.h"
2457struct sem_undo_list;
2458# 122 "include/linux/sem.h"
2459struct sem_undo_list;
2460# 135 "include/linux/sem.h"
2461struct sem_undo_list {
2462   atomic_t refcnt ;
2463   spinlock_t lock ;
2464   struct list_head list_proc ;
2465};
2466# 141 "include/linux/sem.h"
2467struct sysv_sem {
2468   struct sem_undo_list *undo_list ;
2469};
2470# 15 "include/linux/blk_types.h"
2471struct page;
2472# 16 "include/linux/blk_types.h"
2473struct block_device;
2474# 16 "include/linux/blk_types.h"
2475struct block_device;
2476# 16 "include/linux/blk_types.h"
2477struct block_device;
2478# 33 "include/linux/list_bl.h"
2479struct hlist_bl_node;
2480# 33 "include/linux/list_bl.h"
2481struct hlist_bl_node;
2482# 33 "include/linux/list_bl.h"
2483struct hlist_bl_head {
2484   struct hlist_bl_node *first ;
2485};
2486# 37 "include/linux/list_bl.h"
2487struct hlist_bl_node {
2488   struct hlist_bl_node *next ;
2489   struct hlist_bl_node **pprev ;
2490};
2491# 13 "include/linux/dcache.h"
2492struct nameidata;
2493# 13 "include/linux/dcache.h"
2494struct nameidata;
2495# 13 "include/linux/dcache.h"
2496struct nameidata;
2497# 14 "include/linux/dcache.h"
2498struct path;
2499# 14 "include/linux/dcache.h"
2500struct path;
2501# 14 "include/linux/dcache.h"
2502struct path;
2503# 15 "include/linux/dcache.h"
2504struct vfsmount;
2505# 15 "include/linux/dcache.h"
2506struct vfsmount;
2507# 15 "include/linux/dcache.h"
2508struct vfsmount;
2509# 35 "include/linux/dcache.h"
2510struct qstr {
2511   unsigned int hash ;
2512   unsigned int len ;
2513   unsigned char const *name ;
2514};
2515# 116 "include/linux/dcache.h"
2516struct dentry_operations;
2517# 116 "include/linux/dcache.h"
2518struct dentry_operations;
2519# 116 "include/linux/dcache.h"
2520struct super_block;
2521# 116 "include/linux/dcache.h"
2522struct super_block;
2523# 116 "include/linux/dcache.h"
2524union __anonunion_d_u_252 {
2525   struct list_head d_child ;
2526   struct rcu_head d_rcu ;
2527};
2528# 116 "include/linux/dcache.h"
2529struct dentry {
2530   unsigned int d_flags ;
2531   seqcount_t d_seq ;
2532   struct hlist_bl_node d_hash ;
2533   struct dentry *d_parent ;
2534   struct qstr d_name ;
2535   struct inode *d_inode ;
2536   unsigned char d_iname[32] ;
2537   unsigned int d_count ;
2538   spinlock_t d_lock ;
2539   struct dentry_operations const *d_op ;
2540   struct super_block *d_sb ;
2541   unsigned long d_time ;
2542   void *d_fsdata ;
2543   struct list_head d_lru ;
2544   union __anonunion_d_u_252 d_u ;
2545   struct list_head d_subdirs ;
2546   struct list_head d_alias ;
2547};
2548# 159 "include/linux/dcache.h"
2549struct dentry_operations {
2550   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2551   int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2552   int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2553                    struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2554   int (*d_delete)(struct dentry const * ) ;
2555   void (*d_release)(struct dentry * ) ;
2556   void (*d_iput)(struct dentry * , struct inode * ) ;
2557   char *(*d_dname)(struct dentry * , char * , int ) ;
2558   struct vfsmount *(*d_automount)(struct path * ) ;
2559   int (*d_manage)(struct dentry * , bool ) ;
2560} __attribute__((__aligned__((1) << (6) ))) ;
2561# 4 "include/linux/path.h"
2562struct dentry;
2563# 5 "include/linux/path.h"
2564struct vfsmount;
2565# 7 "include/linux/path.h"
2566struct path {
2567   struct vfsmount *mnt ;
2568   struct dentry *dentry ;
2569};
2570# 57 "include/linux/radix-tree.h"
2571struct radix_tree_node;
2572# 57 "include/linux/radix-tree.h"
2573struct radix_tree_node;
2574# 57 "include/linux/radix-tree.h"
2575struct radix_tree_root {
2576   unsigned int height ;
2577   gfp_t gfp_mask ;
2578   struct radix_tree_node *rnode ;
2579};
2580# 6 "include/linux/pid.h"
2581enum pid_type {
2582    PIDTYPE_PID = 0,
2583    PIDTYPE_PGID = 1,
2584    PIDTYPE_SID = 2,
2585    PIDTYPE_MAX = 3
2586} ;
2587# 50 "include/linux/pid.h"
2588struct pid_namespace;
2589# 50 "include/linux/pid.h"
2590struct pid_namespace;
2591# 50 "include/linux/pid.h"
2592struct upid {
2593   int nr ;
2594   struct pid_namespace *ns ;
2595   struct hlist_node pid_chain ;
2596};
2597# 57 "include/linux/pid.h"
2598struct pid {
2599   atomic_t count ;
2600   unsigned int level ;
2601   struct hlist_head tasks[3] ;
2602   struct rcu_head rcu ;
2603   struct upid numbers[1] ;
2604};
2605# 69 "include/linux/pid.h"
2606struct pid_link {
2607   struct hlist_node node ;
2608   struct pid *pid ;
2609};
2610# 100 "include/linux/pid.h"
2611struct pid_namespace;
2612# 16 "include/linux/fiemap.h"
2613struct fiemap_extent {
2614   __u64 fe_logical ;
2615   __u64 fe_physical ;
2616   __u64 fe_length ;
2617   __u64 fe_reserved64[2] ;
2618   __u32 fe_flags ;
2619   __u32 fe_reserved[3] ;
2620};
2621# 399 "include/linux/fs.h"
2622struct export_operations;
2623# 399 "include/linux/fs.h"
2624struct export_operations;
2625# 399 "include/linux/fs.h"
2626struct export_operations;
2627# 401 "include/linux/fs.h"
2628struct iovec;
2629# 402 "include/linux/fs.h"
2630struct nameidata;
2631# 403 "include/linux/fs.h"
2632struct kiocb;
2633# 404 "include/linux/fs.h"
2634struct kobject;
2635# 405 "include/linux/fs.h"
2636struct pipe_inode_info;
2637# 406 "include/linux/fs.h"
2638struct poll_table_struct;
2639# 407 "include/linux/fs.h"
2640struct kstatfs;
2641# 407 "include/linux/fs.h"
2642struct kstatfs;
2643# 407 "include/linux/fs.h"
2644struct kstatfs;
2645# 408 "include/linux/fs.h"
2646struct vm_area_struct;
2647# 409 "include/linux/fs.h"
2648struct vfsmount;
2649# 410 "include/linux/fs.h"
2650struct cred;
2651# 460 "include/linux/fs.h"
2652struct iattr {
2653   unsigned int ia_valid ;
2654   umode_t ia_mode ;
2655   uid_t ia_uid ;
2656   gid_t ia_gid ;
2657   loff_t ia_size ;
2658   struct timespec ia_atime ;
2659   struct timespec ia_mtime ;
2660   struct timespec ia_ctime ;
2661   struct file *ia_file ;
2662};
2663# 129 "include/linux/quota.h"
2664struct if_dqinfo {
2665   __u64 dqi_bgrace ;
2666   __u64 dqi_igrace ;
2667   __u32 dqi_flags ;
2668   __u32 dqi_valid ;
2669};
2670# 18 "include/linux/percpu_counter.h"
2671struct percpu_counter {
2672   spinlock_t lock ;
2673   s64 count ;
2674   struct list_head list ;
2675   s32 *counters ;
2676};
2677# 50 "include/linux/dqblk_xfs.h"
2678struct fs_disk_quota {
2679   __s8 d_version ;
2680   __s8 d_flags ;
2681   __u16 d_fieldmask ;
2682   __u32 d_id ;
2683   __u64 d_blk_hardlimit ;
2684   __u64 d_blk_softlimit ;
2685   __u64 d_ino_hardlimit ;
2686   __u64 d_ino_softlimit ;
2687   __u64 d_bcount ;
2688   __u64 d_icount ;
2689   __s32 d_itimer ;
2690   __s32 d_btimer ;
2691   __u16 d_iwarns ;
2692   __u16 d_bwarns ;
2693   __s32 d_padding2 ;
2694   __u64 d_rtb_hardlimit ;
2695   __u64 d_rtb_softlimit ;
2696   __u64 d_rtbcount ;
2697   __s32 d_rtbtimer ;
2698   __u16 d_rtbwarns ;
2699   __s16 d_padding3 ;
2700   char d_padding4[8] ;
2701};
2702# 146 "include/linux/dqblk_xfs.h"
2703struct fs_qfilestat {
2704   __u64 qfs_ino ;
2705   __u64 qfs_nblks ;
2706   __u32 qfs_nextents ;
2707};
2708# 146 "include/linux/dqblk_xfs.h"
2709typedef struct fs_qfilestat fs_qfilestat_t;
2710# 152 "include/linux/dqblk_xfs.h"
2711struct fs_quota_stat {
2712   __s8 qs_version ;
2713   __u16 qs_flags ;
2714   __s8 qs_pad ;
2715   fs_qfilestat_t qs_uquota ;
2716   fs_qfilestat_t qs_gquota ;
2717   __u32 qs_incoredqs ;
2718   __s32 qs_btimelimit ;
2719   __s32 qs_itimelimit ;
2720   __s32 qs_rtbtimelimit ;
2721   __u16 qs_bwarnlimit ;
2722   __u16 qs_iwarnlimit ;
2723};
2724# 17 "include/linux/dqblk_qtree.h"
2725struct dquot;
2726# 17 "include/linux/dqblk_qtree.h"
2727struct dquot;
2728# 17 "include/linux/dqblk_qtree.h"
2729struct dquot;
2730# 185 "include/linux/quota.h"
2731typedef __kernel_uid32_t qid_t;
2732# 186 "include/linux/quota.h"
2733typedef long long qsize_t;
2734# 200 "include/linux/quota.h"
2735struct mem_dqblk {
2736   qsize_t dqb_bhardlimit ;
2737   qsize_t dqb_bsoftlimit ;
2738   qsize_t dqb_curspace ;
2739   qsize_t dqb_rsvspace ;
2740   qsize_t dqb_ihardlimit ;
2741   qsize_t dqb_isoftlimit ;
2742   qsize_t dqb_curinodes ;
2743   time_t dqb_btime ;
2744   time_t dqb_itime ;
2745};
2746# 215 "include/linux/quota.h"
2747struct quota_format_type;
2748# 215 "include/linux/quota.h"
2749struct quota_format_type;
2750# 215 "include/linux/quota.h"
2751struct quota_format_type;
2752# 217 "include/linux/quota.h"
2753struct mem_dqinfo {
2754   struct quota_format_type *dqi_format ;
2755   int dqi_fmt_id ;
2756   struct list_head dqi_dirty_list ;
2757   unsigned long dqi_flags ;
2758   unsigned int dqi_bgrace ;
2759   unsigned int dqi_igrace ;
2760   qsize_t dqi_maxblimit ;
2761   qsize_t dqi_maxilimit ;
2762   void *dqi_priv ;
2763};
2764# 230 "include/linux/quota.h"
2765struct super_block;
2766# 284 "include/linux/quota.h"
2767struct dquot {
2768   struct hlist_node dq_hash ;
2769   struct list_head dq_inuse ;
2770   struct list_head dq_free ;
2771   struct list_head dq_dirty ;
2772   struct mutex dq_lock ;
2773   atomic_t dq_count ;
2774   wait_queue_head_t dq_wait_unused ;
2775   struct super_block *dq_sb ;
2776   unsigned int dq_id ;
2777   loff_t dq_off ;
2778   unsigned long dq_flags ;
2779   short dq_type ;
2780   struct mem_dqblk dq_dqb ;
2781};
2782# 301 "include/linux/quota.h"
2783struct quota_format_ops {
2784   int (*check_quota_file)(struct super_block *sb , int type ) ;
2785   int (*read_file_info)(struct super_block *sb , int type ) ;
2786   int (*write_file_info)(struct super_block *sb , int type ) ;
2787   int (*free_file_info)(struct super_block *sb , int type ) ;
2788   int (*read_dqblk)(struct dquot *dquot ) ;
2789   int (*commit_dqblk)(struct dquot *dquot ) ;
2790   int (*release_dqblk)(struct dquot *dquot ) ;
2791};
2792# 312 "include/linux/quota.h"
2793struct dquot_operations {
2794   int (*write_dquot)(struct dquot * ) ;
2795   struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
2796   void (*destroy_dquot)(struct dquot * ) ;
2797   int (*acquire_dquot)(struct dquot * ) ;
2798   int (*release_dquot)(struct dquot * ) ;
2799   int (*mark_dirty)(struct dquot * ) ;
2800   int (*write_info)(struct super_block * , int ) ;
2801   qsize_t *(*get_reserved_space)(struct inode * ) ;
2802};
2803# 325 "include/linux/quota.h"
2804struct path;
2805# 328 "include/linux/quota.h"
2806struct quotactl_ops {
2807   int (*quota_on)(struct super_block * , int , int , struct path * ) ;
2808   int (*quota_on_meta)(struct super_block * , int , int ) ;
2809   int (*quota_off)(struct super_block * , int ) ;
2810   int (*quota_sync)(struct super_block * , int , int ) ;
2811   int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
2812   int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
2813   int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2814   int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2815   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
2816   int (*set_xstate)(struct super_block * , unsigned int , int ) ;
2817};
2818# 341 "include/linux/quota.h"
2819struct quota_format_type {
2820   int qf_fmt_id ;
2821   struct quota_format_ops const *qf_ops ;
2822   struct module *qf_owner ;
2823   struct quota_format_type *qf_next ;
2824};
2825# 395 "include/linux/quota.h"
2826struct quota_info {
2827   unsigned int flags ;
2828   struct mutex dqio_mutex ;
2829   struct mutex dqonoff_mutex ;
2830   struct rw_semaphore dqptr_sem ;
2831   struct inode *files[2] ;
2832   struct mem_dqinfo info[2] ;
2833   struct quota_format_ops const *ops[2] ;
2834};
2835# 523 "include/linux/fs.h"
2836struct page;
2837# 524 "include/linux/fs.h"
2838struct address_space;
2839# 525 "include/linux/fs.h"
2840struct writeback_control;
2841# 568 "include/linux/fs.h"
2842union __anonunion_arg_259 {
2843   char *buf ;
2844   void *data ;
2845};
2846# 568 "include/linux/fs.h"
2847struct __anonstruct_read_descriptor_t_258 {
2848   size_t written ;
2849   size_t count ;
2850   union __anonunion_arg_259 arg ;
2851   int error ;
2852};
2853# 568 "include/linux/fs.h"
2854typedef struct __anonstruct_read_descriptor_t_258 read_descriptor_t;
2855# 581 "include/linux/fs.h"
2856struct address_space_operations {
2857   int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
2858   int (*readpage)(struct file * , struct page * ) ;
2859   int (*writepages)(struct address_space * , struct writeback_control * ) ;
2860   int (*set_page_dirty)(struct page *page ) ;
2861   int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
2862                    unsigned int nr_pages ) ;
2863   int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
2864                      unsigned int len , unsigned int flags , struct page **pagep ,
2865                      void **fsdata ) ;
2866   int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
2867                    unsigned int copied , struct page *page , void *fsdata ) ;
2868   sector_t (*bmap)(struct address_space * , sector_t ) ;
2869   void (*invalidatepage)(struct page * , unsigned long ) ;
2870   int (*releasepage)(struct page * , gfp_t ) ;
2871   void (*freepage)(struct page * ) ;
2872   ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
2873                        unsigned long nr_segs ) ;
2874   int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
2875   int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
2876   int (*launder_page)(struct page * ) ;
2877   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
2878   int (*error_remove_page)(struct address_space * , struct page * ) ;
2879};
2880# 633 "include/linux/fs.h"
2881struct backing_dev_info;
2882# 633 "include/linux/fs.h"
2883struct backing_dev_info;
2884# 633 "include/linux/fs.h"
2885struct backing_dev_info;
2886# 634 "include/linux/fs.h"
2887struct address_space {
2888   struct inode *host ;
2889   struct radix_tree_root page_tree ;
2890   spinlock_t tree_lock ;
2891   unsigned int i_mmap_writable ;
2892   struct prio_tree_root i_mmap ;
2893   struct list_head i_mmap_nonlinear ;
2894   struct mutex i_mmap_mutex ;
2895   unsigned long nrpages ;
2896   unsigned long writeback_index ;
2897   struct address_space_operations const *a_ops ;
2898   unsigned long flags ;
2899   struct backing_dev_info *backing_dev_info ;
2900   spinlock_t private_lock ;
2901   struct list_head private_list ;
2902   struct address_space *assoc_mapping ;
2903} __attribute__((__aligned__(sizeof(long )))) ;
2904# 658 "include/linux/fs.h"
2905struct hd_struct;
2906# 658 "include/linux/fs.h"
2907struct hd_struct;
2908# 658 "include/linux/fs.h"
2909struct gendisk;
2910# 658 "include/linux/fs.h"
2911struct gendisk;
2912# 658 "include/linux/fs.h"
2913struct block_device {
2914   dev_t bd_dev ;
2915   int bd_openers ;
2916   struct inode *bd_inode ;
2917   struct super_block *bd_super ;
2918   struct mutex bd_mutex ;
2919   struct list_head bd_inodes ;
2920   void *bd_claiming ;
2921   void *bd_holder ;
2922   int bd_holders ;
2923   bool bd_write_holder ;
2924   struct list_head bd_holder_disks ;
2925   struct block_device *bd_contains ;
2926   unsigned int bd_block_size ;
2927   struct hd_struct *bd_part ;
2928   unsigned int bd_part_count ;
2929   int bd_invalidated ;
2930   struct gendisk *bd_disk ;
2931   struct list_head bd_list ;
2932   unsigned long bd_private ;
2933   int bd_fsfreeze_count ;
2934   struct mutex bd_fsfreeze_mutex ;
2935};
2936# 735 "include/linux/fs.h"
2937struct posix_acl;
2938# 735 "include/linux/fs.h"
2939struct posix_acl;
2940# 735 "include/linux/fs.h"
2941struct posix_acl;
2942# 738 "include/linux/fs.h"
2943struct inode_operations;
2944# 738 "include/linux/fs.h"
2945struct inode_operations;
2946# 738 "include/linux/fs.h"
2947union __anonunion____missing_field_name_260 {
2948   struct list_head i_dentry ;
2949   struct rcu_head i_rcu ;
2950};
2951# 738 "include/linux/fs.h"
2952struct file_lock;
2953# 738 "include/linux/fs.h"
2954struct file_lock;
2955# 738 "include/linux/fs.h"
2956struct cdev;
2957# 738 "include/linux/fs.h"
2958struct cdev;
2959# 738 "include/linux/fs.h"
2960union __anonunion____missing_field_name_261 {
2961   struct pipe_inode_info *i_pipe ;
2962   struct block_device *i_bdev ;
2963   struct cdev *i_cdev ;
2964};
2965# 738 "include/linux/fs.h"
2966struct inode {
2967   umode_t i_mode ;
2968   uid_t i_uid ;
2969   gid_t i_gid ;
2970   struct inode_operations const *i_op ;
2971   struct super_block *i_sb ;
2972   spinlock_t i_lock ;
2973   unsigned int i_flags ;
2974   unsigned long i_state ;
2975   void *i_security ;
2976   struct mutex i_mutex ;
2977   unsigned long dirtied_when ;
2978   struct hlist_node i_hash ;
2979   struct list_head i_wb_list ;
2980   struct list_head i_lru ;
2981   struct list_head i_sb_list ;
2982   union __anonunion____missing_field_name_260 __annonCompField40 ;
2983   unsigned long i_ino ;
2984   atomic_t i_count ;
2985   unsigned int i_nlink ;
2986   dev_t i_rdev ;
2987   unsigned int i_blkbits ;
2988   u64 i_version ;
2989   loff_t i_size ;
2990   struct timespec i_atime ;
2991   struct timespec i_mtime ;
2992   struct timespec i_ctime ;
2993   blkcnt_t i_blocks ;
2994   unsigned short i_bytes ;
2995   struct rw_semaphore i_alloc_sem ;
2996   struct file_operations const *i_fop ;
2997   struct file_lock *i_flock ;
2998   struct address_space *i_mapping ;
2999   struct address_space i_data ;
3000   struct dquot *i_dquot[2] ;
3001   struct list_head i_devices ;
3002   union __anonunion____missing_field_name_261 __annonCompField41 ;
3003   __u32 i_generation ;
3004   __u32 i_fsnotify_mask ;
3005   struct hlist_head i_fsnotify_marks ;
3006   atomic_t i_readcount ;
3007   atomic_t i_writecount ;
3008   struct posix_acl *i_acl ;
3009   struct posix_acl *i_default_acl ;
3010   void *i_private ;
3011};
3012# 903 "include/linux/fs.h"
3013struct fown_struct {
3014   rwlock_t lock ;
3015   struct pid *pid ;
3016   enum pid_type pid_type ;
3017   uid_t uid ;
3018   uid_t euid ;
3019   int signum ;
3020};
3021# 914 "include/linux/fs.h"
3022struct file_ra_state {
3023   unsigned long start ;
3024   unsigned int size ;
3025   unsigned int async_size ;
3026   unsigned int ra_pages ;
3027   unsigned int mmap_miss ;
3028   loff_t prev_pos ;
3029};
3030# 937 "include/linux/fs.h"
3031union __anonunion_f_u_262 {
3032   struct list_head fu_list ;
3033   struct rcu_head fu_rcuhead ;
3034};
3035# 937 "include/linux/fs.h"
3036struct file {
3037   union __anonunion_f_u_262 f_u ;
3038   struct path f_path ;
3039   struct file_operations const *f_op ;
3040   spinlock_t f_lock ;
3041   int f_sb_list_cpu ;
3042   atomic_long_t f_count ;
3043   unsigned int f_flags ;
3044   fmode_t f_mode ;
3045   loff_t f_pos ;
3046   struct fown_struct f_owner ;
3047   struct cred const *f_cred ;
3048   struct file_ra_state f_ra ;
3049   u64 f_version ;
3050   void *f_security ;
3051   void *private_data ;
3052   struct list_head f_ep_links ;
3053   struct address_space *f_mapping ;
3054   unsigned long f_mnt_write_state ;
3055};
3056# 1064 "include/linux/fs.h"
3057struct files_struct;
3058# 1064 "include/linux/fs.h"
3059struct files_struct;
3060# 1064 "include/linux/fs.h"
3061typedef struct files_struct *fl_owner_t;
3062# 1066 "include/linux/fs.h"
3063struct file_lock_operations {
3064   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3065   void (*fl_release_private)(struct file_lock * ) ;
3066};
3067# 1071 "include/linux/fs.h"
3068struct lock_manager_operations {
3069   int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
3070   void (*fl_notify)(struct file_lock * ) ;
3071   int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
3072   void (*fl_release_private)(struct file_lock * ) ;
3073   void (*fl_break)(struct file_lock * ) ;
3074   int (*fl_change)(struct file_lock ** , int ) ;
3075};
3076# 8 "include/linux/nfs_fs_i.h"
3077struct nlm_lockowner;
3078# 8 "include/linux/nfs_fs_i.h"
3079struct nlm_lockowner;
3080# 8 "include/linux/nfs_fs_i.h"
3081struct nlm_lockowner;
3082# 13 "include/linux/nfs_fs_i.h"
3083struct nfs_lock_info {
3084   u32 state ;
3085   struct nlm_lockowner *owner ;
3086   struct list_head list ;
3087};
3088# 19 "include/linux/nfs_fs_i.h"
3089struct nfs4_lock_state;
3090# 19 "include/linux/nfs_fs_i.h"
3091struct nfs4_lock_state;
3092# 19 "include/linux/nfs_fs_i.h"
3093struct nfs4_lock_state;
3094# 20 "include/linux/nfs_fs_i.h"
3095struct nfs4_lock_info {
3096   struct nfs4_lock_state *owner ;
3097};
3098# 1091 "include/linux/fs.h"
3099struct __anonstruct_afs_264 {
3100   struct list_head link ;
3101   int state ;
3102};
3103# 1091 "include/linux/fs.h"
3104union __anonunion_fl_u_263 {
3105   struct nfs_lock_info nfs_fl ;
3106   struct nfs4_lock_info nfs4_fl ;
3107   struct __anonstruct_afs_264 afs ;
3108};
3109# 1091 "include/linux/fs.h"
3110struct file_lock {
3111   struct file_lock *fl_next ;
3112   struct list_head fl_link ;
3113   struct list_head fl_block ;
3114   fl_owner_t fl_owner ;
3115   unsigned char fl_flags ;
3116   unsigned char fl_type ;
3117   unsigned int fl_pid ;
3118   struct pid *fl_nspid ;
3119   wait_queue_head_t fl_wait ;
3120   struct file *fl_file ;
3121   loff_t fl_start ;
3122   loff_t fl_end ;
3123   struct fasync_struct *fl_fasync ;
3124   unsigned long fl_break_time ;
3125   struct file_lock_operations const *fl_ops ;
3126   struct lock_manager_operations const *fl_lmops ;
3127   union __anonunion_fl_u_263 fl_u ;
3128};
3129# 1324 "include/linux/fs.h"
3130struct fasync_struct {
3131   spinlock_t fa_lock ;
3132   int magic ;
3133   int fa_fd ;
3134   struct fasync_struct *fa_next ;
3135   struct file *fa_file ;
3136   struct rcu_head fa_rcu ;
3137};
3138# 1364 "include/linux/fs.h"
3139struct file_system_type;
3140# 1364 "include/linux/fs.h"
3141struct file_system_type;
3142# 1364 "include/linux/fs.h"
3143struct super_operations;
3144# 1364 "include/linux/fs.h"
3145struct super_operations;
3146# 1364 "include/linux/fs.h"
3147struct xattr_handler;
3148# 1364 "include/linux/fs.h"
3149struct xattr_handler;
3150# 1364 "include/linux/fs.h"
3151struct mtd_info;
3152# 1364 "include/linux/fs.h"
3153struct mtd_info;
3154# 1364 "include/linux/fs.h"
3155struct super_block {
3156   struct list_head s_list ;
3157   dev_t s_dev ;
3158   unsigned char s_dirt ;
3159   unsigned char s_blocksize_bits ;
3160   unsigned long s_blocksize ;
3161   loff_t s_maxbytes ;
3162   struct file_system_type *s_type ;
3163   struct super_operations const *s_op ;
3164   struct dquot_operations const *dq_op ;
3165   struct quotactl_ops const *s_qcop ;
3166   struct export_operations const *s_export_op ;
3167   unsigned long s_flags ;
3168   unsigned long s_magic ;
3169   struct dentry *s_root ;
3170   struct rw_semaphore s_umount ;
3171   struct mutex s_lock ;
3172   int s_count ;
3173   atomic_t s_active ;
3174   void *s_security ;
3175   struct xattr_handler const **s_xattr ;
3176   struct list_head s_inodes ;
3177   struct hlist_bl_head s_anon ;
3178   struct list_head *s_files ;
3179   struct list_head s_dentry_lru ;
3180   int s_nr_dentry_unused ;
3181   struct block_device *s_bdev ;
3182   struct backing_dev_info *s_bdi ;
3183   struct mtd_info *s_mtd ;
3184   struct list_head s_instances ;
3185   struct quota_info s_dquot ;
3186   int s_frozen ;
3187   wait_queue_head_t s_wait_unfrozen ;
3188   char s_id[32] ;
3189   u8 s_uuid[16] ;
3190   void *s_fs_info ;
3191   fmode_t s_mode ;
3192   u32 s_time_gran ;
3193   struct mutex s_vfs_rename_mutex ;
3194   char *s_subtype ;
3195   char *s_options ;
3196   struct dentry_operations const *s_d_op ;
3197   int cleancache_poolid ;
3198};
3199# 1499 "include/linux/fs.h"
3200struct fiemap_extent_info {
3201   unsigned int fi_flags ;
3202   unsigned int fi_extents_mapped ;
3203   unsigned int fi_extents_max ;
3204   struct fiemap_extent *fi_extents_start ;
3205};
3206# 1546 "include/linux/fs.h"
3207struct file_operations {
3208   struct module *owner ;
3209   loff_t (*llseek)(struct file * , loff_t , int ) ;
3210   ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3211   ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3212   ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3213                       loff_t ) ;
3214   ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3215                        loff_t ) ;
3216   int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3217                                                   loff_t , u64 , unsigned int ) ) ;
3218   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3219   long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3220   long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3221   int (*mmap)(struct file * , struct vm_area_struct * ) ;
3222   int (*open)(struct inode * , struct file * ) ;
3223   int (*flush)(struct file * , fl_owner_t id ) ;
3224   int (*release)(struct inode * , struct file * ) ;
3225   int (*fsync)(struct file * , int datasync ) ;
3226   int (*aio_fsync)(struct kiocb * , int datasync ) ;
3227   int (*fasync)(int , struct file * , int ) ;
3228   int (*lock)(struct file * , int , struct file_lock * ) ;
3229   ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3230                       int ) ;
3231   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3232                                      unsigned long , unsigned long ) ;
3233   int (*check_flags)(int ) ;
3234   int (*flock)(struct file * , int , struct file_lock * ) ;
3235   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3236                           unsigned int ) ;
3237   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3238                          unsigned int ) ;
3239   int (*setlease)(struct file * , long , struct file_lock ** ) ;
3240   long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
3241};
3242# 1578 "include/linux/fs.h"
3243struct inode_operations {
3244   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3245   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3246   int (*permission)(struct inode * , int , unsigned int ) ;
3247   int (*check_acl)(struct inode * , int , unsigned int ) ;
3248   int (*readlink)(struct dentry * , char * , int ) ;
3249   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3250   int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
3251   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3252   int (*unlink)(struct inode * , struct dentry * ) ;
3253   int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3254   int (*mkdir)(struct inode * , struct dentry * , int ) ;
3255   int (*rmdir)(struct inode * , struct dentry * ) ;
3256   int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
3257   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3258   void (*truncate)(struct inode * ) ;
3259   int (*setattr)(struct dentry * , struct iattr * ) ;
3260   int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
3261   int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3262   ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3263   ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3264   int (*removexattr)(struct dentry * , char const * ) ;
3265   void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3266   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
3267} __attribute__((__aligned__((1) << (6) ))) ;
3268# 1608 "include/linux/fs.h"
3269struct seq_file;
3270# 1622 "include/linux/fs.h"
3271struct super_operations {
3272   struct inode *(*alloc_inode)(struct super_block *sb ) ;
3273   void (*destroy_inode)(struct inode * ) ;
3274   void (*dirty_inode)(struct inode * , int flags ) ;
3275   int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
3276   int (*drop_inode)(struct inode * ) ;
3277   void (*evict_inode)(struct inode * ) ;
3278   void (*put_super)(struct super_block * ) ;
3279   void (*write_super)(struct super_block * ) ;
3280   int (*sync_fs)(struct super_block *sb , int wait ) ;
3281   int (*freeze_fs)(struct super_block * ) ;
3282   int (*unfreeze_fs)(struct super_block * ) ;
3283   int (*statfs)(struct dentry * , struct kstatfs * ) ;
3284   int (*remount_fs)(struct super_block * , int * , char * ) ;
3285   void (*umount_begin)(struct super_block * ) ;
3286   int (*show_options)(struct seq_file * , struct vfsmount * ) ;
3287   int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
3288   int (*show_path)(struct seq_file * , struct vfsmount * ) ;
3289   int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
3290   ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3291   ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3292                          loff_t ) ;
3293   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3294};
3295# 1802 "include/linux/fs.h"
3296struct file_system_type {
3297   char const *name ;
3298   int fs_flags ;
3299   struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3300   void (*kill_sb)(struct super_block * ) ;
3301   struct module *owner ;
3302   struct file_system_type *next ;
3303   struct list_head fs_supers ;
3304   struct lock_class_key s_lock_key ;
3305   struct lock_class_key s_umount_key ;
3306   struct lock_class_key s_vfs_rename_key ;
3307   struct lock_class_key i_lock_key ;
3308   struct lock_class_key i_mutex_key ;
3309   struct lock_class_key i_mutex_dir_key ;
3310   struct lock_class_key i_alloc_sem_key ;
3311};
3312# 2574 "include/linux/fs.h"
3313struct ctl_table;
3314# 58 "include/linux/aio_abi.h"
3315struct io_event {
3316   __u64 data ;
3317   __u64 obj ;
3318   __s64 res ;
3319   __s64 res2 ;
3320};
3321# 7 "include/asm-generic/cputime.h"
3322typedef unsigned long cputime_t;
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# 240 "include/linux/netdevice.h"
5067struct netdev_hw_addr_list {
5068   struct list_head list ;
5069   int count ;
5070};
5071# 260 "include/linux/netdevice.h"
5072struct hh_cache {
5073   struct hh_cache *hh_next ;
5074   atomic_t hh_refcnt ;
5075   __be16 hh_type __attribute__((__aligned__((1) << (6) ))) ;
5076   u16 hh_len ;
5077   int (*hh_output)(struct sk_buff *skb ) ;
5078   seqlock_t hh_lock ;
5079   unsigned long hh_data[128UL / sizeof(long )] ;
5080};
5081# 311 "include/linux/netdevice.h"
5082struct header_ops {
5083   int (*create)(struct sk_buff *skb , struct net_device *dev , unsigned short type ,
5084                 void const *daddr , void const *saddr , unsigned int len ) ;
5085   int (*parse)(struct sk_buff const *skb , unsigned char *haddr ) ;
5086   int (*rebuild)(struct sk_buff *skb ) ;
5087   int (*cache)(struct neighbour const *neigh , struct hh_cache *hh ) ;
5088   void (*cache_update)(struct hh_cache *hh , struct net_device const *dev , unsigned char const *haddr ) ;
5089};
5090# 434 "include/linux/netdevice.h"
5091enum rx_handler_result {
5092    RX_HANDLER_CONSUMED = 0,
5093    RX_HANDLER_ANOTHER = 1,
5094    RX_HANDLER_EXACT = 2,
5095    RX_HANDLER_PASS = 3
5096} ;
5097# 440 "include/linux/netdevice.h"
5098typedef enum rx_handler_result rx_handler_result_t;
5099# 441 "include/linux/netdevice.h"
5100typedef rx_handler_result_t rx_handler_func_t(struct sk_buff **pskb );
5101# 551 "include/linux/netdevice.h"
5102struct Qdisc;
5103# 551 "include/linux/netdevice.h"
5104struct Qdisc;
5105# 551 "include/linux/netdevice.h"
5106struct netdev_queue {
5107   struct net_device *dev ;
5108   struct Qdisc *qdisc ;
5109   unsigned long state ;
5110   struct Qdisc *qdisc_sleeping ;
5111   struct kobject kobj ;
5112   int numa_node ;
5113   spinlock_t _xmit_lock __attribute__((__aligned__((1) << (6) ))) ;
5114   int xmit_lock_owner ;
5115   unsigned long trans_start ;
5116} __attribute__((__aligned__((1) << (6) ))) ;
5117# 597 "include/linux/netdevice.h"
5118struct rps_map {
5119   unsigned int len ;
5120   struct rcu_head rcu ;
5121   u16 cpus[0] ;
5122};
5123# 609 "include/linux/netdevice.h"
5124struct rps_dev_flow {
5125   u16 cpu ;
5126   u16 filter ;
5127   unsigned int last_qtail ;
5128};
5129# 619 "include/linux/netdevice.h"
5130struct rps_dev_flow_table {
5131   unsigned int mask ;
5132   struct rcu_head rcu ;
5133   struct work_struct free_work ;
5134   struct rps_dev_flow flows[0] ;
5135};
5136# 670 "include/linux/netdevice.h"
5137struct netdev_rx_queue {
5138   struct rps_map *rps_map ;
5139   struct rps_dev_flow_table *rps_flow_table ;
5140   struct kobject kobj ;
5141   struct net_device *dev ;
5142} __attribute__((__aligned__((1) << (6) ))) ;
5143# 683 "include/linux/netdevice.h"
5144struct xps_map {
5145   unsigned int len ;
5146   unsigned int alloc_len ;
5147   struct rcu_head rcu ;
5148   u16 queues[0] ;
5149};
5150# 696 "include/linux/netdevice.h"
5151struct xps_dev_maps {
5152   struct rcu_head rcu ;
5153   struct xps_map *cpu_map[0] ;
5154};
5155# 707 "include/linux/netdevice.h"
5156struct netdev_tc_txq {
5157   u16 count ;
5158   u16 offset ;
5159};
5160# 892 "include/linux/netdevice.h"
5161struct net_device_ops {
5162   int (*ndo_init)(struct net_device *dev ) ;
5163   void (*ndo_uninit)(struct net_device *dev ) ;
5164   int (*ndo_open)(struct net_device *dev ) ;
5165   int (*ndo_stop)(struct net_device *dev ) ;
5166   netdev_tx_t (*ndo_start_xmit)(struct sk_buff *skb , struct net_device *dev ) ;
5167   u16 (*ndo_select_queue)(struct net_device *dev , struct sk_buff *skb ) ;
5168   void (*ndo_change_rx_flags)(struct net_device *dev , int flags ) ;
5169   void (*ndo_set_rx_mode)(struct net_device *dev ) ;
5170   void (*ndo_set_multicast_list)(struct net_device *dev ) ;
5171   int (*ndo_set_mac_address)(struct net_device *dev , void *addr ) ;
5172   int (*ndo_validate_addr)(struct net_device *dev ) ;
5173   int (*ndo_do_ioctl)(struct net_device *dev , struct ifreq *ifr , int cmd ) ;
5174   int (*ndo_set_config)(struct net_device *dev , struct ifmap *map ) ;
5175   int (*ndo_change_mtu)(struct net_device *dev , int new_mtu ) ;
5176   int (*ndo_neigh_setup)(struct net_device *dev , struct neigh_parms * ) ;
5177   void (*ndo_tx_timeout)(struct net_device *dev ) ;
5178   struct rtnl_link_stats64 *(*ndo_get_stats64)(struct net_device *dev , struct rtnl_link_stats64 *storage ) ;
5179   struct net_device_stats *(*ndo_get_stats)(struct net_device *dev ) ;
5180   void (*ndo_vlan_rx_register)(struct net_device *dev , struct vlan_group *grp ) ;
5181   void (*ndo_vlan_rx_add_vid)(struct net_device *dev , unsigned short vid ) ;
5182   void (*ndo_vlan_rx_kill_vid)(struct net_device *dev , unsigned short vid ) ;
5183   void (*ndo_poll_controller)(struct net_device *dev ) ;
5184   int (*ndo_netpoll_setup)(struct net_device *dev , struct netpoll_info *info ) ;
5185   void (*ndo_netpoll_cleanup)(struct net_device *dev ) ;
5186   int (*ndo_set_vf_mac)(struct net_device *dev , int queue , u8 *mac ) ;
5187   int (*ndo_set_vf_vlan)(struct net_device *dev , int queue , u16 vlan , u8 qos ) ;
5188   int (*ndo_set_vf_tx_rate)(struct net_device *dev , int vf , int rate ) ;
5189   int (*ndo_get_vf_config)(struct net_device *dev , int vf , struct ifla_vf_info *ivf ) ;
5190   int (*ndo_set_vf_port)(struct net_device *dev , int vf , struct nlattr **port ) ;
5191   int (*ndo_get_vf_port)(struct net_device *dev , int vf , struct sk_buff *skb ) ;
5192   int (*ndo_setup_tc)(struct net_device *dev , u8 tc ) ;
5193   int (*ndo_fcoe_enable)(struct net_device *dev ) ;
5194   int (*ndo_fcoe_disable)(struct net_device *dev ) ;
5195   int (*ndo_fcoe_ddp_setup)(struct net_device *dev , u16 xid , struct scatterlist *sgl ,
5196                             unsigned int sgc ) ;
5197   int (*ndo_fcoe_ddp_done)(struct net_device *dev , u16 xid ) ;
5198   int (*ndo_fcoe_ddp_target)(struct net_device *dev , u16 xid , struct scatterlist *sgl ,
5199                              unsigned int sgc ) ;
5200   int (*ndo_fcoe_get_wwn)(struct net_device *dev , u64 *wwn , int type ) ;
5201   int (*ndo_rx_flow_steer)(struct net_device *dev , struct sk_buff const *skb ,
5202                            u16 rxq_index , u32 flow_id ) ;
5203   int (*ndo_add_slave)(struct net_device *dev , struct net_device *slave_dev ) ;
5204   int (*ndo_del_slave)(struct net_device *dev , struct net_device *slave_dev ) ;
5205   u32 (*ndo_fix_features)(struct net_device *dev , u32 features ) ;
5206   int (*ndo_set_features)(struct net_device *dev , u32 features ) ;
5207};
5208# 993 "include/linux/netdevice.h"
5209struct iw_handler_def;
5210# 993 "include/linux/netdevice.h"
5211struct iw_handler_def;
5212# 993 "include/linux/netdevice.h"
5213struct iw_public_data;
5214# 993 "include/linux/netdevice.h"
5215struct iw_public_data;
5216# 993 "include/linux/netdevice.h"
5217struct in_device;
5218# 993 "include/linux/netdevice.h"
5219struct in_device;
5220# 993 "include/linux/netdevice.h"
5221struct dn_dev;
5222# 993 "include/linux/netdevice.h"
5223struct dn_dev;
5224# 993 "include/linux/netdevice.h"
5225struct inet6_dev;
5226# 993 "include/linux/netdevice.h"
5227struct inet6_dev;
5228# 993 "include/linux/netdevice.h"
5229struct cpu_rmap;
5230# 993 "include/linux/netdevice.h"
5231struct cpu_rmap;
5232# 993 "include/linux/netdevice.h"
5233enum __anonenum_reg_state_303 {
5234    NETREG_UNINITIALIZED = 0,
5235    NETREG_REGISTERED = 1,
5236    NETREG_UNREGISTERING = 2,
5237    NETREG_UNREGISTERED = 3,
5238    NETREG_RELEASED = 4,
5239    NETREG_DUMMY = 5
5240} ;
5241# 993 "include/linux/netdevice.h"
5242enum __anonenum_rtnl_link_state_304 {
5243    RTNL_LINK_INITIALIZED = 0,
5244    RTNL_LINK_INITIALIZING = 1
5245} ;
5246# 993 "include/linux/netdevice.h"
5247struct pcpu_lstats;
5248# 993 "include/linux/netdevice.h"
5249struct pcpu_lstats;
5250# 993 "include/linux/netdevice.h"
5251struct pcpu_tstats;
5252# 993 "include/linux/netdevice.h"
5253struct pcpu_tstats;
5254# 993 "include/linux/netdevice.h"
5255struct pcpu_dstats;
5256# 993 "include/linux/netdevice.h"
5257struct pcpu_dstats;
5258# 993 "include/linux/netdevice.h"
5259union __anonunion____missing_field_name_305 {
5260   void *ml_priv ;
5261   struct pcpu_lstats *lstats ;
5262   struct pcpu_tstats *tstats ;
5263   struct pcpu_dstats *dstats ;
5264};
5265# 993 "include/linux/netdevice.h"
5266struct garp_port;
5267# 993 "include/linux/netdevice.h"
5268struct garp_port;
5269# 993 "include/linux/netdevice.h"
5270struct rtnl_link_ops;
5271# 993 "include/linux/netdevice.h"
5272struct rtnl_link_ops;
5273# 993 "include/linux/netdevice.h"
5274struct net_device {
5275   char name[16] ;
5276   struct pm_qos_request_list pm_qos_req ;
5277   struct hlist_node name_hlist ;
5278   char *ifalias ;
5279   unsigned long mem_end ;
5280   unsigned long mem_start ;
5281   unsigned long base_addr ;
5282   unsigned int irq ;
5283   unsigned long state ;
5284   struct list_head dev_list ;
5285   struct list_head napi_list ;
5286   struct list_head unreg_list ;
5287   u32 features ;
5288   u32 hw_features ;
5289   u32 wanted_features ;
5290   u32 vlan_features ;
5291   int ifindex ;
5292   int iflink ;
5293   struct net_device_stats stats ;
5294   atomic_long_t rx_dropped ;
5295   struct iw_handler_def const *wireless_handlers ;
5296   struct iw_public_data *wireless_data ;
5297   struct net_device_ops const *netdev_ops ;
5298   struct ethtool_ops const *ethtool_ops ;
5299   struct header_ops const *header_ops ;
5300   unsigned int flags ;
5301   unsigned int priv_flags ;
5302   unsigned short gflags ;
5303   unsigned short padded ;
5304   unsigned char operstate ;
5305   unsigned char link_mode ;
5306   unsigned char if_port ;
5307   unsigned char dma ;
5308   unsigned int mtu ;
5309   unsigned short type ;
5310   unsigned short hard_header_len ;
5311   unsigned short needed_headroom ;
5312   unsigned short needed_tailroom ;
5313   unsigned char perm_addr[32] ;
5314   unsigned char addr_assign_type ;
5315   unsigned char addr_len ;
5316   unsigned short dev_id ;
5317   spinlock_t addr_list_lock ;
5318   struct netdev_hw_addr_list uc ;
5319   struct netdev_hw_addr_list mc ;
5320   int uc_promisc ;
5321   unsigned int promiscuity ;
5322   unsigned int allmulti ;
5323   struct vlan_group *vlgrp ;
5324   void *dsa_ptr ;
5325   void *atalk_ptr ;
5326   struct in_device *ip_ptr ;
5327   struct dn_dev *dn_ptr ;
5328   struct inet6_dev *ip6_ptr ;
5329   void *ec_ptr ;
5330   void *ax25_ptr ;
5331   struct wireless_dev *ieee80211_ptr ;
5332   unsigned long last_rx ;
5333   struct net_device *master ;
5334   unsigned char *dev_addr ;
5335   struct netdev_hw_addr_list dev_addrs ;
5336   unsigned char broadcast[32] ;
5337   struct kset *queues_kset ;
5338   struct netdev_rx_queue *_rx ;
5339   unsigned int num_rx_queues ;
5340   unsigned int real_num_rx_queues ;
5341   struct cpu_rmap *rx_cpu_rmap ;
5342   rx_handler_func_t *rx_handler ;
5343   void *rx_handler_data ;
5344   struct netdev_queue *ingress_queue ;
5345   struct netdev_queue *_tx __attribute__((__aligned__((1) << (6) ))) ;
5346   unsigned int num_tx_queues ;
5347   unsigned int real_num_tx_queues ;
5348   struct Qdisc *qdisc ;
5349   unsigned long tx_queue_len ;
5350   spinlock_t tx_global_lock ;
5351   struct xps_dev_maps *xps_maps ;
5352   unsigned long trans_start ;
5353   int watchdog_timeo ;
5354   struct timer_list watchdog_timer ;
5355   int *pcpu_refcnt ;
5356   struct list_head todo_list ;
5357   struct hlist_node index_hlist ;
5358   struct list_head link_watch_list ;
5359   enum __anonenum_reg_state_303 reg_state : 8 ;
5360   bool dismantle ;
5361   enum __anonenum_rtnl_link_state_304 rtnl_link_state : 16 ;
5362   void (*destructor)(struct net_device *dev ) ;
5363   struct netpoll_info *npinfo ;
5364   struct net *nd_net ;
5365   union __anonunion____missing_field_name_305 __annonCompField44 ;
5366   struct garp_port *garp_port ;
5367   struct device dev ;
5368   struct attribute_group const *sysfs_groups[4] ;
5369   struct rtnl_link_ops const *rtnl_link_ops ;
5370   unsigned int gso_max_size ;
5371   struct dcbnl_rtnl_ops const *dcbnl_ops ;
5372   u8 num_tc ;
5373   struct netdev_tc_txq tc_to_txq[16] ;
5374   u8 prio_tc_map[16] ;
5375   unsigned int fcoe_ddp_xid ;
5376   struct ethtool_rx_ntuple_list ethtool_ntuple_list ;
5377   struct phy_device *phydev ;
5378   int group ;
5379};
5380# 10 "include/linux/irqreturn.h"
5381enum irqreturn {
5382    IRQ_NONE = 0,
5383    IRQ_HANDLED = 1,
5384    IRQ_WAKE_THREAD = 2
5385} ;
5386# 16 "include/linux/irqreturn.h"
5387typedef enum irqreturn irqreturn_t;
5388# 31 "include/linux/irq.h"
5389struct seq_file;
5390# 12 "include/linux/irqdesc.h"
5391struct proc_dir_entry;
5392# 16 "include/linux/profile.h"
5393struct proc_dir_entry;
5394# 17 "include/linux/profile.h"
5395struct pt_regs;
5396# 65 "include/linux/profile.h"
5397struct task_struct;
5398# 66 "include/linux/profile.h"
5399struct mm_struct;
5400# 88 "include/linux/profile.h"
5401struct pt_regs;
5402# 363 "include/linux/irq.h"
5403struct irqaction;
5404# 132 "include/linux/hardirq.h"
5405struct task_struct;
5406# 9 "include/trace/events/irq.h"
5407struct irqaction;
5408# 106 "include/linux/interrupt.h"
5409struct irqaction {
5410   irqreturn_t (*handler)(int , void * ) ;
5411   unsigned long flags ;
5412   void *dev_id ;
5413   struct irqaction *next ;
5414   int irq ;
5415   irqreturn_t (*thread_fn)(int , void * ) ;
5416   struct task_struct *thread ;
5417   unsigned long thread_flags ;
5418   unsigned long thread_mask ;
5419   char const *name ;
5420   struct proc_dir_entry *dir ;
5421} __attribute__((__aligned__((1) << (12) ))) ;
5422# 172 "include/linux/interrupt.h"
5423struct device;
5424# 682 "include/linux/interrupt.h"
5425struct seq_file;
5426# 12 "include/linux/mod_devicetable.h"
5427typedef unsigned long kernel_ulong_t;
5428# 98 "include/linux/mod_devicetable.h"
5429struct usb_device_id {
5430   __u16 match_flags ;
5431   __u16 idVendor ;
5432   __u16 idProduct ;
5433   __u16 bcdDevice_lo ;
5434   __u16 bcdDevice_hi ;
5435   __u8 bDeviceClass ;
5436   __u8 bDeviceSubClass ;
5437   __u8 bDeviceProtocol ;
5438   __u8 bInterfaceClass ;
5439   __u8 bInterfaceSubClass ;
5440   __u8 bInterfaceProtocol ;
5441   kernel_ulong_t driver_info ;
5442};
5443# 219 "include/linux/mod_devicetable.h"
5444struct of_device_id {
5445   char name[32] ;
5446   char type[32] ;
5447   char compatible[128] ;
5448   void *data ;
5449};
5450# 244 "include/linux/usb/ch9.h"
5451struct usb_device_descriptor {
5452   __u8 bLength ;
5453   __u8 bDescriptorType ;
5454   __le16 bcdUSB ;
5455   __u8 bDeviceClass ;
5456   __u8 bDeviceSubClass ;
5457   __u8 bDeviceProtocol ;
5458   __u8 bMaxPacketSize0 ;
5459   __le16 idVendor ;
5460   __le16 idProduct ;
5461   __le16 bcdDevice ;
5462   __u8 iManufacturer ;
5463   __u8 iProduct ;
5464   __u8 iSerialNumber ;
5465   __u8 bNumConfigurations ;
5466} __attribute__((__packed__)) ;
5467# 300 "include/linux/usb/ch9.h"
5468struct usb_config_descriptor {
5469   __u8 bLength ;
5470   __u8 bDescriptorType ;
5471   __le16 wTotalLength ;
5472   __u8 bNumInterfaces ;
5473   __u8 bConfigurationValue ;
5474   __u8 iConfiguration ;
5475   __u8 bmAttributes ;
5476   __u8 bMaxPower ;
5477} __attribute__((__packed__)) ;
5478# 337 "include/linux/usb/ch9.h"
5479struct usb_interface_descriptor {
5480   __u8 bLength ;
5481   __u8 bDescriptorType ;
5482   __u8 bInterfaceNumber ;
5483   __u8 bAlternateSetting ;
5484   __u8 bNumEndpoints ;
5485   __u8 bInterfaceClass ;
5486   __u8 bInterfaceSubClass ;
5487   __u8 bInterfaceProtocol ;
5488   __u8 iInterface ;
5489} __attribute__((__packed__)) ;
5490# 355 "include/linux/usb/ch9.h"
5491struct usb_endpoint_descriptor {
5492   __u8 bLength ;
5493   __u8 bDescriptorType ;
5494   __u8 bEndpointAddress ;
5495   __u8 bmAttributes ;
5496   __le16 wMaxPacketSize ;
5497   __u8 bInterval ;
5498   __u8 bRefresh ;
5499   __u8 bSynchAddress ;
5500} __attribute__((__packed__)) ;
5501# 576 "include/linux/usb/ch9.h"
5502struct usb_ss_ep_comp_descriptor {
5503   __u8 bLength ;
5504   __u8 bDescriptorType ;
5505   __u8 bMaxBurst ;
5506   __u8 bmAttributes ;
5507   __le16 wBytesPerInterval ;
5508} __attribute__((__packed__)) ;
5509# 637 "include/linux/usb/ch9.h"
5510struct usb_interface_assoc_descriptor {
5511   __u8 bLength ;
5512   __u8 bDescriptorType ;
5513   __u8 bFirstInterface ;
5514   __u8 bInterfaceCount ;
5515   __u8 bFunctionClass ;
5516   __u8 bFunctionSubClass ;
5517   __u8 bFunctionProtocol ;
5518   __u8 iFunction ;
5519} __attribute__((__packed__)) ;
5520# 846 "include/linux/usb/ch9.h"
5521enum usb_device_speed {
5522    USB_SPEED_UNKNOWN = 0,
5523    USB_SPEED_LOW = 1,
5524    USB_SPEED_FULL = 2,
5525    USB_SPEED_HIGH = 3,
5526    USB_SPEED_WIRELESS = 4,
5527    USB_SPEED_SUPER = 5
5528} ;
5529# 854 "include/linux/usb/ch9.h"
5530enum usb_device_state {
5531    USB_STATE_NOTATTACHED = 0,
5532    USB_STATE_ATTACHED = 1,
5533    USB_STATE_POWERED = 2,
5534    USB_STATE_RECONNECTING = 3,
5535    USB_STATE_UNAUTHENTICATED = 4,
5536    USB_STATE_DEFAULT = 5,
5537    USB_STATE_ADDRESS = 6,
5538    USB_STATE_CONFIGURED = 7,
5539    USB_STATE_SUSPENDED = 8
5540} ;
5541# 25 "include/linux/usb.h"
5542struct usb_device;
5543# 25 "include/linux/usb.h"
5544struct usb_device;
5545# 25 "include/linux/usb.h"
5546struct usb_device;
5547# 26 "include/linux/usb.h"
5548struct usb_driver;
5549# 26 "include/linux/usb.h"
5550struct usb_driver;
5551# 26 "include/linux/usb.h"
5552struct usb_driver;
5553# 27 "include/linux/usb.h"
5554struct wusb_dev;
5555# 27 "include/linux/usb.h"
5556struct wusb_dev;
5557# 27 "include/linux/usb.h"
5558struct wusb_dev;
5559# 47 "include/linux/usb.h"
5560struct ep_device;
5561# 47 "include/linux/usb.h"
5562struct ep_device;
5563# 47 "include/linux/usb.h"
5564struct ep_device;
5565# 64 "include/linux/usb.h"
5566struct usb_host_endpoint {
5567   struct usb_endpoint_descriptor desc ;
5568   struct usb_ss_ep_comp_descriptor ss_ep_comp ;
5569   struct list_head urb_list ;
5570   void *hcpriv ;
5571   struct ep_device *ep_dev ;
5572   unsigned char *extra ;
5573   int extralen ;
5574   int enabled ;
5575};
5576# 77 "include/linux/usb.h"
5577struct usb_host_interface {
5578   struct usb_interface_descriptor desc ;
5579   struct usb_host_endpoint *endpoint ;
5580   char *string ;
5581   unsigned char *extra ;
5582   int extralen ;
5583};
5584# 90 "include/linux/usb.h"
5585enum usb_interface_condition {
5586    USB_INTERFACE_UNBOUND = 0,
5587    USB_INTERFACE_BINDING = 1,
5588    USB_INTERFACE_BOUND = 2,
5589    USB_INTERFACE_UNBINDING = 3
5590} ;
5591# 159 "include/linux/usb.h"
5592struct usb_interface {
5593   struct usb_host_interface *altsetting ;
5594   struct usb_host_interface *cur_altsetting ;
5595   unsigned int num_altsetting ;
5596   struct usb_interface_assoc_descriptor *intf_assoc ;
5597   int minor ;
5598   enum usb_interface_condition condition ;
5599   unsigned int sysfs_files_created : 1 ;
5600   unsigned int ep_devs_created : 1 ;
5601   unsigned int unregistering : 1 ;
5602   unsigned int needs_remote_wakeup : 1 ;
5603   unsigned int needs_altsetting0 : 1 ;
5604   unsigned int needs_binding : 1 ;
5605   unsigned int reset_running : 1 ;
5606   unsigned int resetting_device : 1 ;
5607   struct device dev ;
5608   struct device *usb_dev ;
5609   atomic_t pm_usage_cnt ;
5610   struct work_struct reset_ws ;
5611};
5612# 222 "include/linux/usb.h"
5613struct usb_interface_cache {
5614   unsigned int num_altsetting ;
5615   struct kref ref ;
5616   struct usb_host_interface altsetting[0] ;
5617};
5618# 274 "include/linux/usb.h"
5619struct usb_host_config {
5620   struct usb_config_descriptor desc ;
5621   char *string ;
5622   struct usb_interface_assoc_descriptor *intf_assoc[16] ;
5623   struct usb_interface *interface[32] ;
5624   struct usb_interface_cache *intf_cache[32] ;
5625   unsigned char *extra ;
5626   int extralen ;
5627};
5628# 305 "include/linux/usb.h"
5629struct usb_devmap {
5630   unsigned long devicemap[128UL / (8UL * sizeof(unsigned long ))] ;
5631};
5632# 312 "include/linux/usb.h"
5633struct mon_bus;
5634# 312 "include/linux/usb.h"
5635struct mon_bus;
5636# 312 "include/linux/usb.h"
5637struct usb_bus {
5638   struct device *controller ;
5639   int busnum ;
5640   char const *bus_name ;
5641   u8 uses_dma ;
5642   u8 uses_pio_for_control ;
5643   u8 otg_port ;
5644   unsigned int is_b_host : 1 ;
5645   unsigned int b_hnp_enable : 1 ;
5646   unsigned int sg_tablesize ;
5647   int devnum_next ;
5648   struct usb_devmap devmap ;
5649   struct usb_device *root_hub ;
5650   struct usb_bus *hs_companion ;
5651   struct list_head bus_list ;
5652   int bandwidth_allocated ;
5653   int bandwidth_int_reqs ;
5654   int bandwidth_isoc_reqs ;
5655   struct dentry *usbfs_dentry ;
5656   struct mon_bus *mon_bus ;
5657   int monitored ;
5658};
5659# 367 "include/linux/usb.h"
5660struct usb_tt;
5661# 367 "include/linux/usb.h"
5662struct usb_tt;
5663# 367 "include/linux/usb.h"
5664struct usb_tt;
5665# 426 "include/linux/usb.h"
5666struct usb_device {
5667   int devnum ;
5668   char devpath[16] ;
5669   u32 route ;
5670   enum usb_device_state state ;
5671   enum usb_device_speed speed ;
5672   struct usb_tt *tt ;
5673   int ttport ;
5674   unsigned int toggle[2] ;
5675   struct usb_device *parent ;
5676   struct usb_bus *bus ;
5677   struct usb_host_endpoint ep0 ;
5678   struct device dev ;
5679   struct usb_device_descriptor descriptor ;
5680   struct usb_host_config *config ;
5681   struct usb_host_config *actconfig ;
5682   struct usb_host_endpoint *ep_in[16] ;
5683   struct usb_host_endpoint *ep_out[16] ;
5684   char **rawdescriptors ;
5685   unsigned short bus_mA ;
5686   u8 portnum ;
5687   u8 level ;
5688   unsigned int can_submit : 1 ;
5689   unsigned int persist_enabled : 1 ;
5690   unsigned int have_langid : 1 ;
5691   unsigned int authorized : 1 ;
5692   unsigned int authenticated : 1 ;
5693   unsigned int wusb : 1 ;
5694   int string_langid ;
5695   char *product ;
5696   char *manufacturer ;
5697   char *serial ;
5698   struct list_head filelist ;
5699   struct device *usb_classdev ;
5700   struct dentry *usbfs_dentry ;
5701   int maxchild ;
5702   struct usb_device *children[31] ;
5703   u32 quirks ;
5704   atomic_t urbnum ;
5705   unsigned long active_duration ;
5706   unsigned long connect_time ;
5707   unsigned int do_remote_wakeup : 1 ;
5708   unsigned int reset_resume : 1 ;
5709   struct wusb_dev *wusb_dev ;
5710   int slot_id ;
5711};
5712# 763 "include/linux/usb.h"
5713struct usb_dynids {
5714   spinlock_t lock ;
5715   struct list_head list ;
5716};
5717# 782 "include/linux/usb.h"
5718struct usbdrv_wrap {
5719   struct device_driver driver ;
5720   int for_devices ;
5721};
5722# 843 "include/linux/usb.h"
5723struct usb_driver {
5724   char const *name ;
5725   int (*probe)(struct usb_interface *intf , struct usb_device_id const *id ) ;
5726   void (*disconnect)(struct usb_interface *intf ) ;
5727   int (*unlocked_ioctl)(struct usb_interface *intf , unsigned int code , void *buf ) ;
5728   int (*suspend)(struct usb_interface *intf , pm_message_t message ) ;
5729   int (*resume)(struct usb_interface *intf ) ;
5730   int (*reset_resume)(struct usb_interface *intf ) ;
5731   int (*pre_reset)(struct usb_interface *intf ) ;
5732   int (*post_reset)(struct usb_interface *intf ) ;
5733   struct usb_device_id const *id_table ;
5734   struct usb_dynids dynids ;
5735   struct usbdrv_wrap drvwrap ;
5736   unsigned int no_dynamic_id : 1 ;
5737   unsigned int supports_autosuspend : 1 ;
5738   unsigned int soft_unbind : 1 ;
5739};
5740# 983 "include/linux/usb.h"
5741struct usb_iso_packet_descriptor {
5742   unsigned int offset ;
5743   unsigned int length ;
5744   unsigned int actual_length ;
5745   int status ;
5746};
5747# 990 "include/linux/usb.h"
5748struct urb;
5749# 990 "include/linux/usb.h"
5750struct urb;
5751# 990 "include/linux/usb.h"
5752struct urb;
5753# 992 "include/linux/usb.h"
5754struct usb_anchor {
5755   struct list_head urb_list ;
5756   wait_queue_head_t wait ;
5757   spinlock_t lock ;
5758   unsigned int poisoned : 1 ;
5759};
5760# 1183 "include/linux/usb.h"
5761struct urb {
5762   struct kref kref ;
5763   void *hcpriv ;
5764   atomic_t use_count ;
5765   atomic_t reject ;
5766   int unlinked ;
5767   struct list_head urb_list ;
5768   struct list_head anchor_list ;
5769   struct usb_anchor *anchor ;
5770   struct usb_device *dev ;
5771   struct usb_host_endpoint *ep ;
5772   unsigned int pipe ;
5773   unsigned int stream_id ;
5774   int status ;
5775   unsigned int transfer_flags ;
5776   void *transfer_buffer ;
5777   dma_addr_t transfer_dma ;
5778   struct scatterlist *sg ;
5779   int num_sgs ;
5780   u32 transfer_buffer_length ;
5781   u32 actual_length ;
5782   unsigned char *setup_packet ;
5783   dma_addr_t setup_dma ;
5784   int start_frame ;
5785   int number_of_packets ;
5786   int interval ;
5787   int error_count ;
5788   void *context ;
5789   void (*complete)(struct urb * ) ;
5790   struct usb_iso_packet_descriptor iso_frame_desc[0] ;
5791};
5792# 1388 "include/linux/usb.h"
5793struct scatterlist;
5794# 41 "include/linux/can.h"
5795typedef __u32 canid_t;
5796# 57 "include/linux/can.h"
5797struct can_frame {
5798   canid_t can_id ;
5799   __u8 can_dlc ;
5800   __u8 data[8] __attribute__((__aligned__(8))) ;
5801};
5802# 24 "include/linux/can/netlink.h"
5803struct can_bittiming {
5804   __u32 bitrate ;
5805   __u32 sample_point ;
5806   __u32 tq ;
5807   __u32 prop_seg ;
5808   __u32 phase_seg1 ;
5809   __u32 phase_seg2 ;
5810   __u32 sjw ;
5811   __u32 brp ;
5812};
5813# 40 "include/linux/can/netlink.h"
5814struct can_bittiming_const {
5815   char name[16] ;
5816   __u32 tseg1_min ;
5817   __u32 tseg1_max ;
5818   __u32 tseg2_min ;
5819   __u32 tseg2_max ;
5820   __u32 sjw_max ;
5821   __u32 brp_min ;
5822   __u32 brp_max ;
5823   __u32 brp_inc ;
5824};
5825# 55 "include/linux/can/netlink.h"
5826struct can_clock {
5827   __u32 freq ;
5828};
5829# 62 "include/linux/can/netlink.h"
5830enum can_state {
5831    CAN_STATE_ERROR_ACTIVE = 0,
5832    CAN_STATE_ERROR_WARNING = 1,
5833    CAN_STATE_ERROR_PASSIVE = 2,
5834    CAN_STATE_BUS_OFF = 3,
5835    CAN_STATE_STOPPED = 4,
5836    CAN_STATE_SLEEPING = 5,
5837    CAN_STATE_MAX = 6
5838} ;
5839# 75 "include/linux/can/netlink.h"
5840struct can_berr_counter {
5841   __u16 txerr ;
5842   __u16 rxerr ;
5843};
5844# 97 "include/linux/can/netlink.h"
5845struct can_device_stats {
5846   __u32 bus_error ;
5847   __u32 error_warning ;
5848   __u32 error_passive ;
5849   __u32 bus_off ;
5850   __u32 arbitration_lost ;
5851   __u32 restarts ;
5852};
5853# 24 "include/linux/can/dev.h"
5854enum can_mode {
5855    CAN_MODE_STOP = 0,
5856    CAN_MODE_START = 1,
5857    CAN_MODE_SLEEP = 2
5858} ;
5859# 33 "include/linux/can/dev.h"
5860struct can_priv {
5861   struct can_device_stats can_stats ;
5862   struct can_bittiming bittiming ;
5863   struct can_bittiming_const *bittiming_const ;
5864   struct can_clock clock ;
5865   enum can_state state ;
5866   u32 ctrlmode ;
5867   u32 ctrlmode_supported ;
5868   int restart_ms ;
5869   struct timer_list restart_timer ;
5870   int (*do_set_bittiming)(struct net_device *dev ) ;
5871   int (*do_set_mode)(struct net_device *dev , enum can_mode mode ) ;
5872   int (*do_get_state)(struct net_device const *dev , enum can_state *state ) ;
5873   int (*do_get_berr_counter)(struct net_device const *dev , struct can_berr_counter *bec ) ;
5874   unsigned int echo_skb_max ;
5875   struct sk_buff **echo_skb ;
5876};
5877# 127 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5878struct cpc_can_msg {
5879   u32 id ;
5880   u8 length ;
5881   u8 msg[8] ;
5882};
5883# 134 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5884struct cpc_sja1000_params {
5885   u8 mode ;
5886   u8 acc_code0 ;
5887   u8 acc_code1 ;
5888   u8 acc_code2 ;
5889   u8 acc_code3 ;
5890   u8 acc_mask0 ;
5891   u8 acc_mask1 ;
5892   u8 acc_mask2 ;
5893   u8 acc_mask3 ;
5894   u8 btr0 ;
5895   u8 btr1 ;
5896   u8 outp_contr ;
5897};
5898# 150 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5899union __anonunion_cc_params_319 {
5900   struct cpc_sja1000_params sja1000 ;
5901};
5902# 150 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5903struct cpc_can_params {
5904   u8 cc_type ;
5905   union __anonunion_cc_params_319 cc_params ;
5906};
5907# 160 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5908struct cpc_confirm {
5909   u8 error ;
5910};
5911# 165 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5912struct cpc_overrun {
5913   u8 event ;
5914   u8 count ;
5915};
5916# 171 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5917struct cpc_sja1000_can_error {
5918   u8 ecc ;
5919   u8 rxerr ;
5920   u8 txerr ;
5921};
5922# 178 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5923union __anonunion_regs_321 {
5924   struct cpc_sja1000_can_error sja1000 ;
5925};
5926# 178 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5927struct __anonstruct_cc_320 {
5928   u8 cc_type ;
5929   union __anonunion_regs_321 regs ;
5930};
5931# 178 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5932struct cpc_can_error {
5933   u8 ecode ;
5934   struct __anonstruct_cc_320 cc ;
5935};
5936# 195 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5937struct cpc_can_err_counter {
5938   u8 rx ;
5939   u8 tx ;
5940};
5941# 201 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5942union __anonunion_msg_322 {
5943   u8 generic[64] ;
5944   struct cpc_can_msg can_msg ;
5945   struct cpc_can_params can_params ;
5946   struct cpc_confirm confirmation ;
5947   struct cpc_overrun overrun ;
5948   struct cpc_can_error error ;
5949   struct cpc_can_err_counter err_counter ;
5950   u8 can_state ;
5951};
5952# 201 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5953struct ems_cpc_msg {
5954   u8 type ;
5955   u8 length ;
5956   u8 msgid ;
5957   u32 ts_sec ;
5958   u32 ts_nsec ;
5959   union __anonunion_msg_322 msg ;
5960} __attribute__((__packed__)) ;
5961# 238 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5962struct ems_usb;
5963# 238 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5964struct ems_usb;
5965# 238 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5966struct ems_usb;
5967# 240 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5968struct ems_tx_urb_context {
5969   struct ems_usb *dev ;
5970   u32 echo_index ;
5971   u8 dlc ;
5972};
5973# 247 "/anthill/stuff/tacas-comp/work/current--X--drivers/net/can/usb/ems_usb.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/can/usb/ems_usb.c.common.c"
5974struct ems_usb {
5975   struct can_priv can ;
5976   int open_time ;
5977   struct sk_buff *echo_skb[10] ;
5978   struct usb_device *udev ;
5979   struct net_device *netdev ;
5980   atomic_t active_tx_urbs ;
5981   struct usb_anchor tx_submitted ;
5982   struct ems_tx_urb_context tx_contexts[10] ;
5983   struct usb_anchor rx_submitted ;
5984   struct urb *intr_urb ;
5985   u8 *tx_msg_buffer ;
5986   u8 *intr_in_buffer ;
5987   unsigned int free_slots ;
5988   struct ems_cpc_msg active_params ;
5989};
5990# 1 "<compiler builtins>"
5991
5992# 1 "<compiler builtins>"
5993
5994# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
5995__inline static void ( __attribute__((__always_inline__)) set_bit)(unsigned int nr ,
5996                                                                   unsigned long volatile *addr )
5997{
5998
5999  {
6000# 68 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6001  __asm__ volatile (".section .smp_locks,\"a\"\n"
6002                       ".balign 4\n"
6003                       ".long 671f - .\n"
6004                       ".previous\n"
6005                       "671:"
6006                       "\n\tlock; "
6007                       "bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory");
6008# 71 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6009  return;
6010}
6011}
6012# 97 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6013__inline static void ( __attribute__((__always_inline__)) clear_bit)(int nr , unsigned long volatile *addr )
6014{
6015
6016  {
6017# 105 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6018  __asm__ volatile (".section .smp_locks,\"a\"\n"
6019                       ".balign 4\n"
6020                       ".long 671f - .\n"
6021                       ".previous\n"
6022                       "671:"
6023                       "\n\tlock; "
6024                       "btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr));
6025# 109 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6026  return;
6027}
6028}
6029# 246 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6030__inline static int test_and_clear_bit(int nr , unsigned long volatile *addr )
6031{ int oldbit ;
6032
6033  {
6034# 250 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6035  __asm__ volatile (".section .smp_locks,\"a\"\n"
6036                       ".balign 4\n"
6037                       ".long 671f - .\n"
6038                       ".previous\n"
6039                       "671:"
6040                       "\n\tlock; "
6041                       "btr %2,%1\n\t"
6042                       "sbb %0,%0": "=r" (oldbit), "+m" (*((long volatile *)addr)): "Ir" (nr): "memory");
6043# 254 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6044  return (oldbit);
6045}
6046}
6047# 309 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6048__inline static int ( __attribute__((__always_inline__)) constant_test_bit)(unsigned int nr ,
6049                                                                            unsigned long const volatile *addr )
6050{
6051
6052  {
6053# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
6054  return (((1UL << nr % 64U) & (unsigned long )*(addr + nr / 64U)) != 0UL);
6055}
6056}
6057# 100 "include/linux/printk.h"
6058extern int printk(char const *fmt , ...) ;
6059# 69 "include/asm-generic/bug.h"
6060extern void warn_slowpath_null(char const *file , int const line ) ;
6061# 55 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
6062extern void *memset(void *s , int c , size_t n ) ;
6063# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6064__inline static int atomic_read(atomic_t const *v )
6065{
6066
6067  {
6068# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6069  return ((int )*((int volatile *)(& v->counter)));
6070}
6071}
6072# 35 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6073__inline static void atomic_set(atomic_t *v , int i )
6074{
6075
6076  {
6077# 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6078  v->counter = i;
6079# 38 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6080  return;
6081}
6082}
6083# 93 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6084__inline static void atomic_inc(atomic_t *v )
6085{
6086
6087  {
6088# 95 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6089  __asm__ volatile (".section .smp_locks,\"a\"\n"
6090                       ".balign 4\n"
6091                       ".long 671f - .\n"
6092                       ".previous\n"
6093                       "671:"
6094                       "\n\tlock; "
6095                       "incl %0": "+m" (v->counter));
6096# 97 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6097  return;
6098}
6099}
6100# 105 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6101__inline static void atomic_dec(atomic_t *v )
6102{
6103
6104  {
6105# 107 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6106  __asm__ volatile (".section .smp_locks,\"a\"\n"
6107                       ".balign 4\n"
6108                       ".long 671f - .\n"
6109                       ".previous\n"
6110                       "671:"
6111                       "\n\tlock; "
6112                       "decl %0": "+m" (v->counter));
6113# 109 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
6114  return;
6115}
6116}
6117# 24 "include/linux/list.h"
6118__inline static void INIT_LIST_HEAD(struct list_head *list )
6119{
6120
6121  {
6122# 26 "include/linux/list.h"
6123  list->next = list;
6124# 27 "include/linux/list.h"
6125  list->prev = list;
6126# 28 "include/linux/list.h"
6127  return;
6128}
6129}
6130# 93 "include/linux/spinlock.h"
6131extern void __raw_spin_lock_init(raw_spinlock_t *lock , char const *name , struct lock_class_key *key ) ;
6132# 272 "include/linux/spinlock.h"
6133__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock )
6134{
6135
6136  {
6137# 274 "include/linux/spinlock.h"
6138  return (& lock->__annonCompField18.rlock);
6139}
6140}
6141# 80 "include/linux/wait.h"
6142extern void __init_waitqueue_head(wait_queue_head_t *q , struct lock_class_key * ) ;
6143# 82 "include/linux/jiffies.h"
6144extern unsigned long volatile jiffies __attribute__((__section__(".data"))) ;
6145# 141 "include/linux/slab.h"
6146extern void kfree(void const * ) ;
6147# 221 "include/linux/slub_def.h"
6148extern void *__kmalloc(size_t size , gfp_t flags ) ;
6149# 255 "include/linux/slub_def.h"
6150__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
6151                                                                    gfp_t flags )
6152{ void *tmp___2 ;
6153
6154  {
6155  {
6156# 270 "include/linux/slub_def.h"
6157  tmp___2 = __kmalloc(size, flags);
6158  }
6159# 270 "include/linux/slub_def.h"
6160  return (tmp___2);
6161}
6162}
6163# 318 "include/linux/slab.h"
6164__inline static void *kzalloc(size_t size , gfp_t flags )
6165{ void *tmp ;
6166
6167  {
6168  {
6169# 320 "include/linux/slab.h"
6170  tmp = kmalloc(size, flags | 32768U);
6171  }
6172# 320 "include/linux/slab.h"
6173  return (tmp);
6174}
6175}
6176# 79 "include/linux/module.h"
6177int init_module(void) ;
6178# 80 "include/linux/module.h"
6179void cleanup_module(void) ;
6180# 99 "include/linux/module.h"
6181extern struct module __this_module ;
6182# 705 "include/linux/device.h"
6183extern void *dev_get_drvdata(struct device const *dev ) __attribute__((__ldv_model__)) ;
6184# 706 "include/linux/device.h"
6185extern int dev_set_drvdata(struct device *dev , void *data ) ;
6186# 797 "include/linux/device.h"
6187extern int dev_err(struct device const *dev , char const *fmt , ...) ;
6188# 799 "include/linux/device.h"
6189extern int dev_warn(struct device const *dev , char const *fmt , ...) ;
6190# 803 "include/linux/device.h"
6191extern int _dev_info(struct device const *dev , char const *fmt , ...) ;
6192# 490 "include/linux/skbuff.h"
6193extern void kfree_skb(struct sk_buff *skb ) ;
6194# 491 "include/linux/skbuff.h"
6195extern void consume_skb(struct sk_buff *skb ) ;
6196# 1409 "include/linux/netdevice.h"
6197__inline static struct netdev_queue *netdev_get_tx_queue(struct net_device const *dev ,
6198                                                         unsigned int index )
6199{
6200
6201  {
6202# 1413 "include/linux/netdevice.h"
6203  return ((struct netdev_queue *)(dev->_tx + index));
6204}
6205}
6206# 1481 "include/linux/netdevice.h"
6207__inline static void *netdev_priv(struct net_device const *dev )
6208{
6209
6210  {
6211# 1483 "include/linux/netdevice.h"
6212  return ((void *)((char *)dev + ((sizeof(struct net_device ) + 31UL) & 0x0fffffffffffffe0UL)));
6213}
6214}
6215# 1656 "include/linux/netdevice.h"
6216extern int netpoll_trap(void) ;
6217# 1788 "include/linux/netdevice.h"
6218extern void __netif_schedule(struct Qdisc *q ) ;
6219# 1804 "include/linux/netdevice.h"
6220__inline static void netif_tx_start_queue(struct netdev_queue *dev_queue )
6221{
6222
6223  {
6224  {
6225# 1806 "include/linux/netdevice.h"
6226  clear_bit(0, (unsigned long volatile *)(& dev_queue->state));
6227  }
6228# 1807 "include/linux/netdevice.h"
6229  return;
6230}
6231}
6232# 1815 "include/linux/netdevice.h"
6233__inline static void netif_start_queue(struct net_device *dev )
6234{ struct netdev_queue *tmp___7 ;
6235
6236  {
6237  {
6238# 1817 "include/linux/netdevice.h"
6239  tmp___7 = netdev_get_tx_queue((struct net_device const *)dev, 0U);
6240# 1817 "include/linux/netdevice.h"
6241  netif_tx_start_queue(tmp___7);
6242  }
6243# 1818 "include/linux/netdevice.h"
6244  return;
6245}
6246}
6247# 1830 "include/linux/netdevice.h"
6248__inline static void netif_tx_wake_queue(struct netdev_queue *dev_queue )
6249{ int tmp___7 ;
6250  int tmp___8 ;
6251
6252  {
6253  {
6254# 1833 "include/linux/netdevice.h"
6255  tmp___7 = netpoll_trap();
6256  }
6257# 1833 "include/linux/netdevice.h"
6258  if (tmp___7) {
6259    {
6260# 1834 "include/linux/netdevice.h"
6261    netif_tx_start_queue(dev_queue);
6262    }
6263# 1835 "include/linux/netdevice.h"