Showing error 746

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