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