ClabureDB

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

User:	Jiri Slaby
Error type:	Reachable Error Location
Error type description:	A specified error location is reachable in some program path
File location:	ldv-linux-3.4/32_1_cilled_safe_ok_nondet_linux-3.4-32_1-drivers--scsi--iscsi_boot_sysfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	3089
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 614

Source: