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