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