Showing error 85

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


Source:

    1/* Generated by CIL v. 1.3.7 */
    2/* print_CIL_Input is true */
    3
    4#line 19 "include/asm-generic/int-ll64.h"
    5typedef signed char __s8;
    6#line 20 "include/asm-generic/int-ll64.h"
    7typedef unsigned char __u8;
    8#line 22 "include/asm-generic/int-ll64.h"
    9typedef short __s16;
   10#line 23 "include/asm-generic/int-ll64.h"
   11typedef unsigned short __u16;
   12#line 25 "include/asm-generic/int-ll64.h"
   13typedef int __s32;
   14#line 26 "include/asm-generic/int-ll64.h"
   15typedef unsigned int __u32;
   16#line 29 "include/asm-generic/int-ll64.h"
   17typedef long long __s64;
   18#line 30 "include/asm-generic/int-ll64.h"
   19typedef unsigned long long __u64;
   20#line 43 "include/asm-generic/int-ll64.h"
   21typedef unsigned char u8;
   22#line 46 "include/asm-generic/int-ll64.h"
   23typedef unsigned short u16;
   24#line 48 "include/asm-generic/int-ll64.h"
   25typedef int s32;
   26#line 49 "include/asm-generic/int-ll64.h"
   27typedef unsigned int u32;
   28#line 51 "include/asm-generic/int-ll64.h"
   29typedef long long s64;
   30#line 52 "include/asm-generic/int-ll64.h"
   31typedef unsigned long long u64;
   32#line 11 "include/asm-generic/types.h"
   33typedef unsigned short umode_t;
   34#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   35typedef unsigned int __kernel_mode_t;
   36#line 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   37typedef unsigned long __kernel_nlink_t;
   38#line 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   39typedef long __kernel_off_t;
   40#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   41typedef int __kernel_pid_t;
   42#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   43typedef unsigned int __kernel_uid_t;
   44#line 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   45typedef unsigned int __kernel_gid_t;
   46#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   47typedef unsigned long __kernel_size_t;
   48#line 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   49typedef long __kernel_ssize_t;
   50#line 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   51typedef long __kernel_time_t;
   52#line 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   53typedef long __kernel_clock_t;
   54#line 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   55typedef int __kernel_timer_t;
   56#line 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   57typedef int __kernel_clockid_t;
   58#line 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   59typedef long long __kernel_loff_t;
   60#line 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   61typedef __kernel_uid_t __kernel_uid32_t;
   62#line 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   63typedef __kernel_gid_t __kernel_gid32_t;
   64#line 21 "include/linux/types.h"
   65typedef __u32 __kernel_dev_t;
   66#line 24 "include/linux/types.h"
   67typedef __kernel_dev_t dev_t;
   68#line 26 "include/linux/types.h"
   69typedef __kernel_mode_t mode_t;
   70#line 27 "include/linux/types.h"
   71typedef __kernel_nlink_t nlink_t;
   72#line 28 "include/linux/types.h"
   73typedef __kernel_off_t off_t;
   74#line 29 "include/linux/types.h"
   75typedef __kernel_pid_t pid_t;
   76#line 34 "include/linux/types.h"
   77typedef __kernel_clockid_t clockid_t;
   78#line 37 "include/linux/types.h"
   79typedef _Bool bool;
   80#line 39 "include/linux/types.h"
   81typedef __kernel_uid32_t uid_t;
   82#line 40 "include/linux/types.h"
   83typedef __kernel_gid32_t gid_t;
   84#line 53 "include/linux/types.h"
   85typedef __kernel_loff_t loff_t;
   86#line 62 "include/linux/types.h"
   87typedef __kernel_size_t size_t;
   88#line 67 "include/linux/types.h"
   89typedef __kernel_ssize_t ssize_t;
   90#line 77 "include/linux/types.h"
   91typedef __kernel_time_t time_t;
   92#line 100 "include/linux/types.h"
   93typedef unsigned long ulong;
   94#line 110 "include/linux/types.h"
   95typedef __s32 int32_t;
   96#line 116 "include/linux/types.h"
   97typedef __u32 uint32_t;
   98#line 141 "include/linux/types.h"
   99typedef unsigned long sector_t;
  100#line 142 "include/linux/types.h"
  101typedef unsigned long blkcnt_t;
  102#line 154 "include/linux/types.h"
  103typedef u64 dma_addr_t;
  104#line 177 "include/linux/types.h"
  105typedef __u16 __le16;
  106#line 178 "include/linux/types.h"
  107typedef __u16 __be16;
  108#line 180 "include/linux/types.h"
  109typedef __u32 __be32;
  110#line 185 "include/linux/types.h"
  111typedef __u32 __wsum;
  112#line 201 "include/linux/types.h"
  113typedef unsigned int gfp_t;
  114#line 202 "include/linux/types.h"
  115typedef unsigned int fmode_t;
  116#line 214 "include/linux/types.h"
  117struct __anonstruct_atomic_t_6 {
  118   int counter ;
  119};
  120#line 214 "include/linux/types.h"
  121typedef struct __anonstruct_atomic_t_6 atomic_t;
  122#line 219 "include/linux/types.h"
  123struct __anonstruct_atomic64_t_7 {
  124   long counter ;
  125};
  126#line 219 "include/linux/types.h"
  127typedef struct __anonstruct_atomic64_t_7 atomic64_t;
  128#line 220 "include/linux/types.h"
  129struct list_head {
  130   struct list_head *next ;
  131   struct list_head *prev ;
  132};
  133#line 225
  134struct hlist_node;
  135#line 225
  136struct hlist_node;
  137#line 225 "include/linux/types.h"
  138struct hlist_head {
  139   struct hlist_node *first ;
  140};
  141#line 229 "include/linux/types.h"
  142struct hlist_node {
  143   struct hlist_node *next ;
  144   struct hlist_node **pprev ;
  145};
  146#line 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  147struct module;
  148#line 58
  149struct module;
  150#line 145 "include/linux/init.h"
  151typedef void (*ctor_fn_t)(void);
  152#line 10 "include/linux/dynamic_debug.h"
  153struct _ddebug {
  154   char const   *modname ;
  155   char const   *function ;
  156   char const   *filename ;
  157   char const   *format ;
  158   unsigned int lineno : 24 ;
  159   unsigned char flags ;
  160   char enabled ;
  161};
  162#line 48 "include/linux/dynamic_debug.h"
  163struct bug_entry {
  164   int bug_addr_disp ;
  165   int file_disp ;
  166   unsigned short line ;
  167   unsigned short flags ;
  168};
  169#line 70 "include/asm-generic/bug.h"
  170struct completion;
  171#line 70
  172struct completion;
  173#line 71
  174struct pt_regs;
  175#line 71
  176struct pt_regs;
  177#line 321 "include/linux/kernel.h"
  178struct pid;
  179#line 321
  180struct pid;
  181#line 671
  182struct timespec;
  183#line 671
  184struct timespec;
  185#line 672
  186struct compat_timespec;
  187#line 672
  188struct compat_timespec;
  189#line 673 "include/linux/kernel.h"
  190struct __anonstruct_futex_9 {
  191   u32 *uaddr ;
  192   u32 val ;
  193   u32 flags ;
  194   u32 bitset ;
  195   u64 time ;
  196   u32 *uaddr2 ;
  197};
  198#line 673 "include/linux/kernel.h"
  199struct __anonstruct_nanosleep_10 {
  200   clockid_t clockid ;
  201   struct timespec *rmtp ;
  202   struct compat_timespec *compat_rmtp ;
  203   u64 expires ;
  204};
  205#line 673
  206struct pollfd;
  207#line 673
  208struct pollfd;
  209#line 673 "include/linux/kernel.h"
  210struct __anonstruct_poll_11 {
  211   struct pollfd *ufds ;
  212   int nfds ;
  213   int has_timeout ;
  214   unsigned long tv_sec ;
  215   unsigned long tv_nsec ;
  216};
  217#line 673 "include/linux/kernel.h"
  218union __anonunion_ldv_2052_8 {
  219   struct __anonstruct_futex_9 futex ;
  220   struct __anonstruct_nanosleep_10 nanosleep ;
  221   struct __anonstruct_poll_11 poll ;
  222};
  223#line 673 "include/linux/kernel.h"
  224struct restart_block {
  225   long (*fn)(struct restart_block * ) ;
  226   union __anonunion_ldv_2052_8 ldv_2052 ;
  227};
  228#line 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  229struct page;
  230#line 59
  231struct page;
  232#line 21 "include/asm-generic/getorder.h"
  233struct task_struct;
  234#line 21
  235struct task_struct;
  236#line 22
  237struct exec_domain;
  238#line 22
  239struct exec_domain;
  240#line 23
  241struct mm_struct;
  242#line 23
  243struct mm_struct;
  244#line 215 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/segment.h"
  245struct pt_regs {
  246   unsigned long r15 ;
  247   unsigned long r14 ;
  248   unsigned long r13 ;
  249   unsigned long r12 ;
  250   unsigned long bp ;
  251   unsigned long bx ;
  252   unsigned long r11 ;
  253   unsigned long r10 ;
  254   unsigned long r9 ;
  255   unsigned long r8 ;
  256   unsigned long ax ;
  257   unsigned long cx ;
  258   unsigned long dx ;
  259   unsigned long si ;
  260   unsigned long di ;
  261   unsigned long orig_ax ;
  262   unsigned long ip ;
  263   unsigned long cs ;
  264   unsigned long flags ;
  265   unsigned long sp ;
  266   unsigned long ss ;
  267};
  268#line 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
  269struct kernel_vm86_regs {
  270   struct pt_regs pt ;
  271   unsigned short es ;
  272   unsigned short __esh ;
  273   unsigned short ds ;
  274   unsigned short __dsh ;
  275   unsigned short fs ;
  276   unsigned short __fsh ;
  277   unsigned short gs ;
  278   unsigned short __gsh ;
  279};
  280#line 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
  281union __anonunion_ldv_2292_12 {
  282   struct pt_regs *regs ;
  283   struct kernel_vm86_regs *vm86 ;
  284};
  285#line 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
  286struct math_emu_info {
  287   long ___orig_eip ;
  288   union __anonunion_ldv_2292_12 ldv_2292 ;
  289};
  290#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"
  291typedef unsigned long pgdval_t;
  292#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"
  293typedef unsigned long pgprotval_t;
  294#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  295struct pgprot {
  296   pgprotval_t pgprot ;
  297};
  298#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  299typedef struct pgprot pgprot_t;
  300#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  301struct __anonstruct_pgd_t_15 {
  302   pgdval_t pgd ;
  303};
  304#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  305typedef struct __anonstruct_pgd_t_15 pgd_t;
  306#line 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  307typedef struct page *pgtable_t;
  308#line 288
  309struct file;
  310#line 288
  311struct file;
  312#line 303
  313struct seq_file;
  314#line 303
  315struct seq_file;
  316#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  317struct __anonstruct_ldv_2526_19 {
  318   unsigned int a ;
  319   unsigned int b ;
  320};
  321#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  322struct __anonstruct_ldv_2541_20 {
  323   u16 limit0 ;
  324   u16 base0 ;
  325   unsigned char base1 ;
  326   unsigned char type : 4 ;
  327   unsigned char s : 1 ;
  328   unsigned char dpl : 2 ;
  329   unsigned char p : 1 ;
  330   unsigned char limit : 4 ;
  331   unsigned char avl : 1 ;
  332   unsigned char l : 1 ;
  333   unsigned char d : 1 ;
  334   unsigned char g : 1 ;
  335   unsigned char base2 ;
  336};
  337#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  338union __anonunion_ldv_2542_18 {
  339   struct __anonstruct_ldv_2526_19 ldv_2526 ;
  340   struct __anonstruct_ldv_2541_20 ldv_2541 ;
  341};
  342#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  343struct desc_struct {
  344   union __anonunion_ldv_2542_18 ldv_2542 ;
  345};
  346#line 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  347struct thread_struct;
  348#line 122
  349struct thread_struct;
  350#line 124
  351struct cpumask;
  352#line 124
  353struct cpumask;
  354#line 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  355struct arch_spinlock;
  356#line 320
  357struct arch_spinlock;
  358#line 304 "include/linux/bitmap.h"
  359struct cpumask {
  360   unsigned long bits[64U] ;
  361};
  362#line 13 "include/linux/cpumask.h"
  363typedef struct cpumask cpumask_t;
  364#line 622 "include/linux/cpumask.h"
  365typedef struct cpumask *cpumask_var_t;
  366#line 90 "include/linux/personality.h"
  367struct map_segment;
  368#line 90
  369struct map_segment;
  370#line 90 "include/linux/personality.h"
  371struct exec_domain {
  372   char const   *name ;
  373   void (*handler)(int  , struct pt_regs * ) ;
  374   unsigned char pers_low ;
  375   unsigned char pers_high ;
  376   unsigned long *signal_map ;
  377   unsigned long *signal_invmap ;
  378   struct map_segment *err_map ;
  379   struct map_segment *socktype_map ;
  380   struct map_segment *sockopt_map ;
  381   struct map_segment *af_map ;
  382   struct module *module ;
  383   struct exec_domain *next ;
  384};
  385#line 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  386struct seq_operations;
  387#line 145
  388struct seq_operations;
  389#line 277 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  390struct i387_fsave_struct {
  391   u32 cwd ;
  392   u32 swd ;
  393   u32 twd ;
  394   u32 fip ;
  395   u32 fcs ;
  396   u32 foo ;
  397   u32 fos ;
  398   u32 st_space[20U] ;
  399   u32 status ;
  400};
  401#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  402struct __anonstruct_ldv_5171_24 {
  403   u64 rip ;
  404   u64 rdp ;
  405};
  406#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  407struct __anonstruct_ldv_5177_25 {
  408   u32 fip ;
  409   u32 fcs ;
  410   u32 foo ;
  411   u32 fos ;
  412};
  413#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  414union __anonunion_ldv_5178_23 {
  415   struct __anonstruct_ldv_5171_24 ldv_5171 ;
  416   struct __anonstruct_ldv_5177_25 ldv_5177 ;
  417};
  418#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  419union __anonunion_ldv_5187_26 {
  420   u32 padding1[12U] ;
  421   u32 sw_reserved[12U] ;
  422};
  423#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  424struct i387_fxsave_struct {
  425   u16 cwd ;
  426   u16 swd ;
  427   u16 twd ;
  428   u16 fop ;
  429   union __anonunion_ldv_5178_23 ldv_5178 ;
  430   u32 mxcsr ;
  431   u32 mxcsr_mask ;
  432   u32 st_space[32U] ;
  433   u32 xmm_space[64U] ;
  434   u32 padding[12U] ;
  435   union __anonunion_ldv_5187_26 ldv_5187 ;
  436};
  437#line 329 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  438struct i387_soft_struct {
  439   u32 cwd ;
  440   u32 swd ;
  441   u32 twd ;
  442   u32 fip ;
  443   u32 fcs ;
  444   u32 foo ;
  445   u32 fos ;
  446   u32 st_space[20U] ;
  447   u8 ftop ;
  448   u8 changed ;
  449   u8 lookahead ;
  450   u8 no_update ;
  451   u8 rm ;
  452   u8 alimit ;
  453   struct math_emu_info *info ;
  454   u32 entry_eip ;
  455};
  456#line 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  457struct ymmh_struct {
  458   u32 ymmh_space[64U] ;
  459};
  460#line 355 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  461struct xsave_hdr_struct {
  462   u64 xstate_bv ;
  463   u64 reserved1[2U] ;
  464   u64 reserved2[5U] ;
  465};
  466#line 361 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  467struct xsave_struct {
  468   struct i387_fxsave_struct i387 ;
  469   struct xsave_hdr_struct xsave_hdr ;
  470   struct ymmh_struct ymmh ;
  471};
  472#line 367 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  473union thread_xstate {
  474   struct i387_fsave_struct fsave ;
  475   struct i387_fxsave_struct fxsave ;
  476   struct i387_soft_struct soft ;
  477   struct xsave_struct xsave ;
  478};
  479#line 375 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  480struct fpu {
  481   union thread_xstate *state ;
  482};
  483#line 421
  484struct kmem_cache;
  485#line 421
  486struct kmem_cache;
  487#line 422
  488struct perf_event;
  489#line 422
  490struct perf_event;
  491#line 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  492struct thread_struct {
  493   struct desc_struct tls_array[3U] ;
  494   unsigned long sp0 ;
  495   unsigned long sp ;
  496   unsigned long usersp ;
  497   unsigned short es ;
  498   unsigned short ds ;
  499   unsigned short fsindex ;
  500   unsigned short gsindex ;
  501   unsigned long fs ;
  502   unsigned long gs ;
  503   struct perf_event *ptrace_bps[4U] ;
  504   unsigned long debugreg6 ;
  505   unsigned long ptrace_dr7 ;
  506   unsigned long cr2 ;
  507   unsigned long trap_no ;
  508   unsigned long error_code ;
  509   struct fpu fpu ;
  510   unsigned long *io_bitmap_ptr ;
  511   unsigned long iopl ;
  512   unsigned int io_bitmap_max ;
  513};
  514#line 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  515struct __anonstruct_mm_segment_t_28 {
  516   unsigned long seg ;
  517};
  518#line 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  519typedef struct __anonstruct_mm_segment_t_28 mm_segment_t;
  520#line 23 "include/asm-generic/atomic-long.h"
  521typedef atomic64_t atomic_long_t;
  522#line 131 "include/asm-generic/atomic-long.h"
  523struct thread_info {
  524   struct task_struct *task ;
  525   struct exec_domain *exec_domain ;
  526   __u32 flags ;
  527   __u32 status ;
  528   __u32 cpu ;
  529   int preempt_count ;
  530   mm_segment_t addr_limit ;
  531   struct restart_block restart_block ;
  532   void *sysenter_return ;
  533   int uaccess_err ;
  534};
  535#line 8 "include/linux/bottom_half.h"
  536struct arch_spinlock {
  537   unsigned int slock ;
  538};
  539#line 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  540typedef struct arch_spinlock arch_spinlock_t;
  541#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  542struct __anonstruct_arch_rwlock_t_29 {
  543   unsigned int lock ;
  544};
  545#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  546typedef struct __anonstruct_arch_rwlock_t_29 arch_rwlock_t;
  547#line 17
  548struct lockdep_map;
  549#line 17
  550struct lockdep_map;
  551#line 55 "include/linux/debug_locks.h"
  552struct stack_trace {
  553   unsigned int nr_entries ;
  554   unsigned int max_entries ;
  555   unsigned long *entries ;
  556   int skip ;
  557};
  558#line 26 "include/linux/stacktrace.h"
  559struct lockdep_subclass_key {
  560   char __one_byte ;
  561};
  562#line 53 "include/linux/lockdep.h"
  563struct lock_class_key {
  564   struct lockdep_subclass_key subkeys[8U] ;
  565};
  566#line 59 "include/linux/lockdep.h"
  567struct lock_class {
  568   struct list_head hash_entry ;
  569   struct list_head lock_entry ;
  570   struct lockdep_subclass_key *key ;
  571   unsigned int subclass ;
  572   unsigned int dep_gen_id ;
  573   unsigned long usage_mask ;
  574   struct stack_trace usage_traces[13U] ;
  575   struct list_head locks_after ;
  576   struct list_head locks_before ;
  577   unsigned int version ;
  578   unsigned long ops ;
  579   char const   *name ;
  580   int name_version ;
  581   unsigned long contention_point[4U] ;
  582   unsigned long contending_point[4U] ;
  583};
  584#line 144 "include/linux/lockdep.h"
  585struct lockdep_map {
  586   struct lock_class_key *key ;
  587   struct lock_class *class_cache[2U] ;
  588   char const   *name ;
  589   int cpu ;
  590   unsigned long ip ;
  591};
  592#line 187 "include/linux/lockdep.h"
  593struct held_lock {
  594   u64 prev_chain_key ;
  595   unsigned long acquire_ip ;
  596   struct lockdep_map *instance ;
  597   struct lockdep_map *nest_lock ;
  598   u64 waittime_stamp ;
  599   u64 holdtime_stamp ;
  600   unsigned short class_idx : 13 ;
  601   unsigned char irq_context : 2 ;
  602   unsigned char trylock : 1 ;
  603   unsigned char read : 2 ;
  604   unsigned char check : 2 ;
  605   unsigned char hardirqs_off : 1 ;
  606   unsigned short references : 11 ;
  607};
  608#line 552 "include/linux/lockdep.h"
  609struct raw_spinlock {
  610   arch_spinlock_t raw_lock ;
  611   unsigned int magic ;
  612   unsigned int owner_cpu ;
  613   void *owner ;
  614   struct lockdep_map dep_map ;
  615};
  616#line 32 "include/linux/spinlock_types.h"
  617typedef struct raw_spinlock raw_spinlock_t;
  618#line 33 "include/linux/spinlock_types.h"
  619struct __anonstruct_ldv_6059_31 {
  620   u8 __padding[24U] ;
  621   struct lockdep_map dep_map ;
  622};
  623#line 33 "include/linux/spinlock_types.h"
  624union __anonunion_ldv_6060_30 {
  625   struct raw_spinlock rlock ;
  626   struct __anonstruct_ldv_6059_31 ldv_6059 ;
  627};
  628#line 33 "include/linux/spinlock_types.h"
  629struct spinlock {
  630   union __anonunion_ldv_6060_30 ldv_6060 ;
  631};
  632#line 76 "include/linux/spinlock_types.h"
  633typedef struct spinlock spinlock_t;
  634#line 23 "include/linux/rwlock_types.h"
  635struct __anonstruct_rwlock_t_32 {
  636   arch_rwlock_t raw_lock ;
  637   unsigned int magic ;
  638   unsigned int owner_cpu ;
  639   void *owner ;
  640   struct lockdep_map dep_map ;
  641};
  642#line 23 "include/linux/rwlock_types.h"
  643typedef struct __anonstruct_rwlock_t_32 rwlock_t;
  644#line 36 "include/linux/seqlock.h"
  645struct __anonstruct_seqlock_t_33 {
  646   unsigned int sequence ;
  647   spinlock_t lock ;
  648};
  649#line 36 "include/linux/seqlock.h"
  650typedef struct __anonstruct_seqlock_t_33 seqlock_t;
  651#line 110 "include/linux/seqlock.h"
  652struct seqcount {
  653   unsigned int sequence ;
  654};
  655#line 121 "include/linux/seqlock.h"
  656typedef struct seqcount seqcount_t;
  657#line 233 "include/linux/seqlock.h"
  658struct timespec {
  659   __kernel_time_t tv_sec ;
  660   long tv_nsec ;
  661};
  662#line 286 "include/linux/time.h"
  663struct kstat {
  664   u64 ino ;
  665   dev_t dev ;
  666   umode_t mode ;
  667   unsigned int nlink ;
  668   uid_t uid ;
  669   gid_t gid ;
  670   dev_t rdev ;
  671   loff_t size ;
  672   struct timespec atime ;
  673   struct timespec mtime ;
  674   struct timespec ctime ;
  675   unsigned long blksize ;
  676   unsigned long long blocks ;
  677};
  678#line 28 "include/linux/wait.h"
  679struct __wait_queue;
  680#line 28
  681struct __wait_queue;
  682#line 28 "include/linux/wait.h"
  683typedef struct __wait_queue wait_queue_t;
  684#line 31 "include/linux/wait.h"
  685struct __wait_queue {
  686   unsigned int flags ;
  687   void *private ;
  688   int (*func)(wait_queue_t * , unsigned int  , int  , void * ) ;
  689   struct list_head task_list ;
  690};
  691#line 49 "include/linux/wait.h"
  692struct __wait_queue_head {
  693   spinlock_t lock ;
  694   struct list_head task_list ;
  695};
  696#line 54 "include/linux/wait.h"
  697typedef struct __wait_queue_head wait_queue_head_t;
  698#line 96 "include/linux/nodemask.h"
  699struct __anonstruct_nodemask_t_34 {
  700   unsigned long bits[16U] ;
  701};
  702#line 96 "include/linux/nodemask.h"
  703typedef struct __anonstruct_nodemask_t_34 nodemask_t;
  704#line 640 "include/linux/mmzone.h"
  705struct mutex {
  706   atomic_t count ;
  707   spinlock_t wait_lock ;
  708   struct list_head wait_list ;
  709   struct task_struct *owner ;
  710   char const   *name ;
  711   void *magic ;
  712   struct lockdep_map dep_map ;
  713};
  714#line 63 "include/linux/mutex.h"
  715struct mutex_waiter {
  716   struct list_head list ;
  717   struct task_struct *task ;
  718   void *magic ;
  719};
  720#line 171
  721struct rw_semaphore;
  722#line 171
  723struct rw_semaphore;
  724#line 172 "include/linux/mutex.h"
  725struct rw_semaphore {
  726   long count ;
  727   spinlock_t wait_lock ;
  728   struct list_head wait_list ;
  729   struct lockdep_map dep_map ;
  730};
  731#line 763 "include/linux/mmzone.h"
  732struct ctl_table;
  733#line 763
  734struct ctl_table;
  735#line 175 "include/linux/ioport.h"
  736struct device;
  737#line 175
  738struct device;
  739#line 312 "include/linux/jiffies.h"
  740union ktime {
  741   s64 tv64 ;
  742};
  743#line 59 "include/linux/ktime.h"
  744typedef union ktime ktime_t;
  745#line 99 "include/linux/debugobjects.h"
  746struct tvec_base;
  747#line 99
  748struct tvec_base;
  749#line 100 "include/linux/debugobjects.h"
  750struct timer_list {
  751   struct list_head entry ;
  752   unsigned long expires ;
  753   struct tvec_base *base ;
  754   void (*function)(unsigned long  ) ;
  755   unsigned long data ;
  756   int slack ;
  757   int start_pid ;
  758   void *start_site ;
  759   char start_comm[16U] ;
  760   struct lockdep_map lockdep_map ;
  761};
  762#line 289 "include/linux/timer.h"
  763struct hrtimer;
  764#line 289
  765struct hrtimer;
  766#line 290
  767enum hrtimer_restart;
  768#line 290
  769enum hrtimer_restart;
  770#line 290
  771enum hrtimer_restart;
  772#line 301
  773struct workqueue_struct;
  774#line 301
  775struct workqueue_struct;
  776#line 302
  777struct work_struct;
  778#line 302
  779struct work_struct;
  780#line 45 "include/linux/workqueue.h"
  781struct work_struct {
  782   atomic_long_t data ;
  783   struct list_head entry ;
  784   void (*func)(struct work_struct * ) ;
  785   struct lockdep_map lockdep_map ;
  786};
  787#line 86 "include/linux/workqueue.h"
  788struct delayed_work {
  789   struct work_struct work ;
  790   struct timer_list timer ;
  791};
  792#line 443 "include/linux/workqueue.h"
  793struct completion {
  794   unsigned int done ;
  795   wait_queue_head_t wait ;
  796};
  797#line 46 "include/linux/pm.h"
  798struct pm_message {
  799   int event ;
  800};
  801#line 52 "include/linux/pm.h"
  802typedef struct pm_message pm_message_t;
  803#line 53 "include/linux/pm.h"
  804struct dev_pm_ops {
  805   int (*prepare)(struct device * ) ;
  806   void (*complete)(struct device * ) ;
  807   int (*suspend)(struct device * ) ;
  808   int (*resume)(struct device * ) ;
  809   int (*freeze)(struct device * ) ;
  810   int (*thaw)(struct device * ) ;
  811   int (*poweroff)(struct device * ) ;
  812   int (*restore)(struct device * ) ;
  813   int (*suspend_noirq)(struct device * ) ;
  814   int (*resume_noirq)(struct device * ) ;
  815   int (*freeze_noirq)(struct device * ) ;
  816   int (*thaw_noirq)(struct device * ) ;
  817   int (*poweroff_noirq)(struct device * ) ;
  818   int (*restore_noirq)(struct device * ) ;
  819   int (*runtime_suspend)(struct device * ) ;
  820   int (*runtime_resume)(struct device * ) ;
  821   int (*runtime_idle)(struct device * ) ;
  822};
  823#line 272
  824enum rpm_status {
  825    RPM_ACTIVE = 0,
  826    RPM_RESUMING = 1,
  827    RPM_SUSPENDED = 2,
  828    RPM_SUSPENDING = 3
  829} ;
  830#line 279
  831enum rpm_request {
  832    RPM_REQ_NONE = 0,
  833    RPM_REQ_IDLE = 1,
  834    RPM_REQ_SUSPEND = 2,
  835    RPM_REQ_AUTOSUSPEND = 3,
  836    RPM_REQ_RESUME = 4
  837} ;
  838#line 287
  839struct wakeup_source;
  840#line 287
  841struct wakeup_source;
  842#line 288 "include/linux/pm.h"
  843struct dev_pm_info {
  844   pm_message_t power_state ;
  845   unsigned char can_wakeup : 1 ;
  846   unsigned char async_suspend : 1 ;
  847   bool is_prepared ;
  848   bool is_suspended ;
  849   spinlock_t lock ;
  850   struct list_head entry ;
  851   struct completion completion ;
  852   struct wakeup_source *wakeup ;
  853   struct timer_list suspend_timer ;
  854   unsigned long timer_expires ;
  855   struct work_struct work ;
  856   wait_queue_head_t wait_queue ;
  857   atomic_t usage_count ;
  858   atomic_t child_count ;
  859   unsigned char disable_depth : 3 ;
  860   unsigned char ignore_children : 1 ;
  861   unsigned char idle_notification : 1 ;
  862   unsigned char request_pending : 1 ;
  863   unsigned char deferred_resume : 1 ;
  864   unsigned char run_wake : 1 ;
  865   unsigned char runtime_auto : 1 ;
  866   unsigned char no_callbacks : 1 ;
  867   unsigned char irq_safe : 1 ;
  868   unsigned char use_autosuspend : 1 ;
  869   unsigned char timer_autosuspends : 1 ;
  870   enum rpm_request request ;
  871   enum rpm_status runtime_status ;
  872   int runtime_error ;
  873   int autosuspend_delay ;
  874   unsigned long last_busy ;
  875   unsigned long active_jiffies ;
  876   unsigned long suspended_jiffies ;
  877   unsigned long accounting_timestamp ;
  878   void *subsys_data ;
  879};
  880#line 469 "include/linux/pm.h"
  881struct dev_power_domain {
  882   struct dev_pm_ops ops ;
  883};
  884#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
  885struct __anonstruct_mm_context_t_99 {
  886   void *ldt ;
  887   int size ;
  888   unsigned short ia32_compat ;
  889   struct mutex lock ;
  890   void *vdso ;
  891};
  892#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
  893typedef struct __anonstruct_mm_context_t_99 mm_context_t;
  894#line 71 "include/asm-generic/iomap.h"
  895struct vm_area_struct;
  896#line 71
  897struct vm_area_struct;
  898#line 53 "include/linux/rcupdate.h"
  899struct rcu_head {
  900   struct rcu_head *next ;
  901   void (*func)(struct rcu_head * ) ;
  902};
  903#line 841
  904struct nsproxy;
  905#line 841
  906struct nsproxy;
  907#line 842
  908struct ctl_table_root;
  909#line 842
  910struct ctl_table_root;
  911#line 843 "include/linux/rcupdate.h"
  912struct ctl_table_set {
  913   struct list_head list ;
  914   struct ctl_table_set *parent ;
  915   int (*is_seen)(struct ctl_table_set * ) ;
  916};
  917#line 947 "include/linux/sysctl.h"
  918struct ctl_table_header;
  919#line 947
  920struct ctl_table_header;
  921#line 965 "include/linux/sysctl.h"
  922typedef int proc_handler(struct ctl_table * , int  , void * , size_t * , loff_t * );
  923#line 985 "include/linux/sysctl.h"
  924struct ctl_table {
  925   char const   *procname ;
  926   void *data ;
  927   int maxlen ;
  928   mode_t mode ;
  929   struct ctl_table *child ;
  930   struct ctl_table *parent ;
  931   proc_handler *proc_handler ;
  932   void *extra1 ;
  933   void *extra2 ;
  934};
  935#line 1027 "include/linux/sysctl.h"
  936struct ctl_table_root {
  937   struct list_head root_list ;
  938   struct ctl_table_set default_set ;
  939   struct ctl_table_set *(*lookup)(struct ctl_table_root * , struct nsproxy * ) ;
  940   int (*permissions)(struct ctl_table_root * , struct nsproxy * , struct ctl_table * ) ;
  941};
  942#line 1035 "include/linux/sysctl.h"
  943struct __anonstruct_ldv_12193_124 {
  944   struct ctl_table *ctl_table ;
  945   struct list_head ctl_entry ;
  946   int used ;
  947   int count ;
  948};
  949#line 1035 "include/linux/sysctl.h"
  950union __anonunion_ldv_12195_123 {
  951   struct __anonstruct_ldv_12193_124 ldv_12193 ;
  952   struct rcu_head rcu ;
  953};
  954#line 1035 "include/linux/sysctl.h"
  955struct ctl_table_header {
  956   union __anonunion_ldv_12195_123 ldv_12195 ;
  957   struct completion *unregistering ;
  958   struct ctl_table *ctl_table_arg ;
  959   struct ctl_table_root *root ;
  960   struct ctl_table_set *set ;
  961   struct ctl_table *attached_by ;
  962   struct ctl_table *attached_to ;
  963   struct ctl_table_header *parent ;
  964};
  965#line 36 "include/linux/kmod.h"
  966struct cred;
  967#line 36
  968struct cred;
  969#line 229 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h"
  970struct linux_binprm;
  971#line 229
  972struct linux_binprm;
  973#line 27 "include/linux/elf.h"
  974typedef __u64 Elf64_Addr;
  975#line 28 "include/linux/elf.h"
  976typedef __u16 Elf64_Half;
  977#line 32 "include/linux/elf.h"
  978typedef __u32 Elf64_Word;
  979#line 33 "include/linux/elf.h"
  980typedef __u64 Elf64_Xword;
  981#line 202 "include/linux/elf.h"
  982struct elf64_sym {
  983   Elf64_Word st_name ;
  984   unsigned char st_info ;
  985   unsigned char st_other ;
  986   Elf64_Half st_shndx ;
  987   Elf64_Addr st_value ;
  988   Elf64_Xword st_size ;
  989};
  990#line 210 "include/linux/elf.h"
  991typedef struct elf64_sym Elf64_Sym;
  992#line 444
  993struct sock;
  994#line 444
  995struct sock;
  996#line 445
  997struct kobject;
  998#line 445
  999struct kobject;
 1000#line 446
 1001enum kobj_ns_type {
 1002    KOBJ_NS_TYPE_NONE = 0,
 1003    KOBJ_NS_TYPE_NET = 1,
 1004    KOBJ_NS_TYPES = 2
 1005} ;
 1006#line 452 "include/linux/elf.h"
 1007struct kobj_ns_type_operations {
 1008   enum kobj_ns_type type ;
 1009   void *(*grab_current_ns)(void) ;
 1010   void const   *(*netlink_ns)(struct sock * ) ;
 1011   void const   *(*initial_ns)(void) ;
 1012   void (*drop_ns)(void * ) ;
 1013};
 1014#line 57 "include/linux/kobject_ns.h"
 1015struct attribute {
 1016   char const   *name ;
 1017   mode_t mode ;
 1018   struct lock_class_key *key ;
 1019   struct lock_class_key skey ;
 1020};
 1021#line 33 "include/linux/sysfs.h"
 1022struct attribute_group {
 1023   char const   *name ;
 1024   mode_t (*is_visible)(struct kobject * , struct attribute * , int  ) ;
 1025   struct attribute **attrs ;
 1026};
 1027#line 62 "include/linux/sysfs.h"
 1028struct bin_attribute {
 1029   struct attribute attr ;
 1030   size_t size ;
 1031   void *private ;
 1032   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1033                   loff_t  , size_t  ) ;
 1034   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1035                    loff_t  , size_t  ) ;
 1036   int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
 1037};
 1038#line 98 "include/linux/sysfs.h"
 1039struct sysfs_ops {
 1040   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
 1041   ssize_t (*store)(struct kobject * , struct attribute * , char const   * , size_t  ) ;
 1042};
 1043#line 116
 1044struct sysfs_dirent;
 1045#line 116
 1046struct sysfs_dirent;
 1047#line 181 "include/linux/sysfs.h"
 1048struct kref {
 1049   atomic_t refcount ;
 1050};
 1051#line 49 "include/linux/kobject.h"
 1052struct kset;
 1053#line 49
 1054struct kset;
 1055#line 49
 1056struct kobj_type;
 1057#line 49
 1058struct kobj_type;
 1059#line 49 "include/linux/kobject.h"
 1060struct kobject {
 1061   char const   *name ;
 1062   struct list_head entry ;
 1063   struct kobject *parent ;
 1064   struct kset *kset ;
 1065   struct kobj_type *ktype ;
 1066   struct sysfs_dirent *sd ;
 1067   struct kref kref ;
 1068   unsigned char state_initialized : 1 ;
 1069   unsigned char state_in_sysfs : 1 ;
 1070   unsigned char state_add_uevent_sent : 1 ;
 1071   unsigned char state_remove_uevent_sent : 1 ;
 1072   unsigned char uevent_suppress : 1 ;
 1073};
 1074#line 109 "include/linux/kobject.h"
 1075struct kobj_type {
 1076   void (*release)(struct kobject * ) ;
 1077   struct sysfs_ops  const  *sysfs_ops ;
 1078   struct attribute **default_attrs ;
 1079   struct kobj_ns_type_operations  const  *(*child_ns_type)(struct kobject * ) ;
 1080   void const   *(*namespace)(struct kobject * ) ;
 1081};
 1082#line 117 "include/linux/kobject.h"
 1083struct kobj_uevent_env {
 1084   char *envp[32U] ;
 1085   int envp_idx ;
 1086   char buf[2048U] ;
 1087   int buflen ;
 1088};
 1089#line 124 "include/linux/kobject.h"
 1090struct kset_uevent_ops {
 1091   int (* const  filter)(struct kset * , struct kobject * ) ;
 1092   char const   *(* const  name)(struct kset * , struct kobject * ) ;
 1093   int (* const  uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
 1094};
 1095#line 141 "include/linux/kobject.h"
 1096struct kset {
 1097   struct list_head list ;
 1098   spinlock_t list_lock ;
 1099   struct kobject kobj ;
 1100   struct kset_uevent_ops  const  *uevent_ops ;
 1101};
 1102#line 219
 1103struct kernel_param;
 1104#line 219
 1105struct kernel_param;
 1106#line 220 "include/linux/kobject.h"
 1107struct kernel_param_ops {
 1108   int (*set)(char const   * , struct kernel_param  const  * ) ;
 1109   int (*get)(char * , struct kernel_param  const  * ) ;
 1110   void (*free)(void * ) ;
 1111};
 1112#line 44 "include/linux/moduleparam.h"
 1113struct kparam_string;
 1114#line 44
 1115struct kparam_string;
 1116#line 44
 1117struct kparam_array;
 1118#line 44
 1119struct kparam_array;
 1120#line 44 "include/linux/moduleparam.h"
 1121union __anonunion_ldv_12924_129 {
 1122   void *arg ;
 1123   struct kparam_string  const  *str ;
 1124   struct kparam_array  const  *arr ;
 1125};
 1126#line 44 "include/linux/moduleparam.h"
 1127struct kernel_param {
 1128   char const   *name ;
 1129   struct kernel_param_ops  const  *ops ;
 1130   u16 perm ;
 1131   u16 flags ;
 1132   union __anonunion_ldv_12924_129 ldv_12924 ;
 1133};
 1134#line 59 "include/linux/moduleparam.h"
 1135struct kparam_string {
 1136   unsigned int maxlen ;
 1137   char *string ;
 1138};
 1139#line 65 "include/linux/moduleparam.h"
 1140struct kparam_array {
 1141   unsigned int max ;
 1142   unsigned int elemsize ;
 1143   unsigned int *num ;
 1144   struct kernel_param_ops  const  *ops ;
 1145   void *elem ;
 1146};
 1147#line 404 "include/linux/moduleparam.h"
 1148struct jump_label_key {
 1149   atomic_t enabled ;
 1150};
 1151#line 99 "include/linux/jump_label.h"
 1152struct tracepoint;
 1153#line 99
 1154struct tracepoint;
 1155#line 100 "include/linux/jump_label.h"
 1156struct tracepoint_func {
 1157   void *func ;
 1158   void *data ;
 1159};
 1160#line 29 "include/linux/tracepoint.h"
 1161struct tracepoint {
 1162   char const   *name ;
 1163   struct jump_label_key key ;
 1164   void (*regfunc)(void) ;
 1165   void (*unregfunc)(void) ;
 1166   struct tracepoint_func *funcs ;
 1167};
 1168#line 84 "include/linux/tracepoint.h"
 1169struct mod_arch_specific {
 1170
 1171};
 1172#line 127 "include/trace/events/module.h"
 1173struct kernel_symbol {
 1174   unsigned long value ;
 1175   char const   *name ;
 1176};
 1177#line 48 "include/linux/module.h"
 1178struct module_attribute {
 1179   struct attribute attr ;
 1180   ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
 1181   ssize_t (*store)(struct module_attribute * , struct module * , char const   * ,
 1182                    size_t  ) ;
 1183   void (*setup)(struct module * , char const   * ) ;
 1184   int (*test)(struct module * ) ;
 1185   void (*free)(struct module * ) ;
 1186};
 1187#line 68
 1188struct module_param_attrs;
 1189#line 68
 1190struct module_param_attrs;
 1191#line 68 "include/linux/module.h"
 1192struct module_kobject {
 1193   struct kobject kobj ;
 1194   struct module *mod ;
 1195   struct kobject *drivers_dir ;
 1196   struct module_param_attrs *mp ;
 1197};
 1198#line 81
 1199struct exception_table_entry;
 1200#line 81
 1201struct exception_table_entry;
 1202#line 218
 1203enum module_state {
 1204    MODULE_STATE_LIVE = 0,
 1205    MODULE_STATE_COMING = 1,
 1206    MODULE_STATE_GOING = 2
 1207} ;
 1208#line 224 "include/linux/module.h"
 1209struct module_ref {
 1210   unsigned int incs ;
 1211   unsigned int decs ;
 1212};
 1213#line 418
 1214struct module_sect_attrs;
 1215#line 418
 1216struct module_sect_attrs;
 1217#line 418
 1218struct module_notes_attrs;
 1219#line 418
 1220struct module_notes_attrs;
 1221#line 418
 1222struct ftrace_event_call;
 1223#line 418
 1224struct ftrace_event_call;
 1225#line 418 "include/linux/module.h"
 1226struct module {
 1227   enum module_state state ;
 1228   struct list_head list ;
 1229   char name[56U] ;
 1230   struct module_kobject mkobj ;
 1231   struct module_attribute *modinfo_attrs ;
 1232   char const   *version ;
 1233   char const   *srcversion ;
 1234   struct kobject *holders_dir ;
 1235   struct kernel_symbol  const  *syms ;
 1236   unsigned long const   *crcs ;
 1237   unsigned int num_syms ;
 1238   struct kernel_param *kp ;
 1239   unsigned int num_kp ;
 1240   unsigned int num_gpl_syms ;
 1241   struct kernel_symbol  const  *gpl_syms ;
 1242   unsigned long const   *gpl_crcs ;
 1243   struct kernel_symbol  const  *unused_syms ;
 1244   unsigned long const   *unused_crcs ;
 1245   unsigned int num_unused_syms ;
 1246   unsigned int num_unused_gpl_syms ;
 1247   struct kernel_symbol  const  *unused_gpl_syms ;
 1248   unsigned long const   *unused_gpl_crcs ;
 1249   struct kernel_symbol  const  *gpl_future_syms ;
 1250   unsigned long const   *gpl_future_crcs ;
 1251   unsigned int num_gpl_future_syms ;
 1252   unsigned int num_exentries ;
 1253   struct exception_table_entry *extable ;
 1254   int (*init)(void) ;
 1255   void *module_init ;
 1256   void *module_core ;
 1257   unsigned int init_size ;
 1258   unsigned int core_size ;
 1259   unsigned int init_text_size ;
 1260   unsigned int core_text_size ;
 1261   unsigned int init_ro_size ;
 1262   unsigned int core_ro_size ;
 1263   struct mod_arch_specific arch ;
 1264   unsigned int taints ;
 1265   unsigned int num_bugs ;
 1266   struct list_head bug_list ;
 1267   struct bug_entry *bug_table ;
 1268   Elf64_Sym *symtab ;
 1269   Elf64_Sym *core_symtab ;
 1270   unsigned int num_symtab ;
 1271   unsigned int core_num_syms ;
 1272   char *strtab ;
 1273   char *core_strtab ;
 1274   struct module_sect_attrs *sect_attrs ;
 1275   struct module_notes_attrs *notes_attrs ;
 1276   char *args ;
 1277   void *percpu ;
 1278   unsigned int percpu_size ;
 1279   unsigned int num_tracepoints ;
 1280   struct tracepoint * const  *tracepoints_ptrs ;
 1281   unsigned int num_trace_bprintk_fmt ;
 1282   char const   **trace_bprintk_fmt_start ;
 1283   struct ftrace_event_call **trace_events ;
 1284   unsigned int num_trace_events ;
 1285   unsigned int num_ftrace_callsites ;
 1286   unsigned long *ftrace_callsites ;
 1287   struct list_head source_list ;
 1288   struct list_head target_list ;
 1289   struct task_struct *waiter ;
 1290   void (*exit)(void) ;
 1291   struct module_ref *refptr ;
 1292   ctor_fn_t (**ctors)(void) ;
 1293   unsigned int num_ctors ;
 1294};
 1295#line 8 "/anthill/stuff/tacas-comp/work/current--X--drivers/bluetooth/btmrvl.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/17/dscv_tempdir/dscv/ri/08_1/drivers/bluetooth/btmrvl_main.c.p"
 1296struct pollfd {
 1297   int fd ;
 1298   short events ;
 1299   short revents ;
 1300};
 1301#line 39 "include/asm-generic/poll.h"
 1302struct block_device;
 1303#line 39
 1304struct block_device;
 1305#line 92 "include/linux/bit_spinlock.h"
 1306struct hlist_bl_node;
 1307#line 92
 1308struct hlist_bl_node;
 1309#line 92 "include/linux/bit_spinlock.h"
 1310struct hlist_bl_head {
 1311   struct hlist_bl_node *first ;
 1312};
 1313#line 36 "include/linux/list_bl.h"
 1314struct hlist_bl_node {
 1315   struct hlist_bl_node *next ;
 1316   struct hlist_bl_node **pprev ;
 1317};
 1318#line 114 "include/linux/rculist_bl.h"
 1319struct nameidata;
 1320#line 114
 1321struct nameidata;
 1322#line 115
 1323struct path;
 1324#line 115
 1325struct path;
 1326#line 116
 1327struct vfsmount;
 1328#line 116
 1329struct vfsmount;
 1330#line 117 "include/linux/rculist_bl.h"
 1331struct qstr {
 1332   unsigned int hash ;
 1333   unsigned int len ;
 1334   unsigned char const   *name ;
 1335};
 1336#line 100 "include/linux/dcache.h"
 1337struct inode;
 1338#line 100
 1339struct inode;
 1340#line 100
 1341struct dentry_operations;
 1342#line 100
 1343struct dentry_operations;
 1344#line 100
 1345struct super_block;
 1346#line 100
 1347struct super_block;
 1348#line 100 "include/linux/dcache.h"
 1349union __anonunion_d_u_130 {
 1350   struct list_head d_child ;
 1351   struct rcu_head d_rcu ;
 1352};
 1353#line 100 "include/linux/dcache.h"
 1354struct dentry {
 1355   unsigned int d_flags ;
 1356   seqcount_t d_seq ;
 1357   struct hlist_bl_node d_hash ;
 1358   struct dentry *d_parent ;
 1359   struct qstr d_name ;
 1360   struct inode *d_inode ;
 1361   unsigned char d_iname[32U] ;
 1362   unsigned int d_count ;
 1363   spinlock_t d_lock ;
 1364   struct dentry_operations  const  *d_op ;
 1365   struct super_block *d_sb ;
 1366   unsigned long d_time ;
 1367   void *d_fsdata ;
 1368   struct list_head d_lru ;
 1369   union __anonunion_d_u_130 d_u ;
 1370   struct list_head d_subdirs ;
 1371   struct list_head d_alias ;
 1372};
 1373#line 151 "include/linux/dcache.h"
 1374struct dentry_operations {
 1375   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
 1376   int (*d_hash)(struct dentry  const  * , struct inode  const  * , struct qstr * ) ;
 1377   int (*d_compare)(struct dentry  const  * , struct inode  const  * , struct dentry  const  * ,
 1378                    struct inode  const  * , unsigned int  , char const   * , struct qstr  const  * ) ;
 1379   int (*d_delete)(struct dentry  const  * ) ;
 1380   void (*d_release)(struct dentry * ) ;
 1381   void (*d_iput)(struct dentry * , struct inode * ) ;
 1382   char *(*d_dname)(struct dentry * , char * , int  ) ;
 1383   struct vfsmount *(*d_automount)(struct path * ) ;
 1384   int (*d_manage)(struct dentry * , bool  ) ;
 1385};
 1386#line 422 "include/linux/dcache.h"
 1387struct path {
 1388   struct vfsmount *mnt ;
 1389   struct dentry *dentry ;
 1390};
 1391#line 51 "include/linux/radix-tree.h"
 1392struct radix_tree_node;
 1393#line 51
 1394struct radix_tree_node;
 1395#line 51 "include/linux/radix-tree.h"
 1396struct radix_tree_root {
 1397   unsigned int height ;
 1398   gfp_t gfp_mask ;
 1399   struct radix_tree_node *rnode ;
 1400};
 1401#line 229
 1402struct prio_tree_node;
 1403#line 229
 1404struct prio_tree_node;
 1405#line 229 "include/linux/radix-tree.h"
 1406struct raw_prio_tree_node {
 1407   struct prio_tree_node *left ;
 1408   struct prio_tree_node *right ;
 1409   struct prio_tree_node *parent ;
 1410};
 1411#line 19 "include/linux/prio_tree.h"
 1412struct prio_tree_node {
 1413   struct prio_tree_node *left ;
 1414   struct prio_tree_node *right ;
 1415   struct prio_tree_node *parent ;
 1416   unsigned long start ;
 1417   unsigned long last ;
 1418};
 1419#line 27 "include/linux/prio_tree.h"
 1420struct prio_tree_root {
 1421   struct prio_tree_node *prio_tree_node ;
 1422   unsigned short index_bits ;
 1423   unsigned short raw ;
 1424};
 1425#line 111
 1426enum pid_type {
 1427    PIDTYPE_PID = 0,
 1428    PIDTYPE_PGID = 1,
 1429    PIDTYPE_SID = 2,
 1430    PIDTYPE_MAX = 3
 1431} ;
 1432#line 118
 1433struct pid_namespace;
 1434#line 118
 1435struct pid_namespace;
 1436#line 118 "include/linux/prio_tree.h"
 1437struct upid {
 1438   int nr ;
 1439   struct pid_namespace *ns ;
 1440   struct hlist_node pid_chain ;
 1441};
 1442#line 56 "include/linux/pid.h"
 1443struct pid {
 1444   atomic_t count ;
 1445   unsigned int level ;
 1446   struct hlist_head tasks[3U] ;
 1447   struct rcu_head rcu ;
 1448   struct upid numbers[1U] ;
 1449};
 1450#line 68 "include/linux/pid.h"
 1451struct pid_link {
 1452   struct hlist_node node ;
 1453   struct pid *pid ;
 1454};
 1455#line 93 "include/linux/capability.h"
 1456struct kernel_cap_struct {
 1457   __u32 cap[2U] ;
 1458};
 1459#line 96 "include/linux/capability.h"
 1460typedef struct kernel_cap_struct kernel_cap_t;
 1461#line 104
 1462struct user_namespace;
 1463#line 104
 1464struct user_namespace;
 1465#line 45 "include/linux/semaphore.h"
 1466struct fiemap_extent {
 1467   __u64 fe_logical ;
 1468   __u64 fe_physical ;
 1469   __u64 fe_length ;
 1470   __u64 fe_reserved64[2U] ;
 1471   __u32 fe_flags ;
 1472   __u32 fe_reserved[3U] ;
 1473};
 1474#line 38 "include/linux/fiemap.h"
 1475struct export_operations;
 1476#line 38
 1477struct export_operations;
 1478#line 40
 1479struct iovec;
 1480#line 40
 1481struct iovec;
 1482#line 41
 1483struct kiocb;
 1484#line 41
 1485struct kiocb;
 1486#line 42
 1487struct pipe_inode_info;
 1488#line 42
 1489struct pipe_inode_info;
 1490#line 43
 1491struct poll_table_struct;
 1492#line 43
 1493struct poll_table_struct;
 1494#line 44
 1495struct kstatfs;
 1496#line 44
 1497struct kstatfs;
 1498#line 426 "include/linux/fs.h"
 1499struct iattr {
 1500   unsigned int ia_valid ;
 1501   umode_t ia_mode ;
 1502   uid_t ia_uid ;
 1503   gid_t ia_gid ;
 1504   loff_t ia_size ;
 1505   struct timespec ia_atime ;
 1506   struct timespec ia_mtime ;
 1507   struct timespec ia_ctime ;
 1508   struct file *ia_file ;
 1509};
 1510#line 119 "include/linux/quota.h"
 1511struct if_dqinfo {
 1512   __u64 dqi_bgrace ;
 1513   __u64 dqi_igrace ;
 1514   __u32 dqi_flags ;
 1515   __u32 dqi_valid ;
 1516};
 1517#line 152 "include/linux/quota.h"
 1518struct percpu_counter {
 1519   spinlock_t lock ;
 1520   s64 count ;
 1521   struct list_head list ;
 1522   s32 *counters ;
 1523};
 1524#line 176 "include/linux/percpu_counter.h"
 1525struct fs_disk_quota {
 1526   __s8 d_version ;
 1527   __s8 d_flags ;
 1528   __u16 d_fieldmask ;
 1529   __u32 d_id ;
 1530   __u64 d_blk_hardlimit ;
 1531   __u64 d_blk_softlimit ;
 1532   __u64 d_ino_hardlimit ;
 1533   __u64 d_ino_softlimit ;
 1534   __u64 d_bcount ;
 1535   __u64 d_icount ;
 1536   __s32 d_itimer ;
 1537   __s32 d_btimer ;
 1538   __u16 d_iwarns ;
 1539   __u16 d_bwarns ;
 1540   __s32 d_padding2 ;
 1541   __u64 d_rtb_hardlimit ;
 1542   __u64 d_rtb_softlimit ;
 1543   __u64 d_rtbcount ;
 1544   __s32 d_rtbtimer ;
 1545   __u16 d_rtbwarns ;
 1546   __s16 d_padding3 ;
 1547   char d_padding4[8U] ;
 1548};
 1549#line 75 "include/linux/dqblk_xfs.h"
 1550struct fs_qfilestat {
 1551   __u64 qfs_ino ;
 1552   __u64 qfs_nblks ;
 1553   __u32 qfs_nextents ;
 1554};
 1555#line 150 "include/linux/dqblk_xfs.h"
 1556typedef struct fs_qfilestat fs_qfilestat_t;
 1557#line 151 "include/linux/dqblk_xfs.h"
 1558struct fs_quota_stat {
 1559   __s8 qs_version ;
 1560   __u16 qs_flags ;
 1561   __s8 qs_pad ;
 1562   fs_qfilestat_t qs_uquota ;
 1563   fs_qfilestat_t qs_gquota ;
 1564   __u32 qs_incoredqs ;
 1565   __s32 qs_btimelimit ;
 1566   __s32 qs_itimelimit ;
 1567   __s32 qs_rtbtimelimit ;
 1568   __u16 qs_bwarnlimit ;
 1569   __u16 qs_iwarnlimit ;
 1570};
 1571#line 165
 1572struct dquot;
 1573#line 165
 1574struct dquot;
 1575#line 185 "include/linux/quota.h"
 1576typedef __kernel_uid32_t qid_t;
 1577#line 186 "include/linux/quota.h"
 1578typedef long long qsize_t;
 1579#line 189 "include/linux/quota.h"
 1580struct mem_dqblk {
 1581   qsize_t dqb_bhardlimit ;
 1582   qsize_t dqb_bsoftlimit ;
 1583   qsize_t dqb_curspace ;
 1584   qsize_t dqb_rsvspace ;
 1585   qsize_t dqb_ihardlimit ;
 1586   qsize_t dqb_isoftlimit ;
 1587   qsize_t dqb_curinodes ;
 1588   time_t dqb_btime ;
 1589   time_t dqb_itime ;
 1590};
 1591#line 211
 1592struct quota_format_type;
 1593#line 211
 1594struct quota_format_type;
 1595#line 212 "include/linux/quota.h"
 1596struct mem_dqinfo {
 1597   struct quota_format_type *dqi_format ;
 1598   int dqi_fmt_id ;
 1599   struct list_head dqi_dirty_list ;
 1600   unsigned long dqi_flags ;
 1601   unsigned int dqi_bgrace ;
 1602   unsigned int dqi_igrace ;
 1603   qsize_t dqi_maxblimit ;
 1604   qsize_t dqi_maxilimit ;
 1605   void *dqi_priv ;
 1606};
 1607#line 271 "include/linux/quota.h"
 1608struct dquot {
 1609   struct hlist_node dq_hash ;
 1610   struct list_head dq_inuse ;
 1611   struct list_head dq_free ;
 1612   struct list_head dq_dirty ;
 1613   struct mutex dq_lock ;
 1614   atomic_t dq_count ;
 1615   wait_queue_head_t dq_wait_unused ;
 1616   struct super_block *dq_sb ;
 1617   unsigned int dq_id ;
 1618   loff_t dq_off ;
 1619   unsigned long dq_flags ;
 1620   short dq_type ;
 1621   struct mem_dqblk dq_dqb ;
 1622};
 1623#line 299 "include/linux/quota.h"
 1624struct quota_format_ops {
 1625   int (*check_quota_file)(struct super_block * , int  ) ;
 1626   int (*read_file_info)(struct super_block * , int  ) ;
 1627   int (*write_file_info)(struct super_block * , int  ) ;
 1628   int (*free_file_info)(struct super_block * , int  ) ;
 1629   int (*read_dqblk)(struct dquot * ) ;
 1630   int (*commit_dqblk)(struct dquot * ) ;
 1631   int (*release_dqblk)(struct dquot * ) ;
 1632};
 1633#line 310 "include/linux/quota.h"
 1634struct dquot_operations {
 1635   int (*write_dquot)(struct dquot * ) ;
 1636   struct dquot *(*alloc_dquot)(struct super_block * , int  ) ;
 1637   void (*destroy_dquot)(struct dquot * ) ;
 1638   int (*acquire_dquot)(struct dquot * ) ;
 1639   int (*release_dquot)(struct dquot * ) ;
 1640   int (*mark_dirty)(struct dquot * ) ;
 1641   int (*write_info)(struct super_block * , int  ) ;
 1642   qsize_t *(*get_reserved_space)(struct inode * ) ;
 1643};
 1644#line 324 "include/linux/quota.h"
 1645struct quotactl_ops {
 1646   int (*quota_on)(struct super_block * , int  , int  , struct path * ) ;
 1647   int (*quota_on_meta)(struct super_block * , int  , int  ) ;
 1648   int (*quota_off)(struct super_block * , int  ) ;
 1649   int (*quota_sync)(struct super_block * , int  , int  ) ;
 1650   int (*get_info)(struct super_block * , int  , struct if_dqinfo * ) ;
 1651   int (*set_info)(struct super_block * , int  , struct if_dqinfo * ) ;
 1652   int (*get_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
 1653   int (*set_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
 1654   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
 1655   int (*set_xstate)(struct super_block * , unsigned int  , int  ) ;
 1656};
 1657#line 340 "include/linux/quota.h"
 1658struct quota_format_type {
 1659   int qf_fmt_id ;
 1660   struct quota_format_ops  const  *qf_ops ;
 1661   struct module *qf_owner ;
 1662   struct quota_format_type *qf_next ;
 1663};
 1664#line 386 "include/linux/quota.h"
 1665struct quota_info {
 1666   unsigned int flags ;
 1667   struct mutex dqio_mutex ;
 1668   struct mutex dqonoff_mutex ;
 1669   struct rw_semaphore dqptr_sem ;
 1670   struct inode *files[2U] ;
 1671   struct mem_dqinfo info[2U] ;
 1672   struct quota_format_ops  const  *ops[2U] ;
 1673};
 1674#line 417
 1675struct address_space;
 1676#line 417
 1677struct address_space;
 1678#line 418
 1679struct writeback_control;
 1680#line 418
 1681struct writeback_control;
 1682#line 576 "include/linux/fs.h"
 1683union __anonunion_arg_133 {
 1684   char *buf ;
 1685   void *data ;
 1686};
 1687#line 576 "include/linux/fs.h"
 1688struct __anonstruct_read_descriptor_t_132 {
 1689   size_t written ;
 1690   size_t count ;
 1691   union __anonunion_arg_133 arg ;
 1692   int error ;
 1693};
 1694#line 576 "include/linux/fs.h"
 1695typedef struct __anonstruct_read_descriptor_t_132 read_descriptor_t;
 1696#line 579 "include/linux/fs.h"
 1697struct address_space_operations {
 1698   int (*writepage)(struct page * , struct writeback_control * ) ;
 1699   int (*readpage)(struct file * , struct page * ) ;
 1700   int (*writepages)(struct address_space * , struct writeback_control * ) ;
 1701   int (*set_page_dirty)(struct page * ) ;
 1702   int (*readpages)(struct file * , struct address_space * , struct list_head * ,
 1703                    unsigned int  ) ;
 1704   int (*write_begin)(struct file * , struct address_space * , loff_t  , unsigned int  ,
 1705                      unsigned int  , struct page ** , void ** ) ;
 1706   int (*write_end)(struct file * , struct address_space * , loff_t  , unsigned int  ,
 1707                    unsigned int  , struct page * , void * ) ;
 1708   sector_t (*bmap)(struct address_space * , sector_t  ) ;
 1709   void (*invalidatepage)(struct page * , unsigned long  ) ;
 1710   int (*releasepage)(struct page * , gfp_t  ) ;
 1711   void (*freepage)(struct page * ) ;
 1712   ssize_t (*direct_IO)(int  , struct kiocb * , struct iovec  const  * , loff_t  ,
 1713                        unsigned long  ) ;
 1714   int (*get_xip_mem)(struct address_space * , unsigned long  , int  , void ** , unsigned long * ) ;
 1715   int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
 1716   int (*launder_page)(struct page * ) ;
 1717   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long  ) ;
 1718   int (*error_remove_page)(struct address_space * , struct page * ) ;
 1719};
 1720#line 630
 1721struct backing_dev_info;
 1722#line 630
 1723struct backing_dev_info;
 1724#line 631 "include/linux/fs.h"
 1725struct address_space {
 1726   struct inode *host ;
 1727   struct radix_tree_root page_tree ;
 1728   spinlock_t tree_lock ;
 1729   unsigned int i_mmap_writable ;
 1730   struct prio_tree_root i_mmap ;
 1731   struct list_head i_mmap_nonlinear ;
 1732   struct mutex i_mmap_mutex ;
 1733   unsigned long nrpages ;
 1734   unsigned long writeback_index ;
 1735   struct address_space_operations  const  *a_ops ;
 1736   unsigned long flags ;
 1737   struct backing_dev_info *backing_dev_info ;
 1738   spinlock_t private_lock ;
 1739   struct list_head private_list ;
 1740   struct address_space *assoc_mapping ;
 1741};
 1742#line 652
 1743struct hd_struct;
 1744#line 652
 1745struct hd_struct;
 1746#line 652
 1747struct gendisk;
 1748#line 652
 1749struct gendisk;
 1750#line 652 "include/linux/fs.h"
 1751struct block_device {
 1752   dev_t bd_dev ;
 1753   int bd_openers ;
 1754   struct inode *bd_inode ;
 1755   struct super_block *bd_super ;
 1756   struct mutex bd_mutex ;
 1757   struct list_head bd_inodes ;
 1758   void *bd_claiming ;
 1759   void *bd_holder ;
 1760   int bd_holders ;
 1761   bool bd_write_holder ;
 1762   struct list_head bd_holder_disks ;
 1763   struct block_device *bd_contains ;
 1764   unsigned int bd_block_size ;
 1765   struct hd_struct *bd_part ;
 1766   unsigned int bd_part_count ;
 1767   int bd_invalidated ;
 1768   struct gendisk *bd_disk ;
 1769   struct list_head bd_list ;
 1770   unsigned long bd_private ;
 1771   int bd_fsfreeze_count ;
 1772   struct mutex bd_fsfreeze_mutex ;
 1773};
 1774#line 723
 1775struct posix_acl;
 1776#line 723
 1777struct posix_acl;
 1778#line 724
 1779struct inode_operations;
 1780#line 724
 1781struct inode_operations;
 1782#line 724 "include/linux/fs.h"
 1783union __anonunion_ldv_15215_134 {
 1784   struct list_head i_dentry ;
 1785   struct rcu_head i_rcu ;
 1786};
 1787#line 724
 1788struct file_operations;
 1789#line 724
 1790struct file_operations;
 1791#line 724
 1792struct file_lock;
 1793#line 724
 1794struct file_lock;
 1795#line 724
 1796struct cdev;
 1797#line 724
 1798struct cdev;
 1799#line 724 "include/linux/fs.h"
 1800union __anonunion_ldv_15242_135 {
 1801   struct pipe_inode_info *i_pipe ;
 1802   struct block_device *i_bdev ;
 1803   struct cdev *i_cdev ;
 1804};
 1805#line 724 "include/linux/fs.h"
 1806struct inode {
 1807   umode_t i_mode ;
 1808   uid_t i_uid ;
 1809   gid_t i_gid ;
 1810   struct inode_operations  const  *i_op ;
 1811   struct super_block *i_sb ;
 1812   spinlock_t i_lock ;
 1813   unsigned int i_flags ;
 1814   unsigned long i_state ;
 1815   void *i_security ;
 1816   struct mutex i_mutex ;
 1817   unsigned long dirtied_when ;
 1818   struct hlist_node i_hash ;
 1819   struct list_head i_wb_list ;
 1820   struct list_head i_lru ;
 1821   struct list_head i_sb_list ;
 1822   union __anonunion_ldv_15215_134 ldv_15215 ;
 1823   unsigned long i_ino ;
 1824   atomic_t i_count ;
 1825   unsigned int i_nlink ;
 1826   dev_t i_rdev ;
 1827   unsigned int i_blkbits ;
 1828   u64 i_version ;
 1829   loff_t i_size ;
 1830   struct timespec i_atime ;
 1831   struct timespec i_mtime ;
 1832   struct timespec i_ctime ;
 1833   blkcnt_t i_blocks ;
 1834   unsigned short i_bytes ;
 1835   struct rw_semaphore i_alloc_sem ;
 1836   struct file_operations  const  *i_fop ;
 1837   struct file_lock *i_flock ;
 1838   struct address_space *i_mapping ;
 1839   struct address_space i_data ;
 1840   struct dquot *i_dquot[2U] ;
 1841   struct list_head i_devices ;
 1842   union __anonunion_ldv_15242_135 ldv_15242 ;
 1843   __u32 i_generation ;
 1844   __u32 i_fsnotify_mask ;
 1845   struct hlist_head i_fsnotify_marks ;
 1846   atomic_t i_readcount ;
 1847   atomic_t i_writecount ;
 1848   struct posix_acl *i_acl ;
 1849   struct posix_acl *i_default_acl ;
 1850   void *i_private ;
 1851};
 1852#line 902 "include/linux/fs.h"
 1853struct fown_struct {
 1854   rwlock_t lock ;
 1855   struct pid *pid ;
 1856   enum pid_type pid_type ;
 1857   uid_t uid ;
 1858   uid_t euid ;
 1859   int signum ;
 1860};
 1861#line 910 "include/linux/fs.h"
 1862struct file_ra_state {
 1863   unsigned long start ;
 1864   unsigned int size ;
 1865   unsigned int async_size ;
 1866   unsigned int ra_pages ;
 1867   unsigned int mmap_miss ;
 1868   loff_t prev_pos ;
 1869};
 1870#line 933 "include/linux/fs.h"
 1871union __anonunion_f_u_136 {
 1872   struct list_head fu_list ;
 1873   struct rcu_head fu_rcuhead ;
 1874};
 1875#line 933 "include/linux/fs.h"
 1876struct file {
 1877   union __anonunion_f_u_136 f_u ;
 1878   struct path f_path ;
 1879   struct file_operations  const  *f_op ;
 1880   spinlock_t f_lock ;
 1881   int f_sb_list_cpu ;
 1882   atomic_long_t f_count ;
 1883   unsigned int f_flags ;
 1884   fmode_t f_mode ;
 1885   loff_t f_pos ;
 1886   struct fown_struct f_owner ;
 1887   struct cred  const  *f_cred ;
 1888   struct file_ra_state f_ra ;
 1889   u64 f_version ;
 1890   void *f_security ;
 1891   void *private_data ;
 1892   struct list_head f_ep_links ;
 1893   struct address_space *f_mapping ;
 1894   unsigned long f_mnt_write_state ;
 1895};
 1896#line 1064
 1897struct files_struct;
 1898#line 1064
 1899struct files_struct;
 1900#line 1064 "include/linux/fs.h"
 1901typedef struct files_struct *fl_owner_t;
 1902#line 1065 "include/linux/fs.h"
 1903struct file_lock_operations {
 1904   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
 1905   void (*fl_release_private)(struct file_lock * ) ;
 1906};
 1907#line 1070 "include/linux/fs.h"
 1908struct lock_manager_operations {
 1909   int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
 1910   void (*fl_notify)(struct file_lock * ) ;
 1911   int (*fl_grant)(struct file_lock * , struct file_lock * , int  ) ;
 1912   void (*fl_release_private)(struct file_lock * ) ;
 1913   void (*fl_break)(struct file_lock * ) ;
 1914   int (*fl_change)(struct file_lock ** , int  ) ;
 1915};
 1916#line 163 "include/linux/nfs.h"
 1917struct nlm_lockowner;
 1918#line 163
 1919struct nlm_lockowner;
 1920#line 164 "include/linux/nfs.h"
 1921struct nfs_lock_info {
 1922   u32 state ;
 1923   struct nlm_lockowner *owner ;
 1924   struct list_head list ;
 1925};
 1926#line 18 "include/linux/nfs_fs_i.h"
 1927struct nfs4_lock_state;
 1928#line 18
 1929struct nfs4_lock_state;
 1930#line 19 "include/linux/nfs_fs_i.h"
 1931struct nfs4_lock_info {
 1932   struct nfs4_lock_state *owner ;
 1933};
 1934#line 23
 1935struct fasync_struct;
 1936#line 23
 1937struct fasync_struct;
 1938#line 23 "include/linux/nfs_fs_i.h"
 1939struct __anonstruct_afs_138 {
 1940   struct list_head link ;
 1941   int state ;
 1942};
 1943#line 23 "include/linux/nfs_fs_i.h"
 1944union __anonunion_fl_u_137 {
 1945   struct nfs_lock_info nfs_fl ;
 1946   struct nfs4_lock_info nfs4_fl ;
 1947   struct __anonstruct_afs_138 afs ;
 1948};
 1949#line 23 "include/linux/nfs_fs_i.h"
 1950struct file_lock {
 1951   struct file_lock *fl_next ;
 1952   struct list_head fl_link ;
 1953   struct list_head fl_block ;
 1954   fl_owner_t fl_owner ;
 1955   unsigned char fl_flags ;
 1956   unsigned char fl_type ;
 1957   unsigned int fl_pid ;
 1958   struct pid *fl_nspid ;
 1959   wait_queue_head_t fl_wait ;
 1960   struct file *fl_file ;
 1961   loff_t fl_start ;
 1962   loff_t fl_end ;
 1963   struct fasync_struct *fl_fasync ;
 1964   unsigned long fl_break_time ;
 1965   struct file_lock_operations  const  *fl_ops ;
 1966   struct lock_manager_operations  const  *fl_lmops ;
 1967   union __anonunion_fl_u_137 fl_u ;
 1968};
 1969#line 1171 "include/linux/fs.h"
 1970struct fasync_struct {
 1971   spinlock_t fa_lock ;
 1972   int magic ;
 1973   int fa_fd ;
 1974   struct fasync_struct *fa_next ;
 1975   struct file *fa_file ;
 1976   struct rcu_head fa_rcu ;
 1977};
 1978#line 1363
 1979struct file_system_type;
 1980#line 1363
 1981struct file_system_type;
 1982#line 1363
 1983struct super_operations;
 1984#line 1363
 1985struct super_operations;
 1986#line 1363
 1987struct xattr_handler;
 1988#line 1363
 1989struct xattr_handler;
 1990#line 1363
 1991struct mtd_info;
 1992#line 1363
 1993struct mtd_info;
 1994#line 1363 "include/linux/fs.h"
 1995struct super_block {
 1996   struct list_head s_list ;
 1997   dev_t s_dev ;
 1998   unsigned char s_dirt ;
 1999   unsigned char s_blocksize_bits ;
 2000   unsigned long s_blocksize ;
 2001   loff_t s_maxbytes ;
 2002   struct file_system_type *s_type ;
 2003   struct super_operations  const  *s_op ;
 2004   struct dquot_operations  const  *dq_op ;
 2005   struct quotactl_ops  const  *s_qcop ;
 2006   struct export_operations  const  *s_export_op ;
 2007   unsigned long s_flags ;
 2008   unsigned long s_magic ;
 2009   struct dentry *s_root ;
 2010   struct rw_semaphore s_umount ;
 2011   struct mutex s_lock ;
 2012   int s_count ;
 2013   atomic_t s_active ;
 2014   void *s_security ;
 2015   struct xattr_handler  const  **s_xattr ;
 2016   struct list_head s_inodes ;
 2017   struct hlist_bl_head s_anon ;
 2018   struct list_head *s_files ;
 2019   struct list_head s_dentry_lru ;
 2020   int s_nr_dentry_unused ;
 2021   struct block_device *s_bdev ;
 2022   struct backing_dev_info *s_bdi ;
 2023   struct mtd_info *s_mtd ;
 2024   struct list_head s_instances ;
 2025   struct quota_info s_dquot ;
 2026   int s_frozen ;
 2027   wait_queue_head_t s_wait_unfrozen ;
 2028   char s_id[32U] ;
 2029   u8 s_uuid[16U] ;
 2030   void *s_fs_info ;
 2031   fmode_t s_mode ;
 2032   u32 s_time_gran ;
 2033   struct mutex s_vfs_rename_mutex ;
 2034   char *s_subtype ;
 2035   char *s_options ;
 2036   struct dentry_operations  const  *s_d_op ;
 2037   int cleancache_poolid ;
 2038};
 2039#line 1495 "include/linux/fs.h"
 2040struct fiemap_extent_info {
 2041   unsigned int fi_flags ;
 2042   unsigned int fi_extents_mapped ;
 2043   unsigned int fi_extents_max ;
 2044   struct fiemap_extent *fi_extents_start ;
 2045};
 2046#line 1534 "include/linux/fs.h"
 2047struct file_operations {
 2048   struct module *owner ;
 2049   loff_t (*llseek)(struct file * , loff_t  , int  ) ;
 2050   ssize_t (*read)(struct file * , char * , size_t  , loff_t * ) ;
 2051   ssize_t (*write)(struct file * , char const   * , size_t  , loff_t * ) ;
 2052   ssize_t (*aio_read)(struct kiocb * , struct iovec  const  * , unsigned long  ,
 2053                       loff_t  ) ;
 2054   ssize_t (*aio_write)(struct kiocb * , struct iovec  const  * , unsigned long  ,
 2055                        loff_t  ) ;
 2056   int (*readdir)(struct file * , void * , int (*)(void * , char const   * , int  ,
 2057                                                   loff_t  , u64  , unsigned int  ) ) ;
 2058   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
 2059   long (*unlocked_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
 2060   long (*compat_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
 2061   int (*mmap)(struct file * , struct vm_area_struct * ) ;
 2062   int (*open)(struct inode * , struct file * ) ;
 2063   int (*flush)(struct file * , fl_owner_t  ) ;
 2064   int (*release)(struct inode * , struct file * ) ;
 2065   int (*fsync)(struct file * , int  ) ;
 2066   int (*aio_fsync)(struct kiocb * , int  ) ;
 2067   int (*fasync)(int  , struct file * , int  ) ;
 2068   int (*lock)(struct file * , int  , struct file_lock * ) ;
 2069   ssize_t (*sendpage)(struct file * , struct page * , int  , size_t  , loff_t * ,
 2070                       int  ) ;
 2071   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
 2072                                      unsigned long  , unsigned long  ) ;
 2073   int (*check_flags)(int  ) ;
 2074   int (*flock)(struct file * , int  , struct file_lock * ) ;
 2075   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t  ,
 2076                           unsigned int  ) ;
 2077   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t  ,
 2078                          unsigned int  ) ;
 2079   int (*setlease)(struct file * , long  , struct file_lock ** ) ;
 2080   long (*fallocate)(struct file * , int  , loff_t  , loff_t  ) ;
 2081};
 2082#line 1574 "include/linux/fs.h"
 2083struct inode_operations {
 2084   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
 2085   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
 2086   int (*permission)(struct inode * , int  , unsigned int  ) ;
 2087   int (*check_acl)(struct inode * , int  , unsigned int  ) ;
 2088   int (*readlink)(struct dentry * , char * , int  ) ;
 2089   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
 2090   int (*create)(struct inode * , struct dentry * , int  , struct nameidata * ) ;
 2091   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
 2092   int (*unlink)(struct inode * , struct dentry * ) ;
 2093   int (*symlink)(struct inode * , struct dentry * , char const   * ) ;
 2094   int (*mkdir)(struct inode * , struct dentry * , int  ) ;
 2095   int (*rmdir)(struct inode * , struct dentry * ) ;
 2096   int (*mknod)(struct inode * , struct dentry * , int  , dev_t  ) ;
 2097   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
 2098   void (*truncate)(struct inode * ) ;
 2099   int (*setattr)(struct dentry * , struct iattr * ) ;
 2100   int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
 2101   int (*setxattr)(struct dentry * , char const   * , void const   * , size_t  , int  ) ;
 2102   ssize_t (*getxattr)(struct dentry * , char const   * , void * , size_t  ) ;
 2103   ssize_t (*listxattr)(struct dentry * , char * , size_t  ) ;
 2104   int (*removexattr)(struct dentry * , char const   * ) ;
 2105   void (*truncate_range)(struct inode * , loff_t  , loff_t  ) ;
 2106   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64  , u64  ) ;
 2107};
 2108#line 1620 "include/linux/fs.h"
 2109struct super_operations {
 2110   struct inode *(*alloc_inode)(struct super_block * ) ;
 2111   void (*destroy_inode)(struct inode * ) ;
 2112   void (*dirty_inode)(struct inode * , int  ) ;
 2113   int (*write_inode)(struct inode * , struct writeback_control * ) ;
 2114   int (*drop_inode)(struct inode * ) ;
 2115   void (*evict_inode)(struct inode * ) ;
 2116   void (*put_super)(struct super_block * ) ;
 2117   void (*write_super)(struct super_block * ) ;
 2118   int (*sync_fs)(struct super_block * , int  ) ;
 2119   int (*freeze_fs)(struct super_block * ) ;
 2120   int (*unfreeze_fs)(struct super_block * ) ;
 2121   int (*statfs)(struct dentry * , struct kstatfs * ) ;
 2122   int (*remount_fs)(struct super_block * , int * , char * ) ;
 2123   void (*umount_begin)(struct super_block * ) ;
 2124   int (*show_options)(struct seq_file * , struct vfsmount * ) ;
 2125   int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
 2126   int (*show_path)(struct seq_file * , struct vfsmount * ) ;
 2127   int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
 2128   ssize_t (*quota_read)(struct super_block * , int  , char * , size_t  , loff_t  ) ;
 2129   ssize_t (*quota_write)(struct super_block * , int  , char const   * , size_t  ,
 2130                          loff_t  ) ;
 2131   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t  ) ;
 2132};
 2133#line 1801 "include/linux/fs.h"
 2134struct file_system_type {
 2135   char const   *name ;
 2136   int fs_flags ;
 2137   struct dentry *(*mount)(struct file_system_type * , int  , char const   * , void * ) ;
 2138   void (*kill_sb)(struct super_block * ) ;
 2139   struct module *owner ;
 2140   struct file_system_type *next ;
 2141   struct list_head fs_supers ;
 2142   struct lock_class_key s_lock_key ;
 2143   struct lock_class_key s_umount_key ;
 2144   struct lock_class_key s_vfs_rename_key ;
 2145   struct lock_class_key i_lock_key ;
 2146   struct lock_class_key i_mutex_key ;
 2147   struct lock_class_key i_mutex_dir_key ;
 2148   struct lock_class_key i_alloc_sem_key ;
 2149};
 2150#line 2600 "include/linux/fs.h"
 2151struct exception_table_entry {
 2152   unsigned long insn ;
 2153   unsigned long fixup ;
 2154};
 2155#line 34 "include/linux/poll.h"
 2156struct poll_table_struct {
 2157   void (*qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
 2158   unsigned long key ;
 2159};
 2160#line 140
 2161struct hlist_nulls_node;
 2162#line 140
 2163struct hlist_nulls_node;
 2164#line 140 "include/linux/poll.h"
 2165struct hlist_nulls_head {
 2166   struct hlist_nulls_node *first ;
 2167};
 2168#line 20 "include/linux/list_nulls.h"
 2169struct hlist_nulls_node {
 2170   struct hlist_nulls_node *next ;
 2171   struct hlist_nulls_node **pprev ;
 2172};
 2173#line 16 "include/linux/socket.h"
 2174struct iovec {
 2175   void *iov_base ;
 2176   __kernel_size_t iov_len ;
 2177};
 2178#line 38 "include/linux/socket.h"
 2179typedef unsigned short sa_family_t;
 2180#line 39 "include/linux/socket.h"
 2181struct sockaddr {
 2182   sa_family_t sa_family ;
 2183   char sa_data[14U] ;
 2184};
 2185#line 53 "include/linux/socket.h"
 2186struct msghdr {
 2187   void *msg_name ;
 2188   int msg_namelen ;
 2189   struct iovec *msg_iov ;
 2190   __kernel_size_t msg_iovlen ;
 2191   void *msg_control ;
 2192   __kernel_size_t msg_controllen ;
 2193   unsigned int msg_flags ;
 2194};
 2195#line 41 "include/linux/hdlc/ioctl.h"
 2196struct __anonstruct_sync_serial_settings_140 {
 2197   unsigned int clock_rate ;
 2198   unsigned int clock_type ;
 2199   unsigned short loopback ;
 2200};
 2201#line 41 "include/linux/hdlc/ioctl.h"
 2202typedef struct __anonstruct_sync_serial_settings_140 sync_serial_settings;
 2203#line 48 "include/linux/hdlc/ioctl.h"
 2204struct __anonstruct_te1_settings_141 {
 2205   unsigned int clock_rate ;
 2206   unsigned int clock_type ;
 2207   unsigned short loopback ;
 2208   unsigned int slot_map ;
 2209};
 2210#line 48 "include/linux/hdlc/ioctl.h"
 2211typedef struct __anonstruct_te1_settings_141 te1_settings;
 2212#line 53 "include/linux/hdlc/ioctl.h"
 2213struct __anonstruct_raw_hdlc_proto_142 {
 2214   unsigned short encoding ;
 2215   unsigned short parity ;
 2216};
 2217#line 53 "include/linux/hdlc/ioctl.h"
 2218typedef struct __anonstruct_raw_hdlc_proto_142 raw_hdlc_proto;
 2219#line 63 "include/linux/hdlc/ioctl.h"
 2220struct __anonstruct_fr_proto_143 {
 2221   unsigned int t391 ;
 2222   unsigned int t392 ;
 2223   unsigned int n391 ;
 2224   unsigned int n392 ;
 2225   unsigned int n393 ;
 2226   unsigned short lmi ;
 2227   unsigned short dce ;
 2228};
 2229#line 63 "include/linux/hdlc/ioctl.h"
 2230typedef struct __anonstruct_fr_proto_143 fr_proto;
 2231#line 67 "include/linux/hdlc/ioctl.h"
 2232struct __anonstruct_fr_proto_pvc_144 {
 2233   unsigned int dlci ;
 2234};
 2235#line 67 "include/linux/hdlc/ioctl.h"
 2236typedef struct __anonstruct_fr_proto_pvc_144 fr_proto_pvc;
 2237#line 72 "include/linux/hdlc/ioctl.h"
 2238struct __anonstruct_fr_proto_pvc_info_145 {
 2239   unsigned int dlci ;
 2240   char master[16U] ;
 2241};
 2242#line 72 "include/linux/hdlc/ioctl.h"
 2243typedef struct __anonstruct_fr_proto_pvc_info_145 fr_proto_pvc_info;
 2244#line 77 "include/linux/hdlc/ioctl.h"
 2245struct __anonstruct_cisco_proto_146 {
 2246   unsigned int interval ;
 2247   unsigned int timeout ;
 2248};
 2249#line 77 "include/linux/hdlc/ioctl.h"
 2250typedef struct __anonstruct_cisco_proto_146 cisco_proto;
 2251#line 93 "include/linux/hdlc/ioctl.h"
 2252struct ifmap {
 2253   unsigned long mem_start ;
 2254   unsigned long mem_end ;
 2255   unsigned short base_addr ;
 2256   unsigned char irq ;
 2257   unsigned char dma ;
 2258   unsigned char port ;
 2259};
 2260#line 142 "include/linux/if.h"
 2261union __anonunion_ifs_ifsu_147 {
 2262   raw_hdlc_proto *raw_hdlc ;
 2263   cisco_proto *cisco ;
 2264   fr_proto *fr ;
 2265   fr_proto_pvc *fr_pvc ;
 2266   fr_proto_pvc_info *fr_pvc_info ;
 2267   sync_serial_settings *sync ;
 2268   te1_settings *te1 ;
 2269};
 2270#line 142 "include/linux/if.h"
 2271struct if_settings {
 2272   unsigned int type ;
 2273   unsigned int size ;
 2274   union __anonunion_ifs_ifsu_147 ifs_ifsu ;
 2275};
 2276#line 160 "include/linux/if.h"
 2277union __anonunion_ifr_ifrn_148 {
 2278   char ifrn_name[16U] ;
 2279};
 2280#line 160 "include/linux/if.h"
 2281union __anonunion_ifr_ifru_149 {
 2282   struct sockaddr ifru_addr ;
 2283   struct sockaddr ifru_dstaddr ;
 2284   struct sockaddr ifru_broadaddr ;
 2285   struct sockaddr ifru_netmask ;
 2286   struct sockaddr ifru_hwaddr ;
 2287   short ifru_flags ;
 2288   int ifru_ivalue ;
 2289   int ifru_mtu ;
 2290   struct ifmap ifru_map ;
 2291   char ifru_slave[16U] ;
 2292   char ifru_newname[16U] ;
 2293   void *ifru_data ;
 2294   struct if_settings ifru_settings ;
 2295};
 2296#line 160 "include/linux/if.h"
 2297struct ifreq {
 2298   union __anonunion_ifr_ifrn_148 ifr_ifrn ;
 2299   union __anonunion_ifr_ifru_149 ifr_ifru ;
 2300};
 2301#line 224 "include/linux/if.h"
 2302struct ethhdr {
 2303   unsigned char h_dest[6U] ;
 2304   unsigned char h_source[6U] ;
 2305   __be16 h_proto ;
 2306};
 2307#line 124 "include/linux/if_ether.h"
 2308struct rb_node {
 2309   unsigned long rb_parent_color ;
 2310   struct rb_node *rb_right ;
 2311   struct rb_node *rb_left ;
 2312};
 2313#line 108 "include/linux/rbtree.h"
 2314struct rb_root {
 2315   struct rb_node *rb_node ;
 2316};
 2317#line 180 "include/linux/rbtree.h"
 2318struct __anonstruct_ldv_17786_152 {
 2319   u16 inuse ;
 2320   u16 objects ;
 2321};
 2322#line 180 "include/linux/rbtree.h"
 2323union __anonunion_ldv_17787_151 {
 2324   atomic_t _mapcount ;
 2325   struct __anonstruct_ldv_17786_152 ldv_17786 ;
 2326};
 2327#line 180 "include/linux/rbtree.h"
 2328struct __anonstruct_ldv_17792_154 {
 2329   unsigned long private ;
 2330   struct address_space *mapping ;
 2331};
 2332#line 180 "include/linux/rbtree.h"
 2333union __anonunion_ldv_17795_153 {
 2334   struct __anonstruct_ldv_17792_154 ldv_17792 ;
 2335   struct kmem_cache *slab ;
 2336   struct page *first_page ;
 2337};
 2338#line 180 "include/linux/rbtree.h"
 2339union __anonunion_ldv_17799_155 {
 2340   unsigned long index ;
 2341   void *freelist ;
 2342};
 2343#line 180 "include/linux/rbtree.h"
 2344struct page {
 2345   unsigned long flags ;
 2346   atomic_t _count ;
 2347   union __anonunion_ldv_17787_151 ldv_17787 ;
 2348   union __anonunion_ldv_17795_153 ldv_17795 ;
 2349   union __anonunion_ldv_17799_155 ldv_17799 ;
 2350   struct list_head lru ;
 2351};
 2352#line 124 "include/linux/mm_types.h"
 2353struct __anonstruct_vm_set_157 {
 2354   struct list_head list ;
 2355   void *parent ;
 2356   struct vm_area_struct *head ;
 2357};
 2358#line 124 "include/linux/mm_types.h"
 2359union __anonunion_shared_156 {
 2360   struct __anonstruct_vm_set_157 vm_set ;
 2361   struct raw_prio_tree_node prio_tree_node ;
 2362};
 2363#line 124
 2364struct anon_vma;
 2365#line 124
 2366struct anon_vma;
 2367#line 124
 2368struct vm_operations_struct;
 2369#line 124
 2370struct vm_operations_struct;
 2371#line 124
 2372struct mempolicy;
 2373#line 124
 2374struct mempolicy;
 2375#line 124 "include/linux/mm_types.h"
 2376struct vm_area_struct {
 2377   struct mm_struct *vm_mm ;
 2378   unsigned long vm_start ;
 2379   unsigned long vm_end ;
 2380   struct vm_area_struct *vm_next ;
 2381   struct vm_area_struct *vm_prev ;
 2382   pgprot_t vm_page_prot ;
 2383   unsigned long vm_flags ;
 2384   struct rb_node vm_rb ;
 2385   union __anonunion_shared_156 shared ;
 2386   struct list_head anon_vma_chain ;
 2387   struct anon_vma *anon_vma ;
 2388   struct vm_operations_struct  const  *vm_ops ;
 2389   unsigned long vm_pgoff ;
 2390   struct file *vm_file ;
 2391   void *vm_private_data ;
 2392   struct mempolicy *vm_policy ;
 2393};
 2394#line 187 "include/linux/mm_types.h"
 2395struct core_thread {
 2396   struct task_struct *task ;
 2397   struct core_thread *next ;
 2398};
 2399#line 193 "include/linux/mm_types.h"
 2400struct core_state {
 2401   atomic_t nr_threads ;
 2402   struct core_thread dumper ;
 2403   struct completion startup ;
 2404};
 2405#line 206 "include/linux/mm_types.h"
 2406struct mm_rss_stat {
 2407   atomic_long_t count[3U] ;
 2408};
 2409#line 219
 2410struct linux_binfmt;
 2411#line 219
 2412struct linux_binfmt;
 2413#line 219
 2414struct mmu_notifier_mm;
 2415#line 219
 2416struct mmu_notifier_mm;
 2417#line 219 "include/linux/mm_types.h"
 2418struct mm_struct {
 2419   struct vm_area_struct *mmap ;
 2420   struct rb_root mm_rb ;
 2421   struct vm_area_struct *mmap_cache ;
 2422   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
 2423                                      unsigned long  , unsigned long  ) ;
 2424   void (*unmap_area)(struct mm_struct * , unsigned long  ) ;
 2425   unsigned long mmap_base ;
 2426   unsigned long task_size ;
 2427   unsigned long cached_hole_size ;
 2428   unsigned long free_area_cache ;
 2429   pgd_t *pgd ;
 2430   atomic_t mm_users ;
 2431   atomic_t mm_count ;
 2432   int map_count ;
 2433   spinlock_t page_table_lock ;
 2434   struct rw_semaphore mmap_sem ;
 2435   struct list_head mmlist ;
 2436   unsigned long hiwater_rss ;
 2437   unsigned long hiwater_vm ;
 2438   unsigned long total_vm ;
 2439   unsigned long locked_vm ;
 2440   unsigned long shared_vm ;
 2441   unsigned long exec_vm ;
 2442   unsigned long stack_vm ;
 2443   unsigned long reserved_vm ;
 2444   unsigned long def_flags ;
 2445   unsigned long nr_ptes ;
 2446   unsigned long start_code ;
 2447   unsigned long end_code ;
 2448   unsigned long start_data ;
 2449   unsigned long end_data ;
 2450   unsigned long start_brk ;
 2451   unsigned long brk ;
 2452   unsigned long start_stack ;
 2453   unsigned long arg_start ;
 2454   unsigned long arg_end ;
 2455   unsigned long env_start ;
 2456   unsigned long env_end ;
 2457   unsigned long saved_auxv[44U] ;
 2458   struct mm_rss_stat rss_stat ;
 2459   struct linux_binfmt *binfmt ;
 2460   cpumask_var_t cpu_vm_mask_var ;
 2461   mm_context_t context ;
 2462   unsigned int faultstamp ;
 2463   unsigned int token_priority ;
 2464   unsigned int last_interval ;
 2465   atomic_t oom_disable_count ;
 2466   unsigned long flags ;
 2467   struct core_state *core_state ;
 2468   spinlock_t ioctx_lock ;
 2469   struct hlist_head ioctx_list ;
 2470   struct task_struct *owner ;
 2471   struct file *exe_file ;
 2472   unsigned long num_exe_file_vmas ;
 2473   struct mmu_notifier_mm *mmu_notifier_mm ;
 2474   pgtable_t pmd_huge_pte ;
 2475   struct cpumask cpumask_allocation ;
 2476};
 2477#line 158 "include/linux/kmemcheck.h"
 2478enum ldv_15825 {
 2479    SS_FREE = 0,
 2480    SS_UNCONNECTED = 1,
 2481    SS_CONNECTING = 2,
 2482    SS_CONNECTED = 3,
 2483    SS_DISCONNECTING = 4
 2484} ;
 2485#line 53 "include/linux/net.h"
 2486typedef enum ldv_15825 socket_state;
 2487#line 104 "include/linux/random.h"
 2488struct net;
 2489#line 104
 2490struct net;
 2491#line 121 "include/linux/random.h"
 2492struct socket_wq {
 2493   wait_queue_head_t wait ;
 2494   struct fasync_struct *fasync_list ;
 2495   struct rcu_head rcu ;
 2496};
 2497#line 127
 2498struct proto_ops;
 2499#line 127
 2500struct proto_ops;
 2501#line 127 "include/linux/random.h"
 2502struct socket {
 2503   socket_state state ;
 2504   short type ;
 2505   unsigned long flags ;
 2506   struct socket_wq *wq ;
 2507   struct file *file ;
 2508   struct sock *sk ;
 2509   struct proto_ops  const  *ops ;
 2510};
 2511#line 153 "include/linux/net.h"
 2512struct proto_ops {
 2513   int family ;
 2514   struct module *owner ;
 2515   int (*release)(struct socket * ) ;
 2516   int (*bind)(struct socket * , struct sockaddr * , int  ) ;
 2517   int (*connect)(struct socket * , struct sockaddr * , int  , int  ) ;
 2518   int (*socketpair)(struct socket * , struct socket * ) ;
 2519   int (*accept)(struct socket * , struct socket * , int  ) ;
 2520   int (*getname)(struct socket * , struct sockaddr * , int * , int  ) ;
 2521   unsigned int (*poll)(struct file * , struct socket * , struct poll_table_struct * ) ;
 2522   int (*ioctl)(struct socket * , unsigned int  , unsigned long  ) ;
 2523   int (*compat_ioctl)(struct socket * , unsigned int  , unsigned long  ) ;
 2524   int (*listen)(struct socket * , int  ) ;
 2525   int (*shutdown)(struct socket * , int  ) ;
 2526   int (*setsockopt)(struct socket * , int  , int  , char * , unsigned int  ) ;
 2527   int (*getsockopt)(struct socket * , int  , int  , char * , int * ) ;
 2528   int (*compat_setsockopt)(struct socket * , int  , int  , char * , unsigned int  ) ;
 2529   int (*compat_getsockopt)(struct socket * , int  , int  , char * , int * ) ;
 2530   int (*sendmsg)(struct kiocb * , struct socket * , struct msghdr * , size_t  ) ;
 2531   int (*recvmsg)(struct kiocb * , struct socket * , struct msghdr * , size_t  , int  ) ;
 2532   int (*mmap)(struct file * , struct socket * , struct vm_area_struct * ) ;
 2533   ssize_t (*sendpage)(struct socket * , struct page * , int  , size_t  , int  ) ;
 2534   ssize_t (*splice_read)(struct socket * , loff_t * , struct pipe_inode_info * ,
 2535                          size_t  , unsigned int  ) ;
 2536};
 2537#line 118 "include/linux/kmemleak.h"
 2538struct kmem_cache_cpu {
 2539   void **freelist ;
 2540   unsigned long tid ;
 2541   struct page *page ;
 2542   int node ;
 2543   unsigned int stat[19U] ;
 2544};
 2545#line 46 "include/linux/slub_def.h"
 2546struct kmem_cache_node {
 2547   spinlock_t list_lock ;
 2548   unsigned long nr_partial ;
 2549   struct list_head partial ;
 2550   atomic_long_t nr_slabs ;
 2551   atomic_long_t total_objects ;
 2552   struct list_head full ;
 2553};
 2554#line 57 "include/linux/slub_def.h"
 2555struct kmem_cache_order_objects {
 2556   unsigned long x ;
 2557};
 2558#line 67 "include/linux/slub_def.h"
 2559struct kmem_cache {
 2560   struct kmem_cache_cpu *cpu_slab ;
 2561   unsigned long flags ;
 2562   unsigned long min_partial ;
 2563   int size ;
 2564   int objsize ;
 2565   int offset ;
 2566   struct kmem_cache_order_objects oo ;
 2567   struct kmem_cache_order_objects max ;
 2568   struct kmem_cache_order_objects min ;
 2569   gfp_t allocflags ;
 2570   int refcount ;
 2571   void (*ctor)(void * ) ;
 2572   int inuse ;
 2573   int align ;
 2574   int reserved ;
 2575   char const   *name ;
 2576   struct list_head list ;
 2577   struct kobject kobj ;
 2578   int remote_node_defrag_ratio ;
 2579   struct kmem_cache_node *node[1024U] ;
 2580};
 2581#line 108 "include/net/checksum.h"
 2582struct sk_buff;
 2583#line 108
 2584struct sk_buff;
 2585#line 120
 2586struct klist_node;
 2587#line 120
 2588struct klist_node;
 2589#line 37 "include/linux/klist.h"
 2590struct klist_node {
 2591   void *n_klist ;
 2592   struct list_head n_node ;
 2593   struct kref n_ref ;
 2594};
 2595#line 67
 2596struct dma_map_ops;
 2597#line 67
 2598struct dma_map_ops;
 2599#line 67 "include/linux/klist.h"
 2600struct dev_archdata {
 2601   void *acpi_handle ;
 2602   struct dma_map_ops *dma_ops ;
 2603   void *iommu ;
 2604};
 2605#line 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2606struct device_private;
 2607#line 17
 2608struct device_private;
 2609#line 18
 2610struct device_driver;
 2611#line 18
 2612struct device_driver;
 2613#line 19
 2614struct driver_private;
 2615#line 19
 2616struct driver_private;
 2617#line 20
 2618struct class;
 2619#line 20
 2620struct class;
 2621#line 21
 2622struct subsys_private;
 2623#line 21
 2624struct subsys_private;
 2625#line 22
 2626struct bus_type;
 2627#line 22
 2628struct bus_type;
 2629#line 23
 2630struct device_node;
 2631#line 23
 2632struct device_node;
 2633#line 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2634struct bus_attribute {
 2635   struct attribute attr ;
 2636   ssize_t (*show)(struct bus_type * , char * ) ;
 2637   ssize_t (*store)(struct bus_type * , char const   * , size_t  ) ;
 2638};
 2639#line 49 "include/linux/device.h"
 2640struct device_attribute;
 2641#line 49
 2642struct device_attribute;
 2643#line 49
 2644struct driver_attribute;
 2645#line 49
 2646struct driver_attribute;
 2647#line 49 "include/linux/device.h"
 2648struct bus_type {
 2649   char const   *name ;
 2650   struct bus_attribute *bus_attrs ;
 2651   struct device_attribute *dev_attrs ;
 2652   struct driver_attribute *drv_attrs ;
 2653   int (*match)(struct device * , struct device_driver * ) ;
 2654   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 2655   int (*probe)(struct device * ) ;
 2656   int (*remove)(struct device * ) ;
 2657   void (*shutdown)(struct device * ) ;
 2658   int (*suspend)(struct device * , pm_message_t  ) ;
 2659   int (*resume)(struct device * ) ;
 2660   struct dev_pm_ops  const  *pm ;
 2661   struct subsys_private *p ;
 2662};
 2663#line 153
 2664struct of_device_id;
 2665#line 153
 2666struct of_device_id;
 2667#line 153 "include/linux/device.h"
 2668struct device_driver {
 2669   char const   *name ;
 2670   struct bus_type *bus ;
 2671   struct module *owner ;
 2672   char const   *mod_name ;
 2673   bool suppress_bind_attrs ;
 2674   struct of_device_id  const  *of_match_table ;
 2675   int (*probe)(struct device * ) ;
 2676   int (*remove)(struct device * ) ;
 2677   void (*shutdown)(struct device * ) ;
 2678   int (*suspend)(struct device * , pm_message_t  ) ;
 2679   int (*resume)(struct device * ) ;
 2680   struct attribute_group  const  **groups ;
 2681   struct dev_pm_ops  const  *pm ;
 2682   struct driver_private *p ;
 2683};
 2684#line 218 "include/linux/device.h"
 2685struct driver_attribute {
 2686   struct attribute attr ;
 2687   ssize_t (*show)(struct device_driver * , char * ) ;
 2688   ssize_t (*store)(struct device_driver * , char const   * , size_t  ) ;
 2689};
 2690#line 248
 2691struct class_attribute;
 2692#line 248
 2693struct class_attribute;
 2694#line 248 "include/linux/device.h"
 2695struct class {
 2696   char const   *name ;
 2697   struct module *owner ;
 2698   struct class_attribute *class_attrs ;
 2699   struct device_attribute *dev_attrs ;
 2700   struct bin_attribute *dev_bin_attrs ;
 2701   struct kobject *dev_kobj ;
 2702   int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
 2703   char *(*devnode)(struct device * , mode_t * ) ;
 2704   void (*class_release)(struct class * ) ;
 2705   void (*dev_release)(struct device * ) ;
 2706   int (*suspend)(struct device * , pm_message_t  ) ;
 2707   int (*resume)(struct device * ) ;
 2708   struct kobj_ns_type_operations  const  *ns_type ;
 2709   void const   *(*namespace)(struct device * ) ;
 2710   struct dev_pm_ops  const  *pm ;
 2711   struct subsys_private *p ;
 2712};
 2713#line 305
 2714struct device_type;
 2715#line 305
 2716struct device_type;
 2717#line 344 "include/linux/device.h"
 2718struct class_attribute {
 2719   struct attribute attr ;
 2720   ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
 2721   ssize_t (*store)(struct class * , struct class_attribute * , char const   * , size_t  ) ;
 2722};
 2723#line 395 "include/linux/device.h"
 2724struct device_type {
 2725   char const   *name ;
 2726   struct attribute_group  const  **groups ;
 2727   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 2728   char *(*devnode)(struct device * , mode_t * ) ;
 2729   void (*release)(struct device * ) ;
 2730   struct dev_pm_ops  const  *pm ;
 2731};
 2732#line 422 "include/linux/device.h"
 2733struct device_attribute {
 2734   struct attribute attr ;
 2735   ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
 2736   ssize_t (*store)(struct device * , struct device_attribute * , char const   * ,
 2737                    size_t  ) ;
 2738};
 2739#line 483 "include/linux/device.h"
 2740struct device_dma_parameters {
 2741   unsigned int max_segment_size ;
 2742   unsigned long segment_boundary_mask ;
 2743};
 2744#line 492
 2745struct dma_coherent_mem;
 2746#line 492
 2747struct dma_coherent_mem;
 2748#line 492 "include/linux/device.h"
 2749struct device {
 2750   struct device *parent ;
 2751   struct device_private *p ;
 2752   struct kobject kobj ;
 2753   char const   *init_name ;
 2754   struct device_type  const  *type ;
 2755   struct mutex mutex ;
 2756   struct bus_type *bus ;
 2757   struct device_driver *driver ;
 2758   void *platform_data ;
 2759   struct dev_pm_info power ;
 2760   struct dev_power_domain *pwr_domain ;
 2761   int numa_node ;
 2762   u64 *dma_mask ;
 2763   u64 coherent_dma_mask ;
 2764   struct device_dma_parameters *dma_parms ;
 2765   struct list_head dma_pools ;
 2766   struct dma_coherent_mem *dma_mem ;
 2767   struct dev_archdata archdata ;
 2768   struct device_node *of_node ;
 2769   dev_t devt ;
 2770   spinlock_t devres_lock ;
 2771   struct list_head devres_head ;
 2772   struct klist_node knode_class ;
 2773   struct class *class ;
 2774   struct attribute_group  const  **groups ;
 2775   void (*release)(struct device * ) ;
 2776};
 2777#line 604 "include/linux/device.h"
 2778struct wakeup_source {
 2779   char *name ;
 2780   struct list_head entry ;
 2781   spinlock_t lock ;
 2782   struct timer_list timer ;
 2783   unsigned long timer_expires ;
 2784   ktime_t total_time ;
 2785   ktime_t max_time ;
 2786   ktime_t last_time ;
 2787   unsigned long event_count ;
 2788   unsigned long active_count ;
 2789   unsigned long relax_count ;
 2790   unsigned long hit_count ;
 2791   unsigned char active : 1 ;
 2792};
 2793#line 34 "include/linux/bug.h"
 2794struct dma_attrs {
 2795   unsigned long flags[1U] ;
 2796};
 2797#line 65 "include/linux/dma-attrs.h"
 2798struct scatterlist {
 2799   unsigned long sg_magic ;
 2800   unsigned long page_link ;
 2801   unsigned int offset ;
 2802   unsigned int length ;
 2803   dma_addr_t dma_address ;
 2804   unsigned int dma_length ;
 2805};
 2806#line 30 "include/linux/range.h"
 2807struct user_struct;
 2808#line 30
 2809struct user_struct;
 2810#line 175 "include/linux/mm.h"
 2811struct vm_fault {
 2812   unsigned int flags ;
 2813   unsigned long pgoff ;
 2814   void *virtual_address ;
 2815   struct page *page ;
 2816};
 2817#line 192 "include/linux/mm.h"
 2818struct vm_operations_struct {
 2819   void (*open)(struct vm_area_struct * ) ;
 2820   void (*close)(struct vm_area_struct * ) ;
 2821   int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
 2822   int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
 2823   int (*access)(struct vm_area_struct * , unsigned long  , void * , int  , int  ) ;
 2824   int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
 2825   struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long  ) ;
 2826   int (*migrate)(struct vm_area_struct * , nodemask_t const   * , nodemask_t const   * ,
 2827                  unsigned long  ) ;
 2828};
 2829#line 266 "include/linux/scatterlist.h"
 2830enum dma_data_direction {
 2831    DMA_BIDIRECTIONAL = 0,
 2832    DMA_TO_DEVICE = 1,
 2833    DMA_FROM_DEVICE = 2,
 2834    DMA_NONE = 3
 2835} ;
 2836#line 273 "include/linux/scatterlist.h"
 2837struct dma_map_ops {
 2838   void *(*alloc_coherent)(struct device * , size_t  , dma_addr_t * , gfp_t  ) ;
 2839   void (*free_coherent)(struct device * , size_t  , void * , dma_addr_t  ) ;
 2840   dma_addr_t (*map_page)(struct device * , struct page * , unsigned long  , size_t  ,
 2841                          enum dma_data_direction  , struct dma_attrs * ) ;
 2842   void (*unmap_page)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ,
 2843                      struct dma_attrs * ) ;
 2844   int (*map_sg)(struct device * , struct scatterlist * , int  , enum dma_data_direction  ,
 2845                 struct dma_attrs * ) ;
 2846   void (*unmap_sg)(struct device * , struct scatterlist * , int  , enum dma_data_direction  ,
 2847                    struct dma_attrs * ) ;
 2848   void (*sync_single_for_cpu)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 2849   void (*sync_single_for_device)(struct device * , dma_addr_t  , size_t  , enum dma_data_direction  ) ;
 2850   void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int  , enum dma_data_direction  ) ;
 2851   void (*sync_sg_for_device)(struct device * , struct scatterlist * , int  , enum dma_data_direction  ) ;
 2852   int (*mapping_error)(struct device * , dma_addr_t  ) ;
 2853   int (*dma_supported)(struct device * , u64  ) ;
 2854   int (*set_dma_mask)(struct device * , u64  ) ;
 2855   int is_phys ;
 2856};
 2857#line 33 "include/linux/dmaengine.h"
 2858typedef s32 dma_cookie_t;
 2859#line 874 "include/linux/dmaengine.h"
 2860struct timerqueue_node {
 2861   struct rb_node node ;
 2862   ktime_t expires ;
 2863};
 2864#line 12 "include/linux/timerqueue.h"
 2865struct timerqueue_head {
 2866   struct rb_root head ;
 2867   struct timerqueue_node *next ;
 2868};
 2869#line 50
 2870struct hrtimer_clock_base;
 2871#line 50
 2872struct hrtimer_clock_base;
 2873#line 51
 2874struct hrtimer_cpu_base;
 2875#line 51
 2876struct hrtimer_cpu_base;
 2877#line 60
 2878enum hrtimer_restart {
 2879    HRTIMER_NORESTART = 0,
 2880    HRTIMER_RESTART = 1
 2881} ;
 2882#line 65 "include/linux/timerqueue.h"
 2883struct hrtimer {
 2884   struct timerqueue_node node ;
 2885   ktime_t _softexpires ;
 2886   enum hrtimer_restart (*function)(struct hrtimer * ) ;
 2887   struct hrtimer_clock_base *base ;
 2888   unsigned long state ;
 2889   int start_pid ;
 2890   void *start_site ;
 2891   char start_comm[16U] ;
 2892};
 2893#line 132 "include/linux/hrtimer.h"
 2894struct hrtimer_clock_base {
 2895   struct hrtimer_cpu_base *cpu_base ;
 2896   int index ;
 2897   clockid_t clockid ;
 2898   struct timerqueue_head active ;
 2899   ktime_t resolution ;
 2900   ktime_t (*get_time)(void) ;
 2901   ktime_t softirq_time ;
 2902   ktime_t offset ;
 2903};
 2904#line 162 "include/linux/hrtimer.h"
 2905struct hrtimer_cpu_base {
 2906   raw_spinlock_t lock ;
 2907   unsigned long active_bases ;
 2908   ktime_t expires_next ;
 2909   int hres_active ;
 2910   int hang_detected ;
 2911   unsigned long nr_events ;
 2912   unsigned long nr_retries ;
 2913   unsigned long nr_hangs ;
 2914   ktime_t max_hang_time ;
 2915   struct hrtimer_clock_base clock_base[3U] ;
 2916};
 2917#line 452
 2918struct net_device;
 2919#line 452
 2920struct net_device;
 2921#line 453 "include/linux/hrtimer.h"
 2922struct nf_conntrack {
 2923   atomic_t use ;
 2924};
 2925#line 102 "include/linux/skbuff.h"
 2926struct nf_bridge_info {
 2927   atomic_t use ;
 2928   struct net_device *physindev ;
 2929   struct net_device *physoutdev ;
 2930   unsigned int mask ;
 2931   unsigned long data[4U] ;
 2932};
 2933#line 112 "include/linux/skbuff.h"
 2934struct sk_buff_head {
 2935   struct sk_buff *next ;
 2936   struct sk_buff *prev ;
 2937   __u32 qlen ;
 2938   spinlock_t lock ;
 2939};
 2940#line 259 "include/linux/skbuff.h"
 2941typedef unsigned int sk_buff_data_t;
 2942#line 260
 2943struct sec_path;
 2944#line 260
 2945struct sec_path;
 2946#line 260 "include/linux/skbuff.h"
 2947struct __anonstruct_ldv_23173_160 {
 2948   __u16 csum_start ;
 2949   __u16 csum_offset ;
 2950};
 2951#line 260 "include/linux/skbuff.h"
 2952union __anonunion_ldv_23174_159 {
 2953   __wsum csum ;
 2954   struct __anonstruct_ldv_23173_160 ldv_23173 ;
 2955};
 2956#line 260 "include/linux/skbuff.h"
 2957union __anonunion_ldv_23204_161 {
 2958   __u32 mark ;
 2959   __u32 dropcount ;
 2960};
 2961#line 260 "include/linux/skbuff.h"
 2962struct sk_buff {
 2963   struct sk_buff *next ;
 2964   struct sk_buff *prev ;
 2965   ktime_t tstamp ;
 2966   struct sock *sk ;
 2967   struct net_device *dev ;
 2968   char cb[48U] ;
 2969   unsigned long _skb_refdst ;
 2970   struct sec_path *sp ;
 2971   unsigned int len ;
 2972   unsigned int data_len ;
 2973   __u16 mac_len ;
 2974   __u16 hdr_len ;
 2975   union __anonunion_ldv_23174_159 ldv_23174 ;
 2976   __u32 priority ;
 2977   unsigned char local_df : 1 ;
 2978   unsigned char cloned : 1 ;
 2979   unsigned char ip_summed : 2 ;
 2980   unsigned char nohdr : 1 ;
 2981   unsigned char nfctinfo : 3 ;
 2982   unsigned char pkt_type : 3 ;
 2983   unsigned char fclone : 2 ;
 2984   unsigned char ipvs_property : 1 ;
 2985   unsigned char peeked : 1 ;
 2986   unsigned char nf_trace : 1 ;
 2987   __be16 protocol ;
 2988   void (*destructor)(struct sk_buff * ) ;
 2989   struct nf_conntrack *nfct ;
 2990   struct sk_buff *nfct_reasm ;
 2991   struct nf_bridge_info *nf_bridge ;
 2992   int skb_iif ;
 2993   __u16 tc_index ;
 2994   __u16 tc_verd ;
 2995   __u32 rxhash ;
 2996   __u16 queue_mapping ;
 2997   unsigned char ndisc_nodetype : 2 ;
 2998   unsigned char ooo_okay : 1 ;
 2999   dma_cookie_t dma_cookie ;
 3000   __u32 secmark ;
 3001   union __anonunion_ldv_23204_161 ldv_23204 ;
 3002   __u16 vlan_tci ;
 3003   sk_buff_data_t transport_header ;
 3004   sk_buff_data_t network_header ;
 3005   sk_buff_data_t mac_header ;
 3006   sk_buff_data_t tail ;
 3007   sk_buff_data_t end ;
 3008   unsigned char *head ;
 3009   unsigned char *data ;
 3010   unsigned int truesize ;
 3011   atomic_t users ;
 3012};
 3013#line 450
 3014struct dst_entry;
 3015#line 450
 3016struct dst_entry;
 3017#line 485
 3018struct rtable;
 3019#line 485
 3020struct rtable;
 3021#line 113 "include/linux/netlink.h"
 3022struct nlattr {
 3023   __u16 nla_len ;
 3024   __u16 nla_type ;
 3025};
 3026#line 39 "include/linux/if_link.h"
 3027struct rtnl_link_stats64 {
 3028   __u64 rx_packets ;
 3029   __u64 tx_packets ;
 3030   __u64 rx_bytes ;
 3031   __u64 tx_bytes ;
 3032   __u64 rx_errors ;
 3033   __u64 tx_errors ;
 3034   __u64 rx_dropped ;
 3035   __u64 tx_dropped ;
 3036   __u64 multicast ;
 3037   __u64 collisions ;
 3038   __u64 rx_length_errors ;
 3039   __u64 rx_over_errors ;
 3040   __u64 rx_crc_errors ;
 3041   __u64 rx_frame_errors ;
 3042   __u64 rx_fifo_errors ;
 3043   __u64 rx_missed_errors ;
 3044   __u64 tx_aborted_errors ;
 3045   __u64 tx_carrier_errors ;
 3046   __u64 tx_fifo_errors ;
 3047   __u64 tx_heartbeat_errors ;
 3048   __u64 tx_window_errors ;
 3049   __u64 rx_compressed ;
 3050   __u64 tx_compressed ;
 3051};
 3052#line 302 "include/linux/if_link.h"
 3053struct ifla_vf_info {
 3054   __u32 vf ;
 3055   __u8 mac[32U] ;
 3056   __u32 vlan ;
 3057   __u32 qos ;
 3058   __u32 tx_rate ;
 3059};
 3060#line 382 "include/linux/if_link.h"
 3061struct plist_head {
 3062   struct list_head node_list ;
 3063   raw_spinlock_t *rawlock ;
 3064   spinlock_t *spinlock ;
 3065};
 3066#line 88 "include/linux/plist.h"
 3067struct plist_node {
 3068   int prio ;
 3069   struct list_head prio_list ;
 3070   struct list_head node_list ;
 3071};
 3072#line 60 "include/linux/miscdevice.h"
 3073struct pm_qos_request_list {
 3074   struct plist_node list ;
 3075   int pm_qos_class ;
 3076};
 3077#line 118 "include/linux/sem.h"
 3078struct sem_undo_list;
 3079#line 118
 3080struct sem_undo_list;
 3081#line 131 "include/linux/sem.h"
 3082struct sem_undo_list {
 3083   atomic_t refcnt ;
 3084   spinlock_t lock ;
 3085   struct list_head list_proc ;
 3086};
 3087#line 140 "include/linux/sem.h"
 3088struct sysv_sem {
 3089   struct sem_undo_list *undo_list ;
 3090};
 3091#line 44 "include/linux/aio_abi.h"
 3092struct io_event {
 3093   __u64 data ;
 3094   __u64 obj ;
 3095   __s64 res ;
 3096   __s64 res2 ;
 3097};
 3098#line 7 "include/asm-generic/cputime.h"
 3099typedef unsigned long cputime_t;
 3100#line 26
 3101struct siginfo;
 3102#line 26
 3103struct siginfo;
 3104#line 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3105struct __anonstruct_sigset_t_162 {
 3106   unsigned long sig[1U] ;
 3107};
 3108#line 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3109typedef struct __anonstruct_sigset_t_162 sigset_t;
 3110#line 17 "include/asm-generic/signal-defs.h"
 3111typedef void __signalfn_t(int  );
 3112#line 18 "include/asm-generic/signal-defs.h"
 3113typedef __signalfn_t *__sighandler_t;
 3114#line 20 "include/asm-generic/signal-defs.h"
 3115typedef void __restorefn_t(void);
 3116#line 21 "include/asm-generic/signal-defs.h"
 3117typedef __restorefn_t *__sigrestore_t;
 3118#line 126 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3119struct sigaction {
 3120   __sighandler_t sa_handler ;
 3121   unsigned long sa_flags ;
 3122   __sigrestore_t sa_restorer ;
 3123   sigset_t sa_mask ;
 3124};
 3125#line 173 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3126struct k_sigaction {
 3127   struct sigaction sa ;
 3128};
 3129#line 185 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 3130union sigval {
 3131   int sival_int ;
 3132   void *sival_ptr ;
 3133};
 3134#line 10 "include/asm-generic/siginfo.h"
 3135typedef union sigval sigval_t;
 3136#line 11 "include/asm-generic/siginfo.h"
 3137struct __anonstruct__kill_164 {
 3138   __kernel_pid_t _pid ;
 3139   __kernel_uid32_t _uid ;
 3140};
 3141#line 11 "include/asm-generic/siginfo.h"
 3142struct __anonstruct__timer_165 {
 3143   __kernel_timer_t _tid ;
 3144   int _overrun ;
 3145   char _pad[0U] ;
 3146   sigval_t _sigval ;
 3147   int _sys_private ;
 3148};
 3149#line 11 "include/asm-generic/siginfo.h"
 3150struct __anonstruct__rt_166 {
 3151   __kernel_pid_t _pid ;
 3152   __kernel_uid32_t _uid ;
 3153   sigval_t _sigval ;
 3154};
 3155#line 11 "include/asm-generic/siginfo.h"
 3156struct __anonstruct__sigchld_167 {
 3157   __kernel_pid_t _pid ;
 3158   __kernel_uid32_t _uid ;
 3159   int _status ;
 3160   __kernel_clock_t _utime ;
 3161   __kernel_clock_t _stime ;
 3162};
 3163#line 11 "include/asm-generic/siginfo.h"
 3164struct __anonstruct__sigfault_168 {
 3165   void *_addr ;
 3166   short _addr_lsb ;
 3167};
 3168#line 11 "include/asm-generic/siginfo.h"
 3169struct __anonstruct__sigpoll_169 {
 3170   long _band ;
 3171   int _fd ;
 3172};
 3173#line 11 "include/asm-generic/siginfo.h"
 3174union __anonunion__sifields_163 {
 3175   int _pad[28U] ;
 3176   struct __anonstruct__kill_164 _kill ;
 3177   struct __anonstruct__timer_165 _timer ;
 3178   struct __anonstruct__rt_166 _rt ;
 3179   struct __anonstruct__sigchld_167 _sigchld ;
 3180   struct __anonstruct__sigfault_168 _sigfault ;
 3181   struct __anonstruct__sigpoll_169 _sigpoll ;
 3182};
 3183#line 11 "include/asm-generic/siginfo.h"
 3184struct siginfo {
 3185   int si_signo ;
 3186   int si_errno ;
 3187   int si_code ;
 3188   union __anonunion__sifields_163 _sifields ;
 3189};
 3190#line 94 "include/asm-generic/siginfo.h"
 3191typedef struct siginfo siginfo_t;
 3192#line 24 "include/linux/signal.h"
 3193struct sigpending {
 3194   struct list_head list ;
 3195   sigset_t signal ;
 3196};
 3197#line 90 "include/linux/proportions.h"
 3198struct prop_local_single {
 3199   unsigned long events ;
 3200   unsigned long period ;
 3201   int shift ;
 3202   spinlock_t lock ;
 3203};
 3204#line 10 "include/linux/seccomp.h"
 3205struct __anonstruct_seccomp_t_172 {
 3206   int mode ;
 3207};
 3208#line 10 "include/linux/seccomp.h"
 3209typedef struct __anonstruct_seccomp_t_172 seccomp_t;
 3210#line 38 "include/linux/rtmutex.h"
 3211struct rt_mutex_waiter;
 3212#line 38
 3213struct rt_mutex_waiter;
 3214#line 41 "include/linux/resource.h"
 3215struct rlimit {
 3216   unsigned long rlim_cur ;
 3217   unsigned long rlim_max ;
 3218};
 3219#line 85 "include/linux/resource.h"
 3220struct task_io_accounting {
 3221   u64 rchar ;
 3222   u64 wchar ;
 3223   u64 syscr ;
 3224   u64 syscw ;
 3225   u64 read_bytes ;
 3226   u64 write_bytes ;
 3227   u64 cancelled_write_bytes ;
 3228};
 3229#line 45 "include/linux/task_io_accounting.h"
 3230struct latency_record {
 3231   unsigned long backtrace[12U] ;
 3232   unsigned int count ;
 3233   unsigned long time ;
 3234   unsigned long max ;
 3235};
 3236#line 29 "include/linux/key.h"
 3237typedef int32_t key_serial_t;
 3238#line 32 "include/linux/key.h"
 3239typedef uint32_t key_perm_t;
 3240#line 33
 3241struct key;
 3242#line 33
 3243struct key;
 3244#line 34
 3245struct signal_struct;
 3246#line 34
 3247struct signal_struct;
 3248#line 35
 3249struct key_type;
 3250#line 35
 3251struct key_type;
 3252#line 37
 3253struct keyring_list;
 3254#line 37
 3255struct keyring_list;
 3256#line 115
 3257struct key_user;
 3258#line 115
 3259struct key_user;
 3260#line 115 "include/linux/key.h"
 3261union __anonunion_ldv_25254_173 {
 3262   time_t expiry ;
 3263   time_t revoked_at ;
 3264};
 3265#line 115 "include/linux/key.h"
 3266union __anonunion_type_data_174 {
 3267   struct list_head link ;
 3268   unsigned long x[2U] ;
 3269   void *p[2U] ;
 3270   int reject_error ;
 3271};
 3272#line 115 "include/linux/key.h"
 3273union __anonunion_payload_175 {
 3274   unsigned long value ;
 3275   void *rcudata ;
 3276   void *data ;
 3277   struct keyring_list *subscriptions ;
 3278};
 3279#line 115 "include/linux/key.h"
 3280struct key {
 3281   atomic_t usage ;
 3282   key_serial_t serial ;
 3283   struct rb_node serial_node ;
 3284   struct key_type *type ;
 3285   struct rw_semaphore sem ;
 3286   struct key_user *user ;
 3287   void *security ;
 3288   union __anonunion_ldv_25254_173 ldv_25254 ;
 3289   uid_t uid ;
 3290   gid_t gid ;
 3291   key_perm_t perm ;
 3292   unsigned short quotalen ;
 3293   unsigned short datalen ;
 3294   unsigned long flags ;
 3295   char *description ;
 3296   union __anonunion_type_data_174 type_data ;
 3297   union __anonunion_payload_175 payload ;
 3298};
 3299#line 310
 3300struct audit_context;
 3301#line 310
 3302struct audit_context;
 3303#line 27 "include/linux/selinux.h"
 3304struct group_info {
 3305   atomic_t usage ;
 3306   int ngroups ;
 3307   int nblocks ;
 3308   gid_t small_block[32U] ;
 3309   gid_t *blocks[0U] ;
 3310};
 3311#line 77 "include/linux/cred.h"
 3312struct thread_group_cred {
 3313   atomic_t usage ;
 3314   pid_t tgid ;
 3315   spinlock_t lock ;
 3316   struct key *session_keyring ;
 3317   struct key *process_keyring ;
 3318   struct rcu_head rcu ;
 3319};
 3320#line 91 "include/linux/cred.h"
 3321struct cred {
 3322   atomic_t usage ;
 3323   atomic_t subscribers ;
 3324   void *put_addr ;
 3325   unsigned int magic ;
 3326   uid_t uid ;
 3327   gid_t gid ;
 3328   uid_t suid ;
 3329   gid_t sgid ;
 3330   uid_t euid ;
 3331   gid_t egid ;
 3332   uid_t fsuid ;
 3333   gid_t fsgid ;
 3334   unsigned int securebits ;
 3335   kernel_cap_t cap_inheritable ;
 3336   kernel_cap_t cap_permitted ;
 3337   kernel_cap_t cap_effective ;
 3338   kernel_cap_t cap_bset ;
 3339   unsigned char jit_keyring ;
 3340   struct key *thread_keyring ;
 3341   struct key *request_key_auth ;
 3342   struct thread_group_cred *tgcred ;
 3343   void *security ;
 3344   struct user_struct *user ;
 3345   struct user_namespace *user_ns ;
 3346   struct group_info *group_info ;
 3347   struct rcu_head rcu ;
 3348};
 3349#line 264
 3350struct futex_pi_state;
 3351#line 264
 3352struct futex_pi_state;
 3353#line 265
 3354struct robust_list_head;
 3355#line 265
 3356struct robust_list_head;
 3357#line 266
 3358struct bio_list;
 3359#line 266
 3360struct bio_list;
 3361#line 267
 3362struct fs_struct;
 3363#line 267
 3364struct fs_struct;
 3365#line 268
 3366struct perf_event_context;
 3367#line 268
 3368struct perf_event_context;
 3369#line 269
 3370struct blk_plug;
 3371#line 269
 3372struct blk_plug;
 3373#line 149 "include/linux/sched.h"
 3374struct cfs_rq;
 3375#line 149
 3376struct cfs_rq;
 3377#line 383
 3378struct kioctx;
 3379#line 383
 3380struct kioctx;
 3381#line 384 "include/linux/sched.h"
 3382union __anonunion_ki_obj_176 {
 3383   void *user ;
 3384   struct task_struct *tsk ;
 3385};
 3386#line 384
 3387struct eventfd_ctx;
 3388#line 384
 3389struct eventfd_ctx;
 3390#line 384 "include/linux/sched.h"
 3391struct kiocb {
 3392   struct list_head ki_run_list ;
 3393   unsigned long ki_flags ;
 3394   int ki_users ;
 3395   unsigned int ki_key ;
 3396   struct file *ki_filp ;
 3397   struct kioctx *ki_ctx ;
 3398   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
 3399   ssize_t (*ki_retry)(struct kiocb * ) ;
 3400   void (*ki_dtor)(struct kiocb * ) ;
 3401   union __anonunion_ki_obj_176 ki_obj ;
 3402   __u64 ki_user_data ;
 3403   loff_t ki_pos ;
 3404   void *private ;
 3405   unsigned short ki_opcode ;
 3406   size_t ki_nbytes ;
 3407   char *ki_buf ;
 3408   size_t ki_left ;
 3409   struct iovec ki_inline_vec ;
 3410   struct iovec *ki_iovec ;
 3411   unsigned long ki_nr_segs ;
 3412   unsigned long ki_cur_seg ;
 3413   struct list_head ki_list ;
 3414   struct eventfd_ctx *ki_eventfd ;
 3415};
 3416#line 161 "include/linux/aio.h"
 3417struct aio_ring_info {
 3418   unsigned long mmap_base ;
 3419   unsigned long mmap_size ;
 3420   struct page **ring_pages ;
 3421   spinlock_t ring_lock ;
 3422   long nr_pages ;
 3423   unsigned int nr ;
 3424   unsigned int tail ;
 3425   struct page *internal_pages[8U] ;
 3426};
 3427#line 177 "include/linux/aio.h"
 3428struct kioctx {
 3429   atomic_t users ;
 3430   int dead ;
 3431   struct mm_struct *mm ;
 3432   unsigned long user_id ;
 3433   struct hlist_node list ;
 3434   wait_queue_head_t wait ;
 3435   spinlock_t ctx_lock ;
 3436   int reqs_active ;
 3437   struct list_head active_reqs ;
 3438   struct list_head run_list ;
 3439   unsigned int max_reqs ;
 3440   struct aio_ring_info ring_info ;
 3441   struct delayed_work wq ;
 3442   struct rcu_head rcu_head ;
 3443};
 3444#line 404 "include/linux/sched.h"
 3445struct sighand_struct {
 3446   atomic_t count ;
 3447   struct k_sigaction action[64U] ;
 3448   spinlock_t siglock ;
 3449   wait_queue_head_t signalfd_wqh ;
 3450};
 3451#line 447 "include/linux/sched.h"
 3452struct pacct_struct {
 3453   int ac_flag ;
 3454   long ac_exitcode ;
 3455   unsigned long ac_mem ;
 3456   cputime_t ac_utime ;
 3457   cputime_t ac_stime ;
 3458   unsigned long ac_minflt ;
 3459   unsigned long ac_majflt ;
 3460};
 3461#line 455 "include/linux/sched.h"
 3462struct cpu_itimer {
 3463   cputime_t expires ;
 3464   cputime_t incr ;
 3465   u32 error ;
 3466   u32 incr_error ;
 3467};
 3468#line 462 "include/linux/sched.h"
 3469struct task_cputime {
 3470   cputime_t utime ;
 3471   cputime_t stime ;
 3472   unsigned long long sum_exec_runtime ;
 3473};
 3474#line 479 "include/linux/sched.h"
 3475struct thread_group_cputimer {
 3476   struct task_cputime cputime ;
 3477   int running ;
 3478   spinlock_t lock ;
 3479};
 3480#line 515
 3481struct autogroup;
 3482#line 515
 3483struct autogroup;
 3484#line 516
 3485struct tty_struct;
 3486#line 516
 3487struct tty_struct;
 3488#line 516
 3489struct taskstats;
 3490#line 516
 3491struct taskstats;
 3492#line 516
 3493struct tty_audit_buf;
 3494#line 516
 3495struct tty_audit_buf;
 3496#line 516 "include/linux/sched.h"
 3497struct signal_struct {
 3498   atomic_t sigcnt ;
 3499   atomic_t live ;
 3500   int nr_threads ;
 3501   wait_queue_head_t wait_chldexit ;
 3502   struct task_struct *curr_target ;
 3503   struct sigpending shared_pending ;
 3504   int group_exit_code ;
 3505   int notify_count ;
 3506   struct task_struct *group_exit_task ;
 3507   int group_stop_count ;
 3508   unsigned int flags ;
 3509   struct list_head posix_timers ;
 3510   struct hrtimer real_timer ;
 3511   struct pid *leader_pid ;
 3512   ktime_t it_real_incr ;
 3513   struct cpu_itimer it[2U] ;
 3514   struct thread_group_cputimer cputimer ;
 3515   struct task_cputime cputime_expires ;
 3516   struct list_head cpu_timers[3U] ;
 3517   struct pid *tty_old_pgrp ;
 3518   int leader ;
 3519   struct tty_struct *tty ;
 3520   struct autogroup *autogroup ;
 3521   cputime_t utime ;
 3522   cputime_t stime ;
 3523   cputime_t cutime ;
 3524   cputime_t cstime ;
 3525   cputime_t gtime ;
 3526   cputime_t cgtime ;
 3527   cputime_t prev_utime ;
 3528   cputime_t prev_stime ;
 3529   unsigned long nvcsw ;
 3530   unsigned long nivcsw ;
 3531   unsigned long cnvcsw ;
 3532   unsigned long cnivcsw ;
 3533   unsigned long min_flt ;
 3534   unsigned long maj_flt ;
 3535   unsigned long cmin_flt ;
 3536   unsigned long cmaj_flt ;
 3537   unsigned long inblock ;
 3538   unsigned long oublock ;
 3539   unsigned long cinblock ;
 3540   unsigned long coublock ;
 3541   unsigned long maxrss ;
 3542   unsigned long cmaxrss ;
 3543   struct task_io_accounting ioac ;
 3544   unsigned long long sum_sched_runtime ;
 3545   struct rlimit rlim[16U] ;
 3546   struct pacct_struct pacct ;
 3547   struct taskstats *stats ;
 3548   unsigned int audit_tty ;
 3549   struct tty_audit_buf *tty_audit_buf ;
 3550   struct rw_semaphore threadgroup_fork_lock ;
 3551   int oom_adj ;
 3552   int oom_score_adj ;
 3553   int oom_score_adj_min ;
 3554   struct mutex cred_guard_mutex ;
 3555};
 3556#line 683 "include/linux/sched.h"
 3557struct user_struct {
 3558   atomic_t __count ;
 3559   atomic_t processes ;
 3560   atomic_t files ;
 3561   atomic_t sigpending ;
 3562   atomic_t inotify_watches ;
 3563   atomic_t inotify_devs ;
 3564   atomic_t fanotify_listeners ;
 3565   atomic_long_t epoll_watches ;
 3566   unsigned long mq_bytes ;
 3567   unsigned long locked_shm ;
 3568   struct key *uid_keyring ;
 3569   struct key *session_keyring ;
 3570   struct hlist_node uidhash_node ;
 3571   uid_t uid ;
 3572   struct user_namespace *user_ns ;
 3573   atomic_long_t locked_vm ;
 3574};
 3575#line 728
 3576struct reclaim_state;
 3577#line 728
 3578struct reclaim_state;
 3579#line 729 "include/linux/sched.h"
 3580struct sched_info {
 3581   unsigned long pcount ;
 3582   unsigned long long run_delay ;
 3583   unsigned long long last_arrival ;
 3584   unsigned long long last_queued ;
 3585};
 3586#line 744 "include/linux/sched.h"
 3587struct task_delay_info {
 3588   spinlock_t lock ;
 3589   unsigned int flags ;
 3590   struct timespec blkio_start ;
 3591   struct timespec blkio_end ;
 3592   u64 blkio_delay ;
 3593   u64 swapin_delay ;
 3594   u32 blkio_count ;
 3595   u32 swapin_count ;
 3596   struct timespec freepages_start ;
 3597   struct timespec freepages_end ;
 3598   u64 freepages_delay ;
 3599   u32 freepages_count ;
 3600};
 3601#line 1037
 3602struct io_context;
 3603#line 1037
 3604struct io_context;
 3605#line 1060
 3606struct rq;
 3607#line 1060
 3608struct rq;
 3609#line 1061 "include/linux/sched.h"
 3610struct sched_class {
 3611   struct sched_class  const  *next ;
 3612   void (*enqueue_task)(struct rq * , struct task_struct * , int  ) ;
 3613   void (*dequeue_task)(struct rq * , struct task_struct * , int  ) ;
 3614   void (*yield_task)(struct rq * ) ;
 3615   bool (*yield_to_task)(struct rq * , struct task_struct * , bool  ) ;
 3616   void (*check_preempt_curr)(struct rq * , struct task_struct * , int  ) ;
 3617   struct task_struct *(*pick_next_task)(struct rq * ) ;
 3618   void (*put_prev_task)(struct rq * , struct task_struct * ) ;
 3619   int (*select_task_rq)(struct task_struct * , int  , int  ) ;
 3620   void (*pre_schedule)(struct rq * , struct task_struct * ) ;
 3621   void (*post_schedule)(struct rq * ) ;
 3622   void (*task_waking)(struct task_struct * ) ;
 3623   void (*task_woken)(struct rq * , struct task_struct * ) ;
 3624   void (*set_cpus_allowed)(struct task_struct * , struct cpumask  const  * ) ;
 3625   void (*rq_online)(struct rq * ) ;
 3626   void (*rq_offline)(struct rq * ) ;
 3627   void (*set_curr_task)(struct rq * ) ;
 3628   void (*task_tick)(struct rq * , struct task_struct * , int  ) ;
 3629   void (*task_fork)(struct task_struct * ) ;
 3630   void (*switched_from)(struct rq * , struct task_struct * ) ;
 3631   void (*switched_to)(struct rq * , struct task_struct * ) ;
 3632   void (*prio_changed)(struct rq * , struct task_struct * , int  ) ;
 3633   unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
 3634   void (*task_move_group)(struct task_struct * , int  ) ;
 3635};
 3636#line 1127 "include/linux/sched.h"
 3637struct load_weight {
 3638   unsigned long weight ;
 3639   unsigned long inv_weight ;
 3640};
 3641#line 1132 "include/linux/sched.h"
 3642struct sched_statistics {
 3643   u64 wait_start ;
 3644   u64 wait_max ;
 3645   u64 wait_count ;
 3646   u64 wait_sum ;
 3647   u64 iowait_count ;
 3648   u64 iowait_sum ;
 3649   u64 sleep_start ;
 3650   u64 sleep_max ;
 3651   s64 sum_sleep_runtime ;
 3652   u64 block_start ;
 3653   u64 block_max ;
 3654   u64 exec_max ;
 3655   u64 slice_max ;
 3656   u64 nr_migrations_cold ;
 3657   u64 nr_failed_migrations_affine ;
 3658   u64 nr_failed_migrations_running ;
 3659   u64 nr_failed_migrations_hot ;
 3660   u64 nr_forced_migrations ;
 3661   u64 nr_wakeups ;
 3662   u64 nr_wakeups_sync ;
 3663   u64 nr_wakeups_migrate ;
 3664   u64 nr_wakeups_local ;
 3665   u64 nr_wakeups_remote ;
 3666   u64 nr_wakeups_affine ;
 3667   u64 nr_wakeups_affine_attempts ;
 3668   u64 nr_wakeups_passive ;
 3669   u64 nr_wakeups_idle ;
 3670};
 3671#line 1167 "include/linux/sched.h"
 3672struct sched_entity {
 3673   struct load_weight load ;
 3674   struct rb_node run_node ;
 3675   struct list_head group_node ;
 3676   unsigned int on_rq ;
 3677   u64 exec_start ;
 3678   u64 sum_exec_runtime ;
 3679   u64 vruntime ;
 3680   u64 prev_sum_exec_runtime ;
 3681   u64 nr_migrations ;
 3682   struct sched_statistics statistics ;
 3683   struct sched_entity *parent ;
 3684   struct cfs_rq *cfs_rq ;
 3685   struct cfs_rq *my_q ;
 3686};
 3687#line 1193
 3688struct rt_rq;
 3689#line 1193
 3690struct rt_rq;
 3691#line 1193 "include/linux/sched.h"
 3692struct sched_rt_entity {
 3693   struct list_head run_list ;
 3694   unsigned long timeout ;
 3695   unsigned int time_slice ;
 3696   int nr_cpus_allowed ;
 3697   struct sched_rt_entity *back ;
 3698   struct sched_rt_entity *parent ;
 3699   struct rt_rq *rt_rq ;
 3700   struct rt_rq *my_q ;
 3701};
 3702#line 1217
 3703struct mem_cgroup;
 3704#line 1217
 3705struct mem_cgroup;
 3706#line 1217 "include/linux/sched.h"
 3707struct memcg_batch_info {
 3708   int do_batch ;
 3709   struct mem_cgroup *memcg ;
 3710   unsigned long nr_pages ;
 3711   unsigned long memsw_nr_pages ;
 3712};
 3713#line 1569
 3714struct irqaction;
 3715#line 1569
 3716struct irqaction;
 3717#line 1569
 3718struct css_set;
 3719#line 1569
 3720struct css_set;
 3721#line 1569
 3722struct compat_robust_list_head;
 3723#line 1569
 3724struct compat_robust_list_head;
 3725#line 1569
 3726struct ftrace_ret_stack;
 3727#line 1569
 3728struct ftrace_ret_stack;
 3729#line 1569 "include/linux/sched.h"
 3730struct task_struct {
 3731   long volatile   state ;
 3732   void *stack ;
 3733   atomic_t usage ;
 3734   unsigned int flags ;
 3735   unsigned int ptrace ;
 3736   struct task_struct *wake_entry ;
 3737   int on_cpu ;
 3738   int on_rq ;
 3739   int prio ;
 3740   int static_prio ;
 3741   int normal_prio ;
 3742   unsigned int rt_priority ;
 3743   struct sched_class  const  *sched_class ;
 3744   struct sched_entity se ;
 3745   struct sched_rt_entity rt ;
 3746   struct hlist_head preempt_notifiers ;
 3747   unsigned char fpu_counter ;
 3748   unsigned int btrace_seq ;
 3749   unsigned int policy ;
 3750   cpumask_t cpus_allowed ;
 3751   struct sched_info sched_info ;
 3752   struct list_head tasks ;
 3753   struct plist_node pushable_tasks ;
 3754   struct mm_struct *mm ;
 3755   struct mm_struct *active_mm ;
 3756   unsigned char brk_randomized : 1 ;
 3757   int exit_state ;
 3758   int exit_code ;
 3759   int exit_signal ;
 3760   int pdeath_signal ;
 3761   unsigned int group_stop ;
 3762   unsigned int personality ;
 3763   unsigned char did_exec : 1 ;
 3764   unsigned char in_execve : 1 ;
 3765   unsigned char in_iowait : 1 ;
 3766   unsigned char sched_reset_on_fork : 1 ;
 3767   unsigned char sched_contributes_to_load : 1 ;
 3768   pid_t pid ;
 3769   pid_t tgid ;
 3770   unsigned long stack_canary ;
 3771   struct task_struct *real_parent ;
 3772   struct task_struct *parent ;
 3773   struct list_head children ;
 3774   struct list_head sibling ;
 3775   struct task_struct *group_leader ;
 3776   struct list_head ptraced ;
 3777   struct list_head ptrace_entry ;
 3778   struct pid_link pids[3U] ;
 3779   struct list_head thread_group ;
 3780   struct completion *vfork_done ;
 3781   int *set_child_tid ;
 3782   int *clear_child_tid ;
 3783   cputime_t utime ;
 3784   cputime_t stime ;
 3785   cputime_t utimescaled ;
 3786   cputime_t stimescaled ;
 3787   cputime_t gtime ;
 3788   cputime_t prev_utime ;
 3789   cputime_t prev_stime ;
 3790   unsigned long nvcsw ;
 3791   unsigned long nivcsw ;
 3792   struct timespec start_time ;
 3793   struct timespec real_start_time ;
 3794   unsigned long min_flt ;
 3795   unsigned long maj_flt ;
 3796   struct task_cputime cputime_expires ;
 3797   struct list_head cpu_timers[3U] ;
 3798   struct cred  const  *real_cred ;
 3799   struct cred  const  *cred ;
 3800   struct cred *replacement_session_keyring ;
 3801   char comm[16U] ;
 3802   int link_count ;
 3803   int total_link_count ;
 3804   struct sysv_sem sysvsem ;
 3805   unsigned long last_switch_count ;
 3806   struct thread_struct thread ;
 3807   struct fs_struct *fs ;
 3808   struct files_struct *files ;
 3809   struct nsproxy *nsproxy ;
 3810   struct signal_struct *signal ;
 3811   struct sighand_struct *sighand ;
 3812   sigset_t blocked ;
 3813   sigset_t real_blocked ;
 3814   sigset_t saved_sigmask ;
 3815   struct sigpending pending ;
 3816   unsigned long sas_ss_sp ;
 3817   size_t sas_ss_size ;
 3818   int (*notifier)(void * ) ;
 3819   void *notifier_data ;
 3820   sigset_t *notifier_mask ;
 3821   struct audit_context *audit_context ;
 3822   uid_t loginuid ;
 3823   unsigned int sessionid ;
 3824   seccomp_t seccomp ;
 3825   u32 parent_exec_id ;
 3826   u32 self_exec_id ;
 3827   spinlock_t alloc_lock ;
 3828   struct irqaction *irqaction ;
 3829   raw_spinlock_t pi_lock ;
 3830   struct plist_head pi_waiters ;
 3831   struct rt_mutex_waiter *pi_blocked_on ;
 3832   struct mutex_waiter *blocked_on ;
 3833   unsigned int irq_events ;
 3834   unsigned long hardirq_enable_ip ;
 3835   unsigned long hardirq_disable_ip ;
 3836   unsigned int hardirq_enable_event ;
 3837   unsigned int hardirq_disable_event ;
 3838   int hardirqs_enabled ;
 3839   int hardirq_context ;
 3840   unsigned long softirq_disable_ip ;
 3841   unsigned long softirq_enable_ip ;
 3842   unsigned int softirq_disable_event ;
 3843   unsigned int softirq_enable_event ;
 3844   int softirqs_enabled ;
 3845   int softirq_context ;
 3846   u64 curr_chain_key ;
 3847   int lockdep_depth ;
 3848   unsigned int lockdep_recursion ;
 3849   struct held_lock held_locks[48U] ;
 3850   gfp_t lockdep_reclaim_gfp ;
 3851   void *journal_info ;
 3852   struct bio_list *bio_list ;
 3853   struct blk_plug *plug ;
 3854   struct reclaim_state *reclaim_state ;
 3855   struct backing_dev_info *backing_dev_info ;
 3856   struct io_context *io_context ;
 3857   unsigned long ptrace_message ;
 3858   siginfo_t *last_siginfo ;
 3859   struct task_io_accounting ioac ;
 3860   u64 acct_rss_mem1 ;
 3861   u64 acct_vm_mem1 ;
 3862   cputime_t acct_timexpd ;
 3863   nodemask_t mems_allowed ;
 3864   int mems_allowed_change_disable ;
 3865   int cpuset_mem_spread_rotor ;
 3866   int cpuset_slab_spread_rotor ;
 3867   struct css_set *cgroups ;
 3868   struct list_head cg_list ;
 3869   struct robust_list_head *robust_list ;
 3870   struct compat_robust_list_head *compat_robust_list ;
 3871   struct list_head pi_state_list ;
 3872   struct futex_pi_state *pi_state_cache ;
 3873   struct perf_event_context *perf_event_ctxp[2U] ;
 3874   struct mutex perf_event_mutex ;
 3875   struct list_head perf_event_list ;
 3876   struct mempolicy *mempolicy ;
 3877   short il_next ;
 3878   short pref_node_fork ;
 3879   atomic_t fs_excl ;
 3880   struct rcu_head rcu ;
 3881   struct pipe_inode_info *splice_pipe ;
 3882   struct task_delay_info *delays ;
 3883   int make_it_fail ;
 3884   struct prop_local_single dirties ;
 3885   int latency_record_count ;
 3886   struct latency_record latency_record[32U] ;
 3887   unsigned long timer_slack_ns ;
 3888   unsigned long default_timer_slack_ns ;
 3889   struct list_head *scm_work_list ;
 3890   int curr_ret_stack ;
 3891   struct ftrace_ret_stack *ret_stack ;
 3892   unsigned long long ftrace_timestamp ;
 3893   atomic_t trace_overrun ;
 3894   atomic_t tracing_graph_pause ;
 3895   unsigned long trace ;
 3896   unsigned long trace_recursion ;
 3897   struct memcg_batch_info memcg_batch ;
 3898   atomic_t ptrace_bp_refcnt ;
 3899};
 3900#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 3901typedef s32 compat_time_t;
 3902#line 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 3903typedef s32 compat_long_t;
 3904#line 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 3905struct compat_timespec {
 3906   compat_time_t tv_sec ;
 3907   s32 tv_nsec ;
 3908};
 3909#line 196 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 3910typedef u32 compat_uptr_t;
 3911#line 205 "include/linux/compat.h"
 3912struct compat_robust_list {
 3913   compat_uptr_t next ;
 3914};
 3915#line 209 "include/linux/compat.h"
 3916struct compat_robust_list_head {
 3917   struct compat_robust_list list ;
 3918   compat_long_t futex_offset ;
 3919   compat_uptr_t list_op_pending ;
 3920};
 3921#line 563 "include/linux/compat.h"
 3922struct ethtool_cmd {
 3923   __u32 cmd ;
 3924   __u32 supported ;
 3925   __u32 advertising ;
 3926   __u16 speed ;
 3927   __u8 duplex ;
 3928   __u8 port ;
 3929   __u8 phy_address ;
 3930   __u8 transceiver ;
 3931   __u8 autoneg ;
 3932   __u8 mdio_support ;
 3933   __u32 maxtxpkt ;
 3934   __u32 maxrxpkt ;
 3935   __u16 speed_hi ;
 3936   __u8 eth_tp_mdix ;
 3937   __u8 reserved2 ;
 3938   __u32 lp_advertising ;
 3939   __u32 reserved[2U] ;
 3940};
 3941#line 61 "include/linux/ethtool.h"
 3942struct ethtool_drvinfo {
 3943   __u32 cmd ;
 3944   char driver[32U] ;
 3945   char version[32U] ;
 3946   char fw_version[32U] ;
 3947   char bus_info[32U] ;
 3948   char reserved1[32U] ;
 3949   char reserved2[12U] ;
 3950   __u32 n_priv_flags ;
 3951   __u32 n_stats ;
 3952   __u32 testinfo_len ;
 3953   __u32 eedump_len ;
 3954   __u32 regdump_len ;
 3955};
 3956#line 87 "include/linux/ethtool.h"
 3957struct ethtool_wolinfo {
 3958   __u32 cmd ;
 3959   __u32 supported ;
 3960   __u32 wolopts ;
 3961   __u8 sopass[6U] ;
 3962};
 3963#line 102 "include/linux/ethtool.h"
 3964struct ethtool_regs {
 3965   __u32 cmd ;
 3966   __u32 version ;
 3967   __u32 len ;
 3968   __u8 data[0U] ;
 3969};
 3970#line 110 "include/linux/ethtool.h"
 3971struct ethtool_eeprom {
 3972   __u32 cmd ;
 3973   __u32 magic ;
 3974   __u32 offset ;
 3975   __u32 len ;
 3976   __u8 data[0U] ;
 3977};
 3978#line 119 "include/linux/ethtool.h"
 3979struct ethtool_coalesce {
 3980   __u32 cmd ;
 3981   __u32 rx_coalesce_usecs ;
 3982   __u32 rx_max_coalesced_frames ;
 3983   __u32 rx_coalesce_usecs_irq ;
 3984   __u32 rx_max_coalesced_frames_irq ;
 3985   __u32 tx_coalesce_usecs ;
 3986   __u32 tx_max_coalesced_frames ;
 3987   __u32 tx_coalesce_usecs_irq ;
 3988   __u32 tx_max_coalesced_frames_irq ;
 3989   __u32 stats_block_coalesce_usecs ;
 3990   __u32 use_adaptive_rx_coalesce ;
 3991   __u32 use_adaptive_tx_coalesce ;
 3992   __u32 pkt_rate_low ;
 3993   __u32 rx_coalesce_usecs_low ;
 3994   __u32 rx_max_coalesced_frames_low ;
 3995   __u32 tx_coalesce_usecs_low ;
 3996   __u32 tx_max_coalesced_frames_low ;
 3997   __u32 pkt_rate_high ;
 3998   __u32 rx_coalesce_usecs_high ;
 3999   __u32 rx_max_coalesced_frames_high ;
 4000   __u32 tx_coalesce_usecs_high ;
 4001   __u32 tx_max_coalesced_frames_high ;
 4002   __u32 rate_sample_interval ;
 4003};
 4004#line 215 "include/linux/ethtool.h"
 4005struct ethtool_ringparam {
 4006   __u32 cmd ;
 4007   __u32 rx_max_pending ;
 4008   __u32 rx_mini_max_pending ;
 4009   __u32 rx_jumbo_max_pending ;
 4010   __u32 tx_max_pending ;
 4011   __u32 rx_pending ;
 4012   __u32 rx_mini_pending ;
 4013   __u32 rx_jumbo_pending ;
 4014   __u32 tx_pending ;
 4015};
 4016#line 237 "include/linux/ethtool.h"
 4017struct ethtool_channels {
 4018   __u32 cmd ;
 4019   __u32 max_rx ;
 4020   __u32 max_tx ;
 4021   __u32 max_other ;
 4022   __u32 max_combined ;
 4023   __u32 rx_count ;
 4024   __u32 tx_count ;
 4025   __u32 other_count ;
 4026   __u32 combined_count ;
 4027};
 4028#line 265 "include/linux/ethtool.h"
 4029struct ethtool_pauseparam {
 4030   __u32 cmd ;
 4031   __u32 autoneg ;
 4032   __u32 rx_pause ;
 4033   __u32 tx_pause ;
 4034};
 4035#line 314 "include/linux/ethtool.h"
 4036struct ethtool_test {
 4037   __u32 cmd ;
 4038   __u32 flags ;
 4039   __u32 reserved ;
 4040   __u32 len ;
 4041   __u64 data[0U] ;
 4042};
 4043#line 326 "include/linux/ethtool.h"
 4044struct ethtool_stats {
 4045   __u32 cmd ;
 4046   __u32 n_stats ;
 4047   __u64 data[0U] ;
 4048};
 4049#line 347 "include/linux/ethtool.h"
 4050struct ethtool_tcpip4_spec {
 4051   __be32 ip4src ;
 4052   __be32 ip4dst ;
 4053   __be16 psrc ;
 4054   __be16 pdst ;
 4055   __u8 tos ;
 4056};
 4057#line 380 "include/linux/ethtool.h"
 4058struct ethtool_ah_espip4_spec {
 4059   __be32 ip4src ;
 4060   __be32 ip4dst ;
 4061   __be32 spi ;
 4062   __u8 tos ;
 4063};
 4064#line 396 "include/linux/ethtool.h"
 4065struct ethtool_usrip4_spec {
 4066   __be32 ip4src ;
 4067   __be32 ip4dst ;
 4068   __be32 l4_4_bytes ;
 4069   __u8 tos ;
 4070   __u8 ip_ver ;
 4071   __u8 proto ;
 4072};
 4073#line 416 "include/linux/ethtool.h"
 4074union ethtool_flow_union {
 4075   struct ethtool_tcpip4_spec tcp_ip4_spec ;
 4076   struct ethtool_tcpip4_spec udp_ip4_spec ;
 4077   struct ethtool_tcpip4_spec sctp_ip4_spec ;
 4078   struct ethtool_ah_espip4_spec ah_ip4_spec ;
 4079   struct ethtool_ah_espip4_spec esp_ip4_spec ;
 4080   struct ethtool_usrip4_spec usr_ip4_spec ;
 4081   struct ethhdr ether_spec ;
 4082   __u8 hdata[60U] ;
 4083};
 4084#line 427 "include/linux/ethtool.h"
 4085struct ethtool_flow_ext {
 4086   __be16 vlan_etype ;
 4087   __be16 vlan_tci ;
 4088   __be32 data[2U] ;
 4089};
 4090#line 433 "include/linux/ethtool.h"
 4091struct ethtool_rx_flow_spec {
 4092   __u32 flow_type ;
 4093   union ethtool_flow_union h_u ;
 4094   struct ethtool_flow_ext h_ext ;
 4095   union ethtool_flow_union m_u ;
 4096   struct ethtool_flow_ext m_ext ;
 4097   __u64 ring_cookie ;
 4098   __u32 location ;
 4099};
 4100#line 456 "include/linux/ethtool.h"
 4101struct ethtool_rxnfc {
 4102   __u32 cmd ;
 4103   __u32 flow_type ;
 4104   __u64 data ;
 4105   struct ethtool_rx_flow_spec fs ;
 4106   __u32 rule_cnt ;
 4107   __u32 rule_locs[0U] ;
 4108};
 4109#line 526 "include/linux/ethtool.h"
 4110struct ethtool_rxfh_indir {
 4111   __u32 cmd ;
 4112   __u32 size ;
 4113   __u32 ring_index[0U] ;
 4114};
 4115#line 542 "include/linux/ethtool.h"
 4116union __anonunion_h_u_183 {
 4117   struct ethtool_tcpip4_spec tcp_ip4_spec ;
 4118   struct ethtool_tcpip4_spec udp_ip4_spec ;
 4119   struct ethtool_tcpip4_spec sctp_ip4_spec ;
 4120   struct ethtool_ah_espip4_spec ah_ip4_spec ;
 4121   struct ethtool_ah_espip4_spec esp_ip4_spec ;
 4122   struct ethtool_usrip4_spec usr_ip4_spec ;
 4123   struct ethhdr ether_spec ;
 4124   __u8 hdata[72U] ;
 4125};
 4126#line 542 "include/linux/ethtool.h"
 4127union __anonunion_m_u_184 {
 4128   struct ethtool_tcpip4_spec tcp_ip4_spec ;
 4129   struct ethtool_tcpip4_spec udp_ip4_spec ;
 4130   struct ethtool_tcpip4_spec sctp_ip4_spec ;
 4131   struct ethtool_ah_espip4_spec ah_ip4_spec ;
 4132   struct ethtool_ah_espip4_spec esp_ip4_spec ;
 4133   struct ethtool_usrip4_spec usr_ip4_spec ;
 4134   struct ethhdr ether_spec ;
 4135   __u8 hdata[72U] ;
 4136};
 4137#line 542 "include/linux/ethtool.h"
 4138struct ethtool_rx_ntuple_flow_spec {
 4139   __u32 flow_type ;
 4140   union __anonunion_h_u_183 h_u ;
 4141   union __anonunion_m_u_184 m_u ;
 4142   __u16 vlan_tag ;
 4143   __u16 vlan_tag_mask ;
 4144   __u64 data ;
 4145   __u64 data_mask ;
 4146   __s32 action ;
 4147};
 4148#line 579 "include/linux/ethtool.h"
 4149struct ethtool_rx_ntuple {
 4150   __u32 cmd ;
 4151   struct ethtool_rx_ntuple_flow_spec fs ;
 4152};
 4153#line 595 "include/linux/ethtool.h"
 4154struct ethtool_flash {
 4155   __u32 cmd ;
 4156   __u32 region ;
 4157   char data[128U] ;
 4158};
 4159#line 603 "include/linux/ethtool.h"
 4160struct ethtool_dump {
 4161   __u32 cmd ;
 4162   __u32 version ;
 4163   __u32 flag ;
 4164   __u32 len ;
 4165   __u8 data[0U] ;
 4166};
 4167#line 721 "include/linux/ethtool.h"
 4168struct ethtool_rx_ntuple_list {
 4169   struct list_head list ;
 4170   unsigned int count ;
 4171};
 4172#line 728
 4173enum ethtool_phys_id_state {
 4174    ETHTOOL_ID_INACTIVE = 0,
 4175    ETHTOOL_ID_ACTIVE = 1,
 4176    ETHTOOL_ID_ON = 2,
 4177    ETHTOOL_ID_OFF = 3
 4178} ;
 4179#line 763 "include/linux/ethtool.h"
 4180struct ethtool_ops {
 4181   int (*get_settings)(struct net_device * , struct ethtool_cmd * ) ;
 4182   int (*set_settings)(struct net_device * , struct ethtool_cmd * ) ;
 4183   void (*get_drvinfo)(struct net_device * , struct ethtool_drvinfo * ) ;
 4184   int (*get_regs_len)(struct net_device * ) ;
 4185   void (*get_regs)(struct net_device * , struct ethtool_regs * , void * ) ;
 4186   void (*get_wol)(struct net_device * , struct ethtool_wolinfo * ) ;
 4187   int (*set_wol)(struct net_device * , struct ethtool_wolinfo * ) ;
 4188   u32 (*get_msglevel)(struct net_device * ) ;
 4189   void (*set_msglevel)(struct net_device * , u32  ) ;
 4190   int (*nway_reset)(struct net_device * ) ;
 4191   u32 (*get_link)(struct net_device * ) ;
 4192   int (*get_eeprom_len)(struct net_device * ) ;
 4193   int (*get_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ;
 4194   int (*set_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ;
 4195   int (*get_coalesce)(struct net_device * , struct ethtool_coalesce * ) ;
 4196   int (*set_coalesce)(struct net_device * , struct ethtool_coalesce * ) ;
 4197   void (*get_ringparam)(struct net_device * , struct ethtool_ringparam * ) ;
 4198   int (*set_ringparam)(struct net_device * , struct ethtool_ringparam * ) ;
 4199   void (*get_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ;
 4200   int (*set_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ;
 4201   u32 (*get_rx_csum)(struct net_device * ) ;
 4202   int (*set_rx_csum)(struct net_device * , u32  ) ;
 4203   u32 (*get_tx_csum)(struct net_device * ) ;
 4204   int (*set_tx_csum)(struct net_device * , u32  ) ;
 4205   u32 (*get_sg)(struct net_device * ) ;
 4206   int (*set_sg)(struct net_device * , u32  ) ;
 4207   u32 (*get_tso)(struct net_device * ) ;
 4208   int (*set_tso)(struct net_device * , u32  ) ;
 4209   void (*self_test)(struct net_device * , struct ethtool_test * , u64 * ) ;
 4210   void (*get_strings)(struct net_device * , u32  , u8 * ) ;
 4211   int (*set_phys_id)(struct net_device * , enum ethtool_phys_id_state  ) ;
 4212   void (*get_ethtool_stats)(struct net_device * , struct ethtool_stats * , u64 * ) ;
 4213   int (*begin)(struct net_device * ) ;
 4214   void (*complete)(struct net_device * ) ;
 4215   u32 (*get_ufo)(struct net_device * ) ;
 4216   int (*set_ufo)(struct net_device * , u32  ) ;
 4217   u32 (*get_flags)(struct net_device * ) ;
 4218   int (*set_flags)(struct net_device * , u32  ) ;
 4219   u32 (*get_priv_flags)(struct net_device * ) ;
 4220   int (*set_priv_flags)(struct net_device * , u32  ) ;
 4221   int (*get_sset_count)(struct net_device * , int  ) ;
 4222   int (*get_rxnfc)(struct net_device * , struct ethtool_rxnfc * , void * ) ;
 4223   int (*set_rxnfc)(struct net_device * , struct ethtool_rxnfc * ) ;
 4224   int (*flash_device)(struct net_device * , struct ethtool_flash * ) ;
 4225   int (*reset)(struct net_device * , u32 * ) ;
 4226   int (*set_rx_ntuple)(struct net_device * , struct ethtool_rx_ntuple * ) ;
 4227   int (*get_rx_ntuple)(struct net_device * , u32  , void * ) ;
 4228   int (*get_rxfh_indir)(struct net_device * , struct ethtool_rxfh_indir * ) ;
 4229   int (*set_rxfh_indir)(struct net_device * , struct ethtool_rxfh_indir  const  * ) ;
 4230   void (*get_channels)(struct net_device * , struct ethtool_channels * ) ;
 4231   int (*set_channels)(struct net_device * , struct ethtool_channels * ) ;
 4232   int (*get_dump_flag)(struct net_device * , struct ethtool_dump * ) ;
 4233   int (*get_dump_data)(struct net_device * , struct ethtool_dump * , void * ) ;
 4234   int (*set_dump)(struct net_device * , struct ethtool_dump * ) ;
 4235};
 4236#line 972
 4237struct prot_inuse;
 4238#line 972
 4239struct prot_inuse;
 4240#line 973 "include/linux/ethtool.h"
 4241struct netns_core {
 4242   struct ctl_table_header *sysctl_hdr ;
 4243   int sysctl_somaxconn ;
 4244   struct prot_inuse *inuse ;
 4245};
 4246#line 38 "include/net/snmp.h"
 4247struct u64_stats_sync {
 4248
 4249};
 4250#line 138 "include/linux/u64_stats_sync.h"
 4251struct ipstats_mib {
 4252   u64 mibs[31U] ;
 4253   struct u64_stats_sync syncp ;
 4254};
 4255#line 61 "include/net/snmp.h"
 4256struct icmp_mib {
 4257   unsigned long mibs[27U] ;
 4258};
 4259#line 67 "include/net/snmp.h"
 4260struct icmpmsg_mib {
 4261   unsigned long mibs[512U] ;
 4262};
 4263#line 72 "include/net/snmp.h"
 4264struct icmpv6_mib {
 4265   unsigned long mibs[5U] ;
 4266};
 4267#line 83 "include/net/snmp.h"
 4268struct icmpv6msg_mib {
 4269   unsigned long mibs[512U] ;
 4270};
 4271#line 93 "include/net/snmp.h"
 4272struct tcp_mib {
 4273   unsigned long mibs[15U] ;
 4274};
 4275#line 100 "include/net/snmp.h"
 4276struct udp_mib {
 4277   unsigned long mibs[7U] ;
 4278};
 4279#line 106 "include/net/snmp.h"
 4280struct linux_mib {
 4281   unsigned long mibs[80U] ;
 4282};
 4283#line 112 "include/net/snmp.h"
 4284struct linux_xfrm_mib {
 4285   unsigned long mibs[27U] ;
 4286};
 4287#line 118
 4288struct proc_dir_entry;
 4289#line 118
 4290struct proc_dir_entry;
 4291#line 118 "include/net/snmp.h"
 4292struct netns_mib {
 4293   struct tcp_mib *tcp_statistics[2U] ;
 4294   struct ipstats_mib *ip_statistics[2U] ;
 4295   struct linux_mib *net_statistics[2U] ;
 4296   struct udp_mib *udp_statistics[2U] ;
 4297   struct udp_mib *udplite_statistics[2U] ;
 4298   struct icmp_mib *icmp_statistics[2U] ;
 4299   struct icmpmsg_mib *icmpmsg_statistics[2U] ;
 4300   struct proc_dir_entry *proc_net_devsnmp6 ;
 4301   struct udp_mib *udp_stats_in6[2U] ;
 4302   struct udp_mib *udplite_stats_in6[2U] ;
 4303   struct ipstats_mib *ipv6_statistics[2U] ;
 4304   struct icmpv6_mib *icmpv6_statistics[2U] ;
 4305   struct icmpv6msg_mib *icmpv6msg_statistics[2U] ;
 4306   struct linux_xfrm_mib *xfrm_statistics[2U] ;
 4307};
 4308#line 26 "include/net/netns/mib.h"
 4309struct netns_unix {
 4310   int sysctl_max_dgram_qlen ;
 4311   struct ctl_table_header *ctl ;
 4312};
 4313#line 12 "include/net/netns/unix.h"
 4314struct netns_packet {
 4315   spinlock_t sklist_lock ;
 4316   struct hlist_head sklist ;
 4317};
 4318#line 14 "include/net/netns/packet.h"
 4319struct netns_frags {
 4320   int nqueues ;
 4321   atomic_t mem ;
 4322   struct list_head lru_list ;
 4323   int timeout ;
 4324   int high_thresh ;
 4325   int low_thresh ;
 4326};
 4327#line 73 "include/net/inet_frag.h"
 4328struct ipv4_devconf;
 4329#line 73
 4330struct ipv4_devconf;
 4331#line 74
 4332struct fib_rules_ops;
 4333#line 74
 4334struct fib_rules_ops;
 4335#line 75
 4336struct xt_table;
 4337#line 75
 4338struct xt_table;
 4339#line 75 "include/net/inet_frag.h"
 4340struct netns_ipv4 {
 4341   struct ctl_table_header *forw_hdr ;
 4342   struct ctl_table_header *frags_hdr ;
 4343   struct ctl_table_header *ipv4_hdr ;
 4344   struct ctl_table_header *route_hdr ;
 4345   struct ipv4_devconf *devconf_all ;
 4346   struct ipv4_devconf *devconf_dflt ;
 4347   struct fib_rules_ops *rules_ops ;
 4348   struct hlist_head *fib_table_hash ;
 4349   struct sock *fibnl ;
 4350   struct sock **icmp_sk ;
 4351   struct sock *tcp_sock ;
 4352   struct netns_frags frags ;
 4353   struct xt_table *iptable_filter ;
 4354   struct xt_table *iptable_mangle ;
 4355   struct xt_table *iptable_raw ;
 4356   struct xt_table *arptable_filter ;
 4357   struct xt_table *iptable_security ;
 4358   struct xt_table *nat_table ;
 4359   struct hlist_head *nat_bysource ;
 4360   unsigned int nat_htable_size ;
 4361   int sysctl_icmp_echo_ignore_all ;
 4362   int sysctl_icmp_echo_ignore_broadcasts ;
 4363   int sysctl_icmp_ignore_bogus_error_responses ;
 4364   int sysctl_icmp_ratelimit ;
 4365   int sysctl_icmp_ratemask ;
 4366   int sysctl_icmp_errors_use_inbound_ifaddr ;
 4367   int sysctl_rt_cache_rebuild_count ;
 4368   int current_rt_cache_rebuild_count ;
 4369   unsigned int sysctl_ping_group_range[2U] ;
 4370   atomic_t rt_genid ;
 4371   atomic_t dev_addr_genid ;
 4372   struct list_head mr_tables ;
 4373   struct fib_rules_ops *mr_rules_ops ;
 4374};
 4375#line 70 "include/net/netns/ipv4.h"
 4376struct dst_ops {
 4377   unsigned short family ;
 4378   __be16 protocol ;
 4379   unsigned int gc_thresh ;
 4380   int (*gc)(struct dst_ops * ) ;
 4381   struct dst_entry *(*check)(struct dst_entry * , __u32  ) ;
 4382   unsigned int (*default_advmss)(struct dst_entry  const  * ) ;
 4383   unsigned int (*default_mtu)(struct dst_entry  const  * ) ;
 4384   u32 *(*cow_metrics)(struct dst_entry * , unsigned long  ) ;
 4385   void (*destroy)(struct dst_entry * ) ;
 4386   void (*ifdown)(struct dst_entry * , struct net_device * , int  ) ;
 4387   struct dst_entry *(*negative_advice)(struct dst_entry * ) ;
 4388   void (*link_failure)(struct sk_buff * ) ;
 4389   void (*update_pmtu)(struct dst_entry * , u32  ) ;
 4390   int (*local_out)(struct sk_buff * ) ;
 4391   struct kmem_cache *kmem_cachep ;
 4392   struct percpu_counter pcpuc_entries ;
 4393};
 4394#line 66 "include/net/dst_ops.h"
 4395struct netns_sysctl_ipv6 {
 4396   struct ctl_table_header *table ;
 4397   struct ctl_table_header *frags_hdr ;
 4398   int bindv6only ;
 4399   int flush_delay ;
 4400   int ip6_rt_max_size ;
 4401   int ip6_rt_gc_min_interval ;
 4402   int ip6_rt_gc_timeout ;
 4403   int ip6_rt_gc_interval ;
 4404   int ip6_rt_gc_elasticity ;
 4405   int ip6_rt_mtu_expires ;
 4406   int ip6_rt_min_advmss ;
 4407   int icmpv6_time ;
 4408};
 4409#line 29 "include/net/netns/ipv6.h"
 4410struct ipv6_devconf;
 4411#line 29
 4412struct ipv6_devconf;
 4413#line 29
 4414struct rt6_info;
 4415#line 29
 4416struct rt6_info;
 4417#line 29
 4418struct rt6_statistics;
 4419#line 29
 4420struct rt6_statistics;
 4421#line 29
 4422struct fib6_table;
 4423#line 29
 4424struct fib6_table;
 4425#line 29 "include/net/netns/ipv6.h"
 4426struct netns_ipv6 {
 4427   struct netns_sysctl_ipv6 sysctl ;
 4428   struct ipv6_devconf *devconf_all ;
 4429   struct ipv6_devconf *devconf_dflt ;
 4430   struct netns_frags frags ;
 4431   struct xt_table *ip6table_filter ;
 4432   struct xt_table *ip6table_mangle ;
 4433   struct xt_table *ip6table_raw ;
 4434   struct xt_table *ip6table_security ;
 4435   struct rt6_info *ip6_null_entry ;
 4436   struct rt6_statistics *rt6_stats ;
 4437   struct timer_list ip6_fib_timer ;
 4438   struct hlist_head *fib_table_hash ;
 4439   struct fib6_table *fib6_main_tbl ;
 4440   struct dst_ops ip6_dst_ops ;
 4441   unsigned int ip6_rt_gc_expire ;
 4442   unsigned long ip6_rt_last_gc ;
 4443   struct rt6_info *ip6_prohibit_entry ;
 4444   struct rt6_info *ip6_blk_hole_entry ;
 4445   struct fib6_table *fib6_local_tbl ;
 4446   struct fib_rules_ops *fib6_rules_ops ;
 4447   struct sock **icmp_sk ;
 4448   struct sock *ndisc_sk ;
 4449   struct sock *tcp_sk ;
 4450   struct sock *igmp_sk ;
 4451   struct list_head mr6_tables ;
 4452   struct fib_rules_ops *mr6_rules_ops ;
 4453};
 4454#line 68 "include/net/netns/ipv6.h"
 4455struct netns_dccp {
 4456   struct sock *v4_ctl_sk ;
 4457   struct sock *v6_ctl_sk ;
 4458};
 4459#line 46 "include/linux/proc_fs.h"
 4460typedef int read_proc_t(char * , char ** , off_t  , int  , int * , void * );
 4461#line 48 "include/linux/proc_fs.h"
 4462typedef int write_proc_t(struct file * , char const   * , unsigned long  , void * );
 4463#line 49 "include/linux/proc_fs.h"
 4464struct proc_dir_entry {
 4465   unsigned int low_ino ;
 4466   unsigned int namelen ;
 4467   char const   *name ;
 4468   mode_t mode ;
 4469   nlink_t nlink ;
 4470   uid_t uid ;
 4471   gid_t gid ;
 4472   loff_t size ;
 4473   struct inode_operations  const  *proc_iops ;
 4474   struct file_operations  const  *proc_fops ;
 4475   struct proc_dir_entry *next ;
 4476   struct proc_dir_entry *parent ;
 4477   struct proc_dir_entry *subdir ;
 4478   void *data ;
 4479   read_proc_t *read_proc ;
 4480   write_proc_t *write_proc ;
 4481   atomic_t count ;
 4482   int pde_users ;
 4483   spinlock_t pde_unload_lock ;
 4484   struct completion *pde_unload_completion ;
 4485   struct list_head pde_openers ;
 4486};
 4487#line 376 "include/linux/netfilter.h"
 4488struct ebt_table;
 4489#line 376
 4490struct ebt_table;
 4491#line 377 "include/linux/netfilter.h"
 4492struct netns_xt {
 4493   struct list_head tables[13U] ;
 4494   struct ebt_table *broute_table ;
 4495   struct ebt_table *frame_filter ;
 4496   struct ebt_table *frame_nat ;
 4497};
 4498#line 18 "include/net/netns/x_tables.h"
 4499struct ip_conntrack_stat;
 4500#line 18
 4501struct ip_conntrack_stat;
 4502#line 18 "include/net/netns/x_tables.h"
 4503struct netns_ct {
 4504   atomic_t count ;
 4505   unsigned int expect_count ;
 4506   unsigned int htable_size ;
 4507   struct kmem_cache *nf_conntrack_cachep ;
 4508   struct hlist_nulls_head *hash ;
 4509   struct hlist_head *expect_hash ;
 4510   struct hlist_nulls_head unconfirmed ;
 4511   struct hlist_nulls_head dying ;
 4512   struct ip_conntrack_stat *stat ;
 4513   int sysctl_events ;
 4514   unsigned int sysctl_events_retry_timeout ;
 4515   int sysctl_acct ;
 4516   int sysctl_tstamp ;
 4517   int sysctl_checksum ;
 4518   unsigned int sysctl_log_invalid ;
 4519   struct ctl_table_header *sysctl_header ;
 4520   struct ctl_table_header *acct_sysctl_header ;
 4521   struct ctl_table_header *tstamp_sysctl_header ;
 4522   struct ctl_table_header *event_sysctl_header ;
 4523   char *slabname ;
 4524};
 4525#line 484 "include/linux/xfrm.h"
 4526struct xfrm_policy_hash {
 4527   struct hlist_head *table ;
 4528   unsigned int hmask ;
 4529};
 4530#line 16 "include/net/netns/xfrm.h"
 4531struct netns_xfrm {
 4532   struct list_head state_all ;
 4533   struct hlist_head *state_bydst ;
 4534   struct hlist_head *state_bysrc ;
 4535   struct hlist_head *state_byspi ;
 4536   unsigned int state_hmask ;
 4537   unsigned int state_num ;
 4538   struct work_struct state_hash_work ;
 4539   struct hlist_head state_gc_list ;
 4540   struct work_struct state_gc_work ;
 4541   wait_queue_head_t km_waitq ;
 4542   struct list_head policy_all ;
 4543   struct hlist_head *policy_byidx ;
 4544   unsigned int policy_idx_hmask ;
 4545   struct hlist_head policy_inexact[6U] ;
 4546   struct xfrm_policy_hash policy_bydst[6U] ;
 4547   unsigned int policy_count[6U] ;
 4548   struct work_struct policy_hash_work ;
 4549   struct sock *nlsk ;
 4550   struct sock *nlsk_stash ;
 4551   u32 sysctl_aevent_etime ;
 4552   u32 sysctl_aevent_rseqth ;
 4553   int sysctl_larval_drop ;
 4554   u32 sysctl_acq_expires ;
 4555   struct ctl_table_header *sysctl_hdr ;
 4556   struct dst_ops xfrm4_dst_ops ;
 4557   struct dst_ops xfrm6_dst_ops ;
 4558};
 4559#line 62
 4560struct net_generic;
 4561#line 62
 4562struct net_generic;
 4563#line 63
 4564struct netns_ipvs;
 4565#line 63
 4566struct netns_ipvs;
 4567#line 64 "include/net/netns/xfrm.h"
 4568struct net {
 4569   atomic_t passive ;
 4570   atomic_t count ;
 4571   spinlock_t rules_mod_lock ;
 4572   struct list_head list ;
 4573   struct list_head cleanup_list ;
 4574   struct list_head exit_list ;
 4575   struct proc_dir_entry *proc_net ;
 4576   struct proc_dir_entry *proc_net_stat ;
 4577   struct ctl_table_set sysctls ;
 4578   struct sock *rtnl ;
 4579   struct sock *genl_sock ;
 4580   struct list_head dev_base_head ;
 4581   struct hlist_head *dev_name_head ;
 4582   struct hlist_head *dev_index_head ;
 4583   struct list_head rules_ops ;
 4584   struct net_device *loopback_dev ;
 4585   struct netns_core core ;
 4586   struct netns_mib mib ;
 4587   struct netns_packet packet ;
 4588   struct netns_unix unx ;
 4589   struct netns_ipv4 ipv4 ;
 4590   struct netns_ipv6 ipv6 ;
 4591   struct netns_dccp dccp ;
 4592   struct netns_xt xt ;
 4593   struct netns_ct ct ;
 4594   struct sock *nfnl ;
 4595   struct sock *nfnl_stash ;
 4596   struct sk_buff_head wext_nlevents ;
 4597   struct net_generic *gen ;
 4598   struct netns_xfrm xfrm ;
 4599   struct netns_ipvs *ipvs ;
 4600};
 4601#line 104 "include/net/net_namespace.h"
 4602struct seq_file {
 4603   char *buf ;
 4604   size_t size ;
 4605   size_t from ;
 4606   size_t count ;
 4607   loff_t index ;
 4608   loff_t read_pos ;
 4609   u64 version ;
 4610   struct mutex lock ;
 4611   struct seq_operations  const  *op ;
 4612   void *private ;
 4613};
 4614#line 28 "include/linux/seq_file.h"
 4615struct seq_operations {
 4616   void *(*start)(struct seq_file * , loff_t * ) ;
 4617   void (*stop)(struct seq_file * , void * ) ;
 4618   void *(*next)(struct seq_file * , void * , loff_t * ) ;
 4619   int (*show)(struct seq_file * , void * ) ;
 4620};
 4621#line 59 "include/net/dsa.h"
 4622struct ieee_ets {
 4623   __u8 willing ;
 4624   __u8 ets_cap ;
 4625   __u8 cbs ;
 4626   __u8 tc_tx_bw[8U] ;
 4627   __u8 tc_rx_bw[8U] ;
 4628   __u8 tc_tsa[8U] ;
 4629   __u8 prio_tc[8U] ;
 4630   __u8 tc_reco_bw[8U] ;
 4631   __u8 tc_reco_tsa[8U] ;
 4632   __u8 reco_prio_tc[8U] ;
 4633};
 4634#line 69 "include/linux/dcbnl.h"
 4635struct ieee_pfc {
 4636   __u8 pfc_cap ;
 4637   __u8 pfc_en ;
 4638   __u8 mbc ;
 4639   __u16 delay ;
 4640   __u64 requests[8U] ;
 4641   __u64 indications[8U] ;
 4642};
 4643#line 89 "include/linux/dcbnl.h"
 4644struct cee_pg {
 4645   __u8 willing ;
 4646   __u8 error ;
 4647   __u8 pg_en ;
 4648   __u8 tcs_supported ;
 4649   __u8 pg_bw[8U] ;
 4650   __u8 prio_pg[8U] ;
 4651};
 4652#line 112 "include/linux/dcbnl.h"
 4653struct cee_pfc {
 4654   __u8 willing ;
 4655   __u8 error ;
 4656   __u8 pfc_en ;
 4657   __u8 tcs_supported ;
 4658};
 4659#line 127 "include/linux/dcbnl.h"
 4660struct dcb_app {
 4661   __u8 selector ;
 4662   __u8 priority ;
 4663   __u16 protocol ;
 4664};
 4665#line 156 "include/linux/dcbnl.h"
 4666struct dcb_peer_app_info {
 4667   __u8 willing ;
 4668   __u8 error ;
 4669};
 4670#line 33 "include/net/dcbnl.h"
 4671struct dcbnl_rtnl_ops {
 4672   int (*ieee_getets)(struct net_device * , struct ieee_ets * ) ;
 4673   int (*ieee_setets)(struct net_device * , struct ieee_ets * ) ;
 4674   int (*ieee_getpfc)(struct net_device * , struct ieee_pfc * ) ;
 4675   int (*ieee_setpfc)(struct net_device * , struct ieee_pfc * ) ;
 4676   int (*ieee_getapp)(struct net_device * , struct dcb_app * ) ;
 4677   int (*ieee_setapp)(struct net_device * , struct dcb_app * ) ;
 4678   int (*ieee_peer_getets)(struct net_device * , struct ieee_ets * ) ;
 4679   int (*ieee_peer_getpfc)(struct net_device * , struct ieee_pfc * ) ;
 4680   u8 (*getstate)(struct net_device * ) ;
 4681   u8 (*setstate)(struct net_device * , u8  ) ;
 4682   void (*getpermhwaddr)(struct net_device * , u8 * ) ;
 4683   void (*setpgtccfgtx)(struct net_device * , int  , u8  , u8  , u8  , u8  ) ;
 4684   void (*setpgbwgcfgtx)(struct net_device * , int  , u8  ) ;
 4685   void (*setpgtccfgrx)(struct net_device * , int  , u8  , u8  , u8  , u8  ) ;
 4686   void (*setpgbwgcfgrx)(struct net_device * , int  , u8  ) ;
 4687   void (*getpgtccfgtx)(struct net_device * , int  , u8 * , u8 * , u8 * , u8 * ) ;
 4688   void (*getpgbwgcfgtx)(struct net_device * , int  , u8 * ) ;
 4689   void (*getpgtccfgrx)(struct net_device * , int  , u8 * , u8 * , u8 * , u8 * ) ;
 4690   void (*getpgbwgcfgrx)(struct net_device * , int  , u8 * ) ;
 4691   void (*setpfccfg)(struct net_device * , int  , u8  ) ;
 4692   void (*getpfccfg)(struct net_device * , int  , u8 * ) ;
 4693   u8 (*setall)(struct net_device * ) ;
 4694   u8 (*getcap)(struct net_device * , int  , u8 * ) ;
 4695   u8 (*getnumtcs)(struct net_device * , int  , u8 * ) ;
 4696   u8 (*setnumtcs)(struct net_device * , int  , u8  ) ;
 4697   u8 (*getpfcstate)(struct net_device * ) ;
 4698   void (*setpfcstate)(struct net_device * , u8  ) ;
 4699   void (*getbcncfg)(struct net_device * , int  , u32 * ) ;
 4700   void (*setbcncfg)(struct net_device * , int  , u32  ) ;
 4701   void (*getbcnrp)(struct net_device * , int  , u8 * ) ;
 4702   void (*setbcnrp)(struct net_device * , int  , u8  ) ;
 4703   u8 (*setapp)(struct net_device * , u8  , u16  , u8  ) ;
 4704   u8 (*getapp)(struct net_device * , u8  , u16  ) ;
 4705   u8 (*getfeatcfg)(struct net_device * , int  , u8 * ) ;
 4706   u8 (*setfeatcfg)(struct net_device * , int  , u8  ) ;
 4707   u8 (*getdcbx)(struct net_device * ) ;
 4708   u8 (*setdcbx)(struct net_device * , u8  ) ;
 4709   int (*peer_getappinfo)(struct net_device * , struct dcb_peer_app_info * , u16 * ) ;
 4710   int (*peer_getapptable)(struct net_device * , struct dcb_app * ) ;
 4711   int (*cee_peer_getpg)(struct net_device * , struct cee_pg * ) ;
 4712   int (*cee_peer_getpfc)(struct net_device * , struct cee_pfc * ) ;
 4713};
 4714#line 91
 4715struct vlan_group;
 4716#line 91
 4717struct vlan_group;
 4718#line 92
 4719struct netpoll_info;
 4720#line 92
 4721struct netpoll_info;
 4722#line 93
 4723struct phy_device;
 4724#line 93
 4725struct phy_device;
 4726#line 94
 4727struct wireless_dev;
 4728#line 94
 4729struct wireless_dev;
 4730#line 95
 4731enum netdev_tx {
 4732    __NETDEV_TX_MIN = (-0x7FFFFFFF-1),
 4733    NETDEV_TX_OK = 0,
 4734    NETDEV_TX_BUSY = 16,
 4735    NETDEV_TX_LOCKED = 32
 4736} ;
 4737#line 117 "include/linux/netdevice.h"
 4738typedef enum netdev_tx netdev_tx_t;
 4739#line 136 "include/linux/netdevice.h"
 4740struct net_device_stats {
 4741   unsigned long rx_packets ;
 4742   unsigned long tx_packets ;
 4743   unsigned long rx_bytes ;
 4744   unsigned long tx_bytes ;
 4745   unsigned long rx_errors ;
 4746   unsigned long tx_errors ;
 4747   unsigned long rx_dropped ;
 4748   unsigned long tx_dropped ;
 4749   unsigned long multicast ;
 4750   unsigned long collisions ;
 4751   unsigned long rx_length_errors ;
 4752   unsigned long rx_over_errors ;
 4753   unsigned long rx_crc_errors ;
 4754   unsigned long rx_frame_errors ;
 4755   unsigned long rx_fifo_errors ;
 4756   unsigned long rx_missed_errors ;
 4757   unsigned long tx_aborted_errors ;
 4758   unsigned long tx_carrier_errors ;
 4759   unsigned long tx_fifo_errors ;
 4760   unsigned long tx_heartbeat_errors ;
 4761   unsigned long tx_window_errors ;
 4762   unsigned long rx_compressed ;
 4763   unsigned long tx_compressed ;
 4764};
 4765#line 211
 4766struct neighbour;
 4767#line 211
 4768struct neighbour;
 4769#line 212
 4770struct neigh_parms;
 4771#line 212
 4772struct neigh_parms;
 4773#line 239 "include/linux/netdevice.h"
 4774struct netdev_hw_addr_list {
 4775   struct list_head list ;
 4776   int count ;
 4777};
 4778#line 244 "include/linux/netdevice.h"
 4779struct hh_cache {
 4780   struct hh_cache *hh_next ;
 4781   atomic_t hh_refcnt ;
 4782   __be16 hh_type ;
 4783   u16 hh_len ;
 4784   int (*hh_output)(struct sk_buff * ) ;
 4785   seqlock_t hh_lock ;
 4786   unsigned long hh_data[16U] ;
 4787};
 4788#line 292 "include/linux/netdevice.h"
 4789struct header_ops {
 4790   int (*create)(struct sk_buff * , struct net_device * , unsigned short  , void const   * ,
 4791                 void const   * , unsigned int  ) ;
 4792   int (*parse)(struct sk_buff  const  * , unsigned char * ) ;
 4793   int (*rebuild)(struct sk_buff * ) ;
 4794   int (*cache)(struct neighbour  const  * , struct hh_cache * ) ;
 4795   void (*cache_update)(struct hh_cache * , struct net_device  const  * , unsigned char const   * ) ;
 4796};
 4797#line 392
 4798enum rx_handler_result {
 4799    RX_HANDLER_CONSUMED = 0,
 4800    RX_HANDLER_ANOTHER = 1,
 4801    RX_HANDLER_EXACT = 2,
 4802    RX_HANDLER_PASS = 3
 4803} ;
 4804#line 440 "include/linux/netdevice.h"
 4805typedef enum rx_handler_result rx_handler_result_t;
 4806#line 441 "include/linux/netdevice.h"
 4807typedef rx_handler_result_t rx_handler_func_t(struct sk_buff ** );
 4808#line 548
 4809struct Qdisc;
 4810#line 548
 4811struct Qdisc;
 4812#line 548 "include/linux/netdevice.h"
 4813struct netdev_queue {
 4814   struct net_device *dev ;
 4815   struct Qdisc *qdisc ;
 4816   unsigned long state ;
 4817   struct Qdisc *qdisc_sleeping ;
 4818   struct kobject kobj ;
 4819   int numa_node ;
 4820   spinlock_t _xmit_lock ;
 4821   int xmit_lock_owner ;
 4822   unsigned long trans_start ;
 4823};
 4824#line 590 "include/linux/netdevice.h"
 4825struct rps_map {
 4826   unsigned int len ;
 4827   struct rcu_head rcu ;
 4828   u16 cpus[0U] ;
 4829};
 4830#line 602 "include/linux/netdevice.h"
 4831struct rps_dev_flow {
 4832   u16 cpu ;
 4833   u16 filter ;
 4834   unsigned int last_qtail ;
 4835};
 4836#line 614 "include/linux/netdevice.h"
 4837struct rps_dev_flow_table {
 4838   unsigned int mask ;
 4839   struct rcu_head rcu ;
 4840   struct work_struct free_work ;
 4841   struct rps_dev_flow flows[0U] ;
 4842};
 4843#line 666 "include/linux/netdevice.h"
 4844struct netdev_rx_queue {
 4845   struct rps_map *rps_map ;
 4846   struct rps_dev_flow_table *rps_flow_table ;
 4847   struct kobject kobj ;
 4848   struct net_device *dev ;
 4849};
 4850#line 676 "include/linux/netdevice.h"
 4851struct xps_map {
 4852   unsigned int len ;
 4853   unsigned int alloc_len ;
 4854   struct rcu_head rcu ;
 4855   u16 queues[0U] ;
 4856};
 4857#line 689 "include/linux/netdevice.h"
 4858struct xps_dev_maps {
 4859   struct rcu_head rcu ;
 4860   struct xps_map *cpu_map[0U] ;
 4861};
 4862#line 700 "include/linux/netdevice.h"
 4863struct netdev_tc_txq {
 4864   u16 count ;
 4865   u16 offset ;
 4866};
 4867#line 711 "include/linux/netdevice.h"
 4868struct net_device_ops {
 4869   int (*ndo_init)(struct net_device * ) ;
 4870   void (*ndo_uninit)(struct net_device * ) ;
 4871   int (*ndo_open)(struct net_device * ) ;
 4872   int (*ndo_stop)(struct net_device * ) ;
 4873   netdev_tx_t (*ndo_start_xmit)(struct sk_buff * , struct net_device * ) ;
 4874   u16 (*ndo_select_queue)(struct net_device * , struct sk_buff * ) ;
 4875   void (*ndo_change_rx_flags)(struct net_device * , int  ) ;
 4876   void (*ndo_set_rx_mode)(struct net_device * ) ;
 4877   void (*ndo_set_multicast_list)(struct net_device * ) ;
 4878   int (*ndo_set_mac_address)(struct net_device * , void * ) ;
 4879   int (*ndo_validate_addr)(struct net_device * ) ;
 4880   int (*ndo_do_ioctl)(struct net_device * , struct ifreq * , int  ) ;
 4881   int (*ndo_set_config)(struct net_device * , struct ifmap * ) ;
 4882   int (*ndo_change_mtu)(struct net_device * , int  ) ;
 4883   int (*ndo_neigh_setup)(struct net_device * , struct neigh_parms * ) ;
 4884   void (*ndo_tx_timeout)(struct net_device * ) ;
 4885   struct rtnl_link_stats64 *(*ndo_get_stats64)(struct net_device * , struct rtnl_link_stats64 * ) ;
 4886   struct net_device_stats *(*ndo_get_stats)(struct net_device * ) ;
 4887   void (*ndo_vlan_rx_register)(struct net_device * , struct vlan_group * ) ;
 4888   void (*ndo_vlan_rx_add_vid)(struct net_device * , unsigned short  ) ;
 4889   void (*ndo_vlan_rx_kill_vid)(struct net_device * , unsigned short  ) ;
 4890   void (*ndo_poll_controller)(struct net_device * ) ;
 4891   int (*ndo_netpoll_setup)(struct net_device * , struct netpoll_info * ) ;
 4892   void (*ndo_netpoll_cleanup)(struct net_device * ) ;
 4893   int (*ndo_set_vf_mac)(struct net_device * , int  , u8 * ) ;
 4894   int (*ndo_set_vf_vlan)(struct net_device * , int  , u16  , u8  ) ;
 4895   int (*ndo_set_vf_tx_rate)(struct net_device * , int  , int  ) ;
 4896   int (*ndo_get_vf_config)(struct net_device * , int  , struct ifla_vf_info * ) ;
 4897   int (*ndo_set_vf_port)(struct net_device * , int  , struct nlattr ** ) ;
 4898   int (*ndo_get_vf_port)(struct net_device * , int  , struct sk_buff * ) ;
 4899   int (*ndo_setup_tc)(struct net_device * , u8  ) ;
 4900   int (*ndo_fcoe_enable)(struct net_device * ) ;
 4901   int (*ndo_fcoe_disable)(struct net_device * ) ;
 4902   int (*ndo_fcoe_ddp_setup)(struct net_device * , u16  , struct scatterlist * , unsigned int  ) ;
 4903   int (*ndo_fcoe_ddp_done)(struct net_device * , u16  ) ;
 4904   int (*ndo_fcoe_ddp_target)(struct net_device * , u16  , struct scatterlist * ,
 4905                              unsigned int  ) ;
 4906   int (*ndo_fcoe_get_wwn)(struct net_device * , u64 * , int  ) ;
 4907   int (*ndo_rx_flow_steer)(struct net_device * , struct sk_buff  const  * , u16  ,
 4908                            u32  ) ;
 4909   int (*ndo_add_slave)(struct net_device * , struct net_device * ) ;
 4910   int (*ndo_del_slave)(struct net_device * , struct net_device * ) ;
 4911   u32 (*ndo_fix_features)(struct net_device * , u32  ) ;
 4912   int (*ndo_set_features)(struct net_device * , u32  ) ;
 4913};
 4914#line 995
 4915struct iw_handler_def;
 4916#line 995
 4917struct iw_handler_def;
 4918#line 995
 4919struct iw_public_data;
 4920#line 995
 4921struct iw_public_data;
 4922#line 995
 4923struct in_device;
 4924#line 995
 4925struct in_device;
 4926#line 995
 4927struct dn_dev;
 4928#line 995
 4929struct dn_dev;
 4930#line 995
 4931struct inet6_dev;
 4932#line 995
 4933struct inet6_dev;
 4934#line 995
 4935struct cpu_rmap;
 4936#line 995
 4937struct cpu_rmap;
 4938#line 995
 4939struct pcpu_lstats;
 4940#line 995
 4941struct pcpu_lstats;
 4942#line 995
 4943struct pcpu_tstats;
 4944#line 995
 4945struct pcpu_tstats;
 4946#line 995
 4947struct pcpu_dstats;
 4948#line 995
 4949struct pcpu_dstats;
 4950#line 995 "include/linux/netdevice.h"
 4951union __anonunion_ldv_30999_192 {
 4952   void *ml_priv ;
 4953   struct pcpu_lstats *lstats ;
 4954   struct pcpu_tstats *tstats ;
 4955   struct pcpu_dstats *dstats ;
 4956};
 4957#line 995
 4958struct garp_port;
 4959#line 995
 4960struct garp_port;
 4961#line 995
 4962struct rtnl_link_ops;
 4963#line 995
 4964struct rtnl_link_ops;
 4965#line 995 "include/linux/netdevice.h"
 4966struct net_device {
 4967   char name[16U] ;
 4968   struct pm_qos_request_list pm_qos_req ;
 4969   struct hlist_node name_hlist ;
 4970   char *ifalias ;
 4971   unsigned long mem_end ;
 4972   unsigned long mem_start ;
 4973   unsigned long base_addr ;
 4974   unsigned int irq ;
 4975   unsigned long state ;
 4976   struct list_head dev_list ;
 4977   struct list_head napi_list ;
 4978   struct list_head unreg_list ;
 4979   u32 features ;
 4980   u32 hw_features ;
 4981   u32 wanted_features ;
 4982   u32 vlan_features ;
 4983   int ifindex ;
 4984   int iflink ;
 4985   struct net_device_stats stats ;
 4986   atomic_long_t rx_dropped ;
 4987   struct iw_handler_def  const  *wireless_handlers ;
 4988   struct iw_public_data *wireless_data ;
 4989   struct net_device_ops  const  *netdev_ops ;
 4990   struct ethtool_ops  const  *ethtool_ops ;
 4991   struct header_ops  const  *header_ops ;
 4992   unsigned int flags ;
 4993   unsigned int priv_flags ;
 4994   unsigned short gflags ;
 4995   unsigned short padded ;
 4996   unsigned char operstate ;
 4997   unsigned char link_mode ;
 4998   unsigned char if_port ;
 4999   unsigned char dma ;
 5000   unsigned int mtu ;
 5001   unsigned short type ;
 5002   unsigned short hard_header_len ;
 5003   unsigned short needed_headroom ;
 5004   unsigned short needed_tailroom ;
 5005   unsigned char perm_addr[32U] ;
 5006   unsigned char addr_assign_type ;
 5007   unsigned char addr_len ;
 5008   unsigned short dev_id ;
 5009   spinlock_t addr_list_lock ;
 5010   struct netdev_hw_addr_list uc ;
 5011   struct netdev_hw_addr_list mc ;
 5012   int uc_promisc ;
 5013   unsigned int promiscuity ;
 5014   unsigned int allmulti ;
 5015   struct vlan_group *vlgrp ;
 5016   void *dsa_ptr ;
 5017   void *atalk_ptr ;
 5018   struct in_device *ip_ptr ;
 5019   struct dn_dev *dn_ptr ;
 5020   struct inet6_dev *ip6_ptr ;
 5021   void *ec_ptr ;
 5022   void *ax25_ptr ;
 5023   struct wireless_dev *ieee80211_ptr ;
 5024   unsigned long last_rx ;
 5025   struct net_device *master ;
 5026   unsigned char *dev_addr ;
 5027   struct netdev_hw_addr_list dev_addrs ;
 5028   unsigned char broadcast[32U] ;
 5029   struct kset *queues_kset ;
 5030   struct netdev_rx_queue *_rx ;
 5031   unsigned int num_rx_queues ;
 5032   unsigned int real_num_rx_queues ;
 5033   struct cpu_rmap *rx_cpu_rmap ;
 5034   rx_handler_func_t *rx_handler ;
 5035   void *rx_handler_data ;
 5036   struct netdev_queue *ingress_queue ;
 5037   struct netdev_queue *_tx ;
 5038   unsigned int num_tx_queues ;
 5039   unsigned int real_num_tx_queues ;
 5040   struct Qdisc *qdisc ;
 5041   unsigned long tx_queue_len ;
 5042   spinlock_t tx_global_lock ;
 5043   struct xps_dev_maps *xps_maps ;
 5044   unsigned long trans_start ;
 5045   int watchdog_timeo ;
 5046   struct timer_list watchdog_timer ;
 5047   int *pcpu_refcnt ;
 5048   struct list_head todo_list ;
 5049   struct hlist_node index_hlist ;
 5050   struct list_head link_watch_list ;
 5051   unsigned char reg_state ;
 5052   bool dismantle ;
 5053   unsigned short rtnl_link_state ;
 5054   void (*destructor)(struct net_device * ) ;
 5055   struct netpoll_info *npinfo ;
 5056   struct net *nd_net ;
 5057   union __anonunion_ldv_30999_192 ldv_30999 ;
 5058   struct garp_port *garp_port ;
 5059   struct device dev ;
 5060   struct attribute_group  const  *sysfs_groups[4U] ;
 5061   struct rtnl_link_ops  const  *rtnl_link_ops ;
 5062   unsigned int gso_max_size ;
 5063   struct dcbnl_rtnl_ops  const  *dcbnl_ops ;
 5064   u8 num_tc ;
 5065   struct netdev_tc_txq tc_to_txq[16U] ;
 5066   u8 prio_tc_map[16U] ;
 5067   unsigned int fcoe_ddp_xid ;
 5068   struct ethtool_rx_ntuple_list ethtool_ntuple_list ;
 5069   struct phy_device *phydev ;
 5070   int group ;
 5071};
 5072#line 1559
 5073enum irqreturn {
 5074    IRQ_NONE = 0,
 5075    IRQ_HANDLED = 1,
 5076    IRQ_WAKE_THREAD = 2
 5077} ;
 5078#line 16 "include/linux/irqreturn.h"
 5079typedef enum irqreturn irqreturn_t;
 5080#line 91 "include/linux/interrupt.h"
 5081struct irqaction {
 5082   irqreturn_t (*handler)(int  , void * ) ;
 5083   unsigned long flags ;
 5084   void *dev_id ;
 5085   struct irqaction *next ;
 5086   int irq ;
 5087   irqreturn_t (*thread_fn)(int  , void * ) ;
 5088   struct task_struct *thread ;
 5089   unsigned long thread_flags ;
 5090   unsigned long thread_mask ;
 5091   char const   *name ;
 5092   struct proc_dir_entry *dir ;
 5093};
 5094#line 474 "include/linux/interrupt.h"
 5095struct tasklet_struct {
 5096   struct tasklet_struct *next ;
 5097   unsigned long state ;
 5098   atomic_t count ;
 5099   void (*func)(unsigned long  ) ;
 5100   unsigned long data ;
 5101};
 5102#line 327 "include/linux/fsnotify.h"
 5103struct linux_binprm {
 5104   char buf[128U] ;
 5105   struct vm_area_struct *vma ;
 5106   unsigned long vma_pages ;
 5107   struct mm_struct *mm ;
 5108   unsigned long p ;
 5109   unsigned char cred_prepared : 1 ;
 5110   unsigned char cap_effective : 1 ;
 5111   unsigned int recursion_depth ;
 5112   struct file *file ;
 5113   struct cred *cred ;
 5114   int unsafe ;
 5115   unsigned int per_clear ;
 5116   int argc ;
 5117   int envc ;
 5118   char const   *filename ;
 5119   char const   *interp ;
 5120   unsigned int interp_flags ;
 5121   unsigned int interp_data ;
 5122   unsigned long loader ;
 5123   unsigned long exec ;
 5124};
 5125#line 62 "include/linux/binfmts.h"
 5126struct coredump_params {
 5127   long signr ;
 5128   struct pt_regs *regs ;
 5129   struct file *file ;
 5130   unsigned long limit ;
 5131   unsigned long mm_flags ;
 5132};
 5133#line 80 "include/linux/binfmts.h"
 5134struct linux_binfmt {
 5135   struct list_head lh ;
 5136   struct module *module ;
 5137   int (*load_binary)(struct linux_binprm * , struct pt_regs * ) ;
 5138   int (*load_shlib)(struct file * ) ;
 5139   int (*core_dump)(struct coredump_params * ) ;
 5140   unsigned long min_coredump ;
 5141};
 5142#line 83 "include/linux/security.h"
 5143struct xfrm_policy;
 5144#line 83
 5145struct xfrm_policy;
 5146#line 84
 5147struct xfrm_state;
 5148#line 84
 5149struct xfrm_state;
 5150#line 110 "include/linux/uaccess.h"
 5151struct sock_filter {
 5152   __u16 code ;
 5153   __u8 jt ;
 5154   __u8 jf ;
 5155   __u32 k ;
 5156};
 5157#line 37 "include/linux/filter.h"
 5158struct sk_filter {
 5159   atomic_t refcnt ;
 5160   unsigned int len ;
 5161   unsigned int (*bpf_func)(struct sk_buff  const  * , struct sock_filter  const  * ) ;
 5162   struct rcu_head rcu ;
 5163   struct sock_filter insns[0U] ;
 5164};
 5165#line 815 "include/linux/rtnetlink.h"
 5166struct nla_policy {
 5167   u16 type ;
 5168   u16 len ;
 5169};
 5170#line 24 "include/net/rtnetlink.h"
 5171struct rtnl_link_ops {
 5172   struct list_head list ;
 5173   char const   *kind ;
 5174   size_t priv_size ;
 5175   void (*setup)(struct net_device * ) ;
 5176   int maxtype ;
 5177   struct nla_policy  const  *policy ;
 5178   int (*validate)(struct nlattr ** , struct nlattr ** ) ;
 5179   int (*newlink)(struct net * , struct net_device * , struct nlattr ** , struct nlattr ** ) ;
 5180   int (*changelink)(struct net_device * , struct nlattr ** , struct nlattr ** ) ;
 5181   void (*dellink)(struct net_device * , struct list_head * ) ;
 5182   size_t (*get_size)(struct net_device  const  * ) ;
 5183   int (*fill_info)(struct sk_buff * , struct net_device  const  * ) ;
 5184   size_t (*get_xstats_size)(struct net_device  const  * ) ;
 5185   int (*fill_xstats)(struct sk_buff * , struct net_device  const  * ) ;
 5186   int (*get_tx_queues)(struct net * , struct nlattr ** , unsigned int * , unsigned int * ) ;
 5187};
 5188#line 127
 5189struct neigh_table;
 5190#line 127
 5191struct neigh_table;
 5192#line 127 "include/net/rtnetlink.h"
 5193struct neigh_parms {
 5194   struct net *net ;
 5195   struct net_device *dev ;
 5196   struct neigh_parms *next ;
 5197   int (*neigh_setup)(struct neighbour * ) ;
 5198   void (*neigh_cleanup)(struct neighbour * ) ;
 5199   struct neigh_table *tbl ;
 5200   void *sysctl_table ;
 5201   int dead ;
 5202   atomic_t refcnt ;
 5203   struct rcu_head rcu_head ;
 5204   int base_reachable_time ;
 5205   int retrans_time ;
 5206   int gc_staletime ;
 5207   int reachable_time ;
 5208   int delay_probe_time ;
 5209   int queue_len ;
 5210   int ucast_probes ;
 5211   int app_probes ;
 5212   int mcast_probes ;
 5213   int anycast_delay ;
 5214   int proxy_delay ;
 5215   int proxy_qlen ;
 5216   int locktime ;
 5217};
 5218#line 71 "include/net/neighbour.h"
 5219struct neigh_statistics {
 5220   unsigned long allocs ;
 5221   unsigned long destroys ;
 5222   unsigned long hash_grows ;
 5223   unsigned long res_failed ;
 5224   unsigned long lookups ;
 5225   unsigned long hits ;
 5226   unsigned long rcv_probes_mcast ;
 5227   unsigned long rcv_probes_ucast ;
 5228   unsigned long periodic_gc_runs ;
 5229   unsigned long forced_gc_runs ;
 5230   unsigned long unres_discards ;
 5231};
 5232#line 90
 5233struct neigh_ops;
 5234#line 90
 5235struct neigh_ops;
 5236#line 90 "include/net/neighbour.h"
 5237struct neighbour {
 5238   struct neighbour *next ;
 5239   struct neigh_table *tbl ;
 5240   struct neigh_parms *parms ;
 5241   unsigned long confirmed ;
 5242   unsigned long updated ;
 5243   rwlock_t lock ;
 5244   atomic_t refcnt ;
 5245   struct sk_buff_head arp_queue ;
 5246   struct timer_list timer ;
 5247   unsigned long used ;
 5248   atomic_t probes ;
 5249   __u8 flags ;
 5250   __u8 nud_state ;
 5251   __u8 type ;
 5252   __u8 dead ;
 5253   seqlock_t ha_lock ;
 5254   unsigned char ha[32U] ;
 5255   struct hh_cache *hh ;
 5256   int (*output)(struct sk_buff * ) ;
 5257   struct neigh_ops  const  *ops ;
 5258   struct rcu_head rcu ;
 5259   struct net_device *dev ;
 5260   u8 primary_key[0U] ;
 5261};
 5262#line 118 "include/net/neighbour.h"
 5263struct neigh_ops {
 5264   int family ;
 5265   void (*solicit)(struct neighbour * , struct sk_buff * ) ;
 5266   void (*error_report)(struct neighbour * , struct sk_buff * ) ;
 5267   int (*output)(struct sk_buff * ) ;
 5268   int (*connected_output)(struct sk_buff * ) ;
 5269   int (*hh_output)(struct sk_buff * ) ;
 5270   int (*queue_xmit)(struct sk_buff * ) ;
 5271};
 5272#line 128 "include/net/neighbour.h"
 5273struct pneigh_entry {
 5274   struct pneigh_entry *next ;
 5275   struct net *net ;
 5276   struct net_device *dev ;
 5277   u8 flags ;
 5278   u8 key[0U] ;
 5279};
 5280#line 138 "include/net/neighbour.h"
 5281struct neigh_hash_table {
 5282   struct neighbour **hash_buckets ;
 5283   unsigned int hash_mask ;
 5284   __u32 hash_rnd ;
 5285   struct rcu_head rcu ;
 5286};
 5287#line 149 "include/net/neighbour.h"
 5288struct neigh_table {
 5289   struct neigh_table *next ;
 5290   int family ;
 5291   int entry_size ;
 5292   int key_len ;
 5293   __u32 (*hash)(void const   * , struct net_device  const  * , __u32  ) ;
 5294   int (*constructor)(struct neighbour * ) ;
 5295   int (*pconstructor)(struct pneigh_entry * ) ;
 5296   void (*pdestructor)(struct pneigh_entry * ) ;
 5297   void (*proxy_redo)(struct sk_buff * ) ;
 5298   char *id ;
 5299   struct neigh_parms parms ;
 5300   int gc_interval ;
 5301   int gc_thresh1 ;
 5302   int gc_thresh2 ;
 5303   int gc_thresh3 ;
 5304   unsigned long last_flush ;
 5305   struct delayed_work gc_work ;
 5306   struct timer_list proxy_timer ;
 5307   struct sk_buff_head proxy_queue ;
 5308   atomic_t entries ;
 5309   rwlock_t lock ;
 5310   unsigned long last_rand ;
 5311   struct kmem_cache *kmem_cachep ;
 5312   struct neigh_statistics *stats ;
 5313   struct neigh_hash_table *nht ;
 5314   struct pneigh_entry **phash_buckets ;
 5315};
 5316#line 394
 5317struct dn_route;
 5318#line 394
 5319struct dn_route;
 5320#line 394 "include/net/neighbour.h"
 5321union __anonunion_ldv_36933_200 {
 5322   struct dst_entry *next ;
 5323   struct rtable *rt_next ;
 5324   struct rt6_info *rt6_next ;
 5325   struct dn_route *dn_next ;
 5326};
 5327#line 394 "include/net/neighbour.h"
 5328struct dst_entry {
 5329   struct rcu_head rcu_head ;
 5330   struct dst_entry *child ;
 5331   struct net_device *dev ;
 5332   struct dst_ops *ops ;
 5333   unsigned long _metrics ;
 5334   unsigned long expires ;
 5335   struct dst_entry *path ;
 5336   struct neighbour *neighbour ;
 5337   struct hh_cache *hh ;
 5338   struct xfrm_state *xfrm ;
 5339   int (*input)(struct sk_buff * ) ;
 5340   int (*output)(struct sk_buff * ) ;
 5341   short error ;
 5342   short obsolete ;
 5343   unsigned short header_len ;
 5344   unsigned short trailer_len ;
 5345   __u32 tclassid ;
 5346   long __pad_to_align_refcnt[1U] ;
 5347   atomic_t __refcnt ;
 5348   int __use ;
 5349   unsigned long lastuse ;
 5350   int flags ;
 5351   union __anonunion_ldv_36933_200 ldv_36933 ;
 5352};
 5353#line 101 "include/net/sock.h"
 5354struct __anonstruct_socket_lock_t_201 {
 5355   spinlock_t slock ;
 5356   int owned ;
 5357   wait_queue_head_t wq ;
 5358   struct lockdep_map dep_map ;
 5359};
 5360#line 101 "include/net/sock.h"
 5361typedef struct __anonstruct_socket_lock_t_201 socket_lock_t;
 5362#line 101
 5363struct proto;
 5364#line 101
 5365struct proto;
 5366#line 102 "include/net/sock.h"
 5367union __anonunion_ldv_37134_202 {
 5368   unsigned int skc_hash ;
 5369   __u16 skc_u16hashes[2U] ;
 5370};
 5371#line 102 "include/net/sock.h"
 5372union __anonunion_ldv_37142_203 {
 5373   struct hlist_node skc_bind_node ;
 5374   struct hlist_nulls_node skc_portaddr_node ;
 5375};
 5376#line 102 "include/net/sock.h"
 5377union __anonunion_ldv_37149_204 {
 5378   struct hlist_node skc_node ;
 5379   struct hlist_nulls_node skc_nulls_node ;
 5380};
 5381#line 102 "include/net/sock.h"
 5382struct sock_common {
 5383   __be32 skc_daddr ;
 5384   __be32 skc_rcv_saddr ;
 5385   union __anonunion_ldv_37134_202 ldv_37134 ;
 5386   unsigned short skc_family ;
 5387   unsigned char volatile   skc_state ;
 5388   unsigned char skc_reuse ;
 5389   int skc_bound_dev_if ;
 5390   union __anonunion_ldv_37142_203 ldv_37142 ;
 5391   struct proto *skc_prot ;
 5392   struct net *skc_net ;
 5393   int skc_dontcopy_begin[0U] ;
 5394   union __anonunion_ldv_37149_204 ldv_37149 ;
 5395   int skc_tx_queue_mapping ;
 5396   atomic_t skc_refcnt ;
 5397   int skc_dontcopy_end[0U] ;
 5398};
 5399#line 168 "include/net/sock.h"
 5400struct __anonstruct_sk_backlog_205 {
 5401   atomic_t rmem_alloc ;
 5402   int len ;
 5403   struct sk_buff *head ;
 5404   struct sk_buff *tail ;
 5405};
 5406#line 168 "include/net/sock.h"
 5407struct sock {
 5408   struct sock_common __sk_common ;
 5409   socket_lock_t sk_lock ;
 5410   struct sk_buff_head sk_receive_queue ;
 5411   struct __anonstruct_sk_backlog_205 sk_backlog ;
 5412   int sk_forward_alloc ;
 5413   __u32 sk_rxhash ;
 5414   atomic_t sk_drops ;
 5415   int sk_rcvbuf ;
 5416   struct sk_filter *sk_filter ;
 5417   struct socket_wq *sk_wq ;
 5418   struct sk_buff_head sk_async_wait_queue ;
 5419   struct xfrm_policy *sk_policy[2U] ;
 5420   unsigned long sk_flags ;
 5421   struct dst_entry *sk_dst_cache ;
 5422   spinlock_t sk_dst_lock ;
 5423   atomic_t sk_wmem_alloc ;
 5424   atomic_t sk_omem_alloc ;
 5425   int sk_sndbuf ;
 5426   struct sk_buff_head sk_write_queue ;
 5427   unsigned char sk_shutdown : 2 ;
 5428   unsigned char sk_no_check : 2 ;
 5429   unsigned char sk_userlocks : 4 ;
 5430   unsigned char sk_protocol ;
 5431   unsigned short sk_type ;
 5432   int sk_wmem_queued ;
 5433   gfp_t sk_allocation ;
 5434   int sk_route_caps ;
 5435   int sk_route_nocaps ;
 5436   int sk_gso_type ;
 5437   unsigned int sk_gso_max_size ;
 5438   int sk_rcvlowat ;
 5439   unsigned long sk_lingertime ;
 5440   struct sk_buff_head sk_error_queue ;
 5441   struct proto *sk_prot_creator ;
 5442   rwlock_t sk_callback_lock ;
 5443   int sk_err ;
 5444   int sk_err_soft ;
 5445   unsigned short sk_ack_backlog ;
 5446   unsigned short sk_max_ack_backlog ;
 5447   __u32 sk_priority ;
 5448   struct pid *sk_peer_pid ;
 5449   struct cred  const  *sk_peer_cred ;
 5450   long sk_rcvtimeo ;
 5451   long sk_sndtimeo ;
 5452   void *sk_protinfo ;
 5453   struct timer_list sk_timer ;
 5454   ktime_t sk_stamp ;
 5455   struct socket *sk_socket ;
 5456   void *sk_user_data ;
 5457   struct page *sk_sndmsg_page ;
 5458   struct sk_buff *sk_send_head ;
 5459   __u32 sk_sndmsg_off ;
 5460   int sk_write_pending ;
 5461   void *sk_security ;
 5462   __u32 sk_mark ;
 5463   u32 sk_classid ;
 5464   void (*sk_state_change)(struct sock * ) ;
 5465   void (*sk_data_ready)(struct sock * , int  ) ;
 5466   void (*sk_write_space)(struct sock * ) ;
 5467   void (*sk_error_report)(struct sock * ) ;
 5468   int (*sk_backlog_rcv)(struct sock * , struct sk_buff * ) ;
 5469   void (*sk_destruct)(struct sock * ) ;
 5470};
 5471#line 716
 5472struct request_sock_ops;
 5473#line 716
 5474struct request_sock_ops;
 5475#line 717
 5476struct timewait_sock_ops;
 5477#line 717
 5478struct timewait_sock_ops;
 5479#line 718
 5480struct inet_hashinfo;
 5481#line 718
 5482struct inet_hashinfo;
 5483#line 719
 5484struct raw_hashinfo;
 5485#line 719
 5486struct raw_hashinfo;
 5487#line 720
 5488struct udp_table;
 5489#line 720
 5490struct udp_table;
 5491#line 720 "include/net/sock.h"
 5492union __anonunion_h_206 {
 5493   struct inet_hashinfo *hashinfo ;
 5494   struct udp_table *udp_table ;
 5495   struct raw_hashinfo *raw_hash ;
 5496};
 5497#line 720 "include/net/sock.h"
 5498struct proto {
 5499   void (*close)(struct sock * , long  ) ;
 5500   int (*connect)(struct sock * , struct sockaddr * , int  ) ;
 5501   int (*disconnect)(struct sock * , int  ) ;
 5502   struct sock *(*accept)(struct sock * , int  , int * ) ;
 5503   int (*ioctl)(struct sock * , int  , unsigned long  ) ;
 5504   int (*init)(struct sock * ) ;
 5505   void (*destroy)(struct sock * ) ;
 5506   void (*shutdown)(struct sock * , int  ) ;
 5507   int (*setsockopt)(struct sock * , int  , int  , char * , unsigned int  ) ;
 5508   int (*getsockopt)(struct sock * , int  , int  , char * , int * ) ;
 5509   int (*compat_setsockopt)(struct sock * , int  , int  , char * , unsigned int  ) ;
 5510   int (*compat_getsockopt)(struct sock * , int  , int  , char * , int * ) ;
 5511   int (*compat_ioctl)(struct sock * , unsigned int  , unsigned long  ) ;
 5512   int (*sendmsg)(struct kiocb * , struct sock * , struct msghdr * , size_t  ) ;
 5513   int (*recvmsg)(struct kiocb * , struct sock * , struct msghdr * , size_t  , int  ,
 5514                  int  , int * ) ;
 5515   int (*sendpage)(struct sock * , struct page * , int  , size_t  , int  ) ;
 5516   int (*bind)(struct sock * , struct sockaddr * , int  ) ;
 5517   int (*backlog_rcv)(struct sock * , struct sk_buff * ) ;
 5518   void (*hash)(struct sock * ) ;
 5519   void (*unhash)(struct sock * ) ;
 5520   void (*rehash)(struct sock * ) ;
 5521   int (*get_port)(struct sock * , unsigned short  ) ;
 5522   void (*clear_sk)(struct sock * , int  ) ;
 5523   unsigned int inuse_idx ;
 5524   void (*enter_memory_pressure)(struct sock * ) ;
 5525   atomic_long_t *memory_allocated ;
 5526   struct percpu_counter *sockets_allocated ;
 5527   int *memory_pressure ;
 5528   long *sysctl_mem ;
 5529   int *sysctl_wmem ;
 5530   int *sysctl_rmem ;
 5531   int max_header ;
 5532   bool no_autobind ;
 5533   struct kmem_cache *slab ;
 5534   unsigned int obj_size ;
 5535   int slab_flags ;
 5536   struct percpu_counter *orphan_count ;
 5537   struct request_sock_ops *rsk_prot ;
 5538   struct timewait_sock_ops *twsk_prot ;
 5539   union __anonunion_h_206 h ;
 5540   struct module *owner ;
 5541   char name[32U] ;
 5542   struct list_head node ;
 5543};
 5544#line 92 "include/net/bluetooth/bluetooth.h"
 5545struct __anonstruct_bdaddr_t_207 {
 5546   __u8 b[6U] ;
 5547};
 5548#line 92 "include/net/bluetooth/bluetooth.h"
 5549typedef struct __anonstruct_bdaddr_t_207 bdaddr_t;
 5550#line 143 "include/net/bluetooth/bluetooth.h"
 5551struct bt_skb_cb {
 5552   __u8 pkt_type ;
 5553   __u8 incoming ;
 5554   __u16 expect ;
 5555   __u8 tx_seq ;
 5556   __u8 retries ;
 5557   __u8 sar ;
 5558   unsigned short channel ;
 5559};
 5560#line 833 "include/net/bluetooth/hci.h"
 5561struct hci_ev_cmd_complete {
 5562   __u8 ncmd ;
 5563   __le16 opcode ;
 5564};
 5565#line 1063 "include/net/bluetooth/hci.h"
 5566struct hci_event_hdr {
 5567   __u8 evt ;
 5568   __u8 plen ;
 5569};
 5570#line 1137 "include/net/bluetooth/hci.h"
 5571struct hci_dev_stats {
 5572   __u32 err_rx ;
 5573   __u32 err_tx ;
 5574   __u32 cmd_tx ;
 5575   __u32 evt_rx ;
 5576   __u32 acl_tx ;
 5577   __u32 acl_rx ;
 5578   __u32 sco_tx ;
 5579   __u32 sco_rx ;
 5580   __u32 byte_rx ;
 5581   __u32 byte_tx ;
 5582};
 5583#line 1223 "include/net/bluetooth/hci.h"
 5584struct inquiry_data {
 5585   bdaddr_t bdaddr ;
 5586   __u8 pscan_rep_mode ;
 5587   __u8 pscan_period_mode ;
 5588   __u8 pscan_mode ;
 5589   __u8 dev_class[3U] ;
 5590   __le16 clock_offset ;
 5591   __s8 rssi ;
 5592   __u8 ssp_mode ;
 5593};
 5594#line 45 "include/net/bluetooth/hci_core.h"
 5595struct inquiry_entry {
 5596   struct inquiry_entry *next ;
 5597   __u32 timestamp ;
 5598   struct inquiry_data data ;
 5599};
 5600#line 51 "include/net/bluetooth/hci_core.h"
 5601struct inquiry_cache {
 5602   spinlock_t lock ;
 5603   __u32 timestamp ;
 5604   struct inquiry_entry *list ;
 5605};
 5606#line 57 "include/net/bluetooth/hci_core.h"
 5607struct hci_conn_hash {
 5608   struct list_head list ;
 5609   spinlock_t lock ;
 5610   unsigned int acl_num ;
 5611   unsigned int sco_num ;
 5612   unsigned int le_num ;
 5613};
 5614#line 91
 5615struct rfkill;
 5616#line 91
 5617struct rfkill;
 5618#line 91 "include/net/bluetooth/hci_core.h"
 5619struct hci_dev {
 5620   struct list_head list ;
 5621   spinlock_t lock ;
 5622   atomic_t refcnt ;
 5623   char name[8U] ;
 5624   unsigned long flags ;
 5625   __u16 id ;
 5626   __u8 bus ;
 5627   __u8 dev_type ;
 5628   bdaddr_t bdaddr ;
 5629   __u8 dev_name[248U] ;
 5630   __u8 eir[240U] ;
 5631   __u8 dev_class[3U] ;
 5632   __u8 major_class ;
 5633   __u8 minor_class ;
 5634   __u8 features[8U] ;
 5635   __u8 commands[64U] ;
 5636   __u8 ssp_mode ;
 5637   __u8 hci_ver ;
 5638   __u16 hci_rev ;
 5639   __u8 lmp_ver ;
 5640   __u16 manufacturer ;
 5641   __le16 lmp_subver ;
 5642   __u16 voice_setting ;
 5643   __u8 io_capability ;
 5644   __u16 pkt_type ;
 5645   __u16 esco_type ;
 5646   __u16 link_policy ;
 5647   __u16 link_mode ;
 5648   __u32 idle_timeout ;
 5649   __u16 sniff_min_interval ;
 5650   __u16 sniff_max_interval ;
 5651   unsigned int auto_accept_delay ;
 5652   unsigned long quirks ;
 5653   atomic_t cmd_cnt ;
 5654   unsigned int acl_cnt ;
 5655   unsigned int sco_cnt ;
 5656   unsigned int le_cnt ;
 5657   unsigned int acl_mtu ;
 5658   unsigned int sco_mtu ;
 5659   unsigned int le_mtu ;
 5660   unsigned int acl_pkts ;
 5661   unsigned int sco_pkts ;
 5662   unsigned int le_pkts ;
 5663   unsigned long acl_last_tx ;
 5664   unsigned long sco_last_tx ;
 5665   unsigned long le_last_tx ;
 5666   struct workqueue_struct *workqueue ;
 5667   struct work_struct power_on ;
 5668   struct work_struct power_off ;
 5669   struct timer_list off_timer ;
 5670   struct timer_list cmd_timer ;
 5671   struct tasklet_struct cmd_task ;
 5672   struct tasklet_struct rx_task ;
 5673   struct tasklet_struct tx_task ;
 5674   struct sk_buff_head rx_q ;
 5675   struct sk_buff_head raw_q ;
 5676   struct sk_buff_head cmd_q ;
 5677   struct sk_buff *sent_cmd ;
 5678   struct sk_buff *reassembly[4U] ;
 5679   struct mutex req_lock ;
 5680   wait_queue_head_t req_wait_q ;
 5681   __u32 req_status ;
 5682   __u32 req_result ;
 5683   __u16 init_last_cmd ;
 5684   struct inquiry_cache inq_cache ;
 5685   struct hci_conn_hash conn_hash ;
 5686   struct list_head blacklist ;
 5687   struct list_head uuids ;
 5688   struct list_head link_keys ;
 5689   struct list_head remote_oob_data ;
 5690   struct hci_dev_stats stat ;
 5691   struct sk_buff_head driver_init ;
 5692   void *driver_data ;
 5693   void *core_data ;
 5694   atomic_t promisc ;
 5695   struct dentry *debugfs ;
 5696   struct device *parent ;
 5697   struct device dev ;
 5698   struct rfkill *rfkill ;
 5699   struct module *owner ;
 5700   int (*open)(struct hci_dev * ) ;
 5701   int (*close)(struct hci_dev * ) ;
 5702   int (*flush)(struct hci_dev * ) ;
 5703   int (*send)(struct sk_buff * ) ;
 5704   void (*destruct)(struct hci_dev * ) ;
 5705   void (*notify)(struct hci_dev * , unsigned int  ) ;
 5706   int (*ioctl)(struct hci_dev * , unsigned int  , unsigned long  ) ;
 5707};
 5708#line 132 "include/linux/kthread.h"
 5709struct btmrvl_thread {
 5710   struct task_struct *task ;
 5711   wait_queue_head_t wait_q ;
 5712   void *priv ;
 5713};
 5714#line 40 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/bluetooth/btmrvl_drv.h"
 5715struct btmrvl_device {
 5716   void *card ;
 5717   struct hci_dev *hcidev ;
 5718   u8 dev_type ;
 5719   u8 tx_dnld_rdy ;
 5720   u8 psmode ;
 5721   u8 pscmd ;
 5722   u8 hsmode ;
 5723   u8 hscmd ;
 5724   u16 gpio_gap ;
 5725   u8 hscfgcmd ;
 5726   u8 sendcmdflag ;
 5727};
 5728#line 60 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/bluetooth/btmrvl_drv.h"
 5729struct btmrvl_adapter {
 5730   u32 int_count ;
 5731   struct sk_buff_head tx_queue ;
 5732   u8 psmode ;
 5733   u8 ps_state ;
 5734   u8 hs_state ;
 5735   u8 wakeup_tries ;
 5736   wait_queue_head_t cmd_wait_q ;
 5737   u8 cmd_complete ;
 5738};
 5739#line 71 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/bluetooth/btmrvl_drv.h"
 5740struct btmrvl_private {
 5741   struct btmrvl_device btmrvl_dev ;
 5742   struct btmrvl_adapter *adapter ;
 5743   struct btmrvl_thread main_thread ;
 5744   int (*hw_host_to_card)(struct btmrvl_private * , u8 * , u16  ) ;
 5745   int (*hw_wakeup_firmware)(struct btmrvl_private * ) ;
 5746   int (*hw_process_int_status)(struct btmrvl_private * ) ;
 5747   spinlock_t driver_lock ;
 5748   void *debugfs_data ;
 5749};
 5750#line 84 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/bluetooth/btmrvl_drv.h"
 5751struct btmrvl_cmd {
 5752   __le16 ocf_ogf ;
 5753   u8 length ;
 5754   u8 data[4U] ;
 5755};
 5756#line 123 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/bluetooth/btmrvl_drv.h"
 5757struct btmrvl_event {
 5758   u8 ec ;
 5759   u8 length ;
 5760   u8 data[4U] ;
 5761};
 5762#line 290 "include/linux/timer.h"
 5763enum hrtimer_restart;
 5764#line 290
 5765enum hrtimer_restart;
 5766#line 148 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/bluetooth/btmrvl_drv.h"
 5767struct btmrvl_debugfs_data {
 5768   struct dentry *config_dir ;
 5769   struct dentry *status_dir ;
 5770   struct dentry *psmode ;
 5771   struct dentry *pscmd ;
 5772   struct dentry *hsmode ;
 5773   struct dentry *hscmd ;
 5774   struct dentry *gpiogap ;
 5775   struct dentry *hscfgcmd ;
 5776   struct dentry *curpsmode ;
 5777   struct dentry *hsstate ;
 5778   struct dentry *psstate ;
 5779   struct dentry *txdnldready ;
 5780};
 5781#line 1 "<compiler builtins>"
 5782
 5783#line 1
 5784long __builtin_expect(long  , long  ) ;
 5785#line 60 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 5786__inline static void set_bit(unsigned int nr , unsigned long volatile   *addr ) 
 5787{ long volatile   *__cil_tmp3 ;
 5788
 5789  {
 5790#line 68
 5791  __cil_tmp3 = (long volatile   *)addr;
 5792#line 68
 5793  __asm__  volatile   (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; bts %1,%0": "+m" (*__cil_tmp3): "Ir" (nr): "memory");
 5794#line 70
 5795  return;
 5796}
 5797}
 5798#line 246 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 5799__inline static int test_and_clear_bit(int nr , unsigned long volatile   *addr ) 
 5800{ int oldbit ;
 5801  long volatile   *__cil_tmp4 ;
 5802
 5803  {
 5804#line 250
 5805  __cil_tmp4 = (long volatile   *)addr;
 5806#line 250
 5807  __asm__  volatile   (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; btr %2,%1\n\tsbb %0,%0": "=r" (oldbit),
 5808                       "+m" (*__cil_tmp4): "Ir" (nr): "memory");
 5809#line 254
 5810  return (oldbit);
 5811}
 5812}
 5813#line 309 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 5814__inline static int constant_test_bit(unsigned int nr , unsigned long const volatile   *addr ) 
 5815{ int __cil_tmp3 ;
 5816  int __cil_tmp4 ;
 5817  unsigned int __cil_tmp5 ;
 5818  unsigned long __cil_tmp6 ;
 5819  unsigned long const volatile   *__cil_tmp7 ;
 5820  unsigned long volatile   __cil_tmp8 ;
 5821  unsigned long __cil_tmp9 ;
 5822  unsigned long __cil_tmp10 ;
 5823  int __cil_tmp11 ;
 5824
 5825  {
 5826  {
 5827#line 311
 5828  __cil_tmp3 = (int )nr;
 5829#line 311
 5830  __cil_tmp4 = __cil_tmp3 & 63;
 5831#line 311
 5832  __cil_tmp5 = nr / 64U;
 5833#line 311
 5834  __cil_tmp6 = (unsigned long )__cil_tmp5;
 5835#line 311
 5836  __cil_tmp7 = addr + __cil_tmp6;
 5837#line 311
 5838  __cil_tmp8 = *__cil_tmp7;
 5839#line 311
 5840  __cil_tmp9 = (unsigned long )__cil_tmp8;
 5841#line 311
 5842  __cil_tmp10 = __cil_tmp9 >> __cil_tmp4;
 5843#line 311
 5844  __cil_tmp11 = (int )__cil_tmp10;
 5845#line 311
 5846  return (__cil_tmp11 & 1);
 5847  }
 5848}
 5849}
 5850#line 315 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 5851__inline static int variable_test_bit(int nr , unsigned long const volatile   *addr ) 
 5852{ int oldbit ;
 5853  unsigned long *__cil_tmp4 ;
 5854
 5855  {
 5856#line 319
 5857  __cil_tmp4 = (unsigned long *)addr;
 5858#line 319
 5859  __asm__  volatile   ("bt %2,%1\n\tsbb %0,%0": "=r" (oldbit): "m" (*__cil_tmp4),
 5860                       "Ir" (nr));
 5861#line 324
 5862  return (oldbit);
 5863}
 5864}
 5865#line 101 "include/linux/printk.h"
 5866extern int printk(char const   *  , ...) ;
 5867#line 294
 5868extern void print_hex_dump_bytes(char const   * , int  , void const   * , size_t  ) ;
 5869#line 47 "include/linux/dynamic_debug.h"
 5870extern int __dynamic_pr_debug(struct _ddebug * , char const   *  , ...) ;
 5871#line 88 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/percpu.h"
 5872extern void __bad_percpu_size(void) ;
 5873#line 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 5874extern struct task_struct *current_task ;
 5875#line 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 5876__inline static struct task_struct *get_current(void) 
 5877{ struct task_struct *pfo_ret__ ;
 5878
 5879  {
 5880#line 14
 5881  if (1) {
 5882#line 14
 5883    goto case_8;
 5884  } else {
 5885#line 14
 5886    goto switch_default;
 5887#line 14
 5888    if (0) {
 5889#line 14
 5890      __asm__  ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task));
 5891#line 14
 5892      goto ldv_2386;
 5893#line 14
 5894      __asm__  ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task));
 5895#line 14
 5896      goto ldv_2386;
 5897#line 14
 5898      __asm__  ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task));
 5899#line 14
 5900      goto ldv_2386;
 5901      case_8: 
 5902#line 14
 5903      __asm__  ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task));
 5904#line 14
 5905      goto ldv_2386;
 5906      switch_default: 
 5907      {
 5908#line 14
 5909      __bad_percpu_size();
 5910      }
 5911    } else {
 5912
 5913    }
 5914  }
 5915  ldv_2386: ;
 5916#line 14
 5917  return (pfo_ret__);
 5918}
 5919}
 5920#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/cmpxchg_64.h"
 5921extern void __xchg_wrong_size(void) ;
 5922#line 32 "include/linux/err.h"
 5923__inline static long IS_ERR(void const   *ptr ) 
 5924{ long tmp ;
 5925  unsigned long __cil_tmp3 ;
 5926  int __cil_tmp4 ;
 5927  long __cil_tmp5 ;
 5928
 5929  {
 5930  {
 5931#line 34
 5932  __cil_tmp3 = (unsigned long )ptr;
 5933#line 34
 5934  __cil_tmp4 = __cil_tmp3 > 1152921504606842880UL;
 5935#line 34
 5936  __cil_tmp5 = (long )__cil_tmp4;
 5937#line 34
 5938  tmp = __builtin_expect(__cil_tmp5, 0L);
 5939  }
 5940#line 34
 5941  return (tmp);
 5942}
 5943}
 5944#line 82 "include/linux/thread_info.h"
 5945__inline static int test_ti_thread_flag(struct thread_info *ti , int flag ) 
 5946{ int tmp ;
 5947  __u32 *__cil_tmp4 ;
 5948  unsigned long const volatile   *__cil_tmp5 ;
 5949
 5950  {
 5951  {
 5952#line 84
 5953  __cil_tmp4 = & ti->flags;
 5954#line 84
 5955  __cil_tmp5 = (unsigned long const volatile   *)__cil_tmp4;
 5956#line 84
 5957  tmp = variable_test_bit(flag, __cil_tmp5);
 5958  }
 5959#line 84
 5960  return (tmp);
 5961}
 5962}
 5963#line 93 "include/linux/spinlock.h"
 5964extern void __raw_spin_lock_init(raw_spinlock_t * , char const   * , struct lock_class_key * ) ;
 5965#line 32 "include/linux/spinlock_api_smp.h"
 5966extern unsigned long _raw_spin_lock_irqsave(raw_spinlock_t * ) ;
 5967#line 43
 5968extern void _raw_spin_unlock_irqrestore(raw_spinlock_t * , unsigned long  ) ;
 5969#line 272 "include/linux/spinlock.h"
 5970__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock ) 
 5971{ 
 5972
 5973  {
 5974#line 274
 5975  return (& lock->ldv_6060.rlock);
 5976}
 5977}
 5978#line 338 "include/linux/spinlock.h"
 5979__inline static void spin_unlock_irqrestore(spinlock_t *lock , unsigned long flags ) 
 5980{ struct raw_spinlock *__cil_tmp3 ;
 5981
 5982  {
 5983  {
 5984#line 340
 5985  __cil_tmp3 = & lock->ldv_6060.rlock;
 5986#line 340
 5987  _raw_spin_unlock_irqrestore(__cil_tmp3, flags);
 5988  }
 5989#line 341
 5990  return;
 5991}
 5992}
 5993#line 30 "include/linux/wait.h"
 5994extern int default_wake_function(wait_queue_t * , unsigned int  , int  , void * ) ;
 5995#line 80
 5996extern void __init_waitqueue_head(wait_queue_head_t * , struct lock_class_key * ) ;
 5997#line 98 "include/linux/wait.h"
 5998__inline static void init_waitqueue_entry(wait_queue_t *q , struct task_struct *p ) 
 5999{ 
 6000
 6001  {
 6002#line 100
 6003  q->flags = 0U;
 6004#line 101
 6005  q->private = (void *)p;
 6006#line 102
 6007  q->func = & default_wake_function;
 6008#line 103
 6009  return;
 6010}
 6011}
 6012#line 118
 6013extern void add_wait_queue(wait_queue_head_t * , wait_queue_t * ) ;
 6014#line 120
 6015extern void remove_wait_queue(wait_queue_head_t * , wait_queue_t * ) ;
 6016#line 156
 6017extern void __wake_up(wait_queue_head_t * , unsigned int  , int  , void * ) ;
 6018#line 584
 6019extern void prepare_to_wait(wait_queue_head_t * , wait_queue_t * , int  ) ;
 6020#line 586
 6021extern void finish_wait(wait_queue_head_t * , wait_queue_t * ) ;
 6022#line 589
 6023extern int autoremove_wake_function(wait_queue_t * , unsigned int  , int  , void * ) ;
 6024#line 298 "include/linux/jiffies.h"
 6025extern unsigned long msecs_to_jiffies(unsigned int  ) ;
 6026#line 830 "include/linux/rcupdate.h"
 6027extern void kfree(void const   * ) ;
 6028#line 99 "include/linux/module.h"
 6029extern struct module __this_module ;
 6030#line 543
 6031void ldv_module_put_1(struct module *ldv_func_arg1 ) ;
 6032#line 3 "/anthill/stuff/tacas-comp/work/current--X--drivers/bluetooth/btmrvl.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/17/dscv_tempdir/dscv/ri/08_1/drivers/bluetooth/btmrvl_main.c.p"
 6033int ldv_try_module_get(struct module *module ) ;
 6034#line 4
 6035void ldv_module_get(struct module *module ) ;
 6036#line 5
 6037void ldv_module_put(struct module *module ) ;
 6038#line 6
 6039unsigned int ldv_module_refcount(void) ;
 6040#line 7
 6041void ldv_module_put_and_exit(void) ;
 6042#line 221 "include/linux/slub_def.h"
 6043extern void *__kmalloc(size_t  , gfp_t  ) ;
 6044#line 255 "include/linux/slub_def.h"
 6045__inline static void *kmalloc(size_t size , gfp_t flags ) 
 6046{ void *tmp___2 ;
 6047
 6048  {
 6049  {
 6050#line 270
 6051  tmp___2 = __kmalloc(size, flags);
 6052  }
 6053#line 270
 6054  return (tmp___2);
 6055}
 6056}
 6057#line 318 "include/linux/slab.h"
 6058__inline static void *kzalloc(size_t size , gfp_t flags ) 
 6059{ void *tmp ;
 6060  unsigned int __cil_tmp4 ;
 6061
 6062  {
 6063  {
 6064#line 320
 6065  __cil_tmp4 = flags | 32768U;
 6066#line 320
 6067  tmp = kmalloc(size, __cil_tmp4);
 6068  }
 6069#line 320
 6070  return (tmp);
 6071}
 6072}
 6073#line 490 "include/linux/skbuff.h"
 6074extern void kfree_skb(struct sk_buff * ) ;
 6075#line 493
 6076extern struct sk_buff *__alloc_skb(unsigned int  , gfp_t  , int  , int  ) ;
 6077#line 495 "include/linux/skbuff.h"
 6078__inline static struct sk_buff *alloc_skb(unsigned int size , gfp_t priority ) 
 6079{ struct sk_buff *tmp ;
 6080
 6081  {
 6082  {
 6083#line 498
 6084  tmp = __alloc_skb(size, priority, 0, -1);
 6085  }
 6086#line 498
 6087  return (tmp);
 6088}
 6089}
 6090#line 519
 6091extern struct sk_buff *skb_realloc_headroom(struct sk_buff * , unsigned int  ) ;
 6092#line 593 "include/linux/skbuff.h"
 6093__inline static int skb_queue_empty(struct sk_buff_head  const  *list ) 
 6094{ struct sk_buff *__cil_tmp2 ;
 6095  unsigned long __cil_tmp3 ;
 6096  struct sk_buff *__cil_tmp4 ;
 6097  struct sk_buff *__cil_tmp5 ;
 6098  unsigned long __cil_tmp6 ;
 6099
 6100  {
 6101  {
 6102#line 595
 6103  __cil_tmp2 = (struct sk_buff *)list;
 6104#line 595
 6105  __cil_tmp3 = (unsigned long )__cil_tmp2;
 6106#line 595
 6107  __cil_tmp4 = list->next;
 6108#line 595
 6109  __cil_tmp5 = (struct sk_buff *)__cil_tmp4;
 6110#line 595
 6111  __cil_tmp6 = (unsigned long )__cil_tmp5;
 6112#line 595
 6113  return (__cil_tmp6 == __cil_tmp3);
 6114  }
 6115}
 6116}
 6117#line 858 "include/linux/skbuff.h"
 6118__inline static void __skb_queue_head_init(struct sk_buff_head *list ) 
 6119{ struct sk_buff *tmp ;
 6120
 6121  {
 6122#line 860
 6123  tmp = (struct sk_buff *)list;
 6124#line 860
 6125  list->next = tmp;
 6126#line 860
 6127  list->prev = tmp;
 6128#line 861
 6129  list->qlen = 0U;
 6130#line 862
 6131  return;
 6132}
 6133}
 6134#line 872 "include/linux/skbuff.h"
 6135__inline static void skb_queue_head_init(struct sk_buff_head *list ) 
 6136{ struct lock_class_key __key ;
 6137  spinlock_t *__cil_tmp3 ;
 6138  struct raw_spinlock *__cil_tmp4 ;
 6139
 6140  {
 6141  {
 6142#line 874
 6143  __cil_tmp3 = & list->lock;
 6144#line 874
 6145  spinlock_check(__cil_tmp3);
 6146#line 874
 6147  __cil_tmp4 = & list->lock.ldv_6060.rlock;
 6148#line 874
 6149  __raw_spin_lock_init(__cil_tmp4, "&(&list->lock)->rlock", & __key);
 6150#line 875
 6151  __skb_queue_head_init(list);
 6152  }
 6153#line 876
 6154  return;
 6155}
 6156}
 6157#line 1017
 6158extern void skb_queue_head(struct sk_buff_head * , struct sk_buff * ) ;
 6159#line 1034
 6160extern void skb_queue_tail(struct sk_buff_head * , struct sk_buff * ) ;
 6161#line 1066
 6162extern struct sk_buff *skb_dequeue(struct sk_buff_head * ) ;
 6163#line 1167
 6164extern unsigned char *skb_put(struct sk_buff * , unsigned int  ) ;
 6165#line 1177
 6166extern unsigned char *skb_push(struct sk_buff * , unsigned int  ) ;
 6167#line 1229 "include/linux/skbuff.h"
 6168__inline static unsigned int skb_headroom(struct sk_buff  const  *skb ) 
 6169{ unsigned char *__cil_tmp2 ;
 6170  long __cil_tmp3 ;
 6171  unsigned int __cil_tmp4 ;
 6172  unsigned char *__cil_tmp5 ;
 6173  long __cil_tmp6 ;
 6174  unsigned int __cil_tmp7 ;
 6175
 6176  {
 6177  {
 6178#line 1231
 6179  __cil_tmp2 = skb->head;
 6180#line 1231
 6181  __cil_tmp3 = (long )__cil_tmp2;
 6182#line 1231
 6183  __cil_tmp4 = (unsigned int )__cil_tmp3;
 6184#line 1231
 6185  __cil_tmp5 = skb->data;
 6186#line 1231
 6187  __cil_tmp6 = (long )__cil_tmp5;
 6188#line 1231
 6189  __cil_tmp7 = (unsigned int )__cil_tmp6;
 6190#line 1231
 6191  return (__cil_tmp7 - __cil_tmp4);
 6192  }
 6193}
 6194}
 6195#line 1253 "include/linux/skbuff.h"
 6196__inline static void skb_reserve(struct sk_buff *skb , int len ) 
 6197{ unsigned long __cil_tmp3 ;
 6198  unsigned char *__cil_tmp4 ;
 6199  sk_buff_data_t __cil_tmp5 ;
 6200  sk_buff_data_t __cil_tmp6 ;
 6201
 6202  {
 6203#line 1255
 6204  __cil_tmp3 = (unsigned long )len;
 6205#line 1255
 6206  __cil_tmp4 = skb->data;
 6207#line 1255
 6208  skb->data = __cil_tmp4 + __cil_tmp3;
 6209#line 1256
 6210  __cil_tmp5 = (sk_buff_data_t )len;
 6211#line 1256
 6212  __cil_tmp6 = skb->tail;
 6213#line 1256
 6214  skb->tail = __cil_tmp6 + __cil_tmp5;
 6215#line 1257
 6216  return;
 6217}
 6218}
 6219#line 1512
 6220extern void skb_queue_purge(struct sk_buff_head * ) ;
 6221#line 357 "include/linux/sched.h"
 6222extern long schedule_timeout(long  ) ;
 6223#line 361
 6224extern void schedule(void) ;
 6225#line 2112
 6226extern int wake_up_process(struct task_struct * ) ;
 6227#line 2441 "include/linux/sched.h"
 6228__inline static int test_tsk_thread_flag(struct task_struct *tsk , int flag ) 
 6229{ int tmp ;
 6230  void *__cil_tmp4 ;
 6231  struct thread_info *__cil_tmp5 ;
 6232
 6233  {
 6234  {
 6235#line 2443
 6236  __cil_tmp4 = tsk->stack;
 6237#line 2443
 6238  __cil_tmp5 = (struct thread_info *)__cil_tmp4;
 6239#line 2443
 6240  tmp = test_ti_thread_flag(__cil_tmp5, flag);
 6241  }
 6242#line 2443
 6243  return (tmp);
 6244}
 6245}
 6246#line 2467 "include/linux/sched.h"
 6247__inline static int signal_pending(struct task_struct *p ) 
 6248{ int tmp ;
 6249  long tmp___0 ;
 6250  int __cil_tmp4 ;
 6251  long __cil_tmp5 ;
 6252
 6253  {
 6254  {
 6255#line 2469
 6256  tmp = test_tsk_thread_flag(p, 2);
 6257#line 2469
 6258  __cil_tmp4 = tmp != 0;
 6259#line 2469
 6260  __cil_tmp5 = (long )__cil_tmp4;
 6261#line 2469
 6262  tmp___0 = __builtin_expect(__cil_tmp5, 0L);
 6263  }
 6264#line 2469
 6265  return ((int )tmp___0);
 6266}
 6267}
 6268#line 156 "include/net/bluetooth/bluetooth.h"
 6269__inline static struct sk_buff *bt_skb_alloc(unsigned int len , gfp_t how ) 
 6270{ struct sk_buff *skb ;
 6271  unsigned int __cil_tmp4 ;
 6272  struct sk_buff *__cil_tmp5 ;
 6273  unsigned long __cil_tmp6 ;
 6274  unsigned long __cil_tmp7 ;
 6275  char (*__cil_tmp8)[48U] ;
 6276  struct bt_skb_cb *__cil_tmp9 ;
 6277
 6278  {
 6279  {
 6280#line 160
 6281  __cil_tmp4 = len + 8U;
 6282#line 160
 6283  skb = alloc_skb(__cil_tmp4, how);
 6284  }
 6285  {
 6286#line 160
 6287  __cil_tmp5 = (struct sk_buff *)0;
 6288#line 160
 6289  __cil_tmp6 = (unsigned long )__cil_tmp5;
 6290#line 160
 6291  __cil_tmp7 = (unsigned long )skb;
 6292#line 160
 6293  if (__cil_tmp7 != __cil_tmp6) {
 6294    {
 6295#line 161
 6296    skb_reserve(skb, 8);
 6297#line 162
 6298    __cil_tmp8 = & skb->cb;
 6299#line 162
 6300    __cil_tmp9 = (struct bt_skb_cb *)__cil_tmp8;
 6301#line 162
 6302    __cil_tmp9->incoming = (__u8 )0U;
 6303    }
 6304  } else {
 6305
 6306  }
 6307  }
 6308#line 164
 6309  return (skb);
 6310}
 6311}
 6312#line 494 "include/net/bluetooth/hci_core.h"
 6313extern struct hci_dev *hci_alloc_dev(void) ;
 6314#line 495
 6315extern void hci_free_dev(struct hci_dev * ) ;
 6316#line 496
 6317extern int hci_register_dev(struct hci_dev * ) ;
 6318#line 497
 6319extern int hci_unregister_dev(struct hci_dev * ) ;
 6320#line 7 "include/linux/kthread.h"
 6321extern struct task_struct *kthread_create_on_node(int (*)(void * ) , void * , int  ,
 6322                                                  char const   *  , ...) ;
 6323#line 36
 6324extern int kthread_stop(struct task_struct * ) ;
 6325#line 37
 6326extern int kthread_should_stop(void) ;
 6327#line 132 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/bluetooth/btmrvl_drv.h"
 6328int btmrvl_register_hdev(struct btmrvl_private *priv ) ;
 6329#line 133
 6330struct btmrvl_private *btmrvl_add_card(void *card ) ;
 6331#line 134
 6332int btmrvl_remove_card(struct btmrvl_private *priv ) ;
 6333#line 136
 6334void btmrvl_interrupt(struct btmrvl_private *priv ) ;
 6335#line 138
 6336void btmrvl_check_evtpkt(struct btmrvl_private *priv , struct sk_buff *skb ) ;
 6337#line 139
 6338int btmrvl_process_event(struct btmrvl_private *priv , struct sk_buff *skb ) ;
 6339#line 141
 6340int btmrvl_send_module_cfg_cmd(struct btmrvl_private *priv , int subcmd ) ;
 6341#line 142
 6342int btmrvl_enable_ps(struct btmrvl_private *priv ) ;
 6343#line 143
 6344int btmrvl_prepare_command(struct btmrvl_private *priv ) ;
 6345#line 146
 6346void btmrvl_debugfs_init(struct hci_dev *hdev ) ;
 6347#line 147
 6348void btmrvl_debugfs_remove(struct hci_dev *hdev ) ;
 6349#line 40 "/anthill/stuff/tacas-comp/work/current--X--drivers/bluetooth/btmrvl.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/17/dscv_tempdir/dscv/ri/08_1/drivers/bluetooth/btmrvl_main.c.p"
 6350void btmrvl_interrupt(struct btmrvl_private *priv ) 
 6351{ struct btmrvl_adapter *__cil_tmp2 ;
 6352  struct btmrvl_adapter *__cil_tmp3 ;
 6353  struct btmrvl_adapter *__cil_tmp4 ;
 6354  struct btmrvl_adapter *__cil_tmp5 ;
 6355  u32 __cil_tmp6 ;
 6356  wait_queue_head_t *__cil_tmp7 ;
 6357  void *__cil_tmp8 ;
 6358
 6359  {
 6360  {
 6361#line 42
 6362  __cil_tmp2 = priv->adapter;
 6363#line 42
 6364  __cil_tmp2->ps_state = (u8 )0U;
 6365#line 44
 6366  __cil_tmp3 = priv->adapter;
 6367#line 44
 6368  __cil_tmp3->wakeup_tries = (u8 )0U;
 6369#line 46
 6370  __cil_tmp4 = priv->adapter;
 6371#line 46
 6372  __cil_tmp5 = priv->adapter;
 6373#line 46
 6374  __cil_tmp6 = __cil_tmp5->int_count;
 6375#line 46
 6376  __cil_tmp4->int_count = __cil_tmp6 + 1U;
 6377#line 48
 6378  __cil_tmp7 = & priv->main_thread.wait_q;
 6379#line 48
 6380  __cil_tmp8 = (void *)0;
 6381#line 48
 6382  __wake_up(__cil_tmp7, 1U, 1, __cil_tmp8);
 6383  }
 6384#line 49
 6385  return;
 6386}
 6387}
 6388#line 52 "/anthill/stuff/tacas-comp/work/current--X--drivers/bluetooth/btmrvl.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/17/dscv_tempdir/dscv/ri/08_1/drivers/bluetooth/btmrvl_main.c.p"
 6389void btmrvl_check_evtpkt(struct btmrvl_private *priv , struct sk_buff *skb ) 
 6390{ struct hci_event_hdr *hdr ;
 6391  struct hci_ev_cmd_complete *ec ;
 6392  u16 opcode ;
 6393  u16 ocf ;
 6394  unsigned char *__cil_tmp7 ;
 6395  __u8 __cil_tmp8 ;
 6396  unsigned int __cil_tmp9 ;
 6397  unsigned char *__cil_tmp10 ;
 6398  struct hci_ev_cmd_complete *__cil_tmp11 ;
 6399  unsigned int __cil_tmp12 ;
 6400  unsigned int __cil_tmp13 ;
 6401  unsigned int __cil_tmp14 ;
 6402  u8 __cil_tmp15 ;
 6403  unsigned int __cil_tmp16 ;
 6404  struct btmrvl_adapter *__cil_tmp17 ;
 6405  struct btmrvl_adapter *__cil_tmp18 ;
 6406  wait_queue_head_t *__cil_tmp19 ;
 6407  void *__cil_tmp20 ;
 6408
 6409  {
 6410#line 54
 6411  __cil_tmp7 = skb->data;
 6412#line 54
 6413  hdr = (struct hci_event_hdr *)__cil_tmp7;
 6414  {
 6415#line 58
 6416  __cil_tmp8 = hdr->evt;
 6417#line 58
 6418  __cil_tmp9 = (unsigned int )__cil_tmp8;
 6419#line 58
 6420  if (__cil_tmp9 == 14U) {
 6421#line 59
 6422    __cil_tmp10 = skb->data;
 6423#line 59
 6424    __cil_tmp11 = (struct hci_ev_cmd_complete *)__cil_tmp10;
 6425#line 59
 6426    ec = __cil_tmp11 + 2U;
 6427#line 60
 6428    opcode = ec->opcode;
 6429#line 61
 6430    __cil_tmp12 = (unsigned int )opcode;
 6431#line 61
 6432    __cil_tmp13 = __cil_tmp12 & 1023U;
 6433#line 61
 6434    ocf = (u16 )__cil_tmp13;
 6435    {
 6436#line 62
 6437    __cil_tmp14 = (unsigned int )ocf;
 6438#line 62
 6439    if (__cil_tmp14 == 91U) {
 6440      {
 6441#line 62
 6442      __cil_tmp15 = priv->btmrvl_dev.sendcmdflag;
 6443#line 62
 6444      __cil_tmp16 = (unsigned int )__cil_tmp15;
 6445#line 62
 6446      if (__cil_tmp16 != 0U) {
 6447        {
 6448#line 64
 6449        priv->btmrvl_dev.sendcmdflag = (u8 )0U;
 6450#line 65
 6451        __cil_tmp17 = priv->adapter;
 6452#line 65
 6453        __cil_tmp17->cmd_complete = (u8 )1U;
 6454#line 66
 6455        __cil_tmp18 = priv->adapter;
 6456#line 66
 6457        __cil_tmp19 = & __cil_tmp18->cmd_wait_q;
 6458#line 66
 6459        __cil_tmp20 = (void *)0;
 6460#line 66
 6461        __wake_up(__cil_tmp19, 1U, 1, __cil_tmp20);
 6462        }
 6463      } else {
 6464
 6465      }
 6466      }
 6467    } else {
 6468
 6469    }
 6470    }
 6471  } else {
 6472
 6473  }
 6474  }
 6475#line 69
 6476  return;
 6477}
 6478}
 6479#line 72 "/anthill/stuff/tacas-comp/work/current--X--drivers/bluetooth/btmrvl.ko--X--safelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/17/dscv_tempdir/dscv/ri/08_1/drivers/bluetooth/btmrvl_main.c.p"
 6480int btmrvl_process_event(struct btmrvl_private *priv , struct sk_buff *skb ) 
 6481{ struct btmrvl_adapter *adapter ;
 6482  struct btmrvl_event *event ;
 6483  int ret ;
 6484  struct _ddebug descriptor ;
 6485  long tmp ;
 6486  struct _ddebug descriptor___0 ;
 6487  char *tmp___0 ;
 6488  long tmp___1 ;
 6489  struct _ddebug descriptor___1 ;
 6490  long tmp___2 ;
 6491  struct _ddebug descriptor___2 ;
 6492  long tmp___3 ;
 6493  struct _ddebug descriptor___3 ;
 6494  long tmp___4 ;
 6495  struct _ddebug descriptor___4 ;
 6496  long tmp___5 ;
 6497  struct _ddebug descriptor___5 ;
 6498  long tmp___6 ;
 6499  struct _ddebug descriptor___6 ;
 6500  char *tmp___7 ;
 6501  long tmp___8 ;
 6502  struct _ddebug descriptor___7 ;
 6503  long tmp___9 ;
 6504  struct _ddebug descriptor___8 ;
 6505  char *tmp___10 ;
 6506  long tmp___11 ;
 6507  struct _ddebug descriptor___9 ;
 6508  long tmp___12 ;
 6509  struct _ddebug descriptor___10 ;
 6510  char *tmp___13 ;
 6511  long tmp___14 ;
 6512  struct _ddebug descriptor___11 ;
 6513  long tmp___15 ;
 6514  unsigned char *__cil_tmp36 ;
 6515  u8 __cil_tmp37 ;
 6516  unsigned int __cil_tmp38 ;
 6517  signed char __cil_tmp39 ;
 6518  int __cil_tmp40 ;
 6519  int __cil_tmp41 ;
 6520  long __cil_tmp42 ;
 6521  u8 __cil_tmp43 ;
 6522  int __cil_tmp44 ;
 6523  u8 __cil_tmp45 ;
 6524  int __cil_tmp46 ;
 6525  u8 __cil_tmp47 ;
 6526  int __cil_tmp48 ;
 6527  u8 __cil_tmp49 ;
 6528  int __cil_tmp50 ;
 6529  u8 __cil_tmp51 ;
 6530  int __cil_tmp52 ;
 6531  u8 __cil_tmp53 ;
 6532  int __cil_tmp54 ;
 6533  u8 __cil_tmp55 ;
 6534  unsigned int __cil_tmp56 ;
 6535  u8 __cil_tmp57 ;
 6536  unsigned int __cil_tmp58 ;
 6537  signed char __cil_tmp59 ;
 6538  int __cil_tmp60 ;
 6539  int __cil_tmp61 ;
 6540  long __cil_tmp62 ;
 6541  u8 __cil_tmp63 ;
 6542  unsigned int __cil_tmp64 ;
 6543  signed char __cil_tmp65 ;
 6544  int __cil_tmp66 ;
 6545  int __cil_tmp67 ;
 6546  long __cil_tmp68 ;
 6547  u8 __cil_tmp69 ;
 6548  unsigned int __cil_tmp70 ;
 6549  signed char __cil_tmp71 ;
 6550  int __cil_tmp72 ;
 6551  int __cil_tmp73 ;
 6552  long __cil_tmp74 ;
 6553  u8 __cil_tmp75 ;
 6554  int __cil_tmp76 ;
 6555  u8 __cil_tmp77 ;
 6556  int __cil_tmp78 ;
 6557  signed char __cil_tmp79 ;
 6558  int __cil_tmp80 ;
 6559  int __cil_tmp81 ;
 6560  long __cil_tmp82 ;
 6561  u8 __cil_tmp83 ;
 6562  unsigned int __cil_tmp84 ;
 6563  u8 __cil_tmp85 ;
 6564  unsigned int __cil_tmp86 ;
 6565  wait_queue_head_t *__cil_tmp87 ;
 6566  void *__cil_tmp88 ;
 6567  signed char __cil_tmp89 ;
 6568  int __cil_tmp90 ;
 6569  int __cil_tmp91 ;
 6570  long __cil_tmp92 ;
 6571  signed char __cil_tmp93 ;
 6572  int __cil_tmp94 ;
 6573  int __cil_tmp95 ;
 6574  long __cil_tmp96 ;
 6575  u8 __cil_tmp97 ;
 6576  unsigned int __cil_tmp98 ;
 6577  u8 __cil_tmp99 ;
 6578  unsigned int __cil_tmp100 ;
 6579  signed char __cil_tmp101 ;
 6580  int __cil_tmp102 ;
 6581  int __cil_tmp103 ;
 6582  long __cil_tmp104 ;
 6583  u8 __cil_tmp105 ;
 6584  unsigned int __cil_tmp106 ;
 6585  u8 __cil_tmp107 ;
 6586  unsigned int __cil_tmp108 ;
 6587  u8 __cil_tmp109 ;
 6588  unsigned int __cil_tmp110 ;
 6589  u8 __cil_tmp111 ;
 6590  unsigned int __cil_tmp112 ;
 6591  signed char __cil_tmp113 ;
 6592  int __cil_tmp114 ;
 6593  int __cil_tmp115 ;
 6594  long __cil_tmp116 ;
 6595  u8 __cil_tmp117 ;
 6596  int __cil_tmp118 ;
 6597  u8 __cil_tmp119 ;
 6598  unsigned int __cil_tmp120 ;
 6599  u8 __cil_tmp121 ;
 6600  unsigned int __cil_tmp122 ;
 6601  signed char __cil_tmp123 ;
 6602  int __cil_tmp