Showing error 184

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