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