Showing error 207

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