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 23 "/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_clock_t;
54#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"
55typedef int __kernel_timer_t;
56#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"
57typedef int __kernel_clockid_t;
58#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"
59typedef long long __kernel_loff_t;
60#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"
61typedef __kernel_uid_t __kernel_uid32_t;
62#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"
63typedef __kernel_gid_t __kernel_gid32_t;
64#line 21 "include/linux/types.h"
65typedef __u32 __kernel_dev_t;
66#line 24 "include/linux/types.h"
67typedef __kernel_dev_t dev_t;
68#line 26 "include/linux/types.h"
69typedef __kernel_mode_t mode_t;
70#line 27 "include/linux/types.h"
71typedef __kernel_nlink_t nlink_t;
72#line 28 "include/linux/types.h"
73typedef __kernel_off_t off_t;
74#line 29 "include/linux/types.h"
75typedef __kernel_pid_t pid_t;
76#line 34 "include/linux/types.h"
77typedef __kernel_clockid_t clockid_t;
78#line 37 "include/linux/types.h"
79typedef _Bool bool;
80#line 39 "include/linux/types.h"
81typedef __kernel_uid32_t uid_t;
82#line 40 "include/linux/types.h"
83typedef __kernel_gid32_t gid_t;
84#line 53 "include/linux/types.h"
85typedef __kernel_loff_t loff_t;
86#line 62 "include/linux/types.h"
87typedef __kernel_size_t size_t;
88#line 67 "include/linux/types.h"
89typedef __kernel_ssize_t ssize_t;
90#line 77 "include/linux/types.h"
91typedef __kernel_time_t time_t;
92#line 110 "include/linux/types.h"
93typedef __s32 int32_t;
94#line 114 "include/linux/types.h"
95typedef __u8 uint8_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 178 "include/linux/types.h"
107typedef __u16 __be16;
108#line 180 "include/linux/types.h"
109typedef __u32 __be32;
110#line 185 "include/linux/types.h"
111typedef __u32 __wsum;
112#line 201 "include/linux/types.h"
113typedef unsigned int gfp_t;
114#line 202 "include/linux/types.h"
115typedef unsigned int fmode_t;
116#line 205 "include/linux/types.h"
117typedef u64 phys_addr_t;
118#line 210 "include/linux/types.h"
119typedef phys_addr_t resource_size_t;
120#line 212 "include/linux/types.h"
121struct __anonstruct_atomic_t_7 {
122 int counter ;
123};
124#line 212 "include/linux/types.h"
125typedef struct __anonstruct_atomic_t_7 atomic_t;
126#line 217 "include/linux/types.h"
127struct __anonstruct_atomic64_t_8 {
128 long counter ;
129};
130#line 217 "include/linux/types.h"
131typedef struct __anonstruct_atomic64_t_8 atomic64_t;
132#line 222 "include/linux/types.h"
133struct list_head {
134 struct list_head *next ;
135 struct list_head *prev ;
136};
137#line 226
138struct hlist_node;
139#line 226
140struct hlist_node;
141#line 226
142struct hlist_node;
143#line 226 "include/linux/types.h"
144struct hlist_head {
145 struct hlist_node *first ;
146};
147#line 230 "include/linux/types.h"
148struct hlist_node {
149 struct hlist_node *next ;
150 struct hlist_node **pprev ;
151};
152#line 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
153struct module;
154#line 59
155struct module;
156#line 59
157struct module;
158#line 59
159struct module;
160#line 145 "include/linux/init.h"
161typedef void (*ctor_fn_t)(void);
162#line 10 "include/asm-generic/bug.h"
163struct bug_entry {
164 int bug_addr_disp ;
165 int file_disp ;
166 unsigned short line ;
167 unsigned short flags ;
168};
169#line 113 "include/linux/kernel.h"
170struct completion;
171#line 113
172struct completion;
173#line 113
174struct completion;
175#line 113
176struct completion;
177#line 114
178struct pt_regs;
179#line 114
180struct pt_regs;
181#line 114
182struct pt_regs;
183#line 114
184struct pt_regs;
185#line 322
186struct pid;
187#line 322
188struct pid;
189#line 322
190struct pid;
191#line 322
192struct pid;
193#line 12 "include/linux/thread_info.h"
194struct timespec;
195#line 12
196struct timespec;
197#line 12
198struct timespec;
199#line 12
200struct timespec;
201#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page.h"
202struct page;
203#line 18
204struct page;
205#line 18
206struct page;
207#line 18
208struct page;
209#line 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
210struct task_struct;
211#line 20
212struct task_struct;
213#line 20
214struct task_struct;
215#line 20
216struct task_struct;
217#line 7 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
218struct task_struct;
219#line 8
220struct mm_struct;
221#line 8
222struct mm_struct;
223#line 8
224struct mm_struct;
225#line 8
226struct mm_struct;
227#line 99 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
228struct pt_regs {
229 unsigned long r15 ;
230 unsigned long r14 ;
231 unsigned long r13 ;
232 unsigned long r12 ;
233 unsigned long bp ;
234 unsigned long bx ;
235 unsigned long r11 ;
236 unsigned long r10 ;
237 unsigned long r9 ;
238 unsigned long r8 ;
239 unsigned long ax ;
240 unsigned long cx ;
241 unsigned long dx ;
242 unsigned long si ;
243 unsigned long di ;
244 unsigned long orig_ax ;
245 unsigned long ip ;
246 unsigned long cs ;
247 unsigned long flags ;
248 unsigned long sp ;
249 unsigned long ss ;
250};
251#line 136
252struct task_struct;
253#line 141 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
254struct kernel_vm86_regs {
255 struct pt_regs pt ;
256 unsigned short es ;
257 unsigned short __esh ;
258 unsigned short ds ;
259 unsigned short __dsh ;
260 unsigned short fs ;
261 unsigned short __fsh ;
262 unsigned short gs ;
263 unsigned short __gsh ;
264};
265#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/math_emu.h"
266union __anonunion____missing_field_name_14 {
267 struct pt_regs *regs ;
268 struct kernel_vm86_regs *vm86 ;
269};
270#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/math_emu.h"
271struct math_emu_info {
272 long ___orig_eip ;
273 union __anonunion____missing_field_name_14 __annonCompField5 ;
274};
275#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
276struct task_struct;
277#line 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
278typedef unsigned long pteval_t;
279#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
280typedef unsigned long pmdval_t;
281#line 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
282typedef unsigned long pudval_t;
283#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"
284typedef unsigned long pgdval_t;
285#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"
286typedef unsigned long pgprotval_t;
287#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
288struct __anonstruct_pte_t_16 {
289 pteval_t pte ;
290};
291#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
292typedef struct __anonstruct_pte_t_16 pte_t;
293#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
294struct pgprot {
295 pgprotval_t pgprot ;
296};
297#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
298typedef struct pgprot pgprot_t;
299#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
300struct __anonstruct_pgd_t_17 {
301 pgdval_t pgd ;
302};
303#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
304typedef struct __anonstruct_pgd_t_17 pgd_t;
305#line 210 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
306struct __anonstruct_pud_t_18 {
307 pudval_t pud ;
308};
309#line 210 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
310typedef struct __anonstruct_pud_t_18 pud_t;
311#line 231 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
312struct __anonstruct_pmd_t_19 {
313 pmdval_t pmd ;
314};
315#line 231 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
316typedef struct __anonstruct_pmd_t_19 pmd_t;
317#line 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
318typedef struct page *pgtable_t;
319#line 293
320struct file;
321#line 293
322struct file;
323#line 293
324struct file;
325#line 293
326struct file;
327#line 311
328struct seq_file;
329#line 311
330struct seq_file;
331#line 311
332struct seq_file;
333#line 311
334struct seq_file;
335#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
336struct __anonstruct____missing_field_name_22 {
337 unsigned int a ;
338 unsigned int b ;
339};
340#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
341struct __anonstruct____missing_field_name_23 {
342 u16 limit0 ;
343 u16 base0 ;
344 unsigned int base1 : 8 ;
345 unsigned int type : 4 ;
346 unsigned int s : 1 ;
347 unsigned int dpl : 2 ;
348 unsigned int p : 1 ;
349 unsigned int limit : 4 ;
350 unsigned int avl : 1 ;
351 unsigned int l : 1 ;
352 unsigned int d : 1 ;
353 unsigned int g : 1 ;
354 unsigned int base2 : 8 ;
355};
356#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
357union __anonunion____missing_field_name_21 {
358 struct __anonstruct____missing_field_name_22 __annonCompField7 ;
359 struct __anonstruct____missing_field_name_23 __annonCompField8 ;
360};
361#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
362struct desc_struct {
363 union __anonunion____missing_field_name_21 __annonCompField9 ;
364} __attribute__((__packed__)) ;
365#line 51 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
366struct gate_struct64 {
367 u16 offset_low ;
368 u16 segment ;
369 unsigned int ist : 3 ;
370 unsigned int zero0 : 5 ;
371 unsigned int type : 5 ;
372 unsigned int dpl : 2 ;
373 unsigned int p : 1 ;
374 u16 offset_middle ;
375 u32 offset_high ;
376 u32 zero1 ;
377} __attribute__((__packed__)) ;
378#line 81 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
379typedef struct gate_struct64 gate_desc;
380#line 94 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
381struct desc_ptr {
382 unsigned short size ;
383 unsigned long address ;
384} __attribute__((__packed__)) ;
385#line 45 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
386struct page;
387#line 46
388struct thread_struct;
389#line 46
390struct thread_struct;
391#line 46
392struct thread_struct;
393#line 46
394struct thread_struct;
395#line 47
396struct desc_ptr;
397#line 48
398struct tss_struct;
399#line 48
400struct tss_struct;
401#line 48
402struct tss_struct;
403#line 48
404struct tss_struct;
405#line 49
406struct mm_struct;
407#line 50
408struct desc_struct;
409#line 51
410struct task_struct;
411#line 52
412struct cpumask;
413#line 52
414struct cpumask;
415#line 52
416struct cpumask;
417#line 52
418struct cpumask;
419#line 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
420struct paravirt_callee_save {
421 void *func ;
422};
423#line 70 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
424struct pv_init_ops {
425 unsigned int (*patch)(u8 type , u16 clobber , void *insnbuf , unsigned long addr ,
426 unsigned int len ) ;
427};
428#line 84 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
429struct pv_lazy_ops {
430 void (*enter)(void) ;
431 void (*leave)(void) ;
432};
433#line 90 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
434struct pv_time_ops {
435 unsigned long long (*sched_clock)(void) ;
436 unsigned long (*get_tsc_khz)(void) ;
437};
438#line 95 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
439struct pv_cpu_ops {
440 unsigned long (*get_debugreg)(int regno ) ;
441 void (*set_debugreg)(int regno , unsigned long value ) ;
442 void (*clts)(void) ;
443 unsigned long (*read_cr0)(void) ;
444 void (*write_cr0)(unsigned long ) ;
445 unsigned long (*read_cr4_safe)(void) ;
446 unsigned long (*read_cr4)(void) ;
447 void (*write_cr4)(unsigned long ) ;
448 unsigned long (*read_cr8)(void) ;
449 void (*write_cr8)(unsigned long ) ;
450 void (*load_tr_desc)(void) ;
451 void (*load_gdt)(struct desc_ptr const * ) ;
452 void (*load_idt)(struct desc_ptr const * ) ;
453 void (*store_gdt)(struct desc_ptr * ) ;
454 void (*store_idt)(struct desc_ptr * ) ;
455 void (*set_ldt)(void const *desc , unsigned int entries ) ;
456 unsigned long (*store_tr)(void) ;
457 void (*load_tls)(struct thread_struct *t , unsigned int cpu ) ;
458 void (*load_gs_index)(unsigned int idx ) ;
459 void (*write_ldt_entry)(struct desc_struct *ldt , int entrynum , void const *desc ) ;
460 void (*write_gdt_entry)(struct desc_struct * , int entrynum , void const *desc ,
461 int size ) ;
462 void (*write_idt_entry)(gate_desc * , int entrynum , gate_desc const *gate ) ;
463 void (*alloc_ldt)(struct desc_struct *ldt , unsigned int entries ) ;
464 void (*free_ldt)(struct desc_struct *ldt , unsigned int entries ) ;
465 void (*load_sp0)(struct tss_struct *tss , struct thread_struct *t ) ;
466 void (*set_iopl_mask)(unsigned int mask ) ;
467 void (*wbinvd)(void) ;
468 void (*io_delay)(void) ;
469 void (*cpuid)(unsigned int *eax , unsigned int *ebx , unsigned int *ecx , unsigned int *edx ) ;
470 u64 (*read_msr)(unsigned int msr , int *err ) ;
471 int (*rdmsr_regs)(u32 *regs ) ;
472 int (*write_msr)(unsigned int msr , unsigned int low , unsigned int high ) ;
473 int (*wrmsr_regs)(u32 *regs ) ;
474 u64 (*read_tsc)(void) ;
475 u64 (*read_pmc)(int counter ) ;
476 unsigned long long (*read_tscp)(unsigned int *aux ) ;
477 void (*irq_enable_sysexit)(void) ;
478 void (*usergs_sysret64)(void) ;
479 void (*usergs_sysret32)(void) ;
480 void (*iret)(void) ;
481 void (*swapgs)(void) ;
482 void (*start_context_switch)(struct task_struct *prev ) ;
483 void (*end_context_switch)(struct task_struct *next ) ;
484};
485#line 191 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
486struct pv_irq_ops {
487 struct paravirt_callee_save save_fl ;
488 struct paravirt_callee_save restore_fl ;
489 struct paravirt_callee_save irq_disable ;
490 struct paravirt_callee_save irq_enable ;
491 void (*safe_halt)(void) ;
492 void (*halt)(void) ;
493 void (*adjust_exception_frame)(void) ;
494};
495#line 214 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
496struct pv_apic_ops {
497 void (*startup_ipi_hook)(int phys_apicid , unsigned long start_eip , unsigned long start_esp ) ;
498};
499#line 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
500struct pv_mmu_ops {
501 unsigned long (*read_cr2)(void) ;
502 void (*write_cr2)(unsigned long ) ;
503 unsigned long (*read_cr3)(void) ;
504 void (*write_cr3)(unsigned long ) ;
505 void (*activate_mm)(struct mm_struct *prev , struct mm_struct *next ) ;
506 void (*dup_mmap)(struct mm_struct *oldmm , struct mm_struct *mm ) ;
507 void (*exit_mmap)(struct mm_struct *mm ) ;
508 void (*flush_tlb_user)(void) ;
509 void (*flush_tlb_kernel)(void) ;
510 void (*flush_tlb_single)(unsigned long addr ) ;
511 void (*flush_tlb_others)(struct cpumask const *cpus , struct mm_struct *mm ,
512 unsigned long va ) ;
513 int (*pgd_alloc)(struct mm_struct *mm ) ;
514 void (*pgd_free)(struct mm_struct *mm , pgd_t *pgd ) ;
515 void (*alloc_pte)(struct mm_struct *mm , unsigned long pfn ) ;
516 void (*alloc_pmd)(struct mm_struct *mm , unsigned long pfn ) ;
517 void (*alloc_pud)(struct mm_struct *mm , unsigned long pfn ) ;
518 void (*release_pte)(unsigned long pfn ) ;
519 void (*release_pmd)(unsigned long pfn ) ;
520 void (*release_pud)(unsigned long pfn ) ;
521 void (*set_pte)(pte_t *ptep , pte_t pteval ) ;
522 void (*set_pte_at)(struct mm_struct *mm , unsigned long addr , pte_t *ptep , pte_t pteval ) ;
523 void (*set_pmd)(pmd_t *pmdp , pmd_t pmdval ) ;
524 void (*set_pmd_at)(struct mm_struct *mm , unsigned long addr , pmd_t *pmdp , pmd_t pmdval ) ;
525 void (*pte_update)(struct mm_struct *mm , unsigned long addr , pte_t *ptep ) ;
526 void (*pte_update_defer)(struct mm_struct *mm , unsigned long addr , pte_t *ptep ) ;
527 void (*pmd_update)(struct mm_struct *mm , unsigned long addr , pmd_t *pmdp ) ;
528 void (*pmd_update_defer)(struct mm_struct *mm , unsigned long addr , pmd_t *pmdp ) ;
529 pte_t (*ptep_modify_prot_start)(struct mm_struct *mm , unsigned long addr , pte_t *ptep ) ;
530 void (*ptep_modify_prot_commit)(struct mm_struct *mm , unsigned long addr , pte_t *ptep ,
531 pte_t pte ) ;
532 struct paravirt_callee_save pte_val ;
533 struct paravirt_callee_save make_pte ;
534 struct paravirt_callee_save pgd_val ;
535 struct paravirt_callee_save make_pgd ;
536 void (*set_pud)(pud_t *pudp , pud_t pudval ) ;
537 struct paravirt_callee_save pmd_val ;
538 struct paravirt_callee_save make_pmd ;
539 struct paravirt_callee_save pud_val ;
540 struct paravirt_callee_save make_pud ;
541 void (*set_pgd)(pgd_t *pudp , pgd_t pgdval ) ;
542 struct pv_lazy_ops lazy_mode ;
543 void (*set_fixmap)(unsigned int idx , phys_addr_t phys , pgprot_t flags ) ;
544};
545#line 322
546struct arch_spinlock;
547#line 322
548struct arch_spinlock;
549#line 322
550struct arch_spinlock;
551#line 322
552struct arch_spinlock;
553#line 323 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
554struct pv_lock_ops {
555 int (*spin_is_locked)(struct arch_spinlock *lock ) ;
556 int (*spin_is_contended)(struct arch_spinlock *lock ) ;
557 void (*spin_lock)(struct arch_spinlock *lock ) ;
558 void (*spin_lock_flags)(struct arch_spinlock *lock , unsigned long flags ) ;
559 int (*spin_trylock)(struct arch_spinlock *lock ) ;
560 void (*spin_unlock)(struct arch_spinlock *lock ) ;
561};
562#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
563struct paravirt_patch_template {
564 struct pv_init_ops pv_init_ops ;
565 struct pv_time_ops pv_time_ops ;
566 struct pv_cpu_ops pv_cpu_ops ;
567 struct pv_irq_ops pv_irq_ops ;
568 struct pv_apic_ops pv_apic_ops ;
569 struct pv_mmu_ops pv_mmu_ops ;
570 struct pv_lock_ops pv_lock_ops ;
571};
572#line 13 "include/linux/cpumask.h"
573struct cpumask {
574 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
575};
576#line 13 "include/linux/cpumask.h"
577typedef struct cpumask cpumask_t;
578#line 622 "include/linux/cpumask.h"
579typedef struct cpumask *cpumask_var_t;
580#line 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/system.h"
581struct task_struct;
582#line 23
583struct tss_struct;
584#line 11 "include/linux/personality.h"
585struct pt_regs;
586#line 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
587struct seq_operations;
588#line 145
589struct seq_operations;
590#line 145
591struct seq_operations;
592#line 224 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
593struct x86_hw_tss {
594 u32 reserved1 ;
595 u64 sp0 ;
596 u64 sp1 ;
597 u64 sp2 ;
598 u64 reserved2 ;
599 u64 ist[7] ;
600 u32 reserved3 ;
601 u32 reserved4 ;
602 u16 reserved5 ;
603 u16 io_bitmap_base ;
604} __attribute__((__packed__, __aligned__((1) << (6) ))) ;
605#line 248 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
606struct tss_struct {
607 struct x86_hw_tss x86_tss ;
608 unsigned long io_bitmap[8192UL / sizeof(long ) + 1UL] ;
609 unsigned long stack[64] ;
610} __attribute__((__aligned__((1) << (6) ))) ;
611#line 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
612struct i387_fsave_struct {
613 u32 cwd ;
614 u32 swd ;
615 u32 twd ;
616 u32 fip ;
617 u32 fcs ;
618 u32 foo ;
619 u32 fos ;
620 u32 st_space[20] ;
621 u32 status ;
622};
623#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
624struct __anonstruct____missing_field_name_31 {
625 u64 rip ;
626 u64 rdp ;
627};
628#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
629struct __anonstruct____missing_field_name_32 {
630 u32 fip ;
631 u32 fcs ;
632 u32 foo ;
633 u32 fos ;
634};
635#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
636union __anonunion____missing_field_name_30 {
637 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
638 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
639};
640#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
641union __anonunion____missing_field_name_33 {
642 u32 padding1[12] ;
643 u32 sw_reserved[12] ;
644};
645#line 296 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
646struct i387_fxsave_struct {
647 u16 cwd ;
648 u16 swd ;
649 u16 twd ;
650 u16 fop ;
651 union __anonunion____missing_field_name_30 __annonCompField14 ;
652 u32 mxcsr ;
653 u32 mxcsr_mask ;
654 u32 st_space[32] ;
655 u32 xmm_space[64] ;
656 u32 padding[12] ;
657 union __anonunion____missing_field_name_33 __annonCompField15 ;
658} __attribute__((__aligned__(16))) ;
659#line 331 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
660struct i387_soft_struct {
661 u32 cwd ;
662 u32 swd ;
663 u32 twd ;
664 u32 fip ;
665 u32 fcs ;
666 u32 foo ;
667 u32 fos ;
668 u32 st_space[20] ;
669 u8 ftop ;
670 u8 changed ;
671 u8 lookahead ;
672 u8 no_update ;
673 u8 rm ;
674 u8 alimit ;
675 struct math_emu_info *info ;
676 u32 entry_eip ;
677};
678#line 351 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
679struct ymmh_struct {
680 u32 ymmh_space[64] ;
681};
682#line 356 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
683struct xsave_hdr_struct {
684 u64 xstate_bv ;
685 u64 reserved1[2] ;
686 u64 reserved2[5] ;
687} __attribute__((__packed__)) ;
688#line 362 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
689struct xsave_struct {
690 struct i387_fxsave_struct i387 ;
691 struct xsave_hdr_struct xsave_hdr ;
692 struct ymmh_struct ymmh ;
693} __attribute__((__packed__, __aligned__(64))) ;
694#line 369 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
695union thread_xstate {
696 struct i387_fsave_struct fsave ;
697 struct i387_fxsave_struct fxsave ;
698 struct i387_soft_struct soft ;
699 struct xsave_struct xsave ;
700};
701#line 376 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
702struct fpu {
703 union thread_xstate *state ;
704};
705#line 421
706struct kmem_cache;
707#line 421
708struct kmem_cache;
709#line 421
710struct kmem_cache;
711#line 423
712struct perf_event;
713#line 423
714struct perf_event;
715#line 423
716struct perf_event;
717#line 423
718struct perf_event;
719#line 425 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
720struct thread_struct {
721 struct desc_struct tls_array[3] ;
722 unsigned long sp0 ;
723 unsigned long sp ;
724 unsigned long usersp ;
725 unsigned short es ;
726 unsigned short ds ;
727 unsigned short fsindex ;
728 unsigned short gsindex ;
729 unsigned long fs ;
730 unsigned long gs ;
731 struct perf_event *ptrace_bps[4] ;
732 unsigned long debugreg6 ;
733 unsigned long ptrace_dr7 ;
734 unsigned long cr2 ;
735 unsigned long trap_no ;
736 unsigned long error_code ;
737 struct fpu fpu ;
738 unsigned long *io_bitmap_ptr ;
739 unsigned long iopl ;
740 unsigned int io_bitmap_max ;
741};
742#line 23 "include/asm-generic/atomic-long.h"
743typedef atomic64_t atomic_long_t;
744#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
745struct arch_spinlock {
746 unsigned int slock ;
747};
748#line 8 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
749typedef struct arch_spinlock arch_spinlock_t;
750#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
751struct __anonstruct_arch_rwlock_t_36 {
752 unsigned int lock ;
753};
754#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
755typedef struct __anonstruct_arch_rwlock_t_36 arch_rwlock_t;
756#line 12 "include/linux/lockdep.h"
757struct task_struct;
758#line 13
759struct lockdep_map;
760#line 13
761struct lockdep_map;
762#line 13
763struct lockdep_map;
764#line 13
765struct lockdep_map;
766#line 8 "include/linux/debug_locks.h"
767struct task_struct;
768#line 48
769struct task_struct;
770#line 4 "include/linux/stacktrace.h"
771struct task_struct;
772#line 5
773struct pt_regs;
774#line 8
775struct task_struct;
776#line 10 "include/linux/stacktrace.h"
777struct stack_trace {
778 unsigned int nr_entries ;
779 unsigned int max_entries ;
780 unsigned long *entries ;
781 int skip ;
782};
783#line 50 "include/linux/lockdep.h"
784struct lockdep_subclass_key {
785 char __one_byte ;
786} __attribute__((__packed__)) ;
787#line 54 "include/linux/lockdep.h"
788struct lock_class_key {
789 struct lockdep_subclass_key subkeys[8UL] ;
790};
791#line 65 "include/linux/lockdep.h"
792struct lock_class {
793 struct list_head hash_entry ;
794 struct list_head lock_entry ;
795 struct lockdep_subclass_key *key ;
796 unsigned int subclass ;
797 unsigned int dep_gen_id ;
798 unsigned long usage_mask ;
799 struct stack_trace usage_traces[13] ;
800 struct list_head locks_after ;
801 struct list_head locks_before ;
802 unsigned int version ;
803 unsigned long ops ;
804 char const *name ;
805 int name_version ;
806 unsigned long contention_point[4] ;
807 unsigned long contending_point[4] ;
808};
809#line 150 "include/linux/lockdep.h"
810struct lockdep_map {
811 struct lock_class_key *key ;
812 struct lock_class *class_cache[2] ;
813 char const *name ;
814 int cpu ;
815 unsigned long ip ;
816};
817#line 196 "include/linux/lockdep.h"
818struct held_lock {
819 u64 prev_chain_key ;
820 unsigned long acquire_ip ;
821 struct lockdep_map *instance ;
822 struct lockdep_map *nest_lock ;
823 u64 waittime_stamp ;
824 u64 holdtime_stamp ;
825 unsigned int class_idx : 13 ;
826 unsigned int irq_context : 2 ;
827 unsigned int trylock : 1 ;
828 unsigned int read : 2 ;
829 unsigned int check : 2 ;
830 unsigned int hardirqs_off : 1 ;
831 unsigned int references : 11 ;
832};
833#line 20 "include/linux/spinlock_types.h"
834struct raw_spinlock {
835 arch_spinlock_t raw_lock ;
836 unsigned int magic ;
837 unsigned int owner_cpu ;
838 void *owner ;
839 struct lockdep_map dep_map ;
840};
841#line 20 "include/linux/spinlock_types.h"
842typedef struct raw_spinlock raw_spinlock_t;
843#line 64 "include/linux/spinlock_types.h"
844struct __anonstruct____missing_field_name_38 {
845 u8 __padding[(unsigned int )(& ((struct raw_spinlock *)0)->dep_map)] ;
846 struct lockdep_map dep_map ;
847};
848#line 64 "include/linux/spinlock_types.h"
849union __anonunion____missing_field_name_37 {
850 struct raw_spinlock rlock ;
851 struct __anonstruct____missing_field_name_38 __annonCompField17 ;
852};
853#line 64 "include/linux/spinlock_types.h"
854struct spinlock {
855 union __anonunion____missing_field_name_37 __annonCompField18 ;
856};
857#line 64 "include/linux/spinlock_types.h"
858typedef struct spinlock spinlock_t;
859#line 11 "include/linux/rwlock_types.h"
860struct __anonstruct_rwlock_t_39 {
861 arch_rwlock_t raw_lock ;
862 unsigned int magic ;
863 unsigned int owner_cpu ;
864 void *owner ;
865 struct lockdep_map dep_map ;
866};
867#line 11 "include/linux/rwlock_types.h"
868typedef struct __anonstruct_rwlock_t_39 rwlock_t;
869#line 33 "include/linux/seqlock.h"
870struct __anonstruct_seqlock_t_40 {
871 unsigned int sequence ;
872 spinlock_t lock ;
873};
874#line 33 "include/linux/seqlock.h"
875typedef struct __anonstruct_seqlock_t_40 seqlock_t;
876#line 119 "include/linux/seqlock.h"
877struct seqcount {
878 unsigned int sequence ;
879};
880#line 119 "include/linux/seqlock.h"
881typedef struct seqcount seqcount_t;
882#line 14 "include/linux/time.h"
883struct timespec {
884 __kernel_time_t tv_sec ;
885 long tv_nsec ;
886};
887#line 62 "include/linux/stat.h"
888struct kstat {
889 u64 ino ;
890 dev_t dev ;
891 umode_t mode ;
892 unsigned int nlink ;
893 uid_t uid ;
894 gid_t gid ;
895 dev_t rdev ;
896 loff_t size ;
897 struct timespec atime ;
898 struct timespec mtime ;
899 struct timespec ctime ;
900 unsigned long blksize ;
901 unsigned long long blocks ;
902};
903#line 50 "include/linux/wait.h"
904struct __wait_queue_head {
905 spinlock_t lock ;
906 struct list_head task_list ;
907};
908#line 54 "include/linux/wait.h"
909typedef struct __wait_queue_head wait_queue_head_t;
910#line 56
911struct task_struct;
912#line 96 "include/linux/nodemask.h"
913struct __anonstruct_nodemask_t_41 {
914 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
915};
916#line 96 "include/linux/nodemask.h"
917typedef struct __anonstruct_nodemask_t_41 nodemask_t;
918#line 60 "include/linux/pageblock-flags.h"
919struct page;
920#line 48 "include/linux/mutex.h"
921struct mutex {
922 atomic_t count ;
923 spinlock_t wait_lock ;
924 struct list_head wait_list ;
925 struct task_struct *owner ;
926 char const *name ;
927 void *magic ;
928 struct lockdep_map dep_map ;
929};
930#line 69 "include/linux/mutex.h"
931struct mutex_waiter {
932 struct list_head list ;
933 struct task_struct *task ;
934 void *magic ;
935};
936#line 20 "include/linux/rwsem.h"
937struct rw_semaphore;
938#line 20
939struct rw_semaphore;
940#line 20
941struct rw_semaphore;
942#line 20
943struct rw_semaphore;
944#line 26 "include/linux/rwsem.h"
945struct rw_semaphore {
946 long count ;
947 spinlock_t wait_lock ;
948 struct list_head wait_list ;
949 struct lockdep_map dep_map ;
950};
951#line 8 "include/linux/memory_hotplug.h"
952struct page;
953#line 768 "include/linux/mmzone.h"
954struct ctl_table;
955#line 768
956struct ctl_table;
957#line 768
958struct ctl_table;
959#line 768
960struct ctl_table;
961#line 18 "include/linux/ioport.h"
962struct resource {
963 resource_size_t start ;
964 resource_size_t end ;
965 char const *name ;
966 unsigned long flags ;
967 struct resource *parent ;
968 struct resource *sibling ;
969 struct resource *child ;
970};
971#line 26
972struct pci_dev;
973#line 26
974struct pci_dev;
975#line 26
976struct pci_dev;
977#line 177
978struct device;
979#line 177
980struct device;
981#line 177
982struct device;
983#line 177
984struct device;
985#line 171 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/x86_init.h"
986struct pci_dev;
987#line 103 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mpspec.h"
988struct device;
989#line 46 "include/linux/ktime.h"
990union ktime {
991 s64 tv64 ;
992};
993#line 59 "include/linux/ktime.h"
994typedef union ktime ktime_t;
995#line 10 "include/linux/timer.h"
996struct tvec_base;
997#line 10
998struct tvec_base;
999#line 10
1000struct tvec_base;
1001#line 10
1002struct tvec_base;
1003#line 12 "include/linux/timer.h"
1004struct timer_list {
1005 struct list_head entry ;
1006 unsigned long expires ;
1007 struct tvec_base *base ;
1008 void (*function)(unsigned long ) ;
1009 unsigned long data ;
1010 int slack ;
1011 int start_pid ;
1012 void *start_site ;
1013 char start_comm[16] ;
1014 struct lockdep_map lockdep_map ;
1015};
1016#line 289
1017struct hrtimer;
1018#line 289
1019struct hrtimer;
1020#line 289
1021struct hrtimer;
1022#line 289
1023struct hrtimer;
1024#line 290
1025enum hrtimer_restart;
1026#line 290
1027enum hrtimer_restart;
1028#line 290
1029enum hrtimer_restart;
1030#line 17 "include/linux/workqueue.h"
1031struct work_struct;
1032#line 17
1033struct work_struct;
1034#line 17
1035struct work_struct;
1036#line 17
1037struct work_struct;
1038#line 79 "include/linux/workqueue.h"
1039struct work_struct {
1040 atomic_long_t data ;
1041 struct list_head entry ;
1042 void (*func)(struct work_struct *work ) ;
1043 struct lockdep_map lockdep_map ;
1044};
1045#line 92 "include/linux/workqueue.h"
1046struct delayed_work {
1047 struct work_struct work ;
1048 struct timer_list timer ;
1049};
1050#line 25 "include/linux/completion.h"
1051struct completion {
1052 unsigned int done ;
1053 wait_queue_head_t wait ;
1054};
1055#line 42 "include/linux/pm.h"
1056struct device;
1057#line 50 "include/linux/pm.h"
1058struct pm_message {
1059 int event ;
1060};
1061#line 50 "include/linux/pm.h"
1062typedef struct pm_message pm_message_t;
1063#line 204 "include/linux/pm.h"
1064struct dev_pm_ops {
1065 int (*prepare)(struct device *dev ) ;
1066 void (*complete)(struct device *dev ) ;
1067 int (*suspend)(struct device *dev ) ;
1068 int (*resume)(struct device *dev ) ;
1069 int (*freeze)(struct device *dev ) ;
1070 int (*thaw)(struct device *dev ) ;
1071 int (*poweroff)(struct device *dev ) ;
1072 int (*restore)(struct device *dev ) ;
1073 int (*suspend_noirq)(struct device *dev ) ;
1074 int (*resume_noirq)(struct device *dev ) ;
1075 int (*freeze_noirq)(struct device *dev ) ;
1076 int (*thaw_noirq)(struct device *dev ) ;
1077 int (*poweroff_noirq)(struct device *dev ) ;
1078 int (*restore_noirq)(struct device *dev ) ;
1079 int (*runtime_suspend)(struct device *dev ) ;
1080 int (*runtime_resume)(struct device *dev ) ;
1081 int (*runtime_idle)(struct device *dev ) ;
1082};
1083#line 392
1084enum rpm_status {
1085 RPM_ACTIVE = 0,
1086 RPM_RESUMING = 1,
1087 RPM_SUSPENDED = 2,
1088 RPM_SUSPENDING = 3
1089} ;
1090#line 414
1091enum rpm_request {
1092 RPM_REQ_NONE = 0,
1093 RPM_REQ_IDLE = 1,
1094 RPM_REQ_SUSPEND = 2,
1095 RPM_REQ_AUTOSUSPEND = 3,
1096 RPM_REQ_RESUME = 4
1097} ;
1098#line 422
1099struct wakeup_source;
1100#line 422
1101struct wakeup_source;
1102#line 422
1103struct wakeup_source;
1104#line 422
1105struct wakeup_source;
1106#line 424 "include/linux/pm.h"
1107struct dev_pm_info {
1108 pm_message_t power_state ;
1109 unsigned int can_wakeup : 1 ;
1110 unsigned int async_suspend : 1 ;
1111 bool is_prepared : 1 ;
1112 bool is_suspended : 1 ;
1113 spinlock_t lock ;
1114 struct list_head entry ;
1115 struct completion completion ;
1116 struct wakeup_source *wakeup ;
1117 struct timer_list suspend_timer ;
1118 unsigned long timer_expires ;
1119 struct work_struct work ;
1120 wait_queue_head_t wait_queue ;
1121 atomic_t usage_count ;
1122 atomic_t child_count ;
1123 unsigned int disable_depth : 3 ;
1124 unsigned int ignore_children : 1 ;
1125 unsigned int idle_notification : 1 ;
1126 unsigned int request_pending : 1 ;
1127 unsigned int deferred_resume : 1 ;
1128 unsigned int run_wake : 1 ;
1129 unsigned int runtime_auto : 1 ;
1130 unsigned int no_callbacks : 1 ;
1131 unsigned int irq_safe : 1 ;
1132 unsigned int use_autosuspend : 1 ;
1133 unsigned int timer_autosuspends : 1 ;
1134 enum rpm_request request ;
1135 enum rpm_status runtime_status ;
1136 int runtime_error ;
1137 int autosuspend_delay ;
1138 unsigned long last_busy ;
1139 unsigned long active_jiffies ;
1140 unsigned long suspended_jiffies ;
1141 unsigned long accounting_timestamp ;
1142 void *subsys_data ;
1143};
1144#line 475 "include/linux/pm.h"
1145struct dev_power_domain {
1146 struct dev_pm_ops ops ;
1147};
1148#line 176 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
1149struct pci_bus;
1150#line 176
1151struct pci_bus;
1152#line 176
1153struct pci_bus;
1154#line 176
1155struct pci_bus;
1156#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
1157struct __anonstruct_mm_context_t_111 {
1158 void *ldt ;
1159 int size ;
1160 unsigned short ia32_compat ;
1161 struct mutex lock ;
1162 void *vdso ;
1163};
1164#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
1165typedef struct __anonstruct_mm_context_t_111 mm_context_t;
1166#line 68 "include/asm-generic/iomap.h"
1167struct pci_dev;
1168#line 8 "include/linux/vmalloc.h"
1169struct vm_area_struct;
1170#line 8
1171struct vm_area_struct;
1172#line 8
1173struct vm_area_struct;
1174#line 8
1175struct vm_area_struct;
1176#line 964 "include/linux/mmzone.h"
1177struct page;
1178#line 10 "include/linux/gfp.h"
1179struct vm_area_struct;
1180#line 29 "include/linux/sysctl.h"
1181struct completion;
1182#line 72 "include/linux/rcupdate.h"
1183struct rcu_head {
1184 struct rcu_head *next ;
1185 void (*func)(struct rcu_head *head ) ;
1186};
1187#line 936 "include/linux/sysctl.h"
1188struct ctl_table;
1189#line 937
1190struct nsproxy;
1191#line 937
1192struct nsproxy;
1193#line 937
1194struct nsproxy;
1195#line 937
1196struct nsproxy;
1197#line 938
1198struct ctl_table_root;
1199#line 938
1200struct ctl_table_root;
1201#line 938
1202struct ctl_table_root;
1203#line 938
1204struct ctl_table_root;
1205#line 940 "include/linux/sysctl.h"
1206struct ctl_table_set {
1207 struct list_head list ;
1208 struct ctl_table_set *parent ;
1209 int (*is_seen)(struct ctl_table_set * ) ;
1210};
1211#line 950
1212struct ctl_table_header;
1213#line 950
1214struct ctl_table_header;
1215#line 950
1216struct ctl_table_header;
1217#line 950
1218struct ctl_table_header;
1219#line 965 "include/linux/sysctl.h"
1220typedef int proc_handler(struct ctl_table *ctl , int write , void *buffer , size_t *lenp ,
1221 loff_t *ppos );
1222#line 1015 "include/linux/sysctl.h"
1223struct ctl_table {
1224 char const *procname ;
1225 void *data ;
1226 int maxlen ;
1227 mode_t mode ;
1228 struct ctl_table *child ;
1229 struct ctl_table *parent ;
1230 proc_handler *proc_handler ;
1231 void *extra1 ;
1232 void *extra2 ;
1233};
1234#line 1028 "include/linux/sysctl.h"
1235struct ctl_table_root {
1236 struct list_head root_list ;
1237 struct ctl_table_set default_set ;
1238 struct ctl_table_set *(*lookup)(struct ctl_table_root *root , struct nsproxy *namespaces ) ;
1239 int (*permissions)(struct ctl_table_root *root , struct nsproxy *namespaces , struct ctl_table *table ) ;
1240};
1241#line 1039 "include/linux/sysctl.h"
1242struct __anonstruct____missing_field_name_190 {
1243 struct ctl_table *ctl_table ;
1244 struct list_head ctl_entry ;
1245 int used ;
1246 int count ;
1247};
1248#line 1039 "include/linux/sysctl.h"
1249union __anonunion____missing_field_name_189 {
1250 struct __anonstruct____missing_field_name_190 __annonCompField29 ;
1251 struct rcu_head rcu ;
1252};
1253#line 1039 "include/linux/sysctl.h"
1254struct ctl_table_header {
1255 union __anonunion____missing_field_name_189 __annonCompField30 ;
1256 struct completion *unregistering ;
1257 struct ctl_table *ctl_table_arg ;
1258 struct ctl_table_root *root ;
1259 struct ctl_table_set *set ;
1260 struct ctl_table *attached_by ;
1261 struct ctl_table *attached_to ;
1262 struct ctl_table_header *parent ;
1263};
1264#line 48 "include/linux/kmod.h"
1265struct cred;
1266#line 48
1267struct cred;
1268#line 48
1269struct cred;
1270#line 48
1271struct cred;
1272#line 49
1273struct file;
1274#line 264 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/elf.h"
1275struct task_struct;
1276#line 10 "include/linux/elf.h"
1277struct file;
1278#line 27 "include/linux/elf.h"
1279typedef __u64 Elf64_Addr;
1280#line 28 "include/linux/elf.h"
1281typedef __u16 Elf64_Half;
1282#line 32 "include/linux/elf.h"
1283typedef __u32 Elf64_Word;
1284#line 33 "include/linux/elf.h"
1285typedef __u64 Elf64_Xword;
1286#line 203 "include/linux/elf.h"
1287struct elf64_sym {
1288 Elf64_Word st_name ;
1289 unsigned char st_info ;
1290 unsigned char st_other ;
1291 Elf64_Half st_shndx ;
1292 Elf64_Addr st_value ;
1293 Elf64_Xword st_size ;
1294};
1295#line 203 "include/linux/elf.h"
1296typedef struct elf64_sym Elf64_Sym;
1297#line 20 "include/linux/kobject_ns.h"
1298struct sock;
1299#line 20
1300struct sock;
1301#line 20
1302struct sock;
1303#line 20
1304struct sock;
1305#line 21
1306struct kobject;
1307#line 21
1308struct kobject;
1309#line 21
1310struct kobject;
1311#line 21
1312struct kobject;
1313#line 27
1314enum kobj_ns_type {
1315 KOBJ_NS_TYPE_NONE = 0,
1316 KOBJ_NS_TYPE_NET = 1,
1317 KOBJ_NS_TYPES = 2
1318} ;
1319#line 40 "include/linux/kobject_ns.h"
1320struct kobj_ns_type_operations {
1321 enum kobj_ns_type type ;
1322 void *(*grab_current_ns)(void) ;
1323 void const *(*netlink_ns)(struct sock *sk ) ;
1324 void const *(*initial_ns)(void) ;
1325 void (*drop_ns)(void * ) ;
1326};
1327#line 22 "include/linux/sysfs.h"
1328struct kobject;
1329#line 23
1330struct module;
1331#line 24
1332enum kobj_ns_type;
1333#line 26 "include/linux/sysfs.h"
1334struct attribute {
1335 char const *name ;
1336 mode_t mode ;
1337 struct lock_class_key *key ;
1338 struct lock_class_key skey ;
1339};
1340#line 56 "include/linux/sysfs.h"
1341struct attribute_group {
1342 char const *name ;
1343 mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
1344 struct attribute **attrs ;
1345};
1346#line 85
1347struct file;
1348#line 86
1349struct vm_area_struct;
1350#line 88 "include/linux/sysfs.h"
1351struct bin_attribute {
1352 struct attribute attr ;
1353 size_t size ;
1354 void *private ;
1355 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
1356 loff_t , size_t ) ;
1357 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
1358 loff_t , size_t ) ;
1359 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
1360};
1361#line 112 "include/linux/sysfs.h"
1362struct sysfs_ops {
1363 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
1364 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
1365};
1366#line 117
1367struct sysfs_dirent;
1368#line 117
1369struct sysfs_dirent;
1370#line 117
1371struct sysfs_dirent;
1372#line 117
1373struct sysfs_dirent;
1374#line 20 "include/linux/kref.h"
1375struct kref {
1376 atomic_t refcount ;
1377};
1378#line 60 "include/linux/kobject.h"
1379struct kset;
1380#line 60
1381struct kset;
1382#line 60
1383struct kset;
1384#line 60
1385struct kobj_type;
1386#line 60
1387struct kobj_type;
1388#line 60
1389struct kobj_type;
1390#line 60 "include/linux/kobject.h"
1391struct kobject {
1392 char const *name ;
1393 struct list_head entry ;
1394 struct kobject *parent ;
1395 struct kset *kset ;
1396 struct kobj_type *ktype ;
1397 struct sysfs_dirent *sd ;
1398 struct kref kref ;
1399 unsigned int state_initialized : 1 ;
1400 unsigned int state_in_sysfs : 1 ;
1401 unsigned int state_add_uevent_sent : 1 ;
1402 unsigned int state_remove_uevent_sent : 1 ;
1403 unsigned int uevent_suppress : 1 ;
1404};
1405#line 110 "include/linux/kobject.h"
1406struct kobj_type {
1407 void (*release)(struct kobject *kobj ) ;
1408 struct sysfs_ops const *sysfs_ops ;
1409 struct attribute **default_attrs ;
1410 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
1411 void const *(*namespace)(struct kobject *kobj ) ;
1412};
1413#line 118 "include/linux/kobject.h"
1414struct kobj_uevent_env {
1415 char *envp[32] ;
1416 int envp_idx ;
1417 char buf[2048] ;
1418 int buflen ;
1419};
1420#line 125 "include/linux/kobject.h"
1421struct kset_uevent_ops {
1422 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
1423 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
1424 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
1425};
1426#line 142
1427struct sock;
1428#line 161 "include/linux/kobject.h"
1429struct kset {
1430 struct list_head list ;
1431 spinlock_t list_lock ;
1432 struct kobject kobj ;
1433 struct kset_uevent_ops const *uevent_ops ;
1434};
1435#line 34 "include/linux/moduleparam.h"
1436struct kernel_param;
1437#line 34
1438struct kernel_param;
1439#line 34
1440struct kernel_param;
1441#line 34
1442struct kernel_param;
1443#line 36 "include/linux/moduleparam.h"
1444struct kernel_param_ops {
1445 int (*set)(char const *val , struct kernel_param const *kp ) ;
1446 int (*get)(char *buffer , struct kernel_param const *kp ) ;
1447 void (*free)(void *arg ) ;
1448};
1449#line 48
1450struct kparam_string;
1451#line 48
1452struct kparam_string;
1453#line 48
1454struct kparam_string;
1455#line 48
1456struct kparam_array;
1457#line 48
1458struct kparam_array;
1459#line 48
1460struct kparam_array;
1461#line 48 "include/linux/moduleparam.h"
1462union __anonunion____missing_field_name_195 {
1463 void *arg ;
1464 struct kparam_string const *str ;
1465 struct kparam_array const *arr ;
1466};
1467#line 48 "include/linux/moduleparam.h"
1468struct kernel_param {
1469 char const *name ;
1470 struct kernel_param_ops const *ops ;
1471 u16 perm ;
1472 u16 flags ;
1473 union __anonunion____missing_field_name_195 __annonCompField31 ;
1474};
1475#line 61 "include/linux/moduleparam.h"
1476struct kparam_string {
1477 unsigned int maxlen ;
1478 char *string ;
1479};
1480#line 67 "include/linux/moduleparam.h"
1481struct kparam_array {
1482 unsigned int max ;
1483 unsigned int elemsize ;
1484 unsigned int *num ;
1485 struct kernel_param_ops const *ops ;
1486 void *elem ;
1487};
1488#line 391
1489struct module;
1490#line 26 "include/linux/jump_label.h"
1491struct module;
1492#line 61 "include/linux/jump_label.h"
1493struct jump_label_key {
1494 atomic_t enabled ;
1495};
1496#line 22 "include/linux/tracepoint.h"
1497struct module;
1498#line 23
1499struct tracepoint;
1500#line 23
1501struct tracepoint;
1502#line 23
1503struct tracepoint;
1504#line 23
1505struct tracepoint;
1506#line 25 "include/linux/tracepoint.h"
1507struct tracepoint_func {
1508 void *func ;
1509 void *data ;
1510};
1511#line 30 "include/linux/tracepoint.h"
1512struct tracepoint {
1513 char const *name ;
1514 struct jump_label_key key ;
1515 void (*regfunc)(void) ;
1516 void (*unregfunc)(void) ;
1517 struct tracepoint_func *funcs ;
1518};
1519#line 8 "include/asm-generic/module.h"
1520struct mod_arch_specific {
1521
1522};
1523#line 21 "include/trace/events/module.h"
1524struct module;
1525#line 37 "include/linux/module.h"
1526struct kernel_symbol {
1527 unsigned long value ;
1528 char const *name ;
1529};
1530#line 49
1531struct module;
1532#line 51 "include/linux/module.h"
1533struct module_attribute {
1534 struct attribute attr ;
1535 ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
1536 ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
1537 size_t count ) ;
1538 void (*setup)(struct module * , char const * ) ;
1539 int (*test)(struct module * ) ;
1540 void (*free)(struct module * ) ;
1541};
1542#line 70
1543struct module_param_attrs;
1544#line 70
1545struct module_param_attrs;
1546#line 70
1547struct module_param_attrs;
1548#line 70 "include/linux/module.h"
1549struct module_kobject {
1550 struct kobject kobj ;
1551 struct module *mod ;
1552 struct kobject *drivers_dir ;
1553 struct module_param_attrs *mp ;
1554};
1555#line 83
1556struct exception_table_entry;
1557#line 83
1558struct exception_table_entry;
1559#line 83
1560struct exception_table_entry;
1561#line 83
1562struct exception_table_entry;
1563#line 265
1564enum module_state {
1565 MODULE_STATE_LIVE = 0,
1566 MODULE_STATE_COMING = 1,
1567 MODULE_STATE_GOING = 2
1568} ;
1569#line 272
1570struct module_sect_attrs;
1571#line 272
1572struct module_sect_attrs;
1573#line 272
1574struct module_sect_attrs;
1575#line 272
1576struct module_notes_attrs;
1577#line 272
1578struct module_notes_attrs;
1579#line 272
1580struct module_notes_attrs;
1581#line 272
1582struct ftrace_event_call;
1583#line 272
1584struct ftrace_event_call;
1585#line 272
1586struct ftrace_event_call;
1587#line 272 "include/linux/module.h"
1588struct module_ref {
1589 unsigned int incs ;
1590 unsigned int decs ;
1591};
1592#line 272 "include/linux/module.h"
1593struct module {
1594 enum module_state state ;
1595 struct list_head list ;
1596 char name[64UL - sizeof(unsigned long )] ;
1597 struct module_kobject mkobj ;
1598 struct module_attribute *modinfo_attrs ;
1599 char const *version ;
1600 char const *srcversion ;
1601 struct kobject *holders_dir ;
1602 struct kernel_symbol const *syms ;
1603 unsigned long const *crcs ;
1604 unsigned int num_syms ;
1605 struct kernel_param *kp ;
1606 unsigned int num_kp ;
1607 unsigned int num_gpl_syms ;
1608 struct kernel_symbol const *gpl_syms ;
1609 unsigned long const *gpl_crcs ;
1610 struct kernel_symbol const *unused_syms ;
1611 unsigned long const *unused_crcs ;
1612 unsigned int num_unused_syms ;
1613 unsigned int num_unused_gpl_syms ;
1614 struct kernel_symbol const *unused_gpl_syms ;
1615 unsigned long const *unused_gpl_crcs ;
1616 struct kernel_symbol const *gpl_future_syms ;
1617 unsigned long const *gpl_future_crcs ;
1618 unsigned int num_gpl_future_syms ;
1619 unsigned int num_exentries ;
1620 struct exception_table_entry *extable ;
1621 int (*init)(void) ;
1622 void *module_init ;
1623 void *module_core ;
1624 unsigned int init_size ;
1625 unsigned int core_size ;
1626 unsigned int init_text_size ;
1627 unsigned int core_text_size ;
1628 unsigned int init_ro_size ;
1629 unsigned int core_ro_size ;
1630 struct mod_arch_specific arch ;
1631 unsigned int taints ;
1632 unsigned int num_bugs ;
1633 struct list_head bug_list ;
1634 struct bug_entry *bug_table ;
1635 Elf64_Sym *symtab ;
1636 Elf64_Sym *core_symtab ;
1637 unsigned int num_symtab ;
1638 unsigned int core_num_syms ;
1639 char *strtab ;
1640 char *core_strtab ;
1641 struct module_sect_attrs *sect_attrs ;
1642 struct module_notes_attrs *notes_attrs ;
1643 char *args ;
1644 void *percpu ;
1645 unsigned int percpu_size ;
1646 unsigned int num_tracepoints ;
1647 struct tracepoint * const *tracepoints_ptrs ;
1648 unsigned int num_trace_bprintk_fmt ;
1649 char const **trace_bprintk_fmt_start ;
1650 struct ftrace_event_call **trace_events ;
1651 unsigned int num_trace_events ;
1652 unsigned int num_ftrace_callsites ;
1653 unsigned long *ftrace_callsites ;
1654 struct list_head source_list ;
1655 struct list_head target_list ;
1656 struct task_struct *waiter ;
1657 void (*exit)(void) ;
1658 struct module_ref *refptr ;
1659 ctor_fn_t *ctors ;
1660 unsigned int num_ctors ;
1661};
1662#line 12 "include/linux/mod_devicetable.h"
1663typedef unsigned long kernel_ulong_t;
1664#line 17 "include/linux/mod_devicetable.h"
1665struct pci_device_id {
1666 __u32 vendor ;
1667 __u32 device ;
1668 __u32 subvendor ;
1669 __u32 subdevice ;
1670 __u32 class ;
1671 __u32 class_mask ;
1672 kernel_ulong_t driver_data ;
1673};
1674#line 98 "include/linux/mod_devicetable.h"
1675struct usb_device_id {
1676 __u16 match_flags ;
1677 __u16 idVendor ;
1678 __u16 idProduct ;
1679 __u16 bcdDevice_lo ;
1680 __u16 bcdDevice_hi ;
1681 __u8 bDeviceClass ;
1682 __u8 bDeviceSubClass ;
1683 __u8 bDeviceProtocol ;
1684 __u8 bInterfaceClass ;
1685 __u8 bInterfaceSubClass ;
1686 __u8 bInterfaceProtocol ;
1687 kernel_ulong_t driver_info ;
1688};
1689#line 219 "include/linux/mod_devicetable.h"
1690struct of_device_id {
1691 char name[32] ;
1692 char type[32] ;
1693 char compatible[128] ;
1694 void *data ;
1695};
1696#line 312 "include/linux/mod_devicetable.h"
1697struct input_device_id {
1698 kernel_ulong_t flags ;
1699 __u16 bustype ;
1700 __u16 vendor ;
1701 __u16 product ;
1702 __u16 version ;
1703 kernel_ulong_t evbit[1] ;
1704 kernel_ulong_t keybit[12] ;
1705 kernel_ulong_t relbit[1] ;
1706 kernel_ulong_t absbit[1] ;
1707 kernel_ulong_t mscbit[1] ;
1708 kernel_ulong_t ledbit[1] ;
1709 kernel_ulong_t sndbit[1] ;
1710 kernel_ulong_t ffbit[2] ;
1711 kernel_ulong_t swbit[1] ;
1712 kernel_ulong_t driver_info ;
1713};
1714#line 19 "include/linux/klist.h"
1715struct klist_node;
1716#line 19
1717struct klist_node;
1718#line 19
1719struct klist_node;
1720#line 19
1721struct klist_node;
1722#line 39 "include/linux/klist.h"
1723struct klist_node {
1724 void *n_klist ;
1725 struct list_head n_node ;
1726 struct kref n_ref ;
1727};
1728#line 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1729struct dma_map_ops;
1730#line 4
1731struct dma_map_ops;
1732#line 4
1733struct dma_map_ops;
1734#line 4 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1735struct dev_archdata {
1736 void *acpi_handle ;
1737 struct dma_map_ops *dma_ops ;
1738 void *iommu ;
1739};
1740#line 28 "include/linux/device.h"
1741struct device;
1742#line 29
1743struct device_private;
1744#line 29
1745struct device_private;
1746#line 29
1747struct device_private;
1748#line 29
1749struct device_private;
1750#line 30
1751struct device_driver;
1752#line 30
1753struct device_driver;
1754#line 30
1755struct device_driver;
1756#line 30
1757struct device_driver;
1758#line 31
1759struct driver_private;
1760#line 31
1761struct driver_private;
1762#line 31
1763struct driver_private;
1764#line 31
1765struct driver_private;
1766#line 32
1767struct class;
1768#line 32
1769struct class;
1770#line 32
1771struct class;
1772#line 32
1773struct class;
1774#line 33
1775struct subsys_private;
1776#line 33
1777struct subsys_private;
1778#line 33
1779struct subsys_private;
1780#line 33
1781struct subsys_private;
1782#line 34
1783struct bus_type;
1784#line 34
1785struct bus_type;
1786#line 34
1787struct bus_type;
1788#line 34
1789struct bus_type;
1790#line 35
1791struct device_node;
1792#line 35
1793struct device_node;
1794#line 35
1795struct device_node;
1796#line 35
1797struct device_node;
1798#line 37 "include/linux/device.h"
1799struct bus_attribute {
1800 struct attribute attr ;
1801 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1802 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1803};
1804#line 82
1805struct device_attribute;
1806#line 82
1807struct device_attribute;
1808#line 82
1809struct device_attribute;
1810#line 82
1811struct driver_attribute;
1812#line 82
1813struct driver_attribute;
1814#line 82
1815struct driver_attribute;
1816#line 82 "include/linux/device.h"
1817struct bus_type {
1818 char const *name ;
1819 struct bus_attribute *bus_attrs ;
1820 struct device_attribute *dev_attrs ;
1821 struct driver_attribute *drv_attrs ;
1822 int (*match)(struct device *dev , struct device_driver *drv ) ;
1823 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1824 int (*probe)(struct device *dev ) ;
1825 int (*remove)(struct device *dev ) ;
1826 void (*shutdown)(struct device *dev ) ;
1827 int (*suspend)(struct device *dev , pm_message_t state ) ;
1828 int (*resume)(struct device *dev ) ;
1829 struct dev_pm_ops const *pm ;
1830 struct subsys_private *p ;
1831};
1832#line 185 "include/linux/device.h"
1833struct device_driver {
1834 char const *name ;
1835 struct bus_type *bus ;
1836 struct module *owner ;
1837 char const *mod_name ;
1838 bool suppress_bind_attrs ;
1839 struct of_device_id const *of_match_table ;
1840 int (*probe)(struct device *dev ) ;
1841 int (*remove)(struct device *dev ) ;
1842 void (*shutdown)(struct device *dev ) ;
1843 int (*suspend)(struct device *dev , pm_message_t state ) ;
1844 int (*resume)(struct device *dev ) ;
1845 struct attribute_group const **groups ;
1846 struct dev_pm_ops const *pm ;
1847 struct driver_private *p ;
1848};
1849#line 222 "include/linux/device.h"
1850struct driver_attribute {
1851 struct attribute attr ;
1852 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1853 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1854};
1855#line 280
1856struct class_attribute;
1857#line 280
1858struct class_attribute;
1859#line 280
1860struct class_attribute;
1861#line 280 "include/linux/device.h"
1862struct class {
1863 char const *name ;
1864 struct module *owner ;
1865 struct class_attribute *class_attrs ;
1866 struct device_attribute *dev_attrs ;
1867 struct bin_attribute *dev_bin_attrs ;
1868 struct kobject *dev_kobj ;
1869 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1870 char *(*devnode)(struct device *dev , mode_t *mode ) ;
1871 void (*class_release)(struct class *class ) ;
1872 void (*dev_release)(struct device *dev ) ;
1873 int (*suspend)(struct device *dev , pm_message_t state ) ;
1874 int (*resume)(struct device *dev ) ;
1875 struct kobj_ns_type_operations const *ns_type ;
1876 void const *(*namespace)(struct device *dev ) ;
1877 struct dev_pm_ops const *pm ;
1878 struct subsys_private *p ;
1879};
1880#line 306
1881struct device_type;
1882#line 306
1883struct device_type;
1884#line 306
1885struct device_type;
1886#line 347 "include/linux/device.h"
1887struct class_attribute {
1888 struct attribute attr ;
1889 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1890 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1891 size_t count ) ;
1892};
1893#line 413 "include/linux/device.h"
1894struct device_type {
1895 char const *name ;
1896 struct attribute_group const **groups ;
1897 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1898 char *(*devnode)(struct device *dev , mode_t *mode ) ;
1899 void (*release)(struct device *dev ) ;
1900 struct dev_pm_ops const *pm ;
1901};
1902#line 424 "include/linux/device.h"
1903struct device_attribute {
1904 struct attribute attr ;
1905 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1906 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1907 size_t count ) ;
1908};
1909#line 484 "include/linux/device.h"
1910struct device_dma_parameters {
1911 unsigned int max_segment_size ;
1912 unsigned long segment_boundary_mask ;
1913};
1914#line 551
1915struct dma_coherent_mem;
1916#line 551
1917struct dma_coherent_mem;
1918#line 551
1919struct dma_coherent_mem;
1920#line 551 "include/linux/device.h"
1921struct device {
1922 struct device *parent ;
1923 struct device_private *p ;
1924 struct kobject kobj ;
1925 char const *init_name ;
1926 struct device_type const *type ;
1927 struct mutex mutex ;
1928 struct bus_type *bus ;
1929 struct device_driver *driver ;
1930 void *platform_data ;
1931 struct dev_pm_info power ;
1932 struct dev_power_domain *pwr_domain ;
1933 int numa_node ;
1934 u64 *dma_mask ;
1935 u64 coherent_dma_mask ;
1936 struct device_dma_parameters *dma_parms ;
1937 struct list_head dma_pools ;
1938 struct dma_coherent_mem *dma_mem ;
1939 struct dev_archdata archdata ;
1940 struct device_node *of_node ;
1941 dev_t devt ;
1942 spinlock_t devres_lock ;
1943 struct list_head devres_head ;
1944 struct klist_node knode_class ;
1945 struct class *class ;
1946 struct attribute_group const **groups ;
1947 void (*release)(struct device *dev ) ;
1948};
1949#line 43 "include/linux/pm_wakeup.h"
1950struct wakeup_source {
1951 char *name ;
1952 struct list_head entry ;
1953 spinlock_t lock ;
1954 struct timer_list timer ;
1955 unsigned long timer_expires ;
1956 ktime_t total_time ;
1957 ktime_t max_time ;
1958 ktime_t last_time ;
1959 unsigned long event_count ;
1960 unsigned long active_count ;
1961 unsigned long relax_count ;
1962 unsigned long hit_count ;
1963 unsigned int active : 1 ;
1964};
1965#line 25 "include/linux/io.h"
1966struct device;
1967#line 10 "include/linux/irqreturn.h"
1968enum irqreturn {
1969 IRQ_NONE = 0,
1970 IRQ_HANDLED = 1,
1971 IRQ_WAKE_THREAD = 2
1972} ;
1973#line 16 "include/linux/irqreturn.h"
1974typedef enum irqreturn irqreturn_t;
1975#line 61 "include/linux/pci.h"
1976struct hotplug_slot;
1977#line 61
1978struct hotplug_slot;
1979#line 61
1980struct hotplug_slot;
1981#line 61 "include/linux/pci.h"
1982struct pci_slot {
1983 struct pci_bus *bus ;
1984 struct list_head list ;
1985 struct hotplug_slot *hotplug ;
1986 unsigned char number ;
1987 struct kobject kobj ;
1988};
1989#line 117 "include/linux/pci.h"
1990typedef int pci_power_t;
1991#line 143 "include/linux/pci.h"
1992typedef unsigned int pci_channel_state_t;
1993#line 145
1994enum pci_channel_state {
1995 pci_channel_io_normal = 1,
1996 pci_channel_io_frozen = 2,
1997 pci_channel_io_perm_failure = 3
1998} ;
1999#line 169 "include/linux/pci.h"
2000typedef unsigned short pci_dev_flags_t;
2001#line 184 "include/linux/pci.h"
2002typedef unsigned short pci_bus_flags_t;
2003#line 228
2004struct pcie_link_state;
2005#line 228
2006struct pcie_link_state;
2007#line 228
2008struct pcie_link_state;
2009#line 228
2010struct pcie_link_state;
2011#line 229
2012struct pci_vpd;
2013#line 229
2014struct pci_vpd;
2015#line 229
2016struct pci_vpd;
2017#line 229
2018struct pci_vpd;
2019#line 230
2020struct pci_sriov;
2021#line 230
2022struct pci_sriov;
2023#line 230
2024struct pci_sriov;
2025#line 230
2026struct pci_sriov;
2027#line 231
2028struct pci_ats;
2029#line 231
2030struct pci_ats;
2031#line 231
2032struct pci_ats;
2033#line 231
2034struct pci_ats;
2035#line 236
2036struct proc_dir_entry;
2037#line 236
2038struct proc_dir_entry;
2039#line 236
2040struct proc_dir_entry;
2041#line 236
2042struct pci_driver;
2043#line 236
2044struct pci_driver;
2045#line 236
2046struct pci_driver;
2047#line 236 "include/linux/pci.h"
2048union __anonunion____missing_field_name_199 {
2049 struct pci_sriov *sriov ;
2050 struct pci_dev *physfn ;
2051};
2052#line 236 "include/linux/pci.h"
2053struct pci_dev {
2054 struct list_head bus_list ;
2055 struct pci_bus *bus ;
2056 struct pci_bus *subordinate ;
2057 void *sysdata ;
2058 struct proc_dir_entry *procent ;
2059 struct pci_slot *slot ;
2060 unsigned int devfn ;
2061 unsigned short vendor ;
2062 unsigned short device ;
2063 unsigned short subsystem_vendor ;
2064 unsigned short subsystem_device ;
2065 unsigned int class ;
2066 u8 revision ;
2067 u8 hdr_type ;
2068 u8 pcie_cap ;
2069 u8 pcie_type ;
2070 u8 rom_base_reg ;
2071 u8 pin ;
2072 struct pci_driver *driver ;
2073 u64 dma_mask ;
2074 struct device_dma_parameters dma_parms ;
2075 pci_power_t current_state ;
2076 int pm_cap ;
2077 unsigned int pme_support : 5 ;
2078 unsigned int pme_interrupt : 1 ;
2079 unsigned int d1_support : 1 ;
2080 unsigned int d2_support : 1 ;
2081 unsigned int no_d1d2 : 1 ;
2082 unsigned int mmio_always_on : 1 ;
2083 unsigned int wakeup_prepared : 1 ;
2084 unsigned int d3_delay ;
2085 struct pcie_link_state *link_state ;
2086 pci_channel_state_t error_state ;
2087 struct device dev ;
2088 int cfg_size ;
2089 unsigned int irq ;
2090 struct resource resource[18] ;
2091 resource_size_t fw_addr[18] ;
2092 unsigned int transparent : 1 ;
2093 unsigned int multifunction : 1 ;
2094 unsigned int is_added : 1 ;
2095 unsigned int is_busmaster : 1 ;
2096 unsigned int no_msi : 1 ;
2097 unsigned int block_ucfg_access : 1 ;
2098 unsigned int broken_parity_status : 1 ;
2099 unsigned int irq_reroute_variant : 2 ;
2100 unsigned int msi_enabled : 1 ;
2101 unsigned int msix_enabled : 1 ;
2102 unsigned int ari_enabled : 1 ;
2103 unsigned int is_managed : 1 ;
2104 unsigned int is_pcie : 1 ;
2105 unsigned int needs_freset : 1 ;
2106 unsigned int state_saved : 1 ;
2107 unsigned int is_physfn : 1 ;
2108 unsigned int is_virtfn : 1 ;
2109 unsigned int reset_fn : 1 ;
2110 unsigned int is_hotplug_bridge : 1 ;
2111 unsigned int __aer_firmware_first_valid : 1 ;
2112 unsigned int __aer_firmware_first : 1 ;
2113 pci_dev_flags_t dev_flags ;
2114 atomic_t enable_cnt ;
2115 u32 saved_config_space[16] ;
2116 struct hlist_head saved_cap_space ;
2117 struct bin_attribute *rom_attr ;
2118 int rom_attr_enabled ;
2119 struct bin_attribute *res_attr[18] ;
2120 struct bin_attribute *res_attr_wc[18] ;
2121 struct list_head msi_list ;
2122 struct pci_vpd *vpd ;
2123 union __anonunion____missing_field_name_199 __annonCompField32 ;
2124 struct pci_ats *ats ;
2125};
2126#line 409
2127struct pci_ops;
2128#line 409
2129struct pci_ops;
2130#line 409
2131struct pci_ops;
2132#line 409 "include/linux/pci.h"
2133struct pci_bus {
2134 struct list_head node ;
2135 struct pci_bus *parent ;
2136 struct list_head children ;
2137 struct list_head devices ;
2138 struct pci_dev *self ;
2139 struct list_head slots ;
2140 struct resource *resource[4] ;
2141 struct list_head resources ;
2142 struct pci_ops *ops ;
2143 void *sysdata ;
2144 struct proc_dir_entry *procdir ;
2145 unsigned char number ;
2146 unsigned char primary ;
2147 unsigned char secondary ;
2148 unsigned char subordinate ;
2149 unsigned char max_bus_speed ;
2150 unsigned char cur_bus_speed ;
2151 char name[48] ;
2152 unsigned short bridge_ctl ;
2153 pci_bus_flags_t bus_flags ;
2154 struct device *bridge ;
2155 struct device dev ;
2156 struct bin_attribute *legacy_io ;
2157 struct bin_attribute *legacy_mem ;
2158 unsigned int is_added : 1 ;
2159};
2160#line 475 "include/linux/pci.h"
2161struct pci_ops {
2162 int (*read)(struct pci_bus *bus , unsigned int devfn , int where , int size , u32 *val ) ;
2163 int (*write)(struct pci_bus *bus , unsigned int devfn , int where , int size ,
2164 u32 val ) ;
2165};
2166#line 494 "include/linux/pci.h"
2167struct pci_dynids {
2168 spinlock_t lock ;
2169 struct list_head list ;
2170};
2171#line 506 "include/linux/pci.h"
2172typedef unsigned int pci_ers_result_t;
2173#line 526 "include/linux/pci.h"
2174struct pci_error_handlers {
2175 pci_ers_result_t (*error_detected)(struct pci_dev *dev , enum pci_channel_state error ) ;
2176 pci_ers_result_t (*mmio_enabled)(struct pci_dev *dev ) ;
2177 pci_ers_result_t (*link_reset)(struct pci_dev *dev ) ;
2178 pci_ers_result_t (*slot_reset)(struct pci_dev *dev ) ;
2179 void (*resume)(struct pci_dev *dev ) ;
2180};
2181#line 546
2182struct module;
2183#line 547 "include/linux/pci.h"
2184struct pci_driver {
2185 struct list_head node ;
2186 char const *name ;
2187 struct pci_device_id const *id_table ;
2188 int (*probe)(struct pci_dev *dev , struct pci_device_id const *id ) ;
2189 void (*remove)(struct pci_dev *dev ) ;
2190 int (*suspend)(struct pci_dev *dev , pm_message_t state ) ;
2191 int (*suspend_late)(struct pci_dev *dev , pm_message_t state ) ;
2192 int (*resume_early)(struct pci_dev *dev ) ;
2193 int (*resume)(struct pci_dev *dev ) ;
2194 void (*shutdown)(struct pci_dev *dev ) ;
2195 struct pci_error_handlers *err_handler ;
2196 struct device_driver driver ;
2197 struct pci_dynids dynids ;
2198};
2199#line 6 "include/asm-generic/scatterlist.h"
2200struct scatterlist {
2201 unsigned long sg_magic ;
2202 unsigned long page_link ;
2203 unsigned int offset ;
2204 unsigned int length ;
2205 dma_addr_t dma_address ;
2206 unsigned int dma_length ;
2207};
2208#line 100 "include/linux/rbtree.h"
2209struct rb_node {
2210 unsigned long rb_parent_color ;
2211 struct rb_node *rb_right ;
2212 struct rb_node *rb_left ;
2213} __attribute__((__aligned__(sizeof(long )))) ;
2214#line 110 "include/linux/rbtree.h"
2215struct rb_root {
2216 struct rb_node *rb_node ;
2217};
2218#line 14 "include/linux/prio_tree.h"
2219struct prio_tree_node;
2220#line 14
2221struct prio_tree_node;
2222#line 14
2223struct prio_tree_node;
2224#line 14 "include/linux/prio_tree.h"
2225struct raw_prio_tree_node {
2226 struct prio_tree_node *left ;
2227 struct prio_tree_node *right ;
2228 struct prio_tree_node *parent ;
2229};
2230#line 20 "include/linux/prio_tree.h"
2231struct prio_tree_node {
2232 struct prio_tree_node *left ;
2233 struct prio_tree_node *right ;
2234 struct prio_tree_node *parent ;
2235 unsigned long start ;
2236 unsigned long last ;
2237};
2238#line 28 "include/linux/prio_tree.h"
2239struct prio_tree_root {
2240 struct prio_tree_node *prio_tree_node ;
2241 unsigned short index_bits ;
2242 unsigned short raw ;
2243};
2244#line 23 "include/linux/mm_types.h"
2245struct address_space;
2246#line 23
2247struct address_space;
2248#line 23
2249struct address_space;
2250#line 23
2251struct address_space;
2252#line 34 "include/linux/mm_types.h"
2253struct __anonstruct____missing_field_name_201 {
2254 u16 inuse ;
2255 u16 objects ;
2256};
2257#line 34 "include/linux/mm_types.h"
2258union __anonunion____missing_field_name_200 {
2259 atomic_t _mapcount ;
2260 struct __anonstruct____missing_field_name_201 __annonCompField33 ;
2261};
2262#line 34 "include/linux/mm_types.h"
2263struct __anonstruct____missing_field_name_203 {
2264 unsigned long private ;
2265 struct address_space *mapping ;
2266};
2267#line 34 "include/linux/mm_types.h"
2268union __anonunion____missing_field_name_202 {
2269 struct __anonstruct____missing_field_name_203 __annonCompField35 ;
2270 struct kmem_cache *slab ;
2271 struct page *first_page ;
2272};
2273#line 34 "include/linux/mm_types.h"
2274union __anonunion____missing_field_name_204 {
2275 unsigned long index ;
2276 void *freelist ;
2277};
2278#line 34 "include/linux/mm_types.h"
2279struct page {
2280 unsigned long flags ;
2281 atomic_t _count ;
2282 union __anonunion____missing_field_name_200 __annonCompField34 ;
2283 union __anonunion____missing_field_name_202 __annonCompField36 ;
2284 union __anonunion____missing_field_name_204 __annonCompField37 ;
2285 struct list_head lru ;
2286};
2287#line 132 "include/linux/mm_types.h"
2288struct __anonstruct_vm_set_206 {
2289 struct list_head list ;
2290 void *parent ;
2291 struct vm_area_struct *head ;
2292};
2293#line 132 "include/linux/mm_types.h"
2294union __anonunion_shared_205 {
2295 struct __anonstruct_vm_set_206 vm_set ;
2296 struct raw_prio_tree_node prio_tree_node ;
2297};
2298#line 132
2299struct anon_vma;
2300#line 132
2301struct anon_vma;
2302#line 132
2303struct anon_vma;
2304#line 132
2305struct vm_operations_struct;
2306#line 132
2307struct vm_operations_struct;
2308#line 132
2309struct vm_operations_struct;
2310#line 132
2311struct mempolicy;
2312#line 132
2313struct mempolicy;
2314#line 132
2315struct mempolicy;
2316#line 132 "include/linux/mm_types.h"
2317struct vm_area_struct {
2318 struct mm_struct *vm_mm ;
2319 unsigned long vm_start ;
2320 unsigned long vm_end ;
2321 struct vm_area_struct *vm_next ;
2322 struct vm_area_struct *vm_prev ;
2323 pgprot_t vm_page_prot ;
2324 unsigned long vm_flags ;
2325 struct rb_node vm_rb ;
2326 union __anonunion_shared_205 shared ;
2327 struct list_head anon_vma_chain ;
2328 struct anon_vma *anon_vma ;
2329 struct vm_operations_struct const *vm_ops ;
2330 unsigned long vm_pgoff ;
2331 struct file *vm_file ;
2332 void *vm_private_data ;
2333 struct mempolicy *vm_policy ;
2334};
2335#line 189 "include/linux/mm_types.h"
2336struct core_thread {
2337 struct task_struct *task ;
2338 struct core_thread *next ;
2339};
2340#line 194 "include/linux/mm_types.h"
2341struct core_state {
2342 atomic_t nr_threads ;
2343 struct core_thread dumper ;
2344 struct completion startup ;
2345};
2346#line 216 "include/linux/mm_types.h"
2347struct mm_rss_stat {
2348 atomic_long_t count[3] ;
2349};
2350#line 220
2351struct linux_binfmt;
2352#line 220
2353struct linux_binfmt;
2354#line 220
2355struct linux_binfmt;
2356#line 220
2357struct mmu_notifier_mm;
2358#line 220
2359struct mmu_notifier_mm;
2360#line 220
2361struct mmu_notifier_mm;
2362#line 220 "include/linux/mm_types.h"
2363struct mm_struct {
2364 struct vm_area_struct *mmap ;
2365 struct rb_root mm_rb ;
2366 struct vm_area_struct *mmap_cache ;
2367 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
2368 unsigned long pgoff , unsigned long flags ) ;
2369 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
2370 unsigned long mmap_base ;
2371 unsigned long task_size ;
2372 unsigned long cached_hole_size ;
2373 unsigned long free_area_cache ;
2374 pgd_t *pgd ;
2375 atomic_t mm_users ;
2376 atomic_t mm_count ;
2377 int map_count ;
2378 spinlock_t page_table_lock ;
2379 struct rw_semaphore mmap_sem ;
2380 struct list_head mmlist ;
2381 unsigned long hiwater_rss ;
2382 unsigned long hiwater_vm ;
2383 unsigned long total_vm ;
2384 unsigned long locked_vm ;
2385 unsigned long shared_vm ;
2386 unsigned long exec_vm ;
2387 unsigned long stack_vm ;
2388 unsigned long reserved_vm ;
2389 unsigned long def_flags ;
2390 unsigned long nr_ptes ;
2391 unsigned long start_code ;
2392 unsigned long end_code ;
2393 unsigned long start_data ;
2394 unsigned long end_data ;
2395 unsigned long start_brk ;
2396 unsigned long brk ;
2397 unsigned long start_stack ;
2398 unsigned long arg_start ;
2399 unsigned long arg_end ;
2400 unsigned long env_start ;
2401 unsigned long env_end ;
2402 unsigned long saved_auxv[44] ;
2403 struct mm_rss_stat rss_stat ;
2404 struct linux_binfmt *binfmt ;
2405 cpumask_var_t cpu_vm_mask_var ;
2406 mm_context_t context ;
2407 unsigned int faultstamp ;
2408 unsigned int token_priority ;
2409 unsigned int last_interval ;
2410 atomic_t oom_disable_count ;
2411 unsigned long flags ;
2412 struct core_state *core_state ;
2413 spinlock_t ioctx_lock ;
2414 struct hlist_head ioctx_list ;
2415 struct task_struct *owner ;
2416 struct file *exe_file ;
2417 unsigned long num_exe_file_vmas ;
2418 struct mmu_notifier_mm *mmu_notifier_mm ;
2419 pgtable_t pmd_huge_pte ;
2420 struct cpumask cpumask_allocation ;
2421};
2422#line 19 "include/linux/mm.h"
2423struct mempolicy;
2424#line 20
2425struct anon_vma;
2426#line 21
2427struct file_ra_state;
2428#line 21
2429struct file_ra_state;
2430#line 21
2431struct file_ra_state;
2432#line 21
2433struct file_ra_state;
2434#line 22
2435struct user_struct;
2436#line 22
2437struct user_struct;
2438#line 22
2439struct user_struct;
2440#line 22
2441struct user_struct;
2442#line 23
2443struct writeback_control;
2444#line 23
2445struct writeback_control;
2446#line 23
2447struct writeback_control;
2448#line 23
2449struct writeback_control;
2450#line 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64.h"
2451struct mm_struct;
2452#line 656 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable.h"
2453struct vm_area_struct;
2454#line 185 "include/linux/mm.h"
2455struct vm_fault {
2456 unsigned int flags ;
2457 unsigned long pgoff ;
2458 void *virtual_address ;
2459 struct page *page ;
2460};
2461#line 202 "include/linux/mm.h"
2462struct vm_operations_struct {
2463 void (*open)(struct vm_area_struct *area ) ;
2464 void (*close)(struct vm_area_struct *area ) ;
2465 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
2466 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
2467 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
2468 int write ) ;
2469 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
2470 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
2471 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
2472 unsigned long flags ) ;
2473};
2474#line 244
2475struct inode;
2476#line 244
2477struct inode;
2478#line 244
2479struct inode;
2480#line 244
2481struct inode;
2482#line 197 "include/linux/page-flags.h"
2483struct page;
2484#line 38 "include/linux/slub_def.h"
2485struct kmem_cache_cpu {
2486 void **freelist ;
2487 unsigned long tid ;
2488 struct page *page ;
2489 int node ;
2490 unsigned int stat[19] ;
2491};
2492#line 48 "include/linux/slub_def.h"
2493struct kmem_cache_node {
2494 spinlock_t list_lock ;
2495 unsigned long nr_partial ;
2496 struct list_head partial ;
2497 atomic_long_t nr_slabs ;
2498 atomic_long_t total_objects ;
2499 struct list_head full ;
2500};
2501#line 64 "include/linux/slub_def.h"
2502struct kmem_cache_order_objects {
2503 unsigned long x ;
2504};
2505#line 71 "include/linux/slub_def.h"
2506struct kmem_cache {
2507 struct kmem_cache_cpu *cpu_slab ;
2508 unsigned long flags ;
2509 unsigned long min_partial ;
2510 int size ;
2511 int objsize ;
2512 int offset ;
2513 struct kmem_cache_order_objects oo ;
2514 struct kmem_cache_order_objects max ;
2515 struct kmem_cache_order_objects min ;
2516 gfp_t allocflags ;
2517 int refcount ;
2518 void (*ctor)(void * ) ;
2519 int inuse ;
2520 int align ;
2521 int reserved ;
2522 char const *name ;
2523 struct list_head list ;
2524 struct kobject kobj ;
2525 int remote_node_defrag_ratio ;
2526 struct kmem_cache_node *node[1 << 10] ;
2527};
2528#line 12 "include/linux/bug.h"
2529struct pt_regs;
2530#line 25 "include/linux/dma-attrs.h"
2531struct dma_attrs {
2532 unsigned long flags[((2UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
2533};
2534#line 11 "include/linux/dma-mapping.h"
2535enum dma_data_direction {
2536 DMA_BIDIRECTIONAL = 0,
2537 DMA_TO_DEVICE = 1,
2538 DMA_FROM_DEVICE = 2,
2539 DMA_NONE = 3
2540} ;
2541#line 18 "include/linux/dma-mapping.h"
2542struct dma_map_ops {
2543 void *(*alloc_coherent)(struct device *dev , size_t size , dma_addr_t *dma_handle ,
2544 gfp_t gfp ) ;
2545 void (*free_coherent)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ) ;
2546 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
2547 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
2548 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
2549 struct dma_attrs *attrs ) ;
2550 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
2551 struct dma_attrs *attrs ) ;
2552 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
2553 struct dma_attrs *attrs ) ;
2554 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
2555 enum dma_data_direction dir ) ;
2556 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
2557 enum dma_data_direction dir ) ;
2558 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
2559 enum dma_data_direction dir ) ;
2560 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
2561 enum dma_data_direction dir ) ;
2562 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
2563 int (*dma_supported)(struct device *dev , u64 mask ) ;
2564 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
2565 int is_phys ;
2566};
2567#line 25 "include/linux/dma-debug.h"
2568struct device;
2569#line 26
2570struct scatterlist;
2571#line 27
2572struct bus_type;
2573#line 6 "include/linux/swiotlb.h"
2574struct device;
2575#line 7
2576struct dma_attrs;
2577#line 8
2578struct scatterlist;
2579#line 244 "include/linux/usb/ch9.h"
2580struct usb_device_descriptor {
2581 __u8 bLength ;
2582 __u8 bDescriptorType ;
2583 __le16 bcdUSB ;
2584 __u8 bDeviceClass ;
2585 __u8 bDeviceSubClass ;
2586 __u8 bDeviceProtocol ;
2587 __u8 bMaxPacketSize0 ;
2588 __le16 idVendor ;
2589 __le16 idProduct ;
2590 __le16 bcdDevice ;
2591 __u8 iManufacturer ;
2592 __u8 iProduct ;
2593 __u8 iSerialNumber ;
2594 __u8 bNumConfigurations ;
2595} __attribute__((__packed__)) ;
2596#line 300 "include/linux/usb/ch9.h"
2597struct usb_config_descriptor {
2598 __u8 bLength ;
2599 __u8 bDescriptorType ;
2600 __le16 wTotalLength ;
2601 __u8 bNumInterfaces ;
2602 __u8 bConfigurationValue ;
2603 __u8 iConfiguration ;
2604 __u8 bmAttributes ;
2605 __u8 bMaxPower ;
2606} __attribute__((__packed__)) ;
2607#line 337 "include/linux/usb/ch9.h"
2608struct usb_interface_descriptor {
2609 __u8 bLength ;
2610 __u8 bDescriptorType ;
2611 __u8 bInterfaceNumber ;
2612 __u8 bAlternateSetting ;
2613 __u8 bNumEndpoints ;
2614 __u8 bInterfaceClass ;
2615 __u8 bInterfaceSubClass ;
2616 __u8 bInterfaceProtocol ;
2617 __u8 iInterface ;
2618} __attribute__((__packed__)) ;
2619#line 355 "include/linux/usb/ch9.h"
2620struct usb_endpoint_descriptor {
2621 __u8 bLength ;
2622 __u8 bDescriptorType ;
2623 __u8 bEndpointAddress ;
2624 __u8 bmAttributes ;
2625 __le16 wMaxPacketSize ;
2626 __u8 bInterval ;
2627 __u8 bRefresh ;
2628 __u8 bSynchAddress ;
2629} __attribute__((__packed__)) ;
2630#line 576 "include/linux/usb/ch9.h"
2631struct usb_ss_ep_comp_descriptor {
2632 __u8 bLength ;
2633 __u8 bDescriptorType ;
2634 __u8 bMaxBurst ;
2635 __u8 bmAttributes ;
2636 __le16 wBytesPerInterval ;
2637} __attribute__((__packed__)) ;
2638#line 637 "include/linux/usb/ch9.h"
2639struct usb_interface_assoc_descriptor {
2640 __u8 bLength ;
2641 __u8 bDescriptorType ;
2642 __u8 bFirstInterface ;
2643 __u8 bInterfaceCount ;
2644 __u8 bFunctionClass ;
2645 __u8 bFunctionSubClass ;
2646 __u8 bFunctionProtocol ;
2647 __u8 iFunction ;
2648} __attribute__((__packed__)) ;
2649#line 846
2650enum usb_device_speed {
2651 USB_SPEED_UNKNOWN = 0,
2652 USB_SPEED_LOW = 1,
2653 USB_SPEED_FULL = 2,
2654 USB_SPEED_HIGH = 3,
2655 USB_SPEED_WIRELESS = 4,
2656 USB_SPEED_SUPER = 5
2657} ;
2658#line 854
2659enum usb_device_state {
2660 USB_STATE_NOTATTACHED = 0,
2661 USB_STATE_ATTACHED = 1,
2662 USB_STATE_POWERED = 2,
2663 USB_STATE_RECONNECTING = 3,
2664 USB_STATE_UNAUTHENTICATED = 4,
2665 USB_STATE_DEFAULT = 5,
2666 USB_STATE_ADDRESS = 6,
2667 USB_STATE_CONFIGURED = 7,
2668 USB_STATE_SUSPENDED = 8
2669} ;
2670#line 31 "include/linux/irq.h"
2671struct seq_file;
2672#line 12 "include/linux/irqdesc.h"
2673struct proc_dir_entry;
2674#line 39
2675struct irqaction;
2676#line 39
2677struct irqaction;
2678#line 39
2679struct irqaction;
2680#line 16 "include/linux/profile.h"
2681struct proc_dir_entry;
2682#line 17
2683struct pt_regs;
2684#line 65
2685struct task_struct;
2686#line 66
2687struct mm_struct;
2688#line 88
2689struct pt_regs;
2690#line 94 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess.h"
2691struct exception_table_entry {
2692 unsigned long insn ;
2693 unsigned long fixup ;
2694};
2695#line 363 "include/linux/irq.h"
2696struct irqaction;
2697#line 132 "include/linux/hardirq.h"
2698struct task_struct;
2699#line 8 "include/linux/timerqueue.h"
2700struct timerqueue_node {
2701 struct rb_node node ;
2702 ktime_t expires ;
2703};
2704#line 13 "include/linux/timerqueue.h"
2705struct timerqueue_head {
2706 struct rb_root head ;
2707 struct timerqueue_node *next ;
2708};
2709#line 27 "include/linux/hrtimer.h"
2710struct hrtimer_clock_base;
2711#line 27
2712struct hrtimer_clock_base;
2713#line 27
2714struct hrtimer_clock_base;
2715#line 27
2716struct hrtimer_clock_base;
2717#line 28
2718struct hrtimer_cpu_base;
2719#line 28
2720struct hrtimer_cpu_base;
2721#line 28
2722struct hrtimer_cpu_base;
2723#line 28
2724struct hrtimer_cpu_base;
2725#line 44
2726enum hrtimer_restart {
2727 HRTIMER_NORESTART = 0,
2728 HRTIMER_RESTART = 1
2729} ;
2730#line 108 "include/linux/hrtimer.h"
2731struct hrtimer {
2732 struct timerqueue_node node ;
2733 ktime_t _softexpires ;
2734 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2735 struct hrtimer_clock_base *base ;
2736 unsigned long state ;
2737 int start_pid ;
2738 void *start_site ;
2739 char start_comm[16] ;
2740};
2741#line 145 "include/linux/hrtimer.h"
2742struct hrtimer_clock_base {
2743 struct hrtimer_cpu_base *cpu_base ;
2744 int index ;
2745 clockid_t clockid ;
2746 struct timerqueue_head active ;
2747 ktime_t resolution ;
2748 ktime_t (*get_time)(void) ;
2749 ktime_t softirq_time ;
2750 ktime_t offset ;
2751};
2752#line 178 "include/linux/hrtimer.h"
2753struct hrtimer_cpu_base {
2754 raw_spinlock_t lock ;
2755 unsigned long active_bases ;
2756 ktime_t expires_next ;
2757 int hres_active ;
2758 int hang_detected ;
2759 unsigned long nr_events ;
2760 unsigned long nr_retries ;
2761 unsigned long nr_hangs ;
2762 ktime_t max_hang_time ;
2763 struct hrtimer_clock_base clock_base[3] ;
2764};
2765#line 9 "include/trace/events/irq.h"
2766struct irqaction;
2767#line 106 "include/linux/interrupt.h"
2768struct irqaction {
2769 irqreturn_t (*handler)(int , void * ) ;
2770 unsigned long flags ;
2771 void *dev_id ;
2772 struct irqaction *next ;
2773 int irq ;
2774 irqreturn_t (*thread_fn)(int , void * ) ;
2775 struct task_struct *thread ;
2776 unsigned long thread_flags ;
2777 unsigned long thread_mask ;
2778 char const *name ;
2779 struct proc_dir_entry *dir ;
2780} __attribute__((__aligned__((1) << (12) ))) ;
2781#line 172
2782struct device;
2783#line 496 "include/linux/interrupt.h"
2784struct tasklet_struct {
2785 struct tasklet_struct *next ;
2786 unsigned long state ;
2787 atomic_t count ;
2788 void (*func)(unsigned long ) ;
2789 unsigned long data ;
2790};
2791#line 682
2792struct seq_file;
2793#line 15 "include/linux/blk_types.h"
2794struct page;
2795#line 16
2796struct block_device;
2797#line 16
2798struct block_device;
2799#line 16
2800struct block_device;
2801#line 16
2802struct block_device;
2803#line 33 "include/linux/list_bl.h"
2804struct hlist_bl_node;
2805#line 33
2806struct hlist_bl_node;
2807#line 33
2808struct hlist_bl_node;
2809#line 33 "include/linux/list_bl.h"
2810struct hlist_bl_head {
2811 struct hlist_bl_node *first ;
2812};
2813#line 37 "include/linux/list_bl.h"
2814struct hlist_bl_node {
2815 struct hlist_bl_node *next ;
2816 struct hlist_bl_node **pprev ;
2817};
2818#line 13 "include/linux/dcache.h"
2819struct nameidata;
2820#line 13
2821struct nameidata;
2822#line 13
2823struct nameidata;
2824#line 13
2825struct nameidata;
2826#line 14
2827struct path;
2828#line 14
2829struct path;
2830#line 14
2831struct path;
2832#line 14
2833struct path;
2834#line 15
2835struct vfsmount;
2836#line 15
2837struct vfsmount;
2838#line 15
2839struct vfsmount;
2840#line 15
2841struct vfsmount;
2842#line 35 "include/linux/dcache.h"
2843struct qstr {
2844 unsigned int hash ;
2845 unsigned int len ;
2846 unsigned char const *name ;
2847};
2848#line 116
2849struct dentry_operations;
2850#line 116
2851struct dentry_operations;
2852#line 116
2853struct dentry_operations;
2854#line 116
2855struct super_block;
2856#line 116
2857struct super_block;
2858#line 116
2859struct super_block;
2860#line 116 "include/linux/dcache.h"
2861union __anonunion_d_u_216 {
2862 struct list_head d_child ;
2863 struct rcu_head d_rcu ;
2864};
2865#line 116 "include/linux/dcache.h"
2866struct dentry {
2867 unsigned int d_flags ;
2868 seqcount_t d_seq ;
2869 struct hlist_bl_node d_hash ;
2870 struct dentry *d_parent ;
2871 struct qstr d_name ;
2872 struct inode *d_inode ;
2873 unsigned char d_iname[32] ;
2874 unsigned int d_count ;
2875 spinlock_t d_lock ;
2876 struct dentry_operations const *d_op ;
2877 struct super_block *d_sb ;
2878 unsigned long d_time ;
2879 void *d_fsdata ;
2880 struct list_head d_lru ;
2881 union __anonunion_d_u_216 d_u ;
2882 struct list_head d_subdirs ;
2883 struct list_head d_alias ;
2884};
2885#line 159 "include/linux/dcache.h"
2886struct dentry_operations {
2887 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2888 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
2889 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
2890 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
2891 int (*d_delete)(struct dentry const * ) ;
2892 void (*d_release)(struct dentry * ) ;
2893 void (*d_iput)(struct dentry * , struct inode * ) ;
2894 char *(*d_dname)(struct dentry * , char * , int ) ;
2895 struct vfsmount *(*d_automount)(struct path * ) ;
2896 int (*d_manage)(struct dentry * , bool ) ;
2897} __attribute__((__aligned__((1) << (6) ))) ;
2898#line 4 "include/linux/path.h"
2899struct dentry;
2900#line 5
2901struct vfsmount;
2902#line 7 "include/linux/path.h"
2903struct path {
2904 struct vfsmount *mnt ;
2905 struct dentry *dentry ;
2906};
2907#line 57 "include/linux/radix-tree.h"
2908struct radix_tree_node;
2909#line 57
2910struct radix_tree_node;
2911#line 57
2912struct radix_tree_node;
2913#line 57 "include/linux/radix-tree.h"
2914struct radix_tree_root {
2915 unsigned int height ;
2916 gfp_t gfp_mask ;
2917 struct radix_tree_node *rnode ;
2918};
2919#line 6 "include/linux/pid.h"
2920enum pid_type {
2921 PIDTYPE_PID = 0,
2922 PIDTYPE_PGID = 1,
2923 PIDTYPE_SID = 2,
2924 PIDTYPE_MAX = 3
2925} ;
2926#line 50
2927struct pid_namespace;
2928#line 50
2929struct pid_namespace;
2930#line 50
2931struct pid_namespace;
2932#line 50 "include/linux/pid.h"
2933struct upid {
2934 int nr ;
2935 struct pid_namespace *ns ;
2936 struct hlist_node pid_chain ;
2937};
2938#line 57 "include/linux/pid.h"
2939struct pid {
2940 atomic_t count ;
2941 unsigned int level ;
2942 struct hlist_head tasks[3] ;
2943 struct rcu_head rcu ;
2944 struct upid numbers[1] ;
2945};
2946#line 69 "include/linux/pid.h"
2947struct pid_link {
2948 struct hlist_node node ;
2949 struct pid *pid ;
2950};
2951#line 100
2952struct pid_namespace;
2953#line 18 "include/linux/capability.h"
2954struct task_struct;
2955#line 94 "include/linux/capability.h"
2956struct kernel_cap_struct {
2957 __u32 cap[2] ;
2958};
2959#line 94 "include/linux/capability.h"
2960typedef struct kernel_cap_struct kernel_cap_t;
2961#line 376
2962struct dentry;
2963#line 377
2964struct user_namespace;
2965#line 377
2966struct user_namespace;
2967#line 377
2968struct user_namespace;
2969#line 377
2970struct user_namespace;
2971#line 16 "include/linux/fiemap.h"
2972struct fiemap_extent {
2973 __u64 fe_logical ;
2974 __u64 fe_physical ;
2975 __u64 fe_length ;
2976 __u64 fe_reserved64[2] ;
2977 __u32 fe_flags ;
2978 __u32 fe_reserved[3] ;
2979};
2980#line 399 "include/linux/fs.h"
2981struct export_operations;
2982#line 399
2983struct export_operations;
2984#line 399
2985struct export_operations;
2986#line 399
2987struct export_operations;
2988#line 401
2989struct iovec;
2990#line 401
2991struct iovec;
2992#line 401
2993struct iovec;
2994#line 401
2995struct iovec;
2996#line 402
2997struct nameidata;
2998#line 403
2999struct kiocb;
3000#line 403
3001struct kiocb;
3002#line 403
3003struct kiocb;
3004#line 403
3005struct kiocb;
3006#line 404
3007struct kobject;
3008#line 405
3009struct pipe_inode_info;
3010#line 405
3011struct pipe_inode_info;
3012#line 405
3013struct pipe_inode_info;
3014#line 405
3015struct pipe_inode_info;
3016#line 406
3017struct poll_table_struct;
3018#line 406
3019struct poll_table_struct;
3020#line 406
3021struct poll_table_struct;
3022#line 406
3023struct poll_table_struct;
3024#line 407
3025struct kstatfs;
3026#line 407
3027struct kstatfs;
3028#line 407
3029struct kstatfs;
3030#line 407
3031struct kstatfs;
3032#line 408
3033struct vm_area_struct;
3034#line 409
3035struct vfsmount;
3036#line 410
3037struct cred;
3038#line 460 "include/linux/fs.h"
3039struct iattr {
3040 unsigned int ia_valid ;
3041 umode_t ia_mode ;
3042 uid_t ia_uid ;
3043 gid_t ia_gid ;
3044 loff_t ia_size ;
3045 struct timespec ia_atime ;
3046 struct timespec ia_mtime ;
3047 struct timespec ia_ctime ;
3048 struct file *ia_file ;
3049};
3050#line 129 "include/linux/quota.h"
3051struct if_dqinfo {
3052 __u64 dqi_bgrace ;
3053 __u64 dqi_igrace ;
3054 __u32 dqi_flags ;
3055 __u32 dqi_valid ;
3056};
3057#line 18 "include/linux/percpu_counter.h"
3058struct percpu_counter {
3059 spinlock_t lock ;
3060 s64 count ;
3061 struct list_head list ;
3062 s32 *counters ;
3063};
3064#line 50 "include/linux/dqblk_xfs.h"
3065struct fs_disk_quota {
3066 __s8 d_version ;
3067 __s8 d_flags ;
3068 __u16 d_fieldmask ;
3069 __u32 d_id ;
3070 __u64 d_blk_hardlimit ;
3071 __u64 d_blk_softlimit ;
3072 __u64 d_ino_hardlimit ;
3073 __u64 d_ino_softlimit ;
3074 __u64 d_bcount ;
3075 __u64 d_icount ;
3076 __s32 d_itimer ;
3077 __s32 d_btimer ;
3078 __u16 d_iwarns ;
3079 __u16 d_bwarns ;
3080 __s32 d_padding2 ;
3081 __u64 d_rtb_hardlimit ;
3082 __u64 d_rtb_softlimit ;
3083 __u64 d_rtbcount ;
3084 __s32 d_rtbtimer ;
3085 __u16 d_rtbwarns ;
3086 __s16 d_padding3 ;
3087 char d_padding4[8] ;
3088};
3089#line 146 "include/linux/dqblk_xfs.h"
3090struct fs_qfilestat {
3091 __u64 qfs_ino ;
3092 __u64 qfs_nblks ;
3093 __u32 qfs_nextents ;
3094};
3095#line 146 "include/linux/dqblk_xfs.h"
3096typedef struct fs_qfilestat fs_qfilestat_t;
3097#line 152 "include/linux/dqblk_xfs.h"
3098struct fs_quota_stat {
3099 __s8 qs_version ;
3100 __u16 qs_flags ;
3101 __s8 qs_pad ;
3102 fs_qfilestat_t qs_uquota ;
3103 fs_qfilestat_t qs_gquota ;
3104 __u32 qs_incoredqs ;
3105 __s32 qs_btimelimit ;
3106 __s32 qs_itimelimit ;
3107 __s32 qs_rtbtimelimit ;
3108 __u16 qs_bwarnlimit ;
3109 __u16 qs_iwarnlimit ;
3110};
3111#line 17 "include/linux/dqblk_qtree.h"
3112struct dquot;
3113#line 17
3114struct dquot;
3115#line 17
3116struct dquot;
3117#line 17
3118struct dquot;
3119#line 185 "include/linux/quota.h"
3120typedef __kernel_uid32_t qid_t;
3121#line 186 "include/linux/quota.h"
3122typedef long long qsize_t;
3123#line 200 "include/linux/quota.h"
3124struct mem_dqblk {
3125 qsize_t dqb_bhardlimit ;
3126 qsize_t dqb_bsoftlimit ;
3127 qsize_t dqb_curspace ;
3128 qsize_t dqb_rsvspace ;
3129 qsize_t dqb_ihardlimit ;
3130 qsize_t dqb_isoftlimit ;
3131 qsize_t dqb_curinodes ;
3132 time_t dqb_btime ;
3133 time_t dqb_itime ;
3134};
3135#line 215
3136struct quota_format_type;
3137#line 215
3138struct quota_format_type;
3139#line 215
3140struct quota_format_type;
3141#line 215
3142struct quota_format_type;
3143#line 217 "include/linux/quota.h"
3144struct mem_dqinfo {
3145 struct quota_format_type *dqi_format ;
3146 int dqi_fmt_id ;
3147 struct list_head dqi_dirty_list ;
3148 unsigned long dqi_flags ;
3149 unsigned int dqi_bgrace ;
3150 unsigned int dqi_igrace ;
3151 qsize_t dqi_maxblimit ;
3152 qsize_t dqi_maxilimit ;
3153 void *dqi_priv ;
3154};
3155#line 230
3156struct super_block;
3157#line 284 "include/linux/quota.h"
3158struct dquot {
3159 struct hlist_node dq_hash ;
3160 struct list_head dq_inuse ;
3161 struct list_head dq_free ;
3162 struct list_head dq_dirty ;
3163 struct mutex dq_lock ;
3164 atomic_t dq_count ;
3165 wait_queue_head_t dq_wait_unused ;
3166 struct super_block *dq_sb ;
3167 unsigned int dq_id ;
3168 loff_t dq_off ;
3169 unsigned long dq_flags ;
3170 short dq_type ;
3171 struct mem_dqblk dq_dqb ;
3172};
3173#line 301 "include/linux/quota.h"
3174struct quota_format_ops {
3175 int (*check_quota_file)(struct super_block *sb , int type ) ;
3176 int (*read_file_info)(struct super_block *sb , int type ) ;
3177 int (*write_file_info)(struct super_block *sb , int type ) ;
3178 int (*free_file_info)(struct super_block *sb , int type ) ;
3179 int (*read_dqblk)(struct dquot *dquot ) ;
3180 int (*commit_dqblk)(struct dquot *dquot ) ;
3181 int (*release_dqblk)(struct dquot *dquot ) ;
3182};
3183#line 312 "include/linux/quota.h"
3184struct dquot_operations {
3185 int (*write_dquot)(struct dquot * ) ;
3186 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
3187 void (*destroy_dquot)(struct dquot * ) ;
3188 int (*acquire_dquot)(struct dquot * ) ;
3189 int (*release_dquot)(struct dquot * ) ;
3190 int (*mark_dirty)(struct dquot * ) ;
3191 int (*write_info)(struct super_block * , int ) ;
3192 qsize_t *(*get_reserved_space)(struct inode * ) ;
3193};
3194#line 325
3195struct path;
3196#line 328 "include/linux/quota.h"
3197struct quotactl_ops {
3198 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
3199 int (*quota_on_meta)(struct super_block * , int , int ) ;
3200 int (*quota_off)(struct super_block * , int ) ;
3201 int (*quota_sync)(struct super_block * , int , int ) ;
3202 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
3203 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
3204 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3205 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3206 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
3207 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
3208};
3209#line 341 "include/linux/quota.h"
3210struct quota_format_type {
3211 int qf_fmt_id ;
3212 struct quota_format_ops const *qf_ops ;
3213 struct module *qf_owner ;
3214 struct quota_format_type *qf_next ;
3215};
3216#line 395 "include/linux/quota.h"
3217struct quota_info {
3218 unsigned int flags ;
3219 struct mutex dqio_mutex ;
3220 struct mutex dqonoff_mutex ;
3221 struct rw_semaphore dqptr_sem ;
3222 struct inode *files[2] ;
3223 struct mem_dqinfo info[2] ;
3224 struct quota_format_ops const *ops[2] ;
3225};
3226#line 523 "include/linux/fs.h"
3227struct page;
3228#line 524
3229struct address_space;
3230#line 525
3231struct writeback_control;
3232#line 568 "include/linux/fs.h"
3233union __anonunion_arg_224 {
3234 char *buf ;
3235 void *data ;
3236};
3237#line 568 "include/linux/fs.h"
3238struct __anonstruct_read_descriptor_t_223 {
3239 size_t written ;
3240 size_t count ;
3241 union __anonunion_arg_224 arg ;
3242 int error ;
3243};
3244#line 568 "include/linux/fs.h"
3245typedef struct __anonstruct_read_descriptor_t_223 read_descriptor_t;
3246#line 581 "include/linux/fs.h"
3247struct address_space_operations {
3248 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
3249 int (*readpage)(struct file * , struct page * ) ;
3250 int (*writepages)(struct address_space * , struct writeback_control * ) ;
3251 int (*set_page_dirty)(struct page *page ) ;
3252 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
3253 unsigned int nr_pages ) ;
3254 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
3255 unsigned int len , unsigned int flags , struct page **pagep ,
3256 void **fsdata ) ;
3257 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
3258 unsigned int copied , struct page *page , void *fsdata ) ;
3259 sector_t (*bmap)(struct address_space * , sector_t ) ;
3260 void (*invalidatepage)(struct page * , unsigned long ) ;
3261 int (*releasepage)(struct page * , gfp_t ) ;
3262 void (*freepage)(struct page * ) ;
3263 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
3264 unsigned long nr_segs ) ;
3265 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
3266 int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
3267 int (*launder_page)(struct page * ) ;
3268 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
3269 int (*error_remove_page)(struct address_space * , struct page * ) ;
3270};
3271#line 633
3272struct backing_dev_info;
3273#line 633
3274struct backing_dev_info;
3275#line 633
3276struct backing_dev_info;
3277#line 633
3278struct backing_dev_info;
3279#line 634 "include/linux/fs.h"
3280struct address_space {
3281 struct inode *host ;
3282 struct radix_tree_root page_tree ;
3283 spinlock_t tree_lock ;
3284 unsigned int i_mmap_writable ;
3285 struct prio_tree_root i_mmap ;
3286 struct list_head i_mmap_nonlinear ;
3287 struct mutex i_mmap_mutex ;
3288 unsigned long nrpages ;
3289 unsigned long writeback_index ;
3290 struct address_space_operations const *a_ops ;
3291 unsigned long flags ;
3292 struct backing_dev_info *backing_dev_info ;
3293 spinlock_t private_lock ;
3294 struct list_head private_list ;
3295 struct address_space *assoc_mapping ;
3296} __attribute__((__aligned__(sizeof(long )))) ;
3297#line 658
3298struct hd_struct;
3299#line 658
3300struct hd_struct;
3301#line 658
3302struct hd_struct;
3303#line 658
3304struct gendisk;
3305#line 658
3306struct gendisk;
3307#line 658
3308struct gendisk;
3309#line 658 "include/linux/fs.h"
3310struct block_device {
3311 dev_t bd_dev ;
3312 int bd_openers ;
3313 struct inode *bd_inode ;
3314 struct super_block *bd_super ;
3315 struct mutex bd_mutex ;
3316 struct list_head bd_inodes ;
3317 void *bd_claiming ;
3318 void *bd_holder ;
3319 int bd_holders ;
3320 bool bd_write_holder ;
3321 struct list_head bd_holder_disks ;
3322 struct block_device *bd_contains ;
3323 unsigned int bd_block_size ;
3324 struct hd_struct *bd_part ;
3325 unsigned int bd_part_count ;
3326 int bd_invalidated ;
3327 struct gendisk *bd_disk ;
3328 struct list_head bd_list ;
3329 unsigned long bd_private ;
3330 int bd_fsfreeze_count ;
3331 struct mutex bd_fsfreeze_mutex ;
3332};
3333#line 735
3334struct posix_acl;
3335#line 735
3336struct posix_acl;
3337#line 735
3338struct posix_acl;
3339#line 735
3340struct posix_acl;
3341#line 738
3342struct inode_operations;
3343#line 738
3344struct inode_operations;
3345#line 738
3346struct inode_operations;
3347#line 738 "include/linux/fs.h"
3348union __anonunion____missing_field_name_225 {
3349 struct list_head i_dentry ;
3350 struct rcu_head i_rcu ;
3351};
3352#line 738
3353struct file_operations;
3354#line 738
3355struct file_operations;
3356#line 738
3357struct file_operations;
3358#line 738
3359struct file_lock;
3360#line 738
3361struct file_lock;
3362#line 738
3363struct file_lock;
3364#line 738
3365struct cdev;
3366#line 738
3367struct cdev;
3368#line 738
3369struct cdev;
3370#line 738 "include/linux/fs.h"
3371union __anonunion____missing_field_name_226 {
3372 struct pipe_inode_info *i_pipe ;
3373 struct block_device *i_bdev ;
3374 struct cdev *i_cdev ;
3375};
3376#line 738 "include/linux/fs.h"
3377struct inode {
3378 umode_t i_mode ;
3379 uid_t i_uid ;
3380 gid_t i_gid ;
3381 struct inode_operations const *i_op ;
3382 struct super_block *i_sb ;
3383 spinlock_t i_lock ;
3384 unsigned int i_flags ;
3385 unsigned long i_state ;
3386 void *i_security ;
3387 struct mutex i_mutex ;
3388 unsigned long dirtied_when ;
3389 struct hlist_node i_hash ;
3390 struct list_head i_wb_list ;
3391 struct list_head i_lru ;
3392 struct list_head i_sb_list ;
3393 union __anonunion____missing_field_name_225 __annonCompField38 ;
3394 unsigned long i_ino ;
3395 atomic_t i_count ;
3396 unsigned int i_nlink ;
3397 dev_t i_rdev ;
3398 unsigned int i_blkbits ;
3399 u64 i_version ;
3400 loff_t i_size ;
3401 struct timespec i_atime ;
3402 struct timespec i_mtime ;
3403 struct timespec i_ctime ;
3404 blkcnt_t i_blocks ;
3405 unsigned short i_bytes ;
3406 struct rw_semaphore i_alloc_sem ;
3407 struct file_operations const *i_fop ;
3408 struct file_lock *i_flock ;
3409 struct address_space *i_mapping ;
3410 struct address_space i_data ;
3411 struct dquot *i_dquot[2] ;
3412 struct list_head i_devices ;
3413 union __anonunion____missing_field_name_226 __annonCompField39 ;
3414 __u32 i_generation ;
3415 __u32 i_fsnotify_mask ;
3416 struct hlist_head i_fsnotify_marks ;
3417 atomic_t i_readcount ;
3418 atomic_t i_writecount ;
3419 struct posix_acl *i_acl ;
3420 struct posix_acl *i_default_acl ;
3421 void *i_private ;
3422};
3423#line 903 "include/linux/fs.h"
3424struct fown_struct {
3425 rwlock_t lock ;
3426 struct pid *pid ;
3427 enum pid_type pid_type ;
3428 uid_t uid ;
3429 uid_t euid ;
3430 int signum ;
3431};
3432#line 914 "include/linux/fs.h"
3433struct file_ra_state {
3434 unsigned long start ;
3435 unsigned int size ;
3436 unsigned int async_size ;
3437 unsigned int ra_pages ;
3438 unsigned int mmap_miss ;
3439 loff_t prev_pos ;
3440};
3441#line 937 "include/linux/fs.h"
3442union __anonunion_f_u_227 {
3443 struct list_head fu_list ;
3444 struct rcu_head fu_rcuhead ;
3445};
3446#line 937 "include/linux/fs.h"
3447struct file {
3448 union __anonunion_f_u_227 f_u ;
3449 struct path f_path ;
3450 struct file_operations const *f_op ;
3451 spinlock_t f_lock ;
3452 int f_sb_list_cpu ;
3453 atomic_long_t f_count ;
3454 unsigned int f_flags ;
3455 fmode_t f_mode ;
3456 loff_t f_pos ;
3457 struct fown_struct f_owner ;
3458 struct cred const *f_cred ;
3459 struct file_ra_state f_ra ;
3460 u64 f_version ;
3461 void *f_security ;
3462 void *private_data ;
3463 struct list_head f_ep_links ;
3464 struct address_space *f_mapping ;
3465 unsigned long f_mnt_write_state ;
3466};
3467#line 1064
3468struct files_struct;
3469#line 1064
3470struct files_struct;
3471#line 1064
3472struct files_struct;
3473#line 1064 "include/linux/fs.h"
3474typedef struct files_struct *fl_owner_t;
3475#line 1066 "include/linux/fs.h"
3476struct file_lock_operations {
3477 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3478 void (*fl_release_private)(struct file_lock * ) ;
3479};
3480#line 1071 "include/linux/fs.h"
3481struct lock_manager_operations {
3482 int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
3483 void (*fl_notify)(struct file_lock * ) ;
3484 int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
3485 void (*fl_release_private)(struct file_lock * ) ;
3486 void (*fl_break)(struct file_lock * ) ;
3487 int (*fl_change)(struct file_lock ** , int ) ;
3488};
3489#line 8 "include/linux/nfs_fs_i.h"
3490struct nlm_lockowner;
3491#line 8
3492struct nlm_lockowner;
3493#line 8
3494struct nlm_lockowner;
3495#line 8
3496struct nlm_lockowner;
3497#line 13 "include/linux/nfs_fs_i.h"
3498struct nfs_lock_info {
3499 u32 state ;
3500 struct nlm_lockowner *owner ;
3501 struct list_head list ;
3502};
3503#line 19
3504struct nfs4_lock_state;
3505#line 19
3506struct nfs4_lock_state;
3507#line 19
3508struct nfs4_lock_state;
3509#line 19
3510struct nfs4_lock_state;
3511#line 20 "include/linux/nfs_fs_i.h"
3512struct nfs4_lock_info {
3513 struct nfs4_lock_state *owner ;
3514};
3515#line 1091 "include/linux/fs.h"
3516struct fasync_struct;
3517#line 1091
3518struct fasync_struct;
3519#line 1091
3520struct fasync_struct;
3521#line 1091 "include/linux/fs.h"
3522struct __anonstruct_afs_229 {
3523 struct list_head link ;
3524 int state ;
3525};
3526#line 1091 "include/linux/fs.h"
3527union __anonunion_fl_u_228 {
3528 struct nfs_lock_info nfs_fl ;
3529 struct nfs4_lock_info nfs4_fl ;
3530 struct __anonstruct_afs_229 afs ;
3531};
3532#line 1091 "include/linux/fs.h"
3533struct file_lock {
3534 struct file_lock *fl_next ;
3535 struct list_head fl_link ;
3536 struct list_head fl_block ;
3537 fl_owner_t fl_owner ;
3538 unsigned char fl_flags ;
3539 unsigned char fl_type ;
3540 unsigned int fl_pid ;
3541 struct pid *fl_nspid ;
3542 wait_queue_head_t fl_wait ;
3543 struct file *fl_file ;
3544 loff_t fl_start ;
3545 loff_t fl_end ;
3546 struct fasync_struct *fl_fasync ;
3547 unsigned long fl_break_time ;
3548 struct file_lock_operations const *fl_ops ;
3549 struct lock_manager_operations const *fl_lmops ;
3550 union __anonunion_fl_u_228 fl_u ;
3551};
3552#line 1324 "include/linux/fs.h"
3553struct fasync_struct {
3554 spinlock_t fa_lock ;
3555 int magic ;
3556 int fa_fd ;
3557 struct fasync_struct *fa_next ;
3558 struct file *fa_file ;
3559 struct rcu_head fa_rcu ;
3560};
3561#line 1364
3562struct file_system_type;
3563#line 1364
3564struct file_system_type;
3565#line 1364
3566struct file_system_type;
3567#line 1364
3568struct super_operations;
3569#line 1364
3570struct super_operations;
3571#line 1364
3572struct super_operations;
3573#line 1364
3574struct xattr_handler;
3575#line 1364
3576struct xattr_handler;
3577#line 1364
3578struct xattr_handler;
3579#line 1364
3580struct mtd_info;
3581#line 1364
3582struct mtd_info;
3583#line 1364
3584struct mtd_info;
3585#line 1364 "include/linux/fs.h"
3586struct super_block {
3587 struct list_head s_list ;
3588 dev_t s_dev ;
3589 unsigned char s_dirt ;
3590 unsigned char s_blocksize_bits ;
3591 unsigned long s_blocksize ;
3592 loff_t s_maxbytes ;
3593 struct file_system_type *s_type ;
3594 struct super_operations const *s_op ;
3595 struct dquot_operations const *dq_op ;
3596 struct quotactl_ops const *s_qcop ;
3597 struct export_operations const *s_export_op ;
3598 unsigned long s_flags ;
3599 unsigned long s_magic ;
3600 struct dentry *s_root ;
3601 struct rw_semaphore s_umount ;
3602 struct mutex s_lock ;
3603 int s_count ;
3604 atomic_t s_active ;
3605 void *s_security ;
3606 struct xattr_handler const **s_xattr ;
3607 struct list_head s_inodes ;
3608 struct hlist_bl_head s_anon ;
3609 struct list_head *s_files ;
3610 struct list_head s_dentry_lru ;
3611 int s_nr_dentry_unused ;
3612 struct block_device *s_bdev ;
3613 struct backing_dev_info *s_bdi ;
3614 struct mtd_info *s_mtd ;
3615 struct list_head s_instances ;
3616 struct quota_info s_dquot ;
3617 int s_frozen ;
3618 wait_queue_head_t s_wait_unfrozen ;
3619 char s_id[32] ;
3620 u8 s_uuid[16] ;
3621 void *s_fs_info ;
3622 fmode_t s_mode ;
3623 u32 s_time_gran ;
3624 struct mutex s_vfs_rename_mutex ;
3625 char *s_subtype ;
3626 char *s_options ;
3627 struct dentry_operations const *s_d_op ;
3628 int cleancache_poolid ;
3629};
3630#line 1499 "include/linux/fs.h"
3631struct fiemap_extent_info {
3632 unsigned int fi_flags ;
3633 unsigned int fi_extents_mapped ;
3634 unsigned int fi_extents_max ;
3635 struct fiemap_extent *fi_extents_start ;
3636};
3637#line 1546 "include/linux/fs.h"
3638struct file_operations {
3639 struct module *owner ;
3640 loff_t (*llseek)(struct file * , loff_t , int ) ;
3641 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3642 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3643 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3644 loff_t ) ;
3645 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3646 loff_t ) ;
3647 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3648 loff_t , u64 , unsigned int ) ) ;
3649 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3650 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3651 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3652 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3653 int (*open)(struct inode * , struct file * ) ;
3654 int (*flush)(struct file * , fl_owner_t id ) ;
3655 int (*release)(struct inode * , struct file * ) ;
3656 int (*fsync)(struct file * , int datasync ) ;
3657 int (*aio_fsync)(struct kiocb * , int datasync ) ;
3658 int (*fasync)(int , struct file * , int ) ;
3659 int (*lock)(struct file * , int , struct file_lock * ) ;
3660 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3661 int ) ;
3662 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3663 unsigned long , unsigned long ) ;
3664 int (*check_flags)(int ) ;
3665 int (*flock)(struct file * , int , struct file_lock * ) ;
3666 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3667 unsigned int ) ;
3668 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3669 unsigned int ) ;
3670 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3671 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
3672};
3673#line 1578 "include/linux/fs.h"
3674struct inode_operations {
3675 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3676 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3677 int (*permission)(struct inode * , int , unsigned int ) ;
3678 int (*check_acl)(struct inode * , int , unsigned int ) ;
3679 int (*readlink)(struct dentry * , char * , int ) ;
3680 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3681 int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
3682 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3683 int (*unlink)(struct inode * , struct dentry * ) ;
3684 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3685 int (*mkdir)(struct inode * , struct dentry * , int ) ;
3686 int (*rmdir)(struct inode * , struct dentry * ) ;
3687 int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
3688 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3689 void (*truncate)(struct inode * ) ;
3690 int (*setattr)(struct dentry * , struct iattr * ) ;
3691 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
3692 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3693 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3694 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3695 int (*removexattr)(struct dentry * , char const * ) ;
3696 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3697 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
3698} __attribute__((__aligned__((1) << (6) ))) ;
3699#line 1608
3700struct seq_file;
3701#line 1622 "include/linux/fs.h"
3702struct super_operations {
3703 struct inode *(*alloc_inode)(struct super_block *sb ) ;
3704 void (*destroy_inode)(struct inode * ) ;
3705 void (*dirty_inode)(struct inode * , int flags ) ;
3706 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
3707 int (*drop_inode)(struct inode * ) ;
3708 void (*evict_inode)(struct inode * ) ;
3709 void (*put_super)(struct super_block * ) ;
3710 void (*write_super)(struct super_block * ) ;
3711 int (*sync_fs)(struct super_block *sb , int wait ) ;
3712 int (*freeze_fs)(struct super_block * ) ;
3713 int (*unfreeze_fs)(struct super_block * ) ;
3714 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3715 int (*remount_fs)(struct super_block * , int * , char * ) ;
3716 void (*umount_begin)(struct super_block * ) ;
3717 int (*show_options)(struct seq_file * , struct vfsmount * ) ;
3718 int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
3719 int (*show_path)(struct seq_file * , struct vfsmount * ) ;
3720 int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
3721 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3722 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3723 loff_t ) ;
3724 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3725};
3726#line 1802 "include/linux/fs.h"
3727struct file_system_type {
3728 char const *name ;
3729 int fs_flags ;
3730 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3731 void (*kill_sb)(struct super_block * ) ;
3732 struct module *owner ;
3733 struct file_system_type *next ;
3734 struct list_head fs_supers ;
3735 struct lock_class_key s_lock_key ;
3736 struct lock_class_key s_umount_key ;
3737 struct lock_class_key s_vfs_rename_key ;
3738 struct lock_class_key i_lock_key ;
3739 struct lock_class_key i_mutex_key ;
3740 struct lock_class_key i_mutex_dir_key ;
3741 struct lock_class_key i_alloc_sem_key ;
3742};
3743#line 2574
3744struct ctl_table;
3745#line 7 "include/asm-generic/cputime.h"
3746typedef unsigned long cputime_t;
3747#line 84 "include/linux/sem.h"
3748struct task_struct;
3749#line 122
3750struct sem_undo_list;
3751#line 122
3752struct sem_undo_list;
3753#line 122
3754struct sem_undo_list;
3755#line 135 "include/linux/sem.h"
3756struct sem_undo_list {
3757 atomic_t refcnt ;
3758 spinlock_t lock ;
3759 struct list_head list_proc ;
3760};
3761#line 141 "include/linux/sem.h"
3762struct sysv_sem {
3763 struct sem_undo_list *undo_list ;
3764};
3765#line 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
3766struct siginfo;
3767#line 10
3768struct siginfo;
3769#line 10
3770struct siginfo;
3771#line 10
3772struct siginfo;
3773#line 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
3774struct __anonstruct_sigset_t_232 {
3775 unsigned long sig[1] ;
3776};
3777#line 30 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
3778typedef struct __anonstruct_sigset_t_232 sigset_t;
3779#line 17 "include/asm-generic/signal-defs.h"
3780typedef void __signalfn_t(int );
3781#line 18 "include/asm-generic/signal-defs.h"
3782typedef __signalfn_t *__sighandler_t;
3783#line 20 "include/asm-generic/signal-defs.h"
3784typedef void __restorefn_t(void);
3785#line 21 "include/asm-generic/signal-defs.h"
3786typedef __restorefn_t *__sigrestore_t;
3787#line 167 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
3788struct sigaction {
3789 __sighandler_t sa_handler ;
3790 unsigned long sa_flags ;
3791 __sigrestore_t sa_restorer ;
3792 sigset_t sa_mask ;
3793};
3794#line 174 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
3795struct k_sigaction {
3796 struct sigaction sa ;
3797};
3798#line 7 "include/asm-generic/siginfo.h"
3799union sigval {
3800 int sival_int ;
3801 void *sival_ptr ;
3802};
3803#line 7 "include/asm-generic/siginfo.h"
3804typedef union sigval sigval_t;
3805#line 40 "include/asm-generic/siginfo.h"
3806struct __anonstruct__kill_234 {
3807 __kernel_pid_t _pid ;
3808 __kernel_uid32_t _uid ;
3809};
3810#line 40 "include/asm-generic/siginfo.h"
3811struct __anonstruct__timer_235 {
3812 __kernel_timer_t _tid ;
3813 int _overrun ;
3814 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
3815 sigval_t _sigval ;
3816 int _sys_private ;
3817};
3818#line 40 "include/asm-generic/siginfo.h"
3819struct __anonstruct__rt_236 {
3820 __kernel_pid_t _pid ;
3821 __kernel_uid32_t _uid ;
3822 sigval_t _sigval ;
3823};
3824#line 40 "include/asm-generic/siginfo.h"
3825struct __anonstruct__sigchld_237 {
3826 __kernel_pid_t _pid ;
3827 __kernel_uid32_t _uid ;
3828 int _status ;
3829 __kernel_clock_t _utime ;
3830 __kernel_clock_t _stime ;
3831};
3832#line 40 "include/asm-generic/siginfo.h"
3833struct __anonstruct__sigfault_238 {
3834 void *_addr ;
3835 short _addr_lsb ;
3836};
3837#line 40 "include/asm-generic/siginfo.h"
3838struct __anonstruct__sigpoll_239 {
3839 long _band ;
3840 int _fd ;
3841};
3842#line 40 "include/asm-generic/siginfo.h"
3843union __anonunion__sifields_233 {
3844 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
3845 struct __anonstruct__kill_234 _kill ;
3846 struct __anonstruct__timer_235 _timer ;
3847 struct __anonstruct__rt_236 _rt ;
3848 struct __anonstruct__sigchld_237 _sigchld ;
3849 struct __anonstruct__sigfault_238 _sigfault ;
3850 struct __anonstruct__sigpoll_239 _sigpoll ;
3851};
3852#line 40 "include/asm-generic/siginfo.h"
3853struct siginfo {
3854 int si_signo ;
3855 int si_errno ;
3856 int si_code ;
3857 union __anonunion__sifields_233 _sifields ;
3858};
3859#line 40 "include/asm-generic/siginfo.h"
3860typedef struct siginfo siginfo_t;
3861#line 280
3862struct siginfo;
3863#line 10 "include/linux/signal.h"
3864struct task_struct;
3865#line 28 "include/linux/signal.h"
3866struct sigpending {
3867 struct list_head list ;
3868 sigset_t signal ;
3869};
3870#line 239
3871struct timespec;
3872#line 240
3873struct pt_regs;
3874#line 97 "include/linux/proportions.h"
3875struct prop_local_single {
3876 unsigned long events ;
3877 unsigned long period ;
3878 int shift ;
3879 spinlock_t lock ;
3880};
3881#line 10 "include/linux/seccomp.h"
3882struct __anonstruct_seccomp_t_242 {
3883 int mode ;
3884};
3885#line 10 "include/linux/seccomp.h"
3886typedef struct __anonstruct_seccomp_t_242 seccomp_t;
3887#line 82 "include/linux/plist.h"
3888struct plist_head {
3889 struct list_head node_list ;
3890 raw_spinlock_t *rawlock ;
3891 spinlock_t *spinlock ;
3892};
3893#line 90 "include/linux/plist.h"
3894struct plist_node {
3895 int prio ;
3896 struct list_head prio_list ;
3897 struct list_head node_list ;
3898};
3899#line 40 "include/linux/rtmutex.h"
3900struct rt_mutex_waiter;
3901#line 40
3902struct rt_mutex_waiter;
3903#line 40
3904struct rt_mutex_waiter;
3905#line 40
3906struct rt_mutex_waiter;
3907#line 42 "include/linux/resource.h"
3908struct rlimit {
3909 unsigned long rlim_cur ;
3910 unsigned long rlim_max ;
3911};
3912#line 81
3913struct task_struct;
3914#line 11 "include/linux/task_io_accounting.h"
3915struct task_io_accounting {
3916 u64 rchar ;
3917 u64 wchar ;
3918 u64 syscr ;
3919 u64 syscw ;
3920 u64 read_bytes ;
3921 u64 write_bytes ;
3922 u64 cancelled_write_bytes ;
3923};
3924#line 18 "include/linux/latencytop.h"
3925struct latency_record {
3926 unsigned long backtrace[12] ;
3927 unsigned int count ;
3928 unsigned long time ;
3929 unsigned long max ;
3930};
3931#line 26
3932struct task_struct;
3933#line 29 "include/linux/key.h"
3934typedef int32_t key_serial_t;
3935#line 32 "include/linux/key.h"
3936typedef uint32_t key_perm_t;
3937#line 34
3938struct key;
3939#line 34
3940struct key;
3941#line 34
3942struct key;
3943#line 34
3944struct key;
3945#line 74
3946struct seq_file;
3947#line 75
3948struct user_struct;
3949#line 76
3950struct signal_struct;
3951#line 76
3952struct signal_struct;
3953#line 76
3954struct signal_struct;
3955#line 76
3956struct signal_struct;
3957#line 77
3958struct cred;
3959#line 79
3960struct key_type;
3961#line 79
3962struct key_type;
3963#line 79
3964struct key_type;
3965#line 79
3966struct key_type;
3967#line 81
3968struct keyring_list;
3969#line 81
3970struct keyring_list;
3971#line 81
3972struct keyring_list;
3973#line 81
3974struct keyring_list;
3975#line 124
3976struct key_user;
3977#line 124
3978struct key_user;
3979#line 124
3980struct key_user;
3981#line 124 "include/linux/key.h"
3982union __anonunion____missing_field_name_243 {
3983 time_t expiry ;
3984 time_t revoked_at ;
3985};
3986#line 124 "include/linux/key.h"
3987union __anonunion_type_data_244 {
3988 struct list_head link ;
3989 unsigned long x[2] ;
3990 void *p[2] ;
3991 int reject_error ;
3992};
3993#line 124 "include/linux/key.h"
3994union __anonunion_payload_245 {
3995 unsigned long value ;
3996 void *rcudata ;
3997 void *data ;
3998 struct keyring_list *subscriptions ;
3999};
4000#line 124 "include/linux/key.h"
4001struct key {
4002 atomic_t usage ;
4003 key_serial_t serial ;
4004 struct rb_node serial_node ;
4005 struct key_type *type ;
4006 struct rw_semaphore sem ;
4007 struct key_user *user ;
4008 void *security ;
4009 union __anonunion____missing_field_name_243 __annonCompField40 ;
4010 uid_t uid ;
4011 gid_t gid ;
4012 key_perm_t perm ;
4013 unsigned short quotalen ;
4014 unsigned short datalen ;
4015 unsigned long flags ;
4016 char *description ;
4017 union __anonunion_type_data_244 type_data ;
4018 union __anonunion_payload_245 payload ;
4019};
4020#line 18 "include/linux/selinux.h"
4021struct audit_context;
4022#line 18
4023struct audit_context;
4024#line 18
4025struct audit_context;
4026#line 18
4027struct audit_context;
4028#line 21 "include/linux/cred.h"
4029struct user_struct;
4030#line 22
4031struct cred;
4032#line 23
4033struct inode;
4034#line 31 "include/linux/cred.h"
4035struct group_info {
4036 atomic_t usage ;
4037 int ngroups ;
4038 int nblocks ;
4039 gid_t small_block[32] ;
4040 gid_t *blocks[0] ;
4041};
4042#line 83 "include/linux/cred.h"
4043struct thread_group_cred {
4044 atomic_t usage ;
4045 pid_t tgid ;
4046 spinlock_t lock ;
4047 struct key *session_keyring ;
4048 struct key *process_keyring ;
4049 struct rcu_head rcu ;
4050};
4051#line 116 "include/linux/cred.h"
4052struct cred {
4053 atomic_t usage ;
4054 atomic_t subscribers ;
4055 void *put_addr ;
4056 unsigned int magic ;
4057 uid_t uid ;
4058 gid_t gid ;
4059 uid_t suid ;
4060 gid_t sgid ;
4061 uid_t euid ;
4062 gid_t egid ;
4063 uid_t fsuid ;
4064 gid_t fsgid ;
4065 unsigned int securebits ;
4066 kernel_cap_t cap_inheritable ;
4067 kernel_cap_t cap_permitted ;
4068 kernel_cap_t cap_effective ;
4069 kernel_cap_t cap_bset ;
4070 unsigned char jit_keyring ;
4071 struct key *thread_keyring ;
4072 struct key *request_key_auth ;
4073 struct thread_group_cred *tgcred ;
4074 void *security ;
4075 struct user_struct *user ;
4076 struct user_namespace *user_ns ;
4077 struct group_info *group_info ;
4078 struct rcu_head rcu ;
4079};
4080#line 97 "include/linux/sched.h"
4081struct futex_pi_state;
4082#line 97
4083struct futex_pi_state;
4084#line 97
4085struct futex_pi_state;
4086#line 97
4087struct futex_pi_state;
4088#line 98
4089struct robust_list_head;
4090#line 98
4091struct robust_list_head;
4092#line 98
4093struct robust_list_head;
4094#line 98
4095struct robust_list_head;
4096#line 99
4097struct bio_list;
4098#line 99
4099struct bio_list;
4100#line 99
4101struct bio_list;
4102#line 99
4103struct bio_list;
4104#line 100
4105struct fs_struct;
4106#line 100
4107struct fs_struct;
4108#line 100
4109struct fs_struct;
4110#line 100
4111struct fs_struct;
4112#line 101
4113struct perf_event_context;
4114#line 101
4115struct perf_event_context;
4116#line 101
4117struct perf_event_context;
4118#line 101
4119struct perf_event_context;
4120#line 102
4121struct blk_plug;
4122#line 102
4123struct blk_plug;
4124#line 102
4125struct blk_plug;
4126#line 102
4127struct blk_plug;
4128#line 150
4129struct seq_file;
4130#line 151
4131struct cfs_rq;
4132#line 151
4133struct cfs_rq;
4134#line 151
4135struct cfs_rq;
4136#line 151
4137struct cfs_rq;
4138#line 259
4139struct task_struct;
4140#line 364
4141struct nsproxy;
4142#line 365
4143struct user_namespace;
4144#line 58 "include/linux/aio_abi.h"
4145struct io_event {
4146 __u64 data ;
4147 __u64 obj ;
4148 __s64 res ;
4149 __s64 res2 ;
4150};
4151#line 16 "include/linux/uio.h"
4152struct iovec {
4153 void *iov_base ;
4154 __kernel_size_t iov_len ;
4155};
4156#line 15 "include/linux/aio.h"
4157struct kioctx;
4158#line 15
4159struct kioctx;
4160#line 15
4161struct kioctx;
4162#line 15
4163struct kioctx;
4164#line 87 "include/linux/aio.h"
4165union __anonunion_ki_obj_247 {
4166 void *user ;
4167 struct task_struct *tsk ;
4168};
4169#line 87
4170struct eventfd_ctx;
4171#line 87
4172struct eventfd_ctx;
4173#line 87
4174struct eventfd_ctx;
4175#line 87 "include/linux/aio.h"
4176struct kiocb {
4177 struct list_head ki_run_list ;
4178 unsigned long ki_flags ;
4179 int ki_users ;
4180 unsigned int ki_key ;
4181 struct file *ki_filp ;
4182 struct kioctx *ki_ctx ;
4183 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
4184 ssize_t (*ki_retry)(struct kiocb * ) ;
4185 void (*ki_dtor)(struct kiocb * ) ;
4186 union __anonunion_ki_obj_247 ki_obj ;
4187 __u64 ki_user_data ;
4188 loff_t ki_pos ;
4189 void *private ;
4190 unsigned short ki_opcode ;
4191 size_t ki_nbytes ;
4192 char *ki_buf ;
4193 size_t ki_left ;
4194 struct iovec ki_inline_vec ;
4195 struct iovec *ki_iovec ;
4196 unsigned long ki_nr_segs ;
4197 unsigned long ki_cur_seg ;
4198 struct list_head ki_list ;
4199 struct eventfd_ctx *ki_eventfd ;
4200};
4201#line 165 "include/linux/aio.h"
4202struct aio_ring_info {
4203 unsigned long mmap_base ;
4204 unsigned long mmap_size ;
4205 struct page **ring_pages ;
4206 spinlock_t ring_lock ;
4207 long nr_pages ;
4208 unsigned int nr ;
4209 unsigned int tail ;
4210 struct page *internal_pages[8] ;
4211};
4212#line 178 "include/linux/aio.h"
4213struct kioctx {
4214 atomic_t users ;
4215 int dead ;
4216 struct mm_struct *mm ;
4217 unsigned long user_id ;
4218 struct hlist_node list ;
4219 wait_queue_head_t wait ;
4220 spinlock_t ctx_lock ;
4221 int reqs_active ;
4222 struct list_head active_reqs ;
4223 struct list_head run_list ;
4224 unsigned int max_reqs ;
4225 struct aio_ring_info ring_info ;
4226 struct delayed_work wq ;
4227 struct rcu_head rcu_head ;
4228};
4229#line 213
4230struct mm_struct;
4231#line 441 "include/linux/sched.h"
4232struct sighand_struct {
4233 atomic_t count ;
4234 struct k_sigaction action[64] ;
4235 spinlock_t siglock ;
4236 wait_queue_head_t signalfd_wqh ;
4237};
4238#line 448 "include/linux/sched.h"
4239struct pacct_struct {
4240 int ac_flag ;
4241 long ac_exitcode ;
4242 unsigned long ac_mem ;
4243 cputime_t ac_utime ;
4244 cputime_t ac_stime ;
4245 unsigned long ac_minflt ;
4246 unsigned long ac_majflt ;
4247};
4248#line 456 "include/linux/sched.h"
4249struct cpu_itimer {
4250 cputime_t expires ;
4251 cputime_t incr ;
4252 u32 error ;
4253 u32 incr_error ;
4254};
4255#line 474 "include/linux/sched.h"
4256struct task_cputime {
4257 cputime_t utime ;
4258 cputime_t stime ;
4259 unsigned long long sum_exec_runtime ;
4260};
4261#line 510 "include/linux/sched.h"
4262struct thread_group_cputimer {
4263 struct task_cputime cputime ;
4264 int running ;
4265 spinlock_t lock ;
4266};
4267#line 517
4268struct autogroup;
4269#line 517
4270struct autogroup;
4271#line 517
4272struct autogroup;
4273#line 517
4274struct autogroup;
4275#line 526
4276struct tty_struct;
4277#line 526
4278struct tty_struct;
4279#line 526
4280struct tty_struct;
4281#line 526
4282struct taskstats;
4283#line 526
4284struct taskstats;
4285#line 526
4286struct taskstats;
4287#line 526
4288struct tty_audit_buf;
4289#line 526
4290struct tty_audit_buf;
4291#line 526
4292struct tty_audit_buf;
4293#line 526 "include/linux/sched.h"
4294struct signal_struct {
4295 atomic_t sigcnt ;
4296 atomic_t live ;
4297 int nr_threads ;
4298 wait_queue_head_t wait_chldexit ;
4299 struct task_struct *curr_target ;
4300 struct sigpending shared_pending ;
4301 int group_exit_code ;
4302 int notify_count ;
4303 struct task_struct *group_exit_task ;
4304 int group_stop_count ;
4305 unsigned int flags ;
4306 struct list_head posix_timers ;
4307 struct hrtimer real_timer ;
4308 struct pid *leader_pid ;
4309 ktime_t it_real_incr ;
4310 struct cpu_itimer it[2] ;
4311 struct thread_group_cputimer cputimer ;
4312 struct task_cputime cputime_expires ;
4313 struct list_head cpu_timers[3] ;
4314 struct pid *tty_old_pgrp ;
4315 int leader ;
4316 struct tty_struct *tty ;
4317 struct autogroup *autogroup ;
4318 cputime_t utime ;
4319 cputime_t stime ;
4320 cputime_t cutime ;
4321 cputime_t cstime ;
4322 cputime_t gtime ;
4323 cputime_t cgtime ;
4324 cputime_t prev_utime ;
4325 cputime_t prev_stime ;
4326 unsigned long nvcsw ;
4327 unsigned long nivcsw ;
4328 unsigned long cnvcsw ;
4329 unsigned long cnivcsw ;
4330 unsigned long min_flt ;
4331 unsigned long maj_flt ;
4332 unsigned long cmin_flt ;
4333 unsigned long cmaj_flt ;
4334 unsigned long inblock ;
4335 unsigned long oublock ;
4336 unsigned long cinblock ;
4337 unsigned long coublock ;
4338 unsigned long maxrss ;
4339 unsigned long cmaxrss ;
4340 struct task_io_accounting ioac ;
4341 unsigned long long sum_sched_runtime ;
4342 struct rlimit rlim[16] ;
4343 struct pacct_struct pacct ;
4344 struct taskstats *stats ;
4345 unsigned int audit_tty ;
4346 struct tty_audit_buf *tty_audit_buf ;
4347 struct rw_semaphore threadgroup_fork_lock ;
4348 int oom_adj ;
4349 int oom_score_adj ;
4350 int oom_score_adj_min ;
4351 struct mutex cred_guard_mutex ;
4352};
4353#line 687 "include/linux/sched.h"
4354struct user_struct {
4355 atomic_t __count ;
4356 atomic_t processes ;
4357 atomic_t files ;
4358 atomic_t sigpending ;
4359 atomic_t inotify_watches ;
4360 atomic_t inotify_devs ;
4361 atomic_t fanotify_listeners ;
4362 atomic_long_t epoll_watches ;
4363 unsigned long mq_bytes ;
4364 unsigned long locked_shm ;
4365 struct key *uid_keyring ;
4366 struct key *session_keyring ;
4367 struct hlist_node uidhash_node ;
4368 uid_t uid ;
4369 struct user_namespace *user_ns ;
4370 atomic_long_t locked_vm ;
4371};
4372#line 731
4373struct backing_dev_info;
4374#line 732
4375struct reclaim_state;
4376#line 732
4377struct reclaim_state;
4378#line 732
4379struct reclaim_state;
4380#line 732
4381struct reclaim_state;
4382#line 735 "include/linux/sched.h"
4383struct sched_info {
4384 unsigned long pcount ;
4385 unsigned long long run_delay ;
4386 unsigned long long last_arrival ;
4387 unsigned long long last_queued ;
4388};
4389#line 747 "include/linux/sched.h"
4390struct task_delay_info {
4391 spinlock_t lock ;
4392 unsigned int flags ;
4393 struct timespec blkio_start ;
4394 struct timespec blkio_end ;
4395 u64 blkio_delay ;
4396 u64 swapin_delay ;
4397 u32 blkio_count ;
4398 u32 swapin_count ;
4399 struct timespec freepages_start ;
4400 struct timespec freepages_end ;
4401 u64 freepages_delay ;
4402 u32 freepages_count ;
4403};
4404#line 1050
4405struct io_context;
4406#line 1050
4407struct io_context;
4408#line 1050
4409struct io_context;
4410#line 1050
4411struct io_context;
4412#line 1059
4413struct audit_context;
4414#line 1060
4415struct mempolicy;
4416#line 1061
4417struct pipe_inode_info;
4418#line 1064
4419struct rq;
4420#line 1064
4421struct rq;
4422#line 1064
4423struct rq;
4424#line 1064
4425struct rq;
4426#line 1084 "include/linux/sched.h"
4427struct sched_class {
4428 struct sched_class const *next ;
4429 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
4430 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
4431 void (*yield_task)(struct rq *rq ) ;
4432 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
4433 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
4434 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
4435 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
4436 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
4437 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
4438 void (*post_schedule)(struct rq *this_rq ) ;
4439 void (*task_waking)(struct task_struct *task ) ;
4440 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
4441 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
4442 void (*rq_online)(struct rq *rq ) ;
4443 void (*rq_offline)(struct rq *rq ) ;
4444 void (*set_curr_task)(struct rq *rq ) ;
4445 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
4446 void (*task_fork)(struct task_struct *p ) ;
4447 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
4448 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
4449 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
4450 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
4451 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
4452};
4453#line 1129 "include/linux/sched.h"
4454struct load_weight {
4455 unsigned long weight ;
4456 unsigned long inv_weight ;
4457};
4458#line 1134 "include/linux/sched.h"
4459struct sched_statistics {
4460 u64 wait_start ;
4461 u64 wait_max ;
4462 u64 wait_count ;
4463 u64 wait_sum ;
4464 u64 iowait_count ;
4465 u64 iowait_sum ;
4466 u64 sleep_start ;
4467 u64 sleep_max ;
4468 s64 sum_sleep_runtime ;
4469 u64 block_start ;
4470 u64 block_max ;
4471 u64 exec_max ;
4472 u64 slice_max ;
4473 u64 nr_migrations_cold ;
4474 u64 nr_failed_migrations_affine ;
4475 u64 nr_failed_migrations_running ;
4476 u64 nr_failed_migrations_hot ;
4477 u64 nr_forced_migrations ;
4478 u64 nr_wakeups ;
4479 u64 nr_wakeups_sync ;
4480 u64 nr_wakeups_migrate ;
4481 u64 nr_wakeups_local ;
4482 u64 nr_wakeups_remote ;
4483 u64 nr_wakeups_affine ;
4484 u64 nr_wakeups_affine_attempts ;
4485 u64 nr_wakeups_passive ;
4486 u64 nr_wakeups_idle ;
4487};
4488#line 1169 "include/linux/sched.h"
4489struct sched_entity {
4490 struct load_weight load ;
4491 struct rb_node run_node ;
4492 struct list_head group_node ;
4493 unsigned int on_rq ;
4494 u64 exec_start ;
4495 u64 sum_exec_runtime ;
4496 u64 vruntime ;
4497 u64 prev_sum_exec_runtime ;
4498 u64 nr_migrations ;
4499 struct sched_statistics statistics ;
4500 struct sched_entity *parent ;
4501 struct cfs_rq *cfs_rq ;
4502 struct cfs_rq *my_q ;
4503};
4504#line 1195
4505struct rt_rq;
4506#line 1195
4507struct rt_rq;
4508#line 1195
4509struct rt_rq;
4510#line 1195 "include/linux/sched.h"
4511struct sched_rt_entity {
4512 struct list_head run_list ;
4513 unsigned long timeout ;
4514 unsigned int time_slice ;
4515 int nr_cpus_allowed ;
4516 struct sched_rt_entity *back ;
4517 struct sched_rt_entity *parent ;
4518 struct rt_rq *rt_rq ;
4519 struct rt_rq *my_q ;
4520};
4521#line 1220
4522struct css_set;
4523#line 1220
4524struct css_set;
4525#line 1220
4526struct css_set;
4527#line 1220
4528struct compat_robust_list_head;
4529#line 1220
4530struct compat_robust_list_head;
4531#line 1220
4532struct compat_robust_list_head;
4533#line 1220
4534struct ftrace_ret_stack;
4535#line 1220
4536struct ftrace_ret_stack;
4537#line 1220
4538struct ftrace_ret_stack;
4539#line 1220
4540struct mem_cgroup;
4541#line 1220
4542struct mem_cgroup;
4543#line 1220
4544struct mem_cgroup;
4545#line 1220 "include/linux/sched.h"
4546struct memcg_batch_info {
4547 int do_batch ;
4548 struct mem_cgroup *memcg ;
4549 unsigned long nr_pages ;
4550 unsigned long memsw_nr_pages ;
4551};
4552#line 1220 "include/linux/sched.h"
4553struct task_struct {
4554 long volatile state ;
4555 void *stack ;
4556 atomic_t usage ;
4557 unsigned int flags ;
4558 unsigned int ptrace ;
4559 struct task_struct *wake_entry ;
4560 int on_cpu ;
4561 int on_rq ;
4562 int prio ;
4563 int static_prio ;
4564 int normal_prio ;
4565 unsigned int rt_priority ;
4566 struct sched_class const *sched_class ;
4567 struct sched_entity se ;
4568 struct sched_rt_entity rt ;
4569 struct hlist_head preempt_notifiers ;
4570 unsigned char fpu_counter ;
4571 unsigned int btrace_seq ;
4572 unsigned int policy ;
4573 cpumask_t cpus_allowed ;
4574 struct sched_info sched_info ;
4575 struct list_head tasks ;
4576 struct plist_node pushable_tasks ;
4577 struct mm_struct *mm ;
4578 struct mm_struct *active_mm ;
4579 unsigned int brk_randomized : 1 ;
4580 int exit_state ;
4581 int exit_code ;
4582 int exit_signal ;
4583 int pdeath_signal ;
4584 unsigned int group_stop ;
4585 unsigned int personality ;
4586 unsigned int did_exec : 1 ;
4587 unsigned int in_execve : 1 ;
4588 unsigned int in_iowait : 1 ;
4589 unsigned int sched_reset_on_fork : 1 ;
4590 unsigned int sched_contributes_to_load : 1 ;
4591 pid_t pid ;
4592 pid_t tgid ;
4593 unsigned long stack_canary ;
4594 struct task_struct *real_parent ;
4595 struct task_struct *parent ;
4596 struct list_head children ;
4597 struct list_head sibling ;
4598 struct task_struct *group_leader ;
4599 struct list_head ptraced ;
4600 struct list_head ptrace_entry ;
4601 struct pid_link pids[3] ;
4602 struct list_head thread_group ;
4603 struct completion *vfork_done ;
4604 int *set_child_tid ;
4605 int *clear_child_tid ;
4606 cputime_t utime ;
4607 cputime_t stime ;
4608 cputime_t utimescaled ;
4609 cputime_t stimescaled ;
4610 cputime_t gtime ;
4611 cputime_t prev_utime ;
4612 cputime_t prev_stime ;
4613 unsigned long nvcsw ;
4614 unsigned long nivcsw ;
4615 struct timespec start_time ;
4616 struct timespec real_start_time ;
4617 unsigned long min_flt ;
4618 unsigned long maj_flt ;
4619 struct task_cputime cputime_expires ;
4620 struct list_head cpu_timers[3] ;
4621 struct cred const *real_cred ;
4622 struct cred const *cred ;
4623 struct cred *replacement_session_keyring ;
4624 char comm[16] ;
4625 int link_count ;
4626 int total_link_count ;
4627 struct sysv_sem sysvsem ;
4628 unsigned long last_switch_count ;
4629 struct thread_struct thread ;
4630 struct fs_struct *fs ;
4631 struct files_struct *files ;
4632 struct nsproxy *nsproxy ;
4633 struct signal_struct *signal ;
4634 struct sighand_struct *sighand ;
4635 sigset_t blocked ;
4636 sigset_t real_blocked ;
4637 sigset_t saved_sigmask ;
4638 struct sigpending pending ;
4639 unsigned long sas_ss_sp ;
4640 size_t sas_ss_size ;
4641 int (*notifier)(void *priv ) ;
4642 void *notifier_data ;
4643 sigset_t *notifier_mask ;
4644 struct audit_context *audit_context ;
4645 uid_t loginuid ;
4646 unsigned int sessionid ;
4647 seccomp_t seccomp ;
4648 u32 parent_exec_id ;
4649 u32 self_exec_id ;
4650 spinlock_t alloc_lock ;
4651 struct irqaction *irqaction ;
4652 raw_spinlock_t pi_lock ;
4653 struct plist_head pi_waiters ;
4654 struct rt_mutex_waiter *pi_blocked_on ;
4655 struct mutex_waiter *blocked_on ;
4656 unsigned int irq_events ;
4657 unsigned long hardirq_enable_ip ;
4658 unsigned long hardirq_disable_ip ;
4659 unsigned int hardirq_enable_event ;
4660 unsigned int hardirq_disable_event ;
4661 int hardirqs_enabled ;
4662 int hardirq_context ;
4663 unsigned long softirq_disable_ip ;
4664 unsigned long softirq_enable_ip ;
4665 unsigned int softirq_disable_event ;
4666 unsigned int softirq_enable_event ;
4667 int softirqs_enabled ;
4668 int softirq_context ;
4669 u64 curr_chain_key ;
4670 int lockdep_depth ;
4671 unsigned int lockdep_recursion ;
4672 struct held_lock held_locks[48UL] ;
4673 gfp_t lockdep_reclaim_gfp ;
4674 void *journal_info ;
4675 struct bio_list *bio_list ;
4676 struct blk_plug *plug ;
4677 struct reclaim_state *reclaim_state ;
4678 struct backing_dev_info *backing_dev_info ;
4679 struct io_context *io_context ;
4680 unsigned long ptrace_message ;
4681 siginfo_t *last_siginfo ;
4682 struct task_io_accounting ioac ;
4683 u64 acct_rss_mem1 ;
4684 u64 acct_vm_mem1 ;
4685 cputime_t acct_timexpd ;
4686 nodemask_t mems_allowed ;
4687 int mems_allowed_change_disable ;
4688 int cpuset_mem_spread_rotor ;
4689 int cpuset_slab_spread_rotor ;
4690 struct css_set *cgroups ;
4691 struct list_head cg_list ;
4692 struct robust_list_head *robust_list ;
4693 struct compat_robust_list_head *compat_robust_list ;
4694 struct list_head pi_state_list ;
4695 struct futex_pi_state *pi_state_cache ;
4696 struct perf_event_context *perf_event_ctxp[2] ;
4697 struct mutex perf_event_mutex ;
4698 struct list_head perf_event_list ;
4699 struct mempolicy *mempolicy ;
4700 short il_next ;
4701 short pref_node_fork ;
4702 atomic_t fs_excl ;
4703 struct rcu_head rcu ;
4704 struct pipe_inode_info *splice_pipe ;
4705 struct task_delay_info *delays ;
4706 int make_it_fail ;
4707 struct prop_local_single dirties ;
4708 int latency_record_count ;
4709 struct latency_record latency_record[32] ;
4710 unsigned long timer_slack_ns ;
4711 unsigned long default_timer_slack_ns ;
4712 struct list_head *scm_work_list ;
4713 int curr_ret_stack ;
4714 struct ftrace_ret_stack *ret_stack ;
4715 unsigned long long ftrace_timestamp ;
4716 atomic_t trace_overrun ;
4717 atomic_t tracing_graph_pause ;
4718 unsigned long trace ;
4719 unsigned long trace_recursion ;
4720 struct memcg_batch_info memcg_batch ;
4721 atomic_t ptrace_bp_refcnt ;
4722};
4723#line 1634
4724struct pid_namespace;
4725#line 25 "include/linux/usb.h"
4726struct usb_device;
4727#line 25
4728struct usb_device;
4729#line 25
4730struct usb_device;
4731#line 25
4732struct usb_device;
4733#line 26
4734struct usb_driver;
4735#line 26
4736struct usb_driver;
4737#line 26
4738struct usb_driver;
4739#line 26
4740struct usb_driver;
4741#line 27
4742struct wusb_dev;
4743#line 27
4744struct wusb_dev;
4745#line 27
4746struct wusb_dev;
4747#line 27
4748struct wusb_dev;
4749#line 47
4750struct ep_device;
4751#line 47
4752struct ep_device;
4753#line 47
4754struct ep_device;
4755#line 47
4756struct ep_device;
4757#line 64 "include/linux/usb.h"
4758struct usb_host_endpoint {
4759 struct usb_endpoint_descriptor desc ;
4760 struct usb_ss_ep_comp_descriptor ss_ep_comp ;
4761 struct list_head urb_list ;
4762 void *hcpriv ;
4763 struct ep_device *ep_dev ;
4764 unsigned char *extra ;
4765 int extralen ;
4766 int enabled ;
4767};
4768#line 77 "include/linux/usb.h"
4769struct usb_host_interface {
4770 struct usb_interface_descriptor desc ;
4771 struct usb_host_endpoint *endpoint ;
4772 char *string ;
4773 unsigned char *extra ;
4774 int extralen ;
4775};
4776#line 90
4777enum usb_interface_condition {
4778 USB_INTERFACE_UNBOUND = 0,
4779 USB_INTERFACE_BINDING = 1,
4780 USB_INTERFACE_BOUND = 2,
4781 USB_INTERFACE_UNBINDING = 3
4782} ;
4783#line 159 "include/linux/usb.h"
4784struct usb_interface {
4785 struct usb_host_interface *altsetting ;
4786 struct usb_host_interface *cur_altsetting ;
4787 unsigned int num_altsetting ;
4788 struct usb_interface_assoc_descriptor *intf_assoc ;
4789 int minor ;
4790 enum usb_interface_condition condition ;
4791 unsigned int sysfs_files_created : 1 ;
4792 unsigned int ep_devs_created : 1 ;
4793 unsigned int unregistering : 1 ;
4794 unsigned int needs_remote_wakeup : 1 ;
4795 unsigned int needs_altsetting0 : 1 ;
4796 unsigned int needs_binding : 1 ;
4797 unsigned int reset_running : 1 ;
4798 unsigned int resetting_device : 1 ;
4799 struct device dev ;
4800 struct device *usb_dev ;
4801 atomic_t pm_usage_cnt ;
4802 struct work_struct reset_ws ;
4803};
4804#line 222 "include/linux/usb.h"
4805struct usb_interface_cache {
4806 unsigned int num_altsetting ;
4807 struct kref ref ;
4808 struct usb_host_interface altsetting[0] ;
4809};
4810#line 274 "include/linux/usb.h"
4811struct usb_host_config {
4812 struct usb_config_descriptor desc ;
4813 char *string ;
4814 struct usb_interface_assoc_descriptor *intf_assoc[16] ;
4815 struct usb_interface *interface[32] ;
4816 struct usb_interface_cache *intf_cache[32] ;
4817 unsigned char *extra ;
4818 int extralen ;
4819};
4820#line 305 "include/linux/usb.h"
4821struct usb_devmap {
4822 unsigned long devicemap[128UL / (8UL * sizeof(unsigned long ))] ;
4823};
4824#line 312
4825struct mon_bus;
4826#line 312
4827struct mon_bus;
4828#line 312
4829struct mon_bus;
4830#line 312 "include/linux/usb.h"
4831struct usb_bus {
4832 struct device *controller ;
4833 int busnum ;
4834 char const *bus_name ;
4835 u8 uses_dma ;
4836 u8 uses_pio_for_control ;
4837 u8 otg_port ;
4838 unsigned int is_b_host : 1 ;
4839 unsigned int b_hnp_enable : 1 ;
4840 unsigned int sg_tablesize ;
4841 int devnum_next ;
4842 struct usb_devmap devmap ;
4843 struct usb_device *root_hub ;
4844 struct usb_bus *hs_companion ;
4845 struct list_head bus_list ;
4846 int bandwidth_allocated ;
4847 int bandwidth_int_reqs ;
4848 int bandwidth_isoc_reqs ;
4849 struct dentry *usbfs_dentry ;
4850 struct mon_bus *mon_bus ;
4851 int monitored ;
4852};
4853#line 367
4854struct usb_tt;
4855#line 367
4856struct usb_tt;
4857#line 367
4858struct usb_tt;
4859#line 367
4860struct usb_tt;
4861#line 426 "include/linux/usb.h"
4862struct usb_device {
4863 int devnum ;
4864 char devpath[16] ;
4865 u32 route ;
4866 enum usb_device_state state ;
4867 enum usb_device_speed speed ;
4868 struct usb_tt *tt ;
4869 int ttport ;
4870 unsigned int toggle[2] ;
4871 struct usb_device *parent ;
4872 struct usb_bus *bus ;
4873 struct usb_host_endpoint ep0 ;
4874 struct device dev ;
4875 struct usb_device_descriptor descriptor ;
4876 struct usb_host_config *config ;
4877 struct usb_host_config *actconfig ;
4878 struct usb_host_endpoint *ep_in[16] ;
4879 struct usb_host_endpoint *ep_out[16] ;
4880 char **rawdescriptors ;
4881 unsigned short bus_mA ;
4882 u8 portnum ;
4883 u8 level ;
4884 unsigned int can_submit : 1 ;
4885 unsigned int persist_enabled : 1 ;
4886 unsigned int have_langid : 1 ;
4887 unsigned int authorized : 1 ;
4888 unsigned int authenticated : 1 ;
4889 unsigned int wusb : 1 ;
4890 int string_langid ;
4891 char *product ;
4892 char *manufacturer ;
4893 char *serial ;
4894 struct list_head filelist ;
4895 struct device *usb_classdev ;
4896 struct dentry *usbfs_dentry ;
4897 int maxchild ;
4898 struct usb_device *children[31] ;
4899 u32 quirks ;
4900 atomic_t urbnum ;
4901 unsigned long active_duration ;
4902 unsigned long connect_time ;
4903 unsigned int do_remote_wakeup : 1 ;
4904 unsigned int reset_resume : 1 ;
4905 struct wusb_dev *wusb_dev ;
4906 int slot_id ;
4907};
4908#line 763 "include/linux/usb.h"
4909struct usb_dynids {
4910 spinlock_t lock ;
4911 struct list_head list ;
4912};
4913#line 782 "include/linux/usb.h"
4914struct usbdrv_wrap {
4915 struct device_driver driver ;
4916 int for_devices ;
4917};
4918#line 843 "include/linux/usb.h"
4919struct usb_driver {
4920 char const *name ;
4921 int (*probe)(struct usb_interface *intf , struct usb_device_id const *id ) ;
4922 void (*disconnect)(struct usb_interface *intf ) ;
4923 int (*unlocked_ioctl)(struct usb_interface *intf , unsigned int code , void *buf ) ;
4924 int (*suspend)(struct usb_interface *intf , pm_message_t message ) ;
4925 int (*resume)(struct usb_interface *intf ) ;
4926 int (*reset_resume)(struct usb_interface *intf ) ;
4927 int (*pre_reset)(struct usb_interface *intf ) ;
4928 int (*post_reset)(struct usb_interface *intf ) ;
4929 struct usb_device_id const *id_table ;
4930 struct usb_dynids dynids ;
4931 struct usbdrv_wrap drvwrap ;
4932 unsigned int no_dynamic_id : 1 ;
4933 unsigned int supports_autosuspend : 1 ;
4934 unsigned int soft_unbind : 1 ;
4935};
4936#line 983 "include/linux/usb.h"
4937struct usb_iso_packet_descriptor {
4938 unsigned int offset ;
4939 unsigned int length ;
4940 unsigned int actual_length ;
4941 int status ;
4942};
4943#line 990
4944struct urb;
4945#line 990
4946struct urb;
4947#line 990
4948struct urb;
4949#line 990
4950struct urb;
4951#line 992 "include/linux/usb.h"
4952struct usb_anchor {
4953 struct list_head urb_list ;
4954 wait_queue_head_t wait ;
4955 spinlock_t lock ;
4956 unsigned int poisoned : 1 ;
4957};
4958#line 1183 "include/linux/usb.h"
4959struct urb {
4960 struct kref kref ;
4961 void *hcpriv ;
4962 atomic_t use_count ;
4963 atomic_t reject ;
4964 int unlinked ;
4965 struct list_head urb_list ;
4966 struct list_head anchor_list ;
4967 struct usb_anchor *anchor ;
4968 struct usb_device *dev ;
4969 struct usb_host_endpoint *ep ;
4970 unsigned int pipe ;
4971 unsigned int stream_id ;
4972 int status ;
4973 unsigned int transfer_flags ;
4974 void *transfer_buffer ;
4975 dma_addr_t transfer_dma ;
4976 struct scatterlist *sg ;
4977 int num_sgs ;
4978 u32 transfer_buffer_length ;
4979 u32 actual_length ;
4980 unsigned char *setup_packet ;
4981 dma_addr_t setup_dma ;
4982 int start_frame ;
4983 int number_of_packets ;
4984 int interval ;
4985 int error_count ;
4986 void *context ;
4987 void (*complete)(struct urb * ) ;
4988 struct usb_iso_packet_descriptor iso_frame_desc[0] ;
4989};
4990#line 1388
4991struct scatterlist;
4992#line 12 "include/linux/firmware.h"
4993struct firmware {
4994 size_t size ;
4995 u8 const *data ;
4996 struct page **pages ;
4997};
4998#line 18
4999struct device;
5000#line 43 "include/linux/input.h"
5001struct input_id {
5002 __u16 bustype ;
5003 __u16 vendor ;
5004 __u16 product ;
5005 __u16 version ;
5006};
5007#line 69 "include/linux/input.h"
5008struct input_absinfo {
5009 __s32 value ;
5010 __s32 minimum ;
5011 __s32 maximum ;
5012 __s32 fuzz ;
5013 __s32 flat ;
5014 __s32 resolution ;
5015};
5016#line 93 "include/linux/input.h"
5017struct input_keymap_entry {
5018 __u8 flags ;
5019 __u8 len ;
5020 __u16 index ;
5021 __u32 keycode ;
5022 __u8 scancode[32] ;
5023};
5024#line 926 "include/linux/input.h"
5025struct ff_replay {
5026 __u16 length ;
5027 __u16 delay ;
5028};
5029#line 936 "include/linux/input.h"
5030struct ff_trigger {
5031 __u16 button ;
5032 __u16 interval ;
5033};
5034#line 953 "include/linux/input.h"
5035struct ff_envelope {
5036 __u16 attack_length ;
5037 __u16 attack_level ;
5038 __u16 fade_length ;
5039 __u16 fade_level ;
5040};
5041#line 965 "include/linux/input.h"
5042struct ff_constant_effect {
5043 __s16 level ;
5044 struct ff_envelope envelope ;
5045};
5046#line 976 "include/linux/input.h"
5047struct ff_ramp_effect {
5048 __s16 start_level ;
5049 __s16 end_level ;
5050 struct ff_envelope envelope ;
5051};
5052#line 992 "include/linux/input.h"
5053struct ff_condition_effect {
5054 __u16 right_saturation ;
5055 __u16 left_saturation ;
5056 __s16 right_coeff ;
5057 __s16 left_coeff ;
5058 __u16 deadband ;
5059 __s16 center ;
5060};
5061#line 1021 "include/linux/input.h"
5062struct ff_periodic_effect {
5063 __u16 waveform ;
5064 __u16 period ;
5065 __s16 magnitude ;
5066 __s16 offset ;
5067 __u16 phase ;
5068 struct ff_envelope envelope ;
5069 __u32 custom_len ;
5070 __s16 *custom_data ;
5071};
5072#line 1042 "include/linux/input.h"
5073struct ff_rumble_effect {
5074 __u16 strong_magnitude ;
5075 __u16 weak_magnitude ;
5076};
5077#line 1070 "include/linux/input.h"
5078union __anonunion_u_249 {
5079 struct ff_constant_effect constant ;
5080 struct ff_ramp_effect ramp ;
5081 struct ff_periodic_effect periodic ;
5082 struct ff_condition_effect condition[2] ;
5083 struct ff_rumble_effect rumble ;
5084};
5085#line 1070 "include/linux/input.h"
5086struct ff_effect {
5087 __u16 type ;
5088 __s16 id ;
5089 __u16 direction ;
5090 struct ff_trigger trigger ;
5091 struct ff_replay replay ;
5092 union __anonunion_u_249 u ;
5093};
5094#line 1219
5095struct ff_device;
5096#line 1219
5097struct ff_device;
5098#line 1219
5099struct ff_device;
5100#line 1219
5101struct input_mt_slot;
5102#line 1219
5103struct input_mt_slot;
5104#line 1219
5105struct input_mt_slot;
5106#line 1219
5107struct input_handle;
5108#line 1219
5109struct input_handle;
5110#line 1219
5111struct input_handle;
5112#line 1219 "include/linux/input.h"
5113struct input_dev {
5114 char const *name ;
5115 char const *phys ;
5116 char const *uniq ;
5117 struct input_id id ;
5118 unsigned long propbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5119 unsigned long evbit[((32UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5120 unsigned long keybit[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5121 unsigned long relbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5122 unsigned long absbit[((64UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5123 unsigned long mscbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5124 unsigned long ledbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5125 unsigned long sndbit[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5126 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5127 unsigned long swbit[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5128 unsigned int hint_events_per_packet ;
5129 unsigned int keycodemax ;
5130 unsigned int keycodesize ;
5131 void *keycode ;
5132 int (*setkeycode)(struct input_dev *dev , struct input_keymap_entry const *ke ,
5133 unsigned int *old_keycode ) ;
5134 int (*getkeycode)(struct input_dev *dev , struct input_keymap_entry *ke ) ;
5135 struct ff_device *ff ;
5136 unsigned int repeat_key ;
5137 struct timer_list timer ;
5138 int rep[2] ;
5139 struct input_mt_slot *mt ;
5140 int mtsize ;
5141 int slot ;
5142 int trkid ;
5143 struct input_absinfo *absinfo ;
5144 unsigned long key[((768UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5145 unsigned long led[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5146 unsigned long snd[((8UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5147 unsigned long sw[((16UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5148 int (*open)(struct input_dev *dev ) ;
5149 void (*close)(struct input_dev *dev ) ;
5150 int (*flush)(struct input_dev *dev , struct file *file ) ;
5151 int (*event)(struct input_dev *dev , unsigned int type , unsigned int code , int value ) ;
5152 struct input_handle *grab ;
5153 spinlock_t event_lock ;
5154 struct mutex mutex ;
5155 unsigned int users ;
5156 bool going_away ;
5157 bool sync ;
5158 struct device dev ;
5159 struct list_head h_list ;
5160 struct list_head node ;
5161};
5162#line 1339
5163struct input_handle;
5164#line 1378 "include/linux/input.h"
5165struct input_handler {
5166 void *private ;
5167 void (*event)(struct input_handle *handle , unsigned int type , unsigned int code ,
5168 int value ) ;
5169 bool (*filter)(struct input_handle *handle , unsigned int type , unsigned int code ,
5170 int value ) ;
5171 bool (*match)(struct input_handler *handler , struct input_dev *dev ) ;
5172 int (*connect)(struct input_handler *handler , struct input_dev *dev , struct input_device_id const *id ) ;
5173 void (*disconnect)(struct input_handle *handle ) ;
5174 void (*start)(struct input_handle *handle ) ;
5175 struct file_operations const *fops ;
5176 int minor ;
5177 char const *name ;
5178 struct input_device_id const *id_table ;
5179 struct list_head h_list ;
5180 struct list_head node ;
5181};
5182#line 1411 "include/linux/input.h"
5183struct input_handle {
5184 void *private ;
5185 int open ;
5186 char const *name ;
5187 struct input_dev *dev ;
5188 struct input_handler *handler ;
5189 struct list_head d_node ;
5190 struct list_head h_node ;
5191};
5192#line 1588 "include/linux/input.h"
5193struct ff_device {
5194 int (*upload)(struct input_dev *dev , struct ff_effect *effect , struct ff_effect *old ) ;
5195 int (*erase)(struct input_dev *dev , int effect_id ) ;
5196 int (*playback)(struct input_dev *dev , int effect_id , int value ) ;
5197 void (*set_gain)(struct input_dev *dev , u16 gain ) ;
5198 void (*set_autocenter)(struct input_dev *dev , u16 magnitude ) ;
5199 void (*destroy)(struct ff_device * ) ;
5200 void *private ;
5201 unsigned long ffbit[((128UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
5202 struct mutex mutex ;
5203 int max_effects ;
5204 struct ff_effect *effects ;
5205 struct file *effect_owners[] ;
5206};
5207#line 37 "include/linux/dvb/dmx.h"
5208enum __anonenum_dmx_output_t_250 {
5209 DMX_OUT_DECODER = 0,
5210 DMX_OUT_TAP = 1,
5211 DMX_OUT_TS_TAP = 2,
5212 DMX_OUT_TSDEMUX_TAP = 3
5213} ;
5214#line 37 "include/linux/dvb/dmx.h"
5215typedef enum __anonenum_dmx_output_t_250 dmx_output_t;
5216#line 49
5217enum __anonenum_dmx_input_t_251 {
5218 DMX_IN_FRONTEND = 0,
5219 DMX_IN_DVR = 1
5220} ;
5221#line 49 "include/linux/dvb/dmx.h"
5222typedef enum __anonenum_dmx_input_t_251 dmx_input_t;
5223#line 56
5224enum __anonenum_dmx_pes_type_t_252 {
5225 DMX_PES_AUDIO0 = 0,
5226 DMX_PES_VIDEO0 = 1,
5227 DMX_PES_TELETEXT0 = 2,
5228 DMX_PES_SUBTITLE0 = 3,
5229 DMX_PES_PCR0 = 4,
5230 DMX_PES_AUDIO1 = 5,
5231 DMX_PES_VIDEO1 = 6,
5232 DMX_PES_TELETEXT1 = 7,
5233 DMX_PES_SUBTITLE1 = 8,
5234 DMX_PES_PCR1 = 9,
5235 DMX_PES_AUDIO2 = 10,
5236 DMX_PES_VIDEO2 = 11,
5237 DMX_PES_TELETEXT2 = 12,
5238 DMX_PES_SUBTITLE2 = 13,
5239 DMX_PES_PCR2 = 14,
5240 DMX_PES_AUDIO3 = 15,
5241 DMX_PES_VIDEO3 = 16,
5242 DMX_PES_TELETEXT3 = 17,
5243 DMX_PES_SUBTITLE3 = 18,
5244 DMX_PES_PCR3 = 19,
5245 DMX_PES_OTHER = 20
5246} ;
5247#line 56 "include/linux/dvb/dmx.h"
5248typedef enum __anonenum_dmx_pes_type_t_252 dmx_pes_type_t;
5249#line 92 "include/linux/dvb/dmx.h"
5250struct dmx_filter {
5251 __u8 filter[16] ;
5252 __u8 mask[16] ;
5253 __u8 mode[16] ;
5254};
5255#line 92 "include/linux/dvb/dmx.h"
5256typedef struct dmx_filter dmx_filter_t;
5257#line 100 "include/linux/dvb/dmx.h"
5258struct dmx_sct_filter_params {
5259 __u16 pid ;
5260 dmx_filter_t filter ;
5261 __u32 timeout ;
5262 __u32 flags ;
5263};
5264#line 113 "include/linux/dvb/dmx.h"
5265struct dmx_pes_filter_params {
5266 __u16 pid ;
5267 dmx_input_t input ;
5268 dmx_output_t output ;
5269 dmx_pes_type_t pes_type ;
5270 __u32 flags ;
5271};
5272#line 122 "include/linux/dvb/dmx.h"
5273struct dmx_caps {
5274 __u32 caps ;
5275 int num_decoders ;
5276};
5277#line 127
5278enum __anonenum_dmx_source_t_253 {
5279 DMX_SOURCE_FRONT0 = 0,
5280 DMX_SOURCE_FRONT1 = 1,
5281 DMX_SOURCE_FRONT2 = 2,
5282 DMX_SOURCE_FRONT3 = 3,
5283 DMX_SOURCE_DVR0 = 16,
5284 DMX_SOURCE_DVR1 = 17,
5285 DMX_SOURCE_DVR2 = 18,
5286 DMX_SOURCE_DVR3 = 19
5287} ;
5288#line 127 "include/linux/dvb/dmx.h"
5289typedef enum __anonenum_dmx_source_t_253 dmx_source_t;
5290#line 28 "include/linux/poll.h"
5291struct poll_table_struct;
5292#line 35 "include/linux/poll.h"
5293struct poll_table_struct {
5294 void (*qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
5295 unsigned long key ;
5296};
5297#line 57 "drivers/media/dvb/dvb-core/dvbdev.h"
5298struct dvb_frontend;
5299#line 57
5300struct dvb_frontend;
5301#line 57
5302struct dvb_frontend;
5303#line 57
5304struct dvb_frontend;
5305#line 59
5306struct dvb_device;
5307#line 59
5308struct dvb_device;
5309#line 59
5310struct dvb_device;
5311#line 59 "drivers/media/dvb/dvb-core/dvbdev.h"
5312struct dvb_adapter {
5313 int num ;
5314 struct list_head list_head ;
5315 struct list_head device_list ;
5316 char const *name ;
5317 u8 proposed_mac[6] ;
5318 void *priv ;
5319 struct device *device ;
5320 struct module *module ;
5321 int mfe_shared ;
5322 struct dvb_device *mfe_dvbdev ;
5323 struct mutex mfe_lock ;
5324 int (*fe_ioctl_override)(struct dvb_frontend *fe , unsigned int cmd , void *parg ,
5325 unsigned int stage ) ;
5326};
5327#line 103 "drivers/media/dvb/dvb-core/dvbdev.h"
5328struct dvb_device {
5329 struct list_head list_head ;
5330 struct file_operations const *fops ;
5331 struct dvb_adapter *adapter ;
5332 int type ;
5333 int minor ;
5334 u32 id ;
5335 int readers ;
5336 int writers ;
5337 int users ;
5338 wait_queue_head_t wait_queue ;
5339 int (*kernel_ioctl)(struct file *file , unsigned int cmd , void *arg ) ;
5340 void *priv ;
5341};
5342#line 63 "drivers/media/dvb/dvb-core/demux.h"
5343enum dmx_success {
5344 DMX_OK = 0,
5345 DMX_LENGTH_ERROR = 1,
5346 DMX_OVERRUN_ERROR = 2,
5347 DMX_CRC_ERROR = 3,
5348 DMX_FRAME_ERROR = 4,
5349 DMX_FIFO_ERROR = 5,
5350 DMX_MISSED_ERROR = 6
5351} ;
5352#line 89
5353enum dmx_ts_pes {
5354 DMX_TS_PES_AUDIO0 = 0,
5355 DMX_TS_PES_VIDEO0 = 1,
5356 DMX_TS_PES_TELETEXT0 = 2,
5357 DMX_TS_PES_SUBTITLE0 = 3,
5358 DMX_TS_PES_PCR0 = 4,
5359 DMX_TS_PES_AUDIO1 = 5,
5360 DMX_TS_PES_VIDEO1 = 6,
5361 DMX_TS_PES_TELETEXT1 = 7,
5362 DMX_TS_PES_SUBTITLE1 = 8,
5363 DMX_TS_PES_PCR1 = 9,
5364 DMX_TS_PES_AUDIO2 = 10,
5365 DMX_TS_PES_VIDEO2 = 11,
5366 DMX_TS_PES_TELETEXT2 = 12,
5367 DMX_TS_PES_SUBTITLE2 = 13,
5368 DMX_TS_PES_PCR2 = 14,
5369 DMX_TS_PES_AUDIO3 = 15,
5370 DMX_TS_PES_VIDEO3 = 16,
5371 DMX_TS_PES_TELETEXT3 = 17,
5372 DMX_TS_PES_SUBTITLE3 = 18,
5373 DMX_TS_PES_PCR3 = 19,
5374 DMX_TS_PES_OTHER = 20
5375} ;
5376#line 125
5377struct dmx_demux;
5378#line 125
5379struct dmx_demux;
5380#line 125
5381struct dmx_demux;
5382#line 125 "drivers/media/dvb/dvb-core/demux.h"
5383struct dmx_ts_feed {
5384 int is_filtering ;
5385 struct dmx_demux *parent ;
5386 void *priv ;
5387 int (*set)(struct dmx_ts_feed *feed , u16 pid , int type , enum dmx_ts_pes pes_type ,
5388 size_t circular_buffer_size , struct timespec timeout ) ;
5389 int (*start_filtering)(struct dmx_ts_feed *feed ) ;
5390 int (*stop_filtering)(struct dmx_ts_feed *feed ) ;
5391};
5392#line 143
5393struct dmx_section_feed;
5394#line 143
5395struct dmx_section_feed;
5396#line 143
5397struct dmx_section_feed;
5398#line 143 "drivers/media/dvb/dvb-core/demux.h"
5399struct dmx_section_filter {
5400 u8 filter_value[18] ;
5401 u8 filter_mask[18] ;
5402 u8 filter_mode[18] ;
5403 struct dmx_section_feed *parent ;
5404 void *priv ;
5405};
5406#line 151 "drivers/media/dvb/dvb-core/demux.h"
5407struct dmx_section_feed {
5408 int is_filtering ;
5409 struct dmx_demux *parent ;
5410 void *priv ;
5411 int check_crc ;
5412 u32 crc_val ;
5413 u8 *secbuf ;
5414 u8 secbuf_base[4284] ;
5415 u16 secbufp ;
5416 u16 seclen ;
5417 u16 tsfeedp ;
5418 int (*set)(struct dmx_section_feed *feed , u16 pid , size_t circular_buffer_size ,
5419 int check_crc ) ;
5420 int (*allocate_filter)(struct dmx_section_feed *feed , struct dmx_section_filter **filter ) ;
5421 int (*release_filter)(struct dmx_section_feed *feed , struct dmx_section_filter *filter ) ;
5422 int (*start_filtering)(struct dmx_section_feed *feed ) ;
5423 int (*stop_filtering)(struct dmx_section_feed *feed ) ;
5424};
5425#line 197
5426enum dmx_frontend_source {
5427 DMX_MEMORY_FE = 0,
5428 DMX_FRONTEND_0 = 1,
5429 DMX_FRONTEND_1 = 2,
5430 DMX_FRONTEND_2 = 3,
5431 DMX_FRONTEND_3 = 4,
5432 DMX_STREAM_0 = 5,
5433 DMX_STREAM_1 = 6,
5434 DMX_STREAM_2 = 7,
5435 DMX_STREAM_3 = 8
5436} ;
5437#line 209 "drivers/media/dvb/dvb-core/demux.h"
5438struct dmx_frontend {
5439 struct list_head connectivity_list ;
5440 enum dmx_frontend_source source ;
5441};
5442#line 244 "drivers/media/dvb/dvb-core/demux.h"
5443struct dmx_demux {
5444 u32 capabilities ;
5445 struct dmx_frontend *frontend ;
5446 void *priv ;
5447 int (*open)(struct dmx_demux *demux ) ;
5448 int (*close)(struct dmx_demux *demux ) ;
5449 int (*write)(struct dmx_demux *demux , char const *buf , size_t count ) ;
5450 int (*allocate_ts_feed)(struct dmx_demux *demux , struct dmx_ts_feed **feed , int (*callback)(u8 const *buffer1 ,
5451 size_t buffer1_length ,
5452 u8 const *buffer2 ,
5453 size_t buffer2_length ,
5454 struct dmx_ts_feed *source ,
5455 enum dmx_success success ) ) ;
5456 int (*release_ts_feed)(struct dmx_demux *demux , struct dmx_ts_feed *feed ) ;
5457 int (*allocate_section_feed)(struct dmx_demux *demux , struct dmx_section_feed **feed ,
5458 int (*callback)(u8 const *buffer1 , size_t buffer1_len ,
5459 u8 const *buffer2 , size_t buffer2_len ,
5460 struct dmx_section_filter *source ,
5461 enum dmx_success success ) ) ;
5462 int (*release_section_feed)(struct dmx_demux *demux , struct dmx_section_feed *feed ) ;
5463 int (*add_frontend)(struct dmx_demux *demux , struct dmx_frontend *frontend ) ;
5464 int (*remove_frontend)(struct dmx_demux *demux , struct dmx_frontend *frontend ) ;
5465 struct list_head *(*get_frontends)(struct dmx_demux *demux ) ;
5466 int (*connect_frontend)(struct dmx_demux *demux , struct dmx_frontend *frontend ) ;
5467 int (*disconnect_frontend)(struct dmx_demux *demux ) ;
5468 int (*get_pes_pids)(struct dmx_demux *demux , u16 *pids ) ;
5469 int (*get_caps)(struct dmx_demux *demux , struct dmx_caps *caps ) ;
5470 int (*set_source)(struct dmx_demux *demux , dmx_source_t const *src ) ;
5471 int (*get_stc)(struct dmx_demux *demux , unsigned int num , u64 *stc , unsigned int *base ) ;
5472};
5473#line 33 "drivers/media/dvb/dvb-core/dvb_ringbuffer.h"
5474struct dvb_ringbuffer {
5475 u8 *data ;
5476 ssize_t size ;
5477 ssize_t pread ;
5478 ssize_t pwrite ;
5479 int error ;
5480 wait_queue_head_t queue ;
5481 spinlock_t lock ;
5482};
5483#line 42 "drivers/media/dvb/dvb-core/dmxdev.h"
5484enum dmxdev_type {
5485 DMXDEV_TYPE_NONE = 0,
5486 DMXDEV_TYPE_SEC = 1,
5487 DMXDEV_TYPE_PES = 2
5488} ;
5489#line 48
5490enum dmxdev_state {
5491 DMXDEV_STATE_FREE = 0,
5492 DMXDEV_STATE_ALLOCATED = 1,
5493 DMXDEV_STATE_SET = 2,
5494 DMXDEV_STATE_GO = 3,
5495 DMXDEV_STATE_DONE = 4,
5496 DMXDEV_STATE_TIMEDOUT = 5
5497} ;
5498#line 63 "drivers/media/dvb/dvb-core/dmxdev.h"
5499union __anonunion_filter_255 {
5500 struct dmx_section_filter *sec ;
5501};
5502#line 63 "drivers/media/dvb/dvb-core/dmxdev.h"
5503union __anonunion_feed_256 {
5504 struct list_head ts ;
5505 struct dmx_section_feed *sec ;
5506};
5507#line 63 "drivers/media/dvb/dvb-core/dmxdev.h"
5508union __anonunion_params_257 {
5509 struct dmx_sct_filter_params sec ;
5510 struct dmx_pes_filter_params pes ;
5511};
5512#line 63
5513struct dmxdev;
5514#line 63
5515struct dmxdev;
5516#line 63
5517struct dmxdev;
5518#line 63 "drivers/media/dvb/dvb-core/dmxdev.h"
5519struct dmxdev_filter {
5520 union __anonunion_filter_255 filter ;
5521 union __anonunion_feed_256 feed ;
5522 union __anonunion_params_257 params ;
5523 enum dmxdev_type type ;
5524 enum dmxdev_state state ;
5525 struct dmxdev *dev ;
5526 struct dvb_ringbuffer buffer ;
5527 struct mutex mutex ;
5528 struct timer_list timer ;
5529 int todo ;
5530 u8 secheader[3] ;
5531};
5532#line 93 "drivers/media/dvb/dvb-core/dmxdev.h"
5533struct dmxdev {
5534 struct dvb_device *dvbdev ;
5535 struct dvb_device *dvr_dvbdev ;
5536 struct dmxdev_filter *filter ;
5537 struct dmx_demux *demux ;
5538 int filternum ;
5539 int capabilities ;
5540 unsigned int exit : 1 ;
5541 struct dmx_frontend *dvr_orig_fe ;
5542 struct dvb_ringbuffer dvr_buffer ;
5543 struct mutex mutex ;
5544 spinlock_t lock ;
5545};
5546#line 49 "drivers/media/dvb/dvb-core/dvb_demux.h"
5547struct dvb_demux_feed;
5548#line 49
5549struct dvb_demux_feed;
5550#line 49
5551struct dvb_demux_feed;
5552#line 49 "drivers/media/dvb/dvb-core/dvb_demux.h"
5553struct dvb_demux_filter {
5554 struct dmx_section_filter filter ;
5555 u8 maskandmode[18] ;
5556 u8 maskandnotmode[18] ;
5557 int doneq ;
5558 struct dvb_demux_filter *next ;
5559 struct dvb_demux_feed *feed ;
5560 int index ;
5561 int state ;
5562 int type ;
5563 u16 hw_handle ;
5564 struct timer_list timer ;
5565};
5566#line 67 "drivers/media/dvb/dvb-core/dvb_demux.h"
5567union __anonunion_feed_258 {
5568 struct dmx_ts_feed ts ;
5569 struct dmx_section_feed sec ;
5570};
5571#line 67 "drivers/media/dvb/dvb-core/dvb_demux.h"
5572union __anonunion_cb_259 {
5573 int (*ts)(u8 const *buffer1 , size_t buffer1_length , u8 const *buffer2 , size_t buffer2_length ,
5574 struct dmx_ts_feed *source , enum dmx_success success ) ;
5575 int (*sec)(u8 const *buffer1 , size_t buffer1_len , u8 const *buffer2 , size_t buffer2_len ,
5576 struct dmx_section_filter *source , enum dmx_success success ) ;
5577};
5578#line 67
5579struct dvb_demux;
5580#line 67
5581struct dvb_demux;
5582#line 67
5583struct dvb_demux;
5584#line 67 "drivers/media/dvb/dvb-core/dvb_demux.h"
5585struct dvb_demux_feed {
5586 union __anonunion_feed_258 feed ;
5587 union __anonunion_cb_259 cb ;
5588 struct dvb_demux *demux ;
5589 void *priv ;
5590 int type ;
5591 int state ;
5592 u16 pid ;
5593 u8 *buffer ;
5594 int buffer_size ;
5595 struct timespec timeout ;
5596 struct dvb_demux_filter *filter ;
5597 int ts_type ;
5598 enum dmx_ts_pes pes_type ;
5599 int cc ;
5600 int pusi_seen ;
5601 u16 peslen ;
5602 struct list_head list_head ;
5603 unsigned int index ;
5604};
5605#line 101 "drivers/media/dvb/dvb-core/dvb_demux.h"
5606struct dvb_demux {
5607 struct dmx_demux dmx ;
5608 void *priv ;
5609 int filternum ;
5610 int feednum ;
5611 int (*start_feed)(struct dvb_demux_feed *feed ) ;
5612 int (*stop_feed)(struct dvb_demux_feed *feed ) ;
5613 int (*write_to_decoder)(struct dvb_demux_feed *feed , u8 const *buf , size_t len ) ;
5614 u32 (*check_crc32)(struct dvb_demux_feed *feed , u8 const *buf , size_t len ) ;
5615 void (*memcopy)(struct dvb_demux_feed *feed , u8 *dst , u8 const *src , size_t len ) ;
5616 int users ;
5617 struct dvb_demux_filter *filter ;
5618 struct dvb_demux_feed *feed ;
5619 struct list_head frontend_list ;
5620 struct dvb_demux_feed *pesfilter[20] ;
5621 u16 pids[20] ;
5622 int playing ;
5623 int recording ;
5624 struct list_head feed_list ;
5625 u8 tsbuf[204] ;
5626 int tsbufp ;
5627 struct mutex mutex ;
5628 spinlock_t lock ;
5629 uint8_t *cnt_storage ;
5630 struct timespec speed_last_time ;
5631 uint32_t speed_pkts_cnt ;
5632};
5633#line 28 "drivers/media/dvb/dvb-core/dvb_filter.h"
5634typedef int dvb_filter_pes2ts_cb_t(void * , unsigned char * );
5635#line 30 "drivers/media/dvb/dvb-core/dvb_filter.h"
5636struct dvb_filter_pes2ts {
5637 unsigned char buf[188] ;
5638 unsigned char cc ;
5639 dvb_filter_pes2ts_cb_t *cb ;
5640 void *priv ;
5641};
5642#line 26 "include/linux/of.h"
5643typedef u32 phandle;
5644#line 29 "include/linux/of.h"
5645struct property {
5646 char *name ;
5647 int length ;
5648 void *value ;
5649 struct property *next ;
5650 unsigned long _flags ;
5651 unsigned int unique_id ;
5652};
5653#line 42 "include/linux/of.h"
5654struct device_node {
5655 char const *name ;
5656 char const *type ;
5657 phandle phandle ;
5658 char *full_name ;
5659 struct property *properties ;
5660 struct property *deadprops ;
5661 struct device_node *parent ;
5662 struct device_node *child ;
5663 struct device_node *sibling ;
5664 struct device_node *next ;
5665 struct device_node *allnext ;
5666 struct proc_dir_entry *pde ;
5667 struct kref kref ;
5668 unsigned long _flags ;
5669 void *data ;
5670};
5671#line 31 "include/linux/dvb/frontend.h"
5672enum fe_type {
5673 FE_QPSK = 0,
5674 FE_QAM = 1,
5675 FE_OFDM = 2,
5676 FE_ATSC = 3
5677} ;
5678#line 31 "include/linux/dvb/frontend.h"
5679typedef enum fe_type fe_type_t;
5680#line 39
5681enum fe_caps {
5682 FE_IS_STUPID = 0,
5683 FE_CAN_INVERSION_AUTO = 1,
5684 FE_CAN_FEC_1_2 = 2,
5685 FE_CAN_FEC_2_3 = 4,
5686 FE_CAN_FEC_3_4 = 8,
5687 FE_CAN_FEC_4_5 = 16,
5688 FE_CAN_FEC_5_6 = 32,
5689 FE_CAN_FEC_6_7 = 64,
5690 FE_CAN_FEC_7_8 = 128,
5691 FE_CAN_FEC_8_9 = 256,
5692 FE_CAN_FEC_AUTO = 512,
5693 FE_CAN_QPSK = 1024,
5694 FE_CAN_QAM_16 = 2048,
5695 FE_CAN_QAM_32 = 4096,
5696 FE_CAN_QAM_64 = 8192,
5697 FE_CAN_QAM_128 = 16384,
5698 FE_CAN_QAM_256 = 32768,
5699 FE_CAN_QAM_AUTO = 65536,
5700 FE_CAN_TRANSMISSION_MODE_AUTO = 131072,
5701 FE_CAN_BANDWIDTH_AUTO = 262144,
5702 FE_CAN_GUARD_INTERVAL_AUTO = 524288,
5703 FE_CAN_HIERARCHY_AUTO = 1048576,
5704 FE_CAN_8VSB = 2097152,
5705 FE_CAN_16VSB = 4194304,
5706 FE_HAS_EXTENDED_CAPS = 8388608,
5707 FE_CAN_TURBO_FEC = 134217728,
5708 FE_CAN_2G_MODULATION = 268435456,
5709 FE_NEEDS_BENDING = 536870912,
5710 FE_CAN_RECOVER = 1073741824,
5711 FE_CAN_MUTE_TS = (-0x7FFFFFFF-1)
5712} ;
5713#line 39 "include/linux/dvb/frontend.h"
5714typedef enum fe_caps fe_caps_t;
5715#line 73 "include/linux/dvb/frontend.h"
5716struct dvb_frontend_info {
5717 char name[128] ;
5718 fe_type_t type ;
5719 __u32 frequency_min ;
5720 __u32 frequency_max ;
5721 __u32 frequency_stepsize ;
5722 __u32 frequency_tolerance ;
5723 __u32 symbol_rate_min ;
5724 __u32 symbol_rate_max ;
5725 __u32 symbol_rate_tolerance ;
5726 __u32 notifier_delay ;
5727 fe_caps_t caps ;
5728};
5729#line 92 "include/linux/dvb/frontend.h"
5730struct dvb_diseqc_master_cmd {
5731 __u8 msg[6] ;
5732 __u8 msg_len ;
5733};
5734#line 98 "include/linux/dvb/frontend.h"
5735struct dvb_diseqc_slave_reply {
5736 __u8 msg[4] ;
5737 __u8 msg_len ;
5738 int timeout ;
5739};
5740#line 105
5741enum fe_sec_voltage {
5742 SEC_VOLTAGE_13 = 0,
5743 SEC_VOLTAGE_18 = 1,
5744 SEC_VOLTAGE_OFF = 2
5745} ;
5746#line 105 "include/linux/dvb/frontend.h"
5747typedef enum fe_sec_voltage fe_sec_voltage_t;
5748#line 112
5749enum fe_sec_tone_mode {
5750 SEC_TONE_ON = 0,
5751 SEC_TONE_OFF = 1
5752} ;
5753#line 112 "include/linux/dvb/frontend.h"
5754typedef enum fe_sec_tone_mode fe_sec_tone_mode_t;
5755#line 118
5756enum fe_sec_mini_cmd {
5757 SEC_MINI_A = 0,
5758 SEC_MINI_B = 1
5759} ;
5760#line 118 "include/linux/dvb/frontend.h"
5761typedef enum fe_sec_mini_cmd fe_sec_mini_cmd_t;
5762#line 124
5763enum fe_status {
5764 FE_HAS_SIGNAL = 1,
5765 FE_HAS_CARRIER = 2,
5766 FE_HAS_VITERBI = 4,
5767 FE_HAS_SYNC = 8,
5768 FE_HAS_LOCK = 16,
5769 FE_TIMEDOUT = 32,
5770 FE_REINIT = 64
5771} ;
5772#line 124 "include/linux/dvb/frontend.h"
5773typedef enum fe_status fe_status_t;
5774#line 135
5775enum fe_spectral_inversion {
5776 INVERSION_OFF = 0,
5777 INVERSION_ON = 1,
5778 INVERSION_AUTO = 2
5779} ;
5780#line 135 "include/linux/dvb/frontend.h"
5781typedef enum fe_spectral_inversion fe_spectral_inversion_t;
5782#line 142
5783enum fe_code_rate {
5784 FEC_NONE = 0,
5785 FEC_1_2 = 1,
5786 FEC_2_3 = 2,
5787 FEC_3_4 = 3,
5788 FEC_4_5 = 4,
5789 FEC_5_6 = 5,
5790 FEC_6_7 = 6,
5791 FEC_7_8 = 7,
5792 FEC_8_9 = 8,
5793 FEC_AUTO = 9,
5794 FEC_3_5 = 10,
5795 FEC_9_10 = 11
5796} ;
5797#line 142 "include/linux/dvb/frontend.h"
5798typedef enum fe_code_rate fe_code_rate_t;
5799#line 158
5800enum fe_modulation {
5801 QPSK = 0,
5802 QAM_16 = 1,
5803 QAM_32 = 2,
5804 QAM_64 = 3,
5805 QAM_128 = 4,
5806 QAM_256 = 5,
5807 QAM_AUTO = 6,
5808 VSB_8 = 7,
5809 VSB_16 = 8,
5810 PSK_8 = 9,
5811 APSK_16 = 10,
5812 APSK_32 = 11,
5813 DQPSK = 12
5814} ;
5815#line 158 "include/linux/dvb/frontend.h"
5816typedef enum fe_modulation fe_modulation_t;
5817#line 174
5818enum fe_transmit_mode {
5819 TRANSMISSION_MODE_2K = 0,
5820 TRANSMISSION_MODE_8K = 1,
5821 TRANSMISSION_MODE_AUTO = 2,
5822 TRANSMISSION_MODE_4K = 3,
5823 TRANSMISSION_MODE_1K = 4,
5824 TRANSMISSION_MODE_16K = 5,
5825 TRANSMISSION_MODE_32K = 6
5826} ;
5827#line 174 "include/linux/dvb/frontend.h"
5828typedef enum fe_transmit_mode fe_transmit_mode_t;
5829#line 184
5830enum fe_bandwidth {
5831 BANDWIDTH_8_MHZ = 0,
5832 BANDWIDTH_7_MHZ = 1,
5833 BANDWIDTH_6_MHZ = 2,
5834 BANDWIDTH_AUTO = 3,
5835 BANDWIDTH_5_MHZ = 4,
5836 BANDWIDTH_10_MHZ = 5,
5837 BANDWIDTH_1_712_MHZ = 6
5838} ;
5839#line 184 "include/linux/dvb/frontend.h"
5840typedef enum fe_bandwidth fe_bandwidth_t;
5841#line 195
5842enum fe_guard_interval {
5843 GUARD_INTERVAL_1_32 = 0,
5844 GUARD_INTERVAL_1_16 = 1,
5845 GUARD_INTERVAL_1_8 = 2,
5846 GUARD_INTERVAL_1_4 = 3,
5847 GUARD_INTERVAL_AUTO = 4,
5848 GUARD_INTERVAL_1_128 = 5,
5849 GUARD_INTERVAL_19_128 = 6,
5850 GUARD_INTERVAL_19_256 = 7
5851} ;
5852#line 195 "include/linux/dvb/frontend.h"
5853typedef enum fe_guard_interval fe_guard_interval_t;
5854#line 207
5855enum fe_hierarchy {
5856 HIERARCHY_NONE = 0,
5857 HIERARCHY_1 = 1,
5858 HIERARCHY_2 = 2,
5859 HIERARCHY_4 = 3,
5860 HIERARCHY_AUTO = 4
5861} ;
5862#line 207 "include/linux/dvb/frontend.h"
5863typedef enum fe_hierarchy fe_hierarchy_t;
5864#line 216 "include/linux/dvb/frontend.h"
5865struct dvb_qpsk_parameters {
5866 __u32 symbol_rate ;
5867 fe_code_rate_t fec_inner ;
5868};
5869#line 221 "include/linux/dvb/frontend.h"
5870struct dvb_qam_parameters {
5871 __u32 symbol_rate ;
5872 fe_code_rate_t fec_inner ;
5873 fe_modulation_t modulation ;
5874};
5875#line 227 "include/linux/dvb/frontend.h"
5876struct dvb_vsb_parameters {
5877 fe_modulation_t modulation ;
5878};
5879#line 231 "include/linux/dvb/frontend.h"
5880struct dvb_ofdm_parameters {
5881 fe_bandwidth_t bandwidth ;
5882 fe_code_rate_t code_rate_HP ;
5883 fe_code_rate_t code_rate_LP ;
5884 fe_modulation_t constellation ;
5885 fe_transmit_mode_t transmission_mode ;
5886 fe_guard_interval_t guard_interval ;
5887 fe_hierarchy_t hierarchy_information ;
5888};
5889#line 242 "include/linux/dvb/frontend.h"
5890union __anonunion_u_260 {
5891 struct dvb_qpsk_parameters qpsk ;
5892 struct dvb_qam_parameters qam ;
5893 struct dvb_ofdm_parameters ofdm ;
5894 struct dvb_vsb_parameters vsb ;
5895};
5896#line 242 "include/linux/dvb/frontend.h"
5897struct dvb_frontend_parameters {
5898 __u32 frequency ;
5899 fe_spectral_inversion_t inversion ;
5900 union __anonunion_u_260 u ;
5901};
5902#line 321
5903enum fe_pilot {
5904 PILOT_ON = 0,
5905 PILOT_OFF = 1,
5906 PILOT_AUTO = 2
5907} ;
5908#line 321 "include/linux/dvb/frontend.h"
5909typedef enum fe_pilot fe_pilot_t;
5910#line 327
5911enum fe_rolloff {
5912 ROLLOFF_35 = 0,
5913 ROLLOFF_20 = 1,
5914 ROLLOFF_25 = 2,
5915 ROLLOFF_AUTO = 3
5916} ;
5917#line 327 "include/linux/dvb/frontend.h"
5918typedef enum fe_rolloff fe_rolloff_t;
5919#line 334
5920enum fe_delivery_system {
5921 SYS_UNDEFINED = 0,
5922 SYS_DVBC_ANNEX_AC = 1,
5923 SYS_DVBC_ANNEX_B = 2,
5924 SYS_DVBT = 3,
5925 SYS_DSS = 4,
5926 SYS_DVBS = 5,
5927 SYS_DVBS2 = 6,
5928 SYS_DVBH = 7,
5929 SYS_ISDBT = 8,
5930 SYS_ISDBS = 9,
5931 SYS_ISDBC = 10,
5932 SYS_ATSC = 11,
5933 SYS_ATSCMH = 12,
5934 SYS_DMBTH = 13,
5935 SYS_CMMB = 14,
5936 SYS_DAB = 15,
5937 SYS_DVBT2 = 16
5938} ;
5939#line 334 "include/linux/dvb/frontend.h"
5940typedef enum fe_delivery_system fe_delivery_system_t;
5941#line 365 "include/linux/dvb/frontend.h"
5942struct __anonstruct_buffer_262 {
5943 __u8 data[32] ;
5944 __u32 len ;
5945 __u32 reserved1[3] ;
5946 void *reserved2 ;
5947};
5948#line 365 "include/linux/dvb/frontend.h"
5949union __anonunion_u_261 {
5950 __u32 data ;
5951 struct __anonstruct_buffer_262 buffer ;
5952};
5953#line 365 "include/linux/dvb/frontend.h"
5954struct dtv_property {
5955 __u32 cmd ;
5956 __u32 reserved[3] ;
5957 union __anonunion_u_261 u ;
5958 int result ;
5959} __attribute__((__packed__)) ;
5960#line 45 "drivers/media/dvb/dvb-core/dvb_frontend.h"
5961struct dvb_frontend_tune_settings {
5962 int min_delay_ms ;
5963 int step_size ;
5964 int max_drift ;
5965 struct dvb_frontend_parameters parameters ;
5966};
5967#line 52
5968struct dvb_frontend;
5969#line 54 "drivers/media/dvb/dvb-core/dvb_frontend.h"
5970struct dvb_tuner_info {
5971 char name[128] ;
5972 u32 frequency_min ;
5973 u32 frequency_max ;
5974 u32 frequency_step ;
5975 u32 bandwidth_min ;
5976 u32 bandwidth_max ;
5977 u32 bandwidth_step ;
5978};
5979#line 66 "drivers/media/dvb/dvb-core/dvb_frontend.h"
5980struct analog_parameters {
5981 unsigned int frequency ;
5982 unsigned int mode ;
5983 unsigned int audmode ;
5984 u64 std ;
5985};
5986#line 109
5987enum tuner_param {
5988 DVBFE_TUNER_FREQUENCY = 1,
5989 DVBFE_TUNER_TUNERSTEP = 2,
5990 DVBFE_TUNER_IFFREQ = 4,
5991 DVBFE_TUNER_BANDWIDTH = 8,
5992 DVBFE_TUNER_REFCLOCK = 16,
5993 DVBFE_TUNER_IQSENSE = 32,
5994 DVBFE_TUNER_DUMMY = (-0x7FFFFFFF-1)
5995} ;
5996#line 144
5997enum dvbfe_algo {
5998 DVBFE_ALGO_HW = 1,
5999 DVBFE_ALGO_SW = 2,
6000 DVBFE_ALGO_CUSTOM = 4,
6001 DVBFE_ALGO_RECOVERY = (-0x7FFFFFFF-1)
6002} ;
6003#line 151 "drivers/media/dvb/dvb-core/dvb_frontend.h"
6004struct tuner_state {
6005 u32 frequency ;
6006 u32 tunerstep ;
6007 u32 ifreq ;
6008 u32 bandwidth ;
6009 u32 iqsense ;
6010 u32 refclock ;
6011};
6012#line 182
6013enum dvbfe_search {
6014 DVBFE_ALGO_SEARCH_SUCCESS = 1,
6015 DVBFE_ALGO_SEARCH_ASLEEP = 2,
6016 DVBFE_ALGO_SEARCH_FAILED = 4,
6017 DVBFE_ALGO_SEARCH_INVALID = 8,
6018 DVBFE_ALGO_SEARCH_AGAIN = 16,
6019 DVBFE_ALGO_SEARCH_ERROR = (-0x7FFFFFFF-1)
6020} ;
6021#line 192 "drivers/media/dvb/dvb-core/dvb_frontend.h"
6022struct dvb_tuner_ops {
6023 struct dvb_tuner_info info ;
6024 int (*release)(struct dvb_frontend *fe ) ;
6025 int (*init)(struct dvb_frontend *fe ) ;
6026 int (*sleep)(struct dvb_frontend *fe ) ;
6027 int (*set_params)(struct dvb_frontend *fe , struct dvb_frontend_parameters *p ) ;
6028 int (*set_analog_params)(struct dvb_frontend *fe , struct analog_parameters *p ) ;
6029 int (*calc_regs)(struct dvb_frontend *fe , struct dvb_frontend_parameters *p ,
6030 u8 *buf , int buf_len ) ;
6031 int (*set_config)(struct dvb_frontend *fe , void *priv_cfg ) ;
6032 int (*get_frequency)(struct dvb_frontend *fe , u32 *frequency ) ;
6033 int (*get_bandwidth)(struct dvb_frontend *fe , u32 *bandwidth ) ;
6034 int (*get_status)(struct dvb_frontend *fe , u32 *status ) ;
6035 int (*get_rf_strength)(struct dvb_frontend *fe , u16 *strength ) ;
6036 int (*set_frequency)(struct dvb_frontend *fe , u32 frequency ) ;
6037 int (*set_bandwidth)(struct dvb_frontend *fe , u32 bandwidth ) ;
6038 int (*set_state)(struct dvb_frontend *fe , enum tuner_param param , struct tuner_state *state ) ;
6039 int (*get_state)(struct dvb_frontend *fe , enum tuner_param param , struct tuner_state *state ) ;
6040};
6041#line 231 "drivers/media/dvb/dvb-core/dvb_frontend.h"
6042struct analog_demod_info {
6043 char *name ;
6044};
6045#line 235 "drivers/media/dvb/dvb-core/dvb_frontend.h"
6046struct analog_demod_ops {
6047 struct analog_demod_info info ;
6048 void (*set_params)(struct dvb_frontend *fe , struct analog_parameters *params ) ;
6049 int (*has_signal)(struct dvb_frontend *fe ) ;
6050 int (*get_afc)(struct dvb_frontend *fe ) ;
6051 void (*tuner_status)(struct dvb_frontend *fe ) ;
6052 void (*standby)(struct dvb_frontend *fe ) ;
6053 void (*release)(struct dvb_frontend *fe ) ;
6054 int (*i2c_gate_ctrl)(struct dvb_frontend *fe , int enable ) ;
6055 int (*set_config)(struct dvb_frontend *fe , void *priv_cfg ) ;
6056};
6057#line 252 "drivers/media/dvb/dvb-core/dvb_frontend.h"
6058struct dvb_frontend_ops {
6059 struct dvb_frontend_info info ;
6060 void (*release)(struct dvb_frontend *fe ) ;
6061 void (*release_sec)(struct dvb_frontend *fe ) ;
6062 int (*init)(struct dvb_frontend *fe ) ;
6063 int (*sleep)(struct dvb_frontend *fe ) ;
6064 int (*write)(struct dvb_frontend *fe , u8 const *buf , int len ) ;
6065 int (*tune)(struct dvb_frontend *fe , struct dvb_frontend_parameters *params ,
6066 unsigned int mode_flags , unsigned int *delay , fe_status_t *status ) ;
6067 enum dvbfe_algo (*get_frontend_algo)(struct dvb_frontend *fe ) ;
6068 int (*set_frontend)(struct dvb_frontend *fe , struct dvb_frontend_parameters *params ) ;
6069 int (*get_tune_settings)(struct dvb_frontend *fe , struct dvb_frontend_tune_settings *settings ) ;
6070 int (*get_frontend)(struct dvb_frontend *fe , struct dvb_frontend_parameters *params ) ;
6071 int (*read_status)(struct dvb_frontend *fe , fe_status_t *status ) ;
6072 int (*read_ber)(struct dvb_frontend *fe , u32 *ber ) ;
6073 int (*read_signal_strength)(struct dvb_frontend *fe , u16 *strength ) ;
6074 int (*read_snr)(struct dvb_frontend *fe , u16 *snr ) ;
6075 int (*read_ucblocks)(struct dvb_frontend *fe , u32 *ucblocks ) ;
6076 int (*diseqc_reset_overload)(struct dvb_frontend *fe ) ;
6077 int (*diseqc_send_master_cmd)(struct dvb_frontend *fe , struct dvb_diseqc_master_cmd *cmd ) ;
6078 int (*diseqc_recv_slave_reply)(struct dvb_frontend *fe , struct dvb_diseqc_slave_reply *reply ) ;
6079 int (*diseqc_send_burst)(struct dvb_frontend *fe , fe_sec_mini_cmd_t minicmd ) ;
6080 int (*set_tone)(struct dvb_frontend *fe , fe_sec_tone_mode_t tone ) ;
6081 int (*set_voltage)(struct dvb_frontend *fe , fe_sec_voltage_t voltage ) ;
6082 int (*enable_high_lnb_voltage)(struct dvb_frontend *fe , long arg ) ;
6083 int (*dishnetwork_send_legacy_command)(struct dvb_frontend *fe , unsigned long cmd ) ;
6084 int (*i2c_gate_ctrl)(struct dvb_frontend *fe , int enable ) ;
6085 int (*ts_bus_ctrl)(struct dvb_frontend *fe , int acquire ) ;
6086 enum dvbfe_search (*search)(struct dvb_frontend *fe , struct dvb_frontend_parameters *p ) ;
6087 int (*track)(struct dvb_frontend *fe , struct dvb_frontend_parameters *p ) ;
6088 struct dvb_tuner_ops tuner_ops ;
6089 struct analog_demod_ops analog_ops ;
6090 int (*set_property)(struct dvb_frontend *fe , struct dtv_property *tvp ) ;
6091 int (*get_property)(struct dvb_frontend *fe , struct dtv_property *tvp ) ;
6092};
6093#line 320 "drivers/media/dvb/dvb-core/dvb_frontend.h"
6094struct __anonstruct_layer_263 {
6095 u8 segment_count ;
6096 fe_code_rate_t fec ;
6097 fe_modulation_t modulation ;
6098 u8 interleaving ;
6099};
6100#line 320 "drivers/media/dvb/dvb-core/dvb_frontend.h"
6101struct dtv_frontend_properties {
6102 u32 state ;
6103 u32 frequency ;
6104 fe_modulation_t modulation ;
6105 fe_sec_voltage_t voltage ;
6106 fe_sec_tone_mode_t sectone ;
6107 fe_spectral_inversion_t inversion ;
6108 fe_code_rate_t fec_inner ;
6109 fe_transmit_mode_t transmission_mode ;
6110 u32 bandwidth_hz ;
6111 fe_guard_interval_t guard_interval ;
6112 fe_hierarchy_t hierarchy ;
6113 u32 symbol_rate ;
6114 fe_code_rate_t code_rate_HP ;
6115 fe_code_rate_t code_rate_LP ;
6116 fe_pilot_t pilot ;
6117 fe_rolloff_t rolloff ;
6118 fe_delivery_system_t delivery_system ;
6119 u8 isdbt_partial_reception ;
6120 u8 isdbt_sb_mode ;
6121 u8 isdbt_sb_subchannel ;
6122 u32 isdbt_sb_segment_idx ;
6123 u32 isdbt_sb_segment_count ;
6124 u8 isdbt_layer_enabled ;
6125 struct __anonstruct_layer_263 layer[3] ;
6126 u32 isdbs_ts_id ;
6127 u32 dvbt2_plp_id ;
6128};
6129#line 366 "drivers/media/dvb/dvb-core/dvb_frontend.h"
6130struct dvb_frontend {
6131 struct dvb_frontend_ops ops ;
6132 struct dvb_adapter *dvb ;
6133 void *demodulator_priv ;
6134 void *tuner_priv ;
6135 void *frontend_priv ;
6136 void *sec_priv ;
6137 void *analog_demod_priv ;
6138 struct dtv_frontend_properties dtv_property_cache ;
6139 int (*callback)(void *adapter_priv , int component , int cmd , int arg ) ;
6140 int id ;
6141};
6142#line 11 "include/linux/socket.h"
6143struct sockaddr;
6144#line 11
6145struct sockaddr;
6146#line 11
6147struct sockaddr;
6148#line 27
6149struct pid;
6150#line 28
6151struct cred;
6152#line 34
6153struct seq_file;
6154#line 38 "include/linux/socket.h"
6155typedef unsigned short sa_family_t;
6156#line 44 "include/linux/socket.h"
6157struct sockaddr {
6158 sa_family_t sa_family ;
6159 char sa_data[14] ;
6160};
6161#line 332
6162struct timespec;
6163#line 37 "include/linux/hdlc/ioctl.h"
6164struct __anonstruct_sync_serial_settings_264 {
6165 unsigned int clock_rate ;
6166 unsigned int clock_type ;
6167 unsigned short loopback ;
6168};
6169#line 37 "include/linux/hdlc/ioctl.h"
6170typedef struct __anonstruct_sync_serial_settings_264 sync_serial_settings;
6171#line 43 "include/linux/hdlc/ioctl.h"
6172struct __anonstruct_te1_settings_265 {
6173 unsigned int clock_rate ;
6174 unsigned int clock_type ;
6175 unsigned short loopback ;
6176 unsigned int slot_map ;
6177};
6178#line 43 "include/linux/hdlc/ioctl.h"
6179typedef struct __anonstruct_te1_settings_265 te1_settings;
6180#line 50 "include/linux/hdlc/ioctl.h"
6181struct __anonstruct_raw_hdlc_proto_266 {
6182 unsigned short encoding ;
6183 unsigned short parity ;
6184};
6185#line 50 "include/linux/hdlc/ioctl.h"
6186typedef struct __anonstruct_raw_hdlc_proto_266 raw_hdlc_proto;
6187#line 55 "include/linux/hdlc/ioctl.h"
6188struct __anonstruct_fr_proto_267 {
6189 unsigned int t391 ;
6190 unsigned int t392 ;
6191 unsigned int n391 ;
6192 unsigned int n392 ;
6193 unsigned int n393 ;
6194 unsigned short lmi ;
6195 unsigned short dce ;
6196};
6197#line 55 "include/linux/hdlc/ioctl.h"
6198typedef struct __anonstruct_fr_proto_267 fr_proto;
6199#line 65 "include/linux/hdlc/ioctl.h"
6200struct __anonstruct_fr_proto_pvc_268 {
6201 unsigned int dlci ;
6202};
6203#line 65 "include/linux/hdlc/ioctl.h"
6204typedef struct __anonstruct_fr_proto_pvc_268 fr_proto_pvc;
6205#line 69 "include/linux/hdlc/ioctl.h"
6206struct __anonstruct_fr_proto_pvc_info_269 {
6207 unsigned int dlci ;
6208 char master[16] ;
6209};
6210#line 69 "include/linux/hdlc/ioctl.h"
6211typedef struct __anonstruct_fr_proto_pvc_info_269 fr_proto_pvc_info;
6212#line 74 "include/linux/hdlc/ioctl.h"
6213struct __anonstruct_cisco_proto_270 {
6214 unsigned int interval ;
6215 unsigned int timeout ;
6216};
6217#line 74 "include/linux/hdlc/ioctl.h"
6218typedef struct __anonstruct_cisco_proto_270 cisco_proto;
6219#line 134 "include/linux/if.h"
6220struct ifmap {
6221 unsigned long mem_start ;
6222 unsigned long mem_end ;
6223 unsigned short base_addr ;
6224 unsigned char irq ;
6225 unsigned char dma ;
6226 unsigned char port ;
6227};
6228#line 144 "include/linux/if.h"
6229union __anonunion_ifs_ifsu_273 {
6230 raw_hdlc_proto *raw_hdlc ;
6231 cisco_proto *cisco ;
6232 fr_proto *fr ;
6233 fr_proto_pvc *fr_pvc ;
6234 fr_proto_pvc_info *fr_pvc_info ;
6235 sync_serial_settings *sync ;
6236 te1_settings *te1 ;
6237};
6238#line 144 "include/linux/if.h"
6239struct if_settings {
6240 unsigned int type ;
6241 unsigned int size ;
6242 union __anonunion_ifs_ifsu_273 ifs_ifsu ;
6243};
6244#line 168 "include/linux/if.h"
6245union __anonunion_ifr_ifrn_274 {
6246 char ifrn_name[16] ;
6247};
6248#line 168 "include/linux/if.h"
6249union __anonunion_ifr_ifru_275 {
6250 struct sockaddr ifru_addr ;
6251 struct sockaddr ifru_dstaddr ;
6252 struct sockaddr ifru_broadaddr ;
6253 struct sockaddr ifru_netmask ;
6254 struct sockaddr ifru_hwaddr ;
6255 short ifru_flags ;
6256 int ifru_ivalue ;
6257 int ifru_mtu ;
6258 struct ifmap ifru_map ;
6259 char ifru_slave[16] ;
6260 char ifru_newname[16] ;
6261 void *ifru_data ;
6262 struct if_settings ifru_settings ;
6263};
6264#line 168 "include/linux/if.h"
6265struct ifreq {
6266 union __anonunion_ifr_ifrn_274 ifr_ifrn ;
6267 union __anonunion_ifr_ifru_275 ifr_ifru ;
6268};
6269#line 119 "include/linux/if_ether.h"
6270struct ethhdr {
6271 unsigned char h_dest[6] ;
6272 unsigned char h_source[6] ;
6273 __be16 h_proto ;
6274} __attribute__((__packed__)) ;
6275#line 65 "include/linux/net.h"
6276struct poll_table_struct;
6277#line 66
6278struct pipe_inode_info;
6279#line 67
6280struct inode;
6281#line 68
6282struct net;
6283#line 68
6284struct net;
6285#line 68
6286struct net;
6287#line 68
6288struct net;
6289#line 154
6290struct vm_area_struct;
6291#line 155
6292struct page;
6293#line 156
6294struct kiocb;
6295#line 157
6296struct sockaddr;
6297#line 159
6298struct module;
6299#line 221
6300struct iovec;
6301#line 109 "include/net/checksum.h"
6302struct sk_buff;
6303#line 109
6304struct sk_buff;
6305#line 109
6306struct sk_buff;
6307#line 109
6308struct sk_buff;
6309#line 33 "include/linux/dmaengine.h"
6310typedef s32 dma_cookie_t;
6311#line 94 "include/linux/skbuff.h"
6312struct net_device;
6313#line 94
6314struct net_device;
6315#line 94
6316struct net_device;
6317#line 94
6318struct net_device;
6319#line 95
6320struct scatterlist;
6321#line 96
6322struct pipe_inode_info;
6323#line 99 "include/linux/skbuff.h"
6324struct nf_conntrack {
6325 atomic_t use ;
6326};
6327#line 105 "include/linux/skbuff.h"
6328struct nf_bridge_info {
6329 atomic_t use ;
6330 struct net_device *physindev ;
6331 struct net_device *physoutdev ;
6332 unsigned int mask ;
6333 unsigned long data[32UL / sizeof(unsigned long )] ;
6334};
6335#line 114 "include/linux/skbuff.h"
6336struct sk_buff_head {
6337 struct sk_buff *next ;
6338 struct sk_buff *prev ;
6339 __u32 qlen ;
6340 spinlock_t lock ;
6341};
6342#line 123
6343struct sk_buff;
6344#line 259 "include/linux/skbuff.h"
6345typedef unsigned int sk_buff_data_t;
6346#line 325
6347struct sec_path;
6348#line 325
6349struct sec_path;
6350#line 325
6351struct sec_path;
6352#line 325 "include/linux/skbuff.h"
6353struct __anonstruct____missing_field_name_284 {
6354 __u16 csum_start ;
6355 __u16 csum_offset ;
6356};
6357#line 325 "include/linux/skbuff.h"
6358union __anonunion____missing_field_name_283 {
6359 __wsum csum ;
6360 struct __anonstruct____missing_field_name_284 __annonCompField42 ;
6361};
6362#line 325 "include/linux/skbuff.h"
6363union __anonunion____missing_field_name_285 {
6364 __u32 mark ;
6365 __u32 dropcount ;
6366};
6367#line 325 "include/linux/skbuff.h"
6368struct sk_buff {
6369 struct sk_buff *next ;
6370 struct sk_buff *prev ;
6371 ktime_t tstamp ;
6372 struct sock *sk ;
6373 struct net_device *dev ;
6374 char cb[48] __attribute__((__aligned__(8))) ;
6375 unsigned long _skb_refdst ;
6376 struct sec_path *sp ;
6377 unsigned int len ;
6378 unsigned int data_len ;
6379 __u16 mac_len ;
6380 __u16 hdr_len ;
6381 union __anonunion____missing_field_name_283 __annonCompField43 ;
6382 __u32 priority ;
6383 __u8 local_df : 1 ;
6384 __u8 cloned : 1 ;
6385 __u8 ip_summed : 2 ;
6386 __u8 nohdr : 1 ;
6387 __u8 nfctinfo : 3 ;
6388 __u8 pkt_type : 3 ;
6389 __u8 fclone : 2 ;
6390 __u8 ipvs_property : 1 ;
6391 __u8 peeked : 1 ;
6392 __u8 nf_trace : 1 ;
6393 __be16 protocol ;
6394 void (*destructor)(struct sk_buff *skb ) ;
6395 struct nf_conntrack *nfct ;
6396 struct sk_buff *nfct_reasm ;
6397 struct nf_bridge_info *nf_bridge ;
6398 int skb_iif ;
6399 __u16 tc_index ;
6400 __u16 tc_verd ;
6401 __u32 rxhash ;
6402 __u16 queue_mapping ;
6403 __u8 ndisc_nodetype : 2 ;
6404 __u8 ooo_okay : 1 ;
6405 dma_cookie_t dma_cookie ;
6406 __u32 secmark ;
6407 union __anonunion____missing_field_name_285 __annonCompField44 ;
6408 __u16 vlan_tci ;
6409 sk_buff_data_t transport_header ;
6410 sk_buff_data_t network_header ;
6411 sk_buff_data_t mac_header ;
6412 sk_buff_data_t tail ;
6413 sk_buff_data_t end ;
6414 unsigned char *head ;
6415 unsigned char *data ;
6416 unsigned int truesize ;
6417 atomic_t users ;
6418};
6419#line 450
6420struct dst_entry;
6421#line 450
6422struct dst_entry;
6423#line 450
6424struct dst_entry;
6425#line 125 "include/linux/netlink.h"
6426struct nlattr {
6427 __u16 nla_len ;
6428 __u16 nla_type ;
6429};
6430#line 153
6431struct net;
6432#line 41 "include/linux/if_link.h"
6433struct rtnl_link_stats64 {
6434 __u64 rx_packets ;
6435 __u64 tx_packets ;
6436 __u64 rx_bytes ;
6437 __u64 tx_bytes ;
6438 __u64 rx_errors ;
6439 __u64 tx_errors ;
6440 __u64 rx_dropped ;
6441 __u64 tx_dropped ;
6442 __u64 multicast ;
6443 __u64 collisions ;
6444 __u64 rx_length_errors ;
6445 __u64 rx_over_errors ;
6446 __u64 rx_crc_errors ;
6447 __u64 rx_frame_errors ;
6448 __u64 rx_fifo_errors ;
6449 __u64 rx_missed_errors ;
6450 __u64 tx_aborted_errors ;
6451 __u64 tx_carrier_errors ;
6452 __u64 tx_fifo_errors ;
6453 __u64 tx_heartbeat_errors ;
6454 __u64 tx_window_errors ;
6455 __u64 rx_compressed ;
6456 __u64 tx_compressed ;
6457};
6458#line 303 "include/linux/if_link.h"
6459struct ifla_vf_info {
6460 __u32 vf ;
6461 __u8 mac[32] ;
6462 __u32 vlan ;
6463 __u32 qos ;
6464 __u32 tx_rate ;
6465};
6466#line 45 "include/linux/miscdevice.h"
6467struct device;
6468#line 23 "include/linux/pm_qos_params.h"
6469struct pm_qos_request_list {
6470 struct plist_node list ;
6471 int pm_qos_class ;
6472};
6473#line 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
6474typedef s32 compat_long_t;
6475#line 196 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
6476typedef u32 compat_uptr_t;
6477#line 206 "include/linux/compat.h"
6478struct compat_robust_list {
6479 compat_uptr_t next ;
6480};
6481#line 210 "include/linux/compat.h"
6482struct compat_robust_list_head {
6483 struct compat_robust_list list ;
6484 compat_long_t futex_offset ;
6485 compat_uptr_t list_op_pending ;
6486};
6487#line 23 "include/linux/ethtool.h"
6488struct ethtool_cmd {
6489 __u32 cmd ;
6490 __u32 supported ;
6491 __u32 advertising ;
6492 __u16 speed ;
6493 __u8 duplex ;
6494 __u8 port ;
6495 __u8 phy_address ;
6496 __u8 transceiver ;
6497 __u8 autoneg ;
6498 __u8 mdio_support ;
6499 __u32 maxtxpkt ;
6500 __u32 maxrxpkt ;
6501 __u16 speed_hi ;
6502 __u8 eth_tp_mdix ;
6503 __u8 reserved2 ;
6504 __u32 lp_advertising ;
6505 __u32 reserved[2] ;
6506};
6507#line 65 "include/linux/ethtool.h"
6508struct ethtool_drvinfo {
6509 __u32 cmd ;
6510 char driver[32] ;
6511 char version[32] ;
6512 char fw_version[32] ;
6513 char bus_info[32] ;
6514 char reserved1[32] ;
6515 char reserved2[12] ;
6516 __u32 n_priv_flags ;
6517 __u32 n_stats ;
6518 __u32 testinfo_len ;
6519 __u32 eedump_len ;
6520 __u32 regdump_len ;
6521};
6522#line 90 "include/linux/ethtool.h"
6523struct ethtool_wolinfo {
6524 __u32 cmd ;
6525 __u32 supported ;
6526 __u32 wolopts ;
6527 __u8 sopass[6] ;
6528};
6529#line 104 "include/linux/ethtool.h"
6530struct ethtool_regs {
6531 __u32 cmd ;
6532 __u32 version ;
6533 __u32 len ;
6534 __u8 data[0] ;
6535};
6536#line 112 "include/linux/ethtool.h"
6537struct ethtool_eeprom {
6538 __u32 cmd ;
6539 __u32 magic ;
6540 __u32 offset ;
6541 __u32 len ;
6542 __u8 data[0] ;
6543};
6544#line 121 "include/linux/ethtool.h"
6545struct ethtool_coalesce {
6546 __u32 cmd ;
6547 __u32 rx_coalesce_usecs ;
6548 __u32 rx_max_coalesced_frames ;
6549 __u32 rx_coalesce_usecs_irq ;
6550 __u32 rx_max_coalesced_frames_irq ;
6551 __u32 tx_coalesce_usecs ;
6552 __u32 tx_max_coalesced_frames ;
6553 __u32 tx_coalesce_usecs_irq ;
6554 __u32 tx_max_coalesced_frames_irq ;
6555 __u32 stats_block_coalesce_usecs ;
6556 __u32 use_adaptive_rx_coalesce ;
6557 __u32 use_adaptive_tx_coalesce ;
6558 __u32 pkt_rate_low ;
6559 __u32 rx_coalesce_usecs_low ;
6560 __u32 rx_max_coalesced_frames_low ;
6561 __u32 tx_coalesce_usecs_low ;
6562 __u32 tx_max_coalesced_frames_low ;
6563 __u32 pkt_rate_high ;
6564 __u32 rx_coalesce_usecs_high ;
6565 __u32 rx_max_coalesced_frames_high ;
6566 __u32 tx_coalesce_usecs_high ;
6567 __u32 tx_max_coalesced_frames_high ;
6568 __u32 rate_sample_interval ;
6569};
6570#line 217 "include/linux/ethtool.h"
6571struct ethtool_ringparam {
6572 __u32 cmd ;
6573 __u32 rx_max_pending ;
6574 __u32 rx_mini_max_pending ;
6575 __u32 rx_jumbo_max_pending ;
6576 __u32 tx_max_pending ;
6577 __u32 rx_pending ;
6578 __u32 rx_mini_pending ;
6579 __u32 rx_jumbo_pending ;
6580 __u32 tx_pending ;
6581};
6582#line 254 "include/linux/ethtool.h"
6583struct ethtool_channels {
6584 __u32 cmd ;
6585 __u32 max_rx ;
6586 __u32 max_tx ;
6587 __u32 max_other ;
6588 __u32 max_combined ;
6589 __u32 rx_count ;
6590 __u32 tx_count ;
6591 __u32 other_count ;
6592 __u32 combined_count ;
6593};
6594#line 267 "include/linux/ethtool.h"
6595struct ethtool_pauseparam {
6596 __u32 cmd ;
6597 __u32 autoneg ;
6598 __u32 rx_pause ;
6599 __u32 tx_pause ;
6600};
6601#line 319 "include/linux/ethtool.h"
6602struct ethtool_test {
6603 __u32 cmd ;
6604 __u32 flags ;
6605 __u32 reserved ;
6606 __u32 len ;
6607 __u64 data[0] ;
6608};
6609#line 328 "include/linux/ethtool.h"
6610struct ethtool_stats {
6611 __u32 cmd ;
6612 __u32 n_stats ;
6613 __u64 data[0] ;
6614};
6615#line 373 "include/linux/ethtool.h"
6616struct ethtool_tcpip4_spec {
6617 __be32 ip4src ;
6618