Showing error 141

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/usb_urb-drivers-scsi-dc395x.ko_safe.cil.out.i.pp.cil.c
Line in file: 27948
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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