Showing error 670

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