ClabureDB

1/* Generated by CIL v. 1.3.7 */ 2/* print_CIL_Input is true */ 3 4#line 19 "include/asm-generic/int-ll64.h" 5typedef signed char __s8; 6#line 20 "include/asm-generic/int-ll64.h" 7typedef unsigned char __u8; 8#line 22 "include/asm-generic/int-ll64.h" 9typedef short __s16; 10#line 23 "include/asm-generic/int-ll64.h" 11typedef unsigned short __u16; 12#line 25 "include/asm-generic/int-ll64.h" 13typedef int __s32; 14#line 26 "include/asm-generic/int-ll64.h" 15typedef unsigned int __u32; 16#line 29 "include/asm-generic/int-ll64.h" 17typedef long long __s64; 18#line 30 "include/asm-generic/int-ll64.h" 19typedef unsigned long long __u64; 20#line 43 "include/asm-generic/int-ll64.h" 21typedef unsigned char u8; 22#line 45 "include/asm-generic/int-ll64.h" 23typedef short s16; 24#line 46 "include/asm-generic/int-ll64.h" 25typedef unsigned short u16; 26#line 48 "include/asm-generic/int-ll64.h" 27typedef int s32; 28#line 49 "include/asm-generic/int-ll64.h" 29typedef unsigned int u32; 30#line 51 "include/asm-generic/int-ll64.h" 31typedef long long s64; 32#line 52 "include/asm-generic/int-ll64.h" 33typedef unsigned long long u64; 34#line 14 "include/asm-generic/posix_types.h" 35typedef long __kernel_long_t; 36#line 15 "include/asm-generic/posix_types.h" 37typedef unsigned long __kernel_ulong_t; 38#line 27 "include/asm-generic/posix_types.h" 39typedef __kernel_ulong_t __kernel_nlink_t; 40#line 31 "include/asm-generic/posix_types.h" 41typedef int __kernel_pid_t; 42#line 52 "include/asm-generic/posix_types.h" 43typedef unsigned int __kernel_uid32_t; 44#line 53 "include/asm-generic/posix_types.h" 45typedef unsigned int __kernel_gid32_t; 46#line 75 "include/asm-generic/posix_types.h" 47typedef __kernel_ulong_t __kernel_size_t; 48#line 76 "include/asm-generic/posix_types.h" 49typedef __kernel_long_t __kernel_ssize_t; 50#line 90 "include/asm-generic/posix_types.h" 51typedef __kernel_long_t __kernel_off_t; 52#line 91 "include/asm-generic/posix_types.h" 53typedef long long __kernel_loff_t; 54#line 92 "include/asm-generic/posix_types.h" 55typedef __kernel_long_t __kernel_time_t; 56#line 93 "include/asm-generic/posix_types.h" 57typedef __kernel_long_t __kernel_clock_t; 58#line 94 "include/asm-generic/posix_types.h" 59typedef int __kernel_timer_t; 60#line 95 "include/asm-generic/posix_types.h" 61typedef int __kernel_clockid_t; 62#line 21 "include/linux/types.h" 63typedef __u32 __kernel_dev_t; 64#line 24 "include/linux/types.h" 65typedef __kernel_dev_t dev_t; 66#line 27 "include/linux/types.h" 67typedef unsigned short umode_t; 68#line 28 "include/linux/types.h" 69typedef __kernel_nlink_t nlink_t; 70#line 29 "include/linux/types.h" 71typedef __kernel_off_t off_t; 72#line 30 "include/linux/types.h" 73typedef __kernel_pid_t pid_t; 74#line 35 "include/linux/types.h" 75typedef __kernel_clockid_t clockid_t; 76#line 38 "include/linux/types.h" 77typedef _Bool bool; 78#line 40 "include/linux/types.h" 79typedef __kernel_uid32_t uid_t; 80#line 41 "include/linux/types.h" 81typedef __kernel_gid32_t gid_t; 82#line 54 "include/linux/types.h" 83typedef __kernel_loff_t loff_t; 84#line 63 "include/linux/types.h" 85typedef __kernel_size_t size_t; 86#line 68 "include/linux/types.h" 87typedef __kernel_ssize_t ssize_t; 88#line 78 "include/linux/types.h" 89typedef __kernel_time_t time_t; 90#line 111 "include/linux/types.h" 91typedef __s32 int32_t; 92#line 117 "include/linux/types.h" 93typedef __u32 uint32_t; 94#line 142 "include/linux/types.h" 95typedef unsigned long sector_t; 96#line 143 "include/linux/types.h" 97typedef unsigned long blkcnt_t; 98#line 202 "include/linux/types.h" 99typedef unsigned int gfp_t; 100#line 203 "include/linux/types.h" 101typedef unsigned int fmode_t; 102#line 219 "include/linux/types.h" 103struct __anonstruct_atomic_t_7 { 104 int counter ; 105}; 106#line 219 "include/linux/types.h" 107typedef struct __anonstruct_atomic_t_7 atomic_t; 108#line 224 "include/linux/types.h" 109struct __anonstruct_atomic64_t_8 { 110 long counter ; 111}; 112#line 224 "include/linux/types.h" 113typedef struct __anonstruct_atomic64_t_8 atomic64_t; 114#line 229 "include/linux/types.h" 115struct list_head { 116 struct list_head *next ; 117 struct list_head *prev ; 118}; 119#line 233 120struct hlist_node; 121#line 233 "include/linux/types.h" 122struct hlist_head { 123 struct hlist_node *first ; 124}; 125#line 237 "include/linux/types.h" 126struct hlist_node { 127 struct hlist_node *next ; 128 struct hlist_node **pprev ; 129}; 130#line 253 "include/linux/types.h" 131struct rcu_head { 132 struct rcu_head *next ; 133 void (*func)(struct rcu_head *head ) ; 134}; 135#line 15 "include/linux/blk_types.h" 136struct page; 137#line 15 138struct page; 139#line 16 140struct block_device; 141#line 16 142struct block_device; 143#line 12 "include/linux/thread_info.h" 144struct timespec; 145#line 12 146struct timespec; 147#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h" 148struct module; 149#line 56 150struct module; 151#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h" 152struct page; 153#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h" 154struct task_struct; 155#line 20 156struct task_struct; 157#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 158struct task_struct; 159#line 8 160struct mm_struct; 161#line 8 162struct mm_struct; 163#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h" 164struct pt_regs { 165 unsigned long r15 ; 166 unsigned long r14 ; 167 unsigned long r13 ; 168 unsigned long r12 ; 169 unsigned long bp ; 170 unsigned long bx ; 171 unsigned long r11 ; 172 unsigned long r10 ; 173 unsigned long r9 ; 174 unsigned long r8 ; 175 unsigned long ax ; 176 unsigned long cx ; 177 unsigned long dx ; 178 unsigned long si ; 179 unsigned long di ; 180 unsigned long orig_ax ; 181 unsigned long ip ; 182 unsigned long cs ; 183 unsigned long flags ; 184 unsigned long sp ; 185 unsigned long ss ; 186}; 187#line 146 "include/linux/init.h" 188typedef void (*ctor_fn_t)(void); 189#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h" 190struct __anonstruct____missing_field_name_14 { 191 unsigned int a ; 192 unsigned int b ; 193}; 194#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h" 195struct __anonstruct____missing_field_name_15 { 196 u16 limit0 ; 197 u16 base0 ; 198 unsigned int base1 : 8 ; 199 unsigned int type : 4 ; 200 unsigned int s : 1 ; 201 unsigned int dpl : 2 ; 202 unsigned int p : 1 ; 203 unsigned int limit : 4 ; 204 unsigned int avl : 1 ; 205 unsigned int l : 1 ; 206 unsigned int d : 1 ; 207 unsigned int g : 1 ; 208 unsigned int base2 : 8 ; 209}; 210#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h" 211union __anonunion____missing_field_name_13 { 212 struct __anonstruct____missing_field_name_14 __annonCompField5 ; 213 struct __anonstruct____missing_field_name_15 __annonCompField6 ; 214}; 215#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h" 216struct desc_struct { 217 union __anonunion____missing_field_name_13 __annonCompField7 ; 218} __attribute__((__packed__)) ; 219#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h" 220typedef unsigned long pgdval_t; 221#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h" 222typedef unsigned long pgprotval_t; 223#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 224struct pgprot { 225 pgprotval_t pgprot ; 226}; 227#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 228typedef struct pgprot pgprot_t; 229#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 230struct __anonstruct_pgd_t_19 { 231 pgdval_t pgd ; 232}; 233#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 234typedef struct __anonstruct_pgd_t_19 pgd_t; 235#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h" 236typedef struct page *pgtable_t; 237#line 295 238struct file; 239#line 295 240struct file; 241#line 313 242struct seq_file; 243#line 313 244struct seq_file; 245#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h" 246struct page; 247#line 47 248struct thread_struct; 249#line 47 250struct thread_struct; 251#line 50 252struct mm_struct; 253#line 51 254struct desc_struct; 255#line 52 256struct task_struct; 257#line 53 258struct cpumask; 259#line 53 260struct cpumask; 261#line 329 262struct arch_spinlock; 263#line 329 264struct arch_spinlock; 265#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h" 266struct task_struct; 267#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h" 268struct kernel_vm86_regs { 269 struct pt_regs pt ; 270 unsigned short es ; 271 unsigned short __esh ; 272 unsigned short ds ; 273 unsigned short __dsh ; 274 unsigned short fs ; 275 unsigned short __fsh ; 276 unsigned short gs ; 277 unsigned short __gsh ; 278}; 279#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h" 280union __anonunion____missing_field_name_23 { 281 struct pt_regs *regs ; 282 struct kernel_vm86_regs *vm86 ; 283}; 284#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h" 285struct math_emu_info { 286 long ___orig_eip ; 287 union __anonunion____missing_field_name_23 __annonCompField8 ; 288}; 289#line 9 "include/linux/dynamic_debug.h" 290struct _ddebug { 291 char const *modname ; 292 char const *function ; 293 char const *filename ; 294 char const *format ; 295 unsigned int lineno : 18 ; 296 unsigned int flags : 8 ; 297} __attribute__((__aligned__(8))) ; 298#line 47 299struct device; 300#line 47 301struct device; 302#line 135 "include/linux/kernel.h" 303struct completion; 304#line 135 305struct completion; 306#line 136 307struct pt_regs; 308#line 349 309struct pid; 310#line 349 311struct pid; 312#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h" 313struct task_struct; 314#line 10 "include/asm-generic/bug.h" 315struct bug_entry { 316 int bug_addr_disp ; 317 int file_disp ; 318 unsigned short line ; 319 unsigned short flags ; 320}; 321#line 12 "include/linux/bug.h" 322struct pt_regs; 323#line 14 "include/linux/cpumask.h" 324struct cpumask { 325 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ; 326}; 327#line 14 "include/linux/cpumask.h" 328typedef struct cpumask cpumask_t; 329#line 637 "include/linux/cpumask.h" 330typedef struct cpumask *cpumask_var_t; 331#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h" 332struct static_key; 333#line 234 334struct static_key; 335#line 11 "include/linux/personality.h" 336struct pt_regs; 337#line 153 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 338struct seq_operations; 339#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 340struct i387_fsave_struct { 341 u32 cwd ; 342 u32 swd ; 343 u32 twd ; 344 u32 fip ; 345 u32 fcs ; 346 u32 foo ; 347 u32 fos ; 348 u32 st_space[20] ; 349 u32 status ; 350}; 351#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 352struct __anonstruct____missing_field_name_31 { 353 u64 rip ; 354 u64 rdp ; 355}; 356#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 357struct __anonstruct____missing_field_name_32 { 358 u32 fip ; 359 u32 fcs ; 360 u32 foo ; 361 u32 fos ; 362}; 363#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 364union __anonunion____missing_field_name_30 { 365 struct __anonstruct____missing_field_name_31 __annonCompField12 ; 366 struct __anonstruct____missing_field_name_32 __annonCompField13 ; 367}; 368#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 369union __anonunion____missing_field_name_33 { 370 u32 padding1[12] ; 371 u32 sw_reserved[12] ; 372}; 373#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 374struct i387_fxsave_struct { 375 u16 cwd ; 376 u16 swd ; 377 u16 twd ; 378 u16 fop ; 379 union __anonunion____missing_field_name_30 __annonCompField14 ; 380 u32 mxcsr ; 381 u32 mxcsr_mask ; 382 u32 st_space[32] ; 383 u32 xmm_space[64] ; 384 u32 padding[12] ; 385 union __anonunion____missing_field_name_33 __annonCompField15 ; 386} __attribute__((__aligned__(16))) ; 387#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 388struct i387_soft_struct { 389 u32 cwd ; 390 u32 swd ; 391 u32 twd ; 392 u32 fip ; 393 u32 fcs ; 394 u32 foo ; 395 u32 fos ; 396 u32 st_space[20] ; 397 u8 ftop ; 398 u8 changed ; 399 u8 lookahead ; 400 u8 no_update ; 401 u8 rm ; 402 u8 alimit ; 403 struct math_emu_info *info ; 404 u32 entry_eip ; 405}; 406#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 407struct ymmh_struct { 408 u32 ymmh_space[64] ; 409}; 410#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 411struct xsave_hdr_struct { 412 u64 xstate_bv ; 413 u64 reserved1[2] ; 414 u64 reserved2[5] ; 415} __attribute__((__packed__)) ; 416#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 417struct xsave_struct { 418 struct i387_fxsave_struct i387 ; 419 struct xsave_hdr_struct xsave_hdr ; 420 struct ymmh_struct ymmh ; 421} __attribute__((__packed__, __aligned__(64))) ; 422#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 423union thread_xstate { 424 struct i387_fsave_struct fsave ; 425 struct i387_fxsave_struct fxsave ; 426 struct i387_soft_struct soft ; 427 struct xsave_struct xsave ; 428}; 429#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 430struct fpu { 431 unsigned int last_cpu ; 432 unsigned int has_fpu ; 433 union thread_xstate *state ; 434}; 435#line 433 436struct kmem_cache; 437#line 435 438struct perf_event; 439#line 435 440struct perf_event; 441#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h" 442struct thread_struct { 443 struct desc_struct tls_array[3] ; 444 unsigned long sp0 ; 445 unsigned long sp ; 446 unsigned long usersp ; 447 unsigned short es ; 448 unsigned short ds ; 449 unsigned short fsindex ; 450 unsigned short gsindex ; 451 unsigned long fs ; 452 unsigned long gs ; 453 struct perf_event *ptrace_bps[4] ; 454 unsigned long debugreg6 ; 455 unsigned long ptrace_dr7 ; 456 unsigned long cr2 ; 457 unsigned long trap_nr ; 458 unsigned long error_code ; 459 struct fpu fpu ; 460 unsigned long *io_bitmap_ptr ; 461 unsigned long iopl ; 462 unsigned int io_bitmap_max ; 463}; 464#line 23 "include/asm-generic/atomic-long.h" 465typedef atomic64_t atomic_long_t; 466#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 467typedef u16 __ticket_t; 468#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 469typedef u32 __ticketpair_t; 470#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 471struct __raw_tickets { 472 __ticket_t head ; 473 __ticket_t tail ; 474}; 475#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 476union __anonunion____missing_field_name_36 { 477 __ticketpair_t head_tail ; 478 struct __raw_tickets tickets ; 479}; 480#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 481struct arch_spinlock { 482 union __anonunion____missing_field_name_36 __annonCompField17 ; 483}; 484#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h" 485typedef struct arch_spinlock arch_spinlock_t; 486#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h" 487struct __anonstruct____missing_field_name_38 { 488 u32 read ; 489 s32 write ; 490}; 491#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h" 492union __anonunion_arch_rwlock_t_37 { 493 s64 lock ; 494 struct __anonstruct____missing_field_name_38 __annonCompField18 ; 495}; 496#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h" 497typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t; 498#line 12 "include/linux/lockdep.h" 499struct task_struct; 500#line 391 "include/linux/lockdep.h" 501struct lock_class_key { 502 503}; 504#line 20 "include/linux/spinlock_types.h" 505struct raw_spinlock { 506 arch_spinlock_t raw_lock ; 507 unsigned int magic ; 508 unsigned int owner_cpu ; 509 void *owner ; 510}; 511#line 20 "include/linux/spinlock_types.h" 512typedef struct raw_spinlock raw_spinlock_t; 513#line 64 "include/linux/spinlock_types.h" 514union __anonunion____missing_field_name_39 { 515 struct raw_spinlock rlock ; 516}; 517#line 64 "include/linux/spinlock_types.h" 518struct spinlock { 519 union __anonunion____missing_field_name_39 __annonCompField19 ; 520}; 521#line 64 "include/linux/spinlock_types.h" 522typedef struct spinlock spinlock_t; 523#line 11 "include/linux/rwlock_types.h" 524struct __anonstruct_rwlock_t_40 { 525 arch_rwlock_t raw_lock ; 526 unsigned int magic ; 527 unsigned int owner_cpu ; 528 void *owner ; 529}; 530#line 11 "include/linux/rwlock_types.h" 531typedef struct __anonstruct_rwlock_t_40 rwlock_t; 532#line 49 "include/linux/wait.h" 533struct __wait_queue_head { 534 spinlock_t lock ; 535 struct list_head task_list ; 536}; 537#line 53 "include/linux/wait.h" 538typedef struct __wait_queue_head wait_queue_head_t; 539#line 55 540struct task_struct; 541#line 119 "include/linux/seqlock.h" 542struct seqcount { 543 unsigned int sequence ; 544}; 545#line 119 "include/linux/seqlock.h" 546typedef struct seqcount seqcount_t; 547#line 25 "include/linux/completion.h" 548struct completion { 549 unsigned int done ; 550 wait_queue_head_t wait ; 551}; 552#line 33 "include/linux/list_bl.h" 553struct hlist_bl_node; 554#line 33 "include/linux/list_bl.h" 555struct hlist_bl_head { 556 struct hlist_bl_node *first ; 557}; 558#line 37 "include/linux/list_bl.h" 559struct hlist_bl_node { 560 struct hlist_bl_node *next ; 561 struct hlist_bl_node **pprev ; 562}; 563#line 13 "include/linux/dcache.h" 564struct nameidata; 565#line 13 566struct nameidata; 567#line 14 568struct path; 569#line 14 570struct path; 571#line 15 572struct vfsmount; 573#line 15 574struct vfsmount; 575#line 35 "include/linux/dcache.h" 576struct qstr { 577 unsigned int hash ; 578 unsigned int len ; 579 unsigned char const *name ; 580}; 581#line 88 582struct inode; 583#line 88 584struct dentry_operations; 585#line 88 586struct super_block; 587#line 88 "include/linux/dcache.h" 588union __anonunion_d_u_42 { 589 struct list_head d_child ; 590 struct rcu_head d_rcu ; 591}; 592#line 88 "include/linux/dcache.h" 593struct dentry { 594 unsigned int d_flags ; 595 seqcount_t d_seq ; 596 struct hlist_bl_node d_hash ; 597 struct dentry *d_parent ; 598 struct qstr d_name ; 599 struct inode *d_inode ; 600 unsigned char d_iname[32] ; 601 unsigned int d_count ; 602 spinlock_t d_lock ; 603 struct dentry_operations const *d_op ; 604 struct super_block *d_sb ; 605 unsigned long d_time ; 606 void *d_fsdata ; 607 struct list_head d_lru ; 608 union __anonunion_d_u_42 d_u ; 609 struct list_head d_subdirs ; 610 struct list_head d_alias ; 611}; 612#line 131 "include/linux/dcache.h" 613struct dentry_operations { 614 int (*d_revalidate)(struct dentry * , struct nameidata * ) ; 615 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ; 616 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * , 617 struct inode const * , unsigned int , char const * , struct qstr const * ) ; 618 int (*d_delete)(struct dentry const * ) ; 619 void (*d_release)(struct dentry * ) ; 620 void (*d_prune)(struct dentry * ) ; 621 void (*d_iput)(struct dentry * , struct inode * ) ; 622 char *(*d_dname)(struct dentry * , char * , int ) ; 623 struct vfsmount *(*d_automount)(struct path * ) ; 624 int (*d_manage)(struct dentry * , bool ) ; 625} __attribute__((__aligned__((1) << (6) ))) ; 626#line 4 "include/linux/path.h" 627struct dentry; 628#line 5 629struct vfsmount; 630#line 7 "include/linux/path.h" 631struct path { 632 struct vfsmount *mnt ; 633 struct dentry *dentry ; 634}; 635#line 14 "include/linux/time.h" 636struct timespec { 637 __kernel_time_t tv_sec ; 638 long tv_nsec ; 639}; 640#line 62 "include/linux/stat.h" 641struct kstat { 642 u64 ino ; 643 dev_t dev ; 644 umode_t mode ; 645 unsigned int nlink ; 646 uid_t uid ; 647 gid_t gid ; 648 dev_t rdev ; 649 loff_t size ; 650 struct timespec atime ; 651 struct timespec mtime ; 652 struct timespec ctime ; 653 unsigned long blksize ; 654 unsigned long long blocks ; 655}; 656#line 64 "include/linux/radix-tree.h" 657struct radix_tree_node; 658#line 64 "include/linux/radix-tree.h" 659struct radix_tree_root { 660 unsigned int height ; 661 gfp_t gfp_mask ; 662 struct radix_tree_node *rnode ; 663}; 664#line 14 "include/linux/prio_tree.h" 665struct prio_tree_node; 666#line 14 "include/linux/prio_tree.h" 667struct raw_prio_tree_node { 668 struct prio_tree_node *left ; 669 struct prio_tree_node *right ; 670 struct prio_tree_node *parent ; 671}; 672#line 20 "include/linux/prio_tree.h" 673struct prio_tree_node { 674 struct prio_tree_node *left ; 675 struct prio_tree_node *right ; 676 struct prio_tree_node *parent ; 677 unsigned long start ; 678 unsigned long last ; 679}; 680#line 28 "include/linux/prio_tree.h" 681struct prio_tree_root { 682 struct prio_tree_node *prio_tree_node ; 683 unsigned short index_bits ; 684 unsigned short raw ; 685}; 686#line 6 "include/linux/pid.h" 687enum pid_type { 688 PIDTYPE_PID = 0, 689 PIDTYPE_PGID = 1, 690 PIDTYPE_SID = 2, 691 PIDTYPE_MAX = 3 692} ; 693#line 50 694struct pid_namespace; 695#line 50 "include/linux/pid.h" 696struct upid { 697 int nr ; 698 struct pid_namespace *ns ; 699 struct hlist_node pid_chain ; 700}; 701#line 57 "include/linux/pid.h" 702struct pid { 703 atomic_t count ; 704 unsigned int level ; 705 struct hlist_head tasks[3] ; 706 struct rcu_head rcu ; 707 struct upid numbers[1] ; 708}; 709#line 69 "include/linux/pid.h" 710struct pid_link { 711 struct hlist_node node ; 712 struct pid *pid ; 713}; 714#line 100 715struct pid_namespace; 716#line 48 "include/linux/mutex.h" 717struct mutex { 718 atomic_t count ; 719 spinlock_t wait_lock ; 720 struct list_head wait_list ; 721 struct task_struct *owner ; 722 char const *name ; 723 void *magic ; 724}; 725#line 69 "include/linux/mutex.h" 726struct mutex_waiter { 727 struct list_head list ; 728 struct task_struct *task ; 729 void *magic ; 730}; 731#line 18 "include/linux/capability.h" 732struct task_struct; 733#line 94 "include/linux/capability.h" 734struct kernel_cap_struct { 735 __u32 cap[2] ; 736}; 737#line 94 "include/linux/capability.h" 738typedef struct kernel_cap_struct kernel_cap_t; 739#line 377 740struct dentry; 741#line 378 742struct user_namespace; 743#line 378 744struct user_namespace; 745#line 16 "include/linux/fiemap.h" 746struct fiemap_extent { 747 __u64 fe_logical ; 748 __u64 fe_physical ; 749 __u64 fe_length ; 750 __u64 fe_reserved64[2] ; 751 __u32 fe_flags ; 752 __u32 fe_reserved[3] ; 753}; 754#line 8 "include/linux/shrinker.h" 755struct shrink_control { 756 gfp_t gfp_mask ; 757 unsigned long nr_to_scan ; 758}; 759#line 31 "include/linux/shrinker.h" 760struct shrinker { 761 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ; 762 int seeks ; 763 long batch ; 764 struct list_head list ; 765 atomic_long_t nr_in_batch ; 766}; 767#line 10 "include/linux/migrate_mode.h" 768enum migrate_mode { 769 MIGRATE_ASYNC = 0, 770 MIGRATE_SYNC_LIGHT = 1, 771 MIGRATE_SYNC = 2 772} ; 773#line 408 "include/linux/fs.h" 774struct export_operations; 775#line 408 776struct export_operations; 777#line 410 778struct iovec; 779#line 410 780struct iovec; 781#line 411 782struct nameidata; 783#line 412 784struct kiocb; 785#line 412 786struct kiocb; 787#line 413 788struct kobject; 789#line 413 790struct kobject; 791#line 414 792struct pipe_inode_info; 793#line 414 794struct pipe_inode_info; 795#line 415 796struct poll_table_struct; 797#line 415 798struct poll_table_struct; 799#line 416 800struct kstatfs; 801#line 416 802struct kstatfs; 803#line 417 804struct vm_area_struct; 805#line 417 806struct vm_area_struct; 807#line 418 808struct vfsmount; 809#line 419 810struct cred; 811#line 419 812struct cred; 813#line 469 "include/linux/fs.h" 814struct iattr { 815 unsigned int ia_valid ; 816 umode_t ia_mode ; 817 uid_t ia_uid ; 818 gid_t ia_gid ; 819 loff_t ia_size ; 820 struct timespec ia_atime ; 821 struct timespec ia_mtime ; 822 struct timespec ia_ctime ; 823 struct file *ia_file ; 824}; 825#line 129 "include/linux/quota.h" 826struct if_dqinfo { 827 __u64 dqi_bgrace ; 828 __u64 dqi_igrace ; 829 __u32 dqi_flags ; 830 __u32 dqi_valid ; 831}; 832#line 19 "include/linux/rwsem.h" 833struct rw_semaphore; 834#line 19 835struct rw_semaphore; 836#line 25 "include/linux/rwsem.h" 837struct rw_semaphore { 838 long count ; 839 raw_spinlock_t wait_lock ; 840 struct list_head wait_list ; 841}; 842#line 202 "include/linux/ioport.h" 843struct device; 844#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h" 845struct device; 846#line 46 "include/linux/ktime.h" 847union ktime { 848 s64 tv64 ; 849}; 850#line 59 "include/linux/ktime.h" 851typedef union ktime ktime_t; 852#line 10 "include/linux/timer.h" 853struct tvec_base; 854#line 10 855struct tvec_base; 856#line 12 "include/linux/timer.h" 857struct timer_list { 858 struct list_head entry ; 859 unsigned long expires ; 860 struct tvec_base *base ; 861 void (*function)(unsigned long ) ; 862 unsigned long data ; 863 int slack ; 864 int start_pid ; 865 void *start_site ; 866 char start_comm[16] ; 867}; 868#line 289 869struct hrtimer; 870#line 289 871struct hrtimer; 872#line 290 873enum hrtimer_restart; 874#line 17 "include/linux/workqueue.h" 875struct work_struct; 876#line 17 877struct work_struct; 878#line 79 "include/linux/workqueue.h" 879struct work_struct { 880 atomic_long_t data ; 881 struct list_head entry ; 882 void (*func)(struct work_struct *work ) ; 883}; 884#line 92 "include/linux/workqueue.h" 885struct delayed_work { 886 struct work_struct work ; 887 struct timer_list timer ; 888}; 889#line 42 "include/linux/pm.h" 890struct device; 891#line 50 "include/linux/pm.h" 892struct pm_message { 893 int event ; 894}; 895#line 50 "include/linux/pm.h" 896typedef struct pm_message pm_message_t; 897#line 264 "include/linux/pm.h" 898struct dev_pm_ops { 899 int (*prepare)(struct device *dev ) ; 900 void (*complete)(struct device *dev ) ; 901 int (*suspend)(struct device *dev ) ; 902 int (*resume)(struct device *dev ) ; 903 int (*freeze)(struct device *dev ) ; 904 int (*thaw)(struct device *dev ) ; 905 int (*poweroff)(struct device *dev ) ; 906 int (*restore)(struct device *dev ) ; 907 int (*suspend_late)(struct device *dev ) ; 908 int (*resume_early)(struct device *dev ) ; 909 int (*freeze_late)(struct device *dev ) ; 910 int (*thaw_early)(struct device *dev ) ; 911 int (*poweroff_late)(struct device *dev ) ; 912 int (*restore_early)(struct device *dev ) ; 913 int (*suspend_noirq)(struct device *dev ) ; 914 int (*resume_noirq)(struct device *dev ) ; 915 int (*freeze_noirq)(struct device *dev ) ; 916 int (*thaw_noirq)(struct device *dev ) ; 917 int (*poweroff_noirq)(struct device *dev ) ; 918 int (*restore_noirq)(struct device *dev ) ; 919 int (*runtime_suspend)(struct device *dev ) ; 920 int (*runtime_resume)(struct device *dev ) ; 921 int (*runtime_idle)(struct device *dev ) ; 922}; 923#line 458 924enum rpm_status { 925 RPM_ACTIVE = 0, 926 RPM_RESUMING = 1, 927 RPM_SUSPENDED = 2, 928 RPM_SUSPENDING = 3 929} ; 930#line 480 931enum rpm_request { 932 RPM_REQ_NONE = 0, 933 RPM_REQ_IDLE = 1, 934 RPM_REQ_SUSPEND = 2, 935 RPM_REQ_AUTOSUSPEND = 3, 936 RPM_REQ_RESUME = 4 937} ; 938#line 488 939struct wakeup_source; 940#line 488 941struct wakeup_source; 942#line 495 "include/linux/pm.h" 943struct pm_subsys_data { 944 spinlock_t lock ; 945 unsigned int refcount ; 946}; 947#line 506 948struct dev_pm_qos_request; 949#line 506 950struct pm_qos_constraints; 951#line 506 "include/linux/pm.h" 952struct dev_pm_info { 953 pm_message_t power_state ; 954 unsigned int can_wakeup : 1 ; 955 unsigned int async_suspend : 1 ; 956 bool is_prepared : 1 ; 957 bool is_suspended : 1 ; 958 bool ignore_children : 1 ; 959 spinlock_t lock ; 960 struct list_head entry ; 961 struct completion completion ; 962 struct wakeup_source *wakeup ; 963 bool wakeup_path : 1 ; 964 struct timer_list suspend_timer ; 965 unsigned long timer_expires ; 966 struct work_struct work ; 967 wait_queue_head_t wait_queue ; 968 atomic_t usage_count ; 969 atomic_t child_count ; 970 unsigned int disable_depth : 3 ; 971 unsigned int idle_notification : 1 ; 972 unsigned int request_pending : 1 ; 973 unsigned int deferred_resume : 1 ; 974 unsigned int run_wake : 1 ; 975 unsigned int runtime_auto : 1 ; 976 unsigned int no_callbacks : 1 ; 977 unsigned int irq_safe : 1 ; 978 unsigned int use_autosuspend : 1 ; 979 unsigned int timer_autosuspends : 1 ; 980 enum rpm_request request ; 981 enum rpm_status runtime_status ; 982 int runtime_error ; 983 int autosuspend_delay ; 984 unsigned long last_busy ; 985 unsigned long active_jiffies ; 986 unsigned long suspended_jiffies ; 987 unsigned long accounting_timestamp ; 988 ktime_t suspend_time ; 989 s64 max_time_suspended_ns ; 990 struct dev_pm_qos_request *pq_req ; 991 struct pm_subsys_data *subsys_data ; 992 struct pm_qos_constraints *constraints ; 993}; 994#line 564 "include/linux/pm.h" 995struct dev_pm_domain { 996 struct dev_pm_ops ops ; 997}; 998#line 98 "include/linux/nodemask.h" 999struct __anonstruct_nodemask_t_114 { 1000 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ; 1001}; 1002#line 98 "include/linux/nodemask.h" 1003typedef struct __anonstruct_nodemask_t_114 nodemask_t; 1004#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h" 1005struct __anonstruct_mm_context_t_115 { 1006 void *ldt ; 1007 int size ; 1008 unsigned short ia32_compat ; 1009 struct mutex lock ; 1010 void *vdso ; 1011}; 1012#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h" 1013typedef struct __anonstruct_mm_context_t_115 mm_context_t; 1014#line 8 "include/linux/vmalloc.h" 1015struct vm_area_struct; 1016#line 50 "include/linux/dqblk_xfs.h" 1017struct fs_disk_quota { 1018 __s8 d_version ; 1019 __s8 d_flags ; 1020 __u16 d_fieldmask ; 1021 __u32 d_id ; 1022 __u64 d_blk_hardlimit ; 1023 __u64 d_blk_softlimit ; 1024 __u64 d_ino_hardlimit ; 1025 __u64 d_ino_softlimit ; 1026 __u64 d_bcount ; 1027 __u64 d_icount ; 1028 __s32 d_itimer ; 1029 __s32 d_btimer ; 1030 __u16 d_iwarns ; 1031 __u16 d_bwarns ; 1032 __s32 d_padding2 ; 1033 __u64 d_rtb_hardlimit ; 1034 __u64 d_rtb_softlimit ; 1035 __u64 d_rtbcount ; 1036 __s32 d_rtbtimer ; 1037 __u16 d_rtbwarns ; 1038 __s16 d_padding3 ; 1039 char d_padding4[8] ; 1040}; 1041#line 146 "include/linux/dqblk_xfs.h" 1042struct fs_qfilestat { 1043 __u64 qfs_ino ; 1044 __u64 qfs_nblks ; 1045 __u32 qfs_nextents ; 1046}; 1047#line 146 "include/linux/dqblk_xfs.h" 1048typedef struct fs_qfilestat fs_qfilestat_t; 1049#line 152 "include/linux/dqblk_xfs.h" 1050struct fs_quota_stat { 1051 __s8 qs_version ; 1052 __u16 qs_flags ; 1053 __s8 qs_pad ; 1054 fs_qfilestat_t qs_uquota ; 1055 fs_qfilestat_t qs_gquota ; 1056 __u32 qs_incoredqs ; 1057 __s32 qs_btimelimit ; 1058 __s32 qs_itimelimit ; 1059 __s32 qs_rtbtimelimit ; 1060 __u16 qs_bwarnlimit ; 1061 __u16 qs_iwarnlimit ; 1062}; 1063#line 17 "include/linux/dqblk_qtree.h" 1064struct dquot; 1065#line 17 1066struct dquot; 1067#line 185 "include/linux/quota.h" 1068typedef __kernel_uid32_t qid_t; 1069#line 186 "include/linux/quota.h" 1070typedef long long qsize_t; 1071#line 200 "include/linux/quota.h" 1072struct mem_dqblk { 1073 qsize_t dqb_bhardlimit ; 1074 qsize_t dqb_bsoftlimit ; 1075 qsize_t dqb_curspace ; 1076 qsize_t dqb_rsvspace ; 1077 qsize_t dqb_ihardlimit ; 1078 qsize_t dqb_isoftlimit ; 1079 qsize_t dqb_curinodes ; 1080 time_t dqb_btime ; 1081 time_t dqb_itime ; 1082}; 1083#line 215 1084struct quota_format_type; 1085#line 215 1086struct quota_format_type; 1087#line 217 "include/linux/quota.h" 1088struct mem_dqinfo { 1089 struct quota_format_type *dqi_format ; 1090 int dqi_fmt_id ; 1091 struct list_head dqi_dirty_list ; 1092 unsigned long dqi_flags ; 1093 unsigned int dqi_bgrace ; 1094 unsigned int dqi_igrace ; 1095 qsize_t dqi_maxblimit ; 1096 qsize_t dqi_maxilimit ; 1097 void *dqi_priv ; 1098}; 1099#line 230 1100struct super_block; 1101#line 288 "include/linux/quota.h" 1102struct dquot { 1103 struct hlist_node dq_hash ; 1104 struct list_head dq_inuse ; 1105 struct list_head dq_free ; 1106 struct list_head dq_dirty ; 1107 struct mutex dq_lock ; 1108 atomic_t dq_count ; 1109 wait_queue_head_t dq_wait_unused ; 1110 struct super_block *dq_sb ; 1111 unsigned int dq_id ; 1112 loff_t dq_off ; 1113 unsigned long dq_flags ; 1114 short dq_type ; 1115 struct mem_dqblk dq_dqb ; 1116}; 1117#line 305 "include/linux/quota.h" 1118struct quota_format_ops { 1119 int (*check_quota_file)(struct super_block *sb , int type ) ; 1120 int (*read_file_info)(struct super_block *sb , int type ) ; 1121 int (*write_file_info)(struct super_block *sb , int type ) ; 1122 int (*free_file_info)(struct super_block *sb , int type ) ; 1123 int (*read_dqblk)(struct dquot *dquot ) ; 1124 int (*commit_dqblk)(struct dquot *dquot ) ; 1125 int (*release_dqblk)(struct dquot *dquot ) ; 1126}; 1127#line 316 "include/linux/quota.h" 1128struct dquot_operations { 1129 int (*write_dquot)(struct dquot * ) ; 1130 struct dquot *(*alloc_dquot)(struct super_block * , int ) ; 1131 void (*destroy_dquot)(struct dquot * ) ; 1132 int (*acquire_dquot)(struct dquot * ) ; 1133 int (*release_dquot)(struct dquot * ) ; 1134 int (*mark_dirty)(struct dquot * ) ; 1135 int (*write_info)(struct super_block * , int ) ; 1136 qsize_t *(*get_reserved_space)(struct inode * ) ; 1137}; 1138#line 329 1139struct path; 1140#line 332 "include/linux/quota.h" 1141struct quotactl_ops { 1142 int (*quota_on)(struct super_block * , int , int , struct path * ) ; 1143 int (*quota_on_meta)(struct super_block * , int , int ) ; 1144 int (*quota_off)(struct super_block * , int ) ; 1145 int (*quota_sync)(struct super_block * , int , int ) ; 1146 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ; 1147 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ; 1148 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ; 1149 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ; 1150 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ; 1151 int (*set_xstate)(struct super_block * , unsigned int , int ) ; 1152}; 1153#line 345 "include/linux/quota.h" 1154struct quota_format_type { 1155 int qf_fmt_id ; 1156 struct quota_format_ops const *qf_ops ; 1157 struct module *qf_owner ; 1158 struct quota_format_type *qf_next ; 1159}; 1160#line 399 "include/linux/quota.h" 1161struct quota_info { 1162 unsigned int flags ; 1163 struct mutex dqio_mutex ; 1164 struct mutex dqonoff_mutex ; 1165 struct rw_semaphore dqptr_sem ; 1166 struct inode *files[2] ; 1167 struct mem_dqinfo info[2] ; 1168 struct quota_format_ops const *ops[2] ; 1169}; 1170#line 532 "include/linux/fs.h" 1171struct page; 1172#line 533 1173struct address_space; 1174#line 533 1175struct address_space; 1176#line 534 1177struct writeback_control; 1178#line 534 1179struct writeback_control; 1180#line 577 "include/linux/fs.h" 1181union __anonunion_arg_145 { 1182 char *buf ; 1183 void *data ; 1184}; 1185#line 577 "include/linux/fs.h" 1186struct __anonstruct_read_descriptor_t_144 { 1187 size_t written ; 1188 size_t count ; 1189 union __anonunion_arg_145 arg ; 1190 int error ; 1191}; 1192#line 577 "include/linux/fs.h" 1193typedef struct __anonstruct_read_descriptor_t_144 read_descriptor_t; 1194#line 590 "include/linux/fs.h" 1195struct address_space_operations { 1196 int (*writepage)(struct page *page , struct writeback_control *wbc ) ; 1197 int (*readpage)(struct file * , struct page * ) ; 1198 int (*writepages)(struct address_space * , struct writeback_control * ) ; 1199 int (*set_page_dirty)(struct page *page ) ; 1200 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages , 1201 unsigned int nr_pages ) ; 1202 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos , 1203 unsigned int len , unsigned int flags , struct page **pagep , 1204 void **fsdata ) ; 1205 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len , 1206 unsigned int copied , struct page *page , void *fsdata ) ; 1207 sector_t (*bmap)(struct address_space * , sector_t ) ; 1208 void (*invalidatepage)(struct page * , unsigned long ) ; 1209 int (*releasepage)(struct page * , gfp_t ) ; 1210 void (*freepage)(struct page * ) ; 1211 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset , 1212 unsigned long nr_segs ) ; 1213 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ; 1214 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ; 1215 int (*launder_page)(struct page * ) ; 1216 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ; 1217 int (*error_remove_page)(struct address_space * , struct page * ) ; 1218}; 1219#line 645 1220struct backing_dev_info; 1221#line 645 1222struct backing_dev_info; 1223#line 646 "include/linux/fs.h" 1224struct address_space { 1225 struct inode *host ; 1226 struct radix_tree_root page_tree ; 1227 spinlock_t tree_lock ; 1228 unsigned int i_mmap_writable ; 1229 struct prio_tree_root i_mmap ; 1230 struct list_head i_mmap_nonlinear ; 1231 struct mutex i_mmap_mutex ; 1232 unsigned long nrpages ; 1233 unsigned long writeback_index ; 1234 struct address_space_operations const *a_ops ; 1235 unsigned long flags ; 1236 struct backing_dev_info *backing_dev_info ; 1237 spinlock_t private_lock ; 1238 struct list_head private_list ; 1239 struct address_space *assoc_mapping ; 1240} __attribute__((__aligned__(sizeof(long )))) ; 1241#line 669 1242struct request_queue; 1243#line 669 1244struct request_queue; 1245#line 671 1246struct hd_struct; 1247#line 671 1248struct gendisk; 1249#line 671 "include/linux/fs.h" 1250struct block_device { 1251 dev_t bd_dev ; 1252 int bd_openers ; 1253 struct inode *bd_inode ; 1254 struct super_block *bd_super ; 1255 struct mutex bd_mutex ; 1256 struct list_head bd_inodes ; 1257 void *bd_claiming ; 1258 void *bd_holder ; 1259 int bd_holders ; 1260 bool bd_write_holder ; 1261 struct list_head bd_holder_disks ; 1262 struct block_device *bd_contains ; 1263 unsigned int bd_block_size ; 1264 struct hd_struct *bd_part ; 1265 unsigned int bd_part_count ; 1266 int bd_invalidated ; 1267 struct gendisk *bd_disk ; 1268 struct request_queue *bd_queue ; 1269 struct list_head bd_list ; 1270 unsigned long bd_private ; 1271 int bd_fsfreeze_count ; 1272 struct mutex bd_fsfreeze_mutex ; 1273}; 1274#line 749 1275struct posix_acl; 1276#line 749 1277struct posix_acl; 1278#line 761 1279struct inode_operations; 1280#line 761 "include/linux/fs.h" 1281union __anonunion____missing_field_name_146 { 1282 unsigned int const i_nlink ; 1283 unsigned int __i_nlink ; 1284}; 1285#line 761 "include/linux/fs.h" 1286union __anonunion____missing_field_name_147 { 1287 struct list_head i_dentry ; 1288 struct rcu_head i_rcu ; 1289}; 1290#line 761 1291struct file_operations; 1292#line 761 1293struct file_lock; 1294#line 761 1295struct cdev; 1296#line 761 "include/linux/fs.h" 1297union __anonunion____missing_field_name_148 { 1298 struct pipe_inode_info *i_pipe ; 1299 struct block_device *i_bdev ; 1300 struct cdev *i_cdev ; 1301}; 1302#line 761 "include/linux/fs.h" 1303struct inode { 1304 umode_t i_mode ; 1305 unsigned short i_opflags ; 1306 uid_t i_uid ; 1307 gid_t i_gid ; 1308 unsigned int i_flags ; 1309 struct posix_acl *i_acl ; 1310 struct posix_acl *i_default_acl ; 1311 struct inode_operations const *i_op ; 1312 struct super_block *i_sb ; 1313 struct address_space *i_mapping ; 1314 void *i_security ; 1315 unsigned long i_ino ; 1316 union __anonunion____missing_field_name_146 __annonCompField30 ; 1317 dev_t i_rdev ; 1318 struct timespec i_atime ; 1319 struct timespec i_mtime ; 1320 struct timespec i_ctime ; 1321 spinlock_t i_lock ; 1322 unsigned short i_bytes ; 1323 blkcnt_t i_blocks ; 1324 loff_t i_size ; 1325 unsigned long i_state ; 1326 struct mutex i_mutex ; 1327 unsigned long dirtied_when ; 1328 struct hlist_node i_hash ; 1329 struct list_head i_wb_list ; 1330 struct list_head i_lru ; 1331 struct list_head i_sb_list ; 1332 union __anonunion____missing_field_name_147 __annonCompField31 ; 1333 atomic_t i_count ; 1334 unsigned int i_blkbits ; 1335 u64 i_version ; 1336 atomic_t i_dio_count ; 1337 atomic_t i_writecount ; 1338 struct file_operations const *i_fop ; 1339 struct file_lock *i_flock ; 1340 struct address_space i_data ; 1341 struct dquot *i_dquot[2] ; 1342 struct list_head i_devices ; 1343 union __anonunion____missing_field_name_148 __annonCompField32 ; 1344 __u32 i_generation ; 1345 __u32 i_fsnotify_mask ; 1346 struct hlist_head i_fsnotify_marks ; 1347 atomic_t i_readcount ; 1348 void *i_private ; 1349}; 1350#line 942 "include/linux/fs.h" 1351struct fown_struct { 1352 rwlock_t lock ; 1353 struct pid *pid ; 1354 enum pid_type pid_type ; 1355 uid_t uid ; 1356 uid_t euid ; 1357 int signum ; 1358}; 1359#line 953 "include/linux/fs.h" 1360struct file_ra_state { 1361 unsigned long start ; 1362 unsigned int size ; 1363 unsigned int async_size ; 1364 unsigned int ra_pages ; 1365 unsigned int mmap_miss ; 1366 loff_t prev_pos ; 1367}; 1368#line 976 "include/linux/fs.h" 1369union __anonunion_f_u_149 { 1370 struct list_head fu_list ; 1371 struct rcu_head fu_rcuhead ; 1372}; 1373#line 976 "include/linux/fs.h" 1374struct file { 1375 union __anonunion_f_u_149 f_u ; 1376 struct path f_path ; 1377 struct file_operations const *f_op ; 1378 spinlock_t f_lock ; 1379 int f_sb_list_cpu ; 1380 atomic_long_t f_count ; 1381 unsigned int f_flags ; 1382 fmode_t f_mode ; 1383 loff_t f_pos ; 1384 struct fown_struct f_owner ; 1385 struct cred const *f_cred ; 1386 struct file_ra_state f_ra ; 1387 u64 f_version ; 1388 void *f_security ; 1389 void *private_data ; 1390 struct list_head f_ep_links ; 1391 struct list_head f_tfile_llink ; 1392 struct address_space *f_mapping ; 1393 unsigned long f_mnt_write_state ; 1394}; 1395#line 1111 1396struct files_struct; 1397#line 1111 "include/linux/fs.h" 1398typedef struct files_struct *fl_owner_t; 1399#line 1113 "include/linux/fs.h" 1400struct file_lock_operations { 1401 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ; 1402 void (*fl_release_private)(struct file_lock * ) ; 1403}; 1404#line 1118 "include/linux/fs.h" 1405struct lock_manager_operations { 1406 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ; 1407 void (*lm_notify)(struct file_lock * ) ; 1408 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ; 1409 void (*lm_release_private)(struct file_lock * ) ; 1410 void (*lm_break)(struct file_lock * ) ; 1411 int (*lm_change)(struct file_lock ** , int ) ; 1412}; 1413#line 4 "include/linux/nfs_fs_i.h" 1414struct nlm_lockowner; 1415#line 4 1416struct nlm_lockowner; 1417#line 9 "include/linux/nfs_fs_i.h" 1418struct nfs_lock_info { 1419 u32 state ; 1420 struct nlm_lockowner *owner ; 1421 struct list_head list ; 1422}; 1423#line 15 1424struct nfs4_lock_state; 1425#line 15 1426struct nfs4_lock_state; 1427#line 16 "include/linux/nfs_fs_i.h" 1428struct nfs4_lock_info { 1429 struct nfs4_lock_state *owner ; 1430}; 1431#line 1138 "include/linux/fs.h" 1432struct fasync_struct; 1433#line 1138 "include/linux/fs.h" 1434struct __anonstruct_afs_151 { 1435 struct list_head link ; 1436 int state ; 1437}; 1438#line 1138 "include/linux/fs.h" 1439union __anonunion_fl_u_150 { 1440 struct nfs_lock_info nfs_fl ; 1441 struct nfs4_lock_info nfs4_fl ; 1442 struct __anonstruct_afs_151 afs ; 1443}; 1444#line 1138 "include/linux/fs.h" 1445struct file_lock { 1446 struct file_lock *fl_next ; 1447 struct list_head fl_link ; 1448 struct list_head fl_block ; 1449 fl_owner_t fl_owner ; 1450 unsigned int fl_flags ; 1451 unsigned char fl_type ; 1452 unsigned int fl_pid ; 1453 struct pid *fl_nspid ; 1454 wait_queue_head_t fl_wait ; 1455 struct file *fl_file ; 1456 loff_t fl_start ; 1457 loff_t fl_end ; 1458 struct fasync_struct *fl_fasync ; 1459 unsigned long fl_break_time ; 1460 unsigned long fl_downgrade_time ; 1461 struct file_lock_operations const *fl_ops ; 1462 struct lock_manager_operations const *fl_lmops ; 1463 union __anonunion_fl_u_150 fl_u ; 1464}; 1465#line 1378 "include/linux/fs.h" 1466struct fasync_struct { 1467 spinlock_t fa_lock ; 1468 int magic ; 1469 int fa_fd ; 1470 struct fasync_struct *fa_next ; 1471 struct file *fa_file ; 1472 struct rcu_head fa_rcu ; 1473}; 1474#line 1418 1475struct file_system_type; 1476#line 1418 1477struct super_operations; 1478#line 1418 1479struct xattr_handler; 1480#line 1418 1481struct mtd_info; 1482#line 1418 "include/linux/fs.h" 1483struct super_block { 1484 struct list_head s_list ; 1485 dev_t s_dev ; 1486 unsigned char s_dirt ; 1487 unsigned char s_blocksize_bits ; 1488 unsigned long s_blocksize ; 1489 loff_t s_maxbytes ; 1490 struct file_system_type *s_type ; 1491 struct super_operations const *s_op ; 1492 struct dquot_operations const *dq_op ; 1493 struct quotactl_ops const *s_qcop ; 1494 struct export_operations const *s_export_op ; 1495 unsigned long s_flags ; 1496 unsigned long s_magic ; 1497 struct dentry *s_root ; 1498 struct rw_semaphore s_umount ; 1499 struct mutex s_lock ; 1500 int s_count ; 1501 atomic_t s_active ; 1502 void *s_security ; 1503 struct xattr_handler const **s_xattr ; 1504 struct list_head s_inodes ; 1505 struct hlist_bl_head s_anon ; 1506 struct list_head *s_files ; 1507 struct list_head s_mounts ; 1508 struct list_head s_dentry_lru ; 1509 int s_nr_dentry_unused ; 1510 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ; 1511 struct list_head s_inode_lru ; 1512 int s_nr_inodes_unused ; 1513 struct block_device *s_bdev ; 1514 struct backing_dev_info *s_bdi ; 1515 struct mtd_info *s_mtd ; 1516 struct hlist_node s_instances ; 1517 struct quota_info s_dquot ; 1518 int s_frozen ; 1519 wait_queue_head_t s_wait_unfrozen ; 1520 char s_id[32] ; 1521 u8 s_uuid[16] ; 1522 void *s_fs_info ; 1523 unsigned int s_max_links ; 1524 fmode_t s_mode ; 1525 u32 s_time_gran ; 1526 struct mutex s_vfs_rename_mutex ; 1527 char *s_subtype ; 1528 char *s_options ; 1529 struct dentry_operations const *s_d_op ; 1530 int cleancache_poolid ; 1531 struct shrinker s_shrink ; 1532 atomic_long_t s_remove_count ; 1533 int s_readonly_remount ; 1534}; 1535#line 1567 "include/linux/fs.h" 1536struct fiemap_extent_info { 1537 unsigned int fi_flags ; 1538 unsigned int fi_extents_mapped ; 1539 unsigned int fi_extents_max ; 1540 struct fiemap_extent *fi_extents_start ; 1541}; 1542#line 1609 "include/linux/fs.h" 1543struct file_operations { 1544 struct module *owner ; 1545 loff_t (*llseek)(struct file * , loff_t , int ) ; 1546 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ; 1547 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ; 1548 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long , 1549 loff_t ) ; 1550 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long , 1551 loff_t ) ; 1552 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int , 1553 loff_t , u64 , unsigned int ) ) ; 1554 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ; 1555 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ; 1556 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ; 1557 int (*mmap)(struct file * , struct vm_area_struct * ) ; 1558 int (*open)(struct inode * , struct file * ) ; 1559 int (*flush)(struct file * , fl_owner_t id ) ; 1560 int (*release)(struct inode * , struct file * ) ; 1561 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ; 1562 int (*aio_fsync)(struct kiocb * , int datasync ) ; 1563 int (*fasync)(int , struct file * , int ) ; 1564 int (*lock)(struct file * , int , struct file_lock * ) ; 1565 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * , 1566 int ) ; 1567 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long , 1568 unsigned long , unsigned long ) ; 1569 int (*check_flags)(int ) ; 1570 int (*flock)(struct file * , int , struct file_lock * ) ; 1571 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t , 1572 unsigned int ) ; 1573 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t , 1574 unsigned int ) ; 1575 int (*setlease)(struct file * , long , struct file_lock ** ) ; 1576 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ; 1577}; 1578#line 1639 "include/linux/fs.h" 1579struct inode_operations { 1580 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ; 1581 void *(*follow_link)(struct dentry * , struct nameidata * ) ; 1582 int (*permission)(struct inode * , int ) ; 1583 struct posix_acl *(*get_acl)(struct inode * , int ) ; 1584 int (*readlink)(struct dentry * , char * , int ) ; 1585 void (*put_link)(struct dentry * , struct nameidata * , void * ) ; 1586 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ; 1587 int (*link)(struct dentry * , struct inode * , struct dentry * ) ; 1588 int (*unlink)(struct inode * , struct dentry * ) ; 1589 int (*symlink)(struct inode * , struct dentry * , char const * ) ; 1590 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ; 1591 int (*rmdir)(struct inode * , struct dentry * ) ; 1592 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ; 1593 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ; 1594 void (*truncate)(struct inode * ) ; 1595 int (*setattr)(struct dentry * , struct iattr * ) ; 1596 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ; 1597 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ; 1598 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ; 1599 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ; 1600 int (*removexattr)(struct dentry * , char const * ) ; 1601 void (*truncate_range)(struct inode * , loff_t , loff_t ) ; 1602 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ; 1603} __attribute__((__aligned__((1) << (6) ))) ; 1604#line 1669 1605struct seq_file; 1606#line 1684 "include/linux/fs.h" 1607struct super_operations { 1608 struct inode *(*alloc_inode)(struct super_block *sb ) ; 1609 void (*destroy_inode)(struct inode * ) ; 1610 void (*dirty_inode)(struct inode * , int flags ) ; 1611 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ; 1612 int (*drop_inode)(struct inode * ) ; 1613 void (*evict_inode)(struct inode * ) ; 1614 void (*put_super)(struct super_block * ) ; 1615 void (*write_super)(struct super_block * ) ; 1616 int (*sync_fs)(struct super_block *sb , int wait ) ; 1617 int (*freeze_fs)(struct super_block * ) ; 1618 int (*unfreeze_fs)(struct super_block * ) ; 1619 int (*statfs)(struct dentry * , struct kstatfs * ) ; 1620 int (*remount_fs)(struct super_block * , int * , char * ) ; 1621 void (*umount_begin)(struct super_block * ) ; 1622 int (*show_options)(struct seq_file * , struct dentry * ) ; 1623 int (*show_devname)(struct seq_file * , struct dentry * ) ; 1624 int (*show_path)(struct seq_file * , struct dentry * ) ; 1625 int (*show_stats)(struct seq_file * , struct dentry * ) ; 1626 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ; 1627 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t , 1628 loff_t ) ; 1629 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ; 1630 int (*nr_cached_objects)(struct super_block * ) ; 1631 void (*free_cached_objects)(struct super_block * , int ) ; 1632}; 1633#line 1835 "include/linux/fs.h" 1634struct file_system_type { 1635 char const *name ; 1636 int fs_flags ; 1637 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ; 1638 void (*kill_sb)(struct super_block * ) ; 1639 struct module *owner ; 1640 struct file_system_type *next ; 1641 struct hlist_head fs_supers ; 1642 struct lock_class_key s_lock_key ; 1643 struct lock_class_key s_umount_key ; 1644 struct lock_class_key s_vfs_rename_key ; 1645 struct lock_class_key i_lock_key ; 1646 struct lock_class_key i_mutex_key ; 1647 struct lock_class_key i_mutex_dir_key ; 1648}; 1649#line 11 "include/linux/seq_file.h" 1650struct seq_operations; 1651#line 12 1652struct file; 1653#line 13 1654struct path; 1655#line 14 1656struct inode; 1657#line 15 1658struct dentry; 1659#line 17 "include/linux/seq_file.h" 1660struct seq_file { 1661 char *buf ; 1662 size_t size ; 1663 size_t from ; 1664 size_t count ; 1665 loff_t index ; 1666 loff_t read_pos ; 1667 u64 version ; 1668 struct mutex lock ; 1669 struct seq_operations const *op ; 1670 int poll_event ; 1671 void *private ; 1672}; 1673#line 31 "include/linux/seq_file.h" 1674struct seq_operations { 1675 void *(*start)(struct seq_file *m , loff_t *pos ) ; 1676 void (*stop)(struct seq_file *m , void *v ) ; 1677 void *(*next)(struct seq_file *m , void *v , loff_t *pos ) ; 1678 int (*show)(struct seq_file *m , void *v ) ; 1679}; 1680#line 23 "include/linux/debugfs.h" 1681struct file_operations; 1682#line 17 "include/linux/hwmon.h" 1683struct device; 1684#line 60 "include/linux/pageblock-flags.h" 1685struct page; 1686#line 9 "include/linux/memory_hotplug.h" 1687struct page; 1688#line 994 "include/linux/mmzone.h" 1689struct page; 1690#line 10 "include/linux/gfp.h" 1691struct vm_area_struct; 1692#line 29 "include/linux/sysctl.h" 1693struct completion; 1694#line 100 "include/linux/rbtree.h" 1695struct rb_node { 1696 unsigned long rb_parent_color ; 1697 struct rb_node *rb_right ; 1698 struct rb_node *rb_left ; 1699} __attribute__((__aligned__(sizeof(long )))) ; 1700#line 110 "include/linux/rbtree.h" 1701struct rb_root { 1702 struct rb_node *rb_node ; 1703}; 1704#line 939 "include/linux/sysctl.h" 1705struct nsproxy; 1706#line 939 1707struct nsproxy; 1708#line 48 "include/linux/kmod.h" 1709struct cred; 1710#line 49 1711struct file; 1712#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h" 1713struct task_struct; 1714#line 18 "include/linux/elf.h" 1715typedef __u64 Elf64_Addr; 1716#line 19 "include/linux/elf.h" 1717typedef __u16 Elf64_Half; 1718#line 23 "include/linux/elf.h" 1719typedef __u32 Elf64_Word; 1720#line 24 "include/linux/elf.h" 1721typedef __u64 Elf64_Xword; 1722#line 194 "include/linux/elf.h" 1723struct elf64_sym { 1724 Elf64_Word st_name ; 1725 unsigned char st_info ; 1726 unsigned char st_other ; 1727 Elf64_Half st_shndx ; 1728 Elf64_Addr st_value ; 1729 Elf64_Xword st_size ; 1730}; 1731#line 194 "include/linux/elf.h" 1732typedef struct elf64_sym Elf64_Sym; 1733#line 438 1734struct file; 1735#line 20 "include/linux/kobject_ns.h" 1736struct sock; 1737#line 20 1738struct sock; 1739#line 21 1740struct kobject; 1741#line 27 1742enum kobj_ns_type { 1743 KOBJ_NS_TYPE_NONE = 0, 1744 KOBJ_NS_TYPE_NET = 1, 1745 KOBJ_NS_TYPES = 2 1746} ; 1747#line 40 "include/linux/kobject_ns.h" 1748struct kobj_ns_type_operations { 1749 enum kobj_ns_type type ; 1750 void *(*grab_current_ns)(void) ; 1751 void const *(*netlink_ns)(struct sock *sk ) ; 1752 void const *(*initial_ns)(void) ; 1753 void (*drop_ns)(void * ) ; 1754}; 1755#line 22 "include/linux/sysfs.h" 1756struct kobject; 1757#line 23 1758struct module; 1759#line 24 1760enum kobj_ns_type; 1761#line 26 "include/linux/sysfs.h" 1762struct attribute { 1763 char const *name ; 1764 umode_t mode ; 1765}; 1766#line 56 "include/linux/sysfs.h" 1767struct attribute_group { 1768 char const *name ; 1769 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ; 1770 struct attribute **attrs ; 1771}; 1772#line 85 1773struct file; 1774#line 86 1775struct vm_area_struct; 1776#line 88 "include/linux/sysfs.h" 1777struct bin_attribute { 1778 struct attribute attr ; 1779 size_t size ; 1780 void *private ; 1781 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * , 1782 loff_t , size_t ) ; 1783 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * , 1784 loff_t , size_t ) ; 1785 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ; 1786}; 1787#line 112 "include/linux/sysfs.h" 1788struct sysfs_ops { 1789 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ; 1790 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ; 1791 void const *(*namespace)(struct kobject * , struct attribute const * ) ; 1792}; 1793#line 118 1794struct sysfs_dirent; 1795#line 118 1796struct sysfs_dirent; 1797#line 22 "include/linux/kref.h" 1798struct kref { 1799 atomic_t refcount ; 1800}; 1801#line 60 "include/linux/kobject.h" 1802struct kset; 1803#line 60 1804struct kobj_type; 1805#line 60 "include/linux/kobject.h" 1806struct kobject { 1807 char const *name ; 1808 struct list_head entry ; 1809 struct kobject *parent ; 1810 struct kset *kset ; 1811 struct kobj_type *ktype ; 1812 struct sysfs_dirent *sd ; 1813 struct kref kref ; 1814 unsigned int state_initialized : 1 ; 1815 unsigned int state_in_sysfs : 1 ; 1816 unsigned int state_add_uevent_sent : 1 ; 1817 unsigned int state_remove_uevent_sent : 1 ; 1818 unsigned int uevent_suppress : 1 ; 1819}; 1820#line 108 "include/linux/kobject.h" 1821struct kobj_type { 1822 void (*release)(struct kobject *kobj ) ; 1823 struct sysfs_ops const *sysfs_ops ; 1824 struct attribute **default_attrs ; 1825 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ; 1826 void const *(*namespace)(struct kobject *kobj ) ; 1827}; 1828#line 116 "include/linux/kobject.h" 1829struct kobj_uevent_env { 1830 char *envp[32] ; 1831 int envp_idx ; 1832 char buf[2048] ; 1833 int buflen ; 1834}; 1835#line 123 "include/linux/kobject.h" 1836struct kset_uevent_ops { 1837 int (* const filter)(struct kset *kset , struct kobject *kobj ) ; 1838 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ; 1839 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ; 1840}; 1841#line 140 1842struct sock; 1843#line 159 "include/linux/kobject.h" 1844struct kset { 1845 struct list_head list ; 1846 spinlock_t list_lock ; 1847 struct kobject kobj ; 1848 struct kset_uevent_ops const *uevent_ops ; 1849}; 1850#line 39 "include/linux/moduleparam.h" 1851struct kernel_param; 1852#line 39 1853struct kernel_param; 1854#line 41 "include/linux/moduleparam.h" 1855struct kernel_param_ops { 1856 int (*set)(char const *val , struct kernel_param const *kp ) ; 1857 int (*get)(char *buffer , struct kernel_param const *kp ) ; 1858 void (*free)(void *arg ) ; 1859}; 1860#line 50 1861struct kparam_string; 1862#line 50 1863struct kparam_array; 1864#line 50 "include/linux/moduleparam.h" 1865union __anonunion____missing_field_name_216 { 1866 void *arg ; 1867 struct kparam_string const *str ; 1868 struct kparam_array const *arr ; 1869}; 1870#line 50 "include/linux/moduleparam.h" 1871struct kernel_param { 1872 char const *name ; 1873 struct kernel_param_ops const *ops ; 1874 u16 perm ; 1875 s16 level ; 1876 union __anonunion____missing_field_name_216 __annonCompField35 ; 1877}; 1878#line 63 "include/linux/moduleparam.h" 1879struct kparam_string { 1880 unsigned int maxlen ; 1881 char *string ; 1882}; 1883#line 69 "include/linux/moduleparam.h" 1884struct kparam_array { 1885 unsigned int max ; 1886 unsigned int elemsize ; 1887 unsigned int *num ; 1888 struct kernel_param_ops const *ops ; 1889 void *elem ; 1890}; 1891#line 445 1892struct module; 1893#line 80 "include/linux/jump_label.h" 1894struct module; 1895#line 143 "include/linux/jump_label.h" 1896struct static_key { 1897 atomic_t enabled ; 1898}; 1899#line 22 "include/linux/tracepoint.h" 1900struct module; 1901#line 23 1902struct tracepoint; 1903#line 23 1904struct tracepoint; 1905#line 25 "include/linux/tracepoint.h" 1906struct tracepoint_func { 1907 void *func ; 1908 void *data ; 1909}; 1910#line 30 "include/linux/tracepoint.h" 1911struct tracepoint { 1912 char const *name ; 1913 struct static_key key ; 1914 void (*regfunc)(void) ; 1915 void (*unregfunc)(void) ; 1916 struct tracepoint_func *funcs ; 1917}; 1918#line 19 "include/linux/export.h" 1919struct kernel_symbol { 1920 unsigned long value ; 1921 char const *name ; 1922}; 1923#line 8 "include/asm-generic/module.h" 1924struct mod_arch_specific { 1925 1926}; 1927#line 35 "include/linux/module.h" 1928struct module; 1929#line 37 1930struct module_param_attrs; 1931#line 37 "include/linux/module.h" 1932struct module_kobject { 1933 struct kobject kobj ; 1934 struct module *mod ; 1935 struct kobject *drivers_dir ; 1936 struct module_param_attrs *mp ; 1937}; 1938#line 44 "include/linux/module.h" 1939struct module_attribute { 1940 struct attribute attr ; 1941 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ; 1942 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * , 1943 size_t count ) ; 1944 void (*setup)(struct module * , char const * ) ; 1945 int (*test)(struct module * ) ; 1946 void (*free)(struct module * ) ; 1947}; 1948#line 71 1949struct exception_table_entry; 1950#line 71 1951struct exception_table_entry; 1952#line 199 1953enum module_state { 1954 MODULE_STATE_LIVE = 0, 1955 MODULE_STATE_COMING = 1, 1956 MODULE_STATE_GOING = 2 1957} ; 1958#line 215 "include/linux/module.h" 1959struct module_ref { 1960 unsigned long incs ; 1961 unsigned long decs ; 1962} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ; 1963#line 220 1964struct module_sect_attrs; 1965#line 220 1966struct module_notes_attrs; 1967#line 220 1968struct ftrace_event_call; 1969#line 220 "include/linux/module.h" 1970struct module { 1971 enum module_state state ; 1972 struct list_head list ; 1973 char name[64UL - sizeof(unsigned long )] ; 1974 struct module_kobject mkobj ; 1975 struct module_attribute *modinfo_attrs ; 1976 char const *version ; 1977 char const *srcversion ; 1978 struct kobject *holders_dir ; 1979 struct kernel_symbol const *syms ; 1980 unsigned long const *crcs ; 1981 unsigned int num_syms ; 1982 struct kernel_param *kp ; 1983 unsigned int num_kp ; 1984 unsigned int num_gpl_syms ; 1985 struct kernel_symbol const *gpl_syms ; 1986 unsigned long const *gpl_crcs ; 1987 struct kernel_symbol const *unused_syms ; 1988 unsigned long const *unused_crcs ; 1989 unsigned int num_unused_syms ; 1990 unsigned int num_unused_gpl_syms ; 1991 struct kernel_symbol const *unused_gpl_syms ; 1992 unsigned long const *unused_gpl_crcs ; 1993 struct kernel_symbol const *gpl_future_syms ; 1994 unsigned long const *gpl_future_crcs ; 1995 unsigned int num_gpl_future_syms ; 1996 unsigned int num_exentries ; 1997 struct exception_table_entry *extable ; 1998 int (*init)(void) ; 1999 void *module_init ; 2000 void *module_core ; 2001 unsigned int init_size ; 2002 unsigned int core_size ; 2003 unsigned int init_text_size ; 2004 unsigned int core_text_size ; 2005 unsigned int init_ro_size ; 2006 unsigned int core_ro_size ; 2007 struct mod_arch_specific arch ; 2008 unsigned int taints ; 2009 unsigned int num_bugs ; 2010 struct list_head bug_list ; 2011 struct bug_entry *bug_table ; 2012 Elf64_Sym *symtab ; 2013 Elf64_Sym *core_symtab ; 2014 unsigned int num_symtab ; 2015 unsigned int core_num_syms ; 2016 char *strtab ; 2017 char *core_strtab ; 2018 struct module_sect_attrs *sect_attrs ; 2019 struct module_notes_attrs *notes_attrs ; 2020 char *args ; 2021 void *percpu ; 2022 unsigned int percpu_size ; 2023 unsigned int num_tracepoints ; 2024 struct tracepoint * const *tracepoints_ptrs ; 2025 unsigned int num_trace_bprintk_fmt ; 2026 char const **trace_bprintk_fmt_start ; 2027 struct ftrace_event_call **trace_events ; 2028 unsigned int num_trace_events ; 2029 struct list_head source_list ; 2030 struct list_head target_list ; 2031 struct task_struct *waiter ; 2032 void (*exit)(void) ; 2033 struct module_ref *refptr ; 2034 ctor_fn_t *ctors ; 2035 unsigned int num_ctors ; 2036}; 2037#line 46 "include/linux/slub_def.h" 2038struct kmem_cache_cpu { 2039 void **freelist ; 2040 unsigned long tid ; 2041 struct page *page ; 2042 struct page *partial ; 2043 int node ; 2044 unsigned int stat[26] ; 2045}; 2046#line 57 "include/linux/slub_def.h" 2047struct kmem_cache_node { 2048 spinlock_t list_lock ; 2049 unsigned long nr_partial ; 2050 struct list_head partial ; 2051 atomic_long_t nr_slabs ; 2052 atomic_long_t total_objects ; 2053 struct list_head full ; 2054}; 2055#line 73 "include/linux/slub_def.h" 2056struct kmem_cache_order_objects { 2057 unsigned long x ; 2058}; 2059#line 80 "include/linux/slub_def.h" 2060struct kmem_cache { 2061 struct kmem_cache_cpu *cpu_slab ; 2062 unsigned long flags ; 2063 unsigned long min_partial ; 2064 int size ; 2065 int objsize ; 2066 int offset ; 2067 int cpu_partial ; 2068 struct kmem_cache_order_objects oo ; 2069 struct kmem_cache_order_objects max ; 2070 struct kmem_cache_order_objects min ; 2071 gfp_t allocflags ; 2072 int refcount ; 2073 void (*ctor)(void * ) ; 2074 int inuse ; 2075 int align ; 2076 int reserved ; 2077 char const *name ; 2078 struct list_head list ; 2079 struct kobject kobj ; 2080 int remote_node_defrag_ratio ; 2081 struct kmem_cache_node *node[1 << 10] ; 2082}; 2083#line 12 "include/linux/mod_devicetable.h" 2084typedef unsigned long kernel_ulong_t; 2085#line 185 "include/linux/mod_devicetable.h" 2086struct acpi_device_id { 2087 __u8 id[16] ; 2088 kernel_ulong_t driver_data ; 2089}; 2090#line 219 "include/linux/mod_devicetable.h" 2091struct of_device_id { 2092 char name[32] ; 2093 char type[32] ; 2094 char compatible[128] ; 2095 void *data ; 2096}; 2097#line 472 "include/linux/mod_devicetable.h" 2098struct dmi_strmatch { 2099 unsigned char slot ; 2100 char substr[79] ; 2101}; 2102#line 486 "include/linux/mod_devicetable.h" 2103struct dmi_system_id { 2104 int (*callback)(struct dmi_system_id const * ) ; 2105 char const *ident ; 2106 struct dmi_strmatch matches[4] ; 2107 void *driver_data ; 2108}; 2109#line 23 "include/linux/mm_types.h" 2110struct address_space; 2111#line 40 "include/linux/mm_types.h" 2112union __anonunion____missing_field_name_220 { 2113 unsigned long index ; 2114 void *freelist ; 2115}; 2116#line 40 "include/linux/mm_types.h" 2117struct __anonstruct____missing_field_name_224 { 2118 unsigned int inuse : 16 ; 2119 unsigned int objects : 15 ; 2120 unsigned int frozen : 1 ; 2121}; 2122#line 40 "include/linux/mm_types.h" 2123union __anonunion____missing_field_name_223 { 2124 atomic_t _mapcount ; 2125 struct __anonstruct____missing_field_name_224 __annonCompField37 ; 2126}; 2127#line 40 "include/linux/mm_types.h" 2128struct __anonstruct____missing_field_name_222 { 2129 union __anonunion____missing_field_name_223 __annonCompField38 ; 2130 atomic_t _count ; 2131}; 2132#line 40 "include/linux/mm_types.h" 2133union __anonunion____missing_field_name_221 { 2134 unsigned long counters ; 2135 struct __anonstruct____missing_field_name_222 __annonCompField39 ; 2136}; 2137#line 40 "include/linux/mm_types.h" 2138struct __anonstruct____missing_field_name_219 { 2139 union __anonunion____missing_field_name_220 __annonCompField36 ; 2140 union __anonunion____missing_field_name_221 __annonCompField40 ; 2141}; 2142#line 40 "include/linux/mm_types.h" 2143struct __anonstruct____missing_field_name_226 { 2144 struct page *next ; 2145 int pages ; 2146 int pobjects ; 2147}; 2148#line 40 "include/linux/mm_types.h" 2149union __anonunion____missing_field_name_225 { 2150 struct list_head lru ; 2151 struct __anonstruct____missing_field_name_226 __annonCompField42 ; 2152}; 2153#line 40 "include/linux/mm_types.h" 2154union __anonunion____missing_field_name_227 { 2155 unsigned long private ; 2156 struct kmem_cache *slab ; 2157 struct page *first_page ; 2158}; 2159#line 40 "include/linux/mm_types.h" 2160struct page { 2161 unsigned long flags ; 2162 struct address_space *mapping ; 2163 struct __anonstruct____missing_field_name_219 __annonCompField41 ; 2164 union __anonunion____missing_field_name_225 __annonCompField43 ; 2165 union __anonunion____missing_field_name_227 __annonCompField44 ; 2166 unsigned long debug_flags ; 2167} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ; 2168#line 200 "include/linux/mm_types.h" 2169struct __anonstruct_vm_set_229 { 2170 struct list_head list ; 2171 void *parent ; 2172 struct vm_area_struct *head ; 2173}; 2174#line 200 "include/linux/mm_types.h" 2175union __anonunion_shared_228 { 2176 struct __anonstruct_vm_set_229 vm_set ; 2177 struct raw_prio_tree_node prio_tree_node ; 2178}; 2179#line 200 2180struct anon_vma; 2181#line 200 2182struct vm_operations_struct; 2183#line 200 2184struct mempolicy; 2185#line 200 "include/linux/mm_types.h" 2186struct vm_area_struct { 2187 struct mm_struct *vm_mm ; 2188 unsigned long vm_start ; 2189 unsigned long vm_end ; 2190 struct vm_area_struct *vm_next ; 2191 struct vm_area_struct *vm_prev ; 2192 pgprot_t vm_page_prot ; 2193 unsigned long vm_flags ; 2194 struct rb_node vm_rb ; 2195 union __anonunion_shared_228 shared ; 2196 struct list_head anon_vma_chain ; 2197 struct anon_vma *anon_vma ; 2198 struct vm_operations_struct const *vm_ops ; 2199 unsigned long vm_pgoff ; 2200 struct file *vm_file ; 2201 void *vm_private_data ; 2202 struct mempolicy *vm_policy ; 2203}; 2204#line 257 "include/linux/mm_types.h" 2205struct core_thread { 2206 struct task_struct *task ; 2207 struct core_thread *next ; 2208}; 2209#line 262 "include/linux/mm_types.h" 2210struct core_state { 2211 atomic_t nr_threads ; 2212 struct core_thread dumper ; 2213 struct completion startup ; 2214}; 2215#line 284 "include/linux/mm_types.h" 2216struct mm_rss_stat { 2217 atomic_long_t count[3] ; 2218}; 2219#line 288 2220struct linux_binfmt; 2221#line 288 2222struct mmu_notifier_mm; 2223#line 288 "include/linux/mm_types.h" 2224struct mm_struct { 2225 struct vm_area_struct *mmap ; 2226 struct rb_root mm_rb ; 2227 struct vm_area_struct *mmap_cache ; 2228 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len , 2229 unsigned long pgoff , unsigned long flags ) ; 2230 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ; 2231 unsigned long mmap_base ; 2232 unsigned long task_size ; 2233 unsigned long cached_hole_size ; 2234 unsigned long free_area_cache ; 2235 pgd_t *pgd ; 2236 atomic_t mm_users ; 2237 atomic_t mm_count ; 2238 int map_count ; 2239 spinlock_t page_table_lock ; 2240 struct rw_semaphore mmap_sem ; 2241 struct list_head mmlist ; 2242 unsigned long hiwater_rss ; 2243 unsigned long hiwater_vm ; 2244 unsigned long total_vm ; 2245 unsigned long locked_vm ; 2246 unsigned long pinned_vm ; 2247 unsigned long shared_vm ; 2248 unsigned long exec_vm ; 2249 unsigned long stack_vm ; 2250 unsigned long reserved_vm ; 2251 unsigned long def_flags ; 2252 unsigned long nr_ptes ; 2253 unsigned long start_code ; 2254 unsigned long end_code ; 2255 unsigned long start_data ; 2256 unsigned long end_data ; 2257 unsigned long start_brk ; 2258 unsigned long brk ; 2259 unsigned long start_stack ; 2260 unsigned long arg_start ; 2261 unsigned long arg_end ; 2262 unsigned long env_start ; 2263 unsigned long env_end ; 2264 unsigned long saved_auxv[44] ; 2265 struct mm_rss_stat rss_stat ; 2266 struct linux_binfmt *binfmt ; 2267 cpumask_var_t cpu_vm_mask_var ; 2268 mm_context_t context ; 2269 unsigned int faultstamp ; 2270 unsigned int token_priority ; 2271 unsigned int last_interval ; 2272 unsigned long flags ; 2273 struct core_state *core_state ; 2274 spinlock_t ioctx_lock ; 2275 struct hlist_head ioctx_list ; 2276 struct task_struct *owner ; 2277 struct file *exe_file ; 2278 unsigned long num_exe_file_vmas ; 2279 struct mmu_notifier_mm *mmu_notifier_mm ; 2280 pgtable_t pmd_huge_pte ; 2281 struct cpumask cpumask_allocation ; 2282}; 2283#line 7 "include/asm-generic/cputime.h" 2284typedef unsigned long cputime_t; 2285#line 84 "include/linux/sem.h" 2286struct task_struct; 2287#line 101 2288struct sem_undo_list; 2289#line 101 "include/linux/sem.h" 2290struct sysv_sem { 2291 struct sem_undo_list *undo_list ; 2292}; 2293#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 2294struct siginfo; 2295#line 10 2296struct siginfo; 2297#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 2298struct __anonstruct_sigset_t_231 { 2299 unsigned long sig[1] ; 2300}; 2301#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 2302typedef struct __anonstruct_sigset_t_231 sigset_t; 2303#line 17 "include/asm-generic/signal-defs.h" 2304typedef void __signalfn_t(int ); 2305#line 18 "include/asm-generic/signal-defs.h" 2306typedef __signalfn_t *__sighandler_t; 2307#line 20 "include/asm-generic/signal-defs.h" 2308typedef void __restorefn_t(void); 2309#line 21 "include/asm-generic/signal-defs.h" 2310typedef __restorefn_t *__sigrestore_t; 2311#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 2312struct sigaction { 2313 __sighandler_t sa_handler ; 2314 unsigned long sa_flags ; 2315 __sigrestore_t sa_restorer ; 2316 sigset_t sa_mask ; 2317}; 2318#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h" 2319struct k_sigaction { 2320 struct sigaction sa ; 2321}; 2322#line 7 "include/asm-generic/siginfo.h" 2323union sigval { 2324 int sival_int ; 2325 void *sival_ptr ; 2326}; 2327#line 7 "include/asm-generic/siginfo.h" 2328typedef union sigval sigval_t; 2329#line 48 "include/asm-generic/siginfo.h" 2330struct __anonstruct__kill_233 { 2331 __kernel_pid_t _pid ; 2332 __kernel_uid32_t _uid ; 2333}; 2334#line 48 "include/asm-generic/siginfo.h" 2335struct __anonstruct__timer_234 { 2336 __kernel_timer_t _tid ; 2337 int _overrun ; 2338 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ; 2339 sigval_t _sigval ; 2340 int _sys_private ; 2341}; 2342#line 48 "include/asm-generic/siginfo.h" 2343struct __anonstruct__rt_235 { 2344 __kernel_pid_t _pid ; 2345 __kernel_uid32_t _uid ; 2346 sigval_t _sigval ; 2347}; 2348#line 48 "include/asm-generic/siginfo.h" 2349struct __anonstruct__sigchld_236 { 2350 __kernel_pid_t _pid ; 2351 __kernel_uid32_t _uid ; 2352 int _status ; 2353 __kernel_clock_t _utime ; 2354 __kernel_clock_t _stime ; 2355}; 2356#line 48 "include/asm-generic/siginfo.h" 2357struct __anonstruct__sigfault_237 { 2358 void *_addr ; 2359 short _addr_lsb ; 2360}; 2361#line 48 "include/asm-generic/siginfo.h" 2362struct __anonstruct__sigpoll_238 { 2363 long _band ; 2364 int _fd ; 2365}; 2366#line 48 "include/asm-generic/siginfo.h" 2367union __anonunion__sifields_232 { 2368 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ; 2369 struct __anonstruct__kill_233 _kill ; 2370 struct __anonstruct__timer_234 _timer ; 2371 struct __anonstruct__rt_235 _rt ; 2372 struct __anonstruct__sigchld_236 _sigchld ; 2373 struct __anonstruct__sigfault_237 _sigfault ; 2374 struct __anonstruct__sigpoll_238 _sigpoll ; 2375}; 2376#line 48 "include/asm-generic/siginfo.h" 2377struct siginfo { 2378 int si_signo ; 2379 int si_errno ; 2380 int si_code ; 2381 union __anonunion__sifields_232 _sifields ; 2382}; 2383#line 48 "include/asm-generic/siginfo.h" 2384typedef struct siginfo siginfo_t; 2385#line 288 2386struct siginfo; 2387#line 10 "include/linux/signal.h" 2388struct task_struct; 2389#line 18 2390struct user_struct; 2391#line 28 "include/linux/signal.h" 2392struct sigpending { 2393 struct list_head list ; 2394 sigset_t signal ; 2395}; 2396#line 239 2397struct timespec; 2398#line 240 2399struct pt_regs; 2400#line 10 "include/linux/seccomp.h" 2401struct __anonstruct_seccomp_t_241 { 2402 int mode ; 2403}; 2404#line 10 "include/linux/seccomp.h" 2405typedef struct __anonstruct_seccomp_t_241 seccomp_t; 2406#line 81 "include/linux/plist.h" 2407struct plist_head { 2408 struct list_head node_list ; 2409}; 2410#line 85 "include/linux/plist.h" 2411struct plist_node { 2412 int prio ; 2413 struct list_head prio_list ; 2414 struct list_head node_list ; 2415}; 2416#line 40 "include/linux/rtmutex.h" 2417struct rt_mutex_waiter; 2418#line 40 2419struct rt_mutex_waiter; 2420#line 42 "include/linux/resource.h" 2421struct rlimit { 2422 unsigned long rlim_cur ; 2423 unsigned long rlim_max ; 2424}; 2425#line 81 2426struct task_struct; 2427#line 8 "include/linux/timerqueue.h" 2428struct timerqueue_node { 2429 struct rb_node node ; 2430 ktime_t expires ; 2431}; 2432#line 13 "include/linux/timerqueue.h" 2433struct timerqueue_head { 2434 struct rb_root head ; 2435 struct timerqueue_node *next ; 2436}; 2437#line 27 "include/linux/hrtimer.h" 2438struct hrtimer_clock_base; 2439#line 27 2440struct hrtimer_clock_base; 2441#line 28 2442struct hrtimer_cpu_base; 2443#line 28 2444struct hrtimer_cpu_base; 2445#line 44 2446enum hrtimer_restart { 2447 HRTIMER_NORESTART = 0, 2448 HRTIMER_RESTART = 1 2449} ; 2450#line 108 "include/linux/hrtimer.h" 2451struct hrtimer { 2452 struct timerqueue_node node ; 2453 ktime_t _softexpires ; 2454 enum hrtimer_restart (*function)(struct hrtimer * ) ; 2455 struct hrtimer_clock_base *base ; 2456 unsigned long state ; 2457 int start_pid ; 2458 void *start_site ; 2459 char start_comm[16] ; 2460}; 2461#line 145 "include/linux/hrtimer.h" 2462struct hrtimer_clock_base { 2463 struct hrtimer_cpu_base *cpu_base ; 2464 int index ; 2465 clockid_t clockid ; 2466 struct timerqueue_head active ; 2467 ktime_t resolution ; 2468 ktime_t (*get_time)(void) ; 2469 ktime_t softirq_time ; 2470 ktime_t offset ; 2471}; 2472#line 178 "include/linux/hrtimer.h" 2473struct hrtimer_cpu_base { 2474 raw_spinlock_t lock ; 2475 unsigned long active_bases ; 2476 ktime_t expires_next ; 2477 int hres_active ; 2478 int hang_detected ; 2479 unsigned long nr_events ; 2480 unsigned long nr_retries ; 2481 unsigned long nr_hangs ; 2482 ktime_t max_hang_time ; 2483 struct hrtimer_clock_base clock_base[3] ; 2484}; 2485#line 11 "include/linux/task_io_accounting.h" 2486struct task_io_accounting { 2487 u64 rchar ; 2488 u64 wchar ; 2489 u64 syscr ; 2490 u64 syscw ; 2491 u64 read_bytes ; 2492 u64 write_bytes ; 2493 u64 cancelled_write_bytes ; 2494}; 2495#line 13 "include/linux/latencytop.h" 2496struct task_struct; 2497#line 20 "include/linux/latencytop.h" 2498struct latency_record { 2499 unsigned long backtrace[12] ; 2500 unsigned int count ; 2501 unsigned long time ; 2502 unsigned long max ; 2503}; 2504#line 29 "include/linux/key.h" 2505typedef int32_t key_serial_t; 2506#line 32 "include/linux/key.h" 2507typedef uint32_t key_perm_t; 2508#line 34 2509struct key; 2510#line 34 2511struct key; 2512#line 74 2513struct seq_file; 2514#line 75 2515struct user_struct; 2516#line 76 2517struct signal_struct; 2518#line 76 2519struct signal_struct; 2520#line 77 2521struct cred; 2522#line 79 2523struct key_type; 2524#line 79 2525struct key_type; 2526#line 81 2527struct keyring_list; 2528#line 81 2529struct keyring_list; 2530#line 124 2531struct key_user; 2532#line 124 "include/linux/key.h" 2533union __anonunion____missing_field_name_242 { 2534 time_t expiry ; 2535 time_t revoked_at ; 2536}; 2537#line 124 "include/linux/key.h" 2538union __anonunion_type_data_243 { 2539 struct list_head link ; 2540 unsigned long x[2] ; 2541 void *p[2] ; 2542 int reject_error ; 2543}; 2544#line 124 "include/linux/key.h" 2545union __anonunion_payload_244 { 2546 unsigned long value ; 2547 void *rcudata ; 2548 void *data ; 2549 struct keyring_list *subscriptions ; 2550}; 2551#line 124 "include/linux/key.h" 2552struct key { 2553 atomic_t usage ; 2554 key_serial_t serial ; 2555 struct rb_node serial_node ; 2556 struct key_type *type ; 2557 struct rw_semaphore sem ; 2558 struct key_user *user ; 2559 void *security ; 2560 union __anonunion____missing_field_name_242 __annonCompField45 ; 2561 uid_t uid ; 2562 gid_t gid ; 2563 key_perm_t perm ; 2564 unsigned short quotalen ; 2565 unsigned short datalen ; 2566 unsigned long flags ; 2567 char *description ; 2568 union __anonunion_type_data_243 type_data ; 2569 union __anonunion_payload_244 payload ; 2570}; 2571#line 18 "include/linux/selinux.h" 2572struct audit_context; 2573#line 18 2574struct audit_context; 2575#line 21 "include/linux/cred.h" 2576struct user_struct; 2577#line 22 2578struct cred; 2579#line 23 2580struct inode; 2581#line 31 "include/linux/cred.h" 2582struct group_info { 2583 atomic_t usage ; 2584 int ngroups ; 2585 int nblocks ; 2586 gid_t small_block[32] ; 2587 gid_t *blocks[0] ; 2588}; 2589#line 83 "include/linux/cred.h" 2590struct thread_group_cred { 2591 atomic_t usage ; 2592 pid_t tgid ; 2593 spinlock_t lock ; 2594 struct key *session_keyring ; 2595 struct key *process_keyring ; 2596 struct rcu_head rcu ; 2597}; 2598#line 116 "include/linux/cred.h" 2599struct cred { 2600 atomic_t usage ; 2601 atomic_t subscribers ; 2602 void *put_addr ; 2603 unsigned int magic ; 2604 uid_t uid ; 2605 gid_t gid ; 2606 uid_t suid ; 2607 gid_t sgid ; 2608 uid_t euid ; 2609 gid_t egid ; 2610 uid_t fsuid ; 2611 gid_t fsgid ; 2612 unsigned int securebits ; 2613 kernel_cap_t cap_inheritable ; 2614 kernel_cap_t cap_permitted ; 2615 kernel_cap_t cap_effective ; 2616 kernel_cap_t cap_bset ; 2617 unsigned char jit_keyring ; 2618 struct key *thread_keyring ; 2619 struct key *request_key_auth ; 2620 struct thread_group_cred *tgcred ; 2621 void *security ; 2622 struct user_struct *user ; 2623 struct user_namespace *user_ns ; 2624 struct group_info *group_info ; 2625 struct rcu_head rcu ; 2626}; 2627#line 61 "include/linux/llist.h" 2628struct llist_node; 2629#line 65 "include/linux/llist.h" 2630struct llist_node { 2631 struct llist_node *next ; 2632}; 2633#line 97 "include/linux/sched.h" 2634struct futex_pi_state; 2635#line 97 2636struct futex_pi_state; 2637#line 98 2638struct robust_list_head; 2639#line 98 2640struct robust_list_head; 2641#line 99 2642struct bio_list; 2643#line 99 2644struct bio_list; 2645#line 100 2646struct fs_struct; 2647#line 100 2648struct fs_struct; 2649#line 101 2650struct perf_event_context; 2651#line 101 2652struct perf_event_context; 2653#line 102 2654struct blk_plug; 2655#line 102 2656struct blk_plug; 2657#line 150 2658struct seq_file; 2659#line 151 2660struct cfs_rq; 2661#line 151 2662struct cfs_rq; 2663#line 259 2664struct task_struct; 2665#line 366 2666struct nsproxy; 2667#line 367 2668struct user_namespace; 2669#line 58 "include/linux/aio_abi.h" 2670struct io_event { 2671 __u64 data ; 2672 __u64 obj ; 2673 __s64 res ; 2674 __s64 res2 ; 2675}; 2676#line 16 "include/linux/uio.h" 2677struct iovec { 2678 void *iov_base ; 2679 __kernel_size_t iov_len ; 2680}; 2681#line 15 "include/linux/aio.h" 2682struct kioctx; 2683#line 15 2684struct kioctx; 2685#line 87 "include/linux/aio.h" 2686union __anonunion_ki_obj_246 { 2687 void *user ; 2688 struct task_struct *tsk ; 2689}; 2690#line 87 2691struct eventfd_ctx; 2692#line 87 "include/linux/aio.h" 2693struct kiocb { 2694 struct list_head ki_run_list ; 2695 unsigned long ki_flags ; 2696 int ki_users ; 2697 unsigned int ki_key ; 2698 struct file *ki_filp ; 2699 struct kioctx *ki_ctx ; 2700 int (*ki_cancel)(struct kiocb * , struct io_event * ) ; 2701 ssize_t (*ki_retry)(struct kiocb * ) ; 2702 void (*ki_dtor)(struct kiocb * ) ; 2703 union __anonunion_ki_obj_246 ki_obj ; 2704 __u64 ki_user_data ; 2705 loff_t ki_pos ; 2706 void *private ; 2707 unsigned short ki_opcode ; 2708 size_t ki_nbytes ; 2709 char *ki_buf ; 2710 size_t ki_left ; 2711 struct iovec ki_inline_vec ; 2712 struct iovec *ki_iovec ; 2713 unsigned long ki_nr_segs ; 2714 unsigned long ki_cur_seg ; 2715 struct list_head ki_list ; 2716 struct list_head ki_batch ; 2717 struct eventfd_ctx *ki_eventfd ; 2718}; 2719#line 166 "include/linux/aio.h" 2720struct aio_ring_info { 2721 unsigned long mmap_base ; 2722 unsigned long mmap_size ; 2723 struct page **ring_pages ; 2724 spinlock_t ring_lock ; 2725 long nr_pages ; 2726 unsigned int nr ; 2727 unsigned int tail ; 2728 struct page *internal_pages[8] ; 2729}; 2730#line 179 "include/linux/aio.h" 2731struct kioctx { 2732 atomic_t users ; 2733 int dead ; 2734 struct mm_struct *mm ; 2735 unsigned long user_id ; 2736 struct hlist_node list ; 2737 wait_queue_head_t wait ; 2738 spinlock_t ctx_lock ; 2739 int reqs_active ; 2740 struct list_head active_reqs ; 2741 struct list_head run_list ; 2742 unsigned int max_reqs ; 2743 struct aio_ring_info ring_info ; 2744 struct delayed_work wq ; 2745 struct rcu_head rcu_head ; 2746}; 2747#line 214 2748struct mm_struct; 2749#line 443 "include/linux/sched.h" 2750struct sighand_struct { 2751 atomic_t count ; 2752 struct k_sigaction action[64] ; 2753 spinlock_t siglock ; 2754 wait_queue_head_t signalfd_wqh ; 2755}; 2756#line 450 "include/linux/sched.h" 2757struct pacct_struct { 2758 int ac_flag ; 2759 long ac_exitcode ; 2760 unsigned long ac_mem ; 2761 cputime_t ac_utime ; 2762 cputime_t ac_stime ; 2763 unsigned long ac_minflt ; 2764 unsigned long ac_majflt ; 2765}; 2766#line 458 "include/linux/sched.h" 2767struct cpu_itimer { 2768 cputime_t expires ; 2769 cputime_t incr ; 2770 u32 error ; 2771 u32 incr_error ; 2772}; 2773#line 476 "include/linux/sched.h" 2774struct task_cputime { 2775 cputime_t utime ; 2776 cputime_t stime ; 2777 unsigned long long sum_exec_runtime ; 2778}; 2779#line 512 "include/linux/sched.h" 2780struct thread_group_cputimer { 2781 struct task_cputime cputime ; 2782 int running ; 2783 raw_spinlock_t lock ; 2784}; 2785#line 519 2786struct autogroup; 2787#line 519 2788struct autogroup; 2789#line 528 2790struct tty_struct; 2791#line 528 2792struct taskstats; 2793#line 528 2794struct tty_audit_buf; 2795#line 528 "include/linux/sched.h" 2796struct signal_struct { 2797 atomic_t sigcnt ; 2798 atomic_t live ; 2799 int nr_threads ; 2800 wait_queue_head_t wait_chldexit ; 2801 struct task_struct *curr_target ; 2802 struct sigpending shared_pending ; 2803 int group_exit_code ; 2804 int notify_count ; 2805 struct task_struct *group_exit_task ; 2806 int group_stop_count ; 2807 unsigned int flags ; 2808 unsigned int is_child_subreaper : 1 ; 2809 unsigned int has_child_subreaper : 1 ; 2810 struct list_head posix_timers ; 2811 struct hrtimer real_timer ; 2812 struct pid *leader_pid ; 2813 ktime_t it_real_incr ; 2814 struct cpu_itimer it[2] ; 2815 struct thread_group_cputimer cputimer ; 2816 struct task_cputime cputime_expires ; 2817 struct list_head cpu_timers[3] ; 2818 struct pid *tty_old_pgrp ; 2819 int leader ; 2820 struct tty_struct *tty ; 2821 struct autogroup *autogroup ; 2822 cputime_t utime ; 2823 cputime_t stime ; 2824 cputime_t cutime ; 2825 cputime_t cstime ; 2826 cputime_t gtime ; 2827 cputime_t cgtime ; 2828 cputime_t prev_utime ; 2829 cputime_t prev_stime ; 2830 unsigned long nvcsw ; 2831 unsigned long nivcsw ; 2832 unsigned long cnvcsw ; 2833 unsigned long cnivcsw ; 2834 unsigned long min_flt ; 2835 unsigned long maj_flt ; 2836 unsigned long cmin_flt ; 2837 unsigned long cmaj_flt ; 2838 unsigned long inblock ; 2839 unsigned long oublock ; 2840 unsigned long cinblock ; 2841 unsigned long coublock ; 2842 unsigned long maxrss ; 2843 unsigned long cmaxrss ; 2844 struct task_io_accounting ioac ; 2845 unsigned long long sum_sched_runtime ; 2846 struct rlimit rlim[16] ; 2847 struct pacct_struct pacct ; 2848 struct taskstats *stats ; 2849 unsigned int audit_tty ; 2850 struct tty_audit_buf *tty_audit_buf ; 2851 struct rw_semaphore group_rwsem ; 2852 int oom_adj ; 2853 int oom_score_adj ; 2854 int oom_score_adj_min ; 2855 struct mutex cred_guard_mutex ; 2856}; 2857#line 703 "include/linux/sched.h" 2858struct user_struct { 2859 atomic_t __count ; 2860 atomic_t processes ; 2861 atomic_t files ; 2862 atomic_t sigpending ; 2863 atomic_t inotify_watches ; 2864 atomic_t inotify_devs ; 2865 atomic_t fanotify_listeners ; 2866 atomic_long_t epoll_watches ; 2867 unsigned long mq_bytes ; 2868 unsigned long locked_shm ; 2869 struct key *uid_keyring ; 2870 struct key *session_keyring ; 2871 struct hlist_node uidhash_node ; 2872 uid_t uid ; 2873 struct user_namespace *user_ns ; 2874 atomic_long_t locked_vm ; 2875}; 2876#line 747 2877struct backing_dev_info; 2878#line 748 2879struct reclaim_state; 2880#line 748 2881struct reclaim_state; 2882#line 751 "include/linux/sched.h" 2883struct sched_info { 2884 unsigned long pcount ; 2885 unsigned long long run_delay ; 2886 unsigned long long last_arrival ; 2887 unsigned long long last_queued ; 2888}; 2889#line 763 "include/linux/sched.h" 2890struct task_delay_info { 2891 spinlock_t lock ; 2892 unsigned int flags ; 2893 struct timespec blkio_start ; 2894 struct timespec blkio_end ; 2895 u64 blkio_delay ; 2896 u64 swapin_delay ; 2897 u32 blkio_count ; 2898 u32 swapin_count ; 2899 struct timespec freepages_start ; 2900 struct timespec freepages_end ; 2901 u64 freepages_delay ; 2902 u32 freepages_count ; 2903}; 2904#line 1088 2905struct io_context; 2906#line 1088 2907struct io_context; 2908#line 1097 2909struct audit_context; 2910#line 1098 2911struct mempolicy; 2912#line 1099 2913struct pipe_inode_info; 2914#line 1102 2915struct rq; 2916#line 1102 2917struct rq; 2918#line 1122 "include/linux/sched.h" 2919struct sched_class { 2920 struct sched_class const *next ; 2921 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ; 2922 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ; 2923 void (*yield_task)(struct rq *rq ) ; 2924 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ; 2925 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ; 2926 struct task_struct *(*pick_next_task)(struct rq *rq ) ; 2927 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ; 2928 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ; 2929 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ; 2930 void (*post_schedule)(struct rq *this_rq ) ; 2931 void (*task_waking)(struct task_struct *task ) ; 2932 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ; 2933 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ; 2934 void (*rq_online)(struct rq *rq ) ; 2935 void (*rq_offline)(struct rq *rq ) ; 2936 void (*set_curr_task)(struct rq *rq ) ; 2937 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ; 2938 void (*task_fork)(struct task_struct *p ) ; 2939 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ; 2940 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ; 2941 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ; 2942 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ; 2943 void (*task_move_group)(struct task_struct *p , int on_rq ) ; 2944}; 2945#line 1167 "include/linux/sched.h" 2946struct load_weight { 2947 unsigned long weight ; 2948 unsigned long inv_weight ; 2949}; 2950#line 1172 "include/linux/sched.h" 2951struct sched_statistics { 2952 u64 wait_start ; 2953 u64 wait_max ; 2954 u64 wait_count ; 2955 u64 wait_sum ; 2956 u64 iowait_count ; 2957 u64 iowait_sum ; 2958 u64 sleep_start ; 2959 u64 sleep_max ; 2960 s64 sum_sleep_runtime ; 2961 u64 block_start ; 2962 u64 block_max ; 2963 u64 exec_max ; 2964 u64 slice_max ; 2965 u64 nr_migrations_cold ; 2966 u64 nr_failed_migrations_affine ; 2967 u64 nr_failed_migrations_running ; 2968 u64 nr_failed_migrations_hot ; 2969 u64 nr_forced_migrations ; 2970 u64 nr_wakeups ; 2971 u64 nr_wakeups_sync ; 2972 u64 nr_wakeups_migrate ; 2973 u64 nr_wakeups_local ; 2974 u64 nr_wakeups_remote ; 2975 u64 nr_wakeups_affine ; 2976 u64 nr_wakeups_affine_attempts ; 2977 u64 nr_wakeups_passive ; 2978 u64 nr_wakeups_idle ; 2979}; 2980#line 1207 "include/linux/sched.h" 2981struct sched_entity { 2982 struct load_weight load ; 2983 struct rb_node run_node ; 2984 struct list_head group_node ; 2985 unsigned int on_rq ; 2986 u64 exec_start ; 2987 u64 sum_exec_runtime ; 2988 u64 vruntime ; 2989 u64 prev_sum_exec_runtime ; 2990 u64 nr_migrations ; 2991 struct sched_statistics statistics ; 2992 struct sched_entity *parent ; 2993 struct cfs_rq *cfs_rq ; 2994 struct cfs_rq *my_q ; 2995}; 2996#line 1233 2997struct rt_rq; 2998#line 1233 "include/linux/sched.h" 2999struct sched_rt_entity { 3000 struct list_head run_list ; 3001 unsigned long timeout ; 3002 unsigned int time_slice ; 3003 int nr_cpus_allowed ; 3004 struct sched_rt_entity *back ; 3005 struct sched_rt_entity *parent ; 3006 struct rt_rq *rt_rq ; 3007 struct rt_rq *my_q ; 3008}; 3009#line 1264 3010struct css_set; 3011#line 1264 3012struct compat_robust_list_head; 3013#line 1264 3014struct mem_cgroup; 3015#line 1264 "include/linux/sched.h" 3016struct memcg_batch_info { 3017 int do_batch ; 3018 struct mem_cgroup *memcg ; 3019 unsigned long nr_pages ; 3020 unsigned long memsw_nr_pages ; 3021}; 3022#line 1264 "include/linux/sched.h" 3023struct task_struct { 3024 long volatile state ; 3025 void *stack ; 3026 atomic_t usage ; 3027 unsigned int flags ; 3028 unsigned int ptrace ; 3029 struct llist_node wake_entry ; 3030 int on_cpu ; 3031 int on_rq ; 3032 int prio ; 3033 int static_prio ; 3034 int normal_prio ; 3035 unsigned int rt_priority ; 3036 struct sched_class const *sched_class ; 3037 struct sched_entity se ; 3038 struct sched_rt_entity rt ; 3039 struct hlist_head preempt_notifiers ; 3040 unsigned char fpu_counter ; 3041 unsigned int policy ; 3042 cpumask_t cpus_allowed ; 3043 struct sched_info sched_info ; 3044 struct list_head tasks ; 3045 struct plist_node pushable_tasks ; 3046 struct mm_struct *mm ; 3047 struct mm_struct *active_mm ; 3048 unsigned int brk_randomized : 1 ; 3049 int exit_state ; 3050 int exit_code ; 3051 int exit_signal ; 3052 int pdeath_signal ; 3053 unsigned int jobctl ; 3054 unsigned int personality ; 3055 unsigned int did_exec : 1 ; 3056 unsigned int in_execve : 1 ; 3057 unsigned int in_iowait : 1 ; 3058 unsigned int sched_reset_on_fork : 1 ; 3059 unsigned int sched_contributes_to_load : 1 ; 3060 unsigned int irq_thread : 1 ; 3061 pid_t pid ; 3062 pid_t tgid ; 3063 unsigned long stack_canary ; 3064 struct task_struct *real_parent ; 3065 struct task_struct *parent ; 3066 struct list_head children ; 3067 struct list_head sibling ; 3068 struct task_struct *group_leader ; 3069 struct list_head ptraced ; 3070 struct list_head ptrace_entry ; 3071 struct pid_link pids[3] ; 3072 struct list_head thread_group ; 3073 struct completion *vfork_done ; 3074 int *set_child_tid ; 3075 int *clear_child_tid ; 3076 cputime_t utime ; 3077 cputime_t stime ; 3078 cputime_t utimescaled ; 3079 cputime_t stimescaled ; 3080 cputime_t gtime ; 3081 cputime_t prev_utime ; 3082 cputime_t prev_stime ; 3083 unsigned long nvcsw ; 3084 unsigned long nivcsw ; 3085 struct timespec start_time ; 3086 struct timespec real_start_time ; 3087 unsigned long min_flt ; 3088 unsigned long maj_flt ; 3089 struct task_cputime cputime_expires ; 3090 struct list_head cpu_timers[3] ; 3091 struct cred const *real_cred ; 3092 struct cred const *cred ; 3093 struct cred *replacement_session_keyring ; 3094 char comm[16] ; 3095 int link_count ; 3096 int total_link_count ; 3097 struct sysv_sem sysvsem ; 3098 unsigned long last_switch_count ; 3099 struct thread_struct thread ; 3100 struct fs_struct *fs ; 3101 struct files_struct *files ; 3102 struct nsproxy *nsproxy ; 3103 struct signal_struct *signal ; 3104 struct sighand_struct *sighand ; 3105 sigset_t blocked ; 3106 sigset_t real_blocked ; 3107 sigset_t saved_sigmask ; 3108 struct sigpending pending ; 3109 unsigned long sas_ss_sp ; 3110 size_t sas_ss_size ; 3111 int (*notifier)(void *priv ) ; 3112 void *notifier_data ; 3113 sigset_t *notifier_mask ; 3114 struct audit_context *audit_context ; 3115 uid_t loginuid ; 3116 unsigned int sessionid ; 3117 seccomp_t seccomp ; 3118 u32 parent_exec_id ; 3119 u32 self_exec_id ; 3120 spinlock_t alloc_lock ; 3121 raw_spinlock_t pi_lock ; 3122 struct plist_head pi_waiters ; 3123 struct rt_mutex_waiter *pi_blocked_on ; 3124 struct mutex_waiter *blocked_on ; 3125 unsigned int irq_events ; 3126 unsigned long hardirq_enable_ip ; 3127 unsigned long hardirq_disable_ip ; 3128 unsigned int hardirq_enable_event ; 3129 unsigned int hardirq_disable_event ; 3130 int hardirqs_enabled ; 3131 int hardirq_context ; 3132 unsigned long softirq_disable_ip ; 3133 unsigned long softirq_enable_ip ; 3134 unsigned int softirq_disable_event ; 3135 unsigned int softirq_enable_event ; 3136 int softirqs_enabled ; 3137 int softirq_context ; 3138 void *journal_info ; 3139 struct bio_list *bio_list ; 3140 struct blk_plug *plug ; 3141 struct reclaim_state *reclaim_state ; 3142 struct backing_dev_info *backing_dev_info ; 3143 struct io_context *io_context ; 3144 unsigned long ptrace_message ; 3145 siginfo_t *last_siginfo ; 3146 struct task_io_accounting ioac ; 3147 u64 acct_rss_mem1 ; 3148 u64 acct_vm_mem1 ; 3149 cputime_t acct_timexpd ; 3150 nodemask_t mems_allowed ; 3151 seqcount_t mems_allowed_seq ; 3152 int cpuset_mem_spread_rotor ; 3153 int cpuset_slab_spread_rotor ; 3154 struct css_set *cgroups ; 3155 struct list_head cg_list ; 3156 struct robust_list_head *robust_list ; 3157 struct compat_robust_list_head *compat_robust_list ; 3158 struct list_head pi_state_list ; 3159 struct futex_pi_state *pi_state_cache ; 3160 struct perf_event_context *perf_event_ctxp[2] ; 3161 struct mutex perf_event_mutex ; 3162 struct list_head perf_event_list ; 3163 struct mempolicy *mempolicy ; 3164 short il_next ; 3165 short pref_node_fork ; 3166 struct rcu_head rcu ; 3167 struct pipe_inode_info *splice_pipe ; 3168 struct task_delay_info *delays ; 3169 int make_it_fail ; 3170 int nr_dirtied ; 3171 int nr_dirtied_pause ; 3172 unsigned long dirty_paused_when ; 3173 int latency_record_count ; 3174 struct latency_record latency_record[32] ; 3175 unsigned long timer_slack_ns ; 3176 unsigned long default_timer_slack_ns ; 3177 struct list_head *scm_work_list ; 3178 unsigned long trace ; 3179 unsigned long trace_recursion ; 3180 struct memcg_batch_info memcg_batch ; 3181 atomic_t ptrace_bp_refcnt ; 3182}; 3183#line 1681 3184struct pid_namespace; 3185#line 161 "include/acpi/actypes.h" 3186typedef u64 acpi_size; 3187#line 162 "include/acpi/actypes.h" 3188typedef u64 acpi_io_address; 3189#line 371 "include/acpi/actypes.h" 3190typedef u32 acpi_status; 3191#line 373 "include/acpi/actypes.h" 3192typedef char *acpi_string; 3193#line 374 "include/acpi/actypes.h" 3194typedef void *acpi_handle; 3195#line 556 "include/acpi/actypes.h" 3196typedef u32 acpi_object_type; 3197#line 816 "include/acpi/actypes.h" 3198struct __anonstruct_integer_248 { 3199 acpi_object_type type ; 3200 u64 value ; 3201}; 3202#line 816 "include/acpi/actypes.h" 3203struct __anonstruct_string_249 { 3204 acpi_object_type type ; 3205 u32 length ; 3206 char *pointer ; 3207}; 3208#line 816 "include/acpi/actypes.h" 3209struct __anonstruct_buffer_250 { 3210 acpi_object_type type ; 3211 u32 length ; 3212 u8 *pointer ; 3213}; 3214#line 816 "include/acpi/actypes.h" 3215struct __anonstruct_package_251 { 3216 acpi_object_type type ; 3217 u32 count ; 3218 union acpi_object *elements ; 3219}; 3220#line 816 "include/acpi/actypes.h" 3221struct __anonstruct_reference_252 { 3222 acpi_object_type type ; 3223 acpi_object_type actual_type ; 3224 acpi_handle handle ; 3225}; 3226#line 816 "include/acpi/actypes.h" 3227struct __anonstruct_processor_253 { 3228 acpi_object_type type ; 3229 u32 proc_id ; 3230 acpi_io_address pblk_address ; 3231 u32 pblk_length ; 3232}; 3233#line 816 "include/acpi/actypes.h" 3234struct __anonstruct_power_resource_254 { 3235 acpi_object_type type ; 3236 u32 system_level ; 3237 u32 resource_order ; 3238}; 3239#line 816 "include/acpi/actypes.h" 3240union acpi_object { 3241 acpi_object_type type ; 3242 struct __anonstruct_integer_248 integer ; 3243 struct __anonstruct_string_249 string ; 3244 struct __anonstruct_buffer_250 buffer ; 3245 struct __anonstruct_package_251 package ; 3246 struct __anonstruct_reference_252 reference ; 3247 struct __anonstruct_processor_253 processor ; 3248 struct __anonstruct_power_resource_254 power_resource ; 3249}; 3250#line 864 "include/acpi/actypes.h" 3251struct acpi_object_list { 3252 u32 count ; 3253 union acpi_object *pointer ; 3254}; 3255#line 876 "include/acpi/actypes.h" 3256struct acpi_buffer { 3257 acpi_size length ; 3258 void *pointer ; 3259}; 3260#line 79 "include/acpi/actbl.h" 3261#pragma pack(1) 3262#line 321 3263#pragma pack() 3264#line 79 "include/acpi/actbl1.h" 3265#pragma pack(1) 3266#line 961 3267#pragma pack() 3268#line 96 "include/acpi/actbl2.h" 3269#pragma pack(1) 3270#line 1046 3271#pragma pack() 3272#line 87 "include/acpi/actbl3.h" 3273#pragma pack(1) 3274#line 550 3275#pragma pack() 3276#line 152 "include/acpi/acrestyp.h" 3277#pragma pack(1) 3278#line 588 3279#pragma pack() 3280#line 19 "include/linux/klist.h" 3281struct klist_node; 3282#line 19 3283struct klist_node; 3284#line 39 "include/linux/klist.h" 3285struct klist_node { 3286 void *n_klist ; 3287 struct list_head n_node ; 3288 struct kref n_ref ; 3289}; 3290#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h" 3291struct dma_map_ops; 3292#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h" 3293struct dev_archdata { 3294 void *acpi_handle ; 3295 struct dma_map_ops *dma_ops ; 3296 void *iommu ; 3297}; 3298#line 28 "include/linux/device.h" 3299struct device; 3300#line 29 3301struct device_private; 3302#line 29 3303struct device_private; 3304#line 30 3305struct device_driver; 3306#line 30 3307struct device_driver; 3308#line 31 3309struct driver_private; 3310#line 31 3311struct driver_private; 3312#line 32 3313struct module; 3314#line 33 3315struct class; 3316#line 33 3317struct class; 3318#line 34 3319struct subsys_private; 3320#line 34 3321struct subsys_private; 3322#line 35 3323struct bus_type; 3324#line 35 3325struct bus_type; 3326#line 36 3327struct device_node; 3328#line 36 3329struct device_node; 3330#line 37 3331struct iommu_ops; 3332#line 37 3333struct iommu_ops; 3334#line 39 "include/linux/device.h" 3335struct bus_attribute { 3336 struct attribute attr ; 3337 ssize_t (*show)(struct bus_type *bus , char *buf ) ; 3338 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ; 3339}; 3340#line 89 3341struct device_attribute; 3342#line 89 3343struct driver_attribute; 3344#line 89 "include/linux/device.h" 3345struct bus_type { 3346 char const *name ; 3347 char const *dev_name ; 3348 struct device *dev_root ; 3349 struct bus_attribute *bus_attrs ; 3350 struct device_attribute *dev_attrs ; 3351 struct driver_attribute *drv_attrs ; 3352 int (*match)(struct device *dev , struct device_driver *drv ) ; 3353 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ; 3354 int (*probe)(struct device *dev ) ; 3355 int (*remove)(struct device *dev ) ; 3356 void (*shutdown)(struct device *dev ) ; 3357 int (*suspend)(struct device *dev , pm_message_t state ) ; 3358 int (*resume)(struct device *dev ) ; 3359 struct dev_pm_ops const *pm ; 3360 struct iommu_ops *iommu_ops ; 3361 struct subsys_private *p ; 3362}; 3363#line 127 3364struct device_type; 3365#line 214 "include/linux/device.h" 3366struct device_driver { 3367 char const *name ; 3368 struct bus_type *bus ; 3369 struct module *owner ; 3370 char const *mod_name ; 3371 bool suppress_bind_attrs ; 3372 struct of_device_id const *of_match_table ; 3373 int (*probe)(struct device *dev ) ; 3374 int (*remove)(struct device *dev ) ; 3375 void (*shutdown)(struct device *dev ) ; 3376 int (*suspend)(struct device *dev , pm_message_t state ) ; 3377 int (*resume)(struct device *dev ) ; 3378 struct attribute_group const **groups ; 3379 struct dev_pm_ops const *pm ; 3380 struct driver_private *p ; 3381}; 3382#line 249 "include/linux/device.h" 3383struct driver_attribute { 3384 struct attribute attr ; 3385 ssize_t (*show)(struct device_driver *driver , char *buf ) ; 3386 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ; 3387}; 3388#line 330 3389struct class_attribute; 3390#line 330 "include/linux/device.h" 3391struct class { 3392 char const *name ; 3393 struct module *owner ; 3394 struct class_attribute *class_attrs ; 3395 struct device_attribute *dev_attrs ; 3396 struct bin_attribute *dev_bin_attrs ; 3397 struct kobject *dev_kobj ; 3398 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ; 3399 char *(*devnode)(struct device *dev , umode_t *mode ) ; 3400 void (*class_release)(struct class *class ) ; 3401 void (*dev_release)(struct device *dev ) ; 3402 int (*suspend)(struct device *dev , pm_message_t state ) ; 3403 int (*resume)(struct device *dev ) ; 3404 struct kobj_ns_type_operations const *ns_type ; 3405 void const *(*namespace)(struct device *dev ) ; 3406 struct dev_pm_ops const *pm ; 3407 struct subsys_private *p ; 3408}; 3409#line 397 "include/linux/device.h" 3410struct class_attribute { 3411 struct attribute attr ; 3412 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ; 3413 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf , 3414 size_t count ) ; 3415 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ; 3416}; 3417#line 465 "include/linux/device.h" 3418struct device_type { 3419 char const *name ; 3420 struct attribute_group const **groups ; 3421 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ; 3422 char *(*devnode)(struct device *dev , umode_t *mode ) ; 3423 void (*release)(struct device *dev ) ; 3424 struct dev_pm_ops const *pm ; 3425}; 3426#line 476 "include/linux/device.h" 3427struct device_attribute { 3428 struct attribute attr ; 3429 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ; 3430 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf , 3431 size_t count ) ; 3432}; 3433#line 559 "include/linux/device.h" 3434struct device_dma_parameters { 3435 unsigned int max_segment_size ; 3436 unsigned long segment_boundary_mask ; 3437}; 3438#line 627 3439struct dma_coherent_mem; 3440#line 627 "include/linux/device.h" 3441struct device { 3442 struct device *parent ; 3443 struct device_private *p ; 3444 struct kobject kobj ; 3445 char const *init_name ; 3446 struct device_type const *type ; 3447 struct mutex mutex ; 3448 struct bus_type *bus ; 3449 struct device_driver *driver ; 3450 void *platform_data ; 3451 struct dev_pm_info power ; 3452 struct dev_pm_domain *pm_domain ; 3453 int numa_node ; 3454 u64 *dma_mask ; 3455 u64 coherent_dma_mask ; 3456 struct device_dma_parameters *dma_parms ; 3457 struct list_head dma_pools ; 3458 struct dma_coherent_mem *dma_mem ; 3459 struct dev_archdata archdata ; 3460 struct device_node *of_node ; 3461 dev_t devt ; 3462 u32 id ; 3463 spinlock_t devres_lock ; 3464 struct list_head devres_head ; 3465 struct klist_node knode_class ; 3466 struct class *class ; 3467 struct attribute_group const **groups ; 3468 void (*release)(struct device *dev ) ; 3469}; 3470#line 43 "include/linux/pm_wakeup.h" 3471struct wakeup_source { 3472 char const *name ; 3473 struct list_head entry ; 3474 spinlock_t lock ; 3475 struct timer_list timer ; 3476 unsigned long timer_expires ; 3477 ktime_t total_time ; 3478 ktime_t max_time ; 3479 ktime_t last_time ; 3480 unsigned long event_count ; 3481 unsigned long active_count ; 3482 unsigned long relax_count ; 3483 unsigned long hit_count ; 3484 unsigned int active : 1 ; 3485}; 3486#line 35 "include/acpi/acpi_bus.h" 3487struct acpi_handle_list { 3488 u32 count ; 3489 acpi_handle handles[10] ; 3490}; 3491#line 11 "include/linux/proc_fs.h" 3492struct completion; 3493#line 12 3494struct mm_struct; 3495#line 46 "include/linux/proc_fs.h" 3496typedef int read_proc_t(char *page , char **start , off_t off , int count , int *eof , 3497 void *data ); 3498#line 48 "include/linux/proc_fs.h" 3499typedef int write_proc_t(struct file *file , char const *buffer , unsigned long count , 3500 void *data ); 3501#line 51 "include/linux/proc_fs.h" 3502struct proc_dir_entry { 3503 unsigned int low_ino ; 3504 umode_t mode ; 3505 nlink_t nlink ; 3506 uid_t uid ; 3507 gid_t gid ; 3508 loff_t size ; 3509 struct inode_operations const *proc_iops ; 3510 struct file_operations const *proc_fops ; 3511 struct proc_dir_entry *next ; 3512 struct proc_dir_entry *parent ; 3513 struct proc_dir_entry *subdir ; 3514 void *data ; 3515 read_proc_t *read_proc ; 3516 write_proc_t *write_proc ; 3517 atomic_t count ; 3518 int pde_users ; 3519 struct completion *pde_unload_completion ; 3520 struct list_head pde_openers ; 3521 spinlock_t pde_unload_lock ; 3522 u8 namelen ; 3523 char name[] ; 3524}; 3525#line 117 3526struct pid_namespace; 3527#line 243 3528struct nsproxy; 3529#line 61 "include/acpi/acpi_bus.h" 3530enum acpi_bus_removal_type { 3531 ACPI_BUS_REMOVAL_NORMAL = 0, 3532 ACPI_BUS_REMOVAL_EJECT = 1, 3533 ACPI_BUS_REMOVAL_SUPRISE = 2, 3534 ACPI_BUS_REMOVAL_TYPE_COUNT = 3 3535} ; 3536#line 78 3537struct acpi_driver; 3538#line 78 3539struct acpi_driver; 3540#line 79 3541struct acpi_device; 3542#line 79 3543struct acpi_device; 3544#line 96 "include/acpi/acpi_bus.h" 3545struct acpi_bus_ops { 3546 u32 acpi_op_add : 1 ; 3547 u32 acpi_op_start : 1 ; 3548}; 3549#line 101 "include/acpi/acpi_bus.h" 3550struct acpi_device_ops { 3551 int (*add)(struct acpi_device *device ) ; 3552 int (*remove)(struct acpi_device *device , int type ) ; 3553 int (*start)(struct acpi_device *device ) ; 3554 int (*suspend)(struct acpi_device *device , pm_message_t state ) ; 3555 int (*resume)(struct acpi_device *device ) ; 3556 int (*bind)(struct acpi_device *device ) ; 3557 int (*unbind)(struct acpi_device *device ) ; 3558 void (*notify)(struct acpi_device *device , u32 event ) ; 3559}; 3560#line 114 "include/acpi/acpi_bus.h" 3561struct acpi_driver { 3562 char name[80] ; 3563 char class[80] ; 3564 struct acpi_device_id const *ids ; 3565 unsigned int flags ; 3566 struct acpi_device_ops ops ; 3567 struct device_driver drv ; 3568 struct module *owner ; 3569}; 3570#line 131 "include/acpi/acpi_bus.h" 3571struct acpi_device_status { 3572 u32 present : 1 ; 3573 u32 enabled : 1 ; 3574 u32 show_in_ui : 1 ; 3575 u32 functional : 1 ; 3576 u32 battery_present : 1 ; 3577 u32 reserved : 27 ; 3578}; 3579#line 142 "include/acpi/acpi_bus.h" 3580struct acpi_device_flags { 3581 u32 dynamic_status : 1 ; 3582 u32 bus_address : 1 ; 3583 u32 removable : 1 ; 3584 u32 ejectable : 1 ; 3585 u32 lockable : 1 ; 3586 u32 suprise_removal_ok : 1 ; 3587 u32 power_manageable : 1 ; 3588 u32 performance_manageable : 1 ; 3589 u32 reserved : 24 ; 3590}; 3591#line 156 "include/acpi/acpi_bus.h" 3592struct acpi_device_dir { 3593 struct proc_dir_entry *entry ; 3594}; 3595#line 164 "include/acpi/acpi_bus.h" 3596typedef char acpi_bus_id[8]; 3597#line 165 "include/acpi/acpi_bus.h" 3598typedef unsigned long acpi_bus_address; 3599#line 166 "include/acpi/acpi_bus.h" 3600typedef char acpi_device_name[40]; 3601#line 167 "include/acpi/acpi_bus.h" 3602typedef char acpi_device_class[20]; 3603#line 174 "include/acpi/acpi_bus.h" 3604struct acpi_device_pnp { 3605 acpi_bus_id bus_id ; 3606 acpi_bus_address bus_address ; 3607 char *unique_id ; 3608 struct list_head ids ; 3609 acpi_device_name device_name ; 3610 acpi_device_class device_class ; 3611}; 3612#line 191 "include/acpi/acpi_bus.h" 3613struct acpi_device_power_flags { 3614 u32 explicit_get : 1 ; 3615 u32 power_resources : 1 ; 3616 u32 inrush_current : 1 ; 3617 u32 power_removed : 1 ; 3618 u32 reserved : 28 ; 3619}; 3620#line 199 "include/acpi/acpi_bus.h" 3621struct __anonstruct_flags_257 { 3622 u8 valid : 1 ; 3623 u8 explicit_set : 1 ; 3624 u8 reserved : 6 ; 3625}; 3626#line 199 "include/acpi/acpi_bus.h" 3627struct acpi_device_power_state { 3628 struct __anonstruct_flags_257 flags ; 3629 int power ; 3630 int latency ; 3631 struct acpi_handle_list resources ; 3632}; 3633#line 210 "include/acpi/acpi_bus.h" 3634struct acpi_device_power { 3635 int state ; 3636 struct acpi_device_power_flags flags ; 3637 struct acpi_device_power_state states[5] ; 3638}; 3639#line 218 "include/acpi/acpi_bus.h" 3640struct acpi_device_perf_flags { 3641 u8 reserved : 8 ; 3642}; 3643#line 222 "include/acpi/acpi_bus.h" 3644struct __anonstruct_flags_258 { 3645 u8 valid : 1 ; 3646 u8 reserved : 7 ; 3647}; 3648#line 222 "include/acpi/acpi_bus.h" 3649struct acpi_device_perf_state { 3650 struct __anonstruct_flags_258 flags ; 3651 u8 power ; 3652 u8 performance ; 3653 int latency ; 3654}; 3655#line 232 "include/acpi/acpi_bus.h" 3656struct acpi_device_perf { 3657 int state ; 3658 struct acpi_device_perf_flags flags ; 3659 int state_count ; 3660 struct acpi_device_perf_state *states ; 3661}; 3662#line 240 "include/acpi/acpi_bus.h" 3663struct acpi_device_wakeup_flags { 3664 u8 valid : 1 ; 3665 u8 run_wake : 1 ; 3666 u8 notifier_present : 1 ; 3667}; 3668#line 246 "include/acpi/acpi_bus.h" 3669struct acpi_device_wakeup { 3670 acpi_handle gpe_device ; 3671 u64 gpe_number ; 3672 u64 sleep_state ; 3673 struct acpi_handle_list resources ; 3674 struct acpi_device_wakeup_flags flags ; 3675 int prepare_count ; 3676}; 3677#line 257 "include/acpi/acpi_bus.h" 3678struct acpi_device { 3679 int device_type ; 3680 acpi_handle handle ; 3681 struct acpi_device *parent ; 3682 struct list_head children ; 3683 struct list_head node ; 3684 struct list_head wakeup_list ; 3685 struct acpi_device_status status ; 3686 struct acpi_device_flags flags ; 3687 struct acpi_device_pnp pnp ; 3688 struct acpi_device_power power ; 3689 struct acpi_device_wakeup wakeup ; 3690 struct acpi_device_perf performance ; 3691 struct acpi_device_dir dir ; 3692 struct acpi_device_ops ops ; 3693 struct acpi_driver *driver ; 3694 void *driver_data ; 3695 struct device dev ; 3696 struct acpi_bus_ops bus_ops ; 3697 enum acpi_bus_removal_type removal_type ; 3698}; 3699#line 77 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 3700enum atk_pack_member { 3701 HWMON_PACK_FLAGS = 0, 3702 HWMON_PACK_NAME = 1, 3703 HWMON_PACK_LIMIT1 = 2, 3704 HWMON_PACK_LIMIT2 = 3, 3705 HWMON_PACK_ENABLE = 4 3706} ; 3707#line 104 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 3708struct __anonstruct_debugfs_261 { 3709 struct dentry *root ; 3710 u32 id ; 3711}; 3712#line 104 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 3713struct atk_data { 3714 struct device *hwmon_dev ; 3715 acpi_handle atk_handle ; 3716 struct acpi_device *acpi_dev ; 3717 bool old_interface ; 3718 acpi_handle rtmp_handle ; 3719 acpi_handle rvlt_handle ; 3720 acpi_handle rfan_handle ; 3721 acpi_handle enumerate_handle ; 3722 acpi_handle read_handle ; 3723 acpi_handle write_handle ; 3724 bool disable_ec ; 3725 int voltage_count ; 3726 int temperature_count ; 3727 int fan_count ; 3728 struct list_head sensor_list ; 3729 struct __anonstruct_debugfs_261 debugfs ; 3730}; 3731#line 145 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 3732struct atk_sensor_data { 3733 struct list_head list ; 3734 struct atk_data *data ; 3735 struct device_attribute label_attr ; 3736 struct device_attribute input_attr ; 3737 struct device_attribute limit1_attr ; 3738 struct device_attribute limit2_attr ; 3739 char label_attr_name[16] ; 3740 char input_attr_name[16] ; 3741 char limit1_attr_name[16] ; 3742 char limit2_attr_name[16] ; 3743 u64 id ; 3744 u64 type ; 3745 u64 limit1 ; 3746 u64 limit2 ; 3747 u64 cached_value ; 3748 unsigned long last_updated ; 3749 bool is_valid ; 3750 char const *acpi_name ; 3751}; 3752#line 172 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 3753struct atk_acpi_ret_buffer { 3754 u32 flags ; 3755 u32 value ; 3756 u8 data[] ; 3757}; 3758#line 179 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 3759struct atk_acpi_input_buf { 3760 u32 id ; 3761 u32 param1 ; 3762 u32 param2 ; 3763}; 3764#line 1 "<compiler builtins>" 3765long __builtin_expect(long val , long res ) ; 3766#line 24 "include/linux/list.h" 3767__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ; 3768#line 24 "include/linux/list.h" 3769__inline static void INIT_LIST_HEAD(struct list_head *list ) 3770{ unsigned long __cil_tmp2 ; 3771 unsigned long __cil_tmp3 ; 3772 3773 { 3774#line 26 3775 *((struct list_head **)list) = list; 3776#line 27 3777 __cil_tmp2 = (unsigned long )list; 3778#line 27 3779 __cil_tmp3 = __cil_tmp2 + 8; 3780#line 27 3781 *((struct list_head **)__cil_tmp3) = list; 3782#line 28 3783 return; 3784} 3785} 3786#line 47 3787extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ; 3788#line 60 3789__inline static void list_add(struct list_head *new , struct list_head *head ) __attribute__((__no_instrument_function__)) ; 3790#line 60 "include/linux/list.h" 3791__inline static void list_add(struct list_head *new , struct list_head *head ) 3792{ struct list_head *__cil_tmp3 ; 3793 3794 { 3795 { 3796#line 62 3797 __cil_tmp3 = *((struct list_head **)head); 3798#line 62 3799 __list_add(new, head, __cil_tmp3); 3800 } 3801#line 63 3802 return; 3803} 3804} 3805#line 100 "include/linux/printk.h" 3806extern int ( /* format attribute */ printk)(char const *fmt , ...) ; 3807#line 49 "include/linux/dynamic_debug.h" 3808extern int ( /* format attribute */ __dynamic_dev_dbg)(struct _ddebug *descriptor , 3809 struct device const *dev , 3810 char const *fmt , ...) ; 3811#line 320 "include/linux/kernel.h" 3812extern int ( /* format attribute */ sprintf)(char *buf , char const *fmt , ...) ; 3813#line 322 3814extern int ( /* format attribute */ snprintf)(char *buf , size_t size , char const *fmt 3815 , ...) ; 3816#line 61 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h" 3817extern unsigned long strlen(char const *s ) ; 3818#line 119 "include/linux/string.h" 3819extern char *kstrdup(char const *s , gfp_t gfp ) ; 3820#line 22 "include/linux/err.h" 3821__inline static void * __attribute__((__warn_unused_result__)) ERR_PTR(long error ) __attribute__((__no_instrument_function__)) ; 3822#line 22 "include/linux/err.h" 3823__inline static void * __attribute__((__warn_unused_result__)) ERR_PTR(long error ) 3824{ 3825 3826 { 3827#line 24 3828 return ((void *)error); 3829} 3830} 3831#line 27 3832__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ; 3833#line 27 "include/linux/err.h" 3834__inline static long __attribute__((__warn_unused_result__)) PTR_ERR(void const *ptr ) 3835{ 3836 3837 { 3838#line 29 3839 return ((long )ptr); 3840} 3841} 3842#line 32 3843__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr ) __attribute__((__no_instrument_function__)) ; 3844#line 32 "include/linux/err.h" 3845__inline static long __attribute__((__warn_unused_result__)) IS_ERR(void const *ptr ) 3846{ long tmp ; 3847 unsigned long __cil_tmp3 ; 3848 int __cil_tmp4 ; 3849 int __cil_tmp5 ; 3850 int __cil_tmp6 ; 3851 long __cil_tmp7 ; 3852 3853 { 3854 { 3855#line 34 3856 __cil_tmp3 = (unsigned long )ptr; 3857#line 34 3858 __cil_tmp4 = __cil_tmp3 >= 0xfffffffffffff001UL; 3859#line 34 3860 __cil_tmp5 = ! __cil_tmp4; 3861#line 34 3862 __cil_tmp6 = ! __cil_tmp5; 3863#line 34 3864 __cil_tmp7 = (long )__cil_tmp6; 3865#line 34 3866 tmp = __builtin_expect(__cil_tmp7, 0L); 3867 } 3868#line 34 3869 return (tmp); 3870} 3871} 3872#line 152 "include/linux/mutex.h" 3873void mutex_lock(struct mutex *lock ) ; 3874#line 153 3875int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ; 3876#line 154 3877int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ; 3878#line 168 3879int mutex_trylock(struct mutex *lock ) ; 3880#line 169 3881void mutex_unlock(struct mutex *lock ) ; 3882#line 170 3883int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ; 3884#line 82 "include/linux/jiffies.h" 3885extern unsigned long volatile jiffies __attribute__((__section__(".data"))) ; 3886#line 2402 "include/linux/fs.h" 3887extern loff_t no_llseek(struct file *file , loff_t offset , int origin ) ; 3888#line 2403 3889extern loff_t generic_file_llseek(struct file *file , loff_t offset , int origin ) ; 3890#line 2407 3891extern int nonseekable_open(struct inode *inode , struct file *filp ) ; 3892#line 2540 3893extern ssize_t simple_read_from_buffer(void *to , size_t count , loff_t *ppos , void const *from , 3894 size_t available ) ; 3895#line 2633 3896__inline static void ( /* format attribute */ __simple_attr_check_format)(char const *fmt 3897 , ...) __attribute__((__no_instrument_function__)) ; 3898#line 2633 "include/linux/fs.h" 3899__inline static void ( /* format attribute */ __simple_attr_check_format)(char const *fmt 3900 , ...) 3901{ 3902 3903 { 3904#line 2637 3905 return; 3906} 3907} 3908#line 2639 3909extern int simple_attr_open(struct inode *inode , struct file *file , int (*get)(void * , 3910 u64 * ) , 3911 int (*set)(void * , u64 ) , char const *fmt ) ; 3912#line 2642 3913extern int simple_attr_release(struct inode *inode , struct file *file ) ; 3914#line 2643 3915extern ssize_t simple_attr_read(struct file *file , char *buf , size_t len , loff_t *ppos ) ; 3916#line 2645 3917extern ssize_t simple_attr_write(struct file *file , char const *buf , size_t len , 3918 loff_t *ppos ) ; 3919#line 49 "include/linux/debugfs.h" 3920extern struct dentry *debugfs_create_file(char const *name , umode_t mode , struct dentry *parent , 3921 void *data , struct file_operations const *fops ) ; 3922#line 53 3923extern struct dentry *debugfs_create_dir(char const *name , struct dentry *parent ) ; 3924#line 59 3925extern void debugfs_remove_recursive(struct dentry *dentry ) ; 3926#line 76 3927extern struct dentry *debugfs_create_x32(char const *name , umode_t mode , struct dentry *parent , 3928 u32 *value ) ; 3929#line 19 "include/linux/hwmon.h" 3930extern struct device *hwmon_device_register(struct device *dev ) ; 3931#line 21 3932extern void hwmon_device_unregister(struct device *dev ) ; 3933#line 382 "include/linux/moduleparam.h" 3934extern struct kernel_param_ops param_ops_bool ; 3935#line 26 "include/linux/export.h" 3936extern struct module __this_module ; 3937#line 67 "include/linux/module.h" 3938int init_module(void) ; 3939#line 68 3940void cleanup_module(void) ; 3941#line 161 "include/linux/slab.h" 3942extern void kfree(void const * ) ; 3943#line 221 "include/linux/slub_def.h" 3944extern void *__kmalloc(size_t size , gfp_t flags ) ; 3945#line 268 3946__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size , 3947 gfp_t flags ) __attribute__((__no_instrument_function__)) ; 3948#line 268 "include/linux/slub_def.h" 3949__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size , 3950 gfp_t flags ) 3951{ void *tmp___2 ; 3952 3953 { 3954 { 3955#line 283 3956 tmp___2 = __kmalloc(size, flags); 3957 } 3958#line 283 3959 return (tmp___2); 3960} 3961} 3962#line 349 "include/linux/slab.h" 3963__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ; 3964#line 349 "include/linux/slab.h" 3965__inline static void *kzalloc(size_t size , gfp_t flags ) 3966{ void *tmp ; 3967 unsigned int __cil_tmp4 ; 3968 3969 { 3970 { 3971#line 351 3972 __cil_tmp4 = flags | 32768U; 3973#line 351 3974 tmp = kmalloc(size, __cil_tmp4); 3975 } 3976#line 351 3977 return (tmp); 3978} 3979} 3980#line 96 "include/linux/dmi.h" 3981extern int dmi_check_system(struct dmi_system_id const *list ) ; 3982#line 134 "include/acpi/acpixf.h" 3983extern char const *acpi_format_exception(acpi_status exception ) ; 3984#line 211 3985extern acpi_status acpi_get_handle(acpi_handle parent , acpi_string pathname , acpi_handle *ret_handle ) ; 3986#line 229 3987extern acpi_status acpi_evaluate_object(acpi_handle object , acpi_string pathname , 3988 struct acpi_object_list *parameter_objects , 3989 struct acpi_buffer *return_object_buffer ) ; 3990#line 235 3991extern acpi_status acpi_evaluate_object_typed(acpi_handle object , acpi_string pathname , 3992 struct acpi_object_list *external_params , 3993 struct acpi_buffer *return_buffer , 3994 acpi_object_type return_type ) ; 3995#line 507 "include/linux/device.h" 3996extern int device_create_file(struct device *device , struct device_attribute const *entry ) ; 3997#line 509 3998extern void device_remove_file(struct device *dev , struct device_attribute const *attr ) ; 3999#line 891 4000extern int ( /* format attribute */ dev_err)(struct device const *dev , char const *fmt 4001 , ...) ; 4002#line 893 4003extern int ( /* format attribute */ dev_warn)(struct device const *dev , char const *fmt 4004 , ...) ; 4005#line 897 4006extern int ( /* format attribute */ _dev_info)(struct device const *dev , char const *fmt 4007 , ...) ; 4008#line 44 "include/acpi/acpi_bus.h" 4009extern acpi_status acpi_evaluate_integer(acpi_handle handle , acpi_string pathname , 4010 struct acpi_object_list *arguments , unsigned long long *data ) ; 4011#line 336 4012extern int acpi_bus_register_driver(struct acpi_driver *driver ) ; 4013#line 337 4014extern void acpi_bus_unregister_driver(struct acpi_driver *driver ) ; 4015#line 248 "include/linux/acpi.h" 4016extern int acpi_resources_are_enforced(void) ; 4017#line 27 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4018static bool new_if ; 4019#line 28 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4020static char const __param_str_new_if[7] = { (char const )'n', (char const )'e', (char const )'w', (char const )'_', 4021 (char const )'i', (char const )'f', (char const )'\000'}; 4022#line 28 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4023static struct kernel_param const __param_new_if __attribute__((__used__, __unused__, 4024__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_new_if, (struct kernel_param_ops const *)(& param_ops_bool), (u16 )0, 4025 (s16 )0, {(void *)(& new_if)}}; 4026#line 28 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4027static char const __mod_new_iftype28[21] __attribute__((__used__, __unused__, __section__(".modinfo"), 4028__aligned__(1))) = 4029#line 28 4030 { (char const )'p', (char const )'a', (char const )'r', (char const )'m', 4031 (char const )'t', (char const )'y', (char const )'p', (char const )'e', 4032 (char const )'=', (char const )'n', (char const )'e', (char const )'w', 4033 (char const )'_', (char const )'i', (char const )'f', (char const )':', 4034 (char const )'b', (char const )'o', (char const )'o', (char const )'l', 4035 (char const )'\000'}; 4036#line 29 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4037static char const __mod_new_if29[88] __attribute__((__used__, __unused__, __section__(".modinfo"), 4038__aligned__(1))) = 4039#line 29 4040 { (char const )'p', (char const )'a', (char const )'r', (char const )'m', 4041 (char const )'=', (char const )'n', (char const )'e', (char const )'w', 4042 (char const )'_', (char const )'i', (char const )'f', (char const )':', 4043 (char const )'O', (char const )'v', (char const )'e', (char const )'r', 4044 (char const )'r', (char const )'i', (char const )'d', (char const )'e', 4045 (char const )' ', (char const )'d', (char const )'e', (char const )'t', 4046 (char const )'e', (char const )'c', (char const )'t', (char const )'i', 4047 (char const )'o', (char const )'n', (char const )' ', (char const )'h', 4048 (char const )'e', (char const )'u', (char const )'r', (char const )'i', 4049 (char const )'s', (char const )'t', (char const )'i', (char const )'c', 4050 (char const )' ', (char const )'a', (char const )'n', (char const )'d', 4051 (char const )' ', (char const )'f', (char const )'o', (char const )'r', 4052 (char const )'c', (char const )'e', (char const )' ', (char const )'t', 4053 (char const )'h', (char const )'e', (char const )' ', (char const )'u', 4054 (char const )'s', (char const )'e', (char const )' ', (char const )'o', 4055 (char const )'f', (char const )' ', (char const )'t', (char const )'h', 4056 (char const )'e', (char const )' ', (char const )'n', (char const )'e', 4057 (char const )'w', (char const )' ', (char const )'A', (char const )'T', 4058 (char const )'K', (char const )'0', (char const )'1', (char const )'1', 4059 (char const )'0', (char const )' ', (char const )'i', (char const )'n', 4060 (char const )'t', (char const )'e', (char const )'r', (char const )'f', 4061 (char const )'a', (char const )'c', (char const )'e', (char const )'\000'}; 4062#line 31 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4063static struct dmi_system_id const atk_force_new_if[1] __attribute__((__section__(".init.rodata"))) = { {(int (*)(struct dmi_system_id const * ))0, 4064 "Asus Sabertooth X58", {{(unsigned char)10, {(char )'S', (char )'A', (char )'B', 4065 (char )'E', (char )'R', (char )'T', 4066 (char )'O', (char )'O', (char )'T', 4067 (char )'H', (char )' ', (char )'X', 4068 (char )'5', (char )'8', (char )'\000'}}, 4069 {(unsigned char)0, {(char)0, (char)0, (char)0, (char)0, 4070 (char)0, (char)0, (char)0, (char)0, 4071 (char)0, (char)0, (char)0, (char)0, 4072 (char)0, (char)0, (char)0, (char)0, 4073 (char)0, (char)0, (char)0, (char)0, 4074 (char)0, (char)0, (char)0, (char)0, 4075 (char)0, (char)0, (char)0, (char)0, 4076 (char)0, (char)0, (char)0, (char)0, 4077 (char)0, (char)0, (char)0, (char)0, 4078 (char)0, (char)0, (char)0, (char)0, 4079 (char)0, (char)0, (char)0, (char)0, 4080 (char)0, (char)0, (char)0, (char)0, 4081 (char)0, (char)0, (char)0, (char)0, 4082 (char)0, (char)0, (char)0, (char)0, 4083 (char)0, (char)0, (char)0, (char)0, 4084 (char)0, (char)0, (char)0, (char)0, 4085 (char)0, (char)0, (char)0, (char)0, 4086 (char)0, (char)0, (char)0, (char)0, 4087 (char)0, (char)0, (char)0, (char)0, 4088 (char)0, (char)0, (char)0}}, {(unsigned char)0, 4089 {(char)0, 4090 (char)0, 4091 (char)0, 4092 (char)0, 4093 (char)0, 4094 (char)0, 4095 (char)0, 4096 (char)0, 4097 (char)0, 4098 (char)0, 4099 (char)0, 4100 (char)0, 4101 (char)0, 4102 (char)0, 4103 (char)0, 4104 (char)0, 4105 (char)0, 4106 (char)0, 4107 (char)0, 4108 (char)0, 4109 (char)0, 4110 (char)0, 4111 (char)0, 4112 (char)0, 4113 (char)0, 4114 (char)0, 4115 (char)0, 4116 (char)0, 4117 (char)0, 4118 (char)0, 4119 (char)0, 4120 (char)0, 4121 (char)0, 4122 (char)0, 4123 (char)0, 4124 (char)0, 4125 (char)0, 4126 (char)0, 4127 (char)0, 4128 (char)0, 4129 (char)0, 4130 (char)0, 4131 (char)0, 4132 (char)0, 4133 (char)0, 4134 (char)0, 4135 (char)0, 4136 (char)0, 4137 (char)0, 4138 (char)0, 4139 (char)0, 4140 (char)0, 4141 (char)0, 4142 (char)0, 4143 (char)0, 4144 (char)0, 4145 (char)0, 4146 (char)0, 4147 (char)0, 4148 (char)0, 4149 (char)0, 4150 (char)0, 4151 (char)0, 4152 (char)0, 4153 (char)0, 4154 (char)0, 4155 (char)0, 4156 (char)0, 4157 (char)0, 4158 (char)0, 4159 (char)0, 4160 (char)0, 4161 (char)0, 4162 (char)0, 4163 (char)0, 4164 (char)0, 4165 (char)0, 4166 (char)0, 4167 (char)0}}, 4168 {(unsigned char)0, {(char)0, (char)0, (char)0, (char)0, 4169 (char)0, (char)0, (char)0, (char)0, 4170 (char)0, (char)0, (char)0, (char)0, 4171 (char)0, (char)0, (char)0, (char)0, 4172 (char)0, (char)0, (char)0, (char)0, 4173 (char)0, (char)0, (char)0, (char)0, 4174 (char)0, (char)0, (char)0, (char)0, 4175 (char)0, (char)0, (char)0, (char)0, 4176 (char)0, (char)0, (char)0, (char)0, 4177 (char)0, (char)0, (char)0, (char)0, 4178 (char)0, (char)0, (char)0, (char)0, 4179 (char)0, (char)0, (char)0, (char)0, 4180 (char)0, (char)0, (char)0, (char)0, 4181 (char)0, (char)0, (char)0, (char)0, 4182 (char)0, (char)0, (char)0, (char)0, 4183 (char)0, (char)0, (char)0, (char)0, 4184 (char)0, (char)0, (char)0, (char)0, 4185 (char)0, (char)0, (char)0, (char)0, 4186 (char)0, (char)0, (char)0, (char)0, 4187 (char)0, (char)0, (char)0}}}, (void *)0}}; 4188#line 137 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4189static struct acpi_device_id const atk_ids[2] = { {{(__u8 )'A', (__u8 )'T', (__u8 )'K', (__u8 )'0', (__u8 )'1', (__u8 )'1', (__u8 )'0', 4190 (__u8 )'\000', (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 4191 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, (kernel_ulong_t )0}, 4192 {{(__u8 )'\000', 4193 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 4194 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 4195 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, 4196 (kernel_ulong_t )0}}; 4197#line 141 4198extern struct acpi_device_id const __mod_acpi_device_table __attribute__((__unused__, 4199__alias__("atk_ids"))) ; 4200#line 185 4201static int atk_add(struct acpi_device *device ) ; 4202#line 186 4203static int atk_remove(struct acpi_device *device , int type ) ; 4204#line 187 4205static void atk_print_sensor(struct atk_data *data , union acpi_object *obj ) ; 4206#line 188 4207static int atk_read_value(struct atk_sensor_data *sensor , u64 *value ) ; 4208#line 189 4209static void atk_free_sensors(struct atk_data *data ) ; 4210#line 191 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4211static struct acpi_driver atk_driver = {{(char )'A', (char )'T', (char )'K', (char )'0', (char )'1', (char )'1', (char )'0', 4212 (char )'\000'}, {(char )'h', (char )'w', (char )'m', (char )'o', (char )'n', 4213 (char )'\000'}, atk_ids, 0U, {& atk_add, & atk_remove, (int (*)(struct acpi_device *device ))0, 4214 (int (*)(struct acpi_device *device , 4215 pm_message_t state ))0, 4216 (int (*)(struct acpi_device *device ))0, 4217 (int (*)(struct acpi_device *device ))0, 4218 (int (*)(struct acpi_device *device ))0, 4219 (void (*)(struct acpi_device *device , 4220 u32 event ))0}, {(char const *)0, 4221 (struct bus_type *)0, 4222 (struct module *)0, 4223 (char const *)0, 4224 (_Bool)0, 4225 (struct of_device_id const *)0, 4226 (int (*)(struct device *dev ))0, 4227 (int (*)(struct device *dev ))0, 4228 (void (*)(struct device *dev ))0, 4229 (int (*)(struct device *dev , 4230 pm_message_t state ))0, 4231 (int (*)(struct device *dev ))0, 4232 (struct attribute_group const **)0, 4233 (struct dev_pm_ops const *)0, 4234 (struct driver_private *)0}, 4235 (struct module *)0}; 4236#line 213 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4237static ssize_t atk_input_show(struct device *dev , struct device_attribute *attr , 4238 char *buf ) 4239{ struct atk_sensor_data *s ; 4240 struct device_attribute const *__mptr ; 4241 u64 value ; 4242 int err ; 4243 int tmp___7 ; 4244 struct atk_sensor_data *__cil_tmp9 ; 4245 unsigned long __cil_tmp10 ; 4246 unsigned long __cil_tmp11 ; 4247 struct device_attribute *__cil_tmp12 ; 4248 unsigned int __cil_tmp13 ; 4249 char *__cil_tmp14 ; 4250 char *__cil_tmp15 ; 4251 unsigned long __cil_tmp16 ; 4252 unsigned long __cil_tmp17 ; 4253 u64 __cil_tmp18 ; 4254 u64 *__cil_tmp19 ; 4255 u64 *__cil_tmp20 ; 4256 u64 __cil_tmp21 ; 4257 u64 *__cil_tmp22 ; 4258 u64 __cil_tmp23 ; 4259 4260 { 4261 { 4262#line 216 4263 __mptr = (struct device_attribute const *)attr; 4264#line 216 4265 __cil_tmp9 = (struct atk_sensor_data *)0; 4266#line 216 4267 __cil_tmp10 = (unsigned long )__cil_tmp9; 4268#line 216 4269 __cil_tmp11 = __cil_tmp10 + 56; 4270#line 216 4271 __cil_tmp12 = (struct device_attribute *)__cil_tmp11; 4272#line 216 4273 __cil_tmp13 = (unsigned int )__cil_tmp12; 4274#line 216 4275 __cil_tmp14 = (char *)__mptr; 4276#line 216 4277 __cil_tmp15 = __cil_tmp14 - __cil_tmp13; 4278#line 216 4279 s = (struct atk_sensor_data *)__cil_tmp15; 4280#line 220 4281 err = atk_read_value(s, & value); 4282 } 4283#line 221 4284 if (err) { 4285#line 222 4286 return ((ssize_t )err); 4287 } else { 4288 4289 } 4290 { 4291#line 224 4292 __cil_tmp16 = (unsigned long )s; 4293#line 224 4294 __cil_tmp17 = __cil_tmp16 + 224; 4295#line 224 4296 __cil_tmp18 = *((u64 *)__cil_tmp17); 4297#line 224 4298 if (__cil_tmp18 == 196608ULL) { 4299#line 226 4300 __cil_tmp19 = & value; 4301#line 226 4302 __cil_tmp20 = & value; 4303#line 226 4304 __cil_tmp21 = *__cil_tmp20; 4305#line 226 4306 *__cil_tmp19 = __cil_tmp21 * 100ULL; 4307 } else { 4308 4309 } 4310 } 4311 { 4312#line 228 4313 __cil_tmp22 = & value; 4314#line 228 4315 __cil_tmp23 = *__cil_tmp22; 4316#line 228 4317 tmp___7 = sprintf(buf, "%llu\n", __cil_tmp23); 4318 } 4319#line 228 4320 return ((ssize_t )tmp___7); 4321} 4322} 4323#line 231 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4324static ssize_t atk_label_show(struct device *dev , struct device_attribute *attr , 4325 char *buf ) 4326{ struct atk_sensor_data *s ; 4327 struct device_attribute const *__mptr ; 4328 int tmp___7 ; 4329 struct atk_sensor_data *__cil_tmp7 ; 4330 unsigned long __cil_tmp8 ; 4331 unsigned long __cil_tmp9 ; 4332 struct device_attribute *__cil_tmp10 ; 4333 unsigned int __cil_tmp11 ; 4334 char *__cil_tmp12 ; 4335 char *__cil_tmp13 ; 4336 unsigned long __cil_tmp14 ; 4337 unsigned long __cil_tmp15 ; 4338 char const *__cil_tmp16 ; 4339 4340 { 4341 { 4342#line 234 4343 __mptr = (struct device_attribute const *)attr; 4344#line 234 4345 __cil_tmp7 = (struct atk_sensor_data *)0; 4346#line 234 4347 __cil_tmp8 = (unsigned long )__cil_tmp7; 4348#line 234 4349 __cil_tmp9 = __cil_tmp8 + 24; 4350#line 234 4351 __cil_tmp10 = (struct device_attribute *)__cil_tmp9; 4352#line 234 4353 __cil_tmp11 = (unsigned int )__cil_tmp10; 4354#line 234 4355 __cil_tmp12 = (char *)__mptr; 4356#line 234 4357 __cil_tmp13 = __cil_tmp12 - __cil_tmp11; 4358#line 234 4359 s = (struct atk_sensor_data *)__cil_tmp13; 4360#line 236 4361 __cil_tmp14 = (unsigned long )s; 4362#line 236 4363 __cil_tmp15 = __cil_tmp14 + 272; 4364#line 236 4365 __cil_tmp16 = *((char const **)__cil_tmp15); 4366#line 236 4367 tmp___7 = sprintf(buf, "%s\n", __cil_tmp16); 4368 } 4369#line 236 4370 return ((ssize_t )tmp___7); 4371} 4372} 4373#line 239 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4374static ssize_t atk_limit1_show(struct device *dev , struct device_attribute *attr , 4375 char *buf ) 4376{ struct atk_sensor_data *s ; 4377 struct device_attribute const *__mptr ; 4378 u64 value ; 4379 int tmp___7 ; 4380 struct atk_sensor_data *__cil_tmp8 ; 4381 unsigned long __cil_tmp9 ; 4382 unsigned long __cil_tmp10 ; 4383 struct device_attribute *__cil_tmp11 ; 4384 unsigned int __cil_tmp12 ; 4385 char *__cil_tmp13 ; 4386 char *__cil_tmp14 ; 4387 unsigned long __cil_tmp15 ; 4388 unsigned long __cil_tmp16 ; 4389 unsigned long __cil_tmp17 ; 4390 unsigned long __cil_tmp18 ; 4391 u64 __cil_tmp19 ; 4392 4393 { 4394#line 242 4395 __mptr = (struct device_attribute const *)attr; 4396#line 242 4397 __cil_tmp8 = (struct atk_sensor_data *)0; 4398#line 242 4399 __cil_tmp9 = (unsigned long )__cil_tmp8; 4400#line 242 4401 __cil_tmp10 = __cil_tmp9 + 88; 4402#line 242 4403 __cil_tmp11 = (struct device_attribute *)__cil_tmp10; 4404#line 242 4405 __cil_tmp12 = (unsigned int )__cil_tmp11; 4406#line 242 4407 __cil_tmp13 = (char *)__mptr; 4408#line 242 4409 __cil_tmp14 = __cil_tmp13 - __cil_tmp12; 4410#line 242 4411 s = (struct atk_sensor_data *)__cil_tmp14; 4412#line 243 4413 __cil_tmp15 = (unsigned long )s; 4414#line 243 4415 __cil_tmp16 = __cil_tmp15 + 232; 4416#line 243 4417 value = *((u64 *)__cil_tmp16); 4418 { 4419#line 245 4420 __cil_tmp17 = (unsigned long )s; 4421#line 245 4422 __cil_tmp18 = __cil_tmp17 + 224; 4423#line 245 4424 __cil_tmp19 = *((u64 *)__cil_tmp18); 4425#line 245 4426 if (__cil_tmp19 == 196608ULL) { 4427#line 246 4428 value = value * 100ULL; 4429 } else { 4430 4431 } 4432 } 4433 { 4434#line 248 4435 tmp___7 = sprintf(buf, "%lld\n", value); 4436 } 4437#line 248 4438 return ((ssize_t )tmp___7); 4439} 4440} 4441#line 251 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4442static ssize_t atk_limit2_show(struct device *dev , struct device_attribute *attr , 4443 char *buf ) 4444{ struct atk_sensor_data *s ; 4445 struct device_attribute const *__mptr ; 4446 u64 value ; 4447 int tmp___7 ; 4448 struct atk_sensor_data *__cil_tmp8 ; 4449 unsigned long __cil_tmp9 ; 4450 unsigned long __cil_tmp10 ; 4451 struct device_attribute *__cil_tmp11 ; 4452 unsigned int __cil_tmp12 ; 4453 char *__cil_tmp13 ; 4454 char *__cil_tmp14 ; 4455 unsigned long __cil_tmp15 ; 4456 unsigned long __cil_tmp16 ; 4457 unsigned long __cil_tmp17 ; 4458 unsigned long __cil_tmp18 ; 4459 u64 __cil_tmp19 ; 4460 4461 { 4462#line 254 4463 __mptr = (struct device_attribute const *)attr; 4464#line 254 4465 __cil_tmp8 = (struct atk_sensor_data *)0; 4466#line 254 4467 __cil_tmp9 = (unsigned long )__cil_tmp8; 4468#line 254 4469 __cil_tmp10 = __cil_tmp9 + 120; 4470#line 254 4471 __cil_tmp11 = (struct device_attribute *)__cil_tmp10; 4472#line 254 4473 __cil_tmp12 = (unsigned int )__cil_tmp11; 4474#line 254 4475 __cil_tmp13 = (char *)__mptr; 4476#line 254 4477 __cil_tmp14 = __cil_tmp13 - __cil_tmp12; 4478#line 254 4479 s = (struct atk_sensor_data *)__cil_tmp14; 4480#line 255 4481 __cil_tmp15 = (unsigned long )s; 4482#line 255 4483 __cil_tmp16 = __cil_tmp15 + 240; 4484#line 255 4485 value = *((u64 *)__cil_tmp16); 4486 { 4487#line 257 4488 __cil_tmp17 = (unsigned long )s; 4489#line 257 4490 __cil_tmp18 = __cil_tmp17 + 224; 4491#line 257 4492 __cil_tmp19 = *((u64 *)__cil_tmp18); 4493#line 257 4494 if (__cil_tmp19 == 196608ULL) { 4495#line 258 4496 value = value * 100ULL; 4497 } else { 4498 4499 } 4500 } 4501 { 4502#line 260 4503 tmp___7 = sprintf(buf, "%lld\n", value); 4504 } 4505#line 260 4506 return ((ssize_t )tmp___7); 4507} 4508} 4509#line 263 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4510static ssize_t atk_name_show(struct device *dev , struct device_attribute *attr , 4511 char *buf ) 4512{ int tmp___7 ; 4513 4514 { 4515 { 4516#line 266 4517 tmp___7 = sprintf(buf, "atk0110\n"); 4518 } 4519#line 266 4520 return ((ssize_t )tmp___7); 4521} 4522} 4523#line 268 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4524static struct device_attribute atk_name_attr = {{"name", (umode_t )292}, & atk_name_show, (ssize_t (*)(struct device *dev , struct device_attribute *attr , 4525 char const *buf , size_t count ))((void *)0)}; 4526#line 271 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4527static void atk_init_attribute(struct device_attribute *attr , char *name , ssize_t (*show)(struct device *dev , 4528 struct device_attribute *attr , 4529 char *buf ) ) 4530{ unsigned long __cil_tmp4 ; 4531 unsigned long __cil_tmp5 ; 4532 unsigned long __cil_tmp6 ; 4533 unsigned long __cil_tmp7 ; 4534 unsigned long __cil_tmp8 ; 4535 unsigned long __cil_tmp9 ; 4536 unsigned long __cil_tmp10 ; 4537 void *__cil_tmp11 ; 4538 4539 { 4540 { 4541#line 274 4542 while (1) { 4543 while_continue: /* CIL Label */ ; 4544#line 274 4545 goto while_break; 4546 } 4547 while_break: /* CIL Label */ ; 4548 } 4549#line 275 4550 *((char const **)attr) = (char const *)name; 4551#line 276 4552 __cil_tmp4 = 0 + 8; 4553#line 276 4554 __cil_tmp5 = (unsigned long )attr; 4555#line 276 4556 __cil_tmp6 = __cil_tmp5 + __cil_tmp4; 4557#line 276 4558 *((umode_t *)__cil_tmp6) = (umode_t )292; 4559#line 277 4560 __cil_tmp7 = (unsigned long )attr; 4561#line 277 4562 __cil_tmp8 = __cil_tmp7 + 16; 4563#line 277 4564 *((ssize_t (**)(struct device *dev , struct device_attribute *attr , char *buf ))__cil_tmp8) = show; 4565#line 278 4566 __cil_tmp9 = (unsigned long )attr; 4567#line 278 4568 __cil_tmp10 = __cil_tmp9 + 24; 4569#line 278 4570 __cil_tmp11 = (void *)0; 4571#line 278 4572 *((ssize_t (**)(struct device *dev , struct device_attribute *attr , char const *buf , 4573 size_t count ))__cil_tmp10) = (ssize_t (*)(struct device *dev , 4574 struct device_attribute *attr , 4575 char const *buf , size_t count ))__cil_tmp11; 4576#line 279 4577 return; 4578} 4579} 4580#line 282 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4581static union acpi_object *atk_get_pack_member(struct atk_data *data , union acpi_object *pack , 4582 enum atk_pack_member m ) 4583{ bool old_if ; 4584 int offset ; 4585 unsigned long __cil_tmp6 ; 4586 unsigned long __cil_tmp7 ; 4587 void *__cil_tmp8 ; 4588 unsigned long __cil_tmp9 ; 4589 unsigned long __cil_tmp10 ; 4590 unsigned long __cil_tmp11 ; 4591 union acpi_object *__cil_tmp12 ; 4592 4593 { 4594#line 286 4595 __cil_tmp6 = (unsigned long )data; 4596#line 286 4597 __cil_tmp7 = __cil_tmp6 + 24; 4598#line 286 4599 old_if = *((bool *)__cil_tmp7); 4600#line 290 4601 if ((int )m == 0) { 4602#line 290 4603 goto case_0; 4604 } else 4605#line 293 4606 if ((int )m == 1) { 4607#line 293 4608 goto case_1; 4609 } else 4610#line 296 4611 if ((int )m == 2) { 4612#line 296 4613 goto case_2; 4614 } else 4615#line 300 4616 if ((int )m == 3) { 4617#line 300 4618 goto case_3; 4619 } else 4620#line 304 4621 if ((int )m == 4) { 4622#line 304 4623 goto case_4; 4624 } else { 4625 { 4626#line 308 4627 goto switch_default; 4628#line 289 4629 if (0) { 4630 case_0: /* CIL Label */ 4631#line 291 4632 if (old_if) { 4633#line 291 4634 offset = 0; 4635 } else { 4636#line 291 4637 offset = 0; 4638 } 4639#line 292 4640 goto switch_break; 4641 case_1: /* CIL Label */ 4642#line 294 4643 if (old_if) { 4644#line 294 4645 offset = 1; 4646 } else { 4647#line 294 4648 offset = 1; 4649 } 4650#line 295 4651 goto switch_break; 4652 case_2: /* CIL Label */ 4653#line 297 4654 if (old_if) { 4655#line 297 4656 offset = 2; 4657 } else { 4658#line 297 4659 offset = 4; 4660 } 4661#line 299 4662 goto switch_break; 4663 case_3: /* CIL Label */ 4664#line 301 4665 if (old_if) { 4666#line 301 4667 offset = 3; 4668 } else { 4669#line 301 4670 offset = 5; 4671 } 4672#line 303 4673 goto switch_break; 4674 case_4: /* CIL Label */ 4675#line 305 4676 if (old_if) { 4677#line 305 4678 offset = 4; 4679 } else { 4680#line 305 4681 offset = 6; 4682 } 4683#line 307 4684 goto switch_break; 4685 switch_default: /* CIL Label */ 4686 { 4687#line 309 4688 __cil_tmp8 = (void *)0; 4689#line 309 4690 return ((union acpi_object *)__cil_tmp8); 4691 } 4692 } else { 4693 switch_break: /* CIL Label */ ; 4694 } 4695 } 4696 } 4697 { 4698#line 312 4699 __cil_tmp9 = 0 + 8; 4700#line 312 4701 __cil_tmp10 = (unsigned long )pack; 4702#line 312 4703 __cil_tmp11 = __cil_tmp10 + __cil_tmp9; 4704#line 312 4705 __cil_tmp12 = *((union acpi_object **)__cil_tmp11); 4706#line 312 4707 return (__cil_tmp12 + offset); 4708 } 4709} 4710} 4711#line 332 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4712static int validate_hwmon_pack(struct atk_data *data , union acpi_object *obj ) 4713{ struct device *dev ; 4714 union acpi_object *tmp___7 ; 4715 bool old_if ; 4716 int expected_size ; 4717 int tmp___8 ; 4718 unsigned long __cil_tmp8 ; 4719 unsigned long __cil_tmp9 ; 4720 struct acpi_device *__cil_tmp10 ; 4721 unsigned long __cil_tmp11 ; 4722 unsigned long __cil_tmp12 ; 4723 unsigned long __cil_tmp13 ; 4724 unsigned long __cil_tmp14 ; 4725 acpi_object_type __cil_tmp15 ; 4726 struct device const *__cil_tmp16 ; 4727 acpi_object_type __cil_tmp17 ; 4728 u32 __cil_tmp18 ; 4729 unsigned long __cil_tmp19 ; 4730 unsigned long __cil_tmp20 ; 4731 unsigned long __cil_tmp21 ; 4732 u32 __cil_tmp22 ; 4733 struct device const *__cil_tmp23 ; 4734 unsigned long __cil_tmp24 ; 4735 unsigned long __cil_tmp25 ; 4736 unsigned long __cil_tmp26 ; 4737 u32 __cil_tmp27 ; 4738 enum atk_pack_member __cil_tmp28 ; 4739 acpi_object_type __cil_tmp29 ; 4740 struct device const *__cil_tmp30 ; 4741 acpi_object_type __cil_tmp31 ; 4742 enum atk_pack_member __cil_tmp32 ; 4743 acpi_object_type __cil_tmp33 ; 4744 struct device const *__cil_tmp34 ; 4745 acpi_object_type __cil_tmp35 ; 4746 enum atk_pack_member __cil_tmp36 ; 4747 acpi_object_type __cil_tmp37 ; 4748 struct device const *__cil_tmp38 ; 4749 acpi_object_type __cil_tmp39 ; 4750 enum atk_pack_member __cil_tmp40 ; 4751 acpi_object_type __cil_tmp41 ; 4752 struct device const *__cil_tmp42 ; 4753 acpi_object_type __cil_tmp43 ; 4754 enum atk_pack_member __cil_tmp44 ; 4755 acpi_object_type __cil_tmp45 ; 4756 struct device const *__cil_tmp46 ; 4757 acpi_object_type __cil_tmp47 ; 4758 4759 { 4760#line 334 4761 __cil_tmp8 = (unsigned long )data; 4762#line 334 4763 __cil_tmp9 = __cil_tmp8 + 16; 4764#line 334 4765 __cil_tmp10 = *((struct acpi_device **)__cil_tmp9); 4766#line 334 4767 __cil_tmp11 = (unsigned long )__cil_tmp10; 4768#line 334 4769 __cil_tmp12 = __cil_tmp11 + 944; 4770#line 334 4771 dev = (struct device *)__cil_tmp12; 4772#line 336 4773 __cil_tmp13 = (unsigned long )data; 4774#line 336 4775 __cil_tmp14 = __cil_tmp13 + 24; 4776#line 336 4777 old_if = *((bool *)__cil_tmp14); 4778#line 337 4779 if (old_if) { 4780#line 337 4781 tmp___8 = 5; 4782 } else { 4783#line 337 4784 tmp___8 = 7; 4785 } 4786#line 337 4787 expected_size = tmp___8; 4788 { 4789#line 340 4790 __cil_tmp15 = *((acpi_object_type *)obj); 4791#line 340 4792 if (__cil_tmp15 != 4U) { 4793 { 4794#line 341 4795 __cil_tmp16 = (struct device const *)dev; 4796#line 341 4797 __cil_tmp17 = *((acpi_object_type *)obj); 4798#line 341 4799 dev_warn(__cil_tmp16, "Invalid type: %d\n", __cil_tmp17); 4800 } 4801#line 342 4802 return (-22); 4803 } else { 4804 4805 } 4806 } 4807 { 4808#line 345 4809 __cil_tmp18 = (u32 )expected_size; 4810#line 345 4811 __cil_tmp19 = 0 + 4; 4812#line 345 4813 __cil_tmp20 = (unsigned long )obj; 4814#line 345 4815 __cil_tmp21 = __cil_tmp20 + __cil_tmp19; 4816#line 345 4817 __cil_tmp22 = *((u32 *)__cil_tmp21); 4818#line 345 4819 if (__cil_tmp22 != __cil_tmp18) { 4820 { 4821#line 346 4822 __cil_tmp23 = (struct device const *)dev; 4823#line 346 4824 __cil_tmp24 = 0 + 4; 4825#line 346 4826 __cil_tmp25 = (unsigned long )obj; 4827#line 346 4828 __cil_tmp26 = __cil_tmp25 + __cil_tmp24; 4829#line 346 4830 __cil_tmp27 = *((u32 *)__cil_tmp26); 4831#line 346 4832 dev_warn(__cil_tmp23, "Invalid package size: %d, expected: %d\n", __cil_tmp27, 4833 expected_size); 4834 } 4835#line 348 4836 return (-22); 4837 } else { 4838 4839 } 4840 } 4841 { 4842#line 351 4843 __cil_tmp28 = (enum atk_pack_member )0; 4844#line 351 4845 tmp___7 = atk_get_pack_member(data, obj, __cil_tmp28); 4846 } 4847 { 4848#line 352 4849 __cil_tmp29 = *((acpi_object_type *)tmp___7); 4850#line 352 4851 if (__cil_tmp29 != 1U) { 4852 { 4853#line 353 4854 __cil_tmp30 = (struct device const *)dev; 4855#line 353 4856 __cil_tmp31 = *((acpi_object_type *)tmp___7); 4857#line 353 4858 dev_warn(__cil_tmp30, "Invalid type (flag): %d\n", __cil_tmp31); 4859 } 4860#line 354 4861 return (-22); 4862 } else { 4863 4864 } 4865 } 4866 { 4867#line 357 4868 __cil_tmp32 = (enum atk_pack_member )1; 4869#line 357 4870 tmp___7 = atk_get_pack_member(data, obj, __cil_tmp32); 4871 } 4872 { 4873#line 358 4874 __cil_tmp33 = *((acpi_object_type *)tmp___7); 4875#line 358 4876 if (__cil_tmp33 != 2U) { 4877 { 4878#line 359 4879 __cil_tmp34 = (struct device const *)dev; 4880#line 359 4881 __cil_tmp35 = *((acpi_object_type *)tmp___7); 4882#line 359 4883 dev_warn(__cil_tmp34, "Invalid type (name): %d\n", __cil_tmp35); 4884 } 4885#line 360 4886 return (-22); 4887 } else { 4888 4889 } 4890 } 4891 { 4892#line 378 4893 __cil_tmp36 = (enum atk_pack_member )2; 4894#line 378 4895 tmp___7 = atk_get_pack_member(data, obj, __cil_tmp36); 4896 } 4897 { 4898#line 379 4899 __cil_tmp37 = *((acpi_object_type *)tmp___7); 4900#line 379 4901 if (__cil_tmp37 != 1U) { 4902 { 4903#line 380 4904 __cil_tmp38 = (struct device const *)dev; 4905#line 380 4906 __cil_tmp39 = *((acpi_object_type *)tmp___7); 4907#line 380 4908 dev_warn(__cil_tmp38, "Invalid type (limit1): %d\n", __cil_tmp39); 4909 } 4910#line 381 4911 return (-22); 4912 } else { 4913 4914 } 4915 } 4916 { 4917#line 384 4918 __cil_tmp40 = (enum atk_pack_member )3; 4919#line 384 4920 tmp___7 = atk_get_pack_member(data, obj, __cil_tmp40); 4921 } 4922 { 4923#line 385 4924 __cil_tmp41 = *((acpi_object_type *)tmp___7); 4925#line 385 4926 if (__cil_tmp41 != 1U) { 4927 { 4928#line 386 4929 __cil_tmp42 = (struct device const *)dev; 4930#line 386 4931 __cil_tmp43 = *((acpi_object_type *)tmp___7); 4932#line 386 4933 dev_warn(__cil_tmp42, "Invalid type (limit2): %d\n", __cil_tmp43); 4934 } 4935#line 387 4936 return (-22); 4937 } else { 4938 4939 } 4940 } 4941 { 4942#line 390 4943 __cil_tmp44 = (enum atk_pack_member )4; 4944#line 390 4945 tmp___7 = atk_get_pack_member(data, obj, __cil_tmp44); 4946 } 4947 { 4948#line 391 4949 __cil_tmp45 = *((acpi_object_type *)tmp___7); 4950#line 391 4951 if (__cil_tmp45 != 1U) { 4952 { 4953#line 392 4954 __cil_tmp46 = (struct device const *)dev; 4955#line 392 4956 __cil_tmp47 = *((acpi_object_type *)tmp___7); 4957#line 392 4958 dev_warn(__cil_tmp46, "Invalid type (enable): %d\n", __cil_tmp47); 4959 } 4960#line 393 4961 return (-22); 4962 } else { 4963 4964 } 4965 } 4966 { 4967#line 396 4968 atk_print_sensor(data, obj); 4969 } 4970#line 398 4971 return (0); 4972} 4973} 4974#line 402 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 4975static char const *atk_sensor_type(union acpi_object *flags ) 4976{ u64 type ; 4977 char const *what ; 4978 unsigned long __cil_tmp4 ; 4979 unsigned long __cil_tmp5 ; 4980 unsigned long __cil_tmp6 ; 4981 u64 __cil_tmp7 ; 4982 4983 { 4984#line 404 4985 __cil_tmp4 = 0 + 8; 4986#line 404 4987 __cil_tmp5 = (unsigned long )flags; 4988#line 404 4989 __cil_tmp6 = __cil_tmp5 + __cil_tmp4; 4990#line 404 4991 __cil_tmp7 = *((u64 *)__cil_tmp6); 4992#line 404 4993 type = __cil_tmp7 & 16711680ULL; 4994#line 408 4995 if ((int )type == 131072ULL) { 4996#line 408 4997 goto case_131072; 4998 } else 4999#line 411 5000 if ((int )type == 196608ULL) { 5001#line 411 5002 goto case_196608; 5003 } else 5004#line 414 5005 if ((int )type == 262144ULL) { 5006#line 414 5007 goto case_262144; 5008 } else { 5009 { 5010#line 417 5011 goto switch_default; 5012#line 407 5013 if (0) { 5014 case_131072: /* CIL Label */ 5015#line 409 5016 what = "voltage"; 5017#line 410 5018 goto switch_break; 5019 case_196608: /* CIL Label */ 5020#line 412 5021 what = "temperature"; 5022#line 413 5023 goto switch_break; 5024 case_262144: /* CIL Label */ 5025#line 415 5026 what = "fan"; 5027#line 416 5028 goto switch_break; 5029 switch_default: /* CIL Label */ 5030#line 418 5031 what = "unknown"; 5032#line 419 5033 goto switch_break; 5034 } else { 5035 switch_break: /* CIL Label */ ; 5036 } 5037 } 5038 } 5039#line 422 5040 return (what); 5041} 5042} 5043#line 445 5044static void atk_print_sensor(struct atk_data *data , union acpi_object *obj ) ; 5045#line 445 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 5046static struct _ddebug __attribute__((__aligned__(8))) descriptor __attribute__((__used__, 5047__section__("__verbose"))) = {"asus_atk0110", "atk_print_sensor", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c", 5048 "%s: %#llx %s [%llu-%llu] %s\n", 449U, 1U}; 5049#line 426 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 5050static void atk_print_sensor(struct atk_data *data , union acpi_object *obj ) 5051{ struct device *dev ; 5052 union acpi_object *flags ; 5053 union acpi_object *name ; 5054 union acpi_object *limit1 ; 5055 union acpi_object *limit2 ; 5056 union acpi_object *enable ; 5057 char const *what ; 5058 char const *tmp___7 ; 5059 long tmp___8 ; 5060 unsigned long __cil_tmp12 ; 5061 unsigned long __cil_tmp13 ; 5062 struct acpi_device *__cil_tmp14 ; 5063 unsigned long __cil_tmp15 ; 5064 unsigned long __cil_tmp16 ; 5065 enum atk_pack_member __cil_tmp17 ; 5066 enum atk_pack_member __cil_tmp18 ; 5067 enum atk_pack_member __cil_tmp19 ; 5068 enum atk_pack_member __cil_tmp20 ; 5069 enum atk_pack_member __cil_tmp21 ; 5070 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp22 ; 5071 unsigned int __cil_tmp23 ; 5072 unsigned int __cil_tmp24 ; 5073 int __cil_tmp25 ; 5074 int __cil_tmp26 ; 5075 long __cil_tmp27 ; 5076 unsigned long __cil_tmp28 ; 5077 unsigned long __cil_tmp29 ; 5078 unsigned long __cil_tmp30 ; 5079 struct device const *__cil_tmp31 ; 5080 unsigned long __cil_tmp32 ; 5081 unsigned long __cil_tmp33 ; 5082 unsigned long __cil_tmp34 ; 5083 u64 __cil_tmp35 ; 5084 unsigned long __cil_tmp36 ; 5085 unsigned long __cil_tmp37 ; 5086 unsigned long __cil_tmp38 ; 5087 char *__cil_tmp39 ; 5088 unsigned long __cil_tmp40 ; 5089 unsigned long __cil_tmp41 ; 5090 unsigned long __cil_tmp42 ; 5091 u64 __cil_tmp43 ; 5092 unsigned long __cil_tmp44 ; 5093 unsigned long __cil_tmp45 ; 5094 unsigned long __cil_tmp46 ; 5095 u64 __cil_tmp47 ; 5096 5097 { 5098 { 5099#line 429 5100 __cil_tmp12 = (unsigned long )data; 5101#line 429 5102 __cil_tmp13 = __cil_tmp12 + 16; 5103#line 429 5104 __cil_tmp14 = *((struct acpi_device **)__cil_tmp13); 5105#line 429 5106 __cil_tmp15 = (unsigned long )__cil_tmp14; 5107#line 429 5108 __cil_tmp16 = __cil_tmp15 + 944; 5109#line 429 5110 dev = (struct device *)__cil_tmp16; 5111#line 437 5112 __cil_tmp17 = (enum atk_pack_member )0; 5113#line 437 5114 flags = atk_get_pack_member(data, obj, __cil_tmp17); 5115#line 438 5116 __cil_tmp18 = (enum atk_pack_member )1; 5117#line 438 5118 name = atk_get_pack_member(data, obj, __cil_tmp18); 5119#line 439 5120 __cil_tmp19 = (enum atk_pack_member )2; 5121#line 439 5122 limit1 = atk_get_pack_member(data, obj, __cil_tmp19); 5123#line 440 5124 __cil_tmp20 = (enum atk_pack_member )3; 5125#line 440 5126 limit2 = atk_get_pack_member(data, obj, __cil_tmp20); 5127#line 441 5128 __cil_tmp21 = (enum atk_pack_member )4; 5129#line 441 5130 enable = atk_get_pack_member(data, obj, __cil_tmp21); 5131#line 443 5132 what = atk_sensor_type(flags); 5133 } 5134 { 5135#line 445 5136 while (1) { 5137 while_continue: /* CIL Label */ ; 5138 { 5139#line 445 5140 while (1) { 5141 while_continue___0: /* CIL Label */ ; 5142 { 5143#line 445 5144 __cil_tmp22 = & descriptor; 5145#line 445 5146 __cil_tmp23 = __cil_tmp22->flags; 5147#line 445 5148 __cil_tmp24 = __cil_tmp23 & 1U; 5149#line 445 5150 __cil_tmp25 = ! __cil_tmp24; 5151#line 445 5152 __cil_tmp26 = ! __cil_tmp25; 5153#line 445 5154 __cil_tmp27 = (long )__cil_tmp26; 5155#line 445 5156 tmp___8 = __builtin_expect(__cil_tmp27, 0L); 5157 } 5158#line 445 5159 if (tmp___8) { 5160 { 5161#line 445 5162 __cil_tmp28 = 0 + 8; 5163#line 445 5164 __cil_tmp29 = (unsigned long )enable; 5165#line 445 5166 __cil_tmp30 = __cil_tmp29 + __cil_tmp28; 5167#line 445 5168 if (*((u64 *)__cil_tmp30)) { 5169#line 445 5170 tmp___7 = "enabled"; 5171 } else { 5172#line 445 5173 tmp___7 = "disabled"; 5174 } 5175 } 5176 { 5177#line 445 5178 __cil_tmp31 = (struct device const *)dev; 5179#line 445 5180 __cil_tmp32 = 0 + 8; 5181#line 445 5182 __cil_tmp33 = (unsigned long )flags; 5183#line 445 5184 __cil_tmp34 = __cil_tmp33 + __cil_tmp32; 5185#line 445 5186 __cil_tmp35 = *((u64 *)__cil_tmp34); 5187#line 445 5188 __cil_tmp36 = 0 + 8; 5189#line 445 5190 __cil_tmp37 = (unsigned long )name; 5191#line 445 5192 __cil_tmp38 = __cil_tmp37 + __cil_tmp36; 5193#line 445 5194 __cil_tmp39 = *((char **)__cil_tmp38); 5195#line 445 5196 __cil_tmp40 = 0 + 8; 5197#line 445 5198 __cil_tmp41 = (unsigned long )limit1; 5199#line 445 5200 __cil_tmp42 = __cil_tmp41 + __cil_tmp40; 5201#line 445 5202 __cil_tmp43 = *((u64 *)__cil_tmp42); 5203#line 445 5204 __cil_tmp44 = 0 + 8; 5205#line 445 5206 __cil_tmp45 = (unsigned long )limit2; 5207#line 445 5208 __cil_tmp46 = __cil_tmp45 + __cil_tmp44; 5209#line 445 5210 __cil_tmp47 = *((u64 *)__cil_tmp46); 5211#line 445 5212 __dynamic_dev_dbg(& descriptor, __cil_tmp31, "%s: %#llx %s [%llu-%llu] %s\n", 5213 what, __cil_tmp35, __cil_tmp39, __cil_tmp43, __cil_tmp47, 5214 tmp___7); 5215 } 5216 } else { 5217 5218 } 5219#line 445 5220 goto while_break___0; 5221 } 5222 while_break___0: /* CIL Label */ ; 5223 } 5224#line 445 5225 goto while_break; 5226 } 5227 while_break: /* CIL Label */ ; 5228 } 5229#line 451 5230 return; 5231} 5232} 5233#line 453 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 5234static int atk_read_value_old(struct atk_sensor_data *sensor , u64 *value ) 5235{ struct atk_data *data ; 5236 struct device *dev ; 5237 struct acpi_object_list params ; 5238 union acpi_object id ; 5239 acpi_status status ; 5240 acpi_handle method ; 5241 char const *tmp___7 ; 5242 unsigned long __cil_tmp10 ; 5243 unsigned long __cil_tmp11 ; 5244 unsigned long __cil_tmp12 ; 5245 unsigned long __cil_tmp13 ; 5246 struct acpi_device *__cil_tmp14 ; 5247 unsigned long __cil_tmp15 ; 5248 unsigned long __cil_tmp16 ; 5249 unsigned long __cil_tmp17 ; 5250 unsigned long __cil_tmp18 ; 5251 u64 __cil_tmp19 ; 5252 unsigned long __cil_tmp20 ; 5253 unsigned long __cil_tmp21 ; 5254 unsigned long __cil_tmp22 ; 5255 unsigned long __cil_tmp23 ; 5256 unsigned long __cil_tmp24 ; 5257 unsigned long __cil_tmp25 ; 5258 union acpi_object *__cil_tmp26 ; 5259 unsigned long __cil_tmp27 ; 5260 unsigned long __cil_tmp28 ; 5261 unsigned long __cil_tmp29 ; 5262 unsigned long __cil_tmp30 ; 5263 struct acpi_object_list *__cil_tmp31 ; 5264 unsigned long __cil_tmp32 ; 5265 void *__cil_tmp33 ; 5266 acpi_string __cil_tmp34 ; 5267 struct device const *__cil_tmp35 ; 5268 5269 { 5270#line 455 5271 __cil_tmp10 = (unsigned long )sensor; 5272#line 455 5273 __cil_tmp11 = __cil_tmp10 + 16; 5274#line 455 5275 data = *((struct atk_data **)__cil_tmp11); 5276#line 456 5277 __cil_tmp12 = (unsigned long )data; 5278#line 456 5279 __cil_tmp13 = __cil_tmp12 + 16; 5280#line 456 5281 __cil_tmp14 = *((struct acpi_device **)__cil_tmp13); 5282#line 456 5283 __cil_tmp15 = (unsigned long )__cil_tmp14; 5284#line 456 5285 __cil_tmp16 = __cil_tmp15 + 944; 5286#line 456 5287 dev = (struct device *)__cil_tmp16; 5288 { 5289#line 462 5290 __cil_tmp17 = (unsigned long )sensor; 5291#line 462 5292 __cil_tmp18 = __cil_tmp17 + 224; 5293#line 462 5294 __cil_tmp19 = *((u64 *)__cil_tmp18); 5295#line 463 5296 if ((int )__cil_tmp19 == 131072ULL) { 5297#line 463 5298 goto case_131072; 5299 } else 5300#line 466 5301 if ((int )__cil_tmp19 == 196608ULL) { 5302#line 466 5303 goto case_196608; 5304 } else 5305#line 469 5306 if ((int )__cil_tmp19 == 262144ULL) { 5307#line 469 5308 goto case_262144; 5309 } else { 5310 { 5311#line 472 5312 goto switch_default; 5313#line 462 5314 if (0) { 5315 case_131072: /* CIL Label */ 5316#line 464 5317 __cil_tmp20 = (unsigned long )data; 5318#line 464 5319 __cil_tmp21 = __cil_tmp20 + 40; 5320#line 464 5321 method = *((acpi_handle *)__cil_tmp21); 5322#line 465 5323 goto switch_break; 5324 case_196608: /* CIL Label */ 5325#line 467 5326 __cil_tmp22 = (unsigned long )data; 5327#line 467 5328 __cil_tmp23 = __cil_tmp22 + 32; 5329#line 467 5330 method = *((acpi_handle *)__cil_tmp23); 5331#line 468 5332 goto switch_break; 5333 case_262144: /* CIL Label */ 5334#line 470 5335 __cil_tmp24 = (unsigned long )data; 5336#line 470 5337 __cil_tmp25 = __cil_tmp24 + 48; 5338#line 470 5339 method = *((acpi_handle *)__cil_tmp25); 5340#line 471 5341 goto switch_break; 5342 switch_default: /* CIL Label */ 5343#line 473 5344 return (-22); 5345 } else { 5346 switch_break: /* CIL Label */ ; 5347 } 5348 } 5349 } 5350 } 5351 { 5352#line 476 5353 __cil_tmp26 = & id; 5354#line 476 5355 *((acpi_object_type *)__cil_tmp26) = (acpi_object_type )1; 5356#line 477 5357 __cil_tmp27 = 0 + 8; 5358#line 477 5359 __cil_tmp28 = (unsigned long )(& id) + __cil_tmp27; 5360#line 477 5361 __cil_tmp29 = (unsigned long )sensor; 5362#line 477 5363 __cil_tmp30 = __cil_tmp29 + 216; 5364#line 477 5365 *((u64 *)__cil_tmp28) = *((u64 *)__cil_tmp30); 5366#line 479 5367 __cil_tmp31 = & params; 5368#line 479 5369 *((u32 *)__cil_tmp31) = (u32 )1; 5370#line 480 5371 __cil_tmp32 = (unsigned long )(& params) + 8; 5372#line 480 5373 *((union acpi_object **)__cil_tmp32) = & id; 5374#line 482 5375 __cil_tmp33 = (void *)0; 5376#line 482 5377 __cil_tmp34 = (acpi_string )__cil_tmp33; 5378#line 482 5379 status = acpi_evaluate_integer(method, __cil_tmp34, & params, value); 5380 } 5381#line 483 5382 if (status != 0U) { 5383 { 5384#line 484 5385 tmp___7 = acpi_format_exception(status); 5386#line 484 5387 __cil_tmp35 = (struct device const *)dev; 5388#line 484 5389 dev_warn(__cil_tmp35, "%s: ACPI exception: %s\n", "atk_read_value_old", tmp___7); 5390 } 5391#line 486 5392 return (-5); 5393 } else { 5394 5395 } 5396#line 489 5397 return (0); 5398} 5399} 5400#line 492 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 5401static union acpi_object *atk_ggrp(struct atk_data *data , u16 mux ) 5402{ struct device *dev ; 5403 struct acpi_buffer buf ; 5404 acpi_status ret ; 5405 struct acpi_object_list params ; 5406 union acpi_object id ; 5407 union acpi_object *pack ; 5408 char const *tmp___7 ; 5409 void *tmp___8 ; 5410 void *tmp___9 ; 5411 void *tmp___10 ; 5412 unsigned long __cil_tmp13 ; 5413 unsigned long __cil_tmp14 ; 5414 struct acpi_device *__cil_tmp15 ; 5415 unsigned long __cil_tmp16 ; 5416 unsigned long __cil_tmp17 ; 5417 union acpi_object *__cil_tmp18 ; 5418 unsigned long __cil_tmp19 ; 5419 unsigned long __cil_tmp20 ; 5420 struct acpi_object_list *__cil_tmp21 ; 5421 unsigned long __cil_tmp22 ; 5422 struct acpi_buffer *__cil_tmp23 ; 5423 unsigned long __cil_tmp24 ; 5424 unsigned long __cil_tmp25 ; 5425 acpi_handle __cil_tmp26 ; 5426 void *__cil_tmp27 ; 5427 acpi_string __cil_tmp28 ; 5428 struct device const *__cil_tmp29 ; 5429 int __cil_tmp30 ; 5430 unsigned long __cil_tmp31 ; 5431 void *__cil_tmp32 ; 5432 acpi_object_type __cil_tmp33 ; 5433 void const *__cil_tmp34 ; 5434 unsigned long __cil_tmp35 ; 5435 unsigned long __cil_tmp36 ; 5436 unsigned long __cil_tmp37 ; 5437 u32 __cil_tmp38 ; 5438 struct device const *__cil_tmp39 ; 5439 int __cil_tmp40 ; 5440 void const *__cil_tmp41 ; 5441 5442 { 5443 { 5444#line 494 5445 __cil_tmp13 = (unsigned long )data; 5446#line 494 5447 __cil_tmp14 = __cil_tmp13 + 16; 5448#line 494 5449 __cil_tmp15 = *((struct acpi_device **)__cil_tmp14); 5450#line 494 5451 __cil_tmp16 = (unsigned long )__cil_tmp15; 5452#line 494 5453 __cil_tmp17 = __cil_tmp16 + 944; 5454#line 494 5455 dev = (struct device *)__cil_tmp17; 5456#line 501 5457 __cil_tmp18 = & id; 5458#line 501 5459 *((acpi_object_type *)__cil_tmp18) = (acpi_object_type )1; 5460#line 502 5461 __cil_tmp19 = 0 + 8; 5462#line 502 5463 __cil_tmp20 = (unsigned long )(& id) + __cil_tmp19; 5464#line 502 5465 *((u64 *)__cil_tmp20) = (u64 )mux; 5466#line 503 5467 __cil_tmp21 = & params; 5468#line 503 5469 *((u32 *)__cil_tmp21) = (u32 )1; 5470#line 504 5471 __cil_tmp22 = (unsigned long )(& params) + 8; 5472#line 504 5473 *((union acpi_object **)__cil_tmp22) = & id; 5474#line 506 5475 __cil_tmp23 = & buf; 5476#line 506 5477 *((acpi_size *)__cil_tmp23) = (acpi_size )-1; 5478#line 507 5479 __cil_tmp24 = (unsigned long )data; 5480#line 507 5481 __cil_tmp25 = __cil_tmp24 + 56; 5482#line 507 5483 __cil_tmp26 = *((acpi_handle *)__cil_tmp25); 5484#line 507 5485 __cil_tmp27 = (void *)0; 5486#line 507 5487 __cil_tmp28 = (acpi_string )__cil_tmp27; 5488#line 507 5489 ret = acpi_evaluate_object(__cil_tmp26, __cil_tmp28, & params, & buf); 5490 } 5491#line 508 5492 if (ret != 0U) { 5493 { 5494#line 509 5495 tmp___7 = acpi_format_exception(ret); 5496#line 509 5497 __cil_tmp29 = (struct device const *)dev; 5498#line 509 5499 __cil_tmp30 = (int )mux; 5500#line 509 5501 dev_err(__cil_tmp29, "GGRP[%#x] ACPI exception: %s\n", __cil_tmp30, tmp___7); 5502#line 511 5503 tmp___8 = (void *)ERR_PTR(-5L); 5504 } 5505#line 511 5506 return ((union acpi_object *)tmp___8); 5507 } else { 5508 5509 } 5510#line 513 5511 __cil_tmp31 = (unsigned long )(& buf) + 8; 5512#line 513 5513 __cil_tmp32 = *((void **)__cil_tmp31); 5514#line 513 5515 pack = (union acpi_object *)__cil_tmp32; 5516 { 5517#line 514 5518 __cil_tmp33 = *((acpi_object_type *)pack); 5519#line 514 5520 if (__cil_tmp33 != 4U) { 5521 { 5522#line 516 5523 __cil_tmp34 = (void const *)pack; 5524#line 516 5525 kfree(__cil_tmp34); 5526#line 517 5527 tmp___9 = (void *)ERR_PTR(-2L); 5528 } 5529#line 517 5530 return ((union acpi_object *)tmp___9); 5531 } else { 5532 5533 } 5534 } 5535 { 5536#line 520 5537 __cil_tmp35 = 0 + 4; 5538#line 520 5539 __cil_tmp36 = (unsigned long )pack; 5540#line 520 5541 __cil_tmp37 = __cil_tmp36 + __cil_tmp35; 5542#line 520 5543 __cil_tmp38 = *((u32 *)__cil_tmp37); 5544#line 520 5545 if (__cil_tmp38 < 1U) { 5546 { 5547#line 521 5548 __cil_tmp39 = (struct device const *)dev; 5549#line 521 5550 __cil_tmp40 = (int )mux; 5551#line 521 5552 dev_err(__cil_tmp39, "GGRP[%#x] package is too small\n", __cil_tmp40); 5553#line 522 5554 __cil_tmp41 = (void const *)pack; 5555#line 522 5556 kfree(__cil_tmp41); 5557#line 523 5558 tmp___10 = (void *)ERR_PTR(-5L); 5559 } 5560#line 523 5561 return ((union acpi_object *)tmp___10); 5562 } else { 5563 5564 } 5565 } 5566#line 525 5567 return (pack); 5568} 5569} 5570#line 528 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 5571static union acpi_object *atk_gitm(struct atk_data *data , u64 id ) 5572{ struct device *dev ; 5573 struct atk_acpi_input_buf buf ; 5574 union acpi_object tmp___7 ; 5575 struct acpi_object_list params ; 5576 struct acpi_buffer ret ; 5577 union acpi_object *obj ; 5578 acpi_status status ; 5579 char const *tmp___8 ; 5580 void *tmp___9 ; 5581 void *tmp___10 ; 5582 unsigned long __cil_tmp13 ; 5583 unsigned long __cil_tmp14 ; 5584 struct acpi_device *__cil_tmp15 ; 5585 unsigned long __cil_tmp16 ; 5586 unsigned long __cil_tmp17 ; 5587 struct atk_acpi_input_buf *__cil_tmp18 ; 5588 unsigned long __cil_tmp19 ; 5589 unsigned long __cil_tmp20 ; 5590 union acpi_object *__cil_tmp21 ; 5591 unsigned long __cil_tmp22 ; 5592 unsigned long __cil_tmp23 ; 5593 unsigned long __cil_tmp24 ; 5594 unsigned long __cil_tmp25 ; 5595 struct acpi_object_list *__cil_tmp26 ; 5596 unsigned long __cil_tmp27 ; 5597 void *__cil_tmp28 ; 5598 struct acpi_buffer *__cil_tmp29 ; 5599 unsigned long __cil_tmp30 ; 5600 unsigned long __cil_tmp31 ; 5601 acpi_handle __cil_tmp32 ; 5602 void *__cil_tmp33 ; 5603 acpi_string __cil_tmp34 ; 5604 acpi_object_type __cil_tmp35 ; 5605 struct device const *__cil_tmp36 ; 5606 unsigned long __cil_tmp37 ; 5607 void *__cil_tmp38 ; 5608 unsigned long __cil_tmp39 ; 5609 unsigned long __cil_tmp40 ; 5610 unsigned long __cil_tmp41 ; 5611 u32 __cil_tmp42 ; 5612 struct device const *__cil_tmp43 ; 5613 unsigned long __cil_tmp44 ; 5614 unsigned long __cil_tmp45 ; 5615 unsigned long __cil_tmp46 ; 5616 u32 __cil_tmp47 ; 5617 void const *__cil_tmp48 ; 5618 5619 { 5620 { 5621#line 530 5622 __cil_tmp13 = (unsigned long )data; 5623#line 530 5624 __cil_tmp14 = __cil_tmp13 + 16; 5625#line 530 5626 __cil_tmp15 = *((struct acpi_device **)__cil_tmp14); 5627#line 530 5628 __cil_tmp16 = (unsigned long )__cil_tmp15; 5629#line 530 5630 __cil_tmp17 = __cil_tmp16 + 944; 5631#line 530 5632 dev = (struct device *)__cil_tmp17; 5633#line 538 5634 __cil_tmp18 = & buf; 5635#line 538 5636 *((u32 *)__cil_tmp18) = (u32 )id; 5637#line 539 5638 __cil_tmp19 = (unsigned long )(& buf) + 4; 5639#line 539 5640 *((u32 *)__cil_tmp19) = (u32 )0; 5641#line 540 5642 __cil_tmp20 = (unsigned long )(& buf) + 8; 5643#line 540 5644 *((u32 *)__cil_tmp20) = (u32 )0; 5645#line 542 5646 __cil_tmp21 = & tmp___7; 5647#line 542 5648 *((acpi_object_type *)__cil_tmp21) = (acpi_object_type )3; 5649#line 543 5650 __cil_tmp22 = 0 + 8; 5651#line 543 5652 __cil_tmp23 = (unsigned long )(& tmp___7) + __cil_tmp22; 5653#line 543 5654 *((u8 **)__cil_tmp23) = (u8 *)(& buf); 5655#line 544 5656 __cil_tmp24 = 0 + 4; 5657#line 544 5658 __cil_tmp25 = (unsigned long )(& tmp___7) + __cil_tmp24; 5659#line 544 5660 *((u32 *)__cil_tmp25) = (u32 )12UL; 5661#line 546 5662 __cil_tmp26 = & params; 5663#line 546 5664 *((u32 *)__cil_tmp26) = (u32 )1; 5665#line 547 5666 __cil_tmp27 = (unsigned long )(& params) + 8; 5667#line 547 5668 __cil_tmp28 = (void *)(& tmp___7); 5669#line 547 5670 *((union acpi_object **)__cil_tmp27) = (union acpi_object *)__cil_tmp28; 5671#line 549 5672 __cil_tmp29 = & ret; 5673#line 549 5674 *((acpi_size *)__cil_tmp29) = (acpi_size )-1; 5675#line 550 5676 __cil_tmp30 = (unsigned long )data; 5677#line 550 5678 __cil_tmp31 = __cil_tmp30 + 64; 5679#line 550 5680 __cil_tmp32 = *((acpi_handle *)__cil_tmp31); 5681#line 550 5682 __cil_tmp33 = (void *)0; 5683#line 550 5684 __cil_tmp34 = (acpi_string )__cil_tmp33; 5685#line 550 5686 __cil_tmp35 = (acpi_object_type )3; 5687#line 550 5688 status = acpi_evaluate_object_typed(__cil_tmp32, __cil_tmp34, & params, & ret, __cil_tmp35); 5689 } 5690#line 552 5691 if (status != 0U) { 5692 { 5693#line 553 5694 tmp___8 = acpi_format_exception(status); 5695#line 553 5696 __cil_tmp36 = (struct device const *)dev; 5697#line 553 5698 dev_warn(__cil_tmp36, "GITM[%#llx] ACPI exception: %s\n", id, tmp___8); 5699#line 555 5700 tmp___9 = (void *)ERR_PTR(-5L); 5701 } 5702#line 555 5703 return ((union acpi_object *)tmp___9); 5704 } else { 5705 5706 } 5707#line 557 5708 __cil_tmp37 = (unsigned long )(& ret) + 8; 5709#line 557 5710 __cil_tmp38 = *((void **)__cil_tmp37); 5711#line 557 5712 obj = (union acpi_object *)__cil_tmp38; 5713 { 5714#line 560 5715 __cil_tmp39 = 0 + 4; 5716#line 560 5717 __cil_tmp40 = (unsigned long )obj; 5718#line 560 5719 __cil_tmp41 = __cil_tmp40 + __cil_tmp39; 5720#line 560 5721 __cil_tmp42 = *((u32 *)__cil_tmp41); 5722#line 560 5723 if (__cil_tmp42 < 8U) { 5724 { 5725#line 561 5726 __cil_tmp43 = (struct device const *)dev; 5727#line 561 5728 __cil_tmp44 = 0 + 4; 5729#line 561 5730 __cil_tmp45 = (unsigned long )obj; 5731#line 561 5732 __cil_tmp46 = __cil_tmp45 + __cil_tmp44; 5733#line 561 5734 __cil_tmp47 = *((u32 *)__cil_tmp46); 5735#line 561 5736 dev_warn(__cil_tmp43, "Unexpected ASBF length: %u\n", __cil_tmp47); 5737#line 563 5738 __cil_tmp48 = (void const *)obj; 5739#line 563 5740 kfree(__cil_tmp48); 5741#line 564 5742 tmp___10 = (void *)ERR_PTR(-5L); 5743 } 5744#line 564 5745 return ((union acpi_object *)tmp___10); 5746 } else { 5747 5748 } 5749 } 5750#line 566 5751 return (obj); 5752} 5753} 5754#line 569 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 5755static union acpi_object *atk_sitm(struct atk_data *data , struct atk_acpi_input_buf *buf ) 5756{ struct device *dev ; 5757 struct acpi_object_list params ; 5758 union acpi_object tmp___7 ; 5759 struct acpi_buffer ret ; 5760 union acpi_object *obj ; 5761 acpi_status status ; 5762 char const *tmp___8 ; 5763 void *tmp___9 ; 5764 void *tmp___10 ; 5765 unsigned long __cil_tmp12 ; 5766 unsigned long __cil_tmp13 ; 5767 struct acpi_device *__cil_tmp14 ; 5768 unsigned long __cil_tmp15 ; 5769 unsigned long __cil_tmp16 ; 5770 union acpi_object *__cil_tmp17 ; 5771 unsigned long __cil_tmp18 ; 5772 unsigned long __cil_tmp19 ; 5773 unsigned long __cil_tmp20 ; 5774 unsigned long __cil_tmp21 ; 5775 struct acpi_object_list *__cil_tmp22 ; 5776 unsigned long __cil_tmp23 ; 5777 struct acpi_buffer *__cil_tmp24 ; 5778 unsigned long __cil_tmp25 ; 5779 unsigned long __cil_tmp26 ; 5780 acpi_handle __cil_tmp27 ; 5781 void *__cil_tmp28 ; 5782 acpi_string __cil_tmp29 ; 5783 acpi_object_type __cil_tmp30 ; 5784 struct device const *__cil_tmp31 ; 5785 u32 __cil_tmp32 ; 5786 unsigned long __cil_tmp33 ; 5787 void *__cil_tmp34 ; 5788 unsigned long __cil_tmp35 ; 5789 unsigned long __cil_tmp36 ; 5790 unsigned long __cil_tmp37 ; 5791 u32 __cil_tmp38 ; 5792 struct device const *__cil_tmp39 ; 5793 unsigned long __cil_tmp40 ; 5794 unsigned long __cil_tmp41 ; 5795 unsigned long __cil_tmp42 ; 5796 u32 __cil_tmp43 ; 5797 void const *__cil_tmp44 ; 5798 5799 { 5800 { 5801#line 572 5802 __cil_tmp12 = (unsigned long )data; 5803#line 572 5804 __cil_tmp13 = __cil_tmp12 + 16; 5805#line 572 5806 __cil_tmp14 = *((struct acpi_device **)__cil_tmp13); 5807#line 572 5808 __cil_tmp15 = (unsigned long )__cil_tmp14; 5809#line 572 5810 __cil_tmp16 = __cil_tmp15 + 944; 5811#line 572 5812 dev = (struct device *)__cil_tmp16; 5813#line 579 5814 __cil_tmp17 = & tmp___7; 5815#line 579 5816 *((acpi_object_type *)__cil_tmp17) = (acpi_object_type )3; 5817#line 580 5818 __cil_tmp18 = 0 + 8; 5819#line 580 5820 __cil_tmp19 = (unsigned long )(& tmp___7) + __cil_tmp18; 5821#line 580 5822 *((u8 **)__cil_tmp19) = (u8 *)buf; 5823#line 581 5824 __cil_tmp20 = 0 + 4; 5825#line 581 5826 __cil_tmp21 = (unsigned long )(& tmp___7) + __cil_tmp20; 5827#line 581 5828 *((u32 *)__cil_tmp21) = (u32 )12UL; 5829#line 583 5830 __cil_tmp22 = & params; 5831#line 583 5832 *((u32 *)__cil_tmp22) = (u32 )1; 5833#line 584 5834 __cil_tmp23 = (unsigned long )(& params) + 8; 5835#line 584 5836 *((union acpi_object **)__cil_tmp23) = & tmp___7; 5837#line 586 5838 __cil_tmp24 = & ret; 5839#line 586 5840 *((acpi_size *)__cil_tmp24) = (acpi_size )-1; 5841#line 587 5842 __cil_tmp25 = (unsigned long )data; 5843#line 587 5844 __cil_tmp26 = __cil_tmp25 + 72; 5845#line 587 5846 __cil_tmp27 = *((acpi_handle *)__cil_tmp26); 5847#line 587 5848 __cil_tmp28 = (void *)0; 5849#line 587 5850 __cil_tmp29 = (acpi_string )__cil_tmp28; 5851#line 587 5852 __cil_tmp30 = (acpi_object_type )3; 5853#line 587 5854 status = acpi_evaluate_object_typed(__cil_tmp27, __cil_tmp29, & params, & ret, __cil_tmp30); 5855 } 5856#line 589 5857 if (status != 0U) { 5858 { 5859#line 590 5860 tmp___8 = acpi_format_exception(status); 5861#line 590 5862 __cil_tmp31 = (struct device const *)dev; 5863#line 590 5864 __cil_tmp32 = *((u32 *)buf); 5865#line 590 5866 dev_warn(__cil_tmp31, "SITM[%#x] ACPI exception: %s\n", __cil_tmp32, tmp___8); 5867#line 592 5868 tmp___9 = (void *)ERR_PTR(-5L); 5869 } 5870#line 592 5871 return ((union acpi_object *)tmp___9); 5872 } else { 5873 5874 } 5875#line 594 5876 __cil_tmp33 = (unsigned long )(& ret) + 8; 5877#line 594 5878 __cil_tmp34 = *((void **)__cil_tmp33); 5879#line 594 5880 obj = (union acpi_object *)__cil_tmp34; 5881 { 5882#line 597 5883 __cil_tmp35 = 0 + 4; 5884#line 597 5885 __cil_tmp36 = (unsigned long )obj; 5886#line 597 5887 __cil_tmp37 = __cil_tmp36 + __cil_tmp35; 5888#line 597 5889 __cil_tmp38 = *((u32 *)__cil_tmp37); 5890#line 597 5891 if (__cil_tmp38 < 8U) { 5892 { 5893#line 598 5894 __cil_tmp39 = (struct device const *)dev; 5895#line 598 5896 __cil_tmp40 = 0 + 4; 5897#line 598 5898 __cil_tmp41 = (unsigned long )obj; 5899#line 598 5900 __cil_tmp42 = __cil_tmp41 + __cil_tmp40; 5901#line 598 5902 __cil_tmp43 = *((u32 *)__cil_tmp42); 5903#line 598 5904 dev_warn(__cil_tmp39, "Unexpected ASBF length: %u\n", __cil_tmp43); 5905#line 600 5906 __cil_tmp44 = (void const *)obj; 5907#line 600 5908 kfree(__cil_tmp44); 5909#line 601 5910 tmp___10 = (void *)ERR_PTR(-5L); 5911 } 5912#line 601 5913 return ((union acpi_object *)tmp___10); 5914 } else { 5915 5916 } 5917 } 5918#line 603 5919 return (obj); 5920} 5921} 5922#line 606 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 5923static int atk_read_value_new(struct atk_sensor_data *sensor , u64 *value ) 5924{ struct atk_data *data ; 5925 struct device *dev ; 5926 union acpi_object *obj ; 5927 struct atk_acpi_ret_buffer *buf ; 5928 int err ; 5929 long tmp___7 ; 5930 long tmp___8 ; 5931 unsigned long __cil_tmp10 ; 5932 unsigned long __cil_tmp11 ; 5933 unsigned long __cil_tmp12 ; 5934 unsigned long __cil_tmp13 ; 5935 struct acpi_device *__cil_tmp14 ; 5936 unsigned long __cil_tmp15 ; 5937 unsigned long __cil_tmp16 ; 5938 unsigned long __cil_tmp17 ; 5939 unsigned long __cil_tmp18 ; 5940 u64 __cil_tmp19 ; 5941 void const *__cil_tmp20 ; 5942 void const *__cil_tmp21 ; 5943 unsigned long __cil_tmp22 ; 5944 unsigned long __cil_tmp23 ; 5945 unsigned long __cil_tmp24 ; 5946 u8 *__cil_tmp25 ; 5947 u32 __cil_tmp26 ; 5948 struct device const *__cil_tmp27 ; 5949 unsigned long __cil_tmp28 ; 5950 unsigned long __cil_tmp29 ; 5951 u64 __cil_tmp30 ; 5952 unsigned long __cil_tmp31 ; 5953 unsigned long __cil_tmp32 ; 5954 u32 __cil_tmp33 ; 5955 void const *__cil_tmp34 ; 5956 5957 { 5958 { 5959#line 608 5960 __cil_tmp10 = (unsigned long )sensor; 5961#line 608 5962 __cil_tmp11 = __cil_tmp10 + 16; 5963#line 608 5964 data = *((struct atk_data **)__cil_tmp11); 5965#line 609 5966 __cil_tmp12 = (unsigned long )data; 5967#line 609 5968 __cil_tmp13 = __cil_tmp12 + 16; 5969#line 609 5970 __cil_tmp14 = *((struct acpi_device **)__cil_tmp13); 5971#line 609 5972 __cil_tmp15 = (unsigned long )__cil_tmp14; 5973#line 609 5974 __cil_tmp16 = __cil_tmp15 + 944; 5975#line 609 5976 dev = (struct device *)__cil_tmp16; 5977#line 612 5978 err = 0; 5979#line 614 5980 __cil_tmp17 = (unsigned long )sensor; 5981#line 614 5982 __cil_tmp18 = __cil_tmp17 + 216; 5983#line 614 5984 __cil_tmp19 = *((u64 *)__cil_tmp18); 5985#line 614 5986 obj = atk_gitm(data, __cil_tmp19); 5987#line 615 5988 __cil_tmp20 = (void const *)obj; 5989#line 615 5990 tmp___8 = (long )IS_ERR(__cil_tmp20); 5991 } 5992#line 615 5993 if (tmp___8) { 5994 { 5995#line 616 5996 __cil_tmp21 = (void const *)obj; 5997#line 616 5998 tmp___7 = (long )PTR_ERR(__cil_tmp21); 5999 } 6000#line 616 6001 return ((int )tmp___7); 6002 } else { 6003 6004 } 6005#line 618 6006 __cil_tmp22 = 0 + 8; 6007#line 618 6008 __cil_tmp23 = (unsigned long )obj; 6009#line 618 6010 __cil_tmp24 = __cil_tmp23 + __cil_tmp22; 6011#line 618 6012 __cil_tmp25 = *((u8 **)__cil_tmp24); 6013#line 618 6014 buf = (struct atk_acpi_ret_buffer *)__cil_tmp25; 6015 { 6016#line 619 6017 __cil_tmp26 = *((u32 *)buf); 6018#line 619 6019 if (__cil_tmp26 == 0U) { 6020 { 6021#line 625 6022 __cil_tmp27 = (struct device const *)dev; 6023#line 625 6024 __cil_tmp28 = (unsigned long )sensor; 6025#line 625 6026 __cil_tmp29 = __cil_tmp28 + 216; 6027#line 625 6028 __cil_tmp30 = *((u64 *)__cil_tmp29); 6029#line 625 6030 dev_warn(__cil_tmp27, "Read failed, sensor = %#llx\n", __cil_tmp30); 6031#line 626 6032 err = -5; 6033 } 6034#line 627 6035 goto out; 6036 } else { 6037 6038 } 6039 } 6040#line 630 6041 __cil_tmp31 = (unsigned long )buf; 6042#line 630 6043 __cil_tmp32 = __cil_tmp31 + 4; 6044#line 630 6045 __cil_tmp33 = *((u32 *)__cil_tmp32); 6046#line 630 6047 *value = (u64 )__cil_tmp33; 6048 out: 6049 { 6050#line 632 6051 __cil_tmp34 = (void const *)obj; 6052#line 632 6053 kfree(__cil_tmp34); 6054 } 6055#line 633 6056 return (err); 6057} 6058} 6059#line 636 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 6060static int atk_read_value(struct atk_sensor_data *sensor , u64 *value ) 6061{ int err ; 6062 unsigned long __cil_tmp8 ; 6063 unsigned long __cil_tmp9 ; 6064 bool __cil_tmp10 ; 6065 long __cil_tmp11 ; 6066 unsigned long __cil_tmp12 ; 6067 unsigned long __cil_tmp13 ; 6068 unsigned long __cil_tmp14 ; 6069 unsigned long __cil_tmp15 ; 6070 long __cil_tmp16 ; 6071 long __cil_tmp17 ; 6072 unsigned long __cil_tmp18 ; 6073 unsigned long __cil_tmp19 ; 6074 struct atk_data *__cil_tmp20 ; 6075 unsigned long __cil_tmp21 ; 6076 unsigned long __cil_tmp22 ; 6077 unsigned long __cil_tmp23 ; 6078 unsigned long __cil_tmp24 ; 6079 unsigned long __cil_tmp25 ; 6080 unsigned long __cil_tmp26 ; 6081 unsigned long __cil_tmp27 ; 6082 unsigned long __cil_tmp28 ; 6083 unsigned long __cil_tmp29 ; 6084 unsigned long __cil_tmp30 ; 6085 6086 { 6087 { 6088#line 641 6089 __cil_tmp8 = (unsigned long )sensor; 6090#line 641 6091 __cil_tmp9 = __cil_tmp8 + 264; 6092#line 641 6093 __cil_tmp10 = *((bool *)__cil_tmp9); 6094#line 641 6095 if (! __cil_tmp10) { 6096#line 641 6097 goto _L; 6098 } else { 6099 { 6100#line 641 6101 __cil_tmp11 = (long )jiffies; 6102#line 641 6103 __cil_tmp12 = (unsigned long )sensor; 6104#line 641 6105 __cil_tmp13 = __cil_tmp12 + 256; 6106#line 641 6107 __cil_tmp14 = *((unsigned long *)__cil_tmp13); 6108#line 641 6109 __cil_tmp15 = __cil_tmp14 + 250UL; 6110#line 641 6111 __cil_tmp16 = (long )__cil_tmp15; 6112#line 641 6113 __cil_tmp17 = __cil_tmp16 - __cil_tmp11; 6114#line 641 6115 if (__cil_tmp17 < 0L) { 6116 _L: /* CIL Label */ 6117 { 6118#line 642 6119 __cil_tmp18 = (unsigned long )sensor; 6120#line 642 6121 __cil_tmp19 = __cil_tmp18 + 16; 6122#line 642 6123 __cil_tmp20 = *((struct atk_data **)__cil_tmp19); 6124#line 642 6125 __cil_tmp21 = (unsigned long )__cil_tmp20; 6126#line 642 6127 __cil_tmp22 = __cil_tmp21 + 24; 6128#line 642 6129 if (*((bool *)__cil_tmp22)) { 6130 { 6131#line 643 6132 err = atk_read_value_old(sensor, value); 6133 } 6134 } else { 6135 { 6136#line 645 6137 err = atk_read_value_new(sensor, value); 6138 } 6139 } 6140 } 6141#line 647 6142 __cil_tmp23 = (unsigned long )sensor; 6143#line 647 6144 __cil_tmp24 = __cil_tmp23 + 264; 6145#line 647 6146 *((bool *)__cil_tmp24) = (bool )1; 6147#line 648 6148 __cil_tmp25 = (unsigned long )sensor; 6149#line 648 6150 __cil_tmp26 = __cil_tmp25 + 256; 6151#line 648 6152 *((unsigned long *)__cil_tmp26) = (unsigned long )jiffies; 6153#line 649 6154 __cil_tmp27 = (unsigned long )sensor; 6155#line 649 6156 __cil_tmp28 = __cil_tmp27 + 248; 6157#line 649 6158 *((u64 *)__cil_tmp28) = *value; 6159 } else { 6160#line 651 6161 __cil_tmp29 = (unsigned long )sensor; 6162#line 651 6163 __cil_tmp30 = __cil_tmp29 + 248; 6164#line 651 6165 *value = *((u64 *)__cil_tmp30); 6166#line 652 6167 err = 0; 6168 } 6169 } 6170 } 6171 } 6172#line 655 6173 return (err); 6174} 6175} 6176#line 659 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 6177static int atk_debugfs_gitm_get(void *p , u64 *val ) 6178{ struct atk_data *data ; 6179 union acpi_object *ret ; 6180 struct atk_acpi_ret_buffer *buf ; 6181 int err ; 6182 long tmp___7 ; 6183 long tmp___8 ; 6184 unsigned long __cil_tmp9 ; 6185 unsigned long __cil_tmp10 ; 6186 acpi_handle __cil_tmp11 ; 6187 unsigned long __cil_tmp12 ; 6188 unsigned long __cil_tmp13 ; 6189 unsigned long __cil_tmp14 ; 6190 u32 __cil_tmp15 ; 6191 unsigned long __cil_tmp16 ; 6192 unsigned long __cil_tmp17 ; 6193 unsigned long __cil_tmp18 ; 6194 u32 __cil_tmp19 ; 6195 u64 __cil_tmp20 ; 6196 void const *__cil_tmp21 ; 6197 void const *__cil_tmp22 ; 6198 unsigned long __cil_tmp23 ; 6199 unsigned long __cil_tmp24 ; 6200 unsigned long __cil_tmp25 ; 6201 u8 *__cil_tmp26 ; 6202 unsigned long __cil_tmp27 ; 6203 unsigned long __cil_tmp28 ; 6204 u32 __cil_tmp29 ; 6205 void const *__cil_tmp30 ; 6206 6207 { 6208#line 661 6209 data = (struct atk_data *)p; 6210#line 664 6211 err = 0; 6212 { 6213#line 666 6214 __cil_tmp9 = (unsigned long )data; 6215#line 666 6216 __cil_tmp10 = __cil_tmp9 + 64; 6217#line 666 6218 __cil_tmp11 = *((acpi_handle *)__cil_tmp10); 6219#line 666 6220 if (! __cil_tmp11) { 6221#line 667 6222 return (-19); 6223 } else { 6224 6225 } 6226 } 6227 { 6228#line 669 6229 __cil_tmp12 = 112 + 8; 6230#line 669 6231 __cil_tmp13 = (unsigned long )data; 6232#line 669 6233 __cil_tmp14 = __cil_tmp13 + __cil_tmp12; 6234#line 669 6235 __cil_tmp15 = *((u32 *)__cil_tmp14); 6236#line 669 6237 if (! __cil_tmp15) { 6238#line 670 6239 return (-22); 6240 } else { 6241 6242 } 6243 } 6244 { 6245#line 672 6246 __cil_tmp16 = 112 + 8; 6247#line 672 6248 __cil_tmp17 = (unsigned long )data; 6249#line 672 6250 __cil_tmp18 = __cil_tmp17 + __cil_tmp16; 6251#line 672 6252 __cil_tmp19 = *((u32 *)__cil_tmp18); 6253#line 672 6254 __cil_tmp20 = (u64 )__cil_tmp19; 6255#line 672 6256 ret = atk_gitm(data, __cil_tmp20); 6257#line 673 6258 __cil_tmp21 = (void const *)ret; 6259#line 673 6260 tmp___8 = (long )IS_ERR(__cil_tmp21); 6261 } 6262#line 673 6263 if (tmp___8) { 6264 { 6265#line 674 6266 __cil_tmp22 = (void const *)ret; 6267#line 674 6268 tmp___7 = (long )PTR_ERR(__cil_tmp22); 6269 } 6270#line 674 6271 return ((int )tmp___7); 6272 } else { 6273 6274 } 6275#line 676 6276 __cil_tmp23 = 0 + 8; 6277#line 676 6278 __cil_tmp24 = (unsigned long )ret; 6279#line 676 6280 __cil_tmp25 = __cil_tmp24 + __cil_tmp23; 6281#line 676 6282 __cil_tmp26 = *((u8 **)__cil_tmp25); 6283#line 676 6284 buf = (struct atk_acpi_ret_buffer *)__cil_tmp26; 6285#line 677 6286 if (*((u32 *)buf)) { 6287#line 678 6288 __cil_tmp27 = (unsigned long )buf; 6289#line 678 6290 __cil_tmp28 = __cil_tmp27 + 4; 6291#line 678 6292 __cil_tmp29 = *((u32 *)__cil_tmp28); 6293#line 678 6294 *val = (u64 )__cil_tmp29; 6295 } else { 6296#line 680 6297 err = -5; 6298 } 6299 { 6300#line 682 6301 __cil_tmp30 = (void const *)ret; 6302#line 682 6303 kfree(__cil_tmp30); 6304 } 6305#line 683 6306 return (err); 6307} 6308} 6309#line 686 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 6310static int atk_debugfs_gitm_open(struct inode *inode , struct file *file ) 6311{ int tmp___7 ; 6312 void *__cil_tmp4 ; 6313 int (*__cil_tmp5)(void * , u64 ) ; 6314 6315 { 6316 { 6317#line 686 6318 __simple_attr_check_format("0x%08llx\n", 0ULL); 6319#line 686 6320 __cil_tmp4 = (void *)0; 6321#line 686 6322 __cil_tmp5 = (int (*)(void * , u64 ))__cil_tmp4; 6323#line 686 6324 tmp___7 = simple_attr_open(inode, file, & atk_debugfs_gitm_get, __cil_tmp5, "0x%08llx\n"); 6325 } 6326#line 686 6327 return (tmp___7); 6328} 6329} 6330#line 686 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 6331static struct file_operations const atk_debugfs_gitm = 6332#line 686 6333 {& __this_module, & generic_file_llseek, & simple_attr_read, & simple_attr_write, 6334 (ssize_t (*)(struct kiocb * , struct iovec const * , unsigned long , loff_t ))0, 6335 (ssize_t (*)(struct kiocb * , struct iovec const * , unsigned long , loff_t ))0, 6336 (int (*)(struct file * , void * , int (*)(void * , char const * , int , loff_t , 6337 u64 , unsigned int ) ))0, (unsigned int (*)(struct file * , 6338 struct poll_table_struct * ))0, 6339 (long (*)(struct file * , unsigned int , unsigned long ))0, (long (*)(struct file * , 6340 unsigned int , 6341 unsigned long ))0, 6342 (int (*)(struct file * , struct vm_area_struct * ))0, & atk_debugfs_gitm_open, 6343 (int (*)(struct file * , fl_owner_t id ))0, & simple_attr_release, (int (*)(struct file * , 6344 loff_t , 6345 loff_t , 6346 int datasync ))0, 6347 (int (*)(struct kiocb * , int datasync ))0, (int (*)(int , struct file * , int ))0, 6348 (int (*)(struct file * , int , struct file_lock * ))0, (ssize_t (*)(struct file * , 6349 struct page * , 6350 int , size_t , 6351 loff_t * , 6352 int ))0, 6353 (unsigned long (*)(struct file * , unsigned long , unsigned long , unsigned long , 6354 unsigned long ))0, (int (*)(int ))0, (int (*)(struct file * , 6355 int , struct file_lock * ))0, 6356 (ssize_t (*)(struct pipe_inode_info * , struct file * , loff_t * , size_t , unsigned int ))0, 6357 (ssize_t (*)(struct file * , loff_t * , struct pipe_inode_info * , size_t , unsigned int ))0, 6358 (int (*)(struct file * , long , struct file_lock ** ))0, (long (*)(struct file *file , 6359 int mode , 6360 loff_t offset , 6361 loff_t len ))0}; 6362#line 691 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/6030/dscv_tempdir/dscv/ri/32_1/drivers/hwmon/asus_atk0110.c.common.c" 6363static int atk_acpi_print(char *buf , size_t sz , union acpi_object *obj ) 6364{ int ret ; 6365 acpi_object_type __cil_tmp5 ; 6366</

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--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file:	11711
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 229

Source: