Showing error 112

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-drivers/module_get_put-drivers-scsi-megaraid.ko_safe.cil.out.i.pp.i
Line in file: 15281
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

    1# 1 "ldv/08_1/drivers/scsi/megaraid.ko/safe.cil.out.i"
    2# 1 "<built-in>"
    3# 1 "<command-line>"
    4# 1 "ldv/08_1/drivers/scsi/megaraid.ko/safe.cil.out.i"
    5# 19 "include/asm-generic/int-ll64.h"
    6typedef signed char __s8;
    7# 22 "include/asm-generic/int-ll64.h"
    8typedef short __s16;
    9# 23 "include/asm-generic/int-ll64.h"
   10typedef unsigned short __u16;
   11# 25 "include/asm-generic/int-ll64.h"
   12typedef int __s32;
   13# 26 "include/asm-generic/int-ll64.h"
   14typedef unsigned int __u32;
   15# 29 "include/asm-generic/int-ll64.h"
   16typedef long long __s64;
   17# 30 "include/asm-generic/int-ll64.h"
   18typedef unsigned long long __u64;
   19# 43 "include/asm-generic/int-ll64.h"
   20typedef unsigned char u8;
   21# 46 "include/asm-generic/int-ll64.h"
   22typedef unsigned short u16;
   23# 48 "include/asm-generic/int-ll64.h"
   24typedef int s32;
   25# 49 "include/asm-generic/int-ll64.h"
   26typedef unsigned int u32;
   27# 51 "include/asm-generic/int-ll64.h"
   28typedef long long s64;
   29# 52 "include/asm-generic/int-ll64.h"
   30typedef unsigned long long u64;
   31# 11 "include/asm-generic/types.h"
   32typedef unsigned short umode_t;
   33# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   34typedef unsigned int __kernel_mode_t;
   35# 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   36typedef unsigned long __kernel_nlink_t;
   37# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   38typedef long __kernel_off_t;
   39# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   40typedef int __kernel_pid_t;
   41# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   42typedef unsigned int __kernel_uid_t;
   43# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   44typedef unsigned int __kernel_gid_t;
   45# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   46typedef unsigned long __kernel_size_t;
   47# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   48typedef long __kernel_ssize_t;
   49# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   50typedef long __kernel_time_t;
   51# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   52typedef long __kernel_clock_t;
   53# 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   54typedef int __kernel_timer_t;
   55# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   56typedef int __kernel_clockid_t;
   57# 27 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   58typedef char *__kernel_caddr_t;
   59# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   60typedef long long __kernel_loff_t;
   61# 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   62typedef __kernel_uid_t __kernel_uid32_t;
   63# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   64typedef __kernel_gid_t __kernel_gid32_t;
   65# 21 "include/linux/types.h"
   66typedef __u32 __kernel_dev_t;
   67# 24 "include/linux/types.h"
   68typedef __kernel_dev_t dev_t;
   69# 26 "include/linux/types.h"
   70typedef __kernel_mode_t mode_t;
   71# 27 "include/linux/types.h"
   72typedef __kernel_nlink_t nlink_t;
   73# 28 "include/linux/types.h"
   74typedef __kernel_off_t off_t;
   75# 29 "include/linux/types.h"
   76typedef __kernel_pid_t pid_t;
   77# 34 "include/linux/types.h"
   78typedef __kernel_clockid_t clockid_t;
   79# 37 "include/linux/types.h"
   80typedef _Bool bool;
   81# 39 "include/linux/types.h"
   82typedef __kernel_uid32_t uid_t;
   83# 40 "include/linux/types.h"
   84typedef __kernel_gid32_t gid_t;
   85# 53 "include/linux/types.h"
   86typedef __kernel_loff_t loff_t;
   87# 62 "include/linux/types.h"
   88typedef __kernel_size_t size_t;
   89# 67 "include/linux/types.h"
   90typedef __kernel_ssize_t ssize_t;
   91# 77 "include/linux/types.h"
   92typedef __kernel_time_t time_t;
   93# 87 "include/linux/types.h"
   94typedef __kernel_caddr_t *caddr_t;
   95# 91 "include/linux/types.h"
   96typedef unsigned char u_char;
   97# 110 "include/linux/types.h"
   98typedef __s32 int32_t;
   99# 116 "include/linux/types.h"
  100typedef __u32 uint32_t;
  101# 141 "include/linux/types.h"
  102typedef unsigned long sector_t;
  103# 142 "include/linux/types.h"
  104typedef unsigned long blkcnt_t;
  105# 154 "include/linux/types.h"
  106typedef u64 dma_addr_t;
  107# 201 "include/linux/types.h"
  108typedef unsigned int gfp_t;
  109# 202 "include/linux/types.h"
  110typedef unsigned int fmode_t;
  111# 205 "include/linux/types.h"
  112typedef u64 phys_addr_t;
  113# 210 "include/linux/types.h"
  114typedef phys_addr_t resource_size_t;
  115# 214 "include/linux/types.h"
  116struct __anonstruct_atomic_t_6 {
  117   int counter ;
  118};
  119# 214 "include/linux/types.h"
  120typedef struct __anonstruct_atomic_t_6 atomic_t;
  121# 219 "include/linux/types.h"
  122struct __anonstruct_atomic64_t_7 {
  123   long counter ;
  124};
  125# 219 "include/linux/types.h"
  126typedef struct __anonstruct_atomic64_t_7 atomic64_t;
  127# 220 "include/linux/types.h"
  128struct list_head {
  129   struct list_head *next ;
  130   struct list_head *prev ;
  131};
  132# 225 "include/linux/types.h"
  133struct hlist_node;
  134# 225 "include/linux/types.h"
  135struct hlist_node;
  136# 225 "include/linux/types.h"
  137struct hlist_head {
  138   struct hlist_node *first ;
  139};
  140# 229 "include/linux/types.h"
  141struct hlist_node {
  142   struct hlist_node *next ;
  143   struct hlist_node **pprev ;
  144};
  145# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  146struct module;
  147# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  148struct module;
  149# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  150struct module;
  151# 145 "include/linux/init.h"
  152typedef void (*ctor_fn_t)(void);
  153# 48 "include/linux/dynamic_debug.h"
  154struct bug_entry {
  155   int bug_addr_disp ;
  156   int file_disp ;
  157   unsigned short line ;
  158   unsigned short flags ;
  159};
  160# 70 "include/asm-generic/bug.h"
  161struct completion;
  162# 70 "include/asm-generic/bug.h"
  163struct completion;
  164# 70 "include/asm-generic/bug.h"
  165struct completion;
  166# 71 "include/asm-generic/bug.h"
  167struct pt_regs;
  168# 71 "include/asm-generic/bug.h"
  169struct pt_regs;
  170# 71 "include/asm-generic/bug.h"
  171struct pt_regs;
  172# 321 "include/linux/kernel.h"
  173struct pid;
  174# 321 "include/linux/kernel.h"
  175struct pid;
  176# 321 "include/linux/kernel.h"
  177struct pid;
  178# 671 "include/linux/kernel.h"
  179struct timespec;
  180# 671 "include/linux/kernel.h"
  181struct timespec;
  182# 671 "include/linux/kernel.h"
  183struct timespec;
  184# 672 "include/linux/kernel.h"
  185struct compat_timespec;
  186# 672 "include/linux/kernel.h"
  187struct compat_timespec;
  188# 672 "include/linux/kernel.h"
  189struct compat_timespec;
  190# 673 "include/linux/kernel.h"
  191struct __anonstruct_futex_9 {
  192   u32 *uaddr ;
  193   u32 val ;
  194   u32 flags ;
  195   u32 bitset ;
  196   u64 time ;
  197   u32 *uaddr2 ;
  198};
  199# 673 "include/linux/kernel.h"
  200struct __anonstruct_nanosleep_10 {
  201   clockid_t clockid ;
  202   struct timespec *rmtp ;
  203   struct compat_timespec *compat_rmtp ;
  204   u64 expires ;
  205};
  206# 673 "include/linux/kernel.h"
  207struct pollfd;
  208# 673 "include/linux/kernel.h"
  209struct pollfd;
  210# 673 "include/linux/kernel.h"
  211struct __anonstruct_poll_11 {
  212   struct pollfd *ufds ;
  213   int nfds ;
  214   int has_timeout ;
  215   unsigned long tv_sec ;
  216   unsigned long tv_nsec ;
  217};
  218# 673 "include/linux/kernel.h"
  219union __anonunion_ldv_2052_8 {
  220   struct __anonstruct_futex_9 futex ;
  221   struct __anonstruct_nanosleep_10 nanosleep ;
  222   struct __anonstruct_poll_11 poll ;
  223};
  224# 673 "include/linux/kernel.h"
  225struct restart_block {
  226   long (*fn)(struct restart_block * ) ;
  227   union __anonunion_ldv_2052_8 ldv_2052 ;
  228};
  229# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  230struct page;
  231# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  232struct page;
  233# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  234struct page;
  235# 21 "include/asm-generic/getorder.h"
  236struct task_struct;
  237# 21 "include/asm-generic/getorder.h"
  238struct task_struct;
  239# 21 "include/asm-generic/getorder.h"
  240struct task_struct;
  241# 22 "include/asm-generic/getorder.h"
  242struct exec_domain;
  243# 22 "include/asm-generic/getorder.h"
  244struct exec_domain;
  245# 22 "include/asm-generic/getorder.h"
  246struct exec_domain;
  247# 23 "include/asm-generic/getorder.h"
  248struct mm_struct;
  249# 23 "include/asm-generic/getorder.h"
  250struct mm_struct;
  251# 23 "include/asm-generic/getorder.h"
  252struct mm_struct;
  253# 215 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/segment.h"
  254struct pt_regs {
  255   unsigned long r15 ;
  256   unsigned long r14 ;
  257   unsigned long r13 ;
  258   unsigned long r12 ;
  259   unsigned long bp ;
  260   unsigned long bx ;
  261   unsigned long r11 ;
  262   unsigned long r10 ;
  263   unsigned long r9 ;
  264   unsigned long r8 ;
  265   unsigned long ax ;
  266   unsigned long cx ;
  267   unsigned long dx ;
  268   unsigned long si ;
  269   unsigned long di ;
  270   unsigned long orig_ax ;
  271   unsigned long ip ;
  272   unsigned long cs ;
  273   unsigned long flags ;
  274   unsigned long sp ;
  275   unsigned long ss ;
  276};
  277# 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
  278struct kernel_vm86_regs {
  279   struct pt_regs pt ;
  280   unsigned short es ;
  281   unsigned short __esh ;
  282   unsigned short ds ;
  283   unsigned short __dsh ;
  284   unsigned short fs ;
  285   unsigned short __fsh ;
  286   unsigned short gs ;
  287   unsigned short __gsh ;
  288};
  289# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
  290union __anonunion_ldv_2292_12 {
  291   struct pt_regs *regs ;
  292   struct kernel_vm86_regs *vm86 ;
  293};
  294# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
  295struct math_emu_info {
  296   long ___orig_eip ;
  297   union __anonunion_ldv_2292_12 ldv_2292 ;
  298};
  299# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  300typedef unsigned long pgdval_t;
  301# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  302typedef unsigned long pgprotval_t;
  303# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  304struct pgprot {
  305   pgprotval_t pgprot ;
  306};
  307# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  308typedef struct pgprot pgprot_t;
  309# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  310struct __anonstruct_pgd_t_15 {
  311   pgdval_t pgd ;
  312};
  313# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  314typedef struct __anonstruct_pgd_t_15 pgd_t;
  315# 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  316typedef struct page *pgtable_t;
  317# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  318struct file;
  319# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  320struct file;
  321# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  322struct file;
  323# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  324struct seq_file;
  325# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  326struct seq_file;
  327# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  328struct seq_file;
  329# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  330struct __anonstruct_ldv_2526_19 {
  331   unsigned int a ;
  332   unsigned int b ;
  333};
  334# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  335struct __anonstruct_ldv_2541_20 {
  336   u16 limit0 ;
  337   u16 base0 ;
  338   unsigned char base1 ;
  339   unsigned char type : 4 ;
  340   unsigned char s : 1 ;
  341   unsigned char dpl : 2 ;
  342   unsigned char p : 1 ;
  343   unsigned char limit : 4 ;
  344   unsigned char avl : 1 ;
  345   unsigned char l : 1 ;
  346   unsigned char d : 1 ;
  347   unsigned char g : 1 ;
  348   unsigned char base2 ;
  349};
  350# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  351union __anonunion_ldv_2542_18 {
  352   struct __anonstruct_ldv_2526_19 ldv_2526 ;
  353   struct __anonstruct_ldv_2541_20 ldv_2541 ;
  354};
  355# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  356struct desc_struct {
  357   union __anonunion_ldv_2542_18 ldv_2542 ;
  358};
  359# 43 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  360struct gate_struct64 {
  361   u16 offset_low ;
  362   u16 segment ;
  363   unsigned char ist : 3 ;
  364   unsigned char zero0 : 5 ;
  365   unsigned char type : 5 ;
  366   unsigned char dpl : 2 ;
  367   unsigned char p : 1 ;
  368   u16 offset_middle ;
  369   u32 offset_high ;
  370   u32 zero1 ;
  371};
  372# 81 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  373typedef struct gate_struct64 gate_desc;
  374# 84 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  375struct desc_ptr {
  376   unsigned short size ;
  377   unsigned long address ;
  378};
  379# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  380struct thread_struct;
  381# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  382struct thread_struct;
  383# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  384struct thread_struct;
  385# 123 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  386struct tss_struct;
  387# 123 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  388struct tss_struct;
  389# 123 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  390struct tss_struct;
  391# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  392struct cpumask;
  393# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  394struct cpumask;
  395# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  396struct cpumask;
  397# 125 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  398struct paravirt_callee_save {
  399   void *func ;
  400};
  401# 94 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  402struct pv_cpu_ops {
  403   unsigned long (*get_debugreg)(int ) ;
  404   void (*set_debugreg)(int , unsigned long ) ;
  405   void (*clts)(void) ;
  406   unsigned long (*read_cr0)(void) ;
  407   void (*write_cr0)(unsigned long ) ;
  408   unsigned long (*read_cr4_safe)(void) ;
  409   unsigned long (*read_cr4)(void) ;
  410   void (*write_cr4)(unsigned long ) ;
  411   unsigned long (*read_cr8)(void) ;
  412   void (*write_cr8)(unsigned long ) ;
  413   void (*load_tr_desc)(void) ;
  414   void (*load_gdt)(struct desc_ptr const * ) ;
  415   void (*load_idt)(struct desc_ptr const * ) ;
  416   void (*store_gdt)(struct desc_ptr * ) ;
  417   void (*store_idt)(struct desc_ptr * ) ;
  418   void (*set_ldt)(void const * , unsigned int ) ;
  419   unsigned long (*store_tr)(void) ;
  420   void (*load_tls)(struct thread_struct * , unsigned int ) ;
  421   void (*load_gs_index)(unsigned int ) ;
  422   void (*write_ldt_entry)(struct desc_struct * , int , void const * ) ;
  423   void (*write_gdt_entry)(struct desc_struct * , int , void const * , int ) ;
  424   void (*write_idt_entry)(gate_desc * , int , gate_desc const * ) ;
  425   void (*alloc_ldt)(struct desc_struct * , unsigned int ) ;
  426   void (*free_ldt)(struct desc_struct * , unsigned int ) ;
  427   void (*load_sp0)(struct tss_struct * , struct thread_struct * ) ;
  428   void (*set_iopl_mask)(unsigned int ) ;
  429   void (*wbinvd)(void) ;
  430   void (*io_delay)(void) ;
  431   void (*cpuid)(unsigned int * , unsigned int * , unsigned int * , unsigned int * ) ;
  432   u64 (*read_msr)(unsigned int , int * ) ;
  433   int (*rdmsr_regs)(u32 * ) ;
  434   int (*write_msr)(unsigned int , unsigned int , unsigned int ) ;
  435   int (*wrmsr_regs)(u32 * ) ;
  436   u64 (*read_tsc)(void) ;
  437   u64 (*read_pmc)(int ) ;
  438   unsigned long long (*read_tscp)(unsigned int * ) ;
  439   void (*irq_enable_sysexit)(void) ;
  440   void (*usergs_sysret64)(void) ;
  441   void (*usergs_sysret32)(void) ;
  442   void (*iret)(void) ;
  443   void (*swapgs)(void) ;
  444   void (*start_context_switch)(struct task_struct * ) ;
  445   void (*end_context_switch)(struct task_struct * ) ;
  446};
  447# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  448struct pv_irq_ops {
  449   struct paravirt_callee_save save_fl ;
  450   struct paravirt_callee_save restore_fl ;
  451   struct paravirt_callee_save irq_disable ;
  452   struct paravirt_callee_save irq_enable ;
  453   void (*safe_halt)(void) ;
  454   void (*halt)(void) ;
  455   void (*adjust_exception_frame)(void) ;
  456};
  457# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  458struct arch_spinlock;
  459# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  460struct arch_spinlock;
  461# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  462struct arch_spinlock;
  463# 304 "include/linux/bitmap.h"
  464struct cpumask {
  465   unsigned long bits[64U] ;
  466};
  467# 13 "include/linux/cpumask.h"
  468typedef struct cpumask cpumask_t;
  469# 622 "include/linux/cpumask.h"
  470typedef struct cpumask *cpumask_var_t;
  471# 90 "include/linux/personality.h"
  472struct map_segment;
  473# 90 "include/linux/personality.h"
  474struct map_segment;
  475# 90 "include/linux/personality.h"
  476struct exec_domain {
  477   char const *name ;
  478   void (*handler)(int , struct pt_regs * ) ;
  479   unsigned char pers_low ;
  480   unsigned char pers_high ;
  481   unsigned long *signal_map ;
  482   unsigned long *signal_invmap ;
  483   struct map_segment *err_map ;
  484   struct map_segment *socktype_map ;
  485   struct map_segment *sockopt_map ;
  486   struct map_segment *af_map ;
  487   struct module *module ;
  488   struct exec_domain *next ;
  489};
  490# 189 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  491struct x86_hw_tss {
  492   u32 reserved1 ;
  493   u64 sp0 ;
  494   u64 sp1 ;
  495   u64 sp2 ;
  496   u64 reserved2 ;
  497   u64 ist[7U] ;
  498   u32 reserved3 ;
  499   u32 reserved4 ;
  500   u16 reserved5 ;
  501   u16 io_bitmap_base ;
  502};
  503# 236 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  504struct tss_struct {
  505   struct x86_hw_tss x86_tss ;
  506   unsigned long io_bitmap[1025U] ;
  507   unsigned long stack[64U] ;
  508};
  509# 277 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  510struct i387_fsave_struct {
  511   u32 cwd ;
  512   u32 swd ;
  513   u32 twd ;
  514   u32 fip ;
  515   u32 fcs ;
  516   u32 foo ;
  517   u32 fos ;
  518   u32 st_space[20U] ;
  519   u32 status ;
  520};
  521# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  522struct __anonstruct_ldv_5171_24 {
  523   u64 rip ;
  524   u64 rdp ;
  525};
  526# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  527struct __anonstruct_ldv_5177_25 {
  528   u32 fip ;
  529   u32 fcs ;
  530   u32 foo ;
  531   u32 fos ;
  532};
  533# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  534union __anonunion_ldv_5178_23 {
  535   struct __anonstruct_ldv_5171_24 ldv_5171 ;
  536   struct __anonstruct_ldv_5177_25 ldv_5177 ;
  537};
  538# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  539union __anonunion_ldv_5187_26 {
  540   u32 padding1[12U] ;
  541   u32 sw_reserved[12U] ;
  542};
  543# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  544struct i387_fxsave_struct {
  545   u16 cwd ;
  546   u16 swd ;
  547   u16 twd ;
  548   u16 fop ;
  549   union __anonunion_ldv_5178_23 ldv_5178 ;
  550   u32 mxcsr ;
  551   u32 mxcsr_mask ;
  552   u32 st_space[32U] ;
  553   u32 xmm_space[64U] ;
  554   u32 padding[12U] ;
  555   union __anonunion_ldv_5187_26 ldv_5187 ;
  556};
  557# 329 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  558struct i387_soft_struct {
  559   u32 cwd ;
  560   u32 swd ;
  561   u32 twd ;
  562   u32 fip ;
  563   u32 fcs ;
  564   u32 foo ;
  565   u32 fos ;
  566   u32 st_space[20U] ;
  567   u8 ftop ;
  568   u8 changed ;
  569   u8 lookahead ;
  570   u8 no_update ;
  571   u8 rm ;
  572   u8 alimit ;
  573   struct math_emu_info *info ;
  574   u32 entry_eip ;
  575};
  576# 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  577struct ymmh_struct {
  578   u32 ymmh_space[64U] ;
  579};
  580# 355 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  581struct xsave_hdr_struct {
  582   u64 xstate_bv ;
  583   u64 reserved1[2U] ;
  584   u64 reserved2[5U] ;
  585};
  586# 361 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  587struct xsave_struct {
  588   struct i387_fxsave_struct i387 ;
  589   struct xsave_hdr_struct xsave_hdr ;
  590   struct ymmh_struct ymmh ;
  591};
  592# 367 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  593union thread_xstate {
  594   struct i387_fsave_struct fsave ;
  595   struct i387_fxsave_struct fxsave ;
  596   struct i387_soft_struct soft ;
  597   struct xsave_struct xsave ;
  598};
  599# 375 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  600struct fpu {
  601   union thread_xstate *state ;
  602};
  603# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  604struct kmem_cache;
  605# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  606struct kmem_cache;
  607# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  608struct perf_event;
  609# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  610struct perf_event;
  611# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  612struct perf_event;
  613# 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  614struct thread_struct {
  615   struct desc_struct tls_array[3U] ;
  616   unsigned long sp0 ;
  617   unsigned long sp ;
  618   unsigned long usersp ;
  619   unsigned short es ;
  620   unsigned short ds ;
  621   unsigned short fsindex ;
  622   unsigned short gsindex ;
  623   unsigned long fs ;
  624   unsigned long gs ;
  625   struct perf_event *ptrace_bps[4U] ;
  626   unsigned long debugreg6 ;
  627   unsigned long ptrace_dr7 ;
  628   unsigned long cr2 ;
  629   unsigned long trap_no ;
  630   unsigned long error_code ;
  631   struct fpu fpu ;
  632   unsigned long *io_bitmap_ptr ;
  633   unsigned long iopl ;
  634   unsigned int io_bitmap_max ;
  635};
  636# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  637struct __anonstruct_mm_segment_t_28 {
  638   unsigned long seg ;
  639};
  640# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  641typedef struct __anonstruct_mm_segment_t_28 mm_segment_t;
  642# 23 "include/asm-generic/atomic-long.h"
  643typedef atomic64_t atomic_long_t;
  644# 131 "include/asm-generic/atomic-long.h"
  645struct thread_info {
  646   struct task_struct *task ;
  647   struct exec_domain *exec_domain ;
  648   __u32 flags ;
  649   __u32 status ;
  650   __u32 cpu ;
  651   int preempt_count ;
  652   mm_segment_t addr_limit ;
  653   struct restart_block restart_block ;
  654   void *sysenter_return ;
  655   int uaccess_err ;
  656};
  657# 8 "include/linux/bottom_half.h"
  658struct arch_spinlock {
  659   unsigned int slock ;
  660};
  661# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  662typedef struct arch_spinlock arch_spinlock_t;
  663# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  664struct __anonstruct_arch_rwlock_t_29 {
  665   unsigned int lock ;
  666};
  667# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  668typedef struct __anonstruct_arch_rwlock_t_29 arch_rwlock_t;
  669# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  670struct lockdep_map;
  671# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  672struct lockdep_map;
  673# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  674struct lockdep_map;
  675# 55 "include/linux/debug_locks.h"
  676struct stack_trace {
  677   unsigned int nr_entries ;
  678   unsigned int max_entries ;
  679   unsigned long *entries ;
  680   int skip ;
  681};
  682# 26 "include/linux/stacktrace.h"
  683struct lockdep_subclass_key {
  684   char __one_byte ;
  685};
  686# 53 "include/linux/lockdep.h"
  687struct lock_class_key {
  688   struct lockdep_subclass_key subkeys[8U] ;
  689};
  690# 59 "include/linux/lockdep.h"
  691struct lock_class {
  692   struct list_head hash_entry ;
  693   struct list_head lock_entry ;
  694   struct lockdep_subclass_key *key ;
  695   unsigned int subclass ;
  696   unsigned int dep_gen_id ;
  697   unsigned long usage_mask ;
  698   struct stack_trace usage_traces[13U] ;
  699   struct list_head locks_after ;
  700   struct list_head locks_before ;
  701   unsigned int version ;
  702   unsigned long ops ;
  703   char const *name ;
  704   int name_version ;
  705   unsigned long contention_point[4U] ;
  706   unsigned long contending_point[4U] ;
  707};
  708# 144 "include/linux/lockdep.h"
  709struct lockdep_map {
  710   struct lock_class_key *key ;
  711   struct lock_class *class_cache[2U] ;
  712   char const *name ;
  713   int cpu ;
  714   unsigned long ip ;
  715};
  716# 187 "include/linux/lockdep.h"
  717struct held_lock {
  718   u64 prev_chain_key ;
  719   unsigned long acquire_ip ;
  720   struct lockdep_map *instance ;
  721   struct lockdep_map *nest_lock ;
  722   u64 waittime_stamp ;
  723   u64 holdtime_stamp ;
  724   unsigned short class_idx : 13 ;
  725   unsigned char irq_context : 2 ;
  726   unsigned char trylock : 1 ;
  727   unsigned char read : 2 ;
  728   unsigned char check : 2 ;
  729   unsigned char hardirqs_off : 1 ;
  730   unsigned short references : 11 ;
  731};
  732# 552 "include/linux/lockdep.h"
  733struct raw_spinlock {
  734   arch_spinlock_t raw_lock ;
  735   unsigned int magic ;
  736   unsigned int owner_cpu ;
  737   void *owner ;
  738   struct lockdep_map dep_map ;
  739};
  740# 32 "include/linux/spinlock_types.h"
  741typedef struct raw_spinlock raw_spinlock_t;
  742# 33 "include/linux/spinlock_types.h"
  743struct __anonstruct_ldv_6059_31 {
  744   u8 __padding[24U] ;
  745   struct lockdep_map dep_map ;
  746};
  747# 33 "include/linux/spinlock_types.h"
  748union __anonunion_ldv_6060_30 {
  749   struct raw_spinlock rlock ;
  750   struct __anonstruct_ldv_6059_31 ldv_6059 ;
  751};
  752# 33 "include/linux/spinlock_types.h"
  753struct spinlock {
  754   union __anonunion_ldv_6060_30 ldv_6060 ;
  755};
  756# 76 "include/linux/spinlock_types.h"
  757typedef struct spinlock spinlock_t;
  758# 23 "include/linux/rwlock_types.h"
  759struct __anonstruct_rwlock_t_32 {
  760   arch_rwlock_t raw_lock ;
  761   unsigned int magic ;
  762   unsigned int owner_cpu ;
  763   void *owner ;
  764   struct lockdep_map dep_map ;
  765};
  766# 23 "include/linux/rwlock_types.h"
  767typedef struct __anonstruct_rwlock_t_32 rwlock_t;
  768# 110 "include/linux/seqlock.h"
  769struct seqcount {
  770   unsigned int sequence ;
  771};
  772# 121 "include/linux/seqlock.h"
  773typedef struct seqcount seqcount_t;
  774# 233 "include/linux/seqlock.h"
  775struct timespec {
  776   __kernel_time_t tv_sec ;
  777   long tv_nsec ;
  778};
  779# 286 "include/linux/time.h"
  780struct kstat {
  781   u64 ino ;
  782   dev_t dev ;
  783   umode_t mode ;
  784   unsigned int nlink ;
  785   uid_t uid ;
  786   gid_t gid ;
  787   dev_t rdev ;
  788   loff_t size ;
  789   struct timespec atime ;
  790   struct timespec mtime ;
  791   struct timespec ctime ;
  792   unsigned long blksize ;
  793   unsigned long long blocks ;
  794};
  795# 49 "include/linux/wait.h"
  796struct __wait_queue_head {
  797   spinlock_t lock ;
  798   struct list_head task_list ;
  799};
  800# 54 "include/linux/wait.h"
  801typedef struct __wait_queue_head wait_queue_head_t;
  802# 96 "include/linux/nodemask.h"
  803struct __anonstruct_nodemask_t_34 {
  804   unsigned long bits[16U] ;
  805};
  806# 96 "include/linux/nodemask.h"
  807typedef struct __anonstruct_nodemask_t_34 nodemask_t;
  808# 640 "include/linux/mmzone.h"
  809struct mutex {
  810   atomic_t count ;
  811   spinlock_t wait_lock ;
  812   struct list_head wait_list ;
  813   struct task_struct *owner ;
  814   char const *name ;
  815   void *magic ;
  816   struct lockdep_map dep_map ;
  817};
  818# 63 "include/linux/mutex.h"
  819struct mutex_waiter {
  820   struct list_head list ;
  821   struct task_struct *task ;
  822   void *magic ;
  823};
  824# 171 "include/linux/mutex.h"
  825struct rw_semaphore;
  826# 171 "include/linux/mutex.h"
  827struct rw_semaphore;
  828# 171 "include/linux/mutex.h"
  829struct rw_semaphore;
  830# 172 "include/linux/mutex.h"
  831struct rw_semaphore {
  832   long count ;
  833   spinlock_t wait_lock ;
  834   struct list_head wait_list ;
  835   struct lockdep_map dep_map ;
  836};
  837# 139 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/e820.h"
  838struct resource {
  839   resource_size_t start ;
  840   resource_size_t end ;
  841   char const *name ;
  842   unsigned long flags ;
  843   struct resource *parent ;
  844   struct resource *sibling ;
  845   struct resource *child ;
  846};
  847# 25 "include/linux/ioport.h"
  848struct pci_dev;
  849# 25 "include/linux/ioport.h"
  850struct pci_dev;
  851# 175 "include/linux/ioport.h"
  852struct device;
  853# 175 "include/linux/ioport.h"
  854struct device;
  855# 175 "include/linux/ioport.h"
  856struct device;
  857# 312 "include/linux/jiffies.h"
  858union ktime {
  859   s64 tv64 ;
  860};
  861# 59 "include/linux/ktime.h"
  862typedef union ktime ktime_t;
  863# 99 "include/linux/debugobjects.h"
  864struct tvec_base;
  865# 99 "include/linux/debugobjects.h"
  866struct tvec_base;
  867# 99 "include/linux/debugobjects.h"
  868struct tvec_base;
  869# 100 "include/linux/debugobjects.h"
  870struct timer_list {
  871   struct list_head entry ;
  872   unsigned long expires ;
  873   struct tvec_base *base ;
  874   void (*function)(unsigned long ) ;
  875   unsigned long data ;
  876   int slack ;
  877   int start_pid ;
  878   void *start_site ;
  879   char start_comm[16U] ;
  880   struct lockdep_map lockdep_map ;
  881};
  882# 289 "include/linux/timer.h"
  883struct hrtimer;
  884# 289 "include/linux/timer.h"
  885struct hrtimer;
  886# 289 "include/linux/timer.h"
  887struct hrtimer;
  888# 290 "include/linux/timer.h"
  889enum hrtimer_restart;
  890# 290 "include/linux/timer.h"
  891enum hrtimer_restart;
  892# 301 "include/linux/timer.h"
  893struct workqueue_struct;
  894# 301 "include/linux/timer.h"
  895struct workqueue_struct;
  896# 301 "include/linux/timer.h"
  897struct workqueue_struct;
  898# 302 "include/linux/timer.h"
  899struct work_struct;
  900# 302 "include/linux/timer.h"
  901struct work_struct;
  902# 302 "include/linux/timer.h"
  903struct work_struct;
  904# 45 "include/linux/workqueue.h"
  905struct work_struct {
  906   atomic_long_t data ;
  907   struct list_head entry ;
  908   void (*func)(struct work_struct * ) ;
  909   struct lockdep_map lockdep_map ;
  910};
  911# 86 "include/linux/workqueue.h"
  912struct delayed_work {
  913   struct work_struct work ;
  914   struct timer_list timer ;
  915};
  916# 102 "include/linux/workqueue.h"
  917struct execute_work {
  918   struct work_struct work ;
  919};
  920# 443 "include/linux/workqueue.h"
  921struct completion {
  922   unsigned int done ;
  923   wait_queue_head_t wait ;
  924};
  925# 46 "include/linux/pm.h"
  926struct pm_message {
  927   int event ;
  928};
  929# 52 "include/linux/pm.h"
  930typedef struct pm_message pm_message_t;
  931# 53 "include/linux/pm.h"
  932struct dev_pm_ops {
  933   int (*prepare)(struct device * ) ;
  934   void (*complete)(struct device * ) ;
  935   int (*suspend)(struct device * ) ;
  936   int (*resume)(struct device * ) ;
  937   int (*freeze)(struct device * ) ;
  938   int (*thaw)(struct device * ) ;
  939   int (*poweroff)(struct device * ) ;
  940   int (*restore)(struct device * ) ;
  941   int (*suspend_noirq)(struct device * ) ;
  942   int (*resume_noirq)(struct device * ) ;
  943   int (*freeze_noirq)(struct device * ) ;
  944   int (*thaw_noirq)(struct device * ) ;
  945   int (*poweroff_noirq)(struct device * ) ;
  946   int (*restore_noirq)(struct device * ) ;
  947   int (*runtime_suspend)(struct device * ) ;
  948   int (*runtime_resume)(struct device * ) ;
  949   int (*runtime_idle)(struct device * ) ;
  950};
  951# 272 "include/linux/pm.h"
  952enum rpm_status {
  953    RPM_ACTIVE = 0,
  954    RPM_RESUMING = 1,
  955    RPM_SUSPENDED = 2,
  956    RPM_SUSPENDING = 3
  957} ;
  958# 279 "include/linux/pm.h"
  959enum rpm_request {
  960    RPM_REQ_NONE = 0,
  961    RPM_REQ_IDLE = 1,
  962    RPM_REQ_SUSPEND = 2,
  963    RPM_REQ_AUTOSUSPEND = 3,
  964    RPM_REQ_RESUME = 4
  965} ;
  966# 287 "include/linux/pm.h"
  967struct wakeup_source;
  968# 287 "include/linux/pm.h"
  969struct wakeup_source;
  970# 287 "include/linux/pm.h"
  971struct wakeup_source;
  972# 288 "include/linux/pm.h"
  973struct dev_pm_info {
  974   pm_message_t power_state ;
  975   unsigned char can_wakeup : 1 ;
  976   unsigned char async_suspend : 1 ;
  977   bool is_prepared ;
  978   bool is_suspended ;
  979   spinlock_t lock ;
  980   struct list_head entry ;
  981   struct completion completion ;
  982   struct wakeup_source *wakeup ;
  983   struct timer_list suspend_timer ;
  984   unsigned long timer_expires ;
  985   struct work_struct work ;
  986   wait_queue_head_t wait_queue ;
  987   atomic_t usage_count ;
  988   atomic_t child_count ;
  989   unsigned char disable_depth : 3 ;
  990   unsigned char ignore_children : 1 ;
  991   unsigned char idle_notification : 1 ;
  992   unsigned char request_pending : 1 ;
  993   unsigned char deferred_resume : 1 ;
  994   unsigned char run_wake : 1 ;
  995   unsigned char runtime_auto : 1 ;
  996   unsigned char no_callbacks : 1 ;
  997   unsigned char irq_safe : 1 ;
  998   unsigned char use_autosuspend : 1 ;
  999   unsigned char timer_autosuspends : 1 ;
 1000   enum rpm_request request ;
 1001   enum rpm_status runtime_status ;
 1002   int runtime_error ;
 1003   int autosuspend_delay ;
 1004   unsigned long last_busy ;
 1005   unsigned long active_jiffies ;
 1006   unsigned long suspended_jiffies ;
 1007   unsigned long accounting_timestamp ;
 1008   void *subsys_data ;
 1009};
 1010# 469 "include/linux/pm.h"
 1011struct dev_power_domain {
 1012   struct dev_pm_ops ops ;
 1013};
 1014# 175 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
 1015struct pci_bus;
 1016# 175 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
 1017struct pci_bus;
 1018# 175 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
 1019struct pci_bus;
 1020# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
 1021struct __anonstruct_mm_context_t_99 {
 1022   void *ldt ;
 1023   int size ;
 1024   unsigned short ia32_compat ;
 1025   struct mutex lock ;
 1026   void *vdso ;
 1027};
 1028# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
 1029typedef struct __anonstruct_mm_context_t_99 mm_context_t;
 1030# 71 "include/asm-generic/iomap.h"
 1031struct vm_area_struct;
 1032# 71 "include/asm-generic/iomap.h"
 1033struct vm_area_struct;
 1034# 71 "include/asm-generic/iomap.h"
 1035struct vm_area_struct;
 1036# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 1037struct bio_vec;
 1038# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 1039struct bio_vec;
 1040# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 1041struct bio_vec;
 1042# 18 "include/linux/smp.h"
 1043struct call_single_data {
 1044   struct list_head list ;
 1045   void (*func)(void * ) ;
 1046   void *info ;
 1047   u16 flags ;
 1048   u16 priv ;
 1049};
 1050# 53 "include/linux/rcupdate.h"
 1051struct rcu_head {
 1052   struct rcu_head *next ;
 1053   void (*func)(struct rcu_head * ) ;
 1054};
 1055# 841 "include/linux/rcupdate.h"
 1056struct nsproxy;
 1057# 841 "include/linux/rcupdate.h"
 1058struct nsproxy;
 1059# 841 "include/linux/rcupdate.h"
 1060struct nsproxy;
 1061# 36 "include/linux/kmod.h"
 1062struct cred;
 1063# 36 "include/linux/kmod.h"
 1064struct cred;
 1065# 36 "include/linux/kmod.h"
 1066struct cred;
 1067# 27 "include/linux/elf.h"
 1068typedef __u64 Elf64_Addr;
 1069# 28 "include/linux/elf.h"
 1070typedef __u16 Elf64_Half;
 1071# 32 "include/linux/elf.h"
 1072typedef __u32 Elf64_Word;
 1073# 33 "include/linux/elf.h"
 1074typedef __u64 Elf64_Xword;
 1075# 202 "include/linux/elf.h"
 1076struct elf64_sym {
 1077   Elf64_Word st_name ;
 1078   unsigned char st_info ;
 1079   unsigned char st_other ;
 1080   Elf64_Half st_shndx ;
 1081   Elf64_Addr st_value ;
 1082   Elf64_Xword st_size ;
 1083};
 1084# 210 "include/linux/elf.h"
 1085typedef struct elf64_sym Elf64_Sym;
 1086# 444 "include/linux/elf.h"
 1087struct sock;
 1088# 444 "include/linux/elf.h"
 1089struct sock;
 1090# 444 "include/linux/elf.h"
 1091struct sock;
 1092# 445 "include/linux/elf.h"
 1093struct kobject;
 1094# 445 "include/linux/elf.h"
 1095struct kobject;
 1096# 445 "include/linux/elf.h"
 1097struct kobject;
 1098# 446 "include/linux/elf.h"
 1099enum kobj_ns_type {
 1100    KOBJ_NS_TYPE_NONE = 0,
 1101    KOBJ_NS_TYPE_NET = 1,
 1102    KOBJ_NS_TYPES = 2
 1103} ;
 1104# 452 "include/linux/elf.h"
 1105struct kobj_ns_type_operations {
 1106   enum kobj_ns_type type ;
 1107   void *(*grab_current_ns)(void) ;
 1108   void const *(*netlink_ns)(struct sock * ) ;
 1109   void const *(*initial_ns)(void) ;
 1110   void (*drop_ns)(void * ) ;
 1111};
 1112# 57 "include/linux/kobject_ns.h"
 1113struct attribute {
 1114   char const *name ;
 1115   mode_t mode ;
 1116   struct lock_class_key *key ;
 1117   struct lock_class_key skey ;
 1118};
 1119# 33 "include/linux/sysfs.h"
 1120struct attribute_group {
 1121   char const *name ;
 1122   mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
 1123   struct attribute **attrs ;
 1124};
 1125# 62 "include/linux/sysfs.h"
 1126struct bin_attribute {
 1127   struct attribute attr ;
 1128   size_t size ;
 1129   void *private ;
 1130   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1131                   loff_t , size_t ) ;
 1132   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1133                    loff_t , size_t ) ;
 1134   int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
 1135};
 1136# 98 "include/linux/sysfs.h"
 1137struct sysfs_ops {
 1138   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
 1139   ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
 1140};
 1141# 116 "include/linux/sysfs.h"
 1142struct sysfs_dirent;
 1143# 116 "include/linux/sysfs.h"
 1144struct sysfs_dirent;
 1145# 116 "include/linux/sysfs.h"
 1146struct sysfs_dirent;
 1147# 181 "include/linux/sysfs.h"
 1148struct kref {
 1149   atomic_t refcount ;
 1150};
 1151# 49 "include/linux/kobject.h"
 1152struct kset;
 1153# 49 "include/linux/kobject.h"
 1154struct kset;
 1155# 49 "include/linux/kobject.h"
 1156struct kobj_type;
 1157# 49 "include/linux/kobject.h"
 1158struct kobj_type;
 1159# 49 "include/linux/kobject.h"
 1160struct kobject {
 1161   char const *name ;
 1162   struct list_head entry ;
 1163   struct kobject *parent ;
 1164   struct kset *kset ;
 1165   struct kobj_type *ktype ;
 1166   struct sysfs_dirent *sd ;
 1167   struct kref kref ;
 1168   unsigned char state_initialized : 1 ;
 1169   unsigned char state_in_sysfs : 1 ;
 1170   unsigned char state_add_uevent_sent : 1 ;
 1171   unsigned char state_remove_uevent_sent : 1 ;
 1172   unsigned char uevent_suppress : 1 ;
 1173};
 1174# 109 "include/linux/kobject.h"
 1175struct kobj_type {
 1176   void (*release)(struct kobject * ) ;
 1177   struct sysfs_ops const *sysfs_ops ;
 1178   struct attribute **default_attrs ;
 1179   struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
 1180   void const *(*namespace)(struct kobject * ) ;
 1181};
 1182# 117 "include/linux/kobject.h"
 1183struct kobj_uevent_env {
 1184   char *envp[32U] ;
 1185   int envp_idx ;
 1186   char buf[2048U] ;
 1187   int buflen ;
 1188};
 1189# 124 "include/linux/kobject.h"
 1190struct kset_uevent_ops {
 1191   int (* const filter)(struct kset * , struct kobject * ) ;
 1192   char const *(* const name)(struct kset * , struct kobject * ) ;
 1193   int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
 1194};
 1195# 141 "include/linux/kobject.h"
 1196struct kset {
 1197   struct list_head list ;
 1198   spinlock_t list_lock ;
 1199   struct kobject kobj ;
 1200   struct kset_uevent_ops const *uevent_ops ;
 1201};
 1202# 219 "include/linux/kobject.h"
 1203struct kernel_param;
 1204# 219 "include/linux/kobject.h"
 1205struct kernel_param;
 1206# 219 "include/linux/kobject.h"
 1207struct kernel_param;
 1208# 220 "include/linux/kobject.h"
 1209struct kernel_param_ops {
 1210   int (*set)(char const * , struct kernel_param const * ) ;
 1211   int (*get)(char * , struct kernel_param const * ) ;
 1212   void (*free)(void * ) ;
 1213};
 1214# 44 "include/linux/moduleparam.h"
 1215struct kparam_string;
 1216# 44 "include/linux/moduleparam.h"
 1217struct kparam_string;
 1218# 44 "include/linux/moduleparam.h"
 1219struct kparam_array;
 1220# 44 "include/linux/moduleparam.h"
 1221struct kparam_array;
 1222# 44 "include/linux/moduleparam.h"
 1223union __anonunion_ldv_12924_129 {
 1224   void *arg ;
 1225   struct kparam_string const *str ;
 1226   struct kparam_array const *arr ;
 1227};
 1228# 44 "include/linux/moduleparam.h"
 1229struct kernel_param {
 1230   char const *name ;
 1231   struct kernel_param_ops const *ops ;
 1232   u16 perm ;
 1233   u16 flags ;
 1234   union __anonunion_ldv_12924_129 ldv_12924 ;
 1235};
 1236# 59 "include/linux/moduleparam.h"
 1237struct kparam_string {
 1238   unsigned int maxlen ;
 1239   char *string ;
 1240};
 1241# 65 "include/linux/moduleparam.h"
 1242struct kparam_array {
 1243   unsigned int max ;
 1244   unsigned int elemsize ;
 1245   unsigned int *num ;
 1246   struct kernel_param_ops const *ops ;
 1247   void *elem ;
 1248};
 1249# 404 "include/linux/moduleparam.h"
 1250struct jump_label_key {
 1251   atomic_t enabled ;
 1252};
 1253# 99 "include/linux/jump_label.h"
 1254struct tracepoint;
 1255# 99 "include/linux/jump_label.h"
 1256struct tracepoint;
 1257# 99 "include/linux/jump_label.h"
 1258struct tracepoint;
 1259# 100 "include/linux/jump_label.h"
 1260struct tracepoint_func {
 1261   void *func ;
 1262   void *data ;
 1263};
 1264# 29 "include/linux/tracepoint.h"
 1265struct tracepoint {
 1266   char const *name ;
 1267   struct jump_label_key key ;
 1268   void (*regfunc)(void) ;
 1269   void (*unregfunc)(void) ;
 1270   struct tracepoint_func *funcs ;
 1271};
 1272# 84 "include/linux/tracepoint.h"
 1273struct mod_arch_specific {
 1274
 1275};
 1276# 127 "include/trace/events/module.h"
 1277struct kernel_symbol {
 1278   unsigned long value ;
 1279   char const *name ;
 1280};
 1281# 48 "include/linux/module.h"
 1282struct module_attribute {
 1283   struct attribute attr ;
 1284   ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
 1285   ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
 1286                    size_t ) ;
 1287   void (*setup)(struct module * , char const * ) ;
 1288   int (*test)(struct module * ) ;
 1289   void (*free)(struct module * ) ;
 1290};
 1291# 68 "include/linux/module.h"
 1292struct module_param_attrs;
 1293# 68 "include/linux/module.h"
 1294struct module_param_attrs;
 1295# 68 "include/linux/module.h"
 1296struct module_kobject {
 1297   struct kobject kobj ;
 1298   struct module *mod ;
 1299   struct kobject *drivers_dir ;
 1300   struct module_param_attrs *mp ;
 1301};
 1302# 81 "include/linux/module.h"
 1303struct exception_table_entry;
 1304# 81 "include/linux/module.h"
 1305struct exception_table_entry;
 1306# 81 "include/linux/module.h"
 1307struct exception_table_entry;
 1308# 218 "include/linux/module.h"
 1309enum module_state {
 1310    MODULE_STATE_LIVE = 0,
 1311    MODULE_STATE_COMING = 1,
 1312    MODULE_STATE_GOING = 2
 1313} ;
 1314# 224 "include/linux/module.h"
 1315struct module_ref {
 1316   unsigned int incs ;
 1317   unsigned int decs ;
 1318};
 1319# 418 "include/linux/module.h"
 1320struct module_sect_attrs;
 1321# 418 "include/linux/module.h"
 1322struct module_sect_attrs;
 1323# 418 "include/linux/module.h"
 1324struct module_notes_attrs;
 1325# 418 "include/linux/module.h"
 1326struct module_notes_attrs;
 1327# 418 "include/linux/module.h"
 1328struct ftrace_event_call;
 1329# 418 "include/linux/module.h"
 1330struct ftrace_event_call;
 1331# 418 "include/linux/module.h"
 1332struct module {
 1333   enum module_state state ;
 1334   struct list_head list ;
 1335   char name[56U] ;
 1336   struct module_kobject mkobj ;
 1337   struct module_attribute *modinfo_attrs ;
 1338   char const *version ;
 1339   char const *srcversion ;
 1340   struct kobject *holders_dir ;
 1341   struct kernel_symbol const *syms ;
 1342   unsigned long const *crcs ;
 1343   unsigned int num_syms ;
 1344   struct kernel_param *kp ;
 1345   unsigned int num_kp ;
 1346   unsigned int num_gpl_syms ;
 1347   struct kernel_symbol const *gpl_syms ;
 1348   unsigned long const *gpl_crcs ;
 1349   struct kernel_symbol const *unused_syms ;
 1350   unsigned long const *unused_crcs ;
 1351   unsigned int num_unused_syms ;
 1352   unsigned int num_unused_gpl_syms ;
 1353   struct kernel_symbol const *unused_gpl_syms ;
 1354   unsigned long const *unused_gpl_crcs ;
 1355   struct kernel_symbol const *gpl_future_syms ;
 1356   unsigned long const *gpl_future_crcs ;
 1357   unsigned int num_gpl_future_syms ;
 1358   unsigned int num_exentries ;
 1359   struct exception_table_entry *extable ;
 1360   int (*init)(void) ;
 1361   void *module_init ;
 1362   void *module_core ;
 1363   unsigned int init_size ;
 1364   unsigned int core_size ;
 1365   unsigned int init_text_size ;
 1366   unsigned int core_text_size ;
 1367   unsigned int init_ro_size ;
 1368   unsigned int core_ro_size ;
 1369   struct mod_arch_specific arch ;
 1370   unsigned int taints ;
 1371   unsigned int num_bugs ;
 1372   struct list_head bug_list ;
 1373   struct bug_entry *bug_table ;
 1374   Elf64_Sym *symtab ;
 1375   Elf64_Sym *core_symtab ;
 1376   unsigned int num_symtab ;
 1377   unsigned int core_num_syms ;
 1378   char *strtab ;
 1379   char *core_strtab ;
 1380   struct module_sect_attrs *sect_attrs ;
 1381   struct module_notes_attrs *notes_attrs ;
 1382   char *args ;
 1383   void *percpu ;
 1384   unsigned int percpu_size ;
 1385   unsigned int num_tracepoints ;
 1386   struct tracepoint * const *tracepoints_ptrs ;
 1387   unsigned int num_trace_bprintk_fmt ;
 1388   char const **trace_bprintk_fmt_start ;
 1389   struct ftrace_event_call **trace_events ;
 1390   unsigned int num_trace_events ;
 1391   unsigned int num_ftrace_callsites ;
 1392   unsigned long *ftrace_callsites ;
 1393   struct list_head source_list ;
 1394   struct list_head target_list ;
 1395   struct task_struct *waiter ;
 1396   void (*exit)(void) ;
 1397   struct module_ref *refptr ;
 1398   ctor_fn_t (**ctors)(void) ;
 1399   unsigned int num_ctors ;
 1400};
 1401# 8 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
 1402struct rb_node {
 1403   unsigned long rb_parent_color ;
 1404   struct rb_node *rb_right ;
 1405   struct rb_node *rb_left ;
 1406};
 1407# 108 "include/linux/rbtree.h"
 1408struct rb_root {
 1409   struct rb_node *rb_node ;
 1410};
 1411# 176 "include/linux/rbtree.h"
 1412struct prio_tree_node;
 1413# 176 "include/linux/rbtree.h"
 1414struct prio_tree_node;
 1415# 176 "include/linux/rbtree.h"
 1416struct raw_prio_tree_node {
 1417   struct prio_tree_node *left ;
 1418   struct prio_tree_node *right ;
 1419   struct prio_tree_node *parent ;
 1420};
 1421# 19 "include/linux/prio_tree.h"
 1422struct prio_tree_node {
 1423   struct prio_tree_node *left ;
 1424   struct prio_tree_node *right ;
 1425   struct prio_tree_node *parent ;
 1426   unsigned long start ;
 1427   unsigned long last ;
 1428};
 1429# 27 "include/linux/prio_tree.h"
 1430struct prio_tree_root {
 1431   struct prio_tree_node *prio_tree_node ;
 1432   unsigned short index_bits ;
 1433   unsigned short raw ;
 1434};
 1435# 115 "include/linux/prio_tree.h"
 1436struct address_space;
 1437# 115 "include/linux/prio_tree.h"
 1438struct address_space;
 1439# 115 "include/linux/prio_tree.h"
 1440struct address_space;
 1441# 116 "include/linux/prio_tree.h"
 1442struct __anonstruct_ldv_13775_131 {
 1443   u16 inuse ;
 1444   u16 objects ;
 1445};
 1446# 116 "include/linux/prio_tree.h"
 1447union __anonunion_ldv_13776_130 {
 1448   atomic_t _mapcount ;
 1449   struct __anonstruct_ldv_13775_131 ldv_13775 ;
 1450};
 1451# 116 "include/linux/prio_tree.h"
 1452struct __anonstruct_ldv_13781_133 {
 1453   unsigned long private ;
 1454   struct address_space *mapping ;
 1455};
 1456# 116 "include/linux/prio_tree.h"
 1457union __anonunion_ldv_13784_132 {
 1458   struct __anonstruct_ldv_13781_133 ldv_13781 ;
 1459   struct kmem_cache *slab ;
 1460   struct page *first_page ;
 1461};
 1462# 116 "include/linux/prio_tree.h"
 1463union __anonunion_ldv_13788_134 {
 1464   unsigned long index ;
 1465   void *freelist ;
 1466};
 1467# 116 "include/linux/prio_tree.h"
 1468struct page {
 1469   unsigned long flags ;
 1470   atomic_t _count ;
 1471   union __anonunion_ldv_13776_130 ldv_13776 ;
 1472   union __anonunion_ldv_13784_132 ldv_13784 ;
 1473   union __anonunion_ldv_13788_134 ldv_13788 ;
 1474   struct list_head lru ;
 1475};
 1476# 124 "include/linux/mm_types.h"
 1477struct __anonstruct_vm_set_136 {
 1478   struct list_head list ;
 1479   void *parent ;
 1480   struct vm_area_struct *head ;
 1481};
 1482# 124 "include/linux/mm_types.h"
 1483union __anonunion_shared_135 {
 1484   struct __anonstruct_vm_set_136 vm_set ;
 1485   struct raw_prio_tree_node prio_tree_node ;
 1486};
 1487# 124 "include/linux/mm_types.h"
 1488struct anon_vma;
 1489# 124 "include/linux/mm_types.h"
 1490struct anon_vma;
 1491# 124 "include/linux/mm_types.h"
 1492struct vm_operations_struct;
 1493# 124 "include/linux/mm_types.h"
 1494struct vm_operations_struct;
 1495# 124 "include/linux/mm_types.h"
 1496struct mempolicy;
 1497# 124 "include/linux/mm_types.h"
 1498struct mempolicy;
 1499# 124 "include/linux/mm_types.h"
 1500struct vm_area_struct {
 1501   struct mm_struct *vm_mm ;
 1502   unsigned long vm_start ;
 1503   unsigned long vm_end ;
 1504   struct vm_area_struct *vm_next ;
 1505   struct vm_area_struct *vm_prev ;
 1506   pgprot_t vm_page_prot ;
 1507   unsigned long vm_flags ;
 1508   struct rb_node vm_rb ;
 1509   union __anonunion_shared_135 shared ;
 1510   struct list_head anon_vma_chain ;
 1511   struct anon_vma *anon_vma ;
 1512   struct vm_operations_struct const *vm_ops ;
 1513   unsigned long vm_pgoff ;
 1514   struct file *vm_file ;
 1515   void *vm_private_data ;
 1516   struct mempolicy *vm_policy ;
 1517};
 1518# 187 "include/linux/mm_types.h"
 1519struct core_thread {
 1520   struct task_struct *task ;
 1521   struct core_thread *next ;
 1522};
 1523# 193 "include/linux/mm_types.h"
 1524struct core_state {
 1525   atomic_t nr_threads ;
 1526   struct core_thread dumper ;
 1527   struct completion startup ;
 1528};
 1529# 206 "include/linux/mm_types.h"
 1530struct mm_rss_stat {
 1531   atomic_long_t count[3U] ;
 1532};
 1533# 219 "include/linux/mm_types.h"
 1534struct linux_binfmt;
 1535# 219 "include/linux/mm_types.h"
 1536struct linux_binfmt;
 1537# 219 "include/linux/mm_types.h"
 1538struct mmu_notifier_mm;
 1539# 219 "include/linux/mm_types.h"
 1540struct mmu_notifier_mm;
 1541# 219 "include/linux/mm_types.h"
 1542struct mm_struct {
 1543   struct vm_area_struct *mmap ;
 1544   struct rb_root mm_rb ;
 1545   struct vm_area_struct *mmap_cache ;
 1546   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
 1547                                      unsigned long , unsigned long ) ;
 1548   void (*unmap_area)(struct mm_struct * , unsigned long ) ;
 1549   unsigned long mmap_base ;
 1550   unsigned long task_size ;
 1551   unsigned long cached_hole_size ;
 1552   unsigned long free_area_cache ;
 1553   pgd_t *pgd ;
 1554   atomic_t mm_users ;
 1555   atomic_t mm_count ;
 1556   int map_count ;
 1557   spinlock_t page_table_lock ;
 1558   struct rw_semaphore mmap_sem ;
 1559   struct list_head mmlist ;
 1560   unsigned long hiwater_rss ;
 1561   unsigned long hiwater_vm ;
 1562   unsigned long total_vm ;
 1563   unsigned long locked_vm ;
 1564   unsigned long shared_vm ;
 1565   unsigned long exec_vm ;
 1566   unsigned long stack_vm ;
 1567   unsigned long reserved_vm ;
 1568   unsigned long def_flags ;
 1569   unsigned long nr_ptes ;
 1570   unsigned long start_code ;
 1571   unsigned long end_code ;
 1572   unsigned long start_data ;
 1573   unsigned long end_data ;
 1574   unsigned long start_brk ;
 1575   unsigned long brk ;
 1576   unsigned long start_stack ;
 1577   unsigned long arg_start ;
 1578   unsigned long arg_end ;
 1579   unsigned long env_start ;
 1580   unsigned long env_end ;
 1581   unsigned long saved_auxv[44U] ;
 1582   struct mm_rss_stat rss_stat ;
 1583   struct linux_binfmt *binfmt ;
 1584   cpumask_var_t cpu_vm_mask_var ;
 1585   mm_context_t context ;
 1586   unsigned int faultstamp ;
 1587   unsigned int token_priority ;
 1588   unsigned int last_interval ;
 1589   atomic_t oom_disable_count ;
 1590   unsigned long flags ;
 1591   struct core_state *core_state ;
 1592   spinlock_t ioctx_lock ;
 1593   struct hlist_head ioctx_list ;
 1594   struct task_struct *owner ;
 1595   struct file *exe_file ;
 1596   unsigned long num_exe_file_vmas ;
 1597   struct mmu_notifier_mm *mmu_notifier_mm ;
 1598   pgtable_t pmd_huge_pte ;
 1599   struct cpumask cpumask_allocation ;
 1600};
 1601# 92 "include/linux/bit_spinlock.h"
 1602struct file_ra_state;
 1603# 92 "include/linux/bit_spinlock.h"
 1604struct file_ra_state;
 1605# 92 "include/linux/bit_spinlock.h"
 1606struct file_ra_state;
 1607# 93 "include/linux/bit_spinlock.h"
 1608struct user_struct;
 1609# 93 "include/linux/bit_spinlock.h"
 1610struct user_struct;
 1611# 93 "include/linux/bit_spinlock.h"
 1612struct user_struct;
 1613# 94 "include/linux/bit_spinlock.h"
 1614struct writeback_control;
 1615# 94 "include/linux/bit_spinlock.h"
 1616struct writeback_control;
 1617# 94 "include/linux/bit_spinlock.h"
 1618struct writeback_control;
 1619# 175 "include/linux/mm.h"
 1620struct vm_fault {
 1621   unsigned int flags ;
 1622   unsigned long pgoff ;
 1623   void *virtual_address ;
 1624   struct page *page ;
 1625};
 1626# 192 "include/linux/mm.h"
 1627struct vm_operations_struct {
 1628   void (*open)(struct vm_area_struct * ) ;
 1629   void (*close)(struct vm_area_struct * ) ;
 1630   int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
 1631   int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
 1632   int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
 1633   int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
 1634   struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
 1635   int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
 1636                  unsigned long ) ;
 1637};
 1638# 241 "include/linux/mm.h"
 1639struct inode;
 1640# 241 "include/linux/mm.h"
 1641struct inode;
 1642# 241 "include/linux/mm.h"
 1643struct inode;
 1644# 1653 "include/linux/mm.h"
 1645struct bio;
 1646# 1653 "include/linux/mm.h"
 1647struct bio;
 1648# 1653 "include/linux/mm.h"
 1649struct bio;
 1650# 1654 "include/linux/mm.h"
 1651struct bio_integrity_payload;
 1652# 1654 "include/linux/mm.h"
 1653struct bio_integrity_payload;
 1654# 1654 "include/linux/mm.h"
 1655struct bio_integrity_payload;
 1656# 1655 "include/linux/mm.h"
 1657struct block_device;
 1658# 1655 "include/linux/mm.h"
 1659struct block_device;
 1660# 1655 "include/linux/mm.h"
 1661struct block_device;
 1662# 17 "include/linux/blk_types.h"
 1663typedef void bio_end_io_t(struct bio * , int );
 1664# 18 "include/linux/blk_types.h"
 1665typedef void bio_destructor_t(struct bio * );
 1666# 19 "include/linux/blk_types.h"
 1667struct bio_vec {
 1668   struct page *bv_page ;
 1669   unsigned int bv_len ;
 1670   unsigned int bv_offset ;
 1671};
 1672# 28 "include/linux/blk_types.h"
 1673struct bio {
 1674   sector_t bi_sector ;
 1675   struct bio *bi_next ;
 1676   struct block_device *bi_bdev ;
 1677   unsigned long bi_flags ;
 1678   unsigned long bi_rw ;
 1679   unsigned short bi_vcnt ;
 1680   unsigned short bi_idx ;
 1681   unsigned int bi_phys_segments ;
 1682   unsigned int bi_size ;
 1683   unsigned int bi_seg_front_size ;
 1684   unsigned int bi_seg_back_size ;
 1685   unsigned int bi_max_vecs ;
 1686   unsigned int bi_comp_cpu ;
 1687   atomic_t bi_cnt ;
 1688   struct bio_vec *bi_io_vec ;
 1689   bio_end_io_t *bi_end_io ;
 1690   void *bi_private ;
 1691   struct bio_integrity_payload *bi_integrity ;
 1692   bio_destructor_t *bi_destructor ;
 1693   struct bio_vec bi_inline_vecs[0U] ;
 1694};
 1695# 427 "include/linux/rculist.h"
 1696struct hlist_bl_node;
 1697# 427 "include/linux/rculist.h"
 1698struct hlist_bl_node;
 1699# 427 "include/linux/rculist.h"
 1700struct hlist_bl_head {
 1701   struct hlist_bl_node *first ;
 1702};
 1703# 36 "include/linux/list_bl.h"
 1704struct hlist_bl_node {
 1705   struct hlist_bl_node *next ;
 1706   struct hlist_bl_node **pprev ;
 1707};
 1708# 114 "include/linux/rculist_bl.h"
 1709struct nameidata;
 1710# 114 "include/linux/rculist_bl.h"
 1711struct nameidata;
 1712# 114 "include/linux/rculist_bl.h"
 1713struct nameidata;
 1714# 115 "include/linux/rculist_bl.h"
 1715struct path;
 1716# 115 "include/linux/rculist_bl.h"
 1717struct path;
 1718# 115 "include/linux/rculist_bl.h"
 1719struct path;
 1720# 116 "include/linux/rculist_bl.h"
 1721struct vfsmount;
 1722# 116 "include/linux/rculist_bl.h"
 1723struct vfsmount;
 1724# 116 "include/linux/rculist_bl.h"
 1725struct vfsmount;
 1726# 117 "include/linux/rculist_bl.h"
 1727struct qstr {
 1728   unsigned int hash ;
 1729   unsigned int len ;
 1730   unsigned char const *name ;
 1731};
 1732# 100 "include/linux/dcache.h"
 1733struct dentry_operations;
 1734# 100 "include/linux/dcache.h"
 1735struct dentry_operations;
 1736# 100 "include/linux/dcache.h"
 1737struct super_block;
 1738# 100 "include/linux/dcache.h"
 1739struct super_block;
 1740# 100 "include/linux/dcache.h"
 1741union __anonunion_d_u_137 {
 1742   struct list_head d_child ;
 1743   struct rcu_head d_rcu ;
 1744};
 1745# 100 "include/linux/dcache.h"
 1746struct dentry {
 1747   unsigned int d_flags ;
 1748   seqcount_t d_seq ;
 1749   struct hlist_bl_node d_hash ;
 1750   struct dentry *d_parent ;
 1751   struct qstr d_name ;
 1752   struct inode *d_inode ;
 1753   unsigned char d_iname[32U] ;
 1754   unsigned int d_count ;
 1755   spinlock_t d_lock ;
 1756   struct dentry_operations const *d_op ;
 1757   struct super_block *d_sb ;
 1758   unsigned long d_time ;
 1759   void *d_fsdata ;
 1760   struct list_head d_lru ;
 1761   union __anonunion_d_u_137 d_u ;
 1762   struct list_head d_subdirs ;
 1763   struct list_head d_alias ;
 1764};
 1765# 151 "include/linux/dcache.h"
 1766struct dentry_operations {
 1767   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
 1768   int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
 1769   int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
 1770                    struct inode const * , unsigned int , char const * , struct qstr const * ) ;
 1771   int (*d_delete)(struct dentry const * ) ;
 1772   void (*d_release)(struct dentry * ) ;
 1773   void (*d_iput)(struct dentry * , struct inode * ) ;
 1774   char *(*d_dname)(struct dentry * , char * , int ) ;
 1775   struct vfsmount *(*d_automount)(struct path * ) ;
 1776   int (*d_manage)(struct dentry * , bool ) ;
 1777};
 1778# 422 "include/linux/dcache.h"
 1779struct path {
 1780   struct vfsmount *mnt ;
 1781   struct dentry *dentry ;
 1782};
 1783# 51 "include/linux/radix-tree.h"
 1784struct radix_tree_node;
 1785# 51 "include/linux/radix-tree.h"
 1786struct radix_tree_node;
 1787# 51 "include/linux/radix-tree.h"
 1788struct radix_tree_root {
 1789   unsigned int height ;
 1790   gfp_t gfp_mask ;
 1791   struct radix_tree_node *rnode ;
 1792};
 1793# 229 "include/linux/radix-tree.h"
 1794enum pid_type {
 1795    PIDTYPE_PID = 0,
 1796    PIDTYPE_PGID = 1,
 1797    PIDTYPE_SID = 2,
 1798    PIDTYPE_MAX = 3
 1799} ;
 1800# 236 "include/linux/radix-tree.h"
 1801struct pid_namespace;
 1802# 236 "include/linux/radix-tree.h"
 1803struct pid_namespace;
 1804# 236 "include/linux/radix-tree.h"
 1805struct upid {
 1806   int nr ;
 1807   struct pid_namespace *ns ;
 1808   struct hlist_node pid_chain ;
 1809};
 1810# 56 "include/linux/pid.h"
 1811struct pid {
 1812   atomic_t count ;
 1813   unsigned int level ;
 1814   struct hlist_head tasks[3U] ;
 1815   struct rcu_head rcu ;
 1816   struct upid numbers[1U] ;
 1817};
 1818# 68 "include/linux/pid.h"
 1819struct pid_link {
 1820   struct hlist_node node ;
 1821   struct pid *pid ;
 1822};
 1823# 93 "include/linux/capability.h"
 1824struct kernel_cap_struct {
 1825   __u32 cap[2U] ;
 1826};
 1827# 96 "include/linux/capability.h"
 1828typedef struct kernel_cap_struct kernel_cap_t;
 1829# 104 "include/linux/capability.h"
 1830struct user_namespace;
 1831# 104 "include/linux/capability.h"
 1832struct user_namespace;
 1833# 104 "include/linux/capability.h"
 1834struct user_namespace;
 1835# 45 "include/linux/semaphore.h"
 1836struct fiemap_extent {
 1837   __u64 fe_logical ;
 1838   __u64 fe_physical ;
 1839   __u64 fe_length ;
 1840   __u64 fe_reserved64[2U] ;
 1841   __u32 fe_flags ;
 1842   __u32 fe_reserved[3U] ;
 1843};
 1844# 38 "include/linux/fiemap.h"
 1845struct export_operations;
 1846# 38 "include/linux/fiemap.h"
 1847struct export_operations;
 1848# 38 "include/linux/fiemap.h"
 1849struct export_operations;
 1850# 39 "include/linux/fiemap.h"
 1851struct hd_geometry;
 1852# 39 "include/linux/fiemap.h"
 1853struct hd_geometry;
 1854# 39 "include/linux/fiemap.h"
 1855struct hd_geometry;
 1856# 40 "include/linux/fiemap.h"
 1857struct iovec;
 1858# 40 "include/linux/fiemap.h"
 1859struct iovec;
 1860# 40 "include/linux/fiemap.h"
 1861struct iovec;
 1862# 41 "include/linux/fiemap.h"
 1863struct kiocb;
 1864# 41 "include/linux/fiemap.h"
 1865struct kiocb;
 1866# 41 "include/linux/fiemap.h"
 1867struct kiocb;
 1868# 42 "include/linux/fiemap.h"
 1869struct pipe_inode_info;
 1870# 42 "include/linux/fiemap.h"
 1871struct pipe_inode_info;
 1872# 42 "include/linux/fiemap.h"
 1873struct pipe_inode_info;
 1874# 43 "include/linux/fiemap.h"
 1875struct poll_table_struct;
 1876# 43 "include/linux/fiemap.h"
 1877struct poll_table_struct;
 1878# 43 "include/linux/fiemap.h"
 1879struct poll_table_struct;
 1880# 44 "include/linux/fiemap.h"
 1881struct kstatfs;
 1882# 44 "include/linux/fiemap.h"
 1883struct kstatfs;
 1884# 44 "include/linux/fiemap.h"
 1885struct kstatfs;
 1886# 426 "include/linux/fs.h"
 1887struct iattr {
 1888   unsigned int ia_valid ;
 1889   umode_t ia_mode ;
 1890   uid_t ia_uid ;
 1891   gid_t ia_gid ;
 1892   loff_t ia_size ;
 1893   struct timespec ia_atime ;
 1894   struct timespec ia_mtime ;
 1895   struct timespec ia_ctime ;
 1896   struct file *ia_file ;
 1897};
 1898# 119 "include/linux/quota.h"
 1899struct if_dqinfo {
 1900   __u64 dqi_bgrace ;
 1901   __u64 dqi_igrace ;
 1902   __u32 dqi_flags ;
 1903   __u32 dqi_valid ;
 1904};
 1905# 152 "include/linux/quota.h"
 1906struct percpu_counter {
 1907   spinlock_t lock ;
 1908   s64 count ;
 1909   struct list_head list ;
 1910   s32 *counters ;
 1911};
 1912# 176 "include/linux/percpu_counter.h"
 1913struct fs_disk_quota {
 1914   __s8 d_version ;
 1915   __s8 d_flags ;
 1916   __u16 d_fieldmask ;
 1917   __u32 d_id ;
 1918   __u64 d_blk_hardlimit ;
 1919   __u64 d_blk_softlimit ;
 1920   __u64 d_ino_hardlimit ;
 1921   __u64 d_ino_softlimit ;
 1922   __u64 d_bcount ;
 1923   __u64 d_icount ;
 1924   __s32 d_itimer ;
 1925   __s32 d_btimer ;
 1926   __u16 d_iwarns ;
 1927   __u16 d_bwarns ;
 1928   __s32 d_padding2 ;
 1929   __u64 d_rtb_hardlimit ;
 1930   __u64 d_rtb_softlimit ;
 1931   __u64 d_rtbcount ;
 1932   __s32 d_rtbtimer ;
 1933   __u16 d_rtbwarns ;
 1934   __s16 d_padding3 ;
 1935   char d_padding4[8U] ;
 1936};
 1937# 75 "include/linux/dqblk_xfs.h"
 1938struct fs_qfilestat {
 1939   __u64 qfs_ino ;
 1940   __u64 qfs_nblks ;
 1941   __u32 qfs_nextents ;
 1942};
 1943# 150 "include/linux/dqblk_xfs.h"
 1944typedef struct fs_qfilestat fs_qfilestat_t;
 1945# 151 "include/linux/dqblk_xfs.h"
 1946struct fs_quota_stat {
 1947   __s8 qs_version ;
 1948   __u16 qs_flags ;
 1949   __s8 qs_pad ;
 1950   fs_qfilestat_t qs_uquota ;
 1951   fs_qfilestat_t qs_gquota ;
 1952   __u32 qs_incoredqs ;
 1953   __s32 qs_btimelimit ;
 1954   __s32 qs_itimelimit ;
 1955   __s32 qs_rtbtimelimit ;
 1956   __u16 qs_bwarnlimit ;
 1957   __u16 qs_iwarnlimit ;
 1958};
 1959# 165 "include/linux/dqblk_xfs.h"
 1960struct dquot;
 1961# 165 "include/linux/dqblk_xfs.h"
 1962struct dquot;
 1963# 165 "include/linux/dqblk_xfs.h"
 1964struct dquot;
 1965# 185 "include/linux/quota.h"
 1966typedef __kernel_uid32_t qid_t;
 1967# 186 "include/linux/quota.h"
 1968typedef long long qsize_t;
 1969# 189 "include/linux/quota.h"
 1970struct mem_dqblk {
 1971   qsize_t dqb_bhardlimit ;
 1972   qsize_t dqb_bsoftlimit ;
 1973   qsize_t dqb_curspace ;
 1974   qsize_t dqb_rsvspace ;
 1975   qsize_t dqb_ihardlimit ;
 1976   qsize_t dqb_isoftlimit ;
 1977   qsize_t dqb_curinodes ;
 1978   time_t dqb_btime ;
 1979   time_t dqb_itime ;
 1980};
 1981# 211 "include/linux/quota.h"
 1982struct quota_format_type;
 1983# 211 "include/linux/quota.h"
 1984struct quota_format_type;
 1985# 211 "include/linux/quota.h"
 1986struct quota_format_type;
 1987# 212 "include/linux/quota.h"
 1988struct mem_dqinfo {
 1989   struct quota_format_type *dqi_format ;
 1990   int dqi_fmt_id ;
 1991   struct list_head dqi_dirty_list ;
 1992   unsigned long dqi_flags ;
 1993   unsigned int dqi_bgrace ;
 1994   unsigned int dqi_igrace ;
 1995   qsize_t dqi_maxblimit ;
 1996   qsize_t dqi_maxilimit ;
 1997   void *dqi_priv ;
 1998};
 1999# 271 "include/linux/quota.h"
 2000struct dquot {
 2001   struct hlist_node dq_hash ;
 2002   struct list_head dq_inuse ;
 2003   struct list_head dq_free ;
 2004   struct list_head dq_dirty ;
 2005   struct mutex dq_lock ;
 2006   atomic_t dq_count ;
 2007   wait_queue_head_t dq_wait_unused ;
 2008   struct super_block *dq_sb ;
 2009   unsigned int dq_id ;
 2010   loff_t dq_off ;
 2011   unsigned long dq_flags ;
 2012   short dq_type ;
 2013   struct mem_dqblk dq_dqb ;
 2014};
 2015# 299 "include/linux/quota.h"
 2016struct quota_format_ops {
 2017   int (*check_quota_file)(struct super_block * , int ) ;
 2018   int (*read_file_info)(struct super_block * , int ) ;
 2019   int (*write_file_info)(struct super_block * , int ) ;
 2020   int (*free_file_info)(struct super_block * , int ) ;
 2021   int (*read_dqblk)(struct dquot * ) ;
 2022   int (*commit_dqblk)(struct dquot * ) ;
 2023   int (*release_dqblk)(struct dquot * ) ;
 2024};
 2025# 310 "include/linux/quota.h"
 2026struct dquot_operations {
 2027   int (*write_dquot)(struct dquot * ) ;
 2028   struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
 2029   void (*destroy_dquot)(struct dquot * ) ;
 2030   int (*acquire_dquot)(struct dquot * ) ;
 2031   int (*release_dquot)(struct dquot * ) ;
 2032   int (*mark_dirty)(struct dquot * ) ;
 2033   int (*write_info)(struct super_block * , int ) ;
 2034   qsize_t *(*get_reserved_space)(struct inode * ) ;
 2035};
 2036# 324 "include/linux/quota.h"
 2037struct quotactl_ops {
 2038   int (*quota_on)(struct super_block * , int , int , struct path * ) ;
 2039   int (*quota_on_meta)(struct super_block * , int , int ) ;
 2040   int (*quota_off)(struct super_block * , int ) ;
 2041   int (*quota_sync)(struct super_block * , int , int ) ;
 2042   int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
 2043   int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
 2044   int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
 2045   int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
 2046   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
 2047   int (*set_xstate)(struct super_block * , unsigned int , int ) ;
 2048};
 2049# 340 "include/linux/quota.h"
 2050struct quota_format_type {
 2051   int qf_fmt_id ;
 2052   struct quota_format_ops const *qf_ops ;
 2053   struct module *qf_owner ;
 2054   struct quota_format_type *qf_next ;
 2055};
 2056# 386 "include/linux/quota.h"
 2057struct quota_info {
 2058   unsigned int flags ;
 2059   struct mutex dqio_mutex ;
 2060   struct mutex dqonoff_mutex ;
 2061   struct rw_semaphore dqptr_sem ;
 2062   struct inode *files[2U] ;
 2063   struct mem_dqinfo info[2U] ;
 2064   struct quota_format_ops const *ops[2U] ;
 2065};
 2066# 576 "include/linux/fs.h"
 2067union __anonunion_arg_140 {
 2068   char *buf ;
 2069   void *data ;
 2070};
 2071# 576 "include/linux/fs.h"
 2072struct __anonstruct_read_descriptor_t_139 {
 2073   size_t written ;
 2074   size_t count ;
 2075   union __anonunion_arg_140 arg ;
 2076   int error ;
 2077};
 2078# 576 "include/linux/fs.h"
 2079typedef struct __anonstruct_read_descriptor_t_139 read_descriptor_t;
 2080# 579 "include/linux/fs.h"
 2081struct address_space_operations {
 2082   int (*writepage)(struct page * , struct writeback_control * ) ;
 2083   int (*readpage)(struct file * , struct page * ) ;
 2084   int (*writepages)(struct address_space * , struct writeback_control * ) ;
 2085   int (*set_page_dirty)(struct page * ) ;
 2086   int (*readpages)(struct file * , struct address_space * , struct list_head * ,
 2087                    unsigned int ) ;
 2088   int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
 2089                      unsigned int , struct page ** , void ** ) ;
 2090   int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
 2091                    unsigned int , struct page * , void * ) ;
 2092   sector_t (*bmap)(struct address_space * , sector_t ) ;
 2093   void (*invalidatepage)(struct page * , unsigned long ) ;
 2094   int (*releasepage)(struct page * , gfp_t ) ;
 2095   void (*freepage)(struct page * ) ;
 2096   ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
 2097                        unsigned long ) ;
 2098   int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
 2099   int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
 2100   int (*launder_page)(struct page * ) ;
 2101   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
 2102   int (*error_remove_page)(struct address_space * , struct page * ) ;
 2103};
 2104# 630 "include/linux/fs.h"
 2105struct backing_dev_info;
 2106# 630 "include/linux/fs.h"
 2107struct backing_dev_info;
 2108# 630 "include/linux/fs.h"
 2109struct backing_dev_info;
 2110# 631 "include/linux/fs.h"
 2111struct address_space {
 2112   struct inode *host ;
 2113   struct radix_tree_root page_tree ;
 2114   spinlock_t tree_lock ;
 2115   unsigned int i_mmap_writable ;
 2116   struct prio_tree_root i_mmap ;
 2117   struct list_head i_mmap_nonlinear ;
 2118   struct mutex i_mmap_mutex ;
 2119   unsigned long nrpages ;
 2120   unsigned long writeback_index ;
 2121   struct address_space_operations const *a_ops ;
 2122   unsigned long flags ;
 2123   struct backing_dev_info *backing_dev_info ;
 2124   spinlock_t private_lock ;
 2125   struct list_head private_list ;
 2126   struct address_space *assoc_mapping ;
 2127};
 2128# 652 "include/linux/fs.h"
 2129struct hd_struct;
 2130# 652 "include/linux/fs.h"
 2131struct hd_struct;
 2132# 652 "include/linux/fs.h"
 2133struct gendisk;
 2134# 652 "include/linux/fs.h"
 2135struct gendisk;
 2136# 652 "include/linux/fs.h"
 2137struct block_device {
 2138   dev_t bd_dev ;
 2139   int bd_openers ;
 2140   struct inode *bd_inode ;
 2141   struct super_block *bd_super ;
 2142   struct mutex bd_mutex ;
 2143   struct list_head bd_inodes ;
 2144   void *bd_claiming ;
 2145   void *bd_holder ;
 2146   int bd_holders ;
 2147   bool bd_write_holder ;
 2148   struct list_head bd_holder_disks ;
 2149   struct block_device *bd_contains ;
 2150   unsigned int bd_block_size ;
 2151   struct hd_struct *bd_part ;
 2152   unsigned int bd_part_count ;
 2153   int bd_invalidated ;
 2154   struct gendisk *bd_disk ;
 2155   struct list_head bd_list ;
 2156   unsigned long bd_private ;
 2157   int bd_fsfreeze_count ;
 2158   struct mutex bd_fsfreeze_mutex ;
 2159};
 2160# 723 "include/linux/fs.h"
 2161struct posix_acl;
 2162# 723 "include/linux/fs.h"
 2163struct posix_acl;
 2164# 723 "include/linux/fs.h"
 2165struct posix_acl;
 2166# 724 "include/linux/fs.h"
 2167struct inode_operations;
 2168# 724 "include/linux/fs.h"
 2169struct inode_operations;
 2170# 724 "include/linux/fs.h"
 2171union __anonunion_ldv_17777_141 {
 2172   struct list_head i_dentry ;
 2173   struct rcu_head i_rcu ;
 2174};
 2175# 724 "include/linux/fs.h"
 2176struct file_operations;
 2177# 724 "include/linux/fs.h"
 2178struct file_operations;
 2179# 724 "include/linux/fs.h"
 2180struct file_lock;
 2181# 724 "include/linux/fs.h"
 2182struct file_lock;
 2183# 724 "include/linux/fs.h"
 2184struct cdev;
 2185# 724 "include/linux/fs.h"
 2186struct cdev;
 2187# 724 "include/linux/fs.h"
 2188union __anonunion_ldv_17804_142 {
 2189   struct pipe_inode_info *i_pipe ;
 2190   struct block_device *i_bdev ;
 2191   struct cdev *i_cdev ;
 2192};
 2193# 724 "include/linux/fs.h"
 2194struct inode {
 2195   umode_t i_mode ;
 2196   uid_t i_uid ;
 2197   gid_t i_gid ;
 2198   struct inode_operations const *i_op ;
 2199   struct super_block *i_sb ;
 2200   spinlock_t i_lock ;
 2201   unsigned int i_flags ;
 2202   unsigned long i_state ;
 2203   void *i_security ;
 2204   struct mutex i_mutex ;
 2205   unsigned long dirtied_when ;
 2206   struct hlist_node i_hash ;
 2207   struct list_head i_wb_list ;
 2208   struct list_head i_lru ;
 2209   struct list_head i_sb_list ;
 2210   union __anonunion_ldv_17777_141 ldv_17777 ;
 2211   unsigned long i_ino ;
 2212   atomic_t i_count ;
 2213   unsigned int i_nlink ;
 2214   dev_t i_rdev ;
 2215   unsigned int i_blkbits ;
 2216   u64 i_version ;
 2217   loff_t i_size ;
 2218   struct timespec i_atime ;
 2219   struct timespec i_mtime ;
 2220   struct timespec i_ctime ;
 2221   blkcnt_t i_blocks ;
 2222   unsigned short i_bytes ;
 2223   struct rw_semaphore i_alloc_sem ;
 2224   struct file_operations const *i_fop ;
 2225   struct file_lock *i_flock ;
 2226   struct address_space *i_mapping ;
 2227   struct address_space i_data ;
 2228   struct dquot *i_dquot[2U] ;
 2229   struct list_head i_devices ;
 2230   union __anonunion_ldv_17804_142 ldv_17804 ;
 2231   __u32 i_generation ;
 2232   __u32 i_fsnotify_mask ;
 2233   struct hlist_head i_fsnotify_marks ;
 2234   atomic_t i_readcount ;
 2235   atomic_t i_writecount ;
 2236   struct posix_acl *i_acl ;
 2237   struct posix_acl *i_default_acl ;
 2238   void *i_private ;
 2239};
 2240# 902 "include/linux/fs.h"
 2241struct fown_struct {
 2242   rwlock_t lock ;
 2243   struct pid *pid ;
 2244   enum pid_type pid_type ;
 2245   uid_t uid ;
 2246   uid_t euid ;
 2247   int signum ;
 2248};
 2249# 910 "include/linux/fs.h"
 2250struct file_ra_state {
 2251   unsigned long start ;
 2252   unsigned int size ;
 2253   unsigned int async_size ;
 2254   unsigned int ra_pages ;
 2255   unsigned int mmap_miss ;
 2256   loff_t prev_pos ;
 2257};
 2258# 933 "include/linux/fs.h"
 2259union __anonunion_f_u_143 {
 2260   struct list_head fu_list ;
 2261   struct rcu_head fu_rcuhead ;
 2262};
 2263# 933 "include/linux/fs.h"
 2264struct file {
 2265   union __anonunion_f_u_143 f_u ;
 2266   struct path f_path ;
 2267   struct file_operations const *f_op ;
 2268   spinlock_t f_lock ;
 2269   int f_sb_list_cpu ;
 2270   atomic_long_t f_count ;
 2271   unsigned int f_flags ;
 2272   fmode_t f_mode ;
 2273   loff_t f_pos ;
 2274   struct fown_struct f_owner ;
 2275   struct cred const *f_cred ;
 2276   struct file_ra_state f_ra ;
 2277   u64 f_version ;
 2278   void *f_security ;
 2279   void *private_data ;
 2280   struct list_head f_ep_links ;
 2281   struct address_space *f_mapping ;
 2282   unsigned long f_mnt_write_state ;
 2283};
 2284# 1064 "include/linux/fs.h"
 2285struct files_struct;
 2286# 1064 "include/linux/fs.h"
 2287struct files_struct;
 2288# 1064 "include/linux/fs.h"
 2289typedef struct files_struct *fl_owner_t;
 2290# 1065 "include/linux/fs.h"
 2291struct file_lock_operations {
 2292   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
 2293   void (*fl_release_private)(struct file_lock * ) ;
 2294};
 2295# 1070 "include/linux/fs.h"
 2296struct lock_manager_operations {
 2297   int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
 2298   void (*fl_notify)(struct file_lock * ) ;
 2299   int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
 2300   void (*fl_release_private)(struct file_lock * ) ;
 2301   void (*fl_break)(struct file_lock * ) ;
 2302   int (*fl_change)(struct file_lock ** , int ) ;
 2303};
 2304# 163 "include/linux/nfs.h"
 2305struct nlm_lockowner;
 2306# 163 "include/linux/nfs.h"
 2307struct nlm_lockowner;
 2308# 163 "include/linux/nfs.h"
 2309struct nlm_lockowner;
 2310# 164 "include/linux/nfs.h"
 2311struct nfs_lock_info {
 2312   u32 state ;
 2313   struct nlm_lockowner *owner ;
 2314   struct list_head list ;
 2315};
 2316# 18 "include/linux/nfs_fs_i.h"
 2317struct nfs4_lock_state;
 2318# 18 "include/linux/nfs_fs_i.h"
 2319struct nfs4_lock_state;
 2320# 18 "include/linux/nfs_fs_i.h"
 2321struct nfs4_lock_state;
 2322# 19 "include/linux/nfs_fs_i.h"
 2323struct nfs4_lock_info {
 2324   struct nfs4_lock_state *owner ;
 2325};
 2326# 23 "include/linux/nfs_fs_i.h"
 2327struct fasync_struct;
 2328# 23 "include/linux/nfs_fs_i.h"
 2329struct fasync_struct;
 2330# 23 "include/linux/nfs_fs_i.h"
 2331struct __anonstruct_afs_145 {
 2332   struct list_head link ;
 2333   int state ;
 2334};
 2335# 23 "include/linux/nfs_fs_i.h"
 2336union __anonunion_fl_u_144 {
 2337   struct nfs_lock_info nfs_fl ;
 2338   struct nfs4_lock_info nfs4_fl ;
 2339   struct __anonstruct_afs_145 afs ;
 2340};
 2341# 23 "include/linux/nfs_fs_i.h"
 2342struct file_lock {
 2343   struct file_lock *fl_next ;
 2344   struct list_head fl_link ;
 2345   struct list_head fl_block ;
 2346   fl_owner_t fl_owner ;
 2347   unsigned char fl_flags ;
 2348   unsigned char fl_type ;
 2349   unsigned int fl_pid ;
 2350   struct pid *fl_nspid ;
 2351   wait_queue_head_t fl_wait ;
 2352   struct file *fl_file ;
 2353   loff_t fl_start ;
 2354   loff_t fl_end ;
 2355   struct fasync_struct *fl_fasync ;
 2356   unsigned long fl_break_time ;
 2357   struct file_lock_operations const *fl_ops ;
 2358   struct lock_manager_operations const *fl_lmops ;
 2359   union __anonunion_fl_u_144 fl_u ;
 2360};
 2361# 1171 "include/linux/fs.h"
 2362struct fasync_struct {
 2363   spinlock_t fa_lock ;
 2364   int magic ;
 2365   int fa_fd ;
 2366   struct fasync_struct *fa_next ;
 2367   struct file *fa_file ;
 2368   struct rcu_head fa_rcu ;
 2369};
 2370# 1363 "include/linux/fs.h"
 2371struct file_system_type;
 2372# 1363 "include/linux/fs.h"
 2373struct file_system_type;
 2374# 1363 "include/linux/fs.h"
 2375struct super_operations;
 2376# 1363 "include/linux/fs.h"
 2377struct super_operations;
 2378# 1363 "include/linux/fs.h"
 2379struct xattr_handler;
 2380# 1363 "include/linux/fs.h"
 2381struct xattr_handler;
 2382# 1363 "include/linux/fs.h"
 2383struct mtd_info;
 2384# 1363 "include/linux/fs.h"
 2385struct mtd_info;
 2386# 1363 "include/linux/fs.h"
 2387struct super_block {
 2388   struct list_head s_list ;
 2389   dev_t s_dev ;
 2390   unsigned char s_dirt ;
 2391   unsigned char s_blocksize_bits ;
 2392   unsigned long s_blocksize ;
 2393   loff_t s_maxbytes ;
 2394   struct file_system_type *s_type ;
 2395   struct super_operations const *s_op ;
 2396   struct dquot_operations const *dq_op ;
 2397   struct quotactl_ops const *s_qcop ;
 2398   struct export_operations const *s_export_op ;
 2399   unsigned long s_flags ;
 2400   unsigned long s_magic ;
 2401   struct dentry *s_root ;
 2402   struct rw_semaphore s_umount ;
 2403   struct mutex s_lock ;
 2404   int s_count ;
 2405   atomic_t s_active ;
 2406   void *s_security ;
 2407   struct xattr_handler const **s_xattr ;
 2408   struct list_head s_inodes ;
 2409   struct hlist_bl_head s_anon ;
 2410   struct list_head *s_files ;
 2411   struct list_head s_dentry_lru ;
 2412   int s_nr_dentry_unused ;
 2413   struct block_device *s_bdev ;
 2414   struct backing_dev_info *s_bdi ;
 2415   struct mtd_info *s_mtd ;
 2416   struct list_head s_instances ;
 2417   struct quota_info s_dquot ;
 2418   int s_frozen ;
 2419   wait_queue_head_t s_wait_unfrozen ;
 2420   char s_id[32U] ;
 2421   u8 s_uuid[16U] ;
 2422   void *s_fs_info ;
 2423   fmode_t s_mode ;
 2424   u32 s_time_gran ;
 2425   struct mutex s_vfs_rename_mutex ;
 2426   char *s_subtype ;
 2427   char *s_options ;
 2428   struct dentry_operations const *s_d_op ;
 2429   int cleancache_poolid ;
 2430};
 2431# 1495 "include/linux/fs.h"
 2432struct fiemap_extent_info {
 2433   unsigned int fi_flags ;
 2434   unsigned int fi_extents_mapped ;
 2435   unsigned int fi_extents_max ;
 2436   struct fiemap_extent *fi_extents_start ;
 2437};
 2438# 1533 "include/linux/fs.h"
 2439struct block_device_operations;
 2440# 1533 "include/linux/fs.h"
 2441struct block_device_operations;
 2442# 1533 "include/linux/fs.h"
 2443struct block_device_operations;
 2444# 1534 "include/linux/fs.h"
 2445struct file_operations {
 2446   struct module *owner ;
 2447   loff_t (*llseek)(struct file * , loff_t , int ) ;
 2448   ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
 2449   ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
 2450   ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
 2451                       loff_t ) ;
 2452   ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
 2453                        loff_t ) ;
 2454   int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
 2455                                                   loff_t , u64 , unsigned int ) ) ;
 2456   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
 2457   long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
 2458   long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
 2459   int (*mmap)(struct file * , struct vm_area_struct * ) ;
 2460   int (*open)(struct inode * , struct file * ) ;
 2461   int (*flush)(struct file * , fl_owner_t ) ;
 2462   int (*release)(struct inode * , struct file * ) ;
 2463   int (*fsync)(struct file * , int ) ;
 2464   int (*aio_fsync)(struct kiocb * , int ) ;
 2465   int (*fasync)(int , struct file * , int ) ;
 2466   int (*lock)(struct file * , int , struct file_lock * ) ;
 2467   ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
 2468                       int ) ;
 2469   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
 2470                                      unsigned long , unsigned long ) ;
 2471   int (*check_flags)(int ) ;
 2472   int (*flock)(struct file * , int , struct file_lock * ) ;
 2473   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
 2474                           unsigned int ) ;
 2475   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
 2476                          unsigned int ) ;
 2477   int (*setlease)(struct file * , long , struct file_lock ** ) ;
 2478   long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
 2479};
 2480# 1574 "include/linux/fs.h"
 2481struct inode_operations {
 2482   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
 2483   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
 2484   int (*permission)(struct inode * , int , unsigned int ) ;
 2485   int (*check_acl)(struct inode * , int , unsigned int ) ;
 2486   int (*readlink)(struct dentry * , char * , int ) ;
 2487   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
 2488   int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
 2489   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
 2490   int (*unlink)(struct inode * , struct dentry * ) ;
 2491   int (*symlink)(struct inode * , struct dentry * , char const * ) ;
 2492   int (*mkdir)(struct inode * , struct dentry * , int ) ;
 2493   int (*rmdir)(struct inode * , struct dentry * ) ;
 2494   int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
 2495   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
 2496   void (*truncate)(struct inode * ) ;
 2497   int (*setattr)(struct dentry * , struct iattr * ) ;
 2498   int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
 2499   int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
 2500   ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
 2501   ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
 2502   int (*removexattr)(struct dentry * , char const * ) ;
 2503   void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
 2504   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
 2505};
 2506# 1620 "include/linux/fs.h"
 2507struct super_operations {
 2508   struct inode *(*alloc_inode)(struct super_block * ) ;
 2509   void (*destroy_inode)(struct inode * ) ;
 2510   void (*dirty_inode)(struct inode * , int ) ;
 2511   int (*write_inode)(struct inode * , struct writeback_control * ) ;
 2512   int (*drop_inode)(struct inode * ) ;
 2513   void (*evict_inode)(struct inode * ) ;
 2514   void (*put_super)(struct super_block * ) ;
 2515   void (*write_super)(struct super_block * ) ;
 2516   int (*sync_fs)(struct super_block * , int ) ;
 2517   int (*freeze_fs)(struct super_block * ) ;
 2518   int (*unfreeze_fs)(struct super_block * ) ;
 2519   int (*statfs)(struct dentry * , struct kstatfs * ) ;
 2520   int (*remount_fs)(struct super_block * , int * , char * ) ;
 2521   void (*umount_begin)(struct super_block * ) ;
 2522   int (*show_options)(struct seq_file * , struct vfsmount * ) ;
 2523   int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
 2524   int (*show_path)(struct seq_file * , struct vfsmount * ) ;
 2525   int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
 2526   ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
 2527   ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
 2528                          loff_t ) ;
 2529   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
 2530};
 2531# 1801 "include/linux/fs.h"
 2532struct file_system_type {
 2533   char const *name ;
 2534   int fs_flags ;
 2535   struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
 2536   void (*kill_sb)(struct super_block * ) ;
 2537   struct module *owner ;
 2538   struct file_system_type *next ;
 2539   struct list_head fs_supers ;
 2540   struct lock_class_key s_lock_key ;
 2541   struct lock_class_key s_umount_key ;
 2542   struct lock_class_key s_vfs_rename_key ;
 2543   struct lock_class_key i_lock_key ;
 2544   struct lock_class_key i_mutex_key ;
 2545   struct lock_class_key i_mutex_dir_key ;
 2546   struct lock_class_key i_alloc_sem_key ;
 2547};
 2548# 7 "include/asm-generic/cputime.h"
 2549typedef unsigned long cputime_t;
 2550# 118 "include/linux/sem.h"
 2551struct sem_undo_list;
 2552# 118 "include/linux/sem.h"
 2553struct sem_undo_list;
 2554# 131 "include/linux/sem.h"
 2555struct sem_undo_list {
 2556   atomic_t refcnt ;
 2557   spinlock_t lock ;
 2558   struct list_head list_proc ;
 2559};
 2560# 140 "include/linux/sem.h"
 2561struct sysv_sem {
 2562   struct sem_undo_list *undo_list ;
 2563};
 2564# 149 "include/linux/sem.h"
 2565struct siginfo;
 2566# 149 "include/linux/sem.h"
 2567struct siginfo;
 2568# 149 "include/linux/sem.h"
 2569struct siginfo;
 2570# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 2571struct __anonstruct_sigset_t_146 {
 2572   unsigned long sig[1U] ;
 2573};
 2574# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 2575typedef struct __anonstruct_sigset_t_146 sigset_t;
 2576# 17 "include/asm-generic/signal-defs.h"
 2577typedef void __signalfn_t(int );
 2578# 18 "include/asm-generic/signal-defs.h"
 2579typedef __signalfn_t *__sighandler_t;
 2580# 20 "include/asm-generic/signal-defs.h"
 2581typedef void __restorefn_t(void);
 2582# 21 "include/asm-generic/signal-defs.h"
 2583typedef __restorefn_t *__sigrestore_t;
 2584# 126 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 2585struct sigaction {
 2586   __sighandler_t sa_handler ;
 2587   unsigned long sa_flags ;
 2588   __sigrestore_t sa_restorer ;
 2589   sigset_t sa_mask ;
 2590};
 2591# 173 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 2592struct k_sigaction {
 2593   struct sigaction sa ;
 2594};
 2595# 185 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 2596union sigval {
 2597   int sival_int ;
 2598   void *sival_ptr ;
 2599};
 2600# 10 "include/asm-generic/siginfo.h"
 2601typedef union sigval sigval_t;
 2602# 11 "include/asm-generic/siginfo.h"
 2603struct __anonstruct__kill_148 {
 2604   __kernel_pid_t _pid ;
 2605   __kernel_uid32_t _uid ;
 2606};
 2607# 11 "include/asm-generic/siginfo.h"
 2608struct __anonstruct__timer_149 {
 2609   __kernel_timer_t _tid ;
 2610   int _overrun ;
 2611   char _pad[0U] ;
 2612   sigval_t _sigval ;
 2613   int _sys_private ;
 2614};
 2615# 11 "include/asm-generic/siginfo.h"
 2616struct __anonstruct__rt_150 {
 2617   __kernel_pid_t _pid ;
 2618   __kernel_uid32_t _uid ;
 2619   sigval_t _sigval ;
 2620};
 2621# 11 "include/asm-generic/siginfo.h"
 2622struct __anonstruct__sigchld_151 {
 2623   __kernel_pid_t _pid ;
 2624   __kernel_uid32_t _uid ;
 2625   int _status ;
 2626   __kernel_clock_t _utime ;
 2627   __kernel_clock_t _stime ;
 2628};
 2629# 11 "include/asm-generic/siginfo.h"
 2630struct __anonstruct__sigfault_152 {
 2631   void *_addr ;
 2632   short _addr_lsb ;
 2633};
 2634# 11 "include/asm-generic/siginfo.h"
 2635struct __anonstruct__sigpoll_153 {
 2636   long _band ;
 2637   int _fd ;
 2638};
 2639# 11 "include/asm-generic/siginfo.h"
 2640union __anonunion__sifields_147 {
 2641   int _pad[28U] ;
 2642   struct __anonstruct__kill_148 _kill ;
 2643   struct __anonstruct__timer_149 _timer ;
 2644   struct __anonstruct__rt_150 _rt ;
 2645   struct __anonstruct__sigchld_151 _sigchld ;
 2646   struct __anonstruct__sigfault_152 _sigfault ;
 2647   struct __anonstruct__sigpoll_153 _sigpoll ;
 2648};
 2649# 11 "include/asm-generic/siginfo.h"
 2650struct siginfo {
 2651   int si_signo ;
 2652   int si_errno ;
 2653   int si_code ;
 2654   union __anonunion__sifields_147 _sifields ;
 2655};
 2656# 94 "include/asm-generic/siginfo.h"
 2657typedef struct siginfo siginfo_t;
 2658# 24 "include/linux/signal.h"
 2659struct sigpending {
 2660   struct list_head list ;
 2661   sigset_t signal ;
 2662};
 2663# 45 "include/linux/proportions.h"
 2664struct prop_local_percpu {
 2665   struct percpu_counter events ;
 2666   int shift ;
 2667   unsigned long period ;
 2668   spinlock_t lock ;
 2669};
 2670# 90 "include/linux/proportions.h"
 2671struct prop_local_single {
 2672   unsigned long events ;
 2673   unsigned long period ;
 2674   int shift ;
 2675   spinlock_t lock ;
 2676};
 2677# 10 "include/linux/seccomp.h"
 2678struct __anonstruct_seccomp_t_156 {
 2679   int mode ;
 2680};
 2681# 10 "include/linux/seccomp.h"
 2682typedef struct __anonstruct_seccomp_t_156 seccomp_t;
 2683# 21 "include/linux/seccomp.h"
 2684struct plist_head {
 2685   struct list_head node_list ;
 2686   raw_spinlock_t *rawlock ;
 2687   spinlock_t *spinlock ;
 2688};
 2689# 88 "include/linux/plist.h"
 2690struct plist_node {
 2691   int prio ;
 2692   struct list_head prio_list ;
 2693   struct list_head node_list ;
 2694};
 2695# 38 "include/linux/rtmutex.h"
 2696struct rt_mutex_waiter;
 2697# 38 "include/linux/rtmutex.h"
 2698struct rt_mutex_waiter;
 2699# 38 "include/linux/rtmutex.h"
 2700struct rt_mutex_waiter;
 2701# 41 "include/linux/resource.h"
 2702struct rlimit {
 2703   unsigned long rlim_cur ;
 2704   unsigned long rlim_max ;
 2705};
 2706# 85 "include/linux/resource.h"
 2707struct timerqueue_node {
 2708   struct rb_node node ;
 2709   ktime_t expires ;
 2710};
 2711# 12 "include/linux/timerqueue.h"
 2712struct timerqueue_head {
 2713   struct rb_root head ;
 2714   struct timerqueue_node *next ;
 2715};
 2716# 50 "include/linux/timerqueue.h"
 2717struct hrtimer_clock_base;
 2718# 50 "include/linux/timerqueue.h"
 2719struct hrtimer_clock_base;
 2720# 50 "include/linux/timerqueue.h"
 2721struct hrtimer_clock_base;
 2722# 51 "include/linux/timerqueue.h"
 2723struct hrtimer_cpu_base;
 2724# 51 "include/linux/timerqueue.h"
 2725struct hrtimer_cpu_base;
 2726# 51 "include/linux/timerqueue.h"
 2727struct hrtimer_cpu_base;
 2728# 60 "include/linux/timerqueue.h"
 2729enum hrtimer_restart {
 2730    HRTIMER_NORESTART = 0,
 2731    HRTIMER_RESTART = 1
 2732} ;
 2733# 65 "include/linux/timerqueue.h"
 2734struct hrtimer {
 2735   struct timerqueue_node node ;
 2736   ktime_t _softexpires ;
 2737   enum hrtimer_restart (*function)(struct hrtimer * ) ;
 2738   struct hrtimer_clock_base *base ;
 2739   unsigned long state ;
 2740   int start_pid ;
 2741   void *start_site ;
 2742   char start_comm[16U] ;
 2743};
 2744# 132 "include/linux/hrtimer.h"
 2745struct hrtimer_clock_base {
 2746   struct hrtimer_cpu_base *cpu_base ;
 2747   int index ;
 2748   clockid_t clockid ;
 2749   struct timerqueue_head active ;
 2750   ktime_t resolution ;
 2751   ktime_t (*get_time)(void) ;
 2752   ktime_t softirq_time ;
 2753   ktime_t offset ;
 2754};
 2755# 162 "include/linux/hrtimer.h"
 2756struct hrtimer_cpu_base {
 2757   raw_spinlock_t lock ;
 2758   unsigned long active_bases ;
 2759   ktime_t expires_next ;
 2760   int hres_active ;
 2761   int hang_detected ;
 2762   unsigned long nr_events ;
 2763   unsigned long nr_retries ;
 2764   unsigned long nr_hangs ;
 2765   ktime_t max_hang_time ;
 2766   struct hrtimer_clock_base clock_base[3U] ;
 2767};
 2768# 452 "include/linux/hrtimer.h"
 2769struct task_io_accounting {
 2770   u64 rchar ;
 2771   u64 wchar ;
 2772   u64 syscr ;
 2773   u64 syscw ;
 2774   u64 read_bytes ;
 2775   u64 write_bytes ;
 2776   u64 cancelled_write_bytes ;
 2777};
 2778# 45 "include/linux/task_io_accounting.h"
 2779struct latency_record {
 2780   unsigned long backtrace[12U] ;
 2781   unsigned int count ;
 2782   unsigned long time ;
 2783   unsigned long max ;
 2784};
 2785# 29 "include/linux/key.h"
 2786typedef int32_t key_serial_t;
 2787# 32 "include/linux/key.h"
 2788typedef uint32_t key_perm_t;
 2789# 33 "include/linux/key.h"
 2790struct key;
 2791# 33 "include/linux/key.h"
 2792struct key;
 2793# 33 "include/linux/key.h"
 2794struct key;
 2795# 34 "include/linux/key.h"
 2796struct signal_struct;
 2797# 34 "include/linux/key.h"
 2798struct signal_struct;
 2799# 34 "include/linux/key.h"
 2800struct signal_struct;
 2801# 35 "include/linux/key.h"
 2802struct key_type;
 2803# 35 "include/linux/key.h"
 2804struct key_type;
 2805# 35 "include/linux/key.h"
 2806struct key_type;
 2807# 37 "include/linux/key.h"
 2808struct keyring_list;
 2809# 37 "include/linux/key.h"
 2810struct keyring_list;
 2811# 37 "include/linux/key.h"
 2812struct keyring_list;
 2813# 115 "include/linux/key.h"
 2814struct key_user;
 2815# 115 "include/linux/key.h"
 2816struct key_user;
 2817# 115 "include/linux/key.h"
 2818union __anonunion_ldv_20738_157 {
 2819   time_t expiry ;
 2820   time_t revoked_at ;
 2821};
 2822# 115 "include/linux/key.h"
 2823union __anonunion_type_data_158 {
 2824   struct list_head link ;
 2825   unsigned long x[2U] ;
 2826   void *p[2U] ;
 2827   int reject_error ;
 2828};
 2829# 115 "include/linux/key.h"
 2830union __anonunion_payload_159 {
 2831   unsigned long value ;
 2832   void *rcudata ;
 2833   void *data ;
 2834   struct keyring_list *subscriptions ;
 2835};
 2836# 115 "include/linux/key.h"
 2837struct key {
 2838   atomic_t usage ;
 2839   key_serial_t serial ;
 2840   struct rb_node serial_node ;
 2841   struct key_type *type ;
 2842   struct rw_semaphore sem ;
 2843   struct key_user *user ;
 2844   void *security ;
 2845   union __anonunion_ldv_20738_157 ldv_20738 ;
 2846   uid_t uid ;
 2847   gid_t gid ;
 2848   key_perm_t perm ;
 2849   unsigned short quotalen ;
 2850   unsigned short datalen ;
 2851   unsigned long flags ;
 2852   char *description ;
 2853   union __anonunion_type_data_158 type_data ;
 2854   union __anonunion_payload_159 payload ;
 2855};
 2856# 310 "include/linux/key.h"
 2857struct audit_context;
 2858# 310 "include/linux/key.h"
 2859struct audit_context;
 2860# 310 "include/linux/key.h"
 2861struct audit_context;
 2862# 27 "include/linux/selinux.h"
 2863struct group_info {
 2864   atomic_t usage ;
 2865   int ngroups ;
 2866   int nblocks ;
 2867   gid_t small_block[32U] ;
 2868   gid_t *blocks[0U] ;
 2869};
 2870# 77 "include/linux/cred.h"
 2871struct thread_group_cred {
 2872   atomic_t usage ;
 2873   pid_t tgid ;
 2874   spinlock_t lock ;
 2875   struct key *session_keyring ;
 2876   struct key *process_keyring ;
 2877   struct rcu_head rcu ;
 2878};
 2879# 91 "include/linux/cred.h"
 2880struct cred {
 2881   atomic_t usage ;
 2882   atomic_t subscribers ;
 2883   void *put_addr ;
 2884   unsigned int magic ;
 2885   uid_t uid ;
 2886   gid_t gid ;
 2887   uid_t suid ;
 2888   gid_t sgid ;
 2889   uid_t euid ;
 2890   gid_t egid ;
 2891   uid_t fsuid ;
 2892   gid_t fsgid ;
 2893   unsigned int securebits ;
 2894   kernel_cap_t cap_inheritable ;
 2895   kernel_cap_t cap_permitted ;
 2896   kernel_cap_t cap_effective ;
 2897   kernel_cap_t cap_bset ;
 2898   unsigned char jit_keyring ;
 2899   struct key *thread_keyring ;
 2900   struct key *request_key_auth ;
 2901   struct thread_group_cred *tgcred ;
 2902   void *security ;
 2903   struct user_struct *user ;
 2904   struct user_namespace *user_ns ;
 2905   struct group_info *group_info ;
 2906   struct rcu_head rcu ;
 2907};
 2908# 264 "include/linux/cred.h"
 2909struct futex_pi_state;
 2910# 264 "include/linux/cred.h"
 2911struct futex_pi_state;
 2912# 264 "include/linux/cred.h"
 2913struct futex_pi_state;
 2914# 265 "include/linux/cred.h"
 2915struct robust_list_head;
 2916# 265 "include/linux/cred.h"
 2917struct robust_list_head;
 2918# 265 "include/linux/cred.h"
 2919struct robust_list_head;
 2920# 266 "include/linux/cred.h"
 2921struct bio_list;
 2922# 266 "include/linux/cred.h"
 2923struct bio_list;
 2924# 266 "include/linux/cred.h"
 2925struct bio_list;
 2926# 267 "include/linux/cred.h"
 2927struct fs_struct;
 2928# 267 "include/linux/cred.h"
 2929struct fs_struct;
 2930# 267 "include/linux/cred.h"
 2931struct fs_struct;
 2932# 268 "include/linux/cred.h"
 2933struct perf_event_context;
 2934# 268 "include/linux/cred.h"
 2935struct perf_event_context;
 2936# 268 "include/linux/cred.h"
 2937struct perf_event_context;
 2938# 269 "include/linux/cred.h"
 2939struct blk_plug;
 2940# 269 "include/linux/cred.h"
 2941struct blk_plug;
 2942# 269 "include/linux/cred.h"
 2943struct blk_plug;
 2944# 149 "include/linux/sched.h"
 2945struct cfs_rq;
 2946# 149 "include/linux/sched.h"
 2947struct cfs_rq;
 2948# 149 "include/linux/sched.h"
 2949struct cfs_rq;
 2950# 44 "include/linux/aio_abi.h"
 2951struct io_event {
 2952   __u64 data ;
 2953   __u64 obj ;
 2954   __s64 res ;
 2955   __s64 res2 ;
 2956};
 2957# 106 "include/linux/aio_abi.h"
 2958struct iovec {
 2959   void *iov_base ;
 2960   __kernel_size_t iov_len ;
 2961};
 2962# 54 "include/linux/uio.h"
 2963struct kioctx;
 2964# 54 "include/linux/uio.h"
 2965struct kioctx;
 2966# 54 "include/linux/uio.h"
 2967struct kioctx;
 2968# 55 "include/linux/uio.h"
 2969union __anonunion_ki_obj_160 {
 2970   void *user ;
 2971   struct task_struct *tsk ;
 2972};
 2973# 55 "include/linux/uio.h"
 2974struct eventfd_ctx;
 2975# 55 "include/linux/uio.h"
 2976struct eventfd_ctx;
 2977# 55 "include/linux/uio.h"
 2978struct kiocb {
 2979   struct list_head ki_run_list ;
 2980   unsigned long ki_flags ;
 2981   int ki_users ;
 2982   unsigned int ki_key ;
 2983   struct file *ki_filp ;
 2984   struct kioctx *ki_ctx ;
 2985   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
 2986   ssize_t (*ki_retry)(struct kiocb * ) ;
 2987   void (*ki_dtor)(struct kiocb * ) ;
 2988   union __anonunion_ki_obj_160 ki_obj ;
 2989   __u64 ki_user_data ;
 2990   loff_t ki_pos ;
 2991   void *private ;
 2992   unsigned short ki_opcode ;
 2993   size_t ki_nbytes ;
 2994   char *ki_buf ;
 2995   size_t ki_left ;
 2996   struct iovec ki_inline_vec ;
 2997   struct iovec *ki_iovec ;
 2998   unsigned long ki_nr_segs ;
 2999   unsigned long ki_cur_seg ;
 3000   struct list_head ki_list ;
 3001   struct eventfd_ctx *ki_eventfd ;
 3002};
 3003# 161 "include/linux/aio.h"
 3004struct aio_ring_info {
 3005   unsigned long mmap_base ;
 3006   unsigned long mmap_size ;
 3007   struct page **ring_pages ;
 3008   spinlock_t ring_lock ;
 3009   long nr_pages ;
 3010   unsigned int nr ;
 3011   unsigned int tail ;
 3012   struct page *internal_pages[8U] ;
 3013};
 3014# 177 "include/linux/aio.h"
 3015struct kioctx {
 3016   atomic_t users ;
 3017   int dead ;
 3018   struct mm_struct *mm ;
 3019   unsigned long user_id ;
 3020   struct hlist_node list ;
 3021   wait_queue_head_t wait ;
 3022   spinlock_t ctx_lock ;
 3023   int reqs_active ;
 3024   struct list_head active_reqs ;
 3025   struct list_head run_list ;
 3026   unsigned int max_reqs ;
 3027   struct aio_ring_info ring_info ;
 3028   struct delayed_work wq ;
 3029   struct rcu_head rcu_head ;
 3030};
 3031# 404 "include/linux/sched.h"
 3032struct sighand_struct {
 3033   atomic_t count ;
 3034   struct k_sigaction action[64U] ;
 3035   spinlock_t siglock ;
 3036   wait_queue_head_t signalfd_wqh ;
 3037};
 3038# 447 "include/linux/sched.h"
 3039struct pacct_struct {
 3040   int ac_flag ;
 3041   long ac_exitcode ;
 3042   unsigned long ac_mem ;
 3043   cputime_t ac_utime ;
 3044   cputime_t ac_stime ;
 3045   unsigned long ac_minflt ;
 3046   unsigned long ac_majflt ;
 3047};
 3048# 455 "include/linux/sched.h"
 3049struct cpu_itimer {
 3050   cputime_t expires ;
 3051   cputime_t incr ;
 3052   u32 error ;
 3053   u32 incr_error ;
 3054};
 3055# 462 "include/linux/sched.h"
 3056struct task_cputime {
 3057   cputime_t utime ;
 3058   cputime_t stime ;
 3059   unsigned long long sum_exec_runtime ;
 3060};
 3061# 479 "include/linux/sched.h"
 3062struct thread_group_cputimer {
 3063   struct task_cputime cputime ;
 3064   int running ;
 3065   spinlock_t lock ;
 3066};
 3067# 515 "include/linux/sched.h"
 3068struct autogroup;
 3069# 515 "include/linux/sched.h"
 3070struct autogroup;
 3071# 515 "include/linux/sched.h"
 3072struct autogroup;
 3073# 516 "include/linux/sched.h"
 3074struct tty_struct;
 3075# 516 "include/linux/sched.h"
 3076struct tty_struct;
 3077# 516 "include/linux/sched.h"
 3078struct taskstats;
 3079# 516 "include/linux/sched.h"
 3080struct taskstats;
 3081# 516 "include/linux/sched.h"
 3082struct tty_audit_buf;
 3083# 516 "include/linux/sched.h"
 3084struct tty_audit_buf;
 3085# 516 "include/linux/sched.h"
 3086struct signal_struct {
 3087   atomic_t sigcnt ;
 3088   atomic_t live ;
 3089   int nr_threads ;
 3090   wait_queue_head_t wait_chldexit ;
 3091   struct task_struct *curr_target ;
 3092   struct sigpending shared_pending ;
 3093   int group_exit_code ;
 3094   int notify_count ;
 3095   struct task_struct *group_exit_task ;
 3096   int group_stop_count ;
 3097   unsigned int flags ;
 3098   struct list_head posix_timers ;
 3099   struct hrtimer real_timer ;
 3100   struct pid *leader_pid ;
 3101   ktime_t it_real_incr ;
 3102   struct cpu_itimer it[2U] ;
 3103   struct thread_group_cputimer cputimer ;
 3104   struct task_cputime cputime_expires ;
 3105   struct list_head cpu_timers[3U] ;
 3106   struct pid *tty_old_pgrp ;
 3107   int leader ;
 3108   struct tty_struct *tty ;
 3109   struct autogroup *autogroup ;
 3110   cputime_t utime ;
 3111   cputime_t stime ;
 3112   cputime_t cutime ;
 3113   cputime_t cstime ;
 3114   cputime_t gtime ;
 3115   cputime_t cgtime ;
 3116   cputime_t prev_utime ;
 3117   cputime_t prev_stime ;
 3118   unsigned long nvcsw ;
 3119   unsigned long nivcsw ;
 3120   unsigned long cnvcsw ;
 3121   unsigned long cnivcsw ;
 3122   unsigned long min_flt ;
 3123   unsigned long maj_flt ;
 3124   unsigned long cmin_flt ;
 3125   unsigned long cmaj_flt ;
 3126   unsigned long inblock ;
 3127   unsigned long oublock ;
 3128   unsigned long cinblock ;
 3129   unsigned long coublock ;
 3130   unsigned long maxrss ;
 3131   unsigned long cmaxrss ;
 3132   struct task_io_accounting ioac ;
 3133   unsigned long long sum_sched_runtime ;
 3134   struct rlimit rlim[16U] ;
 3135   struct pacct_struct pacct ;
 3136   struct taskstats *stats ;
 3137   unsigned int audit_tty ;
 3138   struct tty_audit_buf *tty_audit_buf ;
 3139   struct rw_semaphore threadgroup_fork_lock ;
 3140   int oom_adj ;
 3141   int oom_score_adj ;
 3142   int oom_score_adj_min ;
 3143   struct mutex cred_guard_mutex ;
 3144};
 3145# 683 "include/linux/sched.h"
 3146struct user_struct {
 3147   atomic_t __count ;
 3148   atomic_t processes ;
 3149   atomic_t files ;
 3150   atomic_t sigpending ;
 3151   atomic_t inotify_watches ;
 3152   atomic_t inotify_devs ;
 3153   atomic_t fanotify_listeners ;
 3154   atomic_long_t epoll_watches ;
 3155   unsigned long mq_bytes ;
 3156   unsigned long locked_shm ;
 3157   struct key *uid_keyring ;
 3158   struct key *session_keyring ;
 3159   struct hlist_node uidhash_node ;
 3160   uid_t uid ;
 3161   struct user_namespace *user_ns ;
 3162   atomic_long_t locked_vm ;
 3163};
 3164# 728 "include/linux/sched.h"
 3165struct reclaim_state;
 3166# 728 "include/linux/sched.h"
 3167struct reclaim_state;
 3168# 728 "include/linux/sched.h"
 3169struct reclaim_state;
 3170# 729 "include/linux/sched.h"
 3171struct sched_info {
 3172   unsigned long pcount ;
 3173   unsigned long long run_delay ;
 3174   unsigned long long last_arrival ;
 3175   unsigned long long last_queued ;
 3176};
 3177# 744 "include/linux/sched.h"
 3178struct task_delay_info {
 3179   spinlock_t lock ;
 3180   unsigned int flags ;
 3181   struct timespec blkio_start ;
 3182   struct timespec blkio_end ;
 3183   u64 blkio_delay ;
 3184   u64 swapin_delay ;
 3185   u32 blkio_count ;
 3186   u32 swapin_count ;
 3187   struct timespec freepages_start ;
 3188   struct timespec freepages_end ;
 3189   u64 freepages_delay ;
 3190   u32 freepages_count ;
 3191};
 3192# 1037 "include/linux/sched.h"
 3193struct io_context;
 3194# 1037 "include/linux/sched.h"
 3195struct io_context;
 3196# 1037 "include/linux/sched.h"
 3197struct io_context;
 3198# 1060 "include/linux/sched.h"
 3199struct rq;
 3200# 1060 "include/linux/sched.h"
 3201struct rq;
 3202# 1060 "include/linux/sched.h"
 3203struct rq;
 3204# 1061 "include/linux/sched.h"
 3205struct sched_class {
 3206   struct sched_class const *next ;
 3207   void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
 3208   void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
 3209   void (*yield_task)(struct rq * ) ;
 3210   bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
 3211   void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
 3212   struct task_struct *(*pick_next_task)(struct rq * ) ;
 3213   void (*put_prev_task)(struct rq * , struct task_struct * ) ;
 3214   int (*select_task_rq)(struct task_struct * , int , int ) ;
 3215   void (*pre_schedule)(struct rq * , struct task_struct * ) ;
 3216   void (*post_schedule)(struct rq * ) ;
 3217   void (*task_waking)(struct task_struct * ) ;
 3218   void (*task_woken)(struct rq * , struct task_struct * ) ;
 3219   void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
 3220   void (*rq_online)(struct rq * ) ;
 3221   void (*rq_offline)(struct rq * ) ;
 3222   void (*set_curr_task)(struct rq * ) ;
 3223   void (*task_tick)(struct rq * , struct task_struct * , int ) ;
 3224   void (*task_fork)(struct task_struct * ) ;
 3225   void (*switched_from)(struct rq * , struct task_struct * ) ;
 3226   void (*switched_to)(struct rq * , struct task_struct * ) ;
 3227   void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
 3228   unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
 3229   void (*task_move_group)(struct task_struct * , int ) ;
 3230};
 3231# 1127 "include/linux/sched.h"
 3232struct load_weight {
 3233   unsigned long weight ;
 3234   unsigned long inv_weight ;
 3235};
 3236# 1132 "include/linux/sched.h"
 3237struct sched_statistics {
 3238   u64 wait_start ;
 3239   u64 wait_max ;
 3240   u64 wait_count ;
 3241   u64 wait_sum ;
 3242   u64 iowait_count ;
 3243   u64 iowait_sum ;
 3244   u64 sleep_start ;
 3245   u64 sleep_max ;
 3246   s64 sum_sleep_runtime ;
 3247   u64 block_start ;
 3248   u64 block_max ;
 3249   u64 exec_max ;
 3250   u64 slice_max ;
 3251   u64 nr_migrations_cold ;
 3252   u64 nr_failed_migrations_affine ;
 3253   u64 nr_failed_migrations_running ;
 3254   u64 nr_failed_migrations_hot ;
 3255   u64 nr_forced_migrations ;
 3256   u64 nr_wakeups ;
 3257   u64 nr_wakeups_sync ;
 3258   u64 nr_wakeups_migrate ;
 3259   u64 nr_wakeups_local ;
 3260   u64 nr_wakeups_remote ;
 3261   u64 nr_wakeups_affine ;
 3262   u64 nr_wakeups_affine_attempts ;
 3263   u64 nr_wakeups_passive ;
 3264   u64 nr_wakeups_idle ;
 3265};
 3266# 1167 "include/linux/sched.h"
 3267struct sched_entity {
 3268   struct load_weight load ;
 3269   struct rb_node run_node ;
 3270   struct list_head group_node ;
 3271   unsigned int on_rq ;
 3272   u64 exec_start ;
 3273   u64 sum_exec_runtime ;
 3274   u64 vruntime ;
 3275   u64 prev_sum_exec_runtime ;
 3276   u64 nr_migrations ;
 3277   struct sched_statistics statistics ;
 3278   struct sched_entity *parent ;
 3279   struct cfs_rq *cfs_rq ;
 3280   struct cfs_rq *my_q ;
 3281};
 3282# 1193 "include/linux/sched.h"
 3283struct rt_rq;
 3284# 1193 "include/linux/sched.h"
 3285struct rt_rq;
 3286# 1193 "include/linux/sched.h"
 3287struct sched_rt_entity {
 3288   struct list_head run_list ;
 3289   unsigned long timeout ;
 3290   unsigned int time_slice ;
 3291   int nr_cpus_allowed ;
 3292   struct sched_rt_entity *back ;
 3293   struct sched_rt_entity *parent ;
 3294   struct rt_rq *rt_rq ;
 3295   struct rt_rq *my_q ;
 3296};
 3297# 1217 "include/linux/sched.h"
 3298struct mem_cgroup;
 3299# 1217 "include/linux/sched.h"
 3300struct mem_cgroup;
 3301# 1217 "include/linux/sched.h"
 3302struct memcg_batch_info {
 3303   int do_batch ;
 3304   struct mem_cgroup *memcg ;
 3305   unsigned long nr_pages ;
 3306   unsigned long memsw_nr_pages ;
 3307};
 3308# 1569 "include/linux/sched.h"
 3309struct irqaction;
 3310# 1569 "include/linux/sched.h"
 3311struct irqaction;
 3312# 1569 "include/linux/sched.h"
 3313struct css_set;
 3314# 1569 "include/linux/sched.h"
 3315struct css_set;
 3316# 1569 "include/linux/sched.h"
 3317struct compat_robust_list_head;
 3318# 1569 "include/linux/sched.h"
 3319struct compat_robust_list_head;
 3320# 1569 "include/linux/sched.h"
 3321struct ftrace_ret_stack;
 3322# 1569 "include/linux/sched.h"
 3323struct ftrace_ret_stack;
 3324# 1569 "include/linux/sched.h"
 3325struct task_struct {
 3326   long volatile state ;
 3327   void *stack ;
 3328   atomic_t usage ;
 3329   unsigned int flags ;
 3330   unsigned int ptrace ;
 3331   struct task_struct *wake_entry ;
 3332   int on_cpu ;
 3333   int on_rq ;
 3334   int prio ;
 3335   int static_prio ;
 3336   int normal_prio ;
 3337   unsigned int rt_priority ;
 3338   struct sched_class const *sched_class ;
 3339   struct sched_entity se ;
 3340   struct sched_rt_entity rt ;
 3341   struct hlist_head preempt_notifiers ;
 3342   unsigned char fpu_counter ;
 3343   unsigned int btrace_seq ;
 3344   unsigned int policy ;
 3345   cpumask_t cpus_allowed ;
 3346   struct sched_info sched_info ;
 3347   struct list_head tasks ;
 3348   struct plist_node pushable_tasks ;
 3349   struct mm_struct *mm ;
 3350   struct mm_struct *active_mm ;
 3351   unsigned char brk_randomized : 1 ;
 3352   int exit_state ;
 3353   int exit_code ;
 3354   int exit_signal ;
 3355   int pdeath_signal ;
 3356   unsigned int group_stop ;
 3357   unsigned int personality ;
 3358   unsigned char did_exec : 1 ;
 3359   unsigned char in_execve : 1 ;
 3360   unsigned char in_iowait : 1 ;
 3361   unsigned char sched_reset_on_fork : 1 ;
 3362   unsigned char sched_contributes_to_load : 1 ;
 3363   pid_t pid ;
 3364   pid_t tgid ;
 3365   unsigned long stack_canary ;
 3366   struct task_struct *real_parent ;
 3367   struct task_struct *parent ;
 3368   struct list_head children ;
 3369   struct list_head sibling ;
 3370   struct task_struct *group_leader ;
 3371   struct list_head ptraced ;
 3372   struct list_head ptrace_entry ;
 3373   struct pid_link pids[3U] ;
 3374   struct list_head thread_group ;
 3375   struct completion *vfork_done ;
 3376   int *set_child_tid ;
 3377   int *clear_child_tid ;
 3378   cputime_t utime ;
 3379   cputime_t stime ;
 3380   cputime_t utimescaled ;
 3381   cputime_t stimescaled ;
 3382   cputime_t gtime ;
 3383   cputime_t prev_utime ;
 3384   cputime_t prev_stime ;
 3385   unsigned long nvcsw ;
 3386   unsigned long nivcsw ;
 3387   struct timespec start_time ;
 3388   struct timespec real_start_time ;
 3389   unsigned long min_flt ;
 3390   unsigned long maj_flt ;
 3391   struct task_cputime cputime_expires ;
 3392   struct list_head cpu_timers[3U] ;
 3393   struct cred const *real_cred ;
 3394   struct cred const *cred ;
 3395   struct cred *replacement_session_keyring ;
 3396   char comm[16U] ;
 3397   int link_count ;
 3398   int total_link_count ;
 3399   struct sysv_sem sysvsem ;
 3400   unsigned long last_switch_count ;
 3401   struct thread_struct thread ;
 3402   struct fs_struct *fs ;
 3403   struct files_struct *files ;
 3404   struct nsproxy *nsproxy ;
 3405   struct signal_struct *signal ;
 3406   struct sighand_struct *sighand ;
 3407   sigset_t blocked ;
 3408   sigset_t real_blocked ;
 3409   sigset_t saved_sigmask ;
 3410   struct sigpending pending ;
 3411   unsigned long sas_ss_sp ;
 3412   size_t sas_ss_size ;
 3413   int (*notifier)(void * ) ;
 3414   void *notifier_data ;
 3415   sigset_t *notifier_mask ;
 3416   struct audit_context *audit_context ;
 3417   uid_t loginuid ;
 3418   unsigned int sessionid ;
 3419   seccomp_t seccomp ;
 3420   u32 parent_exec_id ;
 3421   u32 self_exec_id ;
 3422   spinlock_t alloc_lock ;
 3423   struct irqaction *irqaction ;
 3424   raw_spinlock_t pi_lock ;
 3425   struct plist_head pi_waiters ;
 3426   struct rt_mutex_waiter *pi_blocked_on ;
 3427   struct mutex_waiter *blocked_on ;
 3428   unsigned int irq_events ;
 3429   unsigned long hardirq_enable_ip ;
 3430   unsigned long hardirq_disable_ip ;
 3431   unsigned int hardirq_enable_event ;
 3432   unsigned int hardirq_disable_event ;
 3433   int hardirqs_enabled ;
 3434   int hardirq_context ;
 3435   unsigned long softirq_disable_ip ;
 3436   unsigned long softirq_enable_ip ;
 3437   unsigned int softirq_disable_event ;
 3438   unsigned int softirq_enable_event ;
 3439   int softirqs_enabled ;
 3440   int softirq_context ;
 3441   u64 curr_chain_key ;
 3442   int lockdep_depth ;
 3443   unsigned int lockdep_recursion ;
 3444   struct held_lock held_locks[48U] ;
 3445   gfp_t lockdep_reclaim_gfp ;
 3446   void *journal_info ;
 3447   struct bio_list *bio_list ;
 3448   struct blk_plug *plug ;
 3449   struct reclaim_state *reclaim_state ;
 3450   struct backing_dev_info *backing_dev_info ;
 3451   struct io_context *io_context ;
 3452   unsigned long ptrace_message ;
 3453   siginfo_t *last_siginfo ;
 3454   struct task_io_accounting ioac ;
 3455   u64 acct_rss_mem1 ;
 3456   u64 acct_vm_mem1 ;
 3457   cputime_t acct_timexpd ;
 3458   nodemask_t mems_allowed ;
 3459   int mems_allowed_change_disable ;
 3460   int cpuset_mem_spread_rotor ;
 3461   int cpuset_slab_spread_rotor ;
 3462   struct css_set *cgroups ;
 3463   struct list_head cg_list ;
 3464   struct robust_list_head *robust_list ;
 3465   struct compat_robust_list_head *compat_robust_list ;
 3466   struct list_head pi_state_list ;
 3467   struct futex_pi_state *pi_state_cache ;
 3468   struct perf_event_context *perf_event_ctxp[2U] ;
 3469   struct mutex perf_event_mutex ;
 3470   struct list_head perf_event_list ;
 3471   struct mempolicy *mempolicy ;
 3472   short il_next ;
 3473   short pref_node_fork ;
 3474   atomic_t fs_excl ;
 3475   struct rcu_head rcu ;
 3476   struct pipe_inode_info *splice_pipe ;
 3477   struct task_delay_info *delays ;
 3478   int make_it_fail ;
 3479   struct prop_local_single dirties ;
 3480   int latency_record_count ;
 3481   struct latency_record latency_record[32U] ;
 3482   unsigned long timer_slack_ns ;
 3483   unsigned long default_timer_slack_ns ;
 3484   struct list_head *scm_work_list ;
 3485   int curr_ret_stack ;
 3486   struct ftrace_ret_stack *ret_stack ;
 3487   unsigned long long ftrace_timestamp ;
 3488   atomic_t trace_overrun ;
 3489   atomic_t tracing_graph_pause ;
 3490   unsigned long trace ;
 3491   unsigned long trace_recursion ;
 3492   struct memcg_batch_info memcg_batch ;
 3493   atomic_t ptrace_bp_refcnt ;
 3494};
 3495# 118 "include/linux/kmemleak.h"
 3496struct kmem_cache_cpu {
 3497   void **freelist ;
 3498   unsigned long tid ;
 3499   struct page *page ;
 3500   int node ;
 3501   unsigned int stat[19U] ;
 3502};
 3503# 46 "include/linux/slub_def.h"
 3504struct kmem_cache_node {
 3505   spinlock_t list_lock ;
 3506   unsigned long nr_partial ;
 3507   struct list_head partial ;
 3508   atomic_long_t nr_slabs ;
 3509   atomic_long_t total_objects ;
 3510   struct list_head full ;
 3511};
 3512# 57 "include/linux/slub_def.h"
 3513struct kmem_cache_order_objects {
 3514   unsigned long x ;
 3515};
 3516# 67 "include/linux/slub_def.h"
 3517struct kmem_cache {
 3518   struct kmem_cache_cpu *cpu_slab ;
 3519   unsigned long flags ;
 3520   unsigned long min_partial ;
 3521   int size ;
 3522   int objsize ;
 3523   int offset ;
 3524   struct kmem_cache_order_objects oo ;
 3525   struct kmem_cache_order_objects max ;
 3526   struct kmem_cache_order_objects min ;
 3527   gfp_t allocflags ;
 3528   int refcount ;
 3529   void (*ctor)(void * ) ;
 3530   int inuse ;
 3531   int align ;
 3532   int reserved ;
 3533   char const *name ;
 3534   struct list_head list ;
 3535   struct kobject kobj ;
 3536   int remote_node_defrag_ratio ;
 3537   struct kmem_cache_node *node[1024U] ;
 3538};
 3539# 25 "include/linux/genhd.h"
 3540struct device_type;
 3541# 25 "include/linux/genhd.h"
 3542struct device_type;
 3543# 27 "include/linux/genhd.h"
 3544struct class;
 3545# 27 "include/linux/genhd.h"
 3546struct class;
 3547# 51 "include/linux/genhd.h"
 3548struct klist_node;
 3549# 51 "include/linux/genhd.h"
 3550struct klist_node;
 3551# 51 "include/linux/genhd.h"
 3552struct klist_node;
 3553# 37 "include/linux/klist.h"
 3554struct klist_node {
 3555   void *n_klist ;
 3556   struct list_head n_node ;
 3557   struct kref n_ref ;
 3558};
 3559# 67 "include/linux/klist.h"
 3560struct dma_map_ops;
 3561# 67 "include/linux/klist.h"
 3562struct dma_map_ops;
 3563# 67 "include/linux/klist.h"
 3564struct dev_archdata {
 3565   void *acpi_handle ;
 3566   struct dma_map_ops *dma_ops ;
 3567   void *iommu ;
 3568};
 3569# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3570struct device_private;
 3571# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3572struct device_private;
 3573# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3574struct device_private;
 3575# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3576struct device_driver;
 3577# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3578struct device_driver;
 3579# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3580struct device_driver;
 3581# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3582struct driver_private;
 3583# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3584struct driver_private;
 3585# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3586struct driver_private;
 3587# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3588struct subsys_private;
 3589# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3590struct subsys_private;
 3591# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3592struct subsys_private;
 3593# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3594struct bus_type;
 3595# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3596struct bus_type;
 3597# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3598struct bus_type;
 3599# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3600struct device_node;
 3601# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3602struct device_node;
 3603# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3604struct device_node;
 3605# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 3606struct bus_attribute {
 3607   struct attribute attr ;
 3608   ssize_t (*show)(struct bus_type * , char * ) ;
 3609   ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
 3610};
 3611# 49 "include/linux/device.h"
 3612struct device_attribute;
 3613# 49 "include/linux/device.h"
 3614struct device_attribute;
 3615# 49 "include/linux/device.h"
 3616struct driver_attribute;
 3617# 49 "include/linux/device.h"
 3618struct driver_attribute;
 3619# 49 "include/linux/device.h"
 3620struct bus_type {
 3621   char const *name ;
 3622   struct bus_attribute *bus_attrs ;
 3623   struct device_attribute *dev_attrs ;
 3624   struct driver_attribute *drv_attrs ;
 3625   int (*match)(struct device * , struct device_driver * ) ;
 3626   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 3627   int (*probe)(struct device * ) ;
 3628   int (*remove)(struct device * ) ;
 3629   void (*shutdown)(struct device * ) ;
 3630   int (*suspend)(struct device * , pm_message_t ) ;
 3631   int (*resume)(struct device * ) ;
 3632   struct dev_pm_ops const *pm ;
 3633   struct subsys_private *p ;
 3634};
 3635# 153 "include/linux/device.h"
 3636struct of_device_id;
 3637# 153 "include/linux/device.h"
 3638struct of_device_id;
 3639# 153 "include/linux/device.h"
 3640struct device_driver {
 3641   char const *name ;
 3642   struct bus_type *bus ;
 3643   struct module *owner ;
 3644   char const *mod_name ;
 3645   bool suppress_bind_attrs ;
 3646   struct of_device_id const *of_match_table ;
 3647   int (*probe)(struct device * ) ;
 3648   int (*remove)(struct device * ) ;
 3649   void (*shutdown)(struct device * ) ;
 3650   int (*suspend)(struct device * , pm_message_t ) ;
 3651   int (*resume)(struct device * ) ;
 3652   struct attribute_group const **groups ;
 3653   struct dev_pm_ops const *pm ;
 3654   struct driver_private *p ;
 3655};
 3656# 218 "include/linux/device.h"
 3657struct driver_attribute {
 3658   struct attribute attr ;
 3659   ssize_t (*show)(struct device_driver * , char * ) ;
 3660   ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
 3661};
 3662# 248 "include/linux/device.h"
 3663struct class_attribute;
 3664# 248 "include/linux/device.h"
 3665struct class_attribute;
 3666# 248 "include/linux/device.h"
 3667struct class {
 3668   char const *name ;
 3669   struct module *owner ;
 3670   struct class_attribute *class_attrs ;
 3671   struct device_attribute *dev_attrs ;
 3672   struct bin_attribute *dev_bin_attrs ;
 3673   struct kobject *dev_kobj ;
 3674   int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
 3675   char *(*devnode)(struct device * , mode_t * ) ;
 3676   void (*class_release)(struct class * ) ;
 3677   void (*dev_release)(struct device * ) ;
 3678   int (*suspend)(struct device * , pm_message_t ) ;
 3679   int (*resume)(struct device * ) ;
 3680   struct kobj_ns_type_operations const *ns_type ;
 3681   void const *(*namespace)(struct device * ) ;
 3682   struct dev_pm_ops const *pm ;
 3683   struct subsys_private *p ;
 3684};
 3685# 344 "include/linux/device.h"
 3686struct class_attribute {
 3687   struct attribute attr ;
 3688   ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
 3689   ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
 3690};
 3691# 395 "include/linux/device.h"
 3692struct device_type {
 3693   char const *name ;
 3694   struct attribute_group const **groups ;
 3695   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 3696   char *(*devnode)(struct device * , mode_t * ) ;
 3697   void (*release)(struct device * ) ;
 3698   struct dev_pm_ops const *pm ;
 3699};
 3700# 422 "include/linux/device.h"
 3701struct device_attribute {
 3702   struct attribute attr ;
 3703   ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
 3704   ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
 3705                    size_t ) ;
 3706};
 3707# 483 "include/linux/device.h"
 3708struct device_dma_parameters {
 3709   unsigned int max_segment_size ;
 3710   unsigned long segment_boundary_mask ;
 3711};
 3712# 492 "include/linux/device.h"
 3713struct dma_coherent_mem;
 3714# 492 "include/linux/device.h"
 3715struct dma_coherent_mem;
 3716# 492 "include/linux/device.h"
 3717struct device {
 3718   struct device *parent ;
 3719   struct device_private *p ;
 3720   struct kobject kobj ;
 3721   char const *init_name ;
 3722   struct device_type const *type ;
 3723   struct mutex mutex ;
 3724   struct bus_type *bus ;
 3725   struct device_driver *driver ;
 3726   void *platform_data ;
 3727   struct dev_pm_info power ;
 3728   struct dev_power_domain *pwr_domain ;
 3729   int numa_node ;
 3730   u64 *dma_mask ;
 3731   u64 coherent_dma_mask ;
 3732   struct device_dma_parameters *dma_parms ;
 3733   struct list_head dma_pools ;
 3734   struct dma_coherent_mem *dma_mem ;
 3735   struct dev_archdata archdata ;
 3736   struct device_node *of_node ;
 3737   dev_t devt ;
 3738   spinlock_t devres_lock ;
 3739   struct list_head devres_head ;
 3740   struct klist_node knode_class ;
 3741   struct class *class ;
 3742   struct attribute_group const **groups ;
 3743   void (*release)(struct device * ) ;
 3744};
 3745# 604 "include/linux/device.h"
 3746struct wakeup_source {
 3747   char *name ;
 3748   struct list_head entry ;
 3749   spinlock_t lock ;
 3750   struct timer_list timer ;
 3751   unsigned long timer_expires ;
 3752   ktime_t total_time ;
 3753   ktime_t max_time ;
 3754   ktime_t last_time ;
 3755   unsigned long event_count ;
 3756   unsigned long active_count ;
 3757   unsigned long relax_count ;
 3758   unsigned long hit_count ;
 3759   unsigned char active : 1 ;
 3760};
 3761# 81 "include/linux/genhd.h"
 3762struct disk_stats {
 3763   unsigned long sectors[2U] ;
 3764   unsigned long ios[2U] ;
 3765   unsigned long merges[2U] ;
 3766   unsigned long ticks[2U] ;
 3767   unsigned long io_ticks ;
 3768   unsigned long time_in_queue ;
 3769};
 3770# 90 "include/linux/genhd.h"
 3771struct partition_meta_info {
 3772   u8 uuid[16U] ;
 3773   u8 volname[64U] ;
 3774};
 3775# 98 "include/linux/genhd.h"
 3776struct hd_struct {
 3777   sector_t start_sect ;
 3778   sector_t nr_sects ;
 3779   sector_t alignment_offset ;
 3780   unsigned int discard_alignment ;
 3781   struct device __dev ;
 3782   struct kobject *holder_dir ;
 3783   int policy ;
 3784   int partno ;
 3785   struct partition_meta_info *info ;
 3786   int make_it_fail ;
 3787   unsigned long stamp ;
 3788   atomic_t in_flight[2U] ;
 3789   struct disk_stats *dkstats ;
 3790   atomic_t ref ;
 3791   struct rcu_head rcu_head ;
 3792};
 3793# 145 "include/linux/genhd.h"
 3794struct disk_part_tbl {
 3795   struct rcu_head rcu_head ;
 3796   int len ;
 3797   struct hd_struct *last_lookup ;
 3798   struct hd_struct *part[0U] ;
 3799};
 3800# 152 "include/linux/genhd.h"
 3801struct disk_events;
 3802# 152 "include/linux/genhd.h"
 3803struct disk_events;
 3804# 152 "include/linux/genhd.h"
 3805struct disk_events;
 3806# 153 "include/linux/genhd.h"
 3807struct request_queue;
 3808# 153 "include/linux/genhd.h"
 3809struct request_queue;
 3810# 153 "include/linux/genhd.h"
 3811struct timer_rand_state;
 3812# 153 "include/linux/genhd.h"
 3813struct timer_rand_state;
 3814# 153 "include/linux/genhd.h"
 3815struct blk_integrity;
 3816# 153 "include/linux/genhd.h"
 3817struct blk_integrity;
 3818# 153 "include/linux/genhd.h"
 3819struct gendisk {
 3820   int major ;
 3821   int first_minor ;
 3822   int minors ;
 3823   char disk_name[32U] ;
 3824   char *(*devnode)(struct gendisk * , mode_t * ) ;
 3825   unsigned int events ;
 3826   unsigned int async_events ;
 3827   struct disk_part_tbl *part_tbl ;
 3828   struct hd_struct part0 ;
 3829   struct block_device_operations const *fops ;
 3830   struct request_queue *queue ;
 3831   void *private_data ;
 3832   int flags ;
 3833   struct device *driverfs_dev ;
 3834   struct kobject *slave_dir ;
 3835   struct timer_rand_state *random ;
 3836   atomic_t sync_io ;
 3837   struct disk_events *ev ;
 3838   struct blk_integrity *integrity ;
 3839   int node_id ;
 3840};
 3841# 653 "include/linux/genhd.h"
 3842struct exception_table_entry {
 3843   unsigned long insn ;
 3844   unsigned long fixup ;
 3845};
 3846# 8 "include/linux/ftrace_irq.h"
 3847enum irqreturn {
 3848    IRQ_NONE = 0,
 3849    IRQ_HANDLED = 1,
 3850    IRQ_WAKE_THREAD = 2
 3851} ;
 3852# 16 "include/linux/irqreturn.h"
 3853typedef enum irqreturn irqreturn_t;
 3854# 331 "include/linux/irq.h"
 3855struct proc_dir_entry;
 3856# 331 "include/linux/irq.h"
 3857struct proc_dir_entry;
 3858# 331 "include/linux/irq.h"
 3859struct proc_dir_entry;
 3860# 13 "include/linux/writeback.h"
 3861enum writeback_sync_modes {
 3862    WB_SYNC_NONE = 0,
 3863    WB_SYNC_ALL = 1
 3864} ;
 3865# 18 "include/linux/writeback.h"
 3866struct writeback_control {
 3867   enum writeback_sync_modes sync_mode ;
 3868   unsigned long *older_than_this ;
 3869   unsigned long wb_start ;
 3870   long nr_to_write ;
 3871   long pages_skipped ;
 3872   loff_t range_start ;
 3873   loff_t range_end ;
 3874   unsigned char nonblocking : 1 ;
 3875   unsigned char encountered_congestion : 1 ;
 3876   unsigned char for_kupdate : 1 ;
 3877   unsigned char for_background : 1 ;
 3878   unsigned char for_reclaim : 1 ;
 3879   unsigned char range_cyclic : 1 ;
 3880   unsigned char more_io : 1 ;
 3881};
 3882# 54 "include/linux/writeback.h"
 3883struct bdi_writeback;
 3884# 54 "include/linux/writeback.h"
 3885struct bdi_writeback;
 3886# 54 "include/linux/writeback.h"
 3887struct bdi_writeback;
 3888# 38 "include/linux/backing-dev.h"
 3889typedef int congested_fn(void * , int );
 3890# 45 "include/linux/backing-dev.h"
 3891struct bdi_writeback {
 3892   struct backing_dev_info *bdi ;
 3893   unsigned int nr ;
 3894   unsigned long last_old_flush ;
 3895   unsigned long last_active ;
 3896   struct task_struct *task ;
 3897   struct timer_list wakeup_timer ;
 3898   struct list_head b_dirty ;
 3899   struct list_head b_io ;
 3900   struct list_head b_more_io ;
 3901};
 3902# 61 "include/linux/backing-dev.h"
 3903struct backing_dev_info {
 3904   struct list_head bdi_list ;
 3905   unsigned long ra_pages ;
 3906   unsigned long state ;
 3907   unsigned int capabilities ;
 3908   congested_fn *congested_fn ;
 3909   void *congested_data ;
 3910   char *name ;
 3911   struct percpu_counter bdi_stat[2U] ;
 3912   struct prop_local_percpu completions ;
 3913   int dirty_exceeded ;
 3914   unsigned int min_ratio ;
 3915   unsigned int max_ratio ;
 3916   unsigned int max_prop_frac ;
 3917   struct bdi_writeback wb ;
 3918   spinlock_t wb_lock ;
 3919   struct list_head work_list ;
 3920   struct device *dev ;
 3921   struct timer_list laptop_mode_wb_timer ;
 3922   struct dentry *debug_dir ;
 3923   struct dentry *debug_stats ;
 3924};
 3925# 11 "include/linux/mempool.h"
 3926typedef void *mempool_alloc_t(gfp_t , void * );
 3927# 12 "include/linux/mempool.h"
 3928typedef void mempool_free_t(void * , void * );
 3929# 13 "include/linux/mempool.h"
 3930struct mempool_s {
 3931   spinlock_t lock ;
 3932   int min_nr ;
 3933   int curr_nr ;
 3934   void **elements ;
 3935   void *pool_data ;
 3936   mempool_alloc_t *alloc ;
 3937   mempool_free_t *free ;
 3938   wait_queue_head_t wait ;
 3939};
 3940# 24 "include/linux/mempool.h"
 3941typedef struct mempool_s mempool_t;
 3942# 29 "include/linux/iocontext.h"
 3943struct io_context {
 3944   atomic_long_t refcount ;
 3945   atomic_t nr_tasks ;
 3946   spinlock_t lock ;
 3947   unsigned short ioprio ;
 3948   unsigned short ioprio_changed ;
 3949   unsigned short cgroup_changed ;
 3950   int nr_batch_requests ;
 3951   unsigned long last_waited ;
 3952   struct radix_tree_root radix_root ;
 3953   struct hlist_head cic_list ;
 3954   void *ioc_data ;
 3955};
 3956# 90 "include/linux/bio.h"
 3957struct bio_integrity_payload {
 3958   struct bio *bip_bio ;
 3959   sector_t bip_sector ;
 3960   void *bip_buf ;
 3961   bio_end_io_t *bip_end_io ;
 3962   unsigned int bip_size ;
 3963   unsigned short bip_slab ;
 3964   unsigned short bip_vcnt ;
 3965   unsigned short bip_idx ;
 3966   struct work_struct bip_work ;
 3967   struct bio_vec bip_vec[0U] ;
 3968};
 3969# 373 "include/linux/bio.h"
 3970struct bio_list {
 3971   struct bio *head ;
 3972   struct bio *tail ;
 3973};
 3974# 63 "include/linux/bsg.h"
 3975struct bsg_class_device {
 3976   struct device *class_dev ;
 3977   struct device *parent ;
 3978   int minor ;
 3979   struct request_queue *queue ;
 3980   struct kref ref ;
 3981   void (*release)(struct device * ) ;
 3982};
 3983# 80 "include/linux/bsg.h"
 3984struct scatterlist {
 3985   unsigned long sg_magic ;
 3986   unsigned long page_link ;
 3987   unsigned int offset ;
 3988   unsigned int length ;
 3989   dma_addr_t dma_address ;
 3990   unsigned int dma_length ;
 3991};
 3992# 18 "include/asm-generic/scatterlist.h"
 3993struct elevator_queue;
 3994# 18 "include/asm-generic/scatterlist.h"
 3995struct elevator_queue;
 3996# 18 "include/asm-generic/scatterlist.h"
 3997struct elevator_queue;
 3998# 20 "include/asm-generic/scatterlist.h"
 3999struct blk_trace;
 4000# 20 "include/asm-generic/scatterlist.h"
 4001struct blk_trace;
 4002# 20 "include/asm-generic/scatterlist.h"
 4003struct blk_trace;
 4004# 21 "include/asm-generic/scatterlist.h"
 4005struct request;
 4006# 21 "include/asm-generic/scatterlist.h"
 4007struct request;
 4008# 21 "include/asm-generic/scatterlist.h"
 4009struct request;
 4010# 38 "include/linux/blkdev.h"
 4011typedef void rq_end_io_fn(struct request * , int );
 4012# 39 "include/linux/blkdev.h"
 4013struct request_list {
 4014   int count[2U] ;
 4015   int starved[2U] ;
 4016   int elvpriv ;
 4017   mempool_t *rq_pool ;
 4018   wait_queue_head_t wait[2U] ;
 4019};
 4020# 51 "include/linux/blkdev.h"
 4021enum rq_cmd_type_bits {
 4022    REQ_TYPE_FS = 1,
 4023    REQ_TYPE_BLOCK_PC = 2,
 4024    REQ_TYPE_SENSE = 3,
 4025    REQ_TYPE_PM_SUSPEND = 4,
 4026    REQ_TYPE_PM_RESUME = 5,
 4027    REQ_TYPE_PM_SHUTDOWN = 6,
 4028    REQ_TYPE_SPECIAL = 7,
 4029    REQ_TYPE_ATA_TASKFILE = 8,
 4030    REQ_TYPE_ATA_PC = 9
 4031} ;
 4032# 63 "include/linux/blkdev.h"
 4033union __anonunion_ldv_26185_163 {
 4034   struct rb_node rb_node ;
 4035   void *completion_data ;
 4036};
 4037# 63 "include/linux/blkdev.h"
 4038struct __anonstruct_flush_165 {
 4039   unsigned int seq ;
 4040   struct list_head list ;
 4041};
 4042# 63 "include/linux/blkdev.h"
 4043union __anonunion_ldv_26192_164 {
 4044   void *elevator_private[3U] ;
 4045   struct __anonstruct_flush_165 flush ;
 4046};
 4047# 63 "include/linux/blkdev.h"
 4048struct request {
 4049   struct list_head queuelist ;
 4050   struct call_single_data csd ;
 4051   struct request_queue *q ;
 4052   unsigned int cmd_flags ;
 4053   enum rq_cmd_type_bits cmd_type ;
 4054   unsigned long atomic_flags ;
 4055   int cpu ;
 4056   unsigned int __data_len ;
 4057   sector_t __sector ;
 4058   struct bio *bio ;
 4059   struct bio *biotail ;
 4060   struct hlist_node hash ;
 4061   union __anonunion_ldv_26185_163 ldv_26185 ;
 4062   union __anonunion_ldv_26192_164 ldv_26192 ;
 4063   struct gendisk *rq_disk ;
 4064   struct hd_struct *part ;
 4065   unsigned long start_time ;
 4066   unsigned short nr_phys_segments ;
 4067   unsigned short nr_integrity_segments ;
 4068   unsigned short ioprio ;
 4069   int ref_count ;
 4070   void *special ;
 4071   char *buffer ;
 4072   int tag ;
 4073   int errors ;
 4074   unsigned char __cmd[16U] ;
 4075   unsigned char *cmd ;
 4076   unsigned short cmd_len ;
 4077   unsigned int extra_len ;
 4078   unsigned int sense_len ;
 4079   unsigned int resid_len ;
 4080   void *sense ;
 4081   unsigned long deadline ;
 4082   struct list_head timeout_list ;
 4083   unsigned int timeout ;
 4084   int retries ;
 4085   rq_end_io_fn *end_io ;
 4086   void *end_io_data ;
 4087   struct request *next_rq ;
 4088};
 4089# 8 "include/linux/elevator.h"
 4090typedef int elevator_merge_fn(struct request_queue * , struct request ** , struct bio * );
 4091# 11 "include/linux/elevator.h"
 4092typedef void elevator_merge_req_fn(struct request_queue * , struct request * , struct request * );
 4093# 13 "include/linux/elevator.h"
 4094typedef void elevator_merged_fn(struct request_queue * , struct request * , int );
 4095# 15 "include/linux/elevator.h"
 4096typedef int elevator_allow_merge_fn(struct request_queue * , struct request * , struct bio * );
 4097# 17 "include/linux/elevator.h"
 4098typedef void elevator_bio_merged_fn(struct request_queue * , struct request * , struct bio * );
 4099# 20 "include/linux/elevator.h"
 4100typedef int elevator_dispatch_fn(struct request_queue * , int );
 4101# 22 "include/linux/elevator.h"
 4102typedef void elevator_add_req_fn(struct request_queue * , struct request * );
 4103# 23 "include/linux/elevator.h"
 4104typedef struct request *elevator_request_list_fn(struct request_queue * , struct request * );
 4105# 24 "include/linux/elevator.h"
 4106typedef void elevator_completed_req_fn(struct request_queue * , struct request * );
 4107# 25 "include/linux/elevator.h"
 4108typedef int elevator_may_queue_fn(struct request_queue * , int );
 4109# 27 "include/linux/elevator.h"
 4110typedef int elevator_set_req_fn(struct request_queue * , struct request * , gfp_t );
 4111# 28 "include/linux/elevator.h"
 4112typedef void elevator_put_req_fn(struct request * );
 4113# 29 "include/linux/elevator.h"
 4114typedef void elevator_activate_req_fn(struct request_queue * , struct request * );
 4115# 30 "include/linux/elevator.h"
 4116typedef void elevator_deactivate_req_fn(struct request_queue * , struct request * );
 4117# 32 "include/linux/elevator.h"
 4118typedef void *elevator_init_fn(struct request_queue * );
 4119# 33 "include/linux/elevator.h"
 4120typedef void elevator_exit_fn(struct elevator_queue * );
 4121# 34 "include/linux/elevator.h"
 4122struct elevator_ops {
 4123   elevator_merge_fn *elevator_merge_fn ;
 4124   elevator_merged_fn *elevator_merged_fn ;
 4125   elevator_merge_req_fn *elevator_merge_req_fn ;
 4126   elevator_allow_merge_fn *elevator_allow_merge_fn ;
 4127   elevator_bio_merged_fn *elevator_bio_merged_fn ;
 4128   elevator_dispatch_fn *elevator_dispatch_fn ;
 4129   elevator_add_req_fn *elevator_add_req_fn ;
 4130   elevator_activate_req_fn *elevator_activate_req_fn ;
 4131   elevator_deactivate_req_fn *elevator_deactivate_req_fn ;
 4132   elevator_completed_req_fn *elevator_completed_req_fn ;
 4133   elevator_request_list_fn *elevator_former_req_fn ;
 4134   elevator_request_list_fn *elevator_latter_req_fn ;
 4135   elevator_set_req_fn *elevator_set_req_fn ;
 4136   elevator_put_req_fn *elevator_put_req_fn ;
 4137   elevator_may_queue_fn *elevator_may_queue_fn ;
 4138   elevator_init_fn *elevator_init_fn ;
 4139   elevator_exit_fn *elevator_exit_fn ;
 4140   void (*trim)(struct io_context * ) ;
 4141};
 4142# 62 "include/linux/elevator.h"
 4143struct elv_fs_entry {
 4144   struct attribute attr ;
 4145   ssize_t (*show)(struct elevator_queue * , char * ) ;
 4146   ssize_t (*store)(struct elevator_queue * , char const * , size_t ) ;
 4147};
 4148# 70 "include/linux/elevator.h"
 4149struct elevator_type {
 4150   struct list_head list ;
 4151   struct elevator_ops ops ;
 4152   struct elv_fs_entry *elevator_attrs ;
 4153   char elevator_name[16U] ;
 4154   struct module *elevator_owner ;
 4155};
 4156# 82 "include/linux/elevator.h"
 4157struct elevator_queue {
 4158   struct elevator_ops *ops ;
 4159   void *elevator_data ;
 4160   struct kobject kobj ;
 4161   struct elevator_type *elevator_type ;
 4162   struct mutex sysfs_lock ;
 4163   struct hlist_head *hash ;
 4164   unsigned char registered : 1 ;
 4165};
 4166# 195 "include/linux/blkdev.h"
 4167typedef void request_fn_proc(struct request_queue * );
 4168# 196 "include/linux/blkdev.h"
 4169typedef int make_request_fn(struct request_queue * , struct bio * );
 4170# 197 "include/linux/blkdev.h"
 4171typedef int prep_rq_fn(struct request_queue * , struct request * );
 4172# 198 "include/linux/blkdev.h"
 4173typedef void unprep_rq_fn(struct request_queue * , struct request * );
 4174# 199 "include/linux/blkdev.h"
 4175struct bvec_merge_data {
 4176   struct block_device *bi_bdev ;
 4177   sector_t bi_sector ;
 4178   unsigned int bi_size ;
 4179   unsigned long bi_rw ;
 4180};
 4181# 207 "include/linux/blkdev.h"
 4182typedef int merge_bvec_fn(struct request_queue * , struct bvec_merge_data * , struct bio_vec * );
 4183# 209 "include/linux/blkdev.h"
 4184typedef void softirq_done_fn(struct request * );
 4185# 210 "include/linux/blkdev.h"
 4186typedef int dma_drain_needed_fn(struct request * );
 4187# 211 "include/linux/blkdev.h"
 4188typedef int lld_busy_fn(struct request_queue * );
 4189# 212 "include/linux/blkdev.h"
 4190enum blk_eh_timer_return {
 4191    BLK_EH_NOT_HANDLED = 0,
 4192    BLK_EH_HANDLED = 1,
 4193    BLK_EH_RESET_TIMER = 2
 4194} ;
 4195# 219 "include/linux/blkdev.h"
 4196typedef enum blk_eh_timer_return rq_timed_out_fn(struct request * );
 4197# 225 "include/linux/blkdev.h"
 4198struct blk_queue_tag {
 4199   struct request **tag_index ;
 4200   unsigned long *tag_map ;
 4201   int busy ;
 4202   int max_depth ;
 4203   int real_max_depth ;
 4204   atomic_t refcnt ;
 4205};
 4206# 234 "include/linux/blkdev.h"
 4207struct queue_limits {
 4208   unsigned long bounce_pfn ;
 4209   unsigned long seg_boundary_mask ;
 4210   unsigned int max_hw_sectors ;
 4211   unsigned int max_sectors ;
 4212   unsigned int max_segment_size ;
 4213   unsigned int physical_block_size ;
 4214   unsigned int alignment_offset ;
 4215   unsigned int io_min ;
 4216   unsigned int io_opt ;
 4217   unsigned int max_discard_sectors ;
 4218   unsigned int discard_granularity ;
 4219   unsigned int discard_alignment ;
 4220   unsigned short logical_block_size ;
 4221   unsigned short max_segments ;
 4222   unsigned short max_integrity_segments ;
 4223   unsigned char misaligned ;
 4224   unsigned char discard_misaligned ;
 4225   unsigned char cluster ;
 4226   unsigned char discard_zeroes_data ;
 4227};
 4228# 262 "include/linux/blkdev.h"
 4229struct request_queue {
 4230   struct list_head queue_head ;
 4231   struct request *last_merge ;
 4232   struct elevator_queue *elevator ;
 4233   struct request_list rq ;
 4234   request_fn_proc *request_fn ;
 4235   make_request_fn *make_request_fn ;
 4236   prep_rq_fn *prep_rq_fn ;
 4237   unprep_rq_fn *unprep_rq_fn ;
 4238   merge_bvec_fn *merge_bvec_fn ;
 4239   softirq_done_fn *softirq_done_fn ;
 4240   rq_timed_out_fn *rq_timed_out_fn ;
 4241   dma_drain_needed_fn *dma_drain_needed ;
 4242   lld_busy_fn *lld_busy_fn ;
 4243   sector_t end_sector ;
 4244   struct request *boundary_rq ;
 4245   struct delayed_work delay_work ;
 4246   struct backing_dev_info backing_dev_info ;
 4247   void *queuedata ;
 4248   gfp_t bounce_gfp ;
 4249   unsigned long queue_flags ;
 4250   spinlock_t __queue_lock ;
 4251   spinlock_t *queue_lock ;
 4252   struct kobject kobj ;
 4253   unsigned long nr_requests ;
 4254   unsigned int nr_congestion_on ;
 4255   unsigned int nr_congestion_off ;
 4256   unsigned int nr_batching ;
 4257   void *dma_drain_buffer ;
 4258   unsigned int dma_drain_size ;
 4259   unsigned int dma_pad_mask ;
 4260   unsigned int dma_alignment ;
 4261   struct blk_queue_tag *queue_tags ;
 4262   struct list_head tag_busy_list ;
 4263   unsigned int nr_sorted ;
 4264   unsigned int in_flight[2U] ;
 4265   unsigned int rq_timeout ;
 4266   struct timer_list timeout ;
 4267   struct list_head timeout_list ;
 4268   struct queue_limits limits ;
 4269   unsigned int sg_timeout ;
 4270   unsigned int sg_reserved_size ;
 4271   int node ;
 4272   struct blk_trace *blk_trace ;
 4273   unsigned int flush_flags ;
 4274   unsigned char flush_not_queueable : 1 ;
 4275   unsigned char flush_queue_delayed : 1 ;
 4276   unsigned char flush_pending_idx : 1 ;
 4277   unsigned char flush_running_idx : 1 ;
 4278   unsigned long flush_pending_since ;
 4279   struct list_head flush_queue[2U] ;
 4280   struct list_head flush_data_in_flight ;
 4281   struct request flush_rq ;
 4282   struct mutex sysfs_lock ;
 4283   struct bsg_class_device bsg_dev ;
 4284};
 4285# 859 "include/linux/blkdev.h"
 4286struct blk_plug {
 4287   unsigned long magic ;
 4288   struct list_head list ;
 4289   struct list_head cb_list ;
 4290   unsigned int should_sort ;
 4291};
 4292# 1192 "include/linux/blkdev.h"
 4293struct blk_integrity_exchg {
 4294   void *prot_buf ;
 4295   void *data_buf ;
 4296   sector_t sector ;
 4297   unsigned int data_size ;
 4298   unsigned short sector_size ;
 4299   char const *disk_name ;
 4300};
 4301# 1212 "include/linux/blkdev.h"
 4302typedef void integrity_gen_fn(struct blk_integrity_exchg * );
 4303# 1213 "include/linux/blkdev.h"
 4304typedef int integrity_vrfy_fn(struct blk_integrity_exchg * );
 4305# 1214 "include/linux/blkdev.h"
 4306typedef void integrity_set_tag_fn(void * , void * , unsigned int );
 4307# 1215 "include/linux/blkdev.h"
 4308typedef void integrity_get_tag_fn(void * , void * , unsigned int );
 4309# 1216 "include/linux/blkdev.h"
 4310struct blk_integrity {
 4311   integrity_gen_fn *generate_fn ;
 4312   integrity_vrfy_fn *verify_fn ;
 4313   integrity_set_tag_fn *set_tag_fn ;
 4314   integrity_get_tag_fn *get_tag_fn ;
 4315   unsigned short flags ;
 4316   unsigned short tuple_size ;
 4317   unsigned short sector_size ;
 4318   unsigned short tag_size ;
 4319   char const *name ;
 4320   struct kobject kobj ;
 4321};
 4322# 1275 "include/linux/blkdev.h"
 4323struct block_device_operations {
 4324   int (*open)(struct block_device * , fmode_t ) ;
 4325   int (*release)(struct gendisk * , fmode_t ) ;
 4326   int (*ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
 4327   int (*compat_ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
 4328   int (*direct_access)(struct block_device * , sector_t , void ** , unsigned long * ) ;
 4329   unsigned int (*check_events)(struct gendisk * , unsigned int ) ;
 4330   int (*media_changed)(struct gendisk * ) ;
 4331   void (*unlock_native_capacity)(struct gendisk * ) ;
 4332   int (*revalidate_disk)(struct gendisk * ) ;
 4333   int (*getgeo)(struct block_device * , struct hd_geometry * ) ;
 4334   void (*swap_slot_free_notify)(struct block_device * , unsigned long ) ;
 4335   struct module *owner ;
 4336};
 4337# 46 "include/linux/proc_fs.h"
 4338typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
 4339# 48 "include/linux/proc_fs.h"
 4340typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
 4341# 49 "include/linux/proc_fs.h"
 4342struct proc_dir_entry {
 4343   unsigned int low_ino ;
 4344   unsigned int namelen ;
 4345   char const *name ;
 4346   mode_t mode ;
 4347   nlink_t nlink ;
 4348   uid_t uid ;
 4349   gid_t gid ;
 4350   loff_t size ;
 4351   struct inode_operations const *proc_iops ;
 4352   struct file_operations const *proc_fops ;
 4353   struct proc_dir_entry *next ;
 4354   struct proc_dir_entry *parent ;
 4355   struct proc_dir_entry *subdir ;
 4356   void *data ;
 4357   read_proc_t *read_proc ;
 4358   write_proc_t *write_proc ;
 4359   atomic_t count ;
 4360   int pde_users ;
 4361   spinlock_t pde_unload_lock ;
 4362   struct completion *pde_unload_completion ;
 4363   struct list_head pde_openers ;
 4364};
 4365# 91 "include/linux/interrupt.h"
 4366struct irqaction {
 4367   irqreturn_t (*handler)(int , void * ) ;
 4368   unsigned long flags ;
 4369   void *dev_id ;
 4370   struct irqaction *next ;
 4371   int irq ;
 4372   irqreturn_t (*thread_fn)(int , void * ) ;
 4373   struct task_struct *thread ;
 4374   unsigned long thread_flags ;
 4375   unsigned long thread_mask ;
 4376   char const *name ;
 4377   struct proc_dir_entry *dir ;
 4378};
 4379# 12 "include/linux/mod_devicetable.h"
 4380typedef unsigned long kernel_ulong_t;
 4381# 13 "include/linux/mod_devicetable.h"
 4382struct pci_device_id {
 4383   __u32 vendor ;
 4384   __u32 device ;
 4385   __u32 subvendor ;
 4386   __u32 subdevice ;
 4387   __u32 class ;
 4388   __u32 class_mask ;
 4389   kernel_ulong_t driver_data ;
 4390};
 4391# 215 "include/linux/mod_devicetable.h"
 4392struct of_device_id {
 4393   char name[32U] ;
 4394   char type[32U] ;
 4395   char compatible[128U] ;
 4396   void *data ;
 4397};
 4398# 69 "include/linux/io.h"
 4399struct hotplug_slot;
 4400# 69 "include/linux/io.h"
 4401struct hotplug_slot;
 4402# 69 "include/linux/io.h"
 4403struct pci_slot {
 4404   struct pci_bus *bus ;
 4405   struct list_head list ;
 4406   struct hotplug_slot *hotplug ;
 4407   unsigned char number ;
 4408   struct kobject kobj ;
 4409};
 4410# 117 "include/linux/pci.h"
 4411typedef int pci_power_t;
 4412# 143 "include/linux/pci.h"
 4413typedef unsigned int pci_channel_state_t;
 4414# 144 "include/linux/pci.h"
 4415enum pci_channel_state {
 4416    pci_channel_io_normal = 1,
 4417    pci_channel_io_frozen = 2,
 4418    pci_channel_io_perm_failure = 3
 4419} ;
 4420# 169 "include/linux/pci.h"
 4421typedef unsigned short pci_dev_flags_t;
 4422# 184 "include/linux/pci.h"
 4423typedef unsigned short pci_bus_flags_t;
 4424# 227 "include/linux/pci.h"
 4425struct pcie_link_state;
 4426# 227 "include/linux/pci.h"
 4427struct pcie_link_state;
 4428# 227 "include/linux/pci.h"
 4429struct pcie_link_state;
 4430# 228 "include/linux/pci.h"
 4431struct pci_vpd;
 4432# 228 "include/linux/pci.h"
 4433struct pci_vpd;
 4434# 228 "include/linux/pci.h"
 4435struct pci_vpd;
 4436# 229 "include/linux/pci.h"
 4437struct pci_sriov;
 4438# 229 "include/linux/pci.h"
 4439struct pci_sriov;
 4440# 229 "include/linux/pci.h"
 4441struct pci_sriov;
 4442# 230 "include/linux/pci.h"
 4443struct pci_ats;
 4444# 230 "include/linux/pci.h"
 4445struct pci_ats;
 4446# 230 "include/linux/pci.h"
 4447struct pci_ats;
 4448# 231 "include/linux/pci.h"
 4449struct pci_driver;
 4450# 231 "include/linux/pci.h"
 4451struct pci_driver;
 4452# 231 "include/linux/pci.h"
 4453union __anonunion_ldv_28420_168 {
 4454   struct pci_sriov *sriov ;
 4455   struct pci_dev *physfn ;
 4456};
 4457# 231 "include/linux/pci.h"
 4458struct pci_dev {
 4459   struct list_head bus_list ;
 4460   struct pci_bus *bus ;
 4461   struct pci_bus *subordinate ;
 4462   void *sysdata ;
 4463   struct proc_dir_entry *procent ;
 4464   struct pci_slot *slot ;
 4465   unsigned int devfn ;
 4466   unsigned short vendor ;
 4467   unsigned short device ;
 4468   unsigned short subsystem_vendor ;
 4469   unsigned short subsystem_device ;
 4470   unsigned int class ;
 4471   u8 revision ;
 4472   u8 hdr_type ;
 4473   u8 pcie_cap ;
 4474   u8 pcie_type ;
 4475   u8 rom_base_reg ;
 4476   u8 pin ;
 4477   struct pci_driver *driver ;
 4478   u64 dma_mask ;
 4479   struct device_dma_parameters dma_parms ;
 4480   pci_power_t current_state ;
 4481   int pm_cap ;
 4482   unsigned char pme_support : 5 ;
 4483   unsigned char pme_interrupt : 1 ;
 4484   unsigned char d1_support : 1 ;
 4485   unsigned char d2_support : 1 ;
 4486   unsigned char no_d1d2 : 1 ;
 4487   unsigned char mmio_always_on : 1 ;
 4488   unsigned char wakeup_prepared : 1 ;
 4489   unsigned int d3_delay ;
 4490   struct pcie_link_state *link_state ;
 4491   pci_channel_state_t error_state ;
 4492   struct device dev ;
 4493   int cfg_size ;
 4494   unsigned int irq ;
 4495   struct resource resource[18U] ;
 4496   resource_size_t fw_addr[18U] ;
 4497   unsigned char transparent : 1 ;
 4498   unsigned char multifunction : 1 ;
 4499   unsigned char is_added : 1 ;
 4500   unsigned char is_busmaster : 1 ;
 4501   unsigned char no_msi : 1 ;
 4502   unsigned char block_ucfg_access : 1 ;
 4503   unsigned char broken_parity_status : 1 ;
 4504   unsigned char irq_reroute_variant : 2 ;
 4505   unsigned char msi_enabled : 1 ;
 4506   unsigned char msix_enabled : 1 ;
 4507   unsigned char ari_enabled : 1 ;
 4508   unsigned char is_managed : 1 ;
 4509   unsigned char is_pcie : 1 ;
 4510   unsigned char needs_freset : 1 ;
 4511   unsigned char state_saved : 1 ;
 4512   unsigned char is_physfn : 1 ;
 4513   unsigned char is_virtfn : 1 ;
 4514   unsigned char reset_fn : 1 ;
 4515   unsigned char is_hotplug_bridge : 1 ;
 4516   unsigned char __aer_firmware_first_valid : 1 ;
 4517   unsigned char __aer_firmware_first : 1 ;
 4518   pci_dev_flags_t dev_flags ;
 4519   atomic_t enable_cnt ;
 4520   u32 saved_config_space[16U] ;
 4521   struct hlist_head saved_cap_space ;
 4522   struct bin_attribute *rom_attr ;
 4523   int rom_attr_enabled ;
 4524   struct bin_attribute *res_attr[18U] ;
 4525   struct bin_attribute *res_attr_wc[18U] ;
 4526   struct list_head msi_list ;
 4527   struct pci_vpd *vpd ;
 4528   union __anonunion_ldv_28420_168 ldv_28420 ;
 4529   struct pci_ats *ats ;
 4530};
 4531# 406 "include/linux/pci.h"
 4532struct pci_ops;
 4533# 406 "include/linux/pci.h"
 4534struct pci_ops;
 4535# 406 "include/linux/pci.h"
 4536struct pci_bus {
 4537   struct list_head node ;
 4538   struct pci_bus *parent ;
 4539   struct list_head children ;
 4540   struct list_head devices ;
 4541   struct pci_dev *self ;
 4542   struct list_head slots ;
 4543   struct resource *resource[4U] ;
 4544   struct list_head resources ;
 4545   struct pci_ops *ops ;
 4546   void *sysdata ;
 4547   struct proc_dir_entry *procdir ;
 4548   unsigned char number ;
 4549   unsigned char primary ;
 4550   unsigned char secondary ;
 4551   unsigned char subordinate ;
 4552   unsigned char max_bus_speed ;
 4553   unsigned char cur_bus_speed ;
 4554   char name[48U] ;
 4555   unsigned short bridge_ctl ;
 4556   pci_bus_flags_t bus_flags ;
 4557   struct device *bridge ;
 4558   struct device dev ;
 4559   struct bin_attribute *legacy_io ;
 4560   struct bin_attribute *legacy_mem ;
 4561   unsigned char is_added : 1 ;
 4562};
 4563# 458 "include/linux/pci.h"
 4564struct pci_ops {
 4565   int (*read)(struct pci_bus * , unsigned int , int , int , u32 * ) ;
 4566   int (*write)(struct pci_bus * , unsigned int , int , int , u32 ) ;
 4567};
 4568# 493 "include/linux/pci.h"
 4569struct pci_dynids {
 4570   spinlock_t lock ;
 4571   struct list_head list ;
 4572};
 4573# 506 "include/linux/pci.h"
 4574typedef unsigned int pci_ers_result_t;
 4575# 515 "include/linux/pci.h"
 4576struct pci_error_handlers {
 4577   pci_ers_result_t (*error_detected)(struct pci_dev * , enum pci_channel_state ) ;
 4578   pci_ers_result_t (*mmio_enabled)(struct pci_dev * ) ;
 4579   pci_ers_result_t (*link_reset)(struct pci_dev * ) ;
 4580   pci_ers_result_t (*slot_reset)(struct pci_dev * ) ;
 4581   void (*resume)(struct pci_dev * ) ;
 4582};
 4583# 543 "include/linux/pci.h"
 4584struct pci_driver {
 4585   struct list_head node ;
 4586   char const *name ;
 4587   struct pci_device_id const *id_table ;
 4588   int (*probe)(struct pci_dev * , struct pci_device_id const * ) ;
 4589   void (*remove)(struct pci_dev * ) ;
 4590   int (*suspend)(struct pci_dev * , pm_message_t ) ;
 4591   int (*suspend_late)(struct pci_dev * , pm_message_t ) ;
 4592   int (*resume_early)(struct pci_dev * ) ;
 4593   int (*resume)(struct pci_dev * ) ;
 4594   void (*shutdown)(struct pci_dev * ) ;
 4595   struct pci_error_handlers *err_handler ;
 4596   struct device_driver driver ;
 4597   struct pci_dynids dynids ;
 4598};
 4599# 34 "include/linux/bug.h"
 4600struct dma_attrs {
 4601   unsigned long flags[1U] ;
 4602};
 4603# 65 "include/linux/dma-attrs.h"
 4604struct sg_table {
 4605   struct scatterlist *sgl ;
 4606   unsigned int nents ;
 4607   unsigned int orig_nents ;
 4608};
 4609# 266 "include/linux/scatterlist.h"
 4610enum dma_data_direction {
 4611    DMA_BIDIRECTIONAL = 0,
 4612    DMA_TO_DEVICE = 1,
 4613    DMA_FROM_DEVICE = 2,
 4614    DMA_NONE = 3
 4615} ;
 4616# 273 "include/linux/scatterlist.h"
 4617struct dma_map_ops {
 4618   void *(*alloc_coherent)(struct device * , size_t , dma_addr_t * , gfp_t ) ;
 4619   void (*free_coherent)(struct device * , size_t , void * , dma_addr_t ) ;
 4620   dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
 4621                          enum dma_data_direction , struct dma_attrs * ) ;
 4622   void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
 4623                      struct dma_attrs * ) ;
 4624   int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
 4625                 struct dma_attrs * ) ;
 4626   void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
 4627                    struct dma_attrs * ) ;
 4628   void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
 4629   void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
 4630   void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
 4631   void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
 4632   int (*mapping_error)(struct device * , dma_addr_t ) ;
 4633   int (*dma_supported)(struct device * , u64 ) ;
 4634   int (*set_dma_mask)(struct device * , u64 ) ;
 4635   int is_phys ;
 4636};
 4637# 19 "include/scsi/scsicam.h"
 4638struct Scsi_Host;
 4639# 19 "include/scsi/scsicam.h"
 4640struct Scsi_Host;
 4641# 19 "include/scsi/scsicam.h"
 4642struct Scsi_Host;
 4643# 20 "include/scsi/scsicam.h"
 4644struct scsi_device;
 4645# 20 "include/scsi/scsicam.h"
 4646struct scsi_device;
 4647# 20 "include/scsi/scsicam.h"
 4648struct scsi_device;
 4649# 21 "include/scsi/scsicam.h"
 4650struct scsi_data_buffer {
 4651   struct sg_table table ;
 4652   unsigned int length ;
 4653   int resid ;
 4654};
 4655# 36 "include/scsi/scsi_cmnd.h"
 4656struct scsi_pointer {
 4657   char *ptr ;
 4658   int this_residual ;
 4659   struct scatterlist *buffer ;
 4660   int buffers_residual ;
 4661   dma_addr_t dma_handle ;
 4662   int volatile Status ;
 4663   int volatile Message ;
 4664   int volatile have_data_in ;
 4665   int volatile sent_command ;
 4666   int volatile phase ;
 4667};
 4668# 52 "include/scsi/scsi_cmnd.h"
 4669struct scsi_cmnd {
 4670   struct scsi_device *device ;
 4671   struct list_head list ;
 4672   struct list_head eh_entry ;
 4673   int eh_eflags ;
 4674   unsigned long serial_number ;
 4675   unsigned long jiffies_at_alloc ;
 4676   int retries ;
 4677   int allowed ;
 4678   unsigned char prot_op ;
 4679   unsigned char prot_type ;
 4680   unsigned short cmd_len ;
 4681   enum dma_data_direction sc_data_direction ;
 4682   unsigned char *cmnd ;
 4683   struct scsi_data_buffer sdb ;
 4684   struct scsi_data_buffer *prot_sdb ;
 4685   unsigned int underflow ;
 4686   unsigned int transfersize ;
 4687   struct request *request ;
 4688   unsigned char *sense_buffer ;
 4689   void (*scsi_done)(struct scsi_cmnd * ) ;
 4690   struct scsi_pointer SCp ;
 4691   unsigned char *host_scribble ;
 4692   int result ;
 4693   unsigned char tag ;
 4694};
 4695# 563 "include/scsi/scsi.h"
 4696struct scsi_sense_hdr;
 4697# 563 "include/scsi/scsi.h"
 4698struct scsi_sense_hdr;
 4699# 563 "include/scsi/scsi.h"
 4700struct scsi_sense_hdr;
 4701# 25 "include/scsi/scsi_device.h"
 4702enum scsi_device_state {
 4703    SDEV_CREATED = 1,
 4704    SDEV_RUNNING = 2,
 4705    SDEV_CANCEL = 3,
 4706    SDEV_DEL = 4,
 4707    SDEV_QUIESCE = 5,
 4708    SDEV_OFFLINE = 6,
 4709    SDEV_BLOCK = 7,
 4710    SDEV_CREATED_BLOCK = 8
 4711} ;
 4712# 63 "include/scsi/scsi_device.h"
 4713struct scsi_target;
 4714# 63 "include/scsi/scsi_device.h"
 4715struct scsi_target;
 4716# 63 "include/scsi/scsi_device.h"
 4717struct scsi_dh_data;
 4718# 63 "include/scsi/scsi_device.h"
 4719struct scsi_dh_data;
 4720# 63 "include/scsi/scsi_device.h"
 4721struct scsi_device {
 4722   struct Scsi_Host *host ;
 4723   struct request_queue *request_queue ;
 4724   struct list_head siblings ;
 4725   struct list_head same_target_siblings ;
 4726   unsigned int device_busy ;
 4727   spinlock_t list_lock ;
 4728   struct list_head cmd_list ;
 4729   struct list_head starved_entry ;
 4730   struct scsi_cmnd *current_cmnd ;
 4731   unsigned short queue_depth ;
 4732   unsigned short max_queue_depth ;
 4733   unsigned short last_queue_full_depth ;
 4734   unsigned short last_queue_full_count ;
 4735   unsigned long last_queue_full_time ;
 4736   unsigned long queue_ramp_up_period ;
 4737   unsigned long last_queue_ramp_up ;
 4738   unsigned int id ;
 4739   unsigned int lun ;
 4740   unsigned int channel ;
 4741   unsigned int manufacturer ;
 4742   unsigned int sector_size ;
 4743   void *hostdata ;
 4744   char type ;
 4745   char scsi_level ;
 4746   char inq_periph_qual ;
 4747   unsigned char inquiry_len ;
 4748   unsigned char *inquiry ;
 4749   char const *vendor ;
 4750   char const *model ;
 4751   char const *rev ;
 4752   unsigned char current_tag ;
 4753   struct scsi_target *sdev_target ;
 4754   unsigned int sdev_bflags ;
 4755   unsigned char writeable : 1 ;
 4756   unsigned char removable : 1 ;
 4757   unsigned char changed : 1 ;
 4758   unsigned char busy : 1 ;
 4759   unsigned char lockable : 1 ;
 4760   unsigned char locked : 1 ;
 4761   unsigned char borken : 1 ;
 4762   unsigned char disconnect : 1 ;
 4763   unsigned char soft_reset : 1 ;
 4764   unsigned char sdtr : 1 ;
 4765   unsigned char wdtr : 1 ;
 4766   unsigned char ppr : 1 ;
 4767   unsigned char tagged_supported : 1 ;
 4768   unsigned char simple_tags : 1 ;
 4769   unsigned char ordered_tags : 1 ;
 4770   unsigned char was_reset : 1 ;
 4771   unsigned char expecting_cc_ua : 1 ;
 4772   unsigned char use_10_for_rw : 1 ;
 4773   unsigned char use_10_for_ms : 1 ;
 4774   unsigned char skip_ms_page_8 : 1 ;
 4775   unsigned char skip_ms_page_3f : 1 ;
 4776   unsigned char use_192_bytes_for_3f : 1 ;
 4777   unsigned char no_start_on_add : 1 ;
 4778   unsigned char allow_restart : 1 ;
 4779   unsigned char manage_start_stop : 1 ;
 4780   unsigned char start_stop_pwr_cond : 1 ;
 4781   unsigned char no_uld_attach : 1 ;
 4782   unsigned char select_no_atn : 1 ;
 4783   unsigned char fix_capacity : 1 ;
 4784   unsigned char guess_capacity : 1 ;
 4785   unsigned char retry_hwerror : 1 ;
 4786   unsigned char last_sector_bug : 1 ;
 4787   unsigned char no_read_disc_info : 1 ;
 4788   unsigned char no_read_capacity_16 : 1 ;
 4789   unsigned char is_visible : 1 ;
 4790   unsigned long supported_events[1U] ;
 4791   struct list_head event_list ;
 4792   struct work_struct event_work ;
 4793   unsigned int device_blocked ;
 4794   unsigned int max_device_blocked ;
 4795   atomic_t iorequest_cnt ;
 4796   atomic_t iodone_cnt ;
 4797   atomic_t ioerr_cnt ;
 4798   struct device sdev_gendev ;
 4799   struct device sdev_dev ;
 4800   struct execute_work ew ;
 4801   struct work_struct requeue_work ;
 4802   struct scsi_dh_data *scsi_dh_data ;
 4803   enum scsi_device_state sdev_state ;
 4804   unsigned long sdev_data[0U] ;
 4805};
 4806# 178 "include/scsi/scsi_device.h"
 4807struct scsi_dh_devlist {
 4808   char *vendor ;
 4809   char *model ;
 4810};
 4811# 185 "include/scsi/scsi_device.h"
 4812struct scsi_device_handler {
 4813   struct list_head list ;
 4814   int idx ;
 4815   struct module *module ;
 4816   char const *name ;
 4817   struct scsi_dh_devlist const *devlist ;
 4818   int (*check_sense)(struct scsi_device * , struct scsi_sense_hdr * ) ;
 4819   int (*attach)(struct scsi_device * ) ;
 4820   void (*detach)(struct scsi_device * ) ;
 4821   int (*activate)(struct scsi_device * , void (*)(void * , int ) , void * ) ;
 4822   int (*prep_fn)(struct scsi_device * , struct request * ) ;
 4823   int (*set_params)(struct scsi_device * , char const * ) ;
 4824};
 4825# 201 "include/scsi/scsi_device.h"
 4826struct scsi_dh_data {
 4827   struct scsi_device_handler *scsi_dh ;
 4828   struct scsi_device *sdev ;
 4829   struct kref kref ;
 4830   char buf[0U] ;
 4831};
 4832# 208 "include/scsi/scsi_device.h"
 4833enum scsi_target_state {
 4834    STARGET_CREATED = 1,
 4835    STARGET_RUNNING = 2,
 4836    STARGET_DEL = 3
 4837} ;
 4838# 214 "include/scsi/scsi_device.h"
 4839struct scsi_target {
 4840   struct scsi_device *starget_sdev_user ;
 4841   struct list_head siblings ;
 4842   struct list_head devices ;
 4843   struct device dev ;
 4844   unsigned int reap_ref ;
 4845   unsigned int channel ;
 4846   unsigned int id ;
 4847   unsigned char create : 1 ;
 4848   unsigned char single_lun : 1 ;
 4849   unsigned int pdt_1f_for_no_lun ;
 4850   unsigned int target_busy ;
 4851   unsigned int can_queue ;
 4852   unsigned int target_blocked ;
 4853   unsigned int max_target_blocked ;
 4854   char scsi_level ;
 4855   struct execute_work ew ;
 4856   enum scsi_target_state state ;
 4857   void *hostdata ;
 4858   unsigned long starget_data[0U] ;
 4859};
 4860# 473 "include/scsi/scsi_device.h"
 4861struct scsi_sense_hdr {
 4862   u8 response_code ;
 4863   u8 sense_key ;
 4864   u8 asc ;
 4865   u8 ascq ;
 4866   u8 byte4 ;
 4867   u8 byte5 ;
 4868   u8 byte6 ;
 4869   u8 additional_length ;
 4870};
 4871# 93 "include/scsi/scsi_eh.h"
 4872struct scsi_host_cmd_pool;
 4873# 93 "include/scsi/scsi_eh.h"
 4874struct scsi_host_cmd_pool;
 4875# 93 "include/scsi/scsi_eh.h"
 4876struct scsi_host_cmd_pool;
 4877# 94 "include/scsi/scsi_eh.h"
 4878struct scsi_transport_template;
 4879# 94 "include/scsi/scsi_eh.h"
 4880struct scsi_transport_template;
 4881# 94 "include/scsi/scsi_eh.h"
 4882struct scsi_transport_template;
 4883# 102 "include/scsi/scsi_eh.h"
 4884struct scsi_host_template {
 4885   struct module *module ;
 4886   char const *name ;
 4887   int (*detect)(struct scsi_host_template * ) ;
 4888   int (*release)(struct Scsi_Host * ) ;
 4889   char const *(*info)(struct Scsi_Host * ) ;
 4890   int (*ioctl)(struct scsi_device * , int , void * ) ;
 4891   int (*compat_ioctl)(struct scsi_device * , int , void * ) ;
 4892   int (*queuecommand)(struct Scsi_Host * , struct scsi_cmnd * ) ;
 4893   int (*transfer_response)(struct scsi_cmnd * , void (*)(struct scsi_cmnd * ) ) ;
 4894   int (*eh_abort_handler)(struct scsi_cmnd * ) ;
 4895   int (*eh_device_reset_handler)(struct scsi_cmnd * ) ;
 4896   int (*eh_target_reset_handler)(struct scsi_cmnd * ) ;
 4897   int (*eh_bus_reset_handler)(struct scsi_cmnd * ) ;
 4898   int (*eh_host_reset_handler)(struct scsi_cmnd * ) ;
 4899   int (*slave_alloc)(struct scsi_device * ) ;
 4900   int (*slave_configure)(struct scsi_device * ) ;
 4901   void (*slave_destroy)(struct scsi_device * ) ;
 4902   int (*target_alloc)(struct scsi_target * ) ;
 4903   void (*target_destroy)(struct scsi_target * ) ;
 4904   int (*scan_finished)(struct Scsi_Host * , unsigned long ) ;
 4905   void (*scan_start)(struct Scsi_Host * ) ;
 4906   int (*change_queue_depth)(struct scsi_device * , int , int ) ;
 4907   int (*change_queue_type)(struct scsi_device * , int ) ;
 4908   int (*bios_param)(struct scsi_device * , struct block_device * , sector_t , int * ) ;
 4909   void (*unlock_native_capacity)(struct scsi_device * ) ;
 4910   int (*proc_info)(struct Scsi_Host * , char * , char ** , off_t , int , int ) ;
 4911   enum blk_eh_timer_return (*eh_timed_out)(struct scsi_cmnd * ) ;
 4912   char const *proc_name ;
 4913   struct proc_dir_entry *proc_dir ;
 4914   int can_queue ;
 4915   int this_id ;
 4916   unsigned short sg_tablesize ;
 4917   unsigned short sg_prot_tablesize ;
 4918   unsigned short max_sectors ;
 4919   unsigned long dma_boundary ;
 4920   short cmd_per_lun ;
 4921   unsigned char present ;
 4922   unsigned char supported_mode : 2 ;
 4923   unsigned char unchecked_isa_dma : 1 ;
 4924   unsigned char use_clustering : 1 ;
 4925   unsigned char emulated : 1 ;
 4926   unsigned char skip_settle_delay : 1 ;
 4927   unsigned char ordered_tag : 1 ;
 4928   unsigned int max_host_blocked ;
 4929   struct device_attribute **shost_attrs ;
 4930   struct device_attribute **sdev_attrs ;
 4931   struct list_head legacy_hosts ;
 4932   u64 vendor_id ;
 4933};
 4934# 505 "include/scsi/scsi_host.h"
 4935enum scsi_host_state {
 4936    SHOST_CREATED = 1,
 4937    SHOST_RUNNING = 2,
 4938    SHOST_CANCEL = 3,
 4939    SHOST_DEL = 4,
 4940    SHOST_RECOVERY = 5,
 4941    SHOST_CANCEL_RECOVERY = 6,
 4942    SHOST_DEL_RECOVERY = 7
 4943} ;
 4944# 515 "include/scsi/scsi_host.h"
 4945struct Scsi_Host {
 4946   struct list_head __devices ;
 4947   struct list_head __targets ;
 4948   struct scsi_host_cmd_pool *cmd_pool ;
 4949   spinlock_t free_list_lock ;
 4950   struct list_head free_list ;
 4951   struct list_head starved_list ;
 4952   spinlock_t default_lock ;
 4953   spinlock_t *host_lock ;
 4954   struct mutex scan_mutex ;
 4955   struct list_head eh_cmd_q ;
 4956   struct task_struct *ehandler ;
 4957   struct completion *eh_action ;
 4958   wait_queue_head_t host_wait ;
 4959   struct scsi_host_template *hostt ;
 4960   struct scsi_transport_template *transportt ;
 4961   struct blk_queue_tag *bqt ;
 4962   unsigned int host_busy ;
 4963   unsigned int host_failed ;
 4964   unsigned int host_eh_scheduled ;
 4965   unsigned int host_no ;
 4966   int resetting ;
 4967   unsigned long last_reset ;
 4968   unsigned int max_id ;
 4969   unsigned int max_lun ;
 4970   unsigned int max_channel ;
 4971   unsigned int unique_id ;
 4972   unsigned short max_cmd_len ;
 4973   int this_id ;
 4974   int can_queue ;
 4975   short cmd_per_lun ;
 4976   unsigned short sg_tablesize ;
 4977   unsigned short sg_prot_tablesize ;
 4978   unsigned short max_sectors ;
 4979   unsigned long dma_boundary ;
 4980   unsigned long cmd_serial_number ;
 4981   unsigned char active_mode : 2 ;
 4982   unsigned char unchecked_isa_dma : 1 ;
 4983   unsigned char use_clustering : 1 ;
 4984   unsigned char use_blk_tcq : 1 ;
 4985   unsigned char host_self_blocked : 1 ;
 4986   unsigned char reverse_ordering : 1 ;
 4987   unsigned char ordered_tag : 1 ;
 4988   unsigned char tmf_in_progress : 1 ;
 4989   unsigned char async_scan : 1 ;
 4990   char work_q_name[20U] ;
 4991   struct workqueue_struct *work_q ;
 4992   unsigned int host_blocked ;
 4993   unsigned int max_host_blocked ;
 4994   unsigned int prot_capabilities ;
 4995   unsigned char prot_guard_type ;
 4996   struct request_queue *uspace_req_q ;
 4997   unsigned long base ;
 4998   unsigned long io_port ;
 4999   unsigned char n_io_port ;
 5000   unsigned char dma_channel ;
 5001   unsigned int irq ;
 5002   enum scsi_host_state shost_state ;
 5003   struct device shost_gendev ;
 5004   struct device shost_dev ;
 5005   struct list_head sht_legacy_list ;
 5006   void *shost_data ;
 5007   struct device *dma_dev ;
 5008   unsigned long hostdata[0U] ;
 5009};
 5010# 2 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/scsi_typedefs.h"
 5011typedef struct scsi_cmnd Scsi_Cmnd;
 5012# 3 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/scsi_typedefs.h"
 5013struct mbox_out {
 5014   u8 cmd ;
 5015   u8 cmdid ;
 5016   u16 numsectors ;
 5017   u32 lba ;
 5018   u32 xferaddr ;
 5019   u8 logdrv ;
 5020   u8 numsgelements ;
 5021   u8 resvd ;
 5022};
 5023# 133 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5024struct mbox_in {
 5025   u8 volatile busy ;
 5026   u8 volatile numstatus ;
 5027   u8 volatile status ;
 5028   u8 volatile completed[46U] ;
 5029   u8 volatile poll ;
 5030   u8 volatile ack ;
 5031};
 5032# 146 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5033struct __anonstruct_mbox_t_169 {
 5034   struct mbox_out m_out ;
 5035   struct mbox_in m_in ;
 5036};
 5037# 146 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5038typedef struct __anonstruct_mbox_t_169 mbox_t;
 5039# 152 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5040struct __anonstruct_mbox64_t_170 {
 5041   u32 xfer_segment_lo ;
 5042   u32 xfer_segment_hi ;
 5043   mbox_t mbox ;
 5044};
 5045# 152 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5046typedef struct __anonstruct_mbox64_t_170 mbox64_t;
 5047# 178 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5048struct __anonstruct_mega_passthru_171 {
 5049   unsigned char timeout : 3 ;
 5050   unsigned char ars : 1 ;
 5051   unsigned char reserved : 3 ;
 5052   unsigned char islogical : 1 ;
 5053   u8 logdrv ;
 5054   u8 channel ;
 5055   u8 target ;
 5056   u8 queuetag ;
 5057   u8 queueaction ;
 5058   u8 cdb[10U] ;
 5059   u8 cdblen ;
 5060   u8 reqsenselen ;
 5061   u8 reqsensearea[32U] ;
 5062   u8 numsgelements ;
 5063   u8 scsistatus ;
 5064   u32 dataxferaddr ;
 5065   u32 dataxferlen ;
 5066};
 5067# 178 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5068typedef struct __anonstruct_mega_passthru_171 mega_passthru;
 5069# 206 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5070struct __anonstruct_mega_ext_passthru_172 {
 5071   unsigned char timeout : 3 ;
 5072   unsigned char ars : 1 ;
 5073   unsigned char rsvd1 : 1 ;
 5074   unsigned char cd_rom : 1 ;
 5075   unsigned char rsvd2 : 1 ;
 5076   unsigned char islogical : 1 ;
 5077   u8 logdrv ;
 5078   u8 channel ;
 5079   u8 target ;
 5080   u8 queuetag ;
 5081   u8 queueaction ;
 5082   u8 cdblen ;
 5083   u8 rsvd3 ;
 5084   u8 cdb[16U] ;
 5085   u8 numsgelements ;
 5086   u8 status ;
 5087   u8 reqsenselen ;
 5088   u8 reqsensearea[32U] ;
 5089   u8 rsvd4 ;
 5090   u32 dataxferaddr ;
 5091   u32 dataxferlen ;
 5092};
 5093# 206 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5094typedef struct __anonstruct_mega_ext_passthru_172 mega_ext_passthru;
 5095# 211 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5096struct __anonstruct_mega_sgl64_173 {
 5097   u64 address ;
 5098   u32 length ;
 5099};
 5100# 211 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5101typedef struct __anonstruct_mega_sgl64_173 mega_sgl64;
 5102# 216 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5103struct __anonstruct_mega_sglist_174 {
 5104   u32 address ;
 5105   u32 length ;
 5106};
 5107# 216 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5108typedef struct __anonstruct_mega_sglist_174 mega_sglist;
 5109# 240 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5110struct __anonstruct_scb_t_175 {
 5111   int idx ;
 5112   u32 state ;
 5113   struct list_head list ;
 5114   u8 raw_mbox[66U] ;
 5115   u32 dma_type ;
 5116   u32 dma_direction ;
 5117   Scsi_Cmnd *cmd ;
 5118   dma_addr_t dma_h_bulkdata ;
 5119   dma_addr_t dma_h_sgdata ;
 5120   mega_sglist *sgl ;
 5121   mega_sgl64 *sgl64 ;
 5122   dma_addr_t sgl_dma_addr ;
 5123   mega_passthru *pthru ;
 5124   dma_addr_t pthru_dma_addr ;
 5125   mega_ext_passthru *epthru ;
 5126   dma_addr_t epthru_dma_addr ;
 5127};
 5128# 240 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5129typedef struct __anonstruct_scb_t_175 scb_t;
 5130# 281 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5131struct __anonstruct_mega_product_info_176 {
 5132   u32 data_size ;
 5133   u32 config_signature ;
 5134   u8 fw_version[16U] ;
 5135   u8 bios_version[16U] ;
 5136   u8 product_name[80U] ;
 5137   u8 max_commands ;
 5138   u8 nchannels ;
 5139   u8 fc_loop_present ;
 5140   u8 mem_type ;
 5141   u32 signature ;
 5142   u16 dram_size ;
 5143   u16 subsysid ;
 5144   u16 subsysvid ;
 5145   u8 notify_counters ;
 5146   u8 pad1k[889U] ;
 5147};
 5148# 281 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5149typedef struct __anonstruct_mega_product_info_176 mega_product_info;
 5150# 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5151struct notify {
 5152   u32 global_counter ;
 5153   u8 param_counter ;
 5154   u8 param_id ;
 5155   u16 param_val ;
 5156   u8 write_config_counter ;
 5157   u8 write_config_rsvd[3U] ;
 5158   u8 ldrv_op_counter ;
 5159   u8 ldrv_opid ;
 5160   u8 ldrv_opcmd ;
 5161   u8 ldrv_opstatus ;
 5162   u8 ldrv_state_counter ;
 5163   u8 ldrv_state_id ;
 5164   u8 ldrv_state_new ;
 5165   u8 ldrv_state_old ;
 5166   u8 pdrv_state_counter ;
 5167   u8 pdrv_state_id ;
 5168   u8 pdrv_state_new ;
 5169   u8 pdrv_state_old ;
 5170   u8 pdrv_fmt_counter ;
 5171   u8 pdrv_fmt_id ;
 5172   u8 pdrv_fmt_val ;
 5173   u8 pdrv_fmt_rsvd ;
 5174   u8 targ_xfer_counter ;
 5175   u8 targ_xfer_id ;
 5176   u8 targ_xfer_val ;
 5177   u8 targ_xfer_rsvd ;
 5178   u8 fcloop_id_chg_counter ;
 5179   u8 fcloopid_pdrvid ;
 5180   u8 fcloop_id0 ;
 5181   u8 fcloop_id1 ;
 5182   u8 fcloop_state_counter ;
 5183   u8 fcloop_state0 ;
 5184   u8 fcloop_state1 ;
 5185   u8 fcloop_state_rsvd ;
 5186};
 5187# 359 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5188struct __anonstruct_mega_inquiry3_177 {
 5189   u32 data_size ;
 5190   struct notify notify ;
 5191   u8 notify_rsvd[88U] ;
 5192   u8 rebuild_rate ;
 5193   u8 cache_flush_interval ;
 5194   u8 sense_alert ;
 5195   u8 drive_insert_count ;
 5196   u8 battery_status ;
 5197   u8 num_ldrv ;
 5198   u8 recon_state[5U] ;
 5199   u16 ldrv_op_status[5U] ;
 5200   u32 ldrv_size[40U] ;
 5201   u8 ldrv_prop[40U] ;
 5202   u8 ldrv_state[40U] ;
 5203   u8 pdrv_state[256U] ;
 5204   u16 pdrv_format[16U] ;
 5205   u8 targ_xfer[80U] ;
 5206   u8 pad1k[263U] ;
 5207};
 5208# 359 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5209typedef struct __anonstruct_mega_inquiry3_177 mega_inquiry3;
 5210# 395 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5211struct __anonstruct_mega_adp_info_178 {
 5212   u8 max_commands ;
 5213   u8 rebuild_rate ;
 5214   u8 max_targ_per_chan ;
 5215   u8 nchannels ;
 5216   u8 fw_version[4U] ;
 5217   u16 age_of_flash ;
 5218   u8 chip_set_value ;
 5219   u8 dram_size ;
 5220   u8 cache_flush_interval ;
 5221   u8 bios_version[4U] ;
 5222   u8 board_type ;
 5223   u8 sense_alert ;
 5224   u8 write_config_count ;
 5225   u8 drive_inserted_count ;
 5226   u8 inserted_drive ;
 5227   u8 battery_status ;
 5228   u8 dec_fault_bus_info ;
 5229};
 5230# 395 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5231typedef struct __anonstruct_mega_adp_info_178 mega_adp_info;
 5232# 404 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5233struct __anonstruct_mega_ldrv_info_179 {
 5234   u8 num_ldrv ;
 5235   u8 rsvd[3U] ;
 5236   u32 ldrv_size[8U] ;
 5237   u8 ldrv_prop[8U] ;
 5238   u8 ldrv_state[8U] ;
 5239};
 5240# 404 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5241typedef struct __anonstruct_mega_ldrv_info_179 mega_ldrv_info;
 5242# 409 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5243struct __anonstruct_mega_pdrv_info_180 {
 5244   u8 pdrv_state[75U] ;
 5245   u8 rsvd ;
 5246};
 5247# 409 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5248typedef struct __anonstruct_mega_pdrv_info_180 mega_pdrv_info;
 5249# 416 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5250struct __anonstruct_mraid_inquiry_181 {
 5251   mega_adp_info adapter_info ;
 5252   mega_ldrv_info logdrv_info ;
 5253   mega_pdrv_info pdrv_info ;
 5254};
 5255# 416 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5256typedef struct __anonstruct_mraid_inquiry_181 mraid_inquiry;
 5257# 426 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5258struct __anonstruct_mraid_ext_inquiry_182 {
 5259   mraid_inquiry raid_inq ;
 5260   u16 phys_drv_format[5U] ;
 5261   u8 stack_attn ;
 5262   u8 modem_status ;
 5263   u8 rsvd[2U] ;
 5264};
 5265# 426 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5266typedef struct __anonstruct_mraid_ext_inquiry_182 mraid_ext_inquiry;
 5267# 432 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5268struct __anonstruct_adp_device_183 {
 5269   u8 channel ;
 5270   u8 target ;
 5271};
 5272# 432 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5273typedef struct __anonstruct_adp_device_183 adp_device;
 5274# 438 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5275struct __anonstruct_adp_span_40ld_184 {
 5276   u32 start_blk ;
 5277   u32 num_blks ;
 5278   adp_device device[32U] ;
 5279};
 5280# 438 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5281typedef struct __anonstruct_adp_span_40ld_184 adp_span_40ld;
 5282# 444 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5283struct __anonstruct_adp_span_8ld_185 {
 5284   u32 start_blk ;
 5285   u32 num_blks ;
 5286   adp_device device[8U] ;
 5287};
 5288# 444 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5289typedef struct __anonstruct_adp_span_8ld_185 adp_span_8ld;
 5290# 456 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5291struct __anonstruct_logdrv_param_186 {
 5292   u8 span_depth ;
 5293   u8 level ;
 5294   u8 read_ahead ;
 5295   u8 stripe_sz ;
 5296   u8 status ;
 5297   u8 write_mode ;
 5298   u8 direct_io ;
 5299   u8 row_size ;
 5300};
 5301# 456 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5302typedef struct __anonstruct_logdrv_param_186 logdrv_param;
 5303# 461 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5304struct __anonstruct_logdrv_40ld_187 {
 5305   logdrv_param lparam ;
 5306   adp_span_40ld span[8U] ;
 5307};
 5308# 461 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5309typedef struct __anonstruct_logdrv_40ld_187 logdrv_40ld;
 5310# 466 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5311struct __anonstruct_logdrv_8ld_188 {
 5312   logdrv_param lparam ;
 5313   adp_span_8ld span[8U] ;
 5314};
 5315# 466 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5316typedef struct __anonstruct_logdrv_8ld_188 logdrv_8ld;
 5317# 475 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5318struct __anonstruct_phys_drv_189 {
 5319   u8 type ;
 5320   u8 cur_status ;
 5321   u8 tag_depth ;
 5322   u8 sync_neg ;
 5323   u32 size ;
 5324};
 5325# 475 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5326typedef struct __anonstruct_phys_drv_189 phys_drv;
 5327# 482 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5328struct __anonstruct_disk_array_40ld_190 {
 5329   u8 nlog_drives ;
 5330   u8 resvd[3U] ;
 5331   logdrv_40ld ldrv[40U] ;
 5332   phys_drv pdrv[75U] ;
 5333};
 5334# 482 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5335typedef struct __anonstruct_disk_array_40ld_190 disk_array_40ld;
 5336# 489 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5337struct __anonstruct_disk_array_8ld_191 {
 5338   u8 nlog_drives ;
 5339   u8 resvd[3U] ;
 5340   logdrv_8ld ldrv[8U] ;
 5341   phys_drv pdrv[75U] ;
 5342};
 5343# 489 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5344typedef struct __anonstruct_disk_array_8ld_191 disk_array_8ld;
 5345# 490 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5346struct __anonstruct_fcs_193 {
 5347   u8 opcode ;
 5348   u8 subopcode ;
 5349   u16 adapno ;
 5350   u8 *buffer ;
 5351   u32 length ;
 5352};
 5353# 490 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5354union __anonunion_ui_192 {
 5355   u8 fca[16U] ;
 5356   struct __anonstruct_fcs_193 fcs ;
 5357};
 5358# 490 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5359struct uioctl_t {
 5360   u32 inlen ;
 5361   u32 outlen ;
 5362   union __anonunion_ui_192 ui ;
 5363   u8 mbox[18U] ;
 5364   mega_passthru pthru ;
 5365   char *data ;
 5366};
 5367# 531 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5368struct mcontroller {
 5369   u64 base ;
 5370   u8 irq ;
 5371   u8 numldrv ;
 5372   u8 pcibus ;
 5373   u16 pcidev ;
 5374   u8 pcifun ;
 5375   u16 pciid ;
 5376   u16 pcivendor ;
 5377   u8 pcislot ;
 5378   u32 uid ;
 5379};
 5380# 569 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5381struct __anonstruct_megacmd_t_194 {
 5382   u8 cmd ;
 5383   u8 cmdid ;
 5384   u8 opcode ;
 5385   u8 subopcode ;
 5386   u32 lba ;
 5387   u32 xferaddr ;
 5388   u8 logdrv ;
 5389   u8 rsvd[3U] ;
 5390   u8 numstatus ;
 5391   u8 status ;
 5392};
 5393# 569 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5394typedef struct __anonstruct_megacmd_t_194 megacmd_t;
 5395# 636 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5396union __anonunion___ua_196 {
 5397   u8 __raw_mbox[18U] ;
 5398   void *__uaddr ;
 5399};
 5400# 636 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5401struct __anonstruct_nitioctl_t_195 {
 5402   char signature[8U] ;
 5403   u32 opcode ;
 5404   u32 adapno ;
 5405   union __anonunion___ua_196 __ua ;
 5406   u32 xferlen ;
 5407   u32 flags ;
 5408};
 5409# 636 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5410typedef struct __anonstruct_nitioctl_t_195 nitioctl_t;
 5411# 663 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5412struct __anonstruct_megastat_t_197 {
 5413   int num_ldrv ;
 5414   u32 nreads[40U] ;
 5415   u32 nreadblocks[40U] ;
 5416   u32 nwrites[40U] ;
 5417   u32 nwriteblocks[40U] ;
 5418   u32 rd_errors[40U] ;
 5419   u32 wr_errors[40U] ;
 5420};
 5421# 663 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5422typedef struct __anonstruct_megastat_t_197 megastat_t;
 5423# 662 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5424struct private_bios_data {
 5425   unsigned char geometry : 4 ;
 5426   unsigned char unused : 4 ;
 5427   u8 boot_drv ;
 5428   u8 rsvd[12U] ;
 5429   u16 cksum ;
 5430};
 5431# 899 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5432struct __anonstruct_adapter_t_198 {
 5433   int this_id ;
 5434   u32 flag ;
 5435   unsigned long base ;
 5436   void *mmio_base ;
 5437   mbox64_t *una_mbox64 ;
 5438   dma_addr_t una_mbox64_dma ;
 5439   mbox64_t volatile *mbox64 ;
 5440   mbox_t volatile *mbox ;
 5441   dma_addr_t mbox_dma ;
 5442   struct pci_dev *dev ;
 5443   struct list_head free_list ;
 5444   struct list_head pending_list ;
 5445   struct list_head completed_list ;
 5446   struct Scsi_Host *host ;
 5447   u8 *mega_buffer ;
 5448   dma_addr_t buf_dma_handle ;
 5449   mega_product_info product_info ;
 5450   u8 max_cmds ;
 5451   scb_t *scb_list ;
 5452   atomic_t pend_cmds ;
 5453   u8 numldrv ;
 5454   u8 fw_version[7U] ;
 5455   u8 bios_version[7U] ;
 5456   struct proc_dir_entry *controller_proc_dir_entry ;
 5457   struct proc_dir_entry *proc_read ;
 5458   struct proc_dir_entry *proc_stat ;
 5459   struct proc_dir_entry *proc_mbox ;
 5460   struct proc_dir_entry *proc_rr ;
 5461   struct proc_dir_entry *proc_battery ;
 5462   struct proc_dir_entry *proc_pdrvstat[4U] ;
 5463   struct proc_dir_entry *proc_rdrvstat[4U] ;
 5464   int has_64bit_addr ;
 5465   int support_ext_cdb ;
 5466   int boot_ldrv_enabled ;
 5467   int boot_ldrv ;
 5468   int boot_pdrv_enabled ;
 5469   int boot_pdrv_ch ;
 5470   int boot_pdrv_tgt ;
 5471   int support_random_del ;
 5472   int read_ldidmap ;
 5473   atomic_t quiescent ;
 5474   spinlock_t lock ;
 5475   u8 logdrv_chan[9U] ;
 5476   int mega_ch_class ;
 5477   u8 sglen ;
 5478   unsigned char int_cdb[16U] ;
 5479   scb_t int_scb ;
 5480   struct mutex int_mtx ;
 5481   struct completion int_waitq ;
 5482   int has_cluster ;
 5483};
 5484# 899 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5485typedef struct __anonstruct_adapter_t_198 adapter_t;
 5486# 900 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
 5487struct mega_hbas {
 5488   int is_bios_enabled ;
 5489   adapter_t *hostdata_addr ;
 5490};
 5491# 1 "<compiler builtins>"
 5492
 5493# 1 "<compiler builtins>"
 5494
 5495# 1 "<compiler builtins>"
 5496
 5497# 24 "include/linux/list.h"
 5498__inline static void INIT_LIST_HEAD(struct list_head *list )
 5499{
 5500
 5501  {
 5502# 26 "include/linux/list.h"
 5503  list->next = list;
 5504# 27 "include/linux/list.h"
 5505  list->prev = list;
 5506# 28 "include/linux/list.h"
 5507  return;
 5508}
 5509}
 5510# 47 "include/linux/list.h"
 5511extern void __list_add(struct list_head * , struct list_head * , struct list_head * ) ;
 5512# 60 "include/linux/list.h"
 5513__inline static void list_add(struct list_head *new , struct list_head *head )
 5514{
 5515
 5516  {
 5517  {
 5518# 62 "include/linux/list.h"
 5519  __list_add(new, head, head->next);
 5520  }
 5521# 63 "include/linux/list.h"
 5522  return;
 5523}
 5524}
 5525# 74 "include/linux/list.h"
 5526__inline static void list_add_tail(struct list_head *new , struct list_head *head )
 5527{
 5528
 5529  {
 5530  {
 5531# 76 "include/linux/list.h"
 5532  __list_add(new, head->prev, head);
 5533  }
 5534# 77 "include/linux/list.h"
 5535  return;
 5536}
 5537}
 5538# 111 "include/linux/list.h"
 5539extern void __list_del_entry(struct list_head * ) ;
 5540# 142 "include/linux/list.h"
 5541__inline static void list_del_init(struct list_head *entry )
 5542{
 5543
 5544  {
 5545  {
 5546# 144 "include/linux/list.h"
 5547  __list_del_entry(entry);
 5548# 145 "include/linux/list.h"
 5549  INIT_LIST_HEAD(entry);
 5550  }
 5551# 146 "include/linux/list.h"
 5552  return;
 5553}
 5554}
 5555# 186 "include/linux/list.h"
 5556__inline static int list_empty(struct list_head const *head )
 5557{
 5558
 5559  {
 5560# 188 "include/linux/list.h"
 5561  return ((unsigned long )((struct list_head const *)head->next) == (unsigned long )head);
 5562}
 5563}
 5564# 101 "include/linux/printk.h"
 5565extern int printk(char const * , ...) ;
 5566# 64 "include/asm-generic/bug.h"
 5567extern void warn_slowpath_fmt(char const * , int const , char const * , ...) ;
 5568# 69 "include/asm-generic/bug.h"
 5569extern void warn_slowpath_null(char const * , int const ) ;
 5570# 125 "include/linux/kernel.h"
 5571extern void __might_sleep(char const * , int , int ) ;
 5572# 170 "include/linux/kernel.h"
 5573extern void might_fault(void) ;
 5574# 291 "include/linux/kernel.h"
 5575extern int sprintf(char * , char const * , ...) ;
 5576# 61 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_64_types.h"
 5577extern unsigned long __phys_addr(unsigned long ) ;
 5578# 88 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/percpu.h"
 5579extern void __bad_percpu_size(void) ;
 5580# 348 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
 5581extern struct pv_cpu_ops pv_cpu_ops ;
 5582# 349 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
 5583extern struct pv_irq_ops pv_irq_ops ;
 5584# 34 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 5585extern void *__memcpy(void * , void const * , size_t ) ;
 5586# 55 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 5587extern void *memset(void * , int , size_t ) ;
 5588# 60 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 5589extern int memcmp(void const * , void const * , size_t ) ;
 5590# 63 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 5591extern char *strcat(char * , char const * ) ;
 5592# 64 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 5593extern int strcmp(char const * , char const * ) ;
 5594# 339 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5595__inline static void slow_down_io(void)
 5596{
 5597
 5598  {
 5599  {
 5600# 341 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5601  (*(pv_cpu_ops.io_delay))();
 5602  }
 5603# 342 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5604  return;
 5605}
 5606}
 5607# 851 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5608__inline static unsigned long arch_local_save_flags(void)
 5609{ unsigned long __ret ;
 5610  unsigned long __edi ;
 5611  unsigned long __esi ;
 5612  unsigned long __edx ;
 5613  unsigned long __ecx ;
 5614  unsigned long __eax ;
 5615  long tmp ;
 5616
 5617  {
 5618  {
 5619# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5620  __edi = __edi;
 5621# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5622  __esi = __esi;
 5623# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5624  __edx = __edx;
 5625# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5626  __ecx = __ecx;
 5627# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5628  __eax = __eax;
 5629# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5630  tmp = __builtin_expect((long )((unsigned long )pv_irq_ops.save_fl.func == (unsigned long )((void *)0)),
 5631                         0L);
 5632  }
 5633# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5634  if (tmp != 0L) {
 5635# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5636    __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"),
 5637                         "i" (853), "i" (12UL));
 5638    ldv_4705: ;
 5639# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5640    goto ldv_4705;
 5641  } else {
 5642
 5643  }
 5644# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5645  __asm__ volatile ("771:\n\tcall *%c2;\n772:\n.pushsection .parainstructions,\"a\"\n .balign 8 \n .quad  771b\n  .byte %c1\n  .byte 772b-771b\n  .short %c3\n.popsection\n": "=a" (__eax): [paravirt_typenum] "i" (46UL),
 5646                       [paravirt_opptr] "i" (& pv_irq_ops.save_fl.func), [paravirt_clobber] "i" (1): "memory",
 5647                       "cc");
 5648# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5649  __ret = __eax;
 5650# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
 5651  return (__ret);
 5652}
 5653}
 5654# 154 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/irqflags.h"
 5655__inline static int arch_irqs_disabled_flags(unsigned long flags )
 5656{
 5657
 5658  {
 5659# 156 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/irqflags.h"
 5660  return ((flags & 512UL) == 0UL);
 5661}
 5662}
 5663# 702 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
 5664__inline static void rep_nop(void)
 5665{
 5666
 5667  {
 5668# 704 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
 5669  __asm__ volatile ("rep; nop": : : "memory");
 5670# 705 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
 5671  return;
 5672}
 5673}
 5674# 707 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
 5675__inline static void cpu_relax(void)
 5676{
 5677
 5678  {
 5679  {
 5680# 709 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
 5681  rep_nop();
 5682  }
 5683# 710 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
 5684  return;
 5685}
 5686}
 5687# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5688__inline static int atomic_read(atomic_t const *v )
 5689{
 5690
 5691  {
 5692# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5693  return ((int )*((int volatile *)(& v->counter)));
 5694}
 5695}
 5696# 35 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5697__inline static void atomic_set(atomic_t *v , int i )
 5698{
 5699
 5700  {
 5701# 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5702  v->counter = i;
 5703# 38 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5704  return;
 5705}
 5706}
 5707# 61 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5708__inline static void atomic_sub(int i , atomic_t *v )
 5709{
 5710
 5711  {
 5712# 63 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5713  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; subl %1,%0": "+m" (v->counter): "ir" (i));
 5714# 65 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5715  return;
 5716}
 5717}
 5718# 93 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5719__inline static void atomic_inc(atomic_t *v )
 5720{
 5721
 5722  {
 5723# 95 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5724  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; incl %0": "+m" (v->counter));
 5725# 97 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 5726  return;
 5727}
 5728}
 5729# 217 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5730extern unsigned long kernel_stack ;
 5731# 219 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5732__inline static struct thread_info *current_thread_info(void)
 5733{ struct thread_info *ti ;
 5734  unsigned long pfo_ret__ ;
 5735
 5736  {
 5737# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5738  if (1) {
 5739# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5740    goto case_8;
 5741  } else {
 5742# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5743    goto switch_default;
 5744# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5745    if (0) {
 5746# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5747      __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& kernel_stack));
 5748# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5749      goto ldv_5782;
 5750# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5751      __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 5752# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5753      goto ldv_5782;
 5754# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5755      __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 5756# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5757      goto ldv_5782;
 5758      case_8:
 5759# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5760      __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 5761# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5762      goto ldv_5782;
 5763      switch_default:
 5764      {
 5765# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5766      __bad_percpu_size();
 5767      }
 5768    } else {
 5769
 5770    }
 5771  }
 5772  ldv_5782:
 5773# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5774  ti = (struct thread_info *)(pfo_ret__ - 8152UL);
 5775# 224 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5776  return (ti);
 5777}
 5778}
 5779# 93 "include/linux/spinlock.h"
 5780extern void __raw_spin_lock_init(raw_spinlock_t * , char const * , struct lock_class_key * ) ;
 5781# 29 "include/linux/spinlock_api_smp.h"
 5782extern void _raw_spin_lock_irq(raw_spinlock_t * ) ;
 5783# 32 "include/linux/spinlock_api_smp.h"
 5784extern unsigned long _raw_spin_lock_irqsave(raw_spinlock_t * ) ;
 5785# 41 "include/linux/spinlock_api_smp.h"
 5786extern void _raw_spin_unlock_irq(raw_spinlock_t * ) ;
 5787# 43 "include/linux/spinlock_api_smp.h"
 5788extern void _raw_spin_unlock_irqrestore(raw_spinlock_t * , unsigned long ) ;
 5789# 272 "include/linux/spinlock.h"
 5790__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock )
 5791{
 5792
 5793  {
 5794# 274 "include/linux/spinlock.h"
 5795  return (& lock->ldv_6060.rlock);
 5796}
 5797}
 5798# 308 "include/linux/spinlock.h"
 5799__inline static void spin_lock_irq(spinlock_t *lock )
 5800{
 5801
 5802  {
 5803  {
 5804# 310 "include/linux/spinlock.h"
 5805  _raw_spin_lock_irq(& lock->ldv_6060.rlock);
 5806  }
 5807# 311 "include/linux/spinlock.h"
 5808  return;
 5809}
 5810}
 5811# 333 "include/linux/spinlock.h"
 5812__inline static void spin_unlock_irq(spinlock_t *lock )
 5813{
 5814
 5815  {
 5816  {
 5817# 335 "include/linux/spinlock.h"
 5818  _raw_spin_unlock_irq(& lock->ldv_6060.rlock);
 5819  }
 5820# 336 "include/linux/spinlock.h"
 5821  return;
 5822}
 5823}
 5824# 338 "include/linux/spinlock.h"
 5825__inline static void spin_unlock_irqrestore(spinlock_t *lock , unsigned long flags )
 5826{
 5827
 5828  {
 5829  {
 5830# 340 "include/linux/spinlock.h"
 5831  _raw_spin_unlock_irqrestore(& lock->ldv_6060.rlock, flags);
 5832  }
 5833# 341 "include/linux/spinlock.h"
 5834  return;
 5835}
 5836}
 5837# 80 "include/linux/wait.h"
 5838extern void __init_waitqueue_head(wait_queue_head_t * , struct lock_class_key * ) ;
 5839# 115 "include/linux/mutex.h"
 5840extern void __mutex_init(struct mutex * , char const * , struct lock_class_key * ) ;
 5841# 134 "include/linux/mutex.h"
 5842extern void mutex_lock_nested(struct mutex * , unsigned int ) ;
 5843# 169 "include/linux/mutex.h"
 5844extern void mutex_unlock(struct mutex * ) ;
 5845# 113 "include/linux/ioport.h"
 5846extern struct resource ioport_resource ;
 5847# 114 "include/linux/ioport.h"
 5848extern struct resource iomem_resource ;
 5849# 156 "include/linux/ioport.h"
 5850extern struct resource *__request_region(struct resource * , resource_size_t , resource_size_t ,
 5851                                         char const * , int ) ;
 5852# 167 "include/linux/ioport.h"
 5853extern void __release_region(struct resource * , resource_size_t , resource_size_t ) ;
 5854# 73 "include/linux/completion.h"
 5855__inline static void init_completion(struct completion *x )
 5856{ struct lock_class_key __key ;
 5857
 5858  {
 5859  {
 5860# 75 "include/linux/completion.h"
 5861  x->done = 0U;
 5862# 76 "include/linux/completion.h"
 5863  __init_waitqueue_head(& x->wait, & __key);
 5864  }
 5865# 78 "include/linux/completion.h"
 5866  return;
 5867}
 5868}
 5869# 79 "include/linux/completion.h"
 5870extern void wait_for_completion(struct completion * ) ;
 5871# 91 "include/linux/completion.h"
 5872extern void complete(struct completion * ) ;
 5873# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5874__inline static unsigned int readl(void const volatile *addr )
 5875{ unsigned int ret ;
 5876
 5877  {
 5878# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5879  __asm__ volatile ("movl %1,%0": "=r" (ret): "m" (*((unsigned int volatile *)addr)): "memory");
 5880# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5881  return (ret);
 5882}
 5883}
 5884# 65 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5885__inline static void writel(unsigned int val , void volatile *addr )
 5886{
 5887
 5888  {
 5889# 65 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5890  __asm__ volatile ("movl %0,%1": : "r" (val), "m" (*((unsigned int volatile *)addr)): "memory");
 5891# 66 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5892  return;
 5893}
 5894}
 5895# 176 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5896extern void *ioremap_nocache(resource_size_t , unsigned long ) ;
 5897# 184 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5898__inline static void *ioremap(resource_size_t offset , unsigned long size )
 5899{ void *tmp ;
 5900
 5901  {
 5902  {
 5903# 186 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5904  tmp = ioremap_nocache(offset, size);
 5905  }
 5906# 186 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5907  return (tmp);
 5908}
 5909}
 5910# 189 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5911extern void iounmap(void volatile * ) ;
 5912# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5913__inline static void outb(unsigned char value , int port )
 5914{
 5915
 5916  {
 5917# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5918  __asm__ volatile ("outb %b0, %w1": : "a" (value), "Nd" (port));
 5919# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5920  return;
 5921}
 5922}
 5923# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5924__inline static unsigned char inb(int port )
 5925{ unsigned char value ;
 5926
 5927  {
 5928# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5929  __asm__ volatile ("inb %w1, %b0": "=a" (value): "Nd" (port));
 5930# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5931  return (value);
 5932}
 5933}
 5934# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5935__inline static void outb_p(unsigned char value , int port )
 5936{
 5937
 5938  {
 5939  {
 5940# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5941  outb((unsigned char )((int )value), port);
 5942# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5943  slow_down_io();
 5944  }
 5945# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5946  return;
 5947}
 5948}
 5949# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5950__inline static unsigned char inb_p(int port )
 5951{ unsigned char value ;
 5952  unsigned char tmp ;
 5953
 5954  {
 5955  {
 5956# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5957  tmp = inb(port);
 5958# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5959  value = tmp;
 5960# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5961  slow_down_io();
 5962  }
 5963# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
 5964  return (value);
 5965}
 5966}
 5967# 830 "include/linux/rcupdate.h"
 5968extern void kfree(void const * ) ;
 5969# 99 "include/linux/module.h"
 5970extern struct module __this_module ;
 5971# 3 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
 5972int ldv_try_module_get(struct module *module ) ;
 5973# 4 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
 5974void ldv_module_get(struct module *module ) ;
 5975# 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
 5976void ldv_module_put(struct module *module ) ;
 5977# 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
 5978unsigned int ldv_module_refcount(void) ;
 5979# 7 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
 5980void ldv_module_put_and_exit(void) ;
 5981# 720 "include/linux/mm.h"
 5982__inline static void *lowmem_page_address(struct page *page )
 5983{
 5984
 5985  {
 5986# 722 "include/linux/mm.h"
 5987  return ((void *)((unsigned long )((unsigned long long )(((long )page + 24189255811072L) / 56L) << 12) + 0x0fff880000000000UL));
 5988}
 5989}
 5990# 546 "include/linux/capability.h"
 5991extern bool capable(int ) ;
 5992# 2089 "include/linux/fs.h"
 5993extern int __register_chrdev(unsigned int , unsigned int , unsigned int , char const * ,
 5994                             struct file_operations const * ) ;
 5995# 2092 "include/linux/fs.h"
 5996extern void __unregister_chrdev(unsigned int , unsigned int , unsigned int , char const * ) ;
 5997# 2097 "include/linux/fs.h"
 5998__inline static int register_chrdev(unsigned int major , char const *name , struct file_operations const *fops )
 5999{ int tmp ;
 6000
 6001  {
 6002  {
 6003# 2100 "include/linux/fs.h"
 6004  tmp = __register_chrdev(major, 0U, 256U, name, fops);
 6005  }
 6006# 2100 "include/linux/fs.h"
 6007  return (tmp);
 6008}
 6009}
 6010# 2103 "include/linux/fs.h"
 6011__inline static void unregister_chrdev(unsigned int major , char const *name )
 6012{
 6013
 6014  {
 6015  {
 6016# 2105 "include/linux/fs.h"
 6017  __unregister_chrdev(major, 0U, 256U, name);
 6018  }
 6019# 2106 "include/linux/fs.h"
 6020  return;
 6021}
 6022}
 6023# 2336 "include/linux/fs.h"
 6024extern loff_t noop_llseek(struct file * , loff_t , int ) ;
 6025# 2504 "include/linux/sched.h"
 6026extern int _cond_resched(void) ;
 6027# 221 "include/linux/slub_def.h"
 6028extern void *__kmalloc(size_t , gfp_t ) ;
 6029# 255 "include/linux/slub_def.h"
 6030__inline static void *kmalloc(size_t size , gfp_t flags )
 6031{ void *tmp___2 ;
 6032
 6033  {
 6034  {
 6035# 270 "include/linux/slub_def.h"
 6036  tmp___2 = __kmalloc(size, flags);
 6037  }
 6038# 270 "include/linux/slub_def.h"
 6039  return (tmp___2);
 6040}
 6041}
 6042# 318 "include/linux/slab.h"
 6043__inline static void *kzalloc(size_t size , gfp_t flags )
 6044{ void *tmp ;
 6045
 6046  {
 6047  {
 6048# 320 "include/linux/slab.h"
 6049  tmp = kmalloc(size, flags | 32768U);
 6050  }
 6051# 320 "include/linux/slab.h"
 6052  return (tmp);
 6053}
 6054}
 6055# 705 "include/linux/device.h"
 6056extern void *dev_get_drvdata(struct device const * ) ;
 6057# 706 "include/linux/device.h"
 6058extern int dev_set_drvdata(struct device * , void * ) ;
 6059# 40 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6060extern unsigned long _copy_to_user(void * , void const * , unsigned int ) ;
 6061# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6062extern unsigned long _copy_from_user(void * , void const * , unsigned int ) ;
 6063# 46 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6064__inline static unsigned long copy_from_user(void *to , void const *from , unsigned long n )
 6065{ int sz ;
 6066  unsigned long tmp ;
 6067  int __ret_warn_on ;
 6068  long tmp___0 ;
 6069  long tmp___1 ;
 6070  long tmp___2 ;
 6071
 6072  {
 6073  {
 6074# 50 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6075  tmp = __builtin_object_size((void *)((void const *)to), 0);
 6076# 50 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6077  sz = (int )tmp;
 6078# 52 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6079  might_fault();
 6080# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6081  tmp___1 = __builtin_expect((long )(sz == -1), 1L);
 6082  }
 6083# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6084  if (tmp___1 != 0L) {
 6085    {
 6086# 54 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6087    n = _copy_from_user(to, from, (unsigned int )n);
 6088    }
 6089  } else {
 6090    {
 6091# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6092    tmp___2 = __builtin_expect((long )((unsigned long )sz >= n), 1L);
 6093    }
 6094# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6095    if (tmp___2 != 0L) {
 6096      {
 6097# 54 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6098      n = _copy_from_user(to, from, (unsigned int )n);
 6099      }
 6100    } else {
 6101      {
 6102# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6103      __ret_warn_on = 1;
 6104# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6105      tmp___0 = __builtin_expect((long )(__ret_warn_on != 0), 0L);
 6106      }
 6107# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6108      if (tmp___0 != 0L) {
 6109        {
 6110# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 6111        warn_slowpath_fmt("/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h",
 6112                          (int const )57, "Buffer overflow detected!\n");
 6113        }
 6114      } else {
 6115
 6116      }
 6117      {
 6118<