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