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