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