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