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 46 "include/asm-generic/int-ll64.h"
23typedef unsigned short u16;
24#line 48 "include/asm-generic/int-ll64.h"
25typedef int s32;
26#line 49 "include/asm-generic/int-ll64.h"
27typedef unsigned int u32;
28#line 51 "include/asm-generic/int-ll64.h"
29typedef long long s64;
30#line 52 "include/asm-generic/int-ll64.h"
31typedef unsigned long long u64;
32#line 11 "include/asm-generic/types.h"
33typedef unsigned short umode_t;
34#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
35typedef unsigned int __kernel_mode_t;
36#line 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
37typedef unsigned long __kernel_nlink_t;
38#line 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
39typedef long __kernel_off_t;
40#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
41typedef int __kernel_pid_t;
42#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
43typedef unsigned int __kernel_uid_t;
44#line 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
45typedef unsigned int __kernel_gid_t;
46#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
47typedef unsigned long __kernel_size_t;
48#line 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
49typedef long __kernel_ssize_t;
50#line 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
51typedef long __kernel_time_t;
52#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
53typedef long __kernel_suseconds_t;
54#line 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
55typedef long __kernel_clock_t;
56#line 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
57typedef int __kernel_timer_t;
58#line 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
59typedef int __kernel_clockid_t;
60#line 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
61typedef long long __kernel_loff_t;
62#line 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
63typedef __kernel_uid_t __kernel_uid32_t;
64#line 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
65typedef __kernel_gid_t __kernel_gid32_t;
66#line 21 "include/linux/types.h"
67typedef __u32 __kernel_dev_t;
68#line 24 "include/linux/types.h"
69typedef __kernel_dev_t dev_t;
70#line 26 "include/linux/types.h"
71typedef __kernel_mode_t mode_t;
72#line 27 "include/linux/types.h"
73typedef __kernel_nlink_t nlink_t;
74#line 28 "include/linux/types.h"
75typedef __kernel_off_t off_t;
76#line 29 "include/linux/types.h"
77typedef __kernel_pid_t pid_t;
78#line 34 "include/linux/types.h"
79typedef __kernel_clockid_t clockid_t;
80#line 37 "include/linux/types.h"
81typedef _Bool bool;
82#line 39 "include/linux/types.h"
83typedef __kernel_uid32_t uid_t;
84#line 40 "include/linux/types.h"
85typedef __kernel_gid32_t gid_t;
86#line 53 "include/linux/types.h"
87typedef __kernel_loff_t loff_t;
88#line 62 "include/linux/types.h"
89typedef __kernel_size_t size_t;
90#line 67 "include/linux/types.h"
91typedef __kernel_ssize_t ssize_t;
92#line 77 "include/linux/types.h"
93typedef __kernel_time_t time_t;
94#line 110 "include/linux/types.h"
95typedef __s32 int32_t;
96#line 116 "include/linux/types.h"
97typedef __u32 uint32_t;
98#line 141 "include/linux/types.h"
99typedef unsigned long sector_t;
100#line 142 "include/linux/types.h"
101typedef unsigned long blkcnt_t;
102#line 154 "include/linux/types.h"
103typedef u64 dma_addr_t;
104#line 177 "include/linux/types.h"
105typedef __u16 __le16;
106#line 201 "include/linux/types.h"
107typedef unsigned int gfp_t;
108#line 202 "include/linux/types.h"
109typedef unsigned int fmode_t;
110#line 212 "include/linux/types.h"
111struct __anonstruct_atomic_t_7 {
112 int counter ;
113};
114#line 212 "include/linux/types.h"
115typedef struct __anonstruct_atomic_t_7 atomic_t;
116#line 217 "include/linux/types.h"
117struct __anonstruct_atomic64_t_8 {
118 long counter ;
119};
120#line 217 "include/linux/types.h"
121typedef struct __anonstruct_atomic64_t_8 atomic64_t;
122#line 222 "include/linux/types.h"
123struct list_head {
124 struct list_head *next ;
125 struct list_head *prev ;
126};
127#line 226
128struct hlist_node;
129#line 226
130struct hlist_node;
131#line 226
132struct hlist_node;
133#line 226 "include/linux/types.h"
134struct hlist_head {
135 struct hlist_node *first ;
136};
137#line 230 "include/linux/types.h"
138struct hlist_node {
139 struct hlist_node *next ;
140 struct hlist_node **pprev ;
141};
142#line 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
143struct module;
144#line 59
145struct module;
146#line 59
147struct module;
148#line 59
149struct module;
150#line 145 "include/linux/init.h"
151typedef void (*ctor_fn_t)(void);
152#line 10 "include/asm-generic/bug.h"
153struct bug_entry {
154 int bug_addr_disp ;
155 int file_disp ;
156 unsigned short line ;
157 unsigned short flags ;
158};
159#line 113 "include/linux/kernel.h"
160struct completion;
161#line 113
162struct completion;
163#line 113
164struct completion;
165#line 113
166struct completion;
167#line 114
168struct pt_regs;
169#line 114
170struct pt_regs;
171#line 114
172struct pt_regs;
173#line 114
174struct pt_regs;
175#line 322
176struct pid;
177#line 322
178struct pid;
179#line 322
180struct pid;
181#line 322
182struct pid;
183#line 12 "include/linux/thread_info.h"
184struct timespec;
185#line 12
186struct timespec;
187#line 12
188struct timespec;
189#line 12
190struct timespec;
191#line 13
192struct compat_timespec;
193#line 13
194struct compat_timespec;
195#line 13
196struct compat_timespec;
197#line 13
198struct compat_timespec;
199#line 18 "include/linux/thread_info.h"
200struct __anonstruct_futex_11 {
201 u32 *uaddr ;
202 u32 val ;
203 u32 flags ;
204 u32 bitset ;
205 u64 time ;
206 u32 *uaddr2 ;
207};
208#line 18 "include/linux/thread_info.h"
209struct __anonstruct_nanosleep_12 {
210 clockid_t clockid ;
211 struct timespec *rmtp ;
212 struct compat_timespec *compat_rmtp ;
213 u64 expires ;
214};
215#line 18
216struct pollfd;
217#line 18
218struct pollfd;
219#line 18
220struct pollfd;
221#line 18 "include/linux/thread_info.h"
222struct __anonstruct_poll_13 {
223 struct pollfd *ufds ;
224 int nfds ;
225 int has_timeout ;
226 unsigned long tv_sec ;
227 unsigned long tv_nsec ;
228};
229#line 18 "include/linux/thread_info.h"
230union __anonunion____missing_field_name_10 {
231 struct __anonstruct_futex_11 futex ;
232 struct __anonstruct_nanosleep_12 nanosleep ;
233 struct __anonstruct_poll_13 poll ;
234};
235#line 18 "include/linux/thread_info.h"
236struct restart_block {
237 long (*fn)(struct restart_block * ) ;
238 union __anonunion____missing_field_name_10 __annonCompField4 ;
239};
240#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page.h"
241struct page;
242#line 18
243struct page;
244#line 18
245struct page;
246#line 18
247struct page;
248#line 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
249struct task_struct;
250#line 20
251struct task_struct;
252#line 20
253struct task_struct;
254#line 20
255struct task_struct;
256#line 21
257struct exec_domain;
258#line 21
259struct exec_domain;
260#line 21
261struct exec_domain;
262#line 21
263struct exec_domain;
264#line 7 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
265struct task_struct;
266#line 8
267struct mm_struct;
268#line 8
269struct mm_struct;
270#line 8
271struct mm_struct;
272#line 8
273struct mm_struct;
274#line 99 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
275struct pt_regs {
276 unsigned long r15 ;
277 unsigned long r14 ;
278 unsigned long r13 ;
279 unsigned long r12 ;
280 unsigned long bp ;
281 unsigned long bx ;
282 unsigned long r11 ;
283 unsigned long r10 ;
284 unsigned long r9 ;
285 unsigned long r8 ;
286 unsigned long ax ;
287 unsigned long cx ;
288 unsigned long dx ;
289 unsigned long si ;
290 unsigned long di ;
291 unsigned long orig_ax ;
292 unsigned long ip ;
293 unsigned long cs ;
294 unsigned long flags ;
295 unsigned long sp ;
296 unsigned long ss ;
297};
298#line 136
299struct task_struct;
300#line 141 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
301struct kernel_vm86_regs {
302 struct pt_regs pt ;
303 unsigned short es ;
304 unsigned short __esh ;
305 unsigned short ds ;
306 unsigned short __dsh ;
307 unsigned short fs ;
308 unsigned short __fsh ;
309 unsigned short gs ;
310 unsigned short __gsh ;
311};
312#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/math_emu.h"
313union __anonunion____missing_field_name_14 {
314 struct pt_regs *regs ;
315 struct kernel_vm86_regs *vm86 ;
316};
317#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/math_emu.h"
318struct math_emu_info {
319 long ___orig_eip ;
320 union __anonunion____missing_field_name_14 __annonCompField5 ;
321};
322#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
323struct task_struct;
324#line 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
325typedef unsigned long pgdval_t;
326#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
327typedef unsigned long pgprotval_t;
328#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
329struct pgprot {
330 pgprotval_t pgprot ;
331};
332#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
333typedef struct pgprot pgprot_t;
334#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
335struct __anonstruct_pgd_t_17 {
336 pgdval_t pgd ;
337};
338#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
339typedef struct __anonstruct_pgd_t_17 pgd_t;
340#line 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
341typedef struct page *pgtable_t;
342#line 293
343struct file;
344#line 293
345struct file;
346#line 293
347struct file;
348#line 293
349struct file;
350#line 311
351struct seq_file;
352#line 311
353struct seq_file;
354#line 311
355struct seq_file;
356#line 311
357struct seq_file;
358#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
359struct __anonstruct____missing_field_name_22 {
360 unsigned int a ;
361 unsigned int b ;
362};
363#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
364struct __anonstruct____missing_field_name_23 {
365 u16 limit0 ;
366 u16 base0 ;
367 unsigned int base1 : 8 ;
368 unsigned int type : 4 ;
369 unsigned int s : 1 ;
370 unsigned int dpl : 2 ;
371 unsigned int p : 1 ;
372 unsigned int limit : 4 ;
373 unsigned int avl : 1 ;
374 unsigned int l : 1 ;
375 unsigned int d : 1 ;
376 unsigned int g : 1 ;
377 unsigned int base2 : 8 ;
378};
379#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
380union __anonunion____missing_field_name_21 {
381 struct __anonstruct____missing_field_name_22 __annonCompField7 ;
382 struct __anonstruct____missing_field_name_23 __annonCompField8 ;
383};
384#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
385struct desc_struct {
386 union __anonunion____missing_field_name_21 __annonCompField9 ;
387} __attribute__((__packed__)) ;
388#line 45 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
389struct page;
390#line 46
391struct thread_struct;
392#line 46
393struct thread_struct;
394#line 46
395struct thread_struct;
396#line 46
397struct thread_struct;
398#line 49
399struct mm_struct;
400#line 50
401struct desc_struct;
402#line 51
403struct task_struct;
404#line 52
405struct cpumask;
406#line 52
407struct cpumask;
408#line 52
409struct cpumask;
410#line 52
411struct cpumask;
412#line 322
413struct arch_spinlock;
414#line 322
415struct arch_spinlock;
416#line 322
417struct arch_spinlock;
418#line 322
419struct arch_spinlock;
420#line 13 "include/linux/cpumask.h"
421struct cpumask {
422 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
423};
424#line 13 "include/linux/cpumask.h"
425typedef struct cpumask cpumask_t;
426#line 622 "include/linux/cpumask.h"
427typedef struct cpumask *cpumask_var_t;
428#line 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/system.h"
429struct task_struct;
430#line 10 "include/linux/personality.h"
431struct exec_domain;
432#line 11
433struct pt_regs;
434#line 91
435struct map_segment;
436#line 91
437struct map_segment;
438#line 91
439struct map_segment;
440#line 91 "include/linux/personality.h"
441struct exec_domain {
442 char const *name ;
443 void (*handler)(int , struct pt_regs * ) ;
444 unsigned char pers_low ;
445 unsigned char pers_high ;
446 unsigned long *signal_map ;
447 unsigned long *signal_invmap ;
448 struct map_segment *err_map ;
449 struct map_segment *socktype_map ;
450 struct map_segment *sockopt_map ;
451 struct map_segment *af_map ;
452 struct module *module ;
453 struct exec_domain *next ;
454};
455#line 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
456struct i387_fsave_struct {
457 u32 cwd ;
458 u32 swd ;
459 u32 twd ;
460 u32 fip ;
461 u32 fcs ;
462 u32 foo ;
463 u32 fos ;
464 u32 st_space[20] ;
465 u32 status ;
466};
467#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
468struct __anonstruct____missing_field_name_31 {
469 u64 rip ;
470 u64 rdp ;
471};
472#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
473struct __anonstruct____missing_field_name_32 {
474 u32 fip ;
475 u32 fcs ;
476 u32 foo ;
477 u32 fos ;
478};
479#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
480union __anonunion____missing_field_name_30 {
481 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
482 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
483};
484#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
485union __anonunion____missing_field_name_33 {
486 u32 padding1[12] ;
487 u32 sw_reserved[12] ;
488};
489#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
490struct i387_fxsave_struct {
491 u16 cwd ;
492 u16 swd ;
493 u16 twd ;
494 u16 fop ;
495 union __anonunion____missing_field_name_30 __annonCompField14 ;
496 u32 mxcsr ;
497 u32 mxcsr_mask ;
498 u32 st_space[32] ;
499 u32 xmm_space[64] ;
500 u32 padding[12] ;
501 union __anonunion____missing_field_name_33 __annonCompField15 ;
502} __attribute__((__aligned__(16))) ;
503#line 331 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
504struct i387_soft_struct {
505 u32 cwd ;
506 u32 swd ;
507 u32 twd ;
508 u32 fip ;
509 u32 fcs ;
510 u32 foo ;
511 u32 fos ;
512 u32 st_space[20] ;
513 u8 ftop ;
514 u8 changed ;
515 u8 lookahead ;
516 u8 no_update ;
517 u8 rm ;
518 u8 alimit ;
519 struct math_emu_info *info ;
520 u32 entry_eip ;
521};
522#line 351 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
523struct ymmh_struct {
524 u32 ymmh_space[64] ;
525};
526#line 356 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
527struct xsave_hdr_struct {
528 u64 xstate_bv ;
529 u64 reserved1[2] ;
530 u64 reserved2[5] ;
531} __attribute__((__packed__)) ;
532#line 362 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
533struct xsave_struct {
534 struct i387_fxsave_struct i387 ;
535 struct xsave_hdr_struct xsave_hdr ;
536 struct ymmh_struct ymmh ;
537} __attribute__((__packed__, __aligned__(64))) ;
538#line 369 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
539union thread_xstate {
540 struct i387_fsave_struct fsave ;
541 struct i387_fxsave_struct fxsave ;
542 struct i387_soft_struct soft ;
543 struct xsave_struct xsave ;
544};
545#line 376 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
546struct fpu {
547 union thread_xstate *state ;
548};
549#line 421
550struct kmem_cache;
551#line 421
552struct kmem_cache;
553#line 421
554struct kmem_cache;
555#line 423
556struct perf_event;
557#line 423
558struct perf_event;
559#line 423
560struct perf_event;
561#line 423
562struct perf_event;
563#line 425 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
564struct thread_struct {
565 struct desc_struct tls_array[3] ;
566 unsigned long sp0 ;
567 unsigned long sp ;
568 unsigned long usersp ;
569 unsigned short es ;
570 unsigned short ds ;
571 unsigned short fsindex ;
572 unsigned short gsindex ;
573 unsigned long fs ;
574 unsigned long gs ;
575 struct perf_event *ptrace_bps[4] ;
576 unsigned long debugreg6 ;
577 unsigned long ptrace_dr7 ;
578 unsigned long cr2 ;
579 unsigned long trap_no ;
580 unsigned long error_code ;
581 struct fpu fpu ;
582 unsigned long *io_bitmap_ptr ;
583 unsigned long iopl ;
584 unsigned int io_bitmap_max ;
585};
586#line 620 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
587struct __anonstruct_mm_segment_t_35 {
588 unsigned long seg ;
589};
590#line 620 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
591typedef struct __anonstruct_mm_segment_t_35 mm_segment_t;
592#line 23 "include/asm-generic/atomic-long.h"
593typedef atomic64_t atomic_long_t;
594#line 26 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
595struct thread_info {
596 struct task_struct *task ;
597 struct exec_domain *exec_domain ;
598 __u32 flags ;
599 __u32 status ;
600 __u32 cpu ;
601 int preempt_count ;
602 mm_segment_t addr_limit ;
603 struct restart_block restart_block ;
604 void *sysenter_return ;
605 int uaccess_err ;
606};
607#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
608struct arch_spinlock {
609 unsigned int slock ;
610};
611#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
612typedef struct arch_spinlock arch_spinlock_t;
613#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
614struct __anonstruct_arch_rwlock_t_36 {
615 unsigned int lock ;
616};
617#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
618typedef struct __anonstruct_arch_rwlock_t_36 arch_rwlock_t;
619#line 12 "include/linux/lockdep.h"
620struct task_struct;
621#line 13
622struct lockdep_map;
623#line 13
624struct lockdep_map;
625#line 13
626struct lockdep_map;
627#line 13
628struct lockdep_map;
629#line 8 "include/linux/debug_locks.h"
630struct task_struct;
631#line 48
632struct task_struct;
633#line 4 "include/linux/stacktrace.h"
634struct task_struct;
635#line 5
636struct pt_regs;
637#line 8
638struct task_struct;
639#line 10 "include/linux/stacktrace.h"
640struct stack_trace {
641 unsigned int nr_entries ;
642 unsigned int max_entries ;
643 unsigned long *entries ;
644 int skip ;
645};
646#line 50 "include/linux/lockdep.h"
647struct lockdep_subclass_key {
648 char __one_byte ;
649} __attribute__((__packed__)) ;
650#line 54 "include/linux/lockdep.h"
651struct lock_class_key {
652 struct lockdep_subclass_key subkeys[8UL] ;
653};
654#line 65 "include/linux/lockdep.h"
655struct lock_class {
656 struct list_head hash_entry ;
657 struct list_head lock_entry ;
658 struct lockdep_subclass_key *key ;
659 unsigned int subclass ;
660 unsigned int dep_gen_id ;
661 unsigned long usage_mask ;
662 struct stack_trace usage_traces[13] ;
663 struct list_head locks_after ;
664 struct list_head locks_before ;
665 unsigned int version ;
666 unsigned long ops ;
667 char const *name ;
668 int name_version ;
669 unsigned long contention_point[4] ;
670 unsigned long contending_point[4] ;
671};
672#line 150 "include/linux/lockdep.h"
673struct lockdep_map {
674 struct lock_class_key *key ;
675 struct lock_class *class_cache[2] ;
676 char const *name ;
677 int cpu ;
678 unsigned long ip ;
679};
680#line 196 "include/linux/lockdep.h"
681struct held_lock {
682 u64 prev_chain_key ;
683 unsigned long acquire_ip ;
684 struct lockdep_map *instance ;
685 struct lockdep_map *nest_lock ;
686 u64 waittime_stamp ;
687 u64 holdtime_stamp ;
688 unsigned int class_idx : 13 ;
689 unsigned int irq_context : 2 ;
690 unsigned int trylock : 1 ;
691 unsigned int read : 2 ;
692 unsigned int check : 2 ;
693 unsigned int hardirqs_off : 1 ;
694 unsigned int references : 11 ;
695};
696#line 20 "include/linux/spinlock_types.h"
697struct raw_spinlock {
698 arch_spinlock_t raw_lock ;
699 unsigned int magic ;
700 unsigned int owner_cpu ;
701 void *owner ;
702 struct lockdep_map dep_map ;
703};
704#line 20 "include/linux/spinlock_types.h"
705typedef struct raw_spinlock raw_spinlock_t;
706#line 64 "include/linux/spinlock_types.h"
707struct __anonstruct____missing_field_name_38 {
708 u8 __padding[(unsigned int )(& ((struct raw_spinlock *)0)->dep_map)] ;
709 struct lockdep_map dep_map ;
710};
711#line 64 "include/linux/spinlock_types.h"
712union __anonunion____missing_field_name_37 {
713 struct raw_spinlock rlock ;
714 struct __anonstruct____missing_field_name_38 __annonCompField17 ;
715};
716#line 64 "include/linux/spinlock_types.h"
717struct spinlock {
718 union __anonunion____missing_field_name_37 __annonCompField18 ;
719};
720#line 64 "include/linux/spinlock_types.h"
721typedef struct spinlock spinlock_t;
722#line 11 "include/linux/rwlock_types.h"
723struct __anonstruct_rwlock_t_39 {
724 arch_rwlock_t raw_lock ;
725 unsigned int magic ;
726 unsigned int owner_cpu ;
727 void *owner ;
728 struct lockdep_map dep_map ;
729};
730#line 11 "include/linux/rwlock_types.h"
731typedef struct __anonstruct_rwlock_t_39 rwlock_t;
732#line 119 "include/linux/seqlock.h"
733struct seqcount {
734 unsigned int sequence ;
735};
736#line 119 "include/linux/seqlock.h"
737typedef struct seqcount seqcount_t;
738#line 14 "include/linux/time.h"
739struct timespec {
740 __kernel_time_t tv_sec ;
741 long tv_nsec ;
742};
743#line 20 "include/linux/time.h"
744struct timeval {
745 __kernel_time_t tv_sec ;
746 __kernel_suseconds_t tv_usec ;
747};
748#line 62 "include/linux/stat.h"
749struct kstat {
750 u64 ino ;
751 dev_t dev ;
752 umode_t mode ;
753 unsigned int nlink ;
754 uid_t uid ;
755 gid_t gid ;
756 dev_t rdev ;
757 loff_t size ;
758 struct timespec atime ;
759 struct timespec mtime ;
760 struct timespec ctime ;
761 unsigned long blksize ;
762 unsigned long long blocks ;
763};
764#line 50 "include/linux/wait.h"
765struct __wait_queue_head {
766 spinlock_t lock ;
767 struct list_head task_list ;
768};
769#line 54 "include/linux/wait.h"
770typedef struct __wait_queue_head wait_queue_head_t;
771#line 56
772struct task_struct;
773#line 96 "include/linux/nodemask.h"
774struct __anonstruct_nodemask_t_41 {
775 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
776};
777#line 96 "include/linux/nodemask.h"
778typedef struct __anonstruct_nodemask_t_41 nodemask_t;
779#line 60 "include/linux/pageblock-flags.h"
780struct page;
781#line 48 "include/linux/mutex.h"
782struct mutex {
783 atomic_t count ;
784 spinlock_t wait_lock ;
785 struct list_head wait_list ;
786 struct task_struct *owner ;
787 char const *name ;
788 void *magic ;
789 struct lockdep_map dep_map ;
790};
791#line 69 "include/linux/mutex.h"
792struct mutex_waiter {
793 struct list_head list ;
794 struct task_struct *task ;
795 void *magic ;
796};
797#line 20 "include/linux/rwsem.h"
798struct rw_semaphore;
799#line 20
800struct rw_semaphore;
801#line 20
802struct rw_semaphore;
803#line 20
804struct rw_semaphore;
805#line 26 "include/linux/rwsem.h"
806struct rw_semaphore {
807 long count ;
808 spinlock_t wait_lock ;
809 struct list_head wait_list ;
810 struct lockdep_map dep_map ;
811};
812#line 8 "include/linux/memory_hotplug.h"
813struct page;
814#line 177 "include/linux/ioport.h"
815struct device;
816#line 177
817struct device;
818#line 177
819struct device;
820#line 177
821struct device;
822#line 103 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mpspec.h"
823struct device;
824#line 46 "include/linux/ktime.h"
825union ktime {
826 s64 tv64 ;
827};
828#line 59 "include/linux/ktime.h"
829typedef union ktime ktime_t;
830#line 10 "include/linux/timer.h"
831struct tvec_base;
832#line 10
833struct tvec_base;
834#line 10
835struct tvec_base;
836#line 10
837struct tvec_base;
838#line 12 "include/linux/timer.h"
839struct timer_list {
840 struct list_head entry ;
841 unsigned long expires ;
842 struct tvec_base *base ;
843 void (*function)(unsigned long ) ;
844 unsigned long data ;
845 int slack ;
846 int start_pid ;
847 void *start_site ;
848 char start_comm[16] ;
849 struct lockdep_map lockdep_map ;
850};
851#line 289
852struct hrtimer;
853#line 289
854struct hrtimer;
855#line 289
856struct hrtimer;
857#line 289
858struct hrtimer;
859#line 290
860enum hrtimer_restart;
861#line 290
862enum hrtimer_restart;
863#line 290
864enum hrtimer_restart;
865#line 17 "include/linux/workqueue.h"
866struct work_struct;
867#line 17
868struct work_struct;
869#line 17
870struct work_struct;
871#line 17
872struct work_struct;
873#line 79 "include/linux/workqueue.h"
874struct work_struct {
875 atomic_long_t data ;
876 struct list_head entry ;
877 void (*func)(struct work_struct *work ) ;
878 struct lockdep_map lockdep_map ;
879};
880#line 92 "include/linux/workqueue.h"
881struct delayed_work {
882 struct work_struct work ;
883 struct timer_list timer ;
884};
885#line 25 "include/linux/completion.h"
886struct completion {
887 unsigned int done ;
888 wait_queue_head_t wait ;
889};
890#line 42 "include/linux/pm.h"
891struct device;
892#line 50 "include/linux/pm.h"
893struct pm_message {
894 int event ;
895};
896#line 50 "include/linux/pm.h"
897typedef struct pm_message pm_message_t;
898#line 204 "include/linux/pm.h"
899struct dev_pm_ops {
900 int (*prepare)(struct device *dev ) ;
901 void (*complete)(struct device *dev ) ;
902 int (*suspend)(struct device *dev ) ;
903 int (*resume)(struct device *dev ) ;
904 int (*freeze)(struct device *dev ) ;
905 int (*thaw)(struct device *dev ) ;
906 int (*poweroff)(struct device *dev ) ;
907 int (*restore)(struct device *dev ) ;
908 int (*suspend_noirq)(struct device *dev ) ;
909 int (*resume_noirq)(struct device *dev ) ;
910 int (*freeze_noirq)(struct device *dev ) ;
911 int (*thaw_noirq)(struct device *dev ) ;
912 int (*poweroff_noirq)(struct device *dev ) ;
913 int (*restore_noirq)(struct device *dev ) ;
914 int (*runtime_suspend)(struct device *dev ) ;
915 int (*runtime_resume)(struct device *dev ) ;
916 int (*runtime_idle)(struct device *dev ) ;
917};
918#line 392
919enum rpm_status {
920 RPM_ACTIVE = 0,
921 RPM_RESUMING = 1,
922 RPM_SUSPENDED = 2,
923 RPM_SUSPENDING = 3
924} ;
925#line 414
926enum rpm_request {
927 RPM_REQ_NONE = 0,
928 RPM_REQ_IDLE = 1,
929 RPM_REQ_SUSPEND = 2,
930 RPM_REQ_AUTOSUSPEND = 3,
931 RPM_REQ_RESUME = 4
932} ;
933#line 422
934struct wakeup_source;
935#line 422
936struct wakeup_source;
937#line 422
938struct wakeup_source;
939#line 422
940struct wakeup_source;
941#line 424 "include/linux/pm.h"
942struct dev_pm_info {
943 pm_message_t power_state ;
944 unsigned int can_wakeup : 1 ;
945 unsigned int async_suspend : 1 ;
946 bool is_prepared : 1 ;
947 bool is_suspended : 1 ;
948 spinlock_t lock ;
949 struct list_head entry ;
950 struct completion completion ;
951 struct wakeup_source *wakeup ;
952 struct timer_list suspend_timer ;
953 unsigned long timer_expires ;
954 struct work_struct work ;
955 wait_queue_head_t wait_queue ;
956 atomic_t usage_count ;
957 atomic_t child_count ;
958 unsigned int disable_depth : 3 ;
959 unsigned int ignore_children : 1 ;
960 unsigned int idle_notification : 1 ;
961 unsigned int request_pending : 1 ;
962 unsigned int deferred_resume : 1 ;
963 unsigned int run_wake : 1 ;
964 unsigned int runtime_auto : 1 ;
965 unsigned int no_callbacks : 1 ;
966 unsigned int irq_safe : 1 ;
967 unsigned int use_autosuspend : 1 ;
968 unsigned int timer_autosuspends : 1 ;
969 enum rpm_request request ;
970 enum rpm_status runtime_status ;
971 int runtime_error ;
972 int autosuspend_delay ;
973 unsigned long last_busy ;
974 unsigned long active_jiffies ;
975 unsigned long suspended_jiffies ;
976 unsigned long accounting_timestamp ;
977 void *subsys_data ;
978};
979#line 475 "include/linux/pm.h"
980struct dev_power_domain {
981 struct dev_pm_ops ops ;
982};
983#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
984struct __anonstruct_mm_context_t_111 {
985 void *ldt ;
986 int size ;
987 unsigned short ia32_compat ;
988 struct mutex lock ;
989 void *vdso ;
990};
991#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
992typedef struct __anonstruct_mm_context_t_111 mm_context_t;
993#line 8 "include/linux/vmalloc.h"
994struct vm_area_struct;
995#line 8
996struct vm_area_struct;
997#line 8
998struct vm_area_struct;
999#line 8
1000struct vm_area_struct;
1001#line 964 "include/linux/mmzone.h"
1002struct page;
1003#line 10 "include/linux/gfp.h"
1004struct vm_area_struct;
1005#line 29 "include/linux/sysctl.h"
1006struct completion;
1007#line 72 "include/linux/rcupdate.h"
1008struct rcu_head {
1009 struct rcu_head *next ;
1010 void (*func)(struct rcu_head *head ) ;
1011};
1012#line 937 "include/linux/sysctl.h"
1013struct nsproxy;
1014#line 937
1015struct nsproxy;
1016#line 937
1017struct nsproxy;
1018#line 937
1019struct nsproxy;
1020#line 48 "include/linux/kmod.h"
1021struct cred;
1022#line 48
1023struct cred;
1024#line 48
1025struct cred;
1026#line 48
1027struct cred;
1028#line 49
1029struct file;
1030#line 264 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h"
1031struct task_struct;
1032#line 10 "include/linux/elf.h"
1033struct file;
1034#line 27 "include/linux/elf.h"
1035typedef __u64 Elf64_Addr;
1036#line 28 "include/linux/elf.h"
1037typedef __u16 Elf64_Half;
1038#line 32 "include/linux/elf.h"
1039typedef __u32 Elf64_Word;
1040#line 33 "include/linux/elf.h"
1041typedef __u64 Elf64_Xword;
1042#line 203 "include/linux/elf.h"
1043struct elf64_sym {
1044 Elf64_Word st_name ;
1045 unsigned char st_info ;
1046 unsigned char st_other ;
1047 Elf64_Half st_shndx ;
1048 Elf64_Addr st_value ;
1049 Elf64_Xword st_size ;
1050};
1051#line 203 "include/linux/elf.h"
1052typedef struct elf64_sym Elf64_Sym;
1053#line 20 "include/linux/kobject_ns.h"
1054struct sock;
1055#line 20
1056struct sock;
1057#line 20
1058struct sock;
1059#line 20
1060struct sock;
1061#line 21
1062struct kobject;
1063#line 21
1064struct kobject;
1065#line 21
1066struct kobject;
1067#line 21
1068struct kobject;
1069#line 27
1070enum kobj_ns_type {
1071 KOBJ_NS_TYPE_NONE = 0,
1072 KOBJ_NS_TYPE_NET = 1,
1073 KOBJ_NS_TYPES = 2
1074} ;
1075#line 40 "include/linux/kobject_ns.h"
1076struct kobj_ns_type_operations {
1077 enum kobj_ns_type type ;
1078 void *(*grab_current_ns)(void) ;
1079 void const *(*netlink_ns)(struct sock *sk ) ;
1080 void const *(*initial_ns)(void) ;
1081 void (*drop_ns)(void * ) ;
1082};
1083#line 22 "include/linux/sysfs.h"
1084struct kobject;
1085#line 23
1086struct module;
1087#line 24
1088enum kobj_ns_type;
1089#line 26 "include/linux/sysfs.h"
1090struct attribute {
1091 char const *name ;
1092 mode_t mode ;
1093 struct lock_class_key *key ;
1094 struct lock_class_key skey ;
1095};
1096#line 56 "include/linux/sysfs.h"
1097struct attribute_group {
1098 char const *name ;
1099 mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
1100 struct attribute **attrs ;
1101};
1102#line 85
1103struct file;
1104#line 86
1105struct vm_area_struct;
1106#line 88 "include/linux/sysfs.h"
1107struct bin_attribute {
1108 struct attribute attr ;
1109 size_t size ;
1110 void *private ;
1111 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
1112 loff_t , size_t ) ;
1113 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
1114 loff_t , size_t ) ;
1115 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
1116};
1117#line 112 "include/linux/sysfs.h"
1118struct sysfs_ops {
1119 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
1120 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
1121};
1122#line 117
1123struct sysfs_dirent;
1124#line 117
1125struct sysfs_dirent;
1126#line 117
1127struct sysfs_dirent;
1128#line 117
1129struct sysfs_dirent;
1130#line 20 "include/linux/kref.h"
1131struct kref {
1132 atomic_t refcount ;
1133};
1134#line 60 "include/linux/kobject.h"
1135struct kset;
1136#line 60
1137struct kset;
1138#line 60
1139struct kset;
1140#line 60
1141struct kobj_type;
1142#line 60
1143struct kobj_type;
1144#line 60
1145struct kobj_type;
1146#line 60 "include/linux/kobject.h"
1147struct kobject {
1148 char const *name ;
1149 struct list_head entry ;
1150 struct kobject *parent ;
1151 struct kset *kset ;
1152 struct kobj_type *ktype ;
1153 struct sysfs_dirent *sd ;
1154 struct kref kref ;
1155 unsigned int state_initialized : 1 ;
1156 unsigned int state_in_sysfs : 1 ;
1157 unsigned int state_add_uevent_sent : 1 ;
1158 unsigned int state_remove_uevent_sent : 1 ;
1159 unsigned int uevent_suppress : 1 ;
1160};
1161#line 110 "include/linux/kobject.h"
1162struct kobj_type {
1163 void (*release)(struct kobject *kobj ) ;
1164 struct sysfs_ops const *sysfs_ops ;
1165 struct attribute **default_attrs ;
1166 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
1167 void const *(*namespace)(struct kobject *kobj ) ;
1168};
1169#line 118 "include/linux/kobject.h"
1170struct kobj_uevent_env {
1171 char *envp[32] ;
1172 int envp_idx ;
1173 char buf[2048] ;
1174 int buflen ;
1175};
1176#line 125 "include/linux/kobject.h"
1177struct kset_uevent_ops {
1178 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
1179 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
1180 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
1181};
1182#line 142
1183struct sock;
1184#line 161 "include/linux/kobject.h"
1185struct kset {
1186 struct list_head list ;
1187 spinlock_t list_lock ;
1188 struct kobject kobj ;
1189 struct kset_uevent_ops const *uevent_ops ;
1190};
1191#line 34 "include/linux/moduleparam.h"
1192struct kernel_param;
1193#line 34
1194struct kernel_param;
1195#line 34
1196struct kernel_param;
1197#line 34
1198struct kernel_param;
1199#line 36 "include/linux/moduleparam.h"
1200struct kernel_param_ops {
1201 int (*set)(char const *val , struct kernel_param const *kp ) ;
1202 int (*get)(char *buffer , struct kernel_param const *kp ) ;
1203 void (*free)(void *arg ) ;
1204};
1205#line 48
1206struct kparam_string;
1207#line 48
1208struct kparam_string;
1209#line 48
1210struct kparam_string;
1211#line 48
1212struct kparam_array;
1213#line 48
1214struct kparam_array;
1215#line 48
1216struct kparam_array;
1217#line 48 "include/linux/moduleparam.h"
1218union __anonunion____missing_field_name_195 {
1219 void *arg ;
1220 struct kparam_string const *str ;
1221 struct kparam_array const *arr ;
1222};
1223#line 48 "include/linux/moduleparam.h"
1224struct kernel_param {
1225 char const *name ;
1226 struct kernel_param_ops const *ops ;
1227 u16 perm ;
1228 u16 flags ;
1229 union __anonunion____missing_field_name_195 __annonCompField31 ;
1230};
1231#line 61 "include/linux/moduleparam.h"
1232struct kparam_string {
1233 unsigned int maxlen ;
1234 char *string ;
1235};
1236#line 67 "include/linux/moduleparam.h"
1237struct kparam_array {
1238 unsigned int max ;
1239 unsigned int elemsize ;
1240 unsigned int *num ;
1241 struct kernel_param_ops const *ops ;
1242 void *elem ;
1243};
1244#line 391
1245struct module;
1246#line 26 "include/linux/jump_label.h"
1247struct module;
1248#line 61 "include/linux/jump_label.h"
1249struct jump_label_key {
1250 atomic_t enabled ;
1251};
1252#line 22 "include/linux/tracepoint.h"
1253struct module;
1254#line 23
1255struct tracepoint;
1256#line 23
1257struct tracepoint;
1258#line 23
1259struct tracepoint;
1260#line 23
1261struct tracepoint;
1262#line 25 "include/linux/tracepoint.h"
1263struct tracepoint_func {
1264 void *func ;
1265 void *data ;
1266};
1267#line 30 "include/linux/tracepoint.h"
1268struct tracepoint {
1269 char const *name ;
1270 struct jump_label_key key ;
1271 void (*regfunc)(void) ;
1272 void (*unregfunc)(void) ;
1273 struct tracepoint_func *funcs ;
1274};
1275#line 8 "include/asm-generic/module.h"
1276struct mod_arch_specific {
1277
1278};
1279#line 21 "include/trace/events/module.h"
1280struct module;
1281#line 37 "include/linux/module.h"
1282struct kernel_symbol {
1283 unsigned long value ;
1284 char const *name ;
1285};
1286#line 49
1287struct module;
1288#line 51 "include/linux/module.h"
1289struct module_attribute {
1290 struct attribute attr ;
1291 ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
1292 ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
1293 size_t count ) ;
1294 void (*setup)(struct module * , char const * ) ;
1295 int (*test)(struct module * ) ;
1296 void (*free)(struct module * ) ;
1297};
1298#line 70
1299struct module_param_attrs;
1300#line 70
1301struct module_param_attrs;
1302#line 70
1303struct module_param_attrs;
1304#line 70 "include/linux/module.h"
1305struct module_kobject {
1306 struct kobject kobj ;
1307 struct module *mod ;
1308 struct kobject *drivers_dir ;
1309 struct module_param_attrs *mp ;
1310};
1311#line 83
1312struct exception_table_entry;
1313#line 83
1314struct exception_table_entry;
1315#line 83
1316struct exception_table_entry;
1317#line 83
1318struct exception_table_entry;
1319#line 265
1320enum module_state {
1321 MODULE_STATE_LIVE = 0,
1322 MODULE_STATE_COMING = 1,
1323 MODULE_STATE_GOING = 2
1324} ;
1325#line 272
1326struct module_sect_attrs;
1327#line 272
1328struct module_sect_attrs;
1329#line 272
1330struct module_sect_attrs;
1331#line 272
1332struct module_notes_attrs;
1333#line 272
1334struct module_notes_attrs;
1335#line 272
1336struct module_notes_attrs;
1337#line 272
1338struct ftrace_event_call;
1339#line 272
1340struct ftrace_event_call;
1341#line 272
1342struct ftrace_event_call;
1343#line 272 "include/linux/module.h"
1344struct module_ref {
1345 unsigned int incs ;
1346 unsigned int decs ;
1347};
1348#line 272 "include/linux/module.h"
1349struct module {
1350 enum module_state state ;
1351 struct list_head list ;
1352 char name[64UL - sizeof(unsigned long )] ;
1353 struct module_kobject mkobj ;
1354 struct module_attribute *modinfo_attrs ;
1355 char const *version ;
1356 char const *srcversion ;
1357 struct kobject *holders_dir ;
1358 struct kernel_symbol const *syms ;
1359 unsigned long const *crcs ;
1360 unsigned int num_syms ;
1361 struct kernel_param *kp ;
1362 unsigned int num_kp ;
1363 unsigned int num_gpl_syms ;
1364 struct kernel_symbol const *gpl_syms ;
1365 unsigned long const *gpl_crcs ;
1366 struct kernel_symbol const *unused_syms ;
1367 unsigned long const *unused_crcs ;
1368 unsigned int num_unused_syms ;
1369 unsigned int num_unused_gpl_syms ;
1370 struct kernel_symbol const *unused_gpl_syms ;
1371 unsigned long const *unused_gpl_crcs ;
1372 struct kernel_symbol const *gpl_future_syms ;
1373 unsigned long const *gpl_future_crcs ;
1374 unsigned int num_gpl_future_syms ;
1375 unsigned int num_exentries ;
1376 struct exception_table_entry *extable ;
1377 int (*init)(void) ;
1378 void *module_init ;
1379 void *module_core ;
1380 unsigned int init_size ;
1381 unsigned int core_size ;
1382 unsigned int init_text_size ;
1383 unsigned int core_text_size ;
1384 unsigned int init_ro_size ;
1385 unsigned int core_ro_size ;
1386 struct mod_arch_specific arch ;
1387 unsigned int taints ;
1388 unsigned int num_bugs ;
1389 struct list_head bug_list ;
1390 struct bug_entry *bug_table ;
1391 Elf64_Sym *symtab ;
1392 Elf64_Sym *core_symtab ;
1393 unsigned int num_symtab ;
1394 unsigned int core_num_syms ;
1395 char *strtab ;
1396 char *core_strtab ;
1397 struct module_sect_attrs *sect_attrs ;
1398 struct module_notes_attrs *notes_attrs ;
1399 char *args ;
1400 void *percpu ;
1401 unsigned int percpu_size ;
1402 unsigned int num_tracepoints ;
1403 struct tracepoint * const *tracepoints_ptrs ;
1404 unsigned int num_trace_bprintk_fmt ;
1405 char const **trace_bprintk_fmt_start ;
1406 struct ftrace_event_call **trace_events ;
1407 unsigned int num_trace_events ;
1408 unsigned int num_ftrace_callsites ;
1409 unsigned long *ftrace_callsites ;
1410 struct list_head source_list ;
1411 struct list_head target_list ;
1412 struct task_struct *waiter ;
1413 void (*exit)(void) ;
1414 struct module_ref *refptr ;
1415 ctor_fn_t *ctors ;
1416 unsigned int num_ctors ;
1417};
1418#line 15 "include/linux/blk_types.h"
1419struct page;
1420#line 16
1421struct block_device;
1422#line 16
1423struct block_device;
1424#line 16
1425struct block_device;
1426#line 16
1427struct block_device;
1428#line 33 "include/linux/list_bl.h"
1429struct hlist_bl_node;
1430#line 33
1431struct hlist_bl_node;
1432#line 33
1433struct hlist_bl_node;
1434#line 33 "include/linux/list_bl.h"
1435struct hlist_bl_head {
1436 struct hlist_bl_node *first ;
1437};
1438#line 37 "include/linux/list_bl.h"
1439struct hlist_bl_node {
1440 struct hlist_bl_node *next ;
1441 struct hlist_bl_node **pprev ;
1442};
1443#line 13 "include/linux/dcache.h"
1444struct nameidata;
1445#line 13
1446struct nameidata;
1447#line 13
1448struct nameidata;
1449#line 13
1450struct nameidata;
1451#line 14
1452struct path;
1453#line 14
1454struct path;
1455#line 14
1456struct path;
1457#line 14
1458struct path;
1459#line 15
1460struct vfsmount;
1461#line 15
1462struct vfsmount;
1463#line 15
1464struct vfsmount;
1465#line 15
1466struct vfsmount;
1467#line 35 "include/linux/dcache.h"
1468struct qstr {
1469 unsigned int hash ;
1470 unsigned int len ;
1471 unsigned char const *name ;
1472};
1473#line 116
1474struct inode;
1475#line 116
1476struct inode;
1477#line 116
1478struct inode;
1479#line 116
1480struct dentry_operations;
1481#line 116
1482struct dentry_operations;
1483#line 116
1484struct dentry_operations;
1485#line 116
1486struct super_block;
1487#line 116
1488struct super_block;
1489#line 116
1490struct super_block;
1491#line 116 "include/linux/dcache.h"
1492union __anonunion_d_u_197 {
1493 struct list_head d_child ;
1494 struct rcu_head d_rcu ;
1495};
1496#line 116 "include/linux/dcache.h"
1497struct dentry {
1498 unsigned int d_flags ;
1499 seqcount_t d_seq ;
1500 struct hlist_bl_node d_hash ;
1501 struct dentry *d_parent ;
1502 struct qstr d_name ;
1503 struct inode *d_inode ;
1504 unsigned char d_iname[32] ;
1505 unsigned int d_count ;
1506 spinlock_t d_lock ;
1507 struct dentry_operations const *d_op ;
1508 struct super_block *d_sb ;
1509 unsigned long d_time ;
1510 void *d_fsdata ;
1511 struct list_head d_lru ;
1512 union __anonunion_d_u_197 d_u ;
1513 struct list_head d_subdirs ;
1514 struct list_head d_alias ;
1515};
1516#line 159 "include/linux/dcache.h"
1517struct dentry_operations {
1518 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1519 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1520 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1521 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1522 int (*d_delete)(struct dentry const * ) ;
1523 void (*d_release)(struct dentry * ) ;
1524 void (*d_iput)(struct dentry * , struct inode * ) ;
1525 char *(*d_dname)(struct dentry * , char * , int ) ;
1526 struct vfsmount *(*d_automount)(struct path * ) ;
1527 int (*d_manage)(struct dentry * , bool ) ;
1528} __attribute__((__aligned__((1) << (6) ))) ;
1529#line 4 "include/linux/path.h"
1530struct dentry;
1531#line 5
1532struct vfsmount;
1533#line 7 "include/linux/path.h"
1534struct path {
1535 struct vfsmount *mnt ;
1536 struct dentry *dentry ;
1537};
1538#line 57 "include/linux/radix-tree.h"
1539struct radix_tree_node;
1540#line 57
1541struct radix_tree_node;
1542#line 57
1543struct radix_tree_node;
1544#line 57 "include/linux/radix-tree.h"
1545struct radix_tree_root {
1546 unsigned int height ;
1547 gfp_t gfp_mask ;
1548 struct radix_tree_node *rnode ;
1549};
1550#line 14 "include/linux/prio_tree.h"
1551struct prio_tree_node;
1552#line 14
1553struct prio_tree_node;
1554#line 14
1555struct prio_tree_node;
1556#line 14 "include/linux/prio_tree.h"
1557struct raw_prio_tree_node {
1558 struct prio_tree_node *left ;
1559 struct prio_tree_node *right ;
1560 struct prio_tree_node *parent ;
1561};
1562#line 20 "include/linux/prio_tree.h"
1563struct prio_tree_node {
1564 struct prio_tree_node *left ;
1565 struct prio_tree_node *right ;
1566 struct prio_tree_node *parent ;
1567 unsigned long start ;
1568 unsigned long last ;
1569};
1570#line 28 "include/linux/prio_tree.h"
1571struct prio_tree_root {
1572 struct prio_tree_node *prio_tree_node ;
1573 unsigned short index_bits ;
1574 unsigned short raw ;
1575};
1576#line 6 "include/linux/pid.h"
1577enum pid_type {
1578 PIDTYPE_PID = 0,
1579 PIDTYPE_PGID = 1,
1580 PIDTYPE_SID = 2,
1581 PIDTYPE_MAX = 3
1582} ;
1583#line 50
1584struct pid_namespace;
1585#line 50
1586struct pid_namespace;
1587#line 50
1588struct pid_namespace;
1589#line 50 "include/linux/pid.h"
1590struct upid {
1591 int nr ;
1592 struct pid_namespace *ns ;
1593 struct hlist_node pid_chain ;
1594};
1595#line 57 "include/linux/pid.h"
1596struct pid {
1597 atomic_t count ;
1598 unsigned int level ;
1599 struct hlist_head tasks[3] ;
1600 struct rcu_head rcu ;
1601 struct upid numbers[1] ;
1602};
1603#line 69 "include/linux/pid.h"
1604struct pid_link {
1605 struct hlist_node node ;
1606 struct pid *pid ;
1607};
1608#line 100
1609struct pid_namespace;
1610#line 18 "include/linux/capability.h"
1611struct task_struct;
1612#line 94 "include/linux/capability.h"
1613struct kernel_cap_struct {
1614 __u32 cap[2] ;
1615};
1616#line 94 "include/linux/capability.h"
1617typedef struct kernel_cap_struct kernel_cap_t;
1618#line 376
1619struct dentry;
1620#line 377
1621struct user_namespace;
1622#line 377
1623struct user_namespace;
1624#line 377
1625struct user_namespace;
1626#line 377
1627struct user_namespace;
1628#line 16 "include/linux/semaphore.h"
1629struct semaphore {
1630 spinlock_t lock ;
1631 unsigned int count ;
1632 struct list_head wait_list ;
1633};
1634#line 16 "include/linux/fiemap.h"
1635struct fiemap_extent {
1636 __u64 fe_logical ;
1637 __u64 fe_physical ;
1638 __u64 fe_length ;
1639 __u64 fe_reserved64[2] ;
1640 __u32 fe_flags ;
1641 __u32 fe_reserved[3] ;
1642};
1643#line 399 "include/linux/fs.h"
1644struct export_operations;
1645#line 399
1646struct export_operations;
1647#line 399
1648struct export_operations;
1649#line 399
1650struct export_operations;
1651#line 401
1652struct iovec;
1653#line 401
1654struct iovec;
1655#line 401
1656struct iovec;
1657#line 401
1658struct iovec;
1659#line 402
1660struct nameidata;
1661#line 403
1662struct kiocb;
1663#line 403
1664struct kiocb;
1665#line 403
1666struct kiocb;
1667#line 403
1668struct kiocb;
1669#line 404
1670struct kobject;
1671#line 405
1672struct pipe_inode_info;
1673#line 405
1674struct pipe_inode_info;
1675#line 405
1676struct pipe_inode_info;
1677#line 405
1678struct pipe_inode_info;
1679#line 406
1680struct poll_table_struct;
1681#line 406
1682struct poll_table_struct;
1683#line 406
1684struct poll_table_struct;
1685#line 406
1686struct poll_table_struct;
1687#line 407
1688struct kstatfs;
1689#line 407
1690struct kstatfs;
1691#line 407
1692struct kstatfs;
1693#line 407
1694struct kstatfs;
1695#line 408
1696struct vm_area_struct;
1697#line 409
1698struct vfsmount;
1699#line 410
1700struct cred;
1701#line 460 "include/linux/fs.h"
1702struct iattr {
1703 unsigned int ia_valid ;
1704 umode_t ia_mode ;
1705 uid_t ia_uid ;
1706 gid_t ia_gid ;
1707 loff_t ia_size ;
1708 struct timespec ia_atime ;
1709 struct timespec ia_mtime ;
1710 struct timespec ia_ctime ;
1711 struct file *ia_file ;
1712};
1713#line 129 "include/linux/quota.h"
1714struct if_dqinfo {
1715 __u64 dqi_bgrace ;
1716 __u64 dqi_igrace ;
1717 __u32 dqi_flags ;
1718 __u32 dqi_valid ;
1719};
1720#line 50 "include/linux/dqblk_xfs.h"
1721struct fs_disk_quota {
1722 __s8 d_version ;
1723 __s8 d_flags ;
1724 __u16 d_fieldmask ;
1725 __u32 d_id ;
1726 __u64 d_blk_hardlimit ;
1727 __u64 d_blk_softlimit ;
1728 __u64 d_ino_hardlimit ;
1729 __u64 d_ino_softlimit ;
1730 __u64 d_bcount ;
1731 __u64 d_icount ;
1732 __s32 d_itimer ;
1733 __s32 d_btimer ;
1734 __u16 d_iwarns ;
1735 __u16 d_bwarns ;
1736 __s32 d_padding2 ;
1737 __u64 d_rtb_hardlimit ;
1738 __u64 d_rtb_softlimit ;
1739 __u64 d_rtbcount ;
1740 __s32 d_rtbtimer ;
1741 __u16 d_rtbwarns ;
1742 __s16 d_padding3 ;
1743 char d_padding4[8] ;
1744};
1745#line 146 "include/linux/dqblk_xfs.h"
1746struct fs_qfilestat {
1747 __u64 qfs_ino ;
1748 __u64 qfs_nblks ;
1749 __u32 qfs_nextents ;
1750};
1751#line 146 "include/linux/dqblk_xfs.h"
1752typedef struct fs_qfilestat fs_qfilestat_t;
1753#line 152 "include/linux/dqblk_xfs.h"
1754struct fs_quota_stat {
1755 __s8 qs_version ;
1756 __u16 qs_flags ;
1757 __s8 qs_pad ;
1758 fs_qfilestat_t qs_uquota ;
1759 fs_qfilestat_t qs_gquota ;
1760 __u32 qs_incoredqs ;
1761 __s32 qs_btimelimit ;
1762 __s32 qs_itimelimit ;
1763 __s32 qs_rtbtimelimit ;
1764 __u16 qs_bwarnlimit ;
1765 __u16 qs_iwarnlimit ;
1766};
1767#line 17 "include/linux/dqblk_qtree.h"
1768struct dquot;
1769#line 17
1770struct dquot;
1771#line 17
1772struct dquot;
1773#line 17
1774struct dquot;
1775#line 185 "include/linux/quota.h"
1776typedef __kernel_uid32_t qid_t;
1777#line 186 "include/linux/quota.h"
1778typedef long long qsize_t;
1779#line 200 "include/linux/quota.h"
1780struct mem_dqblk {
1781 qsize_t dqb_bhardlimit ;
1782 qsize_t dqb_bsoftlimit ;
1783 qsize_t dqb_curspace ;
1784 qsize_t dqb_rsvspace ;
1785 qsize_t dqb_ihardlimit ;
1786 qsize_t dqb_isoftlimit ;
1787 qsize_t dqb_curinodes ;
1788 time_t dqb_btime ;
1789 time_t dqb_itime ;
1790};
1791#line 215
1792struct quota_format_type;
1793#line 215
1794struct quota_format_type;
1795#line 215
1796struct quota_format_type;
1797#line 215
1798struct quota_format_type;
1799#line 217 "include/linux/quota.h"
1800struct mem_dqinfo {
1801 struct quota_format_type *dqi_format ;
1802 int dqi_fmt_id ;
1803 struct list_head dqi_dirty_list ;
1804 unsigned long dqi_flags ;
1805 unsigned int dqi_bgrace ;
1806 unsigned int dqi_igrace ;
1807 qsize_t dqi_maxblimit ;
1808 qsize_t dqi_maxilimit ;
1809 void *dqi_priv ;
1810};
1811#line 230
1812struct super_block;
1813#line 284 "include/linux/quota.h"
1814struct dquot {
1815 struct hlist_node dq_hash ;
1816 struct list_head dq_inuse ;
1817 struct list_head dq_free ;
1818 struct list_head dq_dirty ;
1819 struct mutex dq_lock ;
1820 atomic_t dq_count ;
1821 wait_queue_head_t dq_wait_unused ;
1822 struct super_block *dq_sb ;
1823 unsigned int dq_id ;
1824 loff_t dq_off ;
1825 unsigned long dq_flags ;
1826 short dq_type ;
1827 struct mem_dqblk dq_dqb ;
1828};
1829#line 301 "include/linux/quota.h"
1830struct quota_format_ops {
1831 int (*check_quota_file)(struct super_block *sb , int type ) ;
1832 int (*read_file_info)(struct super_block *sb , int type ) ;
1833 int (*write_file_info)(struct super_block *sb , int type ) ;
1834 int (*free_file_info)(struct super_block *sb , int type ) ;
1835 int (*read_dqblk)(struct dquot *dquot ) ;
1836 int (*commit_dqblk)(struct dquot *dquot ) ;
1837 int (*release_dqblk)(struct dquot *dquot ) ;
1838};
1839#line 312 "include/linux/quota.h"
1840struct dquot_operations {
1841 int (*write_dquot)(struct dquot * ) ;
1842 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1843 void (*destroy_dquot)(struct dquot * ) ;
1844 int (*acquire_dquot)(struct dquot * ) ;
1845 int (*release_dquot)(struct dquot * ) ;
1846 int (*mark_dirty)(struct dquot * ) ;
1847 int (*write_info)(struct super_block * , int ) ;
1848 qsize_t *(*get_reserved_space)(struct inode * ) ;
1849};
1850#line 325
1851struct path;
1852#line 328 "include/linux/quota.h"
1853struct quotactl_ops {
1854 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1855 int (*quota_on_meta)(struct super_block * , int , int ) ;
1856 int (*quota_off)(struct super_block * , int ) ;
1857 int (*quota_sync)(struct super_block * , int , int ) ;
1858 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1859 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1860 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1861 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1862 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1863 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1864};
1865#line 341 "include/linux/quota.h"
1866struct quota_format_type {
1867 int qf_fmt_id ;
1868 struct quota_format_ops const *qf_ops ;
1869 struct module *qf_owner ;
1870 struct quota_format_type *qf_next ;
1871};
1872#line 395 "include/linux/quota.h"
1873struct quota_info {
1874 unsigned int flags ;
1875 struct mutex dqio_mutex ;
1876 struct mutex dqonoff_mutex ;
1877 struct rw_semaphore dqptr_sem ;
1878 struct inode *files[2] ;
1879 struct mem_dqinfo info[2] ;
1880 struct quota_format_ops const *ops[2] ;
1881};
1882#line 523 "include/linux/fs.h"
1883struct page;
1884#line 524
1885struct address_space;
1886#line 524
1887struct address_space;
1888#line 524
1889struct address_space;
1890#line 524
1891struct address_space;
1892#line 525
1893struct writeback_control;
1894#line 525
1895struct writeback_control;
1896#line 525
1897struct writeback_control;
1898#line 525
1899struct writeback_control;
1900#line 568 "include/linux/fs.h"
1901union __anonunion_arg_205 {
1902 char *buf ;
1903 void *data ;
1904};
1905#line 568 "include/linux/fs.h"
1906struct __anonstruct_read_descriptor_t_204 {
1907 size_t written ;
1908 size_t count ;
1909 union __anonunion_arg_205 arg ;
1910 int error ;
1911};
1912#line 568 "include/linux/fs.h"
1913typedef struct __anonstruct_read_descriptor_t_204 read_descriptor_t;
1914#line 581 "include/linux/fs.h"
1915struct address_space_operations {
1916 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1917 int (*readpage)(struct file * , struct page * ) ;
1918 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1919 int (*set_page_dirty)(struct page *page ) ;
1920 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1921 unsigned int nr_pages ) ;
1922 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1923 unsigned int len , unsigned int flags , struct page **pagep ,
1924 void **fsdata ) ;
1925 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1926 unsigned int copied , struct page *page , void *fsdata ) ;
1927 sector_t (*bmap)(struct address_space * , sector_t ) ;
1928 void (*invalidatepage)(struct page * , unsigned long ) ;
1929 int (*releasepage)(struct page * , gfp_t ) ;
1930 void (*freepage)(struct page * ) ;
1931 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1932 unsigned long nr_segs ) ;
1933 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1934 int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
1935 int (*launder_page)(struct page * ) ;
1936 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1937 int (*error_remove_page)(struct address_space * , struct page * ) ;
1938};
1939#line 633
1940struct backing_dev_info;
1941#line 633
1942struct backing_dev_info;
1943#line 633
1944struct backing_dev_info;
1945#line 633
1946struct backing_dev_info;
1947#line 634 "include/linux/fs.h"
1948struct address_space {
1949 struct inode *host ;
1950 struct radix_tree_root page_tree ;
1951 spinlock_t tree_lock ;
1952 unsigned int i_mmap_writable ;
1953 struct prio_tree_root i_mmap ;
1954 struct list_head i_mmap_nonlinear ;
1955 struct mutex i_mmap_mutex ;
1956 unsigned long nrpages ;
1957 unsigned long writeback_index ;
1958 struct address_space_operations const *a_ops ;
1959 unsigned long flags ;
1960 struct backing_dev_info *backing_dev_info ;
1961 spinlock_t private_lock ;
1962 struct list_head private_list ;
1963 struct address_space *assoc_mapping ;
1964} __attribute__((__aligned__(sizeof(long )))) ;
1965#line 658
1966struct hd_struct;
1967#line 658
1968struct hd_struct;
1969#line 658
1970struct hd_struct;
1971#line 658
1972struct gendisk;
1973#line 658
1974struct gendisk;
1975#line 658
1976struct gendisk;
1977#line 658 "include/linux/fs.h"
1978struct block_device {
1979 dev_t bd_dev ;
1980 int bd_openers ;
1981 struct inode *bd_inode ;
1982 struct super_block *bd_super ;
1983 struct mutex bd_mutex ;
1984 struct list_head bd_inodes ;
1985 void *bd_claiming ;
1986 void *bd_holder ;
1987 int bd_holders ;
1988 bool bd_write_holder ;
1989 struct list_head bd_holder_disks ;
1990 struct block_device *bd_contains ;
1991 unsigned int bd_block_size ;
1992 struct hd_struct *bd_part ;
1993 unsigned int bd_part_count ;
1994 int bd_invalidated ;
1995 struct gendisk *bd_disk ;
1996 struct list_head bd_list ;
1997 unsigned long bd_private ;
1998 int bd_fsfreeze_count ;
1999 struct mutex bd_fsfreeze_mutex ;
2000};
2001#line 735
2002struct posix_acl;
2003#line 735
2004struct posix_acl;
2005#line 735
2006struct posix_acl;
2007#line 735
2008struct posix_acl;
2009#line 738
2010struct inode_operations;
2011#line 738
2012struct inode_operations;
2013#line 738
2014struct inode_operations;
2015#line 738 "include/linux/fs.h"
2016union __anonunion____missing_field_name_206 {
2017 struct list_head i_dentry ;
2018 struct rcu_head i_rcu ;
2019};
2020#line 738
2021struct file_operations;
2022#line 738
2023struct file_operations;
2024#line 738
2025struct file_operations;
2026#line 738
2027struct file_lock;
2028#line 738
2029struct file_lock;
2030#line 738
2031struct file_lock;
2032#line 738
2033struct cdev;
2034#line 738
2035struct cdev;
2036#line 738
2037struct cdev;
2038#line 738 "include/linux/fs.h"
2039union __anonunion____missing_field_name_207 {
2040 struct pipe_inode_info *i_pipe ;
2041 struct block_device *i_bdev ;
2042 struct cdev *i_cdev ;
2043};
2044#line 738 "include/linux/fs.h"
2045struct inode {
2046 umode_t i_mode ;
2047 uid_t i_uid ;
2048 gid_t i_gid ;
2049 struct inode_operations const *i_op ;
2050 struct super_block *i_sb ;
2051 spinlock_t i_lock ;
2052 unsigned int i_flags ;
2053 unsigned long i_state ;
2054 void *i_security ;
2055 struct mutex i_mutex ;
2056 unsigned long dirtied_when ;
2057 struct hlist_node i_hash ;
2058 struct list_head i_wb_list ;
2059 struct list_head i_lru ;
2060 struct list_head i_sb_list ;
2061 union __anonunion____missing_field_name_206 __annonCompField32 ;
2062 unsigned long i_ino ;
2063 atomic_t i_count ;
2064 unsigned int i_nlink ;
2065 dev_t i_rdev ;
2066 unsigned int i_blkbits ;
2067 u64 i_version ;
2068 loff_t i_size ;
2069 struct timespec i_atime ;
2070 struct timespec i_mtime ;
2071 struct timespec i_ctime ;
2072 blkcnt_t i_blocks ;
2073 unsigned short i_bytes ;
2074 struct rw_semaphore i_alloc_sem ;
2075 struct file_operations const *i_fop ;
2076 struct file_lock *i_flock ;
2077 struct address_space *i_mapping ;
2078 struct address_space i_data ;
2079 struct dquot *i_dquot[2] ;
2080 struct list_head i_devices ;
2081 union __anonunion____missing_field_name_207 __annonCompField33 ;
2082 __u32 i_generation ;
2083 __u32 i_fsnotify_mask ;
2084 struct hlist_head i_fsnotify_marks ;
2085 atomic_t i_readcount ;
2086 atomic_t i_writecount ;
2087 struct posix_acl *i_acl ;
2088 struct posix_acl *i_default_acl ;
2089 void *i_private ;
2090};
2091#line 903 "include/linux/fs.h"
2092struct fown_struct {
2093 rwlock_t lock ;
2094 struct pid *pid ;
2095 enum pid_type pid_type ;
2096 uid_t uid ;
2097 uid_t euid ;
2098 int signum ;
2099};
2100#line 914 "include/linux/fs.h"
2101struct file_ra_state {
2102 unsigned long start ;
2103 unsigned int size ;
2104 unsigned int async_size ;
2105 unsigned int ra_pages ;
2106 unsigned int mmap_miss ;
2107 loff_t prev_pos ;
2108};
2109#line 937 "include/linux/fs.h"
2110union __anonunion_f_u_208 {
2111 struct list_head fu_list ;
2112 struct rcu_head fu_rcuhead ;
2113};
2114#line 937 "include/linux/fs.h"
2115struct file {
2116 union __anonunion_f_u_208 f_u ;
2117 struct path f_path ;
2118 struct file_operations const *f_op ;
2119 spinlock_t f_lock ;
2120 int f_sb_list_cpu ;
2121 atomic_long_t f_count ;
2122 unsigned int f_flags ;
2123 fmode_t f_mode ;
2124 loff_t f_pos ;
2125 struct fown_struct f_owner ;
2126 struct cred const *f_cred ;
2127 struct file_ra_state f_ra ;
2128 u64 f_version ;
2129 void *f_security ;
2130 void *private_data ;
2131 struct list_head f_ep_links ;
2132 struct address_space *f_mapping ;
2133 unsigned long f_mnt_write_state ;
2134};
2135#line 1064
2136struct files_struct;
2137#line 1064
2138struct files_struct;
2139#line 1064
2140struct files_struct;
2141#line 1064 "include/linux/fs.h"
2142typedef struct files_struct *fl_owner_t;
2143#line 1066 "include/linux/fs.h"
2144struct file_lock_operations {
2145 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2146 void (*fl_release_private)(struct file_lock * ) ;
2147};
2148#line 1071 "include/linux/fs.h"
2149struct lock_manager_operations {
2150 int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
2151 void (*fl_notify)(struct file_lock * ) ;
2152 int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
2153 void (*fl_release_private)(struct file_lock * ) ;
2154 void (*fl_break)(struct file_lock * ) ;
2155 int (*fl_change)(struct file_lock ** , int ) ;
2156};
2157#line 8 "include/linux/nfs_fs_i.h"
2158struct nlm_lockowner;
2159#line 8
2160struct nlm_lockowner;
2161#line 8
2162struct nlm_lockowner;
2163#line 8
2164struct nlm_lockowner;
2165#line 13 "include/linux/nfs_fs_i.h"
2166struct nfs_lock_info {
2167 u32 state ;
2168 struct nlm_lockowner *owner ;
2169 struct list_head list ;
2170};
2171#line 19
2172struct nfs4_lock_state;
2173#line 19
2174struct nfs4_lock_state;
2175#line 19
2176struct nfs4_lock_state;
2177#line 19
2178struct nfs4_lock_state;
2179#line 20 "include/linux/nfs_fs_i.h"
2180struct nfs4_lock_info {
2181 struct nfs4_lock_state *owner ;
2182};
2183#line 1091 "include/linux/fs.h"
2184struct fasync_struct;
2185#line 1091
2186struct fasync_struct;
2187#line 1091
2188struct fasync_struct;
2189#line 1091 "include/linux/fs.h"
2190struct __anonstruct_afs_210 {
2191 struct list_head link ;
2192 int state ;
2193};
2194#line 1091 "include/linux/fs.h"
2195union __anonunion_fl_u_209 {
2196 struct nfs_lock_info nfs_fl ;
2197 struct nfs4_lock_info nfs4_fl ;
2198 struct __anonstruct_afs_210 afs ;
2199};
2200#line 1091 "include/linux/fs.h"
2201struct file_lock {
2202 struct file_lock *fl_next ;
2203 struct list_head fl_link ;
2204 struct list_head fl_block ;
2205 fl_owner_t fl_owner ;
2206 unsigned char fl_flags ;
2207 unsigned char fl_type ;
2208 unsigned int fl_pid ;
2209 struct pid *fl_nspid ;
2210 wait_queue_head_t fl_wait ;
2211 struct file *fl_file ;
2212 loff_t fl_start ;
2213 loff_t fl_end ;
2214 struct fasync_struct *fl_fasync ;
2215 unsigned long fl_break_time ;
2216 struct file_lock_operations const *fl_ops ;
2217 struct lock_manager_operations const *fl_lmops ;
2218 union __anonunion_fl_u_209 fl_u ;
2219};
2220#line 1324 "include/linux/fs.h"
2221struct fasync_struct {
2222 spinlock_t fa_lock ;
2223 int magic ;
2224 int fa_fd ;
2225 struct fasync_struct *fa_next ;
2226 struct file *fa_file ;
2227 struct rcu_head fa_rcu ;
2228};
2229#line 1364
2230struct file_system_type;
2231#line 1364
2232struct file_system_type;
2233#line 1364
2234struct file_system_type;
2235#line 1364
2236struct super_operations;
2237#line 1364
2238struct super_operations;
2239#line 1364
2240struct super_operations;
2241#line 1364
2242struct xattr_handler;
2243#line 1364
2244struct xattr_handler;
2245#line 1364
2246struct xattr_handler;
2247#line 1364
2248struct mtd_info;
2249#line 1364
2250struct mtd_info;
2251#line 1364
2252struct mtd_info;
2253#line 1364 "include/linux/fs.h"
2254struct super_block {
2255 struct list_head s_list ;
2256 dev_t s_dev ;
2257 unsigned char s_dirt ;
2258 unsigned char s_blocksize_bits ;
2259 unsigned long s_blocksize ;
2260 loff_t s_maxbytes ;
2261 struct file_system_type *s_type ;
2262 struct super_operations const *s_op ;
2263 struct dquot_operations const *dq_op ;
2264 struct quotactl_ops const *s_qcop ;
2265 struct export_operations const *s_export_op ;
2266 unsigned long s_flags ;
2267 unsigned long s_magic ;
2268 struct dentry *s_root ;
2269 struct rw_semaphore s_umount ;
2270 struct mutex s_lock ;
2271 int s_count ;
2272 atomic_t s_active ;
2273 void *s_security ;
2274 struct xattr_handler const **s_xattr ;
2275 struct list_head s_inodes ;
2276 struct hlist_bl_head s_anon ;
2277 struct list_head *s_files ;
2278 struct list_head s_dentry_lru ;
2279 int s_nr_dentry_unused ;
2280 struct block_device *s_bdev ;
2281 struct backing_dev_info *s_bdi ;
2282 struct mtd_info *s_mtd ;
2283 struct list_head s_instances ;
2284 struct quota_info s_dquot ;
2285 int s_frozen ;
2286 wait_queue_head_t s_wait_unfrozen ;
2287 char s_id[32] ;
2288 u8 s_uuid[16] ;
2289 void *s_fs_info ;
2290 fmode_t s_mode ;
2291 u32 s_time_gran ;
2292 struct mutex s_vfs_rename_mutex ;
2293 char *s_subtype ;
2294 char *s_options ;
2295 struct dentry_operations const *s_d_op ;
2296 int cleancache_poolid ;
2297};
2298#line 1499 "include/linux/fs.h"
2299struct fiemap_extent_info {
2300 unsigned int fi_flags ;
2301 unsigned int fi_extents_mapped ;
2302 unsigned int fi_extents_max ;
2303 struct fiemap_extent *fi_extents_start ;
2304};
2305#line 1546 "include/linux/fs.h"
2306struct file_operations {
2307 struct module *owner ;
2308 loff_t (*llseek)(struct file * , loff_t , int ) ;
2309 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2310 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2311 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2312 loff_t ) ;
2313 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2314 loff_t ) ;
2315 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2316 loff_t , u64 , unsigned int ) ) ;
2317 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2318 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2319 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2320 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2321 int (*open)(struct inode * , struct file * ) ;
2322 int (*flush)(struct file * , fl_owner_t id ) ;
2323 int (*release)(struct inode * , struct file * ) ;
2324 int (*fsync)(struct file * , int datasync ) ;
2325 int (*aio_fsync)(struct kiocb * , int datasync ) ;
2326 int (*fasync)(int , struct file * , int ) ;
2327 int (*lock)(struct file * , int , struct file_lock * ) ;
2328 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2329 int ) ;
2330 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2331 unsigned long , unsigned long ) ;
2332 int (*check_flags)(int ) ;
2333 int (*flock)(struct file * , int , struct file_lock * ) ;
2334 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2335 unsigned int ) ;
2336 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2337 unsigned int ) ;
2338 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2339 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
2340};
2341#line 1578 "include/linux/fs.h"
2342struct inode_operations {
2343 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2344 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2345 int (*permission)(struct inode * , int , unsigned int ) ;
2346 int (*check_acl)(struct inode * , int , unsigned int ) ;
2347 int (*readlink)(struct dentry * , char * , int ) ;
2348 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2349 int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
2350 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2351 int (*unlink)(struct inode * , struct dentry * ) ;
2352 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2353 int (*mkdir)(struct inode * , struct dentry * , int ) ;
2354 int (*rmdir)(struct inode * , struct dentry * ) ;
2355 int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
2356 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2357 void (*truncate)(struct inode * ) ;
2358 int (*setattr)(struct dentry * , struct iattr * ) ;
2359 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2360 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2361 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2362 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2363 int (*removexattr)(struct dentry * , char const * ) ;
2364 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2365 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2366} __attribute__((__aligned__((1) << (6) ))) ;
2367#line 1608
2368struct seq_file;
2369#line 1622 "include/linux/fs.h"
2370struct super_operations {
2371 struct inode *(*alloc_inode)(struct super_block *sb ) ;
2372 void (*destroy_inode)(struct inode * ) ;
2373 void (*dirty_inode)(struct inode * , int flags ) ;
2374 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2375 int (*drop_inode)(struct inode * ) ;
2376 void (*evict_inode)(struct inode * ) ;
2377 void (*put_super)(struct super_block * ) ;
2378 void (*write_super)(struct super_block * ) ;
2379 int (*sync_fs)(struct super_block *sb , int wait ) ;
2380 int (*freeze_fs)(struct super_block * ) ;
2381 int (*unfreeze_fs)(struct super_block * ) ;
2382 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2383 int (*remount_fs)(struct super_block * , int * , char * ) ;
2384 void (*umount_begin)(struct super_block * ) ;
2385 int (*show_options)(struct seq_file * , struct vfsmount * ) ;
2386 int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
2387 int (*show_path)(struct seq_file * , struct vfsmount * ) ;
2388 int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
2389 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2390 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2391 loff_t ) ;
2392 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2393};
2394#line 1802 "include/linux/fs.h"
2395struct file_system_type {
2396 char const *name ;
2397 int fs_flags ;
2398 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2399 void (*kill_sb)(struct super_block * ) ;
2400 struct module *owner ;
2401 struct file_system_type *next ;
2402 struct list_head fs_supers ;
2403 struct lock_class_key s_lock_key ;
2404 struct lock_class_key s_umount_key ;
2405 struct lock_class_key s_vfs_rename_key ;
2406 struct lock_class_key i_lock_key ;
2407 struct lock_class_key i_mutex_key ;
2408 struct lock_class_key i_mutex_dir_key ;
2409 struct lock_class_key i_alloc_sem_key ;
2410};
2411#line 38 "include/linux/slub_def.h"
2412struct kmem_cache_cpu {
2413 void **freelist ;
2414 unsigned long tid ;
2415 struct page *page ;
2416 int node ;
2417 unsigned int stat[19] ;
2418};
2419#line 48 "include/linux/slub_def.h"
2420struct kmem_cache_node {
2421 spinlock_t list_lock ;
2422 unsigned long nr_partial ;
2423 struct list_head partial ;
2424 atomic_long_t nr_slabs ;
2425 atomic_long_t total_objects ;
2426 struct list_head full ;
2427};
2428#line 64 "include/linux/slub_def.h"
2429struct kmem_cache_order_objects {
2430 unsigned long x ;
2431};
2432#line 71 "include/linux/slub_def.h"
2433struct kmem_cache {
2434 struct kmem_cache_cpu *cpu_slab ;
2435 unsigned long flags ;
2436 unsigned long min_partial ;
2437 int size ;
2438 int objsize ;
2439 int offset ;
2440 struct kmem_cache_order_objects oo ;
2441 struct kmem_cache_order_objects max ;
2442 struct kmem_cache_order_objects min ;
2443 gfp_t allocflags ;
2444 int refcount ;
2445 void (*ctor)(void * ) ;
2446 int inuse ;
2447 int align ;
2448 int reserved ;
2449 char const *name ;
2450 struct list_head list ;
2451 struct kobject kobj ;
2452 int remote_node_defrag_ratio ;
2453 struct kmem_cache_node *node[1 << 10] ;
2454};
2455#line 100 "include/linux/rbtree.h"
2456struct rb_node {
2457 unsigned long rb_parent_color ;
2458 struct rb_node *rb_right ;
2459 struct rb_node *rb_left ;
2460} __attribute__((__aligned__(sizeof(long )))) ;
2461#line 110 "include/linux/rbtree.h"
2462struct rb_root {
2463 struct rb_node *rb_node ;
2464};
2465#line 23 "include/linux/mm_types.h"
2466struct address_space;
2467#line 34 "include/linux/mm_types.h"
2468struct __anonstruct____missing_field_name_214 {
2469 u16 inuse ;
2470 u16 objects ;
2471};
2472#line 34 "include/linux/mm_types.h"
2473union __anonunion____missing_field_name_213 {
2474 atomic_t _mapcount ;
2475 struct __anonstruct____missing_field_name_214 __annonCompField34 ;
2476};
2477#line 34 "include/linux/mm_types.h"
2478struct __anonstruct____missing_field_name_216 {
2479 unsigned long private ;
2480 struct address_space *mapping ;
2481};
2482#line 34 "include/linux/mm_types.h"
2483union __anonunion____missing_field_name_215 {
2484 struct __anonstruct____missing_field_name_216 __annonCompField36 ;
2485 struct kmem_cache *slab ;
2486 struct page *first_page ;
2487};
2488#line 34 "include/linux/mm_types.h"
2489union __anonunion____missing_field_name_217 {
2490 unsigned long index ;
2491 void *freelist ;
2492};
2493#line 34 "include/linux/mm_types.h"
2494struct page {
2495 unsigned long flags ;
2496 atomic_t _count ;
2497 union __anonunion____missing_field_name_213 __annonCompField35 ;
2498 union __anonunion____missing_field_name_215 __annonCompField37 ;
2499 union __anonunion____missing_field_name_217 __annonCompField38 ;
2500 struct list_head lru ;
2501};
2502#line 132 "include/linux/mm_types.h"
2503struct __anonstruct_vm_set_219 {
2504 struct list_head list ;
2505 void *parent ;
2506 struct vm_area_struct *head ;
2507};
2508#line 132 "include/linux/mm_types.h"
2509union __anonunion_shared_218 {
2510 struct __anonstruct_vm_set_219 vm_set ;
2511 struct raw_prio_tree_node prio_tree_node ;
2512};
2513#line 132
2514struct anon_vma;
2515#line 132
2516struct anon_vma;
2517#line 132
2518struct anon_vma;
2519#line 132
2520struct vm_operations_struct;
2521#line 132
2522struct vm_operations_struct;
2523#line 132
2524struct vm_operations_struct;
2525#line 132
2526struct mempolicy;
2527#line 132
2528struct mempolicy;
2529#line 132
2530struct mempolicy;
2531#line 132 "include/linux/mm_types.h"
2532struct vm_area_struct {
2533 struct mm_struct *vm_mm ;
2534 unsigned long vm_start ;
2535 unsigned long vm_end ;
2536 struct vm_area_struct *vm_next ;
2537 struct vm_area_struct *vm_prev ;
2538 pgprot_t vm_page_prot ;
2539 unsigned long vm_flags ;
2540 struct rb_node vm_rb ;
2541 union __anonunion_shared_218 shared ;
2542 struct list_head anon_vma_chain ;
2543 struct anon_vma *anon_vma ;
2544 struct vm_operations_struct const *vm_ops ;
2545 unsigned long vm_pgoff ;
2546 struct file *vm_file ;
2547 void *vm_private_data ;
2548 struct mempolicy *vm_policy ;
2549};
2550#line 189 "include/linux/mm_types.h"
2551struct core_thread {
2552 struct task_struct *task ;
2553 struct core_thread *next ;
2554};
2555#line 194 "include/linux/mm_types.h"
2556struct core_state {
2557 atomic_t nr_threads ;
2558 struct core_thread dumper ;
2559 struct completion startup ;
2560};
2561#line 216 "include/linux/mm_types.h"
2562struct mm_rss_stat {
2563 atomic_long_t count[3] ;
2564};
2565#line 220
2566struct linux_binfmt;
2567#line 220
2568struct linux_binfmt;
2569#line 220
2570struct linux_binfmt;
2571#line 220
2572struct mmu_notifier_mm;
2573#line 220
2574struct mmu_notifier_mm;
2575#line 220
2576struct mmu_notifier_mm;
2577#line 220 "include/linux/mm_types.h"
2578struct mm_struct {
2579 struct vm_area_struct *mmap ;
2580 struct rb_root mm_rb ;
2581 struct vm_area_struct *mmap_cache ;
2582 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2583 unsigned long pgoff , unsigned long flags ) ;
2584 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2585 unsigned long mmap_base ;
2586 unsigned long task_size ;
2587 unsigned long cached_hole_size ;
2588 unsigned long free_area_cache ;
2589 pgd_t *pgd ;
2590 atomic_t mm_users ;
2591 atomic_t mm_count ;
2592 int map_count ;
2593 spinlock_t page_table_lock ;
2594 struct rw_semaphore mmap_sem ;
2595 struct list_head mmlist ;
2596 unsigned long hiwater_rss ;
2597 unsigned long hiwater_vm ;
2598 unsigned long total_vm ;
2599 unsigned long locked_vm ;
2600 unsigned long shared_vm ;
2601 unsigned long exec_vm ;
2602 unsigned long stack_vm ;
2603 unsigned long reserved_vm ;
2604 unsigned long def_flags ;
2605 unsigned long nr_ptes ;
2606 unsigned long start_code ;
2607 unsigned long end_code ;
2608 unsigned long start_data ;
2609 unsigned long end_data ;
2610 unsigned long start_brk ;
2611 unsigned long brk ;
2612 unsigned long start_stack ;
2613 unsigned long arg_start ;
2614 unsigned long arg_end ;
2615 unsigned long env_start ;
2616 unsigned long env_end ;
2617 unsigned long saved_auxv[44] ;
2618 struct mm_rss_stat rss_stat ;
2619 struct linux_binfmt *binfmt ;
2620 cpumask_var_t cpu_vm_mask_var ;
2621 mm_context_t context ;
2622 unsigned int faultstamp ;
2623 unsigned int token_priority ;
2624 unsigned int last_interval ;
2625 atomic_t oom_disable_count ;
2626 unsigned long flags ;
2627 struct core_state *core_state ;
2628 spinlock_t ioctx_lock ;
2629 struct hlist_head ioctx_list ;
2630 struct task_struct *owner ;
2631 struct file *exe_file ;
2632 unsigned long num_exe_file_vmas ;
2633 struct mmu_notifier_mm *mmu_notifier_mm ;
2634 pgtable_t pmd_huge_pte ;
2635 struct cpumask cpumask_allocation ;
2636};
2637#line 19 "include/linux/mm.h"
2638struct mempolicy;
2639#line 20
2640struct anon_vma;
2641#line 21
2642struct file_ra_state;
2643#line 22
2644struct user_struct;
2645#line 22
2646struct user_struct;
2647#line 22
2648struct user_struct;
2649#line 22
2650struct user_struct;
2651#line 23
2652struct writeback_control;
2653#line 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64.h"
2654struct mm_struct;
2655#line 656 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable.h"
2656struct vm_area_struct;
2657#line 185 "include/linux/mm.h"
2658struct vm_fault {
2659 unsigned int flags ;
2660 unsigned long pgoff ;
2661 void *virtual_address ;
2662 struct page *page ;
2663};
2664#line 202 "include/linux/mm.h"
2665struct vm_operations_struct {
2666 void (*open)(struct vm_area_struct *area ) ;
2667 void (*close)(struct vm_area_struct *area ) ;
2668 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
2669 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
2670 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
2671 int write ) ;
2672 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
2673 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
2674 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
2675 unsigned long flags ) ;
2676};
2677#line 244
2678struct inode;
2679#line 197 "include/linux/page-flags.h"
2680struct page;
2681#line 37 "include/linux/parport.h"
2682enum __anonenum_parport_device_class_221 {
2683 PARPORT_CLASS_LEGACY = 0,
2684 PARPORT_CLASS_PRINTER = 1,
2685 PARPORT_CLASS_MODEM = 2,
2686 PARPORT_CLASS_NET = 3,
2687 PARPORT_CLASS_HDC = 4,
2688 PARPORT_CLASS_PCMCIA = 5,
2689 PARPORT_CLASS_MEDIA = 6,
2690 PARPORT_CLASS_FDC = 7,
2691 PARPORT_CLASS_PORTS = 8,
2692 PARPORT_CLASS_SCANNER = 9,
2693 PARPORT_CLASS_DIGCAM = 10,
2694 PARPORT_CLASS_OTHER = 11,
2695 PARPORT_CLASS_UNSPEC = 12,
2696 PARPORT_CLASS_SCSIADAPTER = 13
2697} ;
2698#line 37 "include/linux/parport.h"
2699typedef enum __anonenum_parport_device_class_221 parport_device_class;
2700#line 11 "include/linux/proc_fs.h"
2701struct completion;
2702#line 12
2703struct mm_struct;
2704#line 46 "include/linux/proc_fs.h"
2705typedef int read_proc_t(char *page , char **start , off_t off , int count , int *eof ,
2706 void *data );
2707#line 48 "include/linux/proc_fs.h"
2708typedef int write_proc_t(struct file *file , char const *buffer , unsigned long count ,
2709 void *data );
2710#line 51 "include/linux/proc_fs.h"
2711struct proc_dir_entry {
2712 unsigned int low_ino ;
2713 unsigned int namelen ;
2714 char const *name ;
2715 mode_t mode ;
2716 nlink_t nlink ;
2717 uid_t uid ;
2718 gid_t gid ;
2719 loff_t size ;
2720 struct inode_operations const *proc_iops ;
2721 struct file_operations const *proc_fops ;
2722 struct proc_dir_entry *next ;
2723 struct proc_dir_entry *parent ;
2724 struct proc_dir_entry *subdir ;
2725 void *data ;
2726 read_proc_t *read_proc ;
2727 write_proc_t *write_proc ;
2728 atomic_t count ;
2729 int pde_users ;
2730 spinlock_t pde_unload_lock ;
2731 struct completion *pde_unload_completion ;
2732 struct list_head pde_openers ;
2733};
2734#line 117
2735struct pid_namespace;
2736#line 243
2737struct nsproxy;
2738#line 10 "include/linux/irqreturn.h"
2739enum irqreturn {
2740 IRQ_NONE = 0,
2741 IRQ_HANDLED = 1,
2742 IRQ_WAKE_THREAD = 2
2743} ;
2744#line 16 "include/linux/irqreturn.h"
2745typedef enum irqreturn irqreturn_t;
2746#line 107 "include/linux/parport.h"
2747struct parport;
2748#line 107
2749struct parport;
2750#line 107
2751struct parport;
2752#line 107
2753struct parport;
2754#line 108
2755struct pardevice;
2756#line 108
2757struct pardevice;
2758#line 108
2759struct pardevice;
2760#line 108
2761struct pardevice;
2762#line 110 "include/linux/parport.h"
2763struct pc_parport_state {
2764 unsigned int ctr ;
2765 unsigned int ecr ;
2766};
2767#line 115 "include/linux/parport.h"
2768struct ax_parport_state {
2769 unsigned int ctr ;
2770 unsigned int ecr ;
2771 unsigned int dcsr ;
2772};
2773#line 122 "include/linux/parport.h"
2774struct amiga_parport_state {
2775 unsigned char data ;
2776 unsigned char datadir ;
2777 unsigned char status ;
2778 unsigned char statusdir ;
2779};
2780#line 129 "include/linux/parport.h"
2781struct ax88796_parport_state {
2782 unsigned char cpr ;
2783};
2784#line 133 "include/linux/parport.h"
2785struct ip32_parport_state {
2786 unsigned int dcr ;
2787 unsigned int ecr ;
2788};
2789#line 138 "include/linux/parport.h"
2790union __anonunion_u_223 {
2791 struct pc_parport_state pc ;
2792 struct ax_parport_state ax ;
2793 struct amiga_parport_state amiga ;
2794 struct ax88796_parport_state ax88796 ;
2795 struct ip32_parport_state ip32 ;
2796 void *misc ;
2797};
2798#line 138 "include/linux/parport.h"
2799struct parport_state {
2800 union __anonunion_u_223 u ;
2801};
2802#line 151 "include/linux/parport.h"
2803struct parport_operations {
2804 void (*write_data)(struct parport * , unsigned char ) ;
2805 unsigned char (*read_data)(struct parport * ) ;
2806 void (*write_control)(struct parport * , unsigned char ) ;
2807 unsigned char (*read_control)(struct parport * ) ;
2808 unsigned char (*frob_control)(struct parport * , unsigned char mask , unsigned char val ) ;
2809 unsigned char (*read_status)(struct parport * ) ;
2810 void (*enable_irq)(struct parport * ) ;
2811 void (*disable_irq)(struct parport * ) ;
2812 void (*data_forward)(struct parport * ) ;
2813 void (*data_reverse)(struct parport * ) ;
2814 void (*init_state)(struct pardevice * , struct parport_state * ) ;
2815 void (*save_state)(struct parport * , struct parport_state * ) ;
2816 void (*restore_state)(struct parport * , struct parport_state * ) ;
2817 size_t (*epp_write_data)(struct parport *port , void const *buf , size_t len ,
2818 int flags ) ;
2819 size_t (*epp_read_data)(struct parport *port , void *buf , size_t len , int flags ) ;
2820 size_t (*epp_write_addr)(struct parport *port , void const *buf , size_t len ,
2821 int flags ) ;
2822 size_t (*epp_read_addr)(struct parport *port , void *buf , size_t len , int flags ) ;
2823 size_t (*ecp_write_data)(struct parport *port , void const *buf , size_t len ,
2824 int flags ) ;
2825 size_t (*ecp_read_data)(struct parport *port , void *buf , size_t len , int flags ) ;
2826 size_t (*ecp_write_addr)(struct parport *port , void const *buf , size_t len ,
2827 int flags ) ;
2828 size_t (*compat_write_data)(struct parport *port , void const *buf , size_t len ,
2829 int flags ) ;
2830 size_t (*nibble_read_data)(struct parport *port , void *buf , size_t len , int flags ) ;
2831 size_t (*byte_read_data)(struct parport *port , void *buf , size_t len , int flags ) ;
2832 struct module *owner ;
2833};
2834#line 202 "include/linux/parport.h"
2835struct parport_device_info {
2836 parport_device_class class ;
2837 char const *class_name ;
2838 char const *mfr ;
2839 char const *model ;
2840 char const *cmdset ;
2841 char const *description ;
2842};
2843#line 224 "include/linux/parport.h"
2844struct pardevice {
2845 char const *name ;
2846 struct parport *port ;
2847 int daisy ;
2848 int (*preempt)(void * ) ;
2849 void (*wakeup)(void * ) ;
2850 void *private ;
2851 void (*irq_func)(void * ) ;
2852 unsigned int flags ;
2853 struct pardevice *next ;
2854 struct pardevice *prev ;
2855 struct parport_state *state ;
2856 wait_queue_head_t wait_q ;
2857 unsigned long time ;
2858 unsigned long timeslice ;
2859 long volatile timeout ;
2860 unsigned long waiting ;
2861 struct pardevice *waitprev ;
2862 struct pardevice *waitnext ;
2863 void *sysctl_table ;
2864};
2865#line 250
2866enum ieee1284_phase {
2867 IEEE1284_PH_FWD_DATA = 0,
2868 IEEE1284_PH_FWD_IDLE = 1,
2869 IEEE1284_PH_TERMINATE = 2,
2870 IEEE1284_PH_NEGOTIATION = 3,
2871 IEEE1284_PH_HBUSY_DNA = 4,
2872 IEEE1284_PH_REV_IDLE = 5,
2873 IEEE1284_PH_HBUSY_DAVAIL = 6,
2874 IEEE1284_PH_REV_DATA = 7,
2875 IEEE1284_PH_ECP_SETUP = 8,
2876 IEEE1284_PH_ECP_FWD_TO_REV = 9,
2877 IEEE1284_PH_ECP_REV_TO_FWD = 10,
2878 IEEE1284_PH_ECP_DIR_UNKNOWN = 11
2879} ;
2880#line 264 "include/linux/parport.h"
2881struct ieee1284_info {
2882 int mode ;
2883 enum ieee1284_phase volatile phase ;
2884 struct semaphore irq ;
2885};
2886#line 271 "include/linux/parport.h"
2887struct parport {
2888 unsigned long base ;
2889 unsigned long base_hi ;
2890 unsigned int size ;
2891 char const *name ;
2892 unsigned int modes ;
2893 int irq ;
2894 int dma ;
2895 int muxport ;
2896 int portnum ;
2897 struct device *dev ;
2898 struct parport *physport ;
2899 struct pardevice *devices ;
2900 struct pardevice *cad ;
2901 int daisy ;
2902 int muxsel ;
2903 struct pardevice *waithead ;
2904 struct pardevice *waittail ;
2905 struct list_head list ;
2906 unsigned int flags ;
2907 void *sysctl_table ;
2908 struct parport_device_info probe_info[5] ;
2909 struct ieee1284_info ieee1284 ;
2910 struct parport_operations *ops ;
2911 void *private_data ;
2912 int number ;
2913 spinlock_t pardevice_lock ;
2914 spinlock_t waitlist_lock ;
2915 rwlock_t cad_lock ;
2916 int spintime ;
2917 atomic_t ref_count ;
2918 unsigned long devflags ;
2919 struct pardevice *proc_device ;
2920 struct list_head full_list ;
2921 struct parport *slaves[3] ;
2922};
2923#line 337 "include/linux/parport.h"
2924struct parport_driver {
2925 char const *name ;
2926 void (*attach)(struct parport * ) ;
2927 void (*detach)(struct parport * ) ;
2928 struct list_head list ;
2929};
2930#line 7 "include/asm-generic/cputime.h"
2931typedef unsigned long cputime_t;
2932#line 84 "include/linux/sem.h"
2933struct task_struct;
2934#line 122
2935struct sem_undo_list;
2936#line 122
2937struct sem_undo_list;
2938#line 122
2939struct sem_undo_list;
2940#line 135 "include/linux/sem.h"
2941struct sem_undo_list {
2942 atomic_t refcnt ;
2943 spinlock_t lock ;
2944 struct list_head list_proc ;
2945};
2946#line 141 "include/linux/sem.h"
2947struct sysv_sem {
2948 struct sem_undo_list *undo_list ;
2949};
2950#line 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2951struct siginfo;
2952#line 10
2953struct siginfo;
2954#line 10
2955struct siginfo;
2956#line 10
2957struct siginfo;
2958#line 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2959struct __anonstruct_sigset_t_224 {
2960 unsigned long sig[1] ;
2961};
2962#line 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2963typedef struct __anonstruct_sigset_t_224 sigset_t;
2964#line 17 "include/asm-generic/signal-defs.h"
2965typedef void __signalfn_t(int );
2966#line 18 "include/asm-generic/signal-defs.h"
2967typedef __signalfn_t *__sighandler_t;
2968#line 20 "include/asm-generic/signal-defs.h"
2969typedef void __restorefn_t(void);
2970#line 21 "include/asm-generic/signal-defs.h"
2971typedef __restorefn_t *__sigrestore_t;
2972#line 167 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2973struct sigaction {
2974 __sighandler_t sa_handler ;
2975 unsigned long sa_flags ;
2976 __sigrestore_t sa_restorer ;
2977 sigset_t sa_mask ;
2978};
2979#line 174 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2980struct k_sigaction {
2981 struct sigaction sa ;
2982};
2983#line 7 "include/asm-generic/siginfo.h"
2984union sigval {
2985 int sival_int ;
2986 void *sival_ptr ;
2987};
2988#line 7 "include/asm-generic/siginfo.h"
2989typedef union sigval sigval_t;
2990#line 40 "include/asm-generic/siginfo.h"
2991struct __anonstruct__kill_226 {
2992 __kernel_pid_t _pid ;
2993 __kernel_uid32_t _uid ;
2994};
2995#line 40 "include/asm-generic/siginfo.h"
2996struct __anonstruct__timer_227 {
2997 __kernel_timer_t _tid ;
2998 int _overrun ;
2999 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
3000 sigval_t _sigval ;
3001 int _sys_private ;
3002};
3003#line 40 "include/asm-generic/siginfo.h"
3004struct __anonstruct__rt_228 {
3005 __kernel_pid_t _pid ;
3006 __kernel_uid32_t _uid ;
3007 sigval_t _sigval ;
3008};
3009#line 40 "include/asm-generic/siginfo.h"
3010struct __anonstruct__sigchld_229 {
3011 __kernel_pid_t _pid ;
3012 __kernel_uid32_t _uid ;
3013 int _status ;
3014 __kernel_clock_t _utime ;
3015 __kernel_clock_t _stime ;
3016};
3017#line 40 "include/asm-generic/siginfo.h"
3018struct __anonstruct__sigfault_230 {
3019 void *_addr ;
3020 short _addr_lsb ;
3021};
3022#line 40 "include/asm-generic/siginfo.h"
3023struct __anonstruct__sigpoll_231 {
3024 long _band ;
3025 int _fd ;
3026};
3027#line 40 "include/asm-generic/siginfo.h"
3028union __anonunion__sifields_225 {
3029 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
3030 struct __anonstruct__kill_226 _kill ;
3031 struct __anonstruct__timer_227 _timer ;
3032 struct __anonstruct__rt_228 _rt ;
3033 struct __anonstruct__sigchld_229 _sigchld ;
3034 struct __anonstruct__sigfault_230 _sigfault ;
3035 struct __anonstruct__sigpoll_231 _sigpoll ;
3036};
3037#line 40 "include/asm-generic/siginfo.h"
3038struct siginfo {
3039 int si_signo ;
3040 int si_errno ;
3041 int si_code ;
3042 union __anonunion__sifields_225 _sifields ;
3043};
3044#line 40 "include/asm-generic/siginfo.h"
3045typedef struct siginfo siginfo_t;
3046#line 280
3047struct siginfo;
3048#line 10 "include/linux/signal.h"
3049struct task_struct;
3050#line 28 "include/linux/signal.h"
3051struct sigpending {
3052 struct list_head list ;
3053 sigset_t signal ;
3054};
3055#line 239
3056struct timespec;
3057#line 240
3058struct pt_regs;
3059#line 97 "include/linux/proportions.h"
3060struct prop_local_single {
3061 unsigned long events ;
3062 unsigned long period ;
3063 int shift ;
3064 spinlock_t lock ;
3065};
3066#line 10 "include/linux/seccomp.h"
3067struct __anonstruct_seccomp_t_234 {
3068 int mode ;
3069};
3070#line 10 "include/linux/seccomp.h"
3071typedef struct __anonstruct_seccomp_t_234 seccomp_t;
3072#line 82 "include/linux/plist.h"
3073struct plist_head {
3074 struct list_head node_list ;
3075 raw_spinlock_t *rawlock ;
3076 spinlock_t *spinlock ;
3077};
3078#line 90 "include/linux/plist.h"
3079struct plist_node {
3080 int prio ;
3081 struct list_head prio_list ;
3082 struct list_head node_list ;
3083};
3084#line 40 "include/linux/rtmutex.h"
3085struct rt_mutex_waiter;
3086#line 40
3087struct rt_mutex_waiter;
3088#line 40
3089struct rt_mutex_waiter;
3090#line 40
3091struct rt_mutex_waiter;
3092#line 42 "include/linux/resource.h"
3093struct rlimit {
3094 unsigned long rlim_cur ;
3095 unsigned long rlim_max ;
3096};
3097#line 81
3098struct task_struct;
3099#line 8 "include/linux/timerqueue.h"
3100struct timerqueue_node {
3101 struct rb_node node ;
3102 ktime_t expires ;
3103};
3104#line 13 "include/linux/timerqueue.h"
3105struct timerqueue_head {
3106 struct rb_root head ;
3107 struct timerqueue_node *next ;
3108};
3109#line 27 "include/linux/hrtimer.h"
3110struct hrtimer_clock_base;
3111#line 27
3112struct hrtimer_clock_base;
3113#line 27
3114struct hrtimer_clock_base;
3115#line 27
3116struct hrtimer_clock_base;
3117#line 28
3118struct hrtimer_cpu_base;
3119#line 28
3120struct hrtimer_cpu_base;
3121#line 28
3122struct hrtimer_cpu_base;
3123#line 28
3124struct hrtimer_cpu_base;
3125#line 44
3126enum hrtimer_restart {
3127 HRTIMER_NORESTART = 0,
3128 HRTIMER_RESTART = 1
3129} ;
3130#line 108 "include/linux/hrtimer.h"
3131struct hrtimer {
3132 struct timerqueue_node node ;
3133 ktime_t _softexpires ;
3134 enum hrtimer_restart (*function)(struct hrtimer * ) ;
3135 struct hrtimer_clock_base *base ;
3136 unsigned long state ;
3137 int start_pid ;
3138 void *start_site ;
3139 char start_comm[16] ;
3140};
3141#line 145 "include/linux/hrtimer.h"
3142struct hrtimer_clock_base {
3143 struct hrtimer_cpu_base *cpu_base ;
3144 int index ;
3145 clockid_t clockid ;
3146 struct timerqueue_head active ;
3147 ktime_t resolution ;
3148 ktime_t (*get_time)(void) ;
3149 ktime_t softirq_time ;
3150 ktime_t offset ;
3151};
3152#line 178 "include/linux/hrtimer.h"
3153struct hrtimer_cpu_base {
3154 raw_spinlock_t lock ;
3155 unsigned long active_bases ;
3156 ktime_t expires_next ;
3157 int hres_active ;
3158 int hang_detected ;
3159 unsigned long nr_events ;
3160 unsigned long nr_retries ;
3161 unsigned long nr_hangs ;
3162 ktime_t max_hang_time ;
3163 struct hrtimer_clock_base clock_base[3] ;
3164};
3165#line 11 "include/linux/task_io_accounting.h"
3166struct task_io_accounting {
3167 u64 rchar ;
3168 u64 wchar ;
3169 u64 syscr ;
3170 u64 syscw ;
3171 u64 read_bytes ;
3172 u64 write_bytes ;
3173 u64 cancelled_write_bytes ;
3174};
3175#line 18 "include/linux/latencytop.h"
3176struct latency_record {
3177 unsigned long backtrace[12] ;
3178 unsigned int count ;
3179 unsigned long time ;
3180 unsigned long max ;
3181};
3182#line 26
3183struct task_struct;
3184#line 29 "include/linux/key.h"
3185typedef int32_t key_serial_t;
3186#line 32 "include/linux/key.h"
3187typedef uint32_t key_perm_t;
3188#line 34
3189struct key;
3190#line 34
3191struct key;
3192#line 34
3193struct key;
3194#line 34
3195struct key;
3196#line 74
3197struct seq_file;
3198#line 75
3199struct user_struct;
3200#line 76
3201struct signal_struct;
3202#line 76
3203struct signal_struct;
3204#line 76
3205struct signal_struct;
3206#line 76
3207struct signal_struct;
3208#line 77
3209struct cred;
3210#line 79
3211struct key_type;
3212#line 79
3213struct key_type;
3214#line 79
3215struct key_type;
3216#line 79
3217struct key_type;
3218#line 81
3219struct keyring_list;
3220#line 81
3221struct keyring_list;
3222#line 81
3223struct keyring_list;
3224#line 81
3225struct keyring_list;
3226#line 124
3227struct key_user;
3228#line 124
3229struct key_user;
3230#line 124
3231struct key_user;
3232#line 124 "include/linux/key.h"
3233union __anonunion____missing_field_name_235 {
3234 time_t expiry ;
3235 time_t revoked_at ;
3236};
3237#line 124 "include/linux/key.h"
3238union __anonunion_type_data_236 {
3239 struct list_head link ;
3240 unsigned long x[2] ;
3241 void *p[2] ;
3242 int reject_error ;
3243};
3244#line 124 "include/linux/key.h"
3245union __anonunion_payload_237 {
3246 unsigned long value ;
3247 void *rcudata ;
3248 void *data ;
3249 struct keyring_list *subscriptions ;
3250};
3251#line 124 "include/linux/key.h"
3252struct key {
3253 atomic_t usage ;
3254 key_serial_t serial ;
3255 struct rb_node serial_node ;
3256 struct key_type *type ;
3257 struct rw_semaphore sem ;
3258 struct key_user *user ;
3259 void *security ;
3260 union __anonunion____missing_field_name_235 __annonCompField39 ;
3261 uid_t uid ;
3262 gid_t gid ;
3263 key_perm_t perm ;
3264 unsigned short quotalen ;
3265 unsigned short datalen ;
3266 unsigned long flags ;
3267 char *description ;
3268 union __anonunion_type_data_236 type_data ;
3269 union __anonunion_payload_237 payload ;
3270};
3271#line 18 "include/linux/selinux.h"
3272struct audit_context;
3273#line 18
3274struct audit_context;
3275#line 18
3276struct audit_context;
3277#line 18
3278struct audit_context;
3279#line 21 "include/linux/cred.h"
3280struct user_struct;
3281#line 22
3282struct cred;
3283#line 23
3284struct inode;
3285#line 31 "include/linux/cred.h"
3286struct group_info {
3287 atomic_t usage ;
3288 int ngroups ;
3289 int nblocks ;
3290 gid_t small_block[32] ;
3291 gid_t *blocks[0] ;
3292};
3293#line 83 "include/linux/cred.h"
3294struct thread_group_cred {
3295 atomic_t usage ;
3296 pid_t tgid ;
3297 spinlock_t lock ;
3298 struct key *session_keyring ;
3299 struct key *process_keyring ;
3300 struct rcu_head rcu ;
3301};
3302#line 116 "include/linux/cred.h"
3303struct cred {
3304 atomic_t usage ;
3305 atomic_t subscribers ;
3306 void *put_addr ;
3307 unsigned int magic ;
3308 uid_t uid ;
3309 gid_t gid ;
3310 uid_t suid ;
3311 gid_t sgid ;
3312 uid_t euid ;
3313 gid_t egid ;
3314 uid_t fsuid ;
3315 gid_t fsgid ;
3316 unsigned int securebits ;
3317 kernel_cap_t cap_inheritable ;
3318 kernel_cap_t cap_permitted ;
3319 kernel_cap_t cap_effective ;
3320 kernel_cap_t cap_bset ;
3321 unsigned char jit_keyring ;
3322 struct key *thread_keyring ;
3323 struct key *request_key_auth ;
3324 struct thread_group_cred *tgcred ;
3325 void *security ;
3326 struct user_struct *user ;
3327 struct user_namespace *user_ns ;
3328 struct group_info *group_info ;
3329 struct rcu_head rcu ;
3330};
3331#line 96 "include/linux/sched.h"
3332struct exec_domain;
3333#line 97
3334struct futex_pi_state;
3335#line 97
3336struct futex_pi_state;
3337#line 97
3338struct futex_pi_state;
3339#line 97
3340struct futex_pi_state;
3341#line 98
3342struct robust_list_head;
3343#line 98
3344struct robust_list_head;
3345#line 98
3346struct robust_list_head;
3347#line 98
3348struct robust_list_head;
3349#line 99
3350struct bio_list;
3351#line 99
3352struct bio_list;
3353#line 99
3354struct bio_list;
3355#line 99
3356struct bio_list;
3357#line 100
3358struct fs_struct;
3359#line 100
3360struct fs_struct;
3361#line 100
3362struct fs_struct;
3363#line 100
3364struct fs_struct;
3365#line 101
3366struct perf_event_context;
3367#line 101
3368struct perf_event_context;
3369#line 101
3370struct perf_event_context;
3371#line 101
3372struct perf_event_context;
3373#line 102
3374struct blk_plug;
3375#line 102
3376struct blk_plug;
3377#line 102
3378struct blk_plug;
3379#line 102
3380struct blk_plug;
3381#line 150
3382struct seq_file;
3383#line 151
3384struct cfs_rq;
3385#line 151
3386struct cfs_rq;
3387#line 151
3388struct cfs_rq;
3389#line 151
3390struct cfs_rq;
3391#line 259
3392struct task_struct;
3393#line 364
3394struct nsproxy;
3395#line 365
3396struct user_namespace;
3397#line 58 "include/linux/aio_abi.h"
3398struct io_event {
3399 __u64 data ;
3400 __u64 obj ;
3401 __s64 res ;
3402 __s64 res2 ;
3403};
3404#line 16 "include/linux/uio.h"
3405struct iovec {
3406 void *iov_base ;
3407 __kernel_size_t iov_len ;
3408};
3409#line 15 "include/linux/aio.h"
3410struct kioctx;
3411#line 15
3412struct kioctx;
3413#line 15
3414struct kioctx;
3415#line 15
3416struct kioctx;
3417#line 87 "include/linux/aio.h"
3418union __anonunion_ki_obj_239 {
3419 void *user ;
3420 struct task_struct *tsk ;
3421};
3422#line 87
3423struct eventfd_ctx;
3424#line 87
3425struct eventfd_ctx;
3426#line 87
3427struct eventfd_ctx;
3428#line 87 "include/linux/aio.h"
3429struct kiocb {
3430 struct list_head ki_run_list ;
3431 unsigned long ki_flags ;
3432 int ki_users ;
3433 unsigned int ki_key ;
3434 struct file *ki_filp ;
3435 struct kioctx *ki_ctx ;
3436 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3437 ssize_t (*ki_retry)(struct kiocb * ) ;
3438 void (*ki_dtor)(struct kiocb * ) ;
3439 union __anonunion_ki_obj_239 ki_obj ;
3440 __u64 ki_user_data ;
3441 loff_t ki_pos ;
3442 void *private ;
3443 unsigned short ki_opcode ;
3444 size_t ki_nbytes ;
3445 char *ki_buf ;
3446 size_t ki_left ;
3447 struct iovec ki_inline_vec ;
3448 struct iovec *ki_iovec ;
3449 unsigned long ki_nr_segs ;
3450 unsigned long ki_cur_seg ;
3451 struct list_head ki_list ;
3452 struct eventfd_ctx *ki_eventfd ;
3453};
3454#line 165 "include/linux/aio.h"
3455struct aio_ring_info {
3456 unsigned long mmap_base ;
3457 unsigned long mmap_size ;
3458 struct page **ring_pages ;
3459 spinlock_t ring_lock ;
3460 long nr_pages ;
3461 unsigned int nr ;
3462 unsigned int tail ;
3463 struct page *internal_pages[8] ;
3464};
3465#line 178 "include/linux/aio.h"
3466struct kioctx {
3467 atomic_t users ;
3468 int dead ;
3469 struct mm_struct *mm ;
3470 unsigned long user_id ;
3471 struct hlist_node list ;
3472 wait_queue_head_t wait ;
3473 spinlock_t ctx_lock ;
3474 int reqs_active ;
3475 struct list_head active_reqs ;
3476 struct list_head run_list ;
3477 unsigned int max_reqs ;
3478 struct aio_ring_info ring_info ;
3479 struct delayed_work wq ;
3480 struct rcu_head rcu_head ;
3481};
3482#line 213
3483struct mm_struct;
3484#line 441 "include/linux/sched.h"
3485struct sighand_struct {
3486 atomic_t count ;
3487 struct k_sigaction action[64] ;
3488 spinlock_t siglock ;
3489 wait_queue_head_t signalfd_wqh ;
3490};
3491#line 448 "include/linux/sched.h"
3492struct pacct_struct {
3493 int ac_flag ;
3494 long ac_exitcode ;
3495 unsigned long ac_mem ;
3496 cputime_t ac_utime ;
3497 cputime_t ac_stime ;
3498 unsigned long ac_minflt ;
3499 unsigned long ac_majflt ;
3500};
3501#line 456 "include/linux/sched.h"
3502struct cpu_itimer {
3503 cputime_t expires ;
3504 cputime_t incr ;
3505 u32 error ;
3506 u32 incr_error ;
3507};
3508#line 474 "include/linux/sched.h"
3509struct task_cputime {
3510 cputime_t utime ;
3511 cputime_t stime ;
3512 unsigned long long sum_exec_runtime ;
3513};
3514#line 510 "include/linux/sched.h"
3515struct thread_group_cputimer {
3516 struct task_cputime cputime ;
3517 int running ;
3518 spinlock_t lock ;
3519};
3520#line 517
3521struct autogroup;
3522#line 517
3523struct autogroup;
3524#line 517
3525struct autogroup;
3526#line 517
3527struct autogroup;
3528#line 526
3529struct tty_struct;
3530#line 526
3531struct tty_struct;
3532#line 526
3533struct tty_struct;
3534#line 526
3535struct taskstats;
3536#line 526
3537struct taskstats;
3538#line 526
3539struct taskstats;
3540#line 526
3541struct tty_audit_buf;
3542#line 526
3543struct tty_audit_buf;
3544#line 526
3545struct tty_audit_buf;
3546#line 526 "include/linux/sched.h"
3547struct signal_struct {
3548 atomic_t sigcnt ;
3549 atomic_t live ;
3550 int nr_threads ;
3551 wait_queue_head_t wait_chldexit ;
3552 struct task_struct *curr_target ;
3553 struct sigpending shared_pending ;
3554 int group_exit_code ;
3555 int notify_count ;
3556 struct task_struct *group_exit_task ;
3557 int group_stop_count ;
3558 unsigned int flags ;
3559 struct list_head posix_timers ;
3560 struct hrtimer real_timer ;
3561 struct pid *leader_pid ;
3562 ktime_t it_real_incr ;
3563 struct cpu_itimer it[2] ;
3564 struct thread_group_cputimer cputimer ;
3565 struct task_cputime cputime_expires ;
3566 struct list_head cpu_timers[3] ;
3567 struct pid *tty_old_pgrp ;
3568 int leader ;
3569 struct tty_struct *tty ;
3570 struct autogroup *autogroup ;
3571 cputime_t utime ;
3572 cputime_t stime ;
3573 cputime_t cutime ;
3574 cputime_t cstime ;
3575 cputime_t gtime ;
3576 cputime_t cgtime ;
3577 cputime_t prev_utime ;
3578 cputime_t prev_stime ;
3579 unsigned long nvcsw ;
3580 unsigned long nivcsw ;
3581 unsigned long cnvcsw ;
3582 unsigned long cnivcsw ;
3583 unsigned long min_flt ;
3584 unsigned long maj_flt ;
3585 unsigned long cmin_flt ;
3586 unsigned long cmaj_flt ;
3587 unsigned long inblock ;
3588 unsigned long oublock ;
3589 unsigned long cinblock ;
3590 unsigned long coublock ;
3591 unsigned long maxrss ;
3592 unsigned long cmaxrss ;
3593 struct task_io_accounting ioac ;
3594 unsigned long long sum_sched_runtime ;
3595 struct rlimit rlim[16] ;
3596 struct pacct_struct pacct ;
3597 struct taskstats *stats ;
3598 unsigned int audit_tty ;
3599 struct tty_audit_buf *tty_audit_buf ;
3600 struct rw_semaphore threadgroup_fork_lock ;
3601 int oom_adj ;
3602 int oom_score_adj ;
3603 int oom_score_adj_min ;
3604 struct mutex cred_guard_mutex ;
3605};
3606#line 687 "include/linux/sched.h"
3607struct user_struct {
3608 atomic_t __count ;
3609 atomic_t processes ;
3610 atomic_t files ;
3611 atomic_t sigpending ;
3612 atomic_t inotify_watches ;
3613 atomic_t inotify_devs ;
3614 atomic_t fanotify_listeners ;
3615 atomic_long_t epoll_watches ;
3616 unsigned long mq_bytes ;
3617 unsigned long locked_shm ;
3618 struct key *uid_keyring ;
3619 struct key *session_keyring ;
3620 struct hlist_node uidhash_node ;
3621 uid_t uid ;
3622 struct user_namespace *user_ns ;
3623 atomic_long_t locked_vm ;
3624};
3625#line 731
3626struct backing_dev_info;
3627#line 732
3628struct reclaim_state;
3629#line 732
3630struct reclaim_state;
3631#line 732
3632struct reclaim_state;
3633#line 732
3634struct reclaim_state;
3635#line 735 "include/linux/sched.h"
3636struct sched_info {
3637 unsigned long pcount ;
3638 unsigned long long run_delay ;
3639 unsigned long long last_arrival ;
3640 unsigned long long last_queued ;
3641};
3642#line 747 "include/linux/sched.h"
3643struct task_delay_info {
3644 spinlock_t lock ;
3645 unsigned int flags ;
3646 struct timespec blkio_start ;
3647 struct timespec blkio_end ;
3648 u64 blkio_delay ;
3649 u64 swapin_delay ;
3650 u32 blkio_count ;
3651 u32 swapin_count ;
3652 struct timespec freepages_start ;
3653 struct timespec freepages_end ;
3654 u64 freepages_delay ;
3655 u32 freepages_count ;
3656};
3657#line 1050
3658struct io_context;
3659#line 1050
3660struct io_context;
3661#line 1050
3662struct io_context;
3663#line 1050
3664struct io_context;
3665#line 1059
3666struct audit_context;
3667#line 1060
3668struct mempolicy;
3669#line 1061
3670struct pipe_inode_info;
3671#line 1064
3672struct rq;
3673#line 1064
3674struct rq;
3675#line 1064
3676struct rq;
3677#line 1064
3678struct rq;
3679#line 1084 "include/linux/sched.h"
3680struct sched_class {
3681 struct sched_class const *next ;
3682 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3683 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
3684 void (*yield_task)(struct rq *rq ) ;
3685 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
3686 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
3687 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
3688 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
3689 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
3690 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
3691 void (*post_schedule)(struct rq *this_rq ) ;
3692 void (*task_waking)(struct task_struct *task ) ;
3693 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
3694 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
3695 void (*rq_online)(struct rq *rq ) ;
3696 void (*rq_offline)(struct rq *rq ) ;
3697 void (*set_curr_task)(struct rq *rq ) ;
3698 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
3699 void (*task_fork)(struct task_struct *p ) ;
3700 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
3701 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
3702 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
3703 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
3704 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
3705};
3706#line 1129 "include/linux/sched.h"
3707struct load_weight {
3708 unsigned long weight ;
3709 unsigned long inv_weight ;
3710};
3711#line 1134 "include/linux/sched.h"
3712struct sched_statistics {
3713 u64 wait_start ;
3714 u64 wait_max ;
3715 u64 wait_count ;
3716 u64 wait_sum ;
3717 u64 iowait_count ;
3718 u64 iowait_sum ;
3719 u64 sleep_start ;
3720 u64 sleep_max ;
3721 s64 sum_sleep_runtime ;
3722 u64 block_start ;
3723 u64 block_max ;
3724 u64 exec_max ;
3725 u64 slice_max ;
3726 u64 nr_migrations_cold ;
3727 u64 nr_failed_migrations_affine ;
3728 u64 nr_failed_migrations_running ;
3729 u64 nr_failed_migrations_hot ;
3730 u64 nr_forced_migrations ;
3731 u64 nr_wakeups ;
3732 u64 nr_wakeups_sync ;
3733 u64 nr_wakeups_migrate ;
3734 u64 nr_wakeups_local ;
3735 u64 nr_wakeups_remote ;
3736 u64 nr_wakeups_affine ;
3737 u64 nr_wakeups_affine_attempts ;
3738 u64 nr_wakeups_passive ;
3739 u64 nr_wakeups_idle ;
3740};
3741#line 1169 "include/linux/sched.h"
3742struct sched_entity {
3743 struct load_weight load ;
3744 struct rb_node run_node ;
3745 struct list_head group_node ;
3746 unsigned int on_rq ;
3747 u64 exec_start ;
3748 u64 sum_exec_runtime ;
3749 u64 vruntime ;
3750 u64 prev_sum_exec_runtime ;
3751 u64 nr_migrations ;
3752 struct sched_statistics statistics ;
3753 struct sched_entity *parent ;
3754 struct cfs_rq *cfs_rq ;
3755 struct cfs_rq *my_q ;
3756};
3757#line 1195
3758struct rt_rq;
3759#line 1195
3760struct rt_rq;
3761#line 1195
3762struct rt_rq;
3763#line 1195 "include/linux/sched.h"
3764struct sched_rt_entity {
3765 struct list_head run_list ;
3766 unsigned long timeout ;
3767 unsigned int time_slice ;
3768 int nr_cpus_allowed ;
3769 struct sched_rt_entity *back ;
3770 struct sched_rt_entity *parent ;
3771 struct rt_rq *rt_rq ;
3772 struct rt_rq *my_q ;
3773};
3774#line 1220
3775struct irqaction;
3776#line 1220
3777struct irqaction;
3778#line 1220
3779struct irqaction;
3780#line 1220
3781struct css_set;
3782#line 1220
3783struct css_set;
3784#line 1220
3785struct css_set;
3786#line 1220
3787struct compat_robust_list_head;
3788#line 1220
3789struct compat_robust_list_head;
3790#line 1220
3791struct compat_robust_list_head;
3792#line 1220
3793struct ftrace_ret_stack;
3794#line 1220
3795struct ftrace_ret_stack;
3796#line 1220
3797struct ftrace_ret_stack;
3798#line 1220
3799struct mem_cgroup;
3800#line 1220
3801struct mem_cgroup;
3802#line 1220
3803struct mem_cgroup;
3804#line 1220 "include/linux/sched.h"
3805struct memcg_batch_info {
3806 int do_batch ;
3807 struct mem_cgroup *memcg ;
3808 unsigned long nr_pages ;
3809 unsigned long memsw_nr_pages ;
3810};
3811#line 1220 "include/linux/sched.h"
3812struct task_struct {
3813 long volatile state ;
3814 void *stack ;
3815 atomic_t usage ;
3816 unsigned int flags ;
3817 unsigned int ptrace ;
3818 struct task_struct *wake_entry ;
3819 int on_cpu ;
3820 int on_rq ;
3821 int prio ;
3822 int static_prio ;
3823 int normal_prio ;
3824 unsigned int rt_priority ;
3825 struct sched_class const *sched_class ;
3826 struct sched_entity se ;
3827 struct sched_rt_entity rt ;
3828 struct hlist_head preempt_notifiers ;
3829 unsigned char fpu_counter ;
3830 unsigned int btrace_seq ;
3831 unsigned int policy ;
3832 cpumask_t cpus_allowed ;
3833 struct sched_info sched_info ;
3834 struct list_head tasks ;
3835 struct plist_node pushable_tasks ;
3836 struct mm_struct *mm ;
3837 struct mm_struct *active_mm ;
3838 unsigned int brk_randomized : 1 ;
3839 int exit_state ;
3840 int exit_code ;
3841 int exit_signal ;
3842 int pdeath_signal ;
3843 unsigned int group_stop ;
3844 unsigned int personality ;
3845 unsigned int did_exec : 1 ;
3846 unsigned int in_execve : 1 ;
3847 unsigned int in_iowait : 1 ;
3848 unsigned int sched_reset_on_fork : 1 ;
3849 unsigned int sched_contributes_to_load : 1 ;
3850 pid_t pid ;
3851 pid_t tgid ;
3852 unsigned long stack_canary ;
3853 struct task_struct *real_parent ;
3854 struct task_struct *parent ;
3855 struct list_head children ;
3856 struct list_head sibling ;
3857 struct task_struct *group_leader ;
3858 struct list_head ptraced ;
3859 struct list_head ptrace_entry ;
3860 struct pid_link pids[3] ;
3861 struct list_head thread_group ;
3862 struct completion *vfork_done ;
3863 int *set_child_tid ;
3864 int *clear_child_tid ;
3865 cputime_t utime ;
3866 cputime_t stime ;
3867 cputime_t utimescaled ;
3868 cputime_t stimescaled ;
3869 cputime_t gtime ;
3870 cputime_t prev_utime ;
3871 cputime_t prev_stime ;
3872 unsigned long nvcsw ;
3873 unsigned long nivcsw ;
3874 struct timespec start_time ;
3875 struct timespec real_start_time ;
3876 unsigned long min_flt ;
3877 unsigned long maj_flt ;
3878 struct task_cputime cputime_expires ;
3879 struct list_head cpu_timers[3] ;
3880 struct cred const *real_cred ;
3881 struct cred const *cred ;
3882 struct cred *replacement_session_keyring ;
3883 char comm[16] ;
3884 int link_count ;
3885 int total_link_count ;
3886 struct sysv_sem sysvsem ;
3887 unsigned long last_switch_count ;
3888 struct thread_struct thread ;
3889 struct fs_struct *fs ;
3890 struct files_struct *files ;
3891 struct nsproxy *nsproxy ;
3892 struct signal_struct *signal ;
3893 struct sighand_struct *sighand ;
3894 sigset_t blocked ;
3895 sigset_t real_blocked ;
3896 sigset_t saved_sigmask ;
3897 struct sigpending pending ;
3898 unsigned long sas_ss_sp ;
3899 size_t sas_ss_size ;
3900 int (*notifier)(void *priv ) ;
3901 void *notifier_data ;
3902 sigset_t *notifier_mask ;
3903 struct audit_context *audit_context ;
3904 uid_t loginuid ;
3905 unsigned int sessionid ;
3906 seccomp_t seccomp ;
3907 u32 parent_exec_id ;
3908 u32 self_exec_id ;
3909 spinlock_t alloc_lock ;
3910 struct irqaction *irqaction ;
3911 raw_spinlock_t pi_lock ;
3912 struct plist_head pi_waiters ;
3913 struct rt_mutex_waiter *pi_blocked_on ;
3914 struct mutex_waiter *blocked_on ;
3915 unsigned int irq_events ;
3916 unsigned long hardirq_enable_ip ;
3917 unsigned long hardirq_disable_ip ;
3918 unsigned int hardirq_enable_event ;
3919 unsigned int hardirq_disable_event ;
3920 int hardirqs_enabled ;
3921 int hardirq_context ;
3922 unsigned long softirq_disable_ip ;
3923 unsigned long softirq_enable_ip ;
3924 unsigned int softirq_disable_event ;
3925 unsigned int softirq_enable_event ;
3926 int softirqs_enabled ;
3927 int softirq_context ;
3928 u64 curr_chain_key ;
3929 int lockdep_depth ;
3930 unsigned int lockdep_recursion ;
3931 struct held_lock held_locks[48UL] ;
3932 gfp_t lockdep_reclaim_gfp ;
3933 void *journal_info ;
3934 struct bio_list *bio_list ;
3935 struct blk_plug *plug ;
3936 struct reclaim_state *reclaim_state ;
3937 struct backing_dev_info *backing_dev_info ;
3938 struct io_context *io_context ;
3939 unsigned long ptrace_message ;
3940 siginfo_t *last_siginfo ;
3941 struct task_io_accounting ioac ;
3942 u64 acct_rss_mem1 ;
3943 u64 acct_vm_mem1 ;
3944 cputime_t acct_timexpd ;
3945 nodemask_t mems_allowed ;
3946 int mems_allowed_change_disable ;
3947 int cpuset_mem_spread_rotor ;
3948 int cpuset_slab_spread_rotor ;
3949 struct css_set *cgroups ;
3950 struct list_head cg_list ;
3951 struct robust_list_head *robust_list ;
3952 struct compat_robust_list_head *compat_robust_list ;
3953 struct list_head pi_state_list ;
3954 struct futex_pi_state *pi_state_cache ;
3955 struct perf_event_context *perf_event_ctxp[2] ;
3956 struct mutex perf_event_mutex ;
3957 struct list_head perf_event_list ;
3958 struct mempolicy *mempolicy ;
3959 short il_next ;
3960 short pref_node_fork ;
3961 atomic_t fs_excl ;
3962 struct rcu_head rcu ;
3963 struct pipe_inode_info *splice_pipe ;
3964 struct task_delay_info *delays ;
3965 int make_it_fail ;
3966 struct prop_local_single dirties ;
3967 int latency_record_count ;
3968 struct latency_record latency_record[32] ;
3969 unsigned long timer_slack_ns ;
3970 unsigned long default_timer_slack_ns ;
3971 struct list_head *scm_work_list ;
3972 int curr_ret_stack ;
3973 struct ftrace_ret_stack *ret_stack ;
3974 unsigned long long ftrace_timestamp ;
3975 atomic_t trace_overrun ;
3976 atomic_t tracing_graph_pause ;
3977 unsigned long trace ;
3978 unsigned long trace_recursion ;
3979 struct memcg_batch_info memcg_batch ;
3980 atomic_t ptrace_bp_refcnt ;
3981};
3982#line 1634
3983struct pid_namespace;
3984#line 107 "include/linux/videodev2.h"
3985enum v4l2_field {
3986 V4L2_FIELD_ANY = 0,
3987 V4L2_FIELD_NONE = 1,
3988 V4L2_FIELD_TOP = 2,
3989 V4L2_FIELD_BOTTOM = 3,
3990 V4L2_FIELD_INTERLACED = 4,
3991 V4L2_FIELD_SEQ_TB = 5,
3992 V4L2_FIELD_SEQ_BT = 6,
3993 V4L2_FIELD_ALTERNATE = 7,
3994 V4L2_FIELD_INTERLACED_TB = 8,
3995 V4L2_FIELD_INTERLACED_BT = 9
3996} ;
3997#line 149
3998enum v4l2_buf_type {
3999 V4L2_BUF_TYPE_VIDEO_CAPTURE = 1,
4000 V4L2_BUF_TYPE_VIDEO_OUTPUT = 2,
4001 V4L2_BUF_TYPE_VIDEO_OVERLAY = 3,
4002 V4L2_BUF_TYPE_VBI_CAPTURE = 4,
4003 V4L2_BUF_TYPE_VBI_OUTPUT = 5,
4004 V4L2_BUF_TYPE_SLICED_VBI_CAPTURE = 6,
4005 V4L2_BUF_TYPE_SLICED_VBI_OUTPUT = 7,
4006 V4L2_BUF_TYPE_VIDEO_OUTPUT_OVERLAY = 8,
4007 V4L2_BUF_TYPE_VIDEO_CAPTURE_MPLANE = 9,
4008 V4L2_BUF_TYPE_VIDEO_OUTPUT_MPLANE = 10,
4009 V4L2_BUF_TYPE_PRIVATE = 128
4010} ;
4011#line 178
4012enum v4l2_tuner_type {
4013 V4L2_TUNER_RADIO = 1,
4014 V4L2_TUNER_ANALOG_TV = 2,
4015 V4L2_TUNER_DIGITAL_TV = 3
4016} ;
4017#line 184
4018enum v4l2_memory {
4019 V4L2_MEMORY_MMAP = 1,
4020 V4L2_MEMORY_USERPTR = 2,
4021 V4L2_MEMORY_OVERLAY = 3
4022} ;
4023#line 191
4024enum v4l2_colorspace {
4025 V4L2_COLORSPACE_SMPTE170M = 1,
4026 V4L2_COLORSPACE_SMPTE240M = 2,
4027 V4L2_COLORSPACE_REC709 = 3,
4028 V4L2_COLORSPACE_BT878 = 4,
4029 V4L2_COLORSPACE_470_SYSTEM_M = 5,
4030 V4L2_COLORSPACE_470_SYSTEM_BG = 6,
4031 V4L2_COLORSPACE_JPEG = 7,
4032 V4L2_COLORSPACE_SRGB = 8
4033} ;
4034#line 218
4035enum v4l2_priority {
4036 V4L2_PRIORITY_UNSET = 0,
4037 V4L2_PRIORITY_BACKGROUND = 1,
4038 V4L2_PRIORITY_INTERACTIVE = 2,
4039 V4L2_PRIORITY_RECORD = 3,
4040 V4L2_PRIORITY_DEFAULT = 2
4041} ;
4042#line 226 "include/linux/videodev2.h"
4043struct v4l2_rect {
4044 __s32 left ;
4045 __s32 top ;
4046 __s32 width ;
4047 __s32 height ;
4048};
4049#line 233 "include/linux/videodev2.h"
4050struct v4l2_fract {
4051 __u32 numerator ;
4052 __u32 denominator ;
4053};
4054#line 241 "include/linux/videodev2.h"
4055struct v4l2_capability {
4056 __u8 driver[16] ;
4057 __u8 card[32] ;
4058 __u8 bus_info[32] ;
4059 __u32 version ;
4060 __u32 capabilities ;
4061 __u32 reserved[4] ;
4062};
4063#line 280 "include/linux/videodev2.h"
4064struct v4l2_pix_format {
4065 __u32 width ;
4066 __u32 height ;
4067 __u32 pixelformat ;
4068 enum v4l2_field field ;
4069 __u32 bytesperline ;
4070 __u32 sizeimage ;
4071 enum v4l2_colorspace colorspace ;
4072 __u32 priv ;
4073};
4074#line 409 "include/linux/videodev2.h"
4075struct v4l2_fmtdesc {
4076 __u32 index ;
4077 enum v4l2_buf_type type ;
4078 __u32 flags ;
4079 __u8 description[32] ;
4080 __u32 pixelformat ;
4081 __u32 reserved[4] ;
4082};
4083#line 432 "include/linux/videodev2.h"
4084struct v4l2_frmsize_discrete {
4085 __u32 width ;
4086 __u32 height ;
4087};
4088#line 437 "include/linux/videodev2.h"
4089struct v4l2_frmsize_stepwise {
4090 __u32 min_width ;
4091 __u32 max_width ;
4092 __u32 step_width ;
4093 __u32 min_height ;
4094 __u32 max_height ;
4095 __u32 step_height ;
4096};
4097#line 446 "include/linux/videodev2.h"
4098union __anonunion____missing_field_name_241 {
4099 struct v4l2_frmsize_discrete discrete ;
4100 struct v4l2_frmsize_stepwise stepwise ;
4101};
4102#line 446 "include/linux/videodev2.h"
4103struct v4l2_frmsizeenum {
4104 __u32 index ;
4105 __u32 pixel_format ;
4106 __u32 type ;
4107 union __anonunion____missing_field_name_241 __annonCompField41 ;
4108 __u32 reserved[2] ;
4109};
4110#line 468 "include/linux/videodev2.h"
4111struct v4l2_frmival_stepwise {
4112 struct v4l2_fract min ;
4113 struct v4l2_fract max ;
4114 struct v4l2_fract step ;
4115};
4116#line 474 "include/linux/videodev2.h"
4117union __anonunion____missing_field_name_242 {
4118 struct v4l2_fract discrete ;
4119 struct v4l2_frmival_stepwise stepwise ;
4120};
4121#line 474 "include/linux/videodev2.h"
4122struct v4l2_frmivalenum {
4123 __u32 index ;
4124 __u32 pixel_format ;
4125 __u32 width ;
4126 __u32 height ;
4127 __u32 type ;
4128 union __anonunion____missing_field_name_242 __annonCompField42 ;
4129 __u32 reserved[2] ;
4130};
4131#line 493 "include/linux/videodev2.h"
4132struct v4l2_timecode {
4133 __u32 type ;
4134 __u32 flags ;
4135 __u8 frames ;
4136 __u8 seconds ;
4137 __u8 minutes ;
4138 __u8 hours ;
4139 __u8 userbits[4] ;
4140};
4141#line 518 "include/linux/videodev2.h"
4142struct v4l2_jpegcompression {
4143 int quality ;
4144 int APPn ;
4145 int APP_len ;
4146 char APP_data[60] ;
4147 int COM_len ;
4148 char COM_data[60] ;
4149 __u32 jpeg_markers ;
4150};
4151#line 550 "include/linux/videodev2.h"
4152struct v4l2_requestbuffers {
4153 __u32 count ;
4154 enum v4l2_buf_type type ;
4155 enum v4l2_memory memory ;
4156 __u32 reserved[2] ;
4157};
4158#line 575 "include/linux/videodev2.h"
4159union __anonunion_m_243 {
4160 __u32 mem_offset ;
4161 unsigned long userptr ;
4162};
4163#line 575 "include/linux/videodev2.h"
4164struct v4l2_plane {
4165 __u32 bytesused ;
4166 __u32 length ;
4167 union __anonunion_m_243 m ;
4168 __u32 data_offset ;
4169 __u32 reserved[11] ;
4170};
4171#line 613 "include/linux/videodev2.h"
4172union __anonunion_m_244 {
4173 __u32 offset ;
4174 unsigned long userptr ;
4175 struct v4l2_plane *planes ;
4176};
4177#line 613 "include/linux/videodev2.h"
4178struct v4l2_buffer {
4179 __u32 index ;
4180 enum v4l2_buf_type type ;
4181 __u32 bytesused ;
4182 __u32 flags ;
4183 enum v4l2_field field ;
4184 struct timeval timestamp ;
4185 struct v4l2_timecode timecode ;
4186 __u32 sequence ;
4187 enum v4l2_memory memory ;
4188 union __anonunion_m_244 m ;
4189 __u32 length ;
4190 __u32 input ;
4191 __u32 reserved ;
4192};
4193#line 650 "include/linux/videodev2.h"
4194struct v4l2_framebuffer {
4195 __u32 capability ;
4196 __u32 flags ;
4197 void *base ;
4198 struct v4l2_pix_format fmt ;
4199};
4200#line 676 "include/linux/videodev2.h"
4201struct v4l2_clip {
4202 struct v4l2_rect c ;
4203 struct v4l2_clip *next ;
4204};
4205#line 681 "include/linux/videodev2.h"
4206struct v4l2_window {
4207 struct v4l2_rect w ;
4208 enum v4l2_field field ;
4209 __u32 chromakey ;
4210 struct v4l2_clip *clips ;
4211 __u32 clipcount ;
4212 void *bitmap ;
4213 __u8 global_alpha ;
4214};
4215#line 694 "include/linux/videodev2.h"
4216struct v4l2_captureparm {
4217 __u32 capability ;
4218 __u32 capturemode ;
4219 struct v4l2_fract timeperframe ;
4220 __u32 extendedmode ;
4221 __u32 readbuffers ;
4222 __u32 reserved[4] ;
4223};
4224#line 707 "include/linux/videodev2.h"
4225struct v4l2_outputparm {
4226 __u32 capability ;
4227 __u32 outputmode ;
4228 struct v4l2_fract timeperframe ;
4229 __u32 extendedmode ;
4230 __u32 writebuffers ;
4231 __u32 reserved[4] ;
4232};
4233#line 719 "include/linux/videodev2.h"
4234struct v4l2_cropcap {
4235 enum v4l2_buf_type type ;
4236 struct v4l2_rect bounds ;
4237 struct v4l2_rect defrect ;
4238 struct v4l2_fract pixelaspect ;
4239};
4240#line 726 "include/linux/videodev2.h"
4241struct v4l2_crop {
4242 enum v4l2_buf_type type ;
4243 struct v4l2_rect c ;
4244};
4245#line 735 "include/linux/videodev2.h"
4246typedef __u64 v4l2_std_id;
4247#line 836 "include/linux/videodev2.h"
4248struct v4l2_dv_preset {
4249 __u32 preset ;
4250 __u32 reserved[4] ;
4251};
4252#line 844 "include/linux/videodev2.h"
4253struct v4l2_dv_enum_preset {
4254 __u32 index ;
4255 __u32 preset ;
4256 __u8 name[32] ;
4257 __u32 width ;
4258 __u32 height ;
4259 __u32 reserved[4] ;
4260};
4261#line 881 "include/linux/videodev2.h"
4262struct v4l2_bt_timings {
4263 __u32 width ;
4264 __u32 height ;
4265 __u32 interlaced ;
4266 __u32 polarities ;
4267 __u64 pixelclock ;
4268 __u32 hfrontporch ;
4269 __u32 hsync ;
4270 __u32 hbackporch ;
4271 __u32 vfrontporch ;
4272 __u32 vsync ;
4273 __u32 vbackporch ;
4274 __u32 il_vfrontporch ;
4275 __u32 il_vsync ;
4276 __u32 il_vbackporch ;
4277 __u32 reserved[16] ;
4278} __attribute__((__packed__)) ;
4279#line 915 "include/linux/videodev2.h"
4280union __anonunion____missing_field_name_245 {
4281 struct v4l2_bt_timings bt ;
4282 __u32 reserved[32] ;
4283};
4284#line 915 "include/linux/videodev2.h"
4285struct v4l2_dv_timings {
4286 __u32 type ;
4287 union __anonunion____missing_field_name_245 __annonCompField43 ;
4288} __attribute__((__packed__)) ;
4289#line 929 "include/linux/videodev2.h"
4290struct v4l2_input {
4291 __u32 index ;
4292 __u8 name[32] ;
4293 __u32 type ;
4294 __u32 audioset ;
4295 __u32 tuner ;
4296 v4l2_std_id std ;
4297 __u32 status ;
4298 __u32 capabilities ;
4299 __u32 reserved[3] ;
4300};
4301#line 977 "include/linux/videodev2.h"
4302struct v4l2_output {
4303 __u32 index ;
4304 __u8 name[32] ;
4305 __u32 type ;
4306 __u32 audioset ;
4307 __u32 modulator ;
4308 v4l2_std_id std ;
4309 __u32 capabilities ;
4310 __u32 reserved[3] ;
4311};
4312#line 1000 "include/linux/videodev2.h"
4313struct v4l2_control {
4314 __u32 id ;
4315 __s32 value ;
4316};
4317#line 1005 "include/linux/videodev2.h"
4318union __anonunion____missing_field_name_246 {
4319 __s32 value ;
4320 __s64 value64 ;
4321 char *string ;
4322};
4323#line 1005 "include/linux/videodev2.h"
4324struct v4l2_ext_control {
4325 __u32 id ;
4326 __u32 size ;
4327 __u32 reserved2[1] ;
4328 union __anonunion____missing_field_name_246 __annonCompField44 ;
4329} __attribute__((__packed__)) ;
4330#line 1016 "include/linux/videodev2.h"
4331struct v4l2_ext_controls {
4332 __u32 ctrl_class ;
4333 __u32 count ;
4334 __u32 error_idx ;
4335 __u32 reserved[2] ;
4336 struct v4l2_ext_control *controls ;
4337};
4338#line 1034
4339enum v4l2_ctrl_type {
4340 V4L2_CTRL_TYPE_INTEGER = 1,
4341 V4L2_CTRL_TYPE_BOOLEAN = 2,
4342 V4L2_CTRL_TYPE_MENU = 3,
4343 V4L2_CTRL_TYPE_BUTTON = 4,
4344 V4L2_CTRL_TYPE_INTEGER64 = 5,
4345 V4L2_CTRL_TYPE_CTRL_CLASS = 6,
4346 V4L2_CTRL_TYPE_STRING = 7
4347} ;
4348#line 1045 "include/linux/videodev2.h"
4349struct v4l2_queryctrl {
4350 __u32 id ;
4351 enum v4l2_ctrl_type type ;
4352 __u8 name[32] ;
4353 __s32 minimum ;
4354 __s32 maximum ;
4355 __s32 step ;
4356 __s32 default_value ;
4357 __u32 flags ;
4358 __u32 reserved[2] ;
4359};
4360#line 1058 "include/linux/videodev2.h"
4361struct v4l2_querymenu {
4362 __u32 id ;
4363 __u32 index ;
4364 __u8 name[32] ;
4365 __u32 reserved ;
4366};
4367#line 1433 "include/linux/videodev2.h"
4368struct v4l2_tuner {
4369 __u32 index ;
4370 __u8 name[32] ;
4371 enum v4l2_tuner_type type ;
4372 __u32 capability ;
4373 __u32 rangelow ;
4374 __u32 rangehigh ;
4375 __u32 rxsubchans ;
4376 __u32 audmode ;
4377 __s32 signal ;
4378 __s32 afc ;
4379 __u32 reserved[4] ;
4380};
4381#line 1447 "include/linux/videodev2.h"
4382struct v4l2_modulator {
4383 __u32 index ;
4384 __u8 name[32] ;
4385 __u32 capability ;
4386 __u32 rangelow ;
4387 __u32 rangehigh ;
4388 __u32 txsubchans ;
4389 __u32 reserved[4] ;
4390};
4391#line 1484 "include/linux/videodev2.h"
4392struct v4l2_frequency {
4393 __u32 tuner ;
4394 enum v4l2_tuner_type type ;
4395 __u32 frequency ;
4396 __u32 reserved[8] ;
4397};
4398#line 1491 "include/linux/videodev2.h"
4399struct v4l2_hw_freq_seek {
4400 __u32 tuner ;
4401 enum v4l2_tuner_type type ;
4402 __u32 seek_upward ;
4403 __u32 wrap_around ;
4404 __u32 spacing ;
4405 __u32 reserved[7] ;
4406};
4407#line 1524 "include/linux/videodev2.h"
4408struct v4l2_audio {
4409 __u32 index ;
4410 __u8 name[32] ;
4411 __u32 capability ;
4412 __u32 mode ;
4413 __u32 reserved[2] ;
4414};
4415#line 1539 "include/linux/videodev2.h"
4416struct v4l2_audioout {
4417 __u32 index ;
4418 __u8 name[32] ;
4419 __u32 capability ;
4420 __u32 mode ;
4421 __u32 reserved[2] ;
4422};
4423#line 1558 "include/linux/videodev2.h"
4424struct v4l2_enc_idx_entry {
4425 __u64 offset ;
4426 __u64 pts ;
4427 __u32 length ;
4428 __u32 flags ;
4429 __u32 reserved[2] ;
4430};
4431#line 1567 "include/linux/videodev2.h"
4432struct v4l2_enc_idx {
4433 __u32 entries ;
4434 __u32 entries_cap ;
4435 __u32 reserved[4] ;
4436 struct v4l2_enc_idx_entry entry[64] ;
4437};
4438#line 1583 "include/linux/videodev2.h"
4439struct __anonstruct_raw_248 {
4440 __u32 data[8] ;
4441};
4442#line 1583 "include/linux/videodev2.h"
4443union __anonunion____missing_field_name_247 {
4444 struct __anonstruct_raw_248 raw ;
4445};
4446#line 1583 "include/linux/videodev2.h"
4447struct v4l2_encoder_cmd {
4448 __u32 cmd ;
4449 __u32 flags ;
4450 union __anonunion____missing_field_name_247 __annonCompField45 ;
4451};
4452#line 1603 "include/linux/videodev2.h"
4453struct v4l2_vbi_format {
4454 __u32 sampling_rate ;
4455 __u32 offset ;
4456 __u32 samples_per_line ;
4457 __u32 sample_format ;
4458 __s32 start[2] ;
4459 __u32 count[2] ;
4460 __u32 flags ;
4461 __u32 reserved[2] ;
4462};
4463#line 1625 "include/linux/videodev2.h"
4464struct v4l2_sliced_vbi_format {
4465 __u16 service_set ;
4466 __u16 service_lines[2][24] ;
4467 __u32 io_size ;
4468 __u32 reserved[2] ;
4469};
4470#line 1649 "include/linux/videodev2.h"
4471struct v4l2_sliced_vbi_cap {
4472 __u16 service_set ;
4473 __u16 service_lines[2][24] ;
4474 enum v4l2_buf_type type ;
4475 __u32 reserved[3] ;
4476};
4477#line 1660 "include/linux/videodev2.h"
4478struct v4l2_sliced_vbi_data {
4479 __u32 id ;
4480 __u32 field ;
4481 __u32 line ;
4482 __u32 reserved ;
4483 __u8 data[48] ;
4484};
4485#line 1726 "include/linux/videodev2.h"
4486struct v4l2_plane_pix_format {
4487 __u32 sizeimage ;
4488 __u16 bytesperline ;
4489 __u16 reserved[7] ;
4490} __attribute__((__packed__)) ;
4491#line 1742 "include/linux/videodev2.h"
4492struct v4l2_pix_format_mplane {
4493 __u32 width ;
4494 __u32 height ;
4495 __u32 pixelformat ;
4496 enum v4l2_field field ;
4497 enum v4l2_colorspace colorspace ;
4498 struct v4l2_plane_pix_format plane_fmt[8] ;
4499 __u8 num_planes ;
4500 __u8 reserved[11] ;
4501} __attribute__((__packed__)) ;
4502#line 1764 "include/linux/videodev2.h"
4503union __anonunion_fmt_250 {
4504 struct v4l2_pix_format pix ;
4505 struct v4l2_pix_format_mplane pix_mp ;
4506 struct v4l2_window win ;
4507 struct v4l2_vbi_format vbi ;
4508 struct v4l2_sliced_vbi_format sliced ;
4509 __u8 raw_data[200] ;
4510};
4511#line 1764 "include/linux/videodev2.h"
4512struct v4l2_format {
4513 enum v4l2_buf_type type ;
4514 union __anonunion_fmt_250 fmt ;
4515};
4516#line 1778 "include/linux/videodev2.h"
4517union __anonunion_parm_251 {
4518 struct v4l2_captureparm capture ;
4519 struct v4l2_outputparm output ;
4520 __u8 raw_data[200] ;
4521};
4522#line 1778 "include/linux/videodev2.h"
4523struct v4l2_streamparm {
4524 enum v4l2_buf_type type ;
4525 union __anonunion_parm_251 parm ;
4526};
4527#line 1814 "include/linux/videodev2.h"
4528struct v4l2_event_subscription {
4529 __u32 type ;
4530 __u32 reserved[7] ;
4531};
4532#line 1833 "include/linux/videodev2.h"
4533union __anonunion____missing_field_name_253 {
4534 __u32 addr ;
4535 char name[32] ;
4536};
4537#line 1833 "include/linux/videodev2.h"
4538struct v4l2_dbg_match {
4539 __u32 type ;
4540 union __anonunion____missing_field_name_253 __annonCompField47 ;
4541} __attribute__((__packed__)) ;
4542#line 1841 "include/linux/videodev2.h"
4543struct v4l2_dbg_register {
4544 struct v4l2_dbg_match match ;
4545 __u32 size ;
4546 __u64 reg ;
4547 __u64 val ;
4548} __attribute__((__packed__)) ;
4549#line 1849 "include/linux/videodev2.h"
4550struct v4l2_dbg_chip_ident {
4551 struct v4l2_dbg_match match ;
4552 __u32 ident ;
4553 __u32 revision ;
4554} __attribute__((__packed__)) ;
4555#line 94 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess.h"
4556struct exception_table_entry {
4557 unsigned long insn ;
4558 unsigned long fixup ;
4559};
4560#line 431 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess.h"
4561struct __large_struct {
4562 unsigned long buf[100] ;
4563};
4564#line 19 "include/linux/klist.h"
4565struct klist_node;
4566#line 19
4567struct klist_node;
4568#line 19
4569struct klist_node;
4570#line 19
4571struct klist_node;
4572#line 39 "include/linux/klist.h"
4573struct klist_node {
4574 void *n_klist ;
4575 struct list_head n_node ;
4576 struct kref n_ref ;
4577};
4578#line 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
4579struct dma_map_ops;
4580#line 4
4581struct dma_map_ops;
4582#line 4
4583struct dma_map_ops;
4584#line 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
4585struct dev_archdata {
4586 void *acpi_handle ;
4587 struct dma_map_ops *dma_ops ;
4588 void *iommu ;
4589};
4590#line 28 "include/linux/device.h"
4591struct device;
4592#line 29
4593struct device_private;
4594#line 29
4595struct device_private;
4596#line 29
4597struct device_private;
4598#line 29
4599struct device_private;
4600#line 30
4601struct device_driver;
4602#line 30
4603struct device_driver;
4604#line 30
4605struct device_driver;
4606#line 30
4607struct device_driver;
4608#line 31
4609struct driver_private;
4610#line 31
4611struct driver_private;
4612#line 31
4613struct driver_private;
4614#line 31
4615struct driver_private;
4616#line 32
4617struct class;
4618#line 32
4619struct class;
4620#line 32
4621struct class;
4622#line 32
4623struct class;
4624#line 33
4625struct subsys_private;
4626#line 33
4627struct subsys_private;
4628#line 33
4629struct subsys_private;
4630#line 33
4631struct subsys_private;
4632#line 34
4633struct bus_type;
4634#line 34
4635struct bus_type;
4636#line 34
4637struct bus_type;
4638#line 34
4639struct bus_type;
4640#line 35
4641struct device_node;
4642#line 35
4643struct device_node;
4644#line 35
4645struct device_node;
4646#line 35
4647struct device_node;
4648#line 37 "include/linux/device.h"
4649struct bus_attribute {
4650 struct attribute attr ;
4651 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
4652 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
4653};
4654#line 82
4655struct device_attribute;
4656#line 82
4657struct device_attribute;
4658#line 82
4659struct device_attribute;
4660#line 82
4661struct driver_attribute;
4662#line 82
4663struct driver_attribute;
4664#line 82
4665struct driver_attribute;
4666#line 82 "include/linux/device.h"
4667struct bus_type {
4668 char const *name ;
4669 struct bus_attribute *bus_attrs ;
4670 struct device_attribute *dev_attrs ;
4671 struct driver_attribute *drv_attrs ;
4672 int (*match)(struct device *dev , struct device_driver *drv ) ;
4673 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
4674 int (*probe)(struct device *dev ) ;
4675 int (*remove)(struct device *dev ) ;
4676 void (*shutdown)(struct device *dev ) ;
4677 int (*suspend)(struct device *dev , pm_message_t state ) ;
4678 int (*resume)(struct device *dev ) ;
4679 struct dev_pm_ops const *pm ;
4680 struct subsys_private *p ;
4681};
4682#line 185
4683struct of_device_id;
4684#line 185
4685struct of_device_id;
4686#line 185
4687struct of_device_id;
4688#line 185 "include/linux/device.h"
4689struct device_driver {
4690 char const *name ;
4691 struct bus_type *bus ;
4692 struct module *owner ;
4693 char const *mod_name ;
4694 bool suppress_bind_attrs ;
4695 struct of_device_id const *of_match_table ;
4696 int (*probe)(struct device *dev ) ;
4697 int (*remove)(struct device *dev ) ;
4698 void (*shutdown)(struct device *dev ) ;
4699 int (*suspend)(struct device *dev , pm_message_t state ) ;
4700 int (*resume)(struct device *dev ) ;
4701 struct attribute_group const **groups ;
4702 struct dev_pm_ops const *pm ;
4703 struct driver_private *p ;
4704};
4705#line 222 "include/linux/device.h"
4706struct driver_attribute {
4707 struct attribute attr ;
4708 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
4709 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
4710};
4711#line 280
4712struct class_attribute;
4713#line 280
4714struct class_attribute;
4715#line 280
4716struct class_attribute;
4717#line 280 "include/linux/device.h"
4718struct class {
4719 char const *name ;
4720 struct module *owner ;
4721 struct class_attribute *class_attrs ;
4722 struct device_attribute *dev_attrs ;
4723 struct bin_attribute *dev_bin_attrs ;
4724 struct kobject *dev_kobj ;
4725 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
4726 char *(*devnode)(struct device *dev , mode_t *mode ) ;
4727 void (*class_release)(struct class *class ) ;
4728 void (*dev_release)(struct device *dev ) ;
4729 int (*suspend)(struct device *dev , pm_message_t state ) ;
4730 int (*resume)(struct device *dev ) ;
4731 struct kobj_ns_type_operations const *ns_type ;
4732 void const *(*namespace)(struct device *dev ) ;
4733 struct dev_pm_ops const *pm ;
4734 struct subsys_private *p ;
4735};
4736#line 306
4737struct device_type;
4738#line 306
4739struct device_type;
4740#line 306
4741struct device_type;
4742#line 347 "include/linux/device.h"
4743struct class_attribute {
4744 struct attribute attr ;
4745 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
4746 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
4747 size_t count ) ;
4748};
4749#line 413 "include/linux/device.h"
4750struct device_type {
4751 char const *name ;
4752 struct attribute_group const **groups ;
4753 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
4754 char *(*devnode)(struct device *dev , mode_t *mode ) ;
4755 void (*release)(struct device *dev ) ;
4756 struct dev_pm_ops const *pm ;
4757};
4758#line 424 "include/linux/device.h"
4759struct device_attribute {
4760 struct attribute attr ;
4761 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
4762 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
4763 size_t count ) ;
4764};
4765#line 484 "include/linux/device.h"
4766struct device_dma_parameters {
4767 unsigned int max_segment_size ;
4768 unsigned long segment_boundary_mask ;
4769};
4770#line 551
4771struct dma_coherent_mem;
4772#line 551
4773struct dma_coherent_mem;
4774#line 551
4775struct dma_coherent_mem;
4776#line 551 "include/linux/device.h"
4777struct device {
4778 struct device *parent ;
4779 struct device_private *p ;
4780 struct kobject kobj ;
4781 char const *init_name ;
4782 struct device_type const *type ;
4783 struct mutex mutex ;
4784 struct bus_type *bus ;
4785 struct device_driver *driver ;
4786 void *platform_data ;
4787 struct dev_pm_info power ;
4788 struct dev_power_domain *pwr_domain ;
4789 int numa_node ;
4790 u64 *dma_mask ;
4791 u64 coherent_dma_mask ;
4792 struct device_dma_parameters *dma_parms ;
4793 struct list_head dma_pools ;
4794 struct dma_coherent_mem *dma_mem ;
4795 struct dev_archdata archdata ;
4796 struct device_node *of_node ;
4797 dev_t devt ;
4798 spinlock_t devres_lock ;
4799 struct list_head devres_head ;
4800 struct klist_node knode_class ;
4801 struct class *class ;
4802 struct attribute_group const **groups ;
4803 void (*release)(struct device *dev ) ;
4804};
4805#line 43 "include/linux/pm_wakeup.h"
4806struct wakeup_source {
4807 char *name ;
4808 struct list_head entry ;
4809 spinlock_t lock ;
4810 struct timer_list timer ;
4811 unsigned long timer_expires ;
4812 ktime_t total_time ;
4813 ktime_t max_time ;
4814 ktime_t last_time ;
4815 unsigned long event_count ;
4816 unsigned long active_count ;
4817 unsigned long relax_count ;
4818 unsigned long hit_count ;
4819 unsigned int active : 1 ;
4820};
4821#line 31 "include/asm-generic/poll.h"
4822struct pollfd {
4823 int fd ;
4824 short events ;
4825 short revents ;
4826};
4827#line 28 "include/linux/poll.h"
4828struct poll_table_struct;
4829#line 35 "include/linux/poll.h"
4830struct poll_table_struct {
4831 void (*qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
4832 unsigned long key ;
4833};
4834#line 8 "include/linux/cdev.h"
4835struct file_operations;
4836#line 9
4837struct inode;
4838#line 10
4839struct module;
4840#line 12 "include/linux/cdev.h"
4841struct cdev {
4842 struct kobject kobj ;
4843 struct module *owner ;
4844 struct file_operations const *ops ;
4845 struct list_head list ;
4846 dev_t dev ;
4847 unsigned int count ;
4848};
4849#line 43 "include/media/media-devnode.h"
4850struct media_file_operations {
4851 struct module *owner ;
4852 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
4853 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
4854 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
4855 long (*ioctl)(struct file * , unsigned int , unsigned long ) ;
4856 int (*open)(struct file * ) ;
4857 int (*release)(struct file * ) ;
4858};
4859#line 64 "include/media/media-devnode.h"
4860struct media_devnode {
4861 struct media_file_operations const *fops ;
4862 struct device dev ;
4863 struct cdev cdev ;
4864 struct device *parent ;
4865 int minor ;
4866 unsigned long flags ;
4867 void (*release)(struct media_devnode *mdev ) ;
4868};
4869#line 29 "include/media/media-entity.h"
4870struct media_pipeline {
4871
4872};
4873#line 32
4874struct media_pad;
4875#line 32
4876struct media_pad;
4877#line 32
4878struct media_pad;
4879#line 32 "include/media/media-entity.h"
4880struct media_link {
4881 struct media_pad *source ;
4882 struct media_pad *sink ;
4883 struct media_link *reverse ;
4884 unsigned long flags ;
4885};
4886#line 39
4887struct media_entity;
4888#line 39
4889struct media_entity;
4890#line 39
4891struct media_entity;
4892#line 39 "include/media/media-entity.h"
4893struct media_pad {
4894 struct media_entity *entity ;
4895 u16 index ;
4896 unsigned long flags ;
4897};
4898#line 45 "include/media/media-entity.h"
4899struct media_entity_operations {
4900 int (*link_setup)(struct media_entity *entity , struct media_pad const *local ,
4901 struct media_pad const *remote , u32 flags ) ;
4902};
4903#line 51
4904struct media_device;
4905#line 51
4906struct media_device;
4907#line 51
4908struct media_device;
4909#line 51 "include/media/media-entity.h"
4910struct __anonstruct_v4l_260 {
4911 u32 major ;
4912 u32 minor ;
4913};
4914#line 51 "include/media/media-entity.h"
4915struct __anonstruct_fb_261 {
4916 u32 major ;
4917 u32 minor ;
4918};
4919#line 51 "include/media/media-entity.h"
4920struct __anonstruct_alsa_262 {
4921 u32 card ;
4922 u32 device ;
4923 u32 subdevice ;
4924};
4925#line 51 "include/media/media-entity.h"
4926union __anonunion____missing_field_name_259 {
4927 struct __anonstruct_v4l_260 v4l ;
4928 struct __anonstruct_fb_261 fb ;
4929 struct __anonstruct_alsa_262 alsa ;
4930 int dvb ;
4931};
4932#line 51 "include/media/media-entity.h"
4933struct media_entity {
4934 struct list_head list ;
4935 struct media_device *parent ;
4936 u32 id ;
4937 char const *name ;
4938 u32 type ;
4939 u32 revision ;
4940 unsigned long flags ;
4941 u32 group_id ;
4942 u16 num_pads ;
4943 u16 num_links ;
4944 u16 num_backlinks ;
4945 u16 max_links ;
4946 struct media_pad *pads ;
4947 struct media_link *links ;
4948 struct media_entity_operations const *ops ;
4949 int stream_count ;
4950 int use_count ;
4951 struct media_pipeline *pipe ;
4952 union __anonunion____missing_field_name_259 __annonCompField49 ;
4953};
4954#line 58 "include/media/media-device.h"
4955struct media_device {
4956 struct device *dev ;
4957 struct media_devnode devnode ;
4958 char model[32] ;
4959 char serial[40] ;
4960 char bus_info[32] ;
4961 u32 hw_revision ;
4962 u32 driver_version ;
4963 u32 entity_id ;
4964 struct list_head entities ;
4965 spinlock_t lock ;
4966 struct mutex graph_mutex ;
4967 int (*link_notify)(struct media_pad *source , struct media_pad *sink , u32 flags ) ;
4968};
4969#line 37 "include/linux/v4l2-mediabus.h"
4970enum v4l2_mbus_pixelcode {
4971 V4L2_MBUS_FMT_FIXED = 1,
4972 V4L2_MBUS_FMT_RGB444_2X8_PADHI_BE = 4097,
4973 V4L2_MBUS_FMT_RGB444_2X8_PADHI_LE = 4098,
4974 V4L2_MBUS_FMT_RGB555_2X8_PADHI_BE = 4099,
4975 V4L2_MBUS_FMT_RGB555_2X8_PADHI_LE = 4100,
4976 V4L2_MBUS_FMT_BGR565_2X8_BE = 4101,
4977 V4L2_MBUS_FMT_BGR565_2X8_LE = 4102,
4978 V4L2_MBUS_FMT_RGB565_2X8_BE = 4103,
4979 V4L2_MBUS_FMT_RGB565_2X8_LE = 4104,
4980 V4L2_MBUS_FMT_Y8_1X8 = 8193,
4981 V4L2_MBUS_FMT_UYVY8_1_5X8 = 8194,
4982 V4L2_MBUS_FMT_VYUY8_1_5X8 = 8195,
4983 V4L2_MBUS_FMT_YUYV8_1_5X8 = 8196,
4984 V4L2_MBUS_FMT_YVYU8_1_5X8 = 8197,
4985 V4L2_MBUS_FMT_UYVY8_2X8 = 8198,
4986 V4L2_MBUS_FMT_VYUY8_2X8 = 8199,
4987 V4L2_MBUS_FMT_YUYV8_2X8 = 8200,
4988 V4L2_MBUS_FMT_YVYU8_2X8 = 8201,
4989 V4L2_MBUS_FMT_Y10_1X10 = 8202,
4990 V4L2_MBUS_FMT_YUYV10_2X10 = 8203,
4991 V4L2_MBUS_FMT_YVYU10_2X10 = 8204,
4992 V4L2_MBUS_FMT_Y12_1X12 = 8211,
4993 V4L2_MBUS_FMT_UYVY8_1X16 = 8207,
4994 V4L2_MBUS_FMT_VYUY8_1X16 = 8208,
4995 V4L2_MBUS_FMT_YUYV8_1X16 = 8209,
4996 V4L2_MBUS_FMT_YVYU8_1X16 = 8210,
4997 V4L2_MBUS_FMT_YUYV10_1X20 = 8205,
4998 V4L2_MBUS_FMT_YVYU10_1X20 = 8206,
4999 V4L2_MBUS_FMT_SBGGR8_1X8 = 12289,
5000 V4L2_MBUS_FMT_SGBRG8_1X8 = 12307,
5001 V4L2_MBUS_FMT_SGRBG8_1X8 = 12290,
5002 V4L2_MBUS_FMT_SRGGB8_1X8 = 12308,
5003 V4L2_MBUS_FMT_SBGGR10_DPCM8_1X8 = 12299,
5004 V4L2_MBUS_FMT_SGBRG10_DPCM8_1X8 = 12300,
5005 V4L2_MBUS_FMT_SGRBG10_DPCM8_1X8 = 12297,
5006 V4L2_MBUS_FMT_SRGGB10_DPCM8_1X8 = 12301,
5007 V4L2_MBUS_FMT_SBGGR10_2X8_PADHI_BE = 12291,
5008 V4L2_MBUS_FMT_SBGGR10_2X8_PADHI_LE = 12292,
5009 V4L2_MBUS_FMT_SBGGR10_2X8_PADLO_BE = 12293,
5010 V4L2_MBUS_FMT_SBGGR10_2X8_PADLO_LE = 12294,
5011 V4L2_MBUS_FMT_SBGGR10_1X10 = 12295,
5012 V4L2_MBUS_FMT_SGBRG10_1X10 = 12302,
5013 V4L2_MBUS_FMT_SGRBG10_1X10 = 12298,
5014 V4L2_MBUS_FMT_SRGGB10_1X10 = 12303,
5015 V4L2_MBUS_FMT_SBGGR12_1X12 = 12296,
5016 V4L2_MBUS_FMT_SGBRG12_1X12 = 12304,
5017 V4L2_MBUS_FMT_SGRBG12_1X12 = 12305,
5018 V4L2_MBUS_FMT_SRGGB12_1X12 = 12306,
5019 V4L2_MBUS_FMT_JPEG_1X8 = 16385
5020} ;
5021#line 105 "include/linux/v4l2-mediabus.h"
5022struct v4l2_mbus_framefmt {
5023 __u32 width ;
5024 __u32 height ;
5025 __u32 code ;
5026 __u32 field ;
5027 __u32 colorspace ;
5028 __u32 reserved[7] ;
5029};
5030#line 46 "include/linux/v4l2-subdev.h"
5031struct v4l2_subdev_format {
5032 __u32 which ;
5033 __u32 pad ;
5034 struct v4l2_mbus_framefmt format ;
5035 __u32 reserved[8] ;
5036};
5037#line 59 "include/linux/v4l2-subdev.h"
5038struct v4l2_subdev_crop {
5039 __u32 which ;
5040 __u32 pad ;
5041 struct v4l2_rect rect ;
5042 __u32 reserved[8] ;
5043};
5044#line 72 "include/linux/v4l2-subdev.h"
5045struct v4l2_subdev_mbus_code_enum {
5046 __u32 pad ;
5047 __u32 index ;
5048 __u32 code ;
5049 __u32 reserved[9] ;
5050};
5051#line 85 "include/linux/v4l2-subdev.h"
5052struct v4l2_subdev_frame_size_enum {
5053 __u32 index ;
5054 __u32 pad ;
5055 __u32 code ;
5056 __u32 min_width ;
5057 __u32 max_width ;
5058 __u32 min_height ;
5059 __u32 max_height ;
5060 __u32 reserved[9] ;
5061};
5062#line 101 "include/linux/v4l2-subdev.h"
5063struct v4l2_subdev_frame_interval {
5064 __u32 pad ;
5065 struct v4l2_fract interval ;
5066 __u32 reserved[9] ;
5067};
5068#line 116 "include/linux/v4l2-subdev.h"
5069struct v4l2_subdev_frame_interval_enum {
5070 __u32 index ;
5071 __u32 pad ;
5072 __u32 code ;
5073 __u32 width ;
5074 __u32 height ;
5075 struct v4l2_fract interval ;
5076 __u32 reserved[9] ;
5077};
5078#line 30 "include/media/v4l2-dev.h"
5079struct video_device;
5080#line 30
5081struct video_device;
5082#line 30
5083struct video_device;
5084#line 30
5085struct video_device;
5086#line 31
5087struct v4l2_device;
5088#line 31
5089struct v4l2_device;
5090#line 31
5091struct v4l2_device;
5092#line 31
5093struct v4l2_device;
5094#line 32
5095struct v4l2_ctrl_handler;
5096#line 32
5097struct v4l2_ctrl_handler;
5098#line 32
5099struct v4l2_ctrl_handler;
5100#line 32
5101struct v4l2_ctrl_handler;
5102#line 45 "include/media/v4l2-dev.h"
5103struct v4l2_prio_state {
5104 atomic_t prios[4] ;
5105};
5106#line 58 "include/media/v4l2-dev.h"
5107struct v4l2_file_operations {
5108 struct module *owner ;
5109 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
5110 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
5111 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
5112 long (*ioctl)(struct file * , unsigned int , unsigned long ) ;
5113 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
5114 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
5115 unsigned long , unsigned long ) ;
5116 int (*mmap)(struct file * , struct vm_area_struct * ) ;
5117 int (*open)(struct file * ) ;
5118 int (*release)(struct file * ) ;
5119};
5120#line 78
5121struct v4l2_ioctl_ops;
5122#line 78
5123struct v4l2_ioctl_ops;
5124#line 78
5125struct v4l2_ioctl_ops;
5126#line 78 "include/media/v4l2-dev.h"
5127struct video_device {
5128 struct media_entity entity ;
5129 struct v4l2_file_operations const *fops ;
5130 struct device dev ;
5131 struct cdev *cdev ;
5132 struct device *parent ;
5133 struct v4l2_device *v4l2_dev ;
5134 struct v4l2_ctrl_handler *ctrl_handler ;
5135 struct v4l2_prio_state *prio ;
5136 char name[32] ;
5137 int vfl_type ;
5138 int minor ;
5139 u16 num ;
5140 unsigned long flags ;
5141 int index ;
5142 spinlock_t fh_lock ;
5143 struct list_head fh_list ;
5144 int debug ;
5145 v4l2_std_id tvnorms ;
5146 v4l2_std_id current_norm ;
5147 void (*release)(struct video_device *vdev ) ;
5148 struct v4l2_ioctl_ops const *ioctl_ops ;
5149 struct mutex *lock ;
5150};
5151#line 119 "include/media/v4l2-common.h"
5152struct v4l2_device;
5153#line 120
5154struct v4l2_subdev;
5155#line 120
5156struct v4l2_subdev;
5157#line 120
5158struct v4l2_subdev;
5159#line 120
5160struct v4l2_subdev;
5161#line 121
5162struct v4l2_subdev_ops;
5163#line 121
5164struct v4l2_subdev_ops;
5165#line 121
5166struct v4l2_subdev_ops;
5167#line 121
5168struct v4l2_subdev_ops;
5169#line 219 "include/linux/mod_devicetable.h"
5170struct of_device_id {
5171 char name[32] ;
5172 char type[32] ;
5173 char compatible[128] ;
5174 void *data ;
5175};
5176#line 182 "include/media/v4l2-common.h"
5177struct v4l2_priv_tun_config {
5178 int tuner ;
5179 void *priv ;
5180};
5181#line 31 "include/media/v4l2-fh.h"
5182struct video_device;
5183#line 32
5184struct v4l2_events;
5185#line 32
5186struct v4l2_events;
5187#line 32
5188struct v4l2_events;
5189#line 32
5190struct v4l2_events;
5191#line 34 "include/media/v4l2-fh.h"
5192struct v4l2_fh {
5193 struct list_head list ;
5194 struct video_device *vdev ;
5195 struct v4l2_events *events ;
5196 enum v4l2_priority prio ;
5197};
5198#line 41 "include/media/v4l2-subdev.h"
5199struct v4l2_device;
5200#line 42
5201struct v4l2_ctrl_handler;
5202#line 43
5203struct v4l2_event_subscription;
5204#line 44
5205struct v4l2_fh;
5206#line 45
5207struct v4l2_subdev;
5208#line 46
5209struct v4l2_subdev_fh;
5210#line 46
5211struct v4l2_subdev_fh;
5212#line 46
5213struct v4l2_subdev_fh;
5214#line 46
5215struct v4l2_subdev_fh;
5216#line 47
5217struct tuner_setup;
5218#line 47
5219struct tuner_setup;
5220#line 47
5221struct tuner_setup;
5222#line 47
5223struct tuner_setup;
5224#line 50 "include/media/v4l2-subdev.h"
5225struct v4l2_decode_vbi_line {
5226 u32 is_second_field ;
5227 u8 *p ;
5228 u32 line ;
5229 u32 type ;
5230};
5231#line 108 "include/media/v4l2-subdev.h"
5232struct v4l2_subdev_io_pin_config {
5233 u32 flags ;
5234 u8 pin ;
5235 u8 function ;
5236 u8 value ;
5237 u8 strength ;
5238};
5239#line 145 "include/media/v4l2-subdev.h"
5240struct v4l2_subdev_core_ops {
5241 int (*g_chip_ident)(struct v4l2_subdev *sd , struct v4l2_dbg_chip_ident *chip ) ;
5242 int (*log_status)(struct v4l2_subdev *sd ) ;
5243 int (*s_io_pin_config)(struct v4l2_subdev *sd , size_t n , struct v4l2_subdev_io_pin_config *pincfg ) ;
5244 int (*init)(struct v4l2_subdev *sd , u32 val ) ;
5245 int (*load_fw)(struct v4l2_subdev *sd ) ;
5246 int (*reset)(struct v4l2_subdev *sd , u32 val ) ;
5247 int (*s_gpio)(struct v4l2_subdev *sd , u32 val ) ;
5248 int (*queryctrl)(struct v4l2_subdev *sd , struct v4l2_queryctrl *qc ) ;
5249 int (*g_ctrl)(struct v4l2_subdev *sd , struct v4l2_control *ctrl ) ;
5250 int (*s_ctrl)(struct v4l2_subdev *sd , struct v4l2_control *ctrl ) ;
5251 int (*g_ext_ctrls)(struct v4l2_subdev *sd , struct v4l2_ext_controls *ctrls ) ;
5252 int (*s_ext_ctrls)(struct v4l2_subdev *sd , struct v4l2_ext_controls *ctrls ) ;
5253 int (*try_ext_ctrls)(struct v4l2_subdev *sd , struct v4l2_ext_controls *ctrls ) ;
5254 int (*querymenu)(struct v4l2_subdev *sd , struct v4l2_querymenu *qm ) ;
5255 int (*s_std)(struct v4l2_subdev *sd , v4l2_std_id norm ) ;
5256 long (*ioctl)(struct v4l2_subdev *sd , unsigned int cmd , void *arg ) ;
5257 int (*g_register)(struct v4l2_subdev *sd , struct v4l2_dbg_register *reg ) ;
5258 int (*s_register)(struct v4l2_subdev *sd , struct v4l2_dbg_register *reg ) ;
5259 int (*s_power)(struct v4l2_subdev *sd , int on ) ;
5260 int (*interrupt_service_routine)(struct v4l2_subdev *sd , u32 status , bool *handled ) ;
5261 int (*subscribe_event)(struct v4l2_subdev *sd , struct v4l2_fh *fh , struct v4l2_event_subscription *sub ) ;
5262 int (*unsubscribe_event)(struct v4l2_subdev *sd , struct v4l2_fh *fh , struct v4l2_event_subscription *sub ) ;
5263};
5264#line 189 "include/media/v4l2-subdev.h"
5265struct v4l2_subdev_tuner_ops {
5266 int (*s_radio)(struct v4l2_subdev *sd ) ;
5267 int (*s_frequency)(struct v4l2_subdev *sd , struct v4l2_frequency *freq ) ;
5268 int (*g_frequency)(struct v4l2_subdev *sd , struct v4l2_frequency *freq ) ;
5269 int (*g_tuner)(struct v4l2_subdev *sd , struct v4l2_tuner *vt ) ;
5270 int (*s_tuner)(struct v4l2_subdev *sd , struct v4l2_tuner *vt ) ;
5271 int (*g_modulator)(struct v4l2_subdev *sd , struct v4l2_modulator *vm ) ;
5272 int (*s_modulator)(struct v4l2_subdev *sd , struct v4l2_modulator *vm ) ;
5273 int (*s_type_addr)(struct v4l2_subdev *sd , struct tuner_setup *type ) ;
5274 int (*s_config)(struct v4l2_subdev *sd , struct v4l2_priv_tun_config const *config ) ;
5275};
5276#line 221 "include/media/v4l2-subdev.h"
5277struct v4l2_subdev_audio_ops {
5278 int (*s_clock_freq)(struct v4l2_subdev *sd , u32 freq ) ;
5279 int (*s_i2s_clock_freq)(struct v4l2_subdev *sd , u32 freq ) ;
5280 int (*s_routing)(struct v4l2_subdev *sd , u32 input , u32 output , u32 config ) ;
5281 int (*s_stream)(struct v4l2_subdev *sd , int enable ) ;
5282};
5283#line 263 "include/media/v4l2-subdev.h"
5284struct v4l2_subdev_video_ops {
5285 int (*s_routing)(struct v4l2_subdev *sd , u32 input , u32 output , u32 config ) ;
5286 int (*s_crystal_freq)(struct v4l2_subdev *sd , u32 freq , u32 flags ) ;
5287 int (*s_std_output)(struct v4l2_subdev *sd , v4l2_std_id std ) ;
5288 int (*querystd)(struct v4l2_subdev *sd , v4l2_std_id *std ) ;
5289 int (*g_input_status)(struct v4l2_subdev *sd , u32 *status ) ;
5290 int (*s_stream)(struct v4l2_subdev *sd , int enable ) ;
5291 int (*cropcap)(struct v4l2_subdev *sd , struct v4l2_cropcap *cc ) ;
5292 int (*g_crop)(struct v4l2_subdev *sd , struct v4l2_crop *crop ) ;
5293 int (*s_crop)(struct v4l2_subdev *sd , struct v4l2_crop *crop ) ;
5294 int (*g_parm)(struct v4l2_subdev *sd , struct v4l2_streamparm *param ) ;
5295 int (*s_parm)(struct v4l2_subdev *sd , struct v4l2_streamparm *param ) ;
5296 int (*g_frame_interval)(struct v4l2_subdev *sd , struct v4l2_subdev_frame_interval *interval ) ;
5297 int (*s_frame_interval)(struct v4l2_subdev *sd , struct v4l2_subdev_frame_interval *interval ) ;
5298 int (*enum_framesizes)(struct v4l2_subdev *sd , struct v4l2_frmsizeenum *fsize ) ;
5299 int (*enum_frameintervals)(struct v4l2_subdev *sd , struct v4l2_frmivalenum *fival ) ;
5300 int (*enum_dv_presets)(struct v4l2_subdev *sd , struct v4l2_dv_enum_preset *preset ) ;
5301 int (*s_dv_preset)(struct v4l2_subdev *sd , struct v4l2_dv_preset *preset ) ;
5302 int (*query_dv_preset)(struct v4l2_subdev *sd , struct v4l2_dv_preset *preset ) ;
5303 int (*s_dv_timings)(struct v4l2_subdev *sd , struct v4l2_dv_timings *timings ) ;
5304 int (*g_dv_timings)(struct v4l2_subdev *sd , struct v4l2_dv_timings *timings ) ;
5305 int (*enum_mbus_fmt)(struct v4l2_subdev *sd , unsigned int index , enum v4l2_mbus_pixelcode *code ) ;
5306 int (*enum_mbus_fsizes)(struct v4l2_subdev *sd , struct v4l2_frmsizeenum *fsize ) ;
5307 int (*g_mbus_fmt)(struct v4l2_subdev *sd , struct v4l2_mbus_framefmt *fmt ) ;
5308 int (*try_mbus_fmt)(struct v4l2_subdev *sd , struct v4l2_mbus_framefmt *fmt ) ;
5309 int (*s_mbus_fmt)(struct v4l2_subdev *sd , struct v4l2_mbus_framefmt *fmt ) ;
5310};
5311#line 332 "include/media/v4l2-subdev.h"
5312struct v4l2_subdev_vbi_ops {
5313 int (*decode_vbi_line)(struct v4l2_subdev *sd , struct v4l2_decode_vbi_line *vbi_line ) ;
5314 int (*s_vbi_data)(struct v4l2_subdev *sd , struct v4l2_sliced_vbi_data const *vbi_data ) ;
5315 int (*g_vbi_data)(struct v4l2_subdev *sd , struct v4l2_sliced_vbi_data *vbi_data ) ;
5316 int (*g_sliced_vbi_cap)(struct v4l2_subdev *sd , struct v4l2_sliced_vbi_cap *cap ) ;
5317 int (*s_raw_fmt)(struct v4l2_subdev *sd , struct v4l2_vbi_format *fmt ) ;
5318 int (*g_sliced_fmt)(struct v4l2_subdev *sd , struct v4l2_sliced_vbi_format *fmt ) ;
5319 int (*s_sliced_fmt)(struct v4l2_subdev *sd , struct v4l2_sliced_vbi_format *fmt ) ;
5320};
5321#line 352 "include/media/v4l2-subdev.h"
5322struct v4l2_subdev_sensor_ops {
5323 int (*g_skip_top_lines)(struct v4l2_subdev *sd , u32 *lines ) ;
5324 int (*g_skip_frames)(struct v4l2_subdev *sd , u32 *frames ) ;
5325};
5326#line 380
5327enum v4l2_subdev_ir_mode {
5328 V4L2_SUBDEV_IR_MODE_PULSE_WIDTH = 0
5329} ;
5330#line 384 "include/media/v4l2-subdev.h"
5331struct v4l2_subdev_ir_parameters {
5332 unsigned int bytes_per_data_element ;
5333 enum v4l2_subdev_ir_mode mode ;
5334 bool enable ;
5335 bool interrupt_enable ;
5336 bool shutdown ;
5337 bool modulation ;
5338 u32 max_pulse_width ;
5339 unsigned int carrier_freq ;
5340 unsigned int duty_cycle ;
5341 bool invert_level ;
5342 bool invert_carrier_sense ;
5343 u32 noise_filter_min_width ;
5344 unsigned int carrier_range_lower ;
5345 unsigned int carrier_range_upper ;
5346 u32 resolution ;
5347};
5348#line 409 "include/media/v4l2-subdev.h"
5349struct v4l2_subdev_ir_ops {
5350 int (*rx_read)(struct v4l2_subdev *sd , u8 *buf , size_t count , ssize_t *num ) ;
5351 int (*rx_g_parameters)(struct v4l2_subdev *sd , struct v4l2_subdev_ir_parameters *params ) ;
5352 int (*rx_s_parameters)(struct v4l2_subdev *sd , struct v4l2_subdev_ir_parameters *params ) ;
5353 int (*tx_write)(struct v4l2_subdev *sd , u8 *buf , size_t count , ssize_t *num ) ;
5354 int (*tx_g_parameters)(struct v4l2_subdev *sd , struct v4l2_subdev_ir_parameters *params ) ;
5355 int (*tx_s_parameters)(struct v4l2_subdev *sd , struct v4l2_subdev_ir_parameters *params ) ;
5356};
5357#line 429 "include/media/v4l2-subdev.h"
5358struct v4l2_subdev_pad_ops {
5359 int (*enum_mbus_code)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh , struct v4l2_subdev_mbus_code_enum *code ) ;
5360 int (*enum_frame_size)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh , struct v4l2_subdev_frame_size_enum *fse ) ;
5361 int (*enum_frame_interval)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh ,
5362 struct v4l2_subdev_frame_interval_enum *fie ) ;
5363 int (*get_fmt)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh , struct v4l2_subdev_format *format ) ;
5364 int (*set_fmt)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh , struct v4l2_subdev_format *format ) ;
5365 int (*set_crop)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh , struct v4l2_subdev_crop *crop ) ;
5366 int (*get_crop)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh , struct v4l2_subdev_crop *crop ) ;
5367};
5368#line 448 "include/media/v4l2-subdev.h"
5369struct v4l2_subdev_ops {
5370 struct v4l2_subdev_core_ops const *core ;
5371 struct v4l2_subdev_tuner_ops const *tuner ;
5372 struct v4l2_subdev_audio_ops const *audio ;
5373 struct v4l2_subdev_video_ops const *video ;
5374 struct v4l2_subdev_vbi_ops const *vbi ;
5375 struct v4l2_subdev_ir_ops const *ir ;
5376 struct v4l2_subdev_sensor_ops const *sensor ;
5377 struct v4l2_subdev_pad_ops const *pad ;
5378};
5379#line 473 "include/media/v4l2-subdev.h"
5380struct v4l2_subdev_internal_ops {
5381 int (*registered)(struct v4l2_subdev *sd ) ;
5382 void (*unregistered)(struct v4l2_subdev *sd ) ;
5383 int (*open)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh ) ;
5384 int (*close)(struct v4l2_subdev *sd , struct v4l2_subdev_fh *fh ) ;
5385};
5386#line 494 "include/media/v4l2-subdev.h"
5387struct v4l2_subdev {
5388 struct media_entity entity ;
5389 struct list_head list ;
5390 struct module *owner ;
5391 u32 flags ;
5392 struct v4l2_device *v4l2_dev ;
5393 struct v4l2_subdev_ops const *ops ;
5394 struct v4l2_subdev_internal_ops const *internal_ops ;
5395 struct v4l2_ctrl_handler *ctrl_handler ;
5396 char name[32] ;
5397 u32 grp_id ;
5398 void *dev_priv ;
5399 void *host_priv ;
5400 struct video_device devnode ;
5401 unsigned int nevents ;
5402};
5403#line 528 "include/media/v4l2-subdev.h"
5404struct v4l2_subdev_fh {
5405 struct v4l2_fh vfh ;
5406 struct v4l2_mbus_framefmt *try_fmt ;
5407 struct v4l2_rect *try_crop ;
5408};
5409#line 37 "include/media/v4l2-device.h"
5410struct v4l2_ctrl_handler;
5411#line 39 "include/media/v4l2-device.h"
5412struct v4l2_device {
5413 struct device *dev ;
5414 struct media_device *mdev ;
5415 struct list_head subdevs ;
5416 spinlock_t lock ;
5417 char name[36] ;
5418 void (*notify)(struct v4l2_subdev *sd , unsigned int notification , void *arg ) ;
5419 struct v4l2_ctrl_handler *ctrl_handler ;
5420 struct v4l2_prio_state prio ;
5421 struct mutex ioctl_lock ;
5422 struct kref ref ;
5423 void (*release)(struct v4l2_device *v4l2_dev ) ;
5424};
5425#line 19 "include/media/v4l2-ioctl.h"
5426struct v4l2_fh;
5427#line 21 "include/media/v4l2-ioctl.h"
5428struct v4l2_ioctl_ops {
5429 int (*vidioc_querycap)(struct file *file , void *fh , struct v4l2_capability *cap ) ;
5430 int (*vidioc_g_priority)(struct file *file , void *fh , enum v4l2_priority *p ) ;
5431 int (*vidioc_s_priority)(struct file *file , void *fh , enum v4l2_priority p ) ;
5432 int (*vidioc_enum_fmt_vid_cap)(struct file *file , void *fh , struct v4l2_fmtdesc *f ) ;
5433 int (*vidioc_enum_fmt_vid_overlay)(struct file *file , void *fh , struct v4l2_fmtdesc *f ) ;
5434 int (*vidioc_enum_fmt_vid_out)(struct file *file , void *fh , struct v4l2_fmtdesc *f ) ;
5435 int (*vidioc_enum_fmt_vid_cap_mplane)(struct file *file , void *fh , struct v4l2_fmtdesc *f ) ;
5436 int (*vidioc_enum_fmt_vid_out_mplane)(struct file *file , void *fh , struct v4l2_fmtdesc *f ) ;
5437 int (*vidioc_enum_fmt_type_private)(struct file *file , void *fh , struct v4l2_fmtdesc *f ) ;
5438 int (*vidioc_g_fmt_vid_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5439 int (*vidioc_g_fmt_vid_overlay)(struct file *file , void *fh , struct v4l2_format *f ) ;
5440 int (*vidioc_g_fmt_vid_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5441 int (*vidioc_g_fmt_vid_out_overlay)(struct file *file , void *fh , struct v4l2_format *f ) ;
5442 int (*vidioc_g_fmt_vbi_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5443 int (*vidioc_g_fmt_vbi_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5444 int (*vidioc_g_fmt_sliced_vbi_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5445 int (*vidioc_g_fmt_sliced_vbi_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5446 int (*vidioc_g_fmt_vid_cap_mplane)(struct file *file , void *fh , struct v4l2_format *f ) ;
5447 int (*vidioc_g_fmt_vid_out_mplane)(struct file *file , void *fh , struct v4l2_format *f ) ;
5448 int (*vidioc_g_fmt_type_private)(struct file *file , void *fh , struct v4l2_format *f ) ;
5449 int (*vidioc_s_fmt_vid_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5450 int (*vidioc_s_fmt_vid_overlay)(struct file *file , void *fh , struct v4l2_format *f ) ;
5451 int (*vidioc_s_fmt_vid_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5452 int (*vidioc_s_fmt_vid_out_overlay)(struct file *file , void *fh , struct v4l2_format *f ) ;
5453 int (*vidioc_s_fmt_vbi_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5454 int (*vidioc_s_fmt_vbi_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5455 int (*vidioc_s_fmt_sliced_vbi_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5456 int (*vidioc_s_fmt_sliced_vbi_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5457 int (*vidioc_s_fmt_vid_cap_mplane)(struct file *file , void *fh , struct v4l2_format *f ) ;
5458 int (*vidioc_s_fmt_vid_out_mplane)(struct file *file , void *fh , struct v4l2_format *f ) ;
5459 int (*vidioc_s_fmt_type_private)(struct file *file , void *fh , struct v4l2_format *f ) ;
5460 int (*vidioc_try_fmt_vid_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5461 int (*vidioc_try_fmt_vid_overlay)(struct file *file , void *fh , struct v4l2_format *f ) ;
5462 int (*vidioc_try_fmt_vid_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5463 int (*vidioc_try_fmt_vid_out_overlay)(struct file *file , void *fh , struct v4l2_format *f ) ;
5464 int (*vidioc_try_fmt_vbi_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5465 int (*vidioc_try_fmt_vbi_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5466 int (*vidioc_try_fmt_sliced_vbi_cap)(struct file *file , void *fh , struct v4l2_format *f ) ;
5467 int (*vidioc_try_fmt_sliced_vbi_out)(struct file *file , void *fh , struct v4l2_format *f ) ;
5468 int (*vidioc_try_fmt_vid_cap_mplane)(struct file *file , void *fh , struct v4l2_format *f ) ;
5469 int (*vidioc_try_fmt_vid_out_mplane)(struct file *file , void *fh , struct v4l2_format *f ) ;
5470 int (*vidioc_try_fmt_type_private)(struct file *file , void *fh , struct v4l2_format *f ) ;
5471 int (*vidioc_reqbufs)(struct file *file , void *fh , struct v4l2_requestbuffers *b ) ;
5472 int (*vidioc_querybuf)(struct file *file , void *fh , struct v4l2_buffer *b ) ;
5473 int (*vidioc_qbuf)(struct file *file , void *fh , struct v4l2_buffer *b ) ;
5474 int (*vidioc_dqbuf)(struct file *file , void *fh , struct v4l2_buffer *b ) ;
5475 int (*vidioc_overlay)(struct file *file , void *fh , unsigned int i ) ;
5476 int (*vidioc_g_fbuf)(struct file *file , void *fh , struct v4l2_framebuffer *a ) ;
5477 int (*vidioc_s_fbuf)(struct file *file , void *fh , struct v4l2_framebuffer *a ) ;
5478 int (*vidioc_streamon)(struct file *file , void *fh , enum v4l2_buf_type i ) ;
5479 int (*vidioc_streamoff)(struct file *file , void *fh , enum v4l2_buf_type i ) ;
5480 int (*vidioc_g_std)(struct file *file , void *fh , v4l2_std_id *norm ) ;
5481 int (*vidioc_s_std)(struct file *file , void *fh , v4l2_std_id *norm ) ;
5482 int (*vidioc_querystd)(struct file *file , void *fh , v4l2_std_id *a ) ;
5483 int (*vidioc_enum_input)(struct file *file , void *fh , struct v4l2_input *inp ) ;
5484 int (*vidioc_g_input)(struct file *file , void *fh , unsigned int *i ) ;
5485 int (*vidioc_s_input)(struct file *file , void *fh , unsigned int i ) ;
5486 int (*vidioc_enum_output)(struct file *file , void *fh , struct v4l2_output *a ) ;
5487 int (*vidioc_g_output)(struct file *file , void *fh , unsigned int *i ) ;
5488 int (*vidioc_s_output)(struct file *file , void *fh , unsigned int i ) ;
5489 int (*vidioc_queryctrl)(struct file *file , void *fh , struct v4l2_queryctrl *a ) ;
5490 int (*vidioc_g_ctrl)(struct file *file , void *fh , struct v4l2_control *a ) ;
5491 int (*vidioc_s_ctrl)(struct file *file , void *fh , struct v4l2_control *a ) ;
5492 int (*vidioc_g_ext_ctrls)(struct file *file , void *fh , struct v4l2_ext_controls *a ) ;
5493 int (*vidioc_s_ext_ctrls)(struct file *file , void *fh , struct v4l2_ext_controls *a ) ;
5494 int (*vidioc_try_ext_ctrls)(struct file *file , void *fh , struct v4l2_ext_controls *a ) ;
5495 int (*vidioc_querymenu)(struct file *file , void *fh , struct v4l2_querymenu *a ) ;
5496 int (*vidioc_enumaudio)(struct file *file , void *fh , struct v4l2_audio *a ) ;
5497 int (*vidioc_g_audio)(struct file *file , void *fh , struct v4l2_audio *a ) ;
5498 int (*vidioc_s_audio)(struct file *file , void *fh , struct v4l2_audio *a ) ;
5499 int (*vidioc_enumaudout)(struct file *file , void *fh , struct v4l2_audioout *a ) ;
5500 int (*vidioc_g_audout)(struct file *file , void *fh , struct v4l2_audioout *a ) ;
5501 int (*vidioc_s_audout)(struct file *file , void *fh , struct v4l2_audioout *a ) ;
5502 int (*vidioc_g_modulator)(struct file *file , void *fh , struct v4l2_modulator *a ) ;
5503 int (*vidioc_s_modulator)(struct file *file , void *fh , struct v4l2_modulator *a ) ;
5504 int (*vidioc_cropcap)(struct file *file , void *fh , struct v4l2_cropcap *a ) ;
5505 int (*vidioc_g_crop)(struct file *file , void *fh , struct v4l2_crop *a ) ;
5506 int (*vidioc_s_crop)(struct file *file , void *fh , struct v4l2_crop *a ) ;
5507 int (*vidioc_g_jpegcomp)(struct file *file , void *fh , struct v4l2_jpegcompression *a ) ;
5508 int (*vidioc_s_jpegcomp)(struct file *file , void *fh , struct v4l2_jpegcompression *a ) ;
5509 int (*vidioc_g_enc_index)(struct file *file , void *fh , struct v4l2_enc_idx *a ) ;
5510 int (*vidioc_encoder_cmd)(struct file *file , void *fh , struct v4l2_encoder_cmd *a ) ;
5511 int (*vidioc_try_encoder_cmd)(struct file *file , void *fh , struct v4l2_encoder_cmd *a ) ;
5512 int (*vidioc_g_parm)(struct file *file , void *fh , struct v4l2_streamparm *a ) ;
5513 int (*vidioc_s_parm)(struct file *file , void *fh , struct v4l2_streamparm *a ) ;
5514 int (*vidioc_g_tuner)(struct file *file , void *fh , struct v4l2_tuner *a ) ;
5515 int (*vidioc_s_tuner)(struct file *file , void *fh , struct v4l2_tuner *a ) ;
5516 int (*vidioc_g_frequency)(struct file *file , void *fh , struct v4l2_frequency *a ) ;
5517 int (*vidioc_s_frequency)(struct file *file , void *fh , struct v4l2_frequency *a ) ;
5518 int (*vidioc_g_sliced_vbi_cap)(struct file *file , void *fh , struct v4l2_sliced_vbi_cap *a ) ;
5519 int (*vidioc_log_status)(struct file *file , void *fh ) ;
5520 int (*vidioc_s_hw_freq_seek)(struct file *file , void *fh , struct v4l2_hw_freq_seek *a ) ;
5521 int (*vidioc_g_register)(struct file *file , void *fh , struct v4l2_dbg_register *reg ) ;
5522 int (*vidioc_s_register)(struct file *file , void *fh , struct v4l2_dbg_register *reg ) ;
5523 int (*vidioc_g_chip_ident)(struct file *file , void *fh , struct v4l2_dbg_chip_ident *chip ) ;
5524 int (*vidioc_enum_framesizes)(struct file *file , void *fh , struct v4l2_frmsizeenum *fsize ) ;
5525 int (*vidioc_enum_frameintervals)(struct file *file , void *fh , struct v4l2_frmivalenum *fival ) ;
5526 int (*vidioc_enum_dv_presets)(struct file *file , void *fh , struct v4l2_dv_enum_preset *preset ) ;
5527 int (*vidioc_s_dv_preset)(struct file *file , void *fh , struct v4l2_dv_preset *preset ) ;
5528 int (*vidioc_g_dv_preset)(struct file *file , void *fh , struct v4l2_dv_preset *preset ) ;
5529 int (*vidioc_query_dv_preset)(struct file *file , void *fh , struct v4l2_dv_preset *qpreset ) ;
5530 int (*vidioc_s_dv_timings)(struct file *file , void *fh , struct v4l2_dv_timings *timings ) ;
5531 int (*vidioc_g_dv_timings)(struct file *file , void *fh , struct v4l2_dv_timings *timings ) ;
5532 int (*vidioc_subscribe_event)(struct v4l2_fh *fh , struct v4l2_event_subscription *sub ) ;
5533 int (*vidioc_unsubscribe_event)(struct v4l2_fh *fh , struct v4l2_event_subscription *sub ) ;
5534 long (*vidioc_default)(struct file *file , void *fh , bool valid_prio , int cmd ,
5535 void *arg ) ;
5536};
5537#line 46 "/anthill/stuff/tacas-comp/work/current--X--drivers/media/video/c-qcam.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/media/video/c-qcam.c.common.c"
5538struct qcam {
5539 struct v4l2_device v4l2_dev ;
5540 struct video_device vdev ;
5541 struct pardevice *pdev ;
5542 struct parport *pport ;
5543 int width ;
5544 int height ;
5545 int ccd_width ;
5546 int ccd_height ;
5547 int mode ;
5548 int contrast ;
5549 int brightness ;
5550 int whitebal ;
5551 int top ;
5552 int left ;
5553 unsigned int bidirectional ;
5554 struct mutex lock ;
5555};
5556#line 84 "/anthill/stuff/tacas-comp/work/current--X--drivers/media/video/c-qcam.ko--X--bulklinux-3.0.1--X--68_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/media/video/c-qcam.c.common.c"
5557struct __anonstruct_265 {
5558 int : 0 ;
5559};
5560#line 244 "include/linux/usb/ch9.h"
5561struct usb_device_descriptor {
5562 __u8 bLength ;
5563 __u8 bDescriptorType ;
5564 __le16 bcdUSB ;
5565 __u8 bDeviceClass ;
5566 __u8 bDeviceSubClass ;
5567 __u8 bDeviceProtocol ;
5568 __u8 bMaxPacketSize0 ;
5569 __le16 idVendor ;
5570 __le16 idProduct ;
5571 __le16 bcdDevice ;
5572 __u8 iManufacturer ;
5573 __u8 iProduct ;
5574 __u8 iSerialNumber ;
5575 __u8 bNumConfigurations ;
5576} __attribute__((__packed__)) ;
5577#line 300 "include/linux/usb/ch9.h"
5578struct usb_config_descriptor {
5579 __u8 bLength ;
5580 __u8 bDescriptorType ;
5581 __le16 wTotalLength ;
5582 __u8 bNumInterfaces ;
5583 __u8 bConfigurationValue ;
5584 __u8 iConfiguration ;
5585 __u8 bmAttributes ;
5586 __u8 bMaxPower ;
5587} __attribute__((__packed__)) ;
5588#line 337 "include/linux/usb/ch9.h"
5589struct usb_interface_descriptor {
5590 __u8 bLength ;
5591 __u8 bDescriptorType ;
5592 __u8 bInterfaceNumber ;
5593 __u8 bAlternateSetting ;
5594 __u8 bNumEndpoints ;
5595 __u8 bInterfaceClass ;
5596 __u8 bInterfaceSubClass ;
5597 __u8 bInterfaceProtocol ;
5598 __u8 iInterface ;
5599} __attribute__((__packed__)) ;
5600#line 355 "include/linux/usb/ch9.h"
5601struct usb_endpoint_descriptor {
5602 __u8 bLength ;
5603 __u8 bDescriptorType ;
5604 __u8 bEndpointAddress ;
5605 __u8 bmAttributes ;
5606 __le16 wMaxPacketSize ;
5607 __u8 bInterval ;
5608 __u8 bRefresh ;
5609 __u8 bSynchAddress ;
5610} __attribute__((__packed__)) ;
5611#line 576 "include/linux/usb/ch9.h"
5612struct usb_ss_ep_comp_descriptor {
5613 __u8 bLength ;
5614 __u8 bDescriptorType ;
5615 __u8 bMaxBurst ;
5616 __u8 bmAttributes ;
5617 __le16 wBytesPerInterval ;
5618} __attribute__((__packed__)) ;
5619#line 637 "include/linux/usb/ch9.h"
5620struct usb_interface_assoc_descriptor {
5621 __u8 bLength ;
5622 __u8 bDescriptorType ;
5623 __u8 bFirstInterface ;
5624 __u8 bInterfaceCount ;
5625 __u8 bFunctionClass ;
5626 __u8 bFunctionSubClass ;
5627 __u8 bFunctionProtocol ;
5628 __u8 iFunction ;
5629} __attribute__((__packed__)) ;
5630#line 846
5631enum usb_device_speed {
5632 USB_SPEED_UNKNOWN = 0,
5633 USB_SPEED_LOW = 1,
5634 USB_SPEED_FULL = 2,
5635 USB_SPEED_HIGH = 3,
5636 USB_SPEED_WIRELESS = 4,
5637 USB_SPEED_SUPER = 5
5638} ;
5639#line 854
5640enum usb_device_state {
5641 USB_STATE_NOTATTACHED = 0,
5642 USB_STATE_ATTACHED = 1,
5643 USB_STATE_POWERED = 2,
5644 USB_STATE_RECONNECTING = 3,
5645 USB_STATE_UNAUTHENTICATED = 4,
5646 USB_STATE_DEFAULT = 5,
5647 USB_STATE_ADDRESS = 6,
5648 USB_STATE_CONFIGURED = 7,
5649 USB_STATE_SUSPENDED = 8
5650} ;
5651#line 31 "include/linux/irq.h"
5652struct seq_file;
5653#line 12 "include/linux/irqdesc.h"
5654struct proc_dir_entry;
5655#line 16 "include/linux/profile.h"
5656struct proc_dir_entry;
5657#line 17
5658struct pt_regs;
5659#line 65
5660struct task_struct;
5661#line 66
5662struct mm_struct;
5663#line 88
5664struct pt_regs;
5665#line 363 "include/linux/irq.h"
5666struct irqaction;
5667#line 132 "include/linux/hardirq.h"
5668struct task_struct;
5669#line 9 "include/trace/events/irq.h"
5670struct irqaction;
5671#line 106 "include/linux/interrupt.h"
5672struct irqaction {
5673 irqreturn_t (*handler)(int , void * ) ;
5674 unsigned long flags ;
5675 void *dev_id ;
5676 struct irqaction *next ;
5677 int irq ;
5678 irqreturn_t (*thread_fn)(int , void * ) ;
5679 struct task_struct *thread ;
5680 unsigned long thread_flags ;
5681 unsigned long thread_mask ;
5682 char const *name ;
5683 struct proc_dir_entry *dir ;
5684} __attribute__((__aligned__((1) << (12) ))) ;
5685#line 172
5686struct device;
5687#line 682
5688struct seq_file;
5689#line 25 "include/linux/usb.h"
5690struct usb_device;
5691#line 25
5692struct usb_device;
5693#line 25
5694struct usb_device;
5695#line 25
5696struct usb_device;
5697#line 27
5698struct wusb_dev;
5699#line 27
5700struct wusb_dev;
5701#line 27
5702struct wusb_dev;
5703#line 27
5704struct wusb_dev;
5705#line 47
5706struct ep_device;
5707#line 47
5708struct ep_device;
5709#line 47
5710struct ep_device;
5711#line 47
5712struct ep_device;
5713#line 64 "include/linux/usb.h"
5714struct usb_host_endpoint {
5715 struct usb_endpoint_descriptor desc ;
5716 struct usb_ss_ep_comp_descriptor ss_ep_comp ;
5717 struct list_head urb_list ;
5718 void *hcpriv ;
5719 struct ep_device *ep_dev ;
5720 unsigned char *extra ;
5721 int extralen ;
5722 int enabled ;
5723};
5724#line 77 "include/linux/usb.h"
5725struct usb_host_interface {
5726 struct usb_interface_descriptor desc ;
5727 struct usb_host_endpoint *endpoint ;
5728 char *string ;
5729 unsigned char *extra ;
5730 int extralen ;
5731};
5732#line 90
5733enum usb_interface_condition {
5734 USB_INTERFACE_UNBOUND = 0,
5735 USB_INTERFACE_BINDING = 1,
5736 USB_INTERFACE_BOUND = 2,
5737 USB_INTERFACE_UNBINDING = 3
5738} ;
5739#line 159 "include/linux/usb.h"
5740struct usb_interface {
5741 struct usb_host_interface *altsetting ;
5742 struct usb_host_interface *cur_altsetting ;
5743 unsigned int num_altsetting ;
5744 struct usb_interface_assoc_descriptor *intf_assoc ;
5745 int minor ;
5746 enum usb_interface_condition condition ;
5747 unsigned int sysfs_files_created : 1 ;
5748 unsigned int ep_devs_created : 1 ;
5749 unsigned int unregistering : 1 ;
5750 unsigned int needs_remote_wakeup : 1 ;
5751 unsigned int needs_altsetting0 : 1 ;
5752 unsigned int needs_binding : 1 ;
5753 unsigned int reset_running : 1 ;
5754 unsigned int resetting_device : 1 ;
5755 struct device dev ;
5756 struct device *usb_dev ;
5757 atomic_t pm_usage_cnt ;
5758 struct work_struct reset_ws ;
5759};
5760#line 222 "include/linux/usb.h"
5761struct usb_interface_cache {
5762 unsigned int num_altsetting ;
5763 struct kref ref ;
5764 struct usb_host_interface altsetting[0] ;
5765};
5766#line 274 "include/linux/usb.h"
5767struct usb_host_config {
5768 struct usb_config_descriptor desc ;
5769 char *string ;
5770 struct usb_interface_assoc_descriptor *intf_assoc[16] ;
5771 struct usb_interface *interface[32] ;
5772 struct usb_interface_cache *intf_cache[32] ;
5773 unsigned char *extra ;
5774 int extralen ;
5775};
5776#line 305 "include/linux/usb.h"
5777struct usb_devmap {
5778 unsigned long devicemap[128UL / (8UL * sizeof(unsigned long ))] ;
5779};
5780#line 312
5781struct mon_bus;
5782#line 312
5783struct mon_bus;
5784#line 312
5785struct mon_bus;
5786#line 312 "include/linux/usb.h"
5787struct usb_bus {
5788 struct device *controller ;
5789 int busnum ;
5790 char const *bus_name ;
5791 u8 uses_dma ;
5792 u8 uses_pio_for_control ;
5793 u8 otg_port ;
5794 unsigned int is_b_host : 1 ;
5795 unsigned int b_hnp_enable : 1 ;
5796 unsigned int sg_tablesize ;
5797 int devnum_next ;
5798 struct usb_devmap devmap ;
5799 struct usb_device *root_hub ;
5800 struct usb_bus *hs_companion ;
5801 struct list_head bus_list ;
5802 int bandwidth_allocated ;
5803 int bandwidth_int_reqs ;
5804 int bandwidth_isoc_reqs ;
5805 struct dentry *usbfs_dentry ;
5806 struct mon_bus *mon_bus ;
5807 int monitored ;
5808};
5809#line 367
5810struct usb_tt;
5811#line 367
5812struct usb_tt;
5813#line 367
5814struct usb_tt;
5815#line 367
5816struct usb_tt;
5817#line 426 "include/linux/usb.h"
5818struct usb_device {
5819 int devnum ;
5820 char devpath[16] ;
5821 u32 route ;
5822 enum usb_device_state state ;
5823 enum usb_device_speed speed ;
5824 struct usb_tt *tt ;
5825 int ttport ;
5826 unsigned int toggle[2] ;
5827 struct usb_device *parent ;
5828 struct usb_bus *bus ;
5829 struct usb_host_endpoint ep0 ;
5830 struct device dev ;
5831 struct usb_device_descriptor descriptor ;
5832 struct usb_host_config *config ;
5833 struct usb_host_config *actconfig ;
5834 struct usb_host_endpoint *ep_in[16] ;
5835 struct usb_host_endpoint *ep_out[16] ;
5836 char **rawdescriptors ;
5837 unsigned short bus_mA ;
5838 u8 portnum ;
5839 u8 level ;
5840 unsigned int can_submit : 1 ;
5841 unsigned int persist_enabled : 1 ;
5842 unsigned int have_langid : 1 ;
5843 unsigned int authorized : 1 ;
5844 unsigned int authenticated : 1 ;
5845 unsigned int wusb : 1 ;
5846 int string_langid ;
5847 char *product ;
5848 char *manufacturer ;
5849 char *serial ;
5850 struct list_head filelist ;
5851 struct device *usb_classdev ;
5852 struct dentry *usbfs_dentry ;
5853 int maxchild ;
5854 struct usb_device *children[31] ;
5855 u32 quirks ;
5856 atomic_t urbnum ;
5857 unsigned long active_duration ;
5858 unsigned long connect_time ;
5859 unsigned int do_remote_wakeup : 1 ;
5860 unsigned int reset_resume : 1 ;
5861 struct wusb_dev *wusb_dev ;
5862 int slot_id ;
5863};
5864#line 983 "include/linux/usb.h"
5865struct usb_iso_packet_descriptor {
5866 unsigned int offset ;
5867 unsigned int length ;
5868 unsigned int actual_length ;
5869 int status ;
5870};
5871#line 990
5872struct urb;
5873#line 990
5874struct urb;
5875#line 990
5876struct urb;
5877#line 990
5878struct urb;
5879#line 992 "include/linux/usb.h"
5880struct usb_anchor {
5881 struct list_head urb_list ;
5882 wait_queue_head_t wait ;
5883 spinlock_t lock ;
5884 unsigned int poisoned : 1 ;
5885};
5886#line 1183
5887struct scatterlist;
5888#line 1183
5889struct scatterlist;
5890#line 1183
5891struct scatterlist;
5892#line 1183 "include/linux/usb.h"
5893struct urb {
5894 struct kref kref ;
5895 void *hcpriv ;
5896 atomic_t use_count ;
5897 atomic_t reject ;
5898 int unlinked ;
5899 struct list_head urb_list ;
5900 struct list_head anchor_list ;
5901 struct usb_anchor *anchor ;
5902 struct usb_device *dev ;
5903 struct usb_host_endpoint *ep ;
5904 unsigned int pipe ;
5905 unsigned int stream_id ;
5906 int status ;
5907 unsigned int transfer_flags ;
5908 void *transfer_buffer ;
5909 dma_addr_t transfer_dma ;
5910 struct scatterlist *sg ;
5911 int num_sgs ;
5912 u32 transfer_buffer_length ;
5913 u32 actual_length ;
5914 unsigned char *setup_packet ;
5915 dma_addr_t setup_dma ;
5916 int start_frame ;
5917 int number_of_packets ;
5918 int interval ;
5919 int error_count ;
5920 void *context ;
5921 void (*complete)(struct urb * ) ;
5922 struct usb_iso_packet_descriptor iso_frame_desc[0] ;
5923};
5924#line 1388
5925struct scatterlist;
5926#line 1 "<compiler builtins>"
5927long __builtin_expect(long , long ) ;
5928#line 100 "include/linux/printk.h"
5929extern int printk(char const *fmt , ...) ;
5930#line 125 "include/linux/kernel.h"
5931extern void __might_sleep(char const *file , int line , int preempt_offset ) ;
5932#line 170
5933extern void might_fault(void) ;
5934#line 88 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/percpu.h"
5935extern void __bad_percpu_size(void) ;
5936#line 64 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
5937extern int strcmp(char const *cs , char const *ct ) ;
5938#line 30 "include/linux/string.h"
5939extern size_t strlcpy(char * , char const * , size_t ) ;
5940#line 217 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5941extern unsigned long kernel_stack __attribute__((__section__(".data..percpu"))) ;
5942#line 219 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5943__inline static struct thread_info *current_thread_info(void)
5944{ struct thread_info *ti ;
5945 unsigned long pfo_ret__ ;
5946 int __cil_tmp3 ;
5947 int __cil_tmp4 ;
5948 int __cil_tmp5 ;
5949 int __cil_tmp6 ;
5950 unsigned long __cil_tmp7 ;
5951 unsigned long __cil_tmp8 ;
5952 unsigned long __cil_tmp9 ;
5953 unsigned long __cil_tmp10 ;
5954 void *__cil_tmp11 ;
5955
5956 {
5957 {
5958#line 222
5959 __cil_tmp3 = (int )8UL;
5960#line 222
5961 if (__cil_tmp3 == 1) {
5962#line 222
5963 goto case_1;
5964 } else {
5965 {
5966#line 222
5967 __cil_tmp4 = (int )8UL;
5968#line 222
5969 if (__cil_tmp4 == 2) {
5970#line 222
5971 goto case_2;
5972 } else {
5973 {
5974#line 222
5975 __cil_tmp5 = (int )8UL;
5976#line 222
5977 if (__cil_tmp5 == 4) {
5978#line 222
5979 goto case_4;
5980 } else {
5981 {
5982#line 222
5983 __cil_tmp6 = (int )8UL;
5984#line 222
5985 if (__cil_tmp6 == 8) {
5986#line 222
5987 goto case_8;
5988 } else {
5989#line 222
5990 goto switch_default;
5991#line 222
5992 if (0) {
5993 case_1:
5994#line 222
5995
5996
5997
5998
5999
6000
6001
6002
6003
6004#line 222
6005 goto switch_break;
6006 case_2:
6007#line 222
6008 __asm__ ("mov"
6009 "w "
6010 "%%"
6011 "gs"
6012 ":"
6013 "%P"
6014 "1"
6015 ",%0": "=r" (pfo_ret__): "p" (& kernel_stack));
6016#line 222
6017 goto switch_break;
6018 case_4:
6019#line 222
6020
6021
6022
6023
6024
6025
6026
6027
6028
6029#line 222
6030 goto switch_break;
6031 case_8:
6032#line 222
6033 __asm__ ("mov"
6034 "q "
6035 "%%"
6036 "gs"
6037 ":"
6038 "%P"
6039 "1"
6040 ",%0": "=r" (pfo_ret__): "p" (& kernel_stack));
6041#line 222
6042 goto switch_break;
6043 switch_default:
6044 {
6045#line 222
6046 __bad_percpu_size();
6047 }
6048 } else {
6049 switch_break: ;
6050 }
6051 }
6052 }
6053 }
6054 }
6055 }
6056 }
6057 }
6058 }
6059#line 222
6060 __cil_tmp7 = 1UL << 12;
6061#line 222
6062 __cil_tmp8 = __cil_tmp7 << 1;
6063#line 222
6064 __cil_tmp9 = pfo_ret__ + 40UL;
6065#line 222
6066 __cil_tmp10 = __cil_tmp9 - __cil_tmp8;
6067#line 222
6068 __cil_tmp11 = (void *)__cil_tmp10;
6069#line 222
6070 ti = (struct thread_info *)__cil_tmp11;
6071#line 224
6072 return (ti);
6073}
6074}
6075#line 115 "include/linux/mutex.h"
6076extern void __mutex_init(struct mutex *lock , char const *name , struct lock_class_key *key ) ;
6077#line 134
6078extern void mutex_lock_nested(struct mutex *lock , unsigned int subclass ) ;
6079#line 169
6080extern void mutex_unlock(struct mutex *lock ) ;
6081#line 82 "include/linux/jiffies.h"
6082extern unsigned long volatile jiffies __attribute__((__section__(".data"))) ;
6083#line 298
6084extern unsigned long msecs_to_jiffies(unsigned int m ) ;
6085#line 830 "include/linux/rcupdate.h"
6086extern void kfree(void const * ) ;
6087#line 80 "include/linux/kobject.h"
6088__inline static char const *kobject_name(struct kobject const *kobj )
6089{ char const *__cil_tmp2 ;
6090
6091 {
6092 {
6093#line 82
6094 __cil_tmp2 = kobj->name;
6095#line 82
6096 return ((char const *)__cil_tmp2);
6097 }
6098}
6099}
6100#line 303 "include/linux/moduleparam.h"
6101extern struct kernel_param_ops param_ops_int ;
6102#line 329
6103extern struct kernel_param_ops param_ops_bool ;
6104#line 383
6105extern struct kernel_param_ops param_array_ops ;
6106#line 79 "include/linux/module.h"
6107int init_module(void) ;
6108#line 80
6109void cleanup_module(void) ;
6110#line 99
6111extern struct module __this_module ;
6112#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/delay.h"
6113extern void __const_udelay(unsigned long xloops ) ;
6114#line 47 "include/linux/delay.h"
6115extern unsigned long msleep_interruptible(unsigned int msecs ) ;
6116#line 221 "include/linux/slub_def.h"
6117extern void *__kmalloc(size_t size , gfp_t flags ) ;
6118#line 255 "include/linux/slub_def.h"
6119__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
6120 gfp_t flags )
6121{ void *tmp___2 ;
6122
6123 {
6124 {
6125#line 270
6126 tmp___2 = __kmalloc(size, flags);
6127 }
6128#line 270
6129 return (tmp___2);
6130}
6131}
6132#line 318 "include/linux/slab.h"
6133__inline static void *kzalloc(size_t size , gfp_t flags )
6134{ void *tmp ;
6135 unsigned int __cil_tmp4 ;
6136
6137 {
6138 {
6139#line 320
6140 __cil_tmp4 = flags | 32768U;
6141#line 320
6142 tmp = kmalloc(size, __cil_tmp4);
6143 }
6144#line 320
6145 return (tmp);
6146}
6147}
6148#line 362 "include/linux/parport.h"
6149extern int parport_register_driver(struct parport_driver * ) ;
6150#line 365
6151extern void parport_unregister_driver(struct parport_driver * ) ;
6152#line 385
6153extern struct pardevice *parport_register_device(struct parport *port , char const *name ,
6154 int (*pf)(void * ) , void (*kf)(void * ) ,
6155 void (*irq_func)(void * ) , int flags ,
6156 void *handle ) ;
6157#line 392
6158extern void parport_unregister_device(struct pardevice *dev ) ;
6159#line 403
6160extern int parport_claim_or_block(struct pardevice *dev ) ;
6161#line 413
6162extern void parport_release(struct pardevice *dev ) ;
6163#line 361 "include/linux/sched.h"
6164extern void schedule(void) ;
6165#line 2504
6166extern int _cond_resched(void) ;
6167#line 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6168extern unsigned long __attribute__((__warn_unused_result__)) copy_user_generic_string(void *to ,
6169 void const *from ,
6170 unsigned int len ) ;
6171#line 21
6172extern unsigned long __attribute__((__warn_unused_result__)) copy_user_generic_unrolled(void *to ,
6173 void const *from ,
6174 unsigned int len ) ;
6175#line 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6176__inline static unsigned long __attribute__((__warn_unused_result__)) ( __attribute__((__always_inline__)) copy_user_generic)(void *to ,
6177 void const *from ,
6178 unsigned int len )
6179{ unsigned int ret ;
6180
6181 {
6182#line 29
6183 __asm__ volatile ("661:\n\t"
6184 "call %P[old]"
6185 "\n662:\n"
6186 ".section .altinstructions,\"a\"\n"
6187 " "
6188 ".balign 8"
6189 " "
6190 "\n"
6191 " "
6192 ".quad"
6193 " "
6194 "661b\n"
6195 " "
6196 ".quad"
6197 " "
6198 "663f\n"
6199 "\t .word "
6200 "(3*32+16)"
6201 "\n"
6202 "\t .byte 662b-661b\n"
6203 "\t .byte 664f-663f\n"
6204 ".previous\n"
6205 ".section .discard,\"aw\",@progbits\n"
6206 "\t .byte 0xff + (664f-663f) - (662b-661b)\n"
6207 ".previous\n"
6208 ".section .altinstr_replacement, \"ax\"\n"
6209 "663:\n\t"
6210 "call %P[new]"
6211 "\n664:\n"
6212 ".previous": "=a" (ret), "=D" (to), "=S" (from), "=d" (len): [old] "i" (& copy_user_generic_unrolled),
6213 [new] "i" (& copy_user_generic_string), "1" (to), "2" (from),
6214 "3" (len): "memory", "rcx", "r8", "r9", "r10", "r11");
6215#line 36
6216 return ((unsigned long )ret);
6217}
6218}
6219#line 114 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6220__inline static int __attribute__((__warn_unused_result__)) ( __attribute__((__always_inline__)) __copy_to_user)(void *dst ,
6221 void const *src ,
6222 unsigned int size )
6223{ int ret ;
6224 unsigned long tmp___7 ;
6225 long tmp___8 ;
6226 long tmp___9 ;
6227 unsigned long tmp___10 ;
6228 unsigned long tmp ;
6229 unsigned long tmp___11 ;
6230 unsigned long tmp___12 ;
6231 unsigned long tmp___13 ;
6232 int __cil_tmp13 ;
6233 int __cil_tmp14 ;
6234 int __cil_tmp15 ;
6235 int __cil_tmp16 ;
6236 int __cil_tmp17 ;
6237 int __cil_tmp18 ;
6238 u8 *__cil_tmp19 ;
6239 u8 *__cil_tmp20 ;
6240 struct __large_struct *__cil_tmp21 ;
6241 u16 *__cil_tmp22 ;
6242 u16 *__cil_tmp23 ;
6243 struct __large_struct *__cil_tmp24 ;
6244 u32 *__cil_tmp25 ;
6245 u32 *__cil_tmp26 ;
6246 struct __large_struct *__cil_tmp27 ;
6247 u64 *__cil_tmp28 ;
6248 u64 *__cil_tmp29 ;
6249 struct __large_struct *__cil_tmp30 ;
6250 u64 *__cil_tmp31 ;
6251 u64 *__cil_tmp32 ;
6252 struct __large_struct *__cil_tmp33 ;
6253 int __cil_tmp34 ;
6254 int __cil_tmp35 ;
6255 long __cil_tmp36 ;
6256 u16 *__cil_tmp37 ;
6257 u16 *__cil_tmp38 ;
6258 u16 *__cil_tmp39 ;
6259 u16 *__cil_tmp40 ;
6260 struct __large_struct *__cil_tmp41 ;
6261 u64 *__cil_tmp42 ;
6262 u64 *__cil_tmp43 ;
6263 struct __large_struct *__cil_tmp44 ;
6264 int __cil_tmp45 ;
6265 int __cil_tmp46 ;
6266 long __cil_tmp47 ;
6267 u64 *__cil_tmp48 ;
6268 u64 *__cil_tmp49 ;
6269 u64 *__cil_tmp50 ;
6270 u64 *__cil_tmp51 ;
6271 struct __large_struct *__cil_tmp52 ;
6272
6273 {
6274 {
6275#line 117
6276 ret = 0;
6277#line 119
6278 might_fault();
6279#line 121
6280 tmp___12 = (unsigned long )copy_user_generic(dst, src, size);
6281#line 121
6282 tmp = tmp___12;
6283#line 121
6284 tmp___7 = tmp;
6285 }
6286#line 121
6287 return ((int )tmp___7);
6288 {
6289#line 123
6290 __cil_tmp13 = (int )size;
6291#line 123
6292 if (__cil_tmp13 == 1) {
6293#line 123
6294 goto case_1;
6295 } else {
6296 {
6297#line 126
6298 __cil_tmp14 = (int )size;
6299#line 126
6300 if (__cil_tmp14 == 2) {
6301#line 126
6302 goto case_2;
6303 } else {
6304 {
6305#line 129
6306 __cil_tmp15 = (int )size;
6307#line 129
6308 if (__cil_tmp15 == 4) {
6309#line 129
6310 goto case_4;
6311 } else {
6312 {
6313#line 132
6314 __cil_tmp16 = (int )size;
6315#line 132
6316 if (__cil_tmp16 == 8) {
6317#line 132
6318 goto case_8;
6319 } else {
6320 {
6321#line 135
6322 __cil_tmp17 = (int )size;
6323#line 135
6324 if (__cil_tmp17 == 10) {
6325#line 135
6326 goto case_10;
6327 } else {
6328 {
6329#line 144
6330 __cil_tmp18 = (int )size;
6331#line 144
6332 if (__cil_tmp18 == 16) {
6333#line 144
6334 goto case_16;
6335 } else {
6336#line 153
6337 goto switch_default;
6338#line 122
6339 if (0) {
6340 case_1:
6341#line 123
6342 __cil_tmp19 = (u8 *)src;
6343#line 123
6344 __cil_tmp20 = (u8 *)dst;
6345#line 123
6346 __cil_tmp21 = (struct __large_struct *)__cil_tmp20;
6347#line 123
6348 __asm__ volatile ("1:\tmov"
6349 "b"
6350 " %"
6351 "b"
6352 "1,%2\n"
6353 "2:\n"
6354 ".section .fixup,\"ax\"\n"
6355 "3:\tmov %3,%0\n"
6356 "\tjmp 2b\n"
6357 ".previous\n"
6358 " .section __ex_table,\"a\"\n"
6359 " "
6360 ".balign 8"
6361 " "
6362 "\n"
6363 " "
6364 ".quad"
6365 " "
6366 "1b"
6367 ","
6368 "3b"
6369 "\n"
6370 " .previous\n": "=r" (ret): "iq" (*__cil_tmp19),
6371 "m" (*__cil_tmp21), "i" (1), "0" (ret));
6372#line 125
6373 return (ret);
6374 case_2:
6375#line 126
6376 __cil_tmp22 = (u16 *)src;
6377#line 126
6378 __cil_tmp23 = (u16 *)dst;
6379#line 126
6380 __cil_tmp24 = (struct __large_struct *)__cil_tmp23;
6381#line 126
6382 __asm__ volatile ("1:\tmov"
6383 "w"
6384 " %"
6385 "w"
6386 "1,%2\n"
6387 "2:\n"
6388 ".section .fixup,\"ax\"\n"
6389 "3:\tmov %3,%0\n"
6390 "\tjmp 2b\n"
6391 ".previous\n"
6392 " .section __ex_table,\"a\"\n"
6393 " "
6394 ".balign 8"
6395 " "
6396 "\n"
6397 " "
6398 ".quad"
6399 " "
6400 "1b"
6401 ","
6402 "3b"
6403 "\n"
6404 " .previous\n": "=r" (ret): "ir" (*__cil_tmp22),
6405 "m" (*__cil_tmp24), "i" (2), "0" (ret));
6406#line 128
6407 return (ret);
6408 case_4:
6409#line 129
6410 __cil_tmp25 = (u32 *)src;
6411#line 129
6412 __cil_tmp26 = (u32 *)dst;
6413#line 129
6414 __cil_tmp27 = (struct __large_struct *)__cil_tmp26;
6415#line 129
6416 __asm__ volatile ("1:\tmov"
6417 "l"
6418 " %"
6419 "k"
6420 "1,%2\n"
6421 "2:\n"
6422 ".section .fixup,\"ax\"\n"
6423 "3:\tmov %3,%0\n"
6424 "\tjmp 2b\n"
6425 ".previous\n"
6426 " .section __ex_table,\"a\"\n"
6427 " "
6428 ".balign 8"
6429 " "
6430 "\n"
6431 " "
6432 ".quad"
6433 " "
6434 "1b"
6435 ","
6436 "3b"
6437 "\n"
6438 " .previous\n": "=r" (ret): "ir" (*__cil_tmp25),
6439 "m" (*__cil_tmp27), "i" (4), "0" (ret));
6440#line 131
6441 return (ret);
6442 case_8:
6443#line 132
6444 __cil_tmp28 = (u64 *)src;
6445#line 132
6446 __cil_tmp29 = (u64 *)dst;
6447#line 132
6448 __cil_tmp30 = (struct __large_struct *)__cil_tmp29;
6449#line 132
6450 __asm__ volatile ("1:\tmov"
6451 "q"
6452 " %"
6453 ""
6454 "1,%2\n"
6455 "2:\n"
6456 ".section .fixup,\"ax\"\n"
6457 "3:\tmov %3,%0\n"
6458 "\tjmp 2b\n"
6459 ".previous\n"
6460 " .section __ex_table,\"a\"\n"
6461 " "
6462 ".balign 8"
6463 " "
6464 "\n"
6465 " "
6466 ".quad"
6467 " "
6468 "1b"
6469 ","
6470 "3b