Showing error 127

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