ClabureDB

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

User:	Jiri Slaby
Error type:	Reachable Error Location
Error type description:	A specified error location is reachable in some program path
File location:	ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	7542
Project:	SV-COMP 2013
Project version:	2.6.28
Tools:	Manual Work
Entered:	2013-01-17 16:57:54 UTC

ClabureDB: Classified Bug-Reports Database

Project: SV-COMP 2013

Showing error 181

Source: