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

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--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	6042
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 183

Source: