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