Showing error 752

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