Showing error 740

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