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