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

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

ClabureDB: Classified Bug-Reports Database

Project: SV-COMP 2013

Showing error 178

Source: