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