Showing error 1283

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