Showing error 181

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--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 7542
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 23 "include/asm-generic/int-ll64.h"
   5typedef unsigned short __u16;
   6#line 26 "include/asm-generic/int-ll64.h"
   7typedef unsigned int __u32;
   8#line 30 "include/asm-generic/int-ll64.h"
   9typedef unsigned long long __u64;
  10#line 45 "include/asm-generic/int-ll64.h"
  11typedef short s16;
  12#line 46 "include/asm-generic/int-ll64.h"
  13typedef unsigned short u16;
  14#line 49 "include/asm-generic/int-ll64.h"
  15typedef unsigned int u32;
  16#line 14 "include/asm-generic/posix_types.h"
  17typedef long __kernel_long_t;
  18#line 15 "include/asm-generic/posix_types.h"
  19typedef unsigned long __kernel_ulong_t;
  20#line 75 "include/asm-generic/posix_types.h"
  21typedef __kernel_ulong_t __kernel_size_t;
  22#line 76 "include/asm-generic/posix_types.h"
  23typedef __kernel_long_t __kernel_ssize_t;
  24#line 27 "include/linux/types.h"
  25typedef unsigned short umode_t;
  26#line 63 "include/linux/types.h"
  27typedef __kernel_size_t size_t;
  28#line 68 "include/linux/types.h"
  29typedef __kernel_ssize_t ssize_t;
  30#line 219 "include/linux/types.h"
  31struct __anonstruct_atomic_t_7 {
  32   int counter ;
  33};
  34#line 219 "include/linux/types.h"
  35typedef struct __anonstruct_atomic_t_7 atomic_t;
  36#line 229 "include/linux/types.h"
  37struct list_head {
  38   struct list_head *next ;
  39   struct list_head *prev ;
  40};
  41#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
  42struct module;
  43#line 56
  44struct module;
  45#line 146 "include/linux/init.h"
  46typedef void (*ctor_fn_t)(void);
  47#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
  48struct task_struct;
  49#line 20
  50struct task_struct;
  51#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
  52struct task_struct;
  53#line 52 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
  54struct task_struct;
  55#line 329
  56struct arch_spinlock;
  57#line 329
  58struct arch_spinlock;
  59#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
  60struct task_struct;
  61#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
  62struct task_struct;
  63#line 10 "include/asm-generic/bug.h"
  64struct bug_entry {
  65   int bug_addr_disp ;
  66   int file_disp ;
  67   unsigned short line ;
  68   unsigned short flags ;
  69};
  70#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
  71struct static_key;
  72#line 234
  73struct static_key;
  74#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  75typedef u16 __ticket_t;
  76#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  77typedef u32 __ticketpair_t;
  78#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  79struct __raw_tickets {
  80   __ticket_t head ;
  81   __ticket_t tail ;
  82};
  83#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  84union __anonunion____missing_field_name_36 {
  85   __ticketpair_t head_tail ;
  86   struct __raw_tickets tickets ;
  87};
  88#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  89struct arch_spinlock {
  90   union __anonunion____missing_field_name_36 __annonCompField17 ;
  91};
  92#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
  93typedef struct arch_spinlock arch_spinlock_t;
  94#line 12 "include/linux/lockdep.h"
  95struct task_struct;
  96#line 20 "include/linux/spinlock_types.h"
  97struct raw_spinlock {
  98   arch_spinlock_t raw_lock ;
  99   unsigned int magic ;
 100   unsigned int owner_cpu ;
 101   void *owner ;
 102};
 103#line 64 "include/linux/spinlock_types.h"
 104union __anonunion____missing_field_name_39 {
 105   struct raw_spinlock rlock ;
 106};
 107#line 64 "include/linux/spinlock_types.h"
 108struct spinlock {
 109   union __anonunion____missing_field_name_39 __annonCompField19 ;
 110};
 111#line 64 "include/linux/spinlock_types.h"
 112typedef struct spinlock spinlock_t;
 113#line 49 "include/linux/wait.h"
 114struct __wait_queue_head {
 115   spinlock_t lock ;
 116   struct list_head task_list ;
 117};
 118#line 53 "include/linux/wait.h"
 119typedef struct __wait_queue_head wait_queue_head_t;
 120#line 55
 121struct task_struct;
 122#line 48 "include/linux/mutex.h"
 123struct mutex {
 124   atomic_t count ;
 125   spinlock_t wait_lock ;
 126   struct list_head wait_list ;
 127   struct task_struct *owner ;
 128   char const   *name ;
 129   void *magic ;
 130};
 131#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
 132struct task_struct;
 133#line 18 "include/linux/elf.h"
 134typedef __u64 Elf64_Addr;
 135#line 19 "include/linux/elf.h"
 136typedef __u16 Elf64_Half;
 137#line 23 "include/linux/elf.h"
 138typedef __u32 Elf64_Word;
 139#line 24 "include/linux/elf.h"
 140typedef __u64 Elf64_Xword;
 141#line 194 "include/linux/elf.h"
 142struct elf64_sym {
 143   Elf64_Word st_name ;
 144   unsigned char st_info ;
 145   unsigned char st_other ;
 146   Elf64_Half st_shndx ;
 147   Elf64_Addr st_value ;
 148   Elf64_Xword st_size ;
 149};
 150#line 194 "include/linux/elf.h"
 151typedef struct elf64_sym Elf64_Sym;
 152#line 20 "include/linux/kobject_ns.h"
 153struct sock;
 154#line 20
 155struct sock;
 156#line 21
 157struct kobject;
 158#line 21
 159struct kobject;
 160#line 27
 161enum kobj_ns_type {
 162    KOBJ_NS_TYPE_NONE = 0,
 163    KOBJ_NS_TYPE_NET = 1,
 164    KOBJ_NS_TYPES = 2
 165} ;
 166#line 40 "include/linux/kobject_ns.h"
 167struct kobj_ns_type_operations {
 168   enum kobj_ns_type type ;
 169   void *(*grab_current_ns)(void) ;
 170   void const   *(*netlink_ns)(struct sock *sk ) ;
 171   void const   *(*initial_ns)(void) ;
 172   void (*drop_ns)(void * ) ;
 173};
 174#line 22 "include/linux/sysfs.h"
 175struct kobject;
 176#line 23
 177struct module;
 178#line 24
 179enum kobj_ns_type;
 180#line 26 "include/linux/sysfs.h"
 181struct attribute {
 182   char const   *name ;
 183   umode_t mode ;
 184};
 185#line 112 "include/linux/sysfs.h"
 186struct sysfs_ops {
 187   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
 188   ssize_t (*store)(struct kobject * , struct attribute * , char const   * , size_t  ) ;
 189   void const   *(*namespace)(struct kobject * , struct attribute  const  * ) ;
 190};
 191#line 118
 192struct sysfs_dirent;
 193#line 118
 194struct sysfs_dirent;
 195#line 22 "include/linux/kref.h"
 196struct kref {
 197   atomic_t refcount ;
 198};
 199#line 60 "include/linux/kobject.h"
 200struct kset;
 201#line 60
 202struct kobj_type;
 203#line 60 "include/linux/kobject.h"
 204struct kobject {
 205   char const   *name ;
 206   struct list_head entry ;
 207   struct kobject *parent ;
 208   struct kset *kset ;
 209   struct kobj_type *ktype ;
 210   struct sysfs_dirent *sd ;
 211   struct kref kref ;
 212   unsigned int state_initialized : 1 ;
 213   unsigned int state_in_sysfs : 1 ;
 214   unsigned int state_add_uevent_sent : 1 ;
 215   unsigned int state_remove_uevent_sent : 1 ;
 216   unsigned int uevent_suppress : 1 ;
 217};
 218#line 108 "include/linux/kobject.h"
 219struct kobj_type {
 220   void (*release)(struct kobject *kobj ) ;
 221   struct sysfs_ops  const  *sysfs_ops ;
 222   struct attribute **default_attrs ;
 223   struct kobj_ns_type_operations  const  *(*child_ns_type)(struct kobject *kobj ) ;
 224   void const   *(*namespace)(struct kobject *kobj ) ;
 225};
 226#line 116 "include/linux/kobject.h"
 227struct kobj_uevent_env {
 228   char *envp[32] ;
 229   int envp_idx ;
 230   char buf[2048] ;
 231   int buflen ;
 232};
 233#line 123 "include/linux/kobject.h"
 234struct kset_uevent_ops {
 235   int (* const  filter)(struct kset *kset , struct kobject *kobj ) ;
 236   char const   *(* const  name)(struct kset *kset , struct kobject *kobj ) ;
 237   int (* const  uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
 238};
 239#line 140
 240struct sock;
 241#line 159 "include/linux/kobject.h"
 242struct kset {
 243   struct list_head list ;
 244   spinlock_t list_lock ;
 245   struct kobject kobj ;
 246   struct kset_uevent_ops  const  *uevent_ops ;
 247};
 248#line 39 "include/linux/moduleparam.h"
 249struct kernel_param;
 250#line 39
 251struct kernel_param;
 252#line 41 "include/linux/moduleparam.h"
 253struct kernel_param_ops {
 254   int (*set)(char const   *val , struct kernel_param  const  *kp ) ;
 255   int (*get)(char *buffer , struct kernel_param  const  *kp ) ;
 256   void (*free)(void *arg ) ;
 257};
 258#line 50
 259struct kparam_string;
 260#line 50
 261struct kparam_array;
 262#line 50 "include/linux/moduleparam.h"
 263union __anonunion____missing_field_name_199 {
 264   void *arg ;
 265   struct kparam_string  const  *str ;
 266   struct kparam_array  const  *arr ;
 267};
 268#line 50 "include/linux/moduleparam.h"
 269struct kernel_param {
 270   char const   *name ;
 271   struct kernel_param_ops  const  *ops ;
 272   u16 perm ;
 273   s16 level ;
 274   union __anonunion____missing_field_name_199 __annonCompField32 ;
 275};
 276#line 63 "include/linux/moduleparam.h"
 277struct kparam_string {
 278   unsigned int maxlen ;
 279   char *string ;
 280};
 281#line 69 "include/linux/moduleparam.h"
 282struct kparam_array {
 283   unsigned int max ;
 284   unsigned int elemsize ;
 285   unsigned int *num ;
 286   struct kernel_param_ops  const  *ops ;
 287   void *elem ;
 288};
 289#line 445
 290struct module;
 291#line 80 "include/linux/jump_label.h"
 292struct module;
 293#line 143 "include/linux/jump_label.h"
 294struct static_key {
 295   atomic_t enabled ;
 296};
 297#line 22 "include/linux/tracepoint.h"
 298struct module;
 299#line 23
 300struct tracepoint;
 301#line 23
 302struct tracepoint;
 303#line 25 "include/linux/tracepoint.h"
 304struct tracepoint_func {
 305   void *func ;
 306   void *data ;
 307};
 308#line 30 "include/linux/tracepoint.h"
 309struct tracepoint {
 310   char const   *name ;
 311   struct static_key key ;
 312   void (*regfunc)(void) ;
 313   void (*unregfunc)(void) ;
 314   struct tracepoint_func *funcs ;
 315};
 316#line 19 "include/linux/export.h"
 317struct kernel_symbol {
 318   unsigned long value ;
 319   char const   *name ;
 320};
 321#line 8 "include/asm-generic/module.h"
 322struct mod_arch_specific {
 323
 324};
 325#line 35 "include/linux/module.h"
 326struct module;
 327#line 37
 328struct module_param_attrs;
 329#line 37 "include/linux/module.h"
 330struct module_kobject {
 331   struct kobject kobj ;
 332   struct module *mod ;
 333   struct kobject *drivers_dir ;
 334   struct module_param_attrs *mp ;
 335};
 336#line 44 "include/linux/module.h"
 337struct module_attribute {
 338   struct attribute attr ;
 339   ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
 340   ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const   * ,
 341                    size_t count ) ;
 342   void (*setup)(struct module * , char const   * ) ;
 343   int (*test)(struct module * ) ;
 344   void (*free)(struct module * ) ;
 345};
 346#line 71
 347struct exception_table_entry;
 348#line 71
 349struct exception_table_entry;
 350#line 199
 351enum module_state {
 352    MODULE_STATE_LIVE = 0,
 353    MODULE_STATE_COMING = 1,
 354    MODULE_STATE_GOING = 2
 355} ;
 356#line 215 "include/linux/module.h"
 357struct module_ref {
 358   unsigned long incs ;
 359   unsigned long decs ;
 360} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
 361#line 220
 362struct module_sect_attrs;
 363#line 220
 364struct module_notes_attrs;
 365#line 220
 366struct ftrace_event_call;
 367#line 220 "include/linux/module.h"
 368struct module {
 369   enum module_state state ;
 370   struct list_head list ;
 371   char name[64UL - sizeof(unsigned long )] ;
 372   struct module_kobject mkobj ;
 373   struct module_attribute *modinfo_attrs ;
 374   char const   *version ;
 375   char const   *srcversion ;
 376   struct kobject *holders_dir ;
 377   struct kernel_symbol  const  *syms ;
 378   unsigned long const   *crcs ;
 379   unsigned int num_syms ;
 380   struct kernel_param *kp ;
 381   unsigned int num_kp ;
 382   unsigned int num_gpl_syms ;
 383   struct kernel_symbol  const  *gpl_syms ;
 384   unsigned long const   *gpl_crcs ;
 385   struct kernel_symbol  const  *unused_syms ;
 386   unsigned long const   *unused_crcs ;
 387   unsigned int num_unused_syms ;
 388   unsigned int num_unused_gpl_syms ;
 389   struct kernel_symbol  const  *unused_gpl_syms ;
 390   unsigned long const   *unused_gpl_crcs ;
 391   struct kernel_symbol  const  *gpl_future_syms ;
 392   unsigned long const   *gpl_future_crcs ;
 393   unsigned int num_gpl_future_syms ;
 394   unsigned int num_exentries ;
 395   struct exception_table_entry *extable ;
 396   int (*init)(void) ;
 397   void *module_init ;
 398   void *module_core ;
 399   unsigned int init_size ;
 400   unsigned int core_size ;
 401   unsigned int init_text_size ;
 402   unsigned int core_text_size ;
 403   unsigned int init_ro_size ;
 404   unsigned int core_ro_size ;
 405   struct mod_arch_specific arch ;
 406   unsigned int taints ;
 407   unsigned int num_bugs ;
 408   struct list_head bug_list ;
 409   struct bug_entry *bug_table ;
 410   Elf64_Sym *symtab ;
 411   Elf64_Sym *core_symtab ;
 412   unsigned int num_symtab ;
 413   unsigned int core_num_syms ;
 414   char *strtab ;
 415   char *core_strtab ;
 416   struct module_sect_attrs *sect_attrs ;
 417   struct module_notes_attrs *notes_attrs ;
 418   char *args ;
 419   void *percpu ;
 420   unsigned int percpu_size ;
 421   unsigned int num_tracepoints ;
 422   struct tracepoint * const  *tracepoints_ptrs ;
 423   unsigned int num_trace_bprintk_fmt ;
 424   char const   **trace_bprintk_fmt_start ;
 425   struct ftrace_event_call **trace_events ;
 426   unsigned int num_trace_events ;
 427   struct list_head source_list ;
 428   struct list_head target_list ;
 429   struct task_struct *waiter ;
 430   void (*exit)(void) ;
 431   struct module_ref *refptr ;
 432   ctor_fn_t *ctors ;
 433   unsigned int num_ctors ;
 434};
 435#line 36 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
 436struct pi_protocol;
 437#line 36 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
 438struct pi_adapter {
 439   struct pi_protocol *proto ;
 440   int port ;
 441   int mode ;
 442   int delay ;
 443   int devtype ;
 444   char *device ;
 445   int unit ;
 446   int saved_r0 ;
 447   int saved_r2 ;
 448   int reserved ;
 449   unsigned long private ;
 450   wait_queue_head_t parq ;
 451   void *pardev ;
 452   char *parname ;
 453   int claimed ;
 454   void (*claim_cont)(void) ;
 455};
 456#line 57 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
 457typedef struct pi_adapter PIA;
 458#line 135 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
 459struct pi_protocol {
 460   char name[8] ;
 461   int index ;
 462   int max_mode ;
 463   int epp_first ;
 464   int default_delay ;
 465   int max_units ;
 466   void (*write_regr)(PIA * , int  , int  , int  ) ;
 467   int (*read_regr)(PIA * , int  , int  ) ;
 468   void (*write_block)(PIA * , char * , int  ) ;
 469   void (*read_block)(PIA * , char * , int  ) ;
 470   void (*connect)(PIA * ) ;
 471   void (*disconnect)(PIA * ) ;
 472   int (*test_port)(PIA * ) ;
 473   int (*probe_unit)(PIA * ) ;
 474   int (*test_proto)(PIA * , char * , int  ) ;
 475   void (*log_adapter)(PIA * , char * , int  ) ;
 476   int (*init_proto)(PIA * ) ;
 477   void (*release_proto)(PIA * ) ;
 478   struct module *owner ;
 479};
 480#line 164 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
 481typedef struct pi_protocol PIP;
 482#line 1 "<compiler builtins>"
 483long __builtin_expect(long val , long res ) ;
 484#line 100 "include/linux/printk.h"
 485extern int ( /* format attribute */  printk)(char const   *fmt  , ...) ;
 486#line 152 "include/linux/mutex.h"
 487void mutex_lock(struct mutex *lock ) ;
 488#line 153
 489int __attribute__((__warn_unused_result__))  mutex_lock_interruptible(struct mutex *lock ) ;
 490#line 154
 491int __attribute__((__warn_unused_result__))  mutex_lock_killable(struct mutex *lock ) ;
 492#line 168
 493int mutex_trylock(struct mutex *lock ) ;
 494#line 169
 495void mutex_unlock(struct mutex *lock ) ;
 496#line 170
 497int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
 498#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 499__inline static void outb(unsigned char value , int port )  __attribute__((__no_instrument_function__)) ;
 500#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 501__inline static void outb(unsigned char value , int port ) 
 502{ 
 503
 504  {
 505#line 308
 506  __asm__  volatile   ("out"
 507                       "b"
 508                       " %"
 509                       "b"
 510                       "0, %w1": : "a" (value), "Nd" (port));
 511#line 308
 512  return;
 513}
 514}
 515#line 308
 516__inline static unsigned char inb(int port )  __attribute__((__no_instrument_function__)) ;
 517#line 308 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 518__inline static unsigned char inb(int port ) 
 519{ unsigned char value ;
 520
 521  {
 522#line 308
 523  __asm__  volatile   ("in"
 524                       "b"
 525                       " %w1, %"
 526                       "b"
 527                       "0": "=a" (value): "Nd" (port));
 528#line 308
 529  return (value);
 530}
 531}
 532#line 309
 533__inline static void outw(unsigned short value , int port )  __attribute__((__no_instrument_function__)) ;
 534#line 309 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 535__inline static void outw(unsigned short value , int port ) 
 536{ 
 537
 538  {
 539#line 309
 540  __asm__  volatile   ("out"
 541                       "w"
 542                       " %"
 543                       "w"
 544                       "0, %w1": : "a" (value), "Nd" (port));
 545#line 309
 546  return;
 547}
 548}
 549#line 309
 550__inline static unsigned short inw(int port )  __attribute__((__no_instrument_function__)) ;
 551#line 309 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 552__inline static unsigned short inw(int port ) 
 553{ unsigned short value ;
 554
 555  {
 556#line 309
 557  __asm__  volatile   ("in"
 558                       "w"
 559                       " %w1, %"
 560                       "w"
 561                       "0": "=a" (value): "Nd" (port));
 562#line 309
 563  return (value);
 564}
 565}
 566#line 310
 567__inline static void outl(unsigned int value , int port )  __attribute__((__no_instrument_function__)) ;
 568#line 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 569__inline static void outl(unsigned int value , int port ) 
 570{ 
 571
 572  {
 573#line 310
 574  __asm__  volatile   ("out"
 575                       "l"
 576                       " %"
 577                       ""
 578                       "0, %w1": : "a" (value), "Nd" (port));
 579#line 310
 580  return;
 581}
 582}
 583#line 310
 584__inline static unsigned int inl(int port )  __attribute__((__no_instrument_function__)) ;
 585#line 310 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
 586__inline static unsigned int inl(int port ) 
 587{ unsigned int value ;
 588
 589  {
 590#line 310
 591  __asm__  volatile   ("in"
 592                       "l"
 593                       " %w1, %"
 594                       ""
 595                       "0": "=a" (value): "Nd" (port));
 596#line 310
 597  return (value);
 598}
 599}
 600#line 26 "include/linux/export.h"
 601extern struct module __this_module ;
 602#line 67 "include/linux/module.h"
 603int init_module(void) ;
 604#line 68
 605void cleanup_module(void) ;
 606#line 8 "include/asm-generic/delay.h"
 607extern void __udelay(unsigned long usecs ) ;
 608#line 166 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/block/paride/paride.h"
 609extern int paride_register(PIP * ) ;
 610#line 167
 611extern void paride_unregister(PIP * ) ;
 612#line 48 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
 613static int cont_map[2]  = {      0,      128};
 614#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
 615static int epia_read_regr(PIA *pi , int cont , int regr ) 
 616{ int a ;
 617  int b ;
 618  int r ;
 619  unsigned char tmp ;
 620  unsigned char tmp___0 ;
 621  unsigned char tmp___1 ;
 622  unsigned char tmp___2 ;
 623  unsigned char tmp___3 ;
 624  unsigned char tmp___4 ;
 625  unsigned long __cil_tmp13 ;
 626  unsigned long __cil_tmp14 ;
 627  int __cil_tmp15 ;
 628  unsigned long __cil_tmp16 ;
 629  unsigned long __cil_tmp17 ;
 630  unsigned char __cil_tmp18 ;
 631  unsigned long __cil_tmp19 ;
 632  unsigned long __cil_tmp20 ;
 633  int __cil_tmp21 ;
 634  unsigned long __cil_tmp22 ;
 635  unsigned long __cil_tmp23 ;
 636  unsigned long __cil_tmp24 ;
 637  unsigned long __cil_tmp25 ;
 638  int __cil_tmp26 ;
 639  unsigned long __cil_tmp27 ;
 640  unsigned long __cil_tmp28 ;
 641  unsigned long __cil_tmp29 ;
 642  int __cil_tmp30 ;
 643  int __cil_tmp31 ;
 644  unsigned long __cil_tmp32 ;
 645  unsigned long __cil_tmp33 ;
 646  unsigned long __cil_tmp34 ;
 647  unsigned long __cil_tmp35 ;
 648  int __cil_tmp36 ;
 649  unsigned long __cil_tmp37 ;
 650  unsigned long __cil_tmp38 ;
 651  unsigned long __cil_tmp39 ;
 652  int __cil_tmp40 ;
 653  int __cil_tmp41 ;
 654  unsigned long __cil_tmp42 ;
 655  unsigned long __cil_tmp43 ;
 656  unsigned long __cil_tmp44 ;
 657  unsigned long __cil_tmp45 ;
 658  int __cil_tmp46 ;
 659  unsigned long __cil_tmp47 ;
 660  unsigned char __cil_tmp48 ;
 661  unsigned long __cil_tmp49 ;
 662  unsigned long __cil_tmp50 ;
 663  int __cil_tmp51 ;
 664  unsigned long __cil_tmp52 ;
 665  unsigned long __cil_tmp53 ;
 666  unsigned long __cil_tmp54 ;
 667  unsigned long __cil_tmp55 ;
 668  int __cil_tmp56 ;
 669  unsigned long __cil_tmp57 ;
 670  unsigned long __cil_tmp58 ;
 671  unsigned long __cil_tmp59 ;
 672  unsigned long __cil_tmp60 ;
 673  unsigned long __cil_tmp61 ;
 674  int __cil_tmp62 ;
 675  unsigned long __cil_tmp63 ;
 676  unsigned long __cil_tmp64 ;
 677  unsigned long __cil_tmp65 ;
 678  int __cil_tmp66 ;
 679  int __cil_tmp67 ;
 680  int __cil_tmp68 ;
 681  unsigned long __cil_tmp69 ;
 682  unsigned long __cil_tmp70 ;
 683  int __cil_tmp71 ;
 684  int __cil_tmp72 ;
 685  unsigned long __cil_tmp73 ;
 686  unsigned long __cil_tmp74 ;
 687  unsigned long __cil_tmp75 ;
 688  unsigned long __cil_tmp76 ;
 689  int __cil_tmp77 ;
 690  unsigned long __cil_tmp78 ;
 691  unsigned long __cil_tmp79 ;
 692  unsigned long __cil_tmp80 ;
 693  unsigned long __cil_tmp81 ;
 694  unsigned long __cil_tmp82 ;
 695  int __cil_tmp83 ;
 696  unsigned long __cil_tmp84 ;
 697  unsigned long __cil_tmp85 ;
 698  unsigned long __cil_tmp86 ;
 699  int __cil_tmp87 ;
 700  int __cil_tmp88 ;
 701  int __cil_tmp89 ;
 702  unsigned long __cil_tmp90 ;
 703  unsigned long __cil_tmp91 ;
 704  int __cil_tmp92 ;
 705  int __cil_tmp93 ;
 706  unsigned long __cil_tmp94 ;
 707  unsigned long __cil_tmp95 ;
 708  unsigned long __cil_tmp96 ;
 709  unsigned long __cil_tmp97 ;
 710  int __cil_tmp98 ;
 711  unsigned long __cil_tmp99 ;
 712  int __cil_tmp100 ;
 713  int __cil_tmp101 ;
 714  int __cil_tmp102 ;
 715  unsigned char __cil_tmp103 ;
 716  unsigned long __cil_tmp104 ;
 717  unsigned long __cil_tmp105 ;
 718  int __cil_tmp106 ;
 719  unsigned long __cil_tmp107 ;
 720  unsigned long __cil_tmp108 ;
 721  unsigned long __cil_tmp109 ;
 722  unsigned long __cil_tmp110 ;
 723  int __cil_tmp111 ;
 724  unsigned long __cil_tmp112 ;
 725  unsigned long __cil_tmp113 ;
 726  unsigned long __cil_tmp114 ;
 727  int __cil_tmp115 ;
 728  int __cil_tmp116 ;
 729  unsigned long __cil_tmp117 ;
 730  unsigned long __cil_tmp118 ;
 731  unsigned long __cil_tmp119 ;
 732  unsigned long __cil_tmp120 ;
 733  int __cil_tmp121 ;
 734  unsigned long __cil_tmp122 ;
 735  int __cil_tmp123 ;
 736  unsigned char __cil_tmp124 ;
 737  unsigned long __cil_tmp125 ;
 738  unsigned long __cil_tmp126 ;
 739  int __cil_tmp127 ;
 740  unsigned long __cil_tmp128 ;
 741  unsigned long __cil_tmp129 ;
 742  unsigned long __cil_tmp130 ;
 743  unsigned long __cil_tmp131 ;
 744  int __cil_tmp132 ;
 745  unsigned long __cil_tmp133 ;
 746  unsigned long __cil_tmp134 ;
 747  unsigned long __cil_tmp135 ;
 748  int __cil_tmp136 ;
 749  int __cil_tmp137 ;
 750  unsigned long __cil_tmp138 ;
 751  unsigned long __cil_tmp139 ;
 752  unsigned long __cil_tmp140 ;
 753  unsigned long __cil_tmp141 ;
 754  int __cil_tmp142 ;
 755  unsigned long __cil_tmp143 ;
 756  unsigned long __cil_tmp144 ;
 757  unsigned long __cil_tmp145 ;
 758  int __cil_tmp146 ;
 759  int __cil_tmp147 ;
 760  unsigned long __cil_tmp148 ;
 761  unsigned long __cil_tmp149 ;
 762  unsigned long __cil_tmp150 ;
 763  unsigned long __cil_tmp151 ;
 764  int __cil_tmp152 ;
 765  unsigned long __cil_tmp153 ;
 766  int __cil_tmp154 ;
 767  unsigned char __cil_tmp155 ;
 768  unsigned long __cil_tmp156 ;
 769  unsigned long __cil_tmp157 ;
 770  int __cil_tmp158 ;
 771  unsigned long __cil_tmp159 ;
 772  unsigned long __cil_tmp160 ;
 773  unsigned long __cil_tmp161 ;
 774  unsigned long __cil_tmp162 ;
 775  int __cil_tmp163 ;
 776  unsigned long __cil_tmp164 ;
 777  unsigned long __cil_tmp165 ;
 778  unsigned long __cil_tmp166 ;
 779  unsigned long __cil_tmp167 ;
 780  unsigned long __cil_tmp168 ;
 781  int __cil_tmp169 ;
 782  unsigned long __cil_tmp170 ;
 783  unsigned long __cil_tmp171 ;
 784  unsigned long __cil_tmp172 ;
 785  int __cil_tmp173 ;
 786  int __cil_tmp174 ;
 787  int __cil_tmp175 ;
 788  unsigned long __cil_tmp176 ;
 789  unsigned long __cil_tmp177 ;
 790  unsigned long __cil_tmp178 ;
 791  unsigned long __cil_tmp179 ;
 792  int __cil_tmp180 ;
 793  unsigned long __cil_tmp181 ;
 794  unsigned long __cil_tmp182 ;
 795  unsigned long __cil_tmp183 ;
 796  int __cil_tmp184 ;
 797  int __cil_tmp185 ;
 798  int __cil_tmp186 ;
 799  unsigned long __cil_tmp187 ;
 800  unsigned long __cil_tmp188 ;
 801  int __cil_tmp189 ;
 802  int __cil_tmp190 ;
 803  unsigned long __cil_tmp191 ;
 804  unsigned long __cil_tmp192 ;
 805  unsigned long __cil_tmp193 ;
 806  unsigned long __cil_tmp194 ;
 807  int __cil_tmp195 ;
 808  unsigned long __cil_tmp196 ;
 809  int __cil_tmp197 ;
 810  int __cil_tmp198 ;
 811  int __cil_tmp199 ;
 812  int __cil_tmp200 ;
 813  unsigned char __cil_tmp201 ;
 814  unsigned long __cil_tmp202 ;
 815  unsigned long __cil_tmp203 ;
 816  int __cil_tmp204 ;
 817  unsigned long __cil_tmp205 ;
 818  unsigned long __cil_tmp206 ;
 819  unsigned long __cil_tmp207 ;
 820  unsigned long __cil_tmp208 ;
 821  int __cil_tmp209 ;
 822  unsigned long __cil_tmp210 ;
 823  unsigned long __cil_tmp211 ;
 824  unsigned long __cil_tmp212 ;
 825  int __cil_tmp213 ;
 826  int __cil_tmp214 ;
 827  unsigned long __cil_tmp215 ;
 828  unsigned long __cil_tmp216 ;
 829  unsigned long __cil_tmp217 ;
 830  unsigned long __cil_tmp218 ;
 831  int __cil_tmp219 ;
 832  unsigned long __cil_tmp220 ;
 833  unsigned long __cil_tmp221 ;
 834  unsigned long __cil_tmp222 ;
 835  int __cil_tmp223 ;
 836  int __cil_tmp224 ;
 837  unsigned long __cil_tmp225 ;
 838  unsigned long __cil_tmp226 ;
 839  unsigned long __cil_tmp227 ;
 840  unsigned long __cil_tmp228 ;
 841  int __cil_tmp229 ;
 842  unsigned long __cil_tmp230 ;
 843  unsigned long __cil_tmp231 ;
 844  unsigned long __cil_tmp232 ;
 845  int __cil_tmp233 ;
 846  int __cil_tmp234 ;
 847  unsigned long __cil_tmp235 ;
 848  unsigned long __cil_tmp236 ;
 849  unsigned long __cil_tmp237 ;
 850  unsigned long __cil_tmp238 ;
 851  int __cil_tmp239 ;
 852  unsigned long __cil_tmp240 ;
 853  unsigned long __cil_tmp241 ;
 854  unsigned long __cil_tmp242 ;
 855  unsigned long __cil_tmp243 ;
 856  unsigned long __cil_tmp244 ;
 857  int __cil_tmp245 ;
 858  unsigned long __cil_tmp246 ;
 859  unsigned long __cil_tmp247 ;
 860  unsigned long __cil_tmp248 ;
 861  int __cil_tmp249 ;
 862  int __cil_tmp250 ;
 863  unsigned long __cil_tmp251 ;
 864  unsigned long __cil_tmp252 ;
 865  int __cil_tmp253 ;
 866  int __cil_tmp254 ;
 867  unsigned long __cil_tmp255 ;
 868  unsigned long __cil_tmp256 ;
 869  unsigned long __cil_tmp257 ;
 870  unsigned long __cil_tmp258 ;
 871  int __cil_tmp259 ;
 872  unsigned long __cil_tmp260 ;
 873  unsigned char __cil_tmp261 ;
 874  unsigned long __cil_tmp262 ;
 875  unsigned long __cil_tmp263 ;
 876  int __cil_tmp264 ;
 877  int __cil_tmp265 ;
 878  unsigned long __cil_tmp266 ;
 879  unsigned long __cil_tmp267 ;
 880  unsigned long __cil_tmp268 ;
 881  unsigned long __cil_tmp269 ;
 882  int __cil_tmp270 ;
 883  unsigned long __cil_tmp271 ;
 884  unsigned long __cil_tmp272 ;
 885  unsigned long __cil_tmp273 ;
 886  int __cil_tmp274 ;
 887  int __cil_tmp275 ;
 888  unsigned long __cil_tmp276 ;
 889  unsigned long __cil_tmp277 ;
 890  unsigned long __cil_tmp278 ;
 891  unsigned long __cil_tmp279 ;
 892  int __cil_tmp280 ;
 893  unsigned long __cil_tmp281 ;
 894  unsigned long __cil_tmp282 ;
 895  unsigned long __cil_tmp283 ;
 896  unsigned long __cil_tmp284 ;
 897  unsigned long __cil_tmp285 ;
 898  int __cil_tmp286 ;
 899  unsigned long __cil_tmp287 ;
 900  unsigned long __cil_tmp288 ;
 901  unsigned long __cil_tmp289 ;
 902  int __cil_tmp290 ;
 903  int __cil_tmp291 ;
 904  int __cil_tmp292 ;
 905  unsigned long __cil_tmp293 ;
 906  unsigned long __cil_tmp294 ;
 907  int __cil_tmp295 ;
 908  int __cil_tmp296 ;
 909  unsigned long __cil_tmp297 ;
 910  unsigned long __cil_tmp298 ;
 911  unsigned long __cil_tmp299 ;
 912  unsigned long __cil_tmp300 ;
 913  int __cil_tmp301 ;
 914  unsigned long __cil_tmp302 ;
 915
 916  {
 917#line 54
 918  __cil_tmp13 = cont * 4UL;
 919#line 54
 920  __cil_tmp14 = (unsigned long )(cont_map) + __cil_tmp13;
 921#line 54
 922  __cil_tmp15 = *((int *)__cil_tmp14);
 923#line 54
 924  regr = regr + __cil_tmp15;
 925  {
 926#line 56
 927  __cil_tmp16 = (unsigned long )pi;
 928#line 56
 929  __cil_tmp17 = __cil_tmp16 + 12;
 930#line 58
 931  if (*((int *)__cil_tmp17) == 0) {
 932#line 58
 933    goto case_0;
 934  } else
 935#line 63
 936  if (*((int *)__cil_tmp17) == 1) {
 937#line 63
 938    goto case_1;
 939  } else
 940#line 69
 941  if (*((int *)__cil_tmp17) == 2) {
 942#line 69
 943    goto case_2;
 944  } else
 945#line 74
 946  if (*((int *)__cil_tmp17) == 3) {
 947#line 74
 948    goto case_3;
 949  } else
 950#line 75
 951  if (*((int *)__cil_tmp17) == 4) {
 952#line 75
 953    goto case_3;
 954  } else
 955#line 76
 956  if (*((int *)__cil_tmp17) == 5) {
 957#line 76
 958    goto case_3;
 959  } else
 960#line 56
 961  if (0) {
 962    case_0: /* CIL Label */ 
 963    {
 964#line 58
 965    r = regr ^ 57;
 966#line 59
 967    __cil_tmp18 = (unsigned char )r;
 968#line 59
 969    __cil_tmp19 = (unsigned long )pi;
 970#line 59
 971    __cil_tmp20 = __cil_tmp19 + 8;
 972#line 59
 973    __cil_tmp21 = *((int *)__cil_tmp20);
 974#line 59
 975    outb(__cil_tmp18, __cil_tmp21);
 976    }
 977    {
 978#line 59
 979    __cil_tmp22 = (unsigned long )pi;
 980#line 59
 981    __cil_tmp23 = __cil_tmp22 + 16;
 982#line 59
 983    if (*((int *)__cil_tmp23)) {
 984      {
 985#line 59
 986      __cil_tmp24 = (unsigned long )pi;
 987#line 59
 988      __cil_tmp25 = __cil_tmp24 + 16;
 989#line 59
 990      __cil_tmp26 = *((int *)__cil_tmp25);
 991#line 59
 992      __cil_tmp27 = (unsigned long )__cil_tmp26;
 993#line 59
 994      __udelay(__cil_tmp27);
 995      }
 996    } else {
 997
 998    }
 999    }
1000    {
1001#line 59
1002    __cil_tmp28 = (unsigned long )pi;
1003#line 59
1004    __cil_tmp29 = __cil_tmp28 + 8;
1005#line 59
1006    __cil_tmp30 = *((int *)__cil_tmp29);
1007#line 59
1008    __cil_tmp31 = __cil_tmp30 + 2;
1009#line 59
1010    outb((unsigned char)1, __cil_tmp31);
1011    }
1012    {
1013#line 59
1014    __cil_tmp32 = (unsigned long )pi;
1015#line 59
1016    __cil_tmp33 = __cil_tmp32 + 16;
1017#line 59
1018    if (*((int *)__cil_tmp33)) {
1019      {
1020#line 59
1021      __cil_tmp34 = (unsigned long )pi;
1022#line 59
1023      __cil_tmp35 = __cil_tmp34 + 16;
1024#line 59
1025      __cil_tmp36 = *((int *)__cil_tmp35);
1026#line 59
1027      __cil_tmp37 = (unsigned long )__cil_tmp36;
1028#line 59
1029      __udelay(__cil_tmp37);
1030      }
1031    } else {
1032
1033    }
1034    }
1035    {
1036#line 59
1037    __cil_tmp38 = (unsigned long )pi;
1038#line 59
1039    __cil_tmp39 = __cil_tmp38 + 8;
1040#line 59
1041    __cil_tmp40 = *((int *)__cil_tmp39);
1042#line 59
1043    __cil_tmp41 = __cil_tmp40 + 2;
1044#line 59
1045    outb((unsigned char)3, __cil_tmp41);
1046    }
1047    {
1048#line 59
1049    __cil_tmp42 = (unsigned long )pi;
1050#line 59
1051    __cil_tmp43 = __cil_tmp42 + 16;
1052#line 59
1053    if (*((int *)__cil_tmp43)) {
1054      {
1055#line 59
1056      __cil_tmp44 = (unsigned long )pi;
1057#line 59
1058      __cil_tmp45 = __cil_tmp44 + 16;
1059#line 59
1060      __cil_tmp46 = *((int *)__cil_tmp45);
1061#line 59
1062      __cil_tmp47 = (unsigned long )__cil_tmp46;
1063#line 59
1064      __udelay(__cil_tmp47);
1065      }
1066    } else {
1067
1068    }
1069    }
1070    {
1071#line 59
1072    __cil_tmp48 = (unsigned char )r;
1073#line 59
1074    __cil_tmp49 = (unsigned long )pi;
1075#line 59
1076    __cil_tmp50 = __cil_tmp49 + 8;
1077#line 59
1078    __cil_tmp51 = *((int *)__cil_tmp50);
1079#line 59
1080    outb(__cil_tmp48, __cil_tmp51);
1081    }
1082    {
1083#line 59
1084    __cil_tmp52 = (unsigned long )pi;
1085#line 59
1086    __cil_tmp53 = __cil_tmp52 + 16;
1087#line 59
1088    if (*((int *)__cil_tmp53)) {
1089      {
1090#line 59
1091      __cil_tmp54 = (unsigned long )pi;
1092#line 59
1093      __cil_tmp55 = __cil_tmp54 + 16;
1094#line 59
1095      __cil_tmp56 = *((int *)__cil_tmp55);
1096#line 59
1097      __cil_tmp57 = (unsigned long )__cil_tmp56;
1098#line 59
1099      __udelay(__cil_tmp57);
1100      }
1101    } else {
1102
1103    }
1104    }
1105    {
1106#line 60
1107    __cil_tmp58 = (unsigned long )pi;
1108#line 60
1109    __cil_tmp59 = __cil_tmp58 + 16;
1110#line 60
1111    if (*((int *)__cil_tmp59)) {
1112      {
1113#line 60
1114      __cil_tmp60 = (unsigned long )pi;
1115#line 60
1116      __cil_tmp61 = __cil_tmp60 + 16;
1117#line 60
1118      __cil_tmp62 = *((int *)__cil_tmp61);
1119#line 60
1120      __cil_tmp63 = (unsigned long )__cil_tmp62;
1121#line 60
1122      __udelay(__cil_tmp63);
1123      }
1124    } else {
1125
1126    }
1127    }
1128    {
1129#line 60
1130    __cil_tmp64 = (unsigned long )pi;
1131#line 60
1132    __cil_tmp65 = __cil_tmp64 + 8;
1133#line 60
1134    __cil_tmp66 = *((int *)__cil_tmp65);
1135#line 60
1136    __cil_tmp67 = __cil_tmp66 + 1;
1137#line 60
1138    tmp = inb(__cil_tmp67);
1139#line 60
1140    __cil_tmp68 = (int )tmp;
1141#line 60
1142    a = __cil_tmp68 & 255;
1143#line 60
1144    __cil_tmp69 = (unsigned long )pi;
1145#line 60
1146    __cil_tmp70 = __cil_tmp69 + 8;
1147#line 60
1148    __cil_tmp71 = *((int *)__cil_tmp70);
1149#line 60
1150    __cil_tmp72 = __cil_tmp71 + 2;
1151#line 60
1152    outb((unsigned char)1, __cil_tmp72);
1153    }
1154    {
1155#line 60
1156    __cil_tmp73 = (unsigned long )pi;
1157#line 60
1158    __cil_tmp74 = __cil_tmp73 + 16;
1159#line 60
1160    if (*((int *)__cil_tmp74)) {
1161      {
1162#line 60
1163      __cil_tmp75 = (unsigned long )pi;
1164#line 60
1165      __cil_tmp76 = __cil_tmp75 + 16;
1166#line 60
1167      __cil_tmp77 = *((int *)__cil_tmp76);
1168#line 60
1169      __cil_tmp78 = (unsigned long )__cil_tmp77;
1170#line 60
1171      __udelay(__cil_tmp78);
1172      }
1173    } else {
1174
1175    }
1176    }
1177    {
1178#line 60
1179    __cil_tmp79 = (unsigned long )pi;
1180#line 60
1181    __cil_tmp80 = __cil_tmp79 + 16;
1182#line 60
1183    if (*((int *)__cil_tmp80)) {
1184      {
1185#line 60
1186      __cil_tmp81 = (unsigned long )pi;
1187#line 60
1188      __cil_tmp82 = __cil_tmp81 + 16;
1189#line 60
1190      __cil_tmp83 = *((int *)__cil_tmp82);
1191#line 60
1192      __cil_tmp84 = (unsigned long )__cil_tmp83;
1193#line 60
1194      __udelay(__cil_tmp84);
1195      }
1196    } else {
1197
1198    }
1199    }
1200    {
1201#line 60
1202    __cil_tmp85 = (unsigned long )pi;
1203#line 60
1204    __cil_tmp86 = __cil_tmp85 + 8;
1205#line 60
1206    __cil_tmp87 = *((int *)__cil_tmp86);
1207#line 60
1208    __cil_tmp88 = __cil_tmp87 + 1;
1209#line 60
1210    tmp___0 = inb(__cil_tmp88);
1211#line 60
1212    __cil_tmp89 = (int )tmp___0;
1213#line 60
1214    b = __cil_tmp89 & 255;
1215#line 60
1216    __cil_tmp90 = (unsigned long )pi;
1217#line 60
1218    __cil_tmp91 = __cil_tmp90 + 8;
1219#line 60
1220    __cil_tmp92 = *((int *)__cil_tmp91);
1221#line 60
1222    __cil_tmp93 = __cil_tmp92 + 2;
1223#line 60
1224    outb((unsigned char)4, __cil_tmp93);
1225    }
1226    {
1227#line 60
1228    __cil_tmp94 = (unsigned long )pi;
1229#line 60
1230    __cil_tmp95 = __cil_tmp94 + 16;
1231#line 60
1232    if (*((int *)__cil_tmp95)) {
1233      {
1234#line 60
1235      __cil_tmp96 = (unsigned long )pi;
1236#line 60
1237      __cil_tmp97 = __cil_tmp96 + 16;
1238#line 60
1239      __cil_tmp98 = *((int *)__cil_tmp97);
1240#line 60
1241      __cil_tmp99 = (unsigned long )__cil_tmp98;
1242#line 60
1243      __udelay(__cil_tmp99);
1244      }
1245    } else {
1246
1247    }
1248    }
1249    {
1250#line 61
1251    __cil_tmp100 = b & 240;
1252#line 61
1253    __cil_tmp101 = a >> 4;
1254#line 61
1255    __cil_tmp102 = __cil_tmp101 & 15;
1256#line 61
1257    return (__cil_tmp102 + __cil_tmp100);
1258    }
1259    case_1: /* CIL Label */ 
1260    {
1261#line 63
1262    r = regr ^ 49;
1263#line 64
1264    __cil_tmp103 = (unsigned char )r;
1265#line 64
1266    __cil_tmp104 = (unsigned long )pi;
1267#line 64
1268    __cil_tmp105 = __cil_tmp104 + 8;
1269#line 64
1270    __cil_tmp106 = *((int *)__cil_tmp105);
1271#line 64
1272    outb(__cil_tmp103, __cil_tmp106);
1273    }
1274    {
1275#line 64
1276    __cil_tmp107 = (unsigned long )pi;
1277#line 64
1278    __cil_tmp108 = __cil_tmp107 + 16;
1279#line 64
1280    if (*((int *)__cil_tmp108)) {
1281      {
1282#line 64
1283      __cil_tmp109 = (unsigned long )pi;
1284#line 64
1285      __cil_tmp110 = __cil_tmp109 + 16;
1286#line 64
1287      __cil_tmp111 = *((int *)__cil_tmp110);
1288#line 64
1289      __cil_tmp112 = (unsigned long )__cil_tmp111;
1290#line 64
1291      __udelay(__cil_tmp112);
1292      }
1293    } else {
1294
1295    }
1296    }
1297    {
1298#line 64
1299    __cil_tmp113 = (unsigned long )pi;
1300#line 64
1301    __cil_tmp114 = __cil_tmp113 + 8;
1302#line 64
1303    __cil_tmp115 = *((int *)__cil_tmp114);
1304#line 64
1305    __cil_tmp116 = __cil_tmp115 + 2;
1306#line 64
1307    outb((unsigned char)1, __cil_tmp116);
1308    }
1309    {
1310#line 64
1311    __cil_tmp117 = (unsigned long )pi;
1312#line 64
1313    __cil_tmp118 = __cil_tmp117 + 16;
1314#line 64
1315    if (*((int *)__cil_tmp118)) {
1316      {
1317#line 64
1318      __cil_tmp119 = (unsigned long )pi;
1319#line 64
1320      __cil_tmp120 = __cil_tmp119 + 16;
1321#line 64
1322      __cil_tmp121 = *((int *)__cil_tmp120);
1323#line 64
1324      __cil_tmp122 = (unsigned long )__cil_tmp121;
1325#line 64
1326      __udelay(__cil_tmp122);
1327      }
1328    } else {
1329
1330    }
1331    }
1332    {
1333#line 64
1334    __cil_tmp123 = r & 55;
1335#line 64
1336    __cil_tmp124 = (unsigned char )__cil_tmp123;
1337#line 64
1338    __cil_tmp125 = (unsigned long )pi;
1339#line 64
1340    __cil_tmp126 = __cil_tmp125 + 8;
1341#line 64
1342    __cil_tmp127 = *((int *)__cil_tmp126);
1343#line 64
1344    outb(__cil_tmp124, __cil_tmp127);
1345    }
1346    {
1347#line 64
1348    __cil_tmp128 = (unsigned long )pi;
1349#line 64
1350    __cil_tmp129 = __cil_tmp128 + 16;
1351#line 64
1352    if (*((int *)__cil_tmp129)) {
1353      {
1354#line 64
1355      __cil_tmp130 = (unsigned long )pi;
1356#line 64
1357      __cil_tmp131 = __cil_tmp130 + 16;
1358#line 64
1359      __cil_tmp132 = *((int *)__cil_tmp131);
1360#line 64
1361      __cil_tmp133 = (unsigned long )__cil_tmp132;
1362#line 64
1363      __udelay(__cil_tmp133);
1364      }
1365    } else {
1366
1367    }
1368    }
1369    {
1370#line 65
1371    __cil_tmp134 = (unsigned long )pi;
1372#line 65
1373    __cil_tmp135 = __cil_tmp134 + 8;
1374#line 65
1375    __cil_tmp136 = *((int *)__cil_tmp135);
1376#line 65
1377    __cil_tmp137 = __cil_tmp136 + 2;
1378#line 65
1379    outb((unsigned char)3, __cil_tmp137);
1380    }
1381    {
1382#line 65
1383    __cil_tmp138 = (unsigned long )pi;
1384#line 65
1385    __cil_tmp139 = __cil_tmp138 + 16;
1386#line 65
1387    if (*((int *)__cil_tmp139)) {
1388      {
1389#line 65
1390      __cil_tmp140 = (unsigned long )pi;
1391#line 65
1392      __cil_tmp141 = __cil_tmp140 + 16;
1393#line 65
1394      __cil_tmp142 = *((int *)__cil_tmp141);
1395#line 65
1396      __cil_tmp143 = (unsigned long )__cil_tmp142;
1397#line 65
1398      __udelay(__cil_tmp143);
1399      }
1400    } else {
1401
1402    }
1403    }
1404    {
1405#line 65
1406    __cil_tmp144 = (unsigned long )pi;
1407#line 65
1408    __cil_tmp145 = __cil_tmp144 + 8;
1409#line 65
1410    __cil_tmp146 = *((int *)__cil_tmp145);
1411#line 65
1412    __cil_tmp147 = __cil_tmp146 + 2;
1413#line 65
1414    outb((unsigned char)5, __cil_tmp147);
1415    }
1416    {
1417#line 65
1418    __cil_tmp148 = (unsigned long )pi;
1419#line 65
1420    __cil_tmp149 = __cil_tmp148 + 16;
1421#line 65
1422    if (*((int *)__cil_tmp149)) {
1423      {
1424#line 65
1425      __cil_tmp150 = (unsigned long )pi;
1426#line 65
1427      __cil_tmp151 = __cil_tmp150 + 16;
1428#line 65
1429      __cil_tmp152 = *((int *)__cil_tmp151);
1430#line 65
1431      __cil_tmp153 = (unsigned long )__cil_tmp152;
1432#line 65
1433      __udelay(__cil_tmp153);
1434      }
1435    } else {
1436
1437    }
1438    }
1439    {
1440#line 65
1441    __cil_tmp154 = r | 240;
1442#line 65
1443    __cil_tmp155 = (unsigned char )__cil_tmp154;
1444#line 65
1445    __cil_tmp156 = (unsigned long )pi;
1446#line 65
1447    __cil_tmp157 = __cil_tmp156 + 8;
1448#line 65
1449    __cil_tmp158 = *((int *)__cil_tmp157);
1450#line 65
1451    outb(__cil_tmp155, __cil_tmp158);
1452    }
1453    {
1454#line 65
1455    __cil_tmp159 = (unsigned long )pi;
1456#line 65
1457    __cil_tmp160 = __cil_tmp159 + 16;
1458#line 65
1459    if (*((int *)__cil_tmp160)) {
1460      {
1461#line 65
1462      __cil_tmp161 = (unsigned long )pi;
1463#line 65
1464      __cil_tmp162 = __cil_tmp161 + 16;
1465#line 65
1466      __cil_tmp163 = *((int *)__cil_tmp162);
1467#line 65
1468      __cil_tmp164 = (unsigned long )__cil_tmp163;
1469#line 65
1470      __udelay(__cil_tmp164);
1471      }
1472    } else {
1473
1474    }
1475    }
1476    {
1477#line 66
1478    __cil_tmp165 = (unsigned long )pi;
1479#line 66
1480    __cil_tmp166 = __cil_tmp165 + 16;
1481#line 66
1482    if (*((int *)__cil_tmp166)) {
1483      {
1484#line 66
1485      __cil_tmp167 = (unsigned long )pi;
1486#line 66
1487      __cil_tmp168 = __cil_tmp167 + 16;
1488#line 66
1489      __cil_tmp169 = *((int *)__cil_tmp168);
1490#line 66
1491      __cil_tmp170 = (unsigned long )__cil_tmp169;
1492#line 66
1493      __udelay(__cil_tmp170);
1494      }
1495    } else {
1496
1497    }
1498    }
1499    {
1500#line 66
1501    __cil_tmp171 = (unsigned long )pi;
1502#line 66
1503    __cil_tmp172 = __cil_tmp171 + 8;
1504#line 66
1505    __cil_tmp173 = *((int *)__cil_tmp172);
1506#line 66
1507    __cil_tmp174 = __cil_tmp173 + 1;
1508#line 66
1509    tmp___1 = inb(__cil_tmp174);
1510#line 66
1511    __cil_tmp175 = (int )tmp___1;
1512#line 66
1513    a = __cil_tmp175 & 255;
1514    }
1515    {
1516#line 66
1517    __cil_tmp176 = (unsigned long )pi;
1518#line 66
1519    __cil_tmp177 = __cil_tmp176 + 16;
1520#line 66
1521    if (*((int *)__cil_tmp177)) {
1522      {
1523#line 66
1524      __cil_tmp178 = (unsigned long )pi;
1525#line 66
1526      __cil_tmp179 = __cil_tmp178 + 16;
1527#line 66
1528      __cil_tmp180 = *((int *)__cil_tmp179);
1529#line 66
1530      __cil_tmp181 = (unsigned long )__cil_tmp180;
1531#line 66
1532      __udelay(__cil_tmp181);
1533      }
1534    } else {
1535
1536    }
1537    }
1538    {
1539#line 66
1540    __cil_tmp182 = (unsigned long )pi;
1541#line 66
1542    __cil_tmp183 = __cil_tmp182 + 8;
1543#line 66
1544    __cil_tmp184 = *((int *)__cil_tmp183);
1545#line 66
1546    __cil_tmp185 = __cil_tmp184 + 2;
1547#line 66
1548    tmp___2 = inb(__cil_tmp185);
1549#line 66
1550    __cil_tmp186 = (int )tmp___2;
1551#line 66
1552    b = __cil_tmp186 & 255;
1553#line 66
1554    __cil_tmp187 = (unsigned long )pi;
1555#line 66
1556    __cil_tmp188 = __cil_tmp187 + 8;
1557#line 66
1558    __cil_tmp189 = *((int *)__cil_tmp188);
1559#line 66
1560    __cil_tmp190 = __cil_tmp189 + 2;
1561#line 66
1562    outb((unsigned char)4, __cil_tmp190);
1563    }
1564    {
1565#line 66
1566    __cil_tmp191 = (unsigned long )pi;
1567#line 66
1568    __cil_tmp192 = __cil_tmp191 + 16;
1569#line 66
1570    if (*((int *)__cil_tmp192)) {
1571      {
1572#line 66
1573      __cil_tmp193 = (unsigned long )pi;
1574#line 66
1575      __cil_tmp194 = __cil_tmp193 + 16;
1576#line 66
1577      __cil_tmp195 = *((int *)__cil_tmp194);
1578#line 66
1579      __cil_tmp196 = (unsigned long )__cil_tmp195;
1580#line 66
1581      __udelay(__cil_tmp196);
1582      }
1583    } else {
1584
1585    }
1586    }
1587    {
1588#line 67
1589    __cil_tmp197 = b << 4;
1590#line 67
1591    __cil_tmp198 = __cil_tmp197 & 224;
1592#line 67
1593    __cil_tmp199 = a >> 3;
1594#line 67
1595    __cil_tmp200 = __cil_tmp199 & 31;
1596#line 67
1597    return (__cil_tmp200 + __cil_tmp198);
1598    }
1599    case_2: /* CIL Label */ 
1600    {
1601#line 69
1602    r = regr ^ 41;
1603#line 70
1604    __cil_tmp201 = (unsigned char )r;
1605#line 70
1606    __cil_tmp202 = (unsigned long )pi;
1607#line 70
1608    __cil_tmp203 = __cil_tmp202 + 8;
1609#line 70
1610    __cil_tmp204 = *((int *)__cil_tmp203);
1611#line 70
1612    outb(__cil_tmp201, __cil_tmp204);
1613    }
1614    {
1615#line 70
1616    __cil_tmp205 = (unsigned long )pi;
1617#line 70
1618    __cil_tmp206 = __cil_tmp205 + 16;
1619#line 70
1620    if (*((int *)__cil_tmp206)) {
1621      {
1622#line 70
1623      __cil_tmp207 = (unsigned long )pi;
1624#line 70
1625      __cil_tmp208 = __cil_tmp207 + 16;
1626#line 70
1627      __cil_tmp209 = *((int *)__cil_tmp208);
1628#line 70
1629      __cil_tmp210 = (unsigned long )__cil_tmp209;
1630#line 70
1631      __udelay(__cil_tmp210);
1632      }
1633    } else {
1634
1635    }
1636    }
1637    {
1638#line 70
1639    __cil_tmp211 = (unsigned long )pi;
1640#line 70
1641    __cil_tmp212 = __cil_tmp211 + 8;
1642#line 70
1643    __cil_tmp213 = *((int *)__cil_tmp212);
1644#line 70
1645    __cil_tmp214 = __cil_tmp213 + 2;
1646#line 70
1647    outb((unsigned char)1, __cil_tmp214);
1648    }
1649    {
1650#line 70
1651    __cil_tmp215 = (unsigned long )pi;
1652#line 70
1653    __cil_tmp216 = __cil_tmp215 + 16;
1654#line 70
1655    if (*((int *)__cil_tmp216)) {
1656      {
1657#line 70
1658      __cil_tmp217 = (unsigned long )pi;
1659#line 70
1660      __cil_tmp218 = __cil_tmp217 + 16;
1661#line 70
1662      __cil_tmp219 = *((int *)__cil_tmp218);
1663#line 70
1664      __cil_tmp220 = (unsigned long )__cil_tmp219;
1665#line 70
1666      __udelay(__cil_tmp220);
1667      }
1668    } else {
1669
1670    }
1671    }
1672    {
1673#line 70
1674    __cil_tmp221 = (unsigned long )pi;
1675#line 70
1676    __cil_tmp222 = __cil_tmp221 + 8;
1677#line 70
1678    __cil_tmp223 = *((int *)__cil_tmp222);
1679#line 70
1680    __cil_tmp224 = __cil_tmp223 + 2;
1681#line 70
1682    outb((unsigned char)33, __cil_tmp224);
1683    }
1684    {
1685#line 70
1686    __cil_tmp225 = (unsigned long )pi;
1687#line 70
1688    __cil_tmp226 = __cil_tmp225 + 16;
1689#line 70
1690    if (*((int *)__cil_tmp226)) {
1691      {
1692#line 70
1693      __cil_tmp227 = (unsigned long )pi;
1694#line 70
1695      __cil_tmp228 = __cil_tmp227 + 16;
1696#line 70
1697      __cil_tmp229 = *((int *)__cil_tmp228);
1698#line 70
1699      __cil_tmp230 = (unsigned long )__cil_tmp229;
1700#line 70
1701      __udelay(__cil_tmp230);
1702      }
1703    } else {
1704
1705    }
1706    }
1707    {
1708#line 70
1709    __cil_tmp231 = (unsigned long )pi;
1710#line 70
1711    __cil_tmp232 = __cil_tmp231 + 8;
1712#line 70
1713    __cil_tmp233 = *((int *)__cil_tmp232);
1714#line 70
1715    __cil_tmp234 = __cil_tmp233 + 2;
1716#line 70
1717    outb((unsigned char)35, __cil_tmp234);
1718    }
1719    {
1720#line 70
1721    __cil_tmp235 = (unsigned long )pi;
1722#line 70
1723    __cil_tmp236 = __cil_tmp235 + 16;
1724#line 70
1725    if (*((int *)__cil_tmp236)) {
1726      {
1727#line 70
1728      __cil_tmp237 = (unsigned long )pi;
1729#line 70
1730      __cil_tmp238 = __cil_tmp237 + 16;
1731#line 70
1732      __cil_tmp239 = *((int *)__cil_tmp238);
1733#line 70
1734      __cil_tmp240 = (unsigned long )__cil_tmp239;
1735#line 70
1736      __udelay(__cil_tmp240);
1737      }
1738    } else {
1739
1740    }
1741    }
1742    {
1743#line 71
1744    __cil_tmp241 = (unsigned long )pi;
1745#line 71
1746    __cil_tmp242 = __cil_tmp241 + 16;
1747#line 71
1748    if (*((int *)__cil_tmp242)) {
1749      {
1750#line 71
1751      __cil_tmp243 = (unsigned long )pi;
1752#line 71
1753      __cil_tmp244 = __cil_tmp243 + 16;
1754#line 71
1755      __cil_tmp245 = *((int *)__cil_tmp244);
1756#line 71
1757      __cil_tmp246 = (unsigned long )__cil_tmp245;
1758#line 71
1759      __udelay(__cil_tmp246);
1760      }
1761    } else {
1762
1763    }
1764    }
1765    {
1766#line 71
1767    __cil_tmp247 = (unsigned long )pi;
1768#line 71
1769    __cil_tmp248 = __cil_tmp247 + 8;
1770#line 71
1771    __cil_tmp249 = *((int *)__cil_tmp248);
1772#line 71
1773    tmp___3 = inb(__cil_tmp249);
1774#line 71
1775    __cil_tmp250 = (int )tmp___3;
1776#line 71
1777    a = __cil_tmp250 & 255;
1778#line 71
1779    __cil_tmp251 = (unsigned long )pi;
1780#line 71
1781    __cil_tmp252 = __cil_tmp251 + 8;
1782#line 71
1783    __cil_tmp253 = *((int *)__cil_tmp252);
1784#line 71
1785    __cil_tmp254 = __cil_tmp253 + 2;
1786#line 71
1787    outb((unsigned char)4, __cil_tmp254);
1788    }
1789    {
1790#line 71
1791    __cil_tmp255 = (unsigned long )pi;
1792#line 71
1793    __cil_tmp256 = __cil_tmp255 + 16;
1794#line 71
1795    if (*((int *)__cil_tmp256)) {
1796      {
1797#line 71
1798      __cil_tmp257 = (unsigned long )pi;
1799#line 71
1800      __cil_tmp258 = __cil_tmp257 + 16;
1801#line 71
1802      __cil_tmp259 = *((int *)__cil_tmp258);
1803#line 71
1804      __cil_tmp260 = (unsigned long )__cil_tmp259;
1805#line 71
1806      __udelay(__cil_tmp260);
1807      }
1808    } else {
1809
1810    }
1811    }
1812#line 72
1813    return (a);
1814    case_3: /* CIL Label */ 
1815    case_4: /* CIL Label */ 
1816    case_5: /* CIL Label */ 
1817    {
1818#line 76
1819    __cil_tmp261 = (unsigned char )regr;
1820#line 76
1821    __cil_tmp262 = (unsigned long )pi;
1822#line 76
1823    __cil_tmp263 = __cil_tmp262 + 8;
1824#line 76
1825    __cil_tmp264 = *((int *)__cil_tmp263);
1826#line 76
1827    __cil_tmp265 = __cil_tmp264 + 3;
1828#line 76
1829    outb(__cil_tmp261, __cil_tmp265);
1830    }
1831    {
1832#line 76
1833    __cil_tmp266 = (unsigned long )pi;
1834#line 76
1835    __cil_tmp267 = __cil_tmp266 + 16;
1836#line 76
1837    if (*((int *)__cil_tmp267)) {
1838      {
1839#line 76
1840      __cil_tmp268 = (unsigned long )pi;
1841#line 76
1842      __cil_tmp269 = __cil_tmp268 + 16;
1843#line 76
1844      __cil_tmp270 = *((int *)__cil_tmp269);
1845#line 76
1846      __cil_tmp271 = (unsigned long )__cil_tmp270;
1847#line 76
1848      __udelay(__cil_tmp271);
1849      }
1850    } else {
1851
1852    }
1853    }
1854    {
1855#line 76
1856    __cil_tmp272 = (unsigned long )pi;
1857#line 76
1858    __cil_tmp273 = __cil_tmp272 + 8;
1859#line 76
1860    __cil_tmp274 = *((int *)__cil_tmp273);
1861#line 76
1862    __cil_tmp275 = __cil_tmp274 + 2;
1863#line 76
1864    outb((unsigned char)36, __cil_tmp275);
1865    }
1866    {
1867#line 76
1868    __cil_tmp276 = (unsigned long )pi;
1869#line 76
1870    __cil_tmp277 = __cil_tmp276 + 16;
1871#line 76
1872    if (*((int *)__cil_tmp277)) {
1873      {
1874#line 76
1875      __cil_tmp278 = (unsigned long )pi;
1876#line 76
1877      __cil_tmp279 = __cil_tmp278 + 16;
1878#line 76
1879      __cil_tmp280 = *((int *)__cil_tmp279);
1880#line 76
1881      __cil_tmp281 = (unsigned long )__cil_tmp280;
1882#line 76
1883      __udelay(__cil_tmp281);
1884      }
1885    } else {
1886
1887    }
1888    }
1889    {
1890#line 76
1891    __cil_tmp282 = (unsigned long )pi;
1892#line 76
1893    __cil_tmp283 = __cil_tmp282 + 16;
1894#line 76
1895    if (*((int *)__cil_tmp283)) {
1896      {
1897#line 76
1898      __cil_tmp284 = (unsigned long )pi;
1899#line 76
1900      __cil_tmp285 = __cil_tmp284 + 16;
1901#line 76
1902      __cil_tmp286 = *((int *)__cil_tmp285);
1903#line 76
1904      __cil_tmp287 = (unsigned long )__cil_tmp286;
1905#line 76
1906      __udelay(__cil_tmp287);
1907      }
1908    } else {
1909
1910    }
1911    }
1912    {
1913#line 76
1914    __cil_tmp288 = (unsigned long )pi;
1915#line 76
1916    __cil_tmp289 = __cil_tmp288 + 8;
1917#line 76
1918    __cil_tmp290 = *((int *)__cil_tmp289);
1919#line 76
1920    __cil_tmp291 = __cil_tmp290 + 4;
1921#line 76
1922    tmp___4 = inb(__cil_tmp291);
1923#line 76
1924    __cil_tmp292 = (int )tmp___4;
1925#line 76
1926    a = __cil_tmp292 & 255;
1927#line 76
1928    __cil_tmp293 = (unsigned long )pi;
1929#line 76
1930    __cil_tmp294 = __cil_tmp293 + 8;
1931#line 76
1932    __cil_tmp295 = *((int *)__cil_tmp294);
1933#line 76
1934    __cil_tmp296 = __cil_tmp295 + 2;
1935#line 76
1936    outb((unsigned char)4, __cil_tmp296);
1937    }
1938    {
1939#line 76
1940    __cil_tmp297 = (unsigned long )pi;
1941#line 76
1942    __cil_tmp298 = __cil_tmp297 + 16;
1943#line 76
1944    if (*((int *)__cil_tmp298)) {
1945      {
1946#line 76
1947      __cil_tmp299 = (unsigned long )pi;
1948#line 76
1949      __cil_tmp300 = __cil_tmp299 + 16;
1950#line 76
1951      __cil_tmp301 = *((int *)__cil_tmp300);
1952#line 76
1953      __cil_tmp302 = (unsigned long )__cil_tmp301;
1954#line 76
1955      __udelay(__cil_tmp302);
1956      }
1957    } else {
1958
1959    }
1960    }
1961#line 77
1962    return (a);
1963  } else {
1964    switch_break: /* CIL Label */ ;
1965  }
1966  }
1967#line 80
1968  return (-1);
1969}
1970}
1971#line 83 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
1972static void epia_write_regr(PIA *pi , int cont , int regr , int val ) 
1973{ int r ;
1974  unsigned long __cil_tmp6 ;
1975  unsigned long __cil_tmp7 ;
1976  int __cil_tmp8 ;
1977  unsigned long __cil_tmp9 ;
1978  unsigned long __cil_tmp10 ;
1979  unsigned char __cil_tmp11 ;
1980  unsigned long __cil_tmp12 ;
1981  unsigned long __cil_tmp13 ;
1982  int __cil_tmp14 ;
1983  unsigned long __cil_tmp15 ;
1984  unsigned long __cil_tmp16 ;
1985  unsigned long __cil_tmp17 ;
1986  unsigned long __cil_tmp18 ;
1987  int __cil_tmp19 ;
1988  unsigned long __cil_tmp20 ;
1989  unsigned long __cil_tmp21 ;
1990  unsigned long __cil_tmp22 ;
1991  int __cil_tmp23 ;
1992  int __cil_tmp24 ;
1993  unsigned long __cil_tmp25 ;
1994  unsigned long __cil_tmp26 ;
1995  unsigned long __cil_tmp27 ;
1996  unsigned long __cil_tmp28 ;
1997  int __cil_tmp29 ;
1998  unsigned long __cil_tmp30 ;
1999  unsigned char __cil_tmp31 ;
2000  unsigned long __cil_tmp32 ;
2001  unsigned long __cil_tmp33 ;
2002  int __cil_tmp34 ;
2003  unsigned long __cil_tmp35 ;
2004  unsigned long __cil_tmp36 ;
2005  unsigned long __cil_tmp37 ;
2006  unsigned long __cil_tmp38 ;
2007  int __cil_tmp39 ;
2008  unsigned long __cil_tmp40 ;
2009  unsigned long __cil_tmp41 ;
2010  unsigned long __cil_tmp42 ;
2011  int __cil_tmp43 ;
2012  int __cil_tmp44 ;
2013  unsigned long __cil_tmp45 ;
2014  unsigned long __cil_tmp46 ;
2015  unsigned long __cil_tmp47 ;
2016  unsigned long __cil_tmp48 ;
2017  int __cil_tmp49 ;
2018  unsigned long __cil_tmp50 ;
2019  unsigned long __cil_tmp51 ;
2020  unsigned long __cil_tmp52 ;
2021  int __cil_tmp53 ;
2022  int __cil_tmp54 ;
2023  unsigned long __cil_tmp55 ;
2024  unsigned long __cil_tmp56 ;
2025  unsigned long __cil_tmp57 ;
2026  unsigned long __cil_tmp58 ;
2027  int __cil_tmp59 ;
2028  unsigned long __cil_tmp60 ;
2029  unsigned char __cil_tmp61 ;
2030  unsigned long __cil_tmp62 ;
2031  unsigned long __cil_tmp63 ;
2032  int __cil_tmp64 ;
2033  int __cil_tmp65 ;
2034  unsigned long __cil_tmp66 ;
2035  unsigned long __cil_tmp67 ;
2036  unsigned long __cil_tmp68 ;
2037  unsigned long __cil_tmp69 ;
2038  int __cil_tmp70 ;
2039  unsigned long __cil_tmp71 ;
2040  unsigned char __cil_tmp72 ;
2041  unsigned long __cil_tmp73 ;
2042  unsigned long __cil_tmp74 ;
2043  int __cil_tmp75 ;
2044  int __cil_tmp76 ;
2045  unsigned long __cil_tmp77 ;
2046  unsigned long __cil_tmp78 ;
2047  unsigned long __cil_tmp79 ;
2048  unsigned long __cil_tmp80 ;
2049  int __cil_tmp81 ;
2050  unsigned long __cil_tmp82 ;
2051  unsigned long __cil_tmp83 ;
2052  unsigned long __cil_tmp84 ;
2053  int __cil_tmp85 ;
2054  int __cil_tmp86 ;
2055  unsigned long __cil_tmp87 ;
2056  unsigned long __cil_tmp88 ;
2057  unsigned long __cil_tmp89 ;
2058  unsigned long __cil_tmp90 ;
2059  int __cil_tmp91 ;
2060  unsigned long __cil_tmp92 ;
2061
2062  {
2063#line 87
2064  __cil_tmp6 = cont * 4UL;
2065#line 87
2066  __cil_tmp7 = (unsigned long )(cont_map) + __cil_tmp6;
2067#line 87
2068  __cil_tmp8 = *((int *)__cil_tmp7);
2069#line 87
2070  regr = regr + __cil_tmp8;
2071  {
2072#line 89
2073  __cil_tmp9 = (unsigned long )pi;
2074#line 89
2075  __cil_tmp10 = __cil_tmp9 + 12;
2076#line 91
2077  if (*((int *)__cil_tmp10) == 0) {
2078#line 91
2079    goto case_0;
2080  } else
2081#line 92
2082  if (*((int *)__cil_tmp10) == 1) {
2083#line 92
2084    goto case_0;
2085  } else
2086#line 93
2087  if (*((int *)__cil_tmp10) == 2) {
2088#line 93
2089    goto case_0;
2090  } else
2091#line 97
2092  if (*((int *)__cil_tmp10) == 3) {
2093#line 97
2094    goto case_3;
2095  } else
2096#line 98
2097  if (*((int *)__cil_tmp10) == 4) {
2098#line 98
2099    goto case_3;
2100  } else
2101#line 99
2102  if (*((int *)__cil_tmp10) == 5) {
2103#line 99
2104    goto case_3;
2105  } else
2106#line 89
2107  if (0) {
2108    case_0: /* CIL Label */ 
2109    case_1: /* CIL Label */ 
2110    case_2: /* CIL Label */ 
2111    {
2112#line 93
2113    r = regr ^ 25;
2114#line 94
2115    __cil_tmp11 = (unsigned char )r;
2116#line 94
2117    __cil_tmp12 = (unsigned long )pi;
2118#line 94
2119    __cil_tmp13 = __cil_tmp12 + 8;
2120#line 94
2121    __cil_tmp14 = *((int *)__cil_tmp13);
2122#line 94
2123    outb(__cil_tmp11, __cil_tmp14);
2124    }
2125    {
2126#line 94
2127    __cil_tmp15 = (unsigned long )pi;
2128#line 94
2129    __cil_tmp16 = __cil_tmp15 + 16;
2130#line 94
2131    if (*((int *)__cil_tmp16)) {
2132      {
2133#line 94
2134      __cil_tmp17 = (unsigned long )pi;
2135#line 94
2136      __cil_tmp18 = __cil_tmp17 + 16;
2137#line 94
2138      __cil_tmp19 = *((int *)__cil_tmp18);
2139#line 94
2140      __cil_tmp20 = (unsigned long )__cil_tmp19;
2141#line 94
2142      __udelay(__cil_tmp20);
2143      }
2144    } else {
2145
2146    }
2147    }
2148    {
2149#line 94
2150    __cil_tmp21 = (unsigned long )pi;
2151#line 94
2152    __cil_tmp22 = __cil_tmp21 + 8;
2153#line 94
2154    __cil_tmp23 = *((int *)__cil_tmp22);
2155#line 94
2156    __cil_tmp24 = __cil_tmp23 + 2;
2157#line 94
2158    outb((unsigned char)1, __cil_tmp24);
2159    }
2160    {
2161#line 94
2162    __cil_tmp25 = (unsigned long )pi;
2163#line 94
2164    __cil_tmp26 = __cil_tmp25 + 16;
2165#line 94
2166    if (*((int *)__cil_tmp26)) {
2167      {
2168#line 94
2169      __cil_tmp27 = (unsigned long )pi;
2170#line 94
2171      __cil_tmp28 = __cil_tmp27 + 16;
2172#line 94
2173      __cil_tmp29 = *((int *)__cil_tmp28);
2174#line 94
2175      __cil_tmp30 = (unsigned long )__cil_tmp29;
2176#line 94
2177      __udelay(__cil_tmp30);
2178      }
2179    } else {
2180
2181    }
2182    }
2183    {
2184#line 94
2185    __cil_tmp31 = (unsigned char )val;
2186#line 94
2187    __cil_tmp32 = (unsigned long )pi;
2188#line 94
2189    __cil_tmp33 = __cil_tmp32 + 8;
2190#line 94
2191    __cil_tmp34 = *((int *)__cil_tmp33);
2192#line 94
2193    outb(__cil_tmp31, __cil_tmp34);
2194    }
2195    {
2196#line 94
2197    __cil_tmp35 = (unsigned long )pi;
2198#line 94
2199    __cil_tmp36 = __cil_tmp35 + 16;
2200#line 94
2201    if (*((int *)__cil_tmp36)) {
2202      {
2203#line 94
2204      __cil_tmp37 = (unsigned long )pi;
2205#line 94
2206      __cil_tmp38 = __cil_tmp37 + 16;
2207#line 94
2208      __cil_tmp39 = *((int *)__cil_tmp38);
2209#line 94
2210      __cil_tmp40 = (unsigned long )__cil_tmp39;
2211#line 94
2212      __udelay(__cil_tmp40);
2213      }
2214    } else {
2215
2216    }
2217    }
2218    {
2219#line 94
2220    __cil_tmp41 = (unsigned long )pi;
2221#line 94
2222    __cil_tmp42 = __cil_tmp41 + 8;
2223#line 94
2224    __cil_tmp43 = *((int *)__cil_tmp42);
2225#line 94
2226    __cil_tmp44 = __cil_tmp43 + 2;
2227#line 94
2228    outb((unsigned char)3, __cil_tmp44);
2229    }
2230    {
2231#line 94
2232    __cil_tmp45 = (unsigned long )pi;
2233#line 94
2234    __cil_tmp46 = __cil_tmp45 + 16;
2235#line 94
2236    if (*((int *)__cil_tmp46)) {
2237      {
2238#line 94
2239      __cil_tmp47 = (unsigned long )pi;
2240#line 94
2241      __cil_tmp48 = __cil_tmp47 + 16;
2242#line 94
2243      __cil_tmp49 = *((int *)__cil_tmp48);
2244#line 94
2245      __cil_tmp50 = (unsigned long )__cil_tmp49;
2246#line 94
2247      __udelay(__cil_tmp50);
2248      }
2249    } else {
2250
2251    }
2252    }
2253    {
2254#line 94
2255    __cil_tmp51 = (unsigned long )pi;
2256#line 94
2257    __cil_tmp52 = __cil_tmp51 + 8;
2258#line 94
2259    __cil_tmp53 = *((int *)__cil_tmp52);
2260#line 94
2261    __cil_tmp54 = __cil_tmp53 + 2;
2262#line 94
2263    outb((unsigned char)4, __cil_tmp54);
2264    }
2265    {
2266#line 94
2267    __cil_tmp55 = (unsigned long )pi;
2268#line 94
2269    __cil_tmp56 = __cil_tmp55 + 16;
2270#line 94
2271    if (*((int *)__cil_tmp56)) {
2272      {
2273#line 94
2274      __cil_tmp57 = (unsigned long )pi;
2275#line 94
2276      __cil_tmp58 = __cil_tmp57 + 16;
2277#line 94
2278      __cil_tmp59 = *((int *)__cil_tmp58);
2279#line 94
2280      __cil_tmp60 = (unsigned long )__cil_tmp59;
2281#line 94
2282      __udelay(__cil_tmp60);
2283      }
2284    } else {
2285
2286    }
2287    }
2288#line 95
2289    goto switch_break;
2290    case_3: /* CIL Label */ 
2291    case_4: /* CIL Label */ 
2292    case_5: /* CIL Label */ 
2293    {
2294#line 99
2295    r = regr ^ 64;
2296#line 100
2297    __cil_tmp61 = (unsigned char )r;
2298#line 100
2299    __cil_tmp62 = (unsigned long )pi;
2300#line 100
2301    __cil_tmp63 = __cil_tmp62 + 8;
2302#line 100
2303    __cil_tmp64 = *((int *)__cil_tmp63);
2304#line 100
2305    __cil_tmp65 = __cil_tmp64 + 3;
2306#line 100
2307    outb(__cil_tmp61, __cil_tmp65);
2308    }
2309    {
2310#line 100
2311    __cil_tmp66 = (unsigned long )pi;
2312#line 100
2313    __cil_tmp67 = __cil_tmp66 + 16;
2314#line 100
2315    if (*((int *)__cil_tmp67)) {
2316      {
2317#line 100
2318      __cil_tmp68 = (unsigned long )pi;
2319#line 100
2320      __cil_tmp69 = __cil_tmp68 + 16;
2321#line 100
2322      __cil_tmp70 = *((int *)__cil_tmp69);
2323#line 100
2324      __cil_tmp71 = (unsigned long )__cil_tmp70;
2325#line 100
2326      __udelay(__cil_tmp71);
2327      }
2328    } else {
2329
2330    }
2331    }
2332    {
2333#line 100
2334    __cil_tmp72 = (unsigned char )val;
2335#line 100
2336    __cil_tmp73 = (unsigned long )pi;
2337#line 100
2338    __cil_tmp74 = __cil_tmp73 + 8;
2339#line 100
2340    __cil_tmp75 = *((int *)__cil_tmp74);
2341#line 100
2342    __cil_tmp76 = __cil_tmp75 + 4;
2343#line 100
2344    outb(__cil_tmp72, __cil_tmp76);
2345    }
2346    {
2347#line 100
2348    __cil_tmp77 = (unsigned long )pi;
2349#line 100
2350    __cil_tmp78 = __cil_tmp77 + 16;
2351#line 100
2352    if (*((int *)__cil_tmp78)) {
2353      {
2354#line 100
2355      __cil_tmp79 = (unsigned long )pi;
2356#line 100
2357      __cil_tmp80 = __cil_tmp79 + 16;
2358#line 100
2359      __cil_tmp81 = *((int *)__cil_tmp80);
2360#line 100
2361      __cil_tmp82 = (unsigned long )__cil_tmp81;
2362#line 100
2363      __udelay(__cil_tmp82);
2364      }
2365    } else {
2366
2367    }
2368    }
2369    {
2370#line 100
2371    __cil_tmp83 = (unsigned long )pi;
2372#line 100
2373    __cil_tmp84 = __cil_tmp83 + 8;
2374#line 100
2375    __cil_tmp85 = *((int *)__cil_tmp84);
2376#line 100
2377    __cil_tmp86 = __cil_tmp85 + 2;
2378#line 100
2379    outb((unsigned char)4, __cil_tmp86);
2380    }
2381    {
2382#line 100
2383    __cil_tmp87 = (unsigned long )pi;
2384#line 100
2385    __cil_tmp88 = __cil_tmp87 + 16;
2386#line 100
2387    if (*((int *)__cil_tmp88)) {
2388      {
2389#line 100
2390      __cil_tmp89 = (unsigned long )pi;
2391#line 100
2392      __cil_tmp90 = __cil_tmp89 + 16;
2393#line 100
2394      __cil_tmp91 = *((int *)__cil_tmp90);
2395#line 100
2396      __cil_tmp92 = (unsigned long )__cil_tmp91;
2397#line 100
2398      __udelay(__cil_tmp92);
2399      }
2400    } else {
2401
2402    }
2403    }
2404#line 101
2405    goto switch_break;
2406  } else {
2407    switch_break: /* CIL Label */ ;
2408  }
2409  }
2410#line 103
2411  return;
2412}
2413}
2414#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
2415static void epia_connect(PIA *pi ) 
2416{ unsigned char tmp ;
2417  unsigned char tmp___0 ;
2418  unsigned long __cil_tmp4 ;
2419  unsigned long __cil_tmp5 ;
2420  unsigned long __cil_tmp6 ;
2421  unsigned long __cil_tmp7 ;
2422  int __cil_tmp8 ;
2423  unsigned long __cil_tmp9 ;
2424  unsigned long __cil_tmp10 ;
2425  unsigned long __cil_tmp11 ;
2426  int __cil_tmp12 ;
2427  unsigned long __cil_tmp13 ;
2428  unsigned long __cil_tmp14 ;
2429  int __cil_tmp15 ;
2430  unsigned long __cil_tmp16 ;
2431  unsigned long __cil_tmp17 ;
2432  unsigned long __cil_tmp18 ;
2433  unsigned long __cil_tmp19 ;
2434  int __cil_tmp20 ;
2435  unsigned long __cil_tmp21 ;
2436  unsigned long __cil_tmp22 ;
2437  unsigned long __cil_tmp23 ;
2438  int __cil_tmp24 ;
2439  int __cil_tmp25 ;
2440  unsigned long __cil_tmp26 ;
2441  unsigned long __cil_tmp27 ;
2442  int __cil_tmp28 ;
2443  unsigned long __cil_tmp29 ;
2444  unsigned long __cil_tmp30 ;
2445  int __cil_tmp31 ;
2446  int __cil_tmp32 ;
2447  unsigned long __cil_tmp33 ;
2448  unsigned long __cil_tmp34 ;
2449  unsigned long __cil_tmp35 ;
2450  unsigned long __cil_tmp36 ;
2451  int __cil_tmp37 ;
2452  unsigned long __cil_tmp38 ;
2453  unsigned long __cil_tmp39 ;
2454  unsigned long __cil_tmp40 ;
2455  int __cil_tmp41 ;
2456  unsigned long __cil_tmp42 ;
2457  unsigned long __cil_tmp43 ;
2458  unsigned long __cil_tmp44 ;
2459  unsigned long __cil_tmp45 ;
2460  int __cil_tmp46 ;
2461  unsigned long __cil_tmp47 ;
2462  unsigned long __cil_tmp48 ;
2463  unsigned long __cil_tmp49 ;
2464  int __cil_tmp50 ;
2465  unsigned long __cil_tmp51 ;
2466  unsigned long __cil_tmp52 ;
2467  unsigned long __cil_tmp53 ;
2468  unsigned long __cil_tmp54 ;
2469  int __cil_tmp55 ;
2470  unsigned long __cil_tmp56 ;
2471  unsigned long __cil_tmp57 ;
2472  unsigned long __cil_tmp58 ;
2473  int __cil_tmp59 ;
2474  unsigned long __cil_tmp60 ;
2475  unsigned long __cil_tmp61 ;
2476  unsigned long __cil_tmp62 ;
2477  unsigned long __cil_tmp63 ;
2478  int __cil_tmp64 ;
2479  unsigned long __cil_tmp65 ;
2480  unsigned long __cil_tmp66 ;
2481  unsigned long __cil_tmp67 ;
2482  int __cil_tmp68 ;
2483  unsigned long __cil_tmp69 ;
2484  unsigned long __cil_tmp70 ;
2485  unsigned long __cil_tmp71 ;
2486  unsigned long __cil_tmp72 ;
2487  int __cil_tmp73 ;
2488  unsigned long __cil_tmp74 ;
2489  unsigned long __cil_tmp75 ;
2490  unsigned long __cil_tmp76 ;
2491  int __cil_tmp77 ;
2492  unsigned long __cil_tmp78 ;
2493  unsigned long __cil_tmp79 ;
2494  unsigned long __cil_tmp80 ;
2495  unsigned long __cil_tmp81 ;
2496  int __cil_tmp82 ;
2497  unsigned long __cil_tmp83 ;
2498  unsigned long __cil_tmp84 ;
2499  unsigned long __cil_tmp85 ;
2500  int __cil_tmp86 ;
2501  unsigned long __cil_tmp87 ;
2502  unsigned long __cil_tmp88 ;
2503  unsigned long __cil_tmp89 ;
2504  unsigned long __cil_tmp90 ;
2505  int __cil_tmp91 ;
2506  unsigned long __cil_tmp92 ;
2507  unsigned long __cil_tmp93 ;
2508  unsigned long __cil_tmp94 ;
2509  int __cil_tmp95 ;
2510  int __cil_tmp96 ;
2511  unsigned long __cil_tmp97 ;
2512  unsigned long __cil_tmp98 ;
2513  unsigned long __cil_tmp99 ;
2514  unsigned long __cil_tmp100 ;
2515  int __cil_tmp101 ;
2516  unsigned long __cil_tmp102 ;
2517  unsigned long __cil_tmp103 ;
2518  unsigned long __cil_tmp104 ;
2519  int __cil_tmp105 ;
2520  int __cil_tmp106 ;
2521  unsigned long __cil_tmp107 ;
2522  unsigned long __cil_tmp108 ;
2523  unsigned long __cil_tmp109 ;
2524  unsigned long __cil_tmp110 ;
2525  int __cil_tmp111 ;
2526  unsigned long __cil_tmp112 ;
2527  unsigned long __cil_tmp113 ;
2528  unsigned long __cil_tmp114 ;
2529  int __cil_tmp115 ;
2530  unsigned long __cil_tmp116 ;
2531  unsigned long __cil_tmp117 ;
2532  int __cil_tmp118 ;
2533  unsigned long __cil_tmp119 ;
2534  unsigned long __cil_tmp120 ;
2535  unsigned long __cil_tmp121 ;
2536  unsigned long __cil_tmp122 ;
2537  int __cil_tmp123 ;
2538  unsigned long __cil_tmp124 ;
2539  unsigned long __cil_tmp125 ;
2540  unsigned long __cil_tmp126 ;
2541  int __cil_tmp127 ;
2542  int __cil_tmp128 ;
2543  unsigned long __cil_tmp129 ;
2544  unsigned long __cil_tmp130 ;
2545  unsigned long __cil_tmp131 ;
2546  unsigned long __cil_tmp132 ;
2547  int __cil_tmp133 ;
2548  unsigned long __cil_tmp134 ;
2549  unsigned long __cil_tmp135 ;
2550  unsigned long __cil_tmp136 ;
2551  int __cil_tmp137 ;
2552  int __cil_tmp138 ;
2553  unsigned long __cil_tmp139 ;
2554  unsigned long __cil_tmp140 ;
2555  unsigned long __cil_tmp141 ;
2556  unsigned long __cil_tmp142 ;
2557  int __cil_tmp143 ;
2558  unsigned long __cil_tmp144 ;
2559  unsigned long __cil_tmp145 ;
2560  unsigned long __cil_tmp146 ;
2561  int __cil_tmp147 ;
2562  unsigned long __cil_tmp148 ;
2563  unsigned long __cil_tmp149 ;
2564  unsigned long __cil_tmp150 ;
2565  unsigned long __cil_tmp151 ;
2566  int __cil_tmp152 ;
2567  unsigned long __cil_tmp153 ;
2568  unsigned long __cil_tmp154 ;
2569  unsigned long __cil_tmp155 ;
2570  int __cil_tmp156 ;
2571  int __cil_tmp157 ;
2572  unsigned long __cil_tmp158 ;
2573  unsigned long __cil_tmp159 ;
2574  unsigned long __cil_tmp160 ;
2575  unsigned long __cil_tmp161 ;
2576  int __cil_tmp162 ;
2577  unsigned long __cil_tmp163 ;
2578  unsigned long __cil_tmp164 ;
2579  unsigned long __cil_tmp165 ;
2580  int __cil_tmp166 ;
2581  int __cil_tmp167 ;
2582  unsigned long __cil_tmp168 ;
2583  unsigned long __cil_tmp169 ;
2584  unsigned long __cil_tmp170 ;
2585  unsigned long __cil_tmp171 ;
2586  int __cil_tmp172 ;
2587  unsigned long __cil_tmp173 ;
2588  unsigned long __cil_tmp174 ;
2589  unsigned long __cil_tmp175 ;
2590  int __cil_tmp176 ;
2591  int __cil_tmp177 ;
2592  unsigned long __cil_tmp178 ;
2593  unsigned long __cil_tmp179 ;
2594  unsigned long __cil_tmp180 ;
2595  unsigned long __cil_tmp181 ;
2596  int __cil_tmp182 ;
2597  unsigned long __cil_tmp183 ;
2598  unsigned long __cil_tmp184 ;
2599  unsigned long __cil_tmp185 ;
2600  int __cil_tmp186 ;
2601  int __cil_tmp187 ;
2602  unsigned long __cil_tmp188 ;
2603  unsigned long __cil_tmp189 ;
2604  unsigned long __cil_tmp190 ;
2605  unsigned long __cil_tmp191 ;
2606  int __cil_tmp192 ;
2607  unsigned long __cil_tmp193 ;
2608  unsigned long __cil_tmp194 ;
2609  unsigned long __cil_tmp195 ;
2610  int __cil_tmp196 ;
2611  int __cil_tmp197 ;
2612  unsigned long __cil_tmp198 ;
2613  unsigned long __cil_tmp199 ;
2614  unsigned long __cil_tmp200 ;
2615  unsigned long __cil_tmp201 ;
2616  int __cil_tmp202 ;
2617  unsigned long __cil_tmp203 ;
2618  unsigned long __cil_tmp204 ;
2619  unsigned long __cil_tmp205 ;
2620  int __cil_tmp206 ;
2621  int __cil_tmp207 ;
2622  unsigned long __cil_tmp208 ;
2623  unsigned long __cil_tmp209 ;
2624  unsigned long __cil_tmp210 ;
2625  unsigned long __cil_tmp211 ;
2626  int __cil_tmp212 ;
2627  unsigned long __cil_tmp213 ;
2628
2629  {
2630  {
2631#line 116
2632  __cil_tmp4 = (unsigned long )pi;
2633#line 116
2634  __cil_tmp5 = __cil_tmp4 + 16;
2635#line 116
2636  if (*((int *)__cil_tmp5)) {
2637    {
2638#line 116
2639    __cil_tmp6 = (unsigned long )pi;
2640#line 116
2641    __cil_tmp7 = __cil_tmp6 + 16;
2642#line 116
2643    __cil_tmp8 = *((int *)__cil_tmp7);
2644#line 116
2645    __cil_tmp9 = (unsigned long )__cil_tmp8;
2646#line 116
2647    __udelay(__cil_tmp9);
2648    }
2649  } else {
2650
2651  }
2652  }
2653  {
2654#line 116
2655  __cil_tmp10 = (unsigned long )pi;
2656#line 116
2657  __cil_tmp11 = __cil_tmp10 + 8;
2658#line 116
2659  __cil_tmp12 = *((int *)__cil_tmp11);
2660#line 116
2661  tmp = inb(__cil_tmp12);
2662#line 116
2663  __cil_tmp13 = (unsigned long )pi;
2664#line 116
2665  __cil_tmp14 = __cil_tmp13 + 36;
2666#line 116
2667  __cil_tmp15 = (int )tmp;
2668#line 116
2669  *((int *)__cil_tmp14) = __cil_tmp15 & 255;
2670  }
2671  {
2672#line 117
2673  __cil_tmp16 = (unsigned long )pi;
2674#line 117
2675  __cil_tmp17 = __cil_tmp16 + 16;
2676#line 117
2677  if (*((int *)__cil_tmp17)) {
2678    {
2679#line 117
2680    __cil_tmp18 = (unsigned long )pi;
2681#line 117
2682    __cil_tmp19 = __cil_tmp18 + 16;
2683#line 117
2684    __cil_tmp20 = *((int *)__cil_tmp19);
2685#line 117
2686    __cil_tmp21 = (unsigned long )__cil_tmp20;
2687#line 117
2688    __udelay(__cil_tmp21);
2689    }
2690  } else {
2691
2692  }
2693  }
2694  {
2695#line 117
2696  __cil_tmp22 = (unsigned long )pi;
2697#line 117
2698  __cil_tmp23 = __cil_tmp22 + 8;
2699#line 117
2700  __cil_tmp24 = *((int *)__cil_tmp23);
2701#line 117
2702  __cil_tmp25 = __cil_tmp24 + 2;
2703#line 117
2704  tmp___0 = inb(__cil_tmp25);
2705#line 117
2706  __cil_tmp26 = (unsigned long )pi;
2707#line 117
2708  __cil_tmp27 = __cil_tmp26 + 40;
2709#line 117
2710  __cil_tmp28 = (int )tmp___0;
2711#line 117
2712  *((int *)__cil_tmp27) = __cil_tmp28 & 255;
2713#line 119
2714  __cil_tmp29 = (unsigned long )pi;
2715#line 119
2716  __cil_tmp30 = __cil_tmp29 + 8;
2717#line 119
2718  __cil_tmp31 = *((int *)__cil_tmp30);
2719#line 119
2720  __cil_tmp32 = __cil_tmp31 + 2;
2721#line 119
2722  outb((unsigned char)4, __cil_tmp32);
2723  }
2724  {
2725#line 119
2726  __cil_tmp33 = (unsigned long )pi;
2727#line 119
2728  __cil_tmp34 = __cil_tmp33 + 16;
2729#line 119
2730  if (*((int *)__cil_tmp34)) {
2731    {
2732#line 119
2733    __cil_tmp35 = (unsigned long )pi;
2734#line 119
2735    __cil_tmp36 = __cil_tmp35 + 16;
2736#line 119
2737    __cil_tmp37 = *((int *)__cil_tmp36);
2738#line 119
2739    __cil_tmp38 = (unsigned long )__cil_tmp37;
2740#line 119
2741    __udelay(__cil_tmp38);
2742    }
2743  } else {
2744
2745  }
2746  }
2747  {
2748#line 119
2749  __cil_tmp39 = (unsigned long )pi;
2750#line 119
2751  __cil_tmp40 = __cil_tmp39 + 8;
2752#line 119
2753  __cil_tmp41 = *((int *)__cil_tmp40);
2754#line 119
2755  outb((unsigned char)160, __cil_tmp41);
2756  }
2757  {
2758#line 119
2759  __cil_tmp42 = (unsigned long )pi;
2760#line 119
2761  __cil_tmp43 = __cil_tmp42 + 16;
2762#line 119
2763  if (*((int *)__cil_tmp43)) {
2764    {
2765#line 119
2766    __cil_tmp44 = (unsigned long )pi;
2767#line 119
2768    __cil_tmp45 = __cil_tmp44 + 16;
2769#line 119
2770    __cil_tmp46 = *((int *)__cil_tmp45);
2771#line 119
2772    __cil_tmp47 = (unsigned long )__cil_tmp46;
2773#line 119
2774    __udelay(__cil_tmp47);
2775    }
2776  } else {
2777
2778  }
2779  }
2780  {
2781#line 119
2782  __cil_tmp48 = (unsigned long )pi;
2783#line 119
2784  __cil_tmp49 = __cil_tmp48 + 8;
2785#line 119
2786  __cil_tmp50 = *((int *)__cil_tmp49);
2787#line 119
2788  outb((unsigned char)80, __cil_tmp50);
2789  }
2790  {
2791#line 119
2792  __cil_tmp51 = (unsigned long )pi;
2793#line 119
2794  __cil_tmp52 = __cil_tmp51 + 16;
2795#line 119
2796  if (*((int *)__cil_tmp52)) {
2797    {
2798#line 119
2799    __cil_tmp53 = (unsigned long )pi;
2800#line 119
2801    __cil_tmp54 = __cil_tmp53 + 16;
2802#line 119
2803    __cil_tmp55 = *((int *)__cil_tmp54);
2804#line 119
2805    __cil_tmp56 = (unsigned long )__cil_tmp55;
2806#line 119
2807    __udelay(__cil_tmp56);
2808    }
2809  } else {
2810
2811  }
2812  }
2813  {
2814#line 119
2815  __cil_tmp57 = (unsigned long )pi;
2816#line 119
2817  __cil_tmp58 = __cil_tmp57 + 8;
2818#line 119
2819  __cil_tmp59 = *((int *)__cil_tmp58);
2820#line 119
2821  outb((unsigned char)192, __cil_tmp59);
2822  }
2823  {
2824#line 119
2825  __cil_tmp60 = (unsigned long )pi;
2826#line 119
2827  __cil_tmp61 = __cil_tmp60 + 16;
2828#line 119
2829  if (*((int *)__cil_tmp61)) {
2830    {
2831#line 119
2832    __cil_tmp62 = (unsigned long )pi;
2833#line 119
2834    __cil_tmp63 = __cil_tmp62 + 16;
2835#line 119
2836    __cil_tmp64 = *((int *)__cil_tmp63);
2837#line 119
2838    __cil_tmp65 = (unsigned long )__cil_tmp64;
2839#line 119
2840    __udelay(__cil_tmp65);
2841    }
2842  } else {
2843
2844  }
2845  }
2846  {
2847#line 119
2848  __cil_tmp66 = (unsigned long )pi;
2849#line 119
2850  __cil_tmp67 = __cil_tmp66 + 8;
2851#line 119
2852  __cil_tmp68 = *((int *)__cil_tmp67);
2853#line 119
2854  outb((unsigned char)48, __cil_tmp68);
2855  }
2856  {
2857#line 119
2858  __cil_tmp69 = (unsigned long )pi;
2859#line 119
2860  __cil_tmp70 = __cil_tmp69 + 16;
2861#line 119
2862  if (*((int *)__cil_tmp70)) {
2863    {
2864#line 119
2865    __cil_tmp71 = (unsigned long )pi;
2866#line 119
2867    __cil_tmp72 = __cil_tmp71 + 16;
2868#line 119
2869    __cil_tmp73 = *((int *)__cil_tmp72);
2870#line 119
2871    __cil_tmp74 = (unsigned long )__cil_tmp73;
2872#line 119
2873    __udelay(__cil_tmp74);
2874    }
2875  } else {
2876
2877  }
2878  }
2879  {
2880#line 119
2881  __cil_tmp75 = (unsigned long )pi;
2882#line 119
2883  __cil_tmp76 = __cil_tmp75 + 8;
2884#line 119
2885  __cil_tmp77 = *((int *)__cil_tmp76);
2886#line 119
2887  outb((unsigned char)160, __cil_tmp77);
2888  }
2889  {
2890#line 119
2891  __cil_tmp78 = (unsigned long )pi;
2892#line 119
2893  __cil_tmp79 = __cil_tmp78 + 16;
2894#line 119
2895  if (*((int *)__cil_tmp79)) {
2896    {
2897#line 119
2898    __cil_tmp80 = (unsigned long )pi;
2899#line 119
2900    __cil_tmp81 = __cil_tmp80 + 16;
2901#line 119
2902    __cil_tmp82 = *((int *)__cil_tmp81);
2903#line 119
2904    __cil_tmp83 = (unsigned long )__cil_tmp82;
2905#line 119
2906    __udelay(__cil_tmp83);
2907    }
2908  } else {
2909
2910  }
2911  }
2912  {
2913#line 119
2914  __cil_tmp84 = (unsigned long )pi;
2915#line 119
2916  __cil_tmp85 = __cil_tmp84 + 8;
2917#line 119
2918  __cil_tmp86 = *((int *)__cil_tmp85);
2919#line 119
2920  outb((unsigned char)0, __cil_tmp86);
2921  }
2922  {
2923#line 119
2924  __cil_tmp87 = (unsigned long )pi;
2925#line 119
2926  __cil_tmp88 = __cil_tmp87 + 16;
2927#line 119
2928  if (*((int *)__cil_tmp88)) {
2929    {
2930#line 119
2931    __cil_tmp89 = (unsigned long )pi;
2932#line 119
2933    __cil_tmp90 = __cil_tmp89 + 16;
2934#line 119
2935    __cil_tmp91 = *((int *)__cil_tmp90);
2936#line 119
2937    __cil_tmp92 = (unsigned long )__cil_tmp91;
2938#line 119
2939    __udelay(__cil_tmp92);
2940    }
2941  } else {
2942
2943  }
2944  }
2945  {
2946#line 120
2947  __cil_tmp93 = (unsigned long )pi;
2948#line 120
2949  __cil_tmp94 = __cil_tmp93 + 8;
2950#line 120
2951  __cil_tmp95 = *((int *)__cil_tmp94);
2952#line 120
2953  __cil_tmp96 = __cil_tmp95 + 2;
2954#line 120
2955  outb((unsigned char)1, __cil_tmp96);
2956  }
2957  {
2958#line 120
2959  __cil_tmp97 = (unsigned long )pi;
2960#line 120
2961  __cil_tmp98 = __cil_tmp97 + 16;
2962#line 120
2963  if (*((int *)__cil_tmp98)) {
2964    {
2965#line 120
2966    __cil_tmp99 = (unsigned long )pi;
2967#line 120
2968    __cil_tmp100 = __cil_tmp99 + 16;
2969#line 120
2970    __cil_tmp101 = *((int *)__cil_tmp100);
2971#line 120
2972    __cil_tmp102 = (unsigned long )__cil_tmp101;
2973#line 120
2974    __udelay(__cil_tmp102);
2975    }
2976  } else {
2977
2978  }
2979  }
2980  {
2981#line 120
2982  __cil_tmp103 = (unsigned long )pi;
2983#line 120
2984  __cil_tmp104 = __cil_tmp103 + 8;
2985#line 120
2986  __cil_tmp105 = *((int *)__cil_tmp104);
2987#line 120
2988  __cil_tmp106 = __cil_tmp105 + 2;
2989#line 120
2990  outb((unsigned char)4, __cil_tmp106);
2991  }
2992  {
2993#line 120
2994  __cil_tmp107 = (unsigned long )pi;
2995#line 120
2996  __cil_tmp108 = __cil_tmp107 + 16;
2997#line 120
2998  if (*((int *)__cil_tmp108)) {
2999    {
3000#line 120
3001    __cil_tmp109 = (unsigned long )pi;
3002#line 120
3003    __cil_tmp110 = __cil_tmp109 + 16;
3004#line 120
3005    __cil_tmp111 = *((int *)__cil_tmp110);
3006#line 120
3007    __cil_tmp112 = (unsigned long )__cil_tmp111;
3008#line 120
3009    __udelay(__cil_tmp112);
3010    }
3011  } else {
3012
3013  }
3014  }
3015  {
3016#line 121
3017  __cil_tmp113 = (unsigned long )pi;
3018#line 121
3019  __cil_tmp114 = __cil_tmp113 + 12;
3020#line 121
3021  __cil_tmp115 = *((int *)__cil_tmp114);
3022#line 121
3023  if (__cil_tmp115 >= 3) {
3024    {
3025#line 122
3026    __cil_tmp116 = (unsigned long )pi;
3027#line 122
3028    __cil_tmp117 = __cil_tmp116 + 8;
3029#line 122
3030    __cil_tmp118 = *((int *)__cil_tmp117);
3031#line 122
3032    outb((unsigned char)10, __cil_tmp118);
3033    }
3034    {
3035#line 122
3036    __cil_tmp119 = (unsigned long )pi;
3037#line 122
3038    __cil_tmp120 = __cil_tmp119 + 16;
3039#line 122
3040    if (*((int *)__cil_tmp120)) {
3041      {
3042#line 122
3043      __cil_tmp121 = (unsigned long )pi;
3044#line 122
3045      __cil_tmp122 = __cil_tmp121 + 16;
3046#line 122
3047      __cil_tmp123 = *((int *)__cil_tmp122);
3048#line 122
3049      __cil_tmp124 = (unsigned long )__cil_tmp123;
3050#line 122
3051      __udelay(__cil_tmp124);
3052      }
3053    } else {
3054
3055    }
3056    }
3057    {
3058#line 122
3059    __cil_tmp125 = (unsigned long )pi;
3060#line 122
3061    __cil_tmp126 = __cil_tmp125 + 8;
3062#line 122
3063    __cil_tmp127 = *((int *)__cil_tmp126);
3064#line 122
3065    __cil_tmp128 = __cil_tmp127 + 2;
3066#line 122
3067    outb((unsigned char)1, __cil_tmp128);
3068    }
3069    {
3070#line 122
3071    __cil_tmp129 = (unsigned long )pi;
3072#line 122
3073    __cil_tmp130 = __cil_tmp129 + 16;
3074#line 122
3075    if (*((int *)__cil_tmp130)) {
3076      {
3077#line 122
3078      __cil_tmp131 = (unsigned long )pi;
3079#line 122
3080      __cil_tmp132 = __cil_tmp131 + 16;
3081#line 122
3082      __cil_tmp133 = *((int *)__cil_tmp132);
3083#line 122
3084      __cil_tmp134 = (unsigned long )__cil_tmp133;
3085#line 122
3086      __udelay(__cil_tmp134);
3087      }
3088    } else {
3089
3090    }
3091    }
3092    {
3093#line 122
3094    __cil_tmp135 = (unsigned long )pi;
3095#line 122
3096    __cil_tmp136 = __cil_tmp135 + 8;
3097#line 122
3098    __cil_tmp137 = *((int *)__cil_tmp136);
3099#line 122
3100    __cil_tmp138 = __cil_tmp137 + 2;
3101#line 122
3102    outb((unsigned char)4, __cil_tmp138);
3103    }
3104    {
3105#line 122
3106    __cil_tmp139 = (unsigned long )pi;
3107#line 122
3108    __cil_tmp140 = __cil_tmp139 + 16;
3109#line 122
3110    if (*((int *)__cil_tmp140)) {
3111      {
3112#line 122
3113      __cil_tmp141 = (unsigned long )pi;
3114#line 122
3115      __cil_tmp142 = __cil_tmp141 + 16;
3116#line 122
3117      __cil_tmp143 = *((int *)__cil_tmp142);
3118#line 122
3119      __cil_tmp144 = (unsigned long )__cil_tmp143;
3120#line 122
3121      __udelay(__cil_tmp144);
3122      }
3123    } else {
3124
3125    }
3126    }
3127    {
3128#line 122
3129    __cil_tmp145 = (unsigned long )pi;
3130#line 122
3131    __cil_tmp146 = __cil_tmp145 + 8;
3132#line 122
3133    __cil_tmp147 = *((int *)__cil_tmp146);
3134#line 122
3135    outb((unsigned char)130, __cil_tmp147);
3136    }
3137    {
3138#line 122
3139    __cil_tmp148 = (unsigned long )pi;
3140#line 122
3141    __cil_tmp149 = __cil_tmp148 + 16;
3142#line 122
3143    if (*((int *)__cil_tmp149)) {
3144      {
3145#line 122
3146      __cil_tmp150 = (unsigned long )pi;
3147#line 122
3148      __cil_tmp151 = __cil_tmp150 + 16;
3149#line 122
3150      __cil_tmp152 = *((int *)__cil_tmp151);
3151#line 122
3152      __cil_tmp153 = (unsigned long )__cil_tmp152;
3153#line 122
3154      __udelay(__cil_tmp153);
3155      }
3156    } else {
3157
3158    }
3159    }
3160    {
3161#line 122
3162    __cil_tmp154 = (unsigned long )pi;
3163#line 122
3164    __cil_tmp155 = __cil_tmp154 + 8;
3165#line 122
3166    __cil_tmp156 = *((int *)__cil_tmp155);
3167#line 122
3168    __cil_tmp157 = __cil_tmp156 + 2;
3169#line 122
3170    outb((unsigned char)4, __cil_tmp157);
3171    }
3172    {
3173#line 122
3174    __cil_tmp158 = (unsigned long )pi;
3175#line 122
3176    __cil_tmp159 = __cil_tmp158 + 16;
3177#line 122
3178    if (*((int *)__cil_tmp159)) {
3179      {
3180#line 122
3181      __cil_tmp160 = (unsigned long )pi;
3182#line 122
3183      __cil_tmp161 = __cil_tmp160 + 16;
3184#line 122
3185      __cil_tmp162 = *((int *)__cil_tmp161);
3186#line 122
3187      __cil_tmp163 = (unsigned long )__cil_tmp162;
3188#line 122
3189      __udelay(__cil_tmp163);
3190      }
3191    } else {
3192
3193    }
3194    }
3195    {
3196#line 122
3197    __cil_tmp164 = (unsigned long )pi;
3198#line 122
3199    __cil_tmp165 = __cil_tmp164 + 8;
3200#line 122
3201    __cil_tmp166 = *((int *)__cil_tmp165);
3202#line 122
3203    __cil_tmp167 = __cil_tmp166 + 2;
3204#line 122
3205    outb((unsigned char)12, __cil_tmp167);
3206    }
3207    {
3208#line 122
3209    __cil_tmp168 = (unsigned long )pi;
3210#line 122
3211    __cil_tmp169 = __cil_tmp168 + 16;
3212#line 122
3213    if (*((int *)__cil_tmp169)) {
3214      {
3215#line 122
3216      __cil_tmp170 = (unsigned long )pi;
3217#line 122
3218      __cil_tmp171 = __cil_tmp170 + 16;
3219#line 122
3220      __cil_tmp172 = *((int *)__cil_tmp171);
3221#line 122
3222      __cil_tmp173 = (unsigned long )__cil_tmp172;
3223#line 122
3224      __udelay(__cil_tmp173);
3225      }
3226    } else {
3227
3228    }
3229    }
3230    {
3231#line 122
3232    __cil_tmp174 = (unsigned long )pi;
3233#line 122
3234    __cil_tmp175 = __cil_tmp174 + 8;
3235#line 122
3236    __cil_tmp176 = *((int *)__cil_tmp175);
3237#line 122
3238    __cil_tmp177 = __cil_tmp176 + 2;
3239#line 122
3240    outb((unsigned char)4, __cil_tmp177);
3241    }
3242    {
3243#line 122
3244    __cil_tmp178 = (unsigned long )pi;
3245#line 122
3246    __cil_tmp179 = __cil_tmp178 + 16;
3247#line 122
3248    if (*((int *)__cil_tmp179)) {
3249      {
3250#line 122
3251      __cil_tmp180 = (unsigned long )pi;
3252#line 122
3253      __cil_tmp181 = __cil_tmp180 + 16;
3254#line 122
3255      __cil_tmp182 = *((int *)__cil_tmp181);
3256#line 122
3257      __cil_tmp183 = (unsigned long )__cil_tmp182;
3258#line 122
3259      __udelay(__cil_tmp183);
3260      }
3261    } else {
3262
3263    }
3264    }
3265    {
3266#line 123
3267    __cil_tmp184 = (unsigned long )pi;
3268#line 123
3269    __cil_tmp185 = __cil_tmp184 + 8;
3270#line 123
3271    __cil_tmp186 = *((int *)__cil_tmp185);
3272#line 123
3273    __cil_tmp187 = __cil_tmp186 + 2;
3274#line 123
3275    outb((unsigned char)36, __cil_tmp187);
3276    }
3277    {
3278#line 123
3279    __cil_tmp188 = (unsigned long )pi;
3280#line 123
3281    __cil_tmp189 = __cil_tmp188 + 16;
3282#line 123
3283    if (*((int *)__cil_tmp189)) {
3284      {
3285#line 123
3286      __cil_tmp190 = (unsigned long )pi;
3287#line 123
3288      __cil_tmp191 = __cil_tmp190 + 16;
3289#line 123
3290      __cil_tmp192 = *((int *)__cil_tmp191);
3291#line 123
3292      __cil_tmp193 = (unsigned long )__cil_tmp192;
3293#line 123
3294      __udelay(__cil_tmp193);
3295      }
3296    } else {
3297
3298    }
3299    }
3300    {
3301#line 123
3302    __cil_tmp194 = (unsigned long )pi;
3303#line 123
3304    __cil_tmp195 = __cil_tmp194 + 8;
3305#line 123
3306    __cil_tmp196 = *((int *)__cil_tmp195);
3307#line 123
3308    __cil_tmp197 = __cil_tmp196 + 2;
3309#line 123
3310    outb((unsigned char)38, __cil_tmp197);
3311    }
3312    {
3313#line 123
3314    __cil_tmp198 = (unsigned long )pi;
3315#line 123
3316    __cil_tmp199 = __cil_tmp198 + 16;
3317#line 123
3318    if (*((int *)__cil_tmp199)) {
3319      {
3320#line 123
3321      __cil_tmp200 = (unsigned long )pi;
3322#line 123
3323      __cil_tmp201 = __cil_tmp200 + 16;
3324#line 123
3325      __cil_tmp202 = *((int *)__cil_tmp201);
3326#line 123
3327      __cil_tmp203 = (unsigned long )__cil_tmp202;
3328#line 123
3329      __udelay(__cil_tmp203);
3330      }
3331    } else {
3332
3333    }
3334    }
3335    {
3336#line 123
3337    __cil_tmp204 = (unsigned long )pi;
3338#line 123
3339    __cil_tmp205 = __cil_tmp204 + 8;
3340#line 123
3341    __cil_tmp206 = *((int *)__cil_tmp205);
3342#line 123
3343    __cil_tmp207 = __cil_tmp206 + 2;
3344#line 123
3345    outb((unsigned char)4, __cil_tmp207);
3346    }
3347    {
3348#line 123
3349    __cil_tmp208 = (unsigned long )pi;
3350#line 123
3351    __cil_tmp209 = __cil_tmp208 + 16;
3352#line 123
3353    if (*((int *)__cil_tmp209)) {
3354      {
3355#line 123
3356      __cil_tmp210 = (unsigned long )pi;
3357#line 123
3358      __cil_tmp211 = __cil_tmp210 + 16;
3359#line 123
3360      __cil_tmp212 = *((int *)__cil_tmp211);
3361#line 123
3362      __cil_tmp213 = (unsigned long )__cil_tmp212;
3363#line 123
3364      __udelay(__cil_tmp213);
3365      }
3366    } else {
3367
3368    }
3369    }
3370  } else {
3371
3372  }
3373  }
3374  {
3375#line 125
3376  epia_write_regr(pi, 0, 134, 8);
3377  }
3378#line 126
3379  return;
3380}
3381}
3382#line 128 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
3383static void epia_disconnect(PIA *pi ) 
3384{ unsigned long __cil_tmp2 ;
3385  unsigned long __cil_tmp3 ;
3386  int __cil_tmp4 ;
3387  unsigned char __cil_tmp5 ;
3388  unsigned long __cil_tmp6 ;
3389  unsigned long __cil_tmp7 ;
3390  int __cil_tmp8 ;
3391  unsigned long __cil_tmp9 ;
3392  unsigned long __cil_tmp10 ;
3393  unsigned long __cil_tmp11 ;
3394  unsigned long __cil_tmp12 ;
3395  int __cil_tmp13 ;
3396  unsigned long __cil_tmp14 ;
3397  unsigned long __cil_tmp15 ;
3398  unsigned long __cil_tmp16 ;
3399  int __cil_tmp17 ;
3400  int __cil_tmp18 ;
3401  unsigned long __cil_tmp19 ;
3402  unsigned long __cil_tmp20 ;
3403  unsigned long __cil_tmp21 ;
3404  unsigned long __cil_tmp22 ;
3405  int __cil_tmp23 ;
3406  unsigned long __cil_tmp24 ;
3407  unsigned long __cil_tmp25 ;
3408  unsigned long __cil_tmp26 ;
3409  int __cil_tmp27 ;
3410  int __cil_tmp28 ;
3411  unsigned long __cil_tmp29 ;
3412  unsigned long __cil_tmp30 ;
3413  unsigned long __cil_tmp31 ;
3414  unsigned long __cil_tmp32 ;
3415  int __cil_tmp33 ;
3416  unsigned long __cil_tmp34 ;
3417  unsigned long __cil_tmp35 ;
3418  unsigned long __cil_tmp36 ;
3419  int __cil_tmp37 ;
3420  unsigned char __cil_tmp38 ;
3421  unsigned long __cil_tmp39 ;
3422  unsigned long __cil_tmp40 ;
3423  int __cil_tmp41 ;
3424  unsigned long __cil_tmp42 ;
3425  unsigned long __cil_tmp43 ;
3426  unsigned long __cil_tmp44 ;
3427  unsigned long __cil_tmp45 ;
3428  int __cil_tmp46 ;
3429  unsigned long __cil_tmp47 ;
3430  unsigned long __cil_tmp48 ;
3431  unsigned long __cil_tmp49 ;
3432  int __cil_tmp50 ;
3433  unsigned char __cil_tmp51 ;
3434  unsigned long __cil_tmp52 ;
3435  unsigned long __cil_tmp53 ;
3436  int __cil_tmp54 ;
3437  int __cil_tmp55 ;
3438  unsigned long __cil_tmp56 ;
3439  unsigned long __cil_tmp57 ;
3440  unsigned long __cil_tmp58 ;
3441  unsigned long __cil_tmp59 ;
3442  int __cil_tmp60 ;
3443  unsigned long __cil_tmp61 ;
3444
3445  {
3446  {
3447#line 131
3448  __cil_tmp2 = (unsigned long )pi;
3449#line 131
3450  __cil_tmp3 = __cil_tmp2 + 36;
3451#line 131
3452  __cil_tmp4 = *((int *)__cil_tmp3);
3453#line 131
3454  __cil_tmp5 = (unsigned char )__cil_tmp4;
3455#line 131
3456  __cil_tmp6 = (unsigned long )pi;
3457#line 131
3458  __cil_tmp7 = __cil_tmp6 + 8;
3459#line 131
3460  __cil_tmp8 = *((int *)__cil_tmp7);
3461#line 131
3462  outb(__cil_tmp5, __cil_tmp8);
3463  }
3464  {
3465#line 131
3466  __cil_tmp9 = (unsigned long )pi;
3467#line 131
3468  __cil_tmp10 = __cil_tmp9 + 16;
3469#line 131
3470  if (*((int *)__cil_tmp10)) {
3471    {
3472#line 131
3473    __cil_tmp11 = (unsigned long )pi;
3474#line 131
3475    __cil_tmp12 = __cil_tmp11 + 16;
3476#line 131
3477    __cil_tmp13 = *((int *)__cil_tmp12);
3478#line 131
3479    __cil_tmp14 = (unsigned long )__cil_tmp13;
3480#line 131
3481    __udelay(__cil_tmp14);
3482    }
3483  } else {
3484
3485  }
3486  }
3487  {
3488#line 132
3489  __cil_tmp15 = (unsigned long )pi;
3490#line 132
3491  __cil_tmp16 = __cil_tmp15 + 8;
3492#line 132
3493  __cil_tmp17 = *((int *)__cil_tmp16);
3494#line 132
3495  __cil_tmp18 = __cil_tmp17 + 2;
3496#line 132
3497  outb((unsigned char)1, __cil_tmp18);
3498  }
3499  {
3500#line 132
3501  __cil_tmp19 = (unsigned long )pi;
3502#line 132
3503  __cil_tmp20 = __cil_tmp19 + 16;
3504#line 132
3505  if (*((int *)__cil_tmp20)) {
3506    {
3507#line 132
3508    __cil_tmp21 = (unsigned long )pi;
3509#line 132
3510    __cil_tmp22 = __cil_tmp21 + 16;
3511#line 132
3512    __cil_tmp23 = *((int *)__cil_tmp22);
3513#line 132
3514    __cil_tmp24 = (unsigned long )__cil_tmp23;
3515#line 132
3516    __udelay(__cil_tmp24);
3517    }
3518  } else {
3519
3520  }
3521  }
3522  {
3523#line 132
3524  __cil_tmp25 = (unsigned long )pi;
3525#line 132
3526  __cil_tmp26 = __cil_tmp25 + 8;
3527#line 132
3528  __cil_tmp27 = *((int *)__cil_tmp26);
3529#line 132
3530  __cil_tmp28 = __cil_tmp27 + 2;
3531#line 132
3532  outb((unsigned char)4, __cil_tmp28);
3533  }
3534  {
3535#line 132
3536  __cil_tmp29 = (unsigned long )pi;
3537#line 132
3538  __cil_tmp30 = __cil_tmp29 + 16;
3539#line 132
3540  if (*((int *)__cil_tmp30)) {
3541    {
3542#line 132
3543    __cil_tmp31 = (unsigned long )pi;
3544#line 132
3545    __cil_tmp32 = __cil_tmp31 + 16;
3546#line 132
3547    __cil_tmp33 = *((int *)__cil_tmp32);
3548#line 132
3549    __cil_tmp34 = (unsigned long )__cil_tmp33;
3550#line 132
3551    __udelay(__cil_tmp34);
3552    }
3553  } else {
3554
3555  }
3556  }
3557  {
3558#line 133
3559  __cil_tmp35 = (unsigned long )pi;
3560#line 133
3561  __cil_tmp36 = __cil_tmp35 + 36;
3562#line 133
3563  __cil_tmp37 = *((int *)__cil_tmp36);
3564#line 133
3565  __cil_tmp38 = (unsigned char )__cil_tmp37;
3566#line 133
3567  __cil_tmp39 = (unsigned long )pi;
3568#line 133
3569  __cil_tmp40 = __cil_tmp39 + 8;
3570#line 133
3571  __cil_tmp41 = *((int *)__cil_tmp40);
3572#line 133
3573  outb(__cil_tmp38, __cil_tmp41);
3574  }
3575  {
3576#line 133
3577  __cil_tmp42 = (unsigned long )pi;
3578#line 133
3579  __cil_tmp43 = __cil_tmp42 + 16;
3580#line 133
3581  if (*((int *)__cil_tmp43)) {
3582    {
3583#line 133
3584    __cil_tmp44 = (unsigned long )pi;
3585#line 133
3586    __cil_tmp45 = __cil_tmp44 + 16;
3587#line 133
3588    __cil_tmp46 = *((int *)__cil_tmp45);
3589#line 133
3590    __cil_tmp47 = (unsigned long )__cil_tmp46;
3591#line 133
3592    __udelay(__cil_tmp47);
3593    }
3594  } else {
3595
3596  }
3597  }
3598  {
3599#line 134
3600  __cil_tmp48 = (unsigned long )pi;
3601#line 134
3602  __cil_tmp49 = __cil_tmp48 + 40;
3603#line 134
3604  __cil_tmp50 = *((int *)__cil_tmp49);
3605#line 134
3606  __cil_tmp51 = (unsigned char )__cil_tmp50;
3607#line 134
3608  __cil_tmp52 = (unsigned long )pi;
3609#line 134
3610  __cil_tmp53 = __cil_tmp52 + 8;
3611#line 134
3612  __cil_tmp54 = *((int *)__cil_tmp53);
3613#line 134
3614  __cil_tmp55 = __cil_tmp54 + 2;
3615#line 134
3616  outb(__cil_tmp51, __cil_tmp55);
3617  }
3618  {
3619#line 134
3620  __cil_tmp56 = (unsigned long )pi;
3621#line 134
3622  __cil_tmp57 = __cil_tmp56 + 16;
3623#line 134
3624  if (*((int *)__cil_tmp57)) {
3625    {
3626#line 134
3627    __cil_tmp58 = (unsigned long )pi;
3628#line 134
3629    __cil_tmp59 = __cil_tmp58 + 16;
3630#line 134
3631    __cil_tmp60 = *((int *)__cil_tmp59);
3632#line 134
3633    __cil_tmp61 = (unsigned long )__cil_tmp60;
3634#line 134
3635    __udelay(__cil_tmp61);
3636    }
3637  } else {
3638
3639  }
3640  }
3641#line 135
3642  return;
3643}
3644}
3645#line 137 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
3646static void epia_read_block(PIA *pi , char *buf , int count ) 
3647{ int k ;
3648  int ph ;
3649  int a ;
3650  int b ;
3651  unsigned char tmp ;
3652  unsigned char tmp___0 ;
3653  unsigned char tmp___1 ;
3654  unsigned char tmp___2 ;
3655  unsigned char tmp___3 ;
3656  unsigned char tmp___4 ;
3657  unsigned short tmp___5 ;
3658  unsigned int tmp___6 ;
3659  unsigned long __cil_tmp16 ;
3660  unsigned long __cil_tmp17 ;
3661  unsigned long __cil_tmp18 ;
3662  unsigned long __cil_tmp19 ;
3663  int __cil_tmp20 ;
3664  unsigned long __cil_tmp21 ;
3665  unsigned long __cil_tmp22 ;
3666  unsigned long __cil_tmp23 ;
3667  unsigned long __cil_tmp24 ;
3668  int __cil_tmp25 ;
3669  unsigned long __cil_tmp26 ;
3670  unsigned long __cil_tmp27 ;
3671  unsigned long __cil_tmp28 ;
3672  int __cil_tmp29 ;
3673  int __cil_tmp30 ;
3674  unsigned long __cil_tmp31 ;
3675  unsigned long __cil_tmp32 ;
3676  unsigned long __cil_tmp33 ;
3677  unsigned long __cil_tmp34 ;
3678  int __cil_tmp35 ;
3679  unsigned long __cil_tmp36 ;
3680  unsigned long __cil_tmp37 ;
3681  unsigned long __cil_tmp38 ;
3682  int __cil_tmp39 ;
3683  int __cil_tmp40 ;
3684  unsigned long __cil_tmp41 ;
3685  unsigned long __cil_tmp42 ;
3686  unsigned long __cil_tmp43 ;
3687  unsigned long __cil_tmp44 ;
3688  int __cil_tmp45 ;
3689  unsigned long __cil_tmp46 ;
3690  unsigned long __cil_tmp47 ;
3691  unsigned long __cil_tmp48 ;
3692  int __cil_tmp49 ;
3693  unsigned long __cil_tmp50 ;
3694  unsigned long __cil_tmp51 ;
3695  unsigned long __cil_tmp52 ;
3696  unsigned long __cil_tmp53 ;
3697  int __cil_tmp54 ;
3698  unsigned long __cil_tmp55 ;
3699  int __cil_tmp56 ;
3700  unsigned char __cil_tmp57 ;
3701  unsigned long __cil_tmp58 ;
3702  unsigned long __cil_tmp59 ;
3703  int __cil_tmp60 ;
3704  int __cil_tmp61 ;
3705  unsigned long __cil_tmp62 ;
3706  unsigned long __cil_tmp63 ;
3707  unsigned long __cil_tmp64 ;
3708  unsigned long __cil_tmp65 ;
3709  int __cil_tmp66 ;
3710  unsigned long __cil_tmp67 ;
3711  unsigned long __cil_tmp68 ;
3712  unsigned long __cil_tmp69 ;
3713  unsigned long __cil_tmp70 ;
3714  unsigned long __cil_tmp71 ;
3715  int __cil_tmp72 ;
3716  unsigned long __cil_tmp73 ;
3717  unsigned long __cil_tmp74 ;
3718  unsigned long __cil_tmp75 ;
3719  int __cil_tmp76 ;
3720  int __cil_tmp77 ;
3721  int __cil_tmp78 ;
3722  int __cil_tmp79 ;
3723  unsigned char __cil_tmp80 ;
3724  unsigned long __cil_tmp81 ;
3725  unsigned long __cil_tmp82 ;
3726  int __cil_tmp83 ;
3727  int __cil_tmp84 ;
3728  unsigned long __cil_tmp85 ;
3729  unsigned long __cil_tmp86 ;
3730  unsigned long __cil_tmp87 ;
3731  unsigned long __cil_tmp88 ;
3732  int __cil_tmp89 ;
3733  unsigned long __cil_tmp90 ;
3734  unsigned long __cil_tmp91 ;
3735  unsigned long __cil_tmp92 ;
3736  unsigned long __cil_tmp93 ;
3737  unsigned long __cil_tmp94 ;
3738  int __cil_tmp95 ;
3739  unsigned long __cil_tmp96 ;
3740  unsigned long __cil_tmp97 ;
3741  unsigned long __cil_tmp98 ;
3742  int __cil_tmp99 ;
3743  int __cil_tmp100 ;
3744  int __cil_tmp101 ;
3745  char *__cil_tmp102 ;
3746  int __cil_tmp103 ;
3747  int __cil_tmp104 ;
3748  int __cil_tmp105 ;
3749  int __cil_tmp106 ;
3750  unsigned long __cil_tmp107 ;
3751  unsigned long __cil_tmp108 ;
3752  int __cil_tmp109 ;
3753  unsigned long __cil_tmp110 ;
3754  unsigned long __cil_tmp111 ;
3755  unsigned long __cil_tmp112 ;
3756  unsigned long __cil_tmp113 ;
3757  int __cil_tmp114 ;
3758  unsigned long __cil_tmp115 ;
3759  unsigned long __cil_tmp116 ;
3760  unsigned long __cil_tmp117 ;
3761  int __cil_tmp118 ;
3762  int __cil_tmp119 ;
3763  unsigned long __cil_tmp120 ;
3764  unsigned long __cil_tmp121 ;
3765  unsigned long __cil_tmp122 ;
3766  unsigned long __cil_tmp123 ;
3767  int __cil_tmp124 ;
3768  unsigned long __cil_tmp125 ;
3769  unsigned long __cil_tmp126 ;
3770  unsigned long __cil_tmp127 ;
3771  int __cil_tmp128 ;
3772  unsigned long __cil_tmp129 ;
3773  unsigned long __cil_tmp130 ;
3774  unsigned long __cil_tmp131 ;
3775  unsigned long __cil_tmp132 ;
3776  int __cil_tmp133 ;
3777  unsigned long __cil_tmp134 ;
3778  unsigned long __cil_tmp135 ;
3779  unsigned long __cil_tmp136 ;
3780  int __cil_tmp137 ;
3781  int __cil_tmp138 ;
3782  unsigned long __cil_tmp139 ;
3783  unsigned long __cil_tmp140 ;
3784  unsigned long __cil_tmp141 ;
3785  unsigned long __cil_tmp142 ;
3786  int __cil_tmp143 ;
3787  unsigned long __cil_tmp144 ;
3788  unsigned long __cil_tmp145 ;
3789  unsigned long __cil_tmp146 ;
3790  int __cil_tmp147 ;
3791  unsigned long __cil_tmp148 ;
3792  unsigned long __cil_tmp149 ;
3793  unsigned long __cil_tmp150 ;
3794  unsigned long __cil_tmp151 ;
3795  int __cil_tmp152 ;
3796  unsigned long __cil_tmp153 ;
3797  unsigned long __cil_tmp154 ;
3798  unsigned long __cil_tmp155 ;
3799  int __cil_tmp156 ;
3800  int __cil_tmp157 ;
3801  unsigned long __cil_tmp158 ;
3802  unsigned long __cil_tmp159 ;
3803  unsigned long __cil_tmp160 ;
3804  unsigned long __cil_tmp161 ;
3805  int __cil_tmp162 ;
3806  unsigned long __cil_tmp163 ;
3807  unsigned long __cil_tmp164 ;
3808  unsigned long __cil_tmp165 ;
3809  int __cil_tmp166 ;
3810  unsigned long __cil_tmp167 ;
3811  unsigned long __cil_tmp168 ;
3812  unsigned long __cil_tmp169 ;
3813  unsigned long __cil_tmp170 ;
3814  int __cil_tmp171 ;
3815  unsigned long __cil_tmp172 ;
3816  unsigned long __cil_tmp173 ;
3817  unsigned long __cil_tmp174 ;
3818  int __cil_tmp175 ;
3819  int __cil_tmp176 ;
3820  unsigned long __cil_tmp177 ;
3821  unsigned long __cil_tmp178 ;
3822  unsigned long __cil_tmp179 ;
3823  unsigned long __cil_tmp180 ;
3824  int __cil_tmp181 ;
3825  unsigned long __cil_tmp182 ;
3826  unsigned long __cil_tmp183 ;
3827  unsigned long __cil_tmp184 ;
3828  int __cil_tmp185 ;
3829  unsigned long __cil_tmp186 ;
3830  unsigned long __cil_tmp187 ;
3831  unsigned long __cil_tmp188 ;
3832  unsigned long __cil_tmp189 ;
3833  int __cil_tmp190 ;
3834  unsigned long __cil_tmp191 ;
3835  int __cil_tmp192 ;
3836  unsigned char __cil_tmp193 ;
3837  unsigned long __cil_tmp194 ;
3838  unsigned long __cil_tmp195 ;
3839  int __cil_tmp196 ;
3840  int __cil_tmp197 ;
3841  unsigned long __cil_tmp198 ;
3842  unsigned long __cil_tmp199 ;
3843  unsigned long __cil_tmp200 ;
3844  unsigned long __cil_tmp201 ;
3845  int __cil_tmp202 ;
3846  unsigned long __cil_tmp203 ;
3847  unsigned long __cil_tmp204 ;
3848  unsigned long __cil_tmp205 ;
3849  unsigned long __cil_tmp206 ;
3850  unsigned long __cil_tmp207 ;
3851  int __cil_tmp208 ;
3852  unsigned long __cil_tmp209 ;
3853  unsigned long __cil_tmp210 ;
3854  unsigned long __cil_tmp211 ;
3855  int __cil_tmp212 ;
3856  int __cil_tmp213 ;
3857  int __cil_tmp214 ;
3858  unsigned long __cil_tmp215 ;
3859  unsigned long __cil_tmp216 ;
3860  unsigned long __cil_tmp217 ;
3861  unsigned long __cil_tmp218 ;
3862  int __cil_tmp219 ;
3863  unsigned long __cil_tmp220 ;
3864  unsigned long __cil_tmp221 ;
3865  unsigned long __cil_tmp222 ;
3866  int __cil_tmp223 ;
3867  int __cil_tmp224 ;
3868  int __cil_tmp225 ;
3869  char *__cil_tmp226 ;
3870  int __cil_tmp227 ;
3871  int __cil_tmp228 ;
3872  int __cil_tmp229 ;
3873  int __cil_tmp230 ;
3874  int __cil_tmp231 ;
3875  unsigned long __cil_tmp232 ;
3876  unsigned long __cil_tmp233 ;
3877  int __cil_tmp234 ;
3878  unsigned long __cil_tmp235 ;
3879  unsigned long __cil_tmp236 ;
3880  unsigned long __cil_tmp237 ;
3881  unsigned long __cil_tmp238 ;
3882  int __cil_tmp239 ;
3883  unsigned long __cil_tmp240 ;
3884  unsigned long __cil_tmp241 ;
3885  unsigned long __cil_tmp242 ;
3886  int __cil_tmp243 ;
3887  int __cil_tmp244 ;
3888  unsigned long __cil_tmp245 ;
3889  unsigned long __cil_tmp246 ;
3890  unsigned long __cil_tmp247 ;
3891  unsigned long __cil_tmp248 ;
3892  int __cil_tmp249 ;
3893  unsigned long __cil_tmp250 ;
3894  unsigned long __cil_tmp251 ;
3895  unsigned long __cil_tmp252 ;
3896  int __cil_tmp253 ;
3897  unsigned long __cil_tmp254 ;
3898  unsigned long __cil_tmp255 ;
3899  unsigned long __cil_tmp256 ;
3900  unsigned long __cil_tmp257 ;
3901  int __cil_tmp258 ;
3902  unsigned long __cil_tmp259 ;
3903  unsigned long __cil_tmp260 ;
3904  unsigned long __cil_tmp261 ;
3905  int __cil_tmp262 ;
3906  int __cil_tmp263 ;
3907  unsigned long __cil_tmp264 ;
3908  unsigned long __cil_tmp265 ;
3909  unsigned long __cil_tmp266 ;
3910  unsigned long __cil_tmp267 ;
3911  int __cil_tmp268 ;
3912  unsigned long __cil_tmp269 ;
3913  unsigned long __cil_tmp270 ;
3914  unsigned long __cil_tmp271 ;
3915  int __cil_tmp272 ;
3916  int __cil_tmp273 ;
3917  unsigned long __cil_tmp274 ;
3918  unsigned long __cil_tmp275 ;
3919  unsigned long __cil_tmp276 ;
3920  unsigned long __cil_tmp277 ;
3921  int __cil_tmp278 ;
3922  unsigned long __cil_tmp279 ;
3923  unsigned long __cil_tmp280 ;
3924  unsigned long __cil_tmp281 ;
3925  int __cil_tmp282 ;
3926  int __cil_tmp283 ;
3927  unsigned long __cil_tmp284 ;
3928  unsigned long __cil_tmp285 ;
3929  unsigned long __cil_tmp286 ;
3930  unsigned long __cil_tmp287 ;
3931  int __cil_tmp288 ;
3932  unsigned long __cil_tmp289 ;
3933  int __cil_tmp290 ;
3934  unsigned char __cil_tmp291 ;
3935  unsigned long __cil_tmp292 ;
3936  unsigned long __cil_tmp293 ;
3937  int __cil_tmp294 ;
3938  int __cil_tmp295 ;
3939  unsigned long __cil_tmp296 ;
3940  unsigned long __cil_tmp297 ;
3941  unsigned long __cil_tmp298 ;
3942  unsigned long __cil_tmp299 ;
3943  int __cil_tmp300 ;
3944  unsigned long __cil_tmp301 ;
3945  unsigned long __cil_tmp302 ;
3946  unsigned long __cil_tmp303 ;
3947  unsigned long __cil_tmp304 ;
3948  unsigned long __cil_tmp305 ;
3949  int __cil_tmp306 ;
3950  unsigned long __cil_tmp307 ;
3951  unsigned long __cil_tmp308 ;
3952  unsigned long __cil_tmp309 ;
3953  int __cil_tmp310 ;
3954  char *__cil_tmp311 ;
3955  int __cil_tmp312 ;
3956  int __cil_tmp313 ;
3957  unsigned long __cil_tmp314 ;
3958  unsigned long __cil_tmp315 ;
3959  int __cil_tmp316 ;
3960  int __cil_tmp317 ;
3961  unsigned long __cil_tmp318 ;
3962  unsigned long __cil_tmp319 ;
3963  unsigned long __cil_tmp320 ;
3964  unsigned long __cil_tmp321 ;
3965  int __cil_tmp322 ;
3966  unsigned long __cil_tmp323 ;
3967  unsigned long __cil_tmp324 ;
3968  unsigned long __cil_tmp325 ;
3969  int __cil_tmp326 ;
3970  int __cil_tmp327 ;
3971  unsigned long __cil_tmp328 ;
3972  unsigned long __cil_tmp329 ;
3973  unsigned long __cil_tmp330 ;
3974  unsigned long __cil_tmp331 ;
3975  int __cil_tmp332 ;
3976  unsigned long __cil_tmp333 ;
3977  unsigned long __cil_tmp334 ;
3978  unsigned long __cil_tmp335 ;
3979  int __cil_tmp336 ;
3980  int __cil_tmp337 ;
3981  unsigned long __cil_tmp338 ;
3982  unsigned long __cil_tmp339 ;
3983  unsigned long __cil_tmp340 ;
3984  unsigned long __cil_tmp341 ;
3985  int __cil_tmp342 ;
3986  unsigned long __cil_tmp343 ;
3987  unsigned long __cil_tmp344 ;
3988  unsigned long __cil_tmp345 ;
3989  int __cil_tmp346 ;
3990  int __cil_tmp347 ;
3991  unsigned long __cil_tmp348 ;
3992  unsigned long __cil_tmp349 ;
3993  unsigned long __cil_tmp350 ;
3994  unsigned long __cil_tmp351 ;
3995  int __cil_tmp352 ;
3996  unsigned long __cil_tmp353 ;
3997  unsigned long __cil_tmp354 ;
3998  unsigned long __cil_tmp355 ;
3999  unsigned long __cil_tmp356 ;
4000  unsigned long __cil_tmp357 ;
4001  int __cil_tmp358 ;
4002  unsigned long __cil_tmp359 ;
4003  unsigned long __cil_tmp360 ;
4004  unsigned long __cil_tmp361 ;
4005  int __cil_tmp362 ;
4006  int __cil_tmp363 ;
4007  char *__cil_tmp364 ;
4008  int __cil_tmp365 ;
4009  int __cil_tmp366 ;
4010  unsigned long __cil_tmp367 ;
4011  unsigned long __cil_tmp368 ;
4012  int __cil_tmp369 ;
4013  int __cil_tmp370 ;
4014  unsigned long __cil_tmp371 ;
4015  unsigned long __cil_tmp372 ;
4016  unsigned long __cil_tmp373 ;
4017  unsigned long __cil_tmp374 ;
4018  int __cil_tmp375 ;
4019  unsigned long __cil_tmp376 ;
4020  unsigned long __cil_tmp377 ;
4021  unsigned long __cil_tmp378 ;
4022  int __cil_tmp379 ;
4023  int __cil_tmp380 ;
4024  unsigned long __cil_tmp381 ;
4025  unsigned long __cil_tmp382 ;
4026  unsigned long __cil_tmp383 ;
4027  unsigned long __cil_tmp384 ;
4028  int __cil_tmp385 ;
4029  unsigned long __cil_tmp386 ;
4030  unsigned long __cil_tmp387 ;
4031  unsigned long __cil_tmp388 ;
4032  int __cil_tmp389 ;
4033  int __cil_tmp390 ;
4034  unsigned long __cil_tmp391 ;
4035  unsigned long __cil_tmp392 ;
4036  unsigned long __cil_tmp393 ;
4037  unsigned long __cil_tmp394 ;
4038  int __cil_tmp395 ;
4039  unsigned long __cil_tmp396 ;
4040  int __cil_tmp397 ;
4041  unsigned long __cil_tmp398 ;
4042  unsigned long __cil_tmp399 ;
4043  unsigned long __cil_tmp400 ;
4044  unsigned long __cil_tmp401 ;
4045  int __cil_tmp402 ;
4046  unsigned long __cil_tmp403 ;
4047  unsigned long __cil_tmp404 ;
4048  unsigned long __cil_tmp405 ;
4049  int __cil_tmp406 ;
4050  int __cil_tmp407 ;
4051  u16 *__cil_tmp408 ;
4052  u16 *__cil_tmp409 ;
4053  int __cil_tmp410 ;
4054  int __cil_tmp411 ;
4055  unsigned long __cil_tmp412 ;
4056  unsigned long __cil_tmp413 ;
4057  int __cil_tmp414 ;
4058  int __cil_tmp415 ;
4059  unsigned long __cil_tmp416 ;
4060  unsigned long __cil_tmp417 ;
4061  unsigned long __cil_tmp418 ;
4062  unsigned long __cil_tmp419 ;
4063  int __cil_tmp420 ;
4064  unsigned long __cil_tmp421 ;
4065  unsigned long __cil_tmp422 ;
4066  unsigned long __cil_tmp423 ;
4067  int __cil_tmp424 ;
4068  int __cil_tmp425 ;
4069  unsigned long __cil_tmp426 ;
4070  unsigned long __cil_tmp427 ;
4071  unsigned long __cil_tmp428 ;
4072  unsigned long __cil_tmp429 ;
4073  int __cil_tmp430 ;
4074  unsigned long __cil_tmp431 ;
4075  unsigned long __cil_tmp432 ;
4076  unsigned long __cil_tmp433 ;
4077  int __cil_tmp434 ;
4078  int __cil_tmp435 ;
4079  unsigned long __cil_tmp436 ;
4080  unsigned long __cil_tmp437 ;
4081  unsigned long __cil_tmp438 ;
4082  unsigned long __cil_tmp439 ;
4083  int __cil_tmp440 ;
4084  unsigned long __cil_tmp441 ;
4085  int __cil_tmp442 ;
4086  unsigned long __cil_tmp443 ;
4087  unsigned long __cil_tmp444 ;
4088  unsigned long __cil_tmp445 ;
4089  unsigned long __cil_tmp446 ;
4090  int __cil_tmp447 ;
4091  unsigned long __cil_tmp448 ;
4092  unsigned long __cil_tmp449 ;
4093  unsigned long __cil_tmp450 ;
4094  int __cil_tmp451 ;
4095  int __cil_tmp452 ;
4096  u32 *__cil_tmp453 ;
4097  u32 *__cil_tmp454 ;
4098  unsigned long __cil_tmp455 ;
4099  unsigned long __cil_tmp456 ;
4100  int __cil_tmp457 ;
4101  int __cil_tmp458 ;
4102  unsigned long __cil_tmp459 ;
4103  unsigned long __cil_tmp460 ;
4104  unsigned long __cil_tmp461 ;
4105  unsigned long __cil_tmp462 ;
4106  int __cil_tmp463 ;
4107  unsigned long __cil_tmp464 ;
4108
4109  {
4110  {
4111#line 141
4112  __cil_tmp16 = (unsigned long )pi;
4113#line 141
4114  __cil_tmp17 = __cil_tmp16 + 12;
4115#line 143
4116  if (*((int *)__cil_tmp17) == 0) {
4117#line 143
4118    goto case_0;
4119  } else
4120#line 154
4121  if (*((int *)__cil_tmp17) == 1) {
4122#line 154
4123    goto case_1;
4124  } else
4125#line 166
4126  if (*((int *)__cil_tmp17) == 2) {
4127#line 166
4128    goto case_2;
4129  } else
4130#line 176
4131  if (*((int *)__cil_tmp17) == 3) {
4132#line 176
4133    goto case_3;
4134  } else
4135#line 182
4136  if (*((int *)__cil_tmp17) == 4) {
4137#line 182
4138    goto case_4;
4139  } else
4140#line 188
4141  if (*((int *)__cil_tmp17) == 5) {
4142#line 188
4143    goto case_5;
4144  } else
4145#line 141
4146  if (0) {
4147    case_0: /* CIL Label */ 
4148    {
4149#line 143
4150    __cil_tmp18 = (unsigned long )pi;
4151#line 143
4152    __cil_tmp19 = __cil_tmp18 + 8;
4153#line 143
4154    __cil_tmp20 = *((int *)__cil_tmp19);
4155#line 143
4156    outb((unsigned char)129, __cil_tmp20);
4157    }
4158    {
4159#line 143
4160    __cil_tmp21 = (unsigned long )pi;
4161#line 143
4162    __cil_tmp22 = __cil_tmp21 + 16;
4163#line 143
4164    if (*((int *)__cil_tmp22)) {
4165      {
4166#line 143
4167      __cil_tmp23 = (unsigned long )pi;
4168#line 143
4169      __cil_tmp24 = __cil_tmp23 + 16;
4170#line 143
4171      __cil_tmp25 = *((int *)__cil_tmp24);
4172#line 143
4173      __cil_tmp26 = (unsigned long )__cil_tmp25;
4174#line 143
4175      __udelay(__cil_tmp26);
4176      }
4177    } else {
4178
4179    }
4180    }
4181    {
4182#line 143
4183    __cil_tmp27 = (unsigned long )pi;
4184#line 143
4185    __cil_tmp28 = __cil_tmp27 + 8;
4186#line 143
4187    __cil_tmp29 = *((int *)__cil_tmp28);
4188#line 143
4189    __cil_tmp30 = __cil_tmp29 + 2;
4190#line 143
4191    outb((unsigned char)1, __cil_tmp30);
4192    }
4193    {
4194#line 143
4195    __cil_tmp31 = (unsigned long )pi;
4196#line 143
4197    __cil_tmp32 = __cil_tmp31 + 16;
4198#line 143
4199    if (*((int *)__cil_tmp32)) {
4200      {
4201#line 143
4202      __cil_tmp33 = (unsigned long )pi;
4203#line 143
4204      __cil_tmp34 = __cil_tmp33 + 16;
4205#line 143
4206      __cil_tmp35 = *((int *)__cil_tmp34);
4207#line 143
4208      __cil_tmp36 = (unsigned long )__cil_tmp35;
4209#line 143
4210      __udelay(__cil_tmp36);
4211      }
4212    } else {
4213
4214    }
4215    }
4216    {
4217#line 143
4218    __cil_tmp37 = (unsigned long )pi;
4219#line 143
4220    __cil_tmp38 = __cil_tmp37 + 8;
4221#line 143
4222    __cil_tmp39 = *((int *)__cil_tmp38);
4223#line 143
4224    __cil_tmp40 = __cil_tmp39 + 2;
4225#line 143
4226    outb((unsigned char)3, __cil_tmp40);
4227    }
4228    {
4229#line 143
4230    __cil_tmp41 = (unsigned long )pi;
4231#line 143
4232    __cil_tmp42 = __cil_tmp41 + 16;
4233#line 143
4234    if (*((int *)__cil_tmp42)) {
4235      {
4236#line 143
4237      __cil_tmp43 = (unsigned long )pi;
4238#line 143
4239      __cil_tmp44 = __cil_tmp43 + 16;
4240#line 143
4241      __cil_tmp45 = *((int *)__cil_tmp44);
4242#line 143
4243      __cil_tmp46 = (unsigned long )__cil_tmp45;
4244#line 143
4245      __udelay(__cil_tmp46);
4246      }
4247    } else {
4248
4249    }
4250    }
4251    {
4252#line 143
4253    __cil_tmp47 = (unsigned long )pi;
4254#line 143
4255    __cil_tmp48 = __cil_tmp47 + 8;
4256#line 143
4257    __cil_tmp49 = *((int *)__cil_tmp48);
4258#line 143
4259    outb((unsigned char)193, __cil_tmp49);
4260    }
4261    {
4262#line 143
4263    __cil_tmp50 = (unsigned long )pi;
4264#line 143
4265    __cil_tmp51 = __cil_tmp50 + 16;
4266#line 143
4267    if (*((int *)__cil_tmp51)) {
4268      {
4269#line 143
4270      __cil_tmp52 = (unsigned long )pi;
4271#line 143
4272      __cil_tmp53 = __cil_tmp52 + 16;
4273#line 143
4274      __cil_tmp54 = *((int *)__cil_tmp53);
4275#line 143
4276      __cil_tmp55 = (unsigned long )__cil_tmp54;
4277#line 143
4278      __udelay(__cil_tmp55);
4279      }
4280    } else {
4281
4282    }
4283    }
4284#line 144
4285    ph = 1;
4286#line 145
4287    k = 0;
4288    {
4289#line 145
4290    while (1) {
4291      while_continue: /* CIL Label */ ;
4292#line 145
4293      if (k < count) {
4294
4295      } else {
4296#line 145
4297        goto while_break;
4298      }
4299      {
4300#line 146
4301      __cil_tmp56 = 2 + ph;
4302#line 146
4303      __cil_tmp57 = (unsigned char )__cil_tmp56;
4304#line 146
4305      __cil_tmp58 = (unsigned long )pi;
4306#line 146
4307      __cil_tmp59 = __cil_tmp58 + 8;
4308#line 146
4309      __cil_tmp60 = *((int *)__cil_tmp59);
4310#line 146
4311      __cil_tmp61 = __cil_tmp60 + 2;
4312#line 146
4313      outb(__cil_tmp57, __cil_tmp61);
4314      }
4315      {
4316#line 146
4317      __cil_tmp62 = (unsigned long )pi;
4318#line 146
4319      __cil_tmp63 = __cil_tmp62 + 16;
4320#line 146
4321      if (*((int *)__cil_tmp63)) {
4322        {
4323#line 146
4324        __cil_tmp64 = (unsigned long )pi;
4325#line 146
4326        __cil_tmp65 = __cil_tmp64 + 16;
4327#line 146
4328        __cil_tmp66 = *((int *)__cil_tmp65);
4329#line 146
4330        __cil_tmp67 = (unsigned long )__cil_tmp66;
4331#line 146
4332        __udelay(__cil_tmp67);
4333        }
4334      } else {
4335
4336      }
4337      }
4338      {
4339#line 146
4340      __cil_tmp68 = (unsigned long )pi;
4341#line 146
4342      __cil_tmp69 = __cil_tmp68 + 16;
4343#line 146
4344      if (*((int *)__cil_tmp69)) {
4345        {
4346#line 146
4347        __cil_tmp70 = (unsigned long )pi;
4348#line 146
4349        __cil_tmp71 = __cil_tmp70 + 16;
4350#line 146
4351        __cil_tmp72 = *((int *)__cil_tmp71);
4352#line 146
4353        __cil_tmp73 = (unsigned long )__cil_tmp72;
4354#line 146
4355        __udelay(__cil_tmp73);
4356        }
4357      } else {
4358
4359      }
4360      }
4361      {
4362#line 146
4363      __cil_tmp74 = (unsigned long )pi;
4364#line 146
4365      __cil_tmp75 = __cil_tmp74 + 8;
4366#line 146
4367      __cil_tmp76 = *((int *)__cil_tmp75);
4368#line 146
4369      __cil_tmp77 = __cil_tmp76 + 1;
4370#line 146
4371      tmp = inb(__cil_tmp77);
4372#line 146
4373      __cil_tmp78 = (int )tmp;
4374#line 146
4375      a = __cil_tmp78 & 255;
4376#line 147
4377      __cil_tmp79 = 4 + ph;
4378#line 147
4379      __cil_tmp80 = (unsigned char )__cil_tmp79;
4380#line 147
4381      __cil_tmp81 = (unsigned long )pi;
4382#line 147
4383      __cil_tmp82 = __cil_tmp81 + 8;
4384#line 147
4385      __cil_tmp83 = *((int *)__cil_tmp82);
4386#line 147
4387      __cil_tmp84 = __cil_tmp83 + 2;
4388#line 147
4389      outb(__cil_tmp80, __cil_tmp84);
4390      }
4391      {
4392#line 147
4393      __cil_tmp85 = (unsigned long )pi;
4394#line 147
4395      __cil_tmp86 = __cil_tmp85 + 16;
4396#line 147
4397      if (*((int *)__cil_tmp86)) {
4398        {
4399#line 147
4400        __cil_tmp87 = (unsigned long )pi;
4401#line 147
4402        __cil_tmp88 = __cil_tmp87 + 16;
4403#line 147
4404        __cil_tmp89 = *((int *)__cil_tmp88);
4405#line 147
4406        __cil_tmp90 = (unsigned long )__cil_tmp89;
4407#line 147
4408        __udelay(__cil_tmp90);
4409        }
4410      } else {
4411
4412      }
4413      }
4414      {
4415#line 147
4416      __cil_tmp91 = (unsigned long )pi;
4417#line 147
4418      __cil_tmp92 = __cil_tmp91 + 16;
4419#line 147
4420      if (*((int *)__cil_tmp92)) {
4421        {
4422#line 147
4423        __cil_tmp93 = (unsigned long )pi;
4424#line 147
4425        __cil_tmp94 = __cil_tmp93 + 16;
4426#line 147
4427        __cil_tmp95 = *((int *)__cil_tmp94);
4428#line 147
4429        __cil_tmp96 = (unsigned long )__cil_tmp95;
4430#line 147
4431        __udelay(__cil_tmp96);
4432        }
4433      } else {
4434
4435      }
4436      }
4437      {
4438#line 147
4439      __cil_tmp97 = (unsigned long )pi;
4440#line 147
4441      __cil_tmp98 = __cil_tmp97 + 8;
4442#line 147
4443      __cil_tmp99 = *((int *)__cil_tmp98);
4444#line 147
4445      __cil_tmp100 = __cil_tmp99 + 1;
4446#line 147
4447      tmp___0 = inb(__cil_tmp100);
4448#line 147
4449      __cil_tmp101 = (int )tmp___0;
4450#line 147
4451      b = __cil_tmp101 & 255;
4452#line 148
4453      __cil_tmp102 = buf + k;
4454#line 148
4455      __cil_tmp103 = b & 240;
4456#line 148
4457      __cil_tmp104 = a >> 4;
4458#line 148
4459      __cil_tmp105 = __cil_tmp104 & 15;
4460#line 148
4461      __cil_tmp106 = __cil_tmp105 + __cil_tmp103;
4462#line 148
4463      *__cil_tmp102 = (char )__cil_tmp106;
4464#line 149
4465      ph = 1 - ph;
4466#line 145
4467      k = k + 1;
4468      }
4469    }
4470    while_break: /* CIL Label */ ;
4471    }
4472    {
4473#line 151
4474    __cil_tmp107 = (unsigned long )pi;
4475#line 151
4476    __cil_tmp108 = __cil_tmp107 + 8;
4477#line 151
4478    __cil_tmp109 = *((int *)__cil_tmp108);
4479#line 151
4480    outb((unsigned char)0, __cil_tmp109);
4481    }
4482    {
4483#line 151
4484    __cil_tmp110 = (unsigned long )pi;
4485#line 151
4486    __cil_tmp111 = __cil_tmp110 + 16;
4487#line 151
4488    if (*((int *)__cil_tmp111)) {
4489      {
4490#line 151
4491      __cil_tmp112 = (unsigned long )pi;
4492#line 151
4493      __cil_tmp113 = __cil_tmp112 + 16;
4494#line 151
4495      __cil_tmp114 = *((int *)__cil_tmp113);
4496#line 151
4497      __cil_tmp115 = (unsigned long )__cil_tmp114;
4498#line 151
4499      __udelay(__cil_tmp115);
4500      }
4501    } else {
4502
4503    }
4504    }
4505    {
4506#line 151
4507    __cil_tmp116 = (unsigned long )pi;
4508#line 151
4509    __cil_tmp117 = __cil_tmp116 + 8;
4510#line 151
4511    __cil_tmp118 = *((int *)__cil_tmp117);
4512#line 151
4513    __cil_tmp119 = __cil_tmp118 + 2;
4514#line 151
4515    outb((unsigned char)4, __cil_tmp119);
4516    }
4517    {
4518#line 151
4519    __cil_tmp120 = (unsigned long )pi;
4520#line 151
4521    __cil_tmp121 = __cil_tmp120 + 16;
4522#line 151
4523    if (*((int *)__cil_tmp121)) {
4524      {
4525#line 151
4526      __cil_tmp122 = (unsigned long )pi;
4527#line 151
4528      __cil_tmp123 = __cil_tmp122 + 16;
4529#line 151
4530      __cil_tmp124 = *((int *)__cil_tmp123);
4531#line 151
4532      __cil_tmp125 = (unsigned long )__cil_tmp124;
4533#line 151
4534      __udelay(__cil_tmp125);
4535      }
4536    } else {
4537
4538    }
4539    }
4540#line 152
4541    goto switch_break;
4542    case_1: /* CIL Label */ 
4543    {
4544#line 154
4545    __cil_tmp126 = (unsigned long )pi;
4546#line 154
4547    __cil_tmp127 = __cil_tmp126 + 8;
4548#line 154
4549    __cil_tmp128 = *((int *)__cil_tmp127);
4550#line 154
4551    outb((unsigned char)145, __cil_tmp128);
4552    }
4553    {
4554#line 154
4555    __cil_tmp129 = (unsigned long )pi;
4556#line 154
4557    __cil_tmp130 = __cil_tmp129 + 16;
4558#line 154
4559    if (*((int *)__cil_tmp130)) {
4560      {
4561#line 154
4562      __cil_tmp131 = (unsigned long )pi;
4563#line 154
4564      __cil_tmp132 = __cil_tmp131 + 16;
4565#line 154
4566      __cil_tmp133 = *((int *)__cil_tmp132);
4567#line 154
4568      __cil_tmp134 = (unsigned long )__cil_tmp133;
4569#line 154
4570      __udelay(__cil_tmp134);
4571      }
4572    } else {
4573
4574    }
4575    }
4576    {
4577#line 154
4578    __cil_tmp135 = (unsigned long )pi;
4579#line 154
4580    __cil_tmp136 = __cil_tmp135 + 8;
4581#line 154
4582    __cil_tmp137 = *((int *)__cil_tmp136);
4583#line 154
4584    __cil_tmp138 = __cil_tmp137 + 2;
4585#line 154
4586    outb((unsigned char)1, __cil_tmp138);
4587    }
4588    {
4589#line 154
4590    __cil_tmp139 = (unsigned long )pi;
4591#line 154
4592    __cil_tmp140 = __cil_tmp139 + 16;
4593#line 154
4594    if (*((int *)__cil_tmp140)) {
4595      {
4596#line 154
4597      __cil_tmp141 = (unsigned long )pi;
4598#line 154
4599      __cil_tmp142 = __cil_tmp141 + 16;
4600#line 154
4601      __cil_tmp143 = *((int *)__cil_tmp142);
4602#line 154
4603      __cil_tmp144 = (unsigned long )__cil_tmp143;
4604#line 154
4605      __udelay(__cil_tmp144);
4606      }
4607    } else {
4608
4609    }
4610    }
4611    {
4612#line 154
4613    __cil_tmp145 = (unsigned long )pi;
4614#line 154
4615    __cil_tmp146 = __cil_tmp145 + 8;
4616#line 154
4617    __cil_tmp147 = *((int *)__cil_tmp146);
4618#line 154
4619    outb((unsigned char)16, __cil_tmp147);
4620    }
4621    {
4622#line 154
4623    __cil_tmp148 = (unsigned long )pi;
4624#line 154
4625    __cil_tmp149 = __cil_tmp148 + 16;
4626#line 154
4627    if (*((int *)__cil_tmp149)) {
4628      {
4629#line 154
4630      __cil_tmp150 = (unsigned long )pi;
4631#line 154
4632      __cil_tmp151 = __cil_tmp150 + 16;
4633#line 154
4634      __cil_tmp152 = *((int *)__cil_tmp151);
4635#line 154
4636      __cil_tmp153 = (unsigned long )__cil_tmp152;
4637#line 154
4638      __udelay(__cil_tmp153);
4639      }
4640    } else {
4641
4642    }
4643    }
4644    {
4645#line 154
4646    __cil_tmp154 = (unsigned long )pi;
4647#line 154
4648    __cil_tmp155 = __cil_tmp154 + 8;
4649#line 154
4650    __cil_tmp156 = *((int *)__cil_tmp155);
4651#line 154
4652    __cil_tmp157 = __cil_tmp156 + 2;
4653#line 154
4654    outb((unsigned char)3, __cil_tmp157);
4655    }
4656    {
4657#line 154
4658    __cil_tmp158 = (unsigned long )pi;
4659#line 154
4660    __cil_tmp159 = __cil_tmp158 + 16;
4661#line 154
4662    if (*((int *)__cil_tmp159)) {
4663      {
4664#line 154
4665      __cil_tmp160 = (unsigned long )pi;
4666#line 154
4667      __cil_tmp161 = __cil_tmp160 + 16;
4668#line 154
4669      __cil_tmp162 = *((int *)__cil_tmp161);
4670#line 154
4671      __cil_tmp163 = (unsigned long )__cil_tmp162;
4672#line 154
4673      __udelay(__cil_tmp163);
4674      }
4675    } else {
4676
4677    }
4678    }
4679    {
4680#line 155
4681    __cil_tmp164 = (unsigned long )pi;
4682#line 155
4683    __cil_tmp165 = __cil_tmp164 + 8;
4684#line 155
4685    __cil_tmp166 = *((int *)__cil_tmp165);
4686#line 155
4687    outb((unsigned char)81, __cil_tmp166);
4688    }
4689    {
4690#line 155
4691    __cil_tmp167 = (unsigned long )pi;
4692#line 155
4693    __cil_tmp168 = __cil_tmp167 + 16;
4694#line 155
4695    if (*((int *)__cil_tmp168)) {
4696      {
4697#line 155
4698      __cil_tmp169 = (unsigned long )pi;
4699#line 155
4700      __cil_tmp170 = __cil_tmp169 + 16;
4701#line 155
4702      __cil_tmp171 = *((int *)__cil_tmp170);
4703#line 155
4704      __cil_tmp172 = (unsigned long )__cil_tmp171;
4705#line 155
4706      __udelay(__cil_tmp172);
4707      }
4708    } else {
4709
4710    }
4711    }
4712    {
4713#line 155
4714    __cil_tmp173 = (unsigned long )pi;
4715#line 155
4716    __cil_tmp174 = __cil_tmp173 + 8;
4717#line 155
4718    __cil_tmp175 = *((int *)__cil_tmp174);
4719#line 155
4720    __cil_tmp176 = __cil_tmp175 + 2;
4721#line 155
4722    outb((unsigned char)5, __cil_tmp176);
4723    }
4724    {
4725#line 155
4726    __cil_tmp177 = (unsigned long )pi;
4727#line 155
4728    __cil_tmp178 = __cil_tmp177 + 16;
4729#line 155
4730    if (*((int *)__cil_tmp178)) {
4731      {
4732#line 155
4733      __cil_tmp179 = (unsigned long )pi;
4734#line 155
4735      __cil_tmp180 = __cil_tmp179 + 16;
4736#line 155
4737      __cil_tmp181 = *((int *)__cil_tmp180);
4738#line 155
4739      __cil_tmp182 = (unsigned long )__cil_tmp181;
4740#line 155
4741      __udelay(__cil_tmp182);
4742      }
4743    } else {
4744
4745    }
4746    }
4747    {
4748#line 155
4749    __cil_tmp183 = (unsigned long )pi;
4750#line 155
4751    __cil_tmp184 = __cil_tmp183 + 8;
4752#line 155
4753    __cil_tmp185 = *((int *)__cil_tmp184);
4754#line 155
4755    outb((unsigned char)209, __cil_tmp185);
4756    }
4757    {
4758#line 155
4759    __cil_tmp186 = (unsigned long )pi;
4760#line 155
4761    __cil_tmp187 = __cil_tmp186 + 16;
4762#line 155
4763    if (*((int *)__cil_tmp187)) {
4764      {
4765#line 155
4766      __cil_tmp188 = (unsigned long )pi;
4767#line 155
4768      __cil_tmp189 = __cil_tmp188 + 16;
4769#line 155
4770      __cil_tmp190 = *((int *)__cil_tmp189);
4771#line 155
4772      __cil_tmp191 = (unsigned long )__cil_tmp190;
4773#line 155
4774      __udelay(__cil_tmp191);
4775      }
4776    } else {
4777
4778    }
4779    }
4780#line 156
4781    ph = 1;
4782#line 157
4783    k = 0;
4784    {
4785#line 157
4786    while (1) {
4787      while_continue___0: /* CIL Label */ ;
4788#line 157
4789      if (k < count) {
4790
4791      } else {
4792#line 157
4793        goto while_break___0;
4794      }
4795      {
4796#line 158
4797      __cil_tmp192 = 4 + ph;
4798#line 158
4799      __cil_tmp193 = (unsigned char )__cil_tmp192;
4800#line 158
4801      __cil_tmp194 = (unsigned long )pi;
4802#line 158
4803      __cil_tmp195 = __cil_tmp194 + 8;
4804#line 158
4805      __cil_tmp196 = *((int *)__cil_tmp195);
4806#line 158
4807      __cil_tmp197 = __cil_tmp196 + 2;
4808#line 158
4809      outb(__cil_tmp193, __cil_tmp197);
4810      }
4811      {
4812#line 158
4813      __cil_tmp198 = (unsigned long )pi;
4814#line 158
4815      __cil_tmp199 = __cil_tmp198 + 16;
4816#line 158
4817      if (*((int *)__cil_tmp199)) {
4818        {
4819#line 158
4820        __cil_tmp200 = (unsigned long )pi;
4821#line 158
4822        __cil_tmp201 = __cil_tmp200 + 16;
4823#line 158
4824        __cil_tmp202 = *((int *)__cil_tmp201);
4825#line 158
4826        __cil_tmp203 = (unsigned long )__cil_tmp202;
4827#line 158
4828        __udelay(__cil_tmp203);
4829        }
4830      } else {
4831
4832      }
4833      }
4834      {
4835#line 159
4836      __cil_tmp204 = (unsigned long )pi;
4837#line 159
4838      __cil_tmp205 = __cil_tmp204 + 16;
4839#line 159
4840      if (*((int *)__cil_tmp205)) {
4841        {
4842#line 159
4843        __cil_tmp206 = (unsigned long )pi;
4844#line 159
4845        __cil_tmp207 = __cil_tmp206 + 16;
4846#line 159
4847        __cil_tmp208 = *((int *)__cil_tmp207);
4848#line 159
4849        __cil_tmp209 = (unsigned long )__cil_tmp208;
4850#line 159
4851        __udelay(__cil_tmp209);
4852        }
4853      } else {
4854
4855      }
4856      }
4857      {
4858#line 159
4859      __cil_tmp210 = (unsigned long )pi;
4860#line 159
4861      __cil_tmp211 = __cil_tmp210 + 8;
4862#line 159
4863      __cil_tmp212 = *((int *)__cil_tmp211);
4864#line 159
4865      __cil_tmp213 = __cil_tmp212 + 1;
4866#line 159
4867      tmp___1 = inb(__cil_tmp213);
4868#line 159
4869      __cil_tmp214 = (int )tmp___1;
4870#line 159
4871      a = __cil_tmp214 & 255;
4872      }
4873      {
4874#line 159
4875      __cil_tmp215 = (unsigned long )pi;
4876#line 159
4877      __cil_tmp216 = __cil_tmp215 + 16;
4878#line 159
4879      if (*((int *)__cil_tmp216)) {
4880        {
4881#line 159
4882        __cil_tmp217 = (unsigned long )pi;
4883#line 159
4884        __cil_tmp218 = __cil_tmp217 + 16;
4885#line 159
4886        __cil_tmp219 = *((int *)__cil_tmp218);
4887#line 159
4888        __cil_tmp220 = (unsigned long )__cil_tmp219;
4889#line 159
4890        __udelay(__cil_tmp220);
4891        }
4892      } else {
4893
4894      }
4895      }
4896      {
4897#line 159
4898      __cil_tmp221 = (unsigned long )pi;
4899#line 159
4900      __cil_tmp222 = __cil_tmp221 + 8;
4901#line 159
4902      __cil_tmp223 = *((int *)__cil_tmp222);
4903#line 159
4904      __cil_tmp224 = __cil_tmp223 + 2;
4905#line 159
4906      tmp___2 = inb(__cil_tmp224);
4907#line 159
4908      __cil_tmp225 = (int )tmp___2;
4909#line 159
4910      b = __cil_tmp225 & 255;
4911#line 160
4912      __cil_tmp226 = buf + k;
4913#line 160
4914      __cil_tmp227 = b << 4;
4915#line 160
4916      __cil_tmp228 = __cil_tmp227 & 224;
4917#line 160
4918      __cil_tmp229 = a >> 3;
4919#line 160
4920      __cil_tmp230 = __cil_tmp229 & 31;
4921#line 160
4922      __cil_tmp231 = __cil_tmp230 + __cil_tmp228;
4923#line 160
4924      *__cil_tmp226 = (char )__cil_tmp231;
4925#line 161
4926      ph = 1 - ph;
4927#line 157
4928      k = k + 1;
4929      }
4930    }
4931    while_break___0: /* CIL Label */ ;
4932    }
4933    {
4934#line 163
4935    __cil_tmp232 = (unsigned long )pi;
4936#line 163
4937    __cil_tmp233 = __cil_tmp232 + 8;
4938#line 163
4939    __cil_tmp234 = *((int *)__cil_tmp233);
4940#line 163
4941    outb((unsigned char)0, __cil_tmp234);
4942    }
4943    {
4944#line 163
4945    __cil_tmp235 = (unsigned long )pi;
4946#line 163
4947    __cil_tmp236 = __cil_tmp235 + 16;
4948#line 163
4949    if (*((int *)__cil_tmp236)) {
4950      {
4951#line 163
4952      __cil_tmp237 = (unsigned long )pi;
4953#line 163
4954      __cil_tmp238 = __cil_tmp237 + 16;
4955#line 163
4956      __cil_tmp239 = *((int *)__cil_tmp238);
4957#line 163
4958      __cil_tmp240 = (unsigned long )__cil_tmp239;
4959#line 163
4960      __udelay(__cil_tmp240);
4961      }
4962    } else {
4963
4964    }
4965    }
4966    {
4967#line 163
4968    __cil_tmp241 = (unsigned long )pi;
4969#line 163
4970    __cil_tmp242 = __cil_tmp241 + 8;
4971#line 163
4972    __cil_tmp243 = *((int *)__cil_tmp242);
4973#line 163
4974    __cil_tmp244 = __cil_tmp243 + 2;
4975#line 163
4976    outb((unsigned char)4, __cil_tmp244);
4977    }
4978    {
4979#line 163
4980    __cil_tmp245 = (unsigned long )pi;
4981#line 163
4982    __cil_tmp246 = __cil_tmp245 + 16;
4983#line 163
4984    if (*((int *)__cil_tmp246)) {
4985      {
4986#line 163
4987      __cil_tmp247 = (unsigned long )pi;
4988#line 163
4989      __cil_tmp248 = __cil_tmp247 + 16;
4990#line 163
4991      __cil_tmp249 = *((int *)__cil_tmp248);
4992#line 163
4993      __cil_tmp250 = (unsigned long )__cil_tmp249;
4994#line 163
4995      __udelay(__cil_tmp250);
4996      }
4997    } else {
4998
4999    }
5000    }
5001#line 164
5002    goto switch_break;
5003    case_2: /* CIL Label */ 
5004    {
5005#line 166
5006    __cil_tmp251 = (unsigned long )pi;
5007#line 166
5008    __cil_tmp252 = __cil_tmp251 + 8;
5009#line 166
5010    __cil_tmp253 = *((int *)__cil_tmp252);
5011#line 166
5012    outb((unsigned char)137, __cil_tmp253);
5013    }
5014    {
5015#line 166
5016    __cil_tmp254 = (unsigned long )pi;
5017#line 166
5018    __cil_tmp255 = __cil_tmp254 + 16;
5019#line 166
5020    if (*((int *)__cil_tmp255)) {
5021      {
5022#line 166
5023      __cil_tmp256 = (unsigned long )pi;
5024#line 166
5025      __cil_tmp257 = __cil_tmp256 + 16;
5026#line 166
5027      __cil_tmp258 = *((int *)__cil_tmp257);
5028#line 166
5029      __cil_tmp259 = (unsigned long )__cil_tmp258;
5030#line 166
5031      __udelay(__cil_tmp259);
5032      }
5033    } else {
5034
5035    }
5036    }
5037    {
5038#line 166
5039    __cil_tmp260 = (unsigned long )pi;
5040#line 166
5041    __cil_tmp261 = __cil_tmp260 + 8;
5042#line 166
5043    __cil_tmp262 = *((int *)__cil_tmp261);
5044#line 166
5045    __cil_tmp263 = __cil_tmp262 + 2;
5046#line 166
5047    outb((unsigned char)1, __cil_tmp263);
5048    }
5049    {
5050#line 166
5051    __cil_tmp264 = (unsigned long )pi;
5052#line 166
5053    __cil_tmp265 = __cil_tmp264 + 16;
5054#line 166
5055    if (*((int *)__cil_tmp265)) {
5056      {
5057#line 166
5058      __cil_tmp266 = (unsigned long )pi;
5059#line 166
5060      __cil_tmp267 = __cil_tmp266 + 16;
5061#line 166
5062      __cil_tmp268 = *((int *)__cil_tmp267);
5063#line 166
5064      __cil_tmp269 = (unsigned long )__cil_tmp268;
5065#line 166
5066      __udelay(__cil_tmp269);
5067      }
5068    } else {
5069
5070    }
5071    }
5072    {
5073#line 166
5074    __cil_tmp270 = (unsigned long )pi;
5075#line 166
5076    __cil_tmp271 = __cil_tmp270 + 8;
5077#line 166
5078    __cil_tmp272 = *((int *)__cil_tmp271);
5079#line 166
5080    __cil_tmp273 = __cil_tmp272 + 2;
5081#line 166
5082    outb((unsigned char)35, __cil_tmp273);
5083    }
5084    {
5085#line 166
5086    __cil_tmp274 = (unsigned long )pi;
5087#line 166
5088    __cil_tmp275 = __cil_tmp274 + 16;
5089#line 166
5090    if (*((int *)__cil_tmp275)) {
5091      {
5092#line 166
5093      __cil_tmp276 = (unsigned long )pi;
5094#line 166
5095      __cil_tmp277 = __cil_tmp276 + 16;
5096#line 166
5097      __cil_tmp278 = *((int *)__cil_tmp277);
5098#line 166
5099      __cil_tmp279 = (unsigned long )__cil_tmp278;
5100#line 166
5101      __udelay(__cil_tmp279);
5102      }
5103    } else {
5104
5105    }
5106    }
5107    {
5108#line 166
5109    __cil_tmp280 = (unsigned long )pi;
5110#line 166
5111    __cil_tmp281 = __cil_tmp280 + 8;
5112#line 166
5113    __cil_tmp282 = *((int *)__cil_tmp281);
5114#line 166
5115    __cil_tmp283 = __cil_tmp282 + 2;
5116#line 166
5117    outb((unsigned char)33, __cil_tmp283);
5118    }
5119    {
5120#line 166
5121    __cil_tmp284 = (unsigned long )pi;
5122#line 166
5123    __cil_tmp285 = __cil_tmp284 + 16;
5124#line 166
5125    if (*((int *)__cil_tmp285)) {
5126      {
5127#line 166
5128      __cil_tmp286 = (unsigned long )pi;
5129#line 166
5130      __cil_tmp287 = __cil_tmp286 + 16;
5131#line 166
5132      __cil_tmp288 = *((int *)__cil_tmp287);
5133#line 166
5134      __cil_tmp289 = (unsigned long )__cil_tmp288;
5135#line 166
5136      __udelay(__cil_tmp289);
5137      }
5138    } else {
5139
5140    }
5141    }
5142#line 167
5143    ph = 1;
5144#line 168
5145    k = 0;
5146    {
5147#line 168
5148    while (1) {
5149      while_continue___1: /* CIL Label */ ;
5150#line 168
5151      if (k < count) {
5152
5153      } else {
5154#line 168
5155        goto while_break___1;
5156      }
5157      {
5158#line 169
5159      __cil_tmp290 = 36 + ph;
5160#line 169
5161      __cil_tmp291 = (unsigned char )__cil_tmp290;
5162#line 169
5163      __cil_tmp292 = (unsigned long )pi;
5164#line 169
5165      __cil_tmp293 = __cil_tmp292 + 8;
5166#line 169
5167      __cil_tmp294 = *((int *)__cil_tmp293);
5168#line 169
5169      __cil_tmp295 = __cil_tmp294 + 2;
5170#line 169
5171      outb(__cil_tmp291, __cil_tmp295);
5172      }
5173      {
5174#line 169
5175      __cil_tmp296 = (unsigned long )pi;
5176#line 169
5177      __cil_tmp297 = __cil_tmp296 + 16;
5178#line 169
5179      if (*((int *)__cil_tmp297)) {
5180        {
5181#line 169
5182        __cil_tmp298 = (unsigned long )pi;
5183#line 169
5184        __cil_tmp299 = __cil_tmp298 + 16;
5185#line 169
5186        __cil_tmp300 = *((int *)__cil_tmp299);
5187#line 169
5188        __cil_tmp301 = (unsigned long )__cil_tmp300;
5189#line 169
5190        __udelay(__cil_tmp301);
5191        }
5192      } else {
5193
5194      }
5195      }
5196      {
5197#line 170
5198      __cil_tmp302 = (unsigned long )pi;
5199#line 170
5200      __cil_tmp303 = __cil_tmp302 + 16;
5201#line 170
5202      if (*((int *)__cil_tmp303)) {
5203        {
5204#line 170
5205        __cil_tmp304 = (unsigned long )pi;
5206#line 170
5207        __cil_tmp305 = __cil_tmp304 + 16;
5208#line 170
5209        __cil_tmp306 = *((int *)__cil_tmp305);
5210#line 170
5211        __cil_tmp307 = (unsigned long )__cil_tmp306;
5212#line 170
5213        __udelay(__cil_tmp307);
5214        }
5215      } else {
5216
5217      }
5218      }
5219      {
5220#line 170
5221      __cil_tmp308 = (unsigned long )pi;
5222#line 170
5223      __cil_tmp309 = __cil_tmp308 + 8;
5224#line 170
5225      __cil_tmp310 = *((int *)__cil_tmp309);
5226#line 170
5227      tmp___3 = inb(__cil_tmp310);
5228#line 170
5229      __cil_tmp311 = buf + k;
5230#line 170
5231      __cil_tmp312 = (int )tmp___3;
5232#line 170
5233      __cil_tmp313 = __cil_tmp312 & 255;
5234#line 170
5235      *__cil_tmp311 = (char )__cil_tmp313;
5236#line 171
5237      ph = 1 - ph;
5238#line 168
5239      k = k + 1;
5240      }
5241    }
5242    while_break___1: /* CIL Label */ ;
5243    }
5244    {
5245#line 173
5246    __cil_tmp314 = (unsigned long )pi;
5247#line 173
5248    __cil_tmp315 = __cil_tmp314 + 8;
5249#line 173
5250    __cil_tmp316 = *((int *)__cil_tmp315);
5251#line 173
5252    __cil_tmp317 = __cil_tmp316 + 2;
5253#line 173
5254    outb((unsigned char)6, __cil_tmp317);
5255    }
5256    {
5257#line 173
5258    __cil_tmp318 = (unsigned long )pi;
5259#line 173
5260    __cil_tmp319 = __cil_tmp318 + 16;
5261#line 173
5262    if (*((int *)__cil_tmp319)) {
5263      {
5264#line 173
5265      __cil_tmp320 = (unsigned long )pi;
5266#line 173
5267      __cil_tmp321 = __cil_tmp320 + 16;
5268#line 173
5269      __cil_tmp322 = *((int *)__cil_tmp321);
5270#line 173
5271      __cil_tmp323 = (unsigned long )__cil_tmp322;
5272#line 173
5273      __udelay(__cil_tmp323);
5274      }
5275    } else {
5276
5277    }
5278    }
5279    {
5280#line 173
5281    __cil_tmp324 = (unsigned long )pi;
5282#line 173
5283    __cil_tmp325 = __cil_tmp324 + 8;
5284#line 173
5285    __cil_tmp326 = *((int *)__cil_tmp325);
5286#line 173
5287    __cil_tmp327 = __cil_tmp326 + 2;
5288#line 173
5289    outb((unsigned char)4, __cil_tmp327);
5290    }
5291    {
5292#line 173
5293    __cil_tmp328 = (unsigned long )pi;
5294#line 173
5295    __cil_tmp329 = __cil_tmp328 + 16;
5296#line 173
5297    if (*((int *)__cil_tmp329)) {
5298      {
5299#line 173
5300      __cil_tmp330 = (unsigned long )pi;
5301#line 173
5302      __cil_tmp331 = __cil_tmp330 + 16;
5303#line 173
5304      __cil_tmp332 = *((int *)__cil_tmp331);
5305#line 173
5306      __cil_tmp333 = (unsigned long )__cil_tmp332;
5307#line 173
5308      __udelay(__cil_tmp333);
5309      }
5310    } else {
5311
5312    }
5313    }
5314#line 174
5315    goto switch_break;
5316    case_3: /* CIL Label */ 
5317#line 176
5318    if (count > 512) {
5319      {
5320#line 176
5321      epia_write_regr(pi, 0, 132, 3);
5322      }
5323    } else {
5324
5325    }
5326    {
5327#line 177
5328    __cil_tmp334 = (unsigned long )pi;
5329#line 177
5330    __cil_tmp335 = __cil_tmp334 + 8;
5331#line 177
5332    __cil_tmp336 = *((int *)__cil_tmp335);
5333#line 177
5334    __cil_tmp337 = __cil_tmp336 + 3;
5335#line 177
5336    outb((unsigned char)0, __cil_tmp337);
5337    }
5338    {
5339#line 177
5340    __cil_tmp338 = (unsigned long )pi;
5341#line 177
5342    __cil_tmp339 = __cil_tmp338 + 16;
5343#line 177
5344    if (*((int *)__cil_tmp339)) {
5345      {
5346#line 177
5347      __cil_tmp340 = (unsigned long )pi;
5348#line 177
5349      __cil_tmp341 = __cil_tmp340 + 16;
5350#line 177
5351      __cil_tmp342 = *((int *)__cil_tmp341);
5352#line 177
5353      __cil_tmp343 = (unsigned long )__cil_tmp342;
5354#line 177
5355      __udelay(__cil_tmp343);
5356      }
5357    } else {
5358
5359    }
5360    }
5361    {
5362#line 177
5363    __cil_tmp344 = (unsigned long )pi;
5364#line 177
5365    __cil_tmp345 = __cil_tmp344 + 8;
5366#line 177
5367    __cil_tmp346 = *((int *)__cil_tmp345);
5368#line 177
5369    __cil_tmp347 = __cil_tmp346 + 2;
5370#line 177
5371    outb((unsigned char)36, __cil_tmp347);
5372    }
5373    {
5374#line 177
5375    __cil_tmp348 = (unsigned long )pi;
5376#line 177
5377    __cil_tmp349 = __cil_tmp348 + 16;
5378#line 177
5379    if (*((int *)__cil_tmp349)) {
5380      {
5381#line 177
5382      __cil_tmp350 = (unsigned long )pi;
5383#line 177
5384      __cil_tmp351 = __cil_tmp350 + 16;
5385#line 177
5386      __cil_tmp352 = *((int *)__cil_tmp351);
5387#line 177
5388      __cil_tmp353 = (unsigned long )__cil_tmp352;
5389#line 177
5390      __udelay(__cil_tmp353);
5391      }
5392    } else {
5393
5394    }
5395    }
5396#line 178
5397    k = 0;
5398    {
5399#line 178
5400    while (1) {
5401      while_continue___2: /* CIL Label */ ;
5402#line 178
5403      if (k < count) {
5404
5405      } else {
5406#line 178
5407        goto while_break___2;
5408      }
5409      {
5410#line 178
5411      __cil_tmp354 = (unsigned long )pi;
5412#line 178
5413      __cil_tmp355 = __cil_tmp354 + 16;
5414#line 178
5415      if (*((int *)__cil_tmp355)) {
5416        {
5417#line 178
5418        __cil_tmp356 = (unsigned long )pi;
5419#line 178
5420        __cil_tmp357 = __cil_tmp356 + 16;
5421#line 178
5422        __cil_tmp358 = *((int *)__cil_tmp357);
5423#line 178
5424        __cil_tmp359 = (unsigned long )__cil_tmp358;
5425#line 178
5426        __udelay(__cil_tmp359);
5427        }
5428      } else {
5429
5430      }
5431      }
5432      {
5433#line 178
5434      __cil_tmp360 = (unsigned long )pi;
5435#line 178
5436      __cil_tmp361 = __cil_tmp360 + 8;
5437#line 178
5438      __cil_tmp362 = *((int *)__cil_tmp361);
5439#line 178
5440      __cil_tmp363 = __cil_tmp362 + 4;
5441#line 178
5442      tmp___4 = inb(__cil_tmp363);
5443#line 178
5444      __cil_tmp364 = buf + k;
5445#line 178
5446      __cil_tmp365 = (int )tmp___4;
5447#line 178
5448      __cil_tmp366 = __cil_tmp365 & 255;
5449#line 178
5450      *__cil_tmp364 = (char )__cil_tmp366;
5451#line 178
5452      k = k + 1;
5453      }
5454    }
5455    while_break___2: /* CIL Label */ ;
5456    }
5457    {
5458#line 179
5459    __cil_tmp367 = (unsigned long )pi;
5460#line 179
5461    __cil_tmp368 = __cil_tmp367 + 8;
5462#line 179
5463    __cil_tmp369 = *((int *)__cil_tmp368);
5464#line 179
5465    __cil_tmp370 = __cil_tmp369 + 2;
5466#line 179
5467    outb((unsigned char)4, __cil_tmp370);
5468    }
5469    {
5470#line 179
5471    __cil_tmp371 = (unsigned long )pi;
5472#line 179
5473    __cil_tmp372 = __cil_tmp371 + 16;
5474#line 179
5475    if (*((int *)__cil_tmp372)) {
5476      {
5477#line 179
5478      __cil_tmp373 = (unsigned long )pi;
5479#line 179
5480      __cil_tmp374 = __cil_tmp373 + 16;
5481#line 179
5482      __cil_tmp375 = *((int *)__cil_tmp374);
5483#line 179
5484      __cil_tmp376 = (unsigned long )__cil_tmp375;
5485#line 179
5486      __udelay(__cil_tmp376);
5487      }
5488    } else {
5489
5490    }
5491    }
5492    {
5493#line 179
5494    epia_write_regr(pi, 0, 132, 0);
5495    }
5496#line 180
5497    goto switch_break;
5498    case_4: /* CIL Label */ 
5499#line 182
5500    if (count > 512) {
5501      {
5502#line 182
5503      epia_write_regr(pi, 0, 132, 3);
5504      }
5505    } else {
5506
5507    }
5508    {
5509#line 183
5510    __cil_tmp377 = (unsigned long )pi;
5511#line 183
5512    __cil_tmp378 = __cil_tmp377 + 8;
5513#line 183
5514    __cil_tmp379 = *((int *)__cil_tmp378);
5515#line 183
5516    __cil_tmp380 = __cil_tmp379 + 3;
5517#line 183
5518    outb((unsigned char)0, __cil_tmp380);
5519    }
5520    {
5521#line 183
5522    __cil_tmp381 = (unsigned long )pi;
5523#line 183
5524    __cil_tmp382 = __cil_tmp381 + 16;
5525#line 183
5526    if (*((int *)__cil_tmp382)) {
5527      {
5528#line 183
5529      __cil_tmp383 = (unsigned long )pi;
5530#line 183
5531      __cil_tmp384 = __cil_tmp383 + 16;
5532#line 183
5533      __cil_tmp385 = *((int *)__cil_tmp384);
5534#line 183
5535      __cil_tmp386 = (unsigned long )__cil_tmp385;
5536#line 183
5537      __udelay(__cil_tmp386);
5538      }
5539    } else {
5540
5541    }
5542    }
5543    {
5544#line 183
5545    __cil_tmp387 = (unsigned long )pi;
5546#line 183
5547    __cil_tmp388 = __cil_tmp387 + 8;
5548#line 183
5549    __cil_tmp389 = *((int *)__cil_tmp388);
5550#line 183
5551    __cil_tmp390 = __cil_tmp389 + 2;
5552#line 183
5553    outb((unsigned char)36, __cil_tmp390);
5554    }
5555    {
5556#line 183
5557    __cil_tmp391 = (unsigned long )pi;
5558#line 183
5559    __cil_tmp392 = __cil_tmp391 + 16;
5560#line 183
5561    if (*((int *)__cil_tmp392)) {
5562      {
5563#line 183
5564      __cil_tmp393 = (unsigned long )pi;
5565#line 183
5566      __cil_tmp394 = __cil_tmp393 + 16;
5567#line 183
5568      __cil_tmp395 = *((int *)__cil_tmp394);
5569#line 183
5570      __cil_tmp396 = (unsigned long )__cil_tmp395;
5571#line 183
5572      __udelay(__cil_tmp396);
5573      }
5574    } else {
5575
5576    }
5577    }
5578#line 184
5579    k = 0;
5580    {
5581#line 184
5582    while (1) {
5583      while_continue___3: /* CIL Label */ ;
5584      {
5585#line 184
5586      __cil_tmp397 = count / 2;
5587#line 184
5588      if (k < __cil_tmp397) {
5589
5590      } else {
5591#line 184
5592        goto while_break___3;
5593      }
5594      }
5595      {
5596#line 184
5597      __cil_tmp398 = (unsigned long )pi;
5598#line 184
5599      __cil_tmp399 = __cil_tmp398 + 16;
5600#line 184
5601      if (*((int *)__cil_tmp399)) {
5602        {
5603#line 184
5604        __cil_tmp400 = (unsigned long )pi;
5605#line 184
5606        __cil_tmp401 = __cil_tmp400 + 16;
5607#line 184
5608        __cil_tmp402 = *((int *)__cil_tmp401);
5609#line 184
5610        __cil_tmp403 = (unsigned long )__cil_tmp402;
5611#line 184
5612        __udelay(__cil_tmp403);
5613        }
5614      } else {
5615
5616      }
5617      }
5618      {
5619#line 184
5620      __cil_tmp404 = (unsigned long )pi;
5621#line 184
5622      __cil_tmp405 = __cil_tmp404 + 8;
5623#line 184
5624      __cil_tmp406 = *((int *)__cil_tmp405);
5625#line 184
5626      __cil_tmp407 = __cil_tmp406 + 4;
5627#line 184
5628      tmp___5 = inw(__cil_tmp407);
5629#line 184
5630      __cil_tmp408 = (u16 *)buf;
5631#line 184
5632      __cil_tmp409 = __cil_tmp408 + k;
5633#line 184
5634      __cil_tmp410 = (int )tmp___5;
5635#line 184
5636      __cil_tmp411 = __cil_tmp410 & 65535;
5637#line 184
5638      *__cil_tmp409 = (u16 )__cil_tmp411;
5639#line 184
5640      k = k + 1;
5641      }
5642    }
5643    while_break___3: /* CIL Label */ ;
5644    }
5645    {
5646#line 185
5647    __cil_tmp412 = (unsigned long )pi;
5648#line 185
5649    __cil_tmp413 = __cil_tmp412 + 8;
5650#line 185
5651    __cil_tmp414 = *((int *)__cil_tmp413);
5652#line 185
5653    __cil_tmp415 = __cil_tmp414 + 2;
5654#line 185
5655    outb((unsigned char)4, __cil_tmp415);
5656    }
5657    {
5658#line 185
5659    __cil_tmp416 = (unsigned long )pi;
5660#line 185
5661    __cil_tmp417 = __cil_tmp416 + 16;
5662#line 185
5663    if (*((int *)__cil_tmp417)) {
5664      {
5665#line 185
5666      __cil_tmp418 = (unsigned long )pi;
5667#line 185
5668      __cil_tmp419 = __cil_tmp418 + 16;
5669#line 185
5670      __cil_tmp420 = *((int *)__cil_tmp419);
5671#line 185
5672      __cil_tmp421 = (unsigned long )__cil_tmp420;
5673#line 185
5674      __udelay(__cil_tmp421);
5675      }
5676    } else {
5677
5678    }
5679    }
5680    {
5681#line 185
5682    epia_write_regr(pi, 0, 132, 0);
5683    }
5684#line 186
5685    goto switch_break;
5686    case_5: /* CIL Label */ 
5687#line 188
5688    if (count > 512) {
5689      {
5690#line 188
5691      epia_write_regr(pi, 0, 132, 3);
5692      }
5693    } else {
5694
5695    }
5696    {
5697#line 189
5698    __cil_tmp422 = (unsigned long )pi;
5699#line 189
5700    __cil_tmp423 = __cil_tmp422 + 8;
5701#line 189
5702    __cil_tmp424 = *((int *)__cil_tmp423);
5703#line 189
5704    __cil_tmp425 = __cil_tmp424 + 3;
5705#line 189
5706    outb((unsigned char)0, __cil_tmp425);
5707    }
5708    {
5709#line 189
5710    __cil_tmp426 = (unsigned long )pi;
5711#line 189
5712    __cil_tmp427 = __cil_tmp426 + 16;
5713#line 189
5714    if (*((int *)__cil_tmp427)) {
5715      {
5716#line 189
5717      __cil_tmp428 = (unsigned long )pi;
5718#line 189
5719      __cil_tmp429 = __cil_tmp428 + 16;
5720#line 189
5721      __cil_tmp430 = *((int *)__cil_tmp429);
5722#line 189
5723      __cil_tmp431 = (unsigned long )__cil_tmp430;
5724#line 189
5725      __udelay(__cil_tmp431);
5726      }
5727    } else {
5728
5729    }
5730    }
5731    {
5732#line 189
5733    __cil_tmp432 = (unsigned long )pi;
5734#line 189
5735    __cil_tmp433 = __cil_tmp432 + 8;
5736#line 189
5737    __cil_tmp434 = *((int *)__cil_tmp433);
5738#line 189
5739    __cil_tmp435 = __cil_tmp434 + 2;
5740#line 189
5741    outb((unsigned char)36, __cil_tmp435);
5742    }
5743    {
5744#line 189
5745    __cil_tmp436 = (unsigned long )pi;
5746#line 189
5747    __cil_tmp437 = __cil_tmp436 + 16;
5748#line 189
5749    if (*((int *)__cil_tmp437)) {
5750      {
5751#line 189
5752      __cil_tmp438 = (unsigned long )pi;
5753#line 189
5754      __cil_tmp439 = __cil_tmp438 + 16;
5755#line 189
5756      __cil_tmp440 = *((int *)__cil_tmp439);
5757#line 189
5758      __cil_tmp441 = (unsigned long )__cil_tmp440;
5759#line 189
5760      __udelay(__cil_tmp441);
5761      }
5762    } else {
5763
5764    }
5765    }
5766#line 190
5767    k = 0;
5768    {
5769#line 190
5770    while (1) {
5771      while_continue___4: /* CIL Label */ ;
5772      {
5773#line 190
5774      __cil_tmp442 = count / 4;
5775#line 190
5776      if (k < __cil_tmp442) {
5777
5778      } else {
5779#line 190
5780        goto while_break___4;
5781      }
5782      }
5783      {
5784#line 190
5785      __cil_tmp443 = (unsigned long )pi;
5786#line 190
5787      __cil_tmp444 = __cil_tmp443 + 16;
5788#line 190
5789      if (*((int *)__cil_tmp444)) {
5790        {
5791#line 190
5792        __cil_tmp445 = (unsigned long )pi;
5793#line 190
5794        __cil_tmp446 = __cil_tmp445 + 16;
5795#line 190
5796        __cil_tmp447 = *((int *)__cil_tmp446);
5797#line 190
5798        __cil_tmp448 = (unsigned long )__cil_tmp447;
5799#line 190
5800        __udelay(__cil_tmp448);
5801        }
5802      } else {
5803
5804      }
5805      }
5806      {
5807#line 190
5808      __cil_tmp449 = (unsigned long )pi;
5809#line 190
5810      __cil_tmp450 = __cil_tmp449 + 8;
5811#line 190
5812      __cil_tmp451 = *((int *)__cil_tmp450);
5813#line 190
5814      __cil_tmp452 = __cil_tmp451 + 4;
5815#line 190
5816      tmp___6 = inl(__cil_tmp452);
5817#line 190
5818      __cil_tmp453 = (u32 *)buf;
5819#line 190
5820      __cil_tmp454 = __cil_tmp453 + k;
5821#line 190
5822      *__cil_tmp454 = tmp___6 & 4294967295U;
5823#line 190
5824      k = k + 1;
5825      }
5826    }
5827    while_break___4: /* CIL Label */ ;
5828    }
5829    {
5830#line 191
5831    __cil_tmp455 = (unsigned long )pi;
5832#line 191
5833    __cil_tmp456 = __cil_tmp455 + 8;
5834#line 191
5835    __cil_tmp457 = *((int *)__cil_tmp456);
5836#line 191
5837    __cil_tmp458 = __cil_tmp457 + 2;
5838#line 191
5839    outb((unsigned char)4, __cil_tmp458);
5840    }
5841    {
5842#line 191
5843    __cil_tmp459 = (unsigned long )pi;
5844#line 191
5845    __cil_tmp460 = __cil_tmp459 + 16;
5846#line 191
5847    if (*((int *)__cil_tmp460)) {
5848      {
5849#line 191
5850      __cil_tmp461 = (unsigned long )pi;
5851#line 191
5852      __cil_tmp462 = __cil_tmp461 + 16;
5853#line 191
5854      __cil_tmp463 = *((int *)__cil_tmp462);
5855#line 191
5856      __cil_tmp464 = (unsigned long )__cil_tmp463;
5857#line 191
5858      __udelay(__cil_tmp464);
5859      }
5860    } else {
5861
5862    }
5863    }
5864    {
5865#line 191
5866    epia_write_regr(pi, 0, 132, 0);
5867    }
5868#line 192
5869    goto switch_break;
5870  } else {
5871    switch_break: /* CIL Label */ ;
5872  }
5873  }
5874#line 195
5875  return;
5876}
5877}
5878#line 197 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
5879static void epia_write_block(PIA *pi , char *buf , int count ) 
5880{ int ph ;
5881  int k ;
5882  int last ;
5883  int d ;
5884  unsigned long __cil_tmp8 ;
5885  unsigned long __cil_tmp9 ;
5886  unsigned long __cil_tmp10 ;
5887  unsigned long __cil_tmp11 ;
5888  int __cil_tmp12 ;
5889  unsigned long __cil_tmp13 ;
5890  unsigned long __cil_tmp14 ;
5891  unsigned long __cil_tmp15 ;
5892  unsigned long __cil_tmp16 ;
5893  int __cil_tmp17 ;
5894  unsigned long __cil_tmp18 ;
5895  unsigned long __cil_tmp19 ;
5896  unsigned long __cil_tmp20 ;
5897  int __cil_tmp21 ;
5898  int __cil_tmp22 ;
5899  unsigned long __cil_tmp23 ;
5900  unsigned long __cil_tmp24 ;
5901  unsigned long __cil_tmp25 ;
5902  unsigned long __cil_tmp26 ;
5903  int __cil_tmp27 ;
5904  unsigned long __cil_tmp28 ;
5905  unsigned long __cil_tmp29 ;
5906  unsigned long __cil_tmp30 ;
5907  int __cil_tmp31 ;
5908  int __cil_tmp32 ;
5909  unsigned long __cil_tmp33 ;
5910  unsigned long __cil_tmp34 ;
5911  unsigned long __cil_tmp35 ;
5912  unsigned long __cil_tmp36 ;
5913  int __cil_tmp37 ;
5914  unsigned long __cil_tmp38 ;
5915  unsigned long __cil_tmp39 ;
5916  unsigned long __cil_tmp40 ;
5917  int __cil_tmp41 ;
5918  int __cil_tmp42 ;
5919  unsigned long __cil_tmp43 ;
5920  unsigned long __cil_tmp44 ;
5921  unsigned long __cil_tmp45 ;
5922  unsigned long __cil_tmp46 ;
5923  int __cil_tmp47 ;
5924  unsigned long __cil_tmp48 ;
5925  unsigned long __cil_tmp49 ;
5926  unsigned long __cil_tmp50 ;
5927  int __cil_tmp51 ;
5928  int __cil_tmp52 ;
5929  unsigned long __cil_tmp53 ;
5930  unsigned long __cil_tmp54 ;
5931  unsigned long __cil_tmp55 ;
5932  unsigned long __cil_tmp56 ;
5933  int __cil_tmp57 ;
5934  unsigned long __cil_tmp58 ;
5935  char *__cil_tmp59 ;
5936  char __cil_tmp60 ;
5937  unsigned char __cil_tmp61 ;
5938  unsigned long __cil_tmp62 ;
5939  unsigned long __cil_tmp63 ;
5940  int __cil_tmp64 ;
5941  unsigned long __cil_tmp65 ;
5942  unsigned long __cil_tmp66 ;
5943  unsigned long __cil_tmp67 ;
5944  unsigned long __cil_tmp68 ;
5945  int __cil_tmp69 ;
5946  unsigned long __cil_tmp70 ;
5947  int __cil_tmp71 ;
5948  unsigned char __cil_tmp72 ;
5949  unsigned long __cil_tmp73 ;
5950  unsigned long __cil_tmp74 ;
5951  int __cil_tmp75 ;
5952  int __cil_tmp76 ;
5953  unsigned long __cil_tmp77 ;
5954  unsigned long __cil_tmp78 ;
5955  unsigned long __cil_tmp79 ;
5956  unsigned long __cil_tmp80 ;
5957  int __cil_tmp81 ;
5958  unsigned long __cil_tmp82 ;
5959  unsigned long __cil_tmp83 ;
5960  unsigned long __cil_tmp84 ;
5961  int __cil_tmp85 ;
5962  int __cil_tmp86 ;
5963  unsigned long __cil_tmp87 ;
5964  unsigned long __cil_tmp88 ;
5965  unsigned long __cil_tmp89 ;
5966  unsigned long __cil_tmp90 ;
5967  int __cil_tmp91 ;
5968  unsigned long __cil_tmp92 ;
5969  unsigned long __cil_tmp93 ;
5970  unsigned long __cil_tmp94 ;
5971  int __cil_tmp95 ;
5972  int __cil_tmp96 ;
5973  unsigned long __cil_tmp97 ;
5974  unsigned long __cil_tmp98 ;
5975  unsigned long __cil_tmp99 ;
5976  unsigned long __cil_tmp100 ;
5977  int __cil_tmp101 ;
5978  unsigned long __cil_tmp102 ;
5979  unsigned long __cil_tmp103 ;
5980  unsigned long __cil_tmp104 ;
5981  int __cil_tmp105 ;
5982  int __cil_tmp106 ;
5983  unsigned long __cil_tmp107 ;
5984  unsigned long __cil_tmp108 ;
5985  unsigned long __cil_tmp109 ;
5986  unsigned long __cil_tmp110 ;
5987  int __cil_tmp111 ;
5988  unsigned long __cil_tmp112 ;
5989  char *__cil_tmp113 ;
5990  char __cil_tmp114 ;
5991  unsigned char __cil_tmp115 ;
5992  unsigned long __cil_tmp116 ;
5993  unsigned long __cil_tmp117 ;
5994  int __cil_tmp118 ;
5995  int __cil_tmp119 ;
5996  unsigned long __cil_tmp120 ;
5997  unsigned long __cil_tmp121 ;
5998  unsigned long __cil_tmp122 ;
5999  unsigned long __cil_tmp123 ;
6000  int __cil_tmp124 ;
6001  unsigned long __cil_tmp125 ;
6002  unsigned long __cil_tmp126 ;
6003  unsigned long __cil_tmp127 ;
6004  int __cil_tmp128 ;
6005  int __cil_tmp129 ;
6006  unsigned long __cil_tmp130 ;
6007  unsigned long __cil_tmp131 ;
6008  unsigned long __cil_tmp132 ;
6009  unsigned long __cil_tmp133 ;
6010  int __cil_tmp134 ;
6011  unsigned long __cil_tmp135 ;
6012  int __cil_tmp136 ;
6013  u16 *__cil_tmp137 ;
6014  u16 *__cil_tmp138 ;
6015  u16 __cil_tmp139 ;
6016  unsigned long __cil_tmp140 ;
6017  unsigned long __cil_tmp141 ;
6018  int __cil_tmp142 ;
6019  int __cil_tmp143 ;
6020  unsigned long __cil_tmp144 ;
6021  unsigned long __cil_tmp145 ;
6022  unsigned long __cil_tmp146 ;
6023  unsigned long __cil_tmp147 ;
6024  int __cil_tmp148 ;
6025  unsigned long __cil_tmp149 ;
6026  unsigned long __cil_tmp150 ;
6027  unsigned long __cil_tmp151 ;
6028  int __cil_tmp152 ;
6029  int __cil_tmp153 ;
6030  unsigned long __cil_tmp154 ;
6031  unsigned long __cil_tmp155 ;
6032  unsigned long __cil_tmp156 ;
6033  unsigned long __cil_tmp157 ;
6034  int __cil_tmp158 ;
6035  unsigned long __cil_tmp159 ;
6036  int __cil_tmp160 ;
6037  u32 *__cil_tmp161 ;
6038  u32 *__cil_tmp162 ;
6039  u32 __cil_tmp163 ;
6040  unsigned long __cil_tmp164 ;
6041  unsigned long __cil_tmp165 ;
6042  int __cil_tmp166 ;
6043  int __cil_tmp167 ;
6044  unsigned long __cil_tmp168 ;
6045  unsigned long __cil_tmp169 ;
6046  unsigned long __cil_tmp170 ;
6047  unsigned long __cil_tmp171 ;
6048  int __cil_tmp172 ;
6049  unsigned long __cil_tmp173 ;
6050
6051  {
6052  {
6053#line 201
6054  __cil_tmp8 = (unsigned long )pi;
6055#line 201
6056  __cil_tmp9 = __cil_tmp8 + 12;
6057#line 203
6058  if (*((int *)__cil_tmp9) == 0) {
6059#line 203
6060    goto case_0;
6061  } else
6062#line 204
6063  if (*((int *)__cil_tmp9) == 1) {
6064#line 204
6065    goto case_0;
6066  } else
6067#line 205
6068  if (*((int *)__cil_tmp9) == 2) {
6069#line 205
6070    goto case_0;
6071  } else
6072#line 216
6073  if (*((int *)__cil_tmp9) == 3) {
6074#line 216
6075    goto case_3;
6076  } else
6077#line 222
6078  if (*((int *)__cil_tmp9) == 4) {
6079#line 222
6080    goto case_4;
6081  } else
6082#line 228
6083  if (*((int *)__cil_tmp9) == 5) {
6084#line 228
6085    goto case_5;
6086  } else
6087#line 201
6088  if (0) {
6089    case_0: /* CIL Label */ 
6090    case_1: /* CIL Label */ 
6091    case_2: /* CIL Label */ 
6092    {
6093#line 205
6094    __cil_tmp10 = (unsigned long )pi;
6095#line 205
6096    __cil_tmp11 = __cil_tmp10 + 8;
6097#line 205
6098    __cil_tmp12 = *((int *)__cil_tmp11);
6099#line 205
6100    outb((unsigned char)161, __cil_tmp12);
6101    }
6102    {
6103#line 205
6104    __cil_tmp13 = (unsigned long )pi;
6105#line 205
6106    __cil_tmp14 = __cil_tmp13 + 16;
6107#line 205
6108    if (*((int *)__cil_tmp14)) {
6109      {
6110#line 205
6111      __cil_tmp15 = (unsigned long )pi;
6112#line 205
6113      __cil_tmp16 = __cil_tmp15 + 16;
6114#line 205
6115      __cil_tmp17 = *((int *)__cil_tmp16);
6116#line 205
6117      __cil_tmp18 = (unsigned long )__cil_tmp17;
6118#line 205
6119      __udelay(__cil_tmp18);
6120      }
6121    } else {
6122
6123    }
6124    }
6125    {
6126#line 205
6127    __cil_tmp19 = (unsigned long )pi;
6128#line 205
6129    __cil_tmp20 = __cil_tmp19 + 8;
6130#line 205
6131    __cil_tmp21 = *((int *)__cil_tmp20);
6132#line 205
6133    __cil_tmp22 = __cil_tmp21 + 2;
6134#line 205
6135    outb((unsigned char)1, __cil_tmp22);
6136    }
6137    {
6138#line 205
6139    __cil_tmp23 = (unsigned long )pi;
6140#line 205
6141    __cil_tmp24 = __cil_tmp23 + 16;
6142#line 205
6143    if (*((int *)__cil_tmp24)) {
6144      {
6145#line 205
6146      __cil_tmp25 = (unsigned long )pi;
6147#line 205
6148      __cil_tmp26 = __cil_tmp25 + 16;
6149#line 205
6150      __cil_tmp27 = *((int *)__cil_tmp26);
6151#line 205
6152      __cil_tmp28 = (unsigned long )__cil_tmp27;
6153#line 205
6154      __udelay(__cil_tmp28);
6155      }
6156    } else {
6157
6158    }
6159    }
6160    {
6161#line 205
6162    __cil_tmp29 = (unsigned long )pi;
6163#line 205
6164    __cil_tmp30 = __cil_tmp29 + 8;
6165#line 205
6166    __cil_tmp31 = *((int *)__cil_tmp30);
6167#line 205
6168    __cil_tmp32 = __cil_tmp31 + 2;
6169#line 205
6170    outb((unsigned char)3, __cil_tmp32);
6171    }
6172    {
6173#line 205
6174    __cil_tmp33 = (unsigned long )pi;
6175#line 205
6176    __cil_tmp34 = __cil_tmp33 + 16;
6177#line 205
6178    if (*((int *)__cil_tmp34)) {
6179      {
6180#line 205
6181      __cil_tmp35 = (unsigned long )pi;
6182#line 205
6183      __cil_tmp36 = __cil_tmp35 + 16;
6184#line 205
6185      __cil_tmp37 = *((int *)__cil_tmp36);
6186#line 205
6187      __cil_tmp38 = (unsigned long )__cil_tmp37;
6188#line 205
6189      __udelay(__cil_tmp38);
6190      }
6191    } else {
6192
6193    }
6194    }
6195    {
6196#line 205
6197    __cil_tmp39 = (unsigned long )pi;
6198#line 205
6199    __cil_tmp40 = __cil_tmp39 + 8;
6200#line 205
6201    __cil_tmp41 = *((int *)__cil_tmp40);
6202#line 205
6203    __cil_tmp42 = __cil_tmp41 + 2;
6204#line 205
6205    outb((unsigned char)1, __cil_tmp42);
6206    }
6207    {
6208#line 205
6209    __cil_tmp43 = (unsigned long )pi;
6210#line 205
6211    __cil_tmp44 = __cil_tmp43 + 16;
6212#line 205
6213    if (*((int *)__cil_tmp44)) {
6214      {
6215#line 205
6216      __cil_tmp45 = (unsigned long )pi;
6217#line 205
6218      __cil_tmp46 = __cil_tmp45 + 16;
6219#line 205
6220      __cil_tmp47 = *((int *)__cil_tmp46);
6221#line 205
6222      __cil_tmp48 = (unsigned long )__cil_tmp47;
6223#line 205
6224      __udelay(__cil_tmp48);
6225      }
6226    } else {
6227
6228    }
6229    }
6230    {
6231#line 205
6232    __cil_tmp49 = (unsigned long )pi;
6233#line 205
6234    __cil_tmp50 = __cil_tmp49 + 8;
6235#line 205
6236    __cil_tmp51 = *((int *)__cil_tmp50);
6237#line 205
6238    __cil_tmp52 = __cil_tmp51 + 2;
6239#line 205
6240    outb((unsigned char)5, __cil_tmp52);
6241    }
6242    {
6243#line 205
6244    __cil_tmp53 = (unsigned long )pi;
6245#line 205
6246    __cil_tmp54 = __cil_tmp53 + 16;
6247#line 205
6248    if (*((int *)__cil_tmp54)) {
6249      {
6250#line 205
6251      __cil_tmp55 = (unsigned long )pi;
6252#line 205
6253      __cil_tmp56 = __cil_tmp55 + 16;
6254#line 205
6255      __cil_tmp57 = *((int *)__cil_tmp56);
6256#line 205
6257      __cil_tmp58 = (unsigned long )__cil_tmp57;
6258#line 205
6259      __udelay(__cil_tmp58);
6260      }
6261    } else {
6262
6263    }
6264    }
6265#line 206
6266    ph = 0;
6267#line 206
6268    last = 32768;
6269#line 207
6270    k = 0;
6271    {
6272#line 207
6273    while (1) {
6274      while_continue: /* CIL Label */ ;
6275#line 207
6276      if (k < count) {
6277
6278      } else {
6279#line 207
6280        goto while_break;
6281      }
6282#line 208
6283      __cil_tmp59 = buf + k;
6284#line 208
6285      __cil_tmp60 = *__cil_tmp59;
6286#line 208
6287      d = (int )__cil_tmp60;
6288#line 209
6289      if (d != last) {
6290        {
6291#line 209
6292        last = d;
6293#line 209
6294        __cil_tmp61 = (unsigned char )d;
6295#line 209
6296        __cil_tmp62 = (unsigned long )pi;
6297#line 209
6298        __cil_tmp63 = __cil_tmp62 + 8;
6299#line 209
6300        __cil_tmp64 = *((int *)__cil_tmp63);
6301#line 209
6302        outb(__cil_tmp61, __cil_tmp64);
6303        }
6304        {
6305#line 209
6306        __cil_tmp65 = (unsigned long )pi;
6307#line 209
6308        __cil_tmp66 = __cil_tmp65 + 16;
6309#line 209
6310        if (*((int *)__cil_tmp66)) {
6311          {
6312#line 209
6313          __cil_tmp67 = (unsigned long )pi;
6314#line 209
6315          __cil_tmp68 = __cil_tmp67 + 16;
6316#line 209
6317          __cil_tmp69 = *((int *)__cil_tmp68);
6318#line 209
6319          __cil_tmp70 = (unsigned long )__cil_tmp69;
6320#line 209
6321          __udelay(__cil_tmp70);
6322          }
6323        } else {
6324
6325        }
6326        }
6327      } else {
6328
6329      }
6330      {
6331#line 210
6332      __cil_tmp71 = 4 + ph;
6333#line 210
6334      __cil_tmp72 = (unsigned char )__cil_tmp71;
6335#line 210
6336      __cil_tmp73 = (unsigned long )pi;
6337#line 210
6338      __cil_tmp74 = __cil_tmp73 + 8;
6339#line 210
6340      __cil_tmp75 = *((int *)__cil_tmp74);
6341#line 210
6342      __cil_tmp76 = __cil_tmp75 + 2;
6343#line 210
6344      outb(__cil_tmp72, __cil_tmp76);
6345      }
6346      {
6347#line 210
6348      __cil_tmp77 = (unsigned long )pi;
6349#line 210
6350      __cil_tmp78 = __cil_tmp77 + 16;
6351#line 210
6352      if (*((int *)__cil_tmp78)) {
6353        {
6354#line 210
6355        __cil_tmp79 = (unsigned long )pi;
6356#line 210
6357        __cil_tmp80 = __cil_tmp79 + 16;
6358#line 210
6359        __cil_tmp81 = *((int *)__cil_tmp80);
6360#line 210
6361        __cil_tmp82 = (unsigned long )__cil_tmp81;
6362#line 210
6363        __udelay(__cil_tmp82);
6364        }
6365      } else {
6366
6367      }
6368      }
6369#line 211
6370      ph = 1 - ph;
6371#line 207
6372      k = k + 1;
6373    }
6374    while_break: /* CIL Label */ ;
6375    }
6376    {
6377#line 213
6378    __cil_tmp83 = (unsigned long )pi;
6379#line 213
6380    __cil_tmp84 = __cil_tmp83 + 8;
6381#line 213
6382    __cil_tmp85 = *((int *)__cil_tmp84);
6383#line 213
6384    __cil_tmp86 = __cil_tmp85 + 2;
6385#line 213
6386    outb((unsigned char)7, __cil_tmp86);
6387    }
6388    {
6389#line 213
6390    __cil_tmp87 = (unsigned long )pi;
6391#line 213
6392    __cil_tmp88 = __cil_tmp87 + 16;
6393#line 213
6394    if (*((int *)__cil_tmp88)) {
6395      {
6396#line 213
6397      __cil_tmp89 = (unsigned long )pi;
6398#line 213
6399      __cil_tmp90 = __cil_tmp89 + 16;
6400#line 213
6401      __cil_tmp91 = *((int *)__cil_tmp90);
6402#line 213
6403      __cil_tmp92 = (unsigned long )__cil_tmp91;
6404#line 213
6405      __udelay(__cil_tmp92);
6406      }
6407    } else {
6408
6409    }
6410    }
6411    {
6412#line 213
6413    __cil_tmp93 = (unsigned long )pi;
6414#line 213
6415    __cil_tmp94 = __cil_tmp93 + 8;
6416#line 213
6417    __cil_tmp95 = *((int *)__cil_tmp94);
6418#line 213
6419    __cil_tmp96 = __cil_tmp95 + 2;
6420#line 213
6421    outb((unsigned char)4, __cil_tmp96);
6422    }
6423    {
6424#line 213
6425    __cil_tmp97 = (unsigned long )pi;
6426#line 213
6427    __cil_tmp98 = __cil_tmp97 + 16;
6428#line 213
6429    if (*((int *)__cil_tmp98)) {
6430      {
6431#line 213
6432      __cil_tmp99 = (unsigned long )pi;
6433#line 213
6434      __cil_tmp100 = __cil_tmp99 + 16;
6435#line 213
6436      __cil_tmp101 = *((int *)__cil_tmp100);
6437#line 213
6438      __cil_tmp102 = (unsigned long )__cil_tmp101;
6439#line 213
6440      __udelay(__cil_tmp102);
6441      }
6442    } else {
6443
6444    }
6445    }
6446#line 214
6447    goto switch_break;
6448    case_3: /* CIL Label */ 
6449#line 216
6450    if (count < 512) {
6451      {
6452#line 216
6453      epia_write_regr(pi, 0, 132, 1);
6454      }
6455    } else {
6456
6457    }
6458    {
6459#line 217
6460    __cil_tmp103 = (unsigned long )pi;
6461#line 217
6462    __cil_tmp104 = __cil_tmp103 + 8;
6463#line 217
6464    __cil_tmp105 = *((int *)__cil_tmp104);
6465#line 217
6466    __cil_tmp106 = __cil_tmp105 + 3;
6467#line 217
6468    outb((unsigned char)64, __cil_tmp106);
6469    }
6470    {
6471#line 217
6472    __cil_tmp107 = (unsigned long )pi;
6473#line 217
6474    __cil_tmp108 = __cil_tmp107 + 16;
6475#line 217
6476    if (*((int *)__cil_tmp108)) {
6477      {
6478#line 217
6479      __cil_tmp109 = (unsigned long )pi;
6480#line 217
6481      __cil_tmp110 = __cil_tmp109 + 16;
6482#line 217
6483      __cil_tmp111 = *((int *)__cil_tmp110);
6484#line 217
6485      __cil_tmp112 = (unsigned long )__cil_tmp111;
6486#line 217
6487      __udelay(__cil_tmp112);
6488      }
6489    } else {
6490
6491    }
6492    }
6493#line 218
6494    k = 0;
6495    {
6496#line 218
6497    while (1) {
6498      while_continue___0: /* CIL Label */ ;
6499#line 218
6500      if (k < count) {
6501
6502      } else {
6503#line 218
6504        goto while_break___0;
6505      }
6506      {
6507#line 218
6508      __cil_tmp113 = buf + k;
6509#line 218
6510      __cil_tmp114 = *__cil_tmp113;
6511#line 218
6512      __cil_tmp115 = (unsigned char )__cil_tmp114;
6513#line 218
6514      __cil_tmp116 = (unsigned long )pi;
6515#line 218
6516      __cil_tmp117 = __cil_tmp116 + 8;
6517#line 218
6518      __cil_tmp118 = *((int *)__cil_tmp117);
6519#line 218
6520      __cil_tmp119 = __cil_tmp118 + 4;
6521#line 218
6522      outb(__cil_tmp115, __cil_tmp119);
6523      }
6524      {
6525#line 218
6526      __cil_tmp120 = (unsigned long )pi;
6527#line 218
6528      __cil_tmp121 = __cil_tmp120 + 16;
6529#line 218
6530      if (*((int *)__cil_tmp121)) {
6531        {
6532#line 218
6533        __cil_tmp122 = (unsigned long )pi;
6534#line 218
6535        __cil_tmp123 = __cil_tmp122 + 16;
6536#line 218
6537        __cil_tmp124 = *((int *)__cil_tmp123);
6538#line 218
6539        __cil_tmp125 = (unsigned long )__cil_tmp124;
6540#line 218
6541        __udelay(__cil_tmp125);
6542        }
6543      } else {
6544
6545      }
6546      }
6547#line 218
6548      k = k + 1;
6549    }
6550    while_break___0: /* CIL Label */ ;
6551    }
6552#line 219
6553    if (count < 512) {
6554      {
6555#line 219
6556      epia_write_regr(pi, 0, 132, 0);
6557      }
6558    } else {
6559
6560    }
6561#line 220
6562    goto switch_break;
6563    case_4: /* CIL Label */ 
6564#line 222
6565    if (count < 512) {
6566      {
6567#line 222
6568      epia_write_regr(pi, 0, 132, 1);
6569      }
6570    } else {
6571
6572    }
6573    {
6574#line 223
6575    __cil_tmp126 = (unsigned long )pi;
6576#line 223
6577    __cil_tmp127 = __cil_tmp126 + 8;
6578#line 223
6579    __cil_tmp128 = *((int *)__cil_tmp127);
6580#line 223
6581    __cil_tmp129 = __cil_tmp128 + 3;
6582#line 223
6583    outb((unsigned char)64, __cil_tmp129);
6584    }
6585    {
6586#line 223
6587    __cil_tmp130 = (unsigned long )pi;
6588#line 223
6589    __cil_tmp131 = __cil_tmp130 + 16;
6590#line 223
6591    if (*((int *)__cil_tmp131)) {
6592      {
6593#line 223
6594      __cil_tmp132 = (unsigned long )pi;
6595#line 223
6596      __cil_tmp133 = __cil_tmp132 + 16;
6597#line 223
6598      __cil_tmp134 = *((int *)__cil_tmp133);
6599#line 223
6600      __cil_tmp135 = (unsigned long )__cil_tmp134;
6601#line 223
6602      __udelay(__cil_tmp135);
6603      }
6604    } else {
6605
6606    }
6607    }
6608#line 224
6609    k = 0;
6610    {
6611#line 224
6612    while (1) {
6613      while_continue___1: /* CIL Label */ ;
6614      {
6615#line 224
6616      __cil_tmp136 = count / 2;
6617#line 224
6618      if (k < __cil_tmp136) {
6619
6620      } else {
6621#line 224
6622        goto while_break___1;
6623      }
6624      }
6625      {
6626#line 224
6627      __cil_tmp137 = (u16 *)buf;
6628#line 224
6629      __cil_tmp138 = __cil_tmp137 + k;
6630#line 224
6631      __cil_tmp139 = *__cil_tmp138;
6632#line 224
6633      __cil_tmp140 = (unsigned long )pi;
6634#line 224
6635      __cil_tmp141 = __cil_tmp140 + 8;
6636#line 224
6637      __cil_tmp142 = *((int *)__cil_tmp141);
6638#line 224
6639      __cil_tmp143 = __cil_tmp142 + 4;
6640#line 224
6641      outw(__cil_tmp139, __cil_tmp143);
6642      }
6643      {
6644#line 224
6645      __cil_tmp144 = (unsigned long )pi;
6646#line 224
6647      __cil_tmp145 = __cil_tmp144 + 16;
6648#line 224
6649      if (*((int *)__cil_tmp145)) {
6650        {
6651#line 224
6652        __cil_tmp146 = (unsigned long )pi;
6653#line 224
6654        __cil_tmp147 = __cil_tmp146 + 16;
6655#line 224
6656        __cil_tmp148 = *((int *)__cil_tmp147);
6657#line 224
6658        __cil_tmp149 = (unsigned long )__cil_tmp148;
6659#line 224
6660        __udelay(__cil_tmp149);
6661        }
6662      } else {
6663
6664      }
6665      }
6666#line 224
6667      k = k + 1;
6668    }
6669    while_break___1: /* CIL Label */ ;
6670    }
6671#line 225
6672    if (count < 512) {
6673      {
6674#line 225
6675      epia_write_regr(pi, 0, 132, 0);
6676      }
6677    } else {
6678
6679    }
6680#line 226
6681    goto switch_break;
6682    case_5: /* CIL Label */ 
6683#line 228
6684    if (count < 512) {
6685      {
6686#line 228
6687      epia_write_regr(pi, 0, 132, 1);
6688      }
6689    } else {
6690
6691    }
6692    {
6693#line 229
6694    __cil_tmp150 = (unsigned long )pi;
6695#line 229
6696    __cil_tmp151 = __cil_tmp150 + 8;
6697#line 229
6698    __cil_tmp152 = *((int *)__cil_tmp151);
6699#line 229
6700    __cil_tmp153 = __cil_tmp152 + 3;
6701#line 229
6702    outb((unsigned char)64, __cil_tmp153);
6703    }
6704    {
6705#line 229
6706    __cil_tmp154 = (unsigned long )pi;
6707#line 229
6708    __cil_tmp155 = __cil_tmp154 + 16;
6709#line 229
6710    if (*((int *)__cil_tmp155)) {
6711      {
6712#line 229
6713      __cil_tmp156 = (unsigned long )pi;
6714#line 229
6715      __cil_tmp157 = __cil_tmp156 + 16;
6716#line 229
6717      __cil_tmp158 = *((int *)__cil_tmp157);
6718#line 229
6719      __cil_tmp159 = (unsigned long )__cil_tmp158;
6720#line 229
6721      __udelay(__cil_tmp159);
6722      }
6723    } else {
6724
6725    }
6726    }
6727#line 230
6728    k = 0;
6729    {
6730#line 230
6731    while (1) {
6732      while_continue___2: /* CIL Label */ ;
6733      {
6734#line 230
6735      __cil_tmp160 = count / 4;
6736#line 230
6737      if (k < __cil_tmp160) {
6738
6739      } else {
6740#line 230
6741        goto while_break___2;
6742      }
6743      }
6744      {
6745#line 230
6746      __cil_tmp161 = (u32 *)buf;
6747#line 230
6748      __cil_tmp162 = __cil_tmp161 + k;
6749#line 230
6750      __cil_tmp163 = *__cil_tmp162;
6751#line 230
6752      __cil_tmp164 = (unsigned long )pi;
6753#line 230
6754      __cil_tmp165 = __cil_tmp164 + 8;
6755#line 230
6756      __cil_tmp166 = *((int *)__cil_tmp165);
6757#line 230
6758      __cil_tmp167 = __cil_tmp166 + 4;
6759#line 230
6760      outl(__cil_tmp163, __cil_tmp167);
6761      }
6762      {
6763#line 230
6764      __cil_tmp168 = (unsigned long )pi;
6765#line 230
6766      __cil_tmp169 = __cil_tmp168 + 16;
6767#line 230
6768      if (*((int *)__cil_tmp169)) {
6769        {
6770#line 230
6771        __cil_tmp170 = (unsigned long )pi;
6772#line 230
6773        __cil_tmp171 = __cil_tmp170 + 16;
6774#line 230
6775        __cil_tmp172 = *((int *)__cil_tmp171);
6776#line 230
6777        __cil_tmp173 = (unsigned long )__cil_tmp172;
6778#line 230
6779        __udelay(__cil_tmp173);
6780        }
6781      } else {
6782
6783      }
6784      }
6785#line 230
6786      k = k + 1;
6787    }
6788    while_break___2: /* CIL Label */ ;
6789    }
6790#line 231
6791    if (count < 512) {
6792      {
6793#line 231
6794      epia_write_regr(pi, 0, 132, 0);
6795      }
6796    } else {
6797
6798    }
6799#line 232
6800    goto switch_break;
6801  } else {
6802    switch_break: /* CIL Label */ ;
6803  }
6804  }
6805#line 236
6806  return;
6807}
6808}
6809#line 238 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
6810static int epia_test_proto(PIA *pi , char *scratch , int verbose ) 
6811{ int j ;
6812  int k ;
6813  int f ;
6814  int e[2] ;
6815  int tmp ;
6816  int tmp___0 ;
6817  unsigned long __cil_tmp10 ;
6818  unsigned long __cil_tmp11 ;
6819  unsigned long __cil_tmp12 ;
6820  unsigned long __cil_tmp13 ;
6821  int __cil_tmp14 ;
6822  int __cil_tmp15 ;
6823  int __cil_tmp16 ;
6824  int __cil_tmp17 ;
6825  int __cil_tmp18 ;
6826  unsigned long __cil_tmp19 ;
6827  unsigned long __cil_tmp20 ;
6828  unsigned long __cil_tmp21 ;
6829  unsigned long __cil_tmp22 ;
6830  int __cil_tmp23 ;
6831  int __cil_tmp24 ;
6832  int __cil_tmp25 ;
6833  int __cil_tmp26 ;
6834  char *__cil_tmp27 ;
6835  char __cil_tmp28 ;
6836  int __cil_tmp29 ;
6837  int __cil_tmp30 ;
6838  int __cil_tmp31 ;
6839  int __cil_tmp32 ;
6840  int __cil_tmp33 ;
6841  int __cil_tmp34 ;
6842  char *__cil_tmp35 ;
6843  char __cil_tmp36 ;
6844  int __cil_tmp37 ;
6845  int __cil_tmp38 ;
6846  unsigned long __cil_tmp39 ;
6847  unsigned long __cil_tmp40 ;
6848  char *__cil_tmp41 ;
6849  unsigned long __cil_tmp42 ;
6850  unsigned long __cil_tmp43 ;
6851  int __cil_tmp44 ;
6852  unsigned long __cil_tmp45 ;
6853  unsigned long __cil_tmp46 ;
6854  int __cil_tmp47 ;
6855  unsigned long __cil_tmp48 ;
6856  unsigned long __cil_tmp49 ;
6857  int __cil_tmp50 ;
6858  unsigned long __cil_tmp51 ;
6859  unsigned long __cil_tmp52 ;
6860  int __cil_tmp53 ;
6861  unsigned long __cil_tmp54 ;
6862  unsigned long __cil_tmp55 ;
6863  unsigned long __cil_tmp56 ;
6864  unsigned long __cil_tmp57 ;
6865
6866  {
6867  {
6868#line 241
6869  __cil_tmp10 = 0 * 4UL;
6870#line 241
6871  __cil_tmp11 = (unsigned long )(e) + __cil_tmp10;
6872#line 241
6873  *((int *)__cil_tmp11) = 0;
6874#line 241
6875  __cil_tmp12 = 1 * 4UL;
6876#line 241
6877  __cil_tmp13 = (unsigned long )(e) + __cil_tmp12;
6878#line 241
6879  *((int *)__cil_tmp13) = 0;
6880#line 243
6881  epia_connect(pi);
6882#line 244
6883  j = 0;
6884  }
6885  {
6886#line 244
6887  while (1) {
6888    while_continue: /* CIL Label */ ;
6889#line 244
6890    if (j < 2) {
6891
6892    } else {
6893#line 244
6894      goto while_break;
6895    }
6896    {
6897#line 245
6898    __cil_tmp14 = j * 16;
6899#line 245
6900    __cil_tmp15 = 160 + __cil_tmp14;
6901#line 245
6902    epia_write_regr(pi, 0, 6, __cil_tmp15);
6903#line 246
6904    k = 0;
6905    }
6906    {
6907#line 246
6908    while (1) {
6909      while_continue___0: /* CIL Label */ ;
6910#line 246
6911      if (k < 256) {
6912
6913      } else {
6914#line 246
6915        goto while_break___0;
6916      }
6917      {
6918#line 247
6919      __cil_tmp16 = k ^ 170;
6920#line 247
6921      epia_write_regr(pi, 0, 2, __cil_tmp16);
6922#line 248
6923      __cil_tmp17 = k ^ 85;
6924#line 248
6925      epia_write_regr(pi, 0, 3, __cil_tmp17);
6926#line 249
6927      tmp = epia_read_regr(pi, 0, 2);
6928      }
6929      {
6930#line 249
6931      __cil_tmp18 = k ^ 170;
6932#line 249
6933      if (tmp != __cil_tmp18) {
6934#line 249
6935        __cil_tmp19 = j * 4UL;
6936#line 249
6937        __cil_tmp20 = (unsigned long )(e) + __cil_tmp19;
6938#line 249
6939        __cil_tmp21 = j * 4UL;
6940#line 249
6941        __cil_tmp22 = (unsigned long )(e) + __cil_tmp21;
6942#line 249
6943        __cil_tmp23 = *((int *)__cil_tmp22);
6944#line 249
6945        *((int *)__cil_tmp20) = __cil_tmp23 + 1;
6946      } else {
6947
6948      }
6949      }
6950#line 246
6951      k = k + 1;
6952    }
6953    while_break___0: /* CIL Label */ ;
6954    }
6955    {
6956#line 251
6957    epia_write_regr(pi, 0, 2, 1);
6958#line 251
6959    epia_write_regr(pi, 0, 3, 1);
6960#line 244
6961    j = j + 1;
6962    }
6963  }
6964  while_break: /* CIL Label */ ;
6965  }
6966  {
6967#line 253
6968  epia_disconnect(pi);
6969#line 255
6970  f = 0;
6971#line 256
6972  epia_connect(pi);
6973#line 257
6974  epia_write_regr(pi, 0, 132, 8);
6975#line 258
6976  epia_read_block(pi, scratch, 512);
6977#line 259
6978  k = 0;
6979  }
6980  {
6981#line 259
6982  while (1) {
6983    while_continue___1: /* CIL Label */ ;
6984#line 259
6985    if (k < 256) {
6986
6987    } else {
6988#line 259
6989      goto while_break___1;
6990    }
6991    {
6992#line 260
6993    __cil_tmp24 = k + 1;
6994#line 260
6995    __cil_tmp25 = __cil_tmp24 & 255;
6996#line 260
6997    __cil_tmp26 = 2 * k;
6998#line 260
6999    __cil_tmp27 = scratch + __cil_tmp26;
7000#line 260
7001    __cil_tmp28 = *__cil_tmp27;
7002#line 260
7003    __cil_tmp29 = (int )__cil_tmp28;
7004#line 260
7005    __cil_tmp30 = __cil_tmp29 & 255;
7006#line 260
7007    if (__cil_tmp30 != __cil_tmp25) {
7008#line 260
7009      f = f + 1;
7010    } else {
7011
7012    }
7013    }
7014    {
7015#line 261
7016    __cil_tmp31 = -2 - k;
7017#line 261
7018    __cil_tmp32 = __cil_tmp31 & 255;
7019#line 261
7020    __cil_tmp33 = 2 * k;
7021#line 261
7022    __cil_tmp34 = __cil_tmp33 + 1;
7023#line 261
7024    __cil_tmp35 = scratch + __cil_tmp34;
7025#line 261
7026    __cil_tmp36 = *__cil_tmp35;
7027#line 261
7028    __cil_tmp37 = (int )__cil_tmp36;
7029#line 261
7030    __cil_tmp38 = __cil_tmp37 & 255;
7031#line 261
7032    if (__cil_tmp38 != __cil_tmp32) {
7033#line 261
7034      f = f + 1;
7035    } else {
7036
7037    }
7038    }
7039#line 259
7040    k = k + 1;
7041  }
7042  while_break___1: /* CIL Label */ ;
7043  }
7044  {
7045#line 263
7046  epia_write_regr(pi, 0, 132, 0);
7047#line 264
7048  epia_disconnect(pi);
7049  }
7050#line 266
7051  if (verbose) {
7052    {
7053#line 267
7054    __cil_tmp39 = (unsigned long )pi;
7055#line 267
7056    __cil_tmp40 = __cil_tmp39 + 24;
7057#line 267
7058    __cil_tmp41 = *((char **)__cil_tmp40);
7059#line 267
7060    __cil_tmp42 = (unsigned long )pi;
7061#line 267
7062    __cil_tmp43 = __cil_tmp42 + 8;
7063#line 267
7064    __cil_tmp44 = *((int *)__cil_tmp43);
7065#line 267
7066    __cil_tmp45 = (unsigned long )pi;
7067#line 267
7068    __cil_tmp46 = __cil_tmp45 + 12;
7069#line 267
7070    __cil_tmp47 = *((int *)__cil_tmp46);
7071#line 267
7072    __cil_tmp48 = 0 * 4UL;
7073#line 267
7074    __cil_tmp49 = (unsigned long )(e) + __cil_tmp48;
7075#line 267
7076    __cil_tmp50 = *((int *)__cil_tmp49);
7077#line 267
7078    __cil_tmp51 = 1 * 4UL;
7079#line 267
7080    __cil_tmp52 = (unsigned long )(e) + __cil_tmp51;
7081#line 267
7082    __cil_tmp53 = *((int *)__cil_tmp52);
7083#line 267
7084    printk("%s: epia: port 0x%x, mode %d, test=(%d,%d,%d)\n", __cil_tmp41, __cil_tmp44,
7085           __cil_tmp47, __cil_tmp50, __cil_tmp53, f);
7086    }
7087  } else {
7088
7089  }
7090  {
7091#line 271
7092  __cil_tmp54 = 0 * 4UL;
7093#line 271
7094  __cil_tmp55 = (unsigned long )(e) + __cil_tmp54;
7095#line 271
7096  if (*((int *)__cil_tmp55)) {
7097    {
7098#line 271
7099    __cil_tmp56 = 1 * 4UL;
7100#line 271
7101    __cil_tmp57 = (unsigned long )(e) + __cil_tmp56;
7102#line 271
7103    if (*((int *)__cil_tmp57)) {
7104#line 271
7105      tmp___0 = 1;
7106    } else {
7107#line 271
7108      goto _L;
7109    }
7110    }
7111  } else
7112  _L: /* CIL Label */ 
7113#line 271
7114  if (f) {
7115#line 271
7116    tmp___0 = 1;
7117  } else {
7118#line 271
7119    tmp___0 = 0;
7120  }
7121  }
7122#line 271
7123  return (tmp___0);
7124}
7125}
7126#line 276 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16801/dscv_tempdir/dscv/ri/32_1/drivers/block/paride/epia.c.common.c"
7127static void epia_log_adapter(PIA *pi , char *scratch , int verbose ) 
7128{ char *mode_string[6] ;
7129  unsigned long __cil_tmp5 ;
7130  unsigned long __cil_tmp6 ;
7131  unsigned long __cil_tmp7 ;
7132  unsigned long __cil_tmp8 ;
7133  unsigned long __cil_tmp9 ;
7134  unsigned long __cil_tmp10 ;
7135  unsigned long __cil_tmp11 ;
7136  unsigned long __cil_tmp12 ;
7137  unsigned long __cil_tmp13 ;
7138  unsigned long __cil_tmp14 ;
7139  unsigned long __cil_tmp15 ;
7140  unsigned long __cil_tmp16 ;
7141  unsigned long __cil_tmp17 ;
7142  unsigned long __cil_tmp18 ;
7143  char *__cil_tmp19 ;
7144  unsigned long __cil_tmp20 ;
7145  unsigned long __cil_tmp21 ;
7146  int __cil_tmp22 ;
7147  unsigned long __cil_tmp23 ;
7148  unsigned long __cil_tmp24 ;
7149  int __cil_tmp25 ;
7150  unsigned long __cil_tmp26 ;
7151  unsigned long __cil_tmp27 ;
7152  int __cil_tmp28 ;
7153  unsigned long __cil_tmp29 ;
7154  unsigned long __cil_tmp30 ;
7155  char *__cil_tmp31 ;
7156  unsigned long __cil_tmp32 ;
7157  unsigned long __cil_tmp33 ;
7158  int __cil_tmp34 ;
7159
7160  {
7161  {
7162#line 278
7163  __cil_tmp5 = 0 * 8UL;
7164#line 278
7165  __cil_tmp6 = (unsigned long )(mode_string) + __cil_tmp5;
7166#line 278
7167  *((char **)__cil_tmp6) = (char *)"4-bit";
7168#line 278
7169  __cil_tmp7 = 1 * 8UL;
7170#line 278
7171  __cil_tmp8 = (unsigned long )(mode_string) + __cil_tmp7;
7172#line 278
7173  *((char **)__cil_tmp8) = (char *)"5/3";
7174#line 278
7175  __cil_tmp9 = 2 * 8UL;
7176#line 278
7177  __cil_tmp10 = (unsigned long )(mode_string) + __cil_tmp9;
7178#line 278
7179  *((char **)__cil_tmp10) = (char *)"8-bit";
7180#line 278
7181  __cil_tmp11 = 3 * 8UL;
7182#line 278
7183  __cil_tmp12 = (unsigned long )(mode_string) + __cil_tmp11;
7184#line 278
7185  *((char **)__cil_tmp12) = (char *)"EPP-8";
7186#line 278
7187  __cil_tmp13 = 4 * 8UL;
7188#line 278
7189  __cil_tmp14 = (unsigned long )(mode_string) + __cil_tmp13;
7190#line 278
7191  *((char **)__cil_tmp14) = (char *)"EPP-16";
7192#line 278
7193  __cil_tmp15 = 5 * 8UL;
7194#line 278
7195  __cil_tmp16 = (unsigned long )(mode_string) + __cil_tmp15;
7196#line 278
7197  *((char **)__cil_tmp16) = (char *)"EPP-32";
7198#line 281
7199  __cil_tmp17 = (unsigned long )pi;
7200#line 281
7201  __cil_tmp18 = __cil_tmp17 + 24;
7202#line 281
7203  __cil_tmp19 = *((char **)__cil_tmp18);
7204#line 281
7205  __cil_tmp20 = (unsigned long )pi;
7206#line 281
7207  __cil_tmp21 = __cil_tmp20 + 8;
7208#line 281
7209  __cil_tmp22 = *((int *)__cil_tmp21);
7210#line 281
7211  printk("%s: epia %s, Shuttle EPIA at 0x%x, ", __cil_tmp19, "1.02", __cil_tmp22);
7212#line 283
7213  __cil_tmp23 = (unsigned long )pi;
7214#line 283
7215  __cil_tmp24 = __cil_tmp23 + 12;
7216#line 283
7217  __cil_tmp25 = *((int *)__cil_tmp24);
7218#line 283
7219  __cil_tmp26 = (unsigned long )pi;
7220#line 283
7221  __cil_tmp27 = __cil_tmp26 + 12;
7222#line <