Showing error 186

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