1
2
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 221 "include/linux/types.h"
103struct __anonstruct_atomic_t_6 {
104 int counter ;
105};
106#line 221 "include/linux/types.h"
107typedef struct __anonstruct_atomic_t_6 atomic_t;
108#line 226 "include/linux/types.h"
109struct __anonstruct_atomic64_t_7 {
110 long counter ;
111};
112#line 226 "include/linux/types.h"
113typedef struct __anonstruct_atomic64_t_7 atomic64_t;
114#line 227 "include/linux/types.h"
115struct list_head {
116 struct list_head *next ;
117 struct list_head *prev ;
118};
119#line 232
120struct hlist_node;
121#line 232 "include/linux/types.h"
122struct hlist_head {
123 struct hlist_node *first ;
124};
125#line 236 "include/linux/types.h"
126struct hlist_node {
127 struct hlist_node *next ;
128 struct hlist_node **pprev ;
129};
130#line 247 "include/linux/types.h"
131struct rcu_head {
132 struct rcu_head *next ;
133 void (*func)(struct rcu_head * ) ;
134};
135#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
136struct module;
137#line 55
138struct module;
139#line 146 "include/linux/init.h"
140typedef void (*ctor_fn_t)(void);
141#line 305 "include/linux/printk.h"
142struct _ddebug {
143 char const *modname ;
144 char const *function ;
145 char const *filename ;
146 char const *format ;
147 unsigned int lineno : 18 ;
148 unsigned char flags ;
149};
150#line 46 "include/linux/dynamic_debug.h"
151struct device;
152#line 46
153struct device;
154#line 57
155struct completion;
156#line 57
157struct completion;
158#line 58
159struct pt_regs;
160#line 58
161struct pt_regs;
162#line 348 "include/linux/kernel.h"
163struct pid;
164#line 348
165struct pid;
166#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h"
167struct timespec;
168#line 112
169struct timespec;
170#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h"
171struct page;
172#line 58
173struct page;
174#line 26 "include/asm-generic/getorder.h"
175struct task_struct;
176#line 26
177struct task_struct;
178#line 28
179struct mm_struct;
180#line 28
181struct mm_struct;
182#line 268 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/segment.h"
183struct pt_regs {
184 unsigned long r15 ;
185 unsigned long r14 ;
186 unsigned long r13 ;
187 unsigned long r12 ;
188 unsigned long bp ;
189 unsigned long bx ;
190 unsigned long r11 ;
191 unsigned long r10 ;
192 unsigned long r9 ;
193 unsigned long r8 ;
194 unsigned long ax ;
195 unsigned long cx ;
196 unsigned long dx ;
197 unsigned long si ;
198 unsigned long di ;
199 unsigned long orig_ax ;
200 unsigned long ip ;
201 unsigned long cs ;
202 unsigned long flags ;
203 unsigned long sp ;
204 unsigned long ss ;
205};
206#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
207struct __anonstruct_ldv_2180_13 {
208 unsigned int a ;
209 unsigned int b ;
210};
211#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
212struct __anonstruct_ldv_2195_14 {
213 u16 limit0 ;
214 u16 base0 ;
215 unsigned char base1 ;
216 unsigned char type : 4 ;
217 unsigned char s : 1 ;
218 unsigned char dpl : 2 ;
219 unsigned char p : 1 ;
220 unsigned char limit : 4 ;
221 unsigned char avl : 1 ;
222 unsigned char l : 1 ;
223 unsigned char d : 1 ;
224 unsigned char g : 1 ;
225 unsigned char base2 ;
226};
227#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
228union __anonunion_ldv_2196_12 {
229 struct __anonstruct_ldv_2180_13 ldv_2180 ;
230 struct __anonstruct_ldv_2195_14 ldv_2195 ;
231};
232#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
233struct desc_struct {
234 union __anonunion_ldv_2196_12 ldv_2196 ;
235};
236#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
237typedef unsigned long pgdval_t;
238#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
239typedef unsigned long pgprotval_t;
240#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
241struct pgprot {
242 pgprotval_t pgprot ;
243};
244#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
245typedef struct pgprot pgprot_t;
246#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
247struct __anonstruct_pgd_t_16 {
248 pgdval_t pgd ;
249};
250#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
251typedef struct __anonstruct_pgd_t_16 pgd_t;
252#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
253typedef struct page *pgtable_t;
254#line 290
255struct file;
256#line 290
257struct file;
258#line 305
259struct seq_file;
260#line 305
261struct seq_file;
262#line 337
263struct thread_struct;
264#line 337
265struct thread_struct;
266#line 339
267struct cpumask;
268#line 339
269struct cpumask;
270#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
271struct arch_spinlock;
272#line 327
273struct arch_spinlock;
274#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
275struct kernel_vm86_regs {
276 struct pt_regs pt ;
277 unsigned short es ;
278 unsigned short __esh ;
279 unsigned short ds ;
280 unsigned short __dsh ;
281 unsigned short fs ;
282 unsigned short __fsh ;
283 unsigned short gs ;
284 unsigned short __gsh ;
285};
286#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
287union __anonunion_ldv_2824_19 {
288 struct pt_regs *regs ;
289 struct kernel_vm86_regs *vm86 ;
290};
291#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
292struct math_emu_info {
293 long ___orig_eip ;
294 union __anonunion_ldv_2824_19 ldv_2824 ;
295};
296#line 306 "include/linux/bitmap.h"
297struct bug_entry {
298 int bug_addr_disp ;
299 int file_disp ;
300 unsigned short line ;
301 unsigned short flags ;
302};
303#line 89 "include/linux/bug.h"
304struct cpumask {
305 unsigned long bits[64U] ;
306};
307#line 14 "include/linux/cpumask.h"
308typedef struct cpumask cpumask_t;
309#line 637 "include/linux/cpumask.h"
310typedef struct cpumask *cpumask_var_t;
311#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
312struct static_key;
313#line 234
314struct static_key;
315#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
316struct i387_fsave_struct {
317 u32 cwd ;
318 u32 swd ;
319 u32 twd ;
320 u32 fip ;
321 u32 fcs ;
322 u32 foo ;
323 u32 fos ;
324 u32 st_space[20U] ;
325 u32 status ;
326};
327#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
328struct __anonstruct_ldv_5180_24 {
329 u64 rip ;
330 u64 rdp ;
331};
332#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
333struct __anonstruct_ldv_5186_25 {
334 u32 fip ;
335 u32 fcs ;
336 u32 foo ;
337 u32 fos ;
338};
339#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
340union __anonunion_ldv_5187_23 {
341 struct __anonstruct_ldv_5180_24 ldv_5180 ;
342 struct __anonstruct_ldv_5186_25 ldv_5186 ;
343};
344#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
345union __anonunion_ldv_5196_26 {
346 u32 padding1[12U] ;
347 u32 sw_reserved[12U] ;
348};
349#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
350struct i387_fxsave_struct {
351 u16 cwd ;
352 u16 swd ;
353 u16 twd ;
354 u16 fop ;
355 union __anonunion_ldv_5187_23 ldv_5187 ;
356 u32 mxcsr ;
357 u32 mxcsr_mask ;
358 u32 st_space[32U] ;
359 u32 xmm_space[64U] ;
360 u32 padding[12U] ;
361 union __anonunion_ldv_5196_26 ldv_5196 ;
362};
363#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
364struct i387_soft_struct {
365 u32 cwd ;
366 u32 swd ;
367 u32 twd ;
368 u32 fip ;
369 u32 fcs ;
370 u32 foo ;
371 u32 fos ;
372 u32 st_space[20U] ;
373 u8 ftop ;
374 u8 changed ;
375 u8 lookahead ;
376 u8 no_update ;
377 u8 rm ;
378 u8 alimit ;
379 struct math_emu_info *info ;
380 u32 entry_eip ;
381};
382#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
383struct ymmh_struct {
384 u32 ymmh_space[64U] ;
385};
386#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
387struct xsave_hdr_struct {
388 u64 xstate_bv ;
389 u64 reserved1[2U] ;
390 u64 reserved2[5U] ;
391};
392#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
393struct xsave_struct {
394 struct i387_fxsave_struct i387 ;
395 struct xsave_hdr_struct xsave_hdr ;
396 struct ymmh_struct ymmh ;
397};
398#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
399union thread_xstate {
400 struct i387_fsave_struct fsave ;
401 struct i387_fxsave_struct fxsave ;
402 struct i387_soft_struct soft ;
403 struct xsave_struct xsave ;
404};
405#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
406struct fpu {
407 unsigned int last_cpu ;
408 unsigned int has_fpu ;
409 union thread_xstate *state ;
410};
411#line 433
412struct kmem_cache;
413#line 434
414struct perf_event;
415#line 434
416struct perf_event;
417#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
418struct thread_struct {
419 struct desc_struct tls_array[3U] ;
420 unsigned long sp0 ;
421 unsigned long sp ;
422 unsigned long usersp ;
423 unsigned short es ;
424 unsigned short ds ;
425 unsigned short fsindex ;
426 unsigned short gsindex ;
427 unsigned long fs ;
428 unsigned long gs ;
429 struct perf_event *ptrace_bps[4U] ;
430 unsigned long debugreg6 ;
431 unsigned long ptrace_dr7 ;
432 unsigned long cr2 ;
433 unsigned long trap_nr ;
434 unsigned long error_code ;
435 struct fpu fpu ;
436 unsigned long *io_bitmap_ptr ;
437 unsigned long iopl ;
438 unsigned int io_bitmap_max ;
439};
440#line 23 "include/asm-generic/atomic-long.h"
441typedef atomic64_t atomic_long_t;
442#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
443typedef u16 __ticket_t;
444#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
445typedef u32 __ticketpair_t;
446#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
447struct __raw_tickets {
448 __ticket_t head ;
449 __ticket_t tail ;
450};
451#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
452union __anonunion_ldv_5907_29 {
453 __ticketpair_t head_tail ;
454 struct __raw_tickets tickets ;
455};
456#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
457struct arch_spinlock {
458 union __anonunion_ldv_5907_29 ldv_5907 ;
459};
460#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
461typedef struct arch_spinlock arch_spinlock_t;
462#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
463struct __anonstruct_ldv_5914_31 {
464 u32 read ;
465 s32 write ;
466};
467#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
468union __anonunion_arch_rwlock_t_30 {
469 s64 lock ;
470 struct __anonstruct_ldv_5914_31 ldv_5914 ;
471};
472#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
473typedef union __anonunion_arch_rwlock_t_30 arch_rwlock_t;
474#line 34
475struct lockdep_map;
476#line 34
477struct lockdep_map;
478#line 55 "include/linux/debug_locks.h"
479struct stack_trace {
480 unsigned int nr_entries ;
481 unsigned int max_entries ;
482 unsigned long *entries ;
483 int skip ;
484};
485#line 26 "include/linux/stacktrace.h"
486struct lockdep_subclass_key {
487 char __one_byte ;
488};
489#line 53 "include/linux/lockdep.h"
490struct lock_class_key {
491 struct lockdep_subclass_key subkeys[8U] ;
492};
493#line 59 "include/linux/lockdep.h"
494struct lock_class {
495 struct list_head hash_entry ;
496 struct list_head lock_entry ;
497 struct lockdep_subclass_key *key ;
498 unsigned int subclass ;
499 unsigned int dep_gen_id ;
500 unsigned long usage_mask ;
501 struct stack_trace usage_traces[13U] ;
502 struct list_head locks_after ;
503 struct list_head locks_before ;
504 unsigned int version ;
505 unsigned long ops ;
506 char const *name ;
507 int name_version ;
508 unsigned long contention_point[4U] ;
509 unsigned long contending_point[4U] ;
510};
511#line 144 "include/linux/lockdep.h"
512struct lockdep_map {
513 struct lock_class_key *key ;
514 struct lock_class *class_cache[2U] ;
515 char const *name ;
516 int cpu ;
517 unsigned long ip ;
518};
519#line 187 "include/linux/lockdep.h"
520struct held_lock {
521 u64 prev_chain_key ;
522 unsigned long acquire_ip ;
523 struct lockdep_map *instance ;
524 struct lockdep_map *nest_lock ;
525 u64 waittime_stamp ;
526 u64 holdtime_stamp ;
527 unsigned short class_idx : 13 ;
528 unsigned char irq_context : 2 ;
529 unsigned char trylock : 1 ;
530 unsigned char read : 2 ;
531 unsigned char check : 2 ;
532 unsigned char hardirqs_off : 1 ;
533 unsigned short references : 11 ;
534};
535#line 556 "include/linux/lockdep.h"
536struct raw_spinlock {
537 arch_spinlock_t raw_lock ;
538 unsigned int magic ;
539 unsigned int owner_cpu ;
540 void *owner ;
541 struct lockdep_map dep_map ;
542};
543#line 32 "include/linux/spinlock_types.h"
544typedef struct raw_spinlock raw_spinlock_t;
545#line 33 "include/linux/spinlock_types.h"
546struct __anonstruct_ldv_6122_33 {
547 u8 __padding[24U] ;
548 struct lockdep_map dep_map ;
549};
550#line 33 "include/linux/spinlock_types.h"
551union __anonunion_ldv_6123_32 {
552 struct raw_spinlock rlock ;
553 struct __anonstruct_ldv_6122_33 ldv_6122 ;
554};
555#line 33 "include/linux/spinlock_types.h"
556struct spinlock {
557 union __anonunion_ldv_6123_32 ldv_6123 ;
558};
559#line 76 "include/linux/spinlock_types.h"
560typedef struct spinlock spinlock_t;
561#line 23 "include/linux/rwlock_types.h"
562struct __anonstruct_rwlock_t_34 {
563 arch_rwlock_t raw_lock ;
564 unsigned int magic ;
565 unsigned int owner_cpu ;
566 void *owner ;
567 struct lockdep_map dep_map ;
568};
569#line 23 "include/linux/rwlock_types.h"
570typedef struct __anonstruct_rwlock_t_34 rwlock_t;
571#line 110 "include/linux/seqlock.h"
572struct seqcount {
573 unsigned int sequence ;
574};
575#line 121 "include/linux/seqlock.h"
576typedef struct seqcount seqcount_t;
577#line 254 "include/linux/seqlock.h"
578struct timespec {
579 __kernel_time_t tv_sec ;
580 long tv_nsec ;
581};
582#line 286 "include/linux/time.h"
583struct kstat {
584 u64 ino ;
585 dev_t dev ;
586 umode_t mode ;
587 unsigned int nlink ;
588 uid_t uid ;
589 gid_t gid ;
590 dev_t rdev ;
591 loff_t size ;
592 struct timespec atime ;
593 struct timespec mtime ;
594 struct timespec ctime ;
595 unsigned long blksize ;
596 unsigned long long blocks ;
597};
598#line 48 "include/linux/wait.h"
599struct __wait_queue_head {
600 spinlock_t lock ;
601 struct list_head task_list ;
602};
603#line 53 "include/linux/wait.h"
604typedef struct __wait_queue_head wait_queue_head_t;
605#line 98 "include/linux/nodemask.h"
606struct __anonstruct_nodemask_t_36 {
607 unsigned long bits[16U] ;
608};
609#line 98 "include/linux/nodemask.h"
610typedef struct __anonstruct_nodemask_t_36 nodemask_t;
611#line 670 "include/linux/mmzone.h"
612struct mutex {
613 atomic_t count ;
614 spinlock_t wait_lock ;
615 struct list_head wait_list ;
616 struct task_struct *owner ;
617 char const *name ;
618 void *magic ;
619 struct lockdep_map dep_map ;
620};
621#line 63 "include/linux/mutex.h"
622struct mutex_waiter {
623 struct list_head list ;
624 struct task_struct *task ;
625 void *magic ;
626};
627#line 171
628struct rw_semaphore;
629#line 171
630struct rw_semaphore;
631#line 172 "include/linux/mutex.h"
632struct rw_semaphore {
633 long count ;
634 raw_spinlock_t wait_lock ;
635 struct list_head wait_list ;
636 struct lockdep_map dep_map ;
637};
638#line 128 "include/linux/rwsem.h"
639struct completion {
640 unsigned int done ;
641 wait_queue_head_t wait ;
642};
643#line 312 "include/linux/jiffies.h"
644union ktime {
645 s64 tv64 ;
646};
647#line 59 "include/linux/ktime.h"
648typedef union ktime ktime_t;
649#line 341
650struct tvec_base;
651#line 341
652struct tvec_base;
653#line 342 "include/linux/ktime.h"
654struct timer_list {
655 struct list_head entry ;
656 unsigned long expires ;
657 struct tvec_base *base ;
658 void (*function)(unsigned long ) ;
659 unsigned long data ;
660 int slack ;
661 int start_pid ;
662 void *start_site ;
663 char start_comm[16U] ;
664 struct lockdep_map lockdep_map ;
665};
666#line 289 "include/linux/timer.h"
667struct hrtimer;
668#line 289
669struct hrtimer;
670#line 290
671enum hrtimer_restart;
672#line 302
673struct work_struct;
674#line 302
675struct work_struct;
676#line 45 "include/linux/workqueue.h"
677struct work_struct {
678 atomic_long_t data ;
679 struct list_head entry ;
680 void (*func)(struct work_struct * ) ;
681 struct lockdep_map lockdep_map ;
682};
683#line 86 "include/linux/workqueue.h"
684struct delayed_work {
685 struct work_struct work ;
686 struct timer_list timer ;
687};
688#line 46 "include/linux/pm.h"
689struct pm_message {
690 int event ;
691};
692#line 52 "include/linux/pm.h"
693typedef struct pm_message pm_message_t;
694#line 53 "include/linux/pm.h"
695struct dev_pm_ops {
696 int (*prepare)(struct device * ) ;
697 void (*complete)(struct device * ) ;
698 int (*suspend)(struct device * ) ;
699 int (*resume)(struct device * ) ;
700 int (*freeze)(struct device * ) ;
701 int (*thaw)(struct device * ) ;
702 int (*poweroff)(struct device * ) ;
703 int (*restore)(struct device * ) ;
704 int (*suspend_late)(struct device * ) ;
705 int (*resume_early)(struct device * ) ;
706 int (*freeze_late)(struct device * ) ;
707 int (*thaw_early)(struct device * ) ;
708 int (*poweroff_late)(struct device * ) ;
709 int (*restore_early)(struct device * ) ;
710 int (*suspend_noirq)(struct device * ) ;
711 int (*resume_noirq)(struct device * ) ;
712 int (*freeze_noirq)(struct device * ) ;
713 int (*thaw_noirq)(struct device * ) ;
714 int (*poweroff_noirq)(struct device * ) ;
715 int (*restore_noirq)(struct device * ) ;
716 int (*runtime_suspend)(struct device * ) ;
717 int (*runtime_resume)(struct device * ) ;
718 int (*runtime_idle)(struct device * ) ;
719};
720#line 289
721enum rpm_status {
722 RPM_ACTIVE = 0,
723 RPM_RESUMING = 1,
724 RPM_SUSPENDED = 2,
725 RPM_SUSPENDING = 3
726} ;
727#line 296
728enum rpm_request {
729 RPM_REQ_NONE = 0,
730 RPM_REQ_IDLE = 1,
731 RPM_REQ_SUSPEND = 2,
732 RPM_REQ_AUTOSUSPEND = 3,
733 RPM_REQ_RESUME = 4
734} ;
735#line 304
736struct wakeup_source;
737#line 304
738struct wakeup_source;
739#line 494 "include/linux/pm.h"
740struct pm_subsys_data {
741 spinlock_t lock ;
742 unsigned int refcount ;
743};
744#line 499
745struct dev_pm_qos_request;
746#line 499
747struct pm_qos_constraints;
748#line 499 "include/linux/pm.h"
749struct dev_pm_info {
750 pm_message_t power_state ;
751 unsigned char can_wakeup : 1 ;
752 unsigned char async_suspend : 1 ;
753 bool is_prepared ;
754 bool is_suspended ;
755 bool ignore_children ;
756 spinlock_t lock ;
757 struct list_head entry ;
758 struct completion completion ;
759 struct wakeup_source *wakeup ;
760 bool wakeup_path ;
761 struct timer_list suspend_timer ;
762 unsigned long timer_expires ;
763 struct work_struct work ;
764 wait_queue_head_t wait_queue ;
765 atomic_t usage_count ;
766 atomic_t child_count ;
767 unsigned char disable_depth : 3 ;
768 unsigned char idle_notification : 1 ;
769 unsigned char request_pending : 1 ;
770 unsigned char deferred_resume : 1 ;
771 unsigned char run_wake : 1 ;
772 unsigned char runtime_auto : 1 ;
773 unsigned char no_callbacks : 1 ;
774 unsigned char irq_safe : 1 ;
775 unsigned char use_autosuspend : 1 ;
776 unsigned char timer_autosuspends : 1 ;
777 enum rpm_request request ;
778 enum rpm_status runtime_status ;
779 int runtime_error ;
780 int autosuspend_delay ;
781 unsigned long last_busy ;
782 unsigned long active_jiffies ;
783 unsigned long suspended_jiffies ;
784 unsigned long accounting_timestamp ;
785 ktime_t suspend_time ;
786 s64 max_time_suspended_ns ;
787 struct dev_pm_qos_request *pq_req ;
788 struct pm_subsys_data *subsys_data ;
789 struct pm_qos_constraints *constraints ;
790};
791#line 558 "include/linux/pm.h"
792struct dev_pm_domain {
793 struct dev_pm_ops ops ;
794};
795#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
796struct __anonstruct_mm_context_t_101 {
797 void *ldt ;
798 int size ;
799 unsigned short ia32_compat ;
800 struct mutex lock ;
801 void *vdso ;
802};
803#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
804typedef struct __anonstruct_mm_context_t_101 mm_context_t;
805#line 18 "include/asm-generic/pci_iomap.h"
806struct vm_area_struct;
807#line 18
808struct vm_area_struct;
809#line 835 "include/linux/sysctl.h"
810struct rb_node {
811 unsigned long rb_parent_color ;
812 struct rb_node *rb_right ;
813 struct rb_node *rb_left ;
814};
815#line 108 "include/linux/rbtree.h"
816struct rb_root {
817 struct rb_node *rb_node ;
818};
819#line 176
820struct nsproxy;
821#line 176
822struct nsproxy;
823#line 37 "include/linux/kmod.h"
824struct cred;
825#line 37
826struct cred;
827#line 18 "include/linux/elf.h"
828typedef __u64 Elf64_Addr;
829#line 19 "include/linux/elf.h"
830typedef __u16 Elf64_Half;
831#line 23 "include/linux/elf.h"
832typedef __u32 Elf64_Word;
833#line 24 "include/linux/elf.h"
834typedef __u64 Elf64_Xword;
835#line 193 "include/linux/elf.h"
836struct elf64_sym {
837 Elf64_Word st_name ;
838 unsigned char st_info ;
839 unsigned char st_other ;
840 Elf64_Half st_shndx ;
841 Elf64_Addr st_value ;
842 Elf64_Xword st_size ;
843};
844#line 201 "include/linux/elf.h"
845typedef struct elf64_sym Elf64_Sym;
846#line 445
847struct sock;
848#line 445
849struct sock;
850#line 446
851struct kobject;
852#line 446
853struct kobject;
854#line 447
855enum kobj_ns_type {
856 KOBJ_NS_TYPE_NONE = 0,
857 KOBJ_NS_TYPE_NET = 1,
858 KOBJ_NS_TYPES = 2
859} ;
860#line 453 "include/linux/elf.h"
861struct kobj_ns_type_operations {
862 enum kobj_ns_type type ;
863 void *(*grab_current_ns)(void) ;
864 void const *(*netlink_ns)(struct sock * ) ;
865 void const *(*initial_ns)(void) ;
866 void (*drop_ns)(void * ) ;
867};
868#line 57 "include/linux/kobject_ns.h"
869struct attribute {
870 char const *name ;
871 umode_t mode ;
872 struct lock_class_key *key ;
873 struct lock_class_key skey ;
874};
875#line 33 "include/linux/sysfs.h"
876struct attribute_group {
877 char const *name ;
878 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
879 struct attribute **attrs ;
880};
881#line 62 "include/linux/sysfs.h"
882struct bin_attribute {
883 struct attribute attr ;
884 size_t size ;
885 void *private ;
886 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
887 loff_t , size_t ) ;
888 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
889 loff_t , size_t ) ;
890 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
891};
892#line 98 "include/linux/sysfs.h"
893struct sysfs_ops {
894 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
895 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
896 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
897};
898#line 117
899struct sysfs_dirent;
900#line 117
901struct sysfs_dirent;
902#line 182 "include/linux/sysfs.h"
903struct kref {
904 atomic_t refcount ;
905};
906#line 49 "include/linux/kobject.h"
907struct kset;
908#line 49
909struct kobj_type;
910#line 49 "include/linux/kobject.h"
911struct kobject {
912 char const *name ;
913 struct list_head entry ;
914 struct kobject *parent ;
915 struct kset *kset ;
916 struct kobj_type *ktype ;
917 struct sysfs_dirent *sd ;
918 struct kref kref ;
919 unsigned char state_initialized : 1 ;
920 unsigned char state_in_sysfs : 1 ;
921 unsigned char state_add_uevent_sent : 1 ;
922 unsigned char state_remove_uevent_sent : 1 ;
923 unsigned char uevent_suppress : 1 ;
924};
925#line 107 "include/linux/kobject.h"
926struct kobj_type {
927 void (*release)(struct kobject * ) ;
928 struct sysfs_ops const *sysfs_ops ;
929 struct attribute **default_attrs ;
930 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
931 void const *(*namespace)(struct kobject * ) ;
932};
933#line 115 "include/linux/kobject.h"
934struct kobj_uevent_env {
935 char *envp[32U] ;
936 int envp_idx ;
937 char buf[2048U] ;
938 int buflen ;
939};
940#line 122 "include/linux/kobject.h"
941struct kset_uevent_ops {
942 int (* const filter)(struct kset * , struct kobject * ) ;
943 char const *(* const name)(struct kset * , struct kobject * ) ;
944 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
945};
946#line 139 "include/linux/kobject.h"
947struct kset {
948 struct list_head list ;
949 spinlock_t list_lock ;
950 struct kobject kobj ;
951 struct kset_uevent_ops const *uevent_ops ;
952};
953#line 215
954struct kernel_param;
955#line 215
956struct kernel_param;
957#line 216 "include/linux/kobject.h"
958struct kernel_param_ops {
959 int (*set)(char const * , struct kernel_param const * ) ;
960 int (*get)(char * , struct kernel_param const * ) ;
961 void (*free)(void * ) ;
962};
963#line 49 "include/linux/moduleparam.h"
964struct kparam_string;
965#line 49
966struct kparam_array;
967#line 49 "include/linux/moduleparam.h"
968union __anonunion_ldv_13363_134 {
969 void *arg ;
970 struct kparam_string const *str ;
971 struct kparam_array const *arr ;
972};
973#line 49 "include/linux/moduleparam.h"
974struct kernel_param {
975 char const *name ;
976 struct kernel_param_ops const *ops ;
977 u16 perm ;
978 s16 level ;
979 union __anonunion_ldv_13363_134 ldv_13363 ;
980};
981#line 61 "include/linux/moduleparam.h"
982struct kparam_string {
983 unsigned int maxlen ;
984 char *string ;
985};
986#line 67 "include/linux/moduleparam.h"
987struct kparam_array {
988 unsigned int max ;
989 unsigned int elemsize ;
990 unsigned int *num ;
991 struct kernel_param_ops const *ops ;
992 void *elem ;
993};
994#line 458 "include/linux/moduleparam.h"
995struct static_key {
996 atomic_t enabled ;
997};
998#line 225 "include/linux/jump_label.h"
999struct tracepoint;
1000#line 225
1001struct tracepoint;
1002#line 226 "include/linux/jump_label.h"
1003struct tracepoint_func {
1004 void *func ;
1005 void *data ;
1006};
1007#line 29 "include/linux/tracepoint.h"
1008struct tracepoint {
1009 char const *name ;
1010 struct static_key key ;
1011 void (*regfunc)(void) ;
1012 void (*unregfunc)(void) ;
1013 struct tracepoint_func *funcs ;
1014};
1015#line 86 "include/linux/tracepoint.h"
1016struct kernel_symbol {
1017 unsigned long value ;
1018 char const *name ;
1019};
1020#line 27 "include/linux/export.h"
1021struct mod_arch_specific {
1022
1023};
1024#line 34 "include/linux/module.h"
1025struct module_param_attrs;
1026#line 34 "include/linux/module.h"
1027struct module_kobject {
1028 struct kobject kobj ;
1029 struct module *mod ;
1030 struct kobject *drivers_dir ;
1031 struct module_param_attrs *mp ;
1032};
1033#line 43 "include/linux/module.h"
1034struct module_attribute {
1035 struct attribute attr ;
1036 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1037 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1038 size_t ) ;
1039 void (*setup)(struct module * , char const * ) ;
1040 int (*test)(struct module * ) ;
1041 void (*free)(struct module * ) ;
1042};
1043#line 69
1044struct exception_table_entry;
1045#line 69
1046struct exception_table_entry;
1047#line 198
1048enum module_state {
1049 MODULE_STATE_LIVE = 0,
1050 MODULE_STATE_COMING = 1,
1051 MODULE_STATE_GOING = 2
1052} ;
1053#line 204 "include/linux/module.h"
1054struct module_ref {
1055 unsigned long incs ;
1056 unsigned long decs ;
1057};
1058#line 219
1059struct module_sect_attrs;
1060#line 219
1061struct module_notes_attrs;
1062#line 219
1063struct ftrace_event_call;
1064#line 219 "include/linux/module.h"
1065struct module {
1066 enum module_state state ;
1067 struct list_head list ;
1068 char name[56U] ;
1069 struct module_kobject mkobj ;
1070 struct module_attribute *modinfo_attrs ;
1071 char const *version ;
1072 char const *srcversion ;
1073 struct kobject *holders_dir ;
1074 struct kernel_symbol const *syms ;
1075 unsigned long const *crcs ;
1076 unsigned int num_syms ;
1077 struct kernel_param *kp ;
1078 unsigned int num_kp ;
1079 unsigned int num_gpl_syms ;
1080 struct kernel_symbol const *gpl_syms ;
1081 unsigned long const *gpl_crcs ;
1082 struct kernel_symbol const *unused_syms ;
1083 unsigned long const *unused_crcs ;
1084 unsigned int num_unused_syms ;
1085 unsigned int num_unused_gpl_syms ;
1086 struct kernel_symbol const *unused_gpl_syms ;
1087 unsigned long const *unused_gpl_crcs ;
1088 struct kernel_symbol const *gpl_future_syms ;
1089 unsigned long const *gpl_future_crcs ;
1090 unsigned int num_gpl_future_syms ;
1091 unsigned int num_exentries ;
1092 struct exception_table_entry *extable ;
1093 int (*init)(void) ;
1094 void *module_init ;
1095 void *module_core ;
1096 unsigned int init_size ;
1097 unsigned int core_size ;
1098 unsigned int init_text_size ;
1099 unsigned int core_text_size ;
1100 unsigned int init_ro_size ;
1101 unsigned int core_ro_size ;
1102 struct mod_arch_specific arch ;
1103 unsigned int taints ;
1104 unsigned int num_bugs ;
1105 struct list_head bug_list ;
1106 struct bug_entry *bug_table ;
1107 Elf64_Sym *symtab ;
1108 Elf64_Sym *core_symtab ;
1109 unsigned int num_symtab ;
1110 unsigned int core_num_syms ;
1111 char *strtab ;
1112 char *core_strtab ;
1113 struct module_sect_attrs *sect_attrs ;
1114 struct module_notes_attrs *notes_attrs ;
1115 char *args ;
1116 void *percpu ;
1117 unsigned int percpu_size ;
1118 unsigned int num_tracepoints ;
1119 struct tracepoint * const *tracepoints_ptrs ;
1120 unsigned int num_trace_bprintk_fmt ;
1121 char const **trace_bprintk_fmt_start ;
1122 struct ftrace_event_call **trace_events ;
1123 unsigned int num_trace_events ;
1124 struct list_head source_list ;
1125 struct list_head target_list ;
1126 struct task_struct *waiter ;
1127 void (*exit)(void) ;
1128 struct module_ref *refptr ;
1129 ctor_fn_t (**ctors)(void) ;
1130 unsigned int num_ctors ;
1131};
1132#line 88 "include/linux/kmemleak.h"
1133struct kmem_cache_cpu {
1134 void **freelist ;
1135 unsigned long tid ;
1136 struct page *page ;
1137 struct page *partial ;
1138 int node ;
1139 unsigned int stat[26U] ;
1140};
1141#line 55 "include/linux/slub_def.h"
1142struct kmem_cache_node {
1143 spinlock_t list_lock ;
1144 unsigned long nr_partial ;
1145 struct list_head partial ;
1146 atomic_long_t nr_slabs ;
1147 atomic_long_t total_objects ;
1148 struct list_head full ;
1149};
1150#line 66 "include/linux/slub_def.h"
1151struct kmem_cache_order_objects {
1152 unsigned long x ;
1153};
1154#line 76 "include/linux/slub_def.h"
1155struct kmem_cache {
1156 struct kmem_cache_cpu *cpu_slab ;
1157 unsigned long flags ;
1158 unsigned long min_partial ;
1159 int size ;
1160 int objsize ;
1161 int offset ;
1162 int cpu_partial ;
1163 struct kmem_cache_order_objects oo ;
1164 struct kmem_cache_order_objects max ;
1165 struct kmem_cache_order_objects min ;
1166 gfp_t allocflags ;
1167 int refcount ;
1168 void (*ctor)(void * ) ;
1169 int inuse ;
1170 int align ;
1171 int reserved ;
1172 char const *name ;
1173 struct list_head list ;
1174 struct kobject kobj ;
1175 int remote_node_defrag_ratio ;
1176 struct kmem_cache_node *node[1024U] ;
1177};
1178#line 15 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
1179struct exception_table_entry {
1180 unsigned long insn ;
1181 unsigned long fixup ;
1182};
1183#line 154 "include/linux/idr.h"
1184struct klist_node;
1185#line 154
1186struct klist_node;
1187#line 37 "include/linux/klist.h"
1188struct klist_node {
1189 void *n_klist ;
1190 struct list_head n_node ;
1191 struct kref n_ref ;
1192};
1193#line 67
1194struct dma_map_ops;
1195#line 67 "include/linux/klist.h"
1196struct dev_archdata {
1197 void *acpi_handle ;
1198 struct dma_map_ops *dma_ops ;
1199 void *iommu ;
1200};
1201#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1202struct device_private;
1203#line 17
1204struct device_private;
1205#line 18
1206struct device_driver;
1207#line 18
1208struct device_driver;
1209#line 19
1210struct driver_private;
1211#line 19
1212struct driver_private;
1213#line 20
1214struct class;
1215#line 20
1216struct class;
1217#line 21
1218struct subsys_private;
1219#line 21
1220struct subsys_private;
1221#line 22
1222struct bus_type;
1223#line 22
1224struct bus_type;
1225#line 23
1226struct device_node;
1227#line 23
1228struct device_node;
1229#line 24
1230struct iommu_ops;
1231#line 24
1232struct iommu_ops;
1233#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1234struct bus_attribute {
1235 struct attribute attr ;
1236 ssize_t (*show)(struct bus_type * , char * ) ;
1237 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
1238};
1239#line 51 "include/linux/device.h"
1240struct device_attribute;
1241#line 51
1242struct driver_attribute;
1243#line 51 "include/linux/device.h"
1244struct bus_type {
1245 char const *name ;
1246 char const *dev_name ;
1247 struct device *dev_root ;
1248 struct bus_attribute *bus_attrs ;
1249 struct device_attribute *dev_attrs ;
1250 struct driver_attribute *drv_attrs ;
1251 int (*match)(struct device * , struct device_driver * ) ;
1252 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1253 int (*probe)(struct device * ) ;
1254 int (*remove)(struct device * ) ;
1255 void (*shutdown)(struct device * ) ;
1256 int (*suspend)(struct device * , pm_message_t ) ;
1257 int (*resume)(struct device * ) ;
1258 struct dev_pm_ops const *pm ;
1259 struct iommu_ops *iommu_ops ;
1260 struct subsys_private *p ;
1261};
1262#line 125
1263struct device_type;
1264#line 182
1265struct of_device_id;
1266#line 182 "include/linux/device.h"
1267struct device_driver {
1268 char const *name ;
1269 struct bus_type *bus ;
1270 struct module *owner ;
1271 char const *mod_name ;
1272 bool suppress_bind_attrs ;
1273 struct of_device_id const *of_match_table ;
1274 int (*probe)(struct device * ) ;
1275 int (*remove)(struct device * ) ;
1276 void (*shutdown)(struct device * ) ;
1277 int (*suspend)(struct device * , pm_message_t ) ;
1278 int (*resume)(struct device * ) ;
1279 struct attribute_group const **groups ;
1280 struct dev_pm_ops const *pm ;
1281 struct driver_private *p ;
1282};
1283#line 245 "include/linux/device.h"
1284struct driver_attribute {
1285 struct attribute attr ;
1286 ssize_t (*show)(struct device_driver * , char * ) ;
1287 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
1288};
1289#line 299
1290struct class_attribute;
1291#line 299 "include/linux/device.h"
1292struct class {
1293 char const *name ;
1294 struct module *owner ;
1295 struct class_attribute *class_attrs ;
1296 struct device_attribute *dev_attrs ;
1297 struct bin_attribute *dev_bin_attrs ;
1298 struct kobject *dev_kobj ;
1299 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1300 char *(*devnode)(struct device * , umode_t * ) ;
1301 void (*class_release)(struct class * ) ;
1302 void (*dev_release)(struct device * ) ;
1303 int (*suspend)(struct device * , pm_message_t ) ;
1304 int (*resume)(struct device * ) ;
1305 struct kobj_ns_type_operations const *ns_type ;
1306 void const *(*namespace)(struct device * ) ;
1307 struct dev_pm_ops const *pm ;
1308 struct subsys_private *p ;
1309};
1310#line 394 "include/linux/device.h"
1311struct class_attribute {
1312 struct attribute attr ;
1313 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1314 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
1315 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
1316};
1317#line 447 "include/linux/device.h"
1318struct device_type {
1319 char const *name ;
1320 struct attribute_group const **groups ;
1321 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1322 char *(*devnode)(struct device * , umode_t * ) ;
1323 void (*release)(struct device * ) ;
1324 struct dev_pm_ops const *pm ;
1325};
1326#line 474 "include/linux/device.h"
1327struct device_attribute {
1328 struct attribute attr ;
1329 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1330 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
1331 size_t ) ;
1332};
1333#line 557 "include/linux/device.h"
1334struct device_dma_parameters {
1335 unsigned int max_segment_size ;
1336 unsigned long segment_boundary_mask ;
1337};
1338#line 567
1339struct dma_coherent_mem;
1340#line 567 "include/linux/device.h"
1341struct device {
1342 struct device *parent ;
1343 struct device_private *p ;
1344 struct kobject kobj ;
1345 char const *init_name ;
1346 struct device_type const *type ;
1347 struct mutex mutex ;
1348 struct bus_type *bus ;
1349 struct device_driver *driver ;
1350 void *platform_data ;
1351 struct dev_pm_info power ;
1352 struct dev_pm_domain *pm_domain ;
1353 int numa_node ;
1354 u64 *dma_mask ;
1355 u64 coherent_dma_mask ;
1356 struct device_dma_parameters *dma_parms ;
1357 struct list_head dma_pools ;
1358 struct dma_coherent_mem *dma_mem ;
1359 struct dev_archdata archdata ;
1360 struct device_node *of_node ;
1361 dev_t devt ;
1362 u32 id ;
1363 spinlock_t devres_lock ;
1364 struct list_head devres_head ;
1365 struct klist_node knode_class ;
1366 struct class *class ;
1367 struct attribute_group const **groups ;
1368 void (*release)(struct device * ) ;
1369};
1370#line 681 "include/linux/device.h"
1371struct wakeup_source {
1372 char const *name ;
1373 struct list_head entry ;
1374 spinlock_t lock ;
1375 struct timer_list timer ;
1376 unsigned long timer_expires ;
1377 ktime_t total_time ;
1378 ktime_t max_time ;
1379 ktime_t last_time ;
1380 unsigned long event_count ;
1381 unsigned long active_count ;
1382 unsigned long relax_count ;
1383 unsigned long hit_count ;
1384 unsigned char active : 1 ;
1385};
1386#line 992
1387struct thermal_cooling_device;
1388#line 992
1389struct thermal_cooling_device;
1390#line 64 "include/linux/thermal.h"
1391struct thermal_cooling_device_ops {
1392 int (*get_max_state)(struct thermal_cooling_device * , unsigned long * ) ;
1393 int (*get_cur_state)(struct thermal_cooling_device * , unsigned long * ) ;
1394 int (*set_cur_state)(struct thermal_cooling_device * , unsigned long ) ;
1395};
1396#line 71 "include/linux/thermal.h"
1397struct thermal_cooling_device {
1398 int id ;
1399 char type[20U] ;
1400 struct device device ;
1401 void *devdata ;
1402 struct thermal_cooling_device_ops const *ops ;
1403 struct list_head node ;
1404};
1405#line 93 "include/linux/capability.h"
1406struct kernel_cap_struct {
1407 __u32 cap[2U] ;
1408};
1409#line 96 "include/linux/capability.h"
1410typedef struct kernel_cap_struct kernel_cap_t;
1411#line 104
1412struct dentry;
1413#line 104
1414struct dentry;
1415#line 105
1416struct user_namespace;
1417#line 105
1418struct user_namespace;
1419#line 554
1420struct prio_tree_node;
1421#line 554 "include/linux/capability.h"
1422struct raw_prio_tree_node {
1423 struct prio_tree_node *left ;
1424 struct prio_tree_node *right ;
1425 struct prio_tree_node *parent ;
1426};
1427#line 19 "include/linux/prio_tree.h"
1428struct prio_tree_node {
1429 struct prio_tree_node *left ;
1430 struct prio_tree_node *right ;
1431 struct prio_tree_node *parent ;
1432 unsigned long start ;
1433 unsigned long last ;
1434};
1435#line 27 "include/linux/prio_tree.h"
1436struct prio_tree_root {
1437 struct prio_tree_node *prio_tree_node ;
1438 unsigned short index_bits ;
1439 unsigned short raw ;
1440};
1441#line 116
1442struct address_space;
1443#line 116
1444struct address_space;
1445#line 117 "include/linux/prio_tree.h"
1446union __anonunion_ldv_15475_137 {
1447 unsigned long index ;
1448 void *freelist ;
1449};
1450#line 117 "include/linux/prio_tree.h"
1451struct __anonstruct_ldv_15485_141 {
1452 unsigned short inuse ;
1453 unsigned short objects : 15 ;
1454 unsigned char frozen : 1 ;
1455};
1456#line 117 "include/linux/prio_tree.h"
1457union __anonunion_ldv_15486_140 {
1458 atomic_t _mapcount ;
1459 struct __anonstruct_ldv_15485_141 ldv_15485 ;
1460};
1461#line 117 "include/linux/prio_tree.h"
1462struct __anonstruct_ldv_15488_139 {
1463 union __anonunion_ldv_15486_140 ldv_15486 ;
1464 atomic_t _count ;
1465};
1466#line 117 "include/linux/prio_tree.h"
1467union __anonunion_ldv_15489_138 {
1468 unsigned long counters ;
1469 struct __anonstruct_ldv_15488_139 ldv_15488 ;
1470};
1471#line 117 "include/linux/prio_tree.h"
1472struct __anonstruct_ldv_15490_136 {
1473 union __anonunion_ldv_15475_137 ldv_15475 ;
1474 union __anonunion_ldv_15489_138 ldv_15489 ;
1475};
1476#line 117 "include/linux/prio_tree.h"
1477struct __anonstruct_ldv_15497_143 {
1478 struct page *next ;
1479 int pages ;
1480 int pobjects ;
1481};
1482#line 117 "include/linux/prio_tree.h"
1483union __anonunion_ldv_15498_142 {
1484 struct list_head lru ;
1485 struct __anonstruct_ldv_15497_143 ldv_15497 ;
1486};
1487#line 117 "include/linux/prio_tree.h"
1488union __anonunion_ldv_15503_144 {
1489 unsigned long private ;
1490 struct kmem_cache *slab ;
1491 struct page *first_page ;
1492};
1493#line 117 "include/linux/prio_tree.h"
1494struct page {
1495 unsigned long flags ;
1496 struct address_space *mapping ;
1497 struct __anonstruct_ldv_15490_136 ldv_15490 ;
1498 union __anonunion_ldv_15498_142 ldv_15498 ;
1499 union __anonunion_ldv_15503_144 ldv_15503 ;
1500 unsigned long debug_flags ;
1501};
1502#line 192 "include/linux/mm_types.h"
1503struct __anonstruct_vm_set_146 {
1504 struct list_head list ;
1505 void *parent ;
1506 struct vm_area_struct *head ;
1507};
1508#line 192 "include/linux/mm_types.h"
1509union __anonunion_shared_145 {
1510 struct __anonstruct_vm_set_146 vm_set ;
1511 struct raw_prio_tree_node prio_tree_node ;
1512};
1513#line 192
1514struct anon_vma;
1515#line 192
1516struct vm_operations_struct;
1517#line 192
1518struct mempolicy;
1519#line 192 "include/linux/mm_types.h"
1520struct vm_area_struct {
1521 struct mm_struct *vm_mm ;
1522 unsigned long vm_start ;
1523 unsigned long vm_end ;
1524 struct vm_area_struct *vm_next ;
1525 struct vm_area_struct *vm_prev ;
1526 pgprot_t vm_page_prot ;
1527 unsigned long vm_flags ;
1528 struct rb_node vm_rb ;
1529 union __anonunion_shared_145 shared ;
1530 struct list_head anon_vma_chain ;
1531 struct anon_vma *anon_vma ;
1532 struct vm_operations_struct const *vm_ops ;
1533 unsigned long vm_pgoff ;
1534 struct file *vm_file ;
1535 void *vm_private_data ;
1536 struct mempolicy *vm_policy ;
1537};
1538#line 255 "include/linux/mm_types.h"
1539struct core_thread {
1540 struct task_struct *task ;
1541 struct core_thread *next ;
1542};
1543#line 261 "include/linux/mm_types.h"
1544struct core_state {
1545 atomic_t nr_threads ;
1546 struct core_thread dumper ;
1547 struct completion startup ;
1548};
1549#line 274 "include/linux/mm_types.h"
1550struct mm_rss_stat {
1551 atomic_long_t count[3U] ;
1552};
1553#line 287
1554struct linux_binfmt;
1555#line 287
1556struct mmu_notifier_mm;
1557#line 287 "include/linux/mm_types.h"
1558struct mm_struct {
1559 struct vm_area_struct *mmap ;
1560 struct rb_root mm_rb ;
1561 struct vm_area_struct *mmap_cache ;
1562 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1563 unsigned long , unsigned long ) ;
1564 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
1565 unsigned long mmap_base ;
1566 unsigned long task_size ;
1567 unsigned long cached_hole_size ;
1568 unsigned long free_area_cache ;
1569 pgd_t *pgd ;
1570 atomic_t mm_users ;
1571 atomic_t mm_count ;
1572 int map_count ;
1573 spinlock_t page_table_lock ;
1574 struct rw_semaphore mmap_sem ;
1575 struct list_head mmlist ;
1576 unsigned long hiwater_rss ;
1577 unsigned long hiwater_vm ;
1578 unsigned long total_vm ;
1579 unsigned long locked_vm ;
1580 unsigned long pinned_vm ;
1581 unsigned long shared_vm ;
1582 unsigned long exec_vm ;
1583 unsigned long stack_vm ;
1584 unsigned long reserved_vm ;
1585 unsigned long def_flags ;
1586 unsigned long nr_ptes ;
1587 unsigned long start_code ;
1588 unsigned long end_code ;
1589 unsigned long start_data ;
1590 unsigned long end_data ;
1591 unsigned long start_brk ;
1592 unsigned long brk ;
1593 unsigned long start_stack ;
1594 unsigned long arg_start ;
1595 unsigned long arg_end ;
1596 unsigned long env_start ;
1597 unsigned long env_end ;
1598 unsigned long saved_auxv[44U] ;
1599 struct mm_rss_stat rss_stat ;
1600 struct linux_binfmt *binfmt ;
1601 cpumask_var_t cpu_vm_mask_var ;
1602 mm_context_t context ;
1603 unsigned int faultstamp ;
1604 unsigned int token_priority ;
1605 unsigned int last_interval ;
1606 unsigned long flags ;
1607 struct core_state *core_state ;
1608 spinlock_t ioctx_lock ;
1609 struct hlist_head ioctx_list ;
1610 struct task_struct *owner ;
1611 struct file *exe_file ;
1612 unsigned long num_exe_file_vmas ;
1613 struct mmu_notifier_mm *mmu_notifier_mm ;
1614 pgtable_t pmd_huge_pte ;
1615 struct cpumask cpumask_allocation ;
1616};
1617#line 7 "include/asm-generic/cputime.h"
1618typedef unsigned long cputime_t;
1619#line 98 "include/linux/sem.h"
1620struct sem_undo_list;
1621#line 98 "include/linux/sem.h"
1622struct sysv_sem {
1623 struct sem_undo_list *undo_list ;
1624};
1625#line 107
1626struct siginfo;
1627#line 107
1628struct siginfo;
1629#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1630struct __anonstruct_sigset_t_147 {
1631 unsigned long sig[1U] ;
1632};
1633#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1634typedef struct __anonstruct_sigset_t_147 sigset_t;
1635#line 17 "include/asm-generic/signal-defs.h"
1636typedef void __signalfn_t(int );
1637#line 18 "include/asm-generic/signal-defs.h"
1638typedef __signalfn_t *__sighandler_t;
1639#line 20 "include/asm-generic/signal-defs.h"
1640typedef void __restorefn_t(void);
1641#line 21 "include/asm-generic/signal-defs.h"
1642typedef __restorefn_t *__sigrestore_t;
1643#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1644struct sigaction {
1645 __sighandler_t sa_handler ;
1646 unsigned long sa_flags ;
1647 __sigrestore_t sa_restorer ;
1648 sigset_t sa_mask ;
1649};
1650#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1651struct k_sigaction {
1652 struct sigaction sa ;
1653};
1654#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1655union sigval {
1656 int sival_int ;
1657 void *sival_ptr ;
1658};
1659#line 10 "include/asm-generic/siginfo.h"
1660typedef union sigval sigval_t;
1661#line 11 "include/asm-generic/siginfo.h"
1662struct __anonstruct__kill_149 {
1663 __kernel_pid_t _pid ;
1664 __kernel_uid32_t _uid ;
1665};
1666#line 11 "include/asm-generic/siginfo.h"
1667struct __anonstruct__timer_150 {
1668 __kernel_timer_t _tid ;
1669 int _overrun ;
1670 char _pad[0U] ;
1671 sigval_t _sigval ;
1672 int _sys_private ;
1673};
1674#line 11 "include/asm-generic/siginfo.h"
1675struct __anonstruct__rt_151 {
1676 __kernel_pid_t _pid ;
1677 __kernel_uid32_t _uid ;
1678 sigval_t _sigval ;
1679};
1680#line 11 "include/asm-generic/siginfo.h"
1681struct __anonstruct__sigchld_152 {
1682 __kernel_pid_t _pid ;
1683 __kernel_uid32_t _uid ;
1684 int _status ;
1685 __kernel_clock_t _utime ;
1686 __kernel_clock_t _stime ;
1687};
1688#line 11 "include/asm-generic/siginfo.h"
1689struct __anonstruct__sigfault_153 {
1690 void *_addr ;
1691 short _addr_lsb ;
1692};
1693#line 11 "include/asm-generic/siginfo.h"
1694struct __anonstruct__sigpoll_154 {
1695 long _band ;
1696 int _fd ;
1697};
1698#line 11 "include/asm-generic/siginfo.h"
1699union __anonunion__sifields_148 {
1700 int _pad[28U] ;
1701 struct __anonstruct__kill_149 _kill ;
1702 struct __anonstruct__timer_150 _timer ;
1703 struct __anonstruct__rt_151 _rt ;
1704 struct __anonstruct__sigchld_152 _sigchld ;
1705 struct __anonstruct__sigfault_153 _sigfault ;
1706 struct __anonstruct__sigpoll_154 _sigpoll ;
1707};
1708#line 11 "include/asm-generic/siginfo.h"
1709struct siginfo {
1710 int si_signo ;
1711 int si_errno ;
1712 int si_code ;
1713 union __anonunion__sifields_148 _sifields ;
1714};
1715#line 102 "include/asm-generic/siginfo.h"
1716typedef struct siginfo siginfo_t;
1717#line 14 "include/linux/signal.h"
1718struct user_struct;
1719#line 24 "include/linux/signal.h"
1720struct sigpending {
1721 struct list_head list ;
1722 sigset_t signal ;
1723};
1724#line 388
1725enum pid_type {
1726 PIDTYPE_PID = 0,
1727 PIDTYPE_PGID = 1,
1728 PIDTYPE_SID = 2,
1729 PIDTYPE_MAX = 3
1730} ;
1731#line 395
1732struct pid_namespace;
1733#line 395 "include/linux/signal.h"
1734struct upid {
1735 int nr ;
1736 struct pid_namespace *ns ;
1737 struct hlist_node pid_chain ;
1738};
1739#line 56 "include/linux/pid.h"
1740struct pid {
1741 atomic_t count ;
1742 unsigned int level ;
1743 struct hlist_head tasks[3U] ;
1744 struct rcu_head rcu ;
1745 struct upid numbers[1U] ;
1746};
1747#line 68 "include/linux/pid.h"
1748struct pid_link {
1749 struct hlist_node node ;
1750 struct pid *pid ;
1751};
1752#line 10 "include/linux/seccomp.h"
1753struct __anonstruct_seccomp_t_157 {
1754 int mode ;
1755};
1756#line 10 "include/linux/seccomp.h"
1757typedef struct __anonstruct_seccomp_t_157 seccomp_t;
1758#line 427 "include/linux/rculist.h"
1759struct plist_head {
1760 struct list_head node_list ;
1761};
1762#line 84 "include/linux/plist.h"
1763struct plist_node {
1764 int prio ;
1765 struct list_head prio_list ;
1766 struct list_head node_list ;
1767};
1768#line 38 "include/linux/rtmutex.h"
1769struct rt_mutex_waiter;
1770#line 38
1771struct rt_mutex_waiter;
1772#line 41 "include/linux/resource.h"
1773struct rlimit {
1774 unsigned long rlim_cur ;
1775 unsigned long rlim_max ;
1776};
1777#line 85 "include/linux/resource.h"
1778struct timerqueue_node {
1779 struct rb_node node ;
1780 ktime_t expires ;
1781};
1782#line 12 "include/linux/timerqueue.h"
1783struct timerqueue_head {
1784 struct rb_root head ;
1785 struct timerqueue_node *next ;
1786};
1787#line 50
1788struct hrtimer_clock_base;
1789#line 50
1790struct hrtimer_clock_base;
1791#line 51
1792struct hrtimer_cpu_base;
1793#line 51
1794struct hrtimer_cpu_base;
1795#line 60
1796enum hrtimer_restart {
1797 HRTIMER_NORESTART = 0,
1798 HRTIMER_RESTART = 1
1799} ;
1800#line 65 "include/linux/timerqueue.h"
1801struct hrtimer {
1802 struct timerqueue_node node ;
1803 ktime_t _softexpires ;
1804 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1805 struct hrtimer_clock_base *base ;
1806 unsigned long state ;
1807 int start_pid ;
1808 void *start_site ;
1809 char start_comm[16U] ;
1810};
1811#line 132 "include/linux/hrtimer.h"
1812struct hrtimer_clock_base {
1813 struct hrtimer_cpu_base *cpu_base ;
1814 int index ;
1815 clockid_t clockid ;
1816 struct timerqueue_head active ;
1817 ktime_t resolution ;
1818 ktime_t (*get_time)(void) ;
1819 ktime_t softirq_time ;
1820 ktime_t offset ;
1821};
1822#line 162 "include/linux/hrtimer.h"
1823struct hrtimer_cpu_base {
1824 raw_spinlock_t lock ;
1825 unsigned long active_bases ;
1826 ktime_t expires_next ;
1827 int hres_active ;
1828 int hang_detected ;
1829 unsigned long nr_events ;
1830 unsigned long nr_retries ;
1831 unsigned long nr_hangs ;
1832 ktime_t max_hang_time ;
1833 struct hrtimer_clock_base clock_base[3U] ;
1834};
1835#line 452 "include/linux/hrtimer.h"
1836struct task_io_accounting {
1837 u64 rchar ;
1838 u64 wchar ;
1839 u64 syscr ;
1840 u64 syscw ;
1841 u64 read_bytes ;
1842 u64 write_bytes ;
1843 u64 cancelled_write_bytes ;
1844};
1845#line 45 "include/linux/task_io_accounting.h"
1846struct latency_record {
1847 unsigned long backtrace[12U] ;
1848 unsigned int count ;
1849 unsigned long time ;
1850 unsigned long max ;
1851};
1852#line 29 "include/linux/key.h"
1853typedef int32_t key_serial_t;
1854#line 32 "include/linux/key.h"
1855typedef uint32_t key_perm_t;
1856#line 33
1857struct key;
1858#line 33
1859struct key;
1860#line 34
1861struct signal_struct;
1862#line 34
1863struct signal_struct;
1864#line 35
1865struct key_type;
1866#line 35
1867struct key_type;
1868#line 37
1869struct keyring_list;
1870#line 37
1871struct keyring_list;
1872#line 115
1873struct key_user;
1874#line 115 "include/linux/key.h"
1875union __anonunion_ldv_16739_158 {
1876 time_t expiry ;
1877 time_t revoked_at ;
1878};
1879#line 115 "include/linux/key.h"
1880union __anonunion_type_data_159 {
1881 struct list_head link ;
1882 unsigned long x[2U] ;
1883 void *p[2U] ;
1884 int reject_error ;
1885};
1886#line 115 "include/linux/key.h"
1887union __anonunion_payload_160 {
1888 unsigned long value ;
1889 void *rcudata ;
1890 void *data ;
1891 struct keyring_list *subscriptions ;
1892};
1893#line 115 "include/linux/key.h"
1894struct key {
1895 atomic_t usage ;
1896 key_serial_t serial ;
1897 struct rb_node serial_node ;
1898 struct key_type *type ;
1899 struct rw_semaphore sem ;
1900 struct key_user *user ;
1901 void *security ;
1902 union __anonunion_ldv_16739_158 ldv_16739 ;
1903 uid_t uid ;
1904 gid_t gid ;
1905 key_perm_t perm ;
1906 unsigned short quotalen ;
1907 unsigned short datalen ;
1908 unsigned long flags ;
1909 char *description ;
1910 union __anonunion_type_data_159 type_data ;
1911 union __anonunion_payload_160 payload ;
1912};
1913#line 316
1914struct audit_context;
1915#line 316
1916struct audit_context;
1917#line 27 "include/linux/selinux.h"
1918struct inode;
1919#line 27
1920struct inode;
1921#line 28 "include/linux/selinux.h"
1922struct group_info {
1923 atomic_t usage ;
1924 int ngroups ;
1925 int nblocks ;
1926 gid_t small_block[32U] ;
1927 gid_t *blocks[0U] ;
1928};
1929#line 77 "include/linux/cred.h"
1930struct thread_group_cred {
1931 atomic_t usage ;
1932 pid_t tgid ;
1933 spinlock_t lock ;
1934 struct key *session_keyring ;
1935 struct key *process_keyring ;
1936 struct rcu_head rcu ;
1937};
1938#line 91 "include/linux/cred.h"
1939struct cred {
1940 atomic_t usage ;
1941 atomic_t subscribers ;
1942 void *put_addr ;
1943 unsigned int magic ;
1944 uid_t uid ;
1945 gid_t gid ;
1946 uid_t suid ;
1947 gid_t sgid ;
1948 uid_t euid ;
1949 gid_t egid ;
1950 uid_t fsuid ;
1951 gid_t fsgid ;
1952 unsigned int securebits ;
1953 kernel_cap_t cap_inheritable ;
1954 kernel_cap_t cap_permitted ;
1955 kernel_cap_t cap_effective ;
1956 kernel_cap_t cap_bset ;
1957 unsigned char jit_keyring ;
1958 struct key *thread_keyring ;
1959 struct key *request_key_auth ;
1960 struct thread_group_cred *tgcred ;
1961 void *security ;
1962 struct user_struct *user ;
1963 struct user_namespace *user_ns ;
1964 struct group_info *group_info ;
1965 struct rcu_head rcu ;
1966};
1967#line 264
1968struct llist_node;
1969#line 64 "include/linux/llist.h"
1970struct llist_node {
1971 struct llist_node *next ;
1972};
1973#line 185
1974struct futex_pi_state;
1975#line 185
1976struct futex_pi_state;
1977#line 186
1978struct robust_list_head;
1979#line 186
1980struct robust_list_head;
1981#line 187
1982struct bio_list;
1983#line 187
1984struct bio_list;
1985#line 188
1986struct fs_struct;
1987#line 188
1988struct fs_struct;
1989#line 189
1990struct perf_event_context;
1991#line 189
1992struct perf_event_context;
1993#line 190
1994struct blk_plug;
1995#line 190
1996struct blk_plug;
1997#line 149 "include/linux/sched.h"
1998struct cfs_rq;
1999#line 149
2000struct cfs_rq;
2001#line 44 "include/linux/aio_abi.h"
2002struct io_event {
2003 __u64 data ;
2004 __u64 obj ;
2005 __s64 res ;
2006 __s64 res2 ;
2007};
2008#line 106 "include/linux/aio_abi.h"
2009struct iovec {
2010 void *iov_base ;
2011 __kernel_size_t iov_len ;
2012};
2013#line 54 "include/linux/uio.h"
2014struct kioctx;
2015#line 54
2016struct kioctx;
2017#line 55 "include/linux/uio.h"
2018union __anonunion_ki_obj_161 {
2019 void *user ;
2020 struct task_struct *tsk ;
2021};
2022#line 55
2023struct eventfd_ctx;
2024#line 55 "include/linux/uio.h"
2025struct kiocb {
2026 struct list_head ki_run_list ;
2027 unsigned long ki_flags ;
2028 int ki_users ;
2029 unsigned int ki_key ;
2030 struct file *ki_filp ;
2031 struct kioctx *ki_ctx ;
2032 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2033 ssize_t (*ki_retry)(struct kiocb * ) ;
2034 void (*ki_dtor)(struct kiocb * ) ;
2035 union __anonunion_ki_obj_161 ki_obj ;
2036 __u64 ki_user_data ;
2037 loff_t ki_pos ;
2038 void *private ;
2039 unsigned short ki_opcode ;
2040 size_t ki_nbytes ;
2041 char *ki_buf ;
2042 size_t ki_left ;
2043 struct iovec ki_inline_vec ;
2044 struct iovec *ki_iovec ;
2045 unsigned long ki_nr_segs ;
2046 unsigned long ki_cur_seg ;
2047 struct list_head ki_list ;
2048 struct list_head ki_batch ;
2049 struct eventfd_ctx *ki_eventfd ;
2050};
2051#line 162 "include/linux/aio.h"
2052struct aio_ring_info {
2053 unsigned long mmap_base ;
2054 unsigned long mmap_size ;
2055 struct page **ring_pages ;
2056 spinlock_t ring_lock ;
2057 long nr_pages ;
2058 unsigned int nr ;
2059 unsigned int tail ;
2060 struct page *internal_pages[8U] ;
2061};
2062#line 178 "include/linux/aio.h"
2063struct kioctx {
2064 atomic_t users ;
2065 int dead ;
2066 struct mm_struct *mm ;
2067 unsigned long user_id ;
2068 struct hlist_node list ;
2069 wait_queue_head_t wait ;
2070 spinlock_t ctx_lock ;
2071 int reqs_active ;
2072 struct list_head active_reqs ;
2073 struct list_head run_list ;
2074 unsigned int max_reqs ;
2075 struct aio_ring_info ring_info ;
2076 struct delayed_work wq ;
2077 struct rcu_head rcu_head ;
2078};
2079#line 406 "include/linux/sched.h"
2080struct sighand_struct {
2081 atomic_t count ;
2082 struct k_sigaction action[64U] ;
2083 spinlock_t siglock ;
2084 wait_queue_head_t signalfd_wqh ;
2085};
2086#line 449 "include/linux/sched.h"
2087struct pacct_struct {
2088 int ac_flag ;
2089 long ac_exitcode ;
2090 unsigned long ac_mem ;
2091 cputime_t ac_utime ;
2092 cputime_t ac_stime ;
2093 unsigned long ac_minflt ;
2094 unsigned long ac_majflt ;
2095};
2096#line 457 "include/linux/sched.h"
2097struct cpu_itimer {
2098 cputime_t expires ;
2099 cputime_t incr ;
2100 u32 error ;
2101 u32 incr_error ;
2102};
2103#line 464 "include/linux/sched.h"
2104struct task_cputime {
2105 cputime_t utime ;
2106 cputime_t stime ;
2107 unsigned long long sum_exec_runtime ;
2108};
2109#line 481 "include/linux/sched.h"
2110struct thread_group_cputimer {
2111 struct task_cputime cputime ;
2112 int running ;
2113 raw_spinlock_t lock ;
2114};
2115#line 517
2116struct autogroup;
2117#line 517
2118struct autogroup;
2119#line 518
2120struct tty_struct;
2121#line 518
2122struct taskstats;
2123#line 518
2124struct tty_audit_buf;
2125#line 518 "include/linux/sched.h"
2126struct signal_struct {
2127 atomic_t sigcnt ;
2128 atomic_t live ;
2129 int nr_threads ;
2130 wait_queue_head_t wait_chldexit ;
2131 struct task_struct *curr_target ;
2132 struct sigpending shared_pending ;
2133 int group_exit_code ;
2134 int notify_count ;
2135 struct task_struct *group_exit_task ;
2136 int group_stop_count ;
2137 unsigned int flags ;
2138 unsigned char is_child_subreaper : 1 ;
2139 unsigned char has_child_subreaper : 1 ;
2140 struct list_head posix_timers ;
2141 struct hrtimer real_timer ;
2142 struct pid *leader_pid ;
2143 ktime_t it_real_incr ;
2144 struct cpu_itimer it[2U] ;
2145 struct thread_group_cputimer cputimer ;
2146 struct task_cputime cputime_expires ;
2147 struct list_head cpu_timers[3U] ;
2148 struct pid *tty_old_pgrp ;
2149 int leader ;
2150 struct tty_struct *tty ;
2151 struct autogroup *autogroup ;
2152 cputime_t utime ;
2153 cputime_t stime ;
2154 cputime_t cutime ;
2155 cputime_t cstime ;
2156 cputime_t gtime ;
2157 cputime_t cgtime ;
2158 cputime_t prev_utime ;
2159 cputime_t prev_stime ;
2160 unsigned long nvcsw ;
2161 unsigned long nivcsw ;
2162 unsigned long cnvcsw ;
2163 unsigned long cnivcsw ;
2164 unsigned long min_flt ;
2165 unsigned long maj_flt ;
2166 unsigned long cmin_flt ;
2167 unsigned long cmaj_flt ;
2168 unsigned long inblock ;
2169 unsigned long oublock ;
2170 unsigned long cinblock ;
2171 unsigned long coublock ;
2172 unsigned long maxrss ;
2173 unsigned long cmaxrss ;
2174 struct task_io_accounting ioac ;
2175 unsigned long long sum_sched_runtime ;
2176 struct rlimit rlim[16U] ;
2177 struct pacct_struct pacct ;
2178 struct taskstats *stats ;
2179 unsigned int audit_tty ;
2180 struct tty_audit_buf *tty_audit_buf ;
2181 struct rw_semaphore group_rwsem ;
2182 int oom_adj ;
2183 int oom_score_adj ;
2184 int oom_score_adj_min ;
2185 struct mutex cred_guard_mutex ;
2186};
2187#line 699 "include/linux/sched.h"
2188struct user_struct {
2189 atomic_t __count ;
2190 atomic_t processes ;
2191 atomic_t files ;
2192 atomic_t sigpending ;
2193 atomic_t inotify_watches ;
2194 atomic_t inotify_devs ;
2195 atomic_t fanotify_listeners ;
2196 atomic_long_t epoll_watches ;
2197 unsigned long mq_bytes ;
2198 unsigned long locked_shm ;
2199 struct key *uid_keyring ;
2200 struct key *session_keyring ;
2201 struct hlist_node uidhash_node ;
2202 uid_t uid ;
2203 struct user_namespace *user_ns ;
2204 atomic_long_t locked_vm ;
2205};
2206#line 744
2207struct backing_dev_info;
2208#line 744
2209struct backing_dev_info;
2210#line 745
2211struct reclaim_state;
2212#line 745
2213struct reclaim_state;
2214#line 746 "include/linux/sched.h"
2215struct sched_info {
2216 unsigned long pcount ;
2217 unsigned long long run_delay ;
2218 unsigned long long last_arrival ;
2219 unsigned long long last_queued ;
2220};
2221#line 760 "include/linux/sched.h"
2222struct task_delay_info {
2223 spinlock_t lock ;
2224 unsigned int flags ;
2225 struct timespec blkio_start ;
2226 struct timespec blkio_end ;
2227 u64 blkio_delay ;
2228 u64 swapin_delay ;
2229 u32 blkio_count ;
2230 u32 swapin_count ;
2231 struct timespec freepages_start ;
2232 struct timespec freepages_end ;
2233 u64 freepages_delay ;
2234 u32 freepages_count ;
2235};
2236#line 1069
2237struct io_context;
2238#line 1069
2239struct io_context;
2240#line 1097
2241struct pipe_inode_info;
2242#line 1097
2243struct pipe_inode_info;
2244#line 1099
2245struct rq;
2246#line 1099
2247struct rq;
2248#line 1100 "include/linux/sched.h"
2249struct sched_class {
2250 struct sched_class const *next ;
2251 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
2252 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
2253 void (*yield_task)(struct rq * ) ;
2254 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
2255 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
2256 struct task_struct *(*pick_next_task)(struct rq * ) ;
2257 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
2258 int (*select_task_rq)(struct task_struct * , int , int ) ;
2259 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
2260 void (*post_schedule)(struct rq * ) ;
2261 void (*task_waking)(struct task_struct * ) ;
2262 void (*task_woken)(struct rq * , struct task_struct * ) ;
2263 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
2264 void (*rq_online)(struct rq * ) ;
2265 void (*rq_offline)(struct rq * ) ;
2266 void (*set_curr_task)(struct rq * ) ;
2267 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
2268 void (*task_fork)(struct task_struct * ) ;
2269 void (*switched_from)(struct rq * , struct task_struct * ) ;
2270 void (*switched_to)(struct rq * , struct task_struct * ) ;
2271 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
2272 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
2273 void (*task_move_group)(struct task_struct * , int ) ;
2274};
2275#line 1165 "include/linux/sched.h"
2276struct load_weight {
2277 unsigned long weight ;
2278 unsigned long inv_weight ;
2279};
2280#line 1170 "include/linux/sched.h"
2281struct sched_statistics {
2282 u64 wait_start ;
2283 u64 wait_max ;
2284 u64 wait_count ;
2285 u64 wait_sum ;
2286 u64 iowait_count ;
2287 u64 iowait_sum ;
2288 u64 sleep_start ;
2289 u64 sleep_max ;
2290 s64 sum_sleep_runtime ;
2291 u64 block_start ;
2292 u64 block_max ;
2293 u64 exec_max ;
2294 u64 slice_max ;
2295 u64 nr_migrations_cold ;
2296 u64 nr_failed_migrations_affine ;
2297 u64 nr_failed_migrations_running ;
2298 u64 nr_failed_migrations_hot ;
2299 u64 nr_forced_migrations ;
2300 u64 nr_wakeups ;
2301 u64 nr_wakeups_sync ;
2302 u64 nr_wakeups_migrate ;
2303 u64 nr_wakeups_local ;
2304 u64 nr_wakeups_remote ;
2305 u64 nr_wakeups_affine ;
2306 u64 nr_wakeups_affine_attempts ;
2307 u64 nr_wakeups_passive ;
2308 u64 nr_wakeups_idle ;
2309};
2310#line 1205 "include/linux/sched.h"
2311struct sched_entity {
2312 struct load_weight load ;
2313 struct rb_node run_node ;
2314 struct list_head group_node ;
2315 unsigned int on_rq ;
2316 u64 exec_start ;
2317 u64 sum_exec_runtime ;
2318 u64 vruntime ;
2319 u64 prev_sum_exec_runtime ;
2320 u64 nr_migrations ;
2321 struct sched_statistics statistics ;
2322 struct sched_entity *parent ;
2323 struct cfs_rq *cfs_rq ;
2324 struct cfs_rq *my_q ;
2325};
2326#line 1231
2327struct rt_rq;
2328#line 1231 "include/linux/sched.h"
2329struct sched_rt_entity {
2330 struct list_head run_list ;
2331 unsigned long timeout ;
2332 unsigned int time_slice ;
2333 int nr_cpus_allowed ;
2334 struct sched_rt_entity *back ;
2335 struct sched_rt_entity *parent ;
2336 struct rt_rq *rt_rq ;
2337 struct rt_rq *my_q ;
2338};
2339#line 1255
2340struct mem_cgroup;
2341#line 1255 "include/linux/sched.h"
2342struct memcg_batch_info {
2343 int do_batch ;
2344 struct mem_cgroup *memcg ;
2345 unsigned long nr_pages ;
2346 unsigned long memsw_nr_pages ;
2347};
2348#line 1616
2349struct files_struct;
2350#line 1616
2351struct css_set;
2352#line 1616
2353struct compat_robust_list_head;
2354#line 1616 "include/linux/sched.h"
2355struct task_struct {
2356 long volatile state ;
2357 void *stack ;
2358 atomic_t usage ;
2359 unsigned int flags ;
2360 unsigned int ptrace ;
2361 struct llist_node wake_entry ;
2362 int on_cpu ;
2363 int on_rq ;
2364 int prio ;
2365 int static_prio ;
2366 int normal_prio ;
2367 unsigned int rt_priority ;
2368 struct sched_class const *sched_class ;
2369 struct sched_entity se ;
2370 struct sched_rt_entity rt ;
2371 struct hlist_head preempt_notifiers ;
2372 unsigned char fpu_counter ;
2373 unsigned int policy ;
2374 cpumask_t cpus_allowed ;
2375 struct sched_info sched_info ;
2376 struct list_head tasks ;
2377 struct plist_node pushable_tasks ;
2378 struct mm_struct *mm ;
2379 struct mm_struct *active_mm ;
2380 unsigned char brk_randomized : 1 ;
2381 int exit_state ;
2382 int exit_code ;
2383 int exit_signal ;
2384 int pdeath_signal ;
2385 unsigned int jobctl ;
2386 unsigned int personality ;
2387 unsigned char did_exec : 1 ;
2388 unsigned char in_execve : 1 ;
2389 unsigned char in_iowait : 1 ;
2390 unsigned char sched_reset_on_fork : 1 ;
2391 unsigned char sched_contributes_to_load : 1 ;
2392 unsigned char irq_thread : 1 ;
2393 pid_t pid ;
2394 pid_t tgid ;
2395 unsigned long stack_canary ;
2396 struct task_struct *real_parent ;
2397 struct task_struct *parent ;
2398 struct list_head children ;
2399 struct list_head sibling ;
2400 struct task_struct *group_leader ;
2401 struct list_head ptraced ;
2402 struct list_head ptrace_entry ;
2403 struct pid_link pids[3U] ;
2404 struct list_head thread_group ;
2405 struct completion *vfork_done ;
2406 int *set_child_tid ;
2407 int *clear_child_tid ;
2408 cputime_t utime ;
2409 cputime_t stime ;
2410 cputime_t utimescaled ;
2411 cputime_t stimescaled ;
2412 cputime_t gtime ;
2413 cputime_t prev_utime ;
2414 cputime_t prev_stime ;
2415 unsigned long nvcsw ;
2416 unsigned long nivcsw ;
2417 struct timespec start_time ;
2418 struct timespec real_start_time ;
2419 unsigned long min_flt ;
2420 unsigned long maj_flt ;
2421 struct task_cputime cputime_expires ;
2422 struct list_head cpu_timers[3U] ;
2423 struct cred const *real_cred ;
2424 struct cred const *cred ;
2425 struct cred *replacement_session_keyring ;
2426 char comm[16U] ;
2427 int link_count ;
2428 int total_link_count ;
2429 struct sysv_sem sysvsem ;
2430 unsigned long last_switch_count ;
2431 struct thread_struct thread ;
2432 struct fs_struct *fs ;
2433 struct files_struct *files ;
2434 struct nsproxy *nsproxy ;
2435 struct signal_struct *signal ;
2436 struct sighand_struct *sighand ;
2437 sigset_t blocked ;
2438 sigset_t real_blocked ;
2439 sigset_t saved_sigmask ;
2440 struct sigpending pending ;
2441 unsigned long sas_ss_sp ;
2442 size_t sas_ss_size ;
2443 int (*notifier)(void * ) ;
2444 void *notifier_data ;
2445 sigset_t *notifier_mask ;
2446 struct audit_context *audit_context ;
2447 uid_t loginuid ;
2448 unsigned int sessionid ;
2449 seccomp_t seccomp ;
2450 u32 parent_exec_id ;
2451 u32 self_exec_id ;
2452 spinlock_t alloc_lock ;
2453 raw_spinlock_t pi_lock ;
2454 struct plist_head pi_waiters ;
2455 struct rt_mutex_waiter *pi_blocked_on ;
2456 struct mutex_waiter *blocked_on ;
2457 unsigned int irq_events ;
2458 unsigned long hardirq_enable_ip ;
2459 unsigned long hardirq_disable_ip ;
2460 unsigned int hardirq_enable_event ;
2461 unsigned int hardirq_disable_event ;
2462 int hardirqs_enabled ;
2463 int hardirq_context ;
2464 unsigned long softirq_disable_ip ;
2465 unsigned long softirq_enable_ip ;
2466 unsigned int softirq_disable_event ;
2467 unsigned int softirq_enable_event ;
2468 int softirqs_enabled ;
2469 int softirq_context ;
2470 u64 curr_chain_key ;
2471 int lockdep_depth ;
2472 unsigned int lockdep_recursion ;
2473 struct held_lock held_locks[48U] ;
2474 gfp_t lockdep_reclaim_gfp ;
2475 void *journal_info ;
2476 struct bio_list *bio_list ;
2477 struct blk_plug *plug ;
2478 struct reclaim_state *reclaim_state ;
2479 struct backing_dev_info *backing_dev_info ;
2480 struct io_context *io_context ;
2481 unsigned long ptrace_message ;
2482 siginfo_t *last_siginfo ;
2483 struct task_io_accounting ioac ;
2484 u64 acct_rss_mem1 ;
2485 u64 acct_vm_mem1 ;
2486 cputime_t acct_timexpd ;
2487 nodemask_t mems_allowed ;
2488 seqcount_t mems_allowed_seq ;
2489 int cpuset_mem_spread_rotor ;
2490 int cpuset_slab_spread_rotor ;
2491 struct css_set *cgroups ;
2492 struct list_head cg_list ;
2493 struct robust_list_head *robust_list ;
2494 struct compat_robust_list_head *compat_robust_list ;
2495 struct list_head pi_state_list ;
2496 struct futex_pi_state *pi_state_cache ;
2497 struct perf_event_context *perf_event_ctxp[2U] ;
2498 struct mutex perf_event_mutex ;
2499 struct list_head perf_event_list ;
2500 struct mempolicy *mempolicy ;
2501 short il_next ;
2502 short pref_node_fork ;
2503 struct rcu_head rcu ;
2504 struct pipe_inode_info *splice_pipe ;
2505 struct task_delay_info *delays ;
2506 int make_it_fail ;
2507 int nr_dirtied ;
2508 int nr_dirtied_pause ;
2509 unsigned long dirty_paused_when ;
2510 int latency_record_count ;
2511 struct latency_record latency_record[32U] ;
2512 unsigned long timer_slack_ns ;
2513 unsigned long default_timer_slack_ns ;
2514 struct list_head *scm_work_list ;
2515 unsigned long trace ;
2516 unsigned long trace_recursion ;
2517 struct memcg_batch_info memcg_batch ;
2518 atomic_t ptrace_bp_refcnt ;
2519};
2520#line 374 "include/acpi/actypes.h"
2521typedef void *acpi_handle;
2522#line 546 "include/acpi/acpixf.h"
2523struct acpi_handle_list {
2524 u32 count ;
2525 acpi_handle handles[10U] ;
2526};
2527#line 53 "include/acpi/acpi_bus.h"
2528struct block_device;
2529#line 53
2530struct block_device;
2531#line 93 "include/linux/bit_spinlock.h"
2532struct hlist_bl_node;
2533#line 93 "include/linux/bit_spinlock.h"
2534struct hlist_bl_head {
2535 struct hlist_bl_node *first ;
2536};
2537#line 36 "include/linux/list_bl.h"
2538struct hlist_bl_node {
2539 struct hlist_bl_node *next ;
2540 struct hlist_bl_node **pprev ;
2541};
2542#line 114 "include/linux/rculist_bl.h"
2543struct nameidata;
2544#line 114
2545struct nameidata;
2546#line 115
2547struct path;
2548#line 115
2549struct path;
2550#line 116
2551struct vfsmount;
2552#line 116
2553struct vfsmount;
2554#line 117 "include/linux/rculist_bl.h"
2555struct qstr {
2556 unsigned int hash ;
2557 unsigned int len ;
2558 unsigned char const *name ;
2559};
2560#line 72 "include/linux/dcache.h"
2561struct dentry_operations;
2562#line 72
2563struct super_block;
2564#line 72 "include/linux/dcache.h"
2565union __anonunion_d_u_170 {
2566 struct list_head d_child ;
2567 struct rcu_head d_rcu ;
2568};
2569#line 72 "include/linux/dcache.h"
2570struct dentry {
2571 unsigned int d_flags ;
2572 seqcount_t d_seq ;
2573 struct hlist_bl_node d_hash ;
2574 struct dentry *d_parent ;
2575 struct qstr d_name ;
2576 struct inode *d_inode ;
2577 unsigned char d_iname[32U] ;
2578 unsigned int d_count ;
2579 spinlock_t d_lock ;
2580 struct dentry_operations const *d_op ;
2581 struct super_block *d_sb ;
2582 unsigned long d_time ;
2583 void *d_fsdata ;
2584 struct list_head d_lru ;
2585 union __anonunion_d_u_170 d_u ;
2586 struct list_head d_subdirs ;
2587 struct list_head d_alias ;
2588};
2589#line 123 "include/linux/dcache.h"
2590struct dentry_operations {
2591 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2592 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2593 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2594 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2595 int (*d_delete)(struct dentry const * ) ;
2596 void (*d_release)(struct dentry * ) ;
2597 void (*d_prune)(struct dentry * ) ;
2598 void (*d_iput)(struct dentry * , struct inode * ) ;
2599 char *(*d_dname)(struct dentry * , char * , int ) ;
2600 struct vfsmount *(*d_automount)(struct path * ) ;
2601 int (*d_manage)(struct dentry * , bool ) ;
2602};
2603#line 402 "include/linux/dcache.h"
2604struct path {
2605 struct vfsmount *mnt ;
2606 struct dentry *dentry ;
2607};
2608#line 58 "include/linux/radix-tree.h"
2609struct radix_tree_node;
2610#line 58 "include/linux/radix-tree.h"
2611struct radix_tree_root {
2612 unsigned int height ;
2613 gfp_t gfp_mask ;
2614 struct radix_tree_node *rnode ;
2615};
2616#line 45 "include/linux/semaphore.h"
2617struct fiemap_extent {
2618 __u64 fe_logical ;
2619 __u64 fe_physical ;
2620 __u64 fe_length ;
2621 __u64 fe_reserved64[2U] ;
2622 __u32 fe_flags ;
2623 __u32 fe_reserved[3U] ;
2624};
2625#line 38 "include/linux/fiemap.h"
2626struct shrink_control {
2627 gfp_t gfp_mask ;
2628 unsigned long nr_to_scan ;
2629};
2630#line 14 "include/linux/shrinker.h"
2631struct shrinker {
2632 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
2633 int seeks ;
2634 long batch ;
2635 struct list_head list ;
2636 atomic_long_t nr_in_batch ;
2637};
2638#line 43
2639enum migrate_mode {
2640 MIGRATE_ASYNC = 0,
2641 MIGRATE_SYNC_LIGHT = 1,
2642 MIGRATE_SYNC = 2
2643} ;
2644#line 49
2645struct export_operations;
2646#line 49
2647struct export_operations;
2648#line 51
2649struct poll_table_struct;
2650#line 51
2651struct poll_table_struct;
2652#line 52
2653struct kstatfs;
2654#line 52
2655struct kstatfs;
2656#line 435 "include/linux/fs.h"
2657struct iattr {
2658 unsigned int ia_valid ;
2659 umode_t ia_mode ;
2660 uid_t ia_uid ;
2661 gid_t ia_gid ;
2662 loff_t ia_size ;
2663 struct timespec ia_atime ;
2664 struct timespec ia_mtime ;
2665 struct timespec ia_ctime ;
2666 struct file *ia_file ;
2667};
2668#line 119 "include/linux/quota.h"
2669struct if_dqinfo {
2670 __u64 dqi_bgrace ;
2671 __u64 dqi_igrace ;
2672 __u32 dqi_flags ;
2673 __u32 dqi_valid ;
2674};
2675#line 152 "include/linux/quota.h"
2676struct fs_disk_quota {
2677 __s8 d_version ;
2678 __s8 d_flags ;
2679 __u16 d_fieldmask ;
2680 __u32 d_id ;
2681 __u64 d_blk_hardlimit ;
2682 __u64 d_blk_softlimit ;
2683 __u64 d_ino_hardlimit ;
2684 __u64 d_ino_softlimit ;
2685 __u64 d_bcount ;
2686 __u64 d_icount ;
2687 __s32 d_itimer ;
2688 __s32 d_btimer ;
2689 __u16 d_iwarns ;
2690 __u16 d_bwarns ;
2691 __s32 d_padding2 ;
2692 __u64 d_rtb_hardlimit ;
2693 __u64 d_rtb_softlimit ;
2694 __u64 d_rtbcount ;
2695 __s32 d_rtbtimer ;
2696 __u16 d_rtbwarns ;
2697 __s16 d_padding3 ;
2698 char d_padding4[8U] ;
2699};
2700#line 75 "include/linux/dqblk_xfs.h"
2701struct fs_qfilestat {
2702 __u64 qfs_ino ;
2703 __u64 qfs_nblks ;
2704 __u32 qfs_nextents ;
2705};
2706#line 150 "include/linux/dqblk_xfs.h"
2707typedef struct fs_qfilestat fs_qfilestat_t;
2708#line 151 "include/linux/dqblk_xfs.h"
2709struct fs_quota_stat {
2710 __s8 qs_version ;
2711 __u16 qs_flags ;
2712 __s8 qs_pad ;
2713 fs_qfilestat_t qs_uquota ;
2714 fs_qfilestat_t qs_gquota ;
2715 __u32 qs_incoredqs ;
2716 __s32 qs_btimelimit ;
2717 __s32 qs_itimelimit ;
2718 __s32 qs_rtbtimelimit ;
2719 __u16 qs_bwarnlimit ;
2720 __u16 qs_iwarnlimit ;
2721};
2722#line 165
2723struct dquot;
2724#line 165
2725struct dquot;
2726#line 185 "include/linux/quota.h"
2727typedef __kernel_uid32_t qid_t;
2728#line 186 "include/linux/quota.h"
2729typedef long long qsize_t;
2730#line 189 "include/linux/quota.h"
2731struct mem_dqblk {
2732 qsize_t dqb_bhardlimit ;
2733 qsize_t dqb_bsoftlimit ;
2734 qsize_t dqb_curspace ;
2735 qsize_t dqb_rsvspace ;
2736 qsize_t dqb_ihardlimit ;
2737 qsize_t dqb_isoftlimit ;
2738 qsize_t dqb_curinodes ;
2739 time_t dqb_btime ;
2740 time_t dqb_itime ;
2741};
2742#line 211
2743struct quota_format_type;
2744#line 211
2745struct quota_format_type;
2746#line 212 "include/linux/quota.h"
2747struct mem_dqinfo {
2748 struct quota_format_type *dqi_format ;
2749 int dqi_fmt_id ;
2750 struct list_head dqi_dirty_list ;
2751 unsigned long dqi_flags ;
2752 unsigned int dqi_bgrace ;
2753 unsigned int dqi_igrace ;
2754 qsize_t dqi_maxblimit ;
2755 qsize_t dqi_maxilimit ;
2756 void *dqi_priv ;
2757};
2758#line 275 "include/linux/quota.h"
2759struct dquot {
2760 struct hlist_node dq_hash ;
2761 struct list_head dq_inuse ;
2762 struct list_head dq_free ;
2763 struct list_head dq_dirty ;
2764 struct mutex dq_lock ;
2765 atomic_t dq_count ;
2766 wait_queue_head_t dq_wait_unused ;
2767 struct super_block *dq_sb ;
2768 unsigned int dq_id ;
2769 loff_t dq_off ;
2770 unsigned long dq_flags ;
2771 short dq_type ;
2772 struct mem_dqblk dq_dqb ;
2773};
2774#line 303 "include/linux/quota.h"
2775struct quota_format_ops {
2776 int (*check_quota_file)(struct super_block * , int ) ;
2777 int (*read_file_info)(struct super_block * , int ) ;
2778 int (*write_file_info)(struct super_block * , int ) ;
2779 int (*free_file_info)(struct super_block * , int ) ;
2780 int (*read_dqblk)(struct dquot * ) ;
2781 int (*commit_dqblk)(struct dquot * ) ;
2782 int (*release_dqblk)(struct dquot * ) ;
2783};
2784#line 314 "include/linux/quota.h"
2785struct dquot_operations {
2786 int (*write_dquot)(struct dquot * ) ;
2787 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
2788 void (*destroy_dquot)(struct dquot * ) ;
2789 int (*acquire_dquot)(struct dquot * ) ;
2790 int (*release_dquot)(struct dquot * ) ;
2791 int (*mark_dirty)(struct dquot * ) ;
2792 int (*write_info)(struct super_block * , int ) ;
2793 qsize_t *(*get_reserved_space)(struct inode * ) ;
2794};
2795#line 328 "include/linux/quota.h"
2796struct quotactl_ops {
2797 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
2798 int (*quota_on_meta)(struct super_block * , int , int ) ;
2799 int (*quota_off)(struct super_block * , int ) ;
2800 int (*quota_sync)(struct super_block * , int , int ) ;
2801 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
2802 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
2803 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2804 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2805 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
2806 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
2807};
2808#line 344 "include/linux/quota.h"
2809struct quota_format_type {
2810 int qf_fmt_id ;
2811 struct quota_format_ops const *qf_ops ;
2812 struct module *qf_owner ;
2813 struct quota_format_type *qf_next ;
2814};
2815#line 390 "include/linux/quota.h"
2816struct quota_info {
2817 unsigned int flags ;
2818 struct mutex dqio_mutex ;
2819 struct mutex dqonoff_mutex ;
2820 struct rw_semaphore dqptr_sem ;
2821 struct inode *files[2U] ;
2822 struct mem_dqinfo info[2U] ;
2823 struct quota_format_ops const *ops[2U] ;
2824};
2825#line 421
2826struct writeback_control;
2827#line 421
2828struct writeback_control;
2829#line 585 "include/linux/fs.h"
2830union __anonunion_arg_172 {
2831 char *buf ;
2832 void *data ;
2833};
2834#line 585 "include/linux/fs.h"
2835struct __anonstruct_read_descriptor_t_171 {
2836 size_t written ;
2837 size_t count ;
2838 union __anonunion_arg_172 arg ;
2839 int error ;
2840};
2841#line 585 "include/linux/fs.h"
2842typedef struct __anonstruct_read_descriptor_t_171 read_descriptor_t;
2843#line 588 "include/linux/fs.h"
2844struct address_space_operations {
2845 int (*writepage)(struct page * , struct writeback_control * ) ;
2846 int (*readpage)(struct file * , struct page * ) ;
2847 int (*writepages)(struct address_space * , struct writeback_control * ) ;
2848 int (*set_page_dirty)(struct page * ) ;
2849 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
2850 unsigned int ) ;
2851 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
2852 unsigned int , struct page ** , void ** ) ;
2853 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
2854 unsigned int , struct page * , void * ) ;
2855 sector_t (*bmap)(struct address_space * , sector_t ) ;
2856 void (*invalidatepage)(struct page * , unsigned long ) ;
2857 int (*releasepage)(struct page * , gfp_t ) ;
2858 void (*freepage)(struct page * ) ;
2859 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
2860 unsigned long ) ;
2861 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
2862 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
2863 int (*launder_page)(struct page * ) ;
2864 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
2865 int (*error_remove_page)(struct address_space * , struct page * ) ;
2866};
2867#line 642 "include/linux/fs.h"
2868struct address_space {
2869 struct inode *host ;
2870 struct radix_tree_root page_tree ;
2871 spinlock_t tree_lock ;
2872 unsigned int i_mmap_writable ;
2873 struct prio_tree_root i_mmap ;
2874 struct list_head i_mmap_nonlinear ;
2875 struct mutex i_mmap_mutex ;
2876 unsigned long nrpages ;
2877 unsigned long writeback_index ;
2878 struct address_space_operations const *a_ops ;
2879 unsigned long flags ;
2880 struct backing_dev_info *backing_dev_info ;
2881 spinlock_t private_lock ;
2882 struct list_head private_list ;
2883 struct address_space *assoc_mapping ;
2884};
2885#line 664
2886struct request_queue;
2887#line 664
2888struct request_queue;
2889#line 665
2890struct hd_struct;
2891#line 665
2892struct gendisk;
2893#line 665 "include/linux/fs.h"
2894struct block_device {
2895 dev_t bd_dev ;
2896 int bd_openers ;
2897 struct inode *bd_inode ;
2898 struct super_block *bd_super ;
2899 struct mutex bd_mutex ;
2900 struct list_head bd_inodes ;
2901 void *bd_claiming ;
2902 void *bd_holder ;
2903 int bd_holders ;
2904 bool bd_write_holder ;
2905 struct list_head bd_holder_disks ;
2906 struct block_device *bd_contains ;
2907 unsigned int bd_block_size ;
2908 struct hd_struct *bd_part ;
2909 unsigned int bd_part_count ;
2910 int bd_invalidated ;
2911 struct gendisk *bd_disk ;
2912 struct request_queue *bd_queue ;
2913 struct list_head bd_list ;
2914 unsigned long bd_private ;
2915 int bd_fsfreeze_count ;
2916 struct mutex bd_fsfreeze_mutex ;
2917};
2918#line 737
2919struct posix_acl;
2920#line 737
2921struct posix_acl;
2922#line 738
2923struct inode_operations;
2924#line 738 "include/linux/fs.h"
2925union __anonunion_ldv_21984_173 {
2926 unsigned int const i_nlink ;
2927 unsigned int __i_nlink ;
2928};
2929#line 738 "include/linux/fs.h"
2930union __anonunion_ldv_22003_174 {
2931 struct list_head i_dentry ;
2932 struct rcu_head i_rcu ;
2933};
2934#line 738
2935struct file_operations;
2936#line 738
2937struct file_lock;
2938#line 738
2939struct cdev;
2940#line 738 "include/linux/fs.h"
2941union __anonunion_ldv_22021_175 {
2942 struct pipe_inode_info *i_pipe ;
2943 struct block_device *i_bdev ;
2944 struct cdev *i_cdev ;
2945};
2946#line 738 "include/linux/fs.h"
2947struct inode {
2948 umode_t i_mode ;
2949 unsigned short i_opflags ;
2950 uid_t i_uid ;
2951 gid_t i_gid ;
2952 unsigned int i_flags ;
2953 struct posix_acl *i_acl ;
2954 struct posix_acl *i_default_acl ;
2955 struct inode_operations const *i_op ;
2956 struct super_block *i_sb ;
2957 struct address_space *i_mapping ;
2958 void *i_security ;
2959 unsigned long i_ino ;
2960 union __anonunion_ldv_21984_173 ldv_21984 ;
2961 dev_t i_rdev ;
2962 struct timespec i_atime ;
2963 struct timespec i_mtime ;
2964 struct timespec i_ctime ;
2965 spinlock_t i_lock ;
2966 unsigned short i_bytes ;
2967 blkcnt_t i_blocks ;
2968 loff_t i_size ;
2969 unsigned long i_state ;
2970 struct mutex i_mutex ;
2971 unsigned long dirtied_when ;
2972 struct hlist_node i_hash ;
2973 struct list_head i_wb_list ;
2974 struct list_head i_lru ;
2975 struct list_head i_sb_list ;
2976 union __anonunion_ldv_22003_174 ldv_22003 ;
2977 atomic_t i_count ;
2978 unsigned int i_blkbits ;
2979 u64 i_version ;
2980 atomic_t i_dio_count ;
2981 atomic_t i_writecount ;
2982 struct file_operations const *i_fop ;
2983 struct file_lock *i_flock ;
2984 struct address_space i_data ;
2985 struct dquot *i_dquot[2U] ;
2986 struct list_head i_devices ;
2987 union __anonunion_ldv_22021_175 ldv_22021 ;
2988 __u32 i_generation ;
2989 __u32 i_fsnotify_mask ;
2990 struct hlist_head i_fsnotify_marks ;
2991 atomic_t i_readcount ;
2992 void *i_private ;
2993};
2994#line 941 "include/linux/fs.h"
2995struct fown_struct {
2996 rwlock_t lock ;
2997 struct pid *pid ;
2998 enum pid_type pid_type ;
2999 uid_t uid ;
3000 uid_t euid ;
3001 int signum ;
3002};
3003#line 949 "include/linux/fs.h"
3004struct file_ra_state {
3005 unsigned long start ;
3006 unsigned int size ;
3007 unsigned int async_size ;
3008 unsigned int ra_pages ;
3009 unsigned int mmap_miss ;
3010 loff_t prev_pos ;
3011};
3012#line 972 "include/linux/fs.h"
3013union __anonunion_f_u_176 {
3014 struct list_head fu_list ;
3015 struct rcu_head fu_rcuhead ;
3016};
3017#line 972 "include/linux/fs.h"
3018struct file {
3019 union __anonunion_f_u_176 f_u ;
3020 struct path f_path ;
3021 struct file_operations const *f_op ;
3022 spinlock_t f_lock ;
3023 int f_sb_list_cpu ;
3024 atomic_long_t f_count ;
3025 unsigned int f_flags ;
3026 fmode_t f_mode ;
3027 loff_t f_pos ;
3028 struct fown_struct f_owner ;
3029 struct cred const *f_cred ;
3030 struct file_ra_state f_ra ;
3031 u64 f_version ;
3032 void *f_security ;
3033 void *private_data ;
3034 struct list_head f_ep_links ;
3035 struct list_head f_tfile_llink ;
3036 struct address_space *f_mapping ;
3037 unsigned long f_mnt_write_state ;
3038};
3039#line 1111 "include/linux/fs.h"
3040typedef struct files_struct *fl_owner_t;
3041#line 1112 "include/linux/fs.h"
3042struct file_lock_operations {
3043 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3044 void (*fl_release_private)(struct file_lock * ) ;
3045};
3046#line 1117 "include/linux/fs.h"
3047struct lock_manager_operations {
3048 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3049 void (*lm_notify)(struct file_lock * ) ;
3050 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
3051 void (*lm_release_private)(struct file_lock * ) ;
3052 void (*lm_break)(struct file_lock * ) ;
3053 int (*lm_change)(struct file_lock ** , int ) ;
3054};
3055#line 1134
3056struct nlm_lockowner;
3057#line 1134
3058struct nlm_lockowner;
3059#line 1135 "include/linux/fs.h"
3060struct nfs_lock_info {
3061 u32 state ;
3062 struct nlm_lockowner *owner ;
3063 struct list_head list ;
3064};
3065#line 14 "include/linux/nfs_fs_i.h"
3066struct nfs4_lock_state;
3067#line 14
3068struct nfs4_lock_state;
3069#line 15 "include/linux/nfs_fs_i.h"
3070struct nfs4_lock_info {
3071 struct nfs4_lock_state *owner ;
3072};
3073#line 19
3074struct fasync_struct;
3075#line 19 "include/linux/nfs_fs_i.h"
3076struct __anonstruct_afs_178 {
3077 struct list_head link ;
3078 int state ;
3079};
3080#line 19 "include/linux/nfs_fs_i.h"
3081union __anonunion_fl_u_177 {
3082 struct nfs_lock_info nfs_fl ;
3083 struct nfs4_lock_info nfs4_fl ;
3084 struct __anonstruct_afs_178 afs ;
3085};
3086#line 19 "include/linux/nfs_fs_i.h"
3087struct file_lock {
3088 struct file_lock *fl_next ;
3089 struct list_head fl_link ;
3090 struct list_head fl_block ;
3091 fl_owner_t fl_owner ;
3092 unsigned int fl_flags ;
3093 unsigned char fl_type ;
3094 unsigned int fl_pid ;
3095 struct pid *fl_nspid ;
3096 wait_queue_head_t fl_wait ;
3097 struct file *fl_file ;
3098 loff_t fl_start ;
3099 loff_t fl_end ;
3100 struct fasync_struct *fl_fasync ;
3101 unsigned long fl_break_time ;
3102 unsigned long fl_downgrade_time ;
3103 struct file_lock_operations const *fl_ops ;
3104 struct lock_manager_operations const *fl_lmops ;
3105 union __anonunion_fl_u_177 fl_u ;
3106};
3107#line 1221 "include/linux/fs.h"
3108struct fasync_struct {
3109 spinlock_t fa_lock ;
3110 int magic ;
3111 int fa_fd ;
3112 struct fasync_struct *fa_next ;
3113 struct file *fa_file ;
3114 struct rcu_head fa_rcu ;
3115};
3116#line 1417
3117struct file_system_type;
3118#line 1417
3119struct super_operations;
3120#line 1417
3121struct xattr_handler;
3122#line 1417
3123struct mtd_info;
3124#line 1417 "include/linux/fs.h"
3125struct super_block {
3126 struct list_head s_list ;
3127 dev_t s_dev ;
3128 unsigned char s_dirt ;
3129 unsigned char s_blocksize_bits ;
3130 unsigned long s_blocksize ;
3131 loff_t s_maxbytes ;
3132 struct file_system_type *s_type ;
3133 struct super_operations const *s_op ;
3134 struct dquot_operations const *dq_op ;
3135 struct quotactl_ops const *s_qcop ;
3136 struct export_operations const *s_export_op ;
3137 unsigned long s_flags ;
3138 unsigned long s_magic ;
3139 struct dentry *s_root ;
3140 struct rw_semaphore s_umount ;
3141 struct mutex s_lock ;
3142 int s_count ;
3143 atomic_t s_active ;
3144 void *s_security ;
3145 struct xattr_handler const **s_xattr ;
3146 struct list_head s_inodes ;
3147 struct hlist_bl_head s_anon ;
3148 struct list_head *s_files ;
3149 struct list_head s_mounts ;
3150 struct list_head s_dentry_lru ;
3151 int s_nr_dentry_unused ;
3152 spinlock_t s_inode_lru_lock ;
3153 struct list_head s_inode_lru ;
3154 int s_nr_inodes_unused ;
3155 struct block_device *s_bdev ;
3156 struct backing_dev_info *s_bdi ;
3157 struct mtd_info *s_mtd ;
3158 struct hlist_node s_instances ;
3159 struct quota_info s_dquot ;
3160 int s_frozen ;
3161 wait_queue_head_t s_wait_unfrozen ;
3162 char s_id[32U] ;
3163 u8 s_uuid[16U] ;
3164 void *s_fs_info ;
3165 unsigned int s_max_links ;
3166 fmode_t s_mode ;
3167 u32 s_time_gran ;
3168 struct mutex s_vfs_rename_mutex ;
3169 char *s_subtype ;
3170 char *s_options ;
3171 struct dentry_operations const *s_d_op ;
3172 int cleancache_poolid ;
3173 struct shrinker s_shrink ;
3174 atomic_long_t s_remove_count ;
3175 int s_readonly_remount ;
3176};
3177#line 1563 "include/linux/fs.h"
3178struct fiemap_extent_info {
3179 unsigned int fi_flags ;
3180 unsigned int fi_extents_mapped ;
3181 unsigned int fi_extents_max ;
3182 struct fiemap_extent *fi_extents_start ;
3183};
3184#line 1602 "include/linux/fs.h"
3185struct file_operations {
3186 struct module *owner ;
3187 loff_t (*llseek)(struct file * , loff_t , int ) ;
3188 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3189 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3190 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3191 loff_t ) ;
3192 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3193 loff_t ) ;
3194 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3195 loff_t , u64 , unsigned int ) ) ;
3196 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3197 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3198 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3199 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3200 int (*open)(struct inode * , struct file * ) ;
3201 int (*flush)(struct file * , fl_owner_t ) ;
3202 int (*release)(struct inode * , struct file * ) ;
3203 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
3204 int (*aio_fsync)(struct kiocb * , int ) ;
3205 int (*fasync)(int , struct file * , int ) ;
3206 int (*lock)(struct file * , int , struct file_lock * ) ;
3207 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3208 int ) ;
3209 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3210 unsigned long , unsigned long ) ;
3211 int (*check_flags)(int ) ;
3212 int (*flock)(struct file * , int , struct file_lock * ) ;
3213 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3214 unsigned int ) ;
3215 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3216 unsigned int ) ;
3217 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3218 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
3219};
3220#line 1637 "include/linux/fs.h"
3221struct inode_operations {
3222 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3223 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3224 int (*permission)(struct inode * , int ) ;
3225 struct posix_acl *(*get_acl)(struct inode * , int ) ;
3226 int (*readlink)(struct dentry * , char * , int ) ;
3227 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3228 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
3229 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3230 int (*unlink)(struct inode * , struct dentry * ) ;
3231 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3232 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
3233 int (*rmdir)(struct inode * , struct dentry * ) ;
3234 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
3235 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3236 void (*truncate)(struct inode * ) ;
3237 int (*setattr)(struct dentry * , struct iattr * ) ;
3238 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
3239 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3240 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3241 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3242 int (*removexattr)(struct dentry * , char const * ) ;
3243 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3244 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
3245};
3246#line 1682 "include/linux/fs.h"
3247struct super_operations {
3248 struct inode *(*alloc_inode)(struct super_block * ) ;
3249 void (*destroy_inode)(struct inode * ) ;
3250 void (*dirty_inode)(struct inode * , int ) ;
3251 int (*write_inode)(struct inode * , struct writeback_control * ) ;
3252 int (*drop_inode)(struct inode * ) ;
3253 void (*evict_inode)(struct inode * ) ;
3254 void (*put_super)(struct super_block * ) ;
3255 void (*write_super)(struct super_block * ) ;
3256 int (*sync_fs)(struct super_block * , int ) ;
3257 int (*freeze_fs)(struct super_block * ) ;
3258 int (*unfreeze_fs)(struct super_block * ) ;
3259 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3260 int (*remount_fs)(struct super_block * , int * , char * ) ;
3261 void (*umount_begin)(struct super_block * ) ;
3262 int (*show_options)(struct seq_file * , struct dentry * ) ;
3263 int (*show_devname)(struct seq_file * , struct dentry * ) ;
3264 int (*show_path)(struct seq_file * , struct dentry * ) ;
3265 int (*show_stats)(struct seq_file * , struct dentry * ) ;
3266 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3267 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3268 loff_t ) ;
3269 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3270 int (*nr_cached_objects)(struct super_block * ) ;
3271 void (*free_cached_objects)(struct super_block * , int ) ;
3272};
3273#line 1834 "include/linux/fs.h"
3274struct file_system_type {
3275 char const *name ;
3276 int fs_flags ;
3277 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3278 void (*kill_sb)(struct super_block * ) ;
3279 struct module *owner ;
3280 struct file_system_type *next ;
3281 struct hlist_head fs_supers ;
3282 struct lock_class_key s_lock_key ;
3283 struct lock_class_key s_umount_key ;
3284 struct lock_class_key s_vfs_rename_key ;
3285 struct lock_class_key i_lock_key ;
3286 struct lock_class_key i_mutex_key ;
3287 struct lock_class_key i_mutex_dir_key ;
3288};
3289#line 46 "include/linux/proc_fs.h"
3290typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
3291#line 48 "include/linux/proc_fs.h"
3292typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
3293#line 49 "include/linux/proc_fs.h"
3294struct proc_dir_entry {
3295 unsigned int low_ino ;
3296 umode_t mode ;
3297 nlink_t nlink ;
3298 uid_t uid ;
3299 gid_t gid ;
3300 loff_t size ;
3301 struct inode_operations const *proc_iops ;
3302 struct file_operations const *proc_fops ;
3303 struct proc_dir_entry *next ;
3304 struct proc_dir_entry *parent ;
3305 struct proc_dir_entry *subdir ;
3306 void *data ;
3307 read_proc_t *read_proc ;
3308 write_proc_t *write_proc ;
3309 atomic_t count ;
3310 int pde_users ;
3311 struct completion *pde_unload_completion ;
3312 struct list_head pde_openers ;
3313 spinlock_t pde_unload_lock ;
3314 u8 namelen ;
3315 char name[0U] ;
3316};
3317#line 60 "include/acpi/acpi_bus.h"
3318enum acpi_bus_removal_type {
3319 ACPI_BUS_REMOVAL_NORMAL = 0,
3320 ACPI_BUS_REMOVAL_EJECT = 1,
3321 ACPI_BUS_REMOVAL_SUPRISE = 2,
3322 ACPI_BUS_REMOVAL_TYPE_COUNT = 3
3323} ;
3324#line 77
3325struct acpi_driver;
3326#line 77
3327struct acpi_driver;
3328#line 78
3329struct acpi_device;
3330#line 78
3331struct acpi_device;
3332#line 95 "include/acpi/acpi_bus.h"
3333struct acpi_bus_ops {
3334 unsigned char acpi_op_add : 1 ;
3335 unsigned char acpi_op_start : 1 ;
3336};
3337#line 100 "include/acpi/acpi_bus.h"
3338struct acpi_device_ops {
3339 int (*add)(struct acpi_device * ) ;
3340 int (*remove)(struct acpi_device * , int ) ;
3341 int (*start)(struct acpi_device * ) ;
3342 int (*suspend)(struct acpi_device * , pm_message_t ) ;
3343 int (*resume)(struct acpi_device * ) ;
3344 int (*bind)(struct acpi_device * ) ;
3345 int (*unbind)(struct acpi_device * ) ;
3346 void (*notify)(struct acpi_device * , u32 ) ;
3347};
3348#line 111
3349struct acpi_device_id;
3350#line 111 "include/acpi/acpi_bus.h"
3351struct acpi_driver {
3352 char name[80U] ;
3353 char class[80U] ;
3354 struct acpi_device_id const *ids ;
3355 unsigned int flags ;
3356 struct acpi_device_ops ops ;
3357 struct device_driver drv ;
3358 struct module *owner ;
3359};
3360#line 123 "include/acpi/acpi_bus.h"
3361struct acpi_device_status {
3362 unsigned char present : 1 ;
3363 unsigned char enabled : 1 ;
3364 unsigned char show_in_ui : 1 ;
3365 unsigned char functional : 1 ;
3366 unsigned char battery_present : 1 ;
3367 unsigned int reserved : 27 ;
3368};
3369#line 139 "include/acpi/acpi_bus.h"
3370struct acpi_device_flags {
3371 unsigned char dynamic_status : 1 ;
3372 unsigned char bus_address : 1 ;
3373 unsigned char removable : 1 ;
3374 unsigned char ejectable : 1 ;
3375 unsigned char lockable : 1 ;
3376 unsigned char suprise_removal_ok : 1 ;
3377 unsigned char power_manageable : 1 ;
3378 unsigned char performance_manageable : 1 ;
3379 unsigned int reserved : 24 ;
3380};
3381#line 153 "include/acpi/acpi_bus.h"
3382struct acpi_device_dir {
3383 struct proc_dir_entry *entry ;
3384};
3385#line 164 "include/acpi/acpi_bus.h"
3386typedef char acpi_bus_id[8U];
3387#line 165 "include/acpi/acpi_bus.h"
3388typedef unsigned long acpi_bus_address;
3389#line 166 "include/acpi/acpi_bus.h"
3390typedef char acpi_device_name[40U];
3391#line 167 "include/acpi/acpi_bus.h"
3392typedef char acpi_device_class[20U];
3393#line 173 "include/acpi/acpi_bus.h"
3394struct acpi_device_pnp {
3395 acpi_bus_id bus_id ;
3396 acpi_bus_address bus_address ;
3397 char *unique_id ;
3398 struct list_head ids ;
3399 acpi_device_name device_name ;
3400 acpi_device_class device_class ;
3401};
3402#line 186 "include/acpi/acpi_bus.h"
3403struct acpi_device_power_flags {
3404 unsigned char explicit_get : 1 ;
3405 unsigned char power_resources : 1 ;
3406 unsigned char inrush_current : 1 ;
3407 unsigned char power_removed : 1 ;
3408 unsigned int reserved : 28 ;
3409};
3410#line 198 "include/acpi/acpi_bus.h"
3411struct __anonstruct_flags_179 {
3412 unsigned char valid : 1 ;
3413 unsigned char explicit_set : 1 ;
3414 unsigned char reserved : 6 ;
3415};
3416#line 198 "include/acpi/acpi_bus.h"
3417struct acpi_device_power_state {
3418 struct __anonstruct_flags_179 flags ;
3419 int power ;
3420 int latency ;
3421 struct acpi_handle_list resources ;
3422};
3423#line 209 "include/acpi/acpi_bus.h"
3424struct acpi_device_power {
3425 int state ;
3426 struct acpi_device_power_flags flags ;
3427 struct acpi_device_power_state states[5U] ;
3428};
3429#line 215 "include/acpi/acpi_bus.h"
3430struct acpi_device_perf_flags {
3431 u8 reserved ;
3432};
3433#line 221 "include/acpi/acpi_bus.h"
3434struct __anonstruct_flags_180 {
3435 unsigned char valid : 1 ;
3436 unsigned char reserved : 7 ;
3437};
3438#line 221 "include/acpi/acpi_bus.h"
3439struct acpi_device_perf_state {
3440 struct __anonstruct_flags_180 flags ;
3441 u8 power ;
3442 u8 performance ;
3443 int latency ;
3444};
3445#line 231 "include/acpi/acpi_bus.h"
3446struct acpi_device_perf {
3447 int state ;
3448 struct acpi_device_perf_flags flags ;
3449 int state_count ;
3450 struct acpi_device_perf_state *states ;
3451};
3452#line 238 "include/acpi/acpi_bus.h"
3453struct acpi_device_wakeup_flags {
3454 unsigned char valid : 1 ;
3455 unsigned char run_wake : 1 ;
3456 unsigned char notifier_present : 1 ;
3457};
3458#line 245 "include/acpi/acpi_bus.h"
3459struct acpi_device_wakeup {
3460 acpi_handle gpe_device ;
3461 u64 gpe_number ;
3462 u64 sleep_state ;
3463 struct acpi_handle_list resources ;
3464 struct acpi_device_wakeup_flags flags ;
3465 int prepare_count ;
3466};
3467#line 254 "include/acpi/acpi_bus.h"
3468struct acpi_device {
3469 int device_type ;
3470 acpi_handle handle ;
3471 struct acpi_device *parent ;
3472 struct list_head children ;
3473 struct list_head node ;
3474 struct list_head wakeup_list ;
3475 struct acpi_device_status status ;
3476 struct acpi_device_flags flags ;
3477 struct acpi_device_pnp pnp ;
3478 struct acpi_device_power power ;
3479 struct acpi_device_wakeup wakeup ;
3480 struct acpi_device_perf performance ;
3481 struct acpi_device_dir dir ;
3482 struct acpi_device_ops ops ;
3483 struct acpi_driver *driver ;
3484 void *driver_data ;
3485 struct device dev ;
3486 struct acpi_bus_ops bus_ops ;
3487 enum acpi_bus_removal_type removal_type ;
3488};
3489#line 12 "include/linux/mod_devicetable.h"
3490typedef unsigned long kernel_ulong_t;
3491#line 181 "include/linux/mod_devicetable.h"
3492struct acpi_device_id {
3493 __u8 id[16U] ;
3494 kernel_ulong_t driver_data ;
3495};
3496#line 215 "include/linux/mod_devicetable.h"
3497struct of_device_id {
3498 char name[32U] ;
3499 char type[32U] ;
3500 char compatible[128U] ;
3501 void *data ;
3502};
3503#line 1 "<compiler builtins>"
3504long __builtin_expect(long , long ) ;
3505#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3506void ldv_spin_lock(void) ;
3507#line 3
3508void ldv_spin_unlock(void) ;
3509#line 4
3510int ldv_spin_trylock(void) ;
3511#line 101 "include/linux/printk.h"
3512extern int printk(char const * , ...) ;
3513#line 50 "include/linux/dynamic_debug.h"
3514extern int __dynamic_dev_dbg(struct _ddebug * , struct device const * , char const *
3515 , ...) ;
3516#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
3517extern char *strcpy(char * , char const * ) ;
3518#line 27 "include/linux/err.h"
3519__inline static long PTR_ERR(void const *ptr )
3520{
3521
3522 {
3523#line 29
3524 return ((long )ptr);
3525}
3526}
3527#line 32 "include/linux/err.h"
3528__inline static long IS_ERR(void const *ptr )
3529{ long tmp ;
3530 unsigned long __cil_tmp3 ;
3531 int __cil_tmp4 ;
3532 long __cil_tmp5 ;
3533
3534 {
3535 {
3536#line 34
3537 __cil_tmp3 = (unsigned long )ptr;
3538#line 34
3539 __cil_tmp4 = __cil_tmp3 > 0xfffffffffffff000UL;
3540#line 34
3541 __cil_tmp5 = (long )__cil_tmp4;
3542#line 34
3543 tmp = __builtin_expect(__cil_tmp5, 0L);
3544 }
3545#line 34
3546 return (tmp);
3547}
3548}
3549#line 145 "include/linux/sysfs.h"
3550extern int sysfs_create_link(struct kobject * , struct kobject * , char const * ) ;
3551#line 150
3552extern void sysfs_remove_link(struct kobject * , char const * ) ;
3553#line 220 "include/linux/slub_def.h"
3554extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
3555#line 223
3556void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3557#line 11 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3558void ldv_check_alloc_flags(gfp_t flags ) ;
3559#line 12
3560void ldv_check_alloc_nonatomic(void) ;
3561#line 14
3562struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3563#line 892 "include/linux/device.h"
3564extern int dev_err(struct device const * , char const * , ...) ;
3565#line 150 "include/linux/thermal.h"
3566extern struct thermal_cooling_device *thermal_cooling_device_register(char * , void * ,
3567 struct thermal_cooling_device_ops const * ) ;
3568#line 152
3569extern void thermal_cooling_device_unregister(struct thermal_cooling_device * ) ;
3570#line 279 "include/acpi/acpi_bus.h"
3571__inline static void *acpi_driver_data(struct acpi_device *d )
3572{ unsigned long __cil_tmp2 ;
3573 unsigned long __cil_tmp3 ;
3574
3575 {
3576 {
3577#line 281
3578 __cil_tmp2 = (unsigned long )d;
3579#line 281
3580 __cil_tmp3 = __cil_tmp2 + 936;
3581#line 281
3582 return (*((void **)__cil_tmp3));
3583 }
3584}
3585}
3586#line 322
3587extern int acpi_bus_set_power(acpi_handle , int ) ;
3588#line 323
3589extern int acpi_bus_update_power(acpi_handle , int * ) ;
3590#line 336
3591extern int acpi_bus_register_driver(struct acpi_driver * ) ;
3592#line 337
3593extern void acpi_bus_unregister_driver(struct acpi_driver * ) ;
3594#line 62 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3595static int acpi_fan_add(struct acpi_device *device ) ;
3596#line 63
3597static int acpi_fan_remove(struct acpi_device *device , int type ) ;
3598#line 64
3599static int acpi_fan_suspend(struct acpi_device *device , int state_event9 ) ;
3600#line 65
3601static int acpi_fan_resume(struct acpi_device *device ) ;
3602#line 67 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3603static struct acpi_device_id const fan_device_ids[2U] = { {{(__u8 )'P', (__u8 )'N', (__u8 )'P', (__u8 )'0', (__u8 )'C', (__u8 )'0', (__u8 )'B',
3604 (__u8 )'\000', (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
3605 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0}, 0UL},
3606 {{(__u8 )'\000',
3607 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
3608 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
3609 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0},
3610 0UL}};
3611#line 71 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3612struct acpi_device_id const __mod_acpi_device_table ;
3613#line 73 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3614static struct acpi_driver acpi_fan_driver = {{(char )'f', (char )'a', (char )'n', (char )'\000'}, {(char )'f', (char )'a',
3615 (char )'n', (char )'\000'},
3616 (struct acpi_device_id const *)(& fan_device_ids), 0U, {& acpi_fan_add, & acpi_fan_remove,
3617 (int (*)(struct acpi_device * ))0,
3618 & acpi_fan_suspend,
3619 & acpi_fan_resume, (int (*)(struct acpi_device * ))0,
3620 (int (*)(struct acpi_device * ))0,
3621 (void (*)(struct acpi_device * ,
3622 u32 ))0},
3623 {(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
3624 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device * ))0, (int (*)(struct device * ))0,
3625 (void (*)(struct device * ))0, (int (*)(struct device * , pm_message_t ))0,
3626 (int (*)(struct device * ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
3627 (struct driver_private *)0}, (struct module *)0};
3628#line 86 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3629static int fan_get_max_state(struct thermal_cooling_device *cdev , unsigned long *state )
3630{
3631
3632 {
3633#line 90
3634 *state = 1UL;
3635#line 91
3636 return (0);
3637}
3638}
3639#line 94 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3640static int fan_get_cur_state(struct thermal_cooling_device *cdev , unsigned long *state )
3641{ struct acpi_device *device ;
3642 int result ;
3643 int acpi_state ;
3644 unsigned long tmp ;
3645 unsigned long __cil_tmp7 ;
3646 unsigned long __cil_tmp8 ;
3647 void *__cil_tmp9 ;
3648 struct acpi_device *__cil_tmp10 ;
3649 unsigned long __cil_tmp11 ;
3650 unsigned long __cil_tmp12 ;
3651 unsigned long __cil_tmp13 ;
3652 unsigned long __cil_tmp14 ;
3653 acpi_handle __cil_tmp15 ;
3654 int *__cil_tmp16 ;
3655 int __cil_tmp17 ;
3656 int *__cil_tmp18 ;
3657 int __cil_tmp19 ;
3658
3659 {
3660#line 97
3661 __cil_tmp7 = (unsigned long )cdev;
3662#line 97
3663 __cil_tmp8 = __cil_tmp7 + 1176;
3664#line 97
3665 __cil_tmp9 = *((void **)__cil_tmp8);
3666#line 97
3667 device = (struct acpi_device *)__cil_tmp9;
3668 {
3669#line 101
3670 __cil_tmp10 = (struct acpi_device *)0;
3671#line 101
3672 __cil_tmp11 = (unsigned long )__cil_tmp10;
3673#line 101
3674 __cil_tmp12 = (unsigned long )device;
3675#line 101
3676 if (__cil_tmp12 == __cil_tmp11) {
3677#line 102
3678 return (-22);
3679 } else {
3680
3681 }
3682 }
3683 {
3684#line 104
3685 __cil_tmp13 = (unsigned long )device;
3686#line 104
3687 __cil_tmp14 = __cil_tmp13 + 8;
3688#line 104
3689 __cil_tmp15 = *((acpi_handle *)__cil_tmp14);
3690#line 104
3691 result = acpi_bus_update_power(__cil_tmp15, & acpi_state);
3692 }
3693#line 105
3694 if (result != 0) {
3695#line 106
3696 return (result);
3697 } else {
3698
3699 }
3700 {
3701#line 108
3702 __cil_tmp16 = & acpi_state;
3703#line 108
3704 __cil_tmp17 = *__cil_tmp16;
3705#line 108
3706 if (__cil_tmp17 != 4) {
3707 {
3708#line 108
3709 __cil_tmp18 = & acpi_state;
3710#line 108
3711 __cil_tmp19 = *__cil_tmp18;
3712#line 108
3713 if (__cil_tmp19 == 0) {
3714#line 108
3715 tmp = 1UL;
3716 } else {
3717#line 108
3718 tmp = 0xffffffffffffffffUL;
3719 }
3720 }
3721#line 108
3722 *state = tmp;
3723 } else {
3724#line 108
3725 *state = 0UL;
3726 }
3727 }
3728#line 110
3729 return (0);
3730}
3731}
3732#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3733static int fan_set_cur_state(struct thermal_cooling_device *cdev , unsigned long state )
3734{ struct acpi_device *device ;
3735 int result ;
3736 int tmp ;
3737 unsigned long __cil_tmp6 ;
3738 unsigned long __cil_tmp7 ;
3739 void *__cil_tmp8 ;
3740 struct acpi_device *__cil_tmp9 ;
3741 unsigned long __cil_tmp10 ;
3742 unsigned long __cil_tmp11 ;
3743 unsigned long __cil_tmp12 ;
3744 unsigned long __cil_tmp13 ;
3745 acpi_handle __cil_tmp14 ;
3746
3747 {
3748#line 116
3749 __cil_tmp6 = (unsigned long )cdev;
3750#line 116
3751 __cil_tmp7 = __cil_tmp6 + 1176;
3752#line 116
3753 __cil_tmp8 = *((void **)__cil_tmp7);
3754#line 116
3755 device = (struct acpi_device *)__cil_tmp8;
3756 {
3757#line 119
3758 __cil_tmp9 = (struct acpi_device *)0;
3759#line 119
3760 __cil_tmp10 = (unsigned long )__cil_tmp9;
3761#line 119
3762 __cil_tmp11 = (unsigned long )device;
3763#line 119
3764 if (__cil_tmp11 == __cil_tmp10) {
3765#line 120
3766 return (-22);
3767 } else
3768#line 119
3769 if (state != 0UL) {
3770#line 119
3771 if (state != 1UL) {
3772#line 120
3773 return (-22);
3774 } else {
3775
3776 }
3777 } else {
3778
3779 }
3780 }
3781#line 122
3782 if (state != 0UL) {
3783#line 122
3784 tmp = 0;
3785 } else {
3786#line 122
3787 tmp = 4;
3788 }
3789 {
3790#line 122
3791 __cil_tmp12 = (unsigned long )device;
3792#line 122
3793 __cil_tmp13 = __cil_tmp12 + 8;
3794#line 122
3795 __cil_tmp14 = *((acpi_handle *)__cil_tmp13);
3796#line 122
3797 result = acpi_bus_set_power(__cil_tmp14, tmp);
3798 }
3799#line 125
3800 return (result);
3801}
3802}
3803#line 128 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3804static struct thermal_cooling_device_ops const fan_cooling_ops = {& fan_get_max_state, & fan_get_cur_state, & fan_set_cur_state};
3805#line 138 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
3806static int acpi_fan_add(struct acpi_device *device )
3807{ int result ;
3808 struct thermal_cooling_device *cdev ;
3809 long tmp ;
3810 long tmp___0 ;
3811 struct _ddebug descriptor ;
3812 long tmp___1 ;
3813 char *tmp___2 ;
3814 struct acpi_device *__cil_tmp9 ;
3815 unsigned long __cil_tmp10 ;
3816 unsigned long __cil_tmp11 ;
3817 unsigned long __cil_tmp12 ;
3818 unsigned long __cil_tmp13 ;
3819 unsigned long __cil_tmp14 ;
3820 acpi_device_name *__cil_tmp15 ;
3821 char *__cil_tmp16 ;
3822 unsigned long __cil_tmp17 ;
3823 unsigned long __cil_tmp18 ;
3824 unsigned long __cil_tmp19 ;
3825 acpi_device_class *__cil_tmp20 ;
3826 char *__cil_tmp21 ;
3827 unsigned long __cil_tmp22 ;
3828 unsigned long __cil_tmp23 ;
3829 acpi_handle __cil_tmp24 ;
3830 int *__cil_tmp25 ;
3831 char *__cil_tmp26 ;
3832 void *__cil_tmp27 ;
3833 void const *__cil_tmp28 ;
3834 void const *__cil_tmp29 ;
3835 struct _ddebug *__cil_tmp30 ;
3836 unsigned long __cil_tmp31 ;
3837 unsigned long __cil_tmp32 ;
3838 unsigned long __cil_tmp33 ;
3839 unsigned long __cil_tmp34 ;
3840 unsigned long __cil_tmp35 ;
3841 unsigned long __cil_tmp36 ;
3842 unsigned char __cil_tmp37 ;
3843 long __cil_tmp38 ;
3844 long __cil_tmp39 ;
3845 unsigned long __cil_tmp40 ;
3846 unsigned long __cil_tmp41 ;
3847 struct device *__cil_tmp42 ;
3848 struct device const *__cil_tmp43 ;
3849 int __cil_tmp44 ;
3850 unsigned long __cil_tmp45 ;
3851 unsigned long __cil_tmp46 ;
3852 unsigned long __cil_tmp47 ;
3853 unsigned long __cil_tmp48 ;
3854 unsigned long __cil_tmp49 ;
3855 struct kobject *__cil_tmp50 ;
3856 unsigned long __cil_tmp51 ;
3857 unsigned long __cil_tmp52 ;
3858 unsigned long __cil_tmp53 ;
3859 struct kobject *__cil_tmp54 ;
3860 unsigned long __cil_tmp55 ;
3861 unsigned long __cil_tmp56 ;
3862 struct device *__cil_tmp57 ;
3863 struct device const *__cil_tmp58 ;
3864 unsigned long __cil_tmp59 ;
3865 unsigned long __cil_tmp60 ;
3866 unsigned long __cil_tmp61 ;
3867 struct kobject *__cil_tmp62 ;
3868 unsigned long __cil_tmp63 ;
3869 unsigned long __cil_tmp64 ;
3870 unsigned long __cil_tmp65 ;
3871 struct kobject *__cil_tmp66 ;
3872 unsigned long __cil_tmp67 ;
3873 unsigned long __cil_tmp68 ;
3874 struct device *__cil_tmp69 ;
3875 struct device const *__cil_tmp70 ;
3876 unsigned long __cil_tmp71 ;
3877 unsigned long __cil_tmp72 ;
3878 int __cil_tmp73 ;
3879 unsigned long __cil_tmp74 ;
3880 unsigned long __cil_tmp75 ;
3881 unsigned long __cil_tmp76 ;
3882 acpi_device_name *__cil_tmp77 ;
3883 char *__cil_tmp78 ;
3884 unsigned long __cil_tmp79 ;
3885 unsigned long __cil_tmp80 ;
3886 acpi_bus_id *__cil_tmp81 ;
3887 char *__cil_tmp82 ;
3888
3889 {
3890#line 140
3891 result = 0;
3892 {
3893#line 143
3894 __cil_tmp9 = (struct acpi_device *)0;
3895#line 143
3896 __cil_tmp10 = (unsigned long )__cil_tmp9;
3897#line 143
3898 __cil_tmp11 = (unsigned long )device;
3899#line 143
3900 if (__cil_tmp11 == __cil_tmp10) {
3901#line 144
3902 return (-22);
3903 } else {
3904
3905 }
3906 }
3907 {
3908#line 146
3909 __cil_tmp12 = 80 + 40;
3910#line 146
3911 __cil_tmp13 = (unsigned long )device;
3912#line 146
3913 __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
3914#line 146
3915 __cil_tmp15 = (acpi_device_name *)__cil_tmp14;
3916#line 146
3917 __cil_tmp16 = (char *)__cil_tmp15;
3918#line 146
3919 strcpy(__cil_tmp16, "Fan");
3920#line 147
3921 __cil_tmp17 = 80 + 80;
3922#line 147
3923 __cil_tmp18 = (unsigned long )device;
3924#line 147
3925 __cil_tmp19 = __cil_tmp18 + __cil_tmp17;
3926#line 147
3927 __cil_tmp20 = (acpi_device_class *)__cil_tmp19;
3928#line 147
3929 __cil_tmp21 = (char *)__cil_tmp20;
3930#line 147
3931 strcpy(__cil_tmp21, "fan");
3932#line 149
3933 __cil_tmp22 = (unsigned long )device;
3934#line 149
3935 __cil_tmp23 = __cil_tmp22 + 8;
3936#line 149
3937 __cil_tmp24 = *((acpi_handle *)__cil_tmp23);
3938#line 149
3939 __cil_tmp25 = (int *)0;
3940#line 149
3941 result = acpi_bus_update_power(__cil_tmp24, __cil_tmp25);
3942 }
3943#line 150
3944 if (result != 0) {
3945 {
3946#line 151
3947 printk("<3>ACPI: Setting initial power state\n");
3948 }
3949#line 152
3950 goto end;
3951 } else {
3952
3953 }
3954 {
3955#line 155
3956 __cil_tmp26 = (char *)"Fan";
3957#line 155
3958 __cil_tmp27 = (void *)device;
3959#line 155
3960 cdev = thermal_cooling_device_register(__cil_tmp26, __cil_tmp27, & fan_cooling_ops);
3961#line 157
3962 __cil_tmp28 = (void const *)cdev;
3963#line 157
3964 tmp___0 = IS_ERR(__cil_tmp28);
3965 }
3966#line 157
3967 if (tmp___0 != 0L) {
3968 {
3969#line 158
3970 __cil_tmp29 = (void const *)cdev;
3971#line 158
3972 tmp = PTR_ERR(__cil_tmp29);
3973#line 158
3974 result = (int )tmp;
3975 }
3976#line 159
3977 goto end;
3978 } else {
3979
3980 }
3981 {
3982#line 162
3983 __cil_tmp30 = & descriptor;
3984#line 162
3985 *((char const **)__cil_tmp30) = "fan";
3986#line 162
3987 __cil_tmp31 = (unsigned long )(& descriptor) + 8;
3988#line 162
3989 *((char const **)__cil_tmp31) = "acpi_fan_add";
3990#line 162
3991 __cil_tmp32 = (unsigned long )(& descriptor) + 16;
3992#line 162
3993 *((char const **)__cil_tmp32) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p";
3994#line 162
3995 __cil_tmp33 = (unsigned long )(& descriptor) + 24;
3996#line 162
3997 *((char const **)__cil_tmp33) = "registered as cooling_device%d\n";
3998#line 162
3999 __cil_tmp34 = (unsigned long )(& descriptor) + 32;
4000#line 162
4001 *((unsigned int *)__cil_tmp34) = 162U;
4002#line 162
4003 __cil_tmp35 = (unsigned long )(& descriptor) + 35;
4004#line 162
4005 *((unsigned char *)__cil_tmp35) = (unsigned char)0;
4006#line 162
4007 __cil_tmp36 = (unsigned long )(& descriptor) + 35;
4008#line 162
4009 __cil_tmp37 = *((unsigned char *)__cil_tmp36);
4010#line 162
4011 __cil_tmp38 = (long )__cil_tmp37;
4012#line 162
4013 __cil_tmp39 = __cil_tmp38 & 1L;
4014#line 162
4015 tmp___1 = __builtin_expect(__cil_tmp39, 0L);
4016 }
4017#line 162
4018 if (tmp___1 != 0L) {
4019 {
4020#line 162
4021 __cil_tmp40 = (unsigned long )device;
4022#line 162
4023 __cil_tmp41 = __cil_tmp40 + 944;
4024#line 162
4025 __cil_tmp42 = (struct device *)__cil_tmp41;
4026#line 162
4027 __cil_tmp43 = (struct device const *)__cil_tmp42;
4028#line 162
4029 __cil_tmp44 = *((int *)cdev);
4030#line 162
4031 __dynamic_dev_dbg(& descriptor, __cil_tmp43, "registered as cooling_device%d\n",
4032 __cil_tmp44);
4033 }
4034 } else {
4035
4036 }
4037 {
4038#line 164
4039 __cil_tmp45 = (unsigned long )device;
4040#line 164
4041 __cil_tmp46 = __cil_tmp45 + 936;
4042#line 164
4043 *((void **)__cil_tmp46) = (void *)cdev;
4044#line 165
4045 __cil_tmp47 = 944 + 16;
4046#line 165
4047 __cil_tmp48 = (unsigned long )device;
4048#line 165
4049 __cil_tmp49 = __cil_tmp48 + __cil_tmp47;
4050#line 165
4051 __cil_tmp50 = (struct kobject *)__cil_tmp49;
4052#line 165
4053 __cil_tmp51 = 24 + 16;
4054#line 165
4055 __cil_tmp52 = (unsigned long )cdev;
4056#line 165
4057 __cil_tmp53 = __cil_tmp52 + __cil_tmp51;
4058#line 165
4059 __cil_tmp54 = (struct kobject *)__cil_tmp53;
4060#line 165
4061 result = sysfs_create_link(__cil_tmp50, __cil_tmp54, "thermal_cooling");
4062 }
4063#line 168
4064 if (result != 0) {
4065 {
4066#line 169
4067 __cil_tmp55 = (unsigned long )device;
4068#line 169
4069 __cil_tmp56 = __cil_tmp55 + 944;
4070#line 169
4071 __cil_tmp57 = (struct device *)__cil_tmp56;
4072#line 169
4073 __cil_tmp58 = (struct device const *)__cil_tmp57;
4074#line 169
4075 dev_err(__cil_tmp58, "Failed to create sysfs link \'thermal_cooling\'\n");
4076 }
4077 } else {
4078
4079 }
4080 {
4081#line 172
4082 __cil_tmp59 = 24 + 16;
4083#line 172
4084 __cil_tmp60 = (unsigned long )cdev;
4085#line 172
4086 __cil_tmp61 = __cil_tmp60 + __cil_tmp59;
4087#line 172
4088 __cil_tmp62 = (struct kobject *)__cil_tmp61;
4089#line 172
4090 __cil_tmp63 = 944 + 16;
4091#line 172
4092 __cil_tmp64 = (unsigned long )device;
4093#line 172
4094 __cil_tmp65 = __cil_tmp64 + __cil_tmp63;
4095#line 172
4096 __cil_tmp66 = (struct kobject *)__cil_tmp65;
4097#line 172
4098 result = sysfs_create_link(__cil_tmp62, __cil_tmp66, "device");
4099 }
4100#line 175
4101 if (result != 0) {
4102 {
4103#line 176
4104 __cil_tmp67 = (unsigned long )device;
4105#line 176
4106 __cil_tmp68 = __cil_tmp67 + 944;
4107#line 176
4108 __cil_tmp69 = (struct device *)__cil_tmp68;
4109#line 176
4110 __cil_tmp70 = (struct device const *)__cil_tmp69;
4111#line 176
4112 dev_err(__cil_tmp70, "Failed to create sysfs link \'device\'\n");
4113 }
4114 } else {
4115
4116 }
4117 {
4118#line 179
4119 __cil_tmp71 = (unsigned long )device;
4120#line 179
4121 __cil_tmp72 = __cil_tmp71 + 184;
4122#line 179
4123 __cil_tmp73 = *((int *)__cil_tmp72);
4124#line 179
4125 if (__cil_tmp73 == 0) {
4126#line 179
4127 tmp___2 = (char *)"on";
4128 } else {
4129#line 179
4130 tmp___2 = (char *)"off";
4131 }
4132 }
4133 {
4134#line 179
4135 __cil_tmp74 = 80 + 40;
4136#line 179
4137 __cil_tmp75 = (unsigned long )device;
4138#line 179
4139 __cil_tmp76 = __cil_tmp75 + __cil_tmp74;
4140#line 179
4141 __cil_tmp77 = (acpi_device_name *)__cil_tmp76;
4142#line 179
4143 __cil_tmp78 = (char *)__cil_tmp77;
4144#line 179
4145 __cil_tmp79 = (unsigned long )device;
4146#line 179
4147 __cil_tmp80 = __cil_tmp79 + 80;
4148#line 179
4149 __cil_tmp81 = (acpi_bus_id *)__cil_tmp80;
4150#line 179
4151 __cil_tmp82 = (char *)__cil_tmp81;
4152#line 179
4153 printk("<6>ACPI: %s [%s] (%s)\n", __cil_tmp78, __cil_tmp82, tmp___2);
4154 }
4155 end: ;
4156#line 184
4157 return (result);
4158}
4159}
4160#line 187 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4161static int acpi_fan_remove(struct acpi_device *device , int type )
4162{ struct thermal_cooling_device *cdev ;
4163 void *tmp ;
4164 struct acpi_device *__cil_tmp5 ;
4165 unsigned long __cil_tmp6 ;
4166 unsigned long __cil_tmp7 ;
4167 struct thermal_cooling_device *__cil_tmp8 ;
4168 unsigned long __cil_tmp9 ;
4169 unsigned long __cil_tmp10 ;
4170 unsigned long __cil_tmp11 ;
4171 unsigned long __cil_tmp12 ;
4172 unsigned long __cil_tmp13 ;
4173 struct kobject *__cil_tmp14 ;
4174 unsigned long __cil_tmp15 ;
4175 unsigned long __cil_tmp16 ;
4176 unsigned long __cil_tmp17 ;
4177 struct kobject *__cil_tmp18 ;
4178
4179 {
4180 {
4181#line 189
4182 tmp = acpi_driver_data(device);
4183#line 189
4184 cdev = (struct thermal_cooling_device *)tmp;
4185 }
4186 {
4187#line 191
4188 __cil_tmp5 = (struct acpi_device *)0;
4189#line 191
4190 __cil_tmp6 = (unsigned long )__cil_tmp5;
4191#line 191
4192 __cil_tmp7 = (unsigned long )device;
4193#line 191
4194 if (__cil_tmp7 == __cil_tmp6) {
4195#line 192
4196 return (-22);
4197 } else {
4198 {
4199#line 191
4200 __cil_tmp8 = (struct thermal_cooling_device *)0;
4201#line 191
4202 __cil_tmp9 = (unsigned long )__cil_tmp8;
4203#line 191
4204 __cil_tmp10 = (unsigned long )cdev;
4205#line 191
4206 if (__cil_tmp10 == __cil_tmp9) {
4207#line 192
4208 return (-22);
4209 } else {
4210
4211 }
4212 }
4213 }
4214 }
4215 {
4216#line 194
4217 __cil_tmp11 = 944 + 16;
4218#line 194
4219 __cil_tmp12 = (unsigned long )device;
4220#line 194
4221 __cil_tmp13 = __cil_tmp12 + __cil_tmp11;
4222#line 194
4223 __cil_tmp14 = (struct kobject *)__cil_tmp13;
4224#line 194
4225 sysfs_remove_link(__cil_tmp14, "thermal_cooling");
4226#line 195
4227 __cil_tmp15 = 24 + 16;
4228#line 195
4229 __cil_tmp16 = (unsigned long )cdev;
4230#line 195
4231 __cil_tmp17 = __cil_tmp16 + __cil_tmp15;
4232#line 195
4233 __cil_tmp18 = (struct kobject *)__cil_tmp17;
4234#line 195
4235 sysfs_remove_link(__cil_tmp18, "device");
4236#line 196
4237 thermal_cooling_device_unregister(cdev);
4238 }
4239#line 198
4240 return (0);
4241}
4242}
4243#line 201 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4244static int acpi_fan_suspend(struct acpi_device *device , int state_event9 )
4245{ struct acpi_device *__cil_tmp3 ;
4246 unsigned long __cil_tmp4 ;
4247 unsigned long __cil_tmp5 ;
4248 unsigned long __cil_tmp6 ;
4249 unsigned long __cil_tmp7 ;
4250 acpi_handle __cil_tmp8 ;
4251
4252 {
4253 {
4254#line 203
4255 __cil_tmp3 = (struct acpi_device *)0;
4256#line 203
4257 __cil_tmp4 = (unsigned long )__cil_tmp3;
4258#line 203
4259 __cil_tmp5 = (unsigned long )device;
4260#line 203
4261 if (__cil_tmp5 == __cil_tmp4) {
4262#line 204
4263 return (-22);
4264 } else {
4265
4266 }
4267 }
4268 {
4269#line 206
4270 __cil_tmp6 = (unsigned long )device;
4271#line 206
4272 __cil_tmp7 = __cil_tmp6 + 8;
4273#line 206
4274 __cil_tmp8 = *((acpi_handle *)__cil_tmp7);
4275#line 206
4276 acpi_bus_set_power(__cil_tmp8, 0);
4277 }
4278#line 208
4279 return (0);
4280}
4281}
4282#line 211 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4283static int acpi_fan_resume(struct acpi_device *device )
4284{ int result ;
4285 struct acpi_device *__cil_tmp3 ;
4286 unsigned long __cil_tmp4 ;
4287 unsigned long __cil_tmp5 ;
4288 unsigned long __cil_tmp6 ;
4289 unsigned long __cil_tmp7 ;
4290 acpi_handle __cil_tmp8 ;
4291 int *__cil_tmp9 ;
4292
4293 {
4294 {
4295#line 215
4296 __cil_tmp3 = (struct acpi_device *)0;
4297#line 215
4298 __cil_tmp4 = (unsigned long )__cil_tmp3;
4299#line 215
4300 __cil_tmp5 = (unsigned long )device;
4301#line 215
4302 if (__cil_tmp5 == __cil_tmp4) {
4303#line 216
4304 return (-22);
4305 } else {
4306
4307 }
4308 }
4309 {
4310#line 218
4311 __cil_tmp6 = (unsigned long )device;
4312#line 218
4313 __cil_tmp7 = __cil_tmp6 + 8;
4314#line 218
4315 __cil_tmp8 = *((acpi_handle *)__cil_tmp7);
4316#line 218
4317 __cil_tmp9 = (int *)0;
4318#line 218
4319 result = acpi_bus_update_power(__cil_tmp8, __cil_tmp9);
4320 }
4321#line 219
4322 if (result != 0) {
4323 {
4324#line 220
4325 printk("<3>ACPI: Error updating fan power state\n");
4326 }
4327 } else {
4328
4329 }
4330#line 222
4331 return (result);
4332}
4333}
4334#line 225 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4335static int acpi_fan_init(void)
4336{ int result ;
4337
4338 {
4339 {
4340#line 227
4341 result = 0;
4342#line 229
4343 result = acpi_bus_register_driver(& acpi_fan_driver);
4344 }
4345#line 230
4346 if (result < 0) {
4347#line 231
4348 return (-19);
4349 } else {
4350
4351 }
4352#line 233
4353 return (0);
4354}
4355}
4356#line 236 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4357static void acpi_fan_exit(void)
4358{
4359
4360 {
4361 {
4362#line 239
4363 acpi_bus_unregister_driver(& acpi_fan_driver);
4364 }
4365#line 241
4366 return;
4367}
4368}
4369#line 263
4370extern void ldv_check_final_state(void) ;
4371#line 269
4372extern void ldv_initialize(void) ;
4373#line 272
4374extern int __VERIFIER_nondet_int(void) ;
4375#line 275 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4376int LDV_IN_INTERRUPT ;
4377#line 278 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4378void main(void)
4379{ struct acpi_device *var_group1 ;
4380 int var_acpi_fan_remove_4_p1 ;
4381 pm_message_t var_acpi_fan_suspend_5_p1 ;
4382 struct thermal_cooling_device *var_group2 ;
4383 unsigned long *var_fan_get_max_state_0_p1 ;
4384 unsigned long *var_fan_get_cur_state_1_p1 ;
4385 unsigned long var_fan_set_cur_state_2_p1 ;
4386 int tmp ;
4387 int tmp___0 ;
4388 int tmp___1 ;
4389 int var_acpi_fan_suspend_5_p1_event11 ;
4390
4391 {
4392 {
4393#line 357
4394 LDV_IN_INTERRUPT = 1;
4395#line 366
4396 ldv_initialize();
4397#line 377
4398 tmp = acpi_fan_init();
4399 }
4400#line 377
4401 if (tmp != 0) {
4402#line 378
4403 goto ldv_final;
4404 } else {
4405
4406 }
4407#line 384
4408 goto ldv_24955;
4409 ldv_24954:
4410 {
4411#line 387
4412 tmp___0 = __VERIFIER_nondet_int();
4413 }
4414#line 389
4415 if (tmp___0 == 0) {
4416#line 389
4417 goto case_0;
4418 } else
4419#line 410
4420 if (tmp___0 == 1) {
4421#line 410
4422 goto case_1;
4423 } else
4424#line 431
4425 if (tmp___0 == 2) {
4426#line 431
4427 goto case_2;
4428 } else
4429#line 452
4430 if (tmp___0 == 3) {
4431#line 452
4432 goto case_3;
4433 } else
4434#line 473
4435 if (tmp___0 == 4) {
4436#line 473
4437 goto case_4;
4438 } else
4439#line 494
4440 if (tmp___0 == 5) {
4441#line 494
4442 goto case_5;
4443 } else
4444#line 515
4445 if (tmp___0 == 6) {
4446#line 515
4447 goto case_6;
4448 } else {
4449 {
4450#line 536
4451 goto switch_default;
4452#line 387
4453 if (0) {
4454 case_0:
4455 {
4456#line 402
4457 acpi_fan_add(var_group1);
4458 }
4459#line 409
4460 goto ldv_24946;
4461 case_1:
4462 {
4463#line 423
4464 acpi_fan_remove(var_group1, var_acpi_fan_remove_4_p1);
4465 }
4466#line 430
4467 goto ldv_24946;
4468 case_2:
4469 {
4470#line 444
4471 acpi_fan_suspend(var_group1, var_acpi_fan_suspend_5_p1_event11);
4472 }
4473#line 451
4474 goto ldv_24946;
4475 case_3:
4476 {
4477#line 465
4478 acpi_fan_resume(var_group1);
4479 }
4480#line 472
4481 goto ldv_24946;
4482 case_4:
4483 {
4484#line 486
4485 fan_get_max_state(var_group2, var_fan_get_max_state_0_p1);
4486 }
4487#line 493
4488 goto ldv_24946;
4489 case_5:
4490 {
4491#line 507
4492 fan_get_cur_state(var_group2, var_fan_get_cur_state_1_p1);
4493 }
4494#line 514
4495 goto ldv_24946;
4496 case_6:
4497 {
4498#line 528
4499 fan_set_cur_state(var_group2, var_fan_set_cur_state_2_p1);
4500 }
4501#line 535
4502 goto ldv_24946;
4503 switch_default: ;
4504#line 536
4505 goto ldv_24946;
4506 } else {
4507 switch_break: ;
4508 }
4509 }
4510 }
4511 ldv_24946: ;
4512 ldv_24955:
4513 {
4514#line 384
4515 tmp___1 = __VERIFIER_nondet_int();
4516 }
4517#line 384
4518 if (tmp___1 != 0) {
4519#line 385
4520 goto ldv_24954;
4521 } else {
4522#line 387
4523 goto ldv_24956;
4524 }
4525 ldv_24956: ;
4526 {
4527#line 553
4528 acpi_fan_exit();
4529 }
4530 ldv_final:
4531 {
4532#line 556
4533 ldv_check_final_state();
4534 }
4535#line 559
4536 return;
4537}
4538}
4539#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
4540void ldv_blast_assert(void)
4541{
4542
4543 {
4544 ERROR: ;
4545#line 6
4546 goto ERROR;
4547}
4548}
4549#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
4550extern int __VERIFIER_nondet_int(void) ;
4551#line 580 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4552int ldv_spin = 0;
4553#line 584 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4554void ldv_check_alloc_flags(gfp_t flags )
4555{
4556
4557 {
4558#line 587
4559 if (ldv_spin != 0) {
4560#line 587
4561 if (flags != 32U) {
4562 {
4563#line 587
4564 ldv_blast_assert();
4565 }
4566 } else {
4567
4568 }
4569 } else {
4570
4571 }
4572#line 590
4573 return;
4574}
4575}
4576#line 590
4577extern struct page *ldv_some_page(void) ;
4578#line 593 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4579struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
4580{ struct page *tmp ;
4581
4582 {
4583#line 596
4584 if (ldv_spin != 0) {
4585#line 596
4586 if (flags != 32U) {
4587 {
4588#line 596
4589 ldv_blast_assert();
4590 }
4591 } else {
4592
4593 }
4594 } else {
4595
4596 }
4597 {
4598#line 598
4599 tmp = ldv_some_page();
4600 }
4601#line 598
4602 return (tmp);
4603}
4604}
4605#line 602 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4606void ldv_check_alloc_nonatomic(void)
4607{
4608
4609 {
4610#line 605
4611 if (ldv_spin != 0) {
4612 {
4613#line 605
4614 ldv_blast_assert();
4615 }
4616 } else {
4617
4618 }
4619#line 608
4620 return;
4621}
4622}
4623#line 609 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4624void ldv_spin_lock(void)
4625{
4626
4627 {
4628#line 612
4629 ldv_spin = 1;
4630#line 613
4631 return;
4632}
4633}
4634#line 616 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4635void ldv_spin_unlock(void)
4636{
4637
4638 {
4639#line 619
4640 ldv_spin = 0;
4641#line 620
4642 return;
4643}
4644}
4645#line 623 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4646int ldv_spin_trylock(void)
4647{ int is_lock ;
4648
4649 {
4650 {
4651#line 628
4652 is_lock = __VERIFIER_nondet_int();
4653 }
4654#line 630
4655 if (is_lock != 0) {
4656#line 633
4657 return (0);
4658 } else {
4659#line 638
4660 ldv_spin = 1;
4661#line 640
4662 return (1);
4663 }
4664}
4665}
4666#line 807 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/4606/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/fan.c.p"
4667void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
4668{
4669
4670 {
4671 {
4672#line 813
4673 ldv_check_alloc_flags(ldv_func_arg2);
4674#line 815
4675 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
4676 }
4677#line 816
4678 return ((void *)0);
4679}
4680}