Showing error 185

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