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