Showing error 178

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