ClabureDB

1/* Generated by CIL v. 1.3.7 */ 2/* print_CIL_Input is true */ 3 4#line 43 "include/asm-generic/int-ll64.h" 5typedef unsigned char u8; 6#line 46 "include/asm-generic/int-ll64.h" 7typedef unsigned short u16; 8#line 49 "include/asm-generic/int-ll64.h" 9typedef unsigned int u32; 10#line 14 "include/asm-generic/posix_types.h" 11typedef long __kernel_long_t; 12#line 15 "include/asm-generic/posix_types.h" 13typedef unsigned long __kernel_ulong_t; 14#line 75 "include/asm-generic/posix_types.h" 15typedef __kernel_ulong_t __kernel_size_t; 16#line 76 "include/asm-generic/posix_types.h" 17typedef __kernel_long_t __kernel_ssize_t; 18#line 27 "include/linux/types.h" 19typedef unsigned short umode_t; 20#line 38 "include/linux/types.h" 21typedef _Bool bool; 22#line 63 "include/linux/types.h" 23typedef __kernel_size_t size_t; 24#line 68 "include/linux/types.h" 25typedef __kernel_ssize_t ssize_t; 26#line 202 "include/linux/types.h" 27typedef unsigned int gfp_t; 28#line 221 "include/linux/types.h" 29struct __anonstruct_atomic_t_6 { 30 int counter ; 31}; 32#line 221 "include/linux/types.h" 33typedef struct __anonstruct_atomic_t_6 atomic_t; 34#line 226 "include/linux/types.h" 35struct __anonstruct_atomic64_t_7 { 36 long counter ; 37}; 38#line 226 "include/linux/types.h" 39typedef struct __anonstruct_atomic64_t_7 atomic64_t; 40#line 227 "include/linux/types.h" 41struct list_head { 42 struct list_head *next ; 43 struct list_head *prev ; 44}; 45#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h" 46struct page; 47#line 58 48struct page; 49#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h" 50struct arch_spinlock; 51#line 327 52struct arch_spinlock; 53#line 433 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 54struct kmem_cache; 55#line 23 "include/asm-generic/atomic-long.h" 56typedef atomic64_t atomic_long_t; 57#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 58typedef u16 __ticket_t; 59#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 60typedef u32 __ticketpair_t; 61#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 62struct __raw_tickets { 63 __ticket_t head ; 64 __ticket_t tail ; 65}; 66#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 67union __anonunion_ldv_5907_29 { 68 __ticketpair_t head_tail ; 69 struct __raw_tickets tickets ; 70}; 71#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 72struct arch_spinlock { 73 union __anonunion_ldv_5907_29 ldv_5907 ; 74}; 75#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 76typedef struct arch_spinlock arch_spinlock_t; 77#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h" 78struct lockdep_map; 79#line 34 80struct lockdep_map; 81#line 55 "include/linux/debug_locks.h" 82struct stack_trace { 83 unsigned int nr_entries ; 84 unsigned int max_entries ; 85 unsigned long *entries ; 86 int skip ; 87}; 88#line 26 "include/linux/stacktrace.h" 89struct lockdep_subclass_key { 90 char __one_byte ; 91}; 92#line 53 "include/linux/lockdep.h" 93struct lock_class_key { 94 struct lockdep_subclass_key subkeys[8U] ; 95}; 96#line 59 "include/linux/lockdep.h" 97struct lock_class { 98 struct list_head hash_entry ; 99 struct list_head lock_entry ; 100 struct lockdep_subclass_key *key ; 101 unsigned int subclass ; 102 unsigned int dep_gen_id ; 103 unsigned long usage_mask ; 104 struct stack_trace usage_traces[13U] ; 105 struct list_head locks_after ; 106 struct list_head locks_before ; 107 unsigned int version ; 108 unsigned long ops ; 109 char const *name ; 110 int name_version ; 111 unsigned long contention_point[4U] ; 112 unsigned long contending_point[4U] ; 113}; 114#line 144 "include/linux/lockdep.h" 115struct lockdep_map { 116 struct lock_class_key *key ; 117 struct lock_class *class_cache[2U] ; 118 char const *name ; 119 int cpu ; 120 unsigned long ip ; 121}; 122#line 556 "include/linux/lockdep.h" 123struct raw_spinlock { 124 arch_spinlock_t raw_lock ; 125 unsigned int magic ; 126 unsigned int owner_cpu ; 127 void *owner ; 128 struct lockdep_map dep_map ; 129}; 130#line 33 "include/linux/spinlock_types.h" 131struct __anonstruct_ldv_6122_33 { 132 u8 __padding[24U] ; 133 struct lockdep_map dep_map ; 134}; 135#line 33 "include/linux/spinlock_types.h" 136union __anonunion_ldv_6123_32 { 137 struct raw_spinlock rlock ; 138 struct __anonstruct_ldv_6122_33 ldv_6122 ; 139}; 140#line 33 "include/linux/spinlock_types.h" 141struct spinlock { 142 union __anonunion_ldv_6123_32 ldv_6123 ; 143}; 144#line 76 "include/linux/spinlock_types.h" 145typedef struct spinlock spinlock_t; 146#line 445 "include/linux/elf.h" 147struct sock; 148#line 445 149struct sock; 150#line 446 151struct kobject; 152#line 446 153struct kobject; 154#line 447 155enum kobj_ns_type { 156 KOBJ_NS_TYPE_NONE = 0, 157 KOBJ_NS_TYPE_NET = 1, 158 KOBJ_NS_TYPES = 2 159} ; 160#line 453 "include/linux/elf.h" 161struct kobj_ns_type_operations { 162 enum kobj_ns_type type ; 163 void *(*grab_current_ns)(void) ; 164 void const *(*netlink_ns)(struct sock * ) ; 165 void const *(*initial_ns)(void) ; 166 void (*drop_ns)(void * ) ; 167}; 168#line 57 "include/linux/kobject_ns.h" 169struct attribute { 170 char const *name ; 171 umode_t mode ; 172 struct lock_class_key *key ; 173 struct lock_class_key skey ; 174}; 175#line 33 "include/linux/sysfs.h" 176struct attribute_group { 177 char const *name ; 178 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ; 179 struct attribute **attrs ; 180}; 181#line 98 "include/linux/sysfs.h" 182struct sysfs_ops { 183 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ; 184 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ; 185 void const *(*namespace)(struct kobject * , struct attribute const * ) ; 186}; 187#line 117 188struct sysfs_dirent; 189#line 117 190struct sysfs_dirent; 191#line 182 "include/linux/sysfs.h" 192struct kref { 193 atomic_t refcount ; 194}; 195#line 39 "include/linux/kobject.h" 196enum kobject_action { 197 KOBJ_ADD = 0, 198 KOBJ_REMOVE = 1, 199 KOBJ_CHANGE = 2, 200 KOBJ_MOVE = 3, 201 KOBJ_ONLINE = 4, 202 KOBJ_OFFLINE = 5, 203 KOBJ_MAX = 6 204} ; 205#line 49 206struct kset; 207#line 49 208struct kobj_type; 209#line 49 "include/linux/kobject.h" 210struct kobject { 211 char const *name ; 212 struct list_head entry ; 213 struct kobject *parent ; 214 struct kset *kset ; 215 struct kobj_type *ktype ; 216 struct sysfs_dirent *sd ; 217 struct kref kref ; 218 unsigned char state_initialized : 1 ; 219 unsigned char state_in_sysfs : 1 ; 220 unsigned char state_add_uevent_sent : 1 ; 221 unsigned char state_remove_uevent_sent : 1 ; 222 unsigned char uevent_suppress : 1 ; 223}; 224#line 107 "include/linux/kobject.h" 225struct kobj_type { 226 void (*release)(struct kobject * ) ; 227 struct sysfs_ops const *sysfs_ops ; 228 struct attribute **default_attrs ; 229 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ; 230 void const *(*namespace)(struct kobject * ) ; 231}; 232#line 115 "include/linux/kobject.h" 233struct kobj_uevent_env { 234 char *envp[32U] ; 235 int envp_idx ; 236 char buf[2048U] ; 237 int buflen ; 238}; 239#line 122 "include/linux/kobject.h" 240struct kset_uevent_ops { 241 int (* const filter)(struct kset * , struct kobject * ) ; 242 char const *(* const name)(struct kset * , struct kobject * ) ; 243 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ; 244}; 245#line 139 "include/linux/kobject.h" 246struct kset { 247 struct list_head list ; 248 spinlock_t list_lock ; 249 struct kobject kobj ; 250 struct kset_uevent_ops const *uevent_ops ; 251}; 252#line 88 "include/linux/kmemleak.h" 253struct kmem_cache_cpu { 254 void **freelist ; 255 unsigned long tid ; 256 struct page *page ; 257 struct page *partial ; 258 int node ; 259 unsigned int stat[26U] ; 260}; 261#line 55 "include/linux/slub_def.h" 262struct kmem_cache_node { 263 spinlock_t list_lock ; 264 unsigned long nr_partial ; 265 struct list_head partial ; 266 atomic_long_t nr_slabs ; 267 atomic_long_t total_objects ; 268 struct list_head full ; 269}; 270#line 66 "include/linux/slub_def.h" 271struct kmem_cache_order_objects { 272 unsigned long x ; 273}; 274#line 76 "include/linux/slub_def.h" 275struct kmem_cache { 276 struct kmem_cache_cpu *cpu_slab ; 277 unsigned long flags ; 278 unsigned long min_partial ; 279 int size ; 280 int objsize ; 281 int offset ; 282 int cpu_partial ; 283 struct kmem_cache_order_objects oo ; 284 struct kmem_cache_order_objects max ; 285 struct kmem_cache_order_objects min ; 286 gfp_t allocflags ; 287 int refcount ; 288 void (*ctor)(void * ) ; 289 int inuse ; 290 int align ; 291 int reserved ; 292 char const *name ; 293 struct list_head list ; 294 struct kobject kobj ; 295 int remote_node_defrag_ratio ; 296 struct kmem_cache_node *node[1024U] ; 297}; 298#line 597 "include/linux/capability.h" 299struct iscsi_boot_kobj { 300 struct kobject kobj ; 301 struct attribute_group *attr_group ; 302 struct list_head list ; 303 void *data ; 304 ssize_t (*show)(void * , int , char * ) ; 305 umode_t (*is_visible)(void * , int ) ; 306 void (*release)(void * ) ; 307}; 308#line 103 "include/linux/iscsi_boot_sysfs.h" 309struct iscsi_boot_kset { 310 struct list_head kobj_list ; 311 struct kset *kset ; 312}; 313#line 43 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 314struct iscsi_boot_attr { 315 struct attribute attr ; 316 int type ; 317 ssize_t (*show)(void * , int , char * ) ; 318}; 319#line 2 320void ldv_spin_lock(void) ; 321#line 3 322void ldv_spin_unlock(void) ; 323#line 4 324int ldv_spin_trylock(void) ; 325#line 331 "include/linux/kernel.h" 326extern char *kasprintf(gfp_t , char const * , ...) ; 327#line 24 "include/linux/list.h" 328__inline static void INIT_LIST_HEAD(struct list_head *list ) 329{ unsigned long __cil_tmp2 ; 330 unsigned long __cil_tmp3 ; 331 332 { 333#line 26 334 *((struct list_head **)list) = list; 335#line 27 336 __cil_tmp2 = (unsigned long )list; 337#line 27 338 __cil_tmp3 = __cil_tmp2 + 8; 339#line 27 340 *((struct list_head **)__cil_tmp3) = list; 341#line 28 342 return; 343} 344} 345#line 47 346extern void __list_add(struct list_head * , struct list_head * , struct list_head * ) ; 347#line 74 "include/linux/list.h" 348__inline static void list_add_tail(struct list_head *new , struct list_head *head ) 349{ unsigned long __cil_tmp3 ; 350 unsigned long __cil_tmp4 ; 351 struct list_head *__cil_tmp5 ; 352 353 { 354 { 355#line 76 356 __cil_tmp3 = (unsigned long )head; 357#line 76 358 __cil_tmp4 = __cil_tmp3 + 8; 359#line 76 360 __cil_tmp5 = *((struct list_head **)__cil_tmp4); 361#line 76 362 __list_add(new, __cil_tmp5, head); 363 } 364#line 77 365 return; 366} 367} 368#line 112 369extern void list_del(struct list_head * ) ; 370#line 158 "include/linux/sysfs.h" 371extern int sysfs_create_group(struct kobject * , struct attribute_group const * ) ; 372#line 162 373extern void sysfs_remove_group(struct kobject * , struct attribute_group const * ) ; 374#line 90 "include/linux/kobject.h" 375extern int kobject_init_and_add(struct kobject * , struct kobj_type * , struct kobject * , 376 char const * , ...) ; 377#line 104 378extern void kobject_put(struct kobject * ) ; 379#line 168 380extern void kset_unregister(struct kset * ) ; 381#line 169 382extern struct kset *kset_create_and_add(char const * , struct kset_uevent_ops const * , 383 struct kobject * ) ; 384#line 204 385extern struct kobject *firmware_kobj ; 386#line 207 387extern int kobject_uevent(struct kobject * , enum kobject_action ) ; 388#line 161 "include/linux/slab.h" 389extern void kfree(void const * ) ; 390#line 220 "include/linux/slub_def.h" 391extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ; 392#line 223 393void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ; 394#line 353 "include/linux/slab.h" 395__inline static void *kzalloc(size_t size , gfp_t flags ) ; 396#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 397extern void *__VERIFIER_nondet_pointer(void) ; 398#line 11 399void ldv_check_alloc_flags(gfp_t flags ) ; 400#line 12 401void ldv_check_alloc_nonatomic(void) ; 402#line 14 403struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ; 404#line 548 "include/linux/capability.h" 405extern bool capable(int ) ; 406#line 110 "include/linux/iscsi_boot_sysfs.h" 407struct iscsi_boot_kobj *iscsi_boot_create_initiator(struct iscsi_boot_kset *boot_kset , 408 int index , void *data , ssize_t (*show)(void * , 409 int , 410 char * ) , 411 umode_t (*is_visible)(void * , 412 int ) , 413 void (*release)(void * ) ) ; 414#line 117 415struct iscsi_boot_kobj *iscsi_boot_create_ethernet(struct iscsi_boot_kset *boot_kset , 416 int index , void *data , ssize_t (*show)(void * , 417 int , 418 char * ) , 419 umode_t (*is_visible)(void * , 420 int ) , 421 void (*release)(void * ) ) ; 422#line 123 423struct iscsi_boot_kobj *iscsi_boot_create_target(struct iscsi_boot_kset *boot_kset , 424 int index , void *data , ssize_t (*show)(void * , 425 int , 426 char * ) , 427 umode_t (*is_visible)(void * , int ) , 428 void (*release)(void * ) ) ; 429#line 129 430struct iscsi_boot_kset *iscsi_boot_create_kset(char const *set_name ) ; 431#line 130 432struct iscsi_boot_kset *iscsi_boot_create_host_kset(unsigned int hostno ) ; 433#line 131 434void iscsi_boot_destroy_kset(struct iscsi_boot_kset *boot_kset ) ; 435#line 55 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 436static ssize_t iscsi_boot_show_attribute(struct kobject *kobj , struct attribute *attr , 437 char *buf ) 438{ struct iscsi_boot_kobj *boot_kobj ; 439 struct kobject const *__mptr ; 440 struct iscsi_boot_attr *boot_attr ; 441 struct attribute const *__mptr___0 ; 442 ssize_t ret ; 443 char *str ; 444 bool tmp ; 445 int tmp___0 ; 446 ssize_t (*__cil_tmp12)(void * , int , char * ) ; 447 unsigned long __cil_tmp13 ; 448 unsigned long __cil_tmp14 ; 449 unsigned long __cil_tmp15 ; 450 ssize_t (*__cil_tmp16)(void * , int , char * ) ; 451 unsigned long __cil_tmp17 ; 452 unsigned long __cil_tmp18 ; 453 unsigned long __cil_tmp19 ; 454 ssize_t (*__cil_tmp20)(void * , int , char * ) ; 455 unsigned long __cil_tmp21 ; 456 unsigned long __cil_tmp22 ; 457 void *__cil_tmp23 ; 458 unsigned long __cil_tmp24 ; 459 unsigned long __cil_tmp25 ; 460 int __cil_tmp26 ; 461 462 { 463 { 464#line 59 465 __mptr = (struct kobject const *)kobj; 466#line 59 467 boot_kobj = (struct iscsi_boot_kobj *)__mptr; 468#line 61 469 __mptr___0 = (struct attribute const *)attr; 470#line 61 471 boot_attr = (struct iscsi_boot_attr *)__mptr___0; 472#line 62 473 ret = -5L; 474#line 63 475 str = buf; 476#line 65 477 tmp = capable(21); 478 } 479#line 65 480 if (tmp) { 481#line 65 482 tmp___0 = 0; 483 } else { 484#line 65 485 tmp___0 = 1; 486 } 487#line 65 488 if (tmp___0) { 489#line 66 490 return (-13L); 491 } else { 492 493 } 494 { 495#line 68 496 __cil_tmp12 = (ssize_t (*)(void * , int , char * ))0; 497#line 68 498 __cil_tmp13 = (unsigned long )__cil_tmp12; 499#line 68 500 __cil_tmp14 = (unsigned long )boot_kobj; 501#line 68 502 __cil_tmp15 = __cil_tmp14 + 96; 503#line 68 504 __cil_tmp16 = *((ssize_t (**)(void * , int , char * ))__cil_tmp15); 505#line 68 506 __cil_tmp17 = (unsigned long )__cil_tmp16; 507#line 68 508 if (__cil_tmp17 != __cil_tmp13) { 509 { 510#line 69 511 __cil_tmp18 = (unsigned long )boot_kobj; 512#line 69 513 __cil_tmp19 = __cil_tmp18 + 96; 514#line 69 515 __cil_tmp20 = *((ssize_t (**)(void * , int , char * ))__cil_tmp19); 516#line 69 517 __cil_tmp21 = (unsigned long )boot_kobj; 518#line 69 519 __cil_tmp22 = __cil_tmp21 + 88; 520#line 69 521 __cil_tmp23 = *((void **)__cil_tmp22); 522#line 69 523 __cil_tmp24 = (unsigned long )boot_attr; 524#line 69 525 __cil_tmp25 = __cil_tmp24 + 32; 526#line 69 527 __cil_tmp26 = *((int *)__cil_tmp25); 528#line 69 529 ret = (*__cil_tmp20)(__cil_tmp23, __cil_tmp26, str); 530 } 531 } else { 532 533 } 534 } 535#line 70 536 return (ret); 537} 538} 539#line 73 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 540static struct sysfs_ops const iscsi_boot_attr_ops = {& iscsi_boot_show_attribute, (ssize_t (*)(struct kobject * , struct attribute * , 541 char const * , size_t ))0, (void const *(*)(struct kobject * , 542 struct attribute const * ))0}; 543#line 77 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 544static void iscsi_boot_kobj_release(struct kobject *kobj ) 545{ struct iscsi_boot_kobj *boot_kobj ; 546 struct kobject const *__mptr ; 547 void (*__cil_tmp4)(void * ) ; 548 unsigned long __cil_tmp5 ; 549 unsigned long __cil_tmp6 ; 550 unsigned long __cil_tmp7 ; 551 void (*__cil_tmp8)(void * ) ; 552 unsigned long __cil_tmp9 ; 553 unsigned long __cil_tmp10 ; 554 unsigned long __cil_tmp11 ; 555 void (*__cil_tmp12)(void * ) ; 556 unsigned long __cil_tmp13 ; 557 unsigned long __cil_tmp14 ; 558 void *__cil_tmp15 ; 559 void const *__cil_tmp16 ; 560 561 { 562#line 80 563 __mptr = (struct kobject const *)kobj; 564#line 80 565 boot_kobj = (struct iscsi_boot_kobj *)__mptr; 566 { 567#line 82 568 __cil_tmp4 = (void (*)(void * ))0; 569#line 82 570 __cil_tmp5 = (unsigned long )__cil_tmp4; 571#line 82 572 __cil_tmp6 = (unsigned long )boot_kobj; 573#line 82 574 __cil_tmp7 = __cil_tmp6 + 112; 575#line 82 576 __cil_tmp8 = *((void (**)(void * ))__cil_tmp7); 577#line 82 578 __cil_tmp9 = (unsigned long )__cil_tmp8; 579#line 82 580 if (__cil_tmp9 != __cil_tmp5) { 581 { 582#line 83 583 __cil_tmp10 = (unsigned long )boot_kobj; 584#line 83 585 __cil_tmp11 = __cil_tmp10 + 112; 586#line 83 587 __cil_tmp12 = *((void (**)(void * ))__cil_tmp11); 588#line 83 589 __cil_tmp13 = (unsigned long )boot_kobj; 590#line 83 591 __cil_tmp14 = __cil_tmp13 + 88; 592#line 83 593 __cil_tmp15 = *((void **)__cil_tmp14); 594#line 83 595 (*__cil_tmp12)(__cil_tmp15); 596 } 597 } else { 598 599 } 600 } 601 { 602#line 84 603 __cil_tmp16 = (void const *)boot_kobj; 604#line 84 605 kfree(__cil_tmp16); 606 } 607#line 85 608 return; 609} 610} 611#line 87 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 612static struct kobj_type iscsi_boot_ktype = {& iscsi_boot_kobj_release, & iscsi_boot_attr_ops, (struct attribute **)0, (struct kobj_ns_type_operations const *(*)(struct kobject * ))0, 613 (void const *(*)(struct kobject * ))0}; 614#line 99 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 615static struct iscsi_boot_attr iscsi_boot_attr_tgt_index = {{"index", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 616 {(char)0}, {(char)0}, 617 {(char)0}, {(char)0}, 618 {(char)0}, {(char)0}}}}, 619 0, (ssize_t (*)(void * , int , char * ))0}; 620#line 100 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 621static struct iscsi_boot_attr iscsi_boot_attr_tgt_flags = {{"flags", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 622 {(char)0}, {(char)0}, 623 {(char)0}, {(char)0}, 624 {(char)0}, {(char)0}}}}, 625 1, (ssize_t (*)(void * , int , char * ))0}; 626#line 101 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 627static struct iscsi_boot_attr iscsi_boot_attr_tgt_ip = {{"ip-addr", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 628 {(char)0}, {(char)0}, 629 {(char)0}, {(char)0}, 630 {(char)0}, {(char)0}}}}, 631 2, (ssize_t (*)(void * , int , char * ))0}; 632#line 102 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 633static struct iscsi_boot_attr iscsi_boot_attr_tgt_port = {{"port", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0}, 634 {(char)0}, {(char)0}, {(char)0}, 635 {(char)0}, {(char)0}}}}, 636 3, (ssize_t (*)(void * , int , char * ))0}; 637#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 638static struct iscsi_boot_attr iscsi_boot_attr_tgt_lun = {{"lun", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0}, 639 {(char)0}, {(char)0}, {(char)0}, 640 {(char)0}, {(char)0}}}}, 641 4, (ssize_t (*)(void * , int , char * ))0}; 642#line 104 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 643static struct iscsi_boot_attr iscsi_boot_attr_tgt_chap = {{"chap-type", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 644 {(char)0}, {(char)0}, 645 {(char)0}, {(char)0}, 646 {(char)0}, {(char)0}}}}, 647 5, (ssize_t (*)(void * , int , char * ))0}; 648#line 105 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 649static struct iscsi_boot_attr iscsi_boot_attr_tgt_nic = {{"nic-assoc", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 650 {(char)0}, {(char)0}, 651 {(char)0}, {(char)0}, 652 {(char)0}, {(char)0}}}}, 653 6, (ssize_t (*)(void * , int , char * ))0}; 654#line 106 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 655static struct iscsi_boot_attr iscsi_boot_attr_tgt_name = {{"target-name", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 656 {(char)0}, {(char)0}, 657 {(char)0}, {(char)0}, 658 {(char)0}, {(char)0}}}}, 659 7, (ssize_t (*)(void * , int , char * ))0}; 660#line 107 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 661static struct iscsi_boot_attr iscsi_boot_attr_tgt_chap_name = {{"chap-name", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 662 {(char)0}, {(char)0}, 663 {(char)0}, {(char)0}, 664 {(char)0}, {(char)0}}}}, 665 8, (ssize_t (*)(void * , int , char * ))0}; 666#line 108 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 667static struct iscsi_boot_attr iscsi_boot_attr_tgt_chap_secret = {{"chap-secret", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 668 {(char)0}, {(char)0}, 669 {(char)0}, {(char)0}, 670 {(char)0}, {(char)0}}}}, 671 9, (ssize_t (*)(void * , int , char * ))0}; 672#line 110 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 673static struct iscsi_boot_attr iscsi_boot_attr_tgt_chap_rev_name = {{"rev-chap-name", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 674 {(char)0}, {(char)0}, 675 {(char)0}, {(char)0}, 676 {(char)0}, {(char)0}}}}, 677 10, (ssize_t (*)(void * , int , char * ))0}; 678#line 112 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 679static struct iscsi_boot_attr iscsi_boot_attr_tgt_chap_rev_secret = {{"rev-chap-name-secret", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, 680 {(char)0}, 681 {(char)0}, 682 {(char)0}, 683 {(char)0}, 684 {(char)0}, 685 {(char)0}, 686 {(char)0}}}}, 687 11, (ssize_t (*)(void * , int , char * ))0}; 688#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 689static struct attribute *target_attrs[13U] = 690#line 114 691 { & iscsi_boot_attr_tgt_index.attr, & iscsi_boot_attr_tgt_flags.attr, & iscsi_boot_attr_tgt_ip.attr, & iscsi_boot_attr_tgt_port.attr, 692 & iscsi_boot_attr_tgt_lun.attr, & iscsi_boot_attr_tgt_chap.attr, & iscsi_boot_attr_tgt_nic.attr, & iscsi_boot_attr_tgt_name.attr, 693 & iscsi_boot_attr_tgt_chap_name.attr, & iscsi_boot_attr_tgt_chap_secret.attr, & iscsi_boot_attr_tgt_chap_rev_name.attr, & iscsi_boot_attr_tgt_chap_rev_secret.attr, 694 (struct attribute *)0}; 695#line 130 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 696static umode_t iscsi_boot_tgt_attr_is_visible(struct kobject *kobj , struct attribute *attr , 697 int i ) 698{ struct iscsi_boot_kobj *boot_kobj ; 699 struct kobject const *__mptr ; 700 umode_t tmp ; 701 umode_t tmp___0 ; 702 umode_t tmp___1 ; 703 umode_t tmp___2 ; 704 umode_t tmp___3 ; 705 umode_t tmp___4 ; 706 umode_t tmp___5 ; 707 umode_t tmp___6 ; 708 umode_t tmp___7 ; 709 umode_t tmp___8 ; 710 umode_t tmp___9 ; 711 umode_t tmp___10 ; 712 struct iscsi_boot_attr *__cil_tmp18 ; 713 struct attribute *__cil_tmp19 ; 714 unsigned long __cil_tmp20 ; 715 unsigned long __cil_tmp21 ; 716 unsigned long __cil_tmp22 ; 717 unsigned long __cil_tmp23 ; 718 umode_t (*__cil_tmp24)(void * , int ) ; 719 unsigned long __cil_tmp25 ; 720 unsigned long __cil_tmp26 ; 721 void *__cil_tmp27 ; 722 struct iscsi_boot_attr *__cil_tmp28 ; 723 struct attribute *__cil_tmp29 ; 724 unsigned long __cil_tmp30 ; 725 unsigned long __cil_tmp31 ; 726 unsigned long __cil_tmp32 ; 727 unsigned long __cil_tmp33 ; 728 umode_t (*__cil_tmp34)(void * , int ) ; 729 unsigned long __cil_tmp35 ; 730 unsigned long __cil_tmp36 ; 731 void *__cil_tmp37 ; 732 struct iscsi_boot_attr *__cil_tmp38 ; 733 struct attribute *__cil_tmp39 ; 734 unsigned long __cil_tmp40 ; 735 unsigned long __cil_tmp41 ; 736 unsigned long __cil_tmp42 ; 737 unsigned long __cil_tmp43 ; 738 umode_t (*__cil_tmp44)(void * , int ) ; 739 unsigned long __cil_tmp45 ; 740 unsigned long __cil_tmp46 ; 741 void *__cil_tmp47 ; 742 struct iscsi_boot_attr *__cil_tmp48 ; 743 struct attribute *__cil_tmp49 ; 744 unsigned long __cil_tmp50 ; 745 unsigned long __cil_tmp51 ; 746 unsigned long __cil_tmp52 ; 747 unsigned long __cil_tmp53 ; 748 umode_t (*__cil_tmp54)(void * , int ) ; 749 unsigned long __cil_tmp55 ; 750 unsigned long __cil_tmp56 ; 751 void *__cil_tmp57 ; 752 struct iscsi_boot_attr *__cil_tmp58 ; 753 struct attribute *__cil_tmp59 ; 754 unsigned long __cil_tmp60 ; 755 unsigned long __cil_tmp61 ; 756 unsigned long __cil_tmp62 ; 757 unsigned long __cil_tmp63 ; 758 umode_t (*__cil_tmp64)(void * , int ) ; 759 unsigned long __cil_tmp65 ; 760 unsigned long __cil_tmp66 ; 761 void *__cil_tmp67 ; 762 struct iscsi_boot_attr *__cil_tmp68 ; 763 struct attribute *__cil_tmp69 ; 764 unsigned long __cil_tmp70 ; 765 unsigned long __cil_tmp71 ; 766 unsigned long __cil_tmp72 ; 767 unsigned long __cil_tmp73 ; 768 umode_t (*__cil_tmp74)(void * , int ) ; 769 unsigned long __cil_tmp75 ; 770 unsigned long __cil_tmp76 ; 771 void *__cil_tmp77 ; 772 struct iscsi_boot_attr *__cil_tmp78 ; 773 struct attribute *__cil_tmp79 ; 774 unsigned long __cil_tmp80 ; 775 unsigned long __cil_tmp81 ; 776 unsigned long __cil_tmp82 ; 777 unsigned long __cil_tmp83 ; 778 umode_t (*__cil_tmp84)(void * , int ) ; 779 unsigned long __cil_tmp85 ; 780 unsigned long __cil_tmp86 ; 781 void *__cil_tmp87 ; 782 struct iscsi_boot_attr *__cil_tmp88 ; 783 struct attribute *__cil_tmp89 ; 784 unsigned long __cil_tmp90 ; 785 unsigned long __cil_tmp91 ; 786 unsigned long __cil_tmp92 ; 787 unsigned long __cil_tmp93 ; 788 umode_t (*__cil_tmp94)(void * , int ) ; 789 unsigned long __cil_tmp95 ; 790 unsigned long __cil_tmp96 ; 791 void *__cil_tmp97 ; 792 struct iscsi_boot_attr *__cil_tmp98 ; 793 struct attribute *__cil_tmp99 ; 794 unsigned long __cil_tmp100 ; 795 unsigned long __cil_tmp101 ; 796 unsigned long __cil_tmp102 ; 797 unsigned long __cil_tmp103 ; 798 umode_t (*__cil_tmp104)(void * , int ) ; 799 unsigned long __cil_tmp105 ; 800 unsigned long __cil_tmp106 ; 801 void *__cil_tmp107 ; 802 struct iscsi_boot_attr *__cil_tmp108 ; 803 struct attribute *__cil_tmp109 ; 804 unsigned long __cil_tmp110 ; 805 unsigned long __cil_tmp111 ; 806 unsigned long __cil_tmp112 ; 807 unsigned long __cil_tmp113 ; 808 umode_t (*__cil_tmp114)(void * , int ) ; 809 unsigned long __cil_tmp115 ; 810 unsigned long __cil_tmp116 ; 811 void *__cil_tmp117 ; 812 struct iscsi_boot_attr *__cil_tmp118 ; 813 struct attribute *__cil_tmp119 ; 814 unsigned long __cil_tmp120 ; 815 unsigned long __cil_tmp121 ; 816 unsigned long __cil_tmp122 ; 817 unsigned long __cil_tmp123 ; 818 umode_t (*__cil_tmp124)(void * , int ) ; 819 unsigned long __cil_tmp125 ; 820 unsigned long __cil_tmp126 ; 821 void *__cil_tmp127 ; 822 struct iscsi_boot_attr *__cil_tmp128 ; 823 struct attribute *__cil_tmp129 ; 824 unsigned long __cil_tmp130 ; 825 unsigned long __cil_tmp131 ; 826 unsigned long __cil_tmp132 ; 827 unsigned long __cil_tmp133 ; 828 umode_t (*__cil_tmp134)(void * , int ) ; 829 unsigned long __cil_tmp135 ; 830 unsigned long __cil_tmp136 ; 831 void *__cil_tmp137 ; 832 833 { 834#line 134 835 __mptr = (struct kobject const *)kobj; 836#line 134 837 boot_kobj = (struct iscsi_boot_kobj *)__mptr; 838 { 839#line 136 840 __cil_tmp18 = & iscsi_boot_attr_tgt_index; 841#line 136 842 __cil_tmp19 = (struct attribute *)__cil_tmp18; 843#line 136 844 __cil_tmp20 = (unsigned long )__cil_tmp19; 845#line 136 846 __cil_tmp21 = (unsigned long )attr; 847#line 136 848 if (__cil_tmp21 == __cil_tmp20) { 849 { 850#line 137 851 __cil_tmp22 = (unsigned long )boot_kobj; 852#line 137 853 __cil_tmp23 = __cil_tmp22 + 104; 854#line 137 855 __cil_tmp24 = *((umode_t (**)(void * , int ))__cil_tmp23); 856#line 137 857 __cil_tmp25 = (unsigned long )boot_kobj; 858#line 137 859 __cil_tmp26 = __cil_tmp25 + 88; 860#line 137 861 __cil_tmp27 = *((void **)__cil_tmp26); 862#line 137 863 tmp = (*__cil_tmp24)(__cil_tmp27, 0); 864 } 865#line 137 866 return (tmp); 867 } else { 868 { 869#line 139 870 __cil_tmp28 = & iscsi_boot_attr_tgt_flags; 871#line 139 872 __cil_tmp29 = (struct attribute *)__cil_tmp28; 873#line 139 874 __cil_tmp30 = (unsigned long )__cil_tmp29; 875#line 139 876 __cil_tmp31 = (unsigned long )attr; 877#line 139 878 if (__cil_tmp31 == __cil_tmp30) { 879 { 880#line 140 881 __cil_tmp32 = (unsigned long )boot_kobj; 882#line 140 883 __cil_tmp33 = __cil_tmp32 + 104; 884#line 140 885 __cil_tmp34 = *((umode_t (**)(void * , int ))__cil_tmp33); 886#line 140 887 __cil_tmp35 = (unsigned long )boot_kobj; 888#line 140 889 __cil_tmp36 = __cil_tmp35 + 88; 890#line 140 891 __cil_tmp37 = *((void **)__cil_tmp36); 892#line 140 893 tmp___0 = (*__cil_tmp34)(__cil_tmp37, 1); 894 } 895#line 140 896 return (tmp___0); 897 } else { 898 { 899#line 142 900 __cil_tmp38 = & iscsi_boot_attr_tgt_ip; 901#line 142 902 __cil_tmp39 = (struct attribute *)__cil_tmp38; 903#line 142 904 __cil_tmp40 = (unsigned long )__cil_tmp39; 905#line 142 906 __cil_tmp41 = (unsigned long )attr; 907#line 142 908 if (__cil_tmp41 == __cil_tmp40) { 909 { 910#line 143 911 __cil_tmp42 = (unsigned long )boot_kobj; 912#line 143 913 __cil_tmp43 = __cil_tmp42 + 104; 914#line 143 915 __cil_tmp44 = *((umode_t (**)(void * , int ))__cil_tmp43); 916#line 143 917 __cil_tmp45 = (unsigned long )boot_kobj; 918#line 143 919 __cil_tmp46 = __cil_tmp45 + 88; 920#line 143 921 __cil_tmp47 = *((void **)__cil_tmp46); 922#line 143 923 tmp___1 = (*__cil_tmp44)(__cil_tmp47, 2); 924 } 925#line 143 926 return (tmp___1); 927 } else { 928 { 929#line 145 930 __cil_tmp48 = & iscsi_boot_attr_tgt_port; 931#line 145 932 __cil_tmp49 = (struct attribute *)__cil_tmp48; 933#line 145 934 __cil_tmp50 = (unsigned long )__cil_tmp49; 935#line 145 936 __cil_tmp51 = (unsigned long )attr; 937#line 145 938 if (__cil_tmp51 == __cil_tmp50) { 939 { 940#line 146 941 __cil_tmp52 = (unsigned long )boot_kobj; 942#line 146 943 __cil_tmp53 = __cil_tmp52 + 104; 944#line 146 945 __cil_tmp54 = *((umode_t (**)(void * , int ))__cil_tmp53); 946#line 146 947 __cil_tmp55 = (unsigned long )boot_kobj; 948#line 146 949 __cil_tmp56 = __cil_tmp55 + 88; 950#line 146 951 __cil_tmp57 = *((void **)__cil_tmp56); 952#line 146 953 tmp___2 = (*__cil_tmp54)(__cil_tmp57, 3); 954 } 955#line 146 956 return (tmp___2); 957 } else { 958 { 959#line 148 960 __cil_tmp58 = & iscsi_boot_attr_tgt_lun; 961#line 148 962 __cil_tmp59 = (struct attribute *)__cil_tmp58; 963#line 148 964 __cil_tmp60 = (unsigned long )__cil_tmp59; 965#line 148 966 __cil_tmp61 = (unsigned long )attr; 967#line 148 968 if (__cil_tmp61 == __cil_tmp60) { 969 { 970#line 149 971 __cil_tmp62 = (unsigned long )boot_kobj; 972#line 149 973 __cil_tmp63 = __cil_tmp62 + 104; 974#line 149 975 __cil_tmp64 = *((umode_t (**)(void * , int ))__cil_tmp63); 976#line 149 977 __cil_tmp65 = (unsigned long )boot_kobj; 978#line 149 979 __cil_tmp66 = __cil_tmp65 + 88; 980#line 149 981 __cil_tmp67 = *((void **)__cil_tmp66); 982#line 149 983 tmp___3 = (*__cil_tmp64)(__cil_tmp67, 4); 984 } 985#line 149 986 return (tmp___3); 987 } else { 988 { 989#line 151 990 __cil_tmp68 = & iscsi_boot_attr_tgt_chap; 991#line 151 992 __cil_tmp69 = (struct attribute *)__cil_tmp68; 993#line 151 994 __cil_tmp70 = (unsigned long )__cil_tmp69; 995#line 151 996 __cil_tmp71 = (unsigned long )attr; 997#line 151 998 if (__cil_tmp71 == __cil_tmp70) { 999 { 1000#line 152 1001 __cil_tmp72 = (unsigned long )boot_kobj; 1002#line 152 1003 __cil_tmp73 = __cil_tmp72 + 104; 1004#line 152 1005 __cil_tmp74 = *((umode_t (**)(void * , int ))__cil_tmp73); 1006#line 152 1007 __cil_tmp75 = (unsigned long )boot_kobj; 1008#line 152 1009 __cil_tmp76 = __cil_tmp75 + 88; 1010#line 152 1011 __cil_tmp77 = *((void **)__cil_tmp76); 1012#line 152 1013 tmp___4 = (*__cil_tmp74)(__cil_tmp77, 5); 1014 } 1015#line 152 1016 return (tmp___4); 1017 } else { 1018 { 1019#line 154 1020 __cil_tmp78 = & iscsi_boot_attr_tgt_nic; 1021#line 154 1022 __cil_tmp79 = (struct attribute *)__cil_tmp78; 1023#line 154 1024 __cil_tmp80 = (unsigned long )__cil_tmp79; 1025#line 154 1026 __cil_tmp81 = (unsigned long )attr; 1027#line 154 1028 if (__cil_tmp81 == __cil_tmp80) { 1029 { 1030#line 155 1031 __cil_tmp82 = (unsigned long )boot_kobj; 1032#line 155 1033 __cil_tmp83 = __cil_tmp82 + 104; 1034#line 155 1035 __cil_tmp84 = *((umode_t (**)(void * , int ))__cil_tmp83); 1036#line 155 1037 __cil_tmp85 = (unsigned long )boot_kobj; 1038#line 155 1039 __cil_tmp86 = __cil_tmp85 + 88; 1040#line 155 1041 __cil_tmp87 = *((void **)__cil_tmp86); 1042#line 155 1043 tmp___5 = (*__cil_tmp84)(__cil_tmp87, 6); 1044 } 1045#line 155 1046 return (tmp___5); 1047 } else { 1048 { 1049#line 157 1050 __cil_tmp88 = & iscsi_boot_attr_tgt_name; 1051#line 157 1052 __cil_tmp89 = (struct attribute *)__cil_tmp88; 1053#line 157 1054 __cil_tmp90 = (unsigned long )__cil_tmp89; 1055#line 157 1056 __cil_tmp91 = (unsigned long )attr; 1057#line 157 1058 if (__cil_tmp91 == __cil_tmp90) { 1059 { 1060#line 158 1061 __cil_tmp92 = (unsigned long )boot_kobj; 1062#line 158 1063 __cil_tmp93 = __cil_tmp92 + 104; 1064#line 158 1065 __cil_tmp94 = *((umode_t (**)(void * , int ))__cil_tmp93); 1066#line 158 1067 __cil_tmp95 = (unsigned long )boot_kobj; 1068#line 158 1069 __cil_tmp96 = __cil_tmp95 + 88; 1070#line 158 1071 __cil_tmp97 = *((void **)__cil_tmp96); 1072#line 158 1073 tmp___6 = (*__cil_tmp94)(__cil_tmp97, 7); 1074 } 1075#line 158 1076 return (tmp___6); 1077 } else { 1078 { 1079#line 160 1080 __cil_tmp98 = & iscsi_boot_attr_tgt_chap_name; 1081#line 160 1082 __cil_tmp99 = (struct attribute *)__cil_tmp98; 1083#line 160 1084 __cil_tmp100 = (unsigned long )__cil_tmp99; 1085#line 160 1086 __cil_tmp101 = (unsigned long )attr; 1087#line 160 1088 if (__cil_tmp101 == __cil_tmp100) { 1089 { 1090#line 161 1091 __cil_tmp102 = (unsigned long )boot_kobj; 1092#line 161 1093 __cil_tmp103 = __cil_tmp102 + 104; 1094#line 161 1095 __cil_tmp104 = *((umode_t (**)(void * , int ))__cil_tmp103); 1096#line 161 1097 __cil_tmp105 = (unsigned long )boot_kobj; 1098#line 161 1099 __cil_tmp106 = __cil_tmp105 + 88; 1100#line 161 1101 __cil_tmp107 = *((void **)__cil_tmp106); 1102#line 161 1103 tmp___7 = (*__cil_tmp104)(__cil_tmp107, 8); 1104 } 1105#line 161 1106 return (tmp___7); 1107 } else { 1108 { 1109#line 163 1110 __cil_tmp108 = & iscsi_boot_attr_tgt_chap_secret; 1111#line 163 1112 __cil_tmp109 = (struct attribute *)__cil_tmp108; 1113#line 163 1114 __cil_tmp110 = (unsigned long )__cil_tmp109; 1115#line 163 1116 __cil_tmp111 = (unsigned long )attr; 1117#line 163 1118 if (__cil_tmp111 == __cil_tmp110) { 1119 { 1120#line 164 1121 __cil_tmp112 = (unsigned long )boot_kobj; 1122#line 164 1123 __cil_tmp113 = __cil_tmp112 + 104; 1124#line 164 1125 __cil_tmp114 = *((umode_t (**)(void * , int ))__cil_tmp113); 1126#line 164 1127 __cil_tmp115 = (unsigned long )boot_kobj; 1128#line 164 1129 __cil_tmp116 = __cil_tmp115 + 88; 1130#line 164 1131 __cil_tmp117 = *((void **)__cil_tmp116); 1132#line 164 1133 tmp___8 = (*__cil_tmp114)(__cil_tmp117, 9); 1134 } 1135#line 164 1136 return (tmp___8); 1137 } else { 1138 { 1139#line 166 1140 __cil_tmp118 = & iscsi_boot_attr_tgt_chap_rev_name; 1141#line 166 1142 __cil_tmp119 = (struct attribute *)__cil_tmp118; 1143#line 166 1144 __cil_tmp120 = (unsigned long )__cil_tmp119; 1145#line 166 1146 __cil_tmp121 = (unsigned long )attr; 1147#line 166 1148 if (__cil_tmp121 == __cil_tmp120) { 1149 { 1150#line 167 1151 __cil_tmp122 = (unsigned long )boot_kobj; 1152#line 167 1153 __cil_tmp123 = __cil_tmp122 + 104; 1154#line 167 1155 __cil_tmp124 = *((umode_t (**)(void * , int ))__cil_tmp123); 1156#line 167 1157 __cil_tmp125 = (unsigned long )boot_kobj; 1158#line 167 1159 __cil_tmp126 = __cil_tmp125 + 88; 1160#line 167 1161 __cil_tmp127 = *((void **)__cil_tmp126); 1162#line 167 1163 tmp___9 = (*__cil_tmp124)(__cil_tmp127, 10); 1164 } 1165#line 167 1166 return (tmp___9); 1167 } else { 1168 { 1169#line 169 1170 __cil_tmp128 = & iscsi_boot_attr_tgt_chap_rev_secret; 1171#line 169 1172 __cil_tmp129 = (struct attribute *)__cil_tmp128; 1173#line 169 1174 __cil_tmp130 = (unsigned long )__cil_tmp129; 1175#line 169 1176 __cil_tmp131 = (unsigned long )attr; 1177#line 169 1178 if (__cil_tmp131 == __cil_tmp130) { 1179 { 1180#line 170 1181 __cil_tmp132 = (unsigned long )boot_kobj; 1182#line 170 1183 __cil_tmp133 = __cil_tmp132 + 104; 1184#line 170 1185 __cil_tmp134 = *((umode_t (**)(void * , int ))__cil_tmp133); 1186#line 170 1187 __cil_tmp135 = (unsigned long )boot_kobj; 1188#line 170 1189 __cil_tmp136 = __cil_tmp135 + 88; 1190#line 170 1191 __cil_tmp137 = *((void **)__cil_tmp136); 1192#line 170 1193 tmp___10 = (*__cil_tmp134)(__cil_tmp137, 11); 1194 } 1195#line 170 1196 return (tmp___10); 1197 } else { 1198 1199 } 1200 } 1201 } 1202 } 1203 } 1204 } 1205 } 1206 } 1207 } 1208 } 1209 } 1210 } 1211 } 1212 } 1213 } 1214 } 1215 } 1216 } 1217 } 1218 } 1219 } 1220 } 1221 } 1222 } 1223#line 172 1224 return ((umode_t )0U); 1225} 1226} 1227#line 175 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1228static struct attribute_group iscsi_boot_target_attr_group = {(char const *)0, & iscsi_boot_tgt_attr_is_visible, (struct attribute **)(& target_attrs)}; 1229#line 181 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1230static struct iscsi_boot_attr iscsi_boot_attr_eth_index = {{"index", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1231 {(char)0}, {(char)0}, 1232 {(char)0}, {(char)0}, 1233 {(char)0}, {(char)0}}}}, 1234 0, (ssize_t (*)(void * , int , char * ))0}; 1235#line 182 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1236static struct iscsi_boot_attr iscsi_boot_attr_eth_flags = {{"flags", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1237 {(char)0}, {(char)0}, 1238 {(char)0}, {(char)0}, 1239 {(char)0}, {(char)0}}}}, 1240 1, (ssize_t (*)(void * , int , char * ))0}; 1241#line 183 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1242static struct iscsi_boot_attr iscsi_boot_attr_eth_ip = {{"ip-addr", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1243 {(char)0}, {(char)0}, 1244 {(char)0}, {(char)0}, 1245 {(char)0}, {(char)0}}}}, 1246 2, (ssize_t (*)(void * , int , char * ))0}; 1247#line 184 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1248static struct iscsi_boot_attr iscsi_boot_attr_eth_subnet = {{"subnet-mask", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1249 {(char)0}, {(char)0}, 1250 {(char)0}, {(char)0}, 1251 {(char)0}, {(char)0}}}}, 1252 3, (ssize_t (*)(void * , int , char * ))0}; 1253#line 185 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1254static struct iscsi_boot_attr iscsi_boot_attr_eth_origin = {{"origin", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1255 {(char)0}, {(char)0}, 1256 {(char)0}, {(char)0}, 1257 {(char)0}, {(char)0}}}}, 1258 4, (ssize_t (*)(void * , int , char * ))0}; 1259#line 186 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1260static struct iscsi_boot_attr iscsi_boot_attr_eth_gateway = {{"gateway", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1261 {(char)0}, {(char)0}, 1262 {(char)0}, {(char)0}, 1263 {(char)0}, {(char)0}}}}, 1264 5, (ssize_t (*)(void * , int , char * ))0}; 1265#line 187 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1266static struct iscsi_boot_attr iscsi_boot_attr_eth_primary_dns = {{"primary-dns", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1267 {(char)0}, {(char)0}, 1268 {(char)0}, {(char)0}, 1269 {(char)0}, {(char)0}}}}, 1270 6, (ssize_t (*)(void * , int , char * ))0}; 1271#line 189 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1272static struct iscsi_boot_attr iscsi_boot_attr_eth_secondary_dns = {{"secondary-dns", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1273 {(char)0}, {(char)0}, 1274 {(char)0}, {(char)0}, 1275 {(char)0}, {(char)0}}}}, 1276 7, (ssize_t (*)(void * , int , char * ))0}; 1277#line 190 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1278static struct iscsi_boot_attr iscsi_boot_attr_eth_dhcp = {{"dhcp", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0}, 1279 {(char)0}, {(char)0}, {(char)0}, 1280 {(char)0}, {(char)0}}}}, 1281 8, (ssize_t (*)(void * , int , char * ))0}; 1282#line 191 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1283static struct iscsi_boot_attr iscsi_boot_attr_eth_vlan = {{"vlan", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0}, 1284 {(char)0}, {(char)0}, {(char)0}, 1285 {(char)0}, {(char)0}}}}, 1286 9, (ssize_t (*)(void * , int , char * ))0}; 1287#line 192 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1288static struct iscsi_boot_attr iscsi_boot_attr_eth_mac = {{"mac", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0}, 1289 {(char)0}, {(char)0}, {(char)0}, 1290 {(char)0}, {(char)0}}}}, 1291 10, (ssize_t (*)(void * , int , char * ))0}; 1292#line 193 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1293static struct iscsi_boot_attr iscsi_boot_attr_eth_hostname = {{"hostname", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1294 {(char)0}, {(char)0}, 1295 {(char)0}, {(char)0}, 1296 {(char)0}, {(char)0}}}}, 1297 11, (ssize_t (*)(void * , int , char * ))0}; 1298#line 195 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1299static struct attribute *ethernet_attrs[13U] = 1300#line 195 1301 { & iscsi_boot_attr_eth_index.attr, & iscsi_boot_attr_eth_flags.attr, & iscsi_boot_attr_eth_ip.attr, & iscsi_boot_attr_eth_subnet.attr, 1302 & iscsi_boot_attr_eth_origin.attr, & iscsi_boot_attr_eth_gateway.attr, & iscsi_boot_attr_eth_primary_dns.attr, & iscsi_boot_attr_eth_secondary_dns.attr, 1303 & iscsi_boot_attr_eth_dhcp.attr, & iscsi_boot_attr_eth_vlan.attr, & iscsi_boot_attr_eth_mac.attr, & iscsi_boot_attr_eth_hostname.attr, 1304 (struct attribute *)0}; 1305#line 211 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1306static umode_t iscsi_boot_eth_attr_is_visible(struct kobject *kobj , struct attribute *attr , 1307 int i ) 1308{ struct iscsi_boot_kobj *boot_kobj ; 1309 struct kobject const *__mptr ; 1310 umode_t tmp ; 1311 umode_t tmp___0 ; 1312 umode_t tmp___1 ; 1313 umode_t tmp___2 ; 1314 umode_t tmp___3 ; 1315 umode_t tmp___4 ; 1316 umode_t tmp___5 ; 1317 umode_t tmp___6 ; 1318 umode_t tmp___7 ; 1319 umode_t tmp___8 ; 1320 umode_t tmp___9 ; 1321 umode_t tmp___10 ; 1322 struct iscsi_boot_attr *__cil_tmp18 ; 1323 struct attribute *__cil_tmp19 ; 1324 unsigned long __cil_tmp20 ; 1325 unsigned long __cil_tmp21 ; 1326 unsigned long __cil_tmp22 ; 1327 unsigned long __cil_tmp23 ; 1328 umode_t (*__cil_tmp24)(void * , int ) ; 1329 unsigned long __cil_tmp25 ; 1330 unsigned long __cil_tmp26 ; 1331 void *__cil_tmp27 ; 1332 struct iscsi_boot_attr *__cil_tmp28 ; 1333 struct attribute *__cil_tmp29 ; 1334 unsigned long __cil_tmp30 ; 1335 unsigned long __cil_tmp31 ; 1336 unsigned long __cil_tmp32 ; 1337 unsigned long __cil_tmp33 ; 1338 umode_t (*__cil_tmp34)(void * , int ) ; 1339 unsigned long __cil_tmp35 ; 1340 unsigned long __cil_tmp36 ; 1341 void *__cil_tmp37 ; 1342 struct iscsi_boot_attr *__cil_tmp38 ; 1343 struct attribute *__cil_tmp39 ; 1344 unsigned long __cil_tmp40 ; 1345 unsigned long __cil_tmp41 ; 1346 unsigned long __cil_tmp42 ; 1347 unsigned long __cil_tmp43 ; 1348 umode_t (*__cil_tmp44)(void * , int ) ; 1349 unsigned long __cil_tmp45 ; 1350 unsigned long __cil_tmp46 ; 1351 void *__cil_tmp47 ; 1352 struct iscsi_boot_attr *__cil_tmp48 ; 1353 struct attribute *__cil_tmp49 ; 1354 unsigned long __cil_tmp50 ; 1355 unsigned long __cil_tmp51 ; 1356 unsigned long __cil_tmp52 ; 1357 unsigned long __cil_tmp53 ; 1358 umode_t (*__cil_tmp54)(void * , int ) ; 1359 unsigned long __cil_tmp55 ; 1360 unsigned long __cil_tmp56 ; 1361 void *__cil_tmp57 ; 1362 struct iscsi_boot_attr *__cil_tmp58 ; 1363 struct attribute *__cil_tmp59 ; 1364 unsigned long __cil_tmp60 ; 1365 unsigned long __cil_tmp61 ; 1366 unsigned long __cil_tmp62 ; 1367 unsigned long __cil_tmp63 ; 1368 umode_t (*__cil_tmp64)(void * , int ) ; 1369 unsigned long __cil_tmp65 ; 1370 unsigned long __cil_tmp66 ; 1371 void *__cil_tmp67 ; 1372 struct iscsi_boot_attr *__cil_tmp68 ; 1373 struct attribute *__cil_tmp69 ; 1374 unsigned long __cil_tmp70 ; 1375 unsigned long __cil_tmp71 ; 1376 unsigned long __cil_tmp72 ; 1377 unsigned long __cil_tmp73 ; 1378 umode_t (*__cil_tmp74)(void * , int ) ; 1379 unsigned long __cil_tmp75 ; 1380 unsigned long __cil_tmp76 ; 1381 void *__cil_tmp77 ; 1382 struct iscsi_boot_attr *__cil_tmp78 ; 1383 struct attribute *__cil_tmp79 ; 1384 unsigned long __cil_tmp80 ; 1385 unsigned long __cil_tmp81 ; 1386 unsigned long __cil_tmp82 ; 1387 unsigned long __cil_tmp83 ; 1388 umode_t (*__cil_tmp84)(void * , int ) ; 1389 unsigned long __cil_tmp85 ; 1390 unsigned long __cil_tmp86 ; 1391 void *__cil_tmp87 ; 1392 struct iscsi_boot_attr *__cil_tmp88 ; 1393 struct attribute *__cil_tmp89 ; 1394 unsigned long __cil_tmp90 ; 1395 unsigned long __cil_tmp91 ; 1396 unsigned long __cil_tmp92 ; 1397 unsigned long __cil_tmp93 ; 1398 umode_t (*__cil_tmp94)(void * , int ) ; 1399 unsigned long __cil_tmp95 ; 1400 unsigned long __cil_tmp96 ; 1401 void *__cil_tmp97 ; 1402 struct iscsi_boot_attr *__cil_tmp98 ; 1403 struct attribute *__cil_tmp99 ; 1404 unsigned long __cil_tmp100 ; 1405 unsigned long __cil_tmp101 ; 1406 unsigned long __cil_tmp102 ; 1407 unsigned long __cil_tmp103 ; 1408 umode_t (*__cil_tmp104)(void * , int ) ; 1409 unsigned long __cil_tmp105 ; 1410 unsigned long __cil_tmp106 ; 1411 void *__cil_tmp107 ; 1412 struct iscsi_boot_attr *__cil_tmp108 ; 1413 struct attribute *__cil_tmp109 ; 1414 unsigned long __cil_tmp110 ; 1415 unsigned long __cil_tmp111 ; 1416 unsigned long __cil_tmp112 ; 1417 unsigned long __cil_tmp113 ; 1418 umode_t (*__cil_tmp114)(void * , int ) ; 1419 unsigned long __cil_tmp115 ; 1420 unsigned long __cil_tmp116 ; 1421 void *__cil_tmp117 ; 1422 struct iscsi_boot_attr *__cil_tmp118 ; 1423 struct attribute *__cil_tmp119 ; 1424 unsigned long __cil_tmp120 ; 1425 unsigned long __cil_tmp121 ; 1426 unsigned long __cil_tmp122 ; 1427 unsigned long __cil_tmp123 ; 1428 umode_t (*__cil_tmp124)(void * , int ) ; 1429 unsigned long __cil_tmp125 ; 1430 unsigned long __cil_tmp126 ; 1431 void *__cil_tmp127 ; 1432 struct iscsi_boot_attr *__cil_tmp128 ; 1433 struct attribute *__cil_tmp129 ; 1434 unsigned long __cil_tmp130 ; 1435 unsigned long __cil_tmp131 ; 1436 unsigned long __cil_tmp132 ; 1437 unsigned long __cil_tmp133 ; 1438 umode_t (*__cil_tmp134)(void * , int ) ; 1439 unsigned long __cil_tmp135 ; 1440 unsigned long __cil_tmp136 ; 1441 void *__cil_tmp137 ; 1442 1443 { 1444#line 215 1445 __mptr = (struct kobject const *)kobj; 1446#line 215 1447 boot_kobj = (struct iscsi_boot_kobj *)__mptr; 1448 { 1449#line 217 1450 __cil_tmp18 = & iscsi_boot_attr_eth_index; 1451#line 217 1452 __cil_tmp19 = (struct attribute *)__cil_tmp18; 1453#line 217 1454 __cil_tmp20 = (unsigned long )__cil_tmp19; 1455#line 217 1456 __cil_tmp21 = (unsigned long )attr; 1457#line 217 1458 if (__cil_tmp21 == __cil_tmp20) { 1459 { 1460#line 218 1461 __cil_tmp22 = (unsigned long )boot_kobj; 1462#line 218 1463 __cil_tmp23 = __cil_tmp22 + 104; 1464#line 218 1465 __cil_tmp24 = *((umode_t (**)(void * , int ))__cil_tmp23); 1466#line 218 1467 __cil_tmp25 = (unsigned long )boot_kobj; 1468#line 218 1469 __cil_tmp26 = __cil_tmp25 + 88; 1470#line 218 1471 __cil_tmp27 = *((void **)__cil_tmp26); 1472#line 218 1473 tmp = (*__cil_tmp24)(__cil_tmp27, 0); 1474 } 1475#line 218 1476 return (tmp); 1477 } else { 1478 { 1479#line 220 1480 __cil_tmp28 = & iscsi_boot_attr_eth_flags; 1481#line 220 1482 __cil_tmp29 = (struct attribute *)__cil_tmp28; 1483#line 220 1484 __cil_tmp30 = (unsigned long )__cil_tmp29; 1485#line 220 1486 __cil_tmp31 = (unsigned long )attr; 1487#line 220 1488 if (__cil_tmp31 == __cil_tmp30) { 1489 { 1490#line 221 1491 __cil_tmp32 = (unsigned long )boot_kobj; 1492#line 221 1493 __cil_tmp33 = __cil_tmp32 + 104; 1494#line 221 1495 __cil_tmp34 = *((umode_t (**)(void * , int ))__cil_tmp33); 1496#line 221 1497 __cil_tmp35 = (unsigned long )boot_kobj; 1498#line 221 1499 __cil_tmp36 = __cil_tmp35 + 88; 1500#line 221 1501 __cil_tmp37 = *((void **)__cil_tmp36); 1502#line 221 1503 tmp___0 = (*__cil_tmp34)(__cil_tmp37, 1); 1504 } 1505#line 221 1506 return (tmp___0); 1507 } else { 1508 { 1509#line 223 1510 __cil_tmp38 = & iscsi_boot_attr_eth_ip; 1511#line 223 1512 __cil_tmp39 = (struct attribute *)__cil_tmp38; 1513#line 223 1514 __cil_tmp40 = (unsigned long )__cil_tmp39; 1515#line 223 1516 __cil_tmp41 = (unsigned long )attr; 1517#line 223 1518 if (__cil_tmp41 == __cil_tmp40) { 1519 { 1520#line 224 1521 __cil_tmp42 = (unsigned long )boot_kobj; 1522#line 224 1523 __cil_tmp43 = __cil_tmp42 + 104; 1524#line 224 1525 __cil_tmp44 = *((umode_t (**)(void * , int ))__cil_tmp43); 1526#line 224 1527 __cil_tmp45 = (unsigned long )boot_kobj; 1528#line 224 1529 __cil_tmp46 = __cil_tmp45 + 88; 1530#line 224 1531 __cil_tmp47 = *((void **)__cil_tmp46); 1532#line 224 1533 tmp___1 = (*__cil_tmp44)(__cil_tmp47, 2); 1534 } 1535#line 224 1536 return (tmp___1); 1537 } else { 1538 { 1539#line 226 1540 __cil_tmp48 = & iscsi_boot_attr_eth_subnet; 1541#line 226 1542 __cil_tmp49 = (struct attribute *)__cil_tmp48; 1543#line 226 1544 __cil_tmp50 = (unsigned long )__cil_tmp49; 1545#line 226 1546 __cil_tmp51 = (unsigned long )attr; 1547#line 226 1548 if (__cil_tmp51 == __cil_tmp50) { 1549 { 1550#line 227 1551 __cil_tmp52 = (unsigned long )boot_kobj; 1552#line 227 1553 __cil_tmp53 = __cil_tmp52 + 104; 1554#line 227 1555 __cil_tmp54 = *((umode_t (**)(void * , int ))__cil_tmp53); 1556#line 227 1557 __cil_tmp55 = (unsigned long )boot_kobj; 1558#line 227 1559 __cil_tmp56 = __cil_tmp55 + 88; 1560#line 227 1561 __cil_tmp57 = *((void **)__cil_tmp56); 1562#line 227 1563 tmp___2 = (*__cil_tmp54)(__cil_tmp57, 3); 1564 } 1565#line 227 1566 return (tmp___2); 1567 } else { 1568 { 1569#line 229 1570 __cil_tmp58 = & iscsi_boot_attr_eth_origin; 1571#line 229 1572 __cil_tmp59 = (struct attribute *)__cil_tmp58; 1573#line 229 1574 __cil_tmp60 = (unsigned long )__cil_tmp59; 1575#line 229 1576 __cil_tmp61 = (unsigned long )attr; 1577#line 229 1578 if (__cil_tmp61 == __cil_tmp60) { 1579 { 1580#line 230 1581 __cil_tmp62 = (unsigned long )boot_kobj; 1582#line 230 1583 __cil_tmp63 = __cil_tmp62 + 104; 1584#line 230 1585 __cil_tmp64 = *((umode_t (**)(void * , int ))__cil_tmp63); 1586#line 230 1587 __cil_tmp65 = (unsigned long )boot_kobj; 1588#line 230 1589 __cil_tmp66 = __cil_tmp65 + 88; 1590#line 230 1591 __cil_tmp67 = *((void **)__cil_tmp66); 1592#line 230 1593 tmp___3 = (*__cil_tmp64)(__cil_tmp67, 4); 1594 } 1595#line 230 1596 return (tmp___3); 1597 } else { 1598 { 1599#line 232 1600 __cil_tmp68 = & iscsi_boot_attr_eth_gateway; 1601#line 232 1602 __cil_tmp69 = (struct attribute *)__cil_tmp68; 1603#line 232 1604 __cil_tmp70 = (unsigned long )__cil_tmp69; 1605#line 232 1606 __cil_tmp71 = (unsigned long )attr; 1607#line 232 1608 if (__cil_tmp71 == __cil_tmp70) { 1609 { 1610#line 233 1611 __cil_tmp72 = (unsigned long )boot_kobj; 1612#line 233 1613 __cil_tmp73 = __cil_tmp72 + 104; 1614#line 233 1615 __cil_tmp74 = *((umode_t (**)(void * , int ))__cil_tmp73); 1616#line 233 1617 __cil_tmp75 = (unsigned long )boot_kobj; 1618#line 233 1619 __cil_tmp76 = __cil_tmp75 + 88; 1620#line 233 1621 __cil_tmp77 = *((void **)__cil_tmp76); 1622#line 233 1623 tmp___4 = (*__cil_tmp74)(__cil_tmp77, 5); 1624 } 1625#line 233 1626 return (tmp___4); 1627 } else { 1628 { 1629#line 235 1630 __cil_tmp78 = & iscsi_boot_attr_eth_primary_dns; 1631#line 235 1632 __cil_tmp79 = (struct attribute *)__cil_tmp78; 1633#line 235 1634 __cil_tmp80 = (unsigned long )__cil_tmp79; 1635#line 235 1636 __cil_tmp81 = (unsigned long )attr; 1637#line 235 1638 if (__cil_tmp81 == __cil_tmp80) { 1639 { 1640#line 236 1641 __cil_tmp82 = (unsigned long )boot_kobj; 1642#line 236 1643 __cil_tmp83 = __cil_tmp82 + 104; 1644#line 236 1645 __cil_tmp84 = *((umode_t (**)(void * , int ))__cil_tmp83); 1646#line 236 1647 __cil_tmp85 = (unsigned long )boot_kobj; 1648#line 236 1649 __cil_tmp86 = __cil_tmp85 + 88; 1650#line 236 1651 __cil_tmp87 = *((void **)__cil_tmp86); 1652#line 236 1653 tmp___5 = (*__cil_tmp84)(__cil_tmp87, 6); 1654 } 1655#line 236 1656 return (tmp___5); 1657 } else { 1658 { 1659#line 238 1660 __cil_tmp88 = & iscsi_boot_attr_eth_secondary_dns; 1661#line 238 1662 __cil_tmp89 = (struct attribute *)__cil_tmp88; 1663#line 238 1664 __cil_tmp90 = (unsigned long )__cil_tmp89; 1665#line 238 1666 __cil_tmp91 = (unsigned long )attr; 1667#line 238 1668 if (__cil_tmp91 == __cil_tmp90) { 1669 { 1670#line 239 1671 __cil_tmp92 = (unsigned long )boot_kobj; 1672#line 239 1673 __cil_tmp93 = __cil_tmp92 + 104; 1674#line 239 1675 __cil_tmp94 = *((umode_t (**)(void * , int ))__cil_tmp93); 1676#line 239 1677 __cil_tmp95 = (unsigned long )boot_kobj; 1678#line 239 1679 __cil_tmp96 = __cil_tmp95 + 88; 1680#line 239 1681 __cil_tmp97 = *((void **)__cil_tmp96); 1682#line 239 1683 tmp___6 = (*__cil_tmp94)(__cil_tmp97, 7); 1684 } 1685#line 239 1686 return (tmp___6); 1687 } else { 1688 { 1689#line 241 1690 __cil_tmp98 = & iscsi_boot_attr_eth_dhcp; 1691#line 241 1692 __cil_tmp99 = (struct attribute *)__cil_tmp98; 1693#line 241 1694 __cil_tmp100 = (unsigned long )__cil_tmp99; 1695#line 241 1696 __cil_tmp101 = (unsigned long )attr; 1697#line 241 1698 if (__cil_tmp101 == __cil_tmp100) { 1699 { 1700#line 242 1701 __cil_tmp102 = (unsigned long )boot_kobj; 1702#line 242 1703 __cil_tmp103 = __cil_tmp102 + 104; 1704#line 242 1705 __cil_tmp104 = *((umode_t (**)(void * , int ))__cil_tmp103); 1706#line 242 1707 __cil_tmp105 = (unsigned long )boot_kobj; 1708#line 242 1709 __cil_tmp106 = __cil_tmp105 + 88; 1710#line 242 1711 __cil_tmp107 = *((void **)__cil_tmp106); 1712#line 242 1713 tmp___7 = (*__cil_tmp104)(__cil_tmp107, 8); 1714 } 1715#line 242 1716 return (tmp___7); 1717 } else { 1718 { 1719#line 244 1720 __cil_tmp108 = & iscsi_boot_attr_eth_vlan; 1721#line 244 1722 __cil_tmp109 = (struct attribute *)__cil_tmp108; 1723#line 244 1724 __cil_tmp110 = (unsigned long )__cil_tmp109; 1725#line 244 1726 __cil_tmp111 = (unsigned long )attr; 1727#line 244 1728 if (__cil_tmp111 == __cil_tmp110) { 1729 { 1730#line 245 1731 __cil_tmp112 = (unsigned long )boot_kobj; 1732#line 245 1733 __cil_tmp113 = __cil_tmp112 + 104; 1734#line 245 1735 __cil_tmp114 = *((umode_t (**)(void * , int ))__cil_tmp113); 1736#line 245 1737 __cil_tmp115 = (unsigned long )boot_kobj; 1738#line 245 1739 __cil_tmp116 = __cil_tmp115 + 88; 1740#line 245 1741 __cil_tmp117 = *((void **)__cil_tmp116); 1742#line 245 1743 tmp___8 = (*__cil_tmp114)(__cil_tmp117, 9); 1744 } 1745#line 245 1746 return (tmp___8); 1747 } else { 1748 { 1749#line 247 1750 __cil_tmp118 = & iscsi_boot_attr_eth_mac; 1751#line 247 1752 __cil_tmp119 = (struct attribute *)__cil_tmp118; 1753#line 247 1754 __cil_tmp120 = (unsigned long )__cil_tmp119; 1755#line 247 1756 __cil_tmp121 = (unsigned long )attr; 1757#line 247 1758 if (__cil_tmp121 == __cil_tmp120) { 1759 { 1760#line 248 1761 __cil_tmp122 = (unsigned long )boot_kobj; 1762#line 248 1763 __cil_tmp123 = __cil_tmp122 + 104; 1764#line 248 1765 __cil_tmp124 = *((umode_t (**)(void * , int ))__cil_tmp123); 1766#line 248 1767 __cil_tmp125 = (unsigned long )boot_kobj; 1768#line 248 1769 __cil_tmp126 = __cil_tmp125 + 88; 1770#line 248 1771 __cil_tmp127 = *((void **)__cil_tmp126); 1772#line 248 1773 tmp___9 = (*__cil_tmp124)(__cil_tmp127, 10); 1774 } 1775#line 248 1776 return (tmp___9); 1777 } else { 1778 { 1779#line 250 1780 __cil_tmp128 = & iscsi_boot_attr_eth_hostname; 1781#line 250 1782 __cil_tmp129 = (struct attribute *)__cil_tmp128; 1783#line 250 1784 __cil_tmp130 = (unsigned long )__cil_tmp129; 1785#line 250 1786 __cil_tmp131 = (unsigned long )attr; 1787#line 250 1788 if (__cil_tmp131 == __cil_tmp130) { 1789 { 1790#line 251 1791 __cil_tmp132 = (unsigned long )boot_kobj; 1792#line 251 1793 __cil_tmp133 = __cil_tmp132 + 104; 1794#line 251 1795 __cil_tmp134 = *((umode_t (**)(void * , int ))__cil_tmp133); 1796#line 251 1797 __cil_tmp135 = (unsigned long )boot_kobj; 1798#line 251 1799 __cil_tmp136 = __cil_tmp135 + 88; 1800#line 251 1801 __cil_tmp137 = *((void **)__cil_tmp136); 1802#line 251 1803 tmp___10 = (*__cil_tmp134)(__cil_tmp137, 11); 1804 } 1805#line 251 1806 return (tmp___10); 1807 } else { 1808 1809 } 1810 } 1811 } 1812 } 1813 } 1814 } 1815 } 1816 } 1817 } 1818 } 1819 } 1820 } 1821 } 1822 } 1823 } 1824 } 1825 } 1826 } 1827 } 1828 } 1829 } 1830 } 1831 } 1832 } 1833#line 253 1834 return ((umode_t )0U); 1835} 1836} 1837#line 256 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1838static struct attribute_group iscsi_boot_ethernet_attr_group = {(char const *)0, & iscsi_boot_eth_attr_is_visible, (struct attribute **)(& ethernet_attrs)}; 1839#line 262 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1840static struct iscsi_boot_attr iscsi_boot_attr_ini_index = {{"index", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1841 {(char)0}, {(char)0}, 1842 {(char)0}, {(char)0}, 1843 {(char)0}, {(char)0}}}}, 1844 0, (ssize_t (*)(void * , int , char * ))0}; 1845#line 263 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1846static struct iscsi_boot_attr iscsi_boot_attr_ini_flags = {{"flags", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1847 {(char)0}, {(char)0}, 1848 {(char)0}, {(char)0}, 1849 {(char)0}, {(char)0}}}}, 1850 1, (ssize_t (*)(void * , int , char * ))0}; 1851#line 264 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1852static struct iscsi_boot_attr iscsi_boot_attr_ini_isns = {{"isns-server", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1853 {(char)0}, {(char)0}, 1854 {(char)0}, {(char)0}, 1855 {(char)0}, {(char)0}}}}, 1856 2, (ssize_t (*)(void * , int , char * ))0}; 1857#line 265 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1858static struct iscsi_boot_attr iscsi_boot_attr_ini_slp = {{"slp-server", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1859 {(char)0}, {(char)0}, 1860 {(char)0}, {(char)0}, 1861 {(char)0}, {(char)0}}}}, 1862 3, (ssize_t (*)(void * , int , char * ))0}; 1863#line 267 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1864static struct iscsi_boot_attr iscsi_boot_attr_ini_primary_radius = {{"pri-radius-server", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, 1865 {(char)0}, 1866 {(char)0}, 1867 {(char)0}, 1868 {(char)0}, 1869 {(char)0}, 1870 {(char)0}, 1871 {(char)0}}}}, 1872 4, (ssize_t (*)(void * , int , char * ))0}; 1873#line 269 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1874static struct iscsi_boot_attr iscsi_boot_attr_ini_secondary_radius = {{"sec-radius-server", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, 1875 {(char)0}, 1876 {(char)0}, 1877 {(char)0}, 1878 {(char)0}, 1879 {(char)0}, 1880 {(char)0}, 1881 {(char)0}}}}, 1882 5, (ssize_t (*)(void * , int , char * ))0}; 1883#line 270 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1884static struct iscsi_boot_attr iscsi_boot_attr_ini_name = {{"initiator-name", (umode_t )292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, 1885 {(char)0}, {(char)0}, 1886 {(char)0}, {(char)0}, 1887 {(char)0}, {(char)0}}}}, 1888 6, (ssize_t (*)(void * , int , char * ))0}; 1889#line 272 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1890static struct attribute *initiator_attrs[8U] = 1891#line 272 1892 { & iscsi_boot_attr_ini_index.attr, & iscsi_boot_attr_ini_flags.attr, & iscsi_boot_attr_ini_isns.attr, & iscsi_boot_attr_ini_slp.attr, 1893 & iscsi_boot_attr_ini_primary_radius.attr, & iscsi_boot_attr_ini_secondary_radius.attr, & iscsi_boot_attr_ini_name.attr, (struct attribute *)0}; 1894#line 283 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 1895static umode_t iscsi_boot_ini_attr_is_visible(struct kobject *kobj , struct attribute *attr , 1896 int i ) 1897{ struct iscsi_boot_kobj *boot_kobj ; 1898 struct kobject const *__mptr ; 1899 umode_t tmp ; 1900 umode_t tmp___0 ; 1901 umode_t tmp___1 ; 1902 umode_t tmp___2 ; 1903 umode_t tmp___3 ; 1904 umode_t tmp___4 ; 1905 umode_t tmp___5 ; 1906 struct iscsi_boot_attr *__cil_tmp13 ; 1907 struct attribute *__cil_tmp14 ; 1908 unsigned long __cil_tmp15 ; 1909 unsigned long __cil_tmp16 ; 1910 unsigned long __cil_tmp17 ; 1911 unsigned long __cil_tmp18 ; 1912 umode_t (*__cil_tmp19)(void * , int ) ; 1913 unsigned long __cil_tmp20 ; 1914 unsigned long __cil_tmp21 ; 1915 void *__cil_tmp22 ; 1916 struct iscsi_boot_attr *__cil_tmp23 ; 1917 struct attribute *__cil_tmp24 ; 1918 unsigned long __cil_tmp25 ; 1919 unsigned long __cil_tmp26 ; 1920 unsigned long __cil_tmp27 ; 1921 unsigned long __cil_tmp28 ; 1922 umode_t (*__cil_tmp29)(void * , int ) ; 1923 unsigned long __cil_tmp30 ; 1924 unsigned long __cil_tmp31 ; 1925 void *__cil_tmp32 ; 1926 struct iscsi_boot_attr *__cil_tmp33 ; 1927 struct attribute *__cil_tmp34 ; 1928 unsigned long __cil_tmp35 ; 1929 unsigned long __cil_tmp36 ; 1930 unsigned long __cil_tmp37 ; 1931 unsigned long __cil_tmp38 ; 1932 umode_t (*__cil_tmp39)(void * , int ) ; 1933 unsigned long __cil_tmp40 ; 1934 unsigned long __cil_tmp41 ; 1935 void *__cil_tmp42 ; 1936 struct iscsi_boot_attr *__cil_tmp43 ; 1937 struct attribute *__cil_tmp44 ; 1938 unsigned long __cil_tmp45 ; 1939 unsigned long __cil_tmp46 ; 1940 unsigned long __cil_tmp47 ; 1941 unsigned long __cil_tmp48 ; 1942 umode_t (*__cil_tmp49)(void * , int ) ; 1943 unsigned long __cil_tmp50 ; 1944 unsigned long __cil_tmp51 ; 1945 void *__cil_tmp52 ; 1946 struct iscsi_boot_attr *__cil_tmp53 ; 1947 struct attribute *__cil_tmp54 ; 1948 unsigned long __cil_tmp55 ; 1949 unsigned long __cil_tmp56 ; 1950 unsigned long __cil_tmp57 ; 1951 unsigned long __cil_tmp58 ; 1952 umode_t (*__cil_tmp59)(void * , int ) ; 1953 unsigned long __cil_tmp60 ; 1954 unsigned long __cil_tmp61 ; 1955 void *__cil_tmp62 ; 1956 struct iscsi_boot_attr *__cil_tmp63 ; 1957 struct attribute *__cil_tmp64 ; 1958 unsigned long __cil_tmp65 ; 1959 unsigned long __cil_tmp66 ; 1960 unsigned long __cil_tmp67 ; 1961 unsigned long __cil_tmp68 ; 1962 umode_t (*__cil_tmp69)(void * , int ) ; 1963 unsigned long __cil_tmp70 ; 1964 unsigned long __cil_tmp71 ; 1965 void *__cil_tmp72 ; 1966 struct iscsi_boot_attr *__cil_tmp73 ; 1967 struct attribute *__cil_tmp74 ; 1968 unsigned long __cil_tmp75 ; 1969 unsigned long __cil_tmp76 ; 1970 unsigned long __cil_tmp77 ; 1971 unsigned long __cil_tmp78 ; 1972 umode_t (*__cil_tmp79)(void * , int ) ; 1973 unsigned long __cil_tmp80 ; 1974 unsigned long __cil_tmp81 ; 1975 void *__cil_tmp82 ; 1976 1977 { 1978#line 287 1979 __mptr = (struct kobject const *)kobj; 1980#line 287 1981 boot_kobj = (struct iscsi_boot_kobj *)__mptr; 1982 { 1983#line 289 1984 __cil_tmp13 = & iscsi_boot_attr_ini_index; 1985#line 289 1986 __cil_tmp14 = (struct attribute *)__cil_tmp13; 1987#line 289 1988 __cil_tmp15 = (unsigned long )__cil_tmp14; 1989#line 289 1990 __cil_tmp16 = (unsigned long )attr; 1991#line 289 1992 if (__cil_tmp16 == __cil_tmp15) { 1993 { 1994#line 290 1995 __cil_tmp17 = (unsigned long )boot_kobj; 1996#line 290 1997 __cil_tmp18 = __cil_tmp17 + 104; 1998#line 290 1999 __cil_tmp19 = *((umode_t (**)(void * , int ))__cil_tmp18); 2000#line 290 2001 __cil_tmp20 = (unsigned long )boot_kobj; 2002#line 290 2003 __cil_tmp21 = __cil_tmp20 + 88; 2004#line 290 2005 __cil_tmp22 = *((void **)__cil_tmp21); 2006#line 290 2007 tmp = (*__cil_tmp19)(__cil_tmp22, 0); 2008 } 2009#line 290 2010 return (tmp); 2011 } else { 2012 2013 } 2014 } 2015 { 2016#line 292 2017 __cil_tmp23 = & iscsi_boot_attr_ini_flags; 2018#line 292 2019 __cil_tmp24 = (struct attribute *)__cil_tmp23; 2020#line 292 2021 __cil_tmp25 = (unsigned long )__cil_tmp24; 2022#line 292 2023 __cil_tmp26 = (unsigned long )attr; 2024#line 292 2025 if (__cil_tmp26 == __cil_tmp25) { 2026 { 2027#line 293 2028 __cil_tmp27 = (unsigned long )boot_kobj; 2029#line 293 2030 __cil_tmp28 = __cil_tmp27 + 104; 2031#line 293 2032 __cil_tmp29 = *((umode_t (**)(void * , int ))__cil_tmp28); 2033#line 293 2034 __cil_tmp30 = (unsigned long )boot_kobj; 2035#line 293 2036 __cil_tmp31 = __cil_tmp30 + 88; 2037#line 293 2038 __cil_tmp32 = *((void **)__cil_tmp31); 2039#line 293 2040 tmp___0 = (*__cil_tmp29)(__cil_tmp32, 1); 2041 } 2042#line 293 2043 return (tmp___0); 2044 } else { 2045 2046 } 2047 } 2048 { 2049#line 295 2050 __cil_tmp33 = & iscsi_boot_attr_ini_isns; 2051#line 295 2052 __cil_tmp34 = (struct attribute *)__cil_tmp33; 2053#line 295 2054 __cil_tmp35 = (unsigned long )__cil_tmp34; 2055#line 295 2056 __cil_tmp36 = (unsigned long )attr; 2057#line 295 2058 if (__cil_tmp36 == __cil_tmp35) { 2059 { 2060#line 296 2061 __cil_tmp37 = (unsigned long )boot_kobj; 2062#line 296 2063 __cil_tmp38 = __cil_tmp37 + 104; 2064#line 296 2065 __cil_tmp39 = *((umode_t (**)(void * , int ))__cil_tmp38); 2066#line 296 2067 __cil_tmp40 = (unsigned long )boot_kobj; 2068#line 296 2069 __cil_tmp41 = __cil_tmp40 + 88; 2070#line 296 2071 __cil_tmp42 = *((void **)__cil_tmp41); 2072#line 296 2073 tmp___1 = (*__cil_tmp39)(__cil_tmp42, 2); 2074 } 2075#line 296 2076 return (tmp___1); 2077 } else { 2078 2079 } 2080 } 2081 { 2082#line 298 2083 __cil_tmp43 = & iscsi_boot_attr_ini_slp; 2084#line 298 2085 __cil_tmp44 = (struct attribute *)__cil_tmp43; 2086#line 298 2087 __cil_tmp45 = (unsigned long )__cil_tmp44; 2088#line 298 2089 __cil_tmp46 = (unsigned long )attr; 2090#line 298 2091 if (__cil_tmp46 == __cil_tmp45) { 2092 { 2093#line 299 2094 __cil_tmp47 = (unsigned long )boot_kobj; 2095#line 299 2096 __cil_tmp48 = __cil_tmp47 + 104; 2097#line 299 2098 __cil_tmp49 = *((umode_t (**)(void * , int ))__cil_tmp48); 2099#line 299 2100 __cil_tmp50 = (unsigned long )boot_kobj; 2101#line 299 2102 __cil_tmp51 = __cil_tmp50 + 88; 2103#line 299 2104 __cil_tmp52 = *((void **)__cil_tmp51); 2105#line 299 2106 tmp___2 = (*__cil_tmp49)(__cil_tmp52, 3); 2107 } 2108#line 299 2109 return (tmp___2); 2110 } else { 2111 2112 } 2113 } 2114 { 2115#line 301 2116 __cil_tmp53 = & iscsi_boot_attr_ini_primary_radius; 2117#line 301 2118 __cil_tmp54 = (struct attribute *)__cil_tmp53; 2119#line 301 2120 __cil_tmp55 = (unsigned long )__cil_tmp54; 2121#line 301 2122 __cil_tmp56 = (unsigned long )attr; 2123#line 301 2124 if (__cil_tmp56 == __cil_tmp55) { 2125 { 2126#line 302 2127 __cil_tmp57 = (unsigned long )boot_kobj; 2128#line 302 2129 __cil_tmp58 = __cil_tmp57 + 104; 2130#line 302 2131 __cil_tmp59 = *((umode_t (**)(void * , int ))__cil_tmp58); 2132#line 302 2133 __cil_tmp60 = (unsigned long )boot_kobj; 2134#line 302 2135 __cil_tmp61 = __cil_tmp60 + 88; 2136#line 302 2137 __cil_tmp62 = *((void **)__cil_tmp61); 2138#line 302 2139 tmp___3 = (*__cil_tmp59)(__cil_tmp62, 4); 2140 } 2141#line 302 2142 return (tmp___3); 2143 } else { 2144 2145 } 2146 } 2147 { 2148#line 304 2149 __cil_tmp63 = & iscsi_boot_attr_ini_secondary_radius; 2150#line 304 2151 __cil_tmp64 = (struct attribute *)__cil_tmp63; 2152#line 304 2153 __cil_tmp65 = (unsigned long )__cil_tmp64; 2154#line 304 2155 __cil_tmp66 = (unsigned long )attr; 2156#line 304 2157 if (__cil_tmp66 == __cil_tmp65) { 2158 { 2159#line 305 2160 __cil_tmp67 = (unsigned long )boot_kobj; 2161#line 305 2162 __cil_tmp68 = __cil_tmp67 + 104; 2163#line 305 2164 __cil_tmp69 = *((umode_t (**)(void * , int ))__cil_tmp68); 2165#line 305 2166 __cil_tmp70 = (unsigned long )boot_kobj; 2167#line 305 2168 __cil_tmp71 = __cil_tmp70 + 88; 2169#line 305 2170 __cil_tmp72 = *((void **)__cil_tmp71); 2171#line 305 2172 tmp___4 = (*__cil_tmp69)(__cil_tmp72, 5); 2173 } 2174#line 305 2175 return (tmp___4); 2176 } else { 2177 2178 } 2179 } 2180 { 2181#line 307 2182 __cil_tmp73 = & iscsi_boot_attr_ini_name; 2183#line 307 2184 __cil_tmp74 = (struct attribute *)__cil_tmp73; 2185#line 307 2186 __cil_tmp75 = (unsigned long )__cil_tmp74; 2187#line 307 2188 __cil_tmp76 = (unsigned long )attr; 2189#line 307 2190 if (__cil_tmp76 == __cil_tmp75) { 2191 { 2192#line 308 2193 __cil_tmp77 = (unsigned long )boot_kobj; 2194#line 308 2195 __cil_tmp78 = __cil_tmp77 + 104; 2196#line 308 2197 __cil_tmp79 = *((umode_t (**)(void * , int ))__cil_tmp78); 2198#line 308 2199 __cil_tmp80 = (unsigned long )boot_kobj; 2200#line 308 2201 __cil_tmp81 = __cil_tmp80 + 88; 2202#line 308 2203 __cil_tmp82 = *((void **)__cil_tmp81); 2204#line 308 2205 tmp___5 = (*__cil_tmp79)(__cil_tmp82, 6); 2206 } 2207#line 308 2208 return (tmp___5); 2209 } else { 2210 2211 } 2212 } 2213#line 311 2214 return ((umode_t )0U); 2215} 2216} 2217#line 314 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2218static struct attribute_group iscsi_boot_initiator_attr_group = {(char const *)0, & iscsi_boot_ini_attr_is_visible, (struct attribute **)(& initiator_attrs)}; 2219#line 320 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2220static struct iscsi_boot_kobj *iscsi_boot_create_kobj(struct iscsi_boot_kset *boot_kset , 2221 struct attribute_group *attr_group , 2222 char const *name , int index , 2223 void *data , ssize_t (*show)(void * , 2224 int , 2225 char * ) , 2226 umode_t (*is_visible)(void * , 2227 int ) , 2228 void (*release)(void * ) ) 2229{ struct iscsi_boot_kobj *boot_kobj ; 2230 void *tmp ; 2231 int tmp___0 ; 2232 int tmp___1 ; 2233 struct iscsi_boot_kobj *__cil_tmp13 ; 2234 unsigned long __cil_tmp14 ; 2235 unsigned long __cil_tmp15 ; 2236 unsigned long __cil_tmp16 ; 2237 unsigned long __cil_tmp17 ; 2238 struct list_head *__cil_tmp18 ; 2239 unsigned long __cil_tmp19 ; 2240 unsigned long __cil_tmp20 ; 2241 unsigned long __cil_tmp21 ; 2242 unsigned long __cil_tmp22 ; 2243 unsigned long __cil_tmp23 ; 2244 struct kobject *__cil_tmp24 ; 2245 struct kobject *__cil_tmp25 ; 2246 void const *__cil_tmp26 ; 2247 unsigned long __cil_tmp27 ; 2248 unsigned long __cil_tmp28 ; 2249 unsigned long __cil_tmp29 ; 2250 unsigned long __cil_tmp30 ; 2251 unsigned long __cil_tmp31 ; 2252 unsigned long __cil_tmp32 ; 2253 unsigned long __cil_tmp33 ; 2254 unsigned long __cil_tmp34 ; 2255 struct kobject *__cil_tmp35 ; 2256 struct attribute_group const *__cil_tmp36 ; 2257 unsigned long __cil_tmp37 ; 2258 unsigned long __cil_tmp38 ; 2259 struct kobject *__cil_tmp39 ; 2260 unsigned long __cil_tmp40 ; 2261 unsigned long __cil_tmp41 ; 2262 struct kobject *__cil_tmp42 ; 2263 enum kobject_action __cil_tmp43 ; 2264 unsigned long __cil_tmp44 ; 2265 unsigned long __cil_tmp45 ; 2266 struct list_head *__cil_tmp46 ; 2267 struct list_head *__cil_tmp47 ; 2268 2269 { 2270 { 2271#line 329 2272 tmp = kzalloc(120UL, 208U); 2273#line 329 2274 boot_kobj = (struct iscsi_boot_kobj *)tmp; 2275 } 2276 { 2277#line 330 2278 __cil_tmp13 = (struct iscsi_boot_kobj *)0; 2279#line 330 2280 __cil_tmp14 = (unsigned long )__cil_tmp13; 2281#line 330 2282 __cil_tmp15 = (unsigned long )boot_kobj; 2283#line 330 2284 if (__cil_tmp15 == __cil_tmp14) { 2285#line 331 2286 return ((struct iscsi_boot_kobj *)0); 2287 } else { 2288 2289 } 2290 } 2291 { 2292#line 332 2293 __cil_tmp16 = (unsigned long )boot_kobj; 2294#line 332 2295 __cil_tmp17 = __cil_tmp16 + 72; 2296#line 332 2297 __cil_tmp18 = (struct list_head *)__cil_tmp17; 2298#line 332 2299 INIT_LIST_HEAD(__cil_tmp18); 2300#line 334 2301 __cil_tmp19 = 0 + 32; 2302#line 334 2303 __cil_tmp20 = (unsigned long )boot_kobj; 2304#line 334 2305 __cil_tmp21 = __cil_tmp20 + __cil_tmp19; 2306#line 334 2307 __cil_tmp22 = (unsigned long )boot_kset; 2308#line 334 2309 __cil_tmp23 = __cil_tmp22 + 16; 2310#line 334 2311 *((struct kset **)__cil_tmp21) = *((struct kset **)__cil_tmp23); 2312#line 335 2313 __cil_tmp24 = (struct kobject *)boot_kobj; 2314#line 335 2315 __cil_tmp25 = (struct kobject *)0; 2316#line 335 2317 tmp___0 = kobject_init_and_add(__cil_tmp24, & iscsi_boot_ktype, __cil_tmp25, name, 2318 index); 2319 } 2320#line 335 2321 if (tmp___0 != 0) { 2322 { 2323#line 337 2324 __cil_tmp26 = (void const *)boot_kobj; 2325#line 337 2326 kfree(__cil_tmp26); 2327 } 2328#line 338 2329 return ((struct iscsi_boot_kobj *)0); 2330 } else { 2331 2332 } 2333 { 2334#line 340 2335 __cil_tmp27 = (unsigned long )boot_kobj; 2336#line 340 2337 __cil_tmp28 = __cil_tmp27 + 88; 2338#line 340 2339 *((void **)__cil_tmp28) = data; 2340#line 341 2341 __cil_tmp29 = (unsigned long )boot_kobj; 2342#line 341 2343 __cil_tmp30 = __cil_tmp29 + 96; 2344#line 341 2345 *((ssize_t (**)(void * , int , char * ))__cil_tmp30) = show; 2346#line 342 2347 __cil_tmp31 = (unsigned long )boot_kobj; 2348#line 342 2349 __cil_tmp32 = __cil_tmp31 + 104; 2350#line 342 2351 *((umode_t (**)(void * , int ))__cil_tmp32) = is_visible; 2352#line 343 2353 __cil_tmp33 = (unsigned long )boot_kobj; 2354#line 343 2355 __cil_tmp34 = __cil_tmp33 + 112; 2356#line 343 2357 *((void (**)(void * ))__cil_tmp34) = release; 2358#line 345 2359 __cil_tmp35 = (struct kobject *)boot_kobj; 2360#line 345 2361 __cil_tmp36 = (struct attribute_group const *)attr_group; 2362#line 345 2363 tmp___1 = sysfs_create_group(__cil_tmp35, __cil_tmp36); 2364 } 2365#line 345 2366 if (tmp___1 != 0) { 2367 { 2368#line 352 2369 __cil_tmp37 = (unsigned long )boot_kobj; 2370#line 352 2371 __cil_tmp38 = __cil_tmp37 + 112; 2372#line 352 2373 *((void (**)(void * ))__cil_tmp38) = (void (*)(void * ))0; 2374#line 353 2375 __cil_tmp39 = (struct kobject *)boot_kobj; 2376#line 353 2377 kobject_put(__cil_tmp39); 2378 } 2379#line 354 2380 return ((struct iscsi_boot_kobj *)0); 2381 } else { 2382 2383 } 2384 { 2385#line 356 2386 __cil_tmp40 = (unsigned long )boot_kobj; 2387#line 356 2388 __cil_tmp41 = __cil_tmp40 + 64; 2389#line 356 2390 *((struct attribute_group **)__cil_tmp41) = attr_group; 2391#line 358 2392 __cil_tmp42 = (struct kobject *)boot_kobj; 2393#line 358 2394 __cil_tmp43 = (enum kobject_action )0; 2395#line 358 2396 kobject_uevent(__cil_tmp42, __cil_tmp43); 2397#line 360 2398 __cil_tmp44 = (unsigned long )boot_kobj; 2399#line 360 2400 __cil_tmp45 = __cil_tmp44 + 72; 2401#line 360 2402 __cil_tmp46 = (struct list_head *)__cil_tmp45; 2403#line 360 2404 __cil_tmp47 = (struct list_head *)boot_kset; 2405#line 360 2406 list_add_tail(__cil_tmp46, __cil_tmp47); 2407 } 2408#line 361 2409 return (boot_kobj); 2410} 2411} 2412#line 364 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2413static void iscsi_boot_remove_kobj(struct iscsi_boot_kobj *boot_kobj ) 2414{ unsigned long __cil_tmp2 ; 2415 unsigned long __cil_tmp3 ; 2416 struct list_head *__cil_tmp4 ; 2417 struct kobject *__cil_tmp5 ; 2418 unsigned long __cil_tmp6 ; 2419 unsigned long __cil_tmp7 ; 2420 struct attribute_group *__cil_tmp8 ; 2421 struct attribute_group const *__cil_tmp9 ; 2422 struct kobject *__cil_tmp10 ; 2423 2424 { 2425 { 2426#line 366 2427 __cil_tmp2 = (unsigned long )boot_kobj; 2428#line 366 2429 __cil_tmp3 = __cil_tmp2 + 72; 2430#line 366 2431 __cil_tmp4 = (struct list_head *)__cil_tmp3; 2432#line 366 2433 list_del(__cil_tmp4); 2434#line 367 2435 __cil_tmp5 = (struct kobject *)boot_kobj; 2436#line 367 2437 __cil_tmp6 = (unsigned long )boot_kobj; 2438#line 367 2439 __cil_tmp7 = __cil_tmp6 + 64; 2440#line 367 2441 __cil_tmp8 = *((struct attribute_group **)__cil_tmp7); 2442#line 367 2443 __cil_tmp9 = (struct attribute_group const *)__cil_tmp8; 2444#line 367 2445 sysfs_remove_group(__cil_tmp5, __cil_tmp9); 2446#line 368 2447 __cil_tmp10 = (struct kobject *)boot_kobj; 2448#line 368 2449 kobject_put(__cil_tmp10); 2450 } 2451#line 369 2452 return; 2453} 2454} 2455#line 384 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2456struct iscsi_boot_kobj *iscsi_boot_create_target(struct iscsi_boot_kset *boot_kset , 2457 int index , void *data , ssize_t (*show)(void * , 2458 int , 2459 char * ) , 2460 umode_t (*is_visible)(void * , int ) , 2461 void (*release)(void * ) ) 2462{ struct iscsi_boot_kobj *tmp ; 2463 2464 { 2465 { 2466#line 390 2467 tmp = iscsi_boot_create_kobj(boot_kset, & iscsi_boot_target_attr_group, "target%d", 2468 index, data, show, is_visible, release); 2469 } 2470#line 390 2471 return (tmp); 2472} 2473} 2474#line 409 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2475struct iscsi_boot_kobj *iscsi_boot_create_initiator(struct iscsi_boot_kset *boot_kset , 2476 int index , void *data , ssize_t (*show)(void * , 2477 int , 2478 char * ) , 2479 umode_t (*is_visible)(void * , 2480 int ) , 2481 void (*release)(void * ) ) 2482{ struct iscsi_boot_kobj *tmp ; 2483 2484 { 2485 { 2486#line 415 2487 tmp = iscsi_boot_create_kobj(boot_kset, & iscsi_boot_initiator_attr_group, "initiator", 2488 index, data, show, is_visible, release); 2489 } 2490#line 415 2491 return (tmp); 2492} 2493} 2494#line 435 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2495struct iscsi_boot_kobj *iscsi_boot_create_ethernet(struct iscsi_boot_kset *boot_kset , 2496 int index , void *data , ssize_t (*show)(void * , 2497 int , 2498 char * ) , 2499 umode_t (*is_visible)(void * , 2500 int ) , 2501 void (*release)(void * ) ) 2502{ struct iscsi_boot_kobj *tmp ; 2503 2504 { 2505 { 2506#line 441 2507 tmp = iscsi_boot_create_kobj(boot_kset, & iscsi_boot_ethernet_attr_group, "ethernet%d", 2508 index, data, show, is_visible, release); 2509 } 2510#line 441 2511 return (tmp); 2512} 2513} 2514#line 452 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2515struct iscsi_boot_kset *iscsi_boot_create_kset(char const *set_name ) 2516{ struct iscsi_boot_kset *boot_kset ; 2517 void *tmp ; 2518 struct iscsi_boot_kset *__cil_tmp4 ; 2519 unsigned long __cil_tmp5 ; 2520 unsigned long __cil_tmp6 ; 2521 unsigned long __cil_tmp7 ; 2522 unsigned long __cil_tmp8 ; 2523 struct kset_uevent_ops const *__cil_tmp9 ; 2524 struct kset *__cil_tmp10 ; 2525 unsigned long __cil_tmp11 ; 2526 unsigned long __cil_tmp12 ; 2527 unsigned long __cil_tmp13 ; 2528 struct kset *__cil_tmp14 ; 2529 unsigned long __cil_tmp15 ; 2530 void const *__cil_tmp16 ; 2531 struct list_head *__cil_tmp17 ; 2532 2533 { 2534 { 2535#line 456 2536 tmp = kzalloc(24UL, 208U); 2537#line 456 2538 boot_kset = (struct iscsi_boot_kset *)tmp; 2539 } 2540 { 2541#line 457 2542 __cil_tmp4 = (struct iscsi_boot_kset *)0; 2543#line 457 2544 __cil_tmp5 = (unsigned long )__cil_tmp4; 2545#line 457 2546 __cil_tmp6 = (unsigned long )boot_kset; 2547#line 457 2548 if (__cil_tmp6 == __cil_tmp5) { 2549#line 458 2550 return ((struct iscsi_boot_kset *)0); 2551 } else { 2552 2553 } 2554 } 2555 { 2556#line 460 2557 __cil_tmp7 = (unsigned long )boot_kset; 2558#line 460 2559 __cil_tmp8 = __cil_tmp7 + 16; 2560#line 460 2561 __cil_tmp9 = (struct kset_uevent_ops const *)0; 2562#line 460 2563 *((struct kset **)__cil_tmp8) = kset_create_and_add(set_name, __cil_tmp9, firmware_kobj); 2564 } 2565 { 2566#line 461 2567 __cil_tmp10 = (struct kset *)0; 2568#line 461 2569 __cil_tmp11 = (unsigned long )__cil_tmp10; 2570#line 461 2571 __cil_tmp12 = (unsigned long )boot_kset; 2572#line 461 2573 __cil_tmp13 = __cil_tmp12 + 16; 2574#line 461 2575 __cil_tmp14 = *((struct kset **)__cil_tmp13); 2576#line 461 2577 __cil_tmp15 = (unsigned long )__cil_tmp14; 2578#line 461 2579 if (__cil_tmp15 == __cil_tmp11) { 2580 { 2581#line 462 2582 __cil_tmp16 = (void const *)boot_kset; 2583#line 462 2584 kfree(__cil_tmp16); 2585 } 2586#line 463 2587 return ((struct iscsi_boot_kset *)0); 2588 } else { 2589 2590 } 2591 } 2592 { 2593#line 466 2594 __cil_tmp17 = (struct list_head *)boot_kset; 2595#line 466 2596 INIT_LIST_HEAD(__cil_tmp17); 2597 } 2598#line 467 2599 return (boot_kset); 2600} 2601} 2602#line 475 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2603struct iscsi_boot_kset *iscsi_boot_create_host_kset(unsigned int hostno ) 2604{ struct iscsi_boot_kset *boot_kset ; 2605 char *set_name ; 2606 char *__cil_tmp4 ; 2607 unsigned long __cil_tmp5 ; 2608 unsigned long __cil_tmp6 ; 2609 char const *__cil_tmp7 ; 2610 void const *__cil_tmp8 ; 2611 2612 { 2613 { 2614#line 480 2615 set_name = kasprintf(208U, "iscsi_boot%u", hostno); 2616 } 2617 { 2618#line 481 2619 __cil_tmp4 = (char *)0; 2620#line 481 2621 __cil_tmp5 = (unsigned long )__cil_tmp4; 2622#line 481 2623 __cil_tmp6 = (unsigned long )set_name; 2624#line 481 2625 if (__cil_tmp6 == __cil_tmp5) { 2626#line 482 2627 return ((struct iscsi_boot_kset *)0); 2628 } else { 2629 2630 } 2631 } 2632 { 2633#line 484 2634 __cil_tmp7 = (char const *)set_name; 2635#line 484 2636 boot_kset = iscsi_boot_create_kset(__cil_tmp7); 2637#line 485 2638 __cil_tmp8 = (void const *)set_name; 2639#line 485 2640 kfree(__cil_tmp8); 2641 } 2642#line 486 2643 return (boot_kset); 2644} 2645} 2646#line 496 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2647void iscsi_boot_destroy_kset(struct iscsi_boot_kset *boot_kset ) 2648{ struct iscsi_boot_kobj *boot_kobj ; 2649 struct iscsi_boot_kobj *tmp_kobj ; 2650 struct list_head const *__mptr ; 2651 struct list_head const *__mptr___0 ; 2652 struct list_head const *__mptr___1 ; 2653 struct iscsi_boot_kset *__cil_tmp7 ; 2654 unsigned long __cil_tmp8 ; 2655 unsigned long __cil_tmp9 ; 2656 struct list_head *__cil_tmp10 ; 2657 struct iscsi_boot_kobj *__cil_tmp11 ; 2658 unsigned long __cil_tmp12 ; 2659 unsigned long __cil_tmp13 ; 2660 struct list_head *__cil_tmp14 ; 2661 struct iscsi_boot_kobj *__cil_tmp15 ; 2662 unsigned long __cil_tmp16 ; 2663 unsigned long __cil_tmp17 ; 2664 struct list_head *__cil_tmp18 ; 2665 struct iscsi_boot_kobj *__cil_tmp19 ; 2666 struct list_head *__cil_tmp20 ; 2667 unsigned long __cil_tmp21 ; 2668 unsigned long __cil_tmp22 ; 2669 unsigned long __cil_tmp23 ; 2670 struct list_head *__cil_tmp24 ; 2671 unsigned long __cil_tmp25 ; 2672 unsigned long __cil_tmp26 ; 2673 unsigned long __cil_tmp27 ; 2674 struct kset *__cil_tmp28 ; 2675 2676 { 2677 { 2678#line 500 2679 __cil_tmp7 = (struct iscsi_boot_kset *)0; 2680#line 500 2681 __cil_tmp8 = (unsigned long )__cil_tmp7; 2682#line 500 2683 __cil_tmp9 = (unsigned long )boot_kset; 2684#line 500 2685 if (__cil_tmp9 == __cil_tmp8) { 2686#line 501 2687 return; 2688 } else { 2689 2690 } 2691 } 2692#line 503 2693 __cil_tmp10 = *((struct list_head **)boot_kset); 2694#line 503 2695 __mptr = (struct list_head const *)__cil_tmp10; 2696#line 503 2697 __cil_tmp11 = (struct iscsi_boot_kobj *)__mptr; 2698#line 503 2699 boot_kobj = __cil_tmp11 + 0xffffffffffffffb8UL; 2700#line 503 2701 __cil_tmp12 = (unsigned long )boot_kobj; 2702#line 503 2703 __cil_tmp13 = __cil_tmp12 + 72; 2704#line 503 2705 __cil_tmp14 = *((struct list_head **)__cil_tmp13); 2706#line 503 2707 __mptr___0 = (struct list_head const *)__cil_tmp14; 2708#line 503 2709 __cil_tmp15 = (struct iscsi_boot_kobj *)__mptr___0; 2710#line 503 2711 tmp_kobj = __cil_tmp15 + 0xffffffffffffffb8UL; 2712#line 503 2713 goto ldv_14600; 2714 ldv_14599: 2715 { 2716#line 505 2717 iscsi_boot_remove_kobj(boot_kobj); 2718#line 503 2719 boot_kobj = tmp_kobj; 2720#line 503 2721 __cil_tmp16 = (unsigned long )tmp_kobj; 2722#line 503 2723 __cil_tmp17 = __cil_tmp16 + 72; 2724#line 503 2725 __cil_tmp18 = *((struct list_head **)__cil_tmp17); 2726#line 503 2727 __mptr___1 = (struct list_head const *)__cil_tmp18; 2728#line 503 2729 __cil_tmp19 = (struct iscsi_boot_kobj *)__mptr___1; 2730#line 503 2731 tmp_kobj = __cil_tmp19 + 0xffffffffffffffb8UL; 2732 } 2733 ldv_14600: ; 2734 { 2735#line 503 2736 __cil_tmp20 = (struct list_head *)boot_kset; 2737#line 503 2738 __cil_tmp21 = (unsigned long )__cil_tmp20; 2739#line 503 2740 __cil_tmp22 = (unsigned long )boot_kobj; 2741#line 503 2742 __cil_tmp23 = __cil_tmp22 + 72; 2743#line 503 2744 __cil_tmp24 = (struct list_head *)__cil_tmp23; 2745#line 503 2746 __cil_tmp25 = (unsigned long )__cil_tmp24; 2747#line 503 2748 if (__cil_tmp25 != __cil_tmp21) { 2749#line 504 2750 goto ldv_14599; 2751 } else { 2752#line 506 2753 goto ldv_14601; 2754 } 2755 } 2756 ldv_14601: 2757 { 2758#line 507 2759 __cil_tmp26 = (unsigned long )boot_kset; 2760#line 507 2761 __cil_tmp27 = __cil_tmp26 + 16; 2762#line 507 2763 __cil_tmp28 = *((struct kset **)__cil_tmp27); 2764#line 507 2765 kset_unregister(__cil_tmp28); 2766 } 2767#line 508 2768 return; 2769} 2770} 2771#line 527 2772extern void ldv_check_final_state(void) ; 2773#line 533 2774extern void ldv_initialize(void) ; 2775#line 536 2776extern int __VERIFIER_nondet_int(void) ; 2777#line 539 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2778int LDV_IN_INTERRUPT ; 2779#line 542 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2780void main(void) 2781{ struct kobject *var_group1 ; 2782 struct attribute *var_group2 ; 2783 char *var_iscsi_boot_show_attribute_0_p2 ; 2784 int var_iscsi_boot_tgt_attr_is_visible_2_p2 ; 2785 int var_iscsi_boot_eth_attr_is_visible_3_p2 ; 2786 int var_iscsi_boot_ini_attr_is_visible_4_p2 ; 2787 int ldv_s_iscsi_boot_ktype_kobj_type ; 2788 int tmp ; 2789 int tmp___0 ; 2790 2791 { 2792 { 2793#line 630 2794 ldv_s_iscsi_boot_ktype_kobj_type = 0; 2795#line 618 2796 LDV_IN_INTERRUPT = 1; 2797#line 627 2798 ldv_initialize(); 2799 } 2800#line 639 2801 goto ldv_14635; 2802 ldv_14634: 2803 { 2804#line 643 2805 tmp = __VERIFIER_nondet_int(); 2806 } 2807#line 645 2808 if (tmp == 0) { 2809#line 645 2810 goto case_0; 2811 } else 2812#line 668 2813 if (tmp == 1) { 2814#line 668 2815 goto case_1; 2816 } else 2817#line 691 2818 if (tmp == 2) { 2819#line 691 2820 goto case_2; 2821 } else 2822#line 713 2823 if (tmp == 3) { 2824#line 713 2825 goto case_3; 2826 } else 2827#line 735 2828 if (tmp == 4) { 2829#line 735 2830 goto case_4; 2831 } else { 2832 { 2833#line 757 2834 goto switch_default; 2835#line 643 2836 if (0) { 2837 case_0: /* CIL Label */ 2838 { 2839#line 653 2840 iscsi_boot_show_attribute(var_group1, var_group2, var_iscsi_boot_show_attribute_0_p2); 2841 } 2842#line 667 2843 goto ldv_14628; 2844 case_1: /* CIL Label */ ; 2845#line 671 2846 if (ldv_s_iscsi_boot_ktype_kobj_type == 0) { 2847 { 2848#line 676 2849 iscsi_boot_kobj_release(var_group1); 2850#line 684 2851 ldv_s_iscsi_boot_ktype_kobj_type = 0; 2852 } 2853 } else { 2854 2855 } 2856#line 690 2857 goto ldv_14628; 2858 case_2: /* CIL Label */ 2859 { 2860#line 705 2861 iscsi_boot_tgt_attr_is_visible(var_group1, var_group2, var_iscsi_boot_tgt_attr_is_visible_2_p2); 2862 } 2863#line 712 2864 goto ldv_14628; 2865 case_3: /* CIL Label */ 2866 { 2867#line 727 2868 iscsi_boot_eth_attr_is_visible(var_group1, var_group2, var_iscsi_boot_eth_attr_is_visible_3_p2); 2869 } 2870#line 734 2871 goto ldv_14628; 2872 case_4: /* CIL Label */ 2873 { 2874#line 749 2875 iscsi_boot_ini_attr_is_visible(var_group1, var_group2, var_iscsi_boot_ini_attr_is_visible_4_p2); 2876 } 2877#line 756 2878 goto ldv_14628; 2879 switch_default: /* CIL Label */ ; 2880#line 757 2881 goto ldv_14628; 2882 } else { 2883 switch_break: /* CIL Label */ ; 2884 } 2885 } 2886 } 2887 ldv_14628: ; 2888 ldv_14635: 2889 { 2890#line 639 2891 tmp___0 = __VERIFIER_nondet_int(); 2892 } 2893#line 639 2894 if (tmp___0 != 0) { 2895#line 641 2896 goto ldv_14634; 2897 } else 2898#line 639 2899 if (ldv_s_iscsi_boot_ktype_kobj_type != 0) { 2900#line 641 2901 goto ldv_14634; 2902 } else { 2903#line 643 2904 goto ldv_14636; 2905 } 2906 ldv_14636: ; 2907 2908 { 2909#line 766 2910 ldv_check_final_state(); 2911 } 2912#line 769 2913 return; 2914} 2915} 2916#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h" 2917void ldv_blast_assert(void) 2918{ 2919 2920 { 2921 ERROR: ; 2922#line 6 2923 goto ERROR; 2924} 2925} 2926#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h" 2927extern int __VERIFIER_nondet_int(void) ; 2928#line 790 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2929int ldv_spin = 0; 2930#line 794 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2931void ldv_check_alloc_flags(gfp_t flags ) 2932{ 2933 2934 { 2935#line 797 2936 if (ldv_spin != 0) { 2937#line 797 2938 if (flags != 32U) { 2939 { 2940#line 797 2941 ldv_blast_assert(); 2942 } 2943 } else { 2944 2945 } 2946 } else { 2947 2948 } 2949#line 800 2950 return; 2951} 2952} 2953#line 800 2954extern struct page *ldv_some_page(void) ; 2955#line 803 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2956struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) 2957{ struct page *tmp ; 2958 2959 { 2960#line 806 2961 if (ldv_spin != 0) { 2962#line 806 2963 if (flags != 32U) { 2964 { 2965#line 806 2966 ldv_blast_assert(); 2967 } 2968 } else { 2969 2970 } 2971 } else { 2972 2973 } 2974 { 2975#line 808 2976 tmp = ldv_some_page(); 2977 } 2978#line 808 2979 return (tmp); 2980} 2981} 2982#line 812 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 2983void ldv_check_alloc_nonatomic(void) 2984{ 2985 2986 { 2987#line 815 2988 if (ldv_spin != 0) { 2989 { 2990#line 815 2991 ldv_blast_assert(); 2992 } 2993 } else { 2994 2995 } 2996#line 818 2997 return; 2998} 2999} 3000#line 819 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 3001void ldv_spin_lock(void) 3002{ 3003 3004 { 3005#line 822 3006 ldv_spin = 1; 3007#line 823 3008 return; 3009} 3010} 3011#line 826 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 3012void ldv_spin_unlock(void) 3013{ 3014 3015 { 3016#line 829 3017 ldv_spin = 0; 3018#line 830 3019 return; 3020} 3021} 3022#line 833 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 3023int ldv_spin_trylock(void) 3024{ int is_lock ; 3025 3026 { 3027 { 3028#line 838 3029 is_lock = __VERIFIER_nondet_int(); 3030 } 3031#line 840 3032 if (is_lock != 0) { 3033#line 843 3034 return (0); 3035 } else { 3036#line 848 3037 ldv_spin = 1; 3038#line 850 3039 return (1); 3040 } 3041} 3042} 3043#line 1017 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 3044void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) 3045{ 3046 3047 { 3048 { 3049#line 1023 3050 ldv_check_alloc_flags(ldv_func_arg2); 3051#line 1025 3052 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2); 3053 } 3054#line 1026 3055 return ((void *)0); 3056} 3057} 3058#line 1028 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/3997/dscv_tempdir/dscv/ri/43_1a/drivers/scsi/iscsi_boot_sysfs.c.p" 3059__inline static void *kzalloc(size_t size , gfp_t flags ) 3060{ void *tmp ; 3061 3062 { 3063 { 3064#line 1034 3065 ldv_check_alloc_flags(flags); 3066#line 1035 3067 tmp = __VERIFIER_nondet_pointer(); 3068 } 3069#line 1035 3070 return (tmp); 3071} 3072}

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/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--scsi--iscsi_boot_sysfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	2921
Project:	SV-COMP 2013
Project version:	2.6.28
Tools:	Manual Work
Entered:	2013-01-17 16:57:54 UTC

ClabureDB: Classified Bug-Reports Database

Project: SV-COMP 2013

Showing error 1206

Source: