Showing error 1253

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