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 155 "include/linux/types.h"
91typedef u64 dma_addr_t;
92#line 178 "include/linux/types.h"
93typedef __u16 __le16;
94#line 180 "include/linux/types.h"
95typedef __u32 __le32;
96#line 202 "include/linux/types.h"
97typedef unsigned int gfp_t;
98#line 203 "include/linux/types.h"
99typedef unsigned int fmode_t;
100#line 219 "include/linux/types.h"
101struct __anonstruct_atomic_t_7 {
102 int counter ;
103};
104#line 219 "include/linux/types.h"
105typedef struct __anonstruct_atomic_t_7 atomic_t;
106#line 224 "include/linux/types.h"
107struct __anonstruct_atomic64_t_8 {
108 long counter ;
109};
110#line 224 "include/linux/types.h"
111typedef struct __anonstruct_atomic64_t_8 atomic64_t;
112#line 229 "include/linux/types.h"
113struct list_head {
114 struct list_head *next ;
115 struct list_head *prev ;
116};
117#line 233
118struct hlist_node;
119#line 233 "include/linux/types.h"
120struct hlist_head {
121 struct hlist_node *first ;
122};
123#line 237 "include/linux/types.h"
124struct hlist_node {
125 struct hlist_node *next ;
126 struct hlist_node **pprev ;
127};
128#line 253 "include/linux/types.h"
129struct rcu_head {
130 struct rcu_head *next ;
131 void (*func)(struct rcu_head *head ) ;
132};
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 146 "include/linux/init.h"
138typedef void (*ctor_fn_t)(void);
139#line 47 "include/linux/dynamic_debug.h"
140struct device;
141#line 47
142struct device;
143#line 135 "include/linux/kernel.h"
144struct completion;
145#line 135
146struct completion;
147#line 136
148struct pt_regs;
149#line 136
150struct pt_regs;
151#line 349
152struct pid;
153#line 349
154struct pid;
155#line 12 "include/linux/thread_info.h"
156struct timespec;
157#line 12
158struct timespec;
159#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
160struct page;
161#line 18
162struct page;
163#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
164struct task_struct;
165#line 20
166struct task_struct;
167#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
168struct task_struct;
169#line 8
170struct mm_struct;
171#line 8
172struct mm_struct;
173#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
174struct pt_regs {
175 unsigned long r15 ;
176 unsigned long r14 ;
177 unsigned long r13 ;
178 unsigned long r12 ;
179 unsigned long bp ;
180 unsigned long bx ;
181 unsigned long r11 ;
182 unsigned long r10 ;
183 unsigned long r9 ;
184 unsigned long r8 ;
185 unsigned long ax ;
186 unsigned long cx ;
187 unsigned long dx ;
188 unsigned long si ;
189 unsigned long di ;
190 unsigned long orig_ax ;
191 unsigned long ip ;
192 unsigned long cs ;
193 unsigned long flags ;
194 unsigned long sp ;
195 unsigned long ss ;
196};
197#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
198struct __anonstruct____missing_field_name_15 {
199 unsigned int a ;
200 unsigned int b ;
201};
202#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
203struct __anonstruct____missing_field_name_16 {
204 u16 limit0 ;
205 u16 base0 ;
206 unsigned int base1 : 8 ;
207 unsigned int type : 4 ;
208 unsigned int s : 1 ;
209 unsigned int dpl : 2 ;
210 unsigned int p : 1 ;
211 unsigned int limit : 4 ;
212 unsigned int avl : 1 ;
213 unsigned int l : 1 ;
214 unsigned int d : 1 ;
215 unsigned int g : 1 ;
216 unsigned int base2 : 8 ;
217};
218#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
219union __anonunion____missing_field_name_14 {
220 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
221 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
222};
223#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
224struct desc_struct {
225 union __anonunion____missing_field_name_14 __annonCompField7 ;
226} __attribute__((__packed__)) ;
227#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
228typedef unsigned long pgdval_t;
229#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
230typedef unsigned long pgprotval_t;
231#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
232struct pgprot {
233 pgprotval_t pgprot ;
234};
235#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
236typedef struct pgprot pgprot_t;
237#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
238struct __anonstruct_pgd_t_20 {
239 pgdval_t pgd ;
240};
241#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
242typedef struct __anonstruct_pgd_t_20 pgd_t;
243#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
244typedef struct page *pgtable_t;
245#line 295
246struct file;
247#line 295
248struct file;
249#line 313
250struct seq_file;
251#line 313
252struct seq_file;
253#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
254struct page;
255#line 47
256struct thread_struct;
257#line 47
258struct thread_struct;
259#line 50
260struct mm_struct;
261#line 51
262struct desc_struct;
263#line 52
264struct task_struct;
265#line 53
266struct cpumask;
267#line 53
268struct cpumask;
269#line 329
270struct arch_spinlock;
271#line 329
272struct arch_spinlock;
273#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
274struct task_struct;
275#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
276struct kernel_vm86_regs {
277 struct pt_regs pt ;
278 unsigned short es ;
279 unsigned short __esh ;
280 unsigned short ds ;
281 unsigned short __dsh ;
282 unsigned short fs ;
283 unsigned short __fsh ;
284 unsigned short gs ;
285 unsigned short __gsh ;
286};
287#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
288union __anonunion____missing_field_name_24 {
289 struct pt_regs *regs ;
290 struct kernel_vm86_regs *vm86 ;
291};
292#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
293struct math_emu_info {
294 long ___orig_eip ;
295 union __anonunion____missing_field_name_24 __annonCompField8 ;
296};
297#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
298struct task_struct;
299#line 10 "include/asm-generic/bug.h"
300struct bug_entry {
301 int bug_addr_disp ;
302 int file_disp ;
303 unsigned short line ;
304 unsigned short flags ;
305};
306#line 12 "include/linux/bug.h"
307struct pt_regs;
308#line 14 "include/linux/cpumask.h"
309struct cpumask {
310 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
311};
312#line 14 "include/linux/cpumask.h"
313typedef struct cpumask cpumask_t;
314#line 637 "include/linux/cpumask.h"
315typedef struct cpumask *cpumask_var_t;
316#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
317struct static_key;
318#line 234
319struct static_key;
320#line 11 "include/linux/personality.h"
321struct pt_regs;
322#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
323struct i387_fsave_struct {
324 u32 cwd ;
325 u32 swd ;
326 u32 twd ;
327 u32 fip ;
328 u32 fcs ;
329 u32 foo ;
330 u32 fos ;
331 u32 st_space[20] ;
332 u32 status ;
333};
334#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
335struct __anonstruct____missing_field_name_31 {
336 u64 rip ;
337 u64 rdp ;
338};
339#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
340struct __anonstruct____missing_field_name_32 {
341 u32 fip ;
342 u32 fcs ;
343 u32 foo ;
344 u32 fos ;
345};
346#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
347union __anonunion____missing_field_name_30 {
348 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
349 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
350};
351#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
352union __anonunion____missing_field_name_33 {
353 u32 padding1[12] ;
354 u32 sw_reserved[12] ;
355};
356#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
357struct i387_fxsave_struct {
358 u16 cwd ;
359 u16 swd ;
360 u16 twd ;
361 u16 fop ;
362 union __anonunion____missing_field_name_30 __annonCompField14 ;
363 u32 mxcsr ;
364 u32 mxcsr_mask ;
365 u32 st_space[32] ;
366 u32 xmm_space[64] ;
367 u32 padding[12] ;
368 union __anonunion____missing_field_name_33 __annonCompField15 ;
369} __attribute__((__aligned__(16))) ;
370#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
371struct i387_soft_struct {
372 u32 cwd ;
373 u32 swd ;
374 u32 twd ;
375 u32 fip ;
376 u32 fcs ;
377 u32 foo ;
378 u32 fos ;
379 u32 st_space[20] ;
380 u8 ftop ;
381 u8 changed ;
382 u8 lookahead ;
383 u8 no_update ;
384 u8 rm ;
385 u8 alimit ;
386 struct math_emu_info *info ;
387 u32 entry_eip ;
388};
389#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
390struct ymmh_struct {
391 u32 ymmh_space[64] ;
392};
393#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
394struct xsave_hdr_struct {
395 u64 xstate_bv ;
396 u64 reserved1[2] ;
397 u64 reserved2[5] ;
398} __attribute__((__packed__)) ;
399#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
400struct xsave_struct {
401 struct i387_fxsave_struct i387 ;
402 struct xsave_hdr_struct xsave_hdr ;
403 struct ymmh_struct ymmh ;
404} __attribute__((__packed__, __aligned__(64))) ;
405#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
406union thread_xstate {
407 struct i387_fsave_struct fsave ;
408 struct i387_fxsave_struct fxsave ;
409 struct i387_soft_struct soft ;
410 struct xsave_struct xsave ;
411};
412#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
413struct fpu {
414 unsigned int last_cpu ;
415 unsigned int has_fpu ;
416 union thread_xstate *state ;
417};
418#line 433
419struct kmem_cache;
420#line 435
421struct perf_event;
422#line 435
423struct perf_event;
424#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
425struct thread_struct {
426 struct desc_struct tls_array[3] ;
427 unsigned long sp0 ;
428 unsigned long sp ;
429 unsigned long usersp ;
430 unsigned short es ;
431 unsigned short ds ;
432 unsigned short fsindex ;
433 unsigned short gsindex ;
434 unsigned long fs ;
435 unsigned long gs ;
436 struct perf_event *ptrace_bps[4] ;
437 unsigned long debugreg6 ;
438 unsigned long ptrace_dr7 ;
439 unsigned long cr2 ;
440 unsigned long trap_nr ;
441 unsigned long error_code ;
442 struct fpu fpu ;
443 unsigned long *io_bitmap_ptr ;
444 unsigned long iopl ;
445 unsigned int io_bitmap_max ;
446};
447#line 23 "include/asm-generic/atomic-long.h"
448typedef atomic64_t atomic_long_t;
449#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
450typedef u16 __ticket_t;
451#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
452typedef u32 __ticketpair_t;
453#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
454struct __raw_tickets {
455 __ticket_t head ;
456 __ticket_t tail ;
457};
458#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
459union __anonunion____missing_field_name_36 {
460 __ticketpair_t head_tail ;
461 struct __raw_tickets tickets ;
462};
463#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
464struct arch_spinlock {
465 union __anonunion____missing_field_name_36 __annonCompField17 ;
466};
467#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
468typedef struct arch_spinlock arch_spinlock_t;
469#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
470struct __anonstruct____missing_field_name_38 {
471 u32 read ;
472 s32 write ;
473};
474#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
475union __anonunion_arch_rwlock_t_37 {
476 s64 lock ;
477 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
478};
479#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
480typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
481#line 12 "include/linux/lockdep.h"
482struct task_struct;
483#line 391 "include/linux/lockdep.h"
484struct lock_class_key {
485
486};
487#line 20 "include/linux/spinlock_types.h"
488struct raw_spinlock {
489 arch_spinlock_t raw_lock ;
490 unsigned int magic ;
491 unsigned int owner_cpu ;
492 void *owner ;
493};
494#line 20 "include/linux/spinlock_types.h"
495typedef struct raw_spinlock raw_spinlock_t;
496#line 64 "include/linux/spinlock_types.h"
497union __anonunion____missing_field_name_39 {
498 struct raw_spinlock rlock ;
499};
500#line 64 "include/linux/spinlock_types.h"
501struct spinlock {
502 union __anonunion____missing_field_name_39 __annonCompField19 ;
503};
504#line 64 "include/linux/spinlock_types.h"
505typedef struct spinlock spinlock_t;
506#line 11 "include/linux/rwlock_types.h"
507struct __anonstruct_rwlock_t_40 {
508 arch_rwlock_t raw_lock ;
509 unsigned int magic ;
510 unsigned int owner_cpu ;
511 void *owner ;
512};
513#line 11 "include/linux/rwlock_types.h"
514typedef struct __anonstruct_rwlock_t_40 rwlock_t;
515#line 119 "include/linux/seqlock.h"
516struct seqcount {
517 unsigned int sequence ;
518};
519#line 119 "include/linux/seqlock.h"
520typedef struct seqcount seqcount_t;
521#line 14 "include/linux/time.h"
522struct timespec {
523 __kernel_time_t tv_sec ;
524 long tv_nsec ;
525};
526#line 62 "include/linux/stat.h"
527struct kstat {
528 u64 ino ;
529 dev_t dev ;
530 umode_t mode ;
531 unsigned int nlink ;
532 uid_t uid ;
533 gid_t gid ;
534 dev_t rdev ;
535 loff_t size ;
536 struct timespec atime ;
537 struct timespec mtime ;
538 struct timespec ctime ;
539 unsigned long blksize ;
540 unsigned long long blocks ;
541};
542#line 49 "include/linux/wait.h"
543struct __wait_queue_head {
544 spinlock_t lock ;
545 struct list_head task_list ;
546};
547#line 53 "include/linux/wait.h"
548typedef struct __wait_queue_head wait_queue_head_t;
549#line 55
550struct task_struct;
551#line 98 "include/linux/nodemask.h"
552struct __anonstruct_nodemask_t_42 {
553 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
554};
555#line 98 "include/linux/nodemask.h"
556typedef struct __anonstruct_nodemask_t_42 nodemask_t;
557#line 60 "include/linux/pageblock-flags.h"
558struct page;
559#line 48 "include/linux/mutex.h"
560struct mutex {
561 atomic_t count ;
562 spinlock_t wait_lock ;
563 struct list_head wait_list ;
564 struct task_struct *owner ;
565 char const *name ;
566 void *magic ;
567};
568#line 69 "include/linux/mutex.h"
569struct mutex_waiter {
570 struct list_head list ;
571 struct task_struct *task ;
572 void *magic ;
573};
574#line 19 "include/linux/rwsem.h"
575struct rw_semaphore;
576#line 19
577struct rw_semaphore;
578#line 25 "include/linux/rwsem.h"
579struct rw_semaphore {
580 long count ;
581 raw_spinlock_t wait_lock ;
582 struct list_head wait_list ;
583};
584#line 25 "include/linux/completion.h"
585struct completion {
586 unsigned int done ;
587 wait_queue_head_t wait ;
588};
589#line 9 "include/linux/memory_hotplug.h"
590struct page;
591#line 202 "include/linux/ioport.h"
592struct device;
593#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
594struct device;
595#line 46 "include/linux/ktime.h"
596union ktime {
597 s64 tv64 ;
598};
599#line 59 "include/linux/ktime.h"
600typedef union ktime ktime_t;
601#line 10 "include/linux/timer.h"
602struct tvec_base;
603#line 10
604struct tvec_base;
605#line 12 "include/linux/timer.h"
606struct timer_list {
607 struct list_head entry ;
608 unsigned long expires ;
609 struct tvec_base *base ;
610 void (*function)(unsigned long ) ;
611 unsigned long data ;
612 int slack ;
613 int start_pid ;
614 void *start_site ;
615 char start_comm[16] ;
616};
617#line 289
618struct hrtimer;
619#line 289
620struct hrtimer;
621#line 290
622enum hrtimer_restart;
623#line 17 "include/linux/workqueue.h"
624struct work_struct;
625#line 17
626struct work_struct;
627#line 79 "include/linux/workqueue.h"
628struct work_struct {
629 atomic_long_t data ;
630 struct list_head entry ;
631 void (*func)(struct work_struct *work ) ;
632};
633#line 92 "include/linux/workqueue.h"
634struct delayed_work {
635 struct work_struct work ;
636 struct timer_list timer ;
637};
638#line 42 "include/linux/pm.h"
639struct device;
640#line 50 "include/linux/pm.h"
641struct pm_message {
642 int event ;
643};
644#line 50 "include/linux/pm.h"
645typedef struct pm_message pm_message_t;
646#line 264 "include/linux/pm.h"
647struct dev_pm_ops {
648 int (*prepare)(struct device *dev ) ;
649 void (*complete)(struct device *dev ) ;
650 int (*suspend)(struct device *dev ) ;
651 int (*resume)(struct device *dev ) ;
652 int (*freeze)(struct device *dev ) ;
653 int (*thaw)(struct device *dev ) ;
654 int (*poweroff)(struct device *dev ) ;
655 int (*restore)(struct device *dev ) ;
656 int (*suspend_late)(struct device *dev ) ;
657 int (*resume_early)(struct device *dev ) ;
658 int (*freeze_late)(struct device *dev ) ;
659 int (*thaw_early)(struct device *dev ) ;
660 int (*poweroff_late)(struct device *dev ) ;
661 int (*restore_early)(struct device *dev ) ;
662 int (*suspend_noirq)(struct device *dev ) ;
663 int (*resume_noirq)(struct device *dev ) ;
664 int (*freeze_noirq)(struct device *dev ) ;
665 int (*thaw_noirq)(struct device *dev ) ;
666 int (*poweroff_noirq)(struct device *dev ) ;
667 int (*restore_noirq)(struct device *dev ) ;
668 int (*runtime_suspend)(struct device *dev ) ;
669 int (*runtime_resume)(struct device *dev ) ;
670 int (*runtime_idle)(struct device *dev ) ;
671};
672#line 458
673enum rpm_status {
674 RPM_ACTIVE = 0,
675 RPM_RESUMING = 1,
676 RPM_SUSPENDED = 2,
677 RPM_SUSPENDING = 3
678} ;
679#line 480
680enum rpm_request {
681 RPM_REQ_NONE = 0,
682 RPM_REQ_IDLE = 1,
683 RPM_REQ_SUSPEND = 2,
684 RPM_REQ_AUTOSUSPEND = 3,
685 RPM_REQ_RESUME = 4
686} ;
687#line 488
688struct wakeup_source;
689#line 488
690struct wakeup_source;
691#line 495 "include/linux/pm.h"
692struct pm_subsys_data {
693 spinlock_t lock ;
694 unsigned int refcount ;
695};
696#line 506
697struct dev_pm_qos_request;
698#line 506
699struct pm_qos_constraints;
700#line 506 "include/linux/pm.h"
701struct dev_pm_info {
702 pm_message_t power_state ;
703 unsigned int can_wakeup : 1 ;
704 unsigned int async_suspend : 1 ;
705 bool is_prepared : 1 ;
706 bool is_suspended : 1 ;
707 bool ignore_children : 1 ;
708 spinlock_t lock ;
709 struct list_head entry ;
710 struct completion completion ;
711 struct wakeup_source *wakeup ;
712 bool wakeup_path : 1 ;
713 struct timer_list suspend_timer ;
714 unsigned long timer_expires ;
715 struct work_struct work ;
716 wait_queue_head_t wait_queue ;
717 atomic_t usage_count ;
718 atomic_t child_count ;
719 unsigned int disable_depth : 3 ;
720 unsigned int idle_notification : 1 ;
721 unsigned int request_pending : 1 ;
722 unsigned int deferred_resume : 1 ;
723 unsigned int run_wake : 1 ;
724 unsigned int runtime_auto : 1 ;
725 unsigned int no_callbacks : 1 ;
726 unsigned int irq_safe : 1 ;
727 unsigned int use_autosuspend : 1 ;
728 unsigned int timer_autosuspends : 1 ;
729 enum rpm_request request ;
730 enum rpm_status runtime_status ;
731 int runtime_error ;
732 int autosuspend_delay ;
733 unsigned long last_busy ;
734 unsigned long active_jiffies ;
735 unsigned long suspended_jiffies ;
736 unsigned long accounting_timestamp ;
737 ktime_t suspend_time ;
738 s64 max_time_suspended_ns ;
739 struct dev_pm_qos_request *pq_req ;
740 struct pm_subsys_data *subsys_data ;
741 struct pm_qos_constraints *constraints ;
742};
743#line 564 "include/linux/pm.h"
744struct dev_pm_domain {
745 struct dev_pm_ops ops ;
746};
747#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
748struct __anonstruct_mm_context_t_112 {
749 void *ldt ;
750 int size ;
751 unsigned short ia32_compat ;
752 struct mutex lock ;
753 void *vdso ;
754};
755#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
756typedef struct __anonstruct_mm_context_t_112 mm_context_t;
757#line 8 "include/linux/vmalloc.h"
758struct vm_area_struct;
759#line 8
760struct vm_area_struct;
761#line 336 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/io.h"
762struct bio_vec;
763#line 336
764struct bio_vec;
765#line 994 "include/linux/mmzone.h"
766struct page;
767#line 18 "include/linux/smp.h"
768struct call_single_data {
769 struct list_head list ;
770 void (*func)(void *info ) ;
771 void *info ;
772 u16 flags ;
773 u16 priv ;
774};
775#line 10 "include/linux/gfp.h"
776struct vm_area_struct;
777#line 29 "include/linux/sysctl.h"
778struct completion;
779#line 100 "include/linux/rbtree.h"
780struct rb_node {
781 unsigned long rb_parent_color ;
782 struct rb_node *rb_right ;
783 struct rb_node *rb_left ;
784} __attribute__((__aligned__(sizeof(long )))) ;
785#line 110 "include/linux/rbtree.h"
786struct rb_root {
787 struct rb_node *rb_node ;
788};
789#line 939 "include/linux/sysctl.h"
790struct nsproxy;
791#line 939
792struct nsproxy;
793#line 48 "include/linux/kmod.h"
794struct cred;
795#line 48
796struct cred;
797#line 49
798struct file;
799#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
800struct task_struct;
801#line 18 "include/linux/elf.h"
802typedef __u64 Elf64_Addr;
803#line 19 "include/linux/elf.h"
804typedef __u16 Elf64_Half;
805#line 23 "include/linux/elf.h"
806typedef __u32 Elf64_Word;
807#line 24 "include/linux/elf.h"
808typedef __u64 Elf64_Xword;
809#line 194 "include/linux/elf.h"
810struct elf64_sym {
811 Elf64_Word st_name ;
812 unsigned char st_info ;
813 unsigned char st_other ;
814 Elf64_Half st_shndx ;
815 Elf64_Addr st_value ;
816 Elf64_Xword st_size ;
817};
818#line 194 "include/linux/elf.h"
819typedef struct elf64_sym Elf64_Sym;
820#line 438
821struct file;
822#line 20 "include/linux/kobject_ns.h"
823struct sock;
824#line 20
825struct sock;
826#line 21
827struct kobject;
828#line 21
829struct kobject;
830#line 27
831enum kobj_ns_type {
832 KOBJ_NS_TYPE_NONE = 0,
833 KOBJ_NS_TYPE_NET = 1,
834 KOBJ_NS_TYPES = 2
835} ;
836#line 40 "include/linux/kobject_ns.h"
837struct kobj_ns_type_operations {
838 enum kobj_ns_type type ;
839 void *(*grab_current_ns)(void) ;
840 void const *(*netlink_ns)(struct sock *sk ) ;
841 void const *(*initial_ns)(void) ;
842 void (*drop_ns)(void * ) ;
843};
844#line 22 "include/linux/sysfs.h"
845struct kobject;
846#line 23
847struct module;
848#line 24
849enum kobj_ns_type;
850#line 26 "include/linux/sysfs.h"
851struct attribute {
852 char const *name ;
853 umode_t mode ;
854};
855#line 56 "include/linux/sysfs.h"
856struct attribute_group {
857 char const *name ;
858 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
859 struct attribute **attrs ;
860};
861#line 85
862struct file;
863#line 86
864struct vm_area_struct;
865#line 88 "include/linux/sysfs.h"
866struct bin_attribute {
867 struct attribute attr ;
868 size_t size ;
869 void *private ;
870 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
871 loff_t , size_t ) ;
872 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
873 loff_t , size_t ) ;
874 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
875};
876#line 112 "include/linux/sysfs.h"
877struct sysfs_ops {
878 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
879 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
880 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
881};
882#line 118
883struct sysfs_dirent;
884#line 118
885struct sysfs_dirent;
886#line 22 "include/linux/kref.h"
887struct kref {
888 atomic_t refcount ;
889};
890#line 60 "include/linux/kobject.h"
891struct kset;
892#line 60
893struct kobj_type;
894#line 60 "include/linux/kobject.h"
895struct kobject {
896 char const *name ;
897 struct list_head entry ;
898 struct kobject *parent ;
899 struct kset *kset ;
900 struct kobj_type *ktype ;
901 struct sysfs_dirent *sd ;
902 struct kref kref ;
903 unsigned int state_initialized : 1 ;
904 unsigned int state_in_sysfs : 1 ;
905 unsigned int state_add_uevent_sent : 1 ;
906 unsigned int state_remove_uevent_sent : 1 ;
907 unsigned int uevent_suppress : 1 ;
908};
909#line 108 "include/linux/kobject.h"
910struct kobj_type {
911 void (*release)(struct kobject *kobj ) ;
912 struct sysfs_ops const *sysfs_ops ;
913 struct attribute **default_attrs ;
914 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
915 void const *(*namespace)(struct kobject *kobj ) ;
916};
917#line 116 "include/linux/kobject.h"
918struct kobj_uevent_env {
919 char *envp[32] ;
920 int envp_idx ;
921 char buf[2048] ;
922 int buflen ;
923};
924#line 123 "include/linux/kobject.h"
925struct kset_uevent_ops {
926 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
927 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
928 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
929};
930#line 140
931struct sock;
932#line 159 "include/linux/kobject.h"
933struct kset {
934 struct list_head list ;
935 spinlock_t list_lock ;
936 struct kobject kobj ;
937 struct kset_uevent_ops const *uevent_ops ;
938};
939#line 39 "include/linux/moduleparam.h"
940struct kernel_param;
941#line 39
942struct kernel_param;
943#line 41 "include/linux/moduleparam.h"
944struct kernel_param_ops {
945 int (*set)(char const *val , struct kernel_param const *kp ) ;
946 int (*get)(char *buffer , struct kernel_param const *kp ) ;
947 void (*free)(void *arg ) ;
948};
949#line 50
950struct kparam_string;
951#line 50
952struct kparam_array;
953#line 50 "include/linux/moduleparam.h"
954union __anonunion____missing_field_name_199 {
955 void *arg ;
956 struct kparam_string const *str ;
957 struct kparam_array const *arr ;
958};
959#line 50 "include/linux/moduleparam.h"
960struct kernel_param {
961 char const *name ;
962 struct kernel_param_ops const *ops ;
963 u16 perm ;
964 s16 level ;
965 union __anonunion____missing_field_name_199 __annonCompField32 ;
966};
967#line 63 "include/linux/moduleparam.h"
968struct kparam_string {
969 unsigned int maxlen ;
970 char *string ;
971};
972#line 69 "include/linux/moduleparam.h"
973struct kparam_array {
974 unsigned int max ;
975 unsigned int elemsize ;
976 unsigned int *num ;
977 struct kernel_param_ops const *ops ;
978 void *elem ;
979};
980#line 445
981struct module;
982#line 80 "include/linux/jump_label.h"
983struct module;
984#line 143 "include/linux/jump_label.h"
985struct static_key {
986 atomic_t enabled ;
987};
988#line 22 "include/linux/tracepoint.h"
989struct module;
990#line 23
991struct tracepoint;
992#line 23
993struct tracepoint;
994#line 25 "include/linux/tracepoint.h"
995struct tracepoint_func {
996 void *func ;
997 void *data ;
998};
999#line 30 "include/linux/tracepoint.h"
1000struct tracepoint {
1001 char const *name ;
1002 struct static_key key ;
1003 void (*regfunc)(void) ;
1004 void (*unregfunc)(void) ;
1005 struct tracepoint_func *funcs ;
1006};
1007#line 19 "include/linux/export.h"
1008struct kernel_symbol {
1009 unsigned long value ;
1010 char const *name ;
1011};
1012#line 8 "include/asm-generic/module.h"
1013struct mod_arch_specific {
1014
1015};
1016#line 35 "include/linux/module.h"
1017struct module;
1018#line 37
1019struct module_param_attrs;
1020#line 37 "include/linux/module.h"
1021struct module_kobject {
1022 struct kobject kobj ;
1023 struct module *mod ;
1024 struct kobject *drivers_dir ;
1025 struct module_param_attrs *mp ;
1026};
1027#line 44 "include/linux/module.h"
1028struct module_attribute {
1029 struct attribute attr ;
1030 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1031 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1032 size_t count ) ;
1033 void (*setup)(struct module * , char const * ) ;
1034 int (*test)(struct module * ) ;
1035 void (*free)(struct module * ) ;
1036};
1037#line 71
1038struct exception_table_entry;
1039#line 71
1040struct exception_table_entry;
1041#line 199
1042enum module_state {
1043 MODULE_STATE_LIVE = 0,
1044 MODULE_STATE_COMING = 1,
1045 MODULE_STATE_GOING = 2
1046} ;
1047#line 215 "include/linux/module.h"
1048struct module_ref {
1049 unsigned long incs ;
1050 unsigned long decs ;
1051} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1052#line 220
1053struct module_sect_attrs;
1054#line 220
1055struct module_notes_attrs;
1056#line 220
1057struct ftrace_event_call;
1058#line 220 "include/linux/module.h"
1059struct module {
1060 enum module_state state ;
1061 struct list_head list ;
1062 char name[64UL - sizeof(unsigned long )] ;
1063 struct module_kobject mkobj ;
1064 struct module_attribute *modinfo_attrs ;
1065 char const *version ;
1066 char const *srcversion ;
1067 struct kobject *holders_dir ;
1068 struct kernel_symbol const *syms ;
1069 unsigned long const *crcs ;
1070 unsigned int num_syms ;
1071 struct kernel_param *kp ;
1072 unsigned int num_kp ;
1073 unsigned int num_gpl_syms ;
1074 struct kernel_symbol const *gpl_syms ;
1075 unsigned long const *gpl_crcs ;
1076 struct kernel_symbol const *unused_syms ;
1077 unsigned long const *unused_crcs ;
1078 unsigned int num_unused_syms ;
1079 unsigned int num_unused_gpl_syms ;
1080 struct kernel_symbol const *unused_gpl_syms ;
1081 unsigned long const *unused_gpl_crcs ;
1082 struct kernel_symbol const *gpl_future_syms ;
1083 unsigned long const *gpl_future_crcs ;
1084 unsigned int num_gpl_future_syms ;
1085 unsigned int num_exentries ;
1086 struct exception_table_entry *extable ;
1087 int (*init)(void) ;
1088 void *module_init ;
1089 void *module_core ;
1090 unsigned int init_size ;
1091 unsigned int core_size ;
1092 unsigned int init_text_size ;
1093 unsigned int core_text_size ;
1094 unsigned int init_ro_size ;
1095 unsigned int core_ro_size ;
1096 struct mod_arch_specific arch ;
1097 unsigned int taints ;
1098 unsigned int num_bugs ;
1099 struct list_head bug_list ;
1100 struct bug_entry *bug_table ;
1101 Elf64_Sym *symtab ;
1102 Elf64_Sym *core_symtab ;
1103 unsigned int num_symtab ;
1104 unsigned int core_num_syms ;
1105 char *strtab ;
1106 char *core_strtab ;
1107 struct module_sect_attrs *sect_attrs ;
1108 struct module_notes_attrs *notes_attrs ;
1109 char *args ;
1110 void *percpu ;
1111 unsigned int percpu_size ;
1112 unsigned int num_tracepoints ;
1113 struct tracepoint * const *tracepoints_ptrs ;
1114 unsigned int num_trace_bprintk_fmt ;
1115 char const **trace_bprintk_fmt_start ;
1116 struct ftrace_event_call **trace_events ;
1117 unsigned int num_trace_events ;
1118 struct list_head source_list ;
1119 struct list_head target_list ;
1120 struct task_struct *waiter ;
1121 void (*exit)(void) ;
1122 struct module_ref *refptr ;
1123 ctor_fn_t *ctors ;
1124 unsigned int num_ctors ;
1125};
1126#line 14 "include/linux/prio_tree.h"
1127struct prio_tree_node;
1128#line 14 "include/linux/prio_tree.h"
1129struct raw_prio_tree_node {
1130 struct prio_tree_node *left ;
1131 struct prio_tree_node *right ;
1132 struct prio_tree_node *parent ;
1133};
1134#line 20 "include/linux/prio_tree.h"
1135struct prio_tree_node {
1136 struct prio_tree_node *left ;
1137 struct prio_tree_node *right ;
1138 struct prio_tree_node *parent ;
1139 unsigned long start ;
1140 unsigned long last ;
1141};
1142#line 28 "include/linux/prio_tree.h"
1143struct prio_tree_root {
1144 struct prio_tree_node *prio_tree_node ;
1145 unsigned short index_bits ;
1146 unsigned short raw ;
1147};
1148#line 8 "include/linux/debug_locks.h"
1149struct task_struct;
1150#line 48
1151struct task_struct;
1152#line 23 "include/linux/mm_types.h"
1153struct address_space;
1154#line 23
1155struct address_space;
1156#line 40 "include/linux/mm_types.h"
1157union __anonunion____missing_field_name_202 {
1158 unsigned long index ;
1159 void *freelist ;
1160};
1161#line 40 "include/linux/mm_types.h"
1162struct __anonstruct____missing_field_name_206 {
1163 unsigned int inuse : 16 ;
1164 unsigned int objects : 15 ;
1165 unsigned int frozen : 1 ;
1166};
1167#line 40 "include/linux/mm_types.h"
1168union __anonunion____missing_field_name_205 {
1169 atomic_t _mapcount ;
1170 struct __anonstruct____missing_field_name_206 __annonCompField34 ;
1171};
1172#line 40 "include/linux/mm_types.h"
1173struct __anonstruct____missing_field_name_204 {
1174 union __anonunion____missing_field_name_205 __annonCompField35 ;
1175 atomic_t _count ;
1176};
1177#line 40 "include/linux/mm_types.h"
1178union __anonunion____missing_field_name_203 {
1179 unsigned long counters ;
1180 struct __anonstruct____missing_field_name_204 __annonCompField36 ;
1181};
1182#line 40 "include/linux/mm_types.h"
1183struct __anonstruct____missing_field_name_201 {
1184 union __anonunion____missing_field_name_202 __annonCompField33 ;
1185 union __anonunion____missing_field_name_203 __annonCompField37 ;
1186};
1187#line 40 "include/linux/mm_types.h"
1188struct __anonstruct____missing_field_name_208 {
1189 struct page *next ;
1190 int pages ;
1191 int pobjects ;
1192};
1193#line 40 "include/linux/mm_types.h"
1194union __anonunion____missing_field_name_207 {
1195 struct list_head lru ;
1196 struct __anonstruct____missing_field_name_208 __annonCompField39 ;
1197};
1198#line 40 "include/linux/mm_types.h"
1199union __anonunion____missing_field_name_209 {
1200 unsigned long private ;
1201 struct kmem_cache *slab ;
1202 struct page *first_page ;
1203};
1204#line 40 "include/linux/mm_types.h"
1205struct page {
1206 unsigned long flags ;
1207 struct address_space *mapping ;
1208 struct __anonstruct____missing_field_name_201 __annonCompField38 ;
1209 union __anonunion____missing_field_name_207 __annonCompField40 ;
1210 union __anonunion____missing_field_name_209 __annonCompField41 ;
1211 unsigned long debug_flags ;
1212} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1213#line 200 "include/linux/mm_types.h"
1214struct __anonstruct_vm_set_211 {
1215 struct list_head list ;
1216 void *parent ;
1217 struct vm_area_struct *head ;
1218};
1219#line 200 "include/linux/mm_types.h"
1220union __anonunion_shared_210 {
1221 struct __anonstruct_vm_set_211 vm_set ;
1222 struct raw_prio_tree_node prio_tree_node ;
1223};
1224#line 200
1225struct anon_vma;
1226#line 200
1227struct vm_operations_struct;
1228#line 200
1229struct mempolicy;
1230#line 200 "include/linux/mm_types.h"
1231struct vm_area_struct {
1232 struct mm_struct *vm_mm ;
1233 unsigned long vm_start ;
1234 unsigned long vm_end ;
1235 struct vm_area_struct *vm_next ;
1236 struct vm_area_struct *vm_prev ;
1237 pgprot_t vm_page_prot ;
1238 unsigned long vm_flags ;
1239 struct rb_node vm_rb ;
1240 union __anonunion_shared_210 shared ;
1241 struct list_head anon_vma_chain ;
1242 struct anon_vma *anon_vma ;
1243 struct vm_operations_struct const *vm_ops ;
1244 unsigned long vm_pgoff ;
1245 struct file *vm_file ;
1246 void *vm_private_data ;
1247 struct mempolicy *vm_policy ;
1248};
1249#line 257 "include/linux/mm_types.h"
1250struct core_thread {
1251 struct task_struct *task ;
1252 struct core_thread *next ;
1253};
1254#line 262 "include/linux/mm_types.h"
1255struct core_state {
1256 atomic_t nr_threads ;
1257 struct core_thread dumper ;
1258 struct completion startup ;
1259};
1260#line 284 "include/linux/mm_types.h"
1261struct mm_rss_stat {
1262 atomic_long_t count[3] ;
1263};
1264#line 288
1265struct linux_binfmt;
1266#line 288
1267struct mmu_notifier_mm;
1268#line 288 "include/linux/mm_types.h"
1269struct mm_struct {
1270 struct vm_area_struct *mmap ;
1271 struct rb_root mm_rb ;
1272 struct vm_area_struct *mmap_cache ;
1273 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1274 unsigned long pgoff , unsigned long flags ) ;
1275 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1276 unsigned long mmap_base ;
1277 unsigned long task_size ;
1278 unsigned long cached_hole_size ;
1279 unsigned long free_area_cache ;
1280 pgd_t *pgd ;
1281 atomic_t mm_users ;
1282 atomic_t mm_count ;
1283 int map_count ;
1284 spinlock_t page_table_lock ;
1285 struct rw_semaphore mmap_sem ;
1286 struct list_head mmlist ;
1287 unsigned long hiwater_rss ;
1288 unsigned long hiwater_vm ;
1289 unsigned long total_vm ;
1290 unsigned long locked_vm ;
1291 unsigned long pinned_vm ;
1292 unsigned long shared_vm ;
1293 unsigned long exec_vm ;
1294 unsigned long stack_vm ;
1295 unsigned long reserved_vm ;
1296 unsigned long def_flags ;
1297 unsigned long nr_ptes ;
1298 unsigned long start_code ;
1299 unsigned long end_code ;
1300 unsigned long start_data ;
1301 unsigned long end_data ;
1302 unsigned long start_brk ;
1303 unsigned long brk ;
1304 unsigned long start_stack ;
1305 unsigned long arg_start ;
1306 unsigned long arg_end ;
1307 unsigned long env_start ;
1308 unsigned long env_end ;
1309 unsigned long saved_auxv[44] ;
1310 struct mm_rss_stat rss_stat ;
1311 struct linux_binfmt *binfmt ;
1312 cpumask_var_t cpu_vm_mask_var ;
1313 mm_context_t context ;
1314 unsigned int faultstamp ;
1315 unsigned int token_priority ;
1316 unsigned int last_interval ;
1317 unsigned long flags ;
1318 struct core_state *core_state ;
1319 spinlock_t ioctx_lock ;
1320 struct hlist_head ioctx_list ;
1321 struct task_struct *owner ;
1322 struct file *exe_file ;
1323 unsigned long num_exe_file_vmas ;
1324 struct mmu_notifier_mm *mmu_notifier_mm ;
1325 pgtable_t pmd_huge_pte ;
1326 struct cpumask cpumask_allocation ;
1327};
1328#line 8 "include/linux/shrinker.h"
1329struct shrink_control {
1330 gfp_t gfp_mask ;
1331 unsigned long nr_to_scan ;
1332};
1333#line 31 "include/linux/shrinker.h"
1334struct shrinker {
1335 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1336 int seeks ;
1337 long batch ;
1338 struct list_head list ;
1339 atomic_long_t nr_in_batch ;
1340};
1341#line 22 "include/linux/mm.h"
1342struct mempolicy;
1343#line 23
1344struct anon_vma;
1345#line 24
1346struct file_ra_state;
1347#line 24
1348struct file_ra_state;
1349#line 25
1350struct user_struct;
1351#line 25
1352struct user_struct;
1353#line 26
1354struct writeback_control;
1355#line 26
1356struct writeback_control;
1357#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1358struct mm_struct;
1359#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1360struct vm_area_struct;
1361#line 188 "include/linux/mm.h"
1362struct vm_fault {
1363 unsigned int flags ;
1364 unsigned long pgoff ;
1365 void *virtual_address ;
1366 struct page *page ;
1367};
1368#line 205 "include/linux/mm.h"
1369struct vm_operations_struct {
1370 void (*open)(struct vm_area_struct *area ) ;
1371 void (*close)(struct vm_area_struct *area ) ;
1372 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1373 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1374 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1375 int write ) ;
1376 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1377 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1378 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
1379 unsigned long flags ) ;
1380};
1381#line 247
1382struct inode;
1383#line 247
1384struct inode;
1385#line 195 "include/linux/page-flags.h"
1386struct page;
1387#line 6 "include/asm-generic/scatterlist.h"
1388struct scatterlist {
1389 unsigned long sg_magic ;
1390 unsigned long page_link ;
1391 unsigned int offset ;
1392 unsigned int length ;
1393 dma_addr_t dma_address ;
1394 unsigned int dma_length ;
1395};
1396#line 12 "include/linux/scatterlist.h"
1397struct sg_table {
1398 struct scatterlist *sgl ;
1399 unsigned int nents ;
1400 unsigned int orig_nents ;
1401};
1402#line 14 "include/scsi/scsi.h"
1403struct scsi_cmnd;
1404#line 14
1405struct scsi_cmnd;
1406#line 19 "include/linux/klist.h"
1407struct klist_node;
1408#line 19
1409struct klist_node;
1410#line 39 "include/linux/klist.h"
1411struct klist_node {
1412 void *n_klist ;
1413 struct list_head n_node ;
1414 struct kref n_ref ;
1415};
1416#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1417struct dma_map_ops;
1418#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1419struct dev_archdata {
1420 void *acpi_handle ;
1421 struct dma_map_ops *dma_ops ;
1422 void *iommu ;
1423};
1424#line 28 "include/linux/device.h"
1425struct device;
1426#line 29
1427struct device_private;
1428#line 29
1429struct device_private;
1430#line 30
1431struct device_driver;
1432#line 30
1433struct device_driver;
1434#line 31
1435struct driver_private;
1436#line 31
1437struct driver_private;
1438#line 32
1439struct module;
1440#line 33
1441struct class;
1442#line 33
1443struct class;
1444#line 34
1445struct subsys_private;
1446#line 34
1447struct subsys_private;
1448#line 35
1449struct bus_type;
1450#line 35
1451struct bus_type;
1452#line 36
1453struct device_node;
1454#line 36
1455struct device_node;
1456#line 37
1457struct iommu_ops;
1458#line 37
1459struct iommu_ops;
1460#line 39 "include/linux/device.h"
1461struct bus_attribute {
1462 struct attribute attr ;
1463 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1464 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1465};
1466#line 89
1467struct device_attribute;
1468#line 89
1469struct driver_attribute;
1470#line 89 "include/linux/device.h"
1471struct bus_type {
1472 char const *name ;
1473 char const *dev_name ;
1474 struct device *dev_root ;
1475 struct bus_attribute *bus_attrs ;
1476 struct device_attribute *dev_attrs ;
1477 struct driver_attribute *drv_attrs ;
1478 int (*match)(struct device *dev , struct device_driver *drv ) ;
1479 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1480 int (*probe)(struct device *dev ) ;
1481 int (*remove)(struct device *dev ) ;
1482 void (*shutdown)(struct device *dev ) ;
1483 int (*suspend)(struct device *dev , pm_message_t state ) ;
1484 int (*resume)(struct device *dev ) ;
1485 struct dev_pm_ops const *pm ;
1486 struct iommu_ops *iommu_ops ;
1487 struct subsys_private *p ;
1488};
1489#line 127
1490struct device_type;
1491#line 214
1492struct of_device_id;
1493#line 214 "include/linux/device.h"
1494struct device_driver {
1495 char const *name ;
1496 struct bus_type *bus ;
1497 struct module *owner ;
1498 char const *mod_name ;
1499 bool suppress_bind_attrs ;
1500 struct of_device_id const *of_match_table ;
1501 int (*probe)(struct device *dev ) ;
1502 int (*remove)(struct device *dev ) ;
1503 void (*shutdown)(struct device *dev ) ;
1504 int (*suspend)(struct device *dev , pm_message_t state ) ;
1505 int (*resume)(struct device *dev ) ;
1506 struct attribute_group const **groups ;
1507 struct dev_pm_ops const *pm ;
1508 struct driver_private *p ;
1509};
1510#line 249 "include/linux/device.h"
1511struct driver_attribute {
1512 struct attribute attr ;
1513 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1514 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1515};
1516#line 330
1517struct class_attribute;
1518#line 330 "include/linux/device.h"
1519struct class {
1520 char const *name ;
1521 struct module *owner ;
1522 struct class_attribute *class_attrs ;
1523 struct device_attribute *dev_attrs ;
1524 struct bin_attribute *dev_bin_attrs ;
1525 struct kobject *dev_kobj ;
1526 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1527 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1528 void (*class_release)(struct class *class ) ;
1529 void (*dev_release)(struct device *dev ) ;
1530 int (*suspend)(struct device *dev , pm_message_t state ) ;
1531 int (*resume)(struct device *dev ) ;
1532 struct kobj_ns_type_operations const *ns_type ;
1533 void const *(*namespace)(struct device *dev ) ;
1534 struct dev_pm_ops const *pm ;
1535 struct subsys_private *p ;
1536};
1537#line 397 "include/linux/device.h"
1538struct class_attribute {
1539 struct attribute attr ;
1540 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1541 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1542 size_t count ) ;
1543 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1544};
1545#line 465 "include/linux/device.h"
1546struct device_type {
1547 char const *name ;
1548 struct attribute_group const **groups ;
1549 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1550 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1551 void (*release)(struct device *dev ) ;
1552 struct dev_pm_ops const *pm ;
1553};
1554#line 476 "include/linux/device.h"
1555struct device_attribute {
1556 struct attribute attr ;
1557 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1558 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1559 size_t count ) ;
1560};
1561#line 559 "include/linux/device.h"
1562struct device_dma_parameters {
1563 unsigned int max_segment_size ;
1564 unsigned long segment_boundary_mask ;
1565};
1566#line 627
1567struct dma_coherent_mem;
1568#line 627 "include/linux/device.h"
1569struct device {
1570 struct device *parent ;
1571 struct device_private *p ;
1572 struct kobject kobj ;
1573 char const *init_name ;
1574 struct device_type const *type ;
1575 struct mutex mutex ;
1576 struct bus_type *bus ;
1577 struct device_driver *driver ;
1578 void *platform_data ;
1579 struct dev_pm_info power ;
1580 struct dev_pm_domain *pm_domain ;
1581 int numa_node ;
1582 u64 *dma_mask ;
1583 u64 coherent_dma_mask ;
1584 struct device_dma_parameters *dma_parms ;
1585 struct list_head dma_pools ;
1586 struct dma_coherent_mem *dma_mem ;
1587 struct dev_archdata archdata ;
1588 struct device_node *of_node ;
1589 dev_t devt ;
1590 u32 id ;
1591 spinlock_t devres_lock ;
1592 struct list_head devres_head ;
1593 struct klist_node knode_class ;
1594 struct class *class ;
1595 struct attribute_group const **groups ;
1596 void (*release)(struct device *dev ) ;
1597};
1598#line 43 "include/linux/pm_wakeup.h"
1599struct wakeup_source {
1600 char const *name ;
1601 struct list_head entry ;
1602 spinlock_t lock ;
1603 struct timer_list timer ;
1604 unsigned long timer_expires ;
1605 ktime_t total_time ;
1606 ktime_t max_time ;
1607 ktime_t last_time ;
1608 unsigned long event_count ;
1609 unsigned long active_count ;
1610 unsigned long relax_count ;
1611 unsigned long hit_count ;
1612 unsigned int active : 1 ;
1613};
1614#line 27 "include/linux/dma-attrs.h"
1615struct dma_attrs {
1616 unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1617};
1618#line 7 "include/linux/dma-direction.h"
1619enum dma_data_direction {
1620 DMA_BIDIRECTIONAL = 0,
1621 DMA_TO_DEVICE = 1,
1622 DMA_FROM_DEVICE = 2,
1623 DMA_NONE = 3
1624} ;
1625#line 11 "include/linux/dma-mapping.h"
1626struct dma_map_ops {
1627 void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
1628 struct dma_attrs *attrs ) ;
1629 void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
1630 struct dma_attrs *attrs ) ;
1631 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1632 size_t , struct dma_attrs *attrs ) ;
1633 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
1634 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
1635 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
1636 struct dma_attrs *attrs ) ;
1637 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1638 struct dma_attrs *attrs ) ;
1639 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1640 struct dma_attrs *attrs ) ;
1641 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1642 enum dma_data_direction dir ) ;
1643 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1644 enum dma_data_direction dir ) ;
1645 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
1646 enum dma_data_direction dir ) ;
1647 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
1648 enum dma_data_direction dir ) ;
1649 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
1650 int (*dma_supported)(struct device *dev , u64 mask ) ;
1651 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
1652 int is_phys ;
1653};
1654#line 25 "include/linux/dma-debug.h"
1655struct device;
1656#line 26
1657struct scatterlist;
1658#line 27
1659struct bus_type;
1660#line 6 "include/linux/swiotlb.h"
1661struct device;
1662#line 7
1663struct dma_attrs;
1664#line 8
1665struct scatterlist;
1666#line 18 "include/linux/capability.h"
1667struct task_struct;
1668#line 94 "include/linux/capability.h"
1669struct kernel_cap_struct {
1670 __u32 cap[2] ;
1671};
1672#line 94 "include/linux/capability.h"
1673typedef struct kernel_cap_struct kernel_cap_t;
1674#line 377
1675struct dentry;
1676#line 377
1677struct dentry;
1678#line 378
1679struct user_namespace;
1680#line 378
1681struct user_namespace;
1682#line 7 "include/asm-generic/cputime.h"
1683typedef unsigned long cputime_t;
1684#line 84 "include/linux/sem.h"
1685struct task_struct;
1686#line 101
1687struct sem_undo_list;
1688#line 101 "include/linux/sem.h"
1689struct sysv_sem {
1690 struct sem_undo_list *undo_list ;
1691};
1692#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1693struct siginfo;
1694#line 10
1695struct siginfo;
1696#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1697struct __anonstruct_sigset_t_214 {
1698 unsigned long sig[1] ;
1699};
1700#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1701typedef struct __anonstruct_sigset_t_214 sigset_t;
1702#line 17 "include/asm-generic/signal-defs.h"
1703typedef void __signalfn_t(int );
1704#line 18 "include/asm-generic/signal-defs.h"
1705typedef __signalfn_t *__sighandler_t;
1706#line 20 "include/asm-generic/signal-defs.h"
1707typedef void __restorefn_t(void);
1708#line 21 "include/asm-generic/signal-defs.h"
1709typedef __restorefn_t *__sigrestore_t;
1710#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1711struct sigaction {
1712 __sighandler_t sa_handler ;
1713 unsigned long sa_flags ;
1714 __sigrestore_t sa_restorer ;
1715 sigset_t sa_mask ;
1716};
1717#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1718struct k_sigaction {
1719 struct sigaction sa ;
1720};
1721#line 7 "include/asm-generic/siginfo.h"
1722union sigval {
1723 int sival_int ;
1724 void *sival_ptr ;
1725};
1726#line 7 "include/asm-generic/siginfo.h"
1727typedef union sigval sigval_t;
1728#line 48 "include/asm-generic/siginfo.h"
1729struct __anonstruct__kill_216 {
1730 __kernel_pid_t _pid ;
1731 __kernel_uid32_t _uid ;
1732};
1733#line 48 "include/asm-generic/siginfo.h"
1734struct __anonstruct__timer_217 {
1735 __kernel_timer_t _tid ;
1736 int _overrun ;
1737 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1738 sigval_t _sigval ;
1739 int _sys_private ;
1740};
1741#line 48 "include/asm-generic/siginfo.h"
1742struct __anonstruct__rt_218 {
1743 __kernel_pid_t _pid ;
1744 __kernel_uid32_t _uid ;
1745 sigval_t _sigval ;
1746};
1747#line 48 "include/asm-generic/siginfo.h"
1748struct __anonstruct__sigchld_219 {
1749 __kernel_pid_t _pid ;
1750 __kernel_uid32_t _uid ;
1751 int _status ;
1752 __kernel_clock_t _utime ;
1753 __kernel_clock_t _stime ;
1754};
1755#line 48 "include/asm-generic/siginfo.h"
1756struct __anonstruct__sigfault_220 {
1757 void *_addr ;
1758 short _addr_lsb ;
1759};
1760#line 48 "include/asm-generic/siginfo.h"
1761struct __anonstruct__sigpoll_221 {
1762 long _band ;
1763 int _fd ;
1764};
1765#line 48 "include/asm-generic/siginfo.h"
1766union __anonunion__sifields_215 {
1767 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1768 struct __anonstruct__kill_216 _kill ;
1769 struct __anonstruct__timer_217 _timer ;
1770 struct __anonstruct__rt_218 _rt ;
1771 struct __anonstruct__sigchld_219 _sigchld ;
1772 struct __anonstruct__sigfault_220 _sigfault ;
1773 struct __anonstruct__sigpoll_221 _sigpoll ;
1774};
1775#line 48 "include/asm-generic/siginfo.h"
1776struct siginfo {
1777 int si_signo ;
1778 int si_errno ;
1779 int si_code ;
1780 union __anonunion__sifields_215 _sifields ;
1781};
1782#line 48 "include/asm-generic/siginfo.h"
1783typedef struct siginfo siginfo_t;
1784#line 288
1785struct siginfo;
1786#line 10 "include/linux/signal.h"
1787struct task_struct;
1788#line 28 "include/linux/signal.h"
1789struct sigpending {
1790 struct list_head list ;
1791 sigset_t signal ;
1792};
1793#line 239
1794struct timespec;
1795#line 240
1796struct pt_regs;
1797#line 6 "include/linux/pid.h"
1798enum pid_type {
1799 PIDTYPE_PID = 0,
1800 PIDTYPE_PGID = 1,
1801 PIDTYPE_SID = 2,
1802 PIDTYPE_MAX = 3
1803} ;
1804#line 50
1805struct pid_namespace;
1806#line 50 "include/linux/pid.h"
1807struct upid {
1808 int nr ;
1809 struct pid_namespace *ns ;
1810 struct hlist_node pid_chain ;
1811};
1812#line 57 "include/linux/pid.h"
1813struct pid {
1814 atomic_t count ;
1815 unsigned int level ;
1816 struct hlist_head tasks[3] ;
1817 struct rcu_head rcu ;
1818 struct upid numbers[1] ;
1819};
1820#line 69 "include/linux/pid.h"
1821struct pid_link {
1822 struct hlist_node node ;
1823 struct pid *pid ;
1824};
1825#line 100
1826struct pid_namespace;
1827#line 18 "include/linux/percpu_counter.h"
1828struct percpu_counter {
1829 raw_spinlock_t lock ;
1830 s64 count ;
1831 struct list_head list ;
1832 s32 *counters ;
1833};
1834#line 50 "include/linux/proportions.h"
1835struct prop_local_percpu {
1836 struct percpu_counter events ;
1837 int shift ;
1838 unsigned long period ;
1839 raw_spinlock_t lock ;
1840};
1841#line 10 "include/linux/seccomp.h"
1842struct __anonstruct_seccomp_t_224 {
1843 int mode ;
1844};
1845#line 10 "include/linux/seccomp.h"
1846typedef struct __anonstruct_seccomp_t_224 seccomp_t;
1847#line 81 "include/linux/plist.h"
1848struct plist_head {
1849 struct list_head node_list ;
1850};
1851#line 85 "include/linux/plist.h"
1852struct plist_node {
1853 int prio ;
1854 struct list_head prio_list ;
1855 struct list_head node_list ;
1856};
1857#line 40 "include/linux/rtmutex.h"
1858struct rt_mutex_waiter;
1859#line 40
1860struct rt_mutex_waiter;
1861#line 42 "include/linux/resource.h"
1862struct rlimit {
1863 unsigned long rlim_cur ;
1864 unsigned long rlim_max ;
1865};
1866#line 81
1867struct task_struct;
1868#line 8 "include/linux/timerqueue.h"
1869struct timerqueue_node {
1870 struct rb_node node ;
1871 ktime_t expires ;
1872};
1873#line 13 "include/linux/timerqueue.h"
1874struct timerqueue_head {
1875 struct rb_root head ;
1876 struct timerqueue_node *next ;
1877};
1878#line 27 "include/linux/hrtimer.h"
1879struct hrtimer_clock_base;
1880#line 27
1881struct hrtimer_clock_base;
1882#line 28
1883struct hrtimer_cpu_base;
1884#line 28
1885struct hrtimer_cpu_base;
1886#line 44
1887enum hrtimer_restart {
1888 HRTIMER_NORESTART = 0,
1889 HRTIMER_RESTART = 1
1890} ;
1891#line 108 "include/linux/hrtimer.h"
1892struct hrtimer {
1893 struct timerqueue_node node ;
1894 ktime_t _softexpires ;
1895 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1896 struct hrtimer_clock_base *base ;
1897 unsigned long state ;
1898 int start_pid ;
1899 void *start_site ;
1900 char start_comm[16] ;
1901};
1902#line 145 "include/linux/hrtimer.h"
1903struct hrtimer_clock_base {
1904 struct hrtimer_cpu_base *cpu_base ;
1905 int index ;
1906 clockid_t clockid ;
1907 struct timerqueue_head active ;
1908 ktime_t resolution ;
1909 ktime_t (*get_time)(void) ;
1910 ktime_t softirq_time ;
1911 ktime_t offset ;
1912};
1913#line 178 "include/linux/hrtimer.h"
1914struct hrtimer_cpu_base {
1915 raw_spinlock_t lock ;
1916 unsigned long active_bases ;
1917 ktime_t expires_next ;
1918 int hres_active ;
1919 int hang_detected ;
1920 unsigned long nr_events ;
1921 unsigned long nr_retries ;
1922 unsigned long nr_hangs ;
1923 ktime_t max_hang_time ;
1924 struct hrtimer_clock_base clock_base[3] ;
1925};
1926#line 11 "include/linux/task_io_accounting.h"
1927struct task_io_accounting {
1928 u64 rchar ;
1929 u64 wchar ;
1930 u64 syscr ;
1931 u64 syscw ;
1932 u64 read_bytes ;
1933 u64 write_bytes ;
1934 u64 cancelled_write_bytes ;
1935};
1936#line 13 "include/linux/latencytop.h"
1937struct task_struct;
1938#line 20 "include/linux/latencytop.h"
1939struct latency_record {
1940 unsigned long backtrace[12] ;
1941 unsigned int count ;
1942 unsigned long time ;
1943 unsigned long max ;
1944};
1945#line 29 "include/linux/key.h"
1946typedef int32_t key_serial_t;
1947#line 32 "include/linux/key.h"
1948typedef uint32_t key_perm_t;
1949#line 34
1950struct key;
1951#line 34
1952struct key;
1953#line 74
1954struct seq_file;
1955#line 75
1956struct user_struct;
1957#line 76
1958struct signal_struct;
1959#line 76
1960struct signal_struct;
1961#line 77
1962struct cred;
1963#line 79
1964struct key_type;
1965#line 79
1966struct key_type;
1967#line 81
1968struct keyring_list;
1969#line 81
1970struct keyring_list;
1971#line 124
1972struct key_user;
1973#line 124 "include/linux/key.h"
1974union __anonunion____missing_field_name_225 {
1975 time_t expiry ;
1976 time_t revoked_at ;
1977};
1978#line 124 "include/linux/key.h"
1979union __anonunion_type_data_226 {
1980 struct list_head link ;
1981 unsigned long x[2] ;
1982 void *p[2] ;
1983 int reject_error ;
1984};
1985#line 124 "include/linux/key.h"
1986union __anonunion_payload_227 {
1987 unsigned long value ;
1988 void *rcudata ;
1989 void *data ;
1990 struct keyring_list *subscriptions ;
1991};
1992#line 124 "include/linux/key.h"
1993struct key {
1994 atomic_t usage ;
1995 key_serial_t serial ;
1996 struct rb_node serial_node ;
1997 struct key_type *type ;
1998 struct rw_semaphore sem ;
1999 struct key_user *user ;
2000 void *security ;
2001 union __anonunion____missing_field_name_225 __annonCompField42 ;
2002 uid_t uid ;
2003 gid_t gid ;
2004 key_perm_t perm ;
2005 unsigned short quotalen ;
2006 unsigned short datalen ;
2007 unsigned long flags ;
2008 char *description ;
2009 union __anonunion_type_data_226 type_data ;
2010 union __anonunion_payload_227 payload ;
2011};
2012#line 18 "include/linux/selinux.h"
2013struct audit_context;
2014#line 18
2015struct audit_context;
2016#line 21 "include/linux/cred.h"
2017struct user_struct;
2018#line 22
2019struct cred;
2020#line 23
2021struct inode;
2022#line 31 "include/linux/cred.h"
2023struct group_info {
2024 atomic_t usage ;
2025 int ngroups ;
2026 int nblocks ;
2027 gid_t small_block[32] ;
2028 gid_t *blocks[0] ;
2029};
2030#line 83 "include/linux/cred.h"
2031struct thread_group_cred {
2032 atomic_t usage ;
2033 pid_t tgid ;
2034 spinlock_t lock ;
2035 struct key *session_keyring ;
2036 struct key *process_keyring ;
2037 struct rcu_head rcu ;
2038};
2039#line 116 "include/linux/cred.h"
2040struct cred {
2041 atomic_t usage ;
2042 atomic_t subscribers ;
2043 void *put_addr ;
2044 unsigned int magic ;
2045 uid_t uid ;
2046 gid_t gid ;
2047 uid_t suid ;
2048 gid_t sgid ;
2049 uid_t euid ;
2050 gid_t egid ;
2051 uid_t fsuid ;
2052 gid_t fsgid ;
2053 unsigned int securebits ;
2054 kernel_cap_t cap_inheritable ;
2055 kernel_cap_t cap_permitted ;
2056 kernel_cap_t cap_effective ;
2057 kernel_cap_t cap_bset ;
2058 unsigned char jit_keyring ;
2059 struct key *thread_keyring ;
2060 struct key *request_key_auth ;
2061 struct thread_group_cred *tgcred ;
2062 void *security ;
2063 struct user_struct *user ;
2064 struct user_namespace *user_ns ;
2065 struct group_info *group_info ;
2066 struct rcu_head rcu ;
2067};
2068#line 61 "include/linux/llist.h"
2069struct llist_node;
2070#line 65 "include/linux/llist.h"
2071struct llist_node {
2072 struct llist_node *next ;
2073};
2074#line 97 "include/linux/sched.h"
2075struct futex_pi_state;
2076#line 97
2077struct futex_pi_state;
2078#line 98
2079struct robust_list_head;
2080#line 98
2081struct robust_list_head;
2082#line 99
2083struct bio_list;
2084#line 99
2085struct bio_list;
2086#line 100
2087struct fs_struct;
2088#line 100
2089struct fs_struct;
2090#line 101
2091struct perf_event_context;
2092#line 101
2093struct perf_event_context;
2094#line 102
2095struct blk_plug;
2096#line 102
2097struct blk_plug;
2098#line 150
2099struct seq_file;
2100#line 151
2101struct cfs_rq;
2102#line 151
2103struct cfs_rq;
2104#line 259
2105struct task_struct;
2106#line 366
2107struct nsproxy;
2108#line 367
2109struct user_namespace;
2110#line 58 "include/linux/aio_abi.h"
2111struct io_event {
2112 __u64 data ;
2113 __u64 obj ;
2114 __s64 res ;
2115 __s64 res2 ;
2116};
2117#line 16 "include/linux/uio.h"
2118struct iovec {
2119 void *iov_base ;
2120 __kernel_size_t iov_len ;
2121};
2122#line 15 "include/linux/aio.h"
2123struct kioctx;
2124#line 15
2125struct kioctx;
2126#line 87 "include/linux/aio.h"
2127union __anonunion_ki_obj_229 {
2128 void *user ;
2129 struct task_struct *tsk ;
2130};
2131#line 87
2132struct eventfd_ctx;
2133#line 87 "include/linux/aio.h"
2134struct kiocb {
2135 struct list_head ki_run_list ;
2136 unsigned long ki_flags ;
2137 int ki_users ;
2138 unsigned int ki_key ;
2139 struct file *ki_filp ;
2140 struct kioctx *ki_ctx ;
2141 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2142 ssize_t (*ki_retry)(struct kiocb * ) ;
2143 void (*ki_dtor)(struct kiocb * ) ;
2144 union __anonunion_ki_obj_229 ki_obj ;
2145 __u64 ki_user_data ;
2146 loff_t ki_pos ;
2147 void *private ;
2148 unsigned short ki_opcode ;
2149 size_t ki_nbytes ;
2150 char *ki_buf ;
2151 size_t ki_left ;
2152 struct iovec ki_inline_vec ;
2153 struct iovec *ki_iovec ;
2154 unsigned long ki_nr_segs ;
2155 unsigned long ki_cur_seg ;
2156 struct list_head ki_list ;
2157 struct list_head ki_batch ;
2158 struct eventfd_ctx *ki_eventfd ;
2159};
2160#line 166 "include/linux/aio.h"
2161struct aio_ring_info {
2162 unsigned long mmap_base ;
2163 unsigned long mmap_size ;
2164 struct page **ring_pages ;
2165 spinlock_t ring_lock ;
2166 long nr_pages ;
2167 unsigned int nr ;
2168 unsigned int tail ;
2169 struct page *internal_pages[8] ;
2170};
2171#line 179 "include/linux/aio.h"
2172struct kioctx {
2173 atomic_t users ;
2174 int dead ;
2175 struct mm_struct *mm ;
2176 unsigned long user_id ;
2177 struct hlist_node list ;
2178 wait_queue_head_t wait ;
2179 spinlock_t ctx_lock ;
2180 int reqs_active ;
2181 struct list_head active_reqs ;
2182 struct list_head run_list ;
2183 unsigned int max_reqs ;
2184 struct aio_ring_info ring_info ;
2185 struct delayed_work wq ;
2186 struct rcu_head rcu_head ;
2187};
2188#line 214
2189struct mm_struct;
2190#line 443 "include/linux/sched.h"
2191struct sighand_struct {
2192 atomic_t count ;
2193 struct k_sigaction action[64] ;
2194 spinlock_t siglock ;
2195 wait_queue_head_t signalfd_wqh ;
2196};
2197#line 450 "include/linux/sched.h"
2198struct pacct_struct {
2199 int ac_flag ;
2200 long ac_exitcode ;
2201 unsigned long ac_mem ;
2202 cputime_t ac_utime ;
2203 cputime_t ac_stime ;
2204 unsigned long ac_minflt ;
2205 unsigned long ac_majflt ;
2206};
2207#line 458 "include/linux/sched.h"
2208struct cpu_itimer {
2209 cputime_t expires ;
2210 cputime_t incr ;
2211 u32 error ;
2212 u32 incr_error ;
2213};
2214#line 476 "include/linux/sched.h"
2215struct task_cputime {
2216 cputime_t utime ;
2217 cputime_t stime ;
2218 unsigned long long sum_exec_runtime ;
2219};
2220#line 512 "include/linux/sched.h"
2221struct thread_group_cputimer {
2222 struct task_cputime cputime ;
2223 int running ;
2224 raw_spinlock_t lock ;
2225};
2226#line 519
2227struct autogroup;
2228#line 519
2229struct autogroup;
2230#line 528
2231struct tty_struct;
2232#line 528
2233struct taskstats;
2234#line 528
2235struct tty_audit_buf;
2236#line 528 "include/linux/sched.h"
2237struct signal_struct {
2238 atomic_t sigcnt ;
2239 atomic_t live ;
2240 int nr_threads ;
2241 wait_queue_head_t wait_chldexit ;
2242 struct task_struct *curr_target ;
2243 struct sigpending shared_pending ;
2244 int group_exit_code ;
2245 int notify_count ;
2246 struct task_struct *group_exit_task ;
2247 int group_stop_count ;
2248 unsigned int flags ;
2249 unsigned int is_child_subreaper : 1 ;
2250 unsigned int has_child_subreaper : 1 ;
2251 struct list_head posix_timers ;
2252 struct hrtimer real_timer ;
2253 struct pid *leader_pid ;
2254 ktime_t it_real_incr ;
2255 struct cpu_itimer it[2] ;
2256 struct thread_group_cputimer cputimer ;
2257 struct task_cputime cputime_expires ;
2258 struct list_head cpu_timers[3] ;
2259 struct pid *tty_old_pgrp ;
2260 int leader ;
2261 struct tty_struct *tty ;
2262 struct autogroup *autogroup ;
2263 cputime_t utime ;
2264 cputime_t stime ;
2265 cputime_t cutime ;
2266 cputime_t cstime ;
2267 cputime_t gtime ;
2268 cputime_t cgtime ;
2269 cputime_t prev_utime ;
2270 cputime_t prev_stime ;
2271 unsigned long nvcsw ;
2272 unsigned long nivcsw ;
2273 unsigned long cnvcsw ;
2274 unsigned long cnivcsw ;
2275 unsigned long min_flt ;
2276 unsigned long maj_flt ;
2277 unsigned long cmin_flt ;
2278 unsigned long cmaj_flt ;
2279 unsigned long inblock ;
2280 unsigned long oublock ;
2281 unsigned long cinblock ;
2282 unsigned long coublock ;
2283 unsigned long maxrss ;
2284 unsigned long cmaxrss ;
2285 struct task_io_accounting ioac ;
2286 unsigned long long sum_sched_runtime ;
2287 struct rlimit rlim[16] ;
2288 struct pacct_struct pacct ;
2289 struct taskstats *stats ;
2290 unsigned int audit_tty ;
2291 struct tty_audit_buf *tty_audit_buf ;
2292 struct rw_semaphore group_rwsem ;
2293 int oom_adj ;
2294 int oom_score_adj ;
2295 int oom_score_adj_min ;
2296 struct mutex cred_guard_mutex ;
2297};
2298#line 703 "include/linux/sched.h"
2299struct user_struct {
2300 atomic_t __count ;
2301 atomic_t processes ;
2302 atomic_t files ;
2303 atomic_t sigpending ;
2304 atomic_t inotify_watches ;
2305 atomic_t inotify_devs ;
2306 atomic_t fanotify_listeners ;
2307 atomic_long_t epoll_watches ;
2308 unsigned long mq_bytes ;
2309 unsigned long locked_shm ;
2310 struct key *uid_keyring ;
2311 struct key *session_keyring ;
2312 struct hlist_node uidhash_node ;
2313 uid_t uid ;
2314 struct user_namespace *user_ns ;
2315 atomic_long_t locked_vm ;
2316};
2317#line 747
2318struct backing_dev_info;
2319#line 747
2320struct backing_dev_info;
2321#line 748
2322struct reclaim_state;
2323#line 748
2324struct reclaim_state;
2325#line 751 "include/linux/sched.h"
2326struct sched_info {
2327 unsigned long pcount ;
2328 unsigned long long run_delay ;
2329 unsigned long long last_arrival ;
2330 unsigned long long last_queued ;
2331};
2332#line 763 "include/linux/sched.h"
2333struct task_delay_info {
2334 spinlock_t lock ;
2335 unsigned int flags ;
2336 struct timespec blkio_start ;
2337 struct timespec blkio_end ;
2338 u64 blkio_delay ;
2339 u64 swapin_delay ;
2340 u32 blkio_count ;
2341 u32 swapin_count ;
2342 struct timespec freepages_start ;
2343 struct timespec freepages_end ;
2344 u64 freepages_delay ;
2345 u32 freepages_count ;
2346};
2347#line 1088
2348struct io_context;
2349#line 1088
2350struct io_context;
2351#line 1097
2352struct audit_context;
2353#line 1098
2354struct mempolicy;
2355#line 1099
2356struct pipe_inode_info;
2357#line 1099
2358struct pipe_inode_info;
2359#line 1102
2360struct rq;
2361#line 1102
2362struct rq;
2363#line 1122 "include/linux/sched.h"
2364struct sched_class {
2365 struct sched_class const *next ;
2366 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2367 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2368 void (*yield_task)(struct rq *rq ) ;
2369 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2370 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2371 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2372 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2373 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2374 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2375 void (*post_schedule)(struct rq *this_rq ) ;
2376 void (*task_waking)(struct task_struct *task ) ;
2377 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2378 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2379 void (*rq_online)(struct rq *rq ) ;
2380 void (*rq_offline)(struct rq *rq ) ;
2381 void (*set_curr_task)(struct rq *rq ) ;
2382 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2383 void (*task_fork)(struct task_struct *p ) ;
2384 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2385 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2386 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2387 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2388 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2389};
2390#line 1167 "include/linux/sched.h"
2391struct load_weight {
2392 unsigned long weight ;
2393 unsigned long inv_weight ;
2394};
2395#line 1172 "include/linux/sched.h"
2396struct sched_statistics {
2397 u64 wait_start ;
2398 u64 wait_max ;
2399 u64 wait_count ;
2400 u64 wait_sum ;
2401 u64 iowait_count ;
2402 u64 iowait_sum ;
2403 u64 sleep_start ;
2404 u64 sleep_max ;
2405 s64 sum_sleep_runtime ;
2406 u64 block_start ;
2407 u64 block_max ;
2408 u64 exec_max ;
2409 u64 slice_max ;
2410 u64 nr_migrations_cold ;
2411 u64 nr_failed_migrations_affine ;
2412 u64 nr_failed_migrations_running ;
2413 u64 nr_failed_migrations_hot ;
2414 u64 nr_forced_migrations ;
2415 u64 nr_wakeups ;
2416 u64 nr_wakeups_sync ;
2417 u64 nr_wakeups_migrate ;
2418 u64 nr_wakeups_local ;
2419 u64 nr_wakeups_remote ;
2420 u64 nr_wakeups_affine ;
2421 u64 nr_wakeups_affine_attempts ;
2422 u64 nr_wakeups_passive ;
2423 u64 nr_wakeups_idle ;
2424};
2425#line 1207 "include/linux/sched.h"
2426struct sched_entity {
2427 struct load_weight load ;
2428 struct rb_node run_node ;
2429 struct list_head group_node ;
2430 unsigned int on_rq ;
2431 u64 exec_start ;
2432 u64 sum_exec_runtime ;
2433 u64 vruntime ;
2434 u64 prev_sum_exec_runtime ;
2435 u64 nr_migrations ;
2436 struct sched_statistics statistics ;
2437 struct sched_entity *parent ;
2438 struct cfs_rq *cfs_rq ;
2439 struct cfs_rq *my_q ;
2440};
2441#line 1233
2442struct rt_rq;
2443#line 1233 "include/linux/sched.h"
2444struct sched_rt_entity {
2445 struct list_head run_list ;
2446 unsigned long timeout ;
2447 unsigned int time_slice ;
2448 int nr_cpus_allowed ;
2449 struct sched_rt_entity *back ;
2450 struct sched_rt_entity *parent ;
2451 struct rt_rq *rt_rq ;
2452 struct rt_rq *my_q ;
2453};
2454#line 1264
2455struct files_struct;
2456#line 1264
2457struct css_set;
2458#line 1264
2459struct compat_robust_list_head;
2460#line 1264
2461struct mem_cgroup;
2462#line 1264 "include/linux/sched.h"
2463struct memcg_batch_info {
2464 int do_batch ;
2465 struct mem_cgroup *memcg ;
2466 unsigned long nr_pages ;
2467 unsigned long memsw_nr_pages ;
2468};
2469#line 1264 "include/linux/sched.h"
2470struct task_struct {
2471 long volatile state ;
2472 void *stack ;
2473 atomic_t usage ;
2474 unsigned int flags ;
2475 unsigned int ptrace ;
2476 struct llist_node wake_entry ;
2477 int on_cpu ;
2478 int on_rq ;
2479 int prio ;
2480 int static_prio ;
2481 int normal_prio ;
2482 unsigned int rt_priority ;
2483 struct sched_class const *sched_class ;
2484 struct sched_entity se ;
2485 struct sched_rt_entity rt ;
2486 struct hlist_head preempt_notifiers ;
2487 unsigned char fpu_counter ;
2488 unsigned int policy ;
2489 cpumask_t cpus_allowed ;
2490 struct sched_info sched_info ;
2491 struct list_head tasks ;
2492 struct plist_node pushable_tasks ;
2493 struct mm_struct *mm ;
2494 struct mm_struct *active_mm ;
2495 unsigned int brk_randomized : 1 ;
2496 int exit_state ;
2497 int exit_code ;
2498 int exit_signal ;
2499 int pdeath_signal ;
2500 unsigned int jobctl ;
2501 unsigned int personality ;
2502 unsigned int did_exec : 1 ;
2503 unsigned int in_execve : 1 ;
2504 unsigned int in_iowait : 1 ;
2505 unsigned int sched_reset_on_fork : 1 ;
2506 unsigned int sched_contributes_to_load : 1 ;
2507 unsigned int irq_thread : 1 ;
2508 pid_t pid ;
2509 pid_t tgid ;
2510 unsigned long stack_canary ;
2511 struct task_struct *real_parent ;
2512 struct task_struct *parent ;
2513 struct list_head children ;
2514 struct list_head sibling ;
2515 struct task_struct *group_leader ;
2516 struct list_head ptraced ;
2517 struct list_head ptrace_entry ;
2518 struct pid_link pids[3] ;
2519 struct list_head thread_group ;
2520 struct completion *vfork_done ;
2521 int *set_child_tid ;
2522 int *clear_child_tid ;
2523 cputime_t utime ;
2524 cputime_t stime ;
2525 cputime_t utimescaled ;
2526 cputime_t stimescaled ;
2527 cputime_t gtime ;
2528 cputime_t prev_utime ;
2529 cputime_t prev_stime ;
2530 unsigned long nvcsw ;
2531 unsigned long nivcsw ;
2532 struct timespec start_time ;
2533 struct timespec real_start_time ;
2534 unsigned long min_flt ;
2535 unsigned long maj_flt ;
2536 struct task_cputime cputime_expires ;
2537 struct list_head cpu_timers[3] ;
2538 struct cred const *real_cred ;
2539 struct cred const *cred ;
2540 struct cred *replacement_session_keyring ;
2541 char comm[16] ;
2542 int link_count ;
2543 int total_link_count ;
2544 struct sysv_sem sysvsem ;
2545 unsigned long last_switch_count ;
2546 struct thread_struct thread ;
2547 struct fs_struct *fs ;
2548 struct files_struct *files ;
2549 struct nsproxy *nsproxy ;
2550 struct signal_struct *signal ;
2551 struct sighand_struct *sighand ;
2552 sigset_t blocked ;
2553 sigset_t real_blocked ;
2554 sigset_t saved_sigmask ;
2555 struct sigpending pending ;
2556 unsigned long sas_ss_sp ;
2557 size_t sas_ss_size ;
2558 int (*notifier)(void *priv ) ;
2559 void *notifier_data ;
2560 sigset_t *notifier_mask ;
2561 struct audit_context *audit_context ;
2562 uid_t loginuid ;
2563 unsigned int sessionid ;
2564 seccomp_t seccomp ;
2565 u32 parent_exec_id ;
2566 u32 self_exec_id ;
2567 spinlock_t alloc_lock ;
2568 raw_spinlock_t pi_lock ;
2569 struct plist_head pi_waiters ;
2570 struct rt_mutex_waiter *pi_blocked_on ;
2571 struct mutex_waiter *blocked_on ;
2572 unsigned int irq_events ;
2573 unsigned long hardirq_enable_ip ;
2574 unsigned long hardirq_disable_ip ;
2575 unsigned int hardirq_enable_event ;
2576 unsigned int hardirq_disable_event ;
2577 int hardirqs_enabled ;
2578 int hardirq_context ;
2579 unsigned long softirq_disable_ip ;
2580 unsigned long softirq_enable_ip ;
2581 unsigned int softirq_disable_event ;
2582 unsigned int softirq_enable_event ;
2583 int softirqs_enabled ;
2584 int softirq_context ;
2585 void *journal_info ;
2586 struct bio_list *bio_list ;
2587 struct blk_plug *plug ;
2588 struct reclaim_state *reclaim_state ;
2589 struct backing_dev_info *backing_dev_info ;
2590 struct io_context *io_context ;
2591 unsigned long ptrace_message ;
2592 siginfo_t *last_siginfo ;
2593 struct task_io_accounting ioac ;
2594 u64 acct_rss_mem1 ;
2595 u64 acct_vm_mem1 ;
2596 cputime_t acct_timexpd ;
2597 nodemask_t mems_allowed ;
2598 seqcount_t mems_allowed_seq ;
2599 int cpuset_mem_spread_rotor ;
2600 int cpuset_slab_spread_rotor ;
2601 struct css_set *cgroups ;
2602 struct list_head cg_list ;
2603 struct robust_list_head *robust_list ;
2604 struct compat_robust_list_head *compat_robust_list ;
2605 struct list_head pi_state_list ;
2606 struct futex_pi_state *pi_state_cache ;
2607 struct perf_event_context *perf_event_ctxp[2] ;
2608 struct mutex perf_event_mutex ;
2609 struct list_head perf_event_list ;
2610 struct mempolicy *mempolicy ;
2611 short il_next ;
2612 short pref_node_fork ;
2613 struct rcu_head rcu ;
2614 struct pipe_inode_info *splice_pipe ;
2615 struct task_delay_info *delays ;
2616 int make_it_fail ;
2617 int nr_dirtied ;
2618 int nr_dirtied_pause ;
2619 unsigned long dirty_paused_when ;
2620 int latency_record_count ;
2621 struct latency_record latency_record[32] ;
2622 unsigned long timer_slack_ns ;
2623 unsigned long default_timer_slack_ns ;
2624 struct list_head *scm_work_list ;
2625 unsigned long trace ;
2626 unsigned long trace_recursion ;
2627 struct memcg_batch_info memcg_batch ;
2628 atomic_t ptrace_bp_refcnt ;
2629};
2630#line 1681
2631struct pid_namespace;
2632#line 46 "include/linux/slub_def.h"
2633struct kmem_cache_cpu {
2634 void **freelist ;
2635 unsigned long tid ;
2636 struct page *page ;
2637 struct page *partial ;
2638 int node ;
2639 unsigned int stat[26] ;
2640};
2641#line 57 "include/linux/slub_def.h"
2642struct kmem_cache_node {
2643 spinlock_t list_lock ;
2644 unsigned long nr_partial ;
2645 struct list_head partial ;
2646 atomic_long_t nr_slabs ;
2647 atomic_long_t total_objects ;
2648 struct list_head full ;
2649};
2650#line 73 "include/linux/slub_def.h"
2651struct kmem_cache_order_objects {
2652 unsigned long x ;
2653};
2654#line 80 "include/linux/slub_def.h"
2655struct kmem_cache {
2656 struct kmem_cache_cpu *cpu_slab ;
2657 unsigned long flags ;
2658 unsigned long min_partial ;
2659 int size ;
2660 int objsize ;
2661 int offset ;
2662 int cpu_partial ;
2663 struct kmem_cache_order_objects oo ;
2664 struct kmem_cache_order_objects max ;
2665 struct kmem_cache_order_objects min ;
2666 gfp_t allocflags ;
2667 int refcount ;
2668 void (*ctor)(void * ) ;
2669 int inuse ;
2670 int align ;
2671 int reserved ;
2672 char const *name ;
2673 struct list_head list ;
2674 struct kobject kobj ;
2675 int remote_node_defrag_ratio ;
2676 struct kmem_cache_node *node[1 << 10] ;
2677};
2678#line 13 "include/linux/blk_types.h"
2679struct bio;
2680#line 13
2681struct bio;
2682#line 14
2683struct bio_integrity_payload;
2684#line 14
2685struct bio_integrity_payload;
2686#line 15
2687struct page;
2688#line 16
2689struct block_device;
2690#line 16
2691struct block_device;
2692#line 17 "include/linux/blk_types.h"
2693typedef void bio_end_io_t(struct bio * , int );
2694#line 18 "include/linux/blk_types.h"
2695typedef void bio_destructor_t(struct bio * );
2696#line 23 "include/linux/blk_types.h"
2697struct bio_vec {
2698 struct page *bv_page ;
2699 unsigned int bv_len ;
2700 unsigned int bv_offset ;
2701};
2702#line 33 "include/linux/blk_types.h"
2703struct bio {
2704 sector_t bi_sector ;
2705 struct bio *bi_next ;
2706 struct block_device *bi_bdev ;
2707 unsigned long bi_flags ;
2708 unsigned long bi_rw ;
2709 unsigned short bi_vcnt ;
2710 unsigned short bi_idx ;
2711 unsigned int bi_phys_segments ;
2712 unsigned int bi_size ;
2713 unsigned int bi_seg_front_size ;
2714 unsigned int bi_seg_back_size ;
2715 unsigned int bi_max_vecs ;
2716 atomic_t bi_cnt ;
2717 struct bio_vec *bi_io_vec ;
2718 bio_end_io_t *bi_end_io ;
2719 void *bi_private ;
2720 struct bio_integrity_payload *bi_integrity ;
2721 bio_destructor_t *bi_destructor ;
2722 struct bio_vec bi_inline_vecs[0] ;
2723};
2724#line 33 "include/linux/list_bl.h"
2725struct hlist_bl_node;
2726#line 33 "include/linux/list_bl.h"
2727struct hlist_bl_head {
2728 struct hlist_bl_node *first ;
2729};
2730#line 37 "include/linux/list_bl.h"
2731struct hlist_bl_node {
2732 struct hlist_bl_node *next ;
2733 struct hlist_bl_node **pprev ;
2734};
2735#line 13 "include/linux/dcache.h"
2736struct nameidata;
2737#line 13
2738struct nameidata;
2739#line 14
2740struct path;
2741#line 14
2742struct path;
2743#line 15
2744struct vfsmount;
2745#line 15
2746struct vfsmount;
2747#line 35 "include/linux/dcache.h"
2748struct qstr {
2749 unsigned int hash ;
2750 unsigned int len ;
2751 unsigned char const *name ;
2752};
2753#line 88
2754struct dentry_operations;
2755#line 88
2756struct super_block;
2757#line 88 "include/linux/dcache.h"
2758union __anonunion_d_u_232 {
2759 struct list_head d_child ;
2760 struct rcu_head d_rcu ;
2761};
2762#line 88 "include/linux/dcache.h"
2763struct dentry {
2764 unsigned int d_flags ;
2765 seqcount_t d_seq ;
2766 struct hlist_bl_node d_hash ;
2767 struct dentry *d_parent ;
2768 struct qstr d_name ;
2769 struct inode *d_inode ;
2770 unsigned char d_iname[32] ;
2771 unsigned int d_count ;
2772 spinlock_t d_lock ;
2773 struct dentry_operations const *d_op ;
2774 struct super_block *d_sb ;
2775 unsigned long d_time ;
2776 void *d_fsdata ;
2777 struct list_head d_lru ;
2778 union __anonunion_d_u_232 d_u ;
2779 struct list_head d_subdirs ;
2780 struct list_head d_alias ;
2781};
2782#line 131 "include/linux/dcache.h"
2783struct dentry_operations {
2784 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2785 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2786 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2787 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2788 int (*d_delete)(struct dentry const * ) ;
2789 void (*d_release)(struct dentry * ) ;
2790 void (*d_prune)(struct dentry * ) ;
2791 void (*d_iput)(struct dentry * , struct inode * ) ;
2792 char *(*d_dname)(struct dentry * , char * , int ) ;
2793 struct vfsmount *(*d_automount)(struct path * ) ;
2794 int (*d_manage)(struct dentry * , bool ) ;
2795} __attribute__((__aligned__((1) << (6) ))) ;
2796#line 4 "include/linux/path.h"
2797struct dentry;
2798#line 5
2799struct vfsmount;
2800#line 7 "include/linux/path.h"
2801struct path {
2802 struct vfsmount *mnt ;
2803 struct dentry *dentry ;
2804};
2805#line 64 "include/linux/radix-tree.h"
2806struct radix_tree_node;
2807#line 64 "include/linux/radix-tree.h"
2808struct radix_tree_root {
2809 unsigned int height ;
2810 gfp_t gfp_mask ;
2811 struct radix_tree_node *rnode ;
2812};
2813#line 16 "include/linux/fiemap.h"
2814struct fiemap_extent {
2815 __u64 fe_logical ;
2816 __u64 fe_physical ;
2817 __u64 fe_length ;
2818 __u64 fe_reserved64[2] ;
2819 __u32 fe_flags ;
2820 __u32 fe_reserved[3] ;
2821};
2822#line 10 "include/linux/migrate_mode.h"
2823enum migrate_mode {
2824 MIGRATE_ASYNC = 0,
2825 MIGRATE_SYNC_LIGHT = 1,
2826 MIGRATE_SYNC = 2
2827} ;
2828#line 408 "include/linux/fs.h"
2829struct export_operations;
2830#line 408
2831struct export_operations;
2832#line 409
2833struct hd_geometry;
2834#line 409
2835struct hd_geometry;
2836#line 410
2837struct iovec;
2838#line 411
2839struct nameidata;
2840#line 412
2841struct kiocb;
2842#line 413
2843struct kobject;
2844#line 414
2845struct pipe_inode_info;
2846#line 415
2847struct poll_table_struct;
2848#line 415
2849struct poll_table_struct;
2850#line 416
2851struct kstatfs;
2852#line 416
2853struct kstatfs;
2854#line 417
2855struct vm_area_struct;
2856#line 418
2857struct vfsmount;
2858#line 419
2859struct cred;
2860#line 469 "include/linux/fs.h"
2861struct iattr {
2862 unsigned int ia_valid ;
2863 umode_t ia_mode ;
2864 uid_t ia_uid ;
2865 gid_t ia_gid ;
2866 loff_t ia_size ;
2867 struct timespec ia_atime ;
2868 struct timespec ia_mtime ;
2869 struct timespec ia_ctime ;
2870 struct file *ia_file ;
2871};
2872#line 129 "include/linux/quota.h"
2873struct if_dqinfo {
2874 __u64 dqi_bgrace ;
2875 __u64 dqi_igrace ;
2876 __u32 dqi_flags ;
2877 __u32 dqi_valid ;
2878};
2879#line 50 "include/linux/dqblk_xfs.h"
2880struct fs_disk_quota {
2881 __s8 d_version ;
2882 __s8 d_flags ;
2883 __u16 d_fieldmask ;
2884 __u32 d_id ;
2885 __u64 d_blk_hardlimit ;
2886 __u64 d_blk_softlimit ;
2887 __u64 d_ino_hardlimit ;
2888 __u64 d_ino_softlimit ;
2889 __u64 d_bcount ;
2890 __u64 d_icount ;
2891 __s32 d_itimer ;
2892 __s32 d_btimer ;
2893 __u16 d_iwarns ;
2894 __u16 d_bwarns ;
2895 __s32 d_padding2 ;
2896 __u64 d_rtb_hardlimit ;
2897 __u64 d_rtb_softlimit ;
2898 __u64 d_rtbcount ;
2899 __s32 d_rtbtimer ;
2900 __u16 d_rtbwarns ;
2901 __s16 d_padding3 ;
2902 char d_padding4[8] ;
2903};
2904#line 146 "include/linux/dqblk_xfs.h"
2905struct fs_qfilestat {
2906 __u64 qfs_ino ;
2907 __u64 qfs_nblks ;
2908 __u32 qfs_nextents ;
2909};
2910#line 146 "include/linux/dqblk_xfs.h"
2911typedef struct fs_qfilestat fs_qfilestat_t;
2912#line 152 "include/linux/dqblk_xfs.h"
2913struct fs_quota_stat {
2914 __s8 qs_version ;
2915 __u16 qs_flags ;
2916 __s8 qs_pad ;
2917 fs_qfilestat_t qs_uquota ;
2918 fs_qfilestat_t qs_gquota ;
2919 __u32 qs_incoredqs ;
2920 __s32 qs_btimelimit ;
2921 __s32 qs_itimelimit ;
2922 __s32 qs_rtbtimelimit ;
2923 __u16 qs_bwarnlimit ;
2924 __u16 qs_iwarnlimit ;
2925};
2926#line 17 "include/linux/dqblk_qtree.h"
2927struct dquot;
2928#line 17
2929struct dquot;
2930#line 185 "include/linux/quota.h"
2931typedef __kernel_uid32_t qid_t;
2932#line 186 "include/linux/quota.h"
2933typedef long long qsize_t;
2934#line 200 "include/linux/quota.h"
2935struct mem_dqblk {
2936 qsize_t dqb_bhardlimit ;
2937 qsize_t dqb_bsoftlimit ;
2938 qsize_t dqb_curspace ;
2939 qsize_t dqb_rsvspace ;
2940 qsize_t dqb_ihardlimit ;
2941 qsize_t dqb_isoftlimit ;
2942 qsize_t dqb_curinodes ;
2943 time_t dqb_btime ;
2944 time_t dqb_itime ;
2945};
2946#line 215
2947struct quota_format_type;
2948#line 215
2949struct quota_format_type;
2950#line 217 "include/linux/quota.h"
2951struct mem_dqinfo {
2952 struct quota_format_type *dqi_format ;
2953 int dqi_fmt_id ;
2954 struct list_head dqi_dirty_list ;
2955 unsigned long dqi_flags ;
2956 unsigned int dqi_bgrace ;
2957 unsigned int dqi_igrace ;
2958 qsize_t dqi_maxblimit ;
2959 qsize_t dqi_maxilimit ;
2960 void *dqi_priv ;
2961};
2962#line 230
2963struct super_block;
2964#line 288 "include/linux/quota.h"
2965struct dquot {
2966 struct hlist_node dq_hash ;
2967 struct list_head dq_inuse ;
2968 struct list_head dq_free ;
2969 struct list_head dq_dirty ;
2970 struct mutex dq_lock ;
2971 atomic_t dq_count ;
2972 wait_queue_head_t dq_wait_unused ;
2973 struct super_block *dq_sb ;
2974 unsigned int dq_id ;
2975 loff_t dq_off ;
2976 unsigned long dq_flags ;
2977 short dq_type ;
2978 struct mem_dqblk dq_dqb ;
2979};
2980#line 305 "include/linux/quota.h"
2981struct quota_format_ops {
2982 int (*check_quota_file)(struct super_block *sb , int type ) ;
2983 int (*read_file_info)(struct super_block *sb , int type ) ;
2984 int (*write_file_info)(struct super_block *sb , int type ) ;
2985 int (*free_file_info)(struct super_block *sb , int type ) ;
2986 int (*read_dqblk)(struct dquot *dquot ) ;
2987 int (*commit_dqblk)(struct dquot *dquot ) ;
2988 int (*release_dqblk)(struct dquot *dquot ) ;
2989};
2990#line 316 "include/linux/quota.h"
2991struct dquot_operations {
2992 int (*write_dquot)(struct dquot * ) ;
2993 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
2994 void (*destroy_dquot)(struct dquot * ) ;
2995 int (*acquire_dquot)(struct dquot * ) ;
2996 int (*release_dquot)(struct dquot * ) ;
2997 int (*mark_dirty)(struct dquot * ) ;
2998 int (*write_info)(struct super_block * , int ) ;
2999 qsize_t *(*get_reserved_space)(struct inode * ) ;
3000};
3001#line 329
3002struct path;
3003#line 332 "include/linux/quota.h"
3004struct quotactl_ops {
3005 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
3006 int (*quota_on_meta)(struct super_block * , int , int ) ;
3007 int (*quota_off)(struct super_block * , int ) ;
3008 int (*quota_sync)(struct super_block * , int , int ) ;
3009 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
3010 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
3011 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3012 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3013 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
3014 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
3015};
3016#line 345 "include/linux/quota.h"
3017struct quota_format_type {
3018 int qf_fmt_id ;
3019 struct quota_format_ops const *qf_ops ;
3020 struct module *qf_owner ;
3021 struct quota_format_type *qf_next ;
3022};
3023#line 399 "include/linux/quota.h"
3024struct quota_info {
3025 unsigned int flags ;
3026 struct mutex dqio_mutex ;
3027 struct mutex dqonoff_mutex ;
3028 struct rw_semaphore dqptr_sem ;
3029 struct inode *files[2] ;
3030 struct mem_dqinfo info[2] ;
3031 struct quota_format_ops const *ops[2] ;
3032};
3033#line 532 "include/linux/fs.h"
3034struct page;
3035#line 533
3036struct address_space;
3037#line 534
3038struct writeback_control;
3039#line 577 "include/linux/fs.h"
3040union __anonunion_arg_239 {
3041 char *buf ;
3042 void *data ;
3043};
3044#line 577 "include/linux/fs.h"
3045struct __anonstruct_read_descriptor_t_238 {
3046 size_t written ;
3047 size_t count ;
3048 union __anonunion_arg_239 arg ;
3049 int error ;
3050};
3051#line 577 "include/linux/fs.h"
3052typedef struct __anonstruct_read_descriptor_t_238 read_descriptor_t;
3053#line 590 "include/linux/fs.h"
3054struct address_space_operations {
3055 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
3056 int (*readpage)(struct file * , struct page * ) ;
3057 int (*writepages)(struct address_space * , struct writeback_control * ) ;
3058 int (*set_page_dirty)(struct page *page ) ;
3059 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
3060 unsigned int nr_pages ) ;
3061 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
3062 unsigned int len , unsigned int flags , struct page **pagep ,
3063 void **fsdata ) ;
3064 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
3065 unsigned int copied , struct page *page , void *fsdata ) ;
3066 sector_t (*bmap)(struct address_space * , sector_t ) ;
3067 void (*invalidatepage)(struct page * , unsigned long ) ;
3068 int (*releasepage)(struct page * , gfp_t ) ;
3069 void (*freepage)(struct page * ) ;
3070 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
3071 unsigned long nr_segs ) ;
3072 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
3073 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
3074 int (*launder_page)(struct page * ) ;
3075 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
3076 int (*error_remove_page)(struct address_space * , struct page * ) ;
3077};
3078#line 645
3079struct backing_dev_info;
3080#line 646 "include/linux/fs.h"
3081struct address_space {
3082 struct inode *host ;
3083 struct radix_tree_root page_tree ;
3084 spinlock_t tree_lock ;
3085 unsigned int i_mmap_writable ;
3086 struct prio_tree_root i_mmap ;
3087 struct list_head i_mmap_nonlinear ;
3088 struct mutex i_mmap_mutex ;
3089 unsigned long nrpages ;
3090 unsigned long writeback_index ;
3091 struct address_space_operations const *a_ops ;
3092 unsigned long flags ;
3093 struct backing_dev_info *backing_dev_info ;
3094 spinlock_t private_lock ;
3095 struct list_head private_list ;
3096 struct address_space *assoc_mapping ;
3097} __attribute__((__aligned__(sizeof(long )))) ;
3098#line 669
3099struct request_queue;
3100#line 669
3101struct request_queue;
3102#line 671
3103struct hd_struct;
3104#line 671
3105struct gendisk;
3106#line 671 "include/linux/fs.h"
3107struct block_device {
3108 dev_t bd_dev ;
3109 int bd_openers ;
3110 struct inode *bd_inode ;
3111 struct super_block *bd_super ;
3112 struct mutex bd_mutex ;
3113 struct list_head bd_inodes ;
3114 void *bd_claiming ;
3115 void *bd_holder ;
3116 int bd_holders ;
3117 bool bd_write_holder ;
3118 struct list_head bd_holder_disks ;
3119 struct block_device *bd_contains ;
3120 unsigned int bd_block_size ;
3121 struct hd_struct *bd_part ;
3122 unsigned int bd_part_count ;
3123 int bd_invalidated ;
3124 struct gendisk *bd_disk ;
3125 struct request_queue *bd_queue ;
3126 struct list_head bd_list ;
3127 unsigned long bd_private ;
3128 int bd_fsfreeze_count ;
3129 struct mutex bd_fsfreeze_mutex ;
3130};
3131#line 749
3132struct posix_acl;
3133#line 749
3134struct posix_acl;
3135#line 761
3136struct inode_operations;
3137#line 761 "include/linux/fs.h"
3138union __anonunion____missing_field_name_240 {
3139 unsigned int const i_nlink ;
3140 unsigned int __i_nlink ;
3141};
3142#line 761 "include/linux/fs.h"
3143union __anonunion____missing_field_name_241 {
3144 struct list_head i_dentry ;
3145 struct rcu_head i_rcu ;
3146};
3147#line 761
3148struct file_operations;
3149#line 761
3150struct file_lock;
3151#line 761
3152struct cdev;
3153#line 761 "include/linux/fs.h"
3154union __anonunion____missing_field_name_242 {
3155 struct pipe_inode_info *i_pipe ;
3156 struct block_device *i_bdev ;
3157 struct cdev *i_cdev ;
3158};
3159#line 761 "include/linux/fs.h"
3160struct inode {
3161 umode_t i_mode ;
3162 unsigned short i_opflags ;
3163 uid_t i_uid ;
3164 gid_t i_gid ;
3165 unsigned int i_flags ;
3166 struct posix_acl *i_acl ;
3167 struct posix_acl *i_default_acl ;
3168 struct inode_operations const *i_op ;
3169 struct super_block *i_sb ;
3170 struct address_space *i_mapping ;
3171 void *i_security ;
3172 unsigned long i_ino ;
3173 union __anonunion____missing_field_name_240 __annonCompField44 ;
3174 dev_t i_rdev ;
3175 struct timespec i_atime ;
3176 struct timespec i_mtime ;
3177 struct timespec i_ctime ;
3178 spinlock_t i_lock ;
3179 unsigned short i_bytes ;
3180 blkcnt_t i_blocks ;
3181 loff_t i_size ;
3182 unsigned long i_state ;
3183 struct mutex i_mutex ;
3184 unsigned long dirtied_when ;
3185 struct hlist_node i_hash ;
3186 struct list_head i_wb_list ;
3187 struct list_head i_lru ;
3188 struct list_head i_sb_list ;
3189 union __anonunion____missing_field_name_241 __annonCompField45 ;
3190 atomic_t i_count ;
3191 unsigned int i_blkbits ;
3192 u64 i_version ;
3193 atomic_t i_dio_count ;
3194 atomic_t i_writecount ;
3195 struct file_operations const *i_fop ;
3196 struct file_lock *i_flock ;
3197 struct address_space i_data ;
3198 struct dquot *i_dquot[2] ;
3199 struct list_head i_devices ;
3200 union __anonunion____missing_field_name_242 __annonCompField46 ;
3201 __u32 i_generation ;
3202 __u32 i_fsnotify_mask ;
3203 struct hlist_head i_fsnotify_marks ;
3204 atomic_t i_readcount ;
3205 void *i_private ;
3206};
3207#line 942 "include/linux/fs.h"
3208struct fown_struct {
3209 rwlock_t lock ;
3210 struct pid *pid ;
3211 enum pid_type pid_type ;
3212 uid_t uid ;
3213 uid_t euid ;
3214 int signum ;
3215};
3216#line 953 "include/linux/fs.h"
3217struct file_ra_state {
3218 unsigned long start ;
3219 unsigned int size ;
3220 unsigned int async_size ;
3221 unsigned int ra_pages ;
3222 unsigned int mmap_miss ;
3223 loff_t prev_pos ;
3224};
3225#line 976 "include/linux/fs.h"
3226union __anonunion_f_u_243 {
3227 struct list_head fu_list ;
3228 struct rcu_head fu_rcuhead ;
3229};
3230#line 976 "include/linux/fs.h"
3231struct file {
3232 union __anonunion_f_u_243 f_u ;
3233 struct path f_path ;
3234 struct file_operations const *f_op ;
3235 spinlock_t f_lock ;
3236 int f_sb_list_cpu ;
3237 atomic_long_t f_count ;
3238 unsigned int f_flags ;
3239 fmode_t f_mode ;
3240 loff_t f_pos ;
3241 struct fown_struct f_owner ;
3242 struct cred const *f_cred ;
3243 struct file_ra_state f_ra ;
3244 u64 f_version ;
3245 void *f_security ;
3246 void *private_data ;
3247 struct list_head f_ep_links ;
3248 struct list_head f_tfile_llink ;
3249 struct address_space *f_mapping ;
3250 unsigned long f_mnt_write_state ;
3251};
3252#line 1111 "include/linux/fs.h"
3253typedef struct files_struct *fl_owner_t;
3254#line 1113 "include/linux/fs.h"
3255struct file_lock_operations {
3256 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3257 void (*fl_release_private)(struct file_lock * ) ;
3258};
3259#line 1118 "include/linux/fs.h"
3260struct lock_manager_operations {
3261 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3262 void (*lm_notify)(struct file_lock * ) ;
3263 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
3264 void (*lm_release_private)(struct file_lock * ) ;
3265 void (*lm_break)(struct file_lock * ) ;
3266 int (*lm_change)(struct file_lock ** , int ) ;
3267};
3268#line 4 "include/linux/nfs_fs_i.h"
3269struct nlm_lockowner;
3270#line 4
3271struct nlm_lockowner;
3272#line 9 "include/linux/nfs_fs_i.h"
3273struct nfs_lock_info {
3274 u32 state ;
3275 struct nlm_lockowner *owner ;
3276 struct list_head list ;
3277};
3278#line 15
3279struct nfs4_lock_state;
3280#line 15
3281struct nfs4_lock_state;
3282#line 16 "include/linux/nfs_fs_i.h"
3283struct nfs4_lock_info {
3284 struct nfs4_lock_state *owner ;
3285};
3286#line 1138 "include/linux/fs.h"
3287struct fasync_struct;
3288#line 1138 "include/linux/fs.h"
3289struct __anonstruct_afs_245 {
3290 struct list_head link ;
3291 int state ;
3292};
3293#line 1138 "include/linux/fs.h"
3294union __anonunion_fl_u_244 {
3295 struct nfs_lock_info nfs_fl ;
3296 struct nfs4_lock_info nfs4_fl ;
3297 struct __anonstruct_afs_245 afs ;
3298};
3299#line 1138 "include/linux/fs.h"
3300struct file_lock {
3301 struct file_lock *fl_next ;
3302 struct list_head fl_link ;
3303 struct list_head fl_block ;
3304 fl_owner_t fl_owner ;
3305 unsigned int fl_flags ;
3306 unsigned char fl_type ;
3307 unsigned int fl_pid ;
3308 struct pid *fl_nspid ;
3309 wait_queue_head_t fl_wait ;
3310 struct file *fl_file ;
3311 loff_t fl_start ;
3312 loff_t fl_end ;
3313 struct fasync_struct *fl_fasync ;
3314 unsigned long fl_break_time ;
3315 unsigned long fl_downgrade_time ;
3316 struct file_lock_operations const *fl_ops ;
3317 struct lock_manager_operations const *fl_lmops ;
3318 union __anonunion_fl_u_244 fl_u ;
3319};
3320#line 1378 "include/linux/fs.h"
3321struct fasync_struct {
3322 spinlock_t fa_lock ;
3323 int magic ;
3324 int fa_fd ;
3325 struct fasync_struct *fa_next ;
3326 struct file *fa_file ;
3327 struct rcu_head fa_rcu ;
3328};
3329#line 1418
3330struct file_system_type;
3331#line 1418
3332struct super_operations;
3333#line 1418
3334struct xattr_handler;
3335#line 1418
3336struct mtd_info;
3337#line 1418 "include/linux/fs.h"
3338struct super_block {
3339 struct list_head s_list ;
3340 dev_t s_dev ;
3341 unsigned char s_dirt ;
3342 unsigned char s_blocksize_bits ;
3343 unsigned long s_blocksize ;
3344 loff_t s_maxbytes ;
3345 struct file_system_type *s_type ;
3346 struct super_operations const *s_op ;
3347 struct dquot_operations const *dq_op ;
3348 struct quotactl_ops const *s_qcop ;
3349 struct export_operations const *s_export_op ;
3350 unsigned long s_flags ;
3351 unsigned long s_magic ;
3352 struct dentry *s_root ;
3353 struct rw_semaphore s_umount ;
3354 struct mutex s_lock ;
3355 int s_count ;
3356 atomic_t s_active ;
3357 void *s_security ;
3358 struct xattr_handler const **s_xattr ;
3359 struct list_head s_inodes ;
3360 struct hlist_bl_head s_anon ;
3361 struct list_head *s_files ;
3362 struct list_head s_mounts ;
3363 struct list_head s_dentry_lru ;
3364 int s_nr_dentry_unused ;
3365 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
3366 struct list_head s_inode_lru ;
3367 int s_nr_inodes_unused ;
3368 struct block_device *s_bdev ;
3369 struct backing_dev_info *s_bdi ;
3370 struct mtd_info *s_mtd ;
3371 struct hlist_node s_instances ;
3372 struct quota_info s_dquot ;
3373 int s_frozen ;
3374 wait_queue_head_t s_wait_unfrozen ;
3375 char s_id[32] ;
3376 u8 s_uuid[16] ;
3377 void *s_fs_info ;
3378 unsigned int s_max_links ;
3379 fmode_t s_mode ;
3380 u32 s_time_gran ;
3381 struct mutex s_vfs_rename_mutex ;
3382 char *s_subtype ;
3383 char *s_options ;
3384 struct dentry_operations const *s_d_op ;
3385 int cleancache_poolid ;
3386 struct shrinker s_shrink ;
3387 atomic_long_t s_remove_count ;
3388 int s_readonly_remount ;
3389};
3390#line 1567 "include/linux/fs.h"
3391struct fiemap_extent_info {
3392 unsigned int fi_flags ;
3393 unsigned int fi_extents_mapped ;
3394 unsigned int fi_extents_max ;
3395 struct fiemap_extent *fi_extents_start ;
3396};
3397#line 1601
3398struct block_device_operations;
3399#line 1601
3400struct block_device_operations;
3401#line 1609 "include/linux/fs.h"
3402struct file_operations {
3403 struct module *owner ;
3404 loff_t (*llseek)(struct file * , loff_t , int ) ;
3405 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3406 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3407 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3408 loff_t ) ;
3409 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3410 loff_t ) ;
3411 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3412 loff_t , u64 , unsigned int ) ) ;
3413 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3414 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3415 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3416 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3417 int (*open)(struct inode * , struct file * ) ;
3418 int (*flush)(struct file * , fl_owner_t id ) ;
3419 int (*release)(struct inode * , struct file * ) ;
3420 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
3421 int (*aio_fsync)(struct kiocb * , int datasync ) ;
3422 int (*fasync)(int , struct file * , int ) ;
3423 int (*lock)(struct file * , int , struct file_lock * ) ;
3424 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3425 int ) ;
3426 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3427 unsigned long , unsigned long ) ;
3428 int (*check_flags)(int ) ;
3429 int (*flock)(struct file * , int , struct file_lock * ) ;
3430 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3431 unsigned int ) ;
3432 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3433 unsigned int ) ;
3434 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3435 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
3436};
3437#line 1639 "include/linux/fs.h"
3438struct inode_operations {
3439 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3440 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3441 int (*permission)(struct inode * , int ) ;
3442 struct posix_acl *(*get_acl)(struct inode * , int ) ;
3443 int (*readlink)(struct dentry * , char * , int ) ;
3444 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3445 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
3446 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3447 int (*unlink)(struct inode * , struct dentry * ) ;
3448 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3449 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
3450 int (*rmdir)(struct inode * , struct dentry * ) ;
3451 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
3452 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3453 void (*truncate)(struct inode * ) ;
3454 int (*setattr)(struct dentry * , struct iattr * ) ;
3455 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
3456 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3457 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3458 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3459 int (*removexattr)(struct dentry * , char const * ) ;
3460 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3461 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
3462} __attribute__((__aligned__((1) << (6) ))) ;
3463#line 1669
3464struct seq_file;
3465#line 1684 "include/linux/fs.h"
3466struct super_operations {
3467 struct inode *(*alloc_inode)(struct super_block *sb ) ;
3468 void (*destroy_inode)(struct inode * ) ;
3469 void (*dirty_inode)(struct inode * , int flags ) ;
3470 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
3471 int (*drop_inode)(struct inode * ) ;
3472 void (*evict_inode)(struct inode * ) ;
3473 void (*put_super)(struct super_block * ) ;
3474 void (*write_super)(struct super_block * ) ;
3475 int (*sync_fs)(struct super_block *sb , int wait ) ;
3476 int (*freeze_fs)(struct super_block * ) ;
3477 int (*unfreeze_fs)(struct super_block * ) ;
3478 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3479 int (*remount_fs)(struct super_block * , int * , char * ) ;
3480 void (*umount_begin)(struct super_block * ) ;
3481 int (*show_options)(struct seq_file * , struct dentry * ) ;
3482 int (*show_devname)(struct seq_file * , struct dentry * ) ;
3483 int (*show_path)(struct seq_file * , struct dentry * ) ;
3484 int (*show_stats)(struct seq_file * , struct dentry * ) ;
3485 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3486 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3487 loff_t ) ;
3488 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3489 int (*nr_cached_objects)(struct super_block * ) ;
3490 void (*free_cached_objects)(struct super_block * , int ) ;
3491};
3492#line 1835 "include/linux/fs.h"
3493struct file_system_type {
3494 char const *name ;
3495 int fs_flags ;
3496 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3497 void (*kill_sb)(struct super_block * ) ;
3498 struct module *owner ;
3499 struct file_system_type *next ;
3500 struct hlist_head fs_supers ;
3501 struct lock_class_key s_lock_key ;
3502 struct lock_class_key s_umount_key ;
3503 struct lock_class_key s_vfs_rename_key ;
3504 struct lock_class_key i_lock_key ;
3505 struct lock_class_key i_mutex_key ;
3506 struct lock_class_key i_mutex_dir_key ;
3507};
3508#line 82 "include/linux/genhd.h"
3509struct disk_stats {
3510 unsigned long sectors[2] ;
3511 unsigned long ios[2] ;
3512 unsigned long merges[2] ;
3513 unsigned long ticks[2] ;
3514 unsigned long io_ticks ;
3515 unsigned long time_in_queue ;
3516};
3517#line 94 "include/linux/genhd.h"
3518struct partition_meta_info {
3519 u8 uuid[16] ;
3520 u8 volname[64] ;
3521};
3522#line 99 "include/linux/genhd.h"
3523struct hd_struct {
3524 sector_t start_sect ;
3525 sector_t nr_sects ;
3526 sector_t alignment_offset ;
3527 unsigned int discard_alignment ;
3528 struct device __dev ;
3529 struct kobject *holder_dir ;
3530 int policy ;
3531 int partno ;
3532 struct partition_meta_info *info ;
3533 int make_it_fail ;
3534 unsigned long stamp ;
3535 atomic_t in_flight[2] ;
3536 struct disk_stats *dkstats ;
3537 atomic_t ref ;
3538 struct rcu_head rcu_head ;
3539};
3540#line 147 "include/linux/genhd.h"
3541struct disk_part_tbl {
3542 struct rcu_head rcu_head ;
3543 int len ;
3544 struct hd_struct *last_lookup ;
3545 struct hd_struct *part[] ;
3546};
3547#line 154
3548struct disk_events;
3549#line 154
3550struct disk_events;
3551#line 156
3552struct timer_rand_state;
3553#line 156
3554struct blk_integrity;
3555#line 156 "include/linux/genhd.h"
3556struct gendisk {
3557 int major ;
3558 int first_minor ;
3559 int minors ;
3560 char disk_name[32] ;
3561 char *(*devnode)(struct gendisk *gd , umode_t *mode ) ;
3562 unsigned int events ;
3563 unsigned int async_events ;
3564 struct disk_part_tbl *part_tbl ;
3565 struct hd_struct part0 ;
3566 struct block_device_operations const *fops ;
3567 struct request_queue *queue ;
3568 void *private_data ;
3569 int flags ;
3570 struct device *driverfs_dev ;
3571 struct kobject *slave_dir ;
3572 struct timer_rand_state *random ;
3573 atomic_t sync_io ;
3574 struct disk_events *ev ;
3575 struct blk_integrity *integrity ;
3576 int node_id ;
3577};
3578#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
3579struct exception_table_entry {
3580 unsigned long insn ;
3581 unsigned long fixup ;
3582};
3583#line 31 "include/linux/irq.h"
3584struct seq_file;
3585#line 32
3586struct module;
3587#line 13 "include/linux/irqdesc.h"
3588struct timer_rand_state;
3589#line 14
3590struct module;
3591#line 17 "include/linux/profile.h"
3592struct pt_regs;
3593#line 65
3594struct task_struct;
3595#line 66
3596struct mm_struct;
3597#line 88
3598struct pt_regs;
3599#line 132 "include/linux/hardirq.h"
3600struct task_struct;
3601#line 28 "include/linux/writeback.h"
3602struct backing_dev_info;
3603#line 33
3604enum writeback_sync_modes {
3605 WB_SYNC_NONE = 0,
3606 WB_SYNC_ALL = 1
3607} ;
3608#line 60 "include/linux/writeback.h"
3609struct writeback_control {
3610 enum writeback_sync_modes sync_mode ;
3611 long nr_to_write ;
3612 long pages_skipped ;
3613 loff_t range_start ;
3614 loff_t range_end ;
3615 unsigned int for_kupdate : 1 ;
3616 unsigned int for_background : 1 ;
3617 unsigned int tagged_writepages : 1 ;
3618 unsigned int for_reclaim : 1 ;
3619 unsigned int range_cyclic : 1 ;
3620};
3621#line 84
3622struct bdi_writeback;
3623#line 84
3624struct bdi_writeback;
3625#line 21 "include/linux/backing-dev.h"
3626struct page;
3627#line 22
3628struct device;
3629#line 23
3630struct dentry;
3631#line 38 "include/linux/backing-dev.h"
3632typedef int congested_fn(void * , int );
3633#line 50 "include/linux/backing-dev.h"
3634struct bdi_writeback {
3635 struct backing_dev_info *bdi ;
3636 unsigned int nr ;
3637 unsigned long last_old_flush ;
3638 unsigned long last_active ;
3639 struct task_struct *task ;
3640 struct timer_list wakeup_timer ;
3641 struct list_head b_dirty ;
3642 struct list_head b_io ;
3643 struct list_head b_more_io ;
3644 spinlock_t list_lock ;
3645};
3646#line 65 "include/linux/backing-dev.h"
3647struct backing_dev_info {
3648 struct list_head bdi_list ;
3649 unsigned long ra_pages ;
3650 unsigned long state ;
3651 unsigned int capabilities ;
3652 congested_fn *congested_fn ;
3653 void *congested_data ;
3654 char *name ;
3655 struct percpu_counter bdi_stat[4] ;
3656 unsigned long bw_time_stamp ;
3657 unsigned long dirtied_stamp ;
3658 unsigned long written_stamp ;
3659 unsigned long write_bandwidth ;
3660 unsigned long avg_write_bandwidth ;
3661 unsigned long dirty_ratelimit ;
3662 unsigned long balanced_dirty_ratelimit ;
3663 struct prop_local_percpu completions ;
3664 int dirty_exceeded ;
3665 unsigned int min_ratio ;
3666 unsigned int max_ratio ;
3667 unsigned int max_prop_frac ;
3668 struct bdi_writeback wb ;
3669 spinlock_t wb_lock ;
3670 struct list_head work_list ;
3671 struct device *dev ;
3672 struct timer_list laptop_mode_wb_timer ;
3673 struct dentry *debug_dir ;
3674 struct dentry *debug_stats ;
3675};
3676#line 9 "include/linux/mempool.h"
3677struct kmem_cache;
3678#line 11 "include/linux/mempool.h"
3679typedef void *mempool_alloc_t(gfp_t gfp_mask , void *pool_data );
3680#line 12 "include/linux/mempool.h"
3681typedef void mempool_free_t(void *element , void *pool_data );
3682#line 14 "include/linux/mempool.h"
3683struct mempool_s {
3684 spinlock_t lock ;
3685 int min_nr ;
3686 int curr_nr ;
3687 void **elements ;
3688 void *pool_data ;
3689 mempool_alloc_t *alloc ;
3690 mempool_free_t *free ;
3691 wait_queue_head_t wait ;
3692};
3693#line 14 "include/linux/mempool.h"
3694typedef struct mempool_s mempool_t;
3695#line 75 "include/linux/iocontext.h"
3696union __anonunion____missing_field_name_256 {
3697 struct list_head q_node ;
3698 struct kmem_cache *__rcu_icq_cache ;
3699};
3700#line 75 "include/linux/iocontext.h"
3701union __anonunion____missing_field_name_257 {
3702 struct hlist_node ioc_node ;
3703 struct rcu_head __rcu_head ;
3704};
3705#line 75 "include/linux/iocontext.h"
3706struct io_cq {
3707 struct request_queue *q ;
3708 struct io_context *ioc ;
3709 union __anonunion____missing_field_name_256 __annonCompField47 ;
3710 union __anonunion____missing_field_name_257 __annonCompField48 ;
3711 unsigned int flags ;
3712};
3713#line 101 "include/linux/iocontext.h"
3714struct io_context {
3715 atomic_long_t refcount ;
3716 atomic_t nr_tasks ;
3717 spinlock_t lock ;
3718 unsigned short ioprio ;
3719 int nr_batch_requests ;
3720 unsigned long last_waited ;
3721 struct radix_tree_root icq_tree ;
3722 struct io_cq *icq_hint ;
3723 struct hlist_head icq_list ;
3724 struct work_struct release_work ;
3725};
3726#line 137
3727struct task_struct;
3728#line 170 "include/linux/bio.h"
3729struct bio_integrity_payload {
3730 struct bio *bip_bio ;
3731 sector_t bip_sector ;
3732 void *bip_buf ;
3733 bio_end_io_t *bip_end_io ;
3734 unsigned int bip_size ;
3735 unsigned short bip_slab ;
3736 unsigned short bip_vcnt ;
3737 unsigned short bip_idx ;
3738 struct work_struct bip_work ;
3739 struct bio_vec bip_vec[0] ;
3740};
3741#line 222
3742struct request_queue;
3743#line 374 "include/linux/bio.h"
3744struct bio_list {
3745 struct bio *head ;
3746 struct bio *tail ;
3747};
3748#line 67 "include/linux/bsg.h"
3749struct bsg_class_device {
3750 struct device *class_dev ;
3751 struct device *parent ;
3752 int minor ;
3753 struct request_queue *queue ;
3754 struct kref ref ;
3755 void (*release)(struct device * ) ;
3756};
3757#line 25 "include/linux/blkdev.h"
3758struct module;
3759#line 28
3760struct request_queue;
3761#line 29
3762struct elevator_queue;
3763#line 29
3764struct elevator_queue;
3765#line 32
3766struct request;
3767#line 32
3768struct request;
3769#line 34
3770struct bsg_job;
3771#line 34
3772struct bsg_job;
3773#line 39
3774struct request;
3775#line 40 "include/linux/blkdev.h"
3776typedef void rq_end_io_fn(struct request * , int );
3777#line 42 "include/linux/blkdev.h"
3778struct request_list {
3779 int count[2] ;
3780 int starved[2] ;
3781 int elvpriv ;
3782 mempool_t *rq_pool ;
3783 wait_queue_head_t wait[2] ;
3784};
3785#line 57
3786enum rq_cmd_type_bits {
3787 REQ_TYPE_FS = 1,
3788 REQ_TYPE_BLOCK_PC = 2,
3789 REQ_TYPE_SENSE = 3,
3790 REQ_TYPE_PM_SUSPEND = 4,
3791 REQ_TYPE_PM_RESUME = 5,
3792 REQ_TYPE_PM_SHUTDOWN = 6,
3793 REQ_TYPE_SPECIAL = 7,
3794 REQ_TYPE_ATA_TASKFILE = 8,
3795 REQ_TYPE_ATA_PC = 9
3796} ;
3797#line 81 "include/linux/blkdev.h"
3798union __anonunion____missing_field_name_260 {
3799 struct rb_node rb_node ;
3800 void *completion_data ;
3801};
3802#line 81 "include/linux/blkdev.h"
3803struct __anonstruct_elv_262 {
3804 struct io_cq *icq ;
3805 void *priv[2] ;
3806};
3807#line 81 "include/linux/blkdev.h"
3808struct __anonstruct_flush_263 {
3809 unsigned int seq ;
3810 struct list_head list ;
3811 rq_end_io_fn *saved_end_io ;
3812};
3813#line 81 "include/linux/blkdev.h"
3814union __anonunion____missing_field_name_261 {
3815 struct __anonstruct_elv_262 elv ;
3816 struct __anonstruct_flush_263 flush ;
3817};
3818#line 81 "include/linux/blkdev.h"
3819struct request {
3820 struct list_head queuelist ;
3821 struct call_single_data csd ;
3822 struct request_queue *q ;
3823 unsigned int cmd_flags ;
3824 enum rq_cmd_type_bits cmd_type ;
3825 unsigned long atomic_flags ;
3826 int cpu ;
3827 unsigned int __data_len ;
3828 sector_t __sector ;
3829 struct bio *bio ;
3830 struct bio *biotail ;
3831 struct hlist_node hash ;
3832 union __anonunion____missing_field_name_260 __annonCompField49 ;
3833 union __anonunion____missing_field_name_261 __annonCompField50 ;
3834 struct gendisk *rq_disk ;
3835 struct hd_struct *part ;
3836 unsigned long start_time ;
3837 unsigned short nr_phys_segments ;
3838 unsigned short nr_integrity_segments ;
3839 unsigned short ioprio ;
3840 int ref_count ;
3841 void *special ;
3842 char *buffer ;
3843 int tag ;
3844 int errors ;
3845 unsigned char __cmd[16] ;
3846 unsigned char *cmd ;
3847 unsigned short cmd_len ;
3848 unsigned int extra_len ;
3849 unsigned int sense_len ;
3850 unsigned int resid_len ;
3851 void *sense ;
3852 unsigned long deadline ;
3853 struct list_head timeout_list ;
3854 unsigned int timeout ;
3855 int retries ;
3856 rq_end_io_fn *end_io ;
3857 void *end_io_data ;
3858 struct request *next_rq ;
3859};
3860#line 8 "include/linux/elevator.h"
3861struct io_cq;
3862#line 10 "include/linux/elevator.h"
3863typedef int elevator_merge_fn(struct request_queue * , struct request ** , struct bio * );
3864#line 13 "include/linux/elevator.h"
3865typedef void elevator_merge_req_fn(struct request_queue * , struct request * , struct request * );
3866#line 15 "include/linux/elevator.h"
3867typedef void elevator_merged_fn(struct request_queue * , struct request * , int );
3868#line 17 "include/linux/elevator.h"
3869typedef int elevator_allow_merge_fn(struct request_queue * , struct request * , struct bio * );
3870#line 19 "include/linux/elevator.h"
3871typedef void elevator_bio_merged_fn(struct request_queue * , struct request * , struct bio * );
3872#line 22 "include/linux/elevator.h"
3873typedef int elevator_dispatch_fn(struct request_queue * , int );
3874#line 24 "include/linux/elevator.h"
3875typedef void elevator_add_req_fn(struct request_queue * , struct request * );
3876#line 25 "include/linux/elevator.h"
3877typedef struct request *elevator_request_list_fn(struct request_queue * , struct request * );
3878#line 26 "include/linux/elevator.h"
3879typedef void elevator_completed_req_fn(struct request_queue * , struct request * );
3880#line 27 "include/linux/elevator.h"
3881typedef int elevator_may_queue_fn(struct request_queue * , int );
3882#line 29 "include/linux/elevator.h"
3883typedef void elevator_init_icq_fn(struct io_cq * );
3884#line 30 "include/linux/elevator.h"
3885typedef void elevator_exit_icq_fn(struct io_cq * );
3886#line 31 "include/linux/elevator.h"
3887typedef int elevator_set_req_fn(struct request_queue * , struct request * , gfp_t );
3888#line 32 "include/linux/elevator.h"
3889typedef void elevator_put_req_fn(struct request * );
3890#line 33 "include/linux/elevator.h"
3891typedef void elevator_activate_req_fn(struct request_queue * , struct request * );
3892#line 34 "include/linux/elevator.h"
3893typedef void elevator_deactivate_req_fn(struct request_queue * , struct request * );
3894#line 36 "include/linux/elevator.h"
3895typedef void *elevator_init_fn(struct request_queue * );
3896#line 37 "include/linux/elevator.h"
3897typedef void elevator_exit_fn(struct elevator_queue * );
3898#line 39 "include/linux/elevator.h"
3899struct elevator_ops {
3900 elevator_merge_fn *elevator_merge_fn ;
3901 elevator_merged_fn *elevator_merged_fn ;
3902 elevator_merge_req_fn *elevator_merge_req_fn ;
3903 elevator_allow_merge_fn *elevator_allow_merge_fn ;
3904 elevator_bio_merged_fn *elevator_bio_merged_fn ;
3905 elevator_dispatch_fn *elevator_dispatch_fn ;
3906 elevator_add_req_fn *elevator_add_req_fn ;
3907 elevator_activate_req_fn *elevator_activate_req_fn ;
3908 elevator_deactivate_req_fn *elevator_deactivate_req_fn ;
3909 elevator_completed_req_fn *elevator_completed_req_fn ;
3910 elevator_request_list_fn *elevator_former_req_fn ;
3911 elevator_request_list_fn *elevator_latter_req_fn ;
3912 elevator_init_icq_fn *elevator_init_icq_fn ;
3913 elevator_exit_icq_fn *elevator_exit_icq_fn ;
3914 elevator_set_req_fn *elevator_set_req_fn ;
3915 elevator_put_req_fn *elevator_put_req_fn ;
3916 elevator_may_queue_fn *elevator_may_queue_fn ;
3917 elevator_init_fn *elevator_init_fn ;
3918 elevator_exit_fn *elevator_exit_fn ;
3919};
3920#line 71 "include/linux/elevator.h"
3921struct elv_fs_entry {
3922 struct attribute attr ;
3923 ssize_t (*show)(struct elevator_queue * , char * ) ;
3924 ssize_t (*store)(struct elevator_queue * , char const * , size_t ) ;
3925};
3926#line 80 "include/linux/elevator.h"
3927struct elevator_type {
3928 struct kmem_cache *icq_cache ;
3929 struct elevator_ops ops ;
3930 size_t icq_size ;
3931 size_t icq_align ;
3932 struct elv_fs_entry *elevator_attrs ;
3933 char elevator_name[16] ;
3934 struct module *elevator_owner ;
3935 char icq_cache_name[21] ;
3936 struct list_head list ;
3937};
3938#line 101 "include/linux/elevator.h"
3939struct elevator_queue {
3940 struct elevator_type *type ;
3941 void *elevator_data ;
3942 struct kobject kobj ;
3943 struct mutex sysfs_lock ;
3944 struct hlist_head *hash ;
3945 unsigned int registered : 1 ;
3946};
3947#line 202 "include/linux/blkdev.h"
3948typedef void request_fn_proc(struct request_queue *q );
3949#line 203 "include/linux/blkdev.h"
3950typedef void make_request_fn(struct request_queue *q , struct bio *bio );
3951#line 204 "include/linux/blkdev.h"
3952typedef int prep_rq_fn(struct request_queue * , struct request * );
3953#line 205 "include/linux/blkdev.h"
3954typedef void unprep_rq_fn(struct request_queue * , struct request * );
3955#line 207
3956struct bio_vec;
3957#line 208 "include/linux/blkdev.h"
3958struct bvec_merge_data {
3959 struct block_device *bi_bdev ;
3960 sector_t bi_sector ;
3961 unsigned int bi_size ;
3962 unsigned long bi_rw ;
3963};
3964#line 214 "include/linux/blkdev.h"
3965typedef int merge_bvec_fn(struct request_queue * , struct bvec_merge_data * , struct bio_vec * );
3966#line 216 "include/linux/blkdev.h"
3967typedef void softirq_done_fn(struct request * );
3968#line 217 "include/linux/blkdev.h"
3969typedef int dma_drain_needed_fn(struct request * );
3970#line 218 "include/linux/blkdev.h"
3971typedef int lld_busy_fn(struct request_queue *q );
3972#line 219 "include/linux/blkdev.h"
3973typedef int bsg_job_fn(struct bsg_job * );
3974#line 221
3975enum blk_eh_timer_return {
3976 BLK_EH_NOT_HANDLED = 0,
3977 BLK_EH_HANDLED = 1,
3978 BLK_EH_RESET_TIMER = 2
3979} ;
3980#line 227 "include/linux/blkdev.h"
3981typedef enum blk_eh_timer_return rq_timed_out_fn(struct request * );
3982#line 234 "include/linux/blkdev.h"
3983struct blk_queue_tag {
3984 struct request **tag_index ;
3985 unsigned long *tag_map ;
3986 int busy ;
3987 int max_depth ;
3988 int real_max_depth ;
3989 atomic_t refcnt ;
3990};
3991#line 246 "include/linux/blkdev.h"
3992struct queue_limits {
3993 unsigned long bounce_pfn ;
3994 unsigned long seg_boundary_mask ;
3995 unsigned int max_hw_sectors ;
3996 unsigned int max_sectors ;
3997 unsigned int max_segment_size ;
3998 unsigned int physical_block_size ;
3999 unsigned int alignment_offset ;
4000 unsigned int io_min ;
4001 unsigned int io_opt ;
4002 unsigned int max_discard_sectors ;
4003 unsigned int discard_granularity ;
4004 unsigned int discard_alignment ;
4005 unsigned short logical_block_size ;
4006 unsigned short max_segments ;
4007 unsigned short max_integrity_segments ;
4008 unsigned char misaligned ;
4009 unsigned char discard_misaligned ;
4010 unsigned char cluster ;
4011 unsigned char discard_zeroes_data ;
4012};
4013#line 271 "include/linux/blkdev.h"
4014struct request_queue {
4015 struct list_head queue_head ;
4016 struct request *last_merge ;
4017 struct elevator_queue *elevator ;
4018 struct request_list rq ;
4019 request_fn_proc *request_fn ;
4020 make_request_fn *make_request_fn ;
4021 prep_rq_fn *prep_rq_fn ;
4022 unprep_rq_fn *unprep_rq_fn ;
4023 merge_bvec_fn *merge_bvec_fn ;
4024 softirq_done_fn *softirq_done_fn ;
4025 rq_timed_out_fn *rq_timed_out_fn ;
4026 dma_drain_needed_fn *dma_drain_needed ;
4027 lld_busy_fn *lld_busy_fn ;
4028 sector_t end_sector ;
4029 struct request *boundary_rq ;
4030 struct delayed_work delay_work ;
4031 struct backing_dev_info backing_dev_info ;
4032 void *queuedata ;
4033 unsigned long queue_flags ;
4034 int id ;
4035 gfp_t bounce_gfp ;
4036 spinlock_t __queue_lock ;
4037 spinlock_t *queue_lock ;
4038 struct kobject kobj ;
4039 unsigned long nr_requests ;
4040 unsigned int nr_congestion_on ;
4041 unsigned int nr_congestion_off ;
4042 unsigned int nr_batching ;
4043 unsigned int dma_drain_size ;
4044 void *dma_drain_buffer ;
4045 unsigned int dma_pad_mask ;
4046 unsigned int dma_alignment ;
4047 struct blk_queue_tag *queue_tags ;
4048 struct list_head tag_busy_list ;
4049 unsigned int nr_sorted ;
4050 unsigned int in_flight[2] ;
4051 unsigned int rq_timeout ;
4052 struct timer_list timeout ;
4053 struct list_head timeout_list ;
4054 struct list_head icq_list ;
4055 struct queue_limits limits ;
4056 unsigned int sg_timeout ;
4057 unsigned int sg_reserved_size ;
4058 int node ;
4059 unsigned int flush_flags ;
4060 unsigned int flush_not_queueable : 1 ;
4061 unsigned int flush_queue_delayed : 1 ;
4062 unsigned int flush_pending_idx : 1 ;
4063 unsigned int flush_running_idx : 1 ;
4064 unsigned long flush_pending_since ;
4065 struct list_head flush_queue[2] ;
4066 struct list_head flush_data_in_flight ;
4067 struct request flush_rq ;
4068 struct mutex sysfs_lock ;
4069 bsg_job_fn *bsg_job_fn ;
4070 int bsg_job_size ;
4071 struct bsg_class_device bsg_dev ;
4072};
4073#line 889 "include/linux/blkdev.h"
4074struct blk_plug {
4075 unsigned long magic ;
4076 struct list_head list ;
4077 struct list_head cb_list ;
4078 unsigned int should_sort ;
4079};
4080#line 1165
4081struct work_struct;
4082#line 1220 "include/linux/blkdev.h"
4083struct blk_integrity_exchg {
4084 void *prot_buf ;
4085 void *data_buf ;
4086 sector_t sector ;
4087 unsigned int data_size ;
4088 unsigned short sector_size ;
4089 char const *disk_name ;
4090};
4091#line 1229 "include/linux/blkdev.h"
4092typedef void integrity_gen_fn(struct blk_integrity_exchg * );
4093#line 1230 "include/linux/blkdev.h"
4094typedef int integrity_vrfy_fn(struct blk_integrity_exchg * );
4095#line 1231 "include/linux/blkdev.h"
4096typedef void integrity_set_tag_fn(void * , void * , unsigned int );
4097#line 1232 "include/linux/blkdev.h"
4098typedef void integrity_get_tag_fn(void * , void * , unsigned int );
4099#line 1234 "include/linux/blkdev.h"
4100struct blk_integrity {
4101 integrity_gen_fn *generate_fn ;
4102 integrity_vrfy_fn *verify_fn ;
4103 integrity_set_tag_fn *set_tag_fn ;
4104 integrity_get_tag_fn *get_tag_fn ;
4105 unsigned short flags ;
4106 unsigned short tuple_size ;
4107 unsigned short sector_size ;
4108 unsigned short tag_size ;
4109 char const *name ;
4110 struct kobject kobj ;
4111};
4112#line 1362 "include/linux/blkdev.h"
4113struct block_device_operations {
4114 int (*open)(struct block_device * , fmode_t ) ;
4115 int (*release)(struct gendisk * , fmode_t ) ;
4116 int (*ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
4117 int (*compat_ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
4118 int (*direct_access)(struct block_device * , sector_t , void ** , unsigned long * ) ;
4119 unsigned int (*check_events)(struct gendisk *disk , unsigned int clearing ) ;
4120 int (*media_changed)(struct gendisk * ) ;
4121 void (*unlock_native_capacity)(struct gendisk * ) ;
4122 int (*revalidate_disk)(struct gendisk * ) ;
4123 int (*getgeo)(struct block_device * , struct hd_geometry * ) ;
4124 void (*swap_slot_free_notify)(struct block_device * , unsigned long ) ;
4125 struct module *owner ;
4126};
4127#line 12 "include/scsi/scsi_cmnd.h"
4128struct scsi_device;
4129#line 12
4130struct scsi_device;
4131#line 32 "include/scsi/scsi_cmnd.h"
4132struct scsi_data_buffer {
4133 struct sg_table table ;
4134 unsigned int length ;
4135 int resid ;
4136};
4137#line 39 "include/scsi/scsi_cmnd.h"
4138struct scsi_pointer {
4139 char *ptr ;
4140 int this_residual ;
4141 struct scatterlist *buffer ;
4142 int buffers_residual ;
4143 dma_addr_t dma_handle ;
4144 int volatile Status ;
4145 int volatile Message ;
4146 int volatile have_data_in ;
4147 int volatile sent_command ;
4148 int volatile phase ;
4149};
4150#line 54 "include/scsi/scsi_cmnd.h"
4151struct scsi_cmnd {
4152 struct scsi_device *device ;
4153 struct list_head list ;
4154 struct list_head eh_entry ;
4155 int eh_eflags ;
4156 unsigned long serial_number ;
4157 unsigned long jiffies_at_alloc ;
4158 int retries ;
4159 int allowed ;
4160 unsigned char prot_op ;
4161 unsigned char prot_type ;
4162 unsigned short cmd_len ;
4163 enum dma_data_direction sc_data_direction ;
4164 unsigned char *cmnd ;
4165 struct scsi_data_buffer sdb ;
4166 struct scsi_data_buffer *prot_sdb ;
4167 unsigned int underflow ;
4168 unsigned int transfersize ;
4169 struct request *request ;
4170 unsigned char *sense_buffer ;
4171 void (*scsi_done)(struct scsi_cmnd * ) ;
4172 struct scsi_pointer SCp ;
4173 unsigned char *host_scribble ;
4174 int result ;
4175 unsigned char tag ;
4176};
4177#line 7 "include/scsi/scsi_eh.h"
4178struct scsi_device;
4179#line 73 "include/scsi/scsi_eh.h"
4180struct scsi_eh_save {
4181 int result ;
4182 enum dma_data_direction data_direction ;
4183 unsigned int underflow ;
4184 unsigned char cmd_len ;
4185 unsigned char prot_op ;
4186 unsigned char *cmnd ;
4187 struct scsi_data_buffer sdb ;
4188 struct request *next_rq ;
4189 unsigned char eh_cmnd[16] ;
4190 struct scatterlist sense_sgl ;
4191};
4192#line 12 "include/linux/mod_devicetable.h"
4193typedef unsigned long kernel_ulong_t;
4194#line 98 "include/linux/mod_devicetable.h"
4195struct usb_device_id {
4196 __u16 match_flags ;
4197 __u16 idVendor ;
4198 __u16 idProduct ;
4199 __u16 bcdDevice_lo ;
4200 __u16 bcdDevice_hi ;
4201 __u8 bDeviceClass ;
4202 __u8 bDeviceSubClass ;
4203 __u8 bDeviceProtocol ;
4204 __u8 bInterfaceClass ;
4205 __u8 bInterfaceSubClass ;
4206 __u8 bInterfaceProtocol ;
4207 kernel_ulong_t driver_info ;
4208};
4209#line 219 "include/linux/mod_devicetable.h"
4210struct of_device_id {
4211 char name[32] ;
4212 char type[32] ;
4213 char compatible[128] ;
4214 void *data ;
4215};
4216#line 177 "include/linux/usb/ch9.h"
4217struct usb_ctrlrequest {
4218 __u8 bRequestType ;
4219 __u8 bRequest ;
4220 __le16 wValue ;
4221 __le16 wIndex ;
4222 __le16 wLength ;
4223} __attribute__((__packed__)) ;
4224#line 250 "include/linux/usb/ch9.h"
4225struct usb_device_descriptor {
4226 __u8 bLength ;
4227 __u8 bDescriptorType ;
4228 __le16 bcdUSB ;
4229 __u8 bDeviceClass ;
4230 __u8 bDeviceSubClass ;
4231 __u8 bDeviceProtocol ;
4232 __u8 bMaxPacketSize0 ;
4233 __le16 idVendor ;
4234 __le16 idProduct ;
4235 __le16 bcdDevice ;
4236 __u8 iManufacturer ;
4237 __u8 iProduct ;
4238 __u8 iSerialNumber ;
4239 __u8 bNumConfigurations ;
4240} __attribute__((__packed__)) ;
4241#line 306 "include/linux/usb/ch9.h"
4242struct usb_config_descriptor {
4243 __u8 bLength ;
4244 __u8 bDescriptorType ;
4245 __le16 wTotalLength ;
4246 __u8 bNumInterfaces ;
4247 __u8 bConfigurationValue ;
4248 __u8 iConfiguration ;
4249 __u8 bmAttributes ;
4250 __u8 bMaxPower ;
4251} __attribute__((__packed__)) ;
4252#line 343 "include/linux/usb/ch9.h"
4253struct usb_interface_descriptor {
4254 __u8 bLength ;
4255 __u8 bDescriptorType ;
4256 __u8 bInterfaceNumber ;
4257 __u8 bAlternateSetting ;
4258 __u8 bNumEndpoints ;
4259 __u8 bInterfaceClass ;
4260 __u8 bInterfaceSubClass ;
4261 __u8 bInterfaceProtocol ;
4262 __u8 iInterface ;
4263} __attribute__((__packed__)) ;
4264#line 361 "include/linux/usb/ch9.h"
4265struct usb_endpoint_descriptor {
4266 __u8 bLength ;
4267 __u8 bDescriptorType ;
4268 __u8 bEndpointAddress ;
4269 __u8 bmAttributes ;
4270 __le16 wMaxPacketSize ;
4271 __u8 bInterval ;
4272 __u8 bRefresh ;
4273 __u8 bSynchAddress ;
4274} __attribute__((__packed__)) ;
4275#line 598 "include/linux/usb/ch9.h"
4276struct usb_ss_ep_comp_descriptor {
4277 __u8 bLength ;
4278 __u8 bDescriptorType ;
4279 __u8 bMaxBurst ;
4280 __u8 bmAttributes ;
4281 __le16 wBytesPerInterval ;
4282} __attribute__((__packed__)) ;
4283#line 677 "include/linux/usb/ch9.h"
4284struct usb_interface_assoc_descriptor {
4285 __u8 bLength ;
4286 __u8 bDescriptorType ;
4287 __u8 bFirstInterface ;
4288 __u8 bInterfaceCount ;
4289 __u8 bFunctionClass ;
4290 __u8 bFunctionSubClass ;
4291 __u8 bFunctionProtocol ;
4292 __u8 iFunction ;
4293} __attribute__((__packed__)) ;
4294#line 737 "include/linux/usb/ch9.h"
4295struct usb_bos_descriptor {
4296 __u8 bLength ;
4297 __u8 bDescriptorType ;
4298 __le16 wTotalLength ;
4299 __u8 bNumDeviceCaps ;
4300} __attribute__((__packed__)) ;
4301#line 786 "include/linux/usb/ch9.h"
4302struct usb_ext_cap_descriptor {
4303 __u8 bLength ;
4304 __u8 bDescriptorType ;
4305 __u8 bDevCapabilityType ;
4306 __le32 bmAttributes ;
4307} __attribute__((__packed__)) ;
4308#line 806 "include/linux/usb/ch9.h"
4309struct usb_ss_cap_descriptor {
4310 __u8 bLength ;
4311 __u8 bDescriptorType ;
4312 __u8 bDevCapabilityType ;
4313 __u8 bmAttributes ;
4314 __le16 wSpeedSupported ;
4315 __u8 bFunctionalitySupport ;
4316 __u8 bU1devExitLat ;
4317 __le16 bU2DevExitLat ;
4318} __attribute__((__packed__)) ;
4319#line 829 "include/linux/usb/ch9.h"
4320struct usb_ss_container_id_descriptor {
4321 __u8 bLength ;
4322 __u8 bDescriptorType ;
4323 __u8 bDevCapabilityType ;
4324 __u8 bReserved ;
4325 __u8 ContainerID[16] ;
4326} __attribute__((__packed__)) ;
4327#line 891
4328enum usb_device_speed {
4329 USB_SPEED_UNKNOWN = 0,
4330 USB_SPEED_LOW = 1,
4331 USB_SPEED_FULL = 2,
4332 USB_SPEED_HIGH = 3,
4333 USB_SPEED_WIRELESS = 4,
4334 USB_SPEED_SUPER = 5
4335} ;
4336#line 911
4337enum usb_device_state {
4338 USB_STATE_NOTATTACHED = 0,
4339 USB_STATE_ATTACHED = 1,
4340 USB_STATE_POWERED = 2,
4341 USB_STATE_RECONNECTING = 3,
4342 USB_STATE_UNAUTHENTICATED = 4,
4343 USB_STATE_DEFAULT = 5,
4344 USB_STATE_ADDRESS = 6,
4345 USB_STATE_CONFIGURED = 7,
4346 USB_STATE_SUSPENDED = 8
4347} ;
4348#line 187 "include/linux/interrupt.h"
4349struct device;
4350#line 695
4351struct seq_file;
4352#line 25 "include/linux/usb.h"
4353struct usb_device;
4354#line 25
4355struct usb_device;
4356#line 26
4357struct usb_driver;
4358#line 26
4359struct usb_driver;
4360#line 27
4361struct wusb_dev;
4362#line 27
4363struct wusb_dev;
4364#line 47
4365struct ep_device;
4366#line 47
4367struct ep_device;
4368#line 64 "include/linux/usb.h"
4369struct usb_host_endpoint {
4370 struct usb_endpoint_descriptor desc ;
4371 struct usb_ss_ep_comp_descriptor ss_ep_comp ;
4372 struct list_head urb_list ;
4373 void *hcpriv ;
4374 struct ep_device *ep_dev ;
4375 unsigned char *extra ;
4376 int extralen ;
4377 int enabled ;
4378};
4379#line 77 "include/linux/usb.h"
4380struct usb_host_interface {
4381 struct usb_interface_descriptor desc ;
4382 struct usb_host_endpoint *endpoint ;
4383 char *string ;
4384 unsigned char *extra ;
4385 int extralen ;
4386};
4387#line 90
4388enum usb_interface_condition {
4389 USB_INTERFACE_UNBOUND = 0,
4390 USB_INTERFACE_BINDING = 1,
4391 USB_INTERFACE_BOUND = 2,
4392 USB_INTERFACE_UNBINDING = 3
4393} ;
4394#line 159 "include/linux/usb.h"
4395struct usb_interface {
4396 struct usb_host_interface *altsetting ;
4397 struct usb_host_interface *cur_altsetting ;
4398 unsigned int num_altsetting ;
4399 struct usb_interface_assoc_descriptor *intf_assoc ;
4400 int minor ;
4401 enum usb_interface_condition condition ;
4402 unsigned int sysfs_files_created : 1 ;
4403 unsigned int ep_devs_created : 1 ;
4404 unsigned int unregistering : 1 ;
4405 unsigned int needs_remote_wakeup : 1 ;
4406 unsigned int needs_altsetting0 : 1 ;
4407 unsigned int needs_binding : 1 ;
4408 unsigned int reset_running : 1 ;
4409 unsigned int resetting_device : 1 ;
4410 struct device dev ;
4411 struct device *usb_dev ;
4412 atomic_t pm_usage_cnt ;
4413 struct work_struct reset_ws ;
4414};
4415#line 222 "include/linux/usb.h"
4416struct usb_interface_cache {
4417 unsigned int num_altsetting ;
4418 struct kref ref ;
4419 struct usb_host_interface altsetting[0] ;
4420};
4421#line 274 "include/linux/usb.h"
4422struct usb_host_config {
4423 struct usb_config_descriptor desc ;
4424 char *string ;
4425 struct usb_interface_assoc_descriptor *intf_assoc[16] ;
4426 struct usb_interface *interface[32] ;
4427 struct usb_interface_cache *intf_cache[32] ;
4428 unsigned char *extra ;
4429 int extralen ;
4430};
4431#line 296 "include/linux/usb.h"
4432struct usb_host_bos {
4433 struct usb_bos_descriptor *desc ;
4434 struct usb_ext_cap_descriptor *ext_cap ;
4435 struct usb_ss_cap_descriptor *ss_cap ;
4436 struct usb_ss_container_id_descriptor *ss_id ;
4437};
4438#line 315 "include/linux/usb.h"
4439struct usb_devmap {
4440 unsigned long devicemap[128UL / (8UL * sizeof(unsigned long ))] ;
4441};
4442#line 322
4443struct mon_bus;
4444#line 322 "include/linux/usb.h"
4445struct usb_bus {
4446 struct device *controller ;
4447 int busnum ;
4448 char const *bus_name ;
4449 u8 uses_dma ;
4450 u8 uses_pio_for_control ;
4451 u8 otg_port ;
4452 unsigned int is_b_host : 1 ;
4453 unsigned int b_hnp_enable : 1 ;
4454 unsigned int sg_tablesize ;
4455 int devnum_next ;
4456 struct usb_devmap devmap ;
4457 struct usb_device *root_hub ;
4458 struct usb_bus *hs_companion ;
4459 struct list_head bus_list ;
4460 int bandwidth_allocated ;
4461 int bandwidth_int_reqs ;
4462 int bandwidth_isoc_reqs ;
4463 struct dentry *usbfs_dentry ;
4464 struct mon_bus *mon_bus ;
4465 int monitored ;
4466};
4467#line 377
4468struct usb_tt;
4469#line 377
4470struct usb_tt;
4471#line 379
4472enum usb_device_removable {
4473 USB_DEVICE_REMOVABLE_UNKNOWN = 0,
4474 USB_DEVICE_REMOVABLE = 1,
4475 USB_DEVICE_FIXED = 2
4476} ;
4477#line 447 "include/linux/usb.h"
4478struct usb_device {
4479 int devnum ;
4480 char devpath[16] ;
4481 u32 route ;
4482 enum usb_device_state state ;
4483 enum usb_device_speed speed ;
4484 struct usb_tt *tt ;
4485 int ttport ;
4486 unsigned int toggle[2] ;
4487 struct usb_device *parent ;
4488 struct usb_bus *bus ;
4489 struct usb_host_endpoint ep0 ;
4490 struct device dev ;
4491 struct usb_device_descriptor descriptor ;
4492 struct usb_host_bos *bos ;
4493 struct usb_host_config *config ;
4494 struct usb_host_config *actconfig ;
4495 struct usb_host_endpoint *ep_in[16] ;
4496 struct usb_host_endpoint *ep_out[16] ;
4497 char **rawdescriptors ;
4498 unsigned short bus_mA ;
4499 u8 portnum ;
4500 u8 level ;
4501 unsigned int can_submit : 1 ;
4502 unsigned int persist_enabled : 1 ;
4503 unsigned int have_langid : 1 ;
4504 unsigned int authorized : 1 ;
4505 unsigned int authenticated : 1 ;
4506 unsigned int wusb : 1 ;
4507 unsigned int lpm_capable : 1 ;
4508 unsigned int usb2_hw_lpm_capable : 1 ;
4509 unsigned int usb2_hw_lpm_enabled : 1 ;
4510 int string_langid ;
4511 char *product ;
4512 char *manufacturer ;
4513 char *serial ;
4514 struct list_head filelist ;
4515 struct device *usb_classdev ;
4516 struct dentry *usbfs_dentry ;
4517 int maxchild ;
4518 struct usb_device **children ;
4519 u32 quirks ;
4520 atomic_t urbnum ;
4521 unsigned long active_duration ;
4522 unsigned long connect_time ;
4523 unsigned int do_remote_wakeup : 1 ;
4524 unsigned int reset_resume : 1 ;
4525 struct wusb_dev *wusb_dev ;
4526 int slot_id ;
4527 enum usb_device_removable removable ;
4528};
4529#line 789 "include/linux/usb.h"
4530struct usb_dynids {
4531 spinlock_t lock ;
4532 struct list_head list ;
4533};
4534#line 808 "include/linux/usb.h"
4535struct usbdrv_wrap {
4536 struct device_driver driver ;
4537 int for_devices ;
4538};
4539#line 869 "include/linux/usb.h"
4540struct usb_driver {
4541 char const *name ;
4542 int (*probe)(struct usb_interface *intf , struct usb_device_id const *id ) ;
4543 void (*disconnect)(struct usb_interface *intf ) ;
4544 int (*unlocked_ioctl)(struct usb_interface *intf , unsigned int code , void *buf ) ;
4545 int (*suspend)(struct usb_interface *intf , pm_message_t message ) ;
4546 int (*resume)(struct usb_interface *intf ) ;
4547 int (*reset_resume)(struct usb_interface *intf ) ;
4548 int (*pre_reset)(struct usb_interface *intf ) ;
4549 int (*post_reset)(struct usb_interface *intf ) ;
4550 struct usb_device_id const *id_table ;
4551 struct usb_dynids dynids ;
4552 struct usbdrv_wrap drvwrap ;
4553 unsigned int no_dynamic_id : 1 ;
4554 unsigned int supports_autosuspend : 1 ;
4555 unsigned int soft_unbind : 1 ;
4556};
4557#line 1022 "include/linux/usb.h"
4558struct usb_iso_packet_descriptor {
4559 unsigned int offset ;
4560 unsigned int length ;
4561 unsigned int actual_length ;
4562 int status ;
4563};
4564#line 1029
4565struct urb;
4566#line 1029
4567struct urb;
4568#line 1031 "include/linux/usb.h"
4569struct usb_anchor {
4570 struct list_head urb_list ;
4571 wait_queue_head_t wait ;
4572 spinlock_t lock ;
4573 unsigned int poisoned : 1 ;
4574};
4575#line 1223 "include/linux/usb.h"
4576struct urb {
4577 struct kref kref ;
4578 void *hcpriv ;
4579 atomic_t use_count ;
4580 atomic_t reject ;
4581 int unlinked ;
4582 struct list_head urb_list ;
4583 struct list_head anchor_list ;
4584 struct usb_anchor *anchor ;
4585 struct usb_device *dev ;
4586 struct usb_host_endpoint *ep ;
4587 unsigned int pipe ;
4588 unsigned int stream_id ;
4589 int status ;
4590 unsigned int transfer_flags ;
4591 void *transfer_buffer ;
4592 dma_addr_t transfer_dma ;
4593 struct scatterlist *sg ;
4594 int num_mapped_sgs ;
4595 int num_sgs ;
4596 u32 transfer_buffer_length ;
4597 u32 actual_length ;
4598 unsigned char *setup_packet ;
4599 dma_addr_t setup_dma ;
4600 int start_frame ;
4601 int number_of_packets ;
4602 int interval ;
4603 int error_count ;
4604 void *context ;
4605 void (*complete)(struct urb * ) ;
4606 struct usb_iso_packet_descriptor iso_frame_desc[0] ;
4607};
4608#line 1429
4609struct scatterlist;
4610#line 1495 "include/linux/usb.h"
4611struct usb_sg_request {
4612 int status ;
4613 size_t bytes ;
4614 spinlock_t lock ;
4615 struct usb_device *dev ;
4616 int pipe ;
4617 int entries ;
4618 struct urb **urbs ;
4619 int count ;
4620 struct completion complete ;
4621};
4622#line 11 "include/scsi/scsi_host.h"
4623struct request_queue;
4624#line 12
4625struct block_device;
4626#line 13
4627struct completion;
4628#line 14
4629struct module;
4630#line 15
4631struct scsi_cmnd;
4632#line 16
4633struct scsi_device;
4634#line 53 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/storage/usb.h"
4635struct us_data;
4636#line 53
4637struct us_data;
4638#line 54
4639struct scsi_cmnd;
4640#line 60 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/storage/usb.h"
4641struct us_unusual_dev {
4642 char const *vendorName ;
4643 char const *productName ;
4644 __u8 useProtocol ;
4645 __u8 useTransport ;
4646 int (*initFunction)(struct us_data * ) ;
4647};
4648#line 102 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/storage/usb.h"
4649struct us_data {
4650 struct mutex dev_mutex ;
4651 struct usb_device *pusb_dev ;
4652 struct usb_interface *pusb_intf ;
4653 struct us_unusual_dev *unusual_dev ;
4654 unsigned long fflags ;
4655 unsigned long dflags ;
4656 unsigned int send_bulk_pipe ;
4657 unsigned int recv_bulk_pipe ;
4658 unsigned int send_ctrl_pipe ;
4659 unsigned int recv_ctrl_pipe ;
4660 unsigned int recv_intr_pipe ;
4661 char *transport_name ;
4662 char *protocol_name ;
4663 __le32 bcs_signature ;
4664 u8 subclass ;
4665 u8 protocol ;
4666 u8 max_lun ;
4667 u8 ifnum ;
4668 u8 ep_bInterval ;
4669 int (*transport)(struct scsi_cmnd * , struct us_data * ) ;
4670 int (*transport_reset)(struct us_data * ) ;
4671 void (*proto_handler)(struct scsi_cmnd * , struct us_data * ) ;
4672 struct scsi_cmnd *srb ;
4673 unsigned int tag ;
4674 char scsi_name[32] ;
4675 struct urb *current_urb ;
4676 struct usb_ctrlrequest *cr ;
4677 struct usb_sg_request current_sg ;
4678 unsigned char *iobuf ;
4679 dma_addr_t iobuf_dma ;
4680 struct task_struct *ctl_thread ;
4681 struct completion cmnd_ready ;
4682 struct completion notify ;
4683 wait_queue_head_t delay_wait ;
4684 struct delayed_work scan_dwork ;
4685 void *extra ;
4686 void (*extra_destructor)(void * ) ;
4687 void (*suspend_resume_hook)(struct us_data * , int ) ;
4688 int use_last_sector_hacks ;
4689 int last_sector_retries ;
4690};
4691#line 1 "<compiler builtins>"
4692
4693#line 1
4694long __builtin_expect(long val , long res ) ;
4695#line 100 "include/linux/printk.h"
4696extern int ( printk)(char const *fmt , ...) ;
4697#line 34 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
4698extern void *__memcpy(void *to , void const *from , size_t len ) ;
4699#line 55
4700extern void *memset(void *s , int c , size_t n ) ;
4701#line 60
4702extern int memcmp(void const *cs , void const *ct , unsigned long count ) ;
4703#line 152 "include/linux/mutex.h"
4704void mutex_lock(struct mutex *lock ) ;
4705#line 153
4706int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
4707#line 154
4708int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
4709#line 168
4710int mutex_trylock(struct mutex *lock ) ;
4711#line 169
4712void mutex_unlock(struct mutex *lock ) ;
4713#line 170
4714int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
4715#line 26 "include/linux/export.h"
4716extern struct module __this_module ;
4717#line 67 "include/linux/module.h"
4718int init_module(void) ;
4719#line 68
4720void cleanup_module(void) ;
4721#line 88 "include/scsi/scsi_eh.h"
4722extern void scsi_eh_prep_cmnd(struct scsi_cmnd *scmd , struct scsi_eh_save *ses ,
4723 unsigned char *cmnd , int cmnd_size , unsigned int sense_bytes ) ;
4724#line 92
4725extern void scsi_eh_restore_cmnd(struct scsi_cmnd *scmd , struct scsi_eh_save *ses ) ;
4726#line 955 "include/linux/usb.h"
4727extern int usb_register_driver(struct usb_driver * , struct module * , char const * ) ;
4728#line 962
4729extern void usb_deregister(struct usb_driver * ) ;
4730#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/storage/usb.h"
4731extern int usb_stor_suspend(struct usb_interface *iface , int messageevent ) ;
4732#line 186
4733extern int usb_stor_resume(struct usb_interface *iface ) ;
4734#line 187
4735extern int usb_stor_reset_resume(struct usb_interface *iface ) ;
4736#line 194
4737extern int usb_stor_pre_reset(struct usb_interface *iface ) ;
4738#line 195
4739extern int usb_stor_post_reset(struct usb_interface *iface ) ;
4740#line 197
4741extern int usb_stor_probe1(struct us_data **pus , struct usb_interface *intf , struct usb_device_id const *id ,
4742 struct us_unusual_dev *unusual_dev ) ;
4743#line 201
4744extern int usb_stor_probe2(struct us_data *us ) ;
4745#line 202
4746extern void usb_stor_disconnect(struct usb_interface *intf ) ;
4747#line 45 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/storage/protocol.h"
4748extern void usb_stor_transparent_scsi_command(struct scsi_cmnd * , struct us_data * ) ;
4749#line 45 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/usb/storage/scsiglue.h"
4750extern unsigned char usb_stor_sense_invalidCDB[18] ;
4751#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
4752static char const __mod_description34[63] __attribute__((__used__, __unused__,
4753__section__(".modinfo"), __aligned__(1))) =
4754#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
4755 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
4756 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
4757 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
4758 (char const )'S', (char const )'A', (char const )'T', (char const )' ',
4759 (char const )'s', (char const )'u', (char const )'p', (char const )'p',
4760 (char const )'o', (char const )'r', (char const )'t', (char const )' ',
4761 (char const )'f', (char const )'o', (char const )'r', (char const )' ',
4762 (char const )'C', (char const )'y', (char const )'p', (char const )'r',
4763 (char const )'e', (char const )'s', (char const )'s', (char const )' ',
4764 (char const )'U', (char const )'S', (char const )'B', (char const )'/',
4765 (char const )'A', (char const )'T', (char const )'A', (char const )' ',
4766 (char const )'b', (char const )'r', (char const )'i', (char const )'d',
4767 (char const )'g', (char const )'e', (char const )'s', (char const )' ',
4768 (char const )'w', (char const )'i', (char const )'t', (char const )'h',
4769 (char const )' ', (char const )'A', (char const )'T', (char const )'A',
4770 (char const )'C', (char const )'B', (char const )'\000'};
4771#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
4772static char const __mod_author35[49] __attribute__((__used__, __unused__, __section__(".modinfo"),
4773__aligned__(1))) =
4774#line 35
4775 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
4776 (char const )'o', (char const )'r', (char const )'=', (char const )'M',
4777 (char const )'a', (char const )'t', (char const )'t', (char const )'h',
4778 (char const )'i', (char const )'e', (char const )'u', (char const )' ',
4779 (char const )'C', (char const )'a', (char const )'s', (char const )'t',
4780 (char const )'e', (char const )'t', (char const )' ', (char const )'<',
4781 (char const )'c', (char const )'a', (char const )'s', (char const )'t',
4782 (char const )'e', (char const )'t', (char const )'.', (char const )'m',
4783 (char const )'a', (char const )'t', (char const )'t', (char const )'h',
4784 (char const )'i', (char const )'e', (char const )'u', (char const )'@',
4785 (char const )'f', (char const )'r', (char const )'e', (char const )'e',
4786 (char const )'.', (char const )'f', (char const )'r', (char const )'>',
4787 (char const )'\000'};
4788#line 36 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
4789static char const __mod_license36[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
4790__aligned__(1))) =
4791#line 36
4792 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
4793 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
4794 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
4795#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
4796static struct usb_device_id cypress_usb_ids[3] = { {(__u16 )15, (__u16 )1204, (__u16 )26672, (__u16 )0, (__u16 )39321, (unsigned char)0,
4797 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4798 (kernel_ulong_t )(1 << 24)},
4799 {(__u16 )15, (__u16 )1204, (__u16 )26673, (__u16 )0, (__u16 )39321, (unsigned char)0,
4800 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4801 (kernel_ulong_t )(1 << 24)},
4802 {(__u16 )15, (__u16 )5325, (__u16 )24854, (__u16 )0, (__u16 )39321, (unsigned char)0,
4803 (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0,
4804 (kernel_ulong_t )(1 << 24)}};
4805#line 51
4806extern struct usb_device_id const __mod_usb_device_table __attribute__((__unused__,
4807__alias__("cypress_usb_ids"))) ;
4808#line 69 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
4809static struct us_unusual_dev cypress_unusual_dev_list[3] = { {"Cypress", "Cypress AT2LP", (__u8 )241, (__u8 )255, (int (*)(struct us_data * ))((void *)0)},
4810 {"Cypress",
4811 "Cypress ISD-300LP", (__u8 )241, (__u8 )255, (int (*)(struct us_data * ))((void *)0)},
4812 {"Super Top",
4813 "USB 2.0 SATA BRIDGE", (__u8 )241, (__u8 )255, (int (*)(struct us_data * ))((void *)0)}};
4814#line 84 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
4815static void cypress_atacb_passthrough(struct scsi_cmnd *srb , struct us_data *us )
4816{ unsigned char save_cmnd[16] ;
4817 int tmp___7 ;
4818 long tmp___8 ;
4819 size_t __len ;
4820 void *__ret ;
4821 int tmp___9 ;
4822 struct scsi_eh_save ses ;
4823 unsigned char regs[8] ;
4824 unsigned char *sb ;
4825 unsigned char *desc ;
4826 int tmp_result ;
4827 size_t __len___0 ;
4828 void *__ret___0 ;
4829 size_t __len___1 ;
4830 void *__ret___1 ;
4831 size_t __len___2 ;
4832 void *__ret___2 ;
4833 unsigned long __cil_tmp20 ;
4834 unsigned long __cil_tmp21 ;
4835 unsigned char *__cil_tmp22 ;
4836 unsigned char *__cil_tmp23 ;
4837 unsigned char __cil_tmp24 ;
4838 int __cil_tmp25 ;
4839 unsigned long __cil_tmp26 ;
4840 unsigned long __cil_tmp27 ;
4841 unsigned char *__cil_tmp28 ;
4842 unsigned char *__cil_tmp29 ;
4843 unsigned char __cil_tmp30 ;
4844 int __cil_tmp31 ;
4845 long __cil_tmp32 ;
4846 unsigned long __cil_tmp33 ;
4847 unsigned long __cil_tmp34 ;
4848 unsigned char *__cil_tmp35 ;
4849 void *__cil_tmp36 ;
4850 unsigned long __cil_tmp37 ;
4851 unsigned long __cil_tmp38 ;
4852 unsigned char *__cil_tmp39 ;
4853 void const *__cil_tmp40 ;
4854 unsigned long __cil_tmp41 ;
4855 unsigned long __cil_tmp42 ;
4856 unsigned char *__cil_tmp43 ;
4857 void *__cil_tmp44 ;
4858 unsigned long __cil_tmp45 ;
4859 unsigned long __cil_tmp46 ;
4860 unsigned char *__cil_tmp47 ;
4861 void const *__cil_tmp48 ;
4862 unsigned long __cil_tmp49 ;
4863 unsigned long __cil_tmp50 ;
4864 unsigned char *__cil_tmp51 ;
4865 void *__cil_tmp52 ;
4866 size_t __cil_tmp53 ;
4867 unsigned long __cil_tmp54 ;
4868 unsigned long __cil_tmp55 ;
4869 unsigned char __cil_tmp56 ;
4870 int __cil_tmp57 ;
4871 unsigned long __cil_tmp58 ;
4872 unsigned long __cil_tmp59 ;
4873 unsigned char __cil_tmp60 ;
4874 int __cil_tmp61 ;
4875 int __cil_tmp62 ;
4876 unsigned long __cil_tmp63 ;
4877 unsigned long __cil_tmp64 ;
4878 unsigned long __cil_tmp65 ;
4879 unsigned long __cil_tmp66 ;
4880 unsigned char *__cil_tmp67 ;
4881 unsigned char *__cil_tmp68 ;
4882 unsigned long __cil_tmp69 ;
4883 unsigned long __cil_tmp70 ;
4884 unsigned char *__cil_tmp71 ;
4885 unsigned char *__cil_tmp72 ;
4886 unsigned long __cil_tmp73 ;
4887 unsigned long __cil_tmp74 ;
4888 unsigned char *__cil_tmp75 ;
4889 unsigned char *__cil_tmp76 ;
4890 unsigned long __cil_tmp77 ;
4891 unsigned long __cil_tmp78 ;
4892 unsigned char *__cil_tmp79 ;
4893 unsigned char *__cil_tmp80 ;
4894 unsigned long __cil_tmp81 ;
4895 unsigned long __cil_tmp82 ;
4896 unsigned char __cil_tmp83 ;
4897 int __cil_tmp84 ;
4898 unsigned long __cil_tmp85 ;
4899 unsigned long __cil_tmp86 ;
4900 unsigned char *__cil_tmp87 ;
4901 unsigned char *__cil_tmp88 ;
4902 unsigned long __cil_tmp89 ;
4903 unsigned long __cil_tmp90 ;
4904 unsigned long __cil_tmp91 ;
4905 unsigned long __cil_tmp92 ;
4906 unsigned char *__cil_tmp93 ;
4907 unsigned char *__cil_tmp94 ;
4908 unsigned long __cil_tmp95 ;
4909 unsigned long __cil_tmp96 ;
4910 unsigned long __cil_tmp97 ;
4911 unsigned long __cil_tmp98 ;
4912 unsigned char *__cil_tmp99 ;
4913 unsigned char *__cil_tmp100 ;
4914 unsigned long __cil_tmp101 ;
4915 unsigned long __cil_tmp102 ;
4916 unsigned long __cil_tmp103 ;
4917 unsigned long __cil_tmp104 ;
4918 unsigned char *__cil_tmp105 ;
4919 unsigned char *__cil_tmp106 ;
4920 unsigned long __cil_tmp107 ;
4921 unsigned long __cil_tmp108 ;
4922 unsigned long __cil_tmp109 ;
4923 unsigned long __cil_tmp110 ;
4924 unsigned char *__cil_tmp111 ;
4925 unsigned char *__cil_tmp112 ;
4926 unsigned long __cil_tmp113 ;
4927 unsigned long __cil_tmp114 ;
4928 unsigned long __cil_tmp115 ;
4929 unsigned long __cil_tmp116 ;
4930 unsigned char *__cil_tmp117 ;
4931 unsigned char *__cil_tmp118 ;
4932 unsigned long __cil_tmp119 ;
4933 unsigned long __cil_tmp120 ;
4934 unsigned long __cil_tmp121 ;
4935 unsigned long __cil_tmp122 ;
4936 unsigned char *__cil_tmp123 ;
4937 unsigned char *__cil_tmp124 ;
4938 unsigned long __cil_tmp125 ;
4939 unsigned long __cil_tmp126 ;
4940 unsigned long __cil_tmp127 ;
4941 unsigned long __cil_tmp128 ;
4942 unsigned char __cil_tmp129 ;
4943 int __cil_tmp130 ;
4944 unsigned long __cil_tmp131 ;
4945 unsigned long __cil_tmp132 ;
4946 unsigned long __cil_tmp133 ;
4947 unsigned long __cil_tmp134 ;
4948 unsigned long __cil_tmp135 ;
4949 unsigned long __cil_tmp136 ;
4950 unsigned long __cil_tmp137 ;
4951 unsigned long __cil_tmp138 ;
4952 unsigned long __cil_tmp139 ;
4953 unsigned long __cil_tmp140 ;
4954 unsigned long __cil_tmp141 ;
4955 unsigned long __cil_tmp142 ;
4956 unsigned char *__cil_tmp143 ;
4957 unsigned char *__cil_tmp144 ;
4958 unsigned long __cil_tmp145 ;
4959 unsigned long __cil_tmp146 ;
4960 unsigned long __cil_tmp147 ;
4961 unsigned long __cil_tmp148 ;
4962 unsigned char *__cil_tmp149 ;
4963 unsigned char *__cil_tmp150 ;
4964 unsigned long __cil_tmp151 ;
4965 unsigned long __cil_tmp152 ;
4966 unsigned long __cil_tmp153 ;
4967 unsigned long __cil_tmp154 ;
4968 unsigned char *__cil_tmp155 ;
4969 unsigned char *__cil_tmp156 ;
4970 unsigned long __cil_tmp157 ;
4971 unsigned long __cil_tmp158 ;
4972 unsigned long __cil_tmp159 ;
4973 unsigned long __cil_tmp160 ;
4974 unsigned char *__cil_tmp161 ;
4975 unsigned char *__cil_tmp162 ;
4976 unsigned long __cil_tmp163 ;
4977 unsigned long __cil_tmp164 ;
4978 unsigned long __cil_tmp165 ;
4979 unsigned long __cil_tmp166 ;
4980 unsigned char *__cil_tmp167 ;
4981 unsigned char *__cil_tmp168 ;
4982 unsigned long __cil_tmp169 ;
4983 unsigned long __cil_tmp170 ;
4984 unsigned long __cil_tmp171 ;
4985 unsigned long __cil_tmp172 ;
4986 unsigned char *__cil_tmp173 ;
4987 unsigned char *__cil_tmp174 ;
4988 unsigned long __cil_tmp175 ;
4989 unsigned long __cil_tmp176 ;
4990 unsigned long __cil_tmp177 ;
4991 unsigned long __cil_tmp178 ;
4992 unsigned char *__cil_tmp179 ;
4993 unsigned char *__cil_tmp180 ;
4994 unsigned long __cil_tmp181 ;
4995 unsigned long __cil_tmp182 ;
4996 unsigned long __cil_tmp183 ;
4997 unsigned long __cil_tmp184 ;
4998 unsigned char *__cil_tmp185 ;
4999 unsigned char *__cil_tmp186 ;
5000 unsigned char __cil_tmp187 ;
5001 int __cil_tmp188 ;
5002 unsigned long __cil_tmp189 ;
5003 unsigned long __cil_tmp190 ;
5004 unsigned char *__cil_tmp191 ;
5005 unsigned char *__cil_tmp192 ;
5006 unsigned char __cil_tmp193 ;
5007 int __cil_tmp194 ;
5008 unsigned long __cil_tmp195 ;
5009 unsigned long __cil_tmp196 ;
5010 unsigned char *__cil_tmp197 ;
5011 unsigned char *__cil_tmp198 ;
5012 unsigned char __cil_tmp199 ;
5013 int __cil_tmp200 ;
5014 unsigned long __cil_tmp201 ;
5015 unsigned long __cil_tmp202 ;
5016 unsigned char *__cil_tmp203 ;
5017 unsigned char *__cil_tmp204 ;
5018 int __cil_tmp205 ;
5019 unsigned long __cil_tmp206 ;
5020 unsigned long __cil_tmp207 ;
5021 unsigned char *__cil_tmp208 ;
5022 unsigned char *__cil_tmp209 ;
5023 unsigned char __cil_tmp210 ;
5024 int __cil_tmp211 ;
5025 int __cil_tmp212 ;
5026 unsigned long __cil_tmp213 ;
5027 unsigned long __cil_tmp214 ;
5028 unsigned char *__cil_tmp215 ;
5029 unsigned char *__cil_tmp216 ;
5030 unsigned char __cil_tmp217 ;
5031 int __cil_tmp218 ;
5032 unsigned long __cil_tmp219 ;
5033 unsigned long __cil_tmp220 ;
5034 unsigned char *__cil_tmp221 ;
5035 unsigned char *__cil_tmp222 ;
5036 int __cil_tmp223 ;
5037 unsigned long __cil_tmp224 ;
5038 unsigned long __cil_tmp225 ;
5039 unsigned char *__cil_tmp226 ;
5040 unsigned char *__cil_tmp227 ;
5041 unsigned char __cil_tmp228 ;
5042 int __cil_tmp229 ;
5043 int __cil_tmp230 ;
5044 unsigned long __cil_tmp231 ;
5045 unsigned long __cil_tmp232 ;
5046 int __cil_tmp233 ;
5047 unsigned long __cil_tmp234 ;
5048 unsigned long __cil_tmp235 ;
5049 unsigned char *__cil_tmp236 ;
5050 void const *__cil_tmp237 ;
5051 unsigned long __cil_tmp238 ;
5052 unsigned long __cil_tmp239 ;
5053 unsigned char *__cil_tmp240 ;
5054 void const *__cil_tmp241 ;
5055 int __cil_tmp242 ;
5056 unsigned long __cil_tmp243 ;
5057 unsigned long __cil_tmp244 ;
5058 int __cil_tmp245 ;
5059 int __cil_tmp246 ;
5060 unsigned long __cil_tmp247 ;
5061 unsigned long __cil_tmp248 ;
5062 int __cil_tmp249 ;
5063 unsigned long __cil_tmp250 ;
5064 unsigned long __cil_tmp251 ;
5065 unsigned char __cil_tmp252 ;
5066 int __cil_tmp253 ;
5067 unsigned long __cil_tmp254 ;
5068 unsigned long __cil_tmp255 ;
5069 void *__cil_tmp256 ;
5070 unsigned char *__cil_tmp257 ;
5071 unsigned int __cil_tmp258 ;
5072 unsigned long __cil_tmp259 ;
5073 unsigned long __cil_tmp260 ;
5074 unsigned long __cil_tmp261 ;
5075 unsigned long __cil_tmp262 ;
5076 unsigned long __cil_tmp263 ;
5077 unsigned long __cil_tmp264 ;
5078 unsigned long __cil_tmp265 ;
5079 unsigned char *__cil_tmp266 ;
5080 unsigned char *__cil_tmp267 ;
5081 unsigned long __cil_tmp268 ;
5082 unsigned long __cil_tmp269 ;
5083 unsigned char *__cil_tmp270 ;
5084 void *__cil_tmp271 ;
5085 unsigned long __cil_tmp272 ;
5086 unsigned long __cil_tmp273 ;
5087 unsigned char *__cil_tmp274 ;
5088 void const *__cil_tmp275 ;
5089 unsigned long __cil_tmp276 ;
5090 unsigned long __cil_tmp277 ;
5091 unsigned char *__cil_tmp278 ;
5092 void *__cil_tmp279 ;
5093 unsigned long __cil_tmp280 ;
5094 unsigned long __cil_tmp281 ;
5095 unsigned char *__cil_tmp282 ;
5096 void const *__cil_tmp283 ;
5097 unsigned long __cil_tmp284 ;
5098 unsigned long __cil_tmp285 ;
5099 void *__cil_tmp286 ;
5100 size_t __cil_tmp287 ;
5101 unsigned char *__cil_tmp288 ;
5102 unsigned char *__cil_tmp289 ;
5103 unsigned char *__cil_tmp290 ;
5104 unsigned char *__cil_tmp291 ;
5105 unsigned char *__cil_tmp292 ;
5106 unsigned char *__cil_tmp293 ;
5107 unsigned char *__cil_tmp294 ;
5108 unsigned char *__cil_tmp295 ;
5109 unsigned char *__cil_tmp296 ;
5110 unsigned long __cil_tmp297 ;
5111 unsigned long __cil_tmp298 ;
5112 unsigned char *__cil_tmp299 ;
5113 unsigned long __cil_tmp300 ;
5114 unsigned long __cil_tmp301 ;
5115 unsigned char *__cil_tmp302 ;
5116 unsigned long __cil_tmp303 ;
5117 unsigned long __cil_tmp304 ;
5118 unsigned char *__cil_tmp305 ;
5119 unsigned long __cil_tmp306 ;
5120 unsigned long __cil_tmp307 ;
5121 unsigned char *__cil_tmp308 ;
5122 unsigned long __cil_tmp309 ;
5123 unsigned long __cil_tmp310 ;
5124 unsigned char *__cil_tmp311 ;
5125 unsigned long __cil_tmp312 ;
5126 unsigned long __cil_tmp313 ;
5127 unsigned char *__cil_tmp314 ;
5128 unsigned long __cil_tmp315 ;
5129 unsigned long __cil_tmp316 ;
5130 unsigned long __cil_tmp317 ;
5131 unsigned long __cil_tmp318 ;
5132 int __cil_tmp319 ;
5133 unsigned long __cil_tmp320 ;
5134 unsigned long __cil_tmp321 ;
5135 int __cil_tmp322 ;
5136 unsigned long __cil_tmp323 ;
5137 unsigned long __cil_tmp324 ;
5138 unsigned char *__cil_tmp325 ;
5139 void *__cil_tmp326 ;
5140 unsigned long __cil_tmp327 ;
5141 unsigned long __cil_tmp328 ;
5142 unsigned char *__cil_tmp329 ;
5143 void const *__cil_tmp330 ;
5144 unsigned long __cil_tmp331 ;
5145 unsigned long __cil_tmp332 ;
5146 unsigned char *__cil_tmp333 ;
5147 void *__cil_tmp334 ;
5148 unsigned long __cil_tmp335 ;
5149 unsigned long __cil_tmp336 ;
5150 unsigned char *__cil_tmp337 ;
5151 void const *__cil_tmp338 ;
5152 unsigned long __cil_tmp339 ;
5153 unsigned long __cil_tmp340 ;
5154 unsigned char *__cil_tmp341 ;
5155 void *__cil_tmp342 ;
5156 unsigned long __cil_tmp343 ;
5157 unsigned long __cil_tmp344 ;
5158 unsigned char *__cil_tmp345 ;
5159 void const *__cil_tmp346 ;
5160 unsigned long __cil_tmp347 ;
5161 unsigned long __cil_tmp348 ;
5162 unsigned char *__cil_tmp349 ;
5163 void *__cil_tmp350 ;
5164 unsigned long __cil_tmp351 ;
5165 unsigned long __cil_tmp352 ;
5166 unsigned char *__cil_tmp353 ;
5167 void const *__cil_tmp354 ;
5168 unsigned long __cil_tmp355 ;
5169 unsigned long __cil_tmp356 ;
5170 unsigned char *__cil_tmp357 ;
5171 unsigned char *__cil_tmp358 ;
5172 unsigned char __cil_tmp359 ;
5173 int __cil_tmp360 ;
5174 unsigned long __cil_tmp361 ;
5175 unsigned long __cil_tmp362 ;
5176
5177 {
5178 {
5179#line 88
5180 __cil_tmp20 = (unsigned long )srb;
5181#line 88
5182 __cil_tmp21 = __cil_tmp20 + 80;
5183#line 88
5184 __cil_tmp22 = *((unsigned char **)__cil_tmp21);
5185#line 88
5186 __cil_tmp23 = __cil_tmp22 + 0;
5187#line 88
5188 __cil_tmp24 = *__cil_tmp23;
5189#line 88
5190 __cil_tmp25 = (int )__cil_tmp24;
5191#line 88
5192 if (__cil_tmp25 != 133) {
5193 {
5194#line 88
5195 __cil_tmp26 = (unsigned long )srb;
5196#line 88
5197 __cil_tmp27 = __cil_tmp26 + 80;
5198#line 88
5199 __cil_tmp28 = *((unsigned char **)__cil_tmp27);
5200#line 88
5201 __cil_tmp29 = __cil_tmp28 + 0;
5202#line 88
5203 __cil_tmp30 = *__cil_tmp29;
5204#line 88
5205 __cil_tmp31 = (int )__cil_tmp30;
5206#line 88
5207 if (__cil_tmp31 != 161) {
5208#line 88
5209 tmp___7 = 1;
5210 } else {
5211#line 88
5212 tmp___7 = 0;
5213 }
5214 }
5215 } else {
5216#line 88
5217 tmp___7 = 0;
5218 }
5219 }
5220 {
5221#line 88
5222 __cil_tmp32 = (long )tmp___7;
5223#line 88
5224 tmp___8 = __builtin_expect(__cil_tmp32, 1L);
5225 }
5226#line 88
5227 if (tmp___8) {
5228 {
5229#line 89
5230 usb_stor_transparent_scsi_command(srb, us);
5231 }
5232#line 90
5233 return;
5234 } else {
5235
5236 }
5237#line 93
5238 __len = 16UL;
5239#line 93
5240 if (__len >= 64UL) {
5241 {
5242#line 93
5243 __cil_tmp33 = 0 * 1UL;
5244#line 93
5245 __cil_tmp34 = (unsigned long )(save_cmnd) + __cil_tmp33;
5246#line 93
5247 __cil_tmp35 = (unsigned char *)__cil_tmp34;
5248#line 93
5249 __cil_tmp36 = (void *)__cil_tmp35;
5250#line 93
5251 __cil_tmp37 = (unsigned long )srb;
5252#line 93
5253 __cil_tmp38 = __cil_tmp37 + 80;
5254#line 93
5255 __cil_tmp39 = *((unsigned char **)__cil_tmp38);
5256#line 93
5257 __cil_tmp40 = (void const *)__cil_tmp39;
5258#line 93
5259 __ret = __memcpy(__cil_tmp36, __cil_tmp40, __len);
5260 }
5261 } else {
5262 {
5263#line 93
5264 __cil_tmp41 = 0 * 1UL;
5265#line 93
5266 __cil_tmp42 = (unsigned long )(save_cmnd) + __cil_tmp41;
5267#line 93
5268 __cil_tmp43 = (unsigned char *)__cil_tmp42;
5269#line 93
5270 __cil_tmp44 = (void *)__cil_tmp43;
5271#line 93
5272 __cil_tmp45 = (unsigned long )srb;
5273#line 93
5274 __cil_tmp46 = __cil_tmp45 + 80;
5275#line 93
5276 __cil_tmp47 = *((unsigned char **)__cil_tmp46);
5277#line 93
5278 __cil_tmp48 = (void const *)__cil_tmp47;
5279#line 93
5280 __ret = __builtin_memcpy(__cil_tmp44, __cil_tmp48, __len);
5281 }
5282 }
5283 {
5284#line 94
5285 __cil_tmp49 = (unsigned long )srb;
5286#line 94
5287 __cil_tmp50 = __cil_tmp49 + 80;
5288#line 94
5289 __cil_tmp51 = *((unsigned char **)__cil_tmp50);
5290#line 94
5291 __cil_tmp52 = (void *)__cil_tmp51;
5292#line 94
5293 __cil_tmp53 = (size_t )16;
5294#line 94
5295 memset(__cil_tmp52, 0, __cil_tmp53);
5296 }
5297 {
5298#line 97
5299 __cil_tmp54 = 1 * 1UL;
5300#line 97
5301 __cil_tmp55 = (unsigned long )(save_cmnd) + __cil_tmp54;
5302#line 97
5303 __cil_tmp56 = *((unsigned char *)__cil_tmp55);
5304#line 97
5305 __cil_tmp57 = (int )__cil_tmp56;
5306#line 97
5307 if (__cil_tmp57 >> 5) {
5308#line 98
5309 goto invalid_fld;
5310 } else {
5311
5312 }
5313 }
5314 {
5315#line 100
5316 __cil_tmp58 = 1 * 1UL;
5317#line 100
5318 __cil_tmp59 = (unsigned long )(save_cmnd) + __cil_tmp58;
5319#line 100
5320 __cil_tmp60 = *((unsigned char *)__cil_tmp59);
5321#line 100
5322 __cil_tmp61 = (int )__cil_tmp60;
5323#line 100
5324 __cil_tmp62 = __cil_tmp61 >> 1;
5325#line 101
5326 if ((__cil_tmp62 & 15) == 3) {
5327#line 101
5328 goto case_3;
5329 } else
5330#line 102
5331 if ((__cil_tmp62 & 15) == 4) {
5332#line 102
5333 goto case_3;
5334 } else
5335#line 103
5336 if ((__cil_tmp62 & 15) == 5) {
5337#line 103
5338 goto case_3;
5339 } else {
5340 {
5341#line 105
5342 goto switch_default;
5343#line 100
5344 if (0) {
5345 case_3:
5346 case_4:
5347 case_5:
5348#line 104
5349 goto switch_break;
5350 switch_default:
5351#line 106
5352 goto invalid_fld;
5353 } else {
5354 switch_break: ;
5355 }
5356 }
5357 }
5358 }
5359#line 110
5360 __cil_tmp63 = (unsigned long )srb;
5361#line 110
5362 __cil_tmp64 = __cil_tmp63 + 74;
5363#line 110
5364 *((unsigned short *)__cil_tmp64) = (unsigned short)16;
5365#line 112
5366 __cil_tmp65 = (unsigned long )srb;
5367#line 112
5368 __cil_tmp66 = __cil_tmp65 + 80;
5369#line 112
5370 __cil_tmp67 = *((unsigned char **)__cil_tmp66);
5371#line 112
5372 __cil_tmp68 = __cil_tmp67 + 0;
5373#line 112
5374 *__cil_tmp68 = (unsigned char)36;
5375#line 115
5376 __cil_tmp69 = (unsigned long )srb;
5377#line 115
5378 __cil_tmp70 = __cil_tmp69 + 80;
5379#line 115
5380 __cil_tmp71 = *((unsigned char **)__cil_tmp70);
5381#line 115
5382 __cil_tmp72 = __cil_tmp71 + 1;
5383#line 115
5384 *__cil_tmp72 = (unsigned char)36;
5385#line 117
5386 __cil_tmp73 = (unsigned long )srb;
5387#line 117
5388 __cil_tmp74 = __cil_tmp73 + 80;
5389#line 117
5390 __cil_tmp75 = *((unsigned char **)__cil_tmp74);
5391#line 117
5392 __cil_tmp76 = __cil_tmp75 + 3;
5393#line 117
5394 *__cil_tmp76 = (unsigned char)254;
5395#line 119
5396 __cil_tmp77 = (unsigned long )srb;
5397#line 119
5398 __cil_tmp78 = __cil_tmp77 + 80;
5399#line 119
5400 __cil_tmp79 = *((unsigned char **)__cil_tmp78);
5401#line 119
5402 __cil_tmp80 = __cil_tmp79 + 4;
5403#line 119
5404 *__cil_tmp80 = (unsigned char)1;
5405 {
5406#line 121
5407 __cil_tmp81 = 0 * 1UL;
5408#line 121
5409 __cil_tmp82 = (unsigned long )(save_cmnd) + __cil_tmp81;
5410#line 121
5411 __cil_tmp83 = *((unsigned char *)__cil_tmp82);
5412#line 121
5413 __cil_tmp84 = (int )__cil_tmp83;
5414#line 121
5415 if (__cil_tmp84 == 133) {
5416#line 122
5417 __cil_tmp85 = (unsigned long )srb;
5418#line 122
5419 __cil_tmp86 = __cil_tmp85 + 80;
5420#line 122
5421 __cil_tmp87 = *((unsigned char **)__cil_tmp86);
5422#line 122
5423 __cil_tmp88 = __cil_tmp87 + 6;
5424#line 122
5425 __cil_tmp89 = 4 * 1UL;
5426#line 122
5427 __cil_tmp90 = (unsigned long )(save_cmnd) + __cil_tmp89;
5428#line 122
5429 *__cil_tmp88 = *((unsigned char *)__cil_tmp90);
5430#line 123
5431 __cil_tmp91 = (unsigned long )srb;
5432#line 123
5433 __cil_tmp92 = __cil_tmp91 + 80;
5434#line 123
5435 __cil_tmp93 = *((unsigned char **)__cil_tmp92);
5436#line 123
5437 __cil_tmp94 = __cil_tmp93 + 7;
5438#line 123
5439 __cil_tmp95 = 6 * 1UL;
5440#line 123
5441 __cil_tmp96 = (unsigned long )(save_cmnd) + __cil_tmp95;
5442#line 123
5443 *__cil_tmp94 = *((unsigned char *)__cil_tmp96);
5444#line 124
5445 __cil_tmp97 = (unsigned long )srb;
5446#line 124
5447 __cil_tmp98 = __cil_tmp97 + 80;
5448#line 124
5449 __cil_tmp99 = *((unsigned char **)__cil_tmp98);
5450#line 124
5451 __cil_tmp100 = __cil_tmp99 + 8;
5452#line 124
5453 __cil_tmp101 = 8 * 1UL;
5454#line 124
5455 __cil_tmp102 = (unsigned long )(save_cmnd) + __cil_tmp101;
5456#line 124
5457 *__cil_tmp100 = *((unsigned char *)__cil_tmp102);
5458#line 125
5459 __cil_tmp103 = (unsigned long )srb;
5460#line 125
5461 __cil_tmp104 = __cil_tmp103 + 80;
5462#line 125
5463 __cil_tmp105 = *((unsigned char **)__cil_tmp104);
5464#line 125
5465 __cil_tmp106 = __cil_tmp105 + 9;
5466#line 125
5467 __cil_tmp107 = 10 * 1UL;
5468#line 125
5469 __cil_tmp108 = (unsigned long )(save_cmnd) + __cil_tmp107;
5470#line 125
5471 *__cil_tmp106 = *((unsigned char *)__cil_tmp108);
5472#line 126
5473 __cil_tmp109 = (unsigned long )srb;
5474#line 126
5475 __cil_tmp110 = __cil_tmp109 + 80;
5476#line 126
5477 __cil_tmp111 = *((unsigned char **)__cil_tmp110);
5478#line 126
5479 __cil_tmp112 = __cil_tmp111 + 10;
5480#line 126
5481 __cil_tmp113 = 12 * 1UL;
5482#line 126
5483 __cil_tmp114 = (unsigned long )(save_cmnd) + __cil_tmp113;
5484#line 126
5485 *__cil_tmp112 = *((unsigned char *)__cil_tmp114);
5486#line 127
5487 __cil_tmp115 = (unsigned long )srb;
5488#line 127
5489 __cil_tmp116 = __cil_tmp115 + 80;
5490#line 127
5491 __cil_tmp117 = *((unsigned char **)__cil_tmp116);
5492#line 127
5493 __cil_tmp118 = __cil_tmp117 + 11;
5494#line 127
5495 __cil_tmp119 = 13 * 1UL;
5496#line 127
5497 __cil_tmp120 = (unsigned long )(save_cmnd) + __cil_tmp119;
5498#line 127
5499 *__cil_tmp118 = *((unsigned char *)__cil_tmp120);
5500#line 128
5501 __cil_tmp121 = (unsigned long )srb;
5502#line 128
5503 __cil_tmp122 = __cil_tmp121 + 80;
5504#line 128
5505 __cil_tmp123 = *((unsigned char **)__cil_tmp122);
5506#line 128
5507 __cil_tmp124 = __cil_tmp123 + 12;
5508#line 128
5509 __cil_tmp125 = 14 * 1UL;
5510#line 128
5511 __cil_tmp126 = (unsigned long )(save_cmnd) + __cil_tmp125;
5512#line 128
5513 *__cil_tmp124 = *((unsigned char *)__cil_tmp126);
5514 {
5515#line 130
5516 __cil_tmp127 = 1 * 1UL;
5517#line 130
5518 __cil_tmp128 = (unsigned long )(save_cmnd) + __cil_tmp127;
5519#line 130
5520 __cil_tmp129 = *((unsigned char *)__cil_tmp128);
5521#line 130
5522 __cil_tmp130 = (int )__cil_tmp129;
5523#line 130
5524 if (__cil_tmp130 & 1) {
5525 {
5526#line 132
5527 __cil_tmp131 = 3 * 1UL;
5528#line 132
5529 __cil_tmp132 = (unsigned long )(save_cmnd) + __cil_tmp131;
5530#line 132
5531 if (*((unsigned char *)__cil_tmp132)) {
5532#line 134
5533 goto invalid_fld;
5534 } else {
5535 {
5536#line 132
5537 __cil_tmp133 = 5 * 1UL;
5538#line 132
5539 __cil_tmp134 = (unsigned long )(save_cmnd) + __cil_tmp133;
5540#line 132
5541 if (*((unsigned char *)__cil_tmp134)) {
5542#line 134
5543 goto invalid_fld;
5544 } else {
5545 {
5546#line 132
5547 __cil_tmp135 = 7 * 1UL;
5548#line 132
5549 __cil_tmp136 = (unsigned long )(save_cmnd) + __cil_tmp135;
5550#line 132
5551 if (*((unsigned char *)__cil_tmp136)) {
5552#line 134
5553 goto invalid_fld;
5554 } else {
5555 {
5556#line 132
5557 __cil_tmp137 = 9 * 1UL;
5558#line 132
5559 __cil_tmp138 = (unsigned long )(save_cmnd) + __cil_tmp137;
5560#line 132
5561 if (*((unsigned char *)__cil_tmp138)) {
5562#line 134
5563 goto invalid_fld;
5564 } else {
5565 {
5566#line 132
5567 __cil_tmp139 = 11 * 1UL;
5568#line 132
5569 __cil_tmp140 = (unsigned long )(save_cmnd) + __cil_tmp139;
5570#line 132
5571 if (*((unsigned char *)__cil_tmp140)) {
5572#line 134
5573 goto invalid_fld;
5574 } else {
5575
5576 }
5577 }
5578 }
5579 }
5580 }
5581 }
5582 }
5583 }
5584 }
5585 }
5586 } else {
5587
5588 }
5589 }
5590 } else {
5591#line 138
5592 __cil_tmp141 = (unsigned long )srb;
5593#line 138
5594 __cil_tmp142 = __cil_tmp141 + 80;
5595#line 138
5596 __cil_tmp143 = *((unsigned char **)__cil_tmp142);
5597#line 138
5598 __cil_tmp144 = __cil_tmp143 + 6;
5599#line 138
5600 __cil_tmp145 = 3 * 1UL;
5601#line 138
5602 __cil_tmp146 = (unsigned long )(save_cmnd) + __cil_tmp145;
5603#line 138
5604 *__cil_tmp144 = *((unsigned char *)__cil_tmp146);
5605#line 139
5606 __cil_tmp147 = (unsigned long )srb;
5607#line 139
5608 __cil_tmp148 = __cil_tmp147 + 80;
5609#line 139
5610 __cil_tmp149 = *((unsigned char **)__cil_tmp148);
5611#line 139
5612 __cil_tmp150 = __cil_tmp149 + 7;
5613#line 139
5614 __cil_tmp151 = 4 * 1UL;
5615#line 139
5616 __cil_tmp152 = (unsigned long )(save_cmnd) + __cil_tmp151;
5617#line 139
5618 *__cil_tmp150 = *((unsigned char *)__cil_tmp152);
5619#line 140
5620 __cil_tmp153 = (unsigned long )srb;
5621#line 140
5622 __cil_tmp154 = __cil_tmp153 + 80;
5623#line 140
5624 __cil_tmp155 = *((unsigned char **)__cil_tmp154);
5625#line 140
5626 __cil_tmp156 = __cil_tmp155 + 8;
5627#line 140
5628 __cil_tmp157 = 5 * 1UL;
5629#line 140
5630 __cil_tmp158 = (unsigned long )(save_cmnd) + __cil_tmp157;
5631#line 140
5632 *__cil_tmp156 = *((unsigned char *)__cil_tmp158);
5633#line 141
5634 __cil_tmp159 = (unsigned long )srb;
5635#line 141
5636 __cil_tmp160 = __cil_tmp159 + 80;
5637#line 141
5638 __cil_tmp161 = *((unsigned char **)__cil_tmp160);
5639#line 141
5640 __cil_tmp162 = __cil_tmp161 + 9;
5641#line 141
5642 __cil_tmp163 = 6 * 1UL;
5643#line 141
5644 __cil_tmp164 = (unsigned long )(save_cmnd) + __cil_tmp163;
5645#line 141
5646 *__cil_tmp162 = *((unsigned char *)__cil_tmp164);
5647#line 142
5648 __cil_tmp165 = (unsigned long )srb;
5649#line 142
5650 __cil_tmp166 = __cil_tmp165 + 80;
5651#line 142
5652 __cil_tmp167 = *((unsigned char **)__cil_tmp166);
5653#line 142
5654 __cil_tmp168 = __cil_tmp167 + 10;
5655#line 142
5656 __cil_tmp169 = 7 * 1UL;
5657#line 142
5658 __cil_tmp170 = (unsigned long )(save_cmnd) + __cil_tmp169;
5659#line 142
5660 *__cil_tmp168 = *((unsigned char *)__cil_tmp170);
5661#line 143
5662 __cil_tmp171 = (unsigned long )srb;
5663#line 143
5664 __cil_tmp172 = __cil_tmp171 + 80;
5665#line 143
5666 __cil_tmp173 = *((unsigned char **)__cil_tmp172);
5667#line 143
5668 __cil_tmp174 = __cil_tmp173 + 11;
5669#line 143
5670 __cil_tmp175 = 8 * 1UL;
5671#line 143
5672 __cil_tmp176 = (unsigned long )(save_cmnd) + __cil_tmp175;
5673#line 143
5674 *__cil_tmp174 = *((unsigned char *)__cil_tmp176);
5675#line 144
5676 __cil_tmp177 = (unsigned long )srb;
5677#line 144
5678 __cil_tmp178 = __cil_tmp177 + 80;
5679#line 144
5680 __cil_tmp179 = *((unsigned char **)__cil_tmp178);
5681#line 144
5682 __cil_tmp180 = __cil_tmp179 + 12;
5683#line 144
5684 __cil_tmp181 = 9 * 1UL;
5685#line 144
5686 __cil_tmp182 = (unsigned long )(save_cmnd) + __cil_tmp181;
5687#line 144
5688 *__cil_tmp180 = *((unsigned char *)__cil_tmp182);
5689 }
5690 }
5691 {
5692#line 148
5693 __cil_tmp183 = (unsigned long )srb;
5694#line 148
5695 __cil_tmp184 = __cil_tmp183 + 80;
5696#line 148
5697 __cil_tmp185 = *((unsigned char **)__cil_tmp184);
5698#line 148
5699 __cil_tmp186 = __cil_tmp185 + 12;
5700#line 148
5701 __cil_tmp187 = *__cil_tmp186;
5702#line 148
5703 __cil_tmp188 = (int )__cil_tmp187;
5704#line 148
5705 if (__cil_tmp188 == 239) {
5706 {
5707#line 148
5708 __cil_tmp189 = (unsigned long )srb;
5709#line 148
5710 __cil_tmp190 = __cil_tmp189 + 80;
5711#line 148
5712 __cil_tmp191 = *((unsigned char **)__cil_tmp190);
5713#line 148
5714 __cil_tmp192 = __cil_tmp191 + 6;
5715#line 148
5716 __cil_tmp193 = *__cil_tmp192;
5717#line 148
5718 __cil_tmp194 = (int )__cil_tmp193;
5719#line 148
5720 if (__cil_tmp194 == 3) {
5721#line 150
5722 goto invalid_fld;
5723 } else {
5724
5725 }
5726 }
5727 } else {
5728
5729 }
5730 }
5731 {
5732#line 152
5733 __cil_tmp195 = (unsigned long )srb;
5734#line 152
5735 __cil_tmp196 = __cil_tmp195 + 80;
5736#line 152
5737 __cil_tmp197 = *((unsigned char **)__cil_tmp196);
5738#line 152
5739 __cil_tmp198 = __cil_tmp197 + 12;
5740#line 152
5741 __cil_tmp199 = *__cil_tmp198;
5742#line 152
5743 __cil_tmp200 = (int )__cil_tmp199;
5744#line 152
5745 if (__cil_tmp200 == 236) {
5746#line 153
5747 __cil_tmp201 = (unsigned long )srb;
5748#line 153
5749 __cil_tmp202 = __cil_tmp201 + 80;
5750#line 153
5751 __cil_tmp203 = *((unsigned char **)__cil_tmp202);
5752#line 153
5753 __cil_tmp204 = __cil_tmp203 + 2;
5754#line 153
5755 __cil_tmp205 = 1 << 7;
5756#line 153
5757 __cil_tmp206 = (unsigned long )srb;
5758#line 153
5759 __cil_tmp207 = __cil_tmp206 + 80;
5760#line 153
5761 __cil_tmp208 = *((unsigned char **)__cil_tmp207);
5762#line 153
5763 __cil_tmp209 = __cil_tmp208 + 2;
5764#line 153
5765 __cil_tmp210 = *__cil_tmp209;
5766#line 153
5767 __cil_tmp211 = (int )__cil_tmp210;
5768#line 153
5769 __cil_tmp212 = __cil_tmp211 | __cil_tmp205;
5770#line 153
5771 *__cil_tmp204 = (unsigned char )__cil_tmp212;
5772 } else {
5773 {
5774#line 152
5775 __cil_tmp213 = (unsigned long )srb;
5776#line 152
5777 __cil_tmp214 = __cil_tmp213 + 80;
5778#line 152
5779 __cil_tmp215 = *((unsigned char **)__cil_tmp214);
5780#line 152
5781 __cil_tmp216 = __cil_tmp215 + 12;
5782#line 152
5783 __cil_tmp217 = *__cil_tmp216;
5784#line 152
5785 __cil_tmp218 = (int )__cil_tmp217;
5786#line 152
5787 if (__cil_tmp218 == 161) {
5788#line 153
5789 __cil_tmp219 = (unsigned long )srb;
5790#line 153
5791 __cil_tmp220 = __cil_tmp219 + 80;
5792#line 153
5793 __cil_tmp221 = *((unsigned char **)__cil_tmp220);
5794#line 153
5795 __cil_tmp222 = __cil_tmp221 + 2;
5796#line 153
5797 __cil_tmp223 = 1 << 7;
5798#line 153
5799 __cil_tmp224 = (unsigned long )srb;
5800#line 153
5801 __cil_tmp225 = __cil_tmp224 + 80;
5802#line 153
5803 __cil_tmp226 = *((unsigned char **)__cil_tmp225);
5804#line 153
5805 __cil_tmp227 = __cil_tmp226 + 2;
5806#line 153
5807 __cil_tmp228 = *__cil_tmp227;
5808#line 153
5809 __cil_tmp229 = (int )__cil_tmp228;
5810#line 153
5811 __cil_tmp230 = __cil_tmp229 | __cil_tmp223;
5812#line 153
5813 *__cil_tmp222 = (unsigned char )__cil_tmp230;
5814 } else {
5815
5816 }
5817 }
5818 }
5819 }
5820 {
5821#line 156
5822 usb_stor_transparent_scsi_command(srb, us);
5823 }
5824 {
5825#line 160
5826 __cil_tmp231 = (unsigned long )srb;
5827#line 160
5828 __cil_tmp232 = __cil_tmp231 + 224;
5829#line 160
5830 __cil_tmp233 = *((int *)__cil_tmp232);
5831#line 160
5832 if (__cil_tmp233 == 2) {
5833 {
5834#line 160
5835 __cil_tmp234 = (unsigned long )srb;
5836#line 160
5837 __cil_tmp235 = __cil_tmp234 + 136;
5838#line 160
5839 __cil_tmp236 = *((unsigned char **)__cil_tmp235);
5840#line 160
5841 __cil_tmp237 = (void const *)__cil_tmp236;
5842#line 160
5843 __cil_tmp238 = 0 * 1UL;
5844#line 160
5845 __cil_tmp239 = (unsigned long )(usb_stor_sense_invalidCDB) + __cil_tmp238;
5846#line 160
5847 __cil_tmp240 = (unsigned char *)__cil_tmp239;
5848#line 160
5849 __cil_tmp241 = (void const *)__cil_tmp240;
5850#line 160
5851 tmp___9 = memcmp(__cil_tmp237, __cil_tmp241, 18UL);
5852 }
5853#line 160
5854 if (tmp___9 == 0) {
5855 {
5856#line 163
5857 printk("<7>usb-storage: cypress atacb not supported ???\n");
5858 }
5859#line 164
5860 goto end;
5861 } else {
5862
5863 }
5864 } else {
5865
5866 }
5867 }
5868 {
5869#line 170
5870 __cil_tmp242 = 7 << 16;
5871#line 170
5872 __cil_tmp243 = (unsigned long )srb;
5873#line 170
5874 __cil_tmp244 = __cil_tmp243 + 224;
5875#line 170
5876 __cil_tmp245 = *((int *)__cil_tmp244);
5877#line 170
5878 if (__cil_tmp245 != __cil_tmp242) {
5879 {
5880#line 170
5881 __cil_tmp246 = 5 << 16;
5882#line 170
5883 __cil_tmp247 = (unsigned long )srb;
5884#line 170
5885 __cil_tmp248 = __cil_tmp247 + 224;
5886#line 170
5887 __cil_tmp249 = *((int *)__cil_tmp248);
5888#line 170
5889 if (__cil_tmp249 != __cil_tmp246) {
5890 {
5891#line 170
5892 __cil_tmp250 = 2 * 1UL;
5893#line 170
5894 __cil_tmp251 = (unsigned long )(save_cmnd) + __cil_tmp250;
5895#line 170
5896 __cil_tmp252 = *((unsigned char *)__cil_tmp251);
5897#line 170
5898 __cil_tmp253 = (int )__cil_tmp252;
5899#line 170
5900 if (__cil_tmp253 & 32) {
5901 {
5902#line 175
5903 __cil_tmp254 = (unsigned long )srb;
5904#line 175
5905 __cil_tmp255 = __cil_tmp254 + 136;
5906#line 175
5907 sb = *((unsigned char **)__cil_tmp255);
5908#line 176
5909 desc = sb + 8;
5910#line 181
5911 __cil_tmp256 = (void *)0;
5912#line 181
5913 __cil_tmp257 = (unsigned char *)__cil_tmp256;
5914#line 181
5915 __cil_tmp258 = (unsigned int )8UL;
5916#line 181
5917 scsi_eh_prep_cmnd(srb, & ses, __cil_tmp257, 0, __cil_tmp258);
5918#line 187
5919 __cil_tmp259 = (unsigned long )srb;
5920#line 187
5921 __cil_tmp260 = __cil_tmp259 + 74;
5922#line 187
5923 *((unsigned short *)__cil_tmp260) = (unsigned short)16;
5924#line 188
5925 __cil_tmp261 = (unsigned long )srb;
5926#line 188
5927 __cil_tmp262 = __cil_tmp261 + 80;
5928#line 188
5929 __cil_tmp263 = (unsigned long )(& ses) + 16;
5930#line 188
5931 *((unsigned char **)__cil_tmp262) = *((unsigned char **)__cil_tmp263);
5932#line 189
5933 __cil_tmp264 = (unsigned long )srb;
5934#line 189
5935 __cil_tmp265 = __cil_tmp264 + 80;
5936#line 189
5937 __cil_tmp266 = *((unsigned char **)__cil_tmp265);
5938#line 189
5939 __cil_tmp267 = __cil_tmp266 + 2;
5940#line 189
5941 *__cil_tmp267 = (unsigned char)1;
5942#line 191
5943 usb_stor_transparent_scsi_command(srb, us);
5944#line 192
5945 __len___0 = 8UL;
5946 }
5947#line 192
5948 if (__len___0 >= 64UL) {
5949 {
5950#line 192
5951 __cil_tmp268 = 0 * 1UL;
5952#line 192
5953 __cil_tmp269 = (unsigned long )(regs) + __cil_tmp268;
5954#line 192
5955 __cil_tmp270 = (unsigned char *)__cil_tmp269;
5956#line 192
5957 __cil_tmp271 = (void *)__cil_tmp270;
5958#line 192
5959 __cil_tmp272 = (unsigned long )srb;
5960#line 192
5961 __cil_tmp273 = __cil_tmp272 + 136;
5962#line 192
5963 __cil_tmp274 = *((unsigned char **)__cil_tmp273);
5964#line 192
5965 __cil_tmp275 = (void const *)__cil_tmp274;
5966#line 192
5967 __ret___0 = __memcpy(__cil_tmp271, __cil_tmp275, __len___0);
5968 }
5969 } else {
5970 {
5971#line 192
5972 __cil_tmp276 = 0 * 1UL;
5973#line 192
5974 __cil_tmp277 = (unsigned long )(regs) + __cil_tmp276;
5975#line 192
5976 __cil_tmp278 = (unsigned char *)__cil_tmp277;
5977#line 192
5978 __cil_tmp279 = (void *)__cil_tmp278;
5979#line 192
5980 __cil_tmp280 = (unsigned long )srb;
5981#line 192
5982 __cil_tmp281 = __cil_tmp280 + 136;
5983#line 192
5984 __cil_tmp282 = *((unsigned char **)__cil_tmp281);
5985#line 192
5986 __cil_tmp283 = (void const *)__cil_tmp282;
5987#line 192
5988 __ret___0 = __builtin_memcpy(__cil_tmp279, __cil_tmp283, __len___0);
5989 }
5990 }
5991 {
5992#line 193
5993 __cil_tmp284 = (unsigned long )srb;
5994#line 193
5995 __cil_tmp285 = __cil_tmp284 + 224;
5996#line 193
5997 tmp_result = *((int *)__cil_tmp285);
5998#line 194
5999 scsi_eh_restore_cmnd(srb, & ses);
6000 }
6001#line 196
6002 if (tmp_result != 0) {
6003#line 197
6004 goto invalid_fld;
6005 } else {
6006
6007 }
6008 {
6009#line 200
6010 __cil_tmp286 = (void *)sb;
6011#line 200
6012 __cil_tmp287 = (size_t )96;
6013#line 200
6014 memset(__cil_tmp286, 0, __cil_tmp287);
6015#line 203
6016 __cil_tmp288 = sb + 1;
6017#line 203
6018 *__cil_tmp288 = (unsigned char)1;
6019#line 204
6020 __cil_tmp289 = sb + 2;
6021#line 204
6022 *__cil_tmp289 = (unsigned char)0;
6023#line 205
6024 __cil_tmp290 = sb + 3;
6025#line 205
6026 *__cil_tmp290 = (unsigned char)29;
6027#line 214
6028 __cil_tmp291 = sb + 0;
6029#line 214
6030 *__cil_tmp291 = (unsigned char)114;
6031#line 215
6032 __cil_tmp292 = desc + 0;
6033#line 215
6034 *__cil_tmp292 = (unsigned char)9;
6035#line 218
6036 __cil_tmp293 = sb + 7;
6037#line 218
6038 *__cil_tmp293 = (unsigned char)14;
6039#line 219
6040 __cil_tmp294 = desc + 1;
6041#line 219
6042 *__cil_tmp294 = (unsigned char)12;
6043#line 222
6044 __cil_tmp295 = desc + 2;
6045#line 222
6046 *__cil_tmp295 = (unsigned char)0;
6047#line 223
6048 __cil_tmp296 = desc + 3;
6049#line 223
6050 __cil_tmp297 = 1 * 1UL;
6051#line 223
6052 __cil_tmp298 = (unsigned long )(regs) + __cil_tmp297;
6053#line 223
6054 *__cil_tmp296 = *((unsigned char *)__cil_tmp298);
6055#line 224
6056 __cil_tmp299 = desc + 5;
6057#line 224
6058 __cil_tmp300 = 2 * 1UL;
6059#line 224
6060 __cil_tmp301 = (unsigned long )(regs) + __cil_tmp300;
6061#line 224
6062 *__cil_tmp299 = *((unsigned char *)__cil_tmp301);
6063#line 225
6064 __cil_tmp302 = desc + 7;
6065#line 225
6066 __cil_tmp303 = 3 * 1UL;
6067#line 225
6068 __cil_tmp304 = (unsigned long )(regs) + __cil_tmp303;
6069#line 225
6070 *__cil_tmp302 = *((unsigned char *)__cil_tmp304);
6071#line 226
6072 __cil_tmp305 = desc + 9;
6073#line 226
6074 __cil_tmp306 = 4 * 1UL;
6075#line 226
6076 __cil_tmp307 = (unsigned long )(regs) + __cil_tmp306;
6077#line 226
6078 *__cil_tmp305 = *((unsigned char *)__cil_tmp307);
6079#line 227
6080 __cil_tmp308 = desc + 11;
6081#line 227
6082 __cil_tmp309 = 5 * 1UL;
6083#line 227
6084 __cil_tmp310 = (unsigned long )(regs) + __cil_tmp309;
6085#line 227
6086 *__cil_tmp308 = *((unsigned char *)__cil_tmp310);
6087#line 228
6088 __cil_tmp311 = desc + 12;
6089#line 228
6090 __cil_tmp312 = 6 * 1UL;
6091#line 228
6092 __cil_tmp313 = (unsigned long )(regs) + __cil_tmp312;
6093#line 228
6094 *__cil_tmp311 = *((unsigned char *)__cil_tmp313);
6095#line 229
6096 __cil_tmp314 = desc + 13;
6097#line 229
6098 __cil_tmp315 = 7 * 1UL;
6099#line 229
6100 __cil_tmp316 = (unsigned long )(regs) + __cil_tmp315;
6101#line 229
6102 *__cil_tmp314 = *((unsigned char *)__cil_tmp316);
6103#line 231
6104 __cil_tmp317 = (unsigned long )srb;
6105#line 231
6106 __cil_tmp318 = __cil_tmp317 + 224;
6107#line 231
6108 __cil_tmp319 = 8 << 24;
6109#line 231
6110 *((int *)__cil_tmp318) = __cil_tmp319 | 2;
6111 }
6112 } else {
6113
6114 }
6115 }
6116 } else {
6117
6118 }
6119 }
6120 } else {
6121
6122 }
6123 }
6124#line 233
6125 goto end;
6126 invalid_fld:
6127#line 235
6128 __cil_tmp320 = (unsigned long )srb;
6129#line 235
6130 __cil_tmp321 = __cil_tmp320 + 224;
6131#line 235
6132 __cil_tmp322 = 8 << 24;
6133#line 235
6134 *((int *)__cil_tmp321) = __cil_tmp322 | 2;
6135#line 237
6136 __len___1 = 18UL;
6137#line 237
6138 if (__len___1 >= 64UL) {
6139 {
6140#line 237
6141 __cil_tmp323 = (unsigned long )srb;
6142#line 237
6143 __cil_tmp324 = __cil_tmp323 + 136;
6144#line 237
6145 __cil_tmp325 = *((unsigned char **)__cil_tmp324);
6146#line 237
6147 __cil_tmp326 = (void *)__cil_tmp325;
6148#line 237
6149 __cil_tmp327 = 0 * 1UL;
6150#line 237
6151 __cil_tmp328 = (unsigned long )(usb_stor_sense_invalidCDB) + __cil_tmp327;
6152#line 237
6153 __cil_tmp329 = (unsigned char *)__cil_tmp328;
6154#line 237
6155 __cil_tmp330 = (void const *)__cil_tmp329;
6156#line 237
6157 __ret___1 = __memcpy(__cil_tmp326, __cil_tmp330, __len___1);
6158 }
6159 } else {
6160 {
6161#line 237
6162 __cil_tmp331 = (unsigned long )srb;
6163#line 237
6164 __cil_tmp332 = __cil_tmp331 + 136;
6165#line 237
6166 __cil_tmp333 = *((unsigned char **)__cil_tmp332);
6167#line 237
6168 __cil_tmp334 = (void *)__cil_tmp333;
6169#line 237
6170 __cil_tmp335 = 0 * 1UL;
6171#line 237
6172 __cil_tmp336 = (unsigned long )(usb_stor_sense_invalidCDB) + __cil_tmp335;
6173#line 237
6174 __cil_tmp337 = (unsigned char *)__cil_tmp336;
6175#line 237
6176 __cil_tmp338 = (void const *)__cil_tmp337;
6177#line 237
6178 __ret___1 = __builtin_memcpy(__cil_tmp334, __cil_tmp338, __len___1);
6179 }
6180 }
6181 end:
6182#line 241
6183 __len___2 = 16UL;
6184#line 241
6185 if (__len___2 >= 64UL) {
6186 {
6187#line 241
6188 __cil_tmp339 = (unsigned long )srb;
6189#line 241
6190 __cil_tmp340 = __cil_tmp339 + 80;
6191#line 241
6192 __cil_tmp341 = *((unsigned char **)__cil_tmp340);
6193#line 241
6194 __cil_tmp342 = (void *)__cil_tmp341;
6195#line 241
6196 __cil_tmp343 = 0 * 1UL;
6197#line 241
6198 __cil_tmp344 = (unsigned long )(save_cmnd) + __cil_tmp343;
6199#line 241
6200 __cil_tmp345 = (unsigned char *)__cil_tmp344;
6201#line 241
6202 __cil_tmp346 = (void const *)__cil_tmp345;
6203#line 241
6204 __ret___2 = __memcpy(__cil_tmp342, __cil_tmp346, __len___2);
6205 }
6206 } else {
6207 {
6208#line 241
6209 __cil_tmp347 = (unsigned long )srb;
6210#line 241
6211 __cil_tmp348 = __cil_tmp347 + 80;
6212#line 241
6213 __cil_tmp349 = *((unsigned char **)__cil_tmp348);
6214#line 241
6215 __cil_tmp350 = (void *)__cil_tmp349;
6216#line 241
6217 __cil_tmp351 = 0 * 1UL;
6218#line 241
6219 __cil_tmp352 = (unsigned long )(save_cmnd) + __cil_tmp351;
6220#line 241
6221 __cil_tmp353 = (unsigned char *)__cil_tmp352;
6222#line 241
6223 __cil_tmp354 = (void const *)__cil_tmp353;
6224#line 241
6225 __ret___2 = __builtin_memcpy(__cil_tmp350, __cil_tmp354, __len___2);
6226 }
6227 }
6228 {
6229#line 242
6230 __cil_tmp355 = (unsigned long )srb;
6231#line 242
6232 __cil_tmp356 = __cil_tmp355 + 80;
6233#line 242
6234 __cil_tmp357 = *((unsigned char **)__cil_tmp356);
6235#line 242
6236 __cil_tmp358 = __cil_tmp357 + 0;
6237#line 242
6238 __cil_tmp359 = *__cil_tmp358;
6239#line 242
6240 __cil_tmp360 = (int )__cil_tmp359;
6241#line 242
6242 if (__cil_tmp360 == 161) {
6243#line 243
6244 __cil_tmp361 = (unsigned long )srb;
6245#line 243
6246 __cil_tmp362 = __cil_tmp361 + 74;
6247#line 243
6248 *((unsigned short *)__cil_tmp362) = (unsigned short)12;
6249 } else {
6250
6251 }
6252 }
6253#line 244
6254 return;
6255}
6256}
6257#line 247 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6258static int cypress_probe(struct usb_interface *intf , struct usb_device_id const *id )
6259{ struct us_data *us ;
6260 int result ;
6261 unsigned long __cil_tmp5 ;
6262 unsigned long __cil_tmp6 ;
6263 struct usb_device_id *__cil_tmp7 ;
6264 struct usb_device_id const *__cil_tmp8 ;
6265 int __cil_tmp9 ;
6266 unsigned long __cil_tmp10 ;
6267 unsigned long __cil_tmp11 ;
6268 struct us_unusual_dev *__cil_tmp12 ;
6269 struct us_unusual_dev *__cil_tmp13 ;
6270 struct us_data **__cil_tmp14 ;
6271 struct us_data *__cil_tmp15 ;
6272 unsigned long __cil_tmp16 ;
6273 unsigned long __cil_tmp17 ;
6274 struct us_data **__cil_tmp18 ;
6275 struct us_data *__cil_tmp19 ;
6276 unsigned long __cil_tmp20 ;
6277 unsigned long __cil_tmp21 ;
6278 struct us_data **__cil_tmp22 ;
6279 struct us_data *__cil_tmp23 ;
6280
6281 {
6282 {
6283#line 253
6284 __cil_tmp5 = 0 * 24UL;
6285#line 253
6286 __cil_tmp6 = (unsigned long )(cypress_usb_ids) + __cil_tmp5;
6287#line 253
6288 __cil_tmp7 = (struct usb_device_id *)__cil_tmp6;
6289#line 253
6290 __cil_tmp8 = (struct usb_device_id const *)__cil_tmp7;
6291#line 253
6292 __cil_tmp9 = id - __cil_tmp8;
6293#line 253
6294 __cil_tmp10 = 0 * 32UL;
6295#line 253
6296 __cil_tmp11 = (unsigned long )(cypress_unusual_dev_list) + __cil_tmp10;
6297#line 253
6298 __cil_tmp12 = (struct us_unusual_dev *)__cil_tmp11;
6299#line 253
6300 __cil_tmp13 = __cil_tmp12 + __cil_tmp9;
6301#line 253
6302 result = usb_stor_probe1(& us, intf, id, __cil_tmp13);
6303 }
6304#line 255
6305 if (result) {
6306#line 256
6307 return (result);
6308 } else {
6309
6310 }
6311 {
6312#line 258
6313 __cil_tmp14 = & us;
6314#line 258
6315 __cil_tmp15 = *__cil_tmp14;
6316#line 258
6317 __cil_tmp16 = (unsigned long )__cil_tmp15;
6318#line 258
6319 __cil_tmp17 = __cil_tmp16 + 144;
6320#line 258
6321 *((char **)__cil_tmp17) = (char *)"Transparent SCSI with Cypress ATACB";
6322#line 259
6323 __cil_tmp18 = & us;
6324#line 259
6325 __cil_tmp19 = *__cil_tmp18;
6326#line 259
6327 __cil_tmp20 = (unsigned long )__cil_tmp19;
6328#line 259
6329 __cil_tmp21 = __cil_tmp20 + 184;
6330#line 259
6331 *((void (**)(struct scsi_cmnd * , struct us_data * ))__cil_tmp21) = & cypress_atacb_passthrough;
6332#line 261
6333 __cil_tmp22 = & us;
6334#line 261
6335 __cil_tmp23 = *__cil_tmp22;
6336#line 261
6337 result = usb_stor_probe2(__cil_tmp23);
6338 }
6339#line 262
6340 return (result);
6341}
6342}
6343#line 265 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6344static struct usb_driver cypress_driver =
6345#line 265
6346 {"ums-cypress", & cypress_probe, & usb_stor_disconnect, (int (*)(struct usb_interface *intf ,
6347 unsigned int code ,
6348 void *buf ))0,
6349 & usb_stor_suspend, & usb_stor_resume, & usb_stor_reset_resume, & usb_stor_pre_reset,
6350 & usb_stor_post_reset, (struct usb_device_id const *)(cypress_usb_ids), {{{{{{0U}},
6351 0U,
6352 0U,
6353 (void *)0}}},
6354 {(struct list_head *)0,
6355 (struct list_head *)0}},
6356 {{(char const *)0, (struct bus_type *)0, (struct module *)0, (char const *)0,
6357 (_Bool)0, (struct of_device_id const *)0, (int (*)(struct device *dev ))0,
6358 (int (*)(struct device *dev ))0, (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
6359 pm_message_t state ))0,
6360 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
6361 (struct driver_private *)0}, 0}, 1U, 0U, 1U};
6362#line 279
6363static int cypress_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
6364#line 279 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6365static int cypress_driver_init(void)
6366{ int tmp___7 ;
6367
6368 {
6369 {
6370#line 279
6371 tmp___7 = usb_register_driver(& cypress_driver, & __this_module, "ums_cypress");
6372 }
6373#line 279
6374 return (tmp___7);
6375}
6376}
6377#line 279 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6378int init_module(void)
6379{ int tmp___7 ;
6380
6381 {
6382 {
6383#line 279
6384 tmp___7 = cypress_driver_init();
6385 }
6386#line 279
6387 return (tmp___7);
6388}
6389}
6390#line 279
6391static void cypress_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
6392#line 279 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6393static void cypress_driver_exit(void)
6394{
6395
6396 {
6397 {
6398#line 279
6399 usb_deregister(& cypress_driver);
6400 }
6401#line 279
6402 return;
6403}
6404}
6405#line 279 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6406void cleanup_module(void)
6407{
6408
6409 {
6410 {
6411#line 279
6412 cypress_driver_exit();
6413 }
6414#line 279
6415 return;
6416}
6417}
6418#line 297
6419void ldv_check_final_state(void) ;
6420#line 300
6421extern void ldv_check_return_value(int res ) ;
6422#line 303
6423extern void ldv_initialize(void) ;
6424#line 306
6425extern int __VERIFIER_nondet_int(void) ;
6426#line 309 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6427int LDV_IN_INTERRUPT ;
6428#line 344 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6429static int res_cypress_probe_1 ;
6430#line 312 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6431void main(void)
6432{ struct usb_interface *var_group1 ;
6433 struct usb_device_id const *var_cypress_probe_1_p1 ;
6434 int ldv_s_cypress_driver_usb_driver ;
6435 int tmp___7 ;
6436 int tmp___8 ;
6437 int __cil_tmp6 ;
6438
6439 {
6440 {
6441#line 352
6442 LDV_IN_INTERRUPT = 1;
6443#line 361
6444 ldv_initialize();
6445#line 362
6446 ldv_s_cypress_driver_usb_driver = 0;
6447 }
6448 {
6449#line 365
6450 while (1) {
6451 while_continue: ;
6452 {
6453#line 365
6454 tmp___8 = __VERIFIER_nondet_int();
6455 }
6456#line 365
6457 if (tmp___8) {
6458
6459 } else {
6460 {
6461#line 365
6462 __cil_tmp6 = ldv_s_cypress_driver_usb_driver == 0;
6463#line 365
6464 if (! __cil_tmp6) {
6465
6466 } else {
6467#line 365
6468 goto while_break;
6469 }
6470 }
6471 }
6472 {
6473#line 369
6474 tmp___7 = __VERIFIER_nondet_int();
6475 }
6476#line 371
6477 if (tmp___7 == 0) {
6478#line 371
6479 goto case_0;
6480 } else {
6481 {
6482#line 408
6483 goto switch_default;
6484#line 369
6485 if (0) {
6486 case_0:
6487#line 374
6488 if (ldv_s_cypress_driver_usb_driver == 0) {
6489 {
6490#line 397
6491 res_cypress_probe_1 = cypress_probe(var_group1, var_cypress_probe_1_p1);
6492#line 398
6493 ldv_check_return_value(res_cypress_probe_1);
6494 }
6495#line 399
6496 if (res_cypress_probe_1) {
6497#line 400
6498 goto ldv_module_exit;
6499 } else {
6500
6501 }
6502#line 401
6503 ldv_s_cypress_driver_usb_driver = 0;
6504 } else {
6505
6506 }
6507#line 407
6508 goto switch_break;
6509 switch_default:
6510#line 408
6511 goto switch_break;
6512 } else {
6513 switch_break: ;
6514 }
6515 }
6516 }
6517 }
6518 while_break: ;
6519 }
6520 ldv_module_exit:
6521 {
6522#line 417
6523 ldv_check_final_state();
6524 }
6525#line 420
6526 return;
6527}
6528}
6529#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
6530void ldv_blast_assert(void)
6531{
6532
6533 {
6534 ERROR:
6535#line 6
6536 goto ERROR;
6537}
6538}
6539#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
6540extern int __VERIFIER_nondet_int(void) ;
6541#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6542int ldv_mutex = 1;
6543#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6544int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
6545{ int nondetermined ;
6546
6547 {
6548#line 29
6549 if (ldv_mutex == 1) {
6550
6551 } else {
6552 {
6553#line 29
6554 ldv_blast_assert();
6555 }
6556 }
6557 {
6558#line 32
6559 nondetermined = __VERIFIER_nondet_int();
6560 }
6561#line 35
6562 if (nondetermined) {
6563#line 38
6564 ldv_mutex = 2;
6565#line 40
6566 return (0);
6567 } else {
6568#line 45
6569 return (-4);
6570 }
6571}
6572}
6573#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6574int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
6575{ int nondetermined ;
6576
6577 {
6578#line 57
6579 if (ldv_mutex == 1) {
6580
6581 } else {
6582 {
6583#line 57
6584 ldv_blast_assert();
6585 }
6586 }
6587 {
6588#line 60
6589 nondetermined = __VERIFIER_nondet_int();
6590 }
6591#line 63
6592 if (nondetermined) {
6593#line 66
6594 ldv_mutex = 2;
6595#line 68
6596 return (0);
6597 } else {
6598#line 73
6599 return (-4);
6600 }
6601}
6602}
6603#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6604int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
6605{ int atomic_value_after_dec ;
6606
6607 {
6608#line 83
6609 if (ldv_mutex == 1) {
6610
6611 } else {
6612 {
6613#line 83
6614 ldv_blast_assert();
6615 }
6616 }
6617 {
6618#line 86
6619 atomic_value_after_dec = __VERIFIER_nondet_int();
6620 }
6621#line 89
6622 if (atomic_value_after_dec == 0) {
6623#line 92
6624 ldv_mutex = 2;
6625#line 94
6626 return (1);
6627 } else {
6628
6629 }
6630#line 98
6631 return (0);
6632}
6633}
6634#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6635void mutex_lock(struct mutex *lock )
6636{
6637
6638 {
6639#line 108
6640 if (ldv_mutex == 1) {
6641
6642 } else {
6643 {
6644#line 108
6645 ldv_blast_assert();
6646 }
6647 }
6648#line 110
6649 ldv_mutex = 2;
6650#line 111
6651 return;
6652}
6653}
6654#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6655int mutex_trylock(struct mutex *lock )
6656{ int nondetermined ;
6657
6658 {
6659#line 121
6660 if (ldv_mutex == 1) {
6661
6662 } else {
6663 {
6664#line 121
6665 ldv_blast_assert();
6666 }
6667 }
6668 {
6669#line 124
6670 nondetermined = __VERIFIER_nondet_int();
6671 }
6672#line 127
6673 if (nondetermined) {
6674#line 130
6675 ldv_mutex = 2;
6676#line 132
6677 return (1);
6678 } else {
6679#line 137
6680 return (0);
6681 }
6682}
6683}
6684#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6685void mutex_unlock(struct mutex *lock )
6686{
6687
6688 {
6689#line 147
6690 if (ldv_mutex == 2) {
6691
6692 } else {
6693 {
6694#line 147
6695 ldv_blast_assert();
6696 }
6697 }
6698#line 149
6699 ldv_mutex = 1;
6700#line 150
6701 return;
6702}
6703}
6704#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6705void ldv_check_final_state(void)
6706{
6707
6708 {
6709#line 156
6710 if (ldv_mutex == 1) {
6711
6712 } else {
6713 {
6714#line 156
6715 ldv_blast_assert();
6716 }
6717 }
6718#line 157
6719 return;
6720}
6721}
6722#line 429 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/7658/dscv_tempdir/dscv/ri/32_1/drivers/usb/storage/cypress_atacb.c.common.c"
6723long s__builtin_expect(long val , long res )
6724{
6725
6726 {
6727#line 430
6728 return (val);
6729}
6730}