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