Showing error 153

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-vhost-vhost_net.ko_safe.cil.out.i.pp.cil.c
Line in file: 20447
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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