Showing error 180

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


Source:

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