Showing error 748

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 8587
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

    1/* Generated by CIL v. 1.3.7 */
    2/* print_CIL_Input is true */
    3
    4#line 19 "include/asm-generic/int-ll64.h"
    5typedef signed char __s8;
    6#line 20 "include/asm-generic/int-ll64.h"
    7typedef unsigned char __u8;
    8#line 22 "include/asm-generic/int-ll64.h"
    9typedef short __s16;
   10#line 23 "include/asm-generic/int-ll64.h"
   11typedef unsigned short __u16;
   12#line 25 "include/asm-generic/int-ll64.h"
   13typedef int __s32;
   14#line 26 "include/asm-generic/int-ll64.h"
   15typedef unsigned int __u32;
   16#line 29 "include/asm-generic/int-ll64.h"
   17typedef long long __s64;
   18#line 30 "include/asm-generic/int-ll64.h"
   19typedef unsigned long long __u64;
   20#line 43 "include/asm-generic/int-ll64.h"
   21typedef unsigned char u8;
   22#line 45 "include/asm-generic/int-ll64.h"
   23typedef short s16;
   24#line 46 "include/asm-generic/int-ll64.h"
   25typedef unsigned short u16;
   26#line 48 "include/asm-generic/int-ll64.h"
   27typedef int s32;
   28#line 49 "include/asm-generic/int-ll64.h"
   29typedef unsigned int u32;
   30#line 51 "include/asm-generic/int-ll64.h"
   31typedef long long s64;
   32#line 52 "include/asm-generic/int-ll64.h"
   33typedef unsigned long long u64;
   34#line 14 "include/asm-generic/posix_types.h"
   35typedef long __kernel_long_t;
   36#line 15 "include/asm-generic/posix_types.h"
   37typedef unsigned long __kernel_ulong_t;
   38#line 31 "include/asm-generic/posix_types.h"
   39typedef int __kernel_pid_t;
   40#line 52 "include/asm-generic/posix_types.h"
   41typedef unsigned int __kernel_uid32_t;
   42#line 53 "include/asm-generic/posix_types.h"
   43typedef unsigned int __kernel_gid32_t;
   44#line 75 "include/asm-generic/posix_types.h"
   45typedef __kernel_ulong_t __kernel_size_t;
   46#line 76 "include/asm-generic/posix_types.h"
   47typedef __kernel_long_t __kernel_ssize_t;
   48#line 90 "include/asm-generic/posix_types.h"
   49typedef __kernel_long_t __kernel_off_t;
   50#line 91 "include/asm-generic/posix_types.h"
   51typedef long long __kernel_loff_t;
   52#line 92 "include/asm-generic/posix_types.h"
   53typedef __kernel_long_t __kernel_time_t;
   54#line 93 "include/asm-generic/posix_types.h"
   55typedef __kernel_long_t __kernel_clock_t;
   56#line 94 "include/asm-generic/posix_types.h"
   57typedef int __kernel_timer_t;
   58#line 95 "include/asm-generic/posix_types.h"
   59typedef int __kernel_clockid_t;
   60#line 21 "include/linux/types.h"
   61typedef __u32 __kernel_dev_t;
   62#line 24 "include/linux/types.h"
   63typedef __kernel_dev_t dev_t;
   64#line 27 "include/linux/types.h"
   65typedef unsigned short umode_t;
   66#line 29 "include/linux/types.h"
   67typedef __kernel_off_t off_t;
   68#line 30 "include/linux/types.h"
   69typedef __kernel_pid_t pid_t;
   70#line 35 "include/linux/types.h"
   71typedef __kernel_clockid_t clockid_t;
   72#line 38 "include/linux/types.h"
   73typedef _Bool bool;
   74#line 40 "include/linux/types.h"
   75typedef __kernel_uid32_t uid_t;
   76#line 41 "include/linux/types.h"
   77typedef __kernel_gid32_t gid_t;
   78#line 54 "include/linux/types.h"
   79typedef __kernel_loff_t loff_t;
   80#line 63 "include/linux/types.h"
   81typedef __kernel_size_t size_t;
   82#line 68 "include/linux/types.h"
   83typedef __kernel_ssize_t ssize_t;
   84#line 78 "include/linux/types.h"
   85typedef __kernel_time_t time_t;
   86#line 100 "include/linux/types.h"
   87typedef unsigned int uint;
   88#line 111 "include/linux/types.h"
   89typedef __s32 int32_t;
   90#line 117 "include/linux/types.h"
   91typedef __u32 uint32_t;
   92#line 142 "include/linux/types.h"
   93typedef unsigned long sector_t;
   94#line 143 "include/linux/types.h"
   95typedef unsigned long blkcnt_t;
   96#line 155 "include/linux/types.h"
   97typedef u64 dma_addr_t;
   98#line 179 "include/linux/types.h"
   99typedef __u16 __be16;
  100#line 181 "include/linux/types.h"
  101typedef __u32 __be32;
  102#line 183 "include/linux/types.h"
  103typedef __u64 __be64;
  104#line 186 "include/linux/types.h"
  105typedef __u32 __wsum;
  106#line 202 "include/linux/types.h"
  107typedef unsigned int gfp_t;
  108#line 203 "include/linux/types.h"
  109typedef unsigned int fmode_t;
  110#line 206 "include/linux/types.h"
  111typedef u64 phys_addr_t;
  112#line 219 "include/linux/types.h"
  113struct __anonstruct_atomic_t_7 {
  114   int counter ;
  115};
  116#line 219 "include/linux/types.h"
  117typedef struct __anonstruct_atomic_t_7 atomic_t;
  118#line 224 "include/linux/types.h"
  119struct __anonstruct_atomic64_t_8 {
  120   long counter ;
  121};
  122#line 224 "include/linux/types.h"
  123typedef struct __anonstruct_atomic64_t_8 atomic64_t;
  124#line 229 "include/linux/types.h"
  125struct list_head {
  126   struct list_head *next ;
  127   struct list_head *prev ;
  128};
  129#line 233
  130struct hlist_node;
  131#line 233 "include/linux/types.h"
  132struct hlist_head {
  133   struct hlist_node *first ;
  134};
  135#line 237 "include/linux/types.h"
  136struct hlist_node {
  137   struct hlist_node *next ;
  138   struct hlist_node **pprev ;
  139};
  140#line 253 "include/linux/types.h"
  141struct rcu_head {
  142   struct rcu_head *next ;
  143   void (*func)(struct rcu_head *head ) ;
  144};
  145#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
  146struct module;
  147#line 146 "include/linux/init.h"
  148typedef void (*ctor_fn_t)(void);
  149#line 47 "include/linux/dynamic_debug.h"
  150struct device;
  151#line 53
  152struct net_device;
  153#line 135 "include/linux/kernel.h"
  154struct completion;
  155#line 136
  156struct pt_regs;
  157#line 349
  158struct pid;
  159#line 10 "include/asm-generic/bug.h"
  160struct bug_entry {
  161   int bug_addr_disp ;
  162   int file_disp ;
  163   unsigned short line ;
  164   unsigned short flags ;
  165};
  166#line 12 "include/linux/thread_info.h"
  167struct timespec;
  168#line 13
  169struct compat_timespec;
  170#line 18 "include/linux/thread_info.h"
  171struct __anonstruct_futex_11 {
  172   u32 *uaddr ;
  173   u32 val ;
  174   u32 flags ;
  175   u32 bitset ;
  176   u64 time ;
  177   u32 *uaddr2 ;
  178};
  179#line 18 "include/linux/thread_info.h"
  180struct __anonstruct_nanosleep_12 {
  181   clockid_t clockid ;
  182   struct timespec *rmtp ;
  183   struct compat_timespec *compat_rmtp ;
  184   u64 expires ;
  185};
  186#line 18
  187struct pollfd;
  188#line 18 "include/linux/thread_info.h"
  189struct __anonstruct_poll_13 {
  190   struct pollfd *ufds ;
  191   int nfds ;
  192   int has_timeout ;
  193   unsigned long tv_sec ;
  194   unsigned long tv_nsec ;
  195};
  196#line 18 "include/linux/thread_info.h"
  197union __anonunion____missing_field_name_10 {
  198   struct __anonstruct_futex_11 futex ;
  199   struct __anonstruct_nanosleep_12 nanosleep ;
  200   struct __anonstruct_poll_13 poll ;
  201};
  202#line 18 "include/linux/thread_info.h"
  203struct restart_block {
  204   long (*fn)(struct restart_block * ) ;
  205   union __anonunion____missing_field_name_10 __annonCompField4 ;
  206};
  207#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
  208struct page;
  209#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
  210struct task_struct;
  211#line 21
  212struct exec_domain;
  213#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  214struct mm_struct;
  215#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
  216struct pt_regs {
  217   unsigned long r15 ;
  218   unsigned long r14 ;
  219   unsigned long r13 ;
  220   unsigned long r12 ;
  221   unsigned long bp ;
  222   unsigned long bx ;
  223   unsigned long r11 ;
  224   unsigned long r10 ;
  225   unsigned long r9 ;
  226   unsigned long r8 ;
  227   unsigned long ax ;
  228   unsigned long cx ;
  229   unsigned long dx ;
  230   unsigned long si ;
  231   unsigned long di ;
  232   unsigned long orig_ax ;
  233   unsigned long ip ;
  234   unsigned long cs ;
  235   unsigned long flags ;
  236   unsigned long sp ;
  237   unsigned long ss ;
  238};
  239#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
  240struct __anonstruct____missing_field_name_15 {
  241   unsigned int a ;
  242   unsigned int b ;
  243};
  244#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
  245struct __anonstruct____missing_field_name_16 {
  246   u16 limit0 ;
  247   u16 base0 ;
  248   unsigned int base1 : 8 ;
  249   unsigned int type : 4 ;
  250   unsigned int s : 1 ;
  251   unsigned int dpl : 2 ;
  252   unsigned int p : 1 ;
  253   unsigned int limit : 4 ;
  254   unsigned int avl : 1 ;
  255   unsigned int l : 1 ;
  256   unsigned int d : 1 ;
  257   unsigned int g : 1 ;
  258   unsigned int base2 : 8 ;
  259};
  260#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
  261union __anonunion____missing_field_name_14 {
  262   struct __anonstruct____missing_field_name_15 __annonCompField5 ;
  263   struct __anonstruct____missing_field_name_16 __annonCompField6 ;
  264};
  265#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
  266struct desc_struct {
  267   union __anonunion____missing_field_name_14 __annonCompField7 ;
  268} __attribute__((__packed__)) ;
  269#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
  270typedef unsigned long pgdval_t;
  271#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
  272typedef unsigned long pgprotval_t;
  273#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  274struct pgprot {
  275   pgprotval_t pgprot ;
  276};
  277#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  278typedef struct pgprot pgprot_t;
  279#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  280struct __anonstruct_pgd_t_20 {
  281   pgdval_t pgd ;
  282};
  283#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  284typedef struct __anonstruct_pgd_t_20 pgd_t;
  285#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
  286typedef struct page *pgtable_t;
  287#line 295
  288struct file;
  289#line 313
  290struct seq_file;
  291#line 47 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
  292struct thread_struct;
  293#line 53
  294struct cpumask;
  295#line 329
  296struct arch_spinlock;
  297#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
  298struct kernel_vm86_regs {
  299   struct pt_regs pt ;
  300   unsigned short es ;
  301   unsigned short __esh ;
  302   unsigned short ds ;
  303   unsigned short __dsh ;
  304   unsigned short fs ;
  305   unsigned short __fsh ;
  306   unsigned short gs ;
  307   unsigned short __gsh ;
  308};
  309#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
  310union __anonunion____missing_field_name_24 {
  311   struct pt_regs *regs ;
  312   struct kernel_vm86_regs *vm86 ;
  313};
  314#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
  315struct math_emu_info {
  316   long ___orig_eip ;
  317   union __anonunion____missing_field_name_24 __annonCompField8 ;
  318};
  319#line 14 "include/linux/cpumask.h"
  320struct cpumask {
  321   unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
  322};
  323#line 14 "include/linux/cpumask.h"
  324typedef struct cpumask cpumask_t;
  325#line 637 "include/linux/cpumask.h"
  326typedef struct cpumask *cpumask_var_t;
  327#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
  328struct static_key;
  329#line 92 "include/linux/personality.h"
  330struct map_segment;
  331#line 92 "include/linux/personality.h"
  332struct exec_domain {
  333   char    *name ;
  334   void (*handler)(int  , struct pt_regs * ) ;
  335   unsigned char pers_low ;
  336   unsigned char pers_high ;
  337   unsigned long *signal_map ;
  338   unsigned long *signal_invmap ;
  339   struct map_segment *err_map ;
  340   struct map_segment *socktype_map ;
  341   struct map_segment *sockopt_map ;
  342   struct map_segment *af_map ;
  343   struct module *module ;
  344   struct exec_domain *next ;
  345};
  346#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  347struct i387_fsave_struct {
  348   u32 cwd ;
  349   u32 swd ;
  350   u32 twd ;
  351   u32 fip ;
  352   u32 fcs ;
  353   u32 foo ;
  354   u32 fos ;
  355   u32 st_space[20] ;
  356   u32 status ;
  357};
  358#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  359struct __anonstruct____missing_field_name_31 {
  360   u64 rip ;
  361   u64 rdp ;
  362};
  363#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  364struct __anonstruct____missing_field_name_32 {
  365   u32 fip ;
  366   u32 fcs ;
  367   u32 foo ;
  368   u32 fos ;
  369};
  370#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  371union __anonunion____missing_field_name_30 {
  372   struct __anonstruct____missing_field_name_31 __annonCompField12 ;
  373   struct __anonstruct____missing_field_name_32 __annonCompField13 ;
  374};
  375#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  376union __anonunion____missing_field_name_33 {
  377   u32 padding1[12] ;
  378   u32 sw_reserved[12] ;
  379};
  380#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  381struct i387_fxsave_struct {
  382   u16 cwd ;
  383   u16 swd ;
  384   u16 twd ;
  385   u16 fop ;
  386   union __anonunion____missing_field_name_30 __annonCompField14 ;
  387   u32 mxcsr ;
  388   u32 mxcsr_mask ;
  389   u32 st_space[32] ;
  390   u32 xmm_space[64] ;
  391   u32 padding[12] ;
  392   union __anonunion____missing_field_name_33 __annonCompField15 ;
  393} __attribute__((__aligned__(16))) ;
  394#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  395struct i387_soft_struct {
  396   u32 cwd ;
  397   u32 swd ;
  398   u32 twd ;
  399   u32 fip ;
  400   u32 fcs ;
  401   u32 foo ;
  402   u32 fos ;
  403   u32 st_space[20] ;
  404   u8 ftop ;
  405   u8 changed ;
  406   u8 lookahead ;
  407   u8 no_update ;
  408   u8 rm ;
  409   u8 alimit ;
  410   struct math_emu_info *info ;
  411   u32 entry_eip ;
  412};
  413#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  414struct ymmh_struct {
  415   u32 ymmh_space[64] ;
  416};
  417#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  418struct xsave_hdr_struct {
  419   u64 xstate_bv ;
  420   u64 reserved1[2] ;
  421   u64 reserved2[5] ;
  422} __attribute__((__packed__)) ;
  423#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  424struct xsave_struct {
  425   struct i387_fxsave_struct i387 ;
  426   struct xsave_hdr_struct xsave_hdr ;
  427   struct ymmh_struct ymmh ;
  428} __attribute__((__packed__, __aligned__(64))) ;
  429#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  430union thread_xstate {
  431   struct i387_fsave_struct fsave ;
  432   struct i387_fxsave_struct fxsave ;
  433   struct i387_soft_struct soft ;
  434   struct xsave_struct xsave ;
  435};
  436#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  437struct fpu {
  438   unsigned int last_cpu ;
  439   unsigned int has_fpu ;
  440   union thread_xstate *state ;
  441};
  442#line 433
  443struct kmem_cache;
  444#line 435
  445struct perf_event;
  446#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  447struct thread_struct {
  448   struct desc_struct tls_array[3] ;
  449   unsigned long sp0 ;
  450   unsigned long sp ;
  451   unsigned long usersp ;
  452   unsigned short es ;
  453   unsigned short ds ;
  454   unsigned short fsindex ;
  455   unsigned short gsindex ;
  456   unsigned long fs ;
  457   unsigned long gs ;
  458   struct perf_event *ptrace_bps[4] ;
  459   unsigned long debugreg6 ;
  460   unsigned long ptrace_dr7 ;
  461   unsigned long cr2 ;
  462   unsigned long trap_nr ;
  463   unsigned long error_code ;
  464   struct fpu fpu ;
  465   unsigned long *io_bitmap_ptr ;
  466   unsigned long iopl ;
  467   unsigned int io_bitmap_max ;
  468};
  469#line 569 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  470struct __anonstruct_mm_segment_t_35 {
  471   unsigned long seg ;
  472};
  473#line 569 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  474typedef struct __anonstruct_mm_segment_t_35 mm_segment_t;
  475#line 23 "include/asm-generic/atomic-long.h"
  476typedef atomic64_t atomic_long_t;
  477#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
  478struct thread_info {
  479   struct task_struct *task ;
  480   struct exec_domain *exec_domain ;
  481   __u32 flags ;
  482   __u32 status ;
  483   __u32 cpu ;
  484   int preempt_count ;
  485   mm_segment_t addr_limit ;
  486   struct restart_block restart_block ;
  487   void *sysenter_return ;
  488   unsigned int sig_on_uaccess_error : 1 ;
  489   unsigned int uaccess_err : 1 ;
  490};
  491#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  492typedef u16 __ticket_t;
  493#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  494typedef u32 __ticketpair_t;
  495#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  496struct __raw_tickets {
  497   __ticket_t head ;
  498   __ticket_t tail ;
  499};
  500#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  501union __anonunion____missing_field_name_36 {
  502   __ticketpair_t head_tail ;
  503   struct __raw_tickets tickets ;
  504};
  505#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  506struct arch_spinlock {
  507   union __anonunion____missing_field_name_36 __annonCompField17 ;
  508};
  509#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  510typedef struct arch_spinlock arch_spinlock_t;
  511#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
  512struct __anonstruct____missing_field_name_38 {
  513   u32 read ;
  514   s32 write ;
  515};
  516#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
  517union __anonunion_arch_rwlock_t_37 {
  518   s64 lock ;
  519   struct __anonstruct____missing_field_name_38 __annonCompField18 ;
  520};
  521#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
  522typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
  523#line 391 "include/linux/lockdep.h"
  524struct lock_class_key {
  525
  526};
  527#line 20 "include/linux/spinlock_types.h"
  528struct raw_spinlock {
  529   arch_spinlock_t raw_lock ;
  530   unsigned int magic ;
  531   unsigned int owner_cpu ;
  532   void *owner ;
  533};
  534#line 20 "include/linux/spinlock_types.h"
  535typedef struct raw_spinlock raw_spinlock_t;
  536#line 64 "include/linux/spinlock_types.h"
  537union __anonunion____missing_field_name_39 {
  538   struct raw_spinlock rlock ;
  539};
  540#line 64 "include/linux/spinlock_types.h"
  541struct spinlock {
  542   union __anonunion____missing_field_name_39 __annonCompField19 ;
  543};
  544#line 64 "include/linux/spinlock_types.h"
  545typedef struct spinlock spinlock_t;
  546#line 11 "include/linux/rwlock_types.h"
  547struct __anonstruct_rwlock_t_40 {
  548   arch_rwlock_t raw_lock ;
  549   unsigned int magic ;
  550   unsigned int owner_cpu ;
  551   void *owner ;
  552};
  553#line 11 "include/linux/rwlock_types.h"
  554typedef struct __anonstruct_rwlock_t_40 rwlock_t;
  555#line 49 "include/linux/wait.h"
  556struct __wait_queue_head {
  557   spinlock_t lock ;
  558   struct list_head task_list ;
  559};
  560#line 53 "include/linux/wait.h"
  561typedef struct __wait_queue_head wait_queue_head_t;
  562#line 119 "include/linux/seqlock.h"
  563struct seqcount {
  564   unsigned int sequence ;
  565};
  566#line 119 "include/linux/seqlock.h"
  567typedef struct seqcount seqcount_t;
  568#line 98 "include/linux/nodemask.h"
  569struct __anonstruct_nodemask_t_42 {
  570   unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
  571};
  572#line 98 "include/linux/nodemask.h"
  573typedef struct __anonstruct_nodemask_t_42 nodemask_t;
  574#line 48 "include/linux/mutex.h"
  575struct mutex {
  576   atomic_t count ;
  577   spinlock_t wait_lock ;
  578   struct list_head wait_list ;
  579   struct task_struct *owner ;
  580   char    *name ;
  581   void *magic ;
  582};
  583#line 69 "include/linux/mutex.h"
  584struct mutex_waiter {
  585   struct list_head list ;
  586   struct task_struct *task ;
  587   void *magic ;
  588};
  589#line 19 "include/linux/rwsem.h"
  590struct rw_semaphore;
  591#line 25 "include/linux/rwsem.h"
  592struct rw_semaphore {
  593   long count ;
  594   raw_spinlock_t wait_lock ;
  595   struct list_head wait_list ;
  596};
  597#line 25 "include/linux/completion.h"
  598struct completion {
  599   unsigned int done ;
  600   wait_queue_head_t wait ;
  601};
  602#line 188 "include/linux/rcupdate.h"
  603struct notifier_block;
  604#line 50 "include/linux/notifier.h"
  605struct notifier_block {
  606   int (*notifier_call)(struct notifier_block * , unsigned long  , void * ) ;
  607   struct notifier_block *next ;
  608   int priority ;
  609};
  610#line 61 "include/linux/notifier.h"
  611struct blocking_notifier_head {
  612   struct rw_semaphore rwsem ;
  613   struct notifier_block *head ;
  614};
  615#line 14 "include/linux/time.h"
  616struct timespec {
  617   __kernel_time_t tv_sec ;
  618   long tv_nsec ;
  619};
  620#line 46 "include/linux/ktime.h"
  621union ktime {
  622   s64 tv64 ;
  623};
  624#line 59 "include/linux/ktime.h"
  625typedef union ktime ktime_t;
  626#line 10 "include/linux/timer.h"
  627struct tvec_base;
  628#line 12 "include/linux/timer.h"
  629struct timer_list {
  630   struct list_head entry ;
  631   unsigned long expires ;
  632   struct tvec_base *base ;
  633   void (*function)(unsigned long  ) ;
  634   unsigned long data ;
  635   int slack ;
  636   int start_pid ;
  637   void *start_site ;
  638   char start_comm[16] ;
  639};
  640#line 289
  641struct hrtimer;
  642#line 290
  643enum hrtimer_restart;
  644#line 15 "include/linux/workqueue.h"
  645struct workqueue_struct;
  646#line 17
  647struct work_struct;
  648#line 79 "include/linux/workqueue.h"
  649struct work_struct {
  650   atomic_long_t data ;
  651   struct list_head entry ;
  652   void (*func)(struct work_struct *work ) ;
  653};
  654#line 92 "include/linux/workqueue.h"
  655struct delayed_work {
  656   struct work_struct work ;
  657   struct timer_list timer ;
  658};
  659#line 102 "include/linux/workqueue.h"
  660struct execute_work {
  661   struct work_struct work ;
  662};
  663#line 50 "include/linux/pm.h"
  664struct pm_message {
  665   int event ;
  666};
  667#line 50 "include/linux/pm.h"
  668typedef struct pm_message pm_message_t;
  669#line 264 "include/linux/pm.h"
  670struct dev_pm_ops {
  671   int (*prepare)(struct device *dev ) ;
  672   void (*complete)(struct device *dev ) ;
  673   int (*suspend)(struct device *dev ) ;
  674   int (*resume)(struct device *dev ) ;
  675   int (*freeze)(struct device *dev ) ;
  676   int (*thaw)(struct device *dev ) ;
  677   int (*poweroff)(struct device *dev ) ;
  678   int (*restore)(struct device *dev ) ;
  679   int (*suspend_late)(struct device *dev ) ;
  680   int (*resume_early)(struct device *dev ) ;
  681   int (*freeze_late)(struct device *dev ) ;
  682   int (*thaw_early)(struct device *dev ) ;
  683   int (*poweroff_late)(struct device *dev ) ;
  684   int (*restore_early)(struct device *dev ) ;
  685   int (*suspend_noirq)(struct device *dev ) ;
  686   int (*resume_noirq)(struct device *dev ) ;
  687   int (*freeze_noirq)(struct device *dev ) ;
  688   int (*thaw_noirq)(struct device *dev ) ;
  689   int (*poweroff_noirq)(struct device *dev ) ;
  690   int (*restore_noirq)(struct device *dev ) ;
  691   int (*runtime_suspend)(struct device *dev ) ;
  692   int (*runtime_resume)(struct device *dev ) ;
  693   int (*runtime_idle)(struct device *dev ) ;
  694};
  695#line 458
  696enum rpm_status {
  697    RPM_ACTIVE = 0,
  698    RPM_RESUMING = 1,
  699    RPM_SUSPENDED = 2,
  700    RPM_SUSPENDING = 3
  701} ;
  702#line 480
  703enum rpm_request {
  704    RPM_REQ_NONE = 0,
  705    RPM_REQ_IDLE = 1,
  706    RPM_REQ_SUSPEND = 2,
  707    RPM_REQ_AUTOSUSPEND = 3,
  708    RPM_REQ_RESUME = 4
  709} ;
  710#line 488
  711struct wakeup_source;
  712#line 495 "include/linux/pm.h"
  713struct pm_subsys_data {
  714   spinlock_t lock ;
  715   unsigned int refcount ;
  716};
  717#line 506
  718struct dev_pm_qos_request;
  719#line 506
  720struct pm_qos_raints;
  721#line 506 "include/linux/pm.h"
  722struct dev_pm_info {
  723   pm_message_t power_state ;
  724   unsigned int can_wakeup : 1 ;
  725   unsigned int async_suspend : 1 ;
  726   bool is_prepared : 1 ;
  727   bool is_suspended : 1 ;
  728   bool ignore_children : 1 ;
  729   spinlock_t lock ;
  730   struct list_head entry ;
  731   struct completion completion ;
  732   struct wakeup_source *wakeup ;
  733   bool wakeup_path : 1 ;
  734   struct timer_list suspend_timer ;
  735   unsigned long timer_expires ;
  736   struct work_struct work ;
  737   wait_queue_head_t wait_queue ;
  738   atomic_t usage_count ;
  739   atomic_t child_count ;
  740   unsigned int disable_depth : 3 ;
  741   unsigned int idle_notification : 1 ;
  742   unsigned int request_pending : 1 ;
  743   unsigned int deferred_resume : 1 ;
  744   unsigned int run_wake : 1 ;
  745   unsigned int runtime_auto : 1 ;
  746   unsigned int no_callbacks : 1 ;
  747   unsigned int irq_safe : 1 ;
  748   unsigned int use_autosuspend : 1 ;
  749   unsigned int timer_autosuspends : 1 ;
  750   enum rpm_request request ;
  751   enum rpm_status runtime_status ;
  752   int runtime_error ;
  753   int autosuspend_delay ;
  754   unsigned long last_busy ;
  755   unsigned long active_jiffies ;
  756   unsigned long suspended_jiffies ;
  757   unsigned long accounting_timestamp ;
  758   ktime_t suspend_time ;
  759   s64 max_time_suspended_ns ;
  760   struct dev_pm_qos_request *pq_req ;
  761   struct pm_subsys_data *subsys_data ;
  762   struct pm_qos_raints *raints ;
  763};
  764#line 564 "include/linux/pm.h"
  765struct dev_pm_domain {
  766   struct dev_pm_ops ops ;
  767};
  768#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
  769struct __anonstruct_mm_context_t_112 {
  770   void *ldt ;
  771   int size ;
  772   unsigned short ia32_compat ;
  773   struct mutex lock ;
  774   void *vdso ;
  775};
  776#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
  777typedef struct __anonstruct_mm_context_t_112 mm_context_t;
  778#line 8 "include/linux/vmalloc.h"
  779struct vm_area_struct;
  780#line 336 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
  781struct bio_vec;
  782#line 18 "include/linux/smp.h"
  783struct call_single_data {
  784   struct list_head list ;
  785   void (*func)(void *info ) ;
  786   void *info ;
  787   u16 flags ;
  788   u16 priv ;
  789};
  790#line 100 "include/linux/rbtree.h"
  791struct rb_node {
  792   unsigned long rb_parent_color ;
  793   struct rb_node *rb_right ;
  794   struct rb_node *rb_left ;
  795} __attribute__((__aligned__(sizeof(long )))) ;
  796#line 110 "include/linux/rbtree.h"
  797struct rb_root {
  798   struct rb_node *rb_node ;
  799};
  800#line 14 "include/linux/prio_tree.h"
  801struct prio_tree_node;
  802#line 14 "include/linux/prio_tree.h"
  803struct raw_prio_tree_node {
  804   struct prio_tree_node *left ;
  805   struct prio_tree_node *right ;
  806   struct prio_tree_node *parent ;
  807};
  808#line 20 "include/linux/prio_tree.h"
  809struct prio_tree_node {
  810   struct prio_tree_node *left ;
  811   struct prio_tree_node *right ;
  812   struct prio_tree_node *parent ;
  813   unsigned long start ;
  814   unsigned long last ;
  815};
  816#line 28 "include/linux/prio_tree.h"
  817struct prio_tree_root {
  818   struct prio_tree_node *prio_tree_node ;
  819   unsigned short index_bits ;
  820   unsigned short raw ;
  821};
  822#line 23 "include/linux/mm_types.h"
  823struct address_space;
  824#line 40 "include/linux/mm_types.h"
  825union __anonunion____missing_field_name_140 {
  826   unsigned long index ;
  827   void *freelist ;
  828};
  829#line 40 "include/linux/mm_types.h"
  830struct __anonstruct____missing_field_name_144 {
  831   unsigned int inuse : 16 ;
  832   unsigned int objects : 15 ;
  833   unsigned int frozen : 1 ;
  834};
  835#line 40 "include/linux/mm_types.h"
  836union __anonunion____missing_field_name_143 {
  837   atomic_t _mapcount ;
  838   struct __anonstruct____missing_field_name_144 __annonCompField31 ;
  839};
  840#line 40 "include/linux/mm_types.h"
  841struct __anonstruct____missing_field_name_142 {
  842   union __anonunion____missing_field_name_143 __annonCompField32 ;
  843   atomic_t _count ;
  844};
  845#line 40 "include/linux/mm_types.h"
  846union __anonunion____missing_field_name_141 {
  847   unsigned long counters ;
  848   struct __anonstruct____missing_field_name_142 __annonCompField33 ;
  849};
  850#line 40 "include/linux/mm_types.h"
  851struct __anonstruct____missing_field_name_139 {
  852   union __anonunion____missing_field_name_140 __annonCompField30 ;
  853   union __anonunion____missing_field_name_141 __annonCompField34 ;
  854};
  855#line 40 "include/linux/mm_types.h"
  856struct __anonstruct____missing_field_name_146 {
  857   struct page *next ;
  858   int pages ;
  859   int pobjects ;
  860};
  861#line 40 "include/linux/mm_types.h"
  862union __anonunion____missing_field_name_145 {
  863   struct list_head lru ;
  864   struct __anonstruct____missing_field_name_146 __annonCompField36 ;
  865};
  866#line 40 "include/linux/mm_types.h"
  867union __anonunion____missing_field_name_147 {
  868   unsigned long private ;
  869   struct kmem_cache *slab ;
  870   struct page *first_page ;
  871};
  872#line 40 "include/linux/mm_types.h"
  873struct page {
  874   unsigned long flags ;
  875   struct address_space *mapping ;
  876   struct __anonstruct____missing_field_name_139 __annonCompField35 ;
  877   union __anonunion____missing_field_name_145 __annonCompField37 ;
  878   union __anonunion____missing_field_name_147 __annonCompField38 ;
  879   unsigned long debug_flags ;
  880} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
  881#line 200 "include/linux/mm_types.h"
  882struct __anonstruct_vm_set_149 {
  883   struct list_head list ;
  884   void *parent ;
  885   struct vm_area_struct *head ;
  886};
  887#line 200 "include/linux/mm_types.h"
  888union __anonunion_shared_148 {
  889   struct __anonstruct_vm_set_149 vm_set ;
  890   struct raw_prio_tree_node prio_tree_node ;
  891};
  892#line 200
  893struct anon_vma;
  894#line 200
  895struct vm_operations_struct;
  896#line 200
  897struct mempolicy;
  898#line 200 "include/linux/mm_types.h"
  899struct vm_area_struct {
  900   struct mm_struct *vm_mm ;
  901   unsigned long vm_start ;
  902   unsigned long vm_end ;
  903   struct vm_area_struct *vm_next ;
  904   struct vm_area_struct *vm_prev ;
  905   pgprot_t vm_page_prot ;
  906   unsigned long vm_flags ;
  907   struct rb_node vm_rb ;
  908   union __anonunion_shared_148 shared ;
  909   struct list_head anon_vma_chain ;
  910   struct anon_vma *anon_vma ;
  911   struct vm_operations_struct    *vm_ops ;
  912   unsigned long vm_pgoff ;
  913   struct file *vm_file ;
  914   void *vm_private_data ;
  915   struct mempolicy *vm_policy ;
  916};
  917#line 257 "include/linux/mm_types.h"
  918struct core_thread {
  919   struct task_struct *task ;
  920   struct core_thread *next ;
  921};
  922#line 262 "include/linux/mm_types.h"
  923struct core_state {
  924   atomic_t nr_threads ;
  925   struct core_thread dumper ;
  926   struct completion startup ;
  927};
  928#line 284 "include/linux/mm_types.h"
  929struct mm_rss_stat {
  930   atomic_long_t count[3] ;
  931};
  932#line 288
  933struct linux_binfmt;
  934#line 288
  935struct mmu_notifier_mm;
  936#line 288 "include/linux/mm_types.h"
  937struct mm_struct {
  938   struct vm_area_struct *mmap ;
  939   struct rb_root mm_rb ;
  940   struct vm_area_struct *mmap_cache ;
  941   unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
  942                                      unsigned long pgoff , unsigned long flags ) ;
  943   void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
  944   unsigned long mmap_base ;
  945   unsigned long task_size ;
  946   unsigned long cached_hole_size ;
  947   unsigned long free_area_cache ;
  948   pgd_t *pgd ;
  949   atomic_t mm_users ;
  950   atomic_t mm_count ;
  951   int map_count ;
  952   spinlock_t page_table_lock ;
  953   struct rw_semaphore mmap_sem ;
  954   struct list_head mmlist ;
  955   unsigned long hiwater_rss ;
  956   unsigned long hiwater_vm ;
  957   unsigned long total_vm ;
  958   unsigned long locked_vm ;
  959   unsigned long pinned_vm ;
  960   unsigned long shared_vm ;
  961   unsigned long exec_vm ;
  962   unsigned long stack_vm ;
  963   unsigned long reserved_vm ;
  964   unsigned long def_flags ;
  965   unsigned long nr_ptes ;
  966   unsigned long start_code ;
  967   unsigned long end_code ;
  968   unsigned long start_data ;
  969   unsigned long end_data ;
  970   unsigned long start_brk ;
  971   unsigned long brk ;
  972   unsigned long start_stack ;
  973   unsigned long arg_start ;
  974   unsigned long arg_end ;
  975   unsigned long env_start ;
  976   unsigned long env_end ;
  977   unsigned long saved_auxv[44] ;
  978   struct mm_rss_stat rss_stat ;
  979   struct linux_binfmt *binfmt ;
  980   cpumask_var_t cpu_vm_mask_var ;
  981   mm_context_t context ;
  982   unsigned int faultstamp ;
  983   unsigned int token_priority ;
  984   unsigned int last_interval ;
  985   unsigned long flags ;
  986   struct core_state *core_state ;
  987   spinlock_t ioctx_lock ;
  988   struct hlist_head ioctx_list ;
  989   struct task_struct *owner ;
  990   struct file *exe_file ;
  991   unsigned long num_exe_file_vmas ;
  992   struct mmu_notifier_mm *mmu_notifier_mm ;
  993   pgtable_t pmd_huge_pte ;
  994   struct cpumask cpumask_allocation ;
  995};
  996#line 8 "include/linux/shrinker.h"
  997struct shrink_control {
  998   gfp_t gfp_mask ;
  999   unsigned long nr_to_scan ;
 1000};
 1001#line 31 "include/linux/shrinker.h"
 1002struct shrinker {
 1003   int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
 1004   int seeks ;
 1005   long batch ;
 1006   struct list_head list ;
 1007   atomic_long_t nr_in_batch ;
 1008};
 1009#line 24 "include/linux/mm.h"
 1010struct file_ra_state;
 1011#line 25
 1012struct user_struct;
 1013#line 26
 1014struct writeback_control;
 1015#line 188 "include/linux/mm.h"
 1016struct vm_fault {
 1017   unsigned int flags ;
 1018   unsigned long pgoff ;
 1019   void *virtual_address ;
 1020   struct page *page ;
 1021};
 1022#line 205 "include/linux/mm.h"
 1023struct vm_operations_struct {
 1024   void (*open)(struct vm_area_struct *area ) ;
 1025   void (*close)(struct vm_area_struct *area ) ;
 1026   int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
 1027   int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
 1028   int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
 1029                 int write ) ;
 1030   int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
 1031   struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
 1032   int (*migrate)(struct vm_area_struct *vma , nodemask_t    *from , nodemask_t    *to ,
 1033                  unsigned long flags ) ;
 1034};
 1035#line 247
 1036struct inode;
 1037#line 6 "include/asm-generic/scatterlist.h"
 1038struct scatterlist {
 1039   unsigned long sg_magic ;
 1040   unsigned long page_link ;
 1041   unsigned int offset ;
 1042   unsigned int length ;
 1043   dma_addr_t dma_address ;
 1044   unsigned int dma_length ;
 1045};
 1046#line 12 "include/linux/scatterlist.h"
 1047struct sg_table {
 1048   struct scatterlist *sgl ;
 1049   unsigned int nents ;
 1050   unsigned int orig_nents ;
 1051};
 1052#line 62 "include/linux/stat.h"
 1053struct kstat {
 1054   u64 ino ;
 1055   dev_t dev ;
 1056   umode_t mode ;
 1057   unsigned int nlink ;
 1058   uid_t uid ;
 1059   gid_t gid ;
 1060   dev_t rdev ;
 1061   loff_t size ;
 1062   struct timespec atime ;
 1063   struct timespec mtime ;
 1064   struct timespec ctime ;
 1065   unsigned long blksize ;
 1066   unsigned long long blocks ;
 1067};
 1068#line 939 "include/linux/sysctl.h"
 1069struct nsproxy;
 1070#line 48 "include/linux/kmod.h"
 1071struct cred;
 1072#line 18 "include/linux/elf.h"
 1073typedef __u64 Elf64_Addr;
 1074#line 19 "include/linux/elf.h"
 1075typedef __u16 Elf64_Half;
 1076#line 23 "include/linux/elf.h"
 1077typedef __u32 Elf64_Word;
 1078#line 24 "include/linux/elf.h"
 1079typedef __u64 Elf64_Xword;
 1080#line 194 "include/linux/elf.h"
 1081struct elf64_sym {
 1082   Elf64_Word st_name ;
 1083   unsigned char st_info ;
 1084   unsigned char st_other ;
 1085   Elf64_Half st_shndx ;
 1086   Elf64_Addr st_value ;
 1087   Elf64_Xword st_size ;
 1088};
 1089#line 194 "include/linux/elf.h"
 1090typedef struct elf64_sym Elf64_Sym;
 1091#line 20 "include/linux/kobject_ns.h"
 1092struct sock;
 1093#line 21
 1094struct kobject;
 1095#line 27
 1096enum kobj_ns_type {
 1097    KOBJ_NS_TYPE_NONE = 0,
 1098    KOBJ_NS_TYPE_NET = 1,
 1099    KOBJ_NS_TYPES = 2
 1100} ;
 1101#line 40 "include/linux/kobject_ns.h"
 1102struct kobj_ns_type_operations {
 1103   enum kobj_ns_type type ;
 1104   void *(*grab_current_ns)(void) ;
 1105   void    *(*netlink_ns)(struct sock *sk ) ;
 1106   void    *(*initial_ns)(void) ;
 1107   void (*drop_ns)(void * ) ;
 1108};
 1109#line 24 "include/linux/sysfs.h"
 1110enum kobj_ns_type;
 1111#line 26 "include/linux/sysfs.h"
 1112struct attribute {
 1113   char    *name ;
 1114   umode_t mode ;
 1115};
 1116#line 56 "include/linux/sysfs.h"
 1117struct attribute_group {
 1118   char    *name ;
 1119   umode_t (*is_visible)(struct kobject * , struct attribute * , int  ) ;
 1120   struct attribute **attrs ;
 1121};
 1122#line 88 "include/linux/sysfs.h"
 1123struct bin_attribute {
 1124   struct attribute attr ;
 1125   size_t size ;
 1126   void *private ;
 1127   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1128                   loff_t  , size_t  ) ;
 1129   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1130                    loff_t  , size_t  ) ;
 1131   int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
 1132};
 1133#line 112 "include/linux/sysfs.h"
 1134struct sysfs_ops {
 1135   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
 1136   ssize_t (*store)(struct kobject * , struct attribute * , char    * , size_t  ) ;
 1137   void    *(*namespace)(struct kobject * , struct attribute    * ) ;
 1138};
 1139#line 118
 1140struct sysfs_dirent;
 1141#line 22 "include/linux/kref.h"
 1142struct kref {
 1143   atomic_t refcount ;
 1144};
 1145#line 60 "include/linux/kobject.h"
 1146struct kset;
 1147#line 60
 1148struct kobj_type;
 1149#line 60 "include/linux/kobject.h"
 1150struct kobject {
 1151   char    *name ;
 1152   struct list_head entry ;
 1153   struct kobject *parent ;
 1154   struct kset *kset ;
 1155   struct kobj_type *ktype ;
 1156   struct sysfs_dirent *sd ;
 1157   struct kref kref ;
 1158   unsigned int state_initialized : 1 ;
 1159   unsigned int state_in_sysfs : 1 ;
 1160   unsigned int state_add_uevent_sent : 1 ;
 1161   unsigned int state_remove_uevent_sent : 1 ;
 1162   unsigned int uevent_suppress : 1 ;
 1163};
 1164#line 108 "include/linux/kobject.h"
 1165struct kobj_type {
 1166   void (*release)(struct kobject *kobj ) ;
 1167   struct sysfs_ops    *sysfs_ops ;
 1168   struct attribute **default_attrs ;
 1169   struct kobj_ns_type_operations    *(*child_ns_type)(struct kobject *kobj ) ;
 1170   void    *(*namespace)(struct kobject *kobj ) ;
 1171};
 1172#line 116 "include/linux/kobject.h"
 1173struct kobj_uevent_env {
 1174   char *envp[32] ;
 1175   int envp_idx ;
 1176   char buf[2048] ;
 1177   int buflen ;
 1178};
 1179#line 123 "include/linux/kobject.h"
 1180struct kset_uevent_ops {
 1181   int (*   filter)(struct kset *kset , struct kobject *kobj ) ;
 1182   char    *(*   name)(struct kset *kset , struct kobject *kobj ) ;
 1183   int (*   uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
 1184};
 1185#line 159 "include/linux/kobject.h"
 1186struct kset {
 1187   struct list_head list ;
 1188   spinlock_t list_lock ;
 1189   struct kobject kobj ;
 1190   struct kset_uevent_ops    *uevent_ops ;
 1191};
 1192#line 39 "include/linux/moduleparam.h"
 1193struct kernel_param;
 1194#line 41 "include/linux/moduleparam.h"
 1195struct kernel_param_ops {
 1196   int (*set)(char    *val , struct kernel_param    *kp ) ;
 1197   int (*get)(char *buffer , struct kernel_param    *kp ) ;
 1198   void (*free)(void *arg ) ;
 1199};
 1200#line 50
 1201struct kparam_string;
 1202#line 50
 1203struct kparam_array;
 1204#line 50 "include/linux/moduleparam.h"
 1205union __anonunion____missing_field_name_211 {
 1206   void *arg ;
 1207   struct kparam_string    *str ;
 1208   struct kparam_array    *arr ;
 1209};
 1210#line 50 "include/linux/moduleparam.h"
 1211struct kernel_param {
 1212   char    *name ;
 1213   struct kernel_param_ops    *ops ;
 1214   u16 perm ;
 1215   s16 level ;
 1216   union __anonunion____missing_field_name_211 __annonCompField41 ;
 1217};
 1218#line 63 "include/linux/moduleparam.h"
 1219struct kparam_string {
 1220   unsigned int maxlen ;
 1221   char *string ;
 1222};
 1223#line 69 "include/linux/moduleparam.h"
 1224struct kparam_array {
 1225   unsigned int max ;
 1226   unsigned int elemsize ;
 1227   unsigned int *num ;
 1228   struct kernel_param_ops    *ops ;
 1229   void *elem ;
 1230};
 1231#line 143 "include/linux/jump_label.h"
 1232struct static_key {
 1233   atomic_t enabled ;
 1234};
 1235#line 23 "include/linux/tracepoint.h"
 1236struct tracepoint;
 1237#line 25 "include/linux/tracepoint.h"
 1238struct tracepoint_func {
 1239   void *func ;
 1240   void *data ;
 1241};
 1242#line 30 "include/linux/tracepoint.h"
 1243struct tracepoint {
 1244   char    *name ;
 1245   struct static_key key ;
 1246   void (*regfunc)(void) ;
 1247   void (*unregfunc)(void) ;
 1248   struct tracepoint_func *funcs ;
 1249};
 1250#line 19 "include/linux/export.h"
 1251struct kernel_symbol {
 1252   unsigned long value ;
 1253   char    *name ;
 1254};
 1255#line 8 "include/asm-generic/module.h"
 1256struct mod_arch_specific {
 1257
 1258};
 1259#line 37 "include/linux/module.h"
 1260struct module_param_attrs;
 1261#line 37 "include/linux/module.h"
 1262struct module_kobject {
 1263   struct kobject kobj ;
 1264   struct module *mod ;
 1265   struct kobject *drivers_dir ;
 1266   struct module_param_attrs *mp ;
 1267};
 1268#line 44 "include/linux/module.h"
 1269struct module_attribute {
 1270   struct attribute attr ;
 1271   ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
 1272   ssize_t (*store)(struct module_attribute * , struct module_kobject * , char    * ,
 1273                    size_t count ) ;
 1274   void (*setup)(struct module * , char    * ) ;
 1275   int (*test)(struct module * ) ;
 1276   void (*free)(struct module * ) ;
 1277};
 1278#line 71
 1279struct exception_table_entry;
 1280#line 199
 1281enum module_state {
 1282    MODULE_STATE_LIVE = 0,
 1283    MODULE_STATE_COMING = 1,
 1284    MODULE_STATE_GOING = 2
 1285} ;
 1286#line 215 "include/linux/module.h"
 1287struct module_ref {
 1288   unsigned long incs ;
 1289   unsigned long decs ;
 1290} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
 1291#line 220
 1292struct module_sect_attrs;
 1293#line 220
 1294struct module_notes_attrs;
 1295#line 220
 1296struct ftrace_event_call;
 1297#line 220 "include/linux/module.h"
 1298struct module {
 1299   enum module_state state ;
 1300   struct list_head list ;
 1301   char name[64UL - sizeof(unsigned long )] ;
 1302   struct module_kobject mkobj ;
 1303   struct module_attribute *modinfo_attrs ;
 1304   char    *version ;
 1305   char    *srcversion ;
 1306   struct kobject *holders_dir ;
 1307   struct kernel_symbol    *syms ;
 1308   unsigned long    *crcs ;
 1309   unsigned int num_syms ;
 1310   struct kernel_param *kp ;
 1311   unsigned int num_kp ;
 1312   unsigned int num_gpl_syms ;
 1313   struct kernel_symbol    *gpl_syms ;
 1314   unsigned long    *gpl_crcs ;
 1315   struct kernel_symbol    *unused_syms ;
 1316   unsigned long    *unused_crcs ;
 1317   unsigned int num_unused_syms ;
 1318   unsigned int num_unused_gpl_syms ;
 1319   struct kernel_symbol    *unused_gpl_syms ;
 1320   unsigned long    *unused_gpl_crcs ;
 1321   struct kernel_symbol    *gpl_future_syms ;
 1322   unsigned long    *gpl_future_crcs ;
 1323   unsigned int num_gpl_future_syms ;
 1324   unsigned int num_exentries ;
 1325   struct exception_table_entry *extable ;
 1326   int (*init)(void) ;
 1327   void *module_init ;
 1328   void *module_core ;
 1329   unsigned int init_size ;
 1330   unsigned int core_size ;
 1331   unsigned int init_text_size ;
 1332   unsigned int core_text_size ;
 1333   unsigned int init_ro_size ;
 1334   unsigned int core_ro_size ;
 1335   struct mod_arch_specific arch ;
 1336   unsigned int taints ;
 1337   unsigned int num_bugs ;
 1338   struct list_head bug_list ;
 1339   struct bug_entry *bug_table ;
 1340   Elf64_Sym *symtab ;
 1341   Elf64_Sym *core_symtab ;
 1342   unsigned int num_symtab ;
 1343   unsigned int core_num_syms ;
 1344   char *strtab ;
 1345   char *core_strtab ;
 1346   struct module_sect_attrs *sect_attrs ;
 1347   struct module_notes_attrs *notes_attrs ;
 1348   char *args ;
 1349   void *percpu ;
 1350   unsigned int percpu_size ;
 1351   unsigned int num_tracepoints ;
 1352   struct tracepoint *   *tracepoints_ptrs ;
 1353   unsigned int num_trace_bprintk_fmt ;
 1354   char    **trace_bprintk_fmt_start ;
 1355   struct ftrace_event_call **trace_events ;
 1356   unsigned int num_trace_events ;
 1357   struct list_head source_list ;
 1358   struct list_head target_list ;
 1359   struct task_struct *waiter ;
 1360   void (*exit)(void) ;
 1361   struct module_ref *refptr ;
 1362   ctor_fn_t *ctors ;
 1363   unsigned int num_ctors ;
 1364};
 1365#line 16 "include/linux/uio.h"
 1366struct iovec {
 1367   void *iov_base ;
 1368   __kernel_size_t iov_len ;
 1369};
 1370#line 19 "include/linux/klist.h"
 1371struct klist_node;
 1372#line 20 "include/linux/klist.h"
 1373struct klist {
 1374   spinlock_t k_lock ;
 1375   struct list_head k_list ;
 1376   void (*get)(struct klist_node * ) ;
 1377   void (*put)(struct klist_node * ) ;
 1378} __attribute__((__aligned__(sizeof(void *)))) ;
 1379#line 39 "include/linux/klist.h"
 1380struct klist_node {
 1381   void *n_klist ;
 1382   struct list_head n_node ;
 1383   struct kref n_ref ;
 1384};
 1385#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
 1386struct dma_map_ops;
 1387#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
 1388struct dev_archdata {
 1389   void *acpi_handle ;
 1390   struct dma_map_ops *dma_ops ;
 1391   void *iommu ;
 1392};
 1393#line 29 "include/linux/device.h"
 1394struct device_private;
 1395#line 30
 1396struct device_driver;
 1397#line 31
 1398struct driver_private;
 1399#line 33
 1400struct class;
 1401#line 34
 1402struct subsys_private;
 1403#line 35
 1404struct bus_type;
 1405#line 36
 1406struct device_node;
 1407#line 37
 1408struct iommu_ops;
 1409#line 39 "include/linux/device.h"
 1410struct bus_attribute {
 1411   struct attribute attr ;
 1412   ssize_t (*show)(struct bus_type *bus , char *buf ) ;
 1413   ssize_t (*store)(struct bus_type *bus , char    *buf , size_t count ) ;
 1414};
 1415#line 89
 1416struct device_attribute;
 1417#line 89
 1418struct driver_attribute;
 1419#line 89 "include/linux/device.h"
 1420struct bus_type {
 1421   char    *name ;
 1422   char    *dev_name ;
 1423   struct device *dev_root ;
 1424   struct bus_attribute *bus_attrs ;
 1425   struct device_attribute *dev_attrs ;
 1426   struct driver_attribute *drv_attrs ;
 1427   int (*match)(struct device *dev , struct device_driver *drv ) ;
 1428   int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
 1429   int (*probe)(struct device *dev ) ;
 1430   int (*remove)(struct device *dev ) ;
 1431   void (*shutdown)(struct device *dev ) ;
 1432   int (*suspend)(struct device *dev , pm_message_t state ) ;
 1433   int (*resume)(struct device *dev ) ;
 1434   struct dev_pm_ops    *pm ;
 1435   struct iommu_ops *iommu_ops ;
 1436   struct subsys_private *p ;
 1437};
 1438#line 127
 1439struct device_type;
 1440#line 214
 1441struct of_device_id;
 1442#line 214 "include/linux/device.h"
 1443struct device_driver {
 1444   char    *name ;
 1445   struct bus_type *bus ;
 1446   struct module *owner ;
 1447   char    *mod_name ;
 1448   bool suppress_bind_attrs ;
 1449   struct of_device_id    *of_match_table ;
 1450   int (*probe)(struct device *dev ) ;
 1451   int (*remove)(struct device *dev ) ;
 1452   void (*shutdown)(struct device *dev ) ;
 1453   int (*suspend)(struct device *dev , pm_message_t state ) ;
 1454   int (*resume)(struct device *dev ) ;
 1455   struct attribute_group    **groups ;
 1456   struct dev_pm_ops    *pm ;
 1457   struct driver_private *p ;
 1458};
 1459#line 249 "include/linux/device.h"
 1460struct driver_attribute {
 1461   struct attribute attr ;
 1462   ssize_t (*show)(struct device_driver *driver , char *buf ) ;
 1463   ssize_t (*store)(struct device_driver *driver , char    *buf , size_t count ) ;
 1464};
 1465#line 330
 1466struct class_attribute;
 1467#line 330 "include/linux/device.h"
 1468struct class {
 1469   char    *name ;
 1470   struct module *owner ;
 1471   struct class_attribute *class_attrs ;
 1472   struct device_attribute *dev_attrs ;
 1473   struct bin_attribute *dev_bin_attrs ;
 1474   struct kobject *dev_kobj ;
 1475   int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
 1476   char *(*devnode)(struct device *dev , umode_t *mode ) ;
 1477   void (*class_release)(struct class *class ) ;
 1478   void (*dev_release)(struct device *dev ) ;
 1479   int (*suspend)(struct device *dev , pm_message_t state ) ;
 1480   int (*resume)(struct device *dev ) ;
 1481   struct kobj_ns_type_operations    *ns_type ;
 1482   void    *(*namespace)(struct device *dev ) ;
 1483   struct dev_pm_ops    *pm ;
 1484   struct subsys_private *p ;
 1485};
 1486#line 397 "include/linux/device.h"
 1487struct class_attribute {
 1488   struct attribute attr ;
 1489   ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
 1490   ssize_t (*store)(struct class *class , struct class_attribute *attr , char    *buf ,
 1491                    size_t count ) ;
 1492   void    *(*namespace)(struct class *class , struct class_attribute    *attr ) ;
 1493};
 1494#line 465 "include/linux/device.h"
 1495struct device_type {
 1496   char    *name ;
 1497   struct attribute_group    **groups ;
 1498   int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
 1499   char *(*devnode)(struct device *dev , umode_t *mode ) ;
 1500   void (*release)(struct device *dev ) ;
 1501   struct dev_pm_ops    *pm ;
 1502};
 1503#line 476 "include/linux/device.h"
 1504struct device_attribute {
 1505   struct attribute attr ;
 1506   ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
 1507   ssize_t (*store)(struct device *dev , struct device_attribute *attr , char    *buf ,
 1508                    size_t count ) ;
 1509};
 1510#line 559 "include/linux/device.h"
 1511struct device_dma_parameters {
 1512   unsigned int max_segment_size ;
 1513   unsigned long segment_boundary_mask ;
 1514};
 1515#line 627
 1516struct dma_coherent_mem;
 1517#line 627 "include/linux/device.h"
 1518struct device {
 1519   struct device *parent ;
 1520   struct device_private *p ;
 1521   struct kobject kobj ;
 1522   char    *init_name ;
 1523   struct device_type    *type ;
 1524   struct mutex mutex ;
 1525   struct bus_type *bus ;
 1526   struct device_driver *driver ;
 1527   void *platform_data ;
 1528   struct dev_pm_info power ;
 1529   struct dev_pm_domain *pm_domain ;
 1530   int numa_node ;
 1531   u64 *dma_mask ;
 1532   u64 coherent_dma_mask ;
 1533   struct device_dma_parameters *dma_parms ;
 1534   struct list_head dma_pools ;
 1535   struct dma_coherent_mem *dma_mem ;
 1536   struct dev_archdata archdata ;
 1537   struct device_node *of_node ;
 1538   dev_t devt ;
 1539   u32 id ;
 1540   spinlock_t devres_lock ;
 1541   struct list_head devres_head ;
 1542   struct klist_node knode_class ;
 1543   struct class *class ;
 1544   struct attribute_group    **groups ;
 1545   void (*release)(struct device *dev ) ;
 1546};
 1547#line 43 "include/linux/pm_wakeup.h"
 1548struct wakeup_source {
 1549   char    *name ;
 1550   struct list_head entry ;
 1551   spinlock_t lock ;
 1552   struct timer_list timer ;
 1553   unsigned long timer_expires ;
 1554   ktime_t total_time ;
 1555   ktime_t max_time ;
 1556   ktime_t last_time ;
 1557   unsigned long event_count ;
 1558   unsigned long active_count ;
 1559   unsigned long relax_count ;
 1560   unsigned long hit_count ;
 1561   unsigned int active : 1 ;
 1562};
 1563#line 17 "include/linux/attribute_container.h"
 1564struct attribute_container {
 1565   struct list_head node ;
 1566   struct klist containers ;
 1567   struct class *class ;
 1568   struct attribute_group    *grp ;
 1569   struct device_attribute **attrs ;
 1570   int (*match)(struct attribute_container * , struct device * ) ;
 1571   unsigned long flags ;
 1572};
 1573#line 16 "include/linux/transport_class.h"
 1574struct transport_container;
 1575#line 57 "include/linux/transport_class.h"
 1576struct transport_container {
 1577   struct attribute_container ac ;
 1578   struct attribute_group    *statistics ;
 1579};
 1580#line 94 "include/linux/capability.h"
 1581struct kernel_cap_struct {
 1582   __u32 cap[2] ;
 1583};
 1584#line 94 "include/linux/capability.h"
 1585typedef struct kernel_cap_struct kernel_cap_t;
 1586#line 377
 1587struct dentry;
 1588#line 378
 1589struct user_namespace;
 1590#line 7 "include/asm-generic/cputime.h"
 1591typedef unsigned long cputime_t;
 1592#line 101 "include/linux/sem.h"
 1593struct sem_undo_list;
 1594#line 101 "include/linux/sem.h"
 1595struct sysv_sem {
 1596   struct sem_undo_list *undo_list ;
 1597};
 1598#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1599struct siginfo;
 1600#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1601struct __anonstruct_sigset_t_227 {
 1602   unsigned long sig[1] ;
 1603};
 1604#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1605typedef struct __anonstruct_sigset_t_227 sigset_t;
 1606#line 17 "include/asm-generic/signal-defs.h"
 1607typedef void __signalfn_t(int  );
 1608#line 18 "include/asm-generic/signal-defs.h"
 1609typedef __signalfn_t *__sighandler_t;
 1610#line 20 "include/asm-generic/signal-defs.h"
 1611typedef void __restorefn_t(void);
 1612#line 21 "include/asm-generic/signal-defs.h"
 1613typedef __restorefn_t *__sigrestore_t;
 1614#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1615struct sigaction {
 1616   __sighandler_t sa_handler ;
 1617   unsigned long sa_flags ;
 1618   __sigrestore_t sa_restorer ;
 1619   sigset_t sa_mask ;
 1620};
 1621#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
 1622struct k_sigaction {
 1623   struct sigaction sa ;
 1624};
 1625#line 7 "include/asm-generic/siginfo.h"
 1626union sigval {
 1627   int sival_int ;
 1628   void *sival_ptr ;
 1629};
 1630#line 7 "include/asm-generic/siginfo.h"
 1631typedef union sigval sigval_t;
 1632#line 48 "include/asm-generic/siginfo.h"
 1633struct __anonstruct__kill_229 {
 1634   __kernel_pid_t _pid ;
 1635   __kernel_uid32_t _uid ;
 1636};
 1637#line 48 "include/asm-generic/siginfo.h"
 1638struct __anonstruct__timer_230 {
 1639   __kernel_timer_t _tid ;
 1640   int _overrun ;
 1641   char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
 1642   sigval_t _sigval ;
 1643   int _sys_private ;
 1644};
 1645#line 48 "include/asm-generic/siginfo.h"
 1646struct __anonstruct__rt_231 {
 1647   __kernel_pid_t _pid ;
 1648   __kernel_uid32_t _uid ;
 1649   sigval_t _sigval ;
 1650};
 1651#line 48 "include/asm-generic/siginfo.h"
 1652struct __anonstruct__sigchld_232 {
 1653   __kernel_pid_t _pid ;
 1654   __kernel_uid32_t _uid ;
 1655   int _status ;
 1656   __kernel_clock_t _utime ;
 1657   __kernel_clock_t _stime ;
 1658};
 1659#line 48 "include/asm-generic/siginfo.h"
 1660struct __anonstruct__sigfault_233 {
 1661   void *_addr ;
 1662   short _addr_lsb ;
 1663};
 1664#line 48 "include/asm-generic/siginfo.h"
 1665struct __anonstruct__sigpoll_234 {
 1666   long _band ;
 1667   int _fd ;
 1668};
 1669#line 48 "include/asm-generic/siginfo.h"
 1670union __anonunion__sifields_228 {
 1671   int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
 1672   struct __anonstruct__kill_229 _kill ;
 1673   struct __anonstruct__timer_230 _timer ;
 1674   struct __anonstruct__rt_231 _rt ;
 1675   struct __anonstruct__sigchld_232 _sigchld ;
 1676   struct __anonstruct__sigfault_233 _sigfault ;
 1677   struct __anonstruct__sigpoll_234 _sigpoll ;
 1678};
 1679#line 48 "include/asm-generic/siginfo.h"
 1680struct siginfo {
 1681   int si_signo ;
 1682   int si_errno ;
 1683   int si_code ;
 1684   union __anonunion__sifields_228 _sifields ;
 1685};
 1686#line 48 "include/asm-generic/siginfo.h"
 1687typedef struct siginfo siginfo_t;
 1688#line 28 "include/linux/signal.h"
 1689struct sigpending {
 1690   struct list_head list ;
 1691   sigset_t signal ;
 1692};
 1693#line 6 "include/linux/pid.h"
 1694enum pid_type {
 1695    PIDTYPE_PID = 0,
 1696    PIDTYPE_PGID = 1,
 1697    PIDTYPE_SID = 2,
 1698    PIDTYPE_MAX = 3
 1699} ;
 1700#line 50
 1701struct pid_namespace;
 1702#line 50 "include/linux/pid.h"
 1703struct upid {
 1704   int nr ;
 1705   struct pid_namespace *ns ;
 1706   struct hlist_node pid_chain ;
 1707};
 1708#line 57 "include/linux/pid.h"
 1709struct pid {
 1710   atomic_t count ;
 1711   unsigned int level ;
 1712   struct hlist_head tasks[3] ;
 1713   struct rcu_head rcu ;
 1714   struct upid numbers[1] ;
 1715};
 1716#line 69 "include/linux/pid.h"
 1717struct pid_link {
 1718   struct hlist_node node ;
 1719   struct pid *pid ;
 1720};
 1721#line 18 "include/linux/percpu_counter.h"
 1722struct percpu_counter {
 1723   raw_spinlock_t lock ;
 1724   s64 count ;
 1725   struct list_head list ;
 1726   s32 *counters ;
 1727};
 1728#line 50 "include/linux/proportions.h"
 1729struct prop_local_percpu {
 1730   struct percpu_counter events ;
 1731   int shift ;
 1732   unsigned long period ;
 1733   raw_spinlock_t lock ;
 1734};
 1735#line 10 "include/linux/seccomp.h"
 1736struct __anonstruct_seccomp_t_237 {
 1737   int mode ;
 1738};
 1739#line 10 "include/linux/seccomp.h"
 1740typedef struct __anonstruct_seccomp_t_237 seccomp_t;
 1741#line 81 "include/linux/plist.h"
 1742struct plist_head {
 1743   struct list_head node_list ;
 1744};
 1745#line 85 "include/linux/plist.h"
 1746struct plist_node {
 1747   int prio ;
 1748   struct list_head prio_list ;
 1749   struct list_head node_list ;
 1750};
 1751#line 40 "include/linux/rtmutex.h"
 1752struct rt_mutex_waiter;
 1753#line 42 "include/linux/resource.h"
 1754struct rlimit {
 1755   unsigned long rlim_cur ;
 1756   unsigned long rlim_max ;
 1757};
 1758#line 8 "include/linux/timerqueue.h"
 1759struct timerqueue_node {
 1760   struct rb_node node ;
 1761   ktime_t expires ;
 1762};
 1763#line 13 "include/linux/timerqueue.h"
 1764struct timerqueue_head {
 1765   struct rb_root head ;
 1766   struct timerqueue_node *next ;
 1767};
 1768#line 27 "include/linux/hrtimer.h"
 1769struct hrtimer_clock_base;
 1770#line 28
 1771struct hrtimer_cpu_base;
 1772#line 44
 1773enum hrtimer_restart {
 1774    HRTIMER_NORESTART = 0,
 1775    HRTIMER_RESTART = 1
 1776} ;
 1777#line 108 "include/linux/hrtimer.h"
 1778struct hrtimer {
 1779   struct timerqueue_node node ;
 1780   ktime_t _softexpires ;
 1781   enum hrtimer_restart (*function)(struct hrtimer * ) ;
 1782   struct hrtimer_clock_base *base ;
 1783   unsigned long state ;
 1784   int start_pid ;
 1785   void *start_site ;
 1786   char start_comm[16] ;
 1787};
 1788#line 145 "include/linux/hrtimer.h"
 1789struct hrtimer_clock_base {
 1790   struct hrtimer_cpu_base *cpu_base ;
 1791   int index ;
 1792   clockid_t clockid ;
 1793   struct timerqueue_head active ;
 1794   ktime_t resolution ;
 1795   ktime_t (*get_time)(void) ;
 1796   ktime_t softirq_time ;
 1797   ktime_t offset ;
 1798};
 1799#line 178 "include/linux/hrtimer.h"
 1800struct hrtimer_cpu_base {
 1801   raw_spinlock_t lock ;
 1802   unsigned long active_bases ;
 1803   ktime_t expires_next ;
 1804   int hres_active ;
 1805   int hang_detected ;
 1806   unsigned long nr_events ;
 1807   unsigned long nr_retries ;
 1808   unsigned long nr_hangs ;
 1809   ktime_t max_hang_time ;
 1810   struct hrtimer_clock_base clock_base[3] ;
 1811};
 1812#line 11 "include/linux/task_io_accounting.h"
 1813struct task_io_accounting {
 1814   u64 rchar ;
 1815   u64 wchar ;
 1816   u64 syscr ;
 1817   u64 syscw ;
 1818   u64 read_bytes ;
 1819   u64 write_bytes ;
 1820   u64 cancelled_write_bytes ;
 1821};
 1822#line 20 "include/linux/latencytop.h"
 1823struct latency_record {
 1824   unsigned long backtrace[12] ;
 1825   unsigned int count ;
 1826   unsigned long time ;
 1827   unsigned long max ;
 1828};
 1829#line 29 "include/linux/key.h"
 1830typedef int32_t key_serial_t;
 1831#line 32 "include/linux/key.h"
 1832typedef uint32_t key_perm_t;
 1833#line 34
 1834struct key;
 1835#line 76
 1836struct signal_struct;
 1837#line 79
 1838struct key_type;
 1839#line 81
 1840struct keyring_list;
 1841#line 124
 1842struct key_user;
 1843#line 124 "include/linux/key.h"
 1844union __anonunion____missing_field_name_238 {
 1845   time_t expiry ;
 1846   time_t revoked_at ;
 1847};
 1848#line 124 "include/linux/key.h"
 1849union __anonunion_type_data_239 {
 1850   struct list_head link ;
 1851   unsigned long x[2] ;
 1852   void *p[2] ;
 1853   int reject_error ;
 1854};
 1855#line 124 "include/linux/key.h"
 1856union __anonunion_payload_240 {
 1857   unsigned long value ;
 1858   void *rcudata ;
 1859   void *data ;
 1860   struct keyring_list *subscriptions ;
 1861};
 1862#line 124 "include/linux/key.h"
 1863struct key {
 1864   atomic_t usage ;
 1865   key_serial_t serial ;
 1866   struct rb_node serial_node ;
 1867   struct key_type *type ;
 1868   struct rw_semaphore sem ;
 1869   struct key_user *user ;
 1870   void *security ;
 1871   union __anonunion____missing_field_name_238 __annonCompField42 ;
 1872   uid_t uid ;
 1873   gid_t gid ;
 1874   key_perm_t perm ;
 1875   unsigned short quotalen ;
 1876   unsigned short datalen ;
 1877   unsigned long flags ;
 1878   char *description ;
 1879   union __anonunion_type_data_239 type_data ;
 1880   union __anonunion_payload_240 payload ;
 1881};
 1882#line 18 "include/linux/selinux.h"
 1883struct audit_context;
 1884#line 31 "include/linux/cred.h"
 1885struct group_info {
 1886   atomic_t usage ;
 1887   int ngroups ;
 1888   int nblocks ;
 1889   gid_t small_block[32] ;
 1890   gid_t *blocks[0] ;
 1891};
 1892#line 83 "include/linux/cred.h"
 1893struct thread_group_cred {
 1894   atomic_t usage ;
 1895   pid_t tgid ;
 1896   spinlock_t lock ;
 1897   struct key *session_keyring ;
 1898   struct key *process_keyring ;
 1899   struct rcu_head rcu ;
 1900};
 1901#line 116 "include/linux/cred.h"
 1902struct cred {
 1903   atomic_t usage ;
 1904   atomic_t subscribers ;
 1905   void *put_addr ;
 1906   unsigned int magic ;
 1907   uid_t uid ;
 1908   gid_t gid ;
 1909   uid_t suid ;
 1910   gid_t sgid ;
 1911   uid_t euid ;
 1912   gid_t egid ;
 1913   uid_t fsuid ;
 1914   gid_t fsgid ;
 1915   unsigned int securebits ;
 1916   kernel_cap_t cap_inheritable ;
 1917   kernel_cap_t cap_permitted ;
 1918   kernel_cap_t cap_effective ;
 1919   kernel_cap_t cap_bset ;
 1920   unsigned char jit_keyring ;
 1921   struct key *thread_keyring ;
 1922   struct key *request_key_auth ;
 1923   struct thread_group_cred *tgcred ;
 1924   void *security ;
 1925   struct user_struct *user ;
 1926   struct user_namespace *user_ns ;
 1927   struct group_info *group_info ;
 1928   struct rcu_head rcu ;
 1929};
 1930#line 61 "include/linux/llist.h"
 1931struct llist_node;
 1932#line 65 "include/linux/llist.h"
 1933struct llist_node {
 1934   struct llist_node *next ;
 1935};
 1936#line 97 "include/linux/sched.h"
 1937struct futex_pi_state;
 1938#line 98
 1939struct robust_list_head;
 1940#line 99
 1941struct bio_list;
 1942#line 100
 1943struct fs_struct;
 1944#line 101
 1945struct perf_event_context;
 1946#line 102
 1947struct blk_plug;
 1948#line 151
 1949struct cfs_rq;
 1950#line 58 "include/linux/aio_abi.h"
 1951struct io_event {
 1952   __u64 data ;
 1953   __u64 obj ;
 1954   __s64 res ;
 1955   __s64 res2 ;
 1956};
 1957#line 15 "include/linux/aio.h"
 1958struct kioctx;
 1959#line 87 "include/linux/aio.h"
 1960union __anonunion_ki_obj_242 {
 1961   void *user ;
 1962   struct task_struct *tsk ;
 1963};
 1964#line 87
 1965struct eventfd_ctx;
 1966#line 87 "include/linux/aio.h"
 1967struct kiocb {
 1968   struct list_head ki_run_list ;
 1969   unsigned long ki_flags ;
 1970   int ki_users ;
 1971   unsigned int ki_key ;
 1972   struct file *ki_filp ;
 1973   struct kioctx *ki_ctx ;
 1974   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
 1975   ssize_t (*ki_retry)(struct kiocb * ) ;
 1976   void (*ki_dtor)(struct kiocb * ) ;
 1977   union __anonunion_ki_obj_242 ki_obj ;
 1978   __u64 ki_user_data ;
 1979   loff_t ki_pos ;
 1980   void *private ;
 1981   unsigned short ki_opcode ;
 1982   size_t ki_nbytes ;
 1983   char *ki_buf ;
 1984   size_t ki_left ;
 1985   struct iovec ki_inline_vec ;
 1986   struct iovec *ki_iovec ;
 1987   unsigned long ki_nr_segs ;
 1988   unsigned long ki_cur_seg ;
 1989   struct list_head ki_list ;
 1990   struct list_head ki_batch ;
 1991   struct eventfd_ctx *ki_eventfd ;
 1992};
 1993#line 166 "include/linux/aio.h"
 1994struct aio_ring_info {
 1995   unsigned long mmap_base ;
 1996   unsigned long mmap_size ;
 1997   struct page **ring_pages ;
 1998   spinlock_t ring_lock ;
 1999   long nr_pages ;
 2000   unsigned int nr ;
 2001   unsigned int tail ;
 2002   struct page *internal_pages[8] ;
 2003};
 2004#line 179 "include/linux/aio.h"
 2005struct kioctx {
 2006   atomic_t users ;
 2007   int dead ;
 2008   struct mm_struct *mm ;
 2009   unsigned long user_id ;
 2010   struct hlist_node list ;
 2011   wait_queue_head_t wait ;
 2012   spinlock_t ctx_lock ;
 2013   int reqs_active ;
 2014   struct list_head active_reqs ;
 2015   struct list_head run_list ;
 2016   unsigned int max_reqs ;
 2017   struct aio_ring_info ring_info ;
 2018   struct delayed_work wq ;
 2019   struct rcu_head rcu_head ;
 2020};
 2021#line 443 "include/linux/sched.h"
 2022struct sighand_struct {
 2023   atomic_t count ;
 2024   struct k_sigaction action[64] ;
 2025   spinlock_t siglock ;
 2026   wait_queue_head_t signalfd_wqh ;
 2027};
 2028#line 450 "include/linux/sched.h"
 2029struct pacct_struct {
 2030   int ac_flag ;
 2031   long ac_exitcode ;
 2032   unsigned long ac_mem ;
 2033   cputime_t ac_utime ;
 2034   cputime_t ac_stime ;
 2035   unsigned long ac_minflt ;
 2036   unsigned long ac_majflt ;
 2037};
 2038#line 458 "include/linux/sched.h"
 2039struct cpu_itimer {
 2040   cputime_t expires ;
 2041   cputime_t incr ;
 2042   u32 error ;
 2043   u32 incr_error ;
 2044};
 2045#line 476 "include/linux/sched.h"
 2046struct task_cputime {
 2047   cputime_t utime ;
 2048   cputime_t stime ;
 2049   unsigned long long sum_exec_runtime ;
 2050};
 2051#line 512 "include/linux/sched.h"
 2052struct thread_group_cputimer {
 2053   struct task_cputime cputime ;
 2054   int running ;
 2055   raw_spinlock_t lock ;
 2056};
 2057#line 519
 2058struct autogroup;
 2059#line 528
 2060struct tty_struct;
 2061#line 528
 2062struct taskstats;
 2063#line 528
 2064struct tty_audit_buf;
 2065#line 528 "include/linux/sched.h"
 2066struct signal_struct {
 2067   atomic_t sigcnt ;
 2068   atomic_t live ;
 2069   int nr_threads ;
 2070   wait_queue_head_t wait_chldexit ;
 2071   struct task_struct *curr_target ;
 2072   struct sigpending shared_pending ;
 2073   int group_exit_code ;
 2074   int notify_count ;
 2075   struct task_struct *group_exit_task ;
 2076   int group_stop_count ;
 2077   unsigned int flags ;
 2078   unsigned int is_child_subreaper : 1 ;
 2079   unsigned int has_child_subreaper : 1 ;
 2080   struct list_head posix_timers ;
 2081   struct hrtimer real_timer ;
 2082   struct pid *leader_pid ;
 2083   ktime_t it_real_incr ;
 2084   struct cpu_itimer it[2] ;
 2085   struct thread_group_cputimer cputimer ;
 2086   struct task_cputime cputime_expires ;
 2087   struct list_head cpu_timers[3] ;
 2088   struct pid *tty_old_pgrp ;
 2089   int leader ;
 2090   struct tty_struct *tty ;
 2091   struct autogroup *autogroup ;
 2092   cputime_t utime ;
 2093   cputime_t stime ;
 2094   cputime_t cutime ;
 2095   cputime_t cstime ;
 2096   cputime_t gtime ;
 2097   cputime_t cgtime ;
 2098   cputime_t prev_utime ;
 2099   cputime_t prev_stime ;
 2100   unsigned long nvcsw ;
 2101   unsigned long nivcsw ;
 2102   unsigned long cnvcsw ;
 2103   unsigned long cnivcsw ;
 2104   unsigned long min_flt ;
 2105   unsigned long maj_flt ;
 2106   unsigned long cmin_flt ;
 2107   unsigned long cmaj_flt ;
 2108   unsigned long inblock ;
 2109   unsigned long oublock ;
 2110   unsigned long cinblock ;
 2111   unsigned long coublock ;
 2112   unsigned long maxrss ;
 2113   unsigned long cmaxrss ;
 2114   struct task_io_accounting ioac ;
 2115   unsigned long long sum_sched_runtime ;
 2116   struct rlimit rlim[16] ;
 2117   struct pacct_struct pacct ;
 2118   struct taskstats *stats ;
 2119   unsigned int audit_tty ;
 2120   struct tty_audit_buf *tty_audit_buf ;
 2121   struct rw_semaphore group_rwsem ;
 2122   int oom_adj ;
 2123   int oom_score_adj ;
 2124   int oom_score_adj_min ;
 2125   struct mutex cred_guard_mutex ;
 2126};
 2127#line 703 "include/linux/sched.h"
 2128struct user_struct {
 2129   atomic_t __count ;
 2130   atomic_t processes ;
 2131   atomic_t files ;
 2132   atomic_t sigpending ;
 2133   atomic_t inotify_watches ;
 2134   atomic_t inotify_devs ;
 2135   atomic_t fanotify_listeners ;
 2136   atomic_long_t epoll_watches ;
 2137   unsigned long mq_bytes ;
 2138   unsigned long locked_shm ;
 2139   struct key *uid_keyring ;
 2140   struct key *session_keyring ;
 2141   struct hlist_node uidhash_node ;
 2142   uid_t uid ;
 2143   struct user_namespace *user_ns ;
 2144   atomic_long_t locked_vm ;
 2145};
 2146#line 747
 2147struct backing_dev_info;
 2148#line 748
 2149struct reclaim_state;
 2150#line 751 "include/linux/sched.h"
 2151struct sched_info {
 2152   unsigned long pcount ;
 2153   unsigned long long run_delay ;
 2154   unsigned long long last_arrival ;
 2155   unsigned long long last_queued ;
 2156};
 2157#line 763 "include/linux/sched.h"
 2158struct task_delay_info {
 2159   spinlock_t lock ;
 2160   unsigned int flags ;
 2161   struct timespec blkio_start ;
 2162   struct timespec blkio_end ;
 2163   u64 blkio_delay ;
 2164   u64 swapin_delay ;
 2165   u32 blkio_count ;
 2166   u32 swapin_count ;
 2167   struct timespec freepages_start ;
 2168   struct timespec freepages_end ;
 2169   u64 freepages_delay ;
 2170   u32 freepages_count ;
 2171};
 2172#line 1088
 2173struct io_context;
 2174#line 1099
 2175struct pipe_inode_info;
 2176#line 1100
 2177struct uts_namespace;
 2178#line 1102
 2179struct rq;
 2180#line 1122 "include/linux/sched.h"
 2181struct sched_class {
 2182   struct sched_class    *next ;
 2183   void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
 2184   void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
 2185   void (*yield_task)(struct rq *rq ) ;
 2186   bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
 2187   void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
 2188   struct task_struct *(*pick_next_task)(struct rq *rq ) ;
 2189   void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
 2190   int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
 2191   void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
 2192   void (*post_schedule)(struct rq *this_rq ) ;
 2193   void (*task_waking)(struct task_struct *task ) ;
 2194   void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
 2195   void (*set_cpus_allowed)(struct task_struct *p , struct cpumask    *newmask ) ;
 2196   void (*rq_online)(struct rq *rq ) ;
 2197   void (*rq_offline)(struct rq *rq ) ;
 2198   void (*set_curr_task)(struct rq *rq ) ;
 2199   void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
 2200   void (*task_fork)(struct task_struct *p ) ;
 2201   void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
 2202   void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
 2203   void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
 2204   unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
 2205   void (*task_move_group)(struct task_struct *p , int on_rq ) ;
 2206};
 2207#line 1167 "include/linux/sched.h"
 2208struct load_weight {
 2209   unsigned long weight ;
 2210   unsigned long inv_weight ;
 2211};
 2212#line 1172 "include/linux/sched.h"
 2213struct sched_statistics {
 2214   u64 wait_start ;
 2215   u64 wait_max ;
 2216   u64 wait_count ;
 2217   u64 wait_sum ;
 2218   u64 iowait_count ;
 2219   u64 iowait_sum ;
 2220   u64 sleep_start ;
 2221   u64 sleep_max ;
 2222   s64 sum_sleep_runtime ;
 2223   u64 block_start ;
 2224   u64 block_max ;
 2225   u64 exec_max ;
 2226   u64 slice_max ;
 2227   u64 nr_migrations_cold ;
 2228   u64 nr_failed_migrations_affine ;
 2229   u64 nr_failed_migrations_running ;
 2230   u64 nr_failed_migrations_hot ;
 2231   u64 nr_forced_migrations ;
 2232   u64 nr_wakeups ;
 2233   u64 nr_wakeups_sync ;
 2234   u64 nr_wakeups_migrate ;
 2235   u64 nr_wakeups_local ;
 2236   u64 nr_wakeups_remote ;
 2237   u64 nr_wakeups_affine ;
 2238   u64 nr_wakeups_affine_attempts ;
 2239   u64 nr_wakeups_passive ;
 2240   u64 nr_wakeups_idle ;
 2241};
 2242#line 1207 "include/linux/sched.h"
 2243struct sched_entity {
 2244   struct load_weight load ;
 2245   struct rb_node run_node ;
 2246   struct list_head group_node ;
 2247   unsigned int on_rq ;
 2248   u64 exec_start ;
 2249   u64 sum_exec_runtime ;
 2250   u64 vruntime ;
 2251   u64 prev_sum_exec_runtime ;
 2252   u64 nr_migrations ;
 2253   struct sched_statistics statistics ;
 2254   struct sched_entity *parent ;
 2255   struct cfs_rq *cfs_rq ;
 2256   struct cfs_rq *my_q ;
 2257};
 2258#line 1233
 2259struct rt_rq;
 2260#line 1233 "include/linux/sched.h"
 2261struct sched_rt_entity {
 2262   struct list_head run_list ;
 2263   unsigned long timeout ;
 2264   unsigned int time_slice ;
 2265   int nr_cpus_allowed ;
 2266   struct sched_rt_entity *back ;
 2267   struct sched_rt_entity *parent ;
 2268   struct rt_rq *rt_rq ;
 2269   struct rt_rq *my_q ;
 2270};
 2271#line 1264
 2272struct files_struct;
 2273#line 1264
 2274struct css_set;
 2275#line 1264
 2276struct compat_robust_list_head;
 2277#line 1264
 2278struct mem_cgroup;
 2279#line 1264 "include/linux/sched.h"
 2280struct memcg_batch_info {
 2281   int do_batch ;
 2282   struct mem_cgroup *memcg ;
 2283   unsigned long nr_pages ;
 2284   unsigned long memsw_nr_pages ;
 2285};
 2286#line 1264 "include/linux/sched.h"
 2287struct task_struct {
 2288   long volatile   state ;
 2289   void *stack ;
 2290   atomic_t usage ;
 2291   unsigned int flags ;
 2292   unsigned int ptrace ;
 2293   struct llist_node wake_entry ;
 2294   int on_cpu ;
 2295   int on_rq ;
 2296   int prio ;
 2297   int static_prio ;
 2298   int normal_prio ;
 2299   unsigned int rt_priority ;
 2300   struct sched_class    *sched_class ;
 2301   struct sched_entity se ;
 2302   struct sched_rt_entity rt ;
 2303   struct hlist_head preempt_notifiers ;
 2304   unsigned char fpu_counter ;
 2305   unsigned int policy ;
 2306   cpumask_t cpus_allowed ;
 2307   struct sched_info sched_info ;
 2308   struct list_head tasks ;
 2309   struct plist_node pushable_tasks ;
 2310   struct mm_struct *mm ;
 2311   struct mm_struct *active_mm ;
 2312   unsigned int brk_randomized : 1 ;
 2313   int exit_state ;
 2314   int exit_code ;
 2315   int exit_signal ;
 2316   int pdeath_signal ;
 2317   unsigned int jobctl ;
 2318   unsigned int personality ;
 2319   unsigned int did_exec : 1 ;
 2320   unsigned int in_execve : 1 ;
 2321   unsigned int in_iowait : 1 ;
 2322   unsigned int sched_reset_on_fork : 1 ;
 2323   unsigned int sched_contributes_to_load : 1 ;
 2324   unsigned int irq_thread : 1 ;
 2325   pid_t pid ;
 2326   pid_t tgid ;
 2327   unsigned long stack_canary ;
 2328   struct task_struct *real_parent ;
 2329   struct task_struct *parent ;
 2330   struct list_head children ;
 2331   struct list_head sibling ;
 2332   struct task_struct *group_leader ;
 2333   struct list_head ptraced ;
 2334   struct list_head ptrace_entry ;
 2335   struct pid_link pids[3] ;
 2336   struct list_head thread_group ;
 2337   struct completion *vfork_done ;
 2338   int *set_child_tid ;
 2339   int *clear_child_tid ;
 2340   cputime_t utime ;
 2341   cputime_t stime ;
 2342   cputime_t utimescaled ;
 2343   cputime_t stimescaled ;
 2344   cputime_t gtime ;
 2345   cputime_t prev_utime ;
 2346   cputime_t prev_stime ;
 2347   unsigned long nvcsw ;
 2348   unsigned long nivcsw ;
 2349   struct timespec start_time ;
 2350   struct timespec real_start_time ;
 2351   unsigned long min_flt ;
 2352   unsigned long maj_flt ;
 2353   struct task_cputime cputime_expires ;
 2354   struct list_head cpu_timers[3] ;
 2355   struct cred    *real_cred ;
 2356   struct cred    *cred ;
 2357   struct cred *replacement_session_keyring ;
 2358   char comm[16] ;
 2359   int link_count ;
 2360   int total_link_count ;
 2361   struct sysv_sem sysvsem ;
 2362   unsigned long last_switch_count ;
 2363   struct thread_struct thread ;
 2364   struct fs_struct *fs ;
 2365   struct files_struct *files ;
 2366   struct nsproxy *nsproxy ;
 2367   struct signal_struct *signal ;
 2368   struct sighand_struct *sighand ;
 2369   sigset_t blocked ;
 2370   sigset_t real_blocked ;
 2371   sigset_t saved_sigmask ;
 2372   struct sigpending pending ;
 2373   unsigned long sas_ss_sp ;
 2374   size_t sas_ss_size ;
 2375   int (*notifier)(void *priv ) ;
 2376   void *notifier_data ;
 2377   sigset_t *notifier_mask ;
 2378   struct audit_context *audit_context ;
 2379   uid_t loginuid ;
 2380   unsigned int sessionid ;
 2381   seccomp_t seccomp ;
 2382   u32 parent_exec_id ;
 2383   u32 self_exec_id ;
 2384   spinlock_t alloc_lock ;
 2385   raw_spinlock_t pi_lock ;
 2386   struct plist_head pi_waiters ;
 2387   struct rt_mutex_waiter *pi_blocked_on ;
 2388   struct mutex_waiter *blocked_on ;
 2389   unsigned int irq_events ;
 2390   unsigned long hardirq_enable_ip ;
 2391   unsigned long hardirq_disable_ip ;
 2392   unsigned int hardirq_enable_event ;
 2393   unsigned int hardirq_disable_event ;
 2394   int hardirqs_enabled ;
 2395   int hardirq_context ;
 2396   unsigned long softirq_disable_ip ;
 2397   unsigned long softirq_enable_ip ;
 2398   unsigned int softirq_disable_event ;
 2399   unsigned int softirq_enable_event ;
 2400   int softirqs_enabled ;
 2401   int softirq_context ;
 2402   void *journal_info ;
 2403   struct bio_list *bio_list ;
 2404   struct blk_plug *plug ;
 2405   struct reclaim_state *reclaim_state ;
 2406   struct backing_dev_info *backing_dev_info ;
 2407   struct io_context *io_context ;
 2408   unsigned long ptrace_message ;
 2409   siginfo_t *last_siginfo ;
 2410   struct task_io_accounting ioac ;
 2411   u64 acct_rss_mem1 ;
 2412   u64 acct_vm_mem1 ;
 2413   cputime_t acct_timexpd ;
 2414   nodemask_t mems_allowed ;
 2415   seqcount_t mems_allowed_seq ;
 2416   int cpuset_mem_spread_rotor ;
 2417   int cpuset_slab_spread_rotor ;
 2418   struct css_set *cgroups ;
 2419   struct list_head cg_list ;
 2420   struct robust_list_head *robust_list ;
 2421   struct compat_robust_list_head *compat_robust_list ;
 2422   struct list_head pi_state_list ;
 2423   struct futex_pi_state *pi_state_cache ;
 2424   struct perf_event_context *perf_event_ctxp[2] ;
 2425   struct mutex perf_event_mutex ;
 2426   struct list_head perf_event_list ;
 2427   struct mempolicy *mempolicy ;
 2428   short il_next ;
 2429   short pref_node_fork ;
 2430   struct rcu_head rcu ;
 2431   struct pipe_inode_info *splice_pipe ;
 2432   struct task_delay_info *delays ;
 2433   int make_it_fail ;
 2434   int nr_dirtied ;
 2435   int nr_dirtied_pause ;
 2436   unsigned long dirty_paused_when ;
 2437   int latency_record_count ;
 2438   struct latency_record latency_record[32] ;
 2439   unsigned long timer_slack_ns ;
 2440   unsigned long default_timer_slack_ns ;
 2441   struct list_head *scm_work_list ;
 2442   unsigned long trace ;
 2443   unsigned long trace_recursion ;
 2444   struct memcg_batch_info memcg_batch ;
 2445   atomic_t ptrace_bp_refcnt ;
 2446};
 2447#line 46 "include/linux/slub_def.h"
 2448struct kmem_cache_cpu {
 2449   void **freelist ;
 2450   unsigned long tid ;
 2451   struct page *page ;
 2452   struct page *partial ;
 2453   int node ;
 2454   unsigned int stat[26] ;
 2455};
 2456#line 57 "include/linux/slub_def.h"
 2457struct kmem_cache_node {
 2458   spinlock_t list_lock ;
 2459   unsigned long nr_partial ;
 2460   struct list_head partial ;
 2461   atomic_long_t nr_slabs ;
 2462   atomic_long_t total_objects ;
 2463   struct list_head full ;
 2464};
 2465#line 73 "include/linux/slub_def.h"
 2466struct kmem_cache_order_objects {
 2467   unsigned long x ;
 2468};
 2469#line 80 "include/linux/slub_def.h"
 2470struct kmem_cache {
 2471   struct kmem_cache_cpu *cpu_slab ;
 2472   unsigned long flags ;
 2473   unsigned long min_partial ;
 2474   int size ;
 2475   int objsize ;
 2476   int offset ;
 2477   int cpu_partial ;
 2478   struct kmem_cache_order_objects oo ;
 2479   struct kmem_cache_order_objects max ;
 2480   struct kmem_cache_order_objects min ;
 2481   gfp_t allocflags ;
 2482   int refcount ;
 2483   void (*ctor)(void * ) ;
 2484   int inuse ;
 2485   int align ;
 2486   int reserved ;
 2487   char    *name ;
 2488   struct list_head list ;
 2489   struct kobject kobj ;
 2490   int remote_node_defrag_ratio ;
 2491   struct kmem_cache_node *node[1 << 10] ;
 2492};
 2493#line 13 "include/linux/blk_types.h"
 2494struct bio;
 2495#line 14
 2496struct bio_integrity_payload;
 2497#line 16
 2498struct block_device;
 2499#line 17 "include/linux/blk_types.h"
 2500typedef void bio_end_io_t(struct bio * , int  );
 2501#line 18 "include/linux/blk_types.h"
 2502typedef void bio_destructor_t(struct bio * );
 2503#line 23 "include/linux/blk_types.h"
 2504struct bio_vec {
 2505   struct page *bv_page ;
 2506   unsigned int bv_len ;
 2507   unsigned int bv_offset ;
 2508};
 2509#line 33 "include/linux/blk_types.h"
 2510struct bio {
 2511   sector_t bi_sector ;
 2512   struct bio *bi_next ;
 2513   struct block_device *bi_bdev ;
 2514   unsigned long bi_flags ;
 2515   unsigned long bi_rw ;
 2516   unsigned short bi_vcnt ;
 2517   unsigned short bi_idx ;
 2518   unsigned int bi_phys_segments ;
 2519   unsigned int bi_size ;
 2520   unsigned int bi_seg_front_size ;
 2521   unsigned int bi_seg_back_size ;
 2522   unsigned int bi_max_vecs ;
 2523   atomic_t bi_cnt ;
 2524   struct bio_vec *bi_io_vec ;
 2525   bio_end_io_t *bi_end_io ;
 2526   void *bi_private ;
 2527   struct bio_integrity_payload *bi_integrity ;
 2528   bio_destructor_t *bi_destructor ;
 2529   struct bio_vec bi_inline_vecs[0] ;
 2530};
 2531#line 33 "include/linux/list_bl.h"
 2532struct hlist_bl_node;
 2533#line 33 "include/linux/list_bl.h"
 2534struct hlist_bl_head {
 2535   struct hlist_bl_node *first ;
 2536};
 2537#line 37 "include/linux/list_bl.h"
 2538struct hlist_bl_node {
 2539   struct hlist_bl_node *next ;
 2540   struct hlist_bl_node **pprev ;
 2541};
 2542#line 13 "include/linux/dcache.h"
 2543struct nameidata;
 2544#line 14
 2545struct path;
 2546#line 15
 2547struct vfsmount;
 2548#line 35 "include/linux/dcache.h"
 2549struct qstr {
 2550   unsigned int hash ;
 2551   unsigned int len ;
 2552   unsigned char    *name ;
 2553};
 2554#line 88
 2555struct dentry_operations;
 2556#line 88
 2557struct super_block;
 2558#line 88 "include/linux/dcache.h"
 2559union __anonunion_d_u_245 {
 2560   struct list_head d_child ;
 2561   struct rcu_head d_rcu ;
 2562};
 2563#line 88 "include/linux/dcache.h"
 2564struct dentry {
 2565   unsigned int d_flags ;
 2566   seqcount_t d_seq ;
 2567   struct hlist_bl_node d_hash ;
 2568   struct dentry *d_parent ;
 2569   struct qstr d_name ;
 2570   struct inode *d_inode ;
 2571   unsigned char d_iname[32] ;
 2572   unsigned int d_count ;
 2573   spinlock_t d_lock ;
 2574   struct dentry_operations    *d_op ;
 2575   struct super_block *d_sb ;
 2576   unsigned long d_time ;
 2577   void *d_fsdata ;
 2578   struct list_head d_lru ;
 2579   union __anonunion_d_u_245 d_u ;
 2580   struct list_head d_subdirs ;
 2581   struct list_head d_alias ;
 2582};
 2583#line 131 "include/linux/dcache.h"
 2584struct dentry_operations {
 2585   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
 2586   int (*d_hash)(struct dentry    * , struct inode    * , struct qstr * ) ;
 2587   int (*d_compare)(struct dentry    * , struct inode    * , struct dentry  const  * ,
 2588                    struct inode    * , unsigned int  , char    * , struct qstr  const  * ) ;
 2589   int (*d_delete)(struct dentry    * ) ;
 2590   void (*d_release)(struct dentry * ) ;
 2591   void (*d_prune)(struct dentry * ) ;
 2592   void (*d_iput)(struct dentry * , struct inode * ) ;
 2593   char *(*d_dname)(struct dentry * , char * , int  ) ;
 2594   struct vfsmount *(*d_automount)(struct path * ) ;
 2595   int (*d_manage)(struct dentry * , bool  ) ;
 2596} __attribute__((__aligned__((1) <<  (6) ))) ;
 2597#line 7 "include/linux/path.h"
 2598struct path {
 2599   struct vfsmount *mnt ;
 2600   struct dentry *dentry ;
 2601};
 2602#line 64 "include/linux/radix-tree.h"
 2603struct radix_tree_node;
 2604#line 64 "include/linux/radix-tree.h"
 2605struct radix_tree_root {
 2606   unsigned int height ;
 2607   gfp_t gfp_mask ;
 2608   struct radix_tree_node *rnode ;
 2609};
 2610#line 16 "include/linux/fiemap.h"
 2611struct fiemap_extent {
 2612   __u64 fe_logical ;
 2613   __u64 fe_physical ;
 2614   __u64 fe_length ;
 2615   __u64 fe_reserved64[2] ;
 2616   __u32 fe_flags ;
 2617   __u32 fe_reserved[3] ;
 2618};
 2619#line 10 "include/linux/migrate_mode.h"
 2620enum migrate_mode {
 2621    MIGRATE_ASYNC = 0,
 2622    MIGRATE_SYNC_LIGHT = 1,
 2623    MIGRATE_SYNC = 2
 2624} ;
 2625#line 408 "include/linux/fs.h"
 2626struct export_operations;
 2627#line 409
 2628struct hd_geometry;
 2629#line 415
 2630struct poll_table_struct;
 2631#line 416
 2632struct kstatfs;
 2633#line 469 "include/linux/fs.h"
 2634struct iattr {
 2635   unsigned int ia_valid ;
 2636   umode_t ia_mode ;
 2637   uid_t ia_uid ;
 2638   gid_t ia_gid ;
 2639   loff_t ia_size ;
 2640   struct timespec ia_atime ;
 2641   struct timespec ia_mtime ;
 2642   struct timespec ia_ctime ;
 2643   struct file *ia_file ;
 2644};
 2645#line 129 "include/linux/quota.h"
 2646struct if_dqinfo {
 2647   __u64 dqi_bgrace ;
 2648   __u64 dqi_igrace ;
 2649   __u32 dqi_flags ;
 2650   __u32 dqi_valid ;
 2651};
 2652#line 50 "include/linux/dqblk_xfs.h"
 2653struct fs_disk_quota {
 2654   __s8 d_version ;
 2655   __s8 d_flags ;
 2656   __u16 d_fieldmask ;
 2657   __u32 d_id ;
 2658   __u64 d_blk_hardlimit ;
 2659   __u64 d_blk_softlimit ;
 2660   __u64 d_ino_hardlimit ;
 2661   __u64 d_ino_softlimit ;
 2662   __u64 d_bcount ;
 2663   __u64 d_icount ;
 2664   __s32 d_itimer ;
 2665   __s32 d_btimer ;
 2666   __u16 d_iwarns ;
 2667   __u16 d_bwarns ;
 2668   __s32 d_padding2 ;
 2669   __u64 d_rtb_hardlimit ;
 2670   __u64 d_rtb_softlimit ;
 2671   __u64 d_rtbcount ;
 2672   __s32 d_rtbtimer ;
 2673   __u16 d_rtbwarns ;
 2674   __s16 d_padding3 ;
 2675   char d_padding4[8] ;
 2676};
 2677#line 146 "include/linux/dqblk_xfs.h"
 2678struct fs_qfilestat {
 2679   __u64 qfs_ino ;
 2680   __u64 qfs_nblks ;
 2681   __u32 qfs_nextents ;
 2682};
 2683#line 146 "include/linux/dqblk_xfs.h"
 2684typedef struct fs_qfilestat fs_qfilestat_t;
 2685#line 152 "include/linux/dqblk_xfs.h"
 2686struct fs_quota_stat {
 2687   __s8 qs_version ;
 2688   __u16 qs_flags ;
 2689   __s8 qs_pad ;
 2690   fs_qfilestat_t qs_uquota ;
 2691   fs_qfilestat_t qs_gquota ;
 2692   __u32 qs_incoredqs ;
 2693   __s32 qs_btimelimit ;
 2694   __s32 qs_itimelimit ;
 2695   __s32 qs_rtbtimelimit ;
 2696   __u16 qs_bwarnlimit ;
 2697   __u16 qs_iwarnlimit ;
 2698};
 2699#line 17 "include/linux/dqblk_qtree.h"
 2700struct dquot;
 2701#line 185 "include/linux/quota.h"
 2702typedef __kernel_uid32_t qid_t;
 2703#line 186 "include/linux/quota.h"
 2704typedef long long qsize_t;
 2705#line 200 "include/linux/quota.h"
 2706struct mem_dqblk {
 2707   qsize_t dqb_bhardlimit ;
 2708   qsize_t dqb_bsoftlimit ;
 2709   qsize_t dqb_curspace ;
 2710   qsize_t dqb_rsvspace ;
 2711   qsize_t dqb_ihardlimit ;
 2712   qsize_t dqb_isoftlimit ;
 2713   qsize_t dqb_curinodes ;
 2714   time_t dqb_btime ;
 2715   time_t dqb_itime ;
 2716};
 2717#line 215
 2718struct quota_format_type;
 2719#line 217 "include/linux/quota.h"
 2720struct mem_dqinfo {
 2721   struct quota_format_type *dqi_format ;
 2722   int dqi_fmt_id ;
 2723   struct list_head dqi_dirty_list ;
 2724   unsigned long dqi_flags ;
 2725   unsigned int dqi_bgrace ;
 2726   unsigned int dqi_igrace ;
 2727   qsize_t dqi_maxblimit ;
 2728   qsize_t dqi_maxilimit ;
 2729   void *dqi_priv ;
 2730};
 2731#line 288 "include/linux/quota.h"
 2732struct dquot {
 2733   struct hlist_node dq_hash ;
 2734   struct list_head dq_inuse ;
 2735   struct list_head dq_free ;
 2736   struct list_head dq_dirty ;
 2737   struct mutex dq_lock ;
 2738   atomic_t dq_count ;
 2739   wait_queue_head_t dq_wait_unused ;
 2740   struct super_block *dq_sb ;
 2741   unsigned int dq_id ;
 2742   loff_t dq_off ;
 2743   unsigned long dq_flags ;
 2744   short dq_type ;
 2745   struct mem_dqblk dq_dqb ;
 2746};
 2747#line 305 "include/linux/quota.h"
 2748struct quota_format_ops {
 2749   int (*check_quota_file)(struct super_block *sb , int type ) ;
 2750   int (*read_file_info)(struct super_block *sb , int type ) ;
 2751   int (*write_file_info)(struct super_block *sb , int type ) ;
 2752   int (*free_file_info)(struct super_block *sb , int type ) ;
 2753   int (*read_dqblk)(struct dquot *dquot ) ;
 2754   int (*commit_dqblk)(struct dquot *dquot ) ;
 2755   int (*release_dqblk)(struct dquot *dquot ) ;
 2756};
 2757#line 316 "include/linux/quota.h"
 2758struct dquot_operations {
 2759   int (*write_dquot)(struct dquot * ) ;
 2760   struct dquot *(*alloc_dquot)(struct super_block * , int  ) ;
 2761   void (*destroy_dquot)(struct dquot * ) ;
 2762   int (*acquire_dquot)(struct dquot * ) ;
 2763   int (*release_dquot)(struct dquot * ) ;
 2764   int (*mark_dirty)(struct dquot * ) ;
 2765   int (*write_info)(struct super_block * , int  ) ;
 2766   qsize_t *(*get_reserved_space)(struct inode * ) ;
 2767};
 2768#line 332 "include/linux/quota.h"
 2769struct quotactl_ops {
 2770   int (*quota_on)(struct super_block * , int  , int  , struct path * ) ;
 2771   int (*quota_on_meta)(struct super_block * , int  , int  ) ;
 2772   int (*quota_off)(struct super_block * , int  ) ;
 2773   int (*quota_sync)(struct super_block * , int  , int  ) ;
 2774   int (*get_info)(struct super_block * , int  , struct if_dqinfo * ) ;
 2775   int (*set_info)(struct super_block * , int  , struct if_dqinfo * ) ;
 2776   int (*get_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
 2777   int (*set_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
 2778   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
 2779   int (*set_xstate)(struct super_block * , unsigned int  , int  ) ;
 2780};
 2781#line 345 "include/linux/quota.h"
 2782struct quota_format_type {
 2783   int qf_fmt_id ;
 2784   struct quota_format_ops    *qf_ops ;
 2785   struct module *qf_owner ;
 2786   struct quota_format_type *qf_next ;
 2787};
 2788#line 399 "include/linux/quota.h"
 2789struct quota_info {
 2790   unsigned int flags ;
 2791   struct mutex dqio_mutex ;
 2792   struct mutex dqonoff_mutex ;
 2793   struct rw_semaphore dqptr_sem ;
 2794   struct inode *files[2] ;
 2795   struct mem_dqinfo info[2] ;
 2796   struct quota_format_ops    *ops[2] ;
 2797};
 2798#line 577 "include/linux/fs.h"
 2799union __anonunion_arg_252 {
 2800   char *buf ;
 2801   void *data ;
 2802};
 2803#line 577 "include/linux/fs.h"
 2804struct __anonstruct_read_descriptor_t_251 {
 2805   size_t written ;
 2806   size_t count ;
 2807   union __anonunion_arg_252 arg ;
 2808   int error ;
 2809};
 2810#line 577 "include/linux/fs.h"
 2811typedef struct __anonstruct_read_descriptor_t_251 read_descriptor_t;
 2812#line 590 "include/linux/fs.h"
 2813struct address_space_operations {
 2814   int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
 2815   int (*readpage)(struct file * , struct page * ) ;
 2816   int (*writepages)(struct address_space * , struct writeback_control * ) ;
 2817   int (*set_page_dirty)(struct page *page ) ;
 2818   int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
 2819                    unsigned int nr_pages ) ;
 2820   int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
 2821                      unsigned int len , unsigned int flags , struct page **pagep ,
 2822                      void **fsdata ) ;
 2823   int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
 2824                    unsigned int copied , struct page *page , void *fsdata ) ;
 2825   sector_t (*bmap)(struct address_space * , sector_t  ) ;
 2826   void (*invalidatepage)(struct page * , unsigned long  ) ;
 2827   int (*releasepage)(struct page * , gfp_t  ) ;
 2828   void (*freepage)(struct page * ) ;
 2829   ssize_t (*direct_IO)(int  , struct kiocb * , struct iovec    *iov , loff_t offset ,
 2830                        unsigned long nr_segs ) ;
 2831   int (*get_xip_mem)(struct address_space * , unsigned long  , int  , void ** , unsigned long * ) ;
 2832   int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode  ) ;
 2833   int (*launder_page)(struct page * ) ;
 2834   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long  ) ;
 2835   int (*error_remove_page)(struct address_space * , struct page * ) ;
 2836};
 2837#line 646 "include/linux/fs.h"
 2838struct address_space {
 2839   struct inode *host ;
 2840   struct radix_tree_root page_tree ;
 2841   spinlock_t tree_lock ;
 2842   unsigned int i_mmap_writable ;
 2843   struct prio_tree_root i_mmap ;
 2844   struct list_head i_mmap_nonlinear ;
 2845   struct mutex i_mmap_mutex ;
 2846   unsigned long nrpages ;
 2847   unsigned long writeback_index ;
 2848   struct address_space_operations    *a_ops ;
 2849   unsigned long flags ;
 2850   struct backing_dev_info *backing_dev_info ;
 2851   spinlock_t private_lock ;
 2852   struct list_head private_list ;
 2853   struct address_space *assoc_mapping ;
 2854} __attribute__((__aligned__(sizeof(long )))) ;
 2855#line 669
 2856struct request_queue;
 2857#line 671
 2858struct hd_struct;
 2859#line 671
 2860struct gendisk;
 2861#line 671 "include/linux/fs.h"
 2862struct block_device {
 2863   dev_t bd_dev ;
 2864   int bd_openers ;
 2865   struct inode *bd_inode ;
 2866   struct super_block *bd_super ;
 2867   struct mutex bd_mutex ;
 2868   struct list_head bd_inodes ;
 2869   void *bd_claiming ;
 2870   void *bd_holder ;
 2871   int bd_holders ;
 2872   bool bd_write_holder ;
 2873   struct list_head bd_holder_disks ;
 2874   struct block_device *bd_contains ;
 2875   unsigned int bd_block_size ;
 2876   struct hd_struct *bd_part ;
 2877   unsigned int bd_part_count ;
 2878   int bd_invalidated ;
 2879   struct gendisk *bd_disk ;
 2880   struct request_queue *bd_queue ;
 2881   struct list_head bd_list ;
 2882   unsigned long bd_private ;
 2883   int bd_fsfreeze_count ;
 2884   struct mutex bd_fsfreeze_mutex ;
 2885};
 2886#line 749
 2887struct posix_acl;
 2888#line 761
 2889struct inode_operations;
 2890#line 761 "include/linux/fs.h"
 2891union __anonunion____missing_field_name_253 {
 2892   unsigned int    i_nlink ;
 2893   unsigned int __i_nlink ;
 2894};
 2895#line 761 "include/linux/fs.h"
 2896union __anonunion____missing_field_name_254 {
 2897   struct list_head i_dentry ;
 2898   struct rcu_head i_rcu ;
 2899};
 2900#line 761
 2901struct file_operations;
 2902#line 761
 2903struct file_lock;
 2904#line 761
 2905struct cdev;
 2906#line 761 "include/linux/fs.h"
 2907union __anonunion____missing_field_name_255 {
 2908   struct pipe_inode_info *i_pipe ;
 2909   struct block_device *i_bdev ;
 2910   struct cdev *i_cdev ;
 2911};
 2912#line 761 "include/linux/fs.h"
 2913struct inode {
 2914   umode_t i_mode ;
 2915   unsigned short i_opflags ;
 2916   uid_t i_uid ;
 2917   gid_t i_gid ;
 2918   unsigned int i_flags ;
 2919   struct posix_acl *i_acl ;
 2920   struct posix_acl *i_default_acl ;
 2921   struct inode_operations    *i_op ;
 2922   struct super_block *i_sb ;
 2923   struct address_space *i_mapping ;
 2924   void *i_security ;
 2925   unsigned long i_ino ;
 2926   union __anonunion____missing_field_name_253 __annonCompField44 ;
 2927   dev_t i_rdev ;
 2928   struct timespec i_atime ;
 2929   struct timespec i_mtime ;
 2930   struct timespec i_ctime ;
 2931   spinlock_t i_lock ;
 2932   unsigned short i_bytes ;
 2933   blkcnt_t i_blocks ;
 2934   loff_t i_size ;
 2935   unsigned long i_state ;
 2936   struct mutex i_mutex ;
 2937   unsigned long dirtied_when ;
 2938   struct hlist_node i_hash ;
 2939   struct list_head i_wb_list ;
 2940   struct list_head i_lru ;
 2941   struct list_head i_sb_list ;
 2942   union __anonunion____missing_field_name_254 __annonCompField45 ;
 2943   atomic_t i_count ;
 2944   unsigned int i_blkbits ;
 2945   u64 i_version ;
 2946   atomic_t i_dio_count ;
 2947   atomic_t i_writecount ;
 2948   struct file_operations    *i_fop ;
 2949   struct file_lock *i_flock ;
 2950   struct address_space i_data ;
 2951   struct dquot *i_dquot[2] ;
 2952   struct list_head i_devices ;
 2953   union __anonunion____missing_field_name_255 __annonCompField46 ;
 2954   __u32 i_generation ;
 2955   __u32 i_fsnotify_mask ;
 2956   struct hlist_head i_fsnotify_marks ;
 2957   atomic_t i_readcount ;
 2958   void *i_private ;
 2959};
 2960#line 942 "include/linux/fs.h"
 2961struct fown_struct {
 2962   rwlock_t lock ;
 2963   struct pid *pid ;
 2964   enum pid_type pid_type ;
 2965   uid_t uid ;
 2966   uid_t euid ;
 2967   int signum ;
 2968};
 2969#line 953 "include/linux/fs.h"
 2970struct file_ra_state {
 2971   unsigned long start ;
 2972   unsigned int size ;
 2973   unsigned int async_size ;
 2974   unsigned int ra_pages ;
 2975   unsigned int mmap_miss ;
 2976   loff_t prev_pos ;
 2977};
 2978#line 976 "include/linux/fs.h"
 2979union __anonunion_f_u_256 {
 2980   struct list_head fu_list ;
 2981   struct rcu_head fu_rcuhead ;
 2982};
 2983#line 976 "include/linux/fs.h"
 2984struct file {
 2985   union __anonunion_f_u_256 f_u ;
 2986   struct path f_path ;
 2987   struct file_operations    *f_op ;
 2988   spinlock_t f_lock ;
 2989   int f_sb_list_cpu ;
 2990   atomic_long_t f_count ;
 2991   unsigned int f_flags ;
 2992   fmode_t f_mode ;
 2993   loff_t f_pos ;
 2994   struct fown_struct f_owner ;
 2995   struct cred    *f_cred ;
 2996   struct file_ra_state f_ra ;
 2997   u64 f_version ;
 2998   void *f_security ;
 2999   void *private_data ;
 3000   struct list_head f_ep_links ;
 3001   struct list_head f_tfile_llink ;
 3002   struct address_space *f_mapping ;
 3003   unsigned long f_mnt_write_state ;
 3004};
 3005#line 1111 "include/linux/fs.h"
 3006typedef struct files_struct *fl_owner_t;
 3007#line 1113 "include/linux/fs.h"
 3008struct file_lock_operations {
 3009   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
 3010   void (*fl_release_private)(struct file_lock * ) ;
 3011};
 3012#line 1118 "include/linux/fs.h"
 3013struct lock_manager_operations {
 3014   int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
 3015   void (*lm_notify)(struct file_lock * ) ;
 3016   int (*lm_grant)(struct file_lock * , struct file_lock * , int  ) ;
 3017   void (*lm_release_private)(struct file_lock * ) ;
 3018   void (*lm_break)(struct file_lock * ) ;
 3019   int (*lm_change)(struct file_lock ** , int  ) ;
 3020};
 3021#line 4 "include/linux/nfs_fs_i.h"
 3022struct nlm_lockowner;
 3023#line 9 "include/linux/nfs_fs_i.h"
 3024struct nfs_lock_info {
 3025   u32 state ;
 3026   struct nlm_lockowner *owner ;
 3027   struct list_head list ;
 3028};
 3029#line 15
 3030struct nfs4_lock_state;
 3031#line 16 "include/linux/nfs_fs_i.h"
 3032struct nfs4_lock_info {
 3033   struct nfs4_lock_state *owner ;
 3034};
 3035#line 1138 "include/linux/fs.h"
 3036struct fasync_struct;
 3037#line 1138 "include/linux/fs.h"
 3038struct __anonstruct_afs_258 {
 3039   struct list_head link ;
 3040   int state ;
 3041};
 3042#line 1138 "include/linux/fs.h"
 3043union __anonunion_fl_u_257 {
 3044   struct nfs_lock_info nfs_fl ;
 3045   struct nfs4_lock_info nfs4_fl ;
 3046   struct __anonstruct_afs_258 afs ;
 3047};
 3048#line 1138 "include/linux/fs.h"
 3049struct file_lock {
 3050   struct file_lock *fl_next ;
 3051   struct list_head fl_link ;
 3052   struct list_head fl_block ;
 3053   fl_owner_t fl_owner ;
 3054   unsigned int fl_flags ;
 3055   unsigned char fl_type ;
 3056   unsigned int fl_pid ;
 3057   struct pid *fl_nspid ;
 3058   wait_queue_head_t fl_wait ;
 3059   struct file *fl_file ;
 3060   loff_t fl_start ;
 3061   loff_t fl_end ;
 3062   struct fasync_struct *fl_fasync ;
 3063   unsigned long fl_break_time ;
 3064   unsigned long fl_downgrade_time ;
 3065   struct file_lock_operations    *fl_ops ;
 3066   struct lock_manager_operations    *fl_lmops ;
 3067   union __anonunion_fl_u_257 fl_u ;
 3068};
 3069#line 1378 "include/linux/fs.h"
 3070struct fasync_struct {
 3071   spinlock_t fa_lock ;
 3072   int magic ;
 3073   int fa_fd ;
 3074   struct fasync_struct *fa_next ;
 3075   struct file *fa_file ;
 3076   struct rcu_head fa_rcu ;
 3077};
 3078#line 1418
 3079struct file_system_type;
 3080#line 1418
 3081struct super_operations;
 3082#line 1418
 3083struct xattr_handler;
 3084#line 1418
 3085struct mtd_info;
 3086#line 1418 "include/linux/fs.h"
 3087struct super_block {
 3088   struct list_head s_list ;
 3089   dev_t s_dev ;
 3090   unsigned char s_dirt ;
 3091   unsigned char s_blocksize_bits ;
 3092   unsigned long s_blocksize ;
 3093   loff_t s_maxbytes ;
 3094   struct file_system_type *s_type ;
 3095   struct super_operations    *s_op ;
 3096   struct dquot_operations    *dq_op ;
 3097   struct quotactl_ops    *s_qcop ;
 3098   struct export_operations    *s_export_op ;
 3099   unsigned long s_flags ;
 3100   unsigned long s_magic ;
 3101   struct dentry *s_root ;
 3102   struct rw_semaphore s_umount ;
 3103   struct mutex s_lock ;
 3104   int s_count ;
 3105   atomic_t s_active ;
 3106   void *s_security ;
 3107   struct xattr_handler    **s_xattr ;
 3108   struct list_head s_inodes ;
 3109   struct hlist_bl_head s_anon ;
 3110   struct list_head *s_files ;
 3111   struct list_head s_mounts ;
 3112   struct list_head s_dentry_lru ;
 3113   int s_nr_dentry_unused ;
 3114   spinlock_t s_inode_lru_lock  __attribute__((__aligned__((1) <<  (6) ))) ;
 3115   struct list_head s_inode_lru ;
 3116   int s_nr_inodes_unused ;
 3117   struct block_device *s_bdev ;
 3118   struct backing_dev_info *s_bdi ;
 3119   struct mtd_info *s_mtd ;
 3120   struct hlist_node s_instances ;
 3121   struct quota_info s_dquot ;
 3122   int s_frozen ;
 3123   wait_queue_head_t s_wait_unfrozen ;
 3124   char s_id[32] ;
 3125   u8 s_uuid[16] ;
 3126   void *s_fs_info ;
 3127   unsigned int s_max_links ;
 3128   fmode_t s_mode ;
 3129   u32 s_time_gran ;
 3130   struct mutex s_vfs_rename_mutex ;
 3131   char *s_subtype ;
 3132   char *s_options ;
 3133   struct dentry_operations    *s_d_op ;
 3134   int cleancache_poolid ;
 3135   struct shrinker s_shrink ;
 3136   atomic_long_t s_remove_count ;
 3137   int s_readonly_remount ;
 3138};
 3139#line 1567 "include/linux/fs.h"
 3140struct fiemap_extent_info {
 3141   unsigned int fi_flags ;
 3142   unsigned int fi_extents_mapped ;
 3143   unsigned int fi_extents_max ;
 3144   struct fiemap_extent *fi_extents_start ;
 3145};
 3146#line 1601
 3147struct block_device_operations;
 3148#line 1609 "include/linux/fs.h"
 3149struct file_operations {
 3150   struct module *owner ;
 3151   loff_t (*llseek)(struct file * , loff_t  , int  ) ;
 3152   ssize_t (*read)(struct file * , char * , size_t  , loff_t * ) ;
 3153   ssize_t (*write)(struct file * , char    * , size_t  , loff_t * ) ;
 3154   ssize_t (*aio_read)(struct kiocb * , struct iovec    * , unsigned long  ,
 3155                       loff_t  ) ;
 3156   ssize_t (*aio_write)(struct kiocb * , struct iovec    * , unsigned long  ,
 3157                        loff_t  ) ;
 3158   int (*readdir)(struct file * , void * , int (*)(void * , char    * , int  ,
 3159                                                   loff_t  , u64  , unsigned int  ) ) ;
 3160   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
 3161   long (*unlocked_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
 3162   long (*compat_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
 3163   int (*mmap)(struct file * , struct vm_area_struct * ) ;
 3164   int (*open)(struct inode * , struct file * ) ;
 3165   int (*flush)(struct file * , fl_owner_t id ) ;
 3166   int (*release)(struct inode * , struct file * ) ;
 3167   int (*fsync)(struct file * , loff_t  , loff_t  , int datasync ) ;
 3168   int (*aio_fsync)(struct kiocb * , int datasync ) ;
 3169   int (*fasync)(int  , struct file * , int  ) ;
 3170   int (*lock)(struct file * , int  , struct file_lock * ) ;
 3171   ssize_t (*sendpage)(struct file * , struct page * , int  , size_t  , loff_t * ,
 3172                       int  ) ;
 3173   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
 3174                                      unsigned long  , unsigned long  ) ;
 3175   int (*check_flags)(int  ) ;
 3176   int (*flock)(struct file * , int  , struct file_lock * ) ;
 3177   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t  ,
 3178                           unsigned int  ) ;
 3179   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t  ,
 3180                          unsigned int  ) ;
 3181   int (*setlease)(struct file * , long  , struct file_lock ** ) ;
 3182   long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
 3183};
 3184#line 1639 "include/linux/fs.h"
 3185struct inode_operations {
 3186   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
 3187   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
 3188   int (*permission)(struct inode * , int  ) ;
 3189   struct posix_acl *(*get_acl)(struct inode * , int  ) ;
 3190   int (*readlink)(struct dentry * , char * , int  ) ;
 3191   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
 3192   int (*create)(struct inode * , struct dentry * , umode_t  , struct nameidata * ) ;
 3193   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
 3194   int (*unlink)(struct inode * , struct dentry * ) ;
 3195   int (*symlink)(struct inode * , struct dentry * , char    * ) ;
 3196   int (*mkdir)(struct inode * , struct dentry * , umode_t  ) ;
 3197   int (*rmdir)(struct inode * , struct dentry * ) ;
 3198   int (*mknod)(struct inode * , struct dentry * , umode_t  , dev_t  ) ;
 3199   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
 3200   void (*truncate)(struct inode * ) ;
 3201   int (*setattr)(struct dentry * , struct iattr * ) ;
 3202   int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
 3203   int (*setxattr)(struct dentry * , char    * , void    * , size_t  , int  ) ;
 3204   ssize_t (*getxattr)(struct dentry * , char    * , void * , size_t  ) ;
 3205   ssize_t (*listxattr)(struct dentry * , char * , size_t  ) ;
 3206   int (*removexattr)(struct dentry * , char    * ) ;
 3207   void (*truncate_range)(struct inode * , loff_t  , loff_t  ) ;
 3208   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
 3209} __attribute__((__aligned__((1) <<  (6) ))) ;
 3210#line 1684 "include/linux/fs.h"
 3211struct super_operations {
 3212   struct inode *(*alloc_inode)(struct super_block *sb ) ;
 3213   void (*destroy_inode)(struct inode * ) ;
 3214   void (*dirty_inode)(struct inode * , int flags ) ;
 3215   int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
 3216   int (*drop_inode)(struct inode * ) ;
 3217   void (*evict_inode)(struct inode * ) ;
 3218   void (*put_super)(struct super_block * ) ;
 3219   void (*write_super)(struct super_block * ) ;
 3220   int (*sync_fs)(struct super_block *sb , int wait ) ;
 3221   int (*freeze_fs)(struct super_block * ) ;
 3222   int (*unfreeze_fs)(struct super_block * ) ;
 3223   int (*statfs)(struct dentry * , struct kstatfs * ) ;
 3224   int (*remount_fs)(struct super_block * , int * , char * ) ;
 3225   void (*umount_begin)(struct super_block * ) ;
 3226   int (*show_options)(struct seq_file * , struct dentry * ) ;
 3227   int (*show_devname)(struct seq_file * , struct dentry * ) ;
 3228   int (*show_path)(struct seq_file * , struct dentry * ) ;
 3229   int (*show_stats)(struct seq_file * , struct dentry * ) ;
 3230   ssize_t (*quota_read)(struct super_block * , int  , char * , size_t  , loff_t  ) ;
 3231   ssize_t (*quota_write)(struct super_block * , int  , char    * , size_t  ,
 3232                          loff_t  ) ;
 3233   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t  ) ;
 3234   int (*nr_cached_objects)(struct super_block * ) ;
 3235   void (*free_cached_objects)(struct super_block * , int  ) ;
 3236};
 3237#line 1835 "include/linux/fs.h"
 3238struct file_system_type {
 3239   char    *name ;
 3240   int fs_flags ;
 3241   struct dentry *(*mount)(struct file_system_type * , int  , char    * , void * ) ;
 3242   void (*kill_sb)(struct super_block * ) ;
 3243   struct module *owner ;
 3244   struct file_system_type *next ;
 3245   struct hlist_head fs_supers ;
 3246   struct lock_class_key s_lock_key ;
 3247   struct lock_class_key s_umount_key ;
 3248   struct lock_class_key s_vfs_rename_key ;
 3249   struct lock_class_key i_lock_key ;
 3250   struct lock_class_key i_mutex_key ;
 3251   struct lock_class_key i_mutex_dir_key ;
 3252};
 3253#line 82 "include/linux/genhd.h"
 3254struct disk_stats {
 3255   unsigned long sectors[2] ;
 3256   unsigned long ios[2] ;
 3257   unsigned long merges[2] ;
 3258   unsigned long ticks[2] ;
 3259   unsigned long io_ticks ;
 3260   unsigned long time_in_queue ;
 3261};
 3262#line 94 "include/linux/genhd.h"
 3263struct partition_meta_info {
 3264   u8 uuid[16] ;
 3265   u8 volname[64] ;
 3266};
 3267#line 99 "include/linux/genhd.h"
 3268struct hd_struct {
 3269   sector_t start_sect ;
 3270   sector_t nr_sects ;
 3271   sector_t alignment_offset ;
 3272   unsigned int discard_alignment ;
 3273   struct device __dev ;
 3274   struct kobject *holder_dir ;
 3275   int policy ;
 3276   int partno ;
 3277   struct partition_meta_info *info ;
 3278   int make_it_fail ;
 3279   unsigned long stamp ;
 3280   atomic_t in_flight[2] ;
 3281   struct disk_stats *dkstats ;
 3282   atomic_t ref ;
 3283   struct rcu_head rcu_head ;
 3284};
 3285#line 147 "include/linux/genhd.h"
 3286struct disk_part_tbl {
 3287   struct rcu_head rcu_head ;
 3288   int len ;
 3289   struct hd_struct *last_lookup ;
 3290   struct hd_struct *part[] ;
 3291};
 3292#line 154
 3293struct disk_events;
 3294#line 156
 3295struct timer_rand_state;
 3296#line 156
 3297struct blk_integrity;
 3298#line 156 "include/linux/genhd.h"
 3299struct gendisk {
 3300   int major ;
 3301   int first_minor ;
 3302   int minors ;
 3303   char disk_name[32] ;
 3304   char *(*devnode)(struct gendisk *gd , umode_t *mode ) ;
 3305   unsigned int events ;
 3306   unsigned int async_events ;
 3307   struct disk_part_tbl *part_tbl ;
 3308   struct hd_struct part0 ;
 3309   struct block_device_operations    *fops ;
 3310   struct request_queue *queue ;
 3311   void *private_data ;
 3312   int flags ;
 3313   struct device *driverfs_dev ;
 3314   struct kobject *slave_dir ;
 3315   struct timer_rand_state *random ;
 3316   atomic_t sync_io ;
 3317   struct disk_events *ev ;
 3318   struct blk_integrity *integrity ;
 3319   int node_id ;
 3320};
 3321#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
 3322struct exception_table_entry {
 3323   unsigned long insn ;
 3324   unsigned long fixup ;
 3325};
 3326#line 12 "include/linux/irqdesc.h"
 3327struct proc_dir_entry;
 3328#line 33 "include/linux/writeback.h"
 3329enum writeback_sync_modes {
 3330    WB_SYNC_NONE = 0,
 3331    WB_SYNC_ALL = 1
 3332} ;
 3333#line 60 "include/linux/writeback.h"
 3334struct writeback_control {
 3335   enum writeback_sync_modes sync_mode ;
 3336   long nr_to_write ;
 3337   long pages_skipped ;
 3338   loff_t range_start ;
 3339   loff_t range_end ;
 3340   unsigned int for_kupdate : 1 ;
 3341   unsigned int for_background : 1 ;
 3342   unsigned int tagged_writepages : 1 ;
 3343   unsigned int for_reclaim : 1 ;
 3344   unsigned int range_cyclic : 1 ;
 3345};
 3346#line 84
 3347struct bdi_writeback;
 3348#line 38 "include/linux/backing-dev.h"
 3349typedef int congested_fn(void * , int  );
 3350#line 50 "include/linux/backing-dev.h"
 3351struct bdi_writeback {
 3352   struct backing_dev_info *bdi ;
 3353   unsigned int nr ;
 3354   unsigned long last_old_flush ;
 3355   unsigned long last_active ;
 3356   struct task_struct *task ;
 3357   struct timer_list wakeup_timer ;
 3358   struct list_head b_dirty ;
 3359   struct list_head b_io ;
 3360   struct list_head b_more_io ;
 3361   spinlock_t list_lock ;
 3362};
 3363#line 65 "include/linux/backing-dev.h"
 3364struct backing_dev_info {
 3365   struct list_head bdi_list ;
 3366   unsigned long ra_pages ;
 3367   unsigned long state ;
 3368   unsigned int capabilities ;
 3369   congested_fn *congested_fn ;
 3370   void *congested_data ;
 3371   char *name ;
 3372   struct percpu_counter bdi_stat[4] ;
 3373   unsigned long bw_time_stamp ;
 3374   unsigned long dirtied_stamp ;
 3375   unsigned long written_stamp ;
 3376   unsigned long write_bandwidth ;
 3377   unsigned long avg_write_bandwidth ;
 3378   unsigned long dirty_ratelimit ;
 3379   unsigned long balanced_dirty_ratelimit ;
 3380   struct prop_local_percpu completions ;
 3381   int dirty_exceeded ;
 3382   unsigned int min_ratio ;
 3383   unsigned int max_ratio ;
 3384   unsigned int max_prop_frac ;
 3385   struct bdi_writeback wb ;
 3386   spinlock_t wb_lock ;
 3387   struct list_head work_list ;
 3388   struct device *dev ;
 3389   struct timer_list laptop_mode_wb_timer ;
 3390   struct dentry *debug_dir ;
 3391   struct dentry *debug_stats ;
 3392};
 3393#line 11 "include/linux/mempool.h"
 3394typedef void *mempool_alloc_t(gfp_t gfp_mask , void *pool_data );
 3395#line 12 "include/linux/mempool.h"
 3396typedef void mempool_free_t(void *element , void *pool_data );
 3397#line 14 "include/linux/mempool.h"
 3398struct mempool_s {
 3399   spinlock_t lock ;
 3400   int min_nr ;
 3401   int curr_nr ;
 3402   void **elements ;
 3403   void *pool_data ;
 3404   mempool_alloc_t *alloc ;
 3405   mempool_free_t *free ;
 3406   wait_queue_head_t wait ;
 3407};
 3408#line 14 "include/linux/mempool.h"
 3409typedef struct mempool_s mempool_t;
 3410#line 75 "include/linux/iocontext.h"
 3411union __anonunion____missing_field_name_269 {
 3412   struct list_head q_node ;
 3413   struct kmem_cache *__rcu_icq_cache ;
 3414};
 3415#line 75 "include/linux/iocontext.h"
 3416union __anonunion____missing_field_name_270 {
 3417   struct hlist_node ioc_node ;
 3418   struct rcu_head __rcu_head ;
 3419};
 3420#line 75 "include/linux/iocontext.h"
 3421struct io_cq {
 3422   struct request_queue *q ;
 3423   struct io_context *ioc ;
 3424   union __anonunion____missing_field_name_269 __annonCompField47 ;
 3425   union __anonunion____missing_field_name_270 __annonCompField48 ;
 3426   unsigned int flags ;
 3427};
 3428#line 101 "include/linux/iocontext.h"
 3429struct io_context {
 3430   atomic_long_t refcount ;
 3431   atomic_t nr_tasks ;
 3432   spinlock_t lock ;
 3433   unsigned short ioprio ;
 3434   int nr_batch_requests ;
 3435   unsigned long last_waited ;
 3436   struct radix_tree_root icq_tree ;
 3437   struct io_cq *icq_hint ;
 3438   struct hlist_head icq_list ;
 3439   struct work_struct release_work ;
 3440};
 3441#line 170 "include/linux/bio.h"
 3442struct bio_integrity_payload {
 3443   struct bio *bip_bio ;
 3444   sector_t bip_sector ;
 3445   void *bip_buf ;
 3446   bio_end_io_t *bip_end_io ;
 3447   unsigned int bip_size ;
 3448   unsigned short bip_slab ;
 3449   unsigned short bip_vcnt ;
 3450   unsigned short bip_idx ;
 3451   struct work_struct bip_work ;
 3452   struct bio_vec bip_vec[0] ;
 3453};
 3454#line 374 "include/linux/bio.h"
 3455struct bio_list {
 3456   struct bio *head ;
 3457   struct bio *tail ;
 3458};
 3459#line 67 "include/linux/bsg.h"
 3460struct bsg_class_device {
 3461   struct device *class_dev ;
 3462   struct device *parent ;
 3463   int minor ;
 3464   struct request_queue *queue ;
 3465   struct kref ref ;
 3466   void (*release)(struct device * ) ;
 3467};
 3468#line 29 "include/linux/blkdev.h"
 3469struct elevator_queue;
 3470#line 32
 3471struct request;
 3472#line 34
 3473struct bsg_job;
 3474#line 40 "include/linux/blkdev.h"
 3475typedef void rq_end_io_fn(struct request * , int  );
 3476#line 42 "include/linux/blkdev.h"
 3477struct request_list {
 3478   int count[2] ;
 3479   int starved[2] ;
 3480   int elvpriv ;
 3481   mempool_t *rq_pool ;
 3482   wait_queue_head_t wait[2] ;
 3483};
 3484#line 57
 3485enum rq_cmd_type_bits {
 3486    REQ_TYPE_FS = 1,
 3487    REQ_TYPE_BLOCK_PC = 2,
 3488    REQ_TYPE_SENSE = 3,
 3489    REQ_TYPE_PM_SUSPEND = 4,
 3490    REQ_TYPE_PM_RESUME = 5,
 3491    REQ_TYPE_PM_SHUTDOWN = 6,
 3492    REQ_TYPE_SPECIAL = 7,
 3493    REQ_TYPE_ATA_TASKFILE = 8,
 3494    REQ_TYPE_ATA_PC = 9
 3495} ;
 3496#line 81 "include/linux/blkdev.h"
 3497union __anonunion____missing_field_name_273 {
 3498   struct rb_node rb_node ;
 3499   void *completion_data ;
 3500};
 3501#line 81 "include/linux/blkdev.h"
 3502struct __anonstruct_elv_275 {
 3503   struct io_cq *icq ;
 3504   void *priv[2] ;
 3505};
 3506#line 81 "include/linux/blkdev.h"
 3507struct __anonstruct_flush_276 {
 3508   unsigned int seq ;
 3509   struct list_head list ;
 3510   rq_end_io_fn *saved_end_io ;
 3511};
 3512#line 81 "include/linux/blkdev.h"
 3513union __anonunion____missing_field_name_274 {
 3514   struct __anonstruct_elv_275 elv ;
 3515   struct __anonstruct_flush_276 flush ;
 3516};
 3517#line 81 "include/linux/blkdev.h"
 3518struct request {
 3519   struct list_head queuelist ;
 3520   struct call_single_data csd ;
 3521   struct request_queue *q ;
 3522   unsigned int cmd_flags ;
 3523   enum rq_cmd_type_bits cmd_type ;
 3524   unsigned long atomic_flags ;
 3525   int cpu ;
 3526   unsigned int __data_len ;
 3527   sector_t __sector ;
 3528   struct bio *bio ;
 3529   struct bio *biotail ;
 3530   struct hlist_node hash ;
 3531   union __anonunion____missing_field_name_273 __annonCompField49 ;
 3532   union __anonunion____missing_field_name_274 __annonCompField50 ;
 3533   struct gendisk *rq_disk ;
 3534   struct hd_struct *part ;
 3535   unsigned long start_time ;
 3536   unsigned short nr_phys_segments ;
 3537   unsigned short nr_integrity_segments ;
 3538   unsigned short ioprio ;
 3539   int ref_count ;
 3540   void *special ;
 3541   char *buffer ;
 3542   int tag ;
 3543   int errors ;
 3544   unsigned char __cmd[16] ;
 3545   unsigned char *cmd ;
 3546   unsigned short cmd_len ;
 3547   unsigned int extra_len ;
 3548   unsigned int sense_len ;
 3549   unsigned int resid_len ;
 3550   void *sense ;
 3551   unsigned long deadline ;
 3552   struct list_head timeout_list ;
 3553   unsigned int timeout ;
 3554   int retries ;
 3555   rq_end_io_fn *end_io ;
 3556   void *end_io_data ;
 3557   struct request *next_rq ;
 3558};
 3559#line 10 "include/linux/elevator.h"
 3560typedef int elevator_merge_fn(struct request_queue * , struct request ** , struct bio * );
 3561#line 13 "include/linux/elevator.h"
 3562typedef void elevator_merge_req_fn(struct request_queue * , struct request * , struct request * );
 3563#line 15 "include/linux/elevator.h"
 3564typedef void elevator_merged_fn(struct request_queue * , struct request * , int  );
 3565#line 17 "include/linux/elevator.h"
 3566typedef int elevator_allow_merge_fn(struct request_queue * , struct request * , struct bio * );
 3567#line 19 "include/linux/elevator.h"
 3568typedef void elevator_bio_merged_fn(struct request_queue * , struct request * , struct bio * );
 3569#line 22 "include/linux/elevator.h"
 3570typedef int elevator_dispatch_fn(struct request_queue * , int  );
 3571#line 24 "include/linux/elevator.h"
 3572typedef void elevator_add_req_fn(struct request_queue * , struct request * );
 3573#line 25 "include/linux/elevator.h"
 3574typedef struct request *elevator_request_list_fn(struct request_queue * , struct request * );
 3575#line 26 "include/linux/elevator.h"
 3576typedef void elevator_completed_req_fn(struct request_queue * , struct request * );
 3577#line 27 "include/linux/elevator.h"
 3578typedef int elevator_may_queue_fn(struct request_queue * , int  );
 3579#line 29 "include/linux/elevator.h"
 3580typedef void elevator_init_icq_fn(struct io_cq * );
 3581#line 30 "include/linux/elevator.h"
 3582typedef void elevator_exit_icq_fn(struct io_cq * );
 3583#line 31 "include/linux/elevator.h"
 3584typedef int elevator_set_req_fn(struct request_queue * , struct request * , gfp_t  );
 3585#line 32 "include/linux/elevator.h"
 3586typedef void elevator_put_req_fn(struct request * );
 3587#line 33 "include/linux/elevator.h"
 3588typedef void elevator_activate_req_fn(struct request_queue * , struct request * );
 3589#line 34 "include/linux/elevator.h"
 3590typedef void elevator_deactivate_req_fn(struct request_queue * , struct request * );
 3591#line 36 "include/linux/elevator.h"
 3592typedef void *elevator_init_fn(struct request_queue * );
 3593#line 37 "include/linux/elevator.h"
 3594typedef void elevator_exit_fn(struct elevator_queue * );
 3595#line 39 "include/linux/elevator.h"
 3596struct elevator_ops {
 3597   elevator_merge_fn *elevator_merge_fn ;
 3598   elevator_merged_fn *elevator_merged_fn ;
 3599   elevator_merge_req_fn *elevator_merge_req_fn ;
 3600   elevator_allow_merge_fn *elevator_allow_merge_fn ;
 3601   elevator_bio_merged_fn *elevator_bio_merged_fn ;
 3602   elevator_dispatch_fn *elevator_dispatch_fn ;
 3603   elevator_add_req_fn *elevator_add_req_fn ;
 3604   elevator_activate_req_fn *elevator_activate_req_fn ;
 3605   elevator_deactivate_req_fn *elevator_deactivate_req_fn ;
 3606   elevator_completed_req_fn *elevator_completed_req_fn ;
 3607   elevator_request_list_fn *elevator_former_req_fn ;
 3608   elevator_request_list_fn *elevator_latter_req_fn ;
 3609   elevator_init_icq_fn *elevator_init_icq_fn ;
 3610   elevator_exit_icq_fn *elevator_exit_icq_fn ;
 3611   elevator_set_req_fn *elevator_set_req_fn ;
 3612   elevator_put_req_fn *elevator_put_req_fn ;
 3613   elevator_may_queue_fn *elevator_may_queue_fn ;
 3614   elevator_init_fn *elevator_init_fn ;
 3615   elevator_exit_fn *elevator_exit_fn ;
 3616};
 3617#line 71 "include/linux/elevator.h"
 3618struct elv_fs_entry {
 3619   struct attribute attr ;
 3620   ssize_t (*show)(struct elevator_queue * , char * ) ;
 3621   ssize_t (*store)(struct elevator_queue * , char    * , size_t  ) ;
 3622};
 3623#line 80 "include/linux/elevator.h"
 3624struct elevator_type {
 3625   struct kmem_cache *icq_cache ;
 3626   struct elevator_ops ops ;
 3627   size_t icq_size ;
 3628   size_t icq_align ;
 3629   struct elv_fs_entry *elevator_attrs ;
 3630   char elevator_name[16] ;
 3631   struct module *elevator_owner ;
 3632   char icq_cache_name[21] ;
 3633   struct list_head list ;
 3634};
 3635#line 101 "include/linux/elevator.h"
 3636struct elevator_queue {
 3637   struct elevator_type *type ;
 3638   void *elevator_data ;
 3639   struct kobject kobj ;
 3640   struct mutex sysfs_lock ;
 3641   struct hlist_head *hash ;
 3642   unsigned int registered : 1 ;
 3643};
 3644#line 202 "include/linux/blkdev.h"
 3645typedef void request_fn_proc(struct request_queue *q );
 3646#line 203 "include/linux/blkdev.h"
 3647typedef void make_request_fn(struct request_queue *q , struct bio *bio );
 3648#line 204 "include/linux/blkdev.h"
 3649typedef int prep_rq_fn(struct request_queue * , struct request * );
 3650#line 205 "include/linux/blkdev.h"
 3651typedef void unprep_rq_fn(struct request_queue * , struct request * );
 3652#line 208 "include/linux/blkdev.h"
 3653struct bvec_merge_data {
 3654   struct block_device *bi_bdev ;
 3655   sector_t bi_sector ;
 3656   unsigned int bi_size ;
 3657   unsigned long bi_rw ;
 3658};
 3659#line 214 "include/linux/blkdev.h"
 3660typedef int merge_bvec_fn(struct request_queue * , struct bvec_merge_data * , struct bio_vec * );
 3661#line 216 "include/linux/blkdev.h"
 3662typedef void softirq_done_fn(struct request * );
 3663#line 217 "include/linux/blkdev.h"
 3664typedef int dma_drain_needed_fn(struct request * );
 3665#line 218 "include/linux/blkdev.h"
 3666typedef int lld_busy_fn(struct request_queue *q );
 3667#line 219 "include/linux/blkdev.h"
 3668typedef int bsg_job_fn(struct bsg_job * );
 3669#line 221
 3670enum blk_eh_timer_return {
 3671    BLK_EH_NOT_HANDLED = 0,
 3672    BLK_EH_HANDLED = 1,
 3673    BLK_EH_RESET_TIMER = 2
 3674} ;
 3675#line 227 "include/linux/blkdev.h"
 3676typedef enum blk_eh_timer_return rq_timed_out_fn(struct request * );
 3677#line 234 "include/linux/blkdev.h"
 3678struct blk_queue_tag {
 3679   struct request **tag_index ;
 3680   unsigned long *tag_map ;
 3681   int busy ;
 3682   int max_depth ;
 3683   int real_max_depth ;
 3684   atomic_t refcnt ;
 3685};
 3686#line 246 "include/linux/blkdev.h"
 3687struct queue_limits {
 3688   unsigned long bounce_pfn ;
 3689   unsigned long seg_boundary_mask ;
 3690   unsigned int max_hw_sectors ;
 3691   unsigned int max_sectors ;
 3692   unsigned int max_segment_size ;
 3693   unsigned int physical_block_size ;
 3694   unsigned int alignment_offset ;
 3695   unsigned int io_min ;
 3696   unsigned int io_opt ;
 3697   unsigned int max_discard_sectors ;
 3698   unsigned int discard_granularity ;
 3699   unsigned int discard_alignment ;
 3700   unsigned short logical_block_size ;
 3701   unsigned short max_segments ;
 3702   unsigned short max_integrity_segments ;
 3703   unsigned char misaligned ;
 3704   unsigned char discard_misaligned ;
 3705   unsigned char cluster ;
 3706   unsigned char discard_zeroes_data ;
 3707};
 3708#line 271 "include/linux/blkdev.h"
 3709struct request_queue {
 3710   struct list_head queue_head ;
 3711   struct request *last_merge ;
 3712   struct elevator_queue *elevator ;
 3713   struct request_list rq ;
 3714   request_fn_proc *request_fn ;
 3715   make_request_fn *make_request_fn ;
 3716   prep_rq_fn *prep_rq_fn ;
 3717   unprep_rq_fn *unprep_rq_fn ;
 3718   merge_bvec_fn *merge_bvec_fn ;
 3719   softirq_done_fn *softirq_done_fn ;
 3720   rq_timed_out_fn *rq_timed_out_fn ;
 3721   dma_drain_needed_fn *dma_drain_needed ;
 3722   lld_busy_fn *lld_busy_fn ;
 3723   sector_t end_sector ;
 3724   struct request *boundary_rq ;
 3725   struct delayed_work delay_work ;
 3726   struct backing_dev_info backing_dev_info ;
 3727   void *queuedata ;
 3728   unsigned long queue_flags ;
 3729   int id ;
 3730   gfp_t bounce_gfp ;
 3731   spinlock_t __queue_lock ;
 3732   spinlock_t *queue_lock ;
 3733   struct kobject kobj ;
 3734   unsigned long nr_requests ;
 3735   unsigned int nr_congestion_on ;
 3736   unsigned int nr_congestion_off ;
 3737   unsigned int nr_batching ;
 3738   unsigned int dma_drain_size ;
 3739   void *dma_drain_buffer ;
 3740   unsigned int dma_pad_mask ;
 3741   unsigned int dma_alignment ;
 3742   struct blk_queue_tag *queue_tags ;
 3743   struct list_head tag_busy_list ;
 3744   unsigned int nr_sorted ;
 3745   unsigned int in_flight[2] ;
 3746   unsigned int rq_timeout ;
 3747   struct timer_list timeout ;
 3748   struct list_head timeout_list ;
 3749   struct list_head icq_list ;
 3750   struct queue_limits limits ;
 3751   unsigned int sg_timeout ;
 3752   unsigned int sg_reserved_size ;
 3753   int node ;
 3754   unsigned int flush_flags ;
 3755   unsigned int flush_not_queueable : 1 ;
 3756   unsigned int flush_queue_delayed : 1 ;
 3757   unsigned int flush_pending_idx : 1 ;
 3758   unsigned int flush_running_idx : 1 ;
 3759   unsigned long flush_pending_since ;
 3760   struct list_head flush_queue[2] ;
 3761   struct list_head flush_data_in_flight ;
 3762   struct request flush_rq ;
 3763   struct mutex sysfs_lock ;
 3764   bsg_job_fn *bsg_job_fn ;
 3765   int bsg_job_size ;
 3766   struct bsg_class_device bsg_dev ;
 3767};
 3768#line 889 "include/linux/blkdev.h"
 3769struct blk_plug {
 3770   unsigned long magic ;
 3771   struct list_head list ;
 3772   struct list_head cb_list ;
 3773   unsigned int should_sort ;
 3774};
 3775#line 1220 "include/linux/blkdev.h"
 3776struct blk_integrity_exchg {
 3777   void *prot_buf ;
 3778   void *data_buf ;
 3779   sector_t sector ;
 3780   unsigned int data_size ;
 3781   unsigned short sector_size ;
 3782   char    *disk_name ;
 3783};
 3784#line 1229 "include/linux/blkdev.h"
 3785typedef void integrity_gen_fn(struct blk_integrity_exchg * );
 3786#line 1230 "include/linux/blkdev.h"
 3787typedef int integrity_vrfy_fn(struct blk_integrity_exchg * );
 3788#line 1231 "include/linux/blkdev.h"
 3789typedef void integrity_set_tag_fn(void * , void * , unsigned int  );
 3790#line 1232 "include/linux/blkdev.h"
 3791typedef void integrity_get_tag_fn(void * , void * , unsigned int  );
 3792#line 1234 "include/linux/blkdev.h"
 3793struct blk_integrity {
 3794   integrity_gen_fn *generate_fn ;
 3795   integrity_vrfy_fn *verify_fn ;
 3796   integrity_set_tag_fn *set_tag_fn ;
 3797   integrity_get_tag_fn *get_tag_fn ;
 3798   unsigned short flags ;
 3799   unsigned short tuple_size ;
 3800   unsigned short sector_size ;
 3801   unsigned short tag_size ;
 3802   char    *name ;
 3803   struct kobject kobj ;
 3804};
 3805#line 1362 "include/linux/blkdev.h"
 3806struct block_device_operations {
 3807   int (*open)(struct block_device * , fmode_t  ) ;
 3808   int (*release)(struct gendisk * , fmode_t  ) ;
 3809   int (*ioctl)(struct block_device * , fmode_t  , unsigned int  , unsigned long  ) ;
 3810   int (*compat_ioctl)(struct block_device * , fmode_t  , unsigned int  , unsigned long  ) ;
 3811   int (*direct_access)(struct block_device * , sector_t  , void ** , unsigned long * ) ;
 3812   unsigned int (*check_events)(struct gendisk *disk , unsigned int clearing ) ;
 3813   int (*media_changed)(struct gendisk * ) ;
 3814   void (*unlock_native_capacity)(struct gendisk * ) ;
 3815   int (*revalidate_disk)(struct gendisk * ) ;
 3816   int (*getgeo)(struct block_device * , struct hd_geometry * ) ;
 3817   void (*swap_slot_free_notify)(struct block_device * , unsigned long  ) ;
 3818   struct module *owner ;
 3819};
 3820#line 14 "include/scsi/scsi.h"
 3821struct scsi_cmnd;
 3822#line 357 "include/scsi/scsi.h"
 3823struct scsi_lun {
 3824   __u8 scsi_lun[8] ;
 3825};
 3826#line 16 "include/scsi/scsi_host.h"
 3827struct scsi_device;
 3828#line 17
 3829struct scsi_target;
 3830#line 18
 3831struct Scsi_Host;
 3832#line 19
 3833struct scsi_host_cmd_pool;
 3834#line 20
 3835struct scsi_transport_template;
 3836#line 52 "include/scsi/scsi_host.h"
 3837struct scsi_host_template {
 3838   struct module *module ;
 3839   char    *name ;
 3840   int (*detect)(struct scsi_host_template * ) ;
 3841   int (*release)(struct Scsi_Host * ) ;
 3842   char    *(*info)(struct Scsi_Host * ) ;
 3843   int (*ioctl)(struct scsi_device *dev , int cmd , void *arg ) ;
 3844   int (*compat_ioctl)(struct scsi_device *dev , int cmd , void *arg ) ;
 3845   int (*queuecommand)(struct Scsi_Host * , struct scsi_cmnd * ) ;
 3846   int (*transfer_response)(struct scsi_cmnd * , void (*done)(struct scsi_cmnd * ) ) ;
 3847   int (*eh_abort_handler)(struct scsi_cmnd * ) ;
 3848   int (*eh_device_reset_handler)(struct scsi_cmnd * ) ;
 3849   int (*eh_target_reset_handler)(struct scsi_cmnd * ) ;
 3850   int (*eh_bus_reset_handler)(struct scsi_cmnd * ) ;
 3851   int (*eh_host_reset_handler)(struct scsi_cmnd * ) ;
 3852   int (*slave_alloc)(struct scsi_device * ) ;
 3853   int (*slave_configure)(struct scsi_device * ) ;
 3854   void (*slave_destroy)(struct scsi_device * ) ;
 3855   int (*target_alloc)(struct scsi_target * ) ;
 3856   void (*target_destroy)(struct scsi_target * ) ;
 3857   int (*scan_finished)(struct Scsi_Host * , unsigned long  ) ;
 3858   void (*scan_start)(struct Scsi_Host * ) ;
 3859   int (*change_queue_depth)(struct scsi_device * , int  , int  ) ;
 3860   int (*change_queue_type)(struct scsi_device * , int  ) ;
 3861   int (*bios_param)(struct scsi_device * , struct block_device * , sector_t  , int * ) ;
 3862   void (*unlock_native_capacity)(struct scsi_device * ) ;
 3863   int (*proc_info)(struct Scsi_Host * , char * , char ** , off_t  , int  , int  ) ;
 3864   enum blk_eh_timer_return (*eh_timed_out)(struct scsi_cmnd * ) ;
 3865   int (*host_reset)(struct Scsi_Host *shost , int reset_type ) ;
 3866   char    *proc_name ;
 3867   struct proc_dir_entry *proc_dir ;
 3868   int can_queue ;
 3869   int this_id ;
 3870   unsigned short sg_tablesize ;
 3871   unsigned short sg_prot_tablesize ;
 3872   unsigned short max_sectors ;
 3873   unsigned long dma_boundary ;
 3874   short cmd_per_lun ;
 3875   unsigned char present ;
 3876   unsigned int supported_mode : 2 ;
 3877   unsigned int unchecked_isa_dma : 1 ;
 3878   unsigned int use_clustering : 1 ;
 3879   unsigned int emulated : 1 ;
 3880   unsigned int skip_settle_delay : 1 ;
 3881   unsigned int ordered_tag : 1 ;
 3882   unsigned int max_host_blocked ;
 3883   struct device_attribute **shost_attrs ;
 3884   struct device_attribute **sdev_attrs ;
 3885   struct list_head legacy_hosts ;
 3886   u64 vendor_id ;
 3887};
 3888#line 543
 3889enum scsi_host_state {
 3890    SHOST_CREATED = 1,
 3891    SHOST_RUNNING = 2,
 3892    SHOST_CANCEL = 3,
 3893    SHOST_DEL = 4,
 3894    SHOST_RECOVERY = 5,
 3895    SHOST_CANCEL_RECOVERY = 6,
 3896    SHOST_DEL_RECOVERY = 7
 3897} ;
 3898#line 553 "include/scsi/scsi_host.h"
 3899struct Scsi_Host {
 3900   struct list_head __devices ;
 3901   struct list_head __targets ;
 3902   struct scsi_host_cmd_pool *cmd_pool ;
 3903   spinlock_t free_list_lock ;
 3904   struct list_head free_list ;
 3905   struct list_head starved_list ;
 3906   spinlock_t default_lock ;
 3907   spinlock_t *host_lock ;
 3908   struct mutex scan_mutex ;
 3909   struct list_head eh_cmd_q ;
 3910   struct task_struct *ehandler ;
 3911   struct completion *eh_action ;
 3912   wait_queue_head_t host_wait ;
 3913   struct scsi_host_template *hostt ;
 3914   struct scsi_transport_template *transportt ;
 3915   struct blk_queue_tag *bqt ;
 3916   unsigned int host_busy ;
 3917   unsigned int host_failed ;
 3918   unsigned int host_eh_scheduled ;
 3919   unsigned int host_no ;
 3920   int resetting ;
 3921   unsigned long last_reset ;
 3922   unsigned int max_id ;
 3923   unsigned int max_lun ;
 3924   unsigned int max_channel ;
 3925   unsigned int unique_id ;
 3926   unsigned short max_cmd_len ;
 3927   int this_id ;
 3928   int can_queue ;
 3929   short cmd_per_lun ;
 3930   unsigned short sg_tablesize ;
 3931   unsigned short sg_prot_tablesize ;
 3932   unsigned short max_sectors ;
 3933   unsigned long dma_boundary ;
 3934   unsigned long cmd_serial_number ;
 3935   unsigned int active_mode : 2 ;
 3936   unsigned int unchecked_isa_dma : 1 ;
 3937   unsigned int use_clustering : 1 ;
 3938   unsigned int use_blk_tcq : 1 ;
 3939   unsigned int host_self_blocked : 1 ;
 3940   unsigned int reverse_ordering : 1 ;
 3941   unsigned int ordered_tag : 1 ;
 3942   unsigned int tmf_in_progress : 1 ;
 3943   unsigned int async_scan : 1 ;
 3944   unsigned int eh_noresume : 1 ;
 3945   char work_q_name[20] ;
 3946   struct workqueue_struct *work_q ;
 3947   unsigned int host_blocked ;
 3948   unsigned int max_host_blocked ;
 3949   unsigned int prot_capabilities ;
 3950   unsigned char prot_guard_type ;
 3951   struct request_queue *uspace_req_q ;
 3952   unsigned long base ;
 3953   unsigned long io_port ;
 3954   unsigned char n_io_port ;
 3955   unsigned char dma_channel ;
 3956   unsigned int irq ;
 3957   enum scsi_host_state shost_state ;
 3958   struct device shost_gendev ;
 3959   struct device shost_dev ;
 3960   struct list_head sht_legacy_list ;
 3961   void *shost_data ;
 3962   struct device *dma_dev ;
 3963   unsigned long hostdata[0]  __attribute__((__aligned__(sizeof(unsigned long )))) ;
 3964};
 3965#line 15 "include/scsi/scsi_device.h"
 3966struct scsi_sense_hdr;
 3967#line 31
 3968enum scsi_device_state {
 3969    SDEV_CREATED = 1,
 3970    SDEV_RUNNING = 2,
 3971    SDEV_CANCEL = 3,
 3972    SDEV_DEL = 4,
 3973    SDEV_QUIESCE = 5,
 3974    SDEV_OFFLINE = 6,
 3975    SDEV_BLOCK = 7,
 3976    SDEV_CREATED_BLOCK = 8
 3977} ;
 3978#line 68
 3979struct scsi_dh_data;
 3980#line 68 "include/scsi/scsi_device.h"
 3981struct scsi_device {
 3982   struct Scsi_Host *host ;
 3983   struct request_queue *request_queue ;
 3984   struct list_head siblings ;
 3985   struct list_head same_target_siblings ;
 3986   unsigned int device_busy ;
 3987   spinlock_t list_lock ;
 3988   struct list_head cmd_list ;
 3989   struct list_head starved_entry ;
 3990   struct scsi_cmnd *current_cmnd ;
 3991   unsigned short queue_depth ;
 3992   unsigned short max_queue_depth ;
 3993   unsigned short last_queue_full_depth ;
 3994   unsigned short last_queue_full_count ;
 3995   unsigned long last_queue_full_time ;
 3996   unsigned long queue_ramp_up_period ;
 3997   unsigned long last_queue_ramp_up ;
 3998   unsigned int id ;
 3999   unsigned int lun ;
 4000   unsigned int channel ;
 4001   unsigned int manufacturer ;
 4002   unsigned int sector_size ;
 4003   void *hostdata ;
 4004   char type ;
 4005   char scsi_level ;
 4006   char inq_periph_qual ;
 4007   unsigned char inquiry_len ;
 4008   unsigned char *inquiry ;
 4009   char    *vendor ;
 4010   char    *model ;
 4011   char    *rev ;
 4012   unsigned char current_tag ;
 4013   struct scsi_target *sdev_target ;
 4014   unsigned int sdev_bflags ;
 4015   unsigned int writeable : 1 ;
 4016   unsigned int removable : 1 ;
 4017   unsigned int changed : 1 ;
 4018   unsigned int busy : 1 ;
 4019   unsigned int lockable : 1 ;
 4020   unsigned int locked : 1 ;
 4021   unsigned int borken : 1 ;
 4022   unsigned int disconnect : 1 ;
 4023   unsigned int soft_reset : 1 ;
 4024   unsigned int sdtr : 1 ;
 4025   unsigned int wdtr : 1 ;
 4026   unsigned int ppr : 1 ;
 4027   unsigned int tagged_supported : 1 ;
 4028   unsigned int simple_tags : 1 ;
 4029   unsigned int ordered_tags : 1 ;
 4030   unsigned int was_reset : 1 ;
 4031   unsigned int expecting_cc_ua : 1 ;
 4032   unsigned int use_10_for_rw : 1 ;
 4033   unsigned int use_10_for_ms : 1 ;
 4034   unsigned int skip_ms_page_8 : 1 ;
 4035   unsigned int skip_ms_page_3f : 1 ;
 4036   unsigned int skip_vpd_pages : 1 ;
 4037   unsigned int use_192_bytes_for_3f : 1 ;
 4038   unsigned int no_start_on_add : 1 ;
 4039   unsigned int allow_restart : 1 ;
 4040   unsigned int manage_start_stop : 1 ;
 4041   unsigned int start_stop_pwr_cond : 1 ;
 4042   unsigned int no_uld_attach : 1 ;
 4043   unsigned int select_no_atn : 1 ;
 4044   unsigned int fix_capacity : 1 ;
 4045   unsigned int guess_capacity : 1 ;
 4046   unsigned int retry_hwerror : 1 ;
 4047   unsigned int last_sector_bug : 1 ;
 4048   unsigned int no_read_disc_info : 1 ;
 4049   unsigned int no_read_capacity_16 : 1 ;
 4050   unsigned int is_visible : 1 ;
 4051   unsigned long supported_events[((2UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
 4052   struct list_head event_list ;
 4053   struct work_struct event_work ;
 4054   unsigned int device_blocked ;
 4055   unsigned int max_device_blocked ;
 4056   atomic_t iorequest_cnt ;
 4057   atomic_t iodone_cnt ;
 4058   atomic_t ioerr_cnt ;
 4059   struct device sdev_gendev ;
 4060   struct device sdev_dev ;
 4061   struct execute_work ew ;
 4062   struct work_struct requeue_work ;
 4063   struct scsi_dh_data *scsi_dh_data ;
 4064   enum scsi_device_state sdev_state ;
 4065   unsigned long sdev_data[0] ;
 4066} __attribute__((__aligned__(sizeof(unsigned long )))) ;
 4067#line 180 "include/scsi/scsi_device.h"
 4068struct scsi_dh_devlist {
 4069   char *vendor ;
 4070   char *model ;
 4071};
 4072#line 186 "include/scsi/scsi_device.h"
 4073struct scsi_device_handler {
 4074   struct list_head list ;
 4075   struct module *module ;
 4076   char    *name ;
 4077   struct scsi_dh_devlist    *devlist ;
 4078   int (*check_sense)(struct scsi_device * , struct scsi_sense_hdr * ) ;
 4079   int (*attach)(struct scsi_device * ) ;
 4080   void (*detach)(struct scsi_device * ) ;
 4081   int (*activate)(struct scsi_device * , void (*)(void * , int  ) , void * ) ;
 4082   int (*prep_fn)(struct scsi_device * , struct request * ) ;
 4083   int (*set_params)(struct scsi_device * , char    * ) ;
 4084   bool (*match)(struct scsi_device * ) ;
 4085};
 4086#line 203 "include/scsi/scsi_device.h"
 4087struct scsi_dh_data {
 4088   struct scsi_device_handler *scsi_dh ;
 4089   struct scsi_device *sdev ;
 4090   struct kref kref ;
 4091   char buf[0] ;
 4092};
 4093#line 226
 4094enum scsi_target_state {
 4095    STARGET_CREATED = 1,
 4096    STARGET_RUNNING = 2,
 4097    STARGET_DEL = 3
 4098} ;
 4099#line 237 "include/scsi/scsi_device.h"
 4100struct scsi_target {
 4101   struct scsi_device *starget_sdev_user ;
 4102   struct list_head siblings ;
 4103   struct list_head devices ;
 4104   struct device dev ;
 4105   unsigned int reap_ref ;
 4106   unsigned int channel ;
 4107   unsigned int id ;
 4108   unsigned int create : 1 ;
 4109   unsigned int single_lun : 1 ;
 4110   unsigned int pdt_1f_for_no_lun : 1 ;
 4111   unsigned int no_report_luns : 1 ;
 4112   unsigned int target_busy ;
 4113   unsigned int can_queue ;
 4114   unsigned int target_blocked ;
 4115   unsigned int max_target_blocked ;
 4116   char scsi_level ;
 4117   struct execute_work ew ;
 4118   enum scsi_target_state state ;
 4119   void *hostdata ;
 4120   unsigned long starget_data[0] ;
 4121} __attribute__((__aligned__(sizeof(unsigned long )))) ;
 4122#line 29 "include/scsi/scsi_transport.h"
 4123struct scsi_transport_template {
 4124   struct transport_container host_attrs ;
 4125   struct transport_container target_attrs ;
 4126   struct transport_container device_attrs ;
 4127   int (*user_scan)(struct Scsi_Host * , uint  , uint  , uint  ) ;
 4128   int device_size ;
 4129   int device_private_offset ;
 4130   int target_size ;
 4131   int target_private_offset ;
 4132   int host_size ;
 4133   unsigned int create_work_queue : 1 ;
 4134   void (*eh_strategy_handler)(struct Scsi_Host * ) ;
 4135   enum blk_eh_timer_return (*eh_timed_out)(struct scsi_cmnd * ) ;
 4136   int (*it_nexus_response)(struct Scsi_Host * , u64  , int  ) ;
 4137   int (*tsk_mgmt_response)(struct Scsi_Host * , u64  , u64  , int  ) ;
 4138};
 4139#line 68 "include/linux/net.h"
 4140struct net;
 4141#line 109 "include/net/checksum.h"
 4142struct sk_buff;
 4143#line 37 "include/linux/dmaengine.h"
 4144typedef s32 dma_cookie_t;
 4145#line 27 "include/linux/dma-attrs.h"
 4146struct dma_attrs {
 4147   unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
 4148};
 4149#line 7 "include/linux/dma-direction.h"
 4150enum dma_data_direction {
 4151    DMA_BIDIRECTIONAL = 0,
 4152    DMA_TO_DEVICE = 1,
 4153    DMA_FROM_DEVICE = 2,
 4154    DMA_NONE = 3
 4155} ;
 4156#line 11 "include/linux/dma-mapping.h"
 4157struct dma_map_ops {
 4158   void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
 4159                  struct dma_attrs *attrs ) ;
 4160   void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
 4161                struct dma_attrs *attrs ) ;
 4162   int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t  ,
 4163               size_t  , struct dma_attrs *attrs ) ;
 4164   dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
 4165                          size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
 4166   void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
 4167                      struct dma_attrs *attrs ) ;
 4168   int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
 4169                 struct dma_attrs *attrs ) ;
 4170   void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
 4171                    struct dma_attrs *attrs ) ;
 4172   void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
 4173                               enum dma_data_direction dir ) ;
 4174   void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
 4175                                  enum dma_data_direction dir ) ;
 4176   void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
 4177                           enum dma_data_direction dir ) ;
 4178   void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
 4179                              enum dma_data_direction dir ) ;
 4180   int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
 4181   int (*dma_supported)(struct device *dev , u64 mask ) ;
 4182   int (*set_dma_mask)(struct device *dev , u64 mask ) ;
 4183   int is_phys ;
 4184};
 4185#line 113 "include/linux/skbuff.h"
 4186struct nf_conntrack {
 4187   atomic_t use ;
 4188};
 4189#line 119 "include/linux/skbuff.h"
 4190struct nf_bridge_info {
 4191   atomic_t use ;
 4192   struct net_device *physindev ;
 4193   struct net_device *physoutdev ;
 4194   unsigned int mask ;
 4195   unsigned long data[32UL / sizeof(unsigned long )] ;
 4196};
 4197#line 318 "include/linux/skbuff.h"
 4198typedef unsigned int sk_buff_data_t;
 4199#line 391
 4200struct sec_path;
 4201#line 391 "include/linux/skbuff.h"
 4202struct __anonstruct____missing_field_name_290 {
 4203   __u16 csum_start ;
 4204   __u16 csum_offset ;
 4205};
 4206#line 391 "include/linux/skbuff.h"
 4207union __anonunion____missing_field_name_289 {
 4208   __wsum csum ;
 4209   struct __anonstruct____missing_field_name_290 __annonCompField51 ;
 4210};
 4211#line 391 "include/linux/skbuff.h"
 4212union __anonunion____missing_field_name_291 {
 4213   __u32 mark ;
 4214   __u32 dropcount ;
 4215   __u32 avail_size ;
 4216};
 4217#line 391 "include/linux/skbuff.h"
 4218struct sk_buff {
 4219   struct sk_buff *next ;
 4220   struct sk_buff *prev ;
 4221   ktime_t tstamp ;
 4222   struct sock *sk ;
 4223   struct net_device *dev ;
 4224   char cb[48]  __attribute__((__aligned__(8))) ;
 4225   unsigned long _skb_refdst ;
 4226   struct sec_path *sp ;
 4227   unsigned int len ;
 4228   unsigned int data_len ;
 4229   __u16 mac_len ;
 4230   __u16 hdr_len ;
 4231   union __anonunion____missing_field_name_289 __annonCompField52 ;
 4232   __u32 priority ;
 4233   __u8 local_df : 1 ;
 4234   __u8 cloned : 1 ;
 4235   __u8 ip_summed : 2 ;
 4236   __u8 nohdr : 1 ;
 4237   __u8 nfctinfo : 3 ;
 4238   __u8 pkt_type : 3 ;
 4239   __u8 fclone : 2 ;
 4240   __u8 ipvs_property : 1 ;
 4241   __u8 peeked : 1 ;
 4242   __u8 nf_trace : 1 ;
 4243   __be16 protocol ;
 4244   void (*destructor)(struct sk_buff *skb ) ;
 4245   struct nf_conntrack *nfct ;
 4246   struct sk_buff *nfct_reasm ;
 4247   struct nf_bridge_info *nf_bridge ;
 4248   int skb_iif ;
 4249   __u32 rxhash ;
 4250   __u16 vlan_tci ;
 4251   __u16 tc_index ;
 4252   __u16 tc_verd ;
 4253   __u16 queue_mapping ;
 4254   __u8 ndisc_nodetype : 2 ;
 4255   __u8 ooo_okay : 1 ;
 4256   __u8 l4_rxhash : 1 ;
 4257   __u8 wifi_acked_valid : 1 ;
 4258   __u8 wifi_acked : 1 ;
 4259   __u8 no_fcs : 1 ;
 4260   dma_cookie_t dma_cookie ;
 4261   __u32 secmark ;
 4262   union __anonunion____missing_field_name_291 __annonCompField53 ;
 4263   sk_buff_data_t transport_header ;
 4264   sk_buff_data_t network_header ;
 4265   sk_buff_data_t mac_header ;
 4266   sk_buff_data_t tail ;
 4267   sk_buff_data_t end ;
 4268   unsigned char *head ;
 4269   unsigned char *data ;
 4270   unsigned int truesize ;
 4271   atomic_t users ;
 4272};
 4273#line 56 "include/scsi/scsi_transport_fc.h"
 4274enum fc_port_type {
 4275    FC_PORTTYPE_UNKNOWN = 0,
 4276    FC_PORTTYPE_OTHER = 1,
 4277    FC_PORTTYPE_NOTPRESENT = 2,
 4278    FC_PORTTYPE_NPORT = 3,
 4279    FC_PORTTYPE_NLPORT = 4,
 4280    FC_PORTTYPE_LPORT = 5,
 4281    FC_PORTTYPE_PTP = 6,
 4282    FC_PORTTYPE_NPIV = 7
 4283} ;
 4284#line 72
 4285enum fc_port_state {
 4286    FC_PORTSTATE_UNKNOWN = 0,
 4287    FC_PORTSTATE_NOTPRESENT = 1,
 4288    FC_PORTSTATE_ONLINE = 2,
 4289    FC_PORTSTATE_OFFLINE = 3,
 4290    FC_PORTSTATE_BLOCKED = 4,
 4291    FC_PORTSTATE_BYPASSED = 5,
 4292    FC_PORTSTATE_DIAGNOSTICS = 6,
 4293    FC_PORTSTATE_LINKDOWN = 7,
 4294    FC_PORTSTATE_ERROR = 8,
 4295    FC_PORTSTATE_LOOPBACK = 9,
 4296    FC_PORTSTATE_DELETED = 10
 4297} ;
 4298#line 91
 4299enum fc_vport_state {
 4300    FC_VPORT_UNKNOWN = 0,
 4301    FC_VPORT_ACTIVE = 1,
 4302    FC_VPORT_DISABLED = 2,
 4303    FC_VPORT_LINKDOWN = 3,
 4304    FC_VPORT_INITIALIZING = 4,
 4305    FC_VPORT_NO_FABRIC_SUPP = 5,
 4306    FC_VPORT_NO_FABRIC_RSCS = 6,
 4307    FC_VPORT_FABRIC_LOGOUT = 7,
 4308    FC_VPORT_FABRIC_REJ_WWN = 8,
 4309    FC_VPORT_FAILED = 9
 4310} ;
 4311#line 219 "include/scsi/scsi_transport_fc.h"
 4312struct fc_vport {
 4313   enum fc_vport_state vport_state ;
 4314   enum fc_vport_state vport_last_state ;
 4315   u64 node_name ;
 4316   u64 port_name ;
 4317   u32 roles ;
 4318   u32 vport_id ;
 4319   enum fc_port_type vport_type ;
 4320   char symbolic_name[64] ;
 4321   void *dd_data ;
 4322   struct Scsi_Host *shost ;
 4323   unsigned int channel ;
 4324   u32 number ;
 4325   u8 flags ;
 4326   struct list_head peers ;
 4327   struct device dev ;
 4328   struct work_struct vport_delete_work ;
 4329} __attribute__((__aligned__(sizeof(unsigned long )))) ;
 4330#line 282 "include/scsi/scsi_transport_fc.h"
 4331struct fc_rport_identifiers {
 4332   u64 node_name ;
 4333   u64 port_name ;
 4334   u32 port_id ;
 4335   u32 roles ;
 4336};
 4337#line 323 "include/scsi/scsi_transport_fc.h"
 4338struct fc_rport {
 4339   u32 maxframe_size ;
 4340   u32 supported_classes ;
 4341   u32 dev_loss_tmo ;
 4342   u64 node_name ;
 4343   u64 port_name ;
 4344   u32 port_id ;
 4345   u32 roles ;
 4346   enum fc_port_state port_state ;
 4347   u32 scsi_target_id ;
 4348   u32 fast_io_fail_tmo ;
 4349   void *dd_data ;
 4350   unsigned int channel ;
 4351   u32 number ;
 4352   u8 flags ;
 4353   struct list_head peers ;
 4354   struct device dev ;
 4355   struct delayed_work dev_loss_work ;
 4356   struct work_struct scan_work ;
 4357   struct delayed_work fail_io_work ;
 4358   struct work_struct stgt_delete_work ;
 4359   struct work_struct rport_delete_work ;
 4360   struct request_queue *rqst_q ;
 4361} __attribute__((__aligned__(sizeof(unsigned long )))) ;
 4362#line 405 "include/scsi/scsi_transport_fc.h"
 4363struct fc_host_statistics {
 4364   u64 seconds_since_last_reset ;
 4365   u64 tx_frames ;
 4366   u64 tx_words ;
 4367   u64 rx_frames ;
 4368   u64 rx_words ;
 4369   u64 lip_count ;
 4370   u64 nos_count ;
 4371   u64 error_frames ;
 4372   u64 dumped_frames ;
 4373   u64 link_failure_count ;
 4374   u64 loss_of_sync_count ;
 4375   u64 loss_of_signal_count ;
 4376   u64 prim_seq_protocol_err_count ;
 4377   u64 invalid_tx_word_count ;
 4378   u64 invalid_crc_count ;
 4379   u64 fcp_input_requests ;
 4380   u64 fcp_output_requests ;
 4381   u64 fcp_control_requests ;
 4382   u64 fcp_input_megabytes ;
 4383   u64 fcp_output_megabytes ;
 4384};
 4385#line 49 "include/scsi/fc/fc_fcp.h"
 4386struct fcp_cmnd {
 4387   struct scsi_lun fc_lun ;
 4388   __u8 fc_cmdref ;
 4389   __u8 fc_pri_ta ;
 4390   __u8 fc_tm_flags ;
 4391   __u8 fc_flags ;
 4392   __u8 fc_cdb[16] ;
 4393   __be32 fc_dl ;
 4394};
 4395#line 99 "include/scsi/fc/fc_ns.h"
 4396struct fc_ns_fts {
 4397   __be32 ff_type_map[8] ;
 4398};
 4399#line 133 "include/scsi/fc/fc_ns.h"
 4400struct fc_gpn_ft_resp {
 4401   __u8 fp_flags ;
 4402   __u8 fp_fid[3] ;
 4403   __be32 fp_resvd ;
 4404   __be64 fp_wwpn ;
 4405};
 4406#line 33 "include/scsi/fc/fc_els.h"
 4407enum fc_els_cmd {
 4408    ELS_LS_RJT = 1,
 4409    ELS_LS_ACC = 2,
 4410    ELS_PLOGI = 3,
 4411    ELS_FLOGI = 4,
 4412    ELS_LOGO = 5,
 4413    ELS_ABTX = 6,
 4414    ELS_RCS = 7,
 4415    ELS_RES = 8,
 4416    ELS_RSS = 9,
 4417    ELS_RSI = 10,
 4418    ELS_ESTS = 11,
 4419    ELS_ESTC = 12,
 4420    ELS_ADVC = 13,
 4421    ELS_RTV = 14,
 4422    ELS_RLS = 15,
 4423    ELS_ECHO = 16,
 4424    ELS_TEST = 17,
 4425    ELS_RRQ = 18,
 4426    ELS_REC = 19,
 4427    ELS_SRR = 20,
 4428    ELS_PRLI = 32,
 4429    ELS_PRLO = 33,
 4430    ELS_SCN = 34,
 4431    ELS_TPLS = 35,
 4432    ELS_TPRLO = 36,
 4433    ELS_LCLM = 37,
 4434    ELS_GAID = 48,
 4435    ELS_FACT = 49,
 4436    ELS_FDACDT = 50,
 4437    ELS_NACT = 51,
 4438    ELS_NDACT = 52,
 4439    ELS_QOSR = 64,
 4440    ELS_RVCS = 65,
 4441    ELS_PDISC = 80,
 4442    ELS_FDISC = 81,
 4443    ELS_ADISC = 82,
 4444    ELS_RNC = 83,
 4445    ELS_FARP_REQ = 84,
 4446    ELS_FARP_REPL = 85,
 4447    ELS_RPS = 86,
 4448    ELS_RPL = 87,
 4449    ELS_RPBC = 88,
 4450    ELS_FAN = 96,
 4451    ELS_RSCN = 97,
 4452    ELS_SCR = 98,
 4453    ELS_RNFT = 99,
 4454    ELS_CSR = 104,
 4455    ELS_CSU = 105,
 4456    ELS_LINIT = 112,
 4457    ELS_LSTS = 114,
 4458    ELS_RNID = 120,
 4459    ELS_RLIR = 121,
 4460    ELS_LIRR = 122,
 4461    ELS_SRL = 123,
 4462    ELS_SBRP = 124,
 4463    ELS_RPSC = 125,
 4464    ELS_QSA = 126,
 4465    ELS_EVFP = 127,
 4466    ELS_LKA = 128,
 4467    ELS_AUTH_ELS = 144
 4468} ;
 4469#line 185
 4470enum fc_els_rjt_reason {
 4471    ELS_RJT_NONE = 0,
 4472    ELS_RJT_INVAL = 1,
 4473    ELS_RJT_LOGIC = 3,
 4474    ELS_RJT_BUSY = 5,
 4475    ELS_RJT_PROT = 7,
 4476    ELS_RJT_UNAB = 9,
 4477    ELS_RJT_UNSUP = 11,
 4478    ELS_RJT_INPROG = 14,
 4479    ELS_RJT_FIP = 32,
 4480    ELS_RJT_VENDOR = 255
 4481} ;
 4482#line 202
 4483enum fc_els_rjt_explan {
 4484    ELS_EXPL_NONE = 0,
 4485    ELS_EXPL_SPP_OPT_ERR = 1,
 4486    ELS_EXPL_SPP_ICTL_ERR = 3,
 4487    ELS_EXPL_AH = 17,
 4488    ELS_EXPL_AH_REQ = 19,
 4489    ELS_EXPL_SID = 21,
 4490    ELS_EXPL_OXID_RXID = 23,
 4491    ELS_EXPL_INPROG = 25,
 4492    ELS_EXPL_PLOGI_REQD = 30,
 4493    ELS_EXPL_INSUF_RES = 41,
 4494    ELS_EXPL_UNAB_DATA = 42,
 4495    ELS_EXPL_UNSUPR = 44,
 4496    ELS_EXPL_INV_LEN = 45,
 4497    ELS_EXPL_NOT_NEIGHBOR = 98
 4498} ;
 4499#line 327 "include/scsi/fc/fc_els.h"
 4500struct fc_els_spp {
 4501   __u8 spp_type ;
 4502   __u8 spp_type_ext ;
 4503   __u8 spp_flags ;
 4504   __u8 _spp_resvd ;
 4505   __be32 spp_orig_pa ;
 4506   __be32 spp_resp_pa ;
 4507   __be32 spp_params ;
 4508};
 4509#line 556 "include/scsi/fc/fc_els.h"
 4510struct fc_els_rnid_gen {
 4511   __u8 rnid_vend_id[16] ;
 4512   __be32 rnid_atype ;
 4513   __be32 rnid_phys_port ;
 4514   __be32 rnid_att_nodes ;
 4515   __u8 rnid_node_mgmt ;
 4516   __u8 rnid_ip_ver ;
 4517   __be16 rnid_prot_port ;
 4518   __be32 rnid_ip_addr[4] ;
 4519   __u8 rnid_resvd[2] ;
 4520   __be16 rnid_vend_spec ;
 4521};
 4522#line 651 "include/scsi/fc/fc_els.h"
 4523struct fc_els_lesb {
 4524   __be32 lesb_link_fail ;
 4525   __be32 lesb_sync_loss ;
 4526   __be32 lesb_sig_loss ;
 4527   __be32 lesb_prim_err ;
 4528   __be32 lesb_inv_word ;
 4529   __be32 lesb_inv_crc ;
 4530};
 4531#line 32 "include/scsi/scsi_cmnd.h"
 4532struct scsi_data_buffer {
 4533   struct sg_table table ;
 4534   unsigned int length ;
 4535   int resid ;
 4536};
 4537#line 39 "include/scsi/scsi_cmnd.h"
 4538struct scsi_pointer {
 4539   char *ptr ;
 4540   int this_residual ;
 4541   struct scatterlist *buffer ;
 4542   int buffers_residual ;
 4543   dma_addr_t dma_handle ;
 4544   int volatile   Status ;
 4545   int volatile   Message ;
 4546   int volatile   have_data_in ;
 4547   int volatile   sent_command ;
 4548   int volatile   phase ;
 4549};
 4550#line 54 "include/scsi/scsi_cmnd.h"
 4551struct scsi_cmnd {
 4552   struct scsi_device *device ;
 4553   struct list_head list ;
 4554   struct list_head eh_entry ;
 4555   int eh_eflags ;
 4556   unsigned long serial_number ;
 4557   unsigned long jiffies_at_alloc ;
 4558   int retries ;
 4559   int allowed ;
 4560   unsigned char prot_op ;
 4561   unsigned char prot_type ;
 4562   unsigned short cmd_len ;
 4563   enum dma_data_direction sc_data_direction ;
 4564   unsigned char *cmnd ;
 4565   struct scsi_data_buffer sdb ;
 4566   struct scsi_data_buffer *prot_sdb ;
 4567   unsigned int underflow ;
 4568   unsigned int transfersize ;
 4569   struct request *request ;
 4570   unsigned char *sense_buffer ;
 4571   void (*scsi_done)(struct scsi_cmnd * ) ;
 4572   struct scsi_pointer SCp ;
 4573   unsigned char *host_scribble ;
 4574   int result ;
 4575   unsigned char tag ;
 4576};
 4577#line 33 "include/scsi/fc/fc_fs.h"
 4578struct fc_frame_header {
 4579   __u8 fh_r_ctl ;
 4580   __u8 fh_d_id[3] ;
 4581   __u8 fh_cs_ctl ;
 4582   __u8 fh_s_id[3] ;
 4583   __u8 fh_type ;
 4584   __u8 fh_f_ctl[3] ;
 4585   __u8 fh_seq_id ;
 4586   __u8 fh_df_ctl ;
 4587   __be16 fh_seq_cnt ;
 4588   __be16 fh_ox_id ;
 4589   __be16 fh_rx_id ;
 4590   __be32 fh_parm_offset ;
 4591};
 4592#line 66
 4593enum fc_rctl {
 4594    FC_RCTL_DD_UNCAT = 0,
 4595    FC_RCTL_DD_SOL_DATA = 1,
 4596    FC_RCTL_DD_UNSOL_CTL = 2,
 4597    FC_RCTL_DD_SOL_CTL = 3,
 4598    FC_RCTL_DD_UNSOL_DATA = 4,
 4599    FC_RCTL_DD_DATA_DESC = 5,
 4600    FC_RCTL_DD_UNSOL_CMD = 6,
 4601    FC_RCTL_DD_CMD_STATUS = 7,
 4602    FC_RCTL_ELS_REQ = 34,
 4603    FC_RCTL_ELS_REP = 35,
 4604    FC_RCTL_ELS4_REQ = 50,
 4605    FC_RCTL_ELS4_REP = 51,
 4606    FC_RCTL_VFTH = 80,
 4607    FC_RCTL_IFRH = 81,
 4608    FC_RCTL_ENCH = 82,
 4609    FC_RCTL_BA_NOP = 128,
 4610    FC_RCTL_BA_ABTS = 129,
 4611    FC_RCTL_BA_RMC = 130,
 4612    FC_RCTL_BA_ACC = 132,
 4613    FC_RCTL_BA_RJT = 133,
 4614    FC_RCTL_BA_PRMT = 134,
 4615    FC_RCTL_ACK_1 = 192,
 4616    FC_RCTL_ACK_0 = 193,
 4617    FC_RCTL_P_RJT = 194,
 4618    FC_RCTL_F_RJT = 195,
 4619    FC_RCTL_P_BSY = 196,
 4620    FC_RCTL_F_BSY = 197,
 4621    FC_RCTL_F_BSYL = 198,
 4622    FC_RCTL_LCR = 199,
 4623    FC_RCTL_END = 201
 4624} ;
 4625#line 186
 4626enum fc_fh_type {
 4627    FC_TYPE_BLS = 0,
 4628    FC_TYPE_ELS = 1,
 4629    FC_TYPE_IP = 5,
 4630    FC_TYPE_FCP = 8,
 4631    FC_TYPE_CT = 32,
 4632    FC_TYPE_ILS = 34
 4633} ;
 4634#line 76 "include/scsi/fc_frame.h"
 4635struct fc_frame {
 4636   struct sk_buff skb ;
 4637};
 4638#line 80
 4639struct fc_lport;
 4640#line 80
 4641struct fc_seq;
 4642#line 80
 4643struct fc_fcp_pkt;
 4644#line 80 "include/scsi/fc_frame.h"
 4645struct fcoe_rcv_info {
 4646   struct fc_lport *fr_dev ;
 4647   struct fc_seq *fr_seq ;
 4648   struct fc_fcp_pkt *fr_fsp ;
 4649   u32 fr_crc ;
 4650   u16 fr_max_payload ;
 4651   u8 fr_sof ;
 4652   u8 fr_eof ;
 4653   u8 fr_flags ;
 4654   u8 fr_encaps ;
 4655   u8 granted_mac[6] ;
 4656};
 4657#line 63 "include/scsi/libfc.h"
 4658enum fc_lport_state {
 4659    LPORT_ST_DISABLED = 0,
 4660    LPORT_ST_FLOGI = 1,
 4661    LPORT_ST_DNS = 2,
 4662    LPORT_ST_RNN_ID = 3,
 4663    LPORT_ST_RSNN_NN = 4,
 4664    LPORT_ST_RSPN_ID = 5,
 4665    LPORT_ST_RFT_ID = 6,
 4666    LPORT_ST_RFF_ID = 7,
 4667    LPORT_ST_FDMI = 8,
 4668    LPORT_ST_RHBA = 9,
 4669    LPORT_ST_RPA = 10,
 4670    LPORT_ST_DHBA = 11,
 4671    LPORT_ST_DPRT = 12,
 4672    LPORT_ST_SCR = 13,
 4673    LPORT_ST_READY = 14,
 4674    LPORT_ST_LOGO = 15,
 4675    LPORT_ST_RESET = 16
 4676} ;
 4677#line 83
 4678enum fc_disc_event {
 4679    DISC_EV_NONE = 0,
 4680    DISC_EV_SUCCESS = 1,
 4681    DISC_EV_FAILED = 2
 4682} ;
 4683#line 101
 4684enum fc_rport_state {
 4685    RPORT_ST_INIT = 0,
 4686    RPORT_ST_FLOGI = 1,
 4687    RPORT_ST_PLOGI_WAIT = 2,
 4688    RPORT_ST_PLOGI = 3,
 4689    RPORT_ST_PRLI = 4,
 4690    RPORT_ST_RTV = 5,
 4691    RPORT_ST_READY = 6,
 4692    RPORT_ST_ADISC = 7,
 4693    RPORT_ST_DELETE = 8
 4694} ;
 4695#line 135
 4696enum fc_rport_event {
 4697    RPORT_EV_NONE = 0,
 4698    RPORT_EV_READY = 1,
 4699    RPORT_EV_FAILED = 2,
 4700    RPORT_EV_STOP = 3,
 4701    RPORT_EV_LOGO = 4
 4702} ;
 4703#line 143
 4704struct fc_rport_priv;
 4705#line 149 "include/scsi/libfc.h"
 4706struct fc_rport_operations {
 4707   void (*event_callback)(struct fc_lport * , struct fc_rport_priv * , enum fc_rport_event  ) ;
 4708};
 4709#line 196 "include/scsi/libfc.h"
 4710struct fc_rport_priv {
 4711   struct fc_lport *local_port ;
 4712   struct fc_rport *rport ;
 4713   struct kref kref ;
 4714   enum fc_rport_state rp_state ;
 4715   struct fc_rport_identifiers ids ;
 4716   u16 flags ;
 4717   u16 max_seq ;
 4718   u16 disc_id ;
 4719   u16 maxframe_size ;
 4720   unsigned int retries ;
 4721   unsigned int major_retries ;
 4722   unsigned int e_d_tov ;
 4723   unsigned int r_a_tov ;
 4724   struct mutex rp_mutex ;
 4725   struct delayed_work retry_work ;
 4726   enum fc_rport_event event ;
 4727   struct fc_rport_operations *ops ;
 4728   struct list_head peers ;
 4729   struct work_struct event_work ;
 4730   u32 supported_classes ;
 4731   u16 prli_count ;
 4732   struct rcu_head rcu ;
 4733   u16 sp_features ;
 4734   u8 spp_type ;
 4735   void (*lld_event_callback)(struct fc_lport * , struct fc_rport_priv * , enum fc_rport_event  ) ;
 4736};
 4737#line 247 "include/scsi/libfc.h"
 4738struct fcoe_dev_stats {
 4739   u64 SecondsSinceLastReset ;
 4740   u64 TxFrames ;
 4741   u64 TxWords ;
 4742   u64 RxFrames ;
 4743   u64 RxWords ;
 4744   u64 ErrorFrames ;
 4745   u64 DumpedFrames ;
 4746   u64 LinkFailureCount ;
 4747   u64 LossOfSignalCount ;
 4748   u64 InvalidTxWordCount ;
 4749   u64 InvalidCRCCount ;
 4750   u64 InputRequests ;
 4751   u64 OutputRequests ;
 4752   u64 ControlRequests ;
 4753   u64 InputBytes ;
 4754   u64 OutputBytes ;
 4755   u64 VLinkFailureCount ;
 4756   u64 MissDiscAdvCount ;
 4757};
 4758#line 275 "include/scsi/libfc.h"
 4759struct fc_seq_els_data {
 4760   enum fc_els_rjt_reason reason ;
 4761   enum fc_els_rjt_explan explan ;
 4762};
 4763#line 311 "include/scsi/libfc.h"
 4764struct fc_fcp_pkt {
 4765   spinlock_t scsi_pkt_lock ;
 4766   atomic_t ref_cnt ;
 4767   u32 data_len ;
 4768   struct scsi_cmnd *cmd ;
 4769   struct list_head list ;
 4770   struct fc_lport *lp ;
 4771   u8 state ;
 4772   u8 cdb_status ;
 4773   u8 status_code ;
 4774   u8 scsi_comp_flags ;
 4775   u32 io_status ;
 4776   u32 req_flags ;
 4777   u32 scsi_resid ;
 4778   size_t xfer_len ;
 4779   struct fcp_cmnd cdb_cmd ;
 4780   u32 xfer_contig_end ;
 4781   u16 max_payload ;
 4782   u16 xfer_ddp ;
 4783   struct fc_rport *rport ;
 4784   struct fc_seq *seq_ptr ;
 4785   struct timer_list timer ;
 4786   int wait_for_comp ;
 4787   u32 recov_retry ;
 4788   struct fc_seq *recov_seq ;
 4789   struct completion tm_done ;
 4790} __attribute__((__aligned__((1) <<  (6) ))) ;
 4791#line 373 "include/scsi/libfc.h"
 4792struct fc_seq {
 4793   u8 id ;
 4794   u16 ssb_stat ;
 4795   u16 cnt ;
 4796   u32 rec_data ;
 4797};
 4798#line 446 "include/scsi/libfc.h"
 4799struct libfc_function_template {
 4800   int (*frame_send)(struct fc_lport * , struct fc_frame * ) ;
 4801   struct fc_seq *(*elsct_send)(struct fc_lport * , u32 did , struct fc_frame * ,
 4802                                unsigned int op , void (*resp)(struct fc_seq * , struct fc_frame * ,
 4803                                                               void *arg ) , void *arg ,
 4804                                u32 timer_msec ) ;
 4805   struct fc_seq *(*exch_seq_send)(struct fc_lport * , struct fc_frame * , void (*resp)(struct fc_seq * ,
 4806                                                                                        struct fc_frame * ,
 4807                                                                                        void * ) ,
 4808                                   void (*destructor)(struct fc_seq * , void * ) ,
 4809                                   void * , unsigned int timer_msec ) ;
 4810   int (*ddp_setup)(struct fc_lport * , u16  , struct scatterlist * , unsigned int  ) ;
 4811   int (*ddp_done)(struct fc_lport * , u16  ) ;
 4812   int (*ddp_target)(struct fc_lport * , u16  , struct scatterlist * , unsigned int  ) ;
 4813   void (*get_lesb)(struct fc_lport * , struct fc_els_lesb *lesb ) ;
 4814   int (*seq_send)(struct fc_lport * , struct fc_seq * , struct fc_frame * ) ;
 4815   void (*seq_els_rsp_send)(struct fc_frame * , enum fc_els_cmd  , struct fc_seq_els_data * ) ;
 4816   int (*seq_exch_abort)(struct fc_seq    * , unsigned int timer_msec ) ;
 4817   void (*exch_done)(struct fc_seq * ) ;
 4818   struct fc_seq *(*seq_start_next)(struct fc_seq * ) ;
 4819   void (*seq_set_resp)(struct fc_seq *sp , void (*resp)(struct fc_seq * , struct fc_frame * ,
 4820                                                         void * ) , void *arg ) ;
 4821   struct fc_seq *(*seq_assign)(struct fc_lport * , struct fc_frame * ) ;
 4822   void (*seq_release)(struct fc_seq * ) ;
 4823   void (*exch_mgr_reset)(struct fc_lport * , u32 s_id , u32 d_id ) ;
 4824   void (*rport_flush_queue)(void) ;
 4825   void (*lport_recv)(struct fc_lport * , struct fc_frame * ) ;
 4826   int (*lport_reset)(struct fc_lport * ) ;
 4827   void (*lport_set_port_id)(struct fc_lport * , u32 port_id , struct fc_frame * ) ;
 4828   struct fc_rport_priv *(*rport_create)(struct fc_lport * , u32  ) ;
 4829   int (*rport_login)(struct fc_rport_priv * ) ;
 4830   int (*rport_logoff)(struct fc_rport_priv * ) ;
 4831   void (*rport_recv_req)(struct fc_lport * , struct fc_frame * ) ;
 4832   struct fc_rport_priv *(*rport_lookup)(struct fc_lport    * , u32  ) ;
 4833   void (*rport_destroy)(struct kref * ) ;
 4834   void (*rport_event_callback)(struct fc_lport * , struct fc_rport_priv * , enum fc_rport_event  ) ;
 4835   int (*fcp_cmd_send)(struct fc_lport * , struct fc_fcp_pkt * , void (*resp)(struct fc_seq * ,
 4836                                                                              struct fc_frame * ,
 4837                                                                              void * ) ) ;
 4838   void (*fcp_cleanup)(struct fc_lport * ) ;
 4839   void (*fcp_abort_io)(struct fc_lport * ) ;
 4840   void (*disc_recv_req)(struct fc_lport * , struct fc_frame * ) ;
 4841   void (*disc_start)(void (*disc_callback)(struct fc_lport * , enum fc_disc_event  ) ,
 4842                      struct fc_lport * ) ;
 4843   void (*disc_stop)(struct fc_lport * ) ;
 4844   void (*disc_stop_final)(struct fc_lport * ) ;
 4845};
 4846#line 776 "include/scsi/libfc.h"
 4847struct fc_disc {
 4848   unsigned char retry_count ;
 4849   unsigned char pending ;
 4850   unsigned char requested ;
 4851   unsigned short seq_count ;
 4852   unsigned char buf_len ;
 4853   u16 disc_id ;
 4854   struct list_head rports ;
 4855   void *priv ;
 4856   struct mutex disc_mutex ;
 4857   struct fc_gpn_ft_resp partial_buf ;
 4858   struct delayed_work disc_work ;
 4859   void (*disc_callback)(struct fc_lport * , enum fc_disc_event  ) ;
 4860};
 4861#line 849 "include/scsi/libfc.h"
 4862struct fc_lport {
 4863   struct Scsi_Host *host ;
 4864   struct list_head ema_list ;
 4865   struct fc_rport_priv *dns_rdata ;
 4866   struct fc_rport_priv *ms_rdata ;
 4867   struct fc_rport_priv *ptp_rdata ;
 4868   void *scsi_priv ;
 4869   struct fc_disc disc ;
 4870   struct list_head vports ;
 4871   struct fc_vport *vport ;
 4872   struct libfc_function_template tt ;
 4873   u8 link_up ;
 4874   u8 qfull ;
 4875   enum fc_lport_state state ;
 4876   unsigned long boot_time ;
 4877   struct fc_host_statistics host_stats ;
 4878   struct fcoe_dev_stats *dev_stats ;
 4879   u8 retry_count ;
 4880   u32 port_id ;
 4881   u64 wwpn ;
 4882   u64 wwnn ;
 4883   unsigned int service_params ;
 4884   unsigned int e_d_tov ;
 4885   unsigned int r_a_tov ;
 4886   struct fc_els_rnid_gen rnid_gen ;
 4887   u32 sg_supp : 1 ;
 4888   u32 seq_offload : 1 ;
 4889   u32 crc_offload : 1 ;
 4890   u32 lro_enabled : 1 ;
 4891   u32 does_npiv : 1 ;
 4892   u32 npiv_enabled : 1 ;
 4893   u32 point_to_multipoint : 1 ;
 4894   u32 fdmi_enabled : 1 ;
 4895   u32 mfs ;
 4896   u8 max_retry_count ;
 4897   u8 max_rport_retry_count ;
 4898   u16 rport_priv_size ;
 4899   u16 link_speed ;
 4900   u16 link_supported_speeds ;
 4901   u16 lro_xid ;
 4902   unsigned int lso_max ;
 4903   struct fc_ns_fts fcts ;
 4904   struct mutex lp_mutex ;
 4905   struct list_head list ;
 4906   struct delayed_work retry_work ;
 4907   void *prov[9] ;
 4908   struct list_head lport_list ;
 4909};
 4910#line 916 "include/scsi/libfc.h"
 4911struct fc4_prov {
 4912   int (*prli)(struct fc_rport_priv * , u32 spp_len , struct fc_els_spp    *spp_in ,
 4913               struct fc_els_spp *spp_out ) ;
 4914   void (*prlo)(struct fc_rport_priv * ) ;
 4915   void (*recv)(struct fc_lport * , struct fc_frame * ) ;
 4916   struct module *module ;
 4917};
 4918#line 24 "include/linux/utsname.h"
 4919struct new_utsname {
 4920   char sysname[65] ;
 4921   char nodename[65] ;
 4922   char release[65] ;
 4923   char version[65] ;
 4924   char machine[65] ;
 4925   char domainname[65] ;
 4926};
 4927#line 7 "include/linux/nsproxy.h"
 4928struct mnt_namespace;
 4929#line 9
 4930struct ipc_namespace;
 4931#line 25 "include/linux/nsproxy.h"
 4932struct nsproxy {
 4933   atomic_t count ;
 4934   struct uts_namespace *uts_ns ;
 4935   struct ipc_namespace *ipc_ns ;
 4936   struct mnt_namespace *mnt_ns ;
 4937   struct pid_namespace *pid_ns ;
 4938   struct net *net_ns ;
 4939};
 4940#line 51 "include/linux/utsname.h"
 4941struct uts_namespace {
 4942   struct kref kref ;
 4943   struct new_utsname name ;
 4944   struct user_namespace *user_ns ;
 4945};
 4946#line 290 "include/linux/timer.h"
 4947enum hrtimer_restart;
 4948#line 24 "include/linux/sysfs.h"
 4949enum kobj_ns_type;
 4950#line 30 "include/scsi/fc/fc_gs.h"
 4951struct fc_ct_hdr {
 4952   __u8 ct_rev ;
 4953   __u8 ct_in_id[3] ;
 4954   __u8 ct_fs_type ;
 4955   __u8 ct_fs_subtype ;
 4956   __u8 ct_options ;
 4957   __u8 _ct_resvd1 ;
 4958   __be16 ct_cmd ;
 4959   __be16 ct_mr_size ;
 4960   __u8 _ct_resvd2 ;
 4961   __u8 ct_reason ;
 4962   __u8 ct_explan ;
 4963   __u8 ct_vendor ;
 4964};
 4965#line 83 "include/scsi/fc/fc_ns.h"
 4966struct fc_ns_fid {
 4967   __u8 fp_flags ;
 4968   __u8 fp_fid[3] ;
 4969};
 4970#line 123 "include/scsi/fc/fc_ns.h"
 4971struct fc_ns_gid_ft {
 4972   __u8 fn_resvd ;
 4973   __u8 fn_domain_id_scope ;
 4974   __u8 fn_area_id_scope ;
 4975   __u8 fn_fc4_type ;
 4976};
 4977#line 143 "include/scsi/fc/fc_ns.h"
 4978struct fc_ns_gid_pn {
 4979   __be64 fn_wwpn ;
 4980};
 4981#line 487 "include/scsi/fc/fc_els.h"
 4982struct fc_els_rscn {
 4983   __u8 rscn_cmd ;
 4984   __u8 rscn_page_len ;
 4985   __be16 rscn_plen ;
 4986};
 4987#line 495 "include/scsi/fc/fc_els.h"
 4988struct fc_els_rscn_page {
 4989   __u8 rscn_page_flags ;
 4990   __u8 rscn_fid[3] ;
 4991};
 4992#line 505
 4993enum fc_els_rscn_ev_qual {
 4994    ELS_EV_QUAL_NONE = 0,
 4995    ELS_EV_QUAL_NS_OBJ = 1,
 4996    ELS_EV_QUAL_PORT_ATTR = 2,
 4997    ELS_EV_QUAL_SERV_OBJ = 3,
 4998    ELS_EV_QUAL_SW_CONFIG = 4,
 4999    ELS_EV_QUAL_REM_OBJ = 5
 5000} ;
 5001#line 514
 5002enum fc_els_rscn_addr_fmt {
 5003    ELS_ADDR_FMT_PORT = 0,
 5004    ELS_ADDR_FMT_AREA = 1,
 5005    ELS_ADDR_FMT_DOM = 2,
 5006    ELS_ADDR_FMT_FAB = 3
 5007} ;
 5008#line 120 "include/scsi/libfc.h"
 5009struct fc_disc_port {
 5010   struct fc_lport *lp ;
 5011   struct list_head peers ;
 5012   struct work_struct rport_work ;
 5013   u32 port_id ;
 5014};
 5015#line 290 "include/linux/timer.h"
 5016enum hrtimer_restart;
 5017#line 24 "include/linux/sysfs.h"
 5018enum kobj_ns_type;
 5019#line 139 "include/scsi/scsi_transport_fc.h"
 5020enum fc_tgtid_binding_type {
 5021    FC_TGTID_BIND_NONE = 0,
 5022    FC_TGTID_BIND_BY_WWPN = 1,
 5023    FC_TGTID_BIND_BY_WWNN = 2,
 5024    FC_TGTID_BIND_BY_ID = 3
 5025} ;
 5026#line 478 "include/scsi/scsi_transport_fc.h"
 5027struct fc_host_attrs {
 5028   u64 node_name ;
 5029   u64 port_name ;
 5030   u64 permanent_port_name ;
 5031   u32 supported_classes ;
 5032   u8 supported_fc4s[32] ;
 5033   u32 supported_speeds ;
 5034   u32 maxframe_size ;
 5035   u16 max_npiv_vports ;
 5036   char serial_number[80] ;
 5037   char manufacturer[80] ;
 5038   char model[256] ;
 5039   char model_description[256] ;
 5040   char hardware_version[64] ;
 5041   char driver_version[64] ;
 5042   char firmware_version[64] ;
 5043   char optionrom_version[64] ;
 5044   u32 port_id ;
 5045   enum fc_port_type port_type ;
 5046   enum fc_port_state port_state ;
 5047   u8 active_fc4s[32] ;
 5048   u32 speed ;
 5049   u64 fabric_name ;
 5050   char symbolic_name[256] ;
 5051   char system_hostname[256] ;
 5052   u32 dev_loss_tmo ;
 5053   enum fc_tgtid_binding_type tgtid_bind_type ;
 5054   struct list_head rports ;
 5055   struct list_head rport_bindings ;
 5056   struct list_head vports ;
 5057   u32 next_rport_number ;
 5058   u32 next_target_id ;
 5059   u32 next_vport_number ;
 5060   u16 npiv_vports_inuse ;
 5061   char work_q_name[20] ;
 5062   struct workqueue_struct *work_q ;
 5063   char devloss_work_q_name[20] ;
 5064   struct workqueue_struct *devloss_work_q ;
 5065   struct request_queue *rqst_q ;
 5066};
 5067#line 166 "include/scsi/fc/fc_els.h"
 5068struct fc_els_ls_acc {
 5069   __u8 la_cmd ;
 5070   __u8 la_resv[3] ;
 5071};
 5072#line 174 "include/scsi/fc/fc_els.h"
 5073struct fc_els_ls_rjt {
 5074   __u8 er_cmd ;
 5075   __u8 er_resv[4] ;
 5076   __u8 er_reason ;
 5077   __u8 er_explan ;
 5078   __u8 er_vendor ;
 5079};
 5080#line 362 "include/scsi/fc/fc_els.h"
 5081struct fc_els_rrq {
 5082   __u8 rrq_cmd ;
 5083   __u8 rrq_zero[3] ;
 5084   __u8 rrq_resvd ;
 5085   __u8 rrq_s_id[3] ;
 5086   __be16 rrq_ox_id ;
 5087   __be16 rrq_rx_id ;
 5088};
 5089#line 374 "include/scsi/fc/fc_els.h"
 5090struct fc_els_rec {
 5091   __u8 rec_cmd ;
 5092   __u8 rec_zero[3] ;
 5093   __u8 rec_resvd ;
 5094   __u8 rec_s_id[3] ;
 5095   __be16 rec_ox_id ;
 5096   __be16 rec_rx_id ;
 5097};
 5098#line 386 "include/scsi/fc/fc_els.h"
 5099struct fc_els_rec_acc {
 5100   __u8 reca_cmd ;
 5101   __u8 reca_zero[3] ;
 5102   __be16 reca_ox_id ;
 5103   __be16 reca_rx_id ;
 5104   __u8 reca_resvd1 ;
 5105   __u8 reca_ofid[3] ;
 5106   __u8 reca_resvd2 ;
 5107   __u8 reca_rfid[3] ;
 5108   __be32 reca_fc4value ;
 5109   __be32 reca_e_stat ;
 5110};
 5111#line 246 "include/scsi/fc/fc_fs.h"
 5112struct fc_ba_acc {
 5113   __u8 ba_seq_id_val ;
 5114   __u8 ba_seq_id ;
 5115   __u8 ba_resvd[2] ;
 5116   __be16 ba_ox_id ;
 5117   __be16 ba_rx_id ;
 5118   __be16 ba_low_seq_cnt ;
 5119   __be16 ba_high_seq_cnt ;
 5120};
 5121#line 260 "include/scsi/fc/fc_fs.h"
 5122struct fc_ba_rjt {
 5123   __u8 br_resvd ;
 5124   __u8 br_reason ;
 5125   __u8 br_explan ;
 5126   __u8 br_vendor ;
 5127};
 5128#line 271
 5129enum fc_ba_rjt_reason {
 5130    FC_BA_RJT_NONE = 0,
 5131    FC_BA_RJT_INVL_CMD = 1,
 5132    FC_BA_RJT_LOG_ERR = 3,
 5133    FC_BA_RJT_LOG_BUSY = 5,
 5134    FC_BA_RJT_PROTO_ERR = 7,
 5135    FC_BA_RJT_UNABLE = 9,
 5136    FC_BA_RJT_VENDOR = 255
 5137} ;
 5138#line 284
 5139enum fc_ba_rjt_explan {
 5140    FC_BA_RJT_EXP_NONE = 0,
 5141    FC_BA_RJT_INV_XID = 3,
 5142    FC_BA_RJT_ABT = 5
 5143} ;
 5144#line 303
 5145enum fc_pf_rjt_reason {
 5146    FC_RJT_NONE = 0,
 5147    FC_RJT_INVL_DID = 1,
 5148    FC_RJT_INVL_SID = 2,
 5149    FC_RJT_P_UNAV_T = 3,
 5150    FC_RJT_P_UNAV = 4,
 5151    FC_RJT_CLS_UNSUP = 5,
 5152    FC_RJT_DEL_USAGE = 6,
 5153    FC_RJT_TYPE_UNSUP = 7,
 5154    FC_RJT_LINK_CTL = 8,
 5155    FC_RJT_R_CTL = 9,
 5156    FC_RJT_F_CTL = 10,
 5157    FC_RJT_OX_ID = 11,
 5158    FC_RJT_RX_ID = 12,
 5159    FC_RJT_SEQ_ID = 13,
 5160    FC_RJT_DF_CTL = 14,
 5161    FC_RJT_SEQ_CNT = 15,
 5162    FC_RJT_PARAM = 16,
 5163    FC_RJT_EXCH_ERR = 17,
 5164    FC_RJT_PROTO = 18,
 5165    FC_RJT_LEN = 19,
 5166    FC_RJT_UNEXP_ACK = 20,
 5167    FC_RJT_FAB_CLASS = 21,
 5168    FC_RJT_LOGI_REQ = 22,
 5169    FC_RJT_SEQ_XS = 23,
 5170    FC_RJT_EXCH_EST = 24,
 5171    FC_RJT_FAB_UNAV = 26,
 5172    FC_RJT_VC_ID = 27,
 5173    FC_RJT_CS_CTL = 28,
 5174    FC_RJT_INSUF_RES = 29,
 5175    FC_RJT_INVL_CLS = 31,
 5176    FC_RJT_PREEMT_RJT = 32,
 5177    FC_RJT_PREEMT_DIS = 33,
 5178    FC_RJT_MCAST_ERR = 34,
 5179    FC_RJT_MCAST_ET = 35,
 5180    FC_RJT_PRLI_REQ = 36,
 5181    FC_RJT_INVL_ATT = 37,
 5182    FC_RJT_VENDOR = 255
 5183} ;
 5184#line 71 "include/scsi/fc/fc_encaps.h"
 5185enum fc_sof {
 5186    FC_SOF_F = 40,
 5187    FC_SOF_I4 = 41,
 5188    FC_SOF_I2 = 45,
 5189    FC_SOF_I3 = 46,
 5190    FC_SOF_N4 = 49,
 5191    FC_SOF_N2 = 53,
 5192    FC_SOF_N3 = 54,
 5193    FC_SOF_C4 = 57
 5194}  __attribute__((__packed__)) ;
 5195#line 98
 5196enum fc_class {
 5197    FC_CLASS_NONE = 0,
 5198    FC_CLASS_2 = 45,
 5199    FC_CLASS_3 = 46,
 5200    FC_CLASS_4 = 41,
 5201    FC_CLASS_F = 40
 5202} ;
 5203#line 362 "include/scsi/libfc.h"
 5204struct fc_exch_mgr;
 5205#line 363
 5206struct fc_exch_mgr_anchor;
 5207#line 416
 5208struct fc_exch_pool;
 5209#line 416 "include/scsi/libfc.h"
 5210struct fc_exch {
 5211   spinlock_t ex_lock ;
 5212   atomic_t ex_refcnt ;
 5213   enum fc_class class ;
 5214   struct fc_exch_mgr *em ;
 5215   struct fc_exch_pool *pool ;
 5216   struct list_head ex_list ;
 5217   struct fc_lport *lp ;
 5218   u32 esb_stat ;
 5219   u8 state ;
 5220   u8 fh_type ;
 5221   u8 seq_id ;
 5222   u8 encaps ;
 5223   u16 xid ;
 5224   u16 oxid ;
 5225   u16 rxid ;
 5226   u32 oid ;
 5227   u32 sid ;
 5228   u32 did ;
 5229   u32 r_a_tov ;
 5230   u32 f_ctl ;
 5231   struct fc_seq seq ;
 5232   void (*resp)(struct fc_seq * , struct fc_frame * , void * ) ;
 5233   void *arg ;
 5234   void (*destructor)(struct fc_seq * , void * ) ;
 5235   struct delayed_work timeout_work ;
 5236} __attribute__((__aligned__((1) <<  (6) ))) ;
 5237#line 68 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_exch.c"
 5238struct fc_exch_pool {
 5239   spinlock_t lock ;
 5240   struct list_head ex_list ;
 5241   u16 next_index ;
 5242   u16 total_exches ;
 5243   u16 left ;
 5244   u16 right ;
 5245} __attribute__((__aligned__((1) <<  (6) ))) ;
 5246#line 93 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_exch.c"
 5247struct __anonstruct_stats_294 {
 5248   atomic_t no_free_exch ;
 5249   atomic_t no_free_exch_xid ;
 5250   atomic_t xid_not_found ;
 5251   atomic_t xid_busy ;
 5252   atomic_t seq_not_found ;
 5253   atomic_t non_bls_resp ;
 5254};
 5255#line 93 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_exch.c"
 5256struct fc_exch_mgr {
 5257   struct fc_exch_pool *pool ;
 5258   mempool_t *ep_pool ;
 5259   enum fc_class class ;
 5260   struct kref kref ;
 5261   u16 min_xid ;
 5262   u16 max_xid ;
 5263   u16 pool_max_index ;
 5264   struct __anonstruct_stats_294 stats ;
 5265};
 5266#line 129 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_exch.c"
 5267struct fc_exch_mgr_anchor {
 5268   struct list_head ema_list ;
 5269   struct fc_exch_mgr *mp ;
 5270   bool (*match)(struct fc_frame * ) ;
 5271};
 5272#line 253 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_exch.c"
 5273struct __anonstruct_295 {
 5274   int  : 0 ;
 5275};
 5276#line 54 "include/scsi/fc/fc_gs.h"
 5277enum fc_ct_fs_type {
 5278    FC_FST_ALIAS = 248,
 5279    FC_FST_MGMT = 250,
 5280    FC_FST_TIME = 251,
 5281    FC_FST_DIR = 252
 5282} ;
 5283#line 175 "include/scsi/fc/fc_ns.h"
 5284struct fc_ns_rn_id {
 5285   struct fc_ns_fid fr_fid ;
 5286   __be64 fr_wwn ;
 5287} __attribute__((__packed__)) ;
 5288#line 183 "include/scsi/fc/fc_ns.h"
 5289struct fc_ns_rsnn {
 5290   __be64 fr_wwn ;
 5291   __u8 fr_name_len ;
 5292   char fr_name[] ;
 5293} __attribute__((__packed__)) ;
 5294#line 192 "include/scsi/fc/fc_ns.h"
 5295struct fc_ns_rspn {
 5296   struct fc_ns_fid fr_fid ;
 5297   __u8 fr_name_len ;
 5298   char fr_name[] ;
 5299} __attribute__((__packed__)) ;
 5300#line 201 "include/scsi/fc/fc_ns.h"
 5301struct fc_ns_rff_id {
 5302   struct fc_ns_fid fr_fid ;
 5303   __u8 fr_resvd[2] ;
 5304   __u8 fr_feat ;
 5305   __u8 fr_type ;
 5306} __attribute__((__packed__)) ;
 5307#line 223 "include/scsi/fc/fc_els.h"
 5308struct __anonstruct_sp_plogi_11 {
 5309   __be16 _sp_tot_seq ;
 5310   __be16 _sp_rel_off ;
 5311};
 5312#line 223 "include/scsi/fc/fc_els.h"
 5313struct __anonstruct_sp_flogi_acc_12 {
 5314   __be32 _sp_r_a_tov ;
 5315};
 5316#line 223 "include/scsi/fc/fc_els.h"
 5317union __anonunion_sp_u_10 {
 5318   struct __anonstruct_sp_plogi_11 sp_plogi ;
 5319   struct __anonstruct_sp_flogi_acc_12 sp_flogi_acc ;
 5320};
 5321#line 223 "include/scsi/fc/fc_els.h"
 5322struct fc_els_csp {
 5323   __u8 sp_hi_ver ;
 5324   __u8 sp_lo_ver ;
 5325   __be16 sp_bb_cred ;
 5326   __be16 sp_features ;
 5327   __be16 sp_bb_data ;
 5328   union __anonunion_sp_u_10 sp_u ;
 5329   __be32 sp_e_d_tov ;
 5330};
 5331#line 278 "include/scsi/fc/fc_els.h"
 5332struct fc_els_cssp {
 5333   __be16 cp_class ;
 5334   __be16 cp_init ;
 5335   __be16 cp_recip ;
 5336   __be16 cp_rdfs ;
 5337   __be16 cp_con_seq ;
 5338   __be16 cp_ee_cred ;
 5339   __u8 cp_resv1 ;
 5340   __u8 cp_open_seq ;
 5341   __u8 _cp_resv2[2] ;
 5342};
 5343#line 314 "include/scsi/fc/fc_els.h"
 5344struct fc_els_flogi {
 5345   __u8 fl_cmd ;
 5346   __u8 _fl_resvd[3] ;
 5347   struct fc_els_csp fl_csp ;
 5348   __be64 fl_wwpn ;
 5349   __be64 fl_wwnn ;
 5350   struct fc_els_cssp fl_cssp[4] ;
 5351   __u8 fl_vend[16] ;
 5352} __attribute__((__packed__)) ;
 5353#line 402 "include/scsi/fc/fc_els.h"
 5354struct fc_els_prli {
 5355   __u8 prli_cmd ;
 5356   __u8 prli_spp_len ;
 5357   __be16 prli_len ;
 5358};
 5359#line 421 "include/scsi/fc/fc_els.h"
 5360struct fc_els_adisc {
 5361   __u8 adisc_cmd ;
 5362   __u8 adisc_resv[3] ;
 5363   __u8 adisc_resv1 ;
 5364   __u8 adisc_hard_addr[3] ;
 5365   __be64 adisc_wwpn ;
 5366   __be64 adisc_wwnn ;
 5367   __u8 adisc_resv2 ;
 5368   __u8 adisc_port_id[3] ;
 5369} __attribute__((__packed__)) ;
 5370#line 435 "include/scsi/fc/fc_els.h"
 5371struct fc_els_logo {
 5372   __u8 fl_cmd ;
 5373   __u8 fl_zero[3] ;
 5374   __u8 fl_resvd ;
 5375   __u8 fl_n_port_id[3] ;
 5376   __be64 fl_n_port_wwn ;
 5377};
 5378#line 446 "include/scsi/fc/fc_els.h"
 5379struct fc_els_rtv {
 5380   __u8 rtv_cmd ;
 5381   __u8 rtv_zero[3] ;
 5382};
 5383#line 471 "include/scsi/fc/fc_els.h"
 5384struct fc_els_scr {
 5385   __u8 scr_cmd ;
 5386   __u8 scr_resv[6] ;
 5387   __u8 scr_reg_func ;
 5388};
 5389#line 290 "include/linux/timer.h"
 5390enum hrtimer_restart;
 5391#line 24 "include/linux/sysfs.h"
 5392enum kobj_ns_type;
 5393#line 113 "include/scsi/fc/fc_ms.h"
 5394struct fc_fdmi_hba_identifier {
 5395   __be64 id ;
 5396};
 5397#line 120 "include/scsi/fc/fc_ms.h"
 5398struct fc_fdmi_port_name {
 5399   __be64 portname ;
 5400};
 5401#line 128 "include/scsi/fc/fc_ms.h"
 5402struct fc_fdmi_attr_entry {
 5403   __be16 type ;
 5404   __be16 len ;
 5405   __u8 value[1] ;
 5406} __attribute__((__packed__)) ;
 5407#line 137 "include/scsi/fc/fc_ms.h"
 5408struct fs_fdmi_attrs {
 5409   __be32 numattrs ;
 5410   struct fc_fdmi_attr_entry attr[1] ;
 5411} __attribute__((__packed__)) ;
 5412#line 145 "include/scsi/fc/fc_ms.h"
 5413struct fc_fdmi_rpl {
 5414   __be32 numport ;
 5415   struct fc_fdmi_port_name port[1] ;
 5416} __attribute__((__packed__)) ;
 5417#line 153 "include/scsi/fc/fc_ms.h"
 5418struct fc_fdmi_rhba {
 5419   struct fc_fdmi_hba_identifier hbaid ;
 5420   struct fc_fdmi_rpl port ;
 5421   struct fs_fdmi_attrs hba_attrs ;
 5422} __attribute__((__packed__)) ;
 5423#line 179 "include/scsi/fc/fc_ms.h"
 5424struct fc_fdmi_rpa {
 5425   struct fc_fdmi_port_name port ;
 5426   struct fs_fdmi_attrs hba_attrs ;
 5427} __attribute__((__packed__)) ;
 5428#line 187 "include/scsi/fc/fc_ms.h"
 5429struct fc_fdmi_dprt {
 5430   struct fc_fdmi_port_name port ;
 5431} __attribute__((__packed__)) ;
 5432#line 209 "include/scsi/fc/fc_ms.h"
 5433struct fc_fdmi_dhba {
 5434   struct fc_fdmi_hba_identifier hbaid ;
 5435} __attribute__((__packed__)) ;
 5436#line 32 "include/scsi/fc_encode.h"
 5437struct fc_ns_rft {
 5438   struct fc_ns_fid fid ;
 5439   struct fc_ns_fts fts ;
 5440};
 5441#line 37 "include/scsi/fc_encode.h"
 5442union __anonunion_payload_292 {
 5443   struct fc_ns_gid_ft gid ;
 5444   struct fc_ns_rn_id rn ;
 5445   struct fc_ns_rft rft ;
 5446   struct fc_ns_rff_id rff ;
 5447   struct fc_ns_fid fid ;
 5448   struct fc_ns_rsnn snn ;
 5449   struct fc_ns_rspn spn ;
 5450   struct fc_fdmi_rhba rhba ;
 5451   struct fc_fdmi_rpa rpa ;
 5452   struct fc_fdmi_dprt dprt ;
 5453   struct fc_fdmi_dhba dhba ;
 5454};
 5455#line 37 "include/scsi/fc_encode.h"
 5456struct fc_ct_req {
 5457   struct fc_ct_hdr hdr ;
 5458   union __anonunion_payload_292 payload ;
 5459};
 5460#line 658 "include/scsi/fc_encode.h"
 5461struct __anonstruct_pp_293 {
 5462   struct fc_els_prli prli ;
 5463   struct fc_els_spp spp ;
 5464};
 5465#line 115 "include/linux/types.h"
 5466typedef __u8 uint8_t;
 5467#line 120 "include/linux/types.h"
 5468typedef __u64 uint64_t;
 5469#line 290 "include/linux/timer.h"
 5470enum hrtimer_restart;
 5471#line 24 "include/linux/sysfs.h"
 5472enum kobj_ns_type;
 5473#line 440 "include/scsi/scsi_transport_fc.h"
 5474enum fc_host_event_code {
 5475    FCH_EVT_LIP = 1,
 5476    FCH_EVT_LINKUP = 2,
 5477    FCH_EVT_LINKDOWN = 3,
 5478    FCH_EVT_LIPRESET = 4,
 5479    FCH_EVT_RSCN = 5,
 5480    FCH_EVT_ADAPTER_CHANGE = 259,
 5481    FCH_EVT_PORT_UNKNOWN = 512,
 5482    FCH_EVT_PORT_OFFLINE = 513,
 5483    FCH_EVT_PORT_ONLINE = 514,
 5484    FCH_EVT_PORT_FABRIC = 516,
 5485    FCH_EVT_LINK_UNKNOWN = 1280,
 5486    FCH_EVT_VENDOR_UNIQUE = 65535
 5487} ;
 5488#line 609 "include/scsi/scsi_transport_fc.h"
 5489struct fc_bsg_buffer {
 5490   unsigned int payload_len ;
 5491   int sg_cnt ;
 5492   struct scatterlist *sg_list ;
 5493};
 5494#line 619
 5495struct fc_bsg_request;
 5496#line 619
 5497struct fc_bsg_reply;
 5498#line 619 "include/scsi/scsi_transport_fc.h"
 5499struct fc_bsg_job {
 5500   struct Scsi_Host *shost ;
 5501   struct fc_rport *rport ;
 5502   struct device *dev ;
 5503   struct request *req ;
 5504   spinlock_t job_lock ;
 5505   unsigned int state_flags ;
 5506   unsigned int ref_cnt ;
 5507   void (*job_done)(struct fc_bsg_job * ) ;
 5508   struct fc_bsg_request *request ;
 5509   struct fc_bsg_reply *reply ;
 5510   unsigned int request_len ;
 5511   unsigned int reply_len ;
 5512   struct fc_bsg_buffer request_payload ;
 5513   struct fc_bsg_buffer reply_payload ;
 5514   void *dd_data ;
 5515};
 5516#line 84 "include/scsi/scsi_bsg_fc.h"
 5517struct fc_bsg_host_add_rport {
 5518   uint8_t reserved ;
 5519   uint8_t port_id[3] ;
 5520};
 5521#line 105 "include/scsi/scsi_bsg_fc.h"
 5522struct fc_bsg_host_del_rport {
 5523   uint8_t reserved ;
 5524   uint8_t port_id[3] ;
 5525};
 5526#line 125 "include/scsi/scsi_bsg_fc.h"
 5527struct fc_bsg_host_els {
 5528   uint8_t command_code ;
 5529   uint8_t port_id[3] ;
 5530};
 5531#line 145 "include/scsi/scsi_bsg_fc.h"
 5532struct __anonstruct_rjt_data_292 {
 5533   uint8_t action ;
 5534   uint8_t reason_code ;
 5535   uint8_t reason_explanation ;
 5536   uint8_t vendor_unique ;
 5537};
 5538#line 145 "include/scsi/scsi_bsg_fc.h"
 5539struct fc_bsg_ctels_reply {
 5540   uint32_t status ;
 5541   struct __anonstruct_rjt_data_292 rjt_data ;
 5542};
 5543#line 192 "include/scsi/scsi_bsg_fc.h"
 5544struct fc_bsg_host_ct {
 5545   uint8_t reserved ;
 5546   uint8_t port_id[3] ;
 5547   uint32_t preamble_word0 ;
 5548   uint32_t preamble_word1 ;
 5549   uint32_t preamble_word2 ;
 5550};
 5551#line 218 "include/scsi/scsi_bsg_fc.h"
 5552struct fc_bsg_host_vendor {
 5553   uint64_t vendor_id ;
 5554   uint32_t vendor_cmd[0] ;
 5555};
 5556#line 231 "include/scsi/scsi_bsg_fc.h"
 5557struct fc_bsg_host_vendor_reply {
 5558   uint32_t vendor_rsp[0] ;
 5559};
 5560#line 247 "include/scsi/scsi_bsg_fc.h"
 5561struct fc_bsg_rport_els {
 5562   uint8_t els_code ;
 5563};
 5564#line 266 "include/scsi/scsi_bsg_fc.h"
 5565struct fc_bsg_rport_ct {
 5566   uint32_t preamble_word0 ;
 5567   uint32_t preamble_word1 ;
 5568   uint32_t preamble_word2 ;
 5569};
 5570#line 283 "include/scsi/scsi_bsg_fc.h"
 5571union __anonunion_rqst_data_293 {
 5572   struct fc_bsg_host_add_rport h_addrport ;
 5573   struct fc_bsg_host_del_rport h_delrport ;
 5574   struct fc_bsg_host_els h_els ;
 5575   struct fc_bsg_host_ct h_ct ;
 5576   struct fc_bsg_host_vendor h_vendor ;
 5577   struct fc_bsg_rport_els r_els ;
 5578   struct fc_bsg_rport_ct r_ct ;
 5579};
 5580#line 283 "include/scsi/scsi_bsg_fc.h"
 5581struct fc_bsg_request {
 5582   uint32_t msgcode ;
 5583   union __anonunion_rqst_data_293 rqst_data ;
 5584} __attribute__((__packed__)) ;
 5585#line 299 "include/scsi/scsi_bsg_fc.h"
 5586union __anonunion_reply_data_294 {
 5587   struct fc_bsg_host_vendor_reply vendor_reply ;
 5588   struct fc_bsg_ctels_reply ctels_reply ;
 5589};
 5590#line 299 "include/scsi/scsi_bsg_fc.h"
 5591struct fc_bsg_reply {
 5592   uint32_t result ;
 5593   uint32_t reply_payload_rcv_len ;
 5594   union __anonunion_reply_data_294 reply_data ;
 5595};
 5596#line 39 "include/scsi/fc/fc_ns.h"
 5597enum fc_ns_req {
 5598    FC_NS_GA_NXT = 256,
 5599    FC_NS_GI_A = 257,
 5600    FC_NS_GPN_ID = 274,
 5601    FC_NS_GNN_ID = 275,
 5602    FC_NS_GSPN_ID = 280,
 5603    FC_NS_GID_PN = 289,
 5604    FC_NS_GID_NN = 305,
 5605    FC_NS_GID_FT = 369,
 5606    FC_NS_GPN_FT = 370,
 5607    FC_NS_GID_PT = 417,
 5608    FC_NS_RPN_ID = 530,
 5609    FC_NS_RNN_ID = 531,
 5610    FC_NS_RFT_ID = 535,
 5611    FC_NS_RSPN_ID = 536,
 5612    FC_NS_RFF_ID = 543,
 5613    FC_NS_RSNN_NN = 569
 5614} ;
 5615#line 41 "include/scsi/fc/fc_ms.h"
 5616enum fc_fdmi_req {
 5617    FC_FDMI_GRHL = 256,
 5618    FC_FDMI_GHAT = 257,
 5619    FC_FDMI_GRPL = 258,
 5620    FC_FDMI_GPAT = 272,
 5621    FC_FDMI_RHBA = 512,
 5622    FC_FDMI_RHAT = 513,
 5623    FC_FDMI_RPRT = 528,
 5624    FC_FDMI_RPA = 529,
 5625    FC_FDMI_DHBA = 768,
 5626    FC_FDMI_DHAT = 769,
 5627    FC_FDMI_DPRT = 784,
 5628    FC_FDMI_DPA = 785
 5629} ;
 5630#line 524 "include/scsi/fc/fc_els.h"
 5631struct fc_els_rnid {
 5632   __u8 rnid_cmd ;
 5633   __u8 rnid_resv[3] ;
 5634   __u8 rnid_fmt ;
 5635   __u8 rnid_resv2[3] ;
 5636};
 5637#line 542 "include/scsi/fc/fc_els.h"
 5638struct fc_els_rnid_resp {
 5639   __u8 rnid_cmd ;
 5640   __u8 rnid_resv[3] ;
 5641   __u8 rnid_fmt ;
 5642   __u8 rnid_cid_len ;
 5643   __u8 rnid_resv2 ;
 5644   __u8 rnid_sid_len ;
 5645};
 5646#line 551 "include/scsi/fc/fc_els.h"
 5647struct fc_els_rnid_cid {
 5648   __be64 rnid_wwpn ;
 5649   __be64 rnid_wwnn ;
 5650};
 5651#line 152 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_lport.c"
 5652struct fc_bsg_info {
 5653   struct fc_bsg_job *job ;
 5654   struct fc_lport *lport ;
 5655   u16 rsp_code ;
 5656   struct scatterlist *sg ;
 5657   u32 nents ;
 5658   size_t offset ;
 5659};
 5660#line 462 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_lport.c"
 5661struct __anonstruct_rp_300 {
 5662   struct fc_els_rnid_resp rnid ;
 5663   struct fc_els_rnid_cid cid ;
 5664   struct fc_els_rnid_gen gen ;
 5665};
 5666#line 290 "include/linux/timer.h"
 5667enum hrtimer_restart;
 5668#line 24 "include/linux/sysfs.h"
 5669enum kobj_ns_type;
 5670#line 348 "include/scsi/fc/fc_els.h"
 5671enum fc_els_spp_resp {
 5672    FC_SPP_RESP_ACK = 1,
 5673    FC_SPP_RESP_RES = 2,
 5674    FC_SPP_RESP_INIT = 3,
 5675    FC_SPP_RESP_NO_PA = 4,
 5676    FC_SPP_RESP_CONF = 5,
 5677    FC_SPP_RESP_COND = 6,
 5678    FC_SPP_RESP_MULT = 7,
 5679    FC_SPP_RESP_INVL = 8
 5680} ;
 5681#line 412 "include/scsi/fc/fc_els.h"
 5682struct fc_els_prlo {
 5683   __u8 prlo_cmd ;
 5684   __u8 prlo_obs ;
 5685   __be16 prlo_len ;
 5686};
 5687#line 454 "include/scsi/fc/fc_els.h"
 5688struct fc_els_rtv_acc {
 5689   __u8 rtv_cmd ;
 5690   __u8 rtv_zero[3] ;
 5691   __be32 rtv_r_a_tov ;
 5692   __be32 rtv_e_d_tov ;
 5693   __be32 rtv_toq ;
 5694};
 5695#line 738 "include/scsi/fc/fc_els.h"
 5696struct fc_els_rls {
 5697   __u8 rls_cmd ;
 5698   __u8 rls_resv[4] ;
 5699   __u8 rls_port_id[3] ;
 5700};
 5701#line 747 "include/scsi/fc/fc_els.h"
 5702struct fc_els_rls_resp {
 5703   __u8 rls_cmd ;
 5704   __u8 rls_resv[3] ;
 5705   struct fc_els_lesb rls_lesb ;
 5706};
 5707#line 162 "include/scsi/libfc.h"
 5708struct fc_rport_libfc_priv {
 5709   struct fc_lport *local_port ;
 5710   enum fc_rport_state rp_state ;
 5711   u16 flags ;
 5712   unsigned int e_d_tov ;
 5713   unsigned int r_a_tov ;
 5714};
 5715#line 658 "include/scsi/fc_encode.h"
 5716struct __anonstruct_pp_296 {
 5717   struct fc_els_prli prli ;
 5718   struct fc_els_spp spp ;
 5719};
 5720#line 978 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_rport.c"
 5721struct __anonstruct_pp_297 {
 5722   struct fc_els_prli prli ;
 5723   struct fc_els_spp spp ;
 5724};
 5725#line 1073 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_rport.c"
 5726struct __anonstruct_pp_298 {
 5727   struct fc_els_prli prli ;
 5728   struct fc_els_spp spp ;
 5729};
 5730#line 1690 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_rport.c"
 5731struct __anonstruct_pp_299 {
 5732   struct fc_els_prli prli ;
 5733   struct fc_els_spp spp ;
 5734};
 5735#line 1809 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_rport.c"
 5736struct __anonstruct_pp_300 {
 5737   struct fc_els_prlo prlo ;
 5738   struct fc_els_spp spp ;
 5739};
 5740#line 290 "include/linux/timer.h"
 5741enum hrtimer_restart;
 5742#line 24 "include/linux/sysfs.h"
 5743enum kobj_ns_type;
 5744#line 152 "include/linux/skbuff.h"
 5745struct skb_frag_struct;
 5746#line 152 "include/linux/skbuff.h"
 5747typedef struct skb_frag_struct skb_frag_t;
 5748#line 154 "include/linux/skbuff.h"
 5749struct __anonstruct_page_285 {
 5750   struct page *p ;
 5751};
 5752#line 154 "include/linux/skbuff.h"
 5753struct skb_frag_struct {
 5754   struct __anonstruct_page_285 page ;
 5755   __u32 page_offset ;
 5756   __u32 size ;
 5757};
 5758#line 212 "include/linux/skbuff.h"
 5759struct skb_shared_hwtstamps {
 5760   ktime_t hwtstamp ;
 5761   ktime_t syststamp ;
 5762};
 5763#line 253 "include/linux/skbuff.h"
 5764struct skb_shared_info {
 5765   unsigned char nr_frags ;
 5766   __u8 tx_flags ;
 5767   unsigned short gso_size ;
 5768   unsigned short gso_segs ;
 5769   unsigned short gso_type ;
 5770   struct sk_buff *frag_list ;
 5771   struct skb_shared_hwtstamps hwtstamps ;
 5772   __be32 ip6_frag_id ;
 5773   atomic_t dataref ;
 5774   void *destructor_arg ;
 5775   skb_frag_t frags[65536UL / (1UL << 12) + 1UL] ;
 5776};
 5777#line 107 "include/scsi/fc/fc_fcp.h"
 5778struct fcp_txrdy {
 5779   __be32 ft_data_ro ;
 5780   __be32 ft_burst_len ;
 5781   __u8 _ft_resvd[4] ;
 5782};
 5783#line 131 "include/scsi/fc/fc_fcp.h"
 5784struct fcp_resp {
 5785   __u8 _fr_resvd[8] ;
 5786   __be16 fr_retry_delay ;
 5787   __u8 fr_flags ;
 5788   __u8 fr_status ;
 5789};
 5790#line 140 "include/scsi/fc/fc_fcp.h"
 5791struct fcp_resp_ext {
 5792   __be32 fr_resid ;
 5793   __be32 fr_sns_len ;
 5794   __be32 fr_rsp_len ;
 5795};
 5796#line 153 "include/scsi/fc/fc_fcp.h"
 5797struct fcp_resp_rsp_info {
 5798   __u8 _fr_resvd[3] ;
 5799   __u8 rsp_code ;
 5800   __u8 _fr_resvd2[4] ;
 5801};
 5802#line 194 "include/scsi/fc/fc_fcp.h"
 5803struct fcp_srr {
 5804   __u8 srr_op ;
 5805   __u8 srr_resvd[3] ;
 5806   __be16 srr_ox_id ;
 5807   __be16 srr_rx_id ;
 5808   __be32 srr_rel_off ;
 5809   __u8 srr_r_ctl ;
 5810   __u8 srr_resvd2[3] ;
 5811};
 5812#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_fcp.c"
 5813struct fc_fcp_internal {
 5814   mempool_t *scsi_pkt_pool ;
 5815   spinlock_t scsi_queue_lock ;
 5816   struct list_head scsi_pkt_queue ;
 5817   unsigned long last_can_queue_ramp_down_time ;
 5818   unsigned long last_can_queue_ramp_up_time ;
 5819   int max_can_queue ;
 5820};
 5821#line 1798
 5822struct fc_remote_port;
 5823#line 290 "include/linux/timer.h"
 5824enum hrtimer_restart;
 5825#line 24 "include/linux/sysfs.h"
 5826enum kobj_ns_type;
 5827#line 1 "<compiler builtins>"
 5828
 5829#line 1
 5830long __builtin_expect(long val , long res ) ;
 5831#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/swab.h"
 5832__inline static __u32 __arch_swab32(__u32 val )  __attribute__((__no_instrument_function__)) ;
 5833
 5834#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/swab.h"
 5835__inline static __u32 __arch_swab32(__u32 val ) 
 5836{ 
 5837
 5838  {
 5839#line 21
 5840  __asm__  ("bswapl %0": "=r" (val): "0" (val));
 5841#line 25
 5842  return (val);
 5843}
 5844}
 5845#line 46 "include/linux/swab.h"
 5846__inline static __u16 __fswab16(__u16 val )  __attribute__((__no_instrument_function__)) ;
 5847
 5848#line 46 "include/linux/swab.h"
 5849__inline static __u16 __fswab16(__u16 val ) 
 5850{ int __cil_tmp2 ;
 5851  int __cil_tmp3 ;
 5852  int __cil_tmp4 ;
 5853  int __cil_tmp5 ;
 5854  int __cil_tmp6 ;
 5855  int __cil_tmp7 ;
 5856  int __cil_tmp8 ;
 5857
 5858  {
 5859  {
 5860#line 51
 5861  __cil_tmp2 = (int )val;
 5862#line 51
 5863  __cil_tmp3 = __cil_tmp2 & 65280;
 5864#line 51
 5865  __cil_tmp4 = __cil_tmp3 >> 8;
 5866#line 51
 5867  __cil_tmp5 = (int )val;
 5868#line 51
 5869  __cil_tmp6 = __cil_tmp5 & 255;
 5870#line 51
 5871  __cil_tmp7 = __cil_tmp6 << 8;
 5872#line 51
 5873  __cil_tmp8 = __cil_tmp7 | __cil_tmp4;
 5874#line 51
 5875  return ((__u16 )__cil_tmp8);
 5876  }
 5877}
 5878}
 5879#line 55
 5880__inline static __u32 __fswab32(__u32 val )  __attribute__((__no_instrument_function__)) ;
 5881
 5882#line 55 "include/linux/swab.h"
 5883__inline static __u32 __fswab32(__u32 val ) 
 5884{ __u32 tmp ;
 5885
 5886  {
 5887  {
 5888#line 58
 5889  tmp = __arch_swab32(val);
 5890  }
 5891#line 58
 5892  return (tmp);
 5893}
 5894}
 5895#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
 5896extern void *__memcpy(void *to , void    *from , size_t len ) ;
 5897#line 55
 5898extern void *memset(void *s , int c , size_t n ) ;
 5899#line 70 "include/asm-generic/bug.h"
 5900extern void warn_slowpath_null(char    *file , int    line ) ;
 5901#line 88 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/percpu.h"
 5902extern void __bad_percpu_size(void) ;
 5903#line 220 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
 5904extern unsigned long kernel_stack  __attribute__((__section__(".data..percpu"))) ;
 5905#line 222
 5906__inline static struct thread_info *current_thread_info(void)  __attribute__((__no_instrument_function__)) ;
 5907#line 222 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
 5908__inline static struct thread_info *current_thread_info(void) 
 5909{ struct thread_info *ti ;
 5910  unsigned long pfo_ret__ ;
 5911  unsigned long __cil_tmp3 ;
 5912  unsigned long __cil_tmp4 ;
 5913  unsigned long __cil_tmp5 ;
 5914  unsigned long __cil_tmp6 ;
 5915  void *__cil_tmp7 ;
 5916
 5917  {
 5918#line 225
 5919  if ((int )8UL == 1) {
 5920#line 225
 5921    goto case_1;
 5922  } else
 5923#line 225
 5924  if ((int )8UL == 2) {
 5925#line 225
 5926    goto case_2;
 5927  } else
 5928#line 225
 5929  if ((int )8UL == 4) {
 5930#line 225
 5931    goto case_4;
 5932  } else
 5933#line 225
 5934  if ((int )8UL == 8) {
 5935#line 225
 5936    goto case_8;
 5937  } else {
 5938    {
 5939#line 225
 5940    goto switch_default;
 5941#line 225
 5942    if (0) {
 5943      case_1: /* CIL Label */ 
 5944#line 225
 5945      __asm__  ("mov"
 5946                "b "
 5947                "%%"
 5948                "gs"
 5949                ":"
 5950                "%P"
 5951                "1"
 5952                ",%0": "=q" (pfo_ret__): "p" (& kernel_stack));
 5953#line 225
 5954      goto switch_break;
 5955      case_2: /* CIL Label */ 
 5956#line 225
 5957      __asm__  ("mov"
 5958                "w "
 5959                "%%"
 5960                "gs"
 5961                ":"
 5962                "%P"
 5963                "1"
 5964                ",%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 5965#line 225
 5966      goto switch_break;
 5967      case_4: /* CIL Label */ 
 5968#line 225
 5969      __asm__  ("mov"
 5970                "l "
 5971                "%%"
 5972                "gs"
 5973                ":"
 5974                "%P"
 5975                "1"
 5976                ",%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 5977#line 225
 5978      goto switch_break;
 5979      case_8: /* CIL Label */ 
 5980#line 225
 5981      __asm__  ("mov"
 5982                "q "
 5983                "%%"
 5984                "gs"
 5985                ":"
 5986                "%P"
 5987                "1"
 5988                ",%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 5989#line 225
 5990      goto switch_break;
 5991      switch_default: /* CIL Label */ 
 5992      {
 5993#line 225
 5994      __bad_percpu_size();
 5995      }
 5996    } else {
 5997      switch_break: /* CIL Label */ ;
 5998    }
 5999    }
 6000  }
 6001#line 225
 6002  __cil_tmp3 = 1UL << 12;
 6003#line 225
 6004  __cil_tmp4 = __cil_tmp3 << 1;
 6005#line 225
 6006  __cil_tmp5 = pfo_ret__ + 40UL;
 6007#line 225
 6008  __cil_tmp6 = __cil_tmp5 - __cil_tmp4;
 6009#line 225
 6010  __cil_tmp7 = (void *)__cil_tmp6;
 6011#line 225
 6012  ti = (struct thread_info *)__cil_tmp7;
 6013#line 227
 6014  return (ti);
 6015}
 6016}
 6017#line 47 "include/linux/list.h"
 6018extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ;
 6019#line 74
 6020__inline static void list_add_tail(struct list_head *new , struct list_head *head )  __attribute__((__no_instrument_function__)) ;
 6021#line 74 "include/linux/list.h"
 6022__inline static void list_add_tail(struct list_head *new , struct list_head *head ) 
 6023{ unsigned long __cil_tmp3 ;
 6024  unsigned long __cil_tmp4 ;
 6025  struct list_head *__cil_tmp5 ;
 6026
 6027  {
 6028  {
 6029#line 76
 6030  __cil_tmp3 = (unsigned long )head;
 6031#line 76
 6032  __cil_tmp4 = __cil_tmp3 + 8;
 6033#line 76
 6034  __cil_tmp5 = *((struct list_head **)__cil_tmp4);
 6035#line 76
 6036  __list_add(new, __cil_tmp5, head);
 6037  }
 6038#line 77
 6039  return;
 6040}
 6041}
 6042#line 112
 6043extern void list_del(struct list_head *entry ) ;
 6044#line 152 "include/linux/mutex.h"
 6045void mutex_lock(struct mutex *lock ) ;
 6046#line 153
 6047int __attribute__((__warn_unused_result__))  mutex_lock_interruptible(struct mutex *lock ) ;
 6048#line 154
 6049int __attribute__((__warn_unused_result__))  mutex_lock_killable(struct mutex *lock ) ;
 6050#line 168
 6051int mutex_trylock(struct mutex *lock ) ;
 6052#line 169
 6053void mutex_unlock(struct mutex *lock ) ;
 6054#line 170
 6055int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
 6056#line 144 "include/linux/rcupdate.h"
 6057extern void synchronize_sched(void) ;
 6058#line 172
 6059__inline static void synchronize_rcu(void)  __attribute__((__no_instrument_function__)) ;
 6060#line 172 "include/linux/rcupdate.h"
 6061__inline static void synchronize_rcu(void) 
 6062{ 
 6063
 6064  {
 6065  {
 6066#line 174
 6067  synchronize_sched();
 6068  }
 6069#line 175
 6070  return;
 6071}
 6072}
 6073#line 141 "include/linux/notifier.h"
 6074extern int blocking_notifier_call_chain(struct blocking_notifier_head *nh , unsigned long val ,
 6075                                        void *v ) ;
 6076#line 737 "include/linux/mm.h"
 6077__inline static void *( __attribute__((__always_inline__)) lowmem_page_address)(struct page    *page )  __attribute__((__no_instrument_function__)) ;
 6078#line 737 "include/linux/mm.h"
 6079__inline static void *( __attribute__((__always_inline__)) lowmem_page_address)(struct page    *page ) 
 6080{ struct page *__cil_tmp2 ;
 6081  struct page    *__cil_tmp3 ;
 6082  int __cil_tmp4 ;
 6083  unsigned long __cil_tmp5 ;
 6084  phys_addr_t __cil_tmp6 ;
 6085  phys_addr_t __cil_tmp7 ;
 6086  unsigned long __cil_tmp8 ;
 6087  unsigned long __cil_tmp9 ;
 6088
 6089  {
 6090  {
 6091#line 739
 6092  __cil_tmp2 = (struct page *)0xffffea0000000000UL;
 6093#line 739
 6094  __cil_tmp3 = (struct page    *)__cil_tmp2;
 6095#line 739
 6096  __cil_tmp4 = page - __cil_tmp3;
 6097#line 739
 6098  __cil_tmp5 = (unsigned long )__cil_tmp4;
 6099#line 739
 6100  __cil_tmp6 = (phys_addr_t )__cil_tmp5;
 6101#line 739
 6102  __cil_tmp7 = __cil_tmp6 << 12;
 6103#line 739
 6104  __cil_tmp8 = (unsigned long )__cil_tmp7;
 6105#line 739
 6106  __cil_tmp9 = __cil_tmp8 + 0xffff880000000000UL;
 6107#line 739
 6108  return ((void *)__cil_tmp9);
 6109  }
 6110}
 6111}
 6112#line 95 "include/linux/scatterlist.h"
 6113__inline static struct page *sg_page(struct scatterlist *sg )  __attribute__((__no_instrument_function__)) ;
 6114#line 95 "include/linux/scatterlist.h"
 6115__inline static struct page *sg_page(struct scatterlist *sg ) 
 6116{ long tmp ;
 6117  long tmp___0 ;
 6118  unsigned long __cil_tmp4 ;
 6119  int __cil_tmp5 ;
 6120  int __cil_tmp6 ;
 6121  int __cil_tmp7 ;
 6122  long __cil_tmp8 ;
 6123  unsigned long __cil_tmp9 ;
 6124  unsigned long __cil_tmp10 ;
 6125  unsigned long __cil_tmp11 ;
 6126  unsigned long __cil_tmp12 ;
 6127  int __cil_tmp13 ;
 6128  int __cil_tmp14 ;
 6129  long __cil_tmp15 ;
 6130  unsigned long __cil_tmp16 ;
 6131  unsigned long __cil_tmp17 ;
 6132  unsigned long __cil_tmp18 ;
 6133  unsigned long __cil_tmp19 ;
 6134
 6135  {
 6136  {
 6137#line 98
 6138  while (1) {
 6139    while_continue: /* CIL Label */ ;
 6140    {
 6141#line 98
 6142    __cil_tmp4 = *((unsigned long *)sg);
 6143#line 98
 6144    __cil_tmp5 = __cil_tmp4 != 2271560481UL;
 6145#line 98
 6146    __cil_tmp6 = ! __cil_tmp5;
 6147#line 98
 6148    __cil_tmp7 = ! __cil_tmp6;
 6149#line 98
 6150    __cil_tmp8 = (long )__cil_tmp7;
 6151#line 98
 6152    tmp = __builtin_expect(__cil_tmp8, 0L);
 6153    }
 6154#line 98
 6155    if (tmp) {
 6156      {
 6157#line 98
 6158      while (1) {
 6159        while_continue___0: /* CIL Label */ ;
 6160#line 98
 6161        __asm__  volatile   ("1:\tud2\n"
 6162                             ".pushsection __bug_table,\"a\"\n"
 6163                             "2:\t.long 1b - 2b, %c0 - 2b\n"
 6164                             "\t.word %c1, 0\n"
 6165                             "\t.org 2b+%c2\n"
 6166                             ".popsection": : "i" ("include/linux/scatterlist.h"),
 6167                             "i" (98), "i" (12UL));
 6168        {
 6169#line 98
 6170        while (1) {
 6171          while_continue___1: /* CIL Label */ ;
 6172        }
 6173        while_break___1: /* CIL Label */ ;
 6174        }
 6175#line 98
 6176        goto while_break___0;
 6177      }
 6178      while_break___0: /* CIL Label */ ;
 6179      }
 6180    } else {
 6181
 6182    }
 6183#line 98
 6184    goto while_break;
 6185  }
 6186  while_break: /* CIL Label */ ;
 6187  }
 6188  {
 6189#line 99
 6190  while (1) {
 6191    while_continue___2: /* CIL Label */ ;
 6192    {
 6193#line 99
 6194    __cil_tmp9 = (unsigned long )sg;
 6195#line 99
 6196    __cil_tmp10 = __cil_tmp9 + 8;
 6197#line 99
 6198    __cil_tmp11 = *((unsigned long *)__cil_tmp10);
 6199#line 99
 6200    __cil_tmp12 = __cil_tmp11 & 1UL;
 6201#line 99
 6202    __cil_tmp13 = ! __cil_tmp12;
 6203#line 99
 6204    __cil_tmp14 = ! __cil_tmp13;
 6205#line 99
 6206    __cil_tmp15 = (long )__cil_tmp14;
 6207#line 99
 6208    tmp___0 = __builtin_expect(__cil_tmp15, 0L);
 6209    }
 6210#line 99
 6211    if (tmp___0) {
 6212      {
 6213#line 99
 6214      while (1) {
 6215        while_continue___3: /* CIL Label */ ;
 6216#line 99
 6217        __asm__  volatile   ("1:\tud2\n"
 6218                             ".pushsection __bug_table,\"a\"\n"
 6219                             "2:\t.long 1b - 2b, %c0 - 2b\n"
 6220                             "\t.word %c1, 0\n"
 6221                             "\t.org 2b+%c2\n"
 6222                             ".popsection": : "i" ("include/linux/scatterlist.h"),
 6223                             "i" (99), "i" (12UL));
 6224        {
 6225#line 99
 6226        while (1) {
 6227          while_continue___4: /* CIL Label */ ;
 6228        }
 6229        while_break___4: /* CIL Label */ ;
 6230        }
 6231#line 99
 6232        goto while_break___3;
 6233      }
 6234      while_break___3: /* CIL Label */ ;
 6235      }
 6236    } else {
 6237
 6238    }
 6239#line 99
 6240    goto while_break___2;
 6241  }
 6242  while_break___2: /* CIL Label */ ;
 6243  }
 6244  {
 6245#line 101
 6246  __cil_tmp16 = (unsigned long )sg;
 6247#line 101
 6248  __cil_tmp17 = __cil_tmp16 + 8;
 6249#line 101
 6250  __cil_tmp18 = *((unsigned long *)__cil_tmp17);
 6251#line 101
 6252  __cil_tmp19 = __cil_tmp18 & 0xfffffffffffffffcUL;
 6253#line 101
 6254  return ((struct page *)__cil_tmp19);
 6255  }
 6256}
 6257}
 6258#line 204
 6259extern struct scatterlist *sg_next(struct scatterlist * ) ;
 6260#line 11 "include/linux/crc32.h"
 6261extern u32 crc32_le(u32 crc , unsigned char    *p , size_t len ) ;
 6262#line 356 "include/linux/moduleparam.h"
 6263extern struct kernel_param_ops param_ops_int ;
 6264#line 67 "include/linux/module.h"
 6265int init_module(void) ;
 6266#line 68
 6267void cleanup_module(void) ;
 6268#line 16 "include/linux/uaccess.h"
 6269__inline static void pagefault_disable(void)  __attribute__((__no_instrument_function__)) ;
 6270#line 16 "include/linux/uaccess.h"
 6271__inline static void pagefault_disable(void) 
 6272{ struct thread_info *tmp___7 ;
 6273  unsigned long __cil_tmp2 ;
 6274  unsigned long __cil_tmp3 ;
 6275  unsigned long __cil_tmp4 ;
 6276  unsigned long __cil_tmp5 ;
 6277  int __cil_tmp6 ;
 6278
 6279  {
 6280  {
 6281#line 18
 6282  while (1) {
 6283    while_continue: /* CIL Label */ ;
 6284    {
 6285#line 18
 6286    tmp___7 = current_thread_info();
 6287#line 18
 6288    __cil_tmp2 = (unsigned long )tmp___7;
 6289#line 18
 6290    __cil_tmp3 = __cil_tmp2 + 28;
 6291#line 18
 6292    __cil_tmp4 = (unsigned long )tmp___7;
 6293#line 18
 6294    __cil_tmp5 = __cil_tmp4 + 28;
 6295#line 18
 6296    __cil_tmp6 = *((int *)__cil_tmp5);
 6297#line 18
 6298    *((int *)__cil_tmp3) = __cil_tmp6 + 1;
 6299    }
 6300#line 18
 6301    goto while_break;
 6302  }
 6303  while_break: /* CIL Label */ ;
 6304  }
 6305#line 23
 6306  __asm__  volatile   ("": : : "memory");
 6307#line 24
 6308  return;
 6309}
 6310}
 6311#line 26
 6312__inline static void pagefault_enable(void)  __attribute__((__no_instrument_function__)) ;
 6313#line 26 "include/linux/uaccess.h"
 6314__inline static void pagefault_enable(void) 
 6315{ struct thread_info *tmp___7 ;
 6316  unsigned long __cil_tmp2 ;
 6317  unsigned long __cil_tmp3 ;
 6318  unsigned long __cil_tmp4 ;
 6319  unsigned long __cil_tmp5 ;
 6320  int __cil_tmp6 ;
 6321
 6322  {
 6323#line 32
 6324  __asm__  volatile   ("": : : "memory");
 6325  {
 6326#line 33
 6327  while (1) {
 6328    while_continue: /* CIL Label */ ;
 6329    {
 6330#line 33
 6331    tmp___7 = current_thread_info();
 6332#line 33
 6333    __cil_tmp2 = (unsigned long )tmp___7;
 6334#line 33
 6335    __cil_tmp3 = __cil_tmp2 + 28;
 6336#line 33
 6337    __cil_tmp4 = (unsigned long )tmp___7;
 6338#line 33
 6339    __cil_tmp5 = __cil_tmp4 + 28;
 6340#line 33
 6341    __cil_tmp6 = *((int *)__cil_tmp5);
 6342#line 33
 6343    *((int *)__cil_tmp3) = __cil_tmp6 - 1;
 6344    }
 6345#line 33
 6346    goto while_break;
 6347  }
 6348  while_break: /* CIL Label */ ;
 6349  }
 6350#line 37
 6351  __asm__  volatile   ("": : : "memory");
 6352  {
 6353#line 38
 6354  while (1) {
 6355    while_continue___0: /* CIL Label */ ;
 6356#line 38
 6357    goto while_break___0;
 6358  }
 6359  while_break___0: /* CIL Label */ ;
 6360  }
 6361#line 39
 6362  return;
 6363}
 6364}
 6365#line 59 "include/linux/highmem.h"
 6366__inline static void *kmap_atomic(struct page *page )  __attribute__((__no_instrument_function__)) ;
 6367#line 59 "include/linux/highmem.h"
 6368__inline static void *kmap_atomic(struct page *page ) 
 6369{ void *tmp___7 ;
 6370  struct page    *__cil_tmp3 ;
 6371
 6372  {
 6373  {
 6374#line 61
 6375  pagefault_disable();
 6376#line 62
 6377  __cil_tmp3 = (struct page    *)page;
 6378#line 62
 6379  tmp___7 = lowmem_page_address(__cil_tmp3);
 6380  }
 6381#line 62
 6382  return (tmp___7);
 6383}
 6384}
 6385#line 66
 6386__inline static void __kunmap_atomic(void *addr )  __attribute__((__no_instrument_function__)) ;
 6387#line 66 "include/linux/highmem.h"
 6388__inline static void __kunmap_atomic(void *addr ) 
 6389{ 
 6390
 6391  {
 6392  {
 6393#line 68
 6394  pagefault_enable();
 6395  }
 6396#line 69
 6397  return;
 6398}
 6399}
 6400#line 1292 "include/linux/skbuff.h"
 6401extern unsigned char *skb_put(struct sk_buff *skb , unsigned int len ) ;
 6402#line 43 "include/scsi/fc_frame.h"
 6403__inline static void hton24(u8 *p , u32 v )  __attribute__((__no_instrument_function__)) ;
 6404#line 43 "include/scsi/fc_frame.h"
 6405__inline static void hton24(u8 *p , u32 v ) 
 6406{ u8 *__cil_tmp3 ;
 6407  u32 __cil_tmp4 ;
 6408  unsigned int __cil_tmp5 ;
 6409  u8 *__cil_tmp6 ;
 6410  u32 __cil_tmp7 ;
 6411  unsigned int __cil_tmp8 ;
 6412  u8 *__cil_tmp9 ;
 6413  unsigned int __cil_tmp10 ;
 6414
 6415  {
 6416#line 45
 6417  __cil_tmp3 = p + 0;
 6418#line 45
 6419  __cil_tmp4 = v >> 16;
 6420#line 45
 6421  __cil_tmp5 = __cil_tmp4 & 255U;
 6422#line 45
 6423  *__cil_tmp3 = (u8 )__cil_tmp5;
 6424#line 46
 6425  __cil_tmp6 = p + 1;
 6426#line 46
 6427  __cil_tmp7 = v >> 8;
 6428#line 46
 6429  __cil_tmp8 = __cil_tmp7 & 255U;
 6430#line 46
 6431  *__cil_tmp6 = (u8 )__cil_tmp8;
 6432#line 47
 6433  __cil_tmp9 = p + 2;
 6434#line 47
 6435  __cil_tmp10 = v & 255U;
 6436#line 47
 6437  *__cil_tmp9 = (u8 )__cil_tmp10;
 6438#line 48
 6439  return;
 6440}
 6441}
 6442#line 160
 6443__inline static struct fc_frame_header *__fc_frame_header_get(struct fc_frame    *fp )  __attribute__((__no_instrument_function__)) ;
 6444#line 160 "include/scsi/fc_frame.h"
 6445__inline static struct fc_frame_header *__fc_frame_header_get(struct fc_frame    *fp ) 
 6446{ unsigned long __cil_tmp2 ;
 6447  unsigned long __cil_tmp3 ;
 6448  unsigned long __cil_tmp4 ;
 6449  unsigned char *   __cil_tmp5 ;
 6450
 6451  {
 6452  {
 6453#line 163
 6454  __cil_tmp2 = 0 + 224;
 6455#line 163
 6456  __cil_tmp3 = (unsigned long )fp;
 6457#line 163
 6458  __cil_tmp4 = __cil_tmp3 + __cil_tmp2;
 6459#line 163
 6460  __cil_tmp5 = *((unsigned char *   *)__cil_tmp4);
 6461#line 163
 6462  return ((struct fc_frame_header *)__cil_tmp5);
 6463  }
 6464}
 6465}
 6466#line 797 "include/scsi/libfc.h"
 6467struct blocking_notifier_head fc_lport_notifier_head ;
 6468#line 928
 6469int fc_fc4_register_provider(enum fc_fh_type type , struct fc4_prov *prov ) ;
 6470#line 929
 6471void fc_fc4_deregister_provider(enum fc_fh_type type , struct fc4_prov *prov ) ;
 6472#line 1061
 6473void fc_lport_iterate(void (*notify)(struct fc_lport * , void * ) , void *arg ) ;
 6474#line 1109
 6475void fc_fill_reply_hdr(struct fc_frame *fp , struct fc_frame    *in_fp , enum fc_rctl r_ctl ,
 6476                       u32 parm_offset ) ;
 6477#line 1111
 6478void fc_fill_hdr(struct fc_frame *fp , struct fc_frame    *in_fp , enum fc_rctl r_ctl ,
 6479                 u32 f_ctl , u16 seq_cnt , u32 parm_offset ) ;
 6480#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/scsi/libfc/fc_libfc.h"
 6481unsigned int fc_debug_logging  ;
 6482#line 99
 6483struct fc4_prov *fc_active_prov[9] ;
 6484#line 100
 6485struct fc4_prov *fc_passive_prov[9] ;
 6486#line 101
 6487struct mutex fc_prov_mutex ;
 6488#line 103
 6489struct fc4_prov fc_rport_t0_prov ;
 6490#line 104
 6491struct fc4_prov fc_lport_els_prov ;
 6492#line 105
 6493struct fc4_prov fc_rport_fcp_init ;
 6494#line 116
 6495int fc_setup_exch_mgr(void) ;
 6496#line 117
 6497void fc_destroy_exch_mgr(void) ;
 6498#line 118
 6499int fc_setup_rport(void) ;
 6500#line 119
 6501void fc_destroy_rport(void) ;
 6502#line 120
 6503int fc_setup_fcp(void) ;
 6504#line 121
 6505void fc_destroy_fcp(void) ;
 6506#line 127
 6507void fc_fc4_add_lport(struct fc_lport *lport ) ;
 6508#line 128
 6509void fc_fc4_del_lport(struct fc_lport *lport ) ;
 6510#line 129
 6511void fc_fc4_conf_lport_params(struct fc_lport *lport , enum fc_fh_type type ) ;
 6512#line 134
 6513u32 fc_copy_buffer_to_sglist(void *buf , size_t len , struct scatterlist *sg , u32 *nents ,
 6514                             size_t *offset , u32 *crc ) ;
 6515#line 32 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_libfc.c.common.c"
 6516static char    __mod_author32[21]  __attribute__((__used__, __unused__, __section__(".modinfo"),
 6517__aligned__(1)))  = 
 6518#line 32 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_libfc.c.common.c"
 6519  {      (char    )'a',      (char    )'u',      (char const   )'t',      (char const   )'h', 
 6520        (char    )'o',      (char    )'r',      (char const   )'=',      (char const   )'O', 
 6521        (char    )'p',      (char    )'e',      (char const   )'n',      (char const   )'-', 
 6522        (char    )'F',      (char    )'C',      (char const   )'o',      (char const   )'E', 
 6523        (char    )'.',      (char    )'o',      (char const   )'r',      (char const   )'g', 
 6524        (char    )'\000'};
 6525#line 33 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_libfc.c.common.c"
 6526static char    __mod_description33[18]  __attribute__((__used__, __unused__,
 6527__section__(".modinfo"), __aligned__(1)))  = 
 6528#line 33
 6529  {      (char    )'d',      (char    )'e',      (char const   )'s',      (char const   )'c', 
 6530        (char    )'r',      (char    )'i',      (char const   )'p',      (char const   )'t', 
 6531        (char    )'i',      (char    )'o',      (char const   )'n',      (char const   )'=', 
 6532        (char    )'l',      (char    )'i',      (char const   )'b',      (char const   )'f', 
 6533        (char    )'c',      (char    )'\000'};
 6534#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_libfc.c.common.c"
 6535static char    __mod_license34[15]  __attribute__((__used__, __unused__, __section__(".modinfo"),
 6536__aligned__(1)))  = 
 6537#line 34
 6538  {      (char    )'l',      (char    )'i',      (char const   )'c',      (char const   )'e', 
 6539        (char    )'n',      (char    )'s',      (char const   )'e',      (char const   )'=', 
 6540        (char    )'G',      (char    )'P',      (char const   )'L',      (char const   )' ', 
 6541        (char    )'v',      (char    )'2',      (char const   )'\000'};
 6542#line 37 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/508/dscv_tempdir/dscv/ri/32_1/drivers/scsi/libfc/fc_libfc.c.common.c"
 6543static