1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 20 "include/asm-generic/int-ll64.h"
7typedef unsigned char __u8;
8#line 22 "include/asm-generic/int-ll64.h"
9typedef short __s16;
10#line 23 "include/asm-generic/int-ll64.h"
11typedef unsigned short __u16;
12#line 25 "include/asm-generic/int-ll64.h"
13typedef int __s32;
14#line 26 "include/asm-generic/int-ll64.h"
15typedef unsigned int __u32;
16#line 29 "include/asm-generic/int-ll64.h"
17typedef long long __s64;
18#line 30 "include/asm-generic/int-ll64.h"
19typedef unsigned long long __u64;
20#line 43 "include/asm-generic/int-ll64.h"
21typedef unsigned char u8;
22#line 46 "include/asm-generic/int-ll64.h"
23typedef unsigned short u16;
24#line 48 "include/asm-generic/int-ll64.h"
25typedef int s32;
26#line 49 "include/asm-generic/int-ll64.h"
27typedef unsigned int u32;
28#line 51 "include/asm-generic/int-ll64.h"
29typedef long long s64;
30#line 52 "include/asm-generic/int-ll64.h"
31typedef unsigned long long u64;
32#line 11 "include/asm-generic/types.h"
33typedef unsigned short umode_t;
34#line 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
35typedef unsigned int __kernel_mode_t;
36#line 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
37typedef unsigned long __kernel_nlink_t;
38#line 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
39typedef long __kernel_off_t;
40#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
41typedef int __kernel_pid_t;
42#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
43typedef unsigned int __kernel_uid_t;
44#line 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
45typedef unsigned int __kernel_gid_t;
46#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
47typedef unsigned long __kernel_size_t;
48#line 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
49typedef long __kernel_ssize_t;
50#line 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
51typedef long __kernel_time_t;
52#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
53typedef long __kernel_suseconds_t;
54#line 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
55typedef long __kernel_clock_t;
56#line 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
57typedef int __kernel_timer_t;
58#line 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
59typedef int __kernel_clockid_t;
60#line 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
61typedef long long __kernel_loff_t;
62#line 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
63typedef __kernel_uid_t __kernel_uid32_t;
64#line 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
65typedef __kernel_gid_t __kernel_gid32_t;
66#line 21 "include/linux/types.h"
67typedef __u32 __kernel_dev_t;
68#line 24 "include/linux/types.h"
69typedef __kernel_dev_t dev_t;
70#line 26 "include/linux/types.h"
71typedef __kernel_mode_t mode_t;
72#line 27 "include/linux/types.h"
73typedef __kernel_nlink_t nlink_t;
74#line 28 "include/linux/types.h"
75typedef __kernel_off_t off_t;
76#line 29 "include/linux/types.h"
77typedef __kernel_pid_t pid_t;
78#line 34 "include/linux/types.h"
79typedef __kernel_clockid_t clockid_t;
80#line 37 "include/linux/types.h"
81typedef _Bool bool;
82#line 39 "include/linux/types.h"
83typedef __kernel_uid32_t uid_t;
84#line 40 "include/linux/types.h"
85typedef __kernel_gid32_t gid_t;
86#line 53 "include/linux/types.h"
87typedef __kernel_loff_t loff_t;
88#line 62 "include/linux/types.h"
89typedef __kernel_size_t size_t;
90#line 67 "include/linux/types.h"
91typedef __kernel_ssize_t ssize_t;
92#line 77 "include/linux/types.h"
93typedef __kernel_time_t time_t;
94#line 110 "include/linux/types.h"
95typedef __s32 int32_t;
96#line 114 "include/linux/types.h"
97typedef __u8 uint8_t;
98#line 115 "include/linux/types.h"
99typedef __u16 uint16_t;
100#line 116 "include/linux/types.h"
101typedef __u32 uint32_t;
102#line 119 "include/linux/types.h"
103typedef __u64 uint64_t;
104#line 141 "include/linux/types.h"
105typedef unsigned long sector_t;
106#line 142 "include/linux/types.h"
107typedef unsigned long blkcnt_t;
108#line 154 "include/linux/types.h"
109typedef u64 dma_addr_t;
110#line 201 "include/linux/types.h"
111typedef unsigned int gfp_t;
112#line 202 "include/linux/types.h"
113typedef unsigned int fmode_t;
114#line 205 "include/linux/types.h"
115typedef u64 phys_addr_t;
116#line 210 "include/linux/types.h"
117typedef phys_addr_t resource_size_t;
118#line 214 "include/linux/types.h"
119struct __anonstruct_atomic_t_6 {
120 int counter ;
121};
122#line 214 "include/linux/types.h"
123typedef struct __anonstruct_atomic_t_6 atomic_t;
124#line 219 "include/linux/types.h"
125struct __anonstruct_atomic64_t_7 {
126 long counter ;
127};
128#line 219 "include/linux/types.h"
129typedef struct __anonstruct_atomic64_t_7 atomic64_t;
130#line 220 "include/linux/types.h"
131struct list_head {
132 struct list_head *next ;
133 struct list_head *prev ;
134};
135#line 225
136struct hlist_node;
137#line 225
138struct hlist_node;
139#line 225 "include/linux/types.h"
140struct hlist_head {
141 struct hlist_node *first ;
142};
143#line 229 "include/linux/types.h"
144struct hlist_node {
145 struct hlist_node *next ;
146 struct hlist_node **pprev ;
147};
148#line 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
149struct module;
150#line 58
151struct module;
152#line 145 "include/linux/init.h"
153typedef void (*ctor_fn_t)(void);
154#line 48 "include/linux/dynamic_debug.h"
155struct bug_entry {
156 int bug_addr_disp ;
157 int file_disp ;
158 unsigned short line ;
159 unsigned short flags ;
160};
161#line 70 "include/asm-generic/bug.h"
162struct completion;
163#line 70
164struct completion;
165#line 71
166struct pt_regs;
167#line 71
168struct pt_regs;
169#line 321 "include/linux/kernel.h"
170struct pid;
171#line 321
172struct pid;
173#line 671
174struct timespec;
175#line 671
176struct timespec;
177#line 672
178struct compat_timespec;
179#line 672
180struct compat_timespec;
181#line 673 "include/linux/kernel.h"
182struct __anonstruct_futex_9 {
183 u32 *uaddr ;
184 u32 val ;
185 u32 flags ;
186 u32 bitset ;
187 u64 time ;
188 u32 *uaddr2 ;
189};
190#line 673 "include/linux/kernel.h"
191struct __anonstruct_nanosleep_10 {
192 clockid_t clockid ;
193 struct timespec *rmtp ;
194 struct compat_timespec *compat_rmtp ;
195 u64 expires ;
196};
197#line 673
198struct pollfd;
199#line 673
200struct pollfd;
201#line 673 "include/linux/kernel.h"
202struct __anonstruct_poll_11 {
203 struct pollfd *ufds ;
204 int nfds ;
205 int has_timeout ;
206 unsigned long tv_sec ;
207 unsigned long tv_nsec ;
208};
209#line 673 "include/linux/kernel.h"
210union __anonunion_ldv_2052_8 {
211 struct __anonstruct_futex_9 futex ;
212 struct __anonstruct_nanosleep_10 nanosleep ;
213 struct __anonstruct_poll_11 poll ;
214};
215#line 673 "include/linux/kernel.h"
216struct restart_block {
217 long (*fn)(struct restart_block * ) ;
218 union __anonunion_ldv_2052_8 ldv_2052 ;
219};
220#line 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
221struct page;
222#line 59
223struct page;
224#line 21 "include/asm-generic/getorder.h"
225struct task_struct;
226#line 21
227struct task_struct;
228#line 22
229struct exec_domain;
230#line 22
231struct exec_domain;
232#line 23
233struct mm_struct;
234#line 23
235struct mm_struct;
236#line 215 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/segment.h"
237struct pt_regs {
238 unsigned long r15 ;
239 unsigned long r14 ;
240 unsigned long r13 ;
241 unsigned long r12 ;
242 unsigned long bp ;
243 unsigned long bx ;
244 unsigned long r11 ;
245 unsigned long r10 ;
246 unsigned long r9 ;
247 unsigned long r8 ;
248 unsigned long ax ;
249 unsigned long cx ;
250 unsigned long dx ;
251 unsigned long si ;
252 unsigned long di ;
253 unsigned long orig_ax ;
254 unsigned long ip ;
255 unsigned long cs ;
256 unsigned long flags ;
257 unsigned long sp ;
258 unsigned long ss ;
259};
260#line 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
261struct kernel_vm86_regs {
262 struct pt_regs pt ;
263 unsigned short es ;
264 unsigned short __esh ;
265 unsigned short ds ;
266 unsigned short __dsh ;
267 unsigned short fs ;
268 unsigned short __fsh ;
269 unsigned short gs ;
270 unsigned short __gsh ;
271};
272#line 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
273union __anonunion_ldv_2292_12 {
274 struct pt_regs *regs ;
275 struct kernel_vm86_regs *vm86 ;
276};
277#line 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
278struct math_emu_info {
279 long ___orig_eip ;
280 union __anonunion_ldv_2292_12 ldv_2292 ;
281};
282#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"
283typedef unsigned long pgdval_t;
284#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"
285typedef unsigned long pgprotval_t;
286#line 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
287struct pgprot {
288 pgprotval_t pgprot ;
289};
290#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
291typedef struct pgprot pgprot_t;
292#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
293struct __anonstruct_pgd_t_15 {
294 pgdval_t pgd ;
295};
296#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
297typedef struct __anonstruct_pgd_t_15 pgd_t;
298#line 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
299typedef struct page *pgtable_t;
300#line 288
301struct file;
302#line 288
303struct file;
304#line 303
305struct seq_file;
306#line 303
307struct seq_file;
308#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
309struct __anonstruct_ldv_2526_19 {
310 unsigned int a ;
311 unsigned int b ;
312};
313#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
314struct __anonstruct_ldv_2541_20 {
315 u16 limit0 ;
316 u16 base0 ;
317 unsigned char base1 ;
318 unsigned char type : 4 ;
319 unsigned char s : 1 ;
320 unsigned char dpl : 2 ;
321 unsigned char p : 1 ;
322 unsigned char limit : 4 ;
323 unsigned char avl : 1 ;
324 unsigned char l : 1 ;
325 unsigned char d : 1 ;
326 unsigned char g : 1 ;
327 unsigned char base2 ;
328};
329#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
330union __anonunion_ldv_2542_18 {
331 struct __anonstruct_ldv_2526_19 ldv_2526 ;
332 struct __anonstruct_ldv_2541_20 ldv_2541 ;
333};
334#line 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
335struct desc_struct {
336 union __anonunion_ldv_2542_18 ldv_2542 ;
337};
338#line 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
339struct thread_struct;
340#line 122
341struct thread_struct;
342#line 124
343struct cpumask;
344#line 124
345struct cpumask;
346#line 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
347struct arch_spinlock;
348#line 320
349struct arch_spinlock;
350#line 304 "include/linux/bitmap.h"
351struct cpumask {
352 unsigned long bits[64U] ;
353};
354#line 13 "include/linux/cpumask.h"
355typedef struct cpumask cpumask_t;
356#line 622 "include/linux/cpumask.h"
357typedef struct cpumask *cpumask_var_t;
358#line 90 "include/linux/personality.h"
359struct map_segment;
360#line 90
361struct map_segment;
362#line 90 "include/linux/personality.h"
363struct exec_domain {
364 char const *name ;
365 void (*handler)(int , struct pt_regs * ) ;
366 unsigned char pers_low ;
367 unsigned char pers_high ;
368 unsigned long *signal_map ;
369 unsigned long *signal_invmap ;
370 struct map_segment *err_map ;
371 struct map_segment *socktype_map ;
372 struct map_segment *sockopt_map ;
373 struct map_segment *af_map ;
374 struct module *module ;
375 struct exec_domain *next ;
376};
377#line 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
378struct seq_operations;
379#line 145
380struct seq_operations;
381#line 277 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
382struct i387_fsave_struct {
383 u32 cwd ;
384 u32 swd ;
385 u32 twd ;
386 u32 fip ;
387 u32 fcs ;
388 u32 foo ;
389 u32 fos ;
390 u32 st_space[20U] ;
391 u32 status ;
392};
393#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
394struct __anonstruct_ldv_5171_24 {
395 u64 rip ;
396 u64 rdp ;
397};
398#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
399struct __anonstruct_ldv_5177_25 {
400 u32 fip ;
401 u32 fcs ;
402 u32 foo ;
403 u32 fos ;
404};
405#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
406union __anonunion_ldv_5178_23 {
407 struct __anonstruct_ldv_5171_24 ldv_5171 ;
408 struct __anonstruct_ldv_5177_25 ldv_5177 ;
409};
410#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
411union __anonunion_ldv_5187_26 {
412 u32 padding1[12U] ;
413 u32 sw_reserved[12U] ;
414};
415#line 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
416struct i387_fxsave_struct {
417 u16 cwd ;
418 u16 swd ;
419 u16 twd ;
420 u16 fop ;
421 union __anonunion_ldv_5178_23 ldv_5178 ;
422 u32 mxcsr ;
423 u32 mxcsr_mask ;
424 u32 st_space[32U] ;
425 u32 xmm_space[64U] ;
426 u32 padding[12U] ;
427 union __anonunion_ldv_5187_26 ldv_5187 ;
428};
429#line 329 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
430struct i387_soft_struct {
431 u32 cwd ;
432 u32 swd ;
433 u32 twd ;
434 u32 fip ;
435 u32 fcs ;
436 u32 foo ;
437 u32 fos ;
438 u32 st_space[20U] ;
439 u8 ftop ;
440 u8 changed ;
441 u8 lookahead ;
442 u8 no_update ;
443 u8 rm ;
444 u8 alimit ;
445 struct math_emu_info *info ;
446 u32 entry_eip ;
447};
448#line 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
449struct ymmh_struct {
450 u32 ymmh_space[64U] ;
451};
452#line 355 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
453struct xsave_hdr_struct {
454 u64 xstate_bv ;
455 u64 reserved1[2U] ;
456 u64 reserved2[5U] ;
457};
458#line 361 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
459struct xsave_struct {
460 struct i387_fxsave_struct i387 ;
461 struct xsave_hdr_struct xsave_hdr ;
462 struct ymmh_struct ymmh ;
463};
464#line 367 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
465union thread_xstate {
466 struct i387_fsave_struct fsave ;
467 struct i387_fxsave_struct fxsave ;
468 struct i387_soft_struct soft ;
469 struct xsave_struct xsave ;
470};
471#line 375 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
472struct fpu {
473 union thread_xstate *state ;
474};
475#line 421
476struct kmem_cache;
477#line 421
478struct kmem_cache;
479#line 422
480struct perf_event;
481#line 422
482struct perf_event;
483#line 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
484struct thread_struct {
485 struct desc_struct tls_array[3U] ;
486 unsigned long sp0 ;
487 unsigned long sp ;
488 unsigned long usersp ;
489 unsigned short es ;
490 unsigned short ds ;
491 unsigned short fsindex ;
492 unsigned short gsindex ;
493 unsigned long fs ;
494 unsigned long gs ;
495 struct perf_event *ptrace_bps[4U] ;
496 unsigned long debugreg6 ;
497 unsigned long ptrace_dr7 ;
498 unsigned long cr2 ;
499 unsigned long trap_no ;
500 unsigned long error_code ;
501 struct fpu fpu ;
502 unsigned long *io_bitmap_ptr ;
503 unsigned long iopl ;
504 unsigned int io_bitmap_max ;
505};
506#line 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
507struct __anonstruct_mm_segment_t_28 {
508 unsigned long seg ;
509};
510#line 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
511typedef struct __anonstruct_mm_segment_t_28 mm_segment_t;
512#line 23 "include/asm-generic/atomic-long.h"
513typedef atomic64_t atomic_long_t;
514#line 131 "include/asm-generic/atomic-long.h"
515struct thread_info {
516 struct task_struct *task ;
517 struct exec_domain *exec_domain ;
518 __u32 flags ;
519 __u32 status ;
520 __u32 cpu ;
521 int preempt_count ;
522 mm_segment_t addr_limit ;
523 struct restart_block restart_block ;
524 void *sysenter_return ;
525 int uaccess_err ;
526};
527#line 8 "include/linux/bottom_half.h"
528struct arch_spinlock {
529 unsigned int slock ;
530};
531#line 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
532typedef struct arch_spinlock arch_spinlock_t;
533#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
534struct __anonstruct_arch_rwlock_t_29 {
535 unsigned int lock ;
536};
537#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
538typedef struct __anonstruct_arch_rwlock_t_29 arch_rwlock_t;
539#line 17
540struct lockdep_map;
541#line 17
542struct lockdep_map;
543#line 55 "include/linux/debug_locks.h"
544struct stack_trace {
545 unsigned int nr_entries ;
546 unsigned int max_entries ;
547 unsigned long *entries ;
548 int skip ;
549};
550#line 26 "include/linux/stacktrace.h"
551struct lockdep_subclass_key {
552 char __one_byte ;
553};
554#line 53 "include/linux/lockdep.h"
555struct lock_class_key {
556 struct lockdep_subclass_key subkeys[8U] ;
557};
558#line 59 "include/linux/lockdep.h"
559struct lock_class {
560 struct list_head hash_entry ;
561 struct list_head lock_entry ;
562 struct lockdep_subclass_key *key ;
563 unsigned int subclass ;
564 unsigned int dep_gen_id ;
565 unsigned long usage_mask ;
566 struct stack_trace usage_traces[13U] ;
567 struct list_head locks_after ;
568 struct list_head locks_before ;
569 unsigned int version ;
570 unsigned long ops ;
571 char const *name ;
572 int name_version ;
573 unsigned long contention_point[4U] ;
574 unsigned long contending_point[4U] ;
575};
576#line 144 "include/linux/lockdep.h"
577struct lockdep_map {
578 struct lock_class_key *key ;
579 struct lock_class *class_cache[2U] ;
580 char const *name ;
581 int cpu ;
582 unsigned long ip ;
583};
584#line 187 "include/linux/lockdep.h"
585struct held_lock {
586 u64 prev_chain_key ;
587 unsigned long acquire_ip ;
588 struct lockdep_map *instance ;
589 struct lockdep_map *nest_lock ;
590 u64 waittime_stamp ;
591 u64 holdtime_stamp ;
592 unsigned short class_idx : 13 ;
593 unsigned char irq_context : 2 ;
594 unsigned char trylock : 1 ;
595 unsigned char read : 2 ;
596 unsigned char check : 2 ;
597 unsigned char hardirqs_off : 1 ;
598 unsigned short references : 11 ;
599};
600#line 552 "include/linux/lockdep.h"
601struct raw_spinlock {
602 arch_spinlock_t raw_lock ;
603 unsigned int magic ;
604 unsigned int owner_cpu ;
605 void *owner ;
606 struct lockdep_map dep_map ;
607};
608#line 32 "include/linux/spinlock_types.h"
609typedef struct raw_spinlock raw_spinlock_t;
610#line 33 "include/linux/spinlock_types.h"
611struct __anonstruct_ldv_6059_31 {
612 u8 __padding[24U] ;
613 struct lockdep_map dep_map ;
614};
615#line 33 "include/linux/spinlock_types.h"
616union __anonunion_ldv_6060_30 {
617 struct raw_spinlock rlock ;
618 struct __anonstruct_ldv_6059_31 ldv_6059 ;
619};
620#line 33 "include/linux/spinlock_types.h"
621struct spinlock {
622 union __anonunion_ldv_6060_30 ldv_6060 ;
623};
624#line 76 "include/linux/spinlock_types.h"
625typedef struct spinlock spinlock_t;
626#line 23 "include/linux/rwlock_types.h"
627struct __anonstruct_rwlock_t_32 {
628 arch_rwlock_t raw_lock ;
629 unsigned int magic ;
630 unsigned int owner_cpu ;
631 void *owner ;
632 struct lockdep_map dep_map ;
633};
634#line 23 "include/linux/rwlock_types.h"
635typedef struct __anonstruct_rwlock_t_32 rwlock_t;
636#line 110 "include/linux/seqlock.h"
637struct seqcount {
638 unsigned int sequence ;
639};
640#line 121 "include/linux/seqlock.h"
641typedef struct seqcount seqcount_t;
642#line 233 "include/linux/seqlock.h"
643struct timespec {
644 __kernel_time_t tv_sec ;
645 long tv_nsec ;
646};
647#line 18 "include/linux/time.h"
648struct timeval {
649 __kernel_time_t tv_sec ;
650 __kernel_suseconds_t tv_usec ;
651};
652#line 286 "include/linux/time.h"
653struct kstat {
654 u64 ino ;
655 dev_t dev ;
656 umode_t mode ;
657 unsigned int nlink ;
658 uid_t uid ;
659 gid_t gid ;
660 dev_t rdev ;
661 loff_t size ;
662 struct timespec atime ;
663 struct timespec mtime ;
664 struct timespec ctime ;
665 unsigned long blksize ;
666 unsigned long long blocks ;
667};
668#line 49 "include/linux/wait.h"
669struct __wait_queue_head {
670 spinlock_t lock ;
671 struct list_head task_list ;
672};
673#line 54 "include/linux/wait.h"
674typedef struct __wait_queue_head wait_queue_head_t;
675#line 96 "include/linux/nodemask.h"
676struct __anonstruct_nodemask_t_34 {
677 unsigned long bits[16U] ;
678};
679#line 96 "include/linux/nodemask.h"
680typedef struct __anonstruct_nodemask_t_34 nodemask_t;
681#line 640 "include/linux/mmzone.h"
682struct mutex {
683 atomic_t count ;
684 spinlock_t wait_lock ;
685 struct list_head wait_list ;
686 struct task_struct *owner ;
687 char const *name ;
688 void *magic ;
689 struct lockdep_map dep_map ;
690};
691#line 63 "include/linux/mutex.h"
692struct mutex_waiter {
693 struct list_head list ;
694 struct task_struct *task ;
695 void *magic ;
696};
697#line 171
698struct rw_semaphore;
699#line 171
700struct rw_semaphore;
701#line 172 "include/linux/mutex.h"
702struct rw_semaphore {
703 long count ;
704 spinlock_t wait_lock ;
705 struct list_head wait_list ;
706 struct lockdep_map dep_map ;
707};
708#line 170 "include/linux/srcu.h"
709struct notifier_block {
710 int (*notifier_call)(struct notifier_block * , unsigned long , void * ) ;
711 struct notifier_block *next ;
712 int priority ;
713};
714#line 139 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/e820.h"
715struct resource {
716 resource_size_t start ;
717 resource_size_t end ;
718 char const *name ;
719 unsigned long flags ;
720 struct resource *parent ;
721 struct resource *sibling ;
722 struct resource *child ;
723};
724#line 25 "include/linux/ioport.h"
725struct pci_dev;
726#line 25
727struct pci_dev;
728#line 175
729struct device;
730#line 175
731struct device;
732#line 15 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/tsc.h"
733typedef unsigned long long cycles_t;
734#line 312 "include/linux/jiffies.h"
735union ktime {
736 s64 tv64 ;
737};
738#line 59 "include/linux/ktime.h"
739typedef union ktime ktime_t;
740#line 99 "include/linux/debugobjects.h"
741struct tvec_base;
742#line 99
743struct tvec_base;
744#line 100 "include/linux/debugobjects.h"
745struct timer_list {
746 struct list_head entry ;
747 unsigned long expires ;
748 struct tvec_base *base ;
749 void (*function)(unsigned long ) ;
750 unsigned long data ;
751 int slack ;
752 int start_pid ;
753 void *start_site ;
754 char start_comm[16U] ;
755 struct lockdep_map lockdep_map ;
756};
757#line 289 "include/linux/timer.h"
758struct hrtimer;
759#line 289
760struct hrtimer;
761#line 290
762enum hrtimer_restart;
763#line 290
764enum hrtimer_restart;
765#line 290
766enum hrtimer_restart;
767#line 301
768struct workqueue_struct;
769#line 301
770struct workqueue_struct;
771#line 302
772struct work_struct;
773#line 302
774struct work_struct;
775#line 45 "include/linux/workqueue.h"
776struct work_struct {
777 atomic_long_t data ;
778 struct list_head entry ;
779 void (*func)(struct work_struct * ) ;
780 struct lockdep_map lockdep_map ;
781};
782#line 86 "include/linux/workqueue.h"
783struct delayed_work {
784 struct work_struct work ;
785 struct timer_list timer ;
786};
787#line 443 "include/linux/workqueue.h"
788struct completion {
789 unsigned int done ;
790 wait_queue_head_t wait ;
791};
792#line 46 "include/linux/pm.h"
793struct pm_message {
794 int event ;
795};
796#line 52 "include/linux/pm.h"
797typedef struct pm_message pm_message_t;
798#line 53 "include/linux/pm.h"
799struct dev_pm_ops {
800 int (*prepare)(struct device * ) ;
801 void (*complete)(struct device * ) ;
802 int (*suspend)(struct device * ) ;
803 int (*resume)(struct device * ) ;
804 int (*freeze)(struct device * ) ;
805 int (*thaw)(struct device * ) ;
806 int (*poweroff)(struct device * ) ;
807 int (*restore)(struct device * ) ;
808 int (*suspend_noirq)(struct device * ) ;
809 int (*resume_noirq)(struct device * ) ;
810 int (*freeze_noirq)(struct device * ) ;
811 int (*thaw_noirq)(struct device * ) ;
812 int (*poweroff_noirq)(struct device * ) ;
813 int (*restore_noirq)(struct device * ) ;
814 int (*runtime_suspend)(struct device * ) ;
815 int (*runtime_resume)(struct device * ) ;
816 int (*runtime_idle)(struct device * ) ;
817};
818#line 272
819enum rpm_status {
820 RPM_ACTIVE = 0,
821 RPM_RESUMING = 1,
822 RPM_SUSPENDED = 2,
823 RPM_SUSPENDING = 3
824} ;
825#line 279
826enum rpm_request {
827 RPM_REQ_NONE = 0,
828 RPM_REQ_IDLE = 1,
829 RPM_REQ_SUSPEND = 2,
830 RPM_REQ_AUTOSUSPEND = 3,
831 RPM_REQ_RESUME = 4
832} ;
833#line 287
834struct wakeup_source;
835#line 287
836struct wakeup_source;
837#line 288 "include/linux/pm.h"
838struct dev_pm_info {
839 pm_message_t power_state ;
840 unsigned char can_wakeup : 1 ;
841 unsigned char async_suspend : 1 ;
842 bool is_prepared ;
843 bool is_suspended ;
844 spinlock_t lock ;
845 struct list_head entry ;
846 struct completion completion ;
847 struct wakeup_source *wakeup ;
848 struct timer_list suspend_timer ;
849 unsigned long timer_expires ;
850 struct work_struct work ;
851 wait_queue_head_t wait_queue ;
852 atomic_t usage_count ;
853 atomic_t child_count ;
854 unsigned char disable_depth : 3 ;
855 unsigned char ignore_children : 1 ;
856 unsigned char idle_notification : 1 ;
857 unsigned char request_pending : 1 ;
858 unsigned char deferred_resume : 1 ;
859 unsigned char run_wake : 1 ;
860 unsigned char runtime_auto : 1 ;
861 unsigned char no_callbacks : 1 ;
862 unsigned char irq_safe : 1 ;
863 unsigned char use_autosuspend : 1 ;
864 unsigned char timer_autosuspends : 1 ;
865 enum rpm_request request ;
866 enum rpm_status runtime_status ;
867 int runtime_error ;
868 int autosuspend_delay ;
869 unsigned long last_busy ;
870 unsigned long active_jiffies ;
871 unsigned long suspended_jiffies ;
872 unsigned long accounting_timestamp ;
873 void *subsys_data ;
874};
875#line 469 "include/linux/pm.h"
876struct dev_power_domain {
877 struct dev_pm_ops ops ;
878};
879#line 175 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
880struct pci_bus;
881#line 175
882struct pci_bus;
883#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
884struct __anonstruct_mm_context_t_99 {
885 void *ldt ;
886 int size ;
887 unsigned short ia32_compat ;
888 struct mutex lock ;
889 void *vdso ;
890};
891#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
892typedef struct __anonstruct_mm_context_t_99 mm_context_t;
893#line 71 "include/asm-generic/iomap.h"
894struct vm_area_struct;
895#line 71
896struct vm_area_struct;
897#line 53 "include/linux/rcupdate.h"
898struct rcu_head {
899 struct rcu_head *next ;
900 void (*func)(struct rcu_head * ) ;
901};
902#line 841
903struct nsproxy;
904#line 841
905struct nsproxy;
906#line 36 "include/linux/kmod.h"
907struct cred;
908#line 36
909struct cred;
910#line 27 "include/linux/elf.h"
911typedef __u64 Elf64_Addr;
912#line 28 "include/linux/elf.h"
913typedef __u16 Elf64_Half;
914#line 32 "include/linux/elf.h"
915typedef __u32 Elf64_Word;
916#line 33 "include/linux/elf.h"
917typedef __u64 Elf64_Xword;
918#line 202 "include/linux/elf.h"
919struct elf64_sym {
920 Elf64_Word st_name ;
921 unsigned char st_info ;
922 unsigned char st_other ;
923 Elf64_Half st_shndx ;
924 Elf64_Addr st_value ;
925 Elf64_Xword st_size ;
926};
927#line 210 "include/linux/elf.h"
928typedef struct elf64_sym Elf64_Sym;
929#line 444
930struct sock;
931#line 444
932struct sock;
933#line 445
934struct kobject;
935#line 445
936struct kobject;
937#line 446
938enum kobj_ns_type {
939 KOBJ_NS_TYPE_NONE = 0,
940 KOBJ_NS_TYPE_NET = 1,
941 KOBJ_NS_TYPES = 2
942} ;
943#line 452 "include/linux/elf.h"
944struct kobj_ns_type_operations {
945 enum kobj_ns_type type ;
946 void *(*grab_current_ns)(void) ;
947 void const *(*netlink_ns)(struct sock * ) ;
948 void const *(*initial_ns)(void) ;
949 void (*drop_ns)(void * ) ;
950};
951#line 57 "include/linux/kobject_ns.h"
952struct attribute {
953 char const *name ;
954 mode_t mode ;
955 struct lock_class_key *key ;
956 struct lock_class_key skey ;
957};
958#line 33 "include/linux/sysfs.h"
959struct attribute_group {
960 char const *name ;
961 mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
962 struct attribute **attrs ;
963};
964#line 62 "include/linux/sysfs.h"
965struct bin_attribute {
966 struct attribute attr ;
967 size_t size ;
968 void *private ;
969 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
970 loff_t , size_t ) ;
971 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
972 loff_t , size_t ) ;
973 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
974};
975#line 98 "include/linux/sysfs.h"
976struct sysfs_ops {
977 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
978 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
979};
980#line 116
981struct sysfs_dirent;
982#line 116
983struct sysfs_dirent;
984#line 181 "include/linux/sysfs.h"
985struct kref {
986 atomic_t refcount ;
987};
988#line 49 "include/linux/kobject.h"
989struct kset;
990#line 49
991struct kset;
992#line 49
993struct kobj_type;
994#line 49
995struct kobj_type;
996#line 49 "include/linux/kobject.h"
997struct kobject {
998 char const *name ;
999 struct list_head entry ;
1000 struct kobject *parent ;
1001 struct kset *kset ;
1002 struct kobj_type *ktype ;
1003 struct sysfs_dirent *sd ;
1004 struct kref kref ;
1005 unsigned char state_initialized : 1 ;
1006 unsigned char state_in_sysfs : 1 ;
1007 unsigned char state_add_uevent_sent : 1 ;
1008 unsigned char state_remove_uevent_sent : 1 ;
1009 unsigned char uevent_suppress : 1 ;
1010};
1011#line 109 "include/linux/kobject.h"
1012struct kobj_type {
1013 void (*release)(struct kobject * ) ;
1014 struct sysfs_ops const *sysfs_ops ;
1015 struct attribute **default_attrs ;
1016 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
1017 void const *(*namespace)(struct kobject * ) ;
1018};
1019#line 117 "include/linux/kobject.h"
1020struct kobj_uevent_env {
1021 char *envp[32U] ;
1022 int envp_idx ;
1023 char buf[2048U] ;
1024 int buflen ;
1025};
1026#line 124 "include/linux/kobject.h"
1027struct kset_uevent_ops {
1028 int (* const filter)(struct kset * , struct kobject * ) ;
1029 char const *(* const name)(struct kset * , struct kobject * ) ;
1030 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
1031};
1032#line 141 "include/linux/kobject.h"
1033struct kset {
1034 struct list_head list ;
1035 spinlock_t list_lock ;
1036 struct kobject kobj ;
1037 struct kset_uevent_ops const *uevent_ops ;
1038};
1039#line 219
1040struct kernel_param;
1041#line 219
1042struct kernel_param;
1043#line 220 "include/linux/kobject.h"
1044struct kernel_param_ops {
1045 int (*set)(char const * , struct kernel_param const * ) ;
1046 int (*get)(char * , struct kernel_param const * ) ;
1047 void (*free)(void * ) ;
1048};
1049#line 44 "include/linux/moduleparam.h"
1050struct kparam_string;
1051#line 44
1052struct kparam_string;
1053#line 44
1054struct kparam_array;
1055#line 44
1056struct kparam_array;
1057#line 44 "include/linux/moduleparam.h"
1058union __anonunion_ldv_12924_129 {
1059 void *arg ;
1060 struct kparam_string const *str ;
1061 struct kparam_array const *arr ;
1062};
1063#line 44 "include/linux/moduleparam.h"
1064struct kernel_param {
1065 char const *name ;
1066 struct kernel_param_ops const *ops ;
1067 u16 perm ;
1068 u16 flags ;
1069 union __anonunion_ldv_12924_129 ldv_12924 ;
1070};
1071#line 59 "include/linux/moduleparam.h"
1072struct kparam_string {
1073 unsigned int maxlen ;
1074 char *string ;
1075};
1076#line 65 "include/linux/moduleparam.h"
1077struct kparam_array {
1078 unsigned int max ;
1079 unsigned int elemsize ;
1080 unsigned int *num ;
1081 struct kernel_param_ops const *ops ;
1082 void *elem ;
1083};
1084#line 404 "include/linux/moduleparam.h"
1085struct jump_label_key {
1086 atomic_t enabled ;
1087};
1088#line 99 "include/linux/jump_label.h"
1089struct tracepoint;
1090#line 99
1091struct tracepoint;
1092#line 100 "include/linux/jump_label.h"
1093struct tracepoint_func {
1094 void *func ;
1095 void *data ;
1096};
1097#line 29 "include/linux/tracepoint.h"
1098struct tracepoint {
1099 char const *name ;
1100 struct jump_label_key key ;
1101 void (*regfunc)(void) ;
1102 void (*unregfunc)(void) ;
1103 struct tracepoint_func *funcs ;
1104};
1105#line 84 "include/linux/tracepoint.h"
1106struct mod_arch_specific {
1107
1108};
1109#line 127 "include/trace/events/module.h"
1110struct kernel_symbol {
1111 unsigned long value ;
1112 char const *name ;
1113};
1114#line 48 "include/linux/module.h"
1115struct module_attribute {
1116 struct attribute attr ;
1117 ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
1118 ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
1119 size_t ) ;
1120 void (*setup)(struct module * , char const * ) ;
1121 int (*test)(struct module * ) ;
1122 void (*free)(struct module * ) ;
1123};
1124#line 68
1125struct module_param_attrs;
1126#line 68
1127struct module_param_attrs;
1128#line 68 "include/linux/module.h"
1129struct module_kobject {
1130 struct kobject kobj ;
1131 struct module *mod ;
1132 struct kobject *drivers_dir ;
1133 struct module_param_attrs *mp ;
1134};
1135#line 81
1136struct exception_table_entry;
1137#line 81
1138struct exception_table_entry;
1139#line 218
1140enum module_state {
1141 MODULE_STATE_LIVE = 0,
1142 MODULE_STATE_COMING = 1,
1143 MODULE_STATE_GOING = 2
1144} ;
1145#line 224 "include/linux/module.h"
1146struct module_ref {
1147 unsigned int incs ;
1148 unsigned int decs ;
1149};
1150#line 418
1151struct module_sect_attrs;
1152#line 418
1153struct module_sect_attrs;
1154#line 418
1155struct module_notes_attrs;
1156#line 418
1157struct module_notes_attrs;
1158#line 418
1159struct ftrace_event_call;
1160#line 418
1161struct ftrace_event_call;
1162#line 418 "include/linux/module.h"
1163struct module {
1164 enum module_state state ;
1165 struct list_head list ;
1166 char name[56U] ;
1167 struct module_kobject mkobj ;
1168 struct module_attribute *modinfo_attrs ;
1169 char const *version ;
1170 char const *srcversion ;
1171 struct kobject *holders_dir ;
1172 struct kernel_symbol const *syms ;
1173 unsigned long const *crcs ;
1174 unsigned int num_syms ;
1175 struct kernel_param *kp ;
1176 unsigned int num_kp ;
1177 unsigned int num_gpl_syms ;
1178 struct kernel_symbol const *gpl_syms ;
1179 unsigned long const *gpl_crcs ;
1180 struct kernel_symbol const *unused_syms ;
1181 unsigned long const *unused_crcs ;
1182 unsigned int num_unused_syms ;
1183 unsigned int num_unused_gpl_syms ;
1184 struct kernel_symbol const *unused_gpl_syms ;
1185 unsigned long const *unused_gpl_crcs ;
1186 struct kernel_symbol const *gpl_future_syms ;
1187 unsigned long const *gpl_future_crcs ;
1188 unsigned int num_gpl_future_syms ;
1189 unsigned int num_exentries ;
1190 struct exception_table_entry *extable ;
1191 int (*init)(void) ;
1192 void *module_init ;
1193 void *module_core ;
1194 unsigned int init_size ;
1195 unsigned int core_size ;
1196 unsigned int init_text_size ;
1197 unsigned int core_text_size ;
1198 unsigned int init_ro_size ;
1199 unsigned int core_ro_size ;
1200 struct mod_arch_specific arch ;
1201 unsigned int taints ;
1202 unsigned int num_bugs ;
1203 struct list_head bug_list ;
1204 struct bug_entry *bug_table ;
1205 Elf64_Sym *symtab ;
1206 Elf64_Sym *core_symtab ;
1207 unsigned int num_symtab ;
1208 unsigned int core_num_syms ;
1209 char *strtab ;
1210 char *core_strtab ;
1211 struct module_sect_attrs *sect_attrs ;
1212 struct module_notes_attrs *notes_attrs ;
1213 char *args ;
1214 void *percpu ;
1215 unsigned int percpu_size ;
1216 unsigned int num_tracepoints ;
1217 struct tracepoint * const *tracepoints_ptrs ;
1218 unsigned int num_trace_bprintk_fmt ;
1219 char const **trace_bprintk_fmt_start ;
1220 struct ftrace_event_call **trace_events ;
1221 unsigned int num_trace_events ;
1222 unsigned int num_ftrace_callsites ;
1223 unsigned long *ftrace_callsites ;
1224 struct list_head source_list ;
1225 struct list_head target_list ;
1226 struct task_struct *waiter ;
1227 void (*exit)(void) ;
1228 struct module_ref *refptr ;
1229 ctor_fn_t (**ctors)(void) ;
1230 unsigned int num_ctors ;
1231};
1232#line 8 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_drv.c.p"
1233struct klist_node;
1234#line 8
1235struct klist_node;
1236#line 37 "include/linux/klist.h"
1237struct klist_node {
1238 void *n_klist ;
1239 struct list_head n_node ;
1240 struct kref n_ref ;
1241};
1242#line 67
1243struct dma_map_ops;
1244#line 67
1245struct dma_map_ops;
1246#line 67 "include/linux/klist.h"
1247struct dev_archdata {
1248 void *acpi_handle ;
1249 struct dma_map_ops *dma_ops ;
1250 void *iommu ;
1251};
1252#line 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1253struct pdev_archdata {
1254
1255};
1256#line 17
1257struct device_private;
1258#line 17
1259struct device_private;
1260#line 18
1261struct device_driver;
1262#line 18
1263struct device_driver;
1264#line 19
1265struct driver_private;
1266#line 19
1267struct driver_private;
1268#line 20
1269struct class;
1270#line 20
1271struct class;
1272#line 21
1273struct subsys_private;
1274#line 21
1275struct subsys_private;
1276#line 22
1277struct bus_type;
1278#line 22
1279struct bus_type;
1280#line 23
1281struct device_node;
1282#line 23
1283struct device_node;
1284#line 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
1285struct bus_attribute {
1286 struct attribute attr ;
1287 ssize_t (*show)(struct bus_type * , char * ) ;
1288 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
1289};
1290#line 49 "include/linux/device.h"
1291struct device_attribute;
1292#line 49
1293struct device_attribute;
1294#line 49
1295struct driver_attribute;
1296#line 49
1297struct driver_attribute;
1298#line 49 "include/linux/device.h"
1299struct bus_type {
1300 char const *name ;
1301 struct bus_attribute *bus_attrs ;
1302 struct device_attribute *dev_attrs ;
1303 struct driver_attribute *drv_attrs ;
1304 int (*match)(struct device * , struct device_driver * ) ;
1305 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1306 int (*probe)(struct device * ) ;
1307 int (*remove)(struct device * ) ;
1308 void (*shutdown)(struct device * ) ;
1309 int (*suspend)(struct device * , pm_message_t ) ;
1310 int (*resume)(struct device * ) ;
1311 struct dev_pm_ops const *pm ;
1312 struct subsys_private *p ;
1313};
1314#line 153
1315struct of_device_id;
1316#line 153
1317struct of_device_id;
1318#line 153 "include/linux/device.h"
1319struct device_driver {
1320 char const *name ;
1321 struct bus_type *bus ;
1322 struct module *owner ;
1323 char const *mod_name ;
1324 bool suppress_bind_attrs ;
1325 struct of_device_id const *of_match_table ;
1326 int (*probe)(struct device * ) ;
1327 int (*remove)(struct device * ) ;
1328 void (*shutdown)(struct device * ) ;
1329 int (*suspend)(struct device * , pm_message_t ) ;
1330 int (*resume)(struct device * ) ;
1331 struct attribute_group const **groups ;
1332 struct dev_pm_ops const *pm ;
1333 struct driver_private *p ;
1334};
1335#line 218 "include/linux/device.h"
1336struct driver_attribute {
1337 struct attribute attr ;
1338 ssize_t (*show)(struct device_driver * , char * ) ;
1339 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
1340};
1341#line 248
1342struct class_attribute;
1343#line 248
1344struct class_attribute;
1345#line 248 "include/linux/device.h"
1346struct class {
1347 char const *name ;
1348 struct module *owner ;
1349 struct class_attribute *class_attrs ;
1350 struct device_attribute *dev_attrs ;
1351 struct bin_attribute *dev_bin_attrs ;
1352 struct kobject *dev_kobj ;
1353 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1354 char *(*devnode)(struct device * , mode_t * ) ;
1355 void (*class_release)(struct class * ) ;
1356 void (*dev_release)(struct device * ) ;
1357 int (*suspend)(struct device * , pm_message_t ) ;
1358 int (*resume)(struct device * ) ;
1359 struct kobj_ns_type_operations const *ns_type ;
1360 void const *(*namespace)(struct device * ) ;
1361 struct dev_pm_ops const *pm ;
1362 struct subsys_private *p ;
1363};
1364#line 305
1365struct device_type;
1366#line 305
1367struct device_type;
1368#line 344 "include/linux/device.h"
1369struct class_attribute {
1370 struct attribute attr ;
1371 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1372 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
1373};
1374#line 395 "include/linux/device.h"
1375struct device_type {
1376 char const *name ;
1377 struct attribute_group const **groups ;
1378 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1379 char *(*devnode)(struct device * , mode_t * ) ;
1380 void (*release)(struct device * ) ;
1381 struct dev_pm_ops const *pm ;
1382};
1383#line 422 "include/linux/device.h"
1384struct device_attribute {
1385 struct attribute attr ;
1386 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1387 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
1388 size_t ) ;
1389};
1390#line 483 "include/linux/device.h"
1391struct device_dma_parameters {
1392 unsigned int max_segment_size ;
1393 unsigned long segment_boundary_mask ;
1394};
1395#line 492
1396struct dma_coherent_mem;
1397#line 492
1398struct dma_coherent_mem;
1399#line 492 "include/linux/device.h"
1400struct device {
1401 struct device *parent ;
1402 struct device_private *p ;
1403 struct kobject kobj ;
1404 char const *init_name ;
1405 struct device_type const *type ;
1406 struct mutex mutex ;
1407 struct bus_type *bus ;
1408 struct device_driver *driver ;
1409 void *platform_data ;
1410 struct dev_pm_info power ;
1411 struct dev_power_domain *pwr_domain ;
1412 int numa_node ;
1413 u64 *dma_mask ;
1414 u64 coherent_dma_mask ;
1415 struct device_dma_parameters *dma_parms ;
1416 struct list_head dma_pools ;
1417 struct dma_coherent_mem *dma_mem ;
1418 struct dev_archdata archdata ;
1419 struct device_node *of_node ;
1420 dev_t devt ;
1421 spinlock_t devres_lock ;
1422 struct list_head devres_head ;
1423 struct klist_node knode_class ;
1424 struct class *class ;
1425 struct attribute_group const **groups ;
1426 void (*release)(struct device * ) ;
1427};
1428#line 604 "include/linux/device.h"
1429struct wakeup_source {
1430 char *name ;
1431 struct list_head entry ;
1432 spinlock_t lock ;
1433 struct timer_list timer ;
1434 unsigned long timer_expires ;
1435 ktime_t total_time ;
1436 ktime_t max_time ;
1437 ktime_t last_time ;
1438 unsigned long event_count ;
1439 unsigned long active_count ;
1440 unsigned long relax_count ;
1441 unsigned long hit_count ;
1442 unsigned char active : 1 ;
1443};
1444#line 903
1445struct file_operations;
1446#line 903
1447struct file_operations;
1448#line 63 "include/linux/miscdevice.h"
1449struct block_device;
1450#line 63
1451struct block_device;
1452#line 92 "include/linux/bit_spinlock.h"
1453struct hlist_bl_node;
1454#line 92
1455struct hlist_bl_node;
1456#line 92 "include/linux/bit_spinlock.h"
1457struct hlist_bl_head {
1458 struct hlist_bl_node *first ;
1459};
1460#line 36 "include/linux/list_bl.h"
1461struct hlist_bl_node {
1462 struct hlist_bl_node *next ;
1463 struct hlist_bl_node **pprev ;
1464};
1465#line 114 "include/linux/rculist_bl.h"
1466struct nameidata;
1467#line 114
1468struct nameidata;
1469#line 115
1470struct path;
1471#line 115
1472struct path;
1473#line 116
1474struct vfsmount;
1475#line 116
1476struct vfsmount;
1477#line 117 "include/linux/rculist_bl.h"
1478struct qstr {
1479 unsigned int hash ;
1480 unsigned int len ;
1481 unsigned char const *name ;
1482};
1483#line 100 "include/linux/dcache.h"
1484struct inode;
1485#line 100
1486struct inode;
1487#line 100
1488struct dentry_operations;
1489#line 100
1490struct dentry_operations;
1491#line 100
1492struct super_block;
1493#line 100
1494struct super_block;
1495#line 100 "include/linux/dcache.h"
1496union __anonunion_d_u_130 {
1497 struct list_head d_child ;
1498 struct rcu_head d_rcu ;
1499};
1500#line 100 "include/linux/dcache.h"
1501struct dentry {
1502 unsigned int d_flags ;
1503 seqcount_t d_seq ;
1504 struct hlist_bl_node d_hash ;
1505 struct dentry *d_parent ;
1506 struct qstr d_name ;
1507 struct inode *d_inode ;
1508 unsigned char d_iname[32U] ;
1509 unsigned int d_count ;
1510 spinlock_t d_lock ;
1511 struct dentry_operations const *d_op ;
1512 struct super_block *d_sb ;
1513 unsigned long d_time ;
1514 void *d_fsdata ;
1515 struct list_head d_lru ;
1516 union __anonunion_d_u_130 d_u ;
1517 struct list_head d_subdirs ;
1518 struct list_head d_alias ;
1519};
1520#line 151 "include/linux/dcache.h"
1521struct dentry_operations {
1522 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1523 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1524 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1525 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1526 int (*d_delete)(struct dentry const * ) ;
1527 void (*d_release)(struct dentry * ) ;
1528 void (*d_iput)(struct dentry * , struct inode * ) ;
1529 char *(*d_dname)(struct dentry * , char * , int ) ;
1530 struct vfsmount *(*d_automount)(struct path * ) ;
1531 int (*d_manage)(struct dentry * , bool ) ;
1532};
1533#line 422 "include/linux/dcache.h"
1534struct path {
1535 struct vfsmount *mnt ;
1536 struct dentry *dentry ;
1537};
1538#line 51 "include/linux/radix-tree.h"
1539struct radix_tree_node;
1540#line 51
1541struct radix_tree_node;
1542#line 51 "include/linux/radix-tree.h"
1543struct radix_tree_root {
1544 unsigned int height ;
1545 gfp_t gfp_mask ;
1546 struct radix_tree_node *rnode ;
1547};
1548#line 229
1549struct prio_tree_node;
1550#line 229
1551struct prio_tree_node;
1552#line 229 "include/linux/radix-tree.h"
1553struct raw_prio_tree_node {
1554 struct prio_tree_node *left ;
1555 struct prio_tree_node *right ;
1556 struct prio_tree_node *parent ;
1557};
1558#line 19 "include/linux/prio_tree.h"
1559struct prio_tree_node {
1560 struct prio_tree_node *left ;
1561 struct prio_tree_node *right ;
1562 struct prio_tree_node *parent ;
1563 unsigned long start ;
1564 unsigned long last ;
1565};
1566#line 27 "include/linux/prio_tree.h"
1567struct prio_tree_root {
1568 struct prio_tree_node *prio_tree_node ;
1569 unsigned short index_bits ;
1570 unsigned short raw ;
1571};
1572#line 111
1573enum pid_type {
1574 PIDTYPE_PID = 0,
1575 PIDTYPE_PGID = 1,
1576 PIDTYPE_SID = 2,
1577 PIDTYPE_MAX = 3
1578} ;
1579#line 118
1580struct pid_namespace;
1581#line 118
1582struct pid_namespace;
1583#line 118 "include/linux/prio_tree.h"
1584struct upid {
1585 int nr ;
1586 struct pid_namespace *ns ;
1587 struct hlist_node pid_chain ;
1588};
1589#line 56 "include/linux/pid.h"
1590struct pid {
1591 atomic_t count ;
1592 unsigned int level ;
1593 struct hlist_head tasks[3U] ;
1594 struct rcu_head rcu ;
1595 struct upid numbers[1U] ;
1596};
1597#line 68 "include/linux/pid.h"
1598struct pid_link {
1599 struct hlist_node node ;
1600 struct pid *pid ;
1601};
1602#line 93 "include/linux/capability.h"
1603struct kernel_cap_struct {
1604 __u32 cap[2U] ;
1605};
1606#line 96 "include/linux/capability.h"
1607typedef struct kernel_cap_struct kernel_cap_t;
1608#line 104
1609struct user_namespace;
1610#line 104
1611struct user_namespace;
1612#line 45 "include/linux/semaphore.h"
1613struct fiemap_extent {
1614 __u64 fe_logical ;
1615 __u64 fe_physical ;
1616 __u64 fe_length ;
1617 __u64 fe_reserved64[2U] ;
1618 __u32 fe_flags ;
1619 __u32 fe_reserved[3U] ;
1620};
1621#line 38 "include/linux/fiemap.h"
1622struct export_operations;
1623#line 38
1624struct export_operations;
1625#line 40
1626struct iovec;
1627#line 40
1628struct iovec;
1629#line 41
1630struct kiocb;
1631#line 41
1632struct kiocb;
1633#line 42
1634struct pipe_inode_info;
1635#line 42
1636struct pipe_inode_info;
1637#line 43
1638struct poll_table_struct;
1639#line 43
1640struct poll_table_struct;
1641#line 44
1642struct kstatfs;
1643#line 44
1644struct kstatfs;
1645#line 426 "include/linux/fs.h"
1646struct iattr {
1647 unsigned int ia_valid ;
1648 umode_t ia_mode ;
1649 uid_t ia_uid ;
1650 gid_t ia_gid ;
1651 loff_t ia_size ;
1652 struct timespec ia_atime ;
1653 struct timespec ia_mtime ;
1654 struct timespec ia_ctime ;
1655 struct file *ia_file ;
1656};
1657#line 119 "include/linux/quota.h"
1658struct if_dqinfo {
1659 __u64 dqi_bgrace ;
1660 __u64 dqi_igrace ;
1661 __u32 dqi_flags ;
1662 __u32 dqi_valid ;
1663};
1664#line 176 "include/linux/percpu_counter.h"
1665struct fs_disk_quota {
1666 __s8 d_version ;
1667 __s8 d_flags ;
1668 __u16 d_fieldmask ;
1669 __u32 d_id ;
1670 __u64 d_blk_hardlimit ;
1671 __u64 d_blk_softlimit ;
1672 __u64 d_ino_hardlimit ;
1673 __u64 d_ino_softlimit ;
1674 __u64 d_bcount ;
1675 __u64 d_icount ;
1676 __s32 d_itimer ;
1677 __s32 d_btimer ;
1678 __u16 d_iwarns ;
1679 __u16 d_bwarns ;
1680 __s32 d_padding2 ;
1681 __u64 d_rtb_hardlimit ;
1682 __u64 d_rtb_softlimit ;
1683 __u64 d_rtbcount ;
1684 __s32 d_rtbtimer ;
1685 __u16 d_rtbwarns ;
1686 __s16 d_padding3 ;
1687 char d_padding4[8U] ;
1688};
1689#line 75 "include/linux/dqblk_xfs.h"
1690struct fs_qfilestat {
1691 __u64 qfs_ino ;
1692 __u64 qfs_nblks ;
1693 __u32 qfs_nextents ;
1694};
1695#line 150 "include/linux/dqblk_xfs.h"
1696typedef struct fs_qfilestat fs_qfilestat_t;
1697#line 151 "include/linux/dqblk_xfs.h"
1698struct fs_quota_stat {
1699 __s8 qs_version ;
1700 __u16 qs_flags ;
1701 __s8 qs_pad ;
1702 fs_qfilestat_t qs_uquota ;
1703 fs_qfilestat_t qs_gquota ;
1704 __u32 qs_incoredqs ;
1705 __s32 qs_btimelimit ;
1706 __s32 qs_itimelimit ;
1707 __s32 qs_rtbtimelimit ;
1708 __u16 qs_bwarnlimit ;
1709 __u16 qs_iwarnlimit ;
1710};
1711#line 165
1712struct dquot;
1713#line 165
1714struct dquot;
1715#line 185 "include/linux/quota.h"
1716typedef __kernel_uid32_t qid_t;
1717#line 186 "include/linux/quota.h"
1718typedef long long qsize_t;
1719#line 189 "include/linux/quota.h"
1720struct mem_dqblk {
1721 qsize_t dqb_bhardlimit ;
1722 qsize_t dqb_bsoftlimit ;
1723 qsize_t dqb_curspace ;
1724 qsize_t dqb_rsvspace ;
1725 qsize_t dqb_ihardlimit ;
1726 qsize_t dqb_isoftlimit ;
1727 qsize_t dqb_curinodes ;
1728 time_t dqb_btime ;
1729 time_t dqb_itime ;
1730};
1731#line 211
1732struct quota_format_type;
1733#line 211
1734struct quota_format_type;
1735#line 212 "include/linux/quota.h"
1736struct mem_dqinfo {
1737 struct quota_format_type *dqi_format ;
1738 int dqi_fmt_id ;
1739 struct list_head dqi_dirty_list ;
1740 unsigned long dqi_flags ;
1741 unsigned int dqi_bgrace ;
1742 unsigned int dqi_igrace ;
1743 qsize_t dqi_maxblimit ;
1744 qsize_t dqi_maxilimit ;
1745 void *dqi_priv ;
1746};
1747#line 271 "include/linux/quota.h"
1748struct dquot {
1749 struct hlist_node dq_hash ;
1750 struct list_head dq_inuse ;
1751 struct list_head dq_free ;
1752 struct list_head dq_dirty ;
1753 struct mutex dq_lock ;
1754 atomic_t dq_count ;
1755 wait_queue_head_t dq_wait_unused ;
1756 struct super_block *dq_sb ;
1757 unsigned int dq_id ;
1758 loff_t dq_off ;
1759 unsigned long dq_flags ;
1760 short dq_type ;
1761 struct mem_dqblk dq_dqb ;
1762};
1763#line 299 "include/linux/quota.h"
1764struct quota_format_ops {
1765 int (*check_quota_file)(struct super_block * , int ) ;
1766 int (*read_file_info)(struct super_block * , int ) ;
1767 int (*write_file_info)(struct super_block * , int ) ;
1768 int (*free_file_info)(struct super_block * , int ) ;
1769 int (*read_dqblk)(struct dquot * ) ;
1770 int (*commit_dqblk)(struct dquot * ) ;
1771 int (*release_dqblk)(struct dquot * ) ;
1772};
1773#line 310 "include/linux/quota.h"
1774struct dquot_operations {
1775 int (*write_dquot)(struct dquot * ) ;
1776 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1777 void (*destroy_dquot)(struct dquot * ) ;
1778 int (*acquire_dquot)(struct dquot * ) ;
1779 int (*release_dquot)(struct dquot * ) ;
1780 int (*mark_dirty)(struct dquot * ) ;
1781 int (*write_info)(struct super_block * , int ) ;
1782 qsize_t *(*get_reserved_space)(struct inode * ) ;
1783};
1784#line 324 "include/linux/quota.h"
1785struct quotactl_ops {
1786 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1787 int (*quota_on_meta)(struct super_block * , int , int ) ;
1788 int (*quota_off)(struct super_block * , int ) ;
1789 int (*quota_sync)(struct super_block * , int , int ) ;
1790 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1791 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1792 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1793 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1794 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1795 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1796};
1797#line 340 "include/linux/quota.h"
1798struct quota_format_type {
1799 int qf_fmt_id ;
1800 struct quota_format_ops const *qf_ops ;
1801 struct module *qf_owner ;
1802 struct quota_format_type *qf_next ;
1803};
1804#line 386 "include/linux/quota.h"
1805struct quota_info {
1806 unsigned int flags ;
1807 struct mutex dqio_mutex ;
1808 struct mutex dqonoff_mutex ;
1809 struct rw_semaphore dqptr_sem ;
1810 struct inode *files[2U] ;
1811 struct mem_dqinfo info[2U] ;
1812 struct quota_format_ops const *ops[2U] ;
1813};
1814#line 417
1815struct address_space;
1816#line 417
1817struct address_space;
1818#line 418
1819struct writeback_control;
1820#line 418
1821struct writeback_control;
1822#line 576 "include/linux/fs.h"
1823union __anonunion_arg_133 {
1824 char *buf ;
1825 void *data ;
1826};
1827#line 576 "include/linux/fs.h"
1828struct __anonstruct_read_descriptor_t_132 {
1829 size_t written ;
1830 size_t count ;
1831 union __anonunion_arg_133 arg ;
1832 int error ;
1833};
1834#line 576 "include/linux/fs.h"
1835typedef struct __anonstruct_read_descriptor_t_132 read_descriptor_t;
1836#line 579 "include/linux/fs.h"
1837struct address_space_operations {
1838 int (*writepage)(struct page * , struct writeback_control * ) ;
1839 int (*readpage)(struct file * , struct page * ) ;
1840 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1841 int (*set_page_dirty)(struct page * ) ;
1842 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
1843 unsigned int ) ;
1844 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
1845 unsigned int , struct page ** , void ** ) ;
1846 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
1847 unsigned int , struct page * , void * ) ;
1848 sector_t (*bmap)(struct address_space * , sector_t ) ;
1849 void (*invalidatepage)(struct page * , unsigned long ) ;
1850 int (*releasepage)(struct page * , gfp_t ) ;
1851 void (*freepage)(struct page * ) ;
1852 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
1853 unsigned long ) ;
1854 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1855 int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
1856 int (*launder_page)(struct page * ) ;
1857 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1858 int (*error_remove_page)(struct address_space * , struct page * ) ;
1859};
1860#line 630
1861struct backing_dev_info;
1862#line 630
1863struct backing_dev_info;
1864#line 631 "include/linux/fs.h"
1865struct address_space {
1866 struct inode *host ;
1867 struct radix_tree_root page_tree ;
1868 spinlock_t tree_lock ;
1869 unsigned int i_mmap_writable ;
1870 struct prio_tree_root i_mmap ;
1871 struct list_head i_mmap_nonlinear ;
1872 struct mutex i_mmap_mutex ;
1873 unsigned long nrpages ;
1874 unsigned long writeback_index ;
1875 struct address_space_operations const *a_ops ;
1876 unsigned long flags ;
1877 struct backing_dev_info *backing_dev_info ;
1878 spinlock_t private_lock ;
1879 struct list_head private_list ;
1880 struct address_space *assoc_mapping ;
1881};
1882#line 652
1883struct hd_struct;
1884#line 652
1885struct hd_struct;
1886#line 652
1887struct gendisk;
1888#line 652
1889struct gendisk;
1890#line 652 "include/linux/fs.h"
1891struct block_device {
1892 dev_t bd_dev ;
1893 int bd_openers ;
1894 struct inode *bd_inode ;
1895 struct super_block *bd_super ;
1896 struct mutex bd_mutex ;
1897 struct list_head bd_inodes ;
1898 void *bd_claiming ;
1899 void *bd_holder ;
1900 int bd_holders ;
1901 bool bd_write_holder ;
1902 struct list_head bd_holder_disks ;
1903 struct block_device *bd_contains ;
1904 unsigned int bd_block_size ;
1905 struct hd_struct *bd_part ;
1906 unsigned int bd_part_count ;
1907 int bd_invalidated ;
1908 struct gendisk *bd_disk ;
1909 struct list_head bd_list ;
1910 unsigned long bd_private ;
1911 int bd_fsfreeze_count ;
1912 struct mutex bd_fsfreeze_mutex ;
1913};
1914#line 723
1915struct posix_acl;
1916#line 723
1917struct posix_acl;
1918#line 724
1919struct inode_operations;
1920#line 724
1921struct inode_operations;
1922#line 724 "include/linux/fs.h"
1923union __anonunion_ldv_15897_134 {
1924 struct list_head i_dentry ;
1925 struct rcu_head i_rcu ;
1926};
1927#line 724
1928struct file_lock;
1929#line 724
1930struct file_lock;
1931#line 724
1932struct cdev;
1933#line 724
1934struct cdev;
1935#line 724 "include/linux/fs.h"
1936union __anonunion_ldv_15923_135 {
1937 struct pipe_inode_info *i_pipe ;
1938 struct block_device *i_bdev ;
1939 struct cdev *i_cdev ;
1940};
1941#line 724 "include/linux/fs.h"
1942struct inode {
1943 umode_t i_mode ;
1944 uid_t i_uid ;
1945 gid_t i_gid ;
1946 struct inode_operations const *i_op ;
1947 struct super_block *i_sb ;
1948 spinlock_t i_lock ;
1949 unsigned int i_flags ;
1950 unsigned long i_state ;
1951 void *i_security ;
1952 struct mutex i_mutex ;
1953 unsigned long dirtied_when ;
1954 struct hlist_node i_hash ;
1955 struct list_head i_wb_list ;
1956 struct list_head i_lru ;
1957 struct list_head i_sb_list ;
1958 union __anonunion_ldv_15897_134 ldv_15897 ;
1959 unsigned long i_ino ;
1960 atomic_t i_count ;
1961 unsigned int i_nlink ;
1962 dev_t i_rdev ;
1963 unsigned int i_blkbits ;
1964 u64 i_version ;
1965 loff_t i_size ;
1966 struct timespec i_atime ;
1967 struct timespec i_mtime ;
1968 struct timespec i_ctime ;
1969 blkcnt_t i_blocks ;
1970 unsigned short i_bytes ;
1971 struct rw_semaphore i_alloc_sem ;
1972 struct file_operations const *i_fop ;
1973 struct file_lock *i_flock ;
1974 struct address_space *i_mapping ;
1975 struct address_space i_data ;
1976 struct dquot *i_dquot[2U] ;
1977 struct list_head i_devices ;
1978 union __anonunion_ldv_15923_135 ldv_15923 ;
1979 __u32 i_generation ;
1980 __u32 i_fsnotify_mask ;
1981 struct hlist_head i_fsnotify_marks ;
1982 atomic_t i_readcount ;
1983 atomic_t i_writecount ;
1984 struct posix_acl *i_acl ;
1985 struct posix_acl *i_default_acl ;
1986 void *i_private ;
1987};
1988#line 902 "include/linux/fs.h"
1989struct fown_struct {
1990 rwlock_t lock ;
1991 struct pid *pid ;
1992 enum pid_type pid_type ;
1993 uid_t uid ;
1994 uid_t euid ;
1995 int signum ;
1996};
1997#line 910 "include/linux/fs.h"
1998struct file_ra_state {
1999 unsigned long start ;
2000 unsigned int size ;
2001 unsigned int async_size ;
2002 unsigned int ra_pages ;
2003 unsigned int mmap_miss ;
2004 loff_t prev_pos ;
2005};
2006#line 933 "include/linux/fs.h"
2007union __anonunion_f_u_136 {
2008 struct list_head fu_list ;
2009 struct rcu_head fu_rcuhead ;
2010};
2011#line 933 "include/linux/fs.h"
2012struct file {
2013 union __anonunion_f_u_136 f_u ;
2014 struct path f_path ;
2015 struct file_operations const *f_op ;
2016 spinlock_t f_lock ;
2017 int f_sb_list_cpu ;
2018 atomic_long_t f_count ;
2019 unsigned int f_flags ;
2020 fmode_t f_mode ;
2021 loff_t f_pos ;
2022 struct fown_struct f_owner ;
2023 struct cred const *f_cred ;
2024 struct file_ra_state f_ra ;
2025 u64 f_version ;
2026 void *f_security ;
2027 void *private_data ;
2028 struct list_head f_ep_links ;
2029 struct address_space *f_mapping ;
2030 unsigned long f_mnt_write_state ;
2031};
2032#line 1064
2033struct files_struct;
2034#line 1064
2035struct files_struct;
2036#line 1064 "include/linux/fs.h"
2037typedef struct files_struct *fl_owner_t;
2038#line 1065 "include/linux/fs.h"
2039struct file_lock_operations {
2040 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2041 void (*fl_release_private)(struct file_lock * ) ;
2042};
2043#line 1070 "include/linux/fs.h"
2044struct lock_manager_operations {
2045 int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
2046 void (*fl_notify)(struct file_lock * ) ;
2047 int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
2048 void (*fl_release_private)(struct file_lock * ) ;
2049 void (*fl_break)(struct file_lock * ) ;
2050 int (*fl_change)(struct file_lock ** , int ) ;
2051};
2052#line 163 "include/linux/nfs.h"
2053struct nlm_lockowner;
2054#line 163
2055struct nlm_lockowner;
2056#line 164 "include/linux/nfs.h"
2057struct nfs_lock_info {
2058 u32 state ;
2059 struct nlm_lockowner *owner ;
2060 struct list_head list ;
2061};
2062#line 18 "include/linux/nfs_fs_i.h"
2063struct nfs4_lock_state;
2064#line 18
2065struct nfs4_lock_state;
2066#line 19 "include/linux/nfs_fs_i.h"
2067struct nfs4_lock_info {
2068 struct nfs4_lock_state *owner ;
2069};
2070#line 23
2071struct fasync_struct;
2072#line 23
2073struct fasync_struct;
2074#line 23 "include/linux/nfs_fs_i.h"
2075struct __anonstruct_afs_138 {
2076 struct list_head link ;
2077 int state ;
2078};
2079#line 23 "include/linux/nfs_fs_i.h"
2080union __anonunion_fl_u_137 {
2081 struct nfs_lock_info nfs_fl ;
2082 struct nfs4_lock_info nfs4_fl ;
2083 struct __anonstruct_afs_138 afs ;
2084};
2085#line 23 "include/linux/nfs_fs_i.h"
2086struct file_lock {
2087 struct file_lock *fl_next ;
2088 struct list_head fl_link ;
2089 struct list_head fl_block ;
2090 fl_owner_t fl_owner ;
2091 unsigned char fl_flags ;
2092 unsigned char fl_type ;
2093 unsigned int fl_pid ;
2094 struct pid *fl_nspid ;
2095 wait_queue_head_t fl_wait ;
2096 struct file *fl_file ;
2097 loff_t fl_start ;
2098 loff_t fl_end ;
2099 struct fasync_struct *fl_fasync ;
2100 unsigned long fl_break_time ;
2101 struct file_lock_operations const *fl_ops ;
2102 struct lock_manager_operations const *fl_lmops ;
2103 union __anonunion_fl_u_137 fl_u ;
2104};
2105#line 1171 "include/linux/fs.h"
2106struct fasync_struct {
2107 spinlock_t fa_lock ;
2108 int magic ;
2109 int fa_fd ;
2110 struct fasync_struct *fa_next ;
2111 struct file *fa_file ;
2112 struct rcu_head fa_rcu ;
2113};
2114#line 1363
2115struct file_system_type;
2116#line 1363
2117struct file_system_type;
2118#line 1363
2119struct super_operations;
2120#line 1363
2121struct super_operations;
2122#line 1363
2123struct xattr_handler;
2124#line 1363
2125struct xattr_handler;
2126#line 1363
2127struct mtd_info;
2128#line 1363
2129struct mtd_info;
2130#line 1363 "include/linux/fs.h"
2131struct super_block {
2132 struct list_head s_list ;
2133 dev_t s_dev ;
2134 unsigned char s_dirt ;
2135 unsigned char s_blocksize_bits ;
2136 unsigned long s_blocksize ;
2137 loff_t s_maxbytes ;
2138 struct file_system_type *s_type ;
2139 struct super_operations const *s_op ;
2140 struct dquot_operations const *dq_op ;
2141 struct quotactl_ops const *s_qcop ;
2142 struct export_operations const *s_export_op ;
2143 unsigned long s_flags ;
2144 unsigned long s_magic ;
2145 struct dentry *s_root ;
2146 struct rw_semaphore s_umount ;
2147 struct mutex s_lock ;
2148 int s_count ;
2149 atomic_t s_active ;
2150 void *s_security ;
2151 struct xattr_handler const **s_xattr ;
2152 struct list_head s_inodes ;
2153 struct hlist_bl_head s_anon ;
2154 struct list_head *s_files ;
2155 struct list_head s_dentry_lru ;
2156 int s_nr_dentry_unused ;
2157 struct block_device *s_bdev ;
2158 struct backing_dev_info *s_bdi ;
2159 struct mtd_info *s_mtd ;
2160 struct list_head s_instances ;
2161 struct quota_info s_dquot ;
2162 int s_frozen ;
2163 wait_queue_head_t s_wait_unfrozen ;
2164 char s_id[32U] ;
2165 u8 s_uuid[16U] ;
2166 void *s_fs_info ;
2167 fmode_t s_mode ;
2168 u32 s_time_gran ;
2169 struct mutex s_vfs_rename_mutex ;
2170 char *s_subtype ;
2171 char *s_options ;
2172 struct dentry_operations const *s_d_op ;
2173 int cleancache_poolid ;
2174};
2175#line 1495 "include/linux/fs.h"
2176struct fiemap_extent_info {
2177 unsigned int fi_flags ;
2178 unsigned int fi_extents_mapped ;
2179 unsigned int fi_extents_max ;
2180 struct fiemap_extent *fi_extents_start ;
2181};
2182#line 1534 "include/linux/fs.h"
2183struct file_operations {
2184 struct module *owner ;
2185 loff_t (*llseek)(struct file * , loff_t , int ) ;
2186 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2187 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2188 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2189 loff_t ) ;
2190 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2191 loff_t ) ;
2192 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2193 loff_t , u64 , unsigned int ) ) ;
2194 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2195 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2196 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2197 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2198 int (*open)(struct inode * , struct file * ) ;
2199 int (*flush)(struct file * , fl_owner_t ) ;
2200 int (*release)(struct inode * , struct file * ) ;
2201 int (*fsync)(struct file * , int ) ;
2202 int (*aio_fsync)(struct kiocb * , int ) ;
2203 int (*fasync)(int , struct file * , int ) ;
2204 int (*lock)(struct file * , int , struct file_lock * ) ;
2205 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2206 int ) ;
2207 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2208 unsigned long , unsigned long ) ;
2209 int (*check_flags)(int ) ;
2210 int (*flock)(struct file * , int , struct file_lock * ) ;
2211 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2212 unsigned int ) ;
2213 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2214 unsigned int ) ;
2215 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2216 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
2217};
2218#line 1574 "include/linux/fs.h"
2219struct inode_operations {
2220 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2221 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2222 int (*permission)(struct inode * , int , unsigned int ) ;
2223 int (*check_acl)(struct inode * , int , unsigned int ) ;
2224 int (*readlink)(struct dentry * , char * , int ) ;
2225 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2226 int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
2227 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2228 int (*unlink)(struct inode * , struct dentry * ) ;
2229 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2230 int (*mkdir)(struct inode * , struct dentry * , int ) ;
2231 int (*rmdir)(struct inode * , struct dentry * ) ;
2232 int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
2233 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2234 void (*truncate)(struct inode * ) ;
2235 int (*setattr)(struct dentry * , struct iattr * ) ;
2236 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
2237 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2238 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2239 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2240 int (*removexattr)(struct dentry * , char const * ) ;
2241 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2242 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
2243};
2244#line 1620 "include/linux/fs.h"
2245struct super_operations {
2246 struct inode *(*alloc_inode)(struct super_block * ) ;
2247 void (*destroy_inode)(struct inode * ) ;
2248 void (*dirty_inode)(struct inode * , int ) ;
2249 int (*write_inode)(struct inode * , struct writeback_control * ) ;
2250 int (*drop_inode)(struct inode * ) ;
2251 void (*evict_inode)(struct inode * ) ;
2252 void (*put_super)(struct super_block * ) ;
2253 void (*write_super)(struct super_block * ) ;
2254 int (*sync_fs)(struct super_block * , int ) ;
2255 int (*freeze_fs)(struct super_block * ) ;
2256 int (*unfreeze_fs)(struct super_block * ) ;
2257 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2258 int (*remount_fs)(struct super_block * , int * , char * ) ;
2259 void (*umount_begin)(struct super_block * ) ;
2260 int (*show_options)(struct seq_file * , struct vfsmount * ) ;
2261 int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
2262 int (*show_path)(struct seq_file * , struct vfsmount * ) ;
2263 int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
2264 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2265 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2266 loff_t ) ;
2267 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2268};
2269#line 1801 "include/linux/fs.h"
2270struct file_system_type {
2271 char const *name ;
2272 int fs_flags ;
2273 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2274 void (*kill_sb)(struct super_block * ) ;
2275 struct module *owner ;
2276 struct file_system_type *next ;
2277 struct list_head fs_supers ;
2278 struct lock_class_key s_lock_key ;
2279 struct lock_class_key s_umount_key ;
2280 struct lock_class_key s_vfs_rename_key ;
2281 struct lock_class_key i_lock_key ;
2282 struct lock_class_key i_mutex_key ;
2283 struct lock_class_key i_mutex_dir_key ;
2284 struct lock_class_key i_alloc_sem_key ;
2285};
2286#line 118 "include/linux/kmemleak.h"
2287struct kmem_cache_cpu {
2288 void **freelist ;
2289 unsigned long tid ;
2290 struct page *page ;
2291 int node ;
2292 unsigned int stat[19U] ;
2293};
2294#line 46 "include/linux/slub_def.h"
2295struct kmem_cache_node {
2296 spinlock_t list_lock ;
2297 unsigned long nr_partial ;
2298 struct list_head partial ;
2299 atomic_long_t nr_slabs ;
2300 atomic_long_t total_objects ;
2301 struct list_head full ;
2302};
2303#line 57 "include/linux/slub_def.h"
2304struct kmem_cache_order_objects {
2305 unsigned long x ;
2306};
2307#line 67 "include/linux/slub_def.h"
2308struct kmem_cache {
2309 struct kmem_cache_cpu *cpu_slab ;
2310 unsigned long flags ;
2311 unsigned long min_partial ;
2312 int size ;
2313 int objsize ;
2314 int offset ;
2315 struct kmem_cache_order_objects oo ;
2316 struct kmem_cache_order_objects max ;
2317 struct kmem_cache_order_objects min ;
2318 gfp_t allocflags ;
2319 int refcount ;
2320 void (*ctor)(void * ) ;
2321 int inuse ;
2322 int align ;
2323 int reserved ;
2324 char const *name ;
2325 struct list_head list ;
2326 struct kobject kobj ;
2327 int remote_node_defrag_ratio ;
2328 struct kmem_cache_node *node[1024U] ;
2329};
2330#line 46 "include/linux/proc_fs.h"
2331typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
2332#line 48 "include/linux/proc_fs.h"
2333typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
2334#line 49 "include/linux/proc_fs.h"
2335struct proc_dir_entry {
2336 unsigned int low_ino ;
2337 unsigned int namelen ;
2338 char const *name ;
2339 mode_t mode ;
2340 nlink_t nlink ;
2341 uid_t uid ;
2342 gid_t gid ;
2343 loff_t size ;
2344 struct inode_operations const *proc_iops ;
2345 struct file_operations const *proc_fops ;
2346 struct proc_dir_entry *next ;
2347 struct proc_dir_entry *parent ;
2348 struct proc_dir_entry *subdir ;
2349 void *data ;
2350 read_proc_t *read_proc ;
2351 write_proc_t *write_proc ;
2352 atomic_t count ;
2353 int pde_users ;
2354 spinlock_t pde_unload_lock ;
2355 struct completion *pde_unload_completion ;
2356 struct list_head pde_openers ;
2357};
2358#line 121
2359struct tty_driver;
2360#line 121
2361struct tty_driver;
2362#line 12 "include/linux/mod_devicetable.h"
2363typedef unsigned long kernel_ulong_t;
2364#line 13 "include/linux/mod_devicetable.h"
2365struct pci_device_id {
2366 __u32 vendor ;
2367 __u32 device ;
2368 __u32 subvendor ;
2369 __u32 subdevice ;
2370 __u32 class ;
2371 __u32 class_mask ;
2372 kernel_ulong_t driver_data ;
2373};
2374#line 215 "include/linux/mod_devicetable.h"
2375struct of_device_id {
2376 char name[32U] ;
2377 char type[32U] ;
2378 char compatible[128U] ;
2379 void *data ;
2380};
2381#line 474 "include/linux/mod_devicetable.h"
2382struct platform_device_id {
2383 char name[20U] ;
2384 kernel_ulong_t driver_data ;
2385};
2386#line 535
2387struct mfd_cell;
2388#line 535
2389struct mfd_cell;
2390#line 536 "include/linux/mod_devicetable.h"
2391struct platform_device {
2392 char const *name ;
2393 int id ;
2394 struct device dev ;
2395 u32 num_resources ;
2396 struct resource *resource ;
2397 struct platform_device_id const *id_entry ;
2398 struct mfd_cell *mfd_cell ;
2399 struct pdev_archdata archdata ;
2400};
2401#line 69 "include/linux/io.h"
2402enum irqreturn {
2403 IRQ_NONE = 0,
2404 IRQ_HANDLED = 1,
2405 IRQ_WAKE_THREAD = 2
2406} ;
2407#line 16 "include/linux/irqreturn.h"
2408typedef enum irqreturn irqreturn_t;
2409#line 17
2410struct hotplug_slot;
2411#line 17
2412struct hotplug_slot;
2413#line 17 "include/linux/irqreturn.h"
2414struct pci_slot {
2415 struct pci_bus *bus ;
2416 struct list_head list ;
2417 struct hotplug_slot *hotplug ;
2418 unsigned char number ;
2419 struct kobject kobj ;
2420};
2421#line 117 "include/linux/pci.h"
2422typedef int pci_power_t;
2423#line 143 "include/linux/pci.h"
2424typedef unsigned int pci_channel_state_t;
2425#line 144
2426enum pci_channel_state {
2427 pci_channel_io_normal = 1,
2428 pci_channel_io_frozen = 2,
2429 pci_channel_io_perm_failure = 3
2430} ;
2431#line 169 "include/linux/pci.h"
2432typedef unsigned short pci_dev_flags_t;
2433#line 184 "include/linux/pci.h"
2434typedef unsigned short pci_bus_flags_t;
2435#line 227
2436struct pcie_link_state;
2437#line 227
2438struct pcie_link_state;
2439#line 228
2440struct pci_vpd;
2441#line 228
2442struct pci_vpd;
2443#line 229
2444struct pci_sriov;
2445#line 229
2446struct pci_sriov;
2447#line 230
2448struct pci_ats;
2449#line 230
2450struct pci_ats;
2451#line 231
2452struct pci_driver;
2453#line 231
2454struct pci_driver;
2455#line 231 "include/linux/pci.h"
2456union __anonunion_ldv_18895_140 {
2457 struct pci_sriov *sriov ;
2458 struct pci_dev *physfn ;
2459};
2460#line 231 "include/linux/pci.h"
2461struct pci_dev {
2462 struct list_head bus_list ;
2463 struct pci_bus *bus ;
2464 struct pci_bus *subordinate ;
2465 void *sysdata ;
2466 struct proc_dir_entry *procent ;
2467 struct pci_slot *slot ;
2468 unsigned int devfn ;
2469 unsigned short vendor ;
2470 unsigned short device ;
2471 unsigned short subsystem_vendor ;
2472 unsigned short subsystem_device ;
2473 unsigned int class ;
2474 u8 revision ;
2475 u8 hdr_type ;
2476 u8 pcie_cap ;
2477 u8 pcie_type ;
2478 u8 rom_base_reg ;
2479 u8 pin ;
2480 struct pci_driver *driver ;
2481 u64 dma_mask ;
2482 struct device_dma_parameters dma_parms ;
2483 pci_power_t current_state ;
2484 int pm_cap ;
2485 unsigned char pme_support : 5 ;
2486 unsigned char pme_interrupt : 1 ;
2487 unsigned char d1_support : 1 ;
2488 unsigned char d2_support : 1 ;
2489 unsigned char no_d1d2 : 1 ;
2490 unsigned char mmio_always_on : 1 ;
2491 unsigned char wakeup_prepared : 1 ;
2492 unsigned int d3_delay ;
2493 struct pcie_link_state *link_state ;
2494 pci_channel_state_t error_state ;
2495 struct device dev ;
2496 int cfg_size ;
2497 unsigned int irq ;
2498 struct resource resource[18U] ;
2499 resource_size_t fw_addr[18U] ;
2500 unsigned char transparent : 1 ;
2501 unsigned char multifunction : 1 ;
2502 unsigned char is_added : 1 ;
2503 unsigned char is_busmaster : 1 ;
2504 unsigned char no_msi : 1 ;
2505 unsigned char block_ucfg_access : 1 ;
2506 unsigned char broken_parity_status : 1 ;
2507 unsigned char irq_reroute_variant : 2 ;
2508 unsigned char msi_enabled : 1 ;
2509 unsigned char msix_enabled : 1 ;
2510 unsigned char ari_enabled : 1 ;
2511 unsigned char is_managed : 1 ;
2512 unsigned char is_pcie : 1 ;
2513 unsigned char needs_freset : 1 ;
2514 unsigned char state_saved : 1 ;
2515 unsigned char is_physfn : 1 ;
2516 unsigned char is_virtfn : 1 ;
2517 unsigned char reset_fn : 1 ;
2518 unsigned char is_hotplug_bridge : 1 ;
2519 unsigned char __aer_firmware_first_valid : 1 ;
2520 unsigned char __aer_firmware_first : 1 ;
2521 pci_dev_flags_t dev_flags ;
2522 atomic_t enable_cnt ;
2523 u32 saved_config_space[16U] ;
2524 struct hlist_head saved_cap_space ;
2525 struct bin_attribute *rom_attr ;
2526 int rom_attr_enabled ;
2527 struct bin_attribute *res_attr[18U] ;
2528 struct bin_attribute *res_attr_wc[18U] ;
2529 struct list_head msi_list ;
2530 struct pci_vpd *vpd ;
2531 union __anonunion_ldv_18895_140 ldv_18895 ;
2532 struct pci_ats *ats ;
2533};
2534#line 406
2535struct pci_ops;
2536#line 406
2537struct pci_ops;
2538#line 406 "include/linux/pci.h"
2539struct pci_bus {
2540 struct list_head node ;
2541 struct pci_bus *parent ;
2542 struct list_head children ;
2543 struct list_head devices ;
2544 struct pci_dev *self ;
2545 struct list_head slots ;
2546 struct resource *resource[4U] ;
2547 struct list_head resources ;
2548 struct pci_ops *ops ;
2549 void *sysdata ;
2550 struct proc_dir_entry *procdir ;
2551 unsigned char number ;
2552 unsigned char primary ;
2553 unsigned char secondary ;
2554 unsigned char subordinate ;
2555 unsigned char max_bus_speed ;
2556 unsigned char cur_bus_speed ;
2557 char name[48U] ;
2558 unsigned short bridge_ctl ;
2559 pci_bus_flags_t bus_flags ;
2560 struct device *bridge ;
2561 struct device dev ;
2562 struct bin_attribute *legacy_io ;
2563 struct bin_attribute *legacy_mem ;
2564 unsigned char is_added : 1 ;
2565};
2566#line 458 "include/linux/pci.h"
2567struct pci_ops {
2568 int (*read)(struct pci_bus * , unsigned int , int , int , u32 * ) ;
2569 int (*write)(struct pci_bus * , unsigned int , int , int , u32 ) ;
2570};
2571#line 493 "include/linux/pci.h"
2572struct pci_dynids {
2573 spinlock_t lock ;
2574 struct list_head list ;
2575};
2576#line 506 "include/linux/pci.h"
2577typedef unsigned int pci_ers_result_t;
2578#line 515 "include/linux/pci.h"
2579struct pci_error_handlers {
2580 pci_ers_result_t (*error_detected)(struct pci_dev * , enum pci_channel_state ) ;
2581 pci_ers_result_t (*mmio_enabled)(struct pci_dev * ) ;
2582 pci_ers_result_t (*link_reset)(struct pci_dev * ) ;
2583 pci_ers_result_t (*slot_reset)(struct pci_dev * ) ;
2584 void (*resume)(struct pci_dev * ) ;
2585};
2586#line 543 "include/linux/pci.h"
2587struct pci_driver {
2588 struct list_head node ;
2589 char const *name ;
2590 struct pci_device_id const *id_table ;
2591 int (*probe)(struct pci_dev * , struct pci_device_id const * ) ;
2592 void (*remove)(struct pci_dev * ) ;
2593 int (*suspend)(struct pci_dev * , pm_message_t ) ;
2594 int (*suspend_late)(struct pci_dev * , pm_message_t ) ;
2595 int (*resume_early)(struct pci_dev * ) ;
2596 int (*resume)(struct pci_dev * ) ;
2597 void (*shutdown)(struct pci_dev * ) ;
2598 struct pci_error_handlers *err_handler ;
2599 struct device_driver driver ;
2600 struct pci_dynids dynids ;
2601};
2602#line 948 "include/linux/pci.h"
2603struct scatterlist {
2604 unsigned long sg_magic ;
2605 unsigned long page_link ;
2606 unsigned int offset ;
2607 unsigned int length ;
2608 dma_addr_t dma_address ;
2609 unsigned int dma_length ;
2610};
2611#line 1095 "include/linux/pci.h"
2612struct rb_node {
2613 unsigned long rb_parent_color ;
2614 struct rb_node *rb_right ;
2615 struct rb_node *rb_left ;
2616};
2617#line 108 "include/linux/rbtree.h"
2618struct rb_root {
2619 struct rb_node *rb_node ;
2620};
2621#line 180 "include/linux/rbtree.h"
2622struct __anonstruct_ldv_19717_142 {
2623 u16 inuse ;
2624 u16 objects ;
2625};
2626#line 180 "include/linux/rbtree.h"
2627union __anonunion_ldv_19718_141 {
2628 atomic_t _mapcount ;
2629 struct __anonstruct_ldv_19717_142 ldv_19717 ;
2630};
2631#line 180 "include/linux/rbtree.h"
2632struct __anonstruct_ldv_19723_144 {
2633 unsigned long private ;
2634 struct address_space *mapping ;
2635};
2636#line 180 "include/linux/rbtree.h"
2637union __anonunion_ldv_19726_143 {
2638 struct __anonstruct_ldv_19723_144 ldv_19723 ;
2639 struct kmem_cache *slab ;
2640 struct page *first_page ;
2641};
2642#line 180 "include/linux/rbtree.h"
2643union __anonunion_ldv_19730_145 {
2644 unsigned long index ;
2645 void *freelist ;
2646};
2647#line 180 "include/linux/rbtree.h"
2648struct page {
2649 unsigned long flags ;
2650 atomic_t _count ;
2651 union __anonunion_ldv_19718_141 ldv_19718 ;
2652 union __anonunion_ldv_19726_143 ldv_19726 ;
2653 union __anonunion_ldv_19730_145 ldv_19730 ;
2654 struct list_head lru ;
2655};
2656#line 124 "include/linux/mm_types.h"
2657struct __anonstruct_vm_set_147 {
2658 struct list_head list ;
2659 void *parent ;
2660 struct vm_area_struct *head ;
2661};
2662#line 124 "include/linux/mm_types.h"
2663union __anonunion_shared_146 {
2664 struct __anonstruct_vm_set_147 vm_set ;
2665 struct raw_prio_tree_node prio_tree_node ;
2666};
2667#line 124
2668struct anon_vma;
2669#line 124
2670struct anon_vma;
2671#line 124
2672struct vm_operations_struct;
2673#line 124
2674struct vm_operations_struct;
2675#line 124
2676struct mempolicy;
2677#line 124
2678struct mempolicy;
2679#line 124 "include/linux/mm_types.h"
2680struct vm_area_struct {
2681 struct mm_struct *vm_mm ;
2682 unsigned long vm_start ;
2683 unsigned long vm_end ;
2684 struct vm_area_struct *vm_next ;
2685 struct vm_area_struct *vm_prev ;
2686 pgprot_t vm_page_prot ;
2687 unsigned long vm_flags ;
2688 struct rb_node vm_rb ;
2689 union __anonunion_shared_146 shared ;
2690 struct list_head anon_vma_chain ;
2691 struct anon_vma *anon_vma ;
2692 struct vm_operations_struct const *vm_ops ;
2693 unsigned long vm_pgoff ;
2694 struct file *vm_file ;
2695 void *vm_private_data ;
2696 struct mempolicy *vm_policy ;
2697};
2698#line 187 "include/linux/mm_types.h"
2699struct core_thread {
2700 struct task_struct *task ;
2701 struct core_thread *next ;
2702};
2703#line 193 "include/linux/mm_types.h"
2704struct core_state {
2705 atomic_t nr_threads ;
2706 struct core_thread dumper ;
2707 struct completion startup ;
2708};
2709#line 206 "include/linux/mm_types.h"
2710struct mm_rss_stat {
2711 atomic_long_t count[3U] ;
2712};
2713#line 219
2714struct linux_binfmt;
2715#line 219
2716struct linux_binfmt;
2717#line 219
2718struct mmu_notifier_mm;
2719#line 219
2720struct mmu_notifier_mm;
2721#line 219 "include/linux/mm_types.h"
2722struct mm_struct {
2723 struct vm_area_struct *mmap ;
2724 struct rb_root mm_rb ;
2725 struct vm_area_struct *mmap_cache ;
2726 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2727 unsigned long , unsigned long ) ;
2728 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
2729 unsigned long mmap_base ;
2730 unsigned long task_size ;
2731 unsigned long cached_hole_size ;
2732 unsigned long free_area_cache ;
2733 pgd_t *pgd ;
2734 atomic_t mm_users ;
2735 atomic_t mm_count ;
2736 int map_count ;
2737 spinlock_t page_table_lock ;
2738 struct rw_semaphore mmap_sem ;
2739 struct list_head mmlist ;
2740 unsigned long hiwater_rss ;
2741 unsigned long hiwater_vm ;
2742 unsigned long total_vm ;
2743 unsigned long locked_vm ;
2744 unsigned long shared_vm ;
2745 unsigned long exec_vm ;
2746 unsigned long stack_vm ;
2747 unsigned long reserved_vm ;
2748 unsigned long def_flags ;
2749 unsigned long nr_ptes ;
2750 unsigned long start_code ;
2751 unsigned long end_code ;
2752 unsigned long start_data ;
2753 unsigned long end_data ;
2754 unsigned long start_brk ;
2755 unsigned long brk ;
2756 unsigned long start_stack ;
2757 unsigned long arg_start ;
2758 unsigned long arg_end ;
2759 unsigned long env_start ;
2760 unsigned long env_end ;
2761 unsigned long saved_auxv[44U] ;
2762 struct mm_rss_stat rss_stat ;
2763 struct linux_binfmt *binfmt ;
2764 cpumask_var_t cpu_vm_mask_var ;
2765 mm_context_t context ;
2766 unsigned int faultstamp ;
2767 unsigned int token_priority ;
2768 unsigned int last_interval ;
2769 atomic_t oom_disable_count ;
2770 unsigned long flags ;
2771 struct core_state *core_state ;
2772 spinlock_t ioctx_lock ;
2773 struct hlist_head ioctx_list ;
2774 struct task_struct *owner ;
2775 struct file *exe_file ;
2776 unsigned long num_exe_file_vmas ;
2777 struct mmu_notifier_mm *mmu_notifier_mm ;
2778 pgtable_t pmd_huge_pte ;
2779 struct cpumask cpumask_allocation ;
2780};
2781#line 30 "include/linux/range.h"
2782struct user_struct;
2783#line 30
2784struct user_struct;
2785#line 175 "include/linux/mm.h"
2786struct vm_fault {
2787 unsigned int flags ;
2788 unsigned long pgoff ;
2789 void *virtual_address ;
2790 struct page *page ;
2791};
2792#line 192 "include/linux/mm.h"
2793struct vm_operations_struct {
2794 void (*open)(struct vm_area_struct * ) ;
2795 void (*close)(struct vm_area_struct * ) ;
2796 int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
2797 int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
2798 int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
2799 int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
2800 struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
2801 int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
2802 unsigned long ) ;
2803};
2804#line 1124 "include/linux/mm.h"
2805struct shrink_control {
2806 gfp_t gfp_mask ;
2807 unsigned long nr_to_scan ;
2808};
2809#line 1136 "include/linux/mm.h"
2810struct shrinker {
2811 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
2812 int seeks ;
2813 struct list_head list ;
2814 long nr ;
2815};
2816#line 34 "include/linux/bug.h"
2817struct dma_attrs {
2818 unsigned long flags[1U] ;
2819};
2820#line 266 "include/linux/scatterlist.h"
2821enum dma_data_direction {
2822 DMA_BIDIRECTIONAL = 0,
2823 DMA_TO_DEVICE = 1,
2824 DMA_FROM_DEVICE = 2,
2825 DMA_NONE = 3
2826} ;
2827#line 273 "include/linux/scatterlist.h"
2828struct dma_map_ops {
2829 void *(*alloc_coherent)(struct device * , size_t , dma_addr_t * , gfp_t ) ;
2830 void (*free_coherent)(struct device * , size_t , void * , dma_addr_t ) ;
2831 dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
2832 enum dma_data_direction , struct dma_attrs * ) ;
2833 void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
2834 struct dma_attrs * ) ;
2835 int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
2836 struct dma_attrs * ) ;
2837 void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
2838 struct dma_attrs * ) ;
2839 void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
2840 void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
2841 void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
2842 void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
2843 int (*mapping_error)(struct device * , dma_addr_t ) ;
2844 int (*dma_supported)(struct device * , u64 ) ;
2845 int (*set_dma_mask)(struct device * , u64 ) ;
2846 int is_phys ;
2847};
2848#line 1590 "include/linux/pci.h"
2849struct cdev {
2850 struct kobject kobj ;
2851 struct module *owner ;
2852 struct file_operations const *ops ;
2853 struct list_head list ;
2854 dev_t dev ;
2855 unsigned int count ;
2856};
2857#line 34 "include/linux/cdev.h"
2858struct exception_table_entry {
2859 unsigned long insn ;
2860 unsigned long fixup ;
2861};
2862#line 118 "include/linux/sem.h"
2863struct sem_undo_list;
2864#line 118
2865struct sem_undo_list;
2866#line 131 "include/linux/sem.h"
2867struct sem_undo_list {
2868 atomic_t refcnt ;
2869 spinlock_t lock ;
2870 struct list_head list_proc ;
2871};
2872#line 140 "include/linux/sem.h"
2873struct sysv_sem {
2874 struct sem_undo_list *undo_list ;
2875};
2876#line 16 "include/linux/socket.h"
2877struct iovec {
2878 void *iov_base ;
2879 __kernel_size_t iov_len ;
2880};
2881#line 44 "include/linux/aio_abi.h"
2882struct io_event {
2883 __u64 data ;
2884 __u64 obj ;
2885 __s64 res ;
2886 __s64 res2 ;
2887};
2888#line 7 "include/asm-generic/cputime.h"
2889typedef unsigned long cputime_t;
2890#line 26
2891struct siginfo;
2892#line 26
2893struct siginfo;
2894#line 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2895struct __anonstruct_sigset_t_159 {
2896 unsigned long sig[1U] ;
2897};
2898#line 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2899typedef struct __anonstruct_sigset_t_159 sigset_t;
2900#line 17 "include/asm-generic/signal-defs.h"
2901typedef void __signalfn_t(int );
2902#line 18 "include/asm-generic/signal-defs.h"
2903typedef __signalfn_t *__sighandler_t;
2904#line 20 "include/asm-generic/signal-defs.h"
2905typedef void __restorefn_t(void);
2906#line 21 "include/asm-generic/signal-defs.h"
2907typedef __restorefn_t *__sigrestore_t;
2908#line 126 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2909struct sigaction {
2910 __sighandler_t sa_handler ;
2911 unsigned long sa_flags ;
2912 __sigrestore_t sa_restorer ;
2913 sigset_t sa_mask ;
2914};
2915#line 173 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2916struct k_sigaction {
2917 struct sigaction sa ;
2918};
2919#line 185 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2920union sigval {
2921 int sival_int ;
2922 void *sival_ptr ;
2923};
2924#line 10 "include/asm-generic/siginfo.h"
2925typedef union sigval sigval_t;
2926#line 11 "include/asm-generic/siginfo.h"
2927struct __anonstruct__kill_161 {
2928 __kernel_pid_t _pid ;
2929 __kernel_uid32_t _uid ;
2930};
2931#line 11 "include/asm-generic/siginfo.h"
2932struct __anonstruct__timer_162 {
2933 __kernel_timer_t _tid ;
2934 int _overrun ;
2935 char _pad[0U] ;
2936 sigval_t _sigval ;
2937 int _sys_private ;
2938};
2939#line 11 "include/asm-generic/siginfo.h"
2940struct __anonstruct__rt_163 {
2941 __kernel_pid_t _pid ;
2942 __kernel_uid32_t _uid ;
2943 sigval_t _sigval ;
2944};
2945#line 11 "include/asm-generic/siginfo.h"
2946struct __anonstruct__sigchld_164 {
2947 __kernel_pid_t _pid ;
2948 __kernel_uid32_t _uid ;
2949 int _status ;
2950 __kernel_clock_t _utime ;
2951 __kernel_clock_t _stime ;
2952};
2953#line 11 "include/asm-generic/siginfo.h"
2954struct __anonstruct__sigfault_165 {
2955 void *_addr ;
2956 short _addr_lsb ;
2957};
2958#line 11 "include/asm-generic/siginfo.h"
2959struct __anonstruct__sigpoll_166 {
2960 long _band ;
2961 int _fd ;
2962};
2963#line 11 "include/asm-generic/siginfo.h"
2964union __anonunion__sifields_160 {
2965 int _pad[28U] ;
2966 struct __anonstruct__kill_161 _kill ;
2967 struct __anonstruct__timer_162 _timer ;
2968 struct __anonstruct__rt_163 _rt ;
2969 struct __anonstruct__sigchld_164 _sigchld ;
2970 struct __anonstruct__sigfault_165 _sigfault ;
2971 struct __anonstruct__sigpoll_166 _sigpoll ;
2972};
2973#line 11 "include/asm-generic/siginfo.h"
2974struct siginfo {
2975 int si_signo ;
2976 int si_errno ;
2977 int si_code ;
2978 union __anonunion__sifields_160 _sifields ;
2979};
2980#line 94 "include/asm-generic/siginfo.h"
2981typedef struct siginfo siginfo_t;
2982#line 24 "include/linux/signal.h"
2983struct sigpending {
2984 struct list_head list ;
2985 sigset_t signal ;
2986};
2987#line 90 "include/linux/proportions.h"
2988struct prop_local_single {
2989 unsigned long events ;
2990 unsigned long period ;
2991 int shift ;
2992 spinlock_t lock ;
2993};
2994#line 10 "include/linux/seccomp.h"
2995struct __anonstruct_seccomp_t_169 {
2996 int mode ;
2997};
2998#line 10 "include/linux/seccomp.h"
2999typedef struct __anonstruct_seccomp_t_169 seccomp_t;
3000#line 21 "include/linux/seccomp.h"
3001struct plist_head {
3002 struct list_head node_list ;
3003 raw_spinlock_t *rawlock ;
3004 spinlock_t *spinlock ;
3005};
3006#line 88 "include/linux/plist.h"
3007struct plist_node {
3008 int prio ;
3009 struct list_head prio_list ;
3010 struct list_head node_list ;
3011};
3012#line 20 "include/linux/rtmutex.h"
3013struct rt_mutex {
3014 raw_spinlock_t wait_lock ;
3015 struct plist_head wait_list ;
3016 struct task_struct *owner ;
3017 int save_state ;
3018 char const *name ;
3019 char const *file ;
3020 int line ;
3021 void *magic ;
3022};
3023#line 38
3024struct rt_mutex_waiter;
3025#line 38
3026struct rt_mutex_waiter;
3027#line 41 "include/linux/resource.h"
3028struct rlimit {
3029 unsigned long rlim_cur ;
3030 unsigned long rlim_max ;
3031};
3032#line 85 "include/linux/resource.h"
3033struct timerqueue_node {
3034 struct rb_node node ;
3035 ktime_t expires ;
3036};
3037#line 12 "include/linux/timerqueue.h"
3038struct timerqueue_head {
3039 struct rb_root head ;
3040 struct timerqueue_node *next ;
3041};
3042#line 50
3043struct hrtimer_clock_base;
3044#line 50
3045struct hrtimer_clock_base;
3046#line 51
3047struct hrtimer_cpu_base;
3048#line 51
3049struct hrtimer_cpu_base;
3050#line 60
3051enum hrtimer_restart {
3052 HRTIMER_NORESTART = 0,
3053 HRTIMER_RESTART = 1
3054} ;
3055#line 65 "include/linux/timerqueue.h"
3056struct hrtimer {
3057 struct timerqueue_node node ;
3058 ktime_t _softexpires ;
3059 enum hrtimer_restart (*function)(struct hrtimer * ) ;
3060 struct hrtimer_clock_base *base ;
3061 unsigned long state ;
3062 int start_pid ;
3063 void *start_site ;
3064 char start_comm[16U] ;
3065};
3066#line 132 "include/linux/hrtimer.h"
3067struct hrtimer_clock_base {
3068 struct hrtimer_cpu_base *cpu_base ;
3069 int index ;
3070 clockid_t clockid ;
3071 struct timerqueue_head active ;
3072 ktime_t resolution ;
3073 ktime_t (*get_time)(void) ;
3074 ktime_t softirq_time ;
3075 ktime_t offset ;
3076};
3077#line 162 "include/linux/hrtimer.h"
3078struct hrtimer_cpu_base {
3079 raw_spinlock_t lock ;
3080 unsigned long active_bases ;
3081 ktime_t expires_next ;
3082 int hres_active ;
3083 int hang_detected ;
3084 unsigned long nr_events ;
3085 unsigned long nr_retries ;
3086 unsigned long nr_hangs ;
3087 ktime_t max_hang_time ;
3088 struct hrtimer_clock_base clock_base[3U] ;
3089};
3090#line 452 "include/linux/hrtimer.h"
3091struct task_io_accounting {
3092 u64 rchar ;
3093 u64 wchar ;
3094 u64 syscr ;
3095 u64 syscw ;
3096 u64 read_bytes ;
3097 u64 write_bytes ;
3098 u64 cancelled_write_bytes ;
3099};
3100#line 45 "include/linux/task_io_accounting.h"
3101struct latency_record {
3102 unsigned long backtrace[12U] ;
3103 unsigned int count ;
3104 unsigned long time ;
3105 unsigned long max ;
3106};
3107#line 29 "include/linux/key.h"
3108typedef int32_t key_serial_t;
3109#line 32 "include/linux/key.h"
3110typedef uint32_t key_perm_t;
3111#line 33
3112struct key;
3113#line 33
3114struct key;
3115#line 34
3116struct signal_struct;
3117#line 34
3118struct signal_struct;
3119#line 35
3120struct key_type;
3121#line 35
3122struct key_type;
3123#line 37
3124struct keyring_list;
3125#line 37
3126struct keyring_list;
3127#line 115
3128struct key_user;
3129#line 115
3130struct key_user;
3131#line 115 "include/linux/key.h"
3132union __anonunion_ldv_24696_170 {
3133 time_t expiry ;
3134 time_t revoked_at ;
3135};
3136#line 115 "include/linux/key.h"
3137union __anonunion_type_data_171 {
3138 struct list_head link ;
3139 unsigned long x[2U] ;
3140 void *p[2U] ;
3141 int reject_error ;
3142};
3143#line 115 "include/linux/key.h"
3144union __anonunion_payload_172 {
3145 unsigned long value ;
3146 void *rcudata ;
3147 void *data ;
3148 struct keyring_list *subscriptions ;
3149};
3150#line 115 "include/linux/key.h"
3151struct key {
3152 atomic_t usage ;
3153 key_serial_t serial ;
3154 struct rb_node serial_node ;
3155 struct key_type *type ;
3156 struct rw_semaphore sem ;
3157 struct key_user *user ;
3158 void *security ;
3159 union __anonunion_ldv_24696_170 ldv_24696 ;
3160 uid_t uid ;
3161 gid_t gid ;
3162 key_perm_t perm ;
3163 unsigned short quotalen ;
3164 unsigned short datalen ;
3165 unsigned long flags ;
3166 char *description ;
3167 union __anonunion_type_data_171 type_data ;
3168 union __anonunion_payload_172 payload ;
3169};
3170#line 310
3171struct audit_context;
3172#line 310
3173struct audit_context;
3174#line 27 "include/linux/selinux.h"
3175struct group_info {
3176 atomic_t usage ;
3177 int ngroups ;
3178 int nblocks ;
3179 gid_t small_block[32U] ;
3180 gid_t *blocks[0U] ;
3181};
3182#line 77 "include/linux/cred.h"
3183struct thread_group_cred {
3184 atomic_t usage ;
3185 pid_t tgid ;
3186 spinlock_t lock ;
3187 struct key *session_keyring ;
3188 struct key *process_keyring ;
3189 struct rcu_head rcu ;
3190};
3191#line 91 "include/linux/cred.h"
3192struct cred {
3193 atomic_t usage ;
3194 atomic_t subscribers ;
3195 void *put_addr ;
3196 unsigned int magic ;
3197 uid_t uid ;
3198 gid_t gid ;
3199 uid_t suid ;
3200 gid_t sgid ;
3201 uid_t euid ;
3202 gid_t egid ;
3203 uid_t fsuid ;
3204 gid_t fsgid ;
3205 unsigned int securebits ;
3206 kernel_cap_t cap_inheritable ;
3207 kernel_cap_t cap_permitted ;
3208 kernel_cap_t cap_effective ;
3209 kernel_cap_t cap_bset ;
3210 unsigned char jit_keyring ;
3211 struct key *thread_keyring ;
3212 struct key *request_key_auth ;
3213 struct thread_group_cred *tgcred ;
3214 void *security ;
3215 struct user_struct *user ;
3216 struct user_namespace *user_ns ;
3217 struct group_info *group_info ;
3218 struct rcu_head rcu ;
3219};
3220#line 264
3221struct futex_pi_state;
3222#line 264
3223struct futex_pi_state;
3224#line 265
3225struct robust_list_head;
3226#line 265
3227struct robust_list_head;
3228#line 266
3229struct bio_list;
3230#line 266
3231struct bio_list;
3232#line 267
3233struct fs_struct;
3234#line 267
3235struct fs_struct;
3236#line 268
3237struct perf_event_context;
3238#line 268
3239struct perf_event_context;
3240#line 269
3241struct blk_plug;
3242#line 269
3243struct blk_plug;
3244#line 149 "include/linux/sched.h"
3245struct cfs_rq;
3246#line 149
3247struct cfs_rq;
3248#line 383
3249struct kioctx;
3250#line 383
3251struct kioctx;
3252#line 384 "include/linux/sched.h"
3253union __anonunion_ki_obj_173 {
3254 void *user ;
3255 struct task_struct *tsk ;
3256};
3257#line 384
3258struct eventfd_ctx;
3259#line 384
3260struct eventfd_ctx;
3261#line 384 "include/linux/sched.h"
3262struct kiocb {
3263 struct list_head ki_run_list ;
3264 unsigned long ki_flags ;
3265 int ki_users ;
3266 unsigned int ki_key ;
3267 struct file *ki_filp ;
3268 struct kioctx *ki_ctx ;
3269 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
3270 ssize_t (*ki_retry)(struct kiocb * ) ;
3271 void (*ki_dtor)(struct kiocb * ) ;
3272 union __anonunion_ki_obj_173 ki_obj ;
3273 __u64 ki_user_data ;
3274 loff_t ki_pos ;
3275 void *private ;
3276 unsigned short ki_opcode ;
3277 size_t ki_nbytes ;
3278 char *ki_buf ;
3279 size_t ki_left ;
3280 struct iovec ki_inline_vec ;
3281 struct iovec *ki_iovec ;
3282 unsigned long ki_nr_segs ;
3283 unsigned long ki_cur_seg ;
3284 struct list_head ki_list ;
3285 struct eventfd_ctx *ki_eventfd ;
3286};
3287#line 161 "include/linux/aio.h"
3288struct aio_ring_info {
3289 unsigned long mmap_base ;
3290 unsigned long mmap_size ;
3291 struct page **ring_pages ;
3292 spinlock_t ring_lock ;
3293 long nr_pages ;
3294 unsigned int nr ;
3295 unsigned int tail ;
3296 struct page *internal_pages[8U] ;
3297};
3298#line 177 "include/linux/aio.h"
3299struct kioctx {
3300 atomic_t users ;
3301 int dead ;
3302 struct mm_struct *mm ;
3303 unsigned long user_id ;
3304 struct hlist_node list ;
3305 wait_queue_head_t wait ;
3306 spinlock_t ctx_lock ;
3307 int reqs_active ;
3308 struct list_head active_reqs ;
3309 struct list_head run_list ;
3310 unsigned int max_reqs ;
3311 struct aio_ring_info ring_info ;
3312 struct delayed_work wq ;
3313 struct rcu_head rcu_head ;
3314};
3315#line 404 "include/linux/sched.h"
3316struct sighand_struct {
3317 atomic_t count ;
3318 struct k_sigaction action[64U] ;
3319 spinlock_t siglock ;
3320 wait_queue_head_t signalfd_wqh ;
3321};
3322#line 447 "include/linux/sched.h"
3323struct pacct_struct {
3324 int ac_flag ;
3325 long ac_exitcode ;
3326 unsigned long ac_mem ;
3327 cputime_t ac_utime ;
3328 cputime_t ac_stime ;
3329 unsigned long ac_minflt ;
3330 unsigned long ac_majflt ;
3331};
3332#line 455 "include/linux/sched.h"
3333struct cpu_itimer {
3334 cputime_t expires ;
3335 cputime_t incr ;
3336 u32 error ;
3337 u32 incr_error ;
3338};
3339#line 462 "include/linux/sched.h"
3340struct task_cputime {
3341 cputime_t utime ;
3342 cputime_t stime ;
3343 unsigned long long sum_exec_runtime ;
3344};
3345#line 479 "include/linux/sched.h"
3346struct thread_group_cputimer {
3347 struct task_cputime cputime ;
3348 int running ;
3349 spinlock_t lock ;
3350};
3351#line 515
3352struct autogroup;
3353#line 515
3354struct autogroup;
3355#line 516
3356struct tty_struct;
3357#line 516
3358struct tty_struct;
3359#line 516
3360struct taskstats;
3361#line 516
3362struct taskstats;
3363#line 516
3364struct tty_audit_buf;
3365#line 516
3366struct tty_audit_buf;
3367#line 516 "include/linux/sched.h"
3368struct signal_struct {
3369 atomic_t sigcnt ;
3370 atomic_t live ;
3371 int nr_threads ;
3372 wait_queue_head_t wait_chldexit ;
3373 struct task_struct *curr_target ;
3374 struct sigpending shared_pending ;
3375 int group_exit_code ;
3376 int notify_count ;
3377 struct task_struct *group_exit_task ;
3378 int group_stop_count ;
3379 unsigned int flags ;
3380 struct list_head posix_timers ;
3381 struct hrtimer real_timer ;
3382 struct pid *leader_pid ;
3383 ktime_t it_real_incr ;
3384 struct cpu_itimer it[2U] ;
3385 struct thread_group_cputimer cputimer ;
3386 struct task_cputime cputime_expires ;
3387 struct list_head cpu_timers[3U] ;
3388 struct pid *tty_old_pgrp ;
3389 int leader ;
3390 struct tty_struct *tty ;
3391 struct autogroup *autogroup ;
3392 cputime_t utime ;
3393 cputime_t stime ;
3394 cputime_t cutime ;
3395 cputime_t cstime ;
3396 cputime_t gtime ;
3397 cputime_t cgtime ;
3398 cputime_t prev_utime ;
3399 cputime_t prev_stime ;
3400 unsigned long nvcsw ;
3401 unsigned long nivcsw ;
3402 unsigned long cnvcsw ;
3403 unsigned long cnivcsw ;
3404 unsigned long min_flt ;
3405 unsigned long maj_flt ;
3406 unsigned long cmin_flt ;
3407 unsigned long cmaj_flt ;
3408 unsigned long inblock ;
3409 unsigned long oublock ;
3410 unsigned long cinblock ;
3411 unsigned long coublock ;
3412 unsigned long maxrss ;
3413 unsigned long cmaxrss ;
3414 struct task_io_accounting ioac ;
3415 unsigned long long sum_sched_runtime ;
3416 struct rlimit rlim[16U] ;
3417 struct pacct_struct pacct ;
3418 struct taskstats *stats ;
3419 unsigned int audit_tty ;
3420 struct tty_audit_buf *tty_audit_buf ;
3421 struct rw_semaphore threadgroup_fork_lock ;
3422 int oom_adj ;
3423 int oom_score_adj ;
3424 int oom_score_adj_min ;
3425 struct mutex cred_guard_mutex ;
3426};
3427#line 683 "include/linux/sched.h"
3428struct user_struct {
3429 atomic_t __count ;
3430 atomic_t processes ;
3431 atomic_t files ;
3432 atomic_t sigpending ;
3433 atomic_t inotify_watches ;
3434 atomic_t inotify_devs ;
3435 atomic_t fanotify_listeners ;
3436 atomic_long_t epoll_watches ;
3437 unsigned long mq_bytes ;
3438 unsigned long locked_shm ;
3439 struct key *uid_keyring ;
3440 struct key *session_keyring ;
3441 struct hlist_node uidhash_node ;
3442 uid_t uid ;
3443 struct user_namespace *user_ns ;
3444 atomic_long_t locked_vm ;
3445};
3446#line 728
3447struct reclaim_state;
3448#line 728
3449struct reclaim_state;
3450#line 729 "include/linux/sched.h"
3451struct sched_info {
3452 unsigned long pcount ;
3453 unsigned long long run_delay ;
3454 unsigned long long last_arrival ;
3455 unsigned long long last_queued ;
3456};
3457#line 744 "include/linux/sched.h"
3458struct task_delay_info {
3459 spinlock_t lock ;
3460 unsigned int flags ;
3461 struct timespec blkio_start ;
3462 struct timespec blkio_end ;
3463 u64 blkio_delay ;
3464 u64 swapin_delay ;
3465 u32 blkio_count ;
3466 u32 swapin_count ;
3467 struct timespec freepages_start ;
3468 struct timespec freepages_end ;
3469 u64 freepages_delay ;
3470 u32 freepages_count ;
3471};
3472#line 1037
3473struct io_context;
3474#line 1037
3475struct io_context;
3476#line 1060
3477struct rq;
3478#line 1060
3479struct rq;
3480#line 1061 "include/linux/sched.h"
3481struct sched_class {
3482 struct sched_class const *next ;
3483 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
3484 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
3485 void (*yield_task)(struct rq * ) ;
3486 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
3487 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
3488 struct task_struct *(*pick_next_task)(struct rq * ) ;
3489 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
3490 int (*select_task_rq)(struct task_struct * , int , int ) ;
3491 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
3492 void (*post_schedule)(struct rq * ) ;
3493 void (*task_waking)(struct task_struct * ) ;
3494 void (*task_woken)(struct rq * , struct task_struct * ) ;
3495 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
3496 void (*rq_online)(struct rq * ) ;
3497 void (*rq_offline)(struct rq * ) ;
3498 void (*set_curr_task)(struct rq * ) ;
3499 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
3500 void (*task_fork)(struct task_struct * ) ;
3501 void (*switched_from)(struct rq * , struct task_struct * ) ;
3502 void (*switched_to)(struct rq * , struct task_struct * ) ;
3503 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
3504 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
3505 void (*task_move_group)(struct task_struct * , int ) ;
3506};
3507#line 1127 "include/linux/sched.h"
3508struct load_weight {
3509 unsigned long weight ;
3510 unsigned long inv_weight ;
3511};
3512#line 1132 "include/linux/sched.h"
3513struct sched_statistics {
3514 u64 wait_start ;
3515 u64 wait_max ;
3516 u64 wait_count ;
3517 u64 wait_sum ;
3518 u64 iowait_count ;
3519 u64 iowait_sum ;
3520 u64 sleep_start ;
3521 u64 sleep_max ;
3522 s64 sum_sleep_runtime ;
3523 u64 block_start ;
3524 u64 block_max ;
3525 u64 exec_max ;
3526 u64 slice_max ;
3527 u64 nr_migrations_cold ;
3528 u64 nr_failed_migrations_affine ;
3529 u64 nr_failed_migrations_running ;
3530 u64 nr_failed_migrations_hot ;
3531 u64 nr_forced_migrations ;
3532 u64 nr_wakeups ;
3533 u64 nr_wakeups_sync ;
3534 u64 nr_wakeups_migrate ;
3535 u64 nr_wakeups_local ;
3536 u64 nr_wakeups_remote ;
3537 u64 nr_wakeups_affine ;
3538 u64 nr_wakeups_affine_attempts ;
3539 u64 nr_wakeups_passive ;
3540 u64 nr_wakeups_idle ;
3541};
3542#line 1167 "include/linux/sched.h"
3543struct sched_entity {
3544 struct load_weight load ;
3545 struct rb_node run_node ;
3546 struct list_head group_node ;
3547 unsigned int on_rq ;
3548 u64 exec_start ;
3549 u64 sum_exec_runtime ;
3550 u64 vruntime ;
3551 u64 prev_sum_exec_runtime ;
3552 u64 nr_migrations ;
3553 struct sched_statistics statistics ;
3554 struct sched_entity *parent ;
3555 struct cfs_rq *cfs_rq ;
3556 struct cfs_rq *my_q ;
3557};
3558#line 1193
3559struct rt_rq;
3560#line 1193
3561struct rt_rq;
3562#line 1193 "include/linux/sched.h"
3563struct sched_rt_entity {
3564 struct list_head run_list ;
3565 unsigned long timeout ;
3566 unsigned int time_slice ;
3567 int nr_cpus_allowed ;
3568 struct sched_rt_entity *back ;
3569 struct sched_rt_entity *parent ;
3570 struct rt_rq *rt_rq ;
3571 struct rt_rq *my_q ;
3572};
3573#line 1217
3574struct mem_cgroup;
3575#line 1217
3576struct mem_cgroup;
3577#line 1217 "include/linux/sched.h"
3578struct memcg_batch_info {
3579 int do_batch ;
3580 struct mem_cgroup *memcg ;
3581 unsigned long nr_pages ;
3582 unsigned long memsw_nr_pages ;
3583};
3584#line 1569
3585struct irqaction;
3586#line 1569
3587struct irqaction;
3588#line 1569
3589struct css_set;
3590#line 1569
3591struct css_set;
3592#line 1569
3593struct compat_robust_list_head;
3594#line 1569
3595struct compat_robust_list_head;
3596#line 1569
3597struct ftrace_ret_stack;
3598#line 1569
3599struct ftrace_ret_stack;
3600#line 1569 "include/linux/sched.h"
3601struct task_struct {
3602 long volatile state ;
3603 void *stack ;
3604 atomic_t usage ;
3605 unsigned int flags ;
3606 unsigned int ptrace ;
3607 struct task_struct *wake_entry ;
3608 int on_cpu ;
3609 int on_rq ;
3610 int prio ;
3611 int static_prio ;
3612 int normal_prio ;
3613 unsigned int rt_priority ;
3614 struct sched_class const *sched_class ;
3615 struct sched_entity se ;
3616 struct sched_rt_entity rt ;
3617 struct hlist_head preempt_notifiers ;
3618 unsigned char fpu_counter ;
3619 unsigned int btrace_seq ;
3620 unsigned int policy ;
3621 cpumask_t cpus_allowed ;
3622 struct sched_info sched_info ;
3623 struct list_head tasks ;
3624 struct plist_node pushable_tasks ;
3625 struct mm_struct *mm ;
3626 struct mm_struct *active_mm ;
3627 unsigned char brk_randomized : 1 ;
3628 int exit_state ;
3629 int exit_code ;
3630 int exit_signal ;
3631 int pdeath_signal ;
3632 unsigned int group_stop ;
3633 unsigned int personality ;
3634 unsigned char did_exec : 1 ;
3635 unsigned char in_execve : 1 ;
3636 unsigned char in_iowait : 1 ;
3637 unsigned char sched_reset_on_fork : 1 ;
3638 unsigned char sched_contributes_to_load : 1 ;
3639 pid_t pid ;
3640 pid_t tgid ;
3641 unsigned long stack_canary ;
3642 struct task_struct *real_parent ;
3643 struct task_struct *parent ;
3644 struct list_head children ;
3645 struct list_head sibling ;
3646 struct task_struct *group_leader ;
3647 struct list_head ptraced ;
3648 struct list_head ptrace_entry ;
3649 struct pid_link pids[3U] ;
3650 struct list_head thread_group ;
3651 struct completion *vfork_done ;
3652 int *set_child_tid ;
3653 int *clear_child_tid ;
3654 cputime_t utime ;
3655 cputime_t stime ;
3656 cputime_t utimescaled ;
3657 cputime_t stimescaled ;
3658 cputime_t gtime ;
3659 cputime_t prev_utime ;
3660 cputime_t prev_stime ;
3661 unsigned long nvcsw ;
3662 unsigned long nivcsw ;
3663 struct timespec start_time ;
3664 struct timespec real_start_time ;
3665 unsigned long min_flt ;
3666 unsigned long maj_flt ;
3667 struct task_cputime cputime_expires ;
3668 struct list_head cpu_timers[3U] ;
3669 struct cred const *real_cred ;
3670 struct cred const *cred ;
3671 struct cred *replacement_session_keyring ;
3672 char comm[16U] ;
3673 int link_count ;
3674 int total_link_count ;
3675 struct sysv_sem sysvsem ;
3676 unsigned long last_switch_count ;
3677 struct thread_struct thread ;
3678 struct fs_struct *fs ;
3679 struct files_struct *files ;
3680 struct nsproxy *nsproxy ;
3681 struct signal_struct *signal ;
3682 struct sighand_struct *sighand ;
3683 sigset_t blocked ;
3684 sigset_t real_blocked ;
3685 sigset_t saved_sigmask ;
3686 struct sigpending pending ;
3687 unsigned long sas_ss_sp ;
3688 size_t sas_ss_size ;
3689 int (*notifier)(void * ) ;
3690 void *notifier_data ;
3691 sigset_t *notifier_mask ;
3692 struct audit_context *audit_context ;
3693 uid_t loginuid ;
3694 unsigned int sessionid ;
3695 seccomp_t seccomp ;
3696 u32 parent_exec_id ;
3697 u32 self_exec_id ;
3698 spinlock_t alloc_lock ;
3699 struct irqaction *irqaction ;
3700 raw_spinlock_t pi_lock ;
3701 struct plist_head pi_waiters ;
3702 struct rt_mutex_waiter *pi_blocked_on ;
3703 struct mutex_waiter *blocked_on ;
3704 unsigned int irq_events ;
3705 unsigned long hardirq_enable_ip ;
3706 unsigned long hardirq_disable_ip ;
3707 unsigned int hardirq_enable_event ;
3708 unsigned int hardirq_disable_event ;
3709 int hardirqs_enabled ;
3710 int hardirq_context ;
3711 unsigned long softirq_disable_ip ;
3712 unsigned long softirq_enable_ip ;
3713 unsigned int softirq_disable_event ;
3714 unsigned int softirq_enable_event ;
3715 int softirqs_enabled ;
3716 int softirq_context ;
3717 u64 curr_chain_key ;
3718 int lockdep_depth ;
3719 unsigned int lockdep_recursion ;
3720 struct held_lock held_locks[48U] ;
3721 gfp_t lockdep_reclaim_gfp ;
3722 void *journal_info ;
3723 struct bio_list *bio_list ;
3724 struct blk_plug *plug ;
3725 struct reclaim_state *reclaim_state ;
3726 struct backing_dev_info *backing_dev_info ;
3727 struct io_context *io_context ;
3728 unsigned long ptrace_message ;
3729 siginfo_t *last_siginfo ;
3730 struct task_io_accounting ioac ;
3731 u64 acct_rss_mem1 ;
3732 u64 acct_vm_mem1 ;
3733 cputime_t acct_timexpd ;
3734 nodemask_t mems_allowed ;
3735 int mems_allowed_change_disable ;
3736 int cpuset_mem_spread_rotor ;
3737 int cpuset_slab_spread_rotor ;
3738 struct css_set *cgroups ;
3739 struct list_head cg_list ;
3740 struct robust_list_head *robust_list ;
3741 struct compat_robust_list_head *compat_robust_list ;
3742 struct list_head pi_state_list ;
3743 struct futex_pi_state *pi_state_cache ;
3744 struct perf_event_context *perf_event_ctxp[2U] ;
3745 struct mutex perf_event_mutex ;
3746 struct list_head perf_event_list ;
3747 struct mempolicy *mempolicy ;
3748 short il_next ;
3749 short pref_node_fork ;
3750 atomic_t fs_excl ;
3751 struct rcu_head rcu ;
3752 struct pipe_inode_info *splice_pipe ;
3753 struct task_delay_info *delays ;
3754 int make_it_fail ;
3755 struct prop_local_single dirties ;
3756 int latency_record_count ;
3757 struct latency_record latency_record[32U] ;
3758 unsigned long timer_slack_ns ;
3759 unsigned long default_timer_slack_ns ;
3760 struct list_head *scm_work_list ;
3761 int curr_ret_stack ;
3762 struct ftrace_ret_stack *ret_stack ;
3763 unsigned long long ftrace_timestamp ;
3764 atomic_t trace_overrun ;
3765 atomic_t tracing_graph_pause ;
3766 unsigned long trace ;
3767 unsigned long trace_recursion ;
3768 struct memcg_batch_info memcg_batch ;
3769 atomic_t ptrace_bp_refcnt ;
3770};
3771#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
3772typedef s32 compat_time_t;
3773#line 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
3774typedef s32 compat_long_t;
3775#line 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
3776struct compat_timespec {
3777 compat_time_t tv_sec ;
3778 s32 tv_nsec ;
3779};
3780#line 196 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
3781typedef u32 compat_uptr_t;
3782#line 205 "include/linux/compat.h"
3783struct compat_robust_list {
3784 compat_uptr_t next ;
3785};
3786#line 209 "include/linux/compat.h"
3787struct compat_robust_list_head {
3788 struct compat_robust_list list ;
3789 compat_long_t futex_offset ;
3790 compat_uptr_t list_op_pending ;
3791};
3792#line 187 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mtrr.h"
3793enum chipset_type {
3794 NOT_SUPPORTED = 0,
3795 SUPPORTED = 1
3796} ;
3797#line 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mtrr.h"
3798struct agp_version {
3799 u16 major ;
3800 u16 minor ;
3801};
3802#line 44 "include/linux/agp_backend.h"
3803struct agp_kern_info {
3804 struct agp_version version ;
3805 struct pci_dev *device ;
3806 enum chipset_type chipset ;
3807 unsigned long mode ;
3808 unsigned long aper_base ;
3809 size_t aper_size ;
3810 int max_memory ;
3811 int current_memory ;
3812 bool cant_use_aperture ;
3813 unsigned long page_mask ;
3814 struct vm_operations_struct const *vm_ops ;
3815};
3816#line 58
3817struct agp_bridge_data;
3818#line 58
3819struct agp_bridge_data;
3820#line 108 "include/linux/agp_backend.h"
3821struct pollfd {
3822 int fd ;
3823 short events ;
3824 short revents ;
3825};
3826#line 34 "include/linux/poll.h"
3827struct poll_table_struct {
3828 void (*qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
3829 unsigned long key ;
3830};
3831#line 74 "include/drm/drm.h"
3832typedef unsigned int drm_magic_t;
3833#line 75 "include/drm/drm.h"
3834struct drm_clip_rect {
3835 unsigned short x1 ;
3836 unsigned short y1 ;
3837 unsigned short x2 ;
3838 unsigned short y2 ;
3839};
3840#line 110 "include/drm/drm.h"
3841struct drm_hw_lock {
3842 unsigned int volatile lock ;
3843 char padding[60U] ;
3844};
3845#line 139 "include/drm/drm.h"
3846struct drm_unique {
3847 size_t unique_len ;
3848 char *unique ;
3849};
3850#line 173
3851enum drm_map_type {
3852 _DRM_FRAME_BUFFER = 0,
3853 _DRM_REGISTERS = 1,
3854 _DRM_SHM = 2,
3855 _DRM_AGP = 3,
3856 _DRM_SCATTER_GATHER = 4,
3857 _DRM_CONSISTENT = 5,
3858 _DRM_GEM = 6
3859} ;
3860#line 183
3861enum drm_map_flags {
3862 _DRM_RESTRICTED = 1,
3863 _DRM_READ_ONLY = 2,
3864 _DRM_LOCKED = 4,
3865 _DRM_KERNEL = 8,
3866 _DRM_WRITE_COMBINING = 16,
3867 _DRM_CONTAINS_LOCK = 32,
3868 _DRM_REMOVABLE = 64,
3869 _DRM_DRIVER = 128
3870} ;
3871#line 234
3872enum drm_stat_type {
3873 _DRM_STAT_LOCK = 0,
3874 _DRM_STAT_OPENS = 1,
3875 _DRM_STAT_CLOSES = 2,
3876 _DRM_STAT_IOCTLS = 3,
3877 _DRM_STAT_LOCKS = 4,
3878 _DRM_STAT_UNLOCKS = 5,
3879 _DRM_STAT_VALUE = 6,
3880 _DRM_STAT_BYTE = 7,
3881 _DRM_STAT_COUNT = 8,
3882 _DRM_STAT_IRQ = 9,
3883 _DRM_STAT_PRIMARY = 10,
3884 _DRM_STAT_SECONDARY = 11,
3885 _DRM_STAT_DMA = 12,
3886 _DRM_STAT_SPECIAL = 13,
3887 _DRM_STAT_MISSED = 14
3888} ;
3889#line 399
3890enum drm_ctx_flags {
3891 _DRM_CONTEXT_PRESERVED = 1,
3892 _DRM_CONTEXT_2DONLY = 2
3893} ;
3894#line 450 "include/drm/drm.h"
3895struct drm_irq_busid {
3896 int irq ;
3897 int busnum ;
3898 int devnum ;
3899 int funcnum ;
3900};
3901#line 575 "include/drm/drm.h"
3902struct drm_set_version {
3903 int drm_di_major ;
3904 int drm_di_minor ;
3905 int drm_dd_major ;
3906 int drm_dd_minor ;
3907};
3908#line 221 "include/drm/drm_mode.h"
3909struct drm_mode_fb_cmd {
3910 __u32 fb_id ;
3911 __u32 width ;
3912 __u32 height ;
3913 __u32 pitch ;
3914 __u32 bpp ;
3915 __u32 depth ;
3916 __u32 handle ;
3917};
3918#line 346 "include/drm/drm_mode.h"
3919struct drm_mode_create_dumb {
3920 uint32_t height ;
3921 uint32_t width ;
3922 uint32_t bpp ;
3923 uint32_t flags ;
3924 uint32_t handle ;
3925 uint32_t pitch ;
3926 uint64_t size ;
3927};
3928#line 375 "include/drm/drm_mode.h"
3929struct drm_event {
3930 __u32 type ;
3931 __u32 length ;
3932};
3933#line 745 "include/drm/drm.h"
3934struct drm_event_vblank {
3935 struct drm_event base ;
3936 __u64 user_data ;
3937 __u32 tv_sec ;
3938 __u32 tv_usec ;
3939 __u32 sequence ;
3940 __u32 reserved ;
3941};
3942#line 757 "include/drm/drm.h"
3943struct idr_layer {
3944 unsigned long bitmap ;
3945 struct idr_layer *ary[64U] ;
3946 int count ;
3947 int layer ;
3948 struct rcu_head rcu_head ;
3949};
3950#line 58 "include/linux/idr.h"
3951struct idr {
3952 struct idr_layer *top ;
3953 struct idr_layer *id_free ;
3954 int layers ;
3955 int id_free_cnt ;
3956 spinlock_t lock ;
3957};
3958#line 150
3959struct drm_file;
3960#line 150
3961struct drm_file;
3962#line 151
3963struct drm_device;
3964#line 151
3965struct drm_device;
3966#line 91 "include/linux/interrupt.h"
3967struct irqaction {
3968 irqreturn_t (*handler)(int , void * ) ;
3969 unsigned long flags ;
3970 void *dev_id ;
3971 struct irqaction *next ;
3972 int irq ;
3973 irqreturn_t (*thread_fn)(int , void * ) ;
3974 struct task_struct *thread ;
3975 unsigned long thread_flags ;
3976 unsigned long thread_mask ;
3977 char const *name ;
3978 struct proc_dir_entry *dir ;
3979};
3980#line 54 "include/linux/delay.h"
3981struct drm_hash_item {
3982 struct hlist_node head ;
3983 unsigned long key ;
3984};
3985#line 46 "include/drm/drm_hashtab.h"
3986struct drm_open_hash {
3987 struct hlist_head *table ;
3988 u8 order ;
3989};
3990#line 63 "include/drm/drm_hashtab.h"
3991struct seq_file {
3992 char *buf ;
3993 size_t size ;
3994 size_t from ;
3995 size_t count ;
3996 loff_t index ;
3997 loff_t read_pos ;
3998 u64 version ;
3999 struct mutex lock ;
4000 struct seq_operations const *op ;
4001 void *private ;
4002};
4003#line 28 "include/linux/seq_file.h"
4004struct seq_operations {
4005 void *(*start)(struct seq_file * , loff_t * ) ;
4006 void (*stop)(struct seq_file * , void * ) ;
4007 void *(*next)(struct seq_file * , void * , loff_t * ) ;
4008 int (*show)(struct seq_file * , void * ) ;
4009};
4010#line 154
4011struct drm_mm;
4012#line 154
4013struct drm_mm;
4014#line 154 "include/linux/seq_file.h"
4015struct drm_mm_node {
4016 struct list_head node_list ;
4017 struct list_head hole_stack ;
4018 unsigned char hole_follows : 1 ;
4019 unsigned char scanned_block : 1 ;
4020 unsigned char scanned_prev_free : 1 ;
4021 unsigned char scanned_next_free : 1 ;
4022 unsigned char scanned_preceeds_hole : 1 ;
4023 unsigned char allocated : 1 ;
4024 unsigned long start ;
4025 unsigned long size ;
4026 struct drm_mm *mm ;
4027};
4028#line 57 "include/drm/drm_mm.h"
4029struct drm_mm {
4030 struct list_head hole_stack ;
4031 struct drm_mm_node head_node ;
4032 struct list_head unused_nodes ;
4033 int num_unused ;
4034 spinlock_t unused_lock ;
4035 unsigned char scan_check_range : 1 ;
4036 unsigned int scan_alignment ;
4037 unsigned long scan_size ;
4038 unsigned long scan_hit_start ;
4039 unsigned int scan_hit_size ;
4040 unsigned int scanned_blocks ;
4041 unsigned long scan_start ;
4042 unsigned long scan_end ;
4043 struct drm_mm_node *prev_scanned_node ;
4044};
4045#line 286 "include/drm/drmP.h"
4046typedef int drm_ioctl_t(struct drm_device * , void * , struct drm_file * );
4047#line 290 "include/drm/drmP.h"
4048struct drm_ioctl_desc {
4049 unsigned int cmd ;
4050 int flags ;
4051 drm_ioctl_t *func ;
4052 unsigned int cmd_drv ;
4053};
4054#line 327
4055enum ldv_22760 {
4056 DRM_LIST_NONE = 0,
4057 DRM_LIST_FREE = 1,
4058 DRM_LIST_WAIT = 2,
4059 DRM_LIST_PEND = 3,
4060 DRM_LIST_PRIO = 4,
4061 DRM_LIST_RECLAIM = 5
4062} ;
4063#line 336 "include/drm/drmP.h"
4064struct drm_buf {
4065 int idx ;
4066 int total ;
4067 int order ;
4068 int used ;
4069 unsigned long offset ;
4070 void *address ;
4071 unsigned long bus_address ;
4072 struct drm_buf *next ;
4073 int volatile waiting ;
4074 int volatile pending ;
4075 wait_queue_head_t dma_wait ;
4076 struct drm_file *file_priv ;
4077 int context ;
4078 int while_locked ;
4079 enum ldv_22760 list ;
4080 int dev_priv_size ;
4081 void *dev_private ;
4082};
4083#line 358 "include/drm/drmP.h"
4084struct drm_waitlist {
4085 int count ;
4086 struct drm_buf **bufs ;
4087 struct drm_buf **rp ;
4088 struct drm_buf **wp ;
4089 struct drm_buf **end ;
4090 spinlock_t read_lock ;
4091 spinlock_t write_lock ;
4092};
4093#line 369 "include/drm/drmP.h"
4094struct drm_freelist {
4095 int initialized ;
4096 atomic_t count ;
4097 struct drm_buf *next ;
4098 wait_queue_head_t waiting ;
4099 int low_mark ;
4100 int high_mark ;
4101 atomic_t wfh ;
4102 spinlock_t lock ;
4103};
4104#line 381 "include/drm/drmP.h"
4105struct drm_dma_handle {
4106 dma_addr_t busaddr ;
4107 void *vaddr ;
4108 size_t size ;
4109};
4110#line 386 "include/drm/drmP.h"
4111typedef struct drm_dma_handle drm_dma_handle_t;
4112#line 387 "include/drm/drmP.h"
4113struct drm_buf_entry {
4114 int buf_size ;
4115 int buf_count ;
4116 struct drm_buf *buflist ;
4117 int seg_count ;
4118 int page_order ;
4119 struct drm_dma_handle **seglist ;
4120 struct drm_freelist freelist ;
4121};
4122#line 401 "include/drm/drmP.h"
4123struct drm_pending_event {
4124 struct drm_event *event ;
4125 struct list_head link ;
4126 struct drm_file *file_priv ;
4127 pid_t pid ;
4128 void (*destroy)(struct drm_pending_event * ) ;
4129};
4130#line 411
4131struct drm_minor;
4132#line 411
4133struct drm_minor;
4134#line 411
4135struct drm_master;
4136#line 411
4137struct drm_master;
4138#line 411 "include/drm/drmP.h"
4139struct drm_file {
4140 int authenticated ;
4141 pid_t pid ;
4142 uid_t uid ;
4143 drm_magic_t magic ;
4144 unsigned long ioctl_count ;
4145 struct list_head lhead ;
4146 struct drm_minor *minor ;
4147 unsigned long lock_count ;
4148 struct idr object_idr ;
4149 spinlock_t table_lock ;
4150 struct file *filp ;
4151 void *driver_priv ;
4152 int is_master ;
4153 struct drm_master *master ;
4154 struct list_head fbs ;
4155 wait_queue_head_t event_wait ;
4156 struct list_head event_list ;
4157 int event_space ;
4158};
4159#line 440 "include/drm/drmP.h"
4160struct drm_queue {
4161 atomic_t use_count ;
4162 atomic_t finalization ;
4163 atomic_t block_count ;
4164 atomic_t block_read ;
4165 wait_queue_head_t read_queue ;
4166 atomic_t block_write ;
4167 wait_queue_head_t write_queue ;
4168 atomic_t total_queued ;
4169 atomic_t total_flushed ;
4170 atomic_t total_locks ;
4171 enum drm_ctx_flags flags ;
4172 struct drm_waitlist waitlist ;
4173 wait_queue_head_t flush_queue ;
4174};
4175#line 457 "include/drm/drmP.h"
4176struct drm_lock_data {
4177 struct drm_hw_lock *hw_lock ;
4178 struct drm_file *file_priv ;
4179 wait_queue_head_t lock_queue ;
4180 unsigned long lock_time ;
4181 spinlock_t spinlock ;
4182 uint32_t kernel_waiters ;
4183 uint32_t user_waiters ;
4184 int idle_has_lock ;
4185};
4186#line 472
4187enum ldv_22785 {
4188 _DRM_DMA_USE_AGP = 1,
4189 _DRM_DMA_USE_SG = 2,
4190 _DRM_DMA_USE_FB = 4,
4191 _DRM_DMA_USE_PCI_RO = 8
4192} ;
4193#line 479 "include/drm/drmP.h"
4194struct drm_device_dma {
4195 struct drm_buf_entry bufs[23U] ;
4196 int buf_count ;
4197 struct drm_buf **buflist ;
4198 int seg_count ;
4199 int page_count ;
4200 unsigned long *pagelist ;
4201 unsigned long byte_count ;
4202 enum ldv_22785 flags ;
4203};
4204#line 504 "include/drm/drmP.h"
4205struct drm_agp_head {
4206 struct agp_kern_info agp_info ;
4207 struct list_head memory ;
4208 unsigned long mode ;
4209 struct agp_bridge_data *bridge ;
4210 int enabled ;
4211 int acquired ;
4212 unsigned long base ;
4213 int agp_mtrr ;
4214 int cant_use_aperture ;
4215 unsigned long page_mask ;
4216};
4217#line 522 "include/drm/drmP.h"
4218struct drm_sg_mem {
4219 unsigned long handle ;
4220 void *virtual ;
4221 int pages ;
4222 struct page **pagelist ;
4223 dma_addr_t *busaddr ;
4224};
4225#line 533 "include/drm/drmP.h"
4226struct drm_sigdata {
4227 int context ;
4228 struct drm_hw_lock *lock ;
4229};
4230#line 538 "include/drm/drmP.h"
4231struct drm_local_map {
4232 resource_size_t offset ;
4233 unsigned long size ;
4234 enum drm_map_type type ;
4235 enum drm_map_flags flags ;
4236 void *handle ;
4237 int mtrr ;
4238};
4239#line 553 "include/drm/drmP.h"
4240typedef struct drm_local_map drm_local_map_t;
4241#line 554 "include/drm/drmP.h"
4242struct drm_map_list {
4243 struct list_head head ;
4244 struct drm_hash_item hash ;
4245 struct drm_local_map *map ;
4246 uint64_t user_token ;
4247 struct drm_master *master ;
4248 struct drm_mm_node *file_offset_node ;
4249};
4250#line 602 "include/drm/drmP.h"
4251struct drm_gem_object {
4252 struct kref refcount ;
4253 atomic_t handle_count ;
4254 struct drm_device *dev ;
4255 struct file *filp ;
4256 struct drm_map_list map_list ;
4257 size_t size ;
4258 int name ;
4259 uint32_t read_domains ;
4260 uint32_t write_domain ;
4261 uint32_t pending_read_domains ;
4262 uint32_t pending_write_domain ;
4263 void *driver_private ;
4264};
4265#line 26 "include/linux/of.h"
4266typedef u32 phandle;
4267#line 28 "include/linux/of.h"
4268struct property {
4269 char *name ;
4270 int length ;
4271 void *value ;
4272 struct property *next ;
4273 unsigned long _flags ;
4274 unsigned int unique_id ;
4275};
4276#line 37 "include/linux/of.h"
4277struct device_node {
4278 char const *name ;
4279 char const *type ;
4280 phandle phandle ;
4281 char *full_name ;
4282 struct property *properties ;
4283 struct property *deadprops ;
4284 struct device_node *parent ;
4285 struct device_node *child ;
4286 struct device_node *sibling ;
4287 struct device_node *next ;
4288 struct device_node *allnext ;
4289 struct proc_dir_entry *pde ;
4290 struct kref kref ;
4291 unsigned long _flags ;
4292 void *data ;
4293};
4294#line 40 "include/linux/i2c.h"
4295struct i2c_msg;
4296#line 40
4297struct i2c_msg;
4298#line 41
4299struct i2c_algorithm;
4300#line 41
4301struct i2c_algorithm;
4302#line 42
4303struct i2c_adapter;
4304#line 42
4305struct i2c_adapter;
4306#line 45
4307union i2c_smbus_data;
4308#line 45
4309union i2c_smbus_data;
4310#line 317 "include/linux/i2c.h"
4311struct i2c_algorithm {
4312 int (*master_xfer)(struct i2c_adapter * , struct i2c_msg * , int ) ;
4313 int (*smbus_xfer)(struct i2c_adapter * , u16 , unsigned short , char , u8 ,
4314 int , union i2c_smbus_data * ) ;
4315 u32 (*functionality)(struct i2c_adapter * ) ;
4316};
4317#line 349 "include/linux/i2c.h"
4318struct i2c_adapter {
4319 struct module *owner ;
4320 unsigned int class ;
4321 struct i2c_algorithm const *algo ;
4322 void *algo_data ;
4323 struct rt_mutex bus_lock ;
4324 int timeout ;
4325 int retries ;
4326 struct device dev ;
4327 int nr ;
4328 char name[48U] ;
4329 struct completion dev_released ;
4330 struct mutex userspace_clients_lock ;
4331 struct list_head userspace_clients ;
4332};
4333#line 471 "include/linux/i2c.h"
4334struct i2c_msg {
4335 __u16 addr ;
4336 __u16 flags ;
4337 __u16 len ;
4338 __u8 *buf ;
4339};
4340#line 523 "include/linux/i2c.h"
4341union i2c_smbus_data {
4342 __u8 byte ;
4343 __u16 word ;
4344 __u8 block[34U] ;
4345};
4346#line 188 "include/linux/serial.h"
4347struct serial_icounter_struct {
4348 int cts ;
4349 int dsr ;
4350 int rng ;
4351 int dcd ;
4352 int rx ;
4353 int tx ;
4354 int frame ;
4355 int overrun ;
4356 int parity ;
4357 int brk ;
4358 int buf_overrun ;
4359 int reserved[9U] ;
4360};
4361#line 6 "include/asm-generic/termbits.h"
4362typedef unsigned char cc_t;
4363#line 7 "include/asm-generic/termbits.h"
4364typedef unsigned int speed_t;
4365#line 8 "include/asm-generic/termbits.h"
4366typedef unsigned int tcflag_t;
4367#line 30 "include/asm-generic/termbits.h"
4368struct ktermios {
4369 tcflag_t c_iflag ;
4370 tcflag_t c_oflag ;
4371 tcflag_t c_cflag ;
4372 tcflag_t c_lflag ;
4373 cc_t c_line ;
4374 cc_t c_cc[19U] ;
4375 speed_t c_ispeed ;
4376 speed_t c_ospeed ;
4377};
4378#line 41 "include/asm-generic/termbits.h"
4379struct winsize {
4380 unsigned short ws_row ;
4381 unsigned short ws_col ;
4382 unsigned short ws_xpixel ;
4383 unsigned short ws_ypixel ;
4384};
4385#line 138 "include/asm-generic/termios.h"
4386struct termiox {
4387 __u16 x_hflag ;
4388 __u16 x_cflag ;
4389 __u16 x_rflag[5U] ;
4390 __u16 x_sflag ;
4391};
4392#line 16 "include/linux/termios.h"
4393struct tty_operations {
4394 struct tty_struct *(*lookup)(struct tty_driver * , struct inode * , int ) ;
4395 int (*install)(struct tty_driver * , struct tty_struct * ) ;
4396 void (*remove)(struct tty_driver * , struct tty_struct * ) ;
4397 int (*open)(struct tty_struct * , struct file * ) ;
4398 void (*close)(struct tty_struct * , struct file * ) ;
4399 void (*shutdown)(struct tty_struct * ) ;
4400 void (*cleanup)(struct tty_struct * ) ;
4401 int (*write)(struct tty_struct * , unsigned char const * , int ) ;
4402 int (*put_char)(struct tty_struct * , unsigned char ) ;
4403 void (*flush_chars)(struct tty_struct * ) ;
4404 int (*write_room)(struct tty_struct * ) ;
4405 int (*chars_in_buffer)(struct tty_struct * ) ;
4406 int (*ioctl)(struct tty_struct * , unsigned int , unsigned long ) ;
4407 long (*compat_ioctl)(struct tty_struct * , unsigned int , unsigned long ) ;
4408 void (*set_termios)(struct tty_struct * , struct ktermios * ) ;
4409 void (*throttle)(struct tty_struct * ) ;
4410 void (*unthrottle)(struct tty_struct * ) ;
4411 void (*stop)(struct tty_struct * ) ;
4412 void (*start)(struct tty_struct * ) ;
4413 void (*hangup)(struct tty_struct * ) ;
4414 int (*break_ctl)(struct tty_struct * , int ) ;
4415 void (*flush_buffer)(struct tty_struct * ) ;
4416 void (*set_ldisc)(struct tty_struct * ) ;
4417 void (*wait_until_sent)(struct tty_struct * , int ) ;
4418 void (*send_xchar)(struct tty_struct * , char ) ;
4419 int (*tiocmget)(struct tty_struct * ) ;
4420 int (*tiocmset)(struct tty_struct * , unsigned int , unsigned int ) ;
4421 int (*resize)(struct tty_struct * , struct winsize * ) ;
4422 int (*set_termiox)(struct tty_struct * , struct termiox * ) ;
4423 int (*get_icount)(struct tty_struct * , struct serial_icounter_struct * ) ;
4424 int (*poll_init)(struct tty_driver * , int , char * ) ;
4425 int (*poll_get_char)(struct tty_driver * , int ) ;
4426 void (*poll_put_char)(struct tty_driver * , int , char ) ;
4427 struct file_operations const *proc_fops ;
4428};
4429#line 287 "include/linux/tty_driver.h"
4430struct tty_driver {
4431 int magic ;
4432 struct kref kref ;
4433 struct cdev cdev ;
4434 struct module *owner ;
4435 char const *driver_name ;
4436 char const *name ;
4437 int name_base ;
4438 int major ;
4439 int minor_start ;
4440 int minor_num ;
4441 int num ;
4442 short type ;
4443 short subtype ;
4444 struct ktermios init_termios ;
4445 int flags ;
4446 struct proc_dir_entry *proc_entry ;
4447 struct tty_driver *other ;
4448 struct tty_struct **ttys ;
4449 struct ktermios **termios ;
4450 struct ktermios **termios_locked ;
4451 void *driver_state ;
4452 struct tty_operations const *ops ;
4453 struct list_head tty_drivers ;
4454};
4455#line 48 "include/linux/pps_kernel.h"
4456struct pps_event_time {
4457 struct timespec ts_real ;
4458};
4459#line 116 "include/linux/pps_kernel.h"
4460struct tty_ldisc_ops {
4461 int magic ;
4462 char *name ;
4463 int num ;
4464 int flags ;
4465 int (*open)(struct tty_struct * ) ;
4466 void (*close)(struct tty_struct * ) ;
4467 void (*flush_buffer)(struct tty_struct * ) ;
4468 ssize_t (*chars_in_buffer)(struct tty_struct * ) ;
4469 ssize_t (*read)(struct tty_struct * , struct file * , unsigned char * , size_t ) ;
4470 ssize_t (*write)(struct tty_struct * , struct file * , unsigned char const * ,
4471 size_t ) ;
4472 int (*ioctl)(struct tty_struct * , struct file * , unsigned int , unsigned long ) ;
4473 long (*compat_ioctl)(struct tty_struct * , struct file * , unsigned int , unsigned long ) ;
4474 void (*set_termios)(struct tty_struct * , struct ktermios * ) ;
4475 unsigned int (*poll)(struct tty_struct * , struct file * , struct poll_table_struct * ) ;
4476 int (*hangup)(struct tty_struct * ) ;
4477 void (*receive_buf)(struct tty_struct * , unsigned char const * , char * , int ) ;
4478 void (*write_wakeup)(struct tty_struct * ) ;
4479 void (*dcd_change)(struct tty_struct * , unsigned int , struct pps_event_time * ) ;
4480 struct module *owner ;
4481 int refcount ;
4482};
4483#line 153 "include/linux/tty_ldisc.h"
4484struct tty_ldisc {
4485 struct tty_ldisc_ops *ops ;
4486 atomic_t users ;
4487};
4488#line 158 "include/linux/tty_ldisc.h"
4489struct tty_buffer {
4490 struct tty_buffer *next ;
4491 char *char_buf_ptr ;
4492 unsigned char *flag_buf_ptr ;
4493 int used ;
4494 int size ;
4495 int commit ;
4496 int read ;
4497 unsigned long data[0U] ;
4498};
4499#line 74 "include/linux/tty.h"
4500struct tty_bufhead {
4501 struct work_struct work ;
4502 spinlock_t lock ;
4503 struct tty_buffer *head ;
4504 struct tty_buffer *tail ;
4505 struct tty_buffer *free ;
4506 int memory_used ;
4507};
4508#line 94
4509struct tty_port;
4510#line 94
4511struct tty_port;
4512#line 95 "include/linux/tty.h"
4513struct tty_port_operations {
4514 int (*carrier_raised)(struct tty_port * ) ;
4515 void (*dtr_rts)(struct tty_port * , int ) ;
4516 void (*shutdown)(struct tty_port * ) ;
4517 void (*drop)(struct tty_port * ) ;
4518 int (*activate)(struct tty_port * , struct tty_struct * ) ;
4519 void (*destruct)(struct tty_port * ) ;
4520};
4521#line 221 "include/linux/tty.h"
4522struct tty_port {
4523 struct tty_struct *tty ;
4524 struct tty_port_operations const *ops ;
4525 spinlock_t lock ;
4526 int blocked_open ;
4527 int count ;
4528 wait_queue_head_t open_wait ;
4529 wait_queue_head_t close_wait ;
4530 wait_queue_head_t delta_msr_wait ;
4531 unsigned long flags ;
4532 unsigned char console : 1 ;
4533 struct mutex mutex ;
4534 struct mutex buf_mutex ;
4535 unsigned char *xmit_buf ;
4536 unsigned int close_delay ;
4537 unsigned int closing_wait ;
4538 int drain_delay ;
4539 struct kref kref ;
4540};
4541#line 243 "include/linux/tty.h"
4542struct tty_struct {
4543 int magic ;
4544 struct kref kref ;
4545 struct device *dev ;
4546 struct tty_driver *driver ;
4547 struct tty_operations const *ops ;
4548 int index ;
4549 struct mutex ldisc_mutex ;
4550 struct tty_ldisc *ldisc ;
4551 struct mutex termios_mutex ;
4552 spinlock_t ctrl_lock ;
4553 struct ktermios *termios ;
4554 struct ktermios *termios_locked ;
4555 struct termiox *termiox ;
4556 char name[64U] ;
4557 struct pid *pgrp ;
4558 struct pid *session ;
4559 unsigned long flags ;
4560 int count ;
4561 struct winsize winsize ;
4562 unsigned char stopped : 1 ;
4563 unsigned char hw_stopped : 1 ;
4564 unsigned char flow_stopped : 1 ;
4565 unsigned char packet : 1 ;
4566 unsigned char low_latency : 1 ;
4567 unsigned char warned : 1 ;
4568 unsigned char ctrl_status ;
4569 unsigned int receive_room ;
4570 struct tty_struct *link ;
4571 struct fasync_struct *fasync ;
4572 struct tty_bufhead buf ;
4573 int alt_speed ;
4574 wait_queue_head_t write_wait ;
4575 wait_queue_head_t read_wait ;
4576 struct work_struct hangup_work ;
4577 void *disc_data ;
4578 void *driver_data ;
4579 struct list_head tty_files ;
4580 unsigned int column ;
4581 unsigned char lnext : 1 ;
4582 unsigned char erasing : 1 ;
4583 unsigned char raw : 1 ;
4584 unsigned char real_raw : 1 ;
4585 unsigned char icanon : 1 ;
4586 unsigned char closing : 1 ;
4587 unsigned char echo_overrun : 1 ;
4588 unsigned short minimum_to_wake ;
4589 unsigned long overrun_time ;
4590 int num_overrun ;
4591 unsigned long process_char_map[4U] ;
4592 char *read_buf ;
4593 int read_head ;
4594 int read_tail ;
4595 int read_cnt ;
4596 unsigned long read_flags[64U] ;
4597 unsigned char *echo_buf ;
4598 unsigned int echo_pos ;
4599 unsigned int echo_cnt ;
4600 int canon_data ;
4601 unsigned long canon_head ;
4602 unsigned int canon_column ;
4603 struct mutex atomic_read_lock ;
4604 struct mutex atomic_write_lock ;
4605 struct mutex output_lock ;
4606 struct mutex echo_lock ;
4607 unsigned char *write_buf ;
4608 int write_cnt ;
4609 spinlock_t read_lock ;
4610 struct work_struct SAK_work ;
4611 struct tty_port *port ;
4612};
4613#line 308 "include/linux/kgdb.h"
4614struct fb_fix_screeninfo {
4615 char id[16U] ;
4616 unsigned long smem_start ;
4617 __u32 smem_len ;
4618 __u32 type ;
4619 __u32 type_aux ;
4620 __u32 visual ;
4621 __u16 xpanstep ;
4622 __u16 ypanstep ;
4623 __u16 ywrapstep ;
4624 __u32 line_length ;
4625 unsigned long mmio_start ;
4626 __u32 mmio_len ;
4627 __u32 accel ;
4628 __u16 reserved[3U] ;
4629};
4630#line 176 "include/linux/fb.h"
4631struct fb_bitfield {
4632 __u32 offset ;
4633 __u32 length ;
4634 __u32 msb_right ;
4635};
4636#line 192 "include/linux/fb.h"
4637struct fb_var_screeninfo {
4638 __u32 xres ;
4639 __u32 yres ;
4640 __u32 xres_virtual ;
4641 __u32 yres_virtual ;
4642 __u32 xoffset ;
4643 __u32 yoffset ;
4644 __u32 bits_per_pixel ;
4645 __u32 grayscale ;
4646 struct fb_bitfield red ;
4647 struct fb_bitfield green ;
4648 struct fb_bitfield blue ;
4649 struct fb_bitfield transp ;
4650 __u32 nonstd ;
4651 __u32 activate ;
4652 __u32 height ;
4653 __u32 width ;
4654 __u32 accel_flags ;
4655 __u32 pixclock ;
4656 __u32 left_margin ;
4657 __u32 right_margin ;
4658 __u32 upper_margin ;
4659 __u32 lower_margin ;
4660 __u32 hsync_len ;
4661 __u32 vsync_len ;
4662 __u32 sync ;
4663 __u32 vmode ;
4664 __u32 rotate ;
4665 __u32 reserved[5U] ;
4666};
4667#line 278 "include/linux/fb.h"
4668struct fb_cmap {
4669 __u32 start ;
4670 __u32 len ;
4671 __u16 *red ;
4672 __u16 *green ;
4673 __u16 *blue ;
4674 __u16 *transp ;
4675};
4676#line 334 "include/linux/fb.h"
4677struct fb_copyarea {
4678 __u32 dx ;
4679 __u32 dy ;
4680 __u32 width ;
4681 __u32 height ;
4682 __u32 sx ;
4683 __u32 sy ;
4684};
4685#line 347 "include/linux/fb.h"
4686struct fb_fillrect {
4687 __u32 dx ;
4688 __u32 dy ;
4689 __u32 width ;
4690 __u32 height ;
4691 __u32 color ;
4692 __u32 rop ;
4693};
4694#line 356 "include/linux/fb.h"
4695struct fb_image {
4696 __u32 dx ;
4697 __u32 dy ;
4698 __u32 width ;
4699 __u32 height ;
4700 __u32 fg_color ;
4701 __u32 bg_color ;
4702 __u8 depth ;
4703 char const *data ;
4704 struct fb_cmap cmap ;
4705};
4706#line 368 "include/linux/fb.h"
4707struct fbcurpos {
4708 __u16 x ;
4709 __u16 y ;
4710};
4711#line 384 "include/linux/fb.h"
4712struct fb_cursor {
4713 __u16 set ;
4714 __u16 enable ;
4715 __u16 rop ;
4716 char const *mask ;
4717 struct fbcurpos hot ;
4718 struct fb_image image ;
4719};
4720#line 398
4721enum backlight_type {
4722 BACKLIGHT_RAW = 1,
4723 BACKLIGHT_PLATFORM = 2,
4724 BACKLIGHT_FIRMWARE = 3,
4725 BACKLIGHT_TYPE_MAX = 4
4726} ;
4727#line 405
4728struct backlight_device;
4729#line 405
4730struct backlight_device;
4731#line 406
4732struct fb_info;
4733#line 406
4734struct fb_info;
4735#line 407 "include/linux/fb.h"
4736struct backlight_ops {
4737 unsigned int options ;
4738 int (*update_status)(struct backlight_device * ) ;
4739 int (*get_brightness)(struct backlight_device * ) ;
4740 int (*check_fb)(struct backlight_device * , struct fb_info * ) ;
4741};
4742#line 59 "include/linux/backlight.h"
4743struct backlight_properties {
4744 int brightness ;
4745 int max_brightness ;
4746 int power ;
4747 int fb_blank ;
4748 enum backlight_type type ;
4749 unsigned int state ;
4750};
4751#line 78 "include/linux/backlight.h"
4752struct backlight_device {
4753 struct backlight_properties props ;
4754 struct mutex update_lock ;
4755 struct mutex ops_lock ;
4756 struct backlight_ops const *ops ;
4757 struct notifier_block fb_notif ;
4758 struct device dev ;
4759};
4760#line 136 "include/linux/backlight.h"
4761struct fb_chroma {
4762 __u32 redx ;
4763 __u32 greenx ;
4764 __u32 bluex ;
4765 __u32 whitex ;
4766 __u32 redy ;
4767 __u32 greeny ;
4768 __u32 bluey ;
4769 __u32 whitey ;
4770};
4771#line 452 "include/linux/fb.h"
4772struct fb_videomode;
4773#line 452
4774struct fb_videomode;
4775#line 452 "include/linux/fb.h"
4776struct fb_monspecs {
4777 struct fb_chroma chroma ;
4778 struct fb_videomode *modedb ;
4779 __u8 manufacturer[4U] ;
4780 __u8 monitor[14U] ;
4781 __u8 serial_no[14U] ;
4782 __u8 ascii[14U] ;
4783 __u32 modedb_len ;
4784 __u32 model ;
4785 __u32 serial ;
4786 __u32 year ;
4787 __u32 week ;
4788 __u32 hfmin ;
4789 __u32 hfmax ;
4790 __u32 dclkmin ;
4791 __u32 dclkmax ;
4792 __u16 input ;
4793 __u16 dpms ;
4794 __u16 signal ;
4795 __u16 vfmin ;
4796 __u16 vfmax ;
4797 __u16 gamma ;
4798 unsigned char gtf : 1 ;
4799 __u16 misc ;
4800 __u8 version ;
4801 __u8 revision ;
4802 __u8 max_x ;
4803 __u8 max_y ;
4804};
4805#line 557 "include/linux/fb.h"
4806struct fb_blit_caps {
4807 u32 x ;
4808 u32 y ;
4809 u32 len ;
4810 u32 flags ;
4811};
4812#line 568 "include/linux/fb.h"
4813struct fb_pixmap {
4814 u8 *addr ;
4815 u32 size ;
4816 u32 offset ;
4817 u32 buf_align ;
4818 u32 scan_align ;
4819 u32 access_align ;
4820 u32 flags ;
4821 u32 blit_x ;
4822 u32 blit_y ;
4823 void (*writeio)(struct fb_info * , void * , void * , unsigned int ) ;
4824 void (*readio)(struct fb_info * , void * , void * , unsigned int ) ;
4825};
4826#line 597 "include/linux/fb.h"
4827struct fb_deferred_io {
4828 unsigned long delay ;
4829 struct mutex lock ;
4830 struct list_head pagelist ;
4831 void (*deferred_io)(struct fb_info * , struct list_head * ) ;
4832};
4833#line 607 "include/linux/fb.h"
4834struct fb_ops {
4835 struct module *owner ;
4836 int (*fb_open)(struct fb_info * , int ) ;
4837 int (*fb_release)(struct fb_info * , int ) ;
4838 ssize_t (*fb_read)(struct fb_info * , char * , size_t , loff_t * ) ;
4839 ssize_t (*fb_write)(struct fb_info * , char const * , size_t , loff_t * ) ;
4840 int (*fb_check_var)(struct fb_var_screeninfo * , struct fb_info * ) ;
4841 int (*fb_set_par)(struct fb_info * ) ;
4842 int (*fb_setcolreg)(unsigned int , unsigned int , unsigned int , unsigned int ,
4843 unsigned int , struct fb_info * ) ;
4844 int (*fb_setcmap)(struct fb_cmap * , struct fb_info * ) ;
4845 int (*fb_blank)(int , struct fb_info * ) ;
4846 int (*fb_pan_display)(struct fb_var_screeninfo * , struct fb_info * ) ;
4847 void (*fb_fillrect)(struct fb_info * , struct fb_fillrect const * ) ;
4848 void (*fb_copyarea)(struct fb_info * , struct fb_copyarea const * ) ;
4849 void (*fb_imageblit)(struct fb_info * , struct fb_image const * ) ;
4850 int (*fb_cursor)(struct fb_info * , struct fb_cursor * ) ;
4851 void (*fb_rotate)(struct fb_info * , int ) ;
4852 int (*fb_sync)(struct fb_info * ) ;
4853 int (*fb_ioctl)(struct fb_info * , unsigned int , unsigned long ) ;
4854 int (*fb_compat_ioctl)(struct fb_info * , unsigned int , unsigned long ) ;
4855 int (*fb_mmap)(struct fb_info * , struct vm_area_struct * ) ;
4856 void (*fb_get_caps)(struct fb_info * , struct fb_blit_caps * , struct fb_var_screeninfo * ) ;
4857 void (*fb_destroy)(struct fb_info * ) ;
4858 int (*fb_debug_enter)(struct fb_info * ) ;
4859 int (*fb_debug_leave)(struct fb_info * ) ;
4860};
4861#line 695 "include/linux/fb.h"
4862struct fb_tilemap {
4863 __u32 width ;
4864 __u32 height ;
4865 __u32 depth ;
4866 __u32 length ;
4867 __u8 const *data ;
4868};
4869#line 711 "include/linux/fb.h"
4870struct fb_tilerect {
4871 __u32 sx ;
4872 __u32 sy ;
4873 __u32 width ;
4874 __u32 height ;
4875 __u32 index ;
4876 __u32 fg ;
4877 __u32 bg ;
4878 __u32 rop ;
4879};
4880#line 723 "include/linux/fb.h"
4881struct fb_tilearea {
4882 __u32 sx ;
4883 __u32 sy ;
4884 __u32 dx ;
4885 __u32 dy ;
4886 __u32 width ;
4887 __u32 height ;
4888};
4889#line 732 "include/linux/fb.h"
4890struct fb_tileblit {
4891 __u32 sx ;
4892 __u32 sy ;
4893 __u32 width ;
4894 __u32 height ;
4895 __u32 fg ;
4896 __u32 bg ;
4897 __u32 length ;
4898 __u32 *indices ;
4899};
4900#line 743 "include/linux/fb.h"
4901struct fb_tilecursor {
4902 __u32 sx ;
4903 __u32 sy ;
4904 __u32 mode ;
4905 __u32 shape ;
4906 __u32 fg ;
4907 __u32 bg ;
4908};
4909#line 752 "include/linux/fb.h"
4910struct fb_tile_ops {
4911 void (*fb_settile)(struct fb_info * , struct fb_tilemap * ) ;
4912 void (*fb_tilecopy)(struct fb_info * , struct fb_tilearea * ) ;
4913 void (*fb_tilefill)(struct fb_info * , struct fb_tilerect * ) ;
4914 void (*fb_tileblit)(struct fb_info * , struct fb_tileblit * ) ;
4915 void (*fb_tilecursor)(struct fb_info * , struct fb_tilecursor * ) ;
4916 int (*fb_get_tilemax)(struct fb_info * ) ;
4917};
4918#line 771 "include/linux/fb.h"
4919struct aperture {
4920 resource_size_t base ;
4921 resource_size_t size ;
4922};
4923#line 890 "include/linux/fb.h"
4924struct apertures_struct {
4925 unsigned int count ;
4926 struct aperture ranges[0U] ;
4927};
4928#line 891 "include/linux/fb.h"
4929struct fb_info {
4930 atomic_t count ;
4931 int node ;
4932 int flags ;
4933 struct mutex lock ;
4934 struct mutex mm_lock ;
4935 struct fb_var_screeninfo var ;
4936 struct fb_fix_screeninfo fix ;
4937 struct fb_monspecs monspecs ;
4938 struct work_struct queue ;
4939 struct fb_pixmap pixmap ;
4940 struct fb_pixmap sprite ;
4941 struct fb_cmap cmap ;
4942 struct list_head modelist ;
4943 struct fb_videomode *mode ;
4944 struct backlight_device *bl_dev ;
4945 struct mutex bl_curve_mutex ;
4946 u8 bl_curve[128U] ;
4947 struct delayed_work deferred_work ;
4948 struct fb_deferred_io *fbdefio ;
4949 struct fb_ops *fbops ;
4950 struct device *device ;
4951 struct device *dev ;
4952 int class_flag ;
4953 struct fb_tile_ops *tileops ;
4954 char *screen_base ;
4955 unsigned long screen_size ;
4956 void *pseudo_palette ;
4957 u32 state ;
4958 void *fbcon_par ;
4959 void *par ;
4960 struct apertures_struct *apertures ;
4961};
4962#line 1138 "include/linux/fb.h"
4963struct fb_videomode {
4964 char const *name ;
4965 u32 refresh ;
4966 u32 xres ;
4967 u32 yres ;
4968 u32 pixclock ;
4969 u32 left_margin ;
4970 u32 right_margin ;
4971 u32 upper_margin ;
4972 u32 lower_margin ;
4973 u32 hsync_len ;
4974 u32 vsync_len ;
4975 u32 sync ;
4976 u32 vmode ;
4977 u32 flag ;
4978};
4979#line 1166
4980struct drm_mode_set;
4981#line 1166
4982struct drm_mode_set;
4983#line 1167
4984struct drm_framebuffer;
4985#line 1167
4986struct drm_framebuffer;
4987#line 1168 "include/linux/fb.h"
4988struct drm_mode_object {
4989 uint32_t id ;
4990 uint32_t type ;
4991};
4992#line 52 "include/drm/drm_crtc.h"
4993enum drm_mode_status {
4994 MODE_OK = 0,
4995 MODE_HSYNC = 1,
4996 MODE_VSYNC = 2,
4997 MODE_H_ILLEGAL = 3,
4998 MODE_V_ILLEGAL = 4,
4999 MODE_BAD_WIDTH = 5,
5000 MODE_NOMODE = 6,
5001 MODE_NO_INTERLACE = 7,
5002 MODE_NO_DBLESCAN = 8,
5003 MODE_NO_VSCAN = 9,
5004 MODE_MEM = 10,
5005 MODE_VIRTUAL_X = 11,
5006 MODE_VIRTUAL_Y = 12,
5007 MODE_MEM_VIRT = 13,
5008 MODE_NOCLOCK = 14,
5009 MODE_CLOCK_HIGH = 15,
5010 MODE_CLOCK_LOW = 16,
5011 MODE_CLOCK_RANGE = 17,
5012 MODE_BAD_HVALUE = 18,
5013 MODE_BAD_VVALUE = 19,
5014 MODE_BAD_VSCAN = 20,
5015 MODE_HSYNC_NARROW = 21,
5016 MODE_HSYNC_WIDE = 22,
5017 MODE_HBLANK_NARROW = 23,
5018 MODE_HBLANK_WIDE = 24,
5019 MODE_VSYNC_NARROW = 25,
5020 MODE_VSYNC_WIDE = 26,
5021 MODE_VBLANK_NARROW = 27,
5022 MODE_VBLANK_WIDE = 28,
5023 MODE_PANEL = 29,
5024 MODE_INTERLACE_WIDTH = 30,
5025 MODE_ONE_WIDTH = 31,
5026 MODE_ONE_HEIGHT = 32,
5027 MODE_ONE_SIZE = 33,
5028 MODE_NO_REDUCED = 34,
5029 MODE_UNVERIFIED = -3,
5030 MODE_BAD = -2,
5031 MODE_ERROR = -1
5032} ;
5033#line 93 "include/drm/drm_crtc.h"
5034struct drm_display_mode {
5035 struct list_head head ;
5036 struct drm_mode_object base ;
5037 char name[32U] ;
5038 int connector_count ;
5039 enum drm_mode_status status ;
5040 int type ;
5041 int clock ;
5042 int hdisplay ;
5043 int hsync_start ;
5044 int hsync_end ;
5045 int htotal ;
5046 int hskew ;
5047 int vdisplay ;
5048 int vsync_start ;
5049 int vsync_end ;
5050 int vtotal ;
5051 int vscan ;
5052 unsigned int flags ;
5053 int width_mm ;
5054 int height_mm ;
5055 int clock_index ;
5056 int synth_clock ;
5057 int crtc_hdisplay ;
5058 int crtc_hblank_start ;
5059 int crtc_hblank_end ;
5060 int crtc_hsync_start ;
5061 int crtc_hsync_end ;
5062 int crtc_htotal ;
5063 int crtc_hskew ;
5064 int crtc_vdisplay ;
5065 int crtc_vblank_start ;
5066 int crtc_vblank_end ;
5067 int crtc_vsync_start ;
5068 int crtc_vsync_end ;
5069 int crtc_vtotal ;
5070 int crtc_hadjusted ;
5071 int crtc_vadjusted ;
5072 int private_size ;
5073 int *private ;
5074 int private_flags ;
5075 int vrefresh ;
5076 int hsync ;
5077};
5078#line 170
5079enum drm_connector_status {
5080 connector_status_connected = 1,
5081 connector_status_disconnected = 2,
5082 connector_status_unknown = 3
5083} ;
5084#line 176
5085enum subpixel_order {
5086 SubPixelUnknown = 0,
5087 SubPixelHorizontalRGB = 1,
5088 SubPixelHorizontalBGR = 2,
5089 SubPixelVerticalRGB = 3,
5090 SubPixelVerticalBGR = 4,
5091 SubPixelNone = 5
5092} ;
5093#line 185 "include/drm/drm_crtc.h"
5094struct drm_display_info {
5095 char name[32U] ;
5096 unsigned int width_mm ;
5097 unsigned int height_mm ;
5098 unsigned int min_vfreq ;
5099 unsigned int max_vfreq ;
5100 unsigned int min_hfreq ;
5101 unsigned int max_hfreq ;
5102 unsigned int pixel_clock ;
5103 unsigned int bpc ;
5104 enum subpixel_order subpixel_order ;
5105 u32 color_formats ;
5106 char *raw_edid ;
5107};
5108#line 210 "include/drm/drm_crtc.h"
5109struct drm_framebuffer_funcs {
5110 void (*destroy)(struct drm_framebuffer * ) ;
5111 int (*create_handle)(struct drm_framebuffer * , struct drm_file * , unsigned int * ) ;
5112 int (*dirty)(struct drm_framebuffer * , struct drm_file * , unsigned int , unsigned int ,
5113 struct drm_clip_rect * , unsigned int ) ;
5114};
5115#line 230 "include/drm/drm_crtc.h"
5116struct drm_framebuffer {
5117 struct drm_device *dev ;
5118 struct list_head head ;
5119 struct drm_mode_object base ;
5120 struct drm_framebuffer_funcs const *funcs ;
5121 unsigned int pitch ;
5122 unsigned int width ;
5123 unsigned int height ;
5124 unsigned int depth ;
5125 int bits_per_pixel ;
5126 int flags ;
5127 struct list_head filp_head ;
5128 void *helper_private ;
5129};
5130#line 250 "include/drm/drm_crtc.h"
5131struct drm_property_blob {
5132 struct drm_mode_object base ;
5133 struct list_head head ;
5134 unsigned int length ;
5135 void *data ;
5136};
5137#line 263 "include/drm/drm_crtc.h"
5138struct drm_property {
5139 struct list_head head ;
5140 struct drm_mode_object base ;
5141 uint32_t flags ;
5142 char name[32U] ;
5143 uint32_t num_values ;
5144 uint64_t *values ;
5145 struct list_head enum_blob_list ;
5146};
5147#line 274
5148struct drm_crtc;
5149#line 274
5150struct drm_crtc;
5151#line 275
5152struct drm_connector;
5153#line 275
5154struct drm_connector;
5155#line 276
5156struct drm_encoder;
5157#line 276
5158struct drm_encoder;
5159#line 277
5160struct drm_pending_vblank_event;
5161#line 277
5162struct drm_pending_vblank_event;
5163#line 278 "include/drm/drm_crtc.h"
5164struct drm_crtc_funcs {
5165 void (*save)(struct drm_crtc * ) ;
5166 void (*restore)(struct drm_crtc * ) ;
5167 void (*reset)(struct drm_crtc * ) ;
5168 int (*cursor_set)(struct drm_crtc * , struct drm_file * , uint32_t , uint32_t ,
5169 uint32_t ) ;
5170 int (*cursor_move)(struct drm_crtc * , int , int ) ;
5171 void (*gamma_set)(struct drm_crtc * , u16 * , u16 * , u16 * , uint32_t , uint32_t ) ;
5172 void (*destroy)(struct drm_crtc * ) ;
5173 int (*set_config)(struct drm_mode_set * ) ;
5174 int (*page_flip)(struct drm_crtc * , struct drm_framebuffer * , struct drm_pending_vblank_event * ) ;
5175};
5176#line 337 "include/drm/drm_crtc.h"
5177struct drm_crtc {
5178 struct drm_device *dev ;
5179 struct list_head head ;
5180 struct drm_mode_object base ;
5181 struct drm_framebuffer *fb ;
5182 bool enabled ;
5183 struct drm_display_mode mode ;
5184 struct drm_display_mode hwmode ;
5185 int x ;
5186 int y ;
5187 struct drm_crtc_funcs const *funcs ;
5188 uint32_t gamma_size ;
5189 uint16_t *gamma_store ;
5190 s64 framedur_ns ;
5191 s64 linedur_ns ;
5192 s64 pixeldur_ns ;
5193 void *helper_private ;
5194};
5195#line 382 "include/drm/drm_crtc.h"
5196struct drm_connector_funcs {
5197 void (*dpms)(struct drm_connector * , int ) ;
5198 void (*save)(struct drm_connector * ) ;
5199 void (*restore)(struct drm_connector * ) ;
5200 void (*reset)(struct drm_connector * ) ;
5201 enum drm_connector_status (*detect)(struct drm_connector * , bool ) ;
5202 int (*fill_modes)(struct drm_connector * , uint32_t , uint32_t ) ;
5203 int (*set_property)(struct drm_connector * , struct drm_property * , uint64_t ) ;
5204 void (*destroy)(struct drm_connector * ) ;
5205 void (*force)(struct drm_connector * ) ;
5206};
5207#line 423 "include/drm/drm_crtc.h"
5208struct drm_encoder_funcs {
5209 void (*reset)(struct drm_encoder * ) ;
5210 void (*destroy)(struct drm_encoder * ) ;
5211};
5212#line 428 "include/drm/drm_crtc.h"
5213struct drm_encoder {
5214 struct drm_device *dev ;
5215 struct list_head head ;
5216 struct drm_mode_object base ;
5217 int encoder_type ;
5218 uint32_t possible_crtcs ;
5219 uint32_t possible_clones ;
5220 struct drm_crtc *crtc ;
5221 struct drm_encoder_funcs const *funcs ;
5222 void *helper_private ;
5223};
5224#line 450
5225enum drm_connector_force {
5226 DRM_FORCE_UNSPECIFIED = 0,
5227 DRM_FORCE_OFF = 1,
5228 DRM_FORCE_ON = 2,
5229 DRM_FORCE_ON_DIGITAL = 3
5230} ;
5231#line 457 "include/drm/drm_crtc.h"
5232struct drm_connector {
5233 struct drm_device *dev ;
5234 struct device kdev ;
5235 struct device_attribute *attr ;
5236 struct list_head head ;
5237 struct drm_mode_object base ;
5238 int connector_type ;
5239 int connector_type_id ;
5240 bool interlace_allowed ;
5241 bool doublescan_allowed ;
5242 struct list_head modes ;
5243 int initial_x ;
5244 int initial_y ;
5245 enum drm_connector_status status ;
5246 struct list_head probed_modes ;
5247 struct drm_display_info display_info ;
5248 struct drm_connector_funcs const *funcs ;
5249 struct list_head user_modes ;
5250 struct drm_property_blob *edid_blob_ptr ;
5251 u32 property_ids[16U] ;
5252 uint64_t property_values[16U] ;
5253 uint8_t polled ;
5254 int dpms ;
5255 void *helper_private ;
5256 enum drm_connector_force force ;
5257 uint32_t encoder_ids[2U] ;
5258 uint32_t force_encoder_id ;
5259 struct drm_encoder *encoder ;
5260 int null_edid_counter ;
5261};
5262#line 526 "include/drm/drm_crtc.h"
5263struct drm_mode_set {
5264 struct list_head head ;
5265 struct drm_framebuffer *fb ;
5266 struct drm_crtc *crtc ;
5267 struct drm_display_mode *mode ;
5268 uint32_t x ;
5269 uint32_t y ;
5270 struct drm_connector **connectors ;
5271 size_t num_connectors ;
5272};
5273#line 548 "include/drm/drm_crtc.h"
5274struct drm_mode_config_funcs {
5275 struct drm_framebuffer *(*fb_create)(struct drm_device * , struct drm_file * ,
5276 struct drm_mode_fb_cmd * ) ;
5277 void (*output_poll_changed)(struct drm_device * ) ;
5278};
5279#line 556 "include/drm/drm_crtc.h"
5280struct drm_mode_group {
5281 uint32_t num_crtcs ;
5282 uint32_t num_encoders ;
5283 uint32_t num_connectors ;
5284 uint32_t *id_list ;
5285};
5286#line 565 "include/drm/drm_crtc.h"
5287struct drm_mode_config {
5288 struct mutex mutex ;
5289 struct mutex idr_mutex ;
5290 struct idr crtc_idr ;
5291 int num_fb ;
5292 struct list_head fb_list ;
5293 int num_connector ;
5294 struct list_head connector_list ;
5295 int num_encoder ;
5296 struct list_head encoder_list ;
5297 int num_crtc ;
5298 struct list_head crtc_list ;
5299 struct list_head property_list ;
5300 int min_width ;
5301 int min_height ;
5302 int max_width ;
5303 int max_height ;
5304 struct drm_mode_config_funcs *funcs ;
5305 resource_size_t fb_base ;
5306 bool poll_enabled ;
5307 struct delayed_work output_poll_work ;
5308 struct list_head property_blob_list ;
5309 struct drm_property *edid_property ;
5310 struct drm_property *dpms_property ;
5311 struct drm_property *dvi_i_subconnector_property ;
5312 struct drm_property *dvi_i_select_subconnector_property ;
5313 struct drm_property *tv_subconnector_property ;
5314 struct drm_property *tv_select_subconnector_property ;
5315 struct drm_property *tv_mode_property ;
5316 struct drm_property *tv_left_margin_property ;
5317 struct drm_property *tv_right_margin_property ;
5318 struct drm_property *tv_top_margin_property ;
5319 struct drm_property *tv_bottom_margin_property ;
5320 struct drm_property *tv_brightness_property ;
5321 struct drm_property *tv_contrast_property ;
5322 struct drm_property *tv_flicker_reduction_property ;
5323 struct drm_property *tv_overscan_property ;
5324 struct drm_property *tv_saturation_property ;
5325 struct drm_property *tv_hue_property ;
5326 struct drm_property *scaling_mode_property ;
5327 struct drm_property *dithering_mode_property ;
5328 struct drm_property *dirty_info_property ;
5329};
5330#line 814 "include/drm/drm_crtc.h"
5331struct drm_master {
5332 struct kref refcount ;
5333 struct list_head head ;
5334 struct drm_minor *minor ;
5335 char *unique ;
5336 int unique_len ;
5337 int unique_size ;
5338 int blocked ;
5339 struct drm_open_hash magiclist ;
5340 struct list_head magicfree ;
5341 struct drm_lock_data lock ;
5342 void *driver_priv ;
5343};
5344#line 682 "include/drm/drmP.h"
5345struct drm_bus {
5346 int bus_type ;
5347 int (*get_irq)(struct drm_device * ) ;
5348 char const *(*get_name)(struct drm_device * ) ;
5349 int (*set_busid)(struct drm_device * , struct drm_master * ) ;
5350 int (*set_unique)(struct drm_device * , struct drm_master * , struct drm_unique * ) ;
5351 int (*irq_by_busid)(struct drm_device * , struct drm_irq_busid * ) ;
5352 int (*agp_init)(struct drm_device * ) ;
5353};
5354#line 709
5355struct usb_driver;
5356#line 709
5357struct usb_driver;
5358#line 709 "include/drm/drmP.h"
5359union __anonunion_kdriver_183 {
5360 struct pci_driver *pci ;
5361 struct platform_device *platform_device ;
5362 struct usb_driver *usb ;
5363};
5364#line 709 "include/drm/drmP.h"
5365struct drm_driver {
5366 int (*load)(struct drm_device * , unsigned long ) ;
5367 int (*firstopen)(struct drm_device * ) ;
5368 int (*open)(struct drm_device * , struct drm_file * ) ;
5369 void (*preclose)(struct drm_device * , struct drm_file * ) ;
5370 void (*postclose)(struct drm_device * , struct drm_file * ) ;
5371 void (*lastclose)(struct drm_device * ) ;
5372 int (*unload)(struct drm_device * ) ;
5373 int (*suspend)(struct drm_device * , pm_message_t ) ;
5374 int (*resume)(struct drm_device * ) ;
5375 int (*dma_ioctl)(struct drm_device * , void * , struct drm_file * ) ;
5376 int (*dma_quiescent)(struct drm_device * ) ;
5377 int (*context_dtor)(struct drm_device * , int ) ;
5378 u32 (*get_vblank_counter)(struct drm_device * , int ) ;
5379 int (*enable_vblank)(struct drm_device * , int ) ;
5380 void (*disable_vblank)(struct drm_device * , int ) ;
5381 int (*device_is_agp)(struct drm_device * ) ;
5382 int (*get_scanout_position)(struct drm_device * , int , int * , int * ) ;
5383 int (*get_vblank_timestamp)(struct drm_device * , int , int * , struct timeval * ,
5384 unsigned int ) ;
5385 irqreturn_t (*irq_handler)(int , void * ) ;
5386 void (*irq_preinstall)(struct drm_device * ) ;
5387 int (*irq_postinstall)(struct drm_device * ) ;
5388 void (*irq_uninstall)(struct drm_device * ) ;
5389 void (*reclaim_buffers)(struct drm_device * , struct drm_file * ) ;
5390 void (*reclaim_buffers_locked)(struct drm_device * , struct drm_file * ) ;
5391 void (*reclaim_buffers_idlelocked)(struct drm_device * , struct drm_file * ) ;
5392 void (*set_version)(struct drm_device * , struct drm_set_version * ) ;
5393 int (*master_create)(struct drm_device * , struct drm_master * ) ;
5394 void (*master_destroy)(struct drm_device * , struct drm_master * ) ;
5395 int (*master_set)(struct drm_device * , struct drm_file * , bool ) ;
5396 void (*master_drop)(struct drm_device * , struct drm_file * , bool ) ;
5397 int (*debugfs_init)(struct drm_minor * ) ;
5398 void (*debugfs_cleanup)(struct drm_minor * ) ;
5399 int (*gem_init_object)(struct drm_gem_object * ) ;
5400 void (*gem_free_object)(struct drm_gem_object * ) ;
5401 void (*vgaarb_irq)(struct drm_device * , bool ) ;
5402 int (*dumb_create)(struct drm_file * , struct drm_device * , struct drm_mode_create_dumb * ) ;
5403 int (*dumb_map_offset)(struct drm_file * , struct drm_device * , uint32_t , uint64_t * ) ;
5404 int (*dumb_destroy)(struct drm_file * , struct drm_device * , uint32_t ) ;
5405 struct vm_operations_struct *gem_vm_ops ;
5406 int major ;
5407 int minor ;
5408 int patchlevel ;
5409 char *name ;
5410 char *desc ;
5411 char *date ;
5412 u32 driver_features ;
5413 int dev_priv_size ;
5414 struct drm_ioctl_desc *ioctls ;
5415 int num_ioctls ;
5416 struct file_operations fops ;
5417 union __anonunion_kdriver_183 kdriver ;
5418 struct drm_bus *bus ;
5419 struct list_head device_list ;
5420};
5421#line 955 "include/drm/drmP.h"
5422struct drm_info_list {
5423 char const *name ;
5424 int (*show)(struct seq_file * , void * ) ;
5425 u32 driver_features ;
5426 void *data ;
5427};
5428#line 966 "include/drm/drmP.h"
5429struct drm_info_node {
5430 struct list_head list ;
5431 struct drm_minor *minor ;
5432 struct drm_info_list *info_ent ;
5433 struct dentry *dent ;
5434};
5435#line 976 "include/drm/drmP.h"
5436struct drm_minor {
5437 int index ;
5438 int type ;
5439 dev_t device ;
5440 struct device kdev ;
5441 struct drm_device *dev ;
5442 struct proc_dir_entry *proc_root ;
5443 struct drm_info_node proc_nodes ;
5444 struct dentry *debugfs_root ;
5445 struct drm_info_node debugfs_nodes ;
5446 struct drm_master *master ;
5447 struct list_head master_list ;
5448 struct drm_mode_group mode_group ;
5449};
5450#line 996 "include/drm/drmP.h"
5451struct drm_cmdline_mode {
5452 bool specified ;
5453 bool refresh_specified ;
5454 bool bpp_specified ;
5455 int xres ;
5456 int yres ;
5457 int bpp ;
5458 int refresh ;
5459 bool rb ;
5460 bool interlace ;
5461 bool cvt ;
5462 bool margins ;
5463 enum drm_connector_force force ;
5464};
5465#line 1011 "include/drm/drmP.h"
5466struct drm_pending_vblank_event {
5467 struct drm_pending_event base ;
5468 int pipe ;
5469 struct drm_event_vblank event ;
5470};
5471#line 1018
5472struct usb_device;
5473#line 1018
5474struct usb_device;
5475#line 1018 "include/drm/drmP.h"
5476struct drm_device {
5477 struct list_head driver_item ;
5478 char *devname ;
5479 int if_version ;
5480 spinlock_t count_lock ;
5481 struct mutex struct_mutex ;
5482 int open_count ;
5483 atomic_t ioctl_count ;
5484 atomic_t vma_count ;
5485 int buf_use ;
5486 atomic_t buf_alloc ;
5487 unsigned long counters ;
5488 enum drm_stat_type types[15U] ;
5489 atomic_t counts[15U] ;
5490 struct list_head filelist ;
5491 struct list_head maplist ;
5492 int map_count ;
5493 struct drm_open_hash map_hash ;
5494 struct list_head ctxlist ;
5495 int ctx_count ;
5496 struct mutex ctxlist_mutex ;
5497 struct idr ctx_idr ;
5498 struct list_head vmalist ;
5499 int queue_count ;
5500 int queue_reserved ;
5501 int queue_slots ;
5502 struct drm_queue **queuelist ;
5503 struct drm_device_dma *dma ;
5504 int irq_enabled ;
5505 long volatile context_flag ;
5506 long volatile interrupt_flag ;
5507 long volatile dma_flag ;
5508 wait_queue_head_t context_wait ;
5509 int last_checked ;
5510 int last_context ;
5511 unsigned long last_switch ;
5512 struct work_struct work ;
5513 int vblank_disable_allowed ;
5514 wait_queue_head_t *vbl_queue ;
5515 atomic_t *_vblank_count ;
5516 struct timeval *_vblank_time ;
5517 spinlock_t vblank_time_lock ;
5518 spinlock_t vbl_lock ;
5519 atomic_t *vblank_refcount ;
5520 u32 *last_vblank ;
5521 int *vblank_enabled ;
5522 int *vblank_inmodeset ;
5523 u32 *last_vblank_wait ;
5524 struct timer_list vblank_disable_timer ;
5525 u32 max_vblank_count ;
5526 struct list_head vblank_event_list ;
5527 spinlock_t event_lock ;
5528 cycles_t ctx_start ;
5529 cycles_t lck_start ;
5530 struct fasync_struct *buf_async ;
5531 wait_queue_head_t buf_readers ;
5532 wait_queue_head_t buf_writers ;
5533 struct drm_agp_head *agp ;
5534 struct device *dev ;
5535 struct pci_dev *pdev ;
5536 int pci_vendor ;
5537 int pci_device ;
5538 struct platform_device *platformdev ;
5539 struct usb_device *usbdev ;
5540 struct drm_sg_mem *sg ;
5541 unsigned int num_crtcs ;
5542 void *dev_private ;
5543 void *mm_private ;
5544 struct address_space *dev_mapping ;
5545 struct drm_sigdata sigdata ;
5546 sigset_t sigmask ;
5547 struct drm_driver *driver ;
5548 struct drm_local_map *agp_buffer_map ;
5549 unsigned int agp_buffer_token ;
5550 struct drm_minor *control ;
5551 struct drm_minor *primary ;
5552 struct drm_mode_config mode_config ;
5553 spinlock_t object_name_lock ;
5554 struct idr object_name_idr ;
5555 int switch_power_state ;
5556};
5557#line 588 "include/drm/i915_drm.h"
5558struct drm_i915_gem_exec_object2 {
5559 __u32 handle ;
5560 __u32 relocation_count ;
5561 __u64 relocs_ptr ;
5562 __u64 alignment ;
5563 __u64 offset ;
5564 __u64 flags ;
5565 __u64 rsvd1 ;
5566 __u64 rsvd2 ;
5567};
5568#line 138 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_bios.h"
5569struct child_device_config {
5570 u16 handle ;
5571 u16 device_type ;
5572 u8 i2c_speed ;
5573 u8 rsvd[9U] ;
5574 u16 addin_offset ;
5575 u8 dvo_port ;
5576 u8 i2c_pin ;
5577 u8 slave_addr ;
5578 u8 ddc_pin ;
5579 u16 edid_ptr ;
5580 u8 dvo_cfg ;
5581 u8 dvo2_port ;
5582 u8 i2c2_pin ;
5583 u8 slave2_addr ;
5584 u8 ddc2_pin ;
5585 u8 capabilities ;
5586 u8 dvo_wiring ;
5587 u8 dvo2_wiring ;
5588 u16 extended_type ;
5589 u8 dvo_function ;
5590};
5591#line 430 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_bios.h"
5592struct edp_power_seq {
5593 u16 t3 ;
5594 u16 t7 ;
5595 u16 t9 ;
5596 u16 t10 ;
5597 u16 t12 ;
5598};
5599#line 479
5600struct drm_i915_gem_object;
5601#line 479
5602struct drm_i915_gem_object;
5603#line 479 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_bios.h"
5604struct intel_hw_status_page {
5605 u32 *page_addr ;
5606 unsigned int gfx_addr ;
5607 struct drm_i915_gem_object *obj ;
5608};
5609#line 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_ringbuffer.h"
5610enum intel_ring_id {
5611 RING_RENDER = 1,
5612 RING_BSD = 2,
5613 RING_BLT = 4
5614} ;
5615#line 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_ringbuffer.h"
5616struct intel_ring_buffer {
5617 char const *name ;
5618 enum intel_ring_id id ;
5619 u32 mmio_base ;
5620 void *virtual_start ;
5621 struct drm_device *dev ;
5622 struct drm_i915_gem_object *obj ;
5623 u32 head ;
5624 u32 tail ;
5625 int space ;
5626 int size ;
5627 int effective_size ;
5628 struct intel_hw_status_page status_page ;
5629 spinlock_t irq_lock ;
5630 u32 irq_refcount ;
5631 u32 irq_mask ;
5632 u32 irq_seqno ;
5633 u32 trace_irq_seqno ;
5634 u32 waiting_seqno ;
5635 u32 sync_seqno[2U] ;
5636 bool (*irq_get)(struct intel_ring_buffer * ) ;
5637 void (*irq_put)(struct intel_ring_buffer * ) ;
5638 int (*init)(struct intel_ring_buffer * ) ;
5639 void (*write_tail)(struct intel_ring_buffer * , u32 ) ;
5640 int (*flush)(struct intel_ring_buffer * , u32 , u32 ) ;
5641 int (*add_request)(struct intel_ring_buffer * , u32 * ) ;
5642 u32 (*get_seqno)(struct intel_ring_buffer * ) ;
5643 int (*dispatch_execbuffer)(struct intel_ring_buffer * , u32 , u32 ) ;
5644 void (*cleanup)(struct intel_ring_buffer * ) ;
5645 struct list_head active_list ;
5646 struct list_head request_list ;
5647 struct list_head gpu_write_list ;
5648 u32 outstanding_lazy_request ;
5649 wait_queue_head_t irq_queue ;
5650 drm_local_map_t map ;
5651 void *private ;
5652};
5653#line 202
5654struct io_mapping;
5655#line 202
5656struct io_mapping;
5657#line 160 "include/linux/io-mapping.h"
5658struct intel_gtt {
5659 unsigned int stolen_size ;
5660 unsigned int gtt_total_entries ;
5661 unsigned int gtt_mappable_entries ;
5662 unsigned char needs_dmar : 1 ;
5663};
5664#line 41 "include/drm/intel-gtt.h"
5665struct drm_i915_gem_phys_object {
5666 int id ;
5667 struct page **page_list ;
5668 drm_dma_handle_t *handle ;
5669 struct drm_i915_gem_object *cur_obj ;
5670};
5671#line 96 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5672struct mem_block {
5673 struct mem_block *next ;
5674 struct mem_block *prev ;
5675 int start ;
5676 int size ;
5677 struct drm_file *file_priv ;
5678};
5679#line 104
5680struct opregion_header;
5681#line 104
5682struct opregion_header;
5683#line 105
5684struct opregion_acpi;
5685#line 105
5686struct opregion_acpi;
5687#line 106
5688struct opregion_swsci;
5689#line 106
5690struct opregion_swsci;
5691#line 107
5692struct opregion_asle;
5693#line 107
5694struct opregion_asle;
5695#line 108 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5696struct intel_opregion {
5697 struct opregion_header *header ;
5698 struct opregion_acpi *acpi ;
5699 struct opregion_swsci *swsci ;
5700 struct opregion_asle *asle ;
5701 void *vbt ;
5702 u32 *lid_state ;
5703};
5704#line 118
5705struct intel_overlay;
5706#line 118
5707struct intel_overlay;
5708#line 119
5709struct intel_overlay_error_state;
5710#line 119
5711struct intel_overlay_error_state;
5712#line 127 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5713struct drm_i915_fence_reg {
5714 struct list_head lru_list ;
5715 struct drm_i915_gem_object *obj ;
5716 uint32_t setup_seqno ;
5717};
5718#line 134 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5719struct sdvo_device_mapping {
5720 u8 initialized ;
5721 u8 dvo_port ;
5722 u8 slave_addr ;
5723 u8 dvo_wiring ;
5724 u8 i2c_pin ;
5725 u8 i2c_speed ;
5726 u8 ddc_pin ;
5727};
5728#line 144
5729struct intel_display_error_state;
5730#line 144
5731struct intel_display_error_state;
5732#line 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5733struct drm_i915_error_object {
5734 int page_count ;
5735 u32 gtt_offset ;
5736 u32 *pages[0U] ;
5737};
5738#line 178 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5739struct drm_i915_error_buffer {
5740 u32 size ;
5741 u32 name ;
5742 u32 seqno ;
5743 u32 gtt_offset ;
5744 u32 read_domains ;
5745 u32 write_domain ;
5746 signed char fence_reg : 5 ;
5747 signed char pinned : 2 ;
5748 unsigned char tiling : 2 ;
5749 unsigned char dirty : 1 ;
5750 unsigned char purgeable : 1 ;
5751 unsigned char ring : 4 ;
5752 unsigned char cache_level : 2 ;
5753};
5754#line 193 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5755struct drm_i915_error_state {
5756 u32 eir ;
5757 u32 pgtbl_er ;
5758 u32 pipestat[3U] ;
5759 u32 ipeir ;
5760 u32 ipehr ;
5761 u32 instdone ;
5762 u32 acthd ;
5763 u32 error ;
5764 u32 bcs_acthd ;
5765 u32 bcs_ipehr ;
5766 u32 bcs_ipeir ;
5767 u32 bcs_instdone ;
5768 u32 bcs_seqno ;
5769 u32 vcs_acthd ;
5770 u32 vcs_ipehr ;
5771 u32 vcs_ipeir ;
5772 u32 vcs_instdone ;
5773 u32 vcs_seqno ;
5774 u32 instpm ;
5775 u32 instps ;
5776 u32 instdone1 ;
5777 u32 seqno ;
5778 u64 bbaddr ;
5779 u64 fence[16U] ;
5780 struct timeval time ;
5781 struct drm_i915_error_object *ringbuffer[3U] ;
5782 struct drm_i915_error_object *batchbuffer[3U] ;
5783 struct drm_i915_error_buffer *active_bo ;
5784 struct drm_i915_error_buffer *pinned_bo ;
5785 u32 active_bo_count ;
5786 u32 pinned_bo_count ;
5787 struct intel_overlay_error_state *overlay ;
5788 struct intel_display_error_state *display ;
5789};
5790#line 197 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5791struct drm_i915_display_funcs {
5792 void (*dpms)(struct drm_crtc * , int ) ;
5793 bool (*fbc_enabled)(struct drm_device * ) ;
5794 void (*enable_fbc)(struct drm_crtc * , unsigned long ) ;
5795 void (*disable_fbc)(struct drm_device * ) ;
5796 int (*get_display_clock_speed)(struct drm_device * ) ;
5797 int (*get_fifo_size)(struct drm_device * , int ) ;
5798 void (*update_wm)(struct drm_device * ) ;
5799 int (*crtc_mode_set)(struct drm_crtc * , struct drm_display_mode * , struct drm_display_mode * ,
5800 int , int , struct drm_framebuffer * ) ;
5801 void (*fdi_link_train)(struct drm_crtc * ) ;
5802 void (*init_clock_gating)(struct drm_device * ) ;
5803 void (*init_pch_clock_gating)(struct drm_device * ) ;
5804 int (*queue_flip)(struct drm_device * , struct drm_crtc * , struct drm_framebuffer * ,
5805 struct drm_i915_gem_object * ) ;
5806};
5807#line 216 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5808struct intel_device_info {
5809 u8 gen ;
5810 unsigned char is_mobile : 1 ;
5811 unsigned char is_i85x : 1 ;
5812 unsigned char is_i915g : 1 ;
5813 unsigned char is_i945gm : 1 ;
5814 unsigned char is_g33 : 1 ;
5815 unsigned char need_gfx_hws : 1 ;
5816 unsigned char is_g4x : 1 ;
5817 unsigned char is_pineview : 1 ;
5818 unsigned char is_broadwater : 1 ;
5819 unsigned char is_crestline : 1 ;
5820 unsigned char is_ivybridge : 1 ;
5821 unsigned char has_fbc : 1 ;
5822 unsigned char has_pipe_cxsr : 1 ;
5823 unsigned char has_hotplug : 1 ;
5824 unsigned char cursor_needs_physical : 1 ;
5825 unsigned char has_overlay : 1 ;
5826 unsigned char overlay_needs_physical : 1 ;
5827 unsigned char supports_tv : 1 ;
5828 unsigned char has_bsd_ring : 1 ;
5829 unsigned char has_blt_ring : 1 ;
5830};
5831#line 247
5832enum no_fbc_reason {
5833 FBC_NO_OUTPUT = 0,
5834 FBC_STOLEN_TOO_SMALL = 1,
5835 FBC_UNSUPPORTED_MODE = 2,
5836 FBC_MODE_TOO_LARGE = 3,
5837 FBC_BAD_PLANE = 4,
5838 FBC_NOT_TILED = 5,
5839 FBC_MULTIPLE_PIPES = 6,
5840 FBC_MODULE_PARAM = 7
5841} ;
5842#line 258
5843enum intel_pch {
5844 PCH_IBX = 0,
5845 PCH_CPT = 1
5846} ;
5847#line 263
5848struct intel_fbdev;
5849#line 263
5850struct intel_fbdev;
5851#line 264 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5852struct intel_gmbus {
5853 struct i2c_adapter adapter ;
5854 struct i2c_adapter *force_bit ;
5855 u32 reg0 ;
5856};
5857#line 284 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5858struct __anonstruct_edp_184 {
5859 int rate ;
5860 int lanes ;
5861 int preemphasis ;
5862 int vswing ;
5863 bool initialized ;
5864 bool support ;
5865 int bpp ;
5866 struct edp_power_seq pps ;
5867};
5868#line 284 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5869struct __anonstruct_mm_185 {
5870 struct intel_gtt const *gtt ;
5871 struct drm_mm stolen ;
5872 struct drm_mm gtt_space ;
5873 struct list_head gtt_list ;
5874 unsigned long gtt_start ;
5875 unsigned long gtt_mappable_end ;
5876 unsigned long gtt_end ;
5877 struct io_mapping *gtt_mapping ;
5878 int gtt_mtrr ;
5879 struct shrinker inactive_shrinker ;
5880 struct list_head active_list ;
5881 struct list_head flushing_list ;
5882 struct list_head inactive_list ;
5883 struct list_head pinned_list ;
5884 struct list_head fence_list ;
5885 struct list_head deferred_free_list ;
5886 struct delayed_work retire_work ;
5887 bool interruptible ;
5888 int suspended ;
5889 atomic_t wedged ;
5890 uint32_t bit_6_swizzle_x ;
5891 uint32_t bit_6_swizzle_y ;
5892 struct drm_i915_gem_phys_object *phys_objs[3U] ;
5893 size_t gtt_total ;
5894 size_t mappable_gtt_total ;
5895 size_t object_memory ;
5896 u32 object_count ;
5897};
5898#line 284 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
5899struct drm_i915_private {
5900 struct drm_device *dev ;
5901 struct intel_device_info const *info ;
5902 int has_gem ;
5903 int relative_constants_mode ;
5904 void *regs ;
5905 struct intel_gmbus *gmbus ;
5906 struct pci_dev *bridge_dev ;
5907 struct intel_ring_buffer ring[3U] ;
5908 uint32_t next_seqno ;
5909 drm_dma_handle_t *status_page_dmah ;
5910 uint32_t counter ;
5911 drm_local_map_t hws_map ;
5912 struct drm_i915_gem_object *pwrctx ;
5913 struct drm_i915_gem_object *renderctx ;
5914 struct resource mch_res ;
5915 unsigned int cpp ;
5916 int back_offset ;
5917 int front_offset ;
5918 int current_page ;
5919 int page_flipping ;
5920 atomic_t irq_received ;
5921 spinlock_t irq_lock ;
5922 u32 pipestat[2U] ;
5923 u32 irq_mask ;
5924 u32 gt_irq_mask ;
5925 u32 pch_irq_mask ;
5926 u32 hotplug_supported_mask ;
5927 struct work_struct hotplug_work ;
5928 int tex_lru_log_granularity ;
5929 int allow_batchbuffer ;
5930 struct mem_block *agp_heap ;
5931 unsigned int sr01 ;
5932 unsigned int adpa ;
5933 unsigned int ppcr ;
5934 unsigned int dvob ;
5935 unsigned int dvoc ;
5936 unsigned int lvds ;
5937 int vblank_pipe ;
5938 int num_pipe ;
5939 struct timer_list hangcheck_timer ;
5940 int hangcheck_count ;
5941 uint32_t last_acthd ;
5942 uint32_t last_instdone ;
5943 uint32_t last_instdone1 ;
5944 unsigned long cfb_size ;
5945 unsigned long cfb_pitch ;
5946 unsigned long cfb_offset ;
5947 int cfb_fence ;
5948 int cfb_plane ;
5949 int cfb_y ;
5950 struct intel_opregion opregion ;
5951 struct intel_overlay *overlay ;
5952 int backlight_level ;
5953 bool backlight_enabled ;
5954 struct drm_display_mode *panel_fixed_mode ;
5955 struct drm_display_mode *lfp_lvds_vbt_mode ;
5956 struct drm_display_mode *sdvo_lvds_vbt_mode ;
5957 unsigned char int_tv_support : 1 ;
5958 unsigned char lvds_dither : 1 ;
5959 unsigned char lvds_vbt : 1 ;
5960 unsigned char int_crt_support : 1 ;
5961 unsigned char lvds_use_ssc : 1 ;
5962 int lvds_ssc_freq ;
5963 struct __anonstruct_edp_184 edp ;
5964 bool no_aux_handshake ;
5965 struct notifier_block lid_notifier ;
5966 int crt_ddc_pin ;
5967 struct drm_i915_fence_reg fence_regs[16U] ;
5968 int fence_reg_start ;
5969 int num_fence_regs ;
5970 unsigned int fsb_freq ;
5971 unsigned int mem_freq ;
5972 unsigned int is_ddr3 ;
5973 spinlock_t error_lock ;
5974 struct drm_i915_error_state *first_error ;
5975 struct work_struct error_work ;
5976 struct completion error_completion ;
5977 struct workqueue_struct *wq ;
5978 struct drm_i915_display_funcs display ;
5979 enum intel_pch pch_type ;
5980 unsigned long quirks ;
5981 bool modeset_on_lid ;
5982 u8 saveLBB ;
5983 u32 saveDSPACNTR ;
5984 u32 saveDSPBCNTR ;
5985 u32 saveDSPARB ;
5986 u32 saveHWS ;
5987 u32 savePIPEACONF ;
5988 u32 savePIPEBCONF ;
5989 u32 savePIPEASRC ;
5990 u32 savePIPEBSRC ;
5991 u32 saveFPA0 ;
5992 u32 saveFPA1 ;
5993 u32 saveDPLL_A ;
5994 u32 saveDPLL_A_MD ;
5995 u32 saveHTOTAL_A ;
5996 u32 saveHBLANK_A ;
5997 u32 saveHSYNC_A ;
5998 u32 saveVTOTAL_A ;
5999 u32 saveVBLANK_A ;
6000 u32 saveVSYNC_A ;
6001 u32 saveBCLRPAT_A ;
6002 u32 saveTRANSACONF ;
6003 u32 saveTRANS_HTOTAL_A ;
6004 u32 saveTRANS_HBLANK_A ;
6005 u32 saveTRANS_HSYNC_A ;
6006 u32 saveTRANS_VTOTAL_A ;
6007 u32 saveTRANS_VBLANK_A ;
6008 u32 saveTRANS_VSYNC_A ;
6009 u32 savePIPEASTAT ;
6010 u32 saveDSPASTRIDE ;
6011 u32 saveDSPASIZE ;
6012 u32 saveDSPAPOS ;
6013 u32 saveDSPAADDR ;
6014 u32 saveDSPASURF ;
6015 u32 saveDSPATILEOFF ;
6016 u32 savePFIT_PGM_RATIOS ;
6017 u32 saveBLC_HIST_CTL ;
6018 u32 saveBLC_PWM_CTL ;
6019 u32 saveBLC_PWM_CTL2 ;
6020 u32 saveBLC_CPU_PWM_CTL ;
6021 u32 saveBLC_CPU_PWM_CTL2 ;
6022 u32 saveFPB0 ;
6023 u32 saveFPB1 ;
6024 u32 saveDPLL_B ;
6025 u32 saveDPLL_B_MD ;
6026 u32 saveHTOTAL_B ;
6027 u32 saveHBLANK_B ;
6028 u32 saveHSYNC_B ;
6029 u32 saveVTOTAL_B ;
6030 u32 saveVBLANK_B ;
6031 u32 saveVSYNC_B ;
6032 u32 saveBCLRPAT_B ;
6033 u32 saveTRANSBCONF ;
6034 u32 saveTRANS_HTOTAL_B ;
6035 u32 saveTRANS_HBLANK_B ;
6036 u32 saveTRANS_HSYNC_B ;
6037 u32 saveTRANS_VTOTAL_B ;
6038 u32 saveTRANS_VBLANK_B ;
6039 u32 saveTRANS_VSYNC_B ;
6040 u32 savePIPEBSTAT ;
6041 u32 saveDSPBSTRIDE ;
6042 u32 saveDSPBSIZE ;
6043 u32 saveDSPBPOS ;
6044 u32 saveDSPBADDR ;
6045 u32 saveDSPBSURF ;
6046 u32 saveDSPBTILEOFF ;
6047 u32 saveVGA0 ;
6048 u32 saveVGA1 ;
6049 u32 saveVGA_PD ;
6050 u32 saveVGACNTRL ;
6051 u32 saveADPA ;
6052 u32 saveLVDS ;
6053 u32 savePP_ON_DELAYS ;
6054 u32 savePP_OFF_DELAYS ;
6055 u32 saveDVOA ;
6056 u32 saveDVOB ;
6057 u32 saveDVOC ;
6058 u32 savePP_ON ;
6059 u32 savePP_OFF ;
6060 u32 savePP_CONTROL ;
6061 u32 savePP_DIVISOR ;
6062 u32 savePFIT_CONTROL ;
6063 u32 save_palette_a[256U] ;
6064 u32 save_palette_b[256U] ;
6065 u32 saveDPFC_CB_BASE ;
6066 u32 saveFBC_CFB_BASE ;
6067 u32 saveFBC_LL_BASE ;
6068 u32 saveFBC_CONTROL ;
6069 u32 saveFBC_CONTROL2 ;
6070 u32 saveIER ;
6071 u32 saveIIR ;
6072 u32 saveIMR ;
6073 u32 saveDEIER ;
6074 u32 saveDEIMR ;
6075 u32 saveGTIER ;
6076 u32 saveGTIMR ;
6077 u32 saveFDI_RXA_IMR ;
6078 u32 saveFDI_RXB_IMR ;
6079 u32 saveCACHE_MODE_0 ;
6080 u32 saveMI_ARB_STATE ;
6081 u32 saveSWF0[16U] ;
6082 u32 saveSWF1[16U] ;
6083 u32 saveSWF2[3U] ;
6084 u8 saveMSR ;
6085 u8 saveSR[8U] ;
6086 u8 saveGR[25U] ;
6087 u8 saveAR_INDEX ;
6088 u8 saveAR[21U] ;
6089 u8 saveDACMASK ;
6090 u8 saveCR[37U] ;
6091 uint64_t saveFENCE[16U] ;
6092 u32 saveCURACNTR ;
6093 u32 saveCURAPOS ;
6094 u32 saveCURABASE ;
6095 u32 saveCURBCNTR ;
6096 u32 saveCURBPOS ;
6097 u32 saveCURBBASE ;
6098 u32 saveCURSIZE ;
6099 u32 saveDP_B ;
6100 u32 saveDP_C ;
6101 u32 saveDP_D ;
6102 u32 savePIPEA_GMCH_DATA_M ;
6103 u32 savePIPEB_GMCH_DATA_M ;
6104 u32 savePIPEA_GMCH_DATA_N ;
6105 u32 savePIPEB_GMCH_DATA_N ;
6106 u32 savePIPEA_DP_LINK_M ;
6107 u32 savePIPEB_DP_LINK_M ;
6108 u32 savePIPEA_DP_LINK_N ;
6109 u32 savePIPEB_DP_LINK_N ;
6110 u32 saveFDI_RXA_CTL ;
6111 u32 saveFDI_TXA_CTL ;
6112 u32 saveFDI_RXB_CTL ;
6113 u32 saveFDI_TXB_CTL ;
6114 u32 savePFA_CTL_1 ;
6115 u32 savePFB_CTL_1 ;
6116 u32 savePFA_WIN_SZ ;
6117 u32 savePFB_WIN_SZ ;
6118 u32 savePFA_WIN_POS ;
6119 u32 savePFB_WIN_POS ;
6120 u32 savePCH_DREF_CONTROL ;
6121 u32 saveDISP_ARB_CTL ;
6122 u32 savePIPEA_DATA_M1 ;
6123 u32 savePIPEA_DATA_N1 ;
6124 u32 savePIPEA_LINK_M1 ;
6125 u32 savePIPEA_LINK_N1 ;
6126 u32 savePIPEB_DATA_M1 ;
6127 u32 savePIPEB_DATA_N1 ;
6128 u32 savePIPEB_LINK_M1 ;
6129 u32 savePIPEB_LINK_N1 ;
6130 u32 saveMCHBAR_RENDER_STANDBY ;
6131 struct __anonstruct_mm_185 mm ;
6132 struct sdvo_device_mapping sdvo_mappings[2U] ;
6133 unsigned int lvds_border_bits ;
6134 u32 pch_pf_pos ;
6135 u32 pch_pf_size ;
6136 int panel_t3 ;
6137 int panel_t12 ;
6138 struct drm_crtc *plane_to_crtc_mapping[2U] ;
6139 struct drm_crtc *pipe_to_crtc_mapping[2U] ;
6140 wait_queue_head_t pending_flip_queue ;
6141 bool flip_pending_is_done ;
6142 bool render_reclock_avail ;
6143 bool lvds_downclock_avail ;
6144 int lvds_downclock ;
6145 struct work_struct idle_work ;
6146 struct timer_list idle_timer ;
6147 bool busy ;
6148 u16 orig_clock ;
6149 int child_dev_num ;
6150 struct child_device_config *child_dev ;
6151 struct drm_connector *int_lvds_connector ;
6152 bool mchbar_need_disable ;
6153 struct work_struct rps_work ;
6154 spinlock_t rps_lock ;
6155 u32 pm_iir ;
6156 u8 cur_delay ;
6157 u8 min_delay ;
6158 u8 max_delay ;
6159 u8 fmax ;
6160 u8 fstart ;
6161 u64 last_count1 ;
6162 unsigned long last_time1 ;
6163 u64 last_count2 ;
6164 struct timespec last_time2 ;
6165 unsigned long gfx_power ;
6166 int c_m ;
6167 int r_t ;
6168 u8 corr ;
6169 spinlock_t *mchdev_lock ;
6170 enum no_fbc_reason no_fbc_reason ;
6171 struct drm_mm_node *compressed_fb ;
6172 struct drm_mm_node *compressed_llb ;
6173 unsigned long last_gpu_reset ;
6174 struct intel_fbdev *fbdev ;
6175 struct drm_property *broadcast_rgb_property ;
6176 struct drm_property *force_audio_property ;
6177 atomic_t forcewake_count ;
6178};
6179#line 726 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
6180typedef struct drm_i915_private drm_i915_private_t;
6181#line 733 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
6182struct drm_i915_gem_object {
6183 struct drm_gem_object base ;
6184 struct drm_mm_node *gtt_space ;
6185 struct list_head gtt_list ;
6186 struct list_head ring_list ;
6187 struct list_head mm_list ;
6188 struct list_head gpu_write_list ;
6189 struct list_head exec_list ;
6190 unsigned char active : 1 ;
6191 unsigned char dirty : 1 ;
6192 unsigned char pending_gpu_write : 1 ;
6193 signed char fence_reg : 5 ;
6194 unsigned char madv : 2 ;
6195 unsigned char tiling_mode : 2 ;
6196 unsigned char tiling_changed : 1 ;
6197 unsigned char pin_count : 4 ;
6198 unsigned char map_and_fenceable : 1 ;
6199 unsigned char fault_mappable : 1 ;
6200 unsigned char pin_mappable : 1 ;
6201 unsigned char pending_fenced_gpu_access : 1 ;
6202 unsigned char fenced_gpu_access : 1 ;
6203 unsigned char cache_level : 2 ;
6204 struct page **pages ;
6205 struct scatterlist *sg_list ;
6206 int num_sg ;
6207 struct hlist_node exec_node ;
6208 unsigned long exec_handle ;
6209 struct drm_i915_gem_exec_object2 *exec_entry ;
6210 uint32_t gtt_offset ;
6211 uint32_t last_rendering_seqno ;
6212 struct intel_ring_buffer *ring ;
6213 uint32_t last_fenced_seqno ;
6214 struct intel_ring_buffer *last_fenced_ring ;
6215 uint32_t stride ;
6216 unsigned long *bit_17 ;
6217 uint8_t *page_cpu_valid ;
6218 uint32_t user_pin_count ;
6219 struct drm_file *pin_filp ;
6220 struct drm_i915_gem_phys_object *phys_obj ;
6221 atomic_t pending_flip ;
6222};
6223#line 147 "include/drm/drm_crtc_helper.h"
6224struct drm_fb_helper;
6225#line 147
6226struct drm_fb_helper;
6227#line 148 "include/drm/drm_crtc_helper.h"
6228struct drm_fb_helper_crtc {
6229 uint32_t crtc_id ;
6230 struct drm_mode_set mode_set ;
6231 struct drm_display_mode *desired_mode ;
6232};
6233#line 42 "include/drm/drm_fb_helper.h"
6234struct drm_fb_helper_surface_size {
6235 u32 fb_width ;
6236 u32 fb_height ;
6237 u32 surface_width ;
6238 u32 surface_height ;
6239 u32 surface_bpp ;
6240 u32 surface_depth ;
6241};
6242#line 51 "include/drm/drm_fb_helper.h"
6243struct drm_fb_helper_funcs {
6244 void (*gamma_set)(struct drm_crtc * , u16 , u16 , u16 , int ) ;
6245 void (*gamma_get)(struct drm_crtc * , u16 * , u16 * , u16 * , int ) ;
6246 int (*fb_probe)(struct drm_fb_helper * , struct drm_fb_helper_surface_size * ) ;
6247};
6248#line 60 "include/drm/drm_fb_helper.h"
6249struct drm_fb_helper_connector {
6250 struct drm_connector *connector ;
6251 struct drm_cmdline_mode cmdline_mode ;
6252};
6253#line 66 "include/drm/drm_fb_helper.h"
6254struct drm_fb_helper {
6255 struct drm_framebuffer *fb ;
6256 struct drm_framebuffer *saved_fb ;
6257 struct drm_device *dev ;
6258 struct drm_display_mode *mode ;
6259 int crtc_count ;
6260 struct drm_fb_helper_crtc *crtc_info ;
6261 int connector_count ;
6262 struct drm_fb_helper_connector **connector_info ;
6263 struct drm_fb_helper_funcs *funcs ;
6264 int conn_limit ;
6265 struct fb_info *fbdev ;
6266 u32 pseudo_palette[17U] ;
6267 struct list_head kernel_fb_list ;
6268 bool delayed_hotplug ;
6269};
6270#line 127 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
6271struct intel_framebuffer {
6272 struct drm_framebuffer base ;
6273 struct drm_i915_gem_object *obj ;
6274};
6275#line 132 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
6276struct intel_fbdev {
6277 struct drm_fb_helper helper ;
6278 struct intel_framebuffer ifb ;
6279 struct list_head fbdev_list ;
6280 struct drm_display_mode *our_mode ;
6281};
6282#line 290 "include/linux/timer.h"
6283enum hrtimer_restart;
6284#line 290
6285enum hrtimer_restart;
6286#line 43 "include/drm/drm.h"
6287typedef unsigned int drm_handle_t;
6288#line 99 "include/drm/drm.h"
6289struct drm_tex_region {
6290 unsigned char next ;
6291 unsigned char prev ;
6292 unsigned char in_use ;
6293 unsigned char padding ;
6294 unsigned int age ;
6295};
6296#line 120 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
6297struct _drm_i915_sarea;
6298#line 120
6299struct _drm_i915_sarea;
6300#line 120 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
6301struct drm_i915_master_private {
6302 drm_local_map_t *sarea ;
6303 struct _drm_i915_sarea *sarea_priv ;
6304};
6305#line 879
6306struct drm_i915_file_private;
6307#line 879
6308struct drm_i915_file_private;
6309#line 909 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
6310struct __anonstruct_mm_186 {
6311 struct spinlock lock ;
6312 struct list_head request_list ;
6313};
6314#line 909 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
6315struct drm_i915_file_private {
6316 struct __anonstruct_mm_186 mm ;
6317};
6318#line 43 "include/drm/i915_drm.h"
6319enum ldv_26036 {
6320 I915_INIT_DMA = 1,
6321 I915_CLEANUP_DMA = 2,
6322 I915_RESUME_DMA = 3
6323} ;
6324#line 49 "include/drm/i915_drm.h"
6325struct _drm_i915_init {
6326 enum ldv_26036 func ;
6327 unsigned int mmio_offset ;
6328 int sarea_priv_offset ;
6329 unsigned int ring_start ;
6330 unsigned int ring_end ;
6331 unsigned int ring_size ;
6332 unsigned int front_offset ;
6333 unsigned int back_offset ;
6334 unsigned int depth_offset ;
6335 unsigned int w ;
6336 unsigned int h ;
6337 unsigned int pitch ;
6338 unsigned int pitch_bits ;
6339 unsigned int back_pitch ;
6340 unsigned int depth_pitch ;
6341 unsigned int cpp ;
6342 unsigned int chipset ;
6343};
6344#line 73 "include/drm/i915_drm.h"
6345typedef struct _drm_i915_init drm_i915_init_t;
6346#line 74 "include/drm/i915_drm.h"
6347struct _drm_i915_sarea {
6348 struct drm_tex_region texList[256U] ;
6349 int last_upload ;
6350 int last_enqueue ;
6351 int last_dispatch ;
6352 int ctxOwner ;
6353 int texAge ;
6354 int pf_enabled ;
6355 int pf_active ;
6356 int pf_current_page ;
6357 int perf_boxes ;
6358 int width ;
6359 int height ;
6360 drm_handle_t front_handle ;
6361 int front_offset ;
6362 int front_size ;
6363 drm_handle_t back_handle ;
6364 int back_offset ;
6365 int back_size ;
6366 drm_handle_t depth_handle ;
6367 int depth_offset ;
6368 int depth_size ;
6369 drm_handle_t tex_handle ;
6370 int tex_offset ;
6371 int tex_size ;
6372 int log_tex_granularity ;
6373 int pitch ;
6374 int rotation ;
6375 int rotated_offset ;
6376 int rotated_size ;
6377 int rotated_pitch ;
6378 int virtualX ;
6379 int virtualY ;
6380 unsigned int front_tiled ;
6381 unsigned int back_tiled ;
6382 unsigned int depth_tiled ;
6383 unsigned int rotated_tiled ;
6384 unsigned int rotated2_tiled ;
6385 int pipeA_x ;
6386 int pipeA_y ;
6387 int pipeA_w ;
6388 int pipeA_h ;
6389 int pipeB_x ;
6390 int pipeB_y ;
6391 int pipeB_w ;
6392 int pipeB_h ;
6393 drm_handle_t unused_handle ;
6394 __u32 unused1 ;
6395 __u32 unused2 ;
6396 __u32 unused3 ;
6397 __u32 front_bo_handle ;
6398 __u32 back_bo_handle ;
6399 __u32 unused_bo_handle ;
6400 __u32 depth_bo_handle ;
6401};
6402#line 138 "include/drm/i915_drm.h"
6403typedef struct _drm_i915_sarea drm_i915_sarea_t;
6404#line 139 "include/drm/i915_drm.h"
6405struct drm_i915_batchbuffer {
6406 int start ;
6407 int used ;
6408 int DR1 ;
6409 int DR4 ;
6410 int num_cliprects ;
6411 struct drm_clip_rect *cliprects ;
6412};
6413#line 253 "include/drm/i915_drm.h"
6414typedef struct drm_i915_batchbuffer drm_i915_batchbuffer_t;
6415#line 254 "include/drm/i915_drm.h"
6416struct _drm_i915_cmdbuffer {
6417 char *buf ;
6418 int sz ;
6419 int DR1 ;
6420 int DR4 ;
6421 int num_cliprects ;
6422 struct drm_clip_rect *cliprects ;
6423};
6424#line 265 "include/drm/i915_drm.h"
6425typedef struct _drm_i915_cmdbuffer drm_i915_cmdbuffer_t;
6426#line 276 "include/drm/i915_drm.h"
6427struct drm_i915_getparam {
6428 int param ;
6429 int *value ;
6430};
6431#line 298 "include/drm/i915_drm.h"
6432typedef struct drm_i915_getparam drm_i915_getparam_t;
6433#line 299 "include/drm/i915_drm.h"
6434struct drm_i915_setparam {
6435 int param ;
6436 int value ;
6437};
6438#line 310 "include/drm/i915_drm.h"
6439typedef struct drm_i915_setparam drm_i915_setparam_t;
6440#line 357 "include/drm/i915_drm.h"
6441struct drm_i915_hws_addr {
6442 __u64 addr ;
6443};
6444#line 360 "include/drm/i915_drm.h"
6445typedef struct drm_i915_hws_addr drm_i915_hws_addr_t;
6446#line 471 "include/linux/pnp.h"
6447enum vga_switcheroo_state {
6448 VGA_SWITCHEROO_OFF = 0,
6449 VGA_SWITCHEROO_ON = 1
6450} ;
6451#line 1438 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_dma.c.p"
6452struct cparams {
6453 u16 i ;
6454 u16 t ;
6455 u16 m ;
6456 u16 c ;
6457};
6458#line 1513 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_dma.c.p"
6459struct v_table {
6460 u16 vd ;
6461 u16 vm ;
6462};
6463#line 108 "include/linux/types.h"
6464typedef __s16 int16_t;
6465#line 125 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
6466struct paravirt_callee_save {
6467 void *func ;
6468};
6469#line 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
6470struct pv_irq_ops {
6471 struct paravirt_callee_save save_fl ;
6472 struct paravirt_callee_save restore_fl ;
6473 struct paravirt_callee_save irq_disable ;
6474 struct paravirt_callee_save irq_enable ;
6475 void (*safe_halt)(void) ;
6476 void (*halt)(void) ;
6477 void (*adjust_exception_frame)(void) ;
6478};
6479#line 28 "include/linux/wait.h"
6480struct __wait_queue;
6481#line 28
6482struct __wait_queue;
6483#line 28 "include/linux/wait.h"
6484typedef struct __wait_queue wait_queue_t;
6485#line 31 "include/linux/wait.h"
6486struct __wait_queue {
6487 unsigned int flags ;
6488 void *private ;
6489 int (*func)(wait_queue_t * , unsigned int , int , void * ) ;
6490 struct list_head task_list ;
6491};
6492#line 290 "include/linux/timer.h"
6493enum hrtimer_restart;
6494#line 290
6495enum hrtimer_restart;
6496#line 39 "include/linux/kobject.h"
6497enum kobject_action {
6498 KOBJ_ADD = 0,
6499 KOBJ_REMOVE = 1,
6500 KOBJ_CHANGE = 2,
6501 KOBJ_MOVE = 3,
6502 KOBJ_ONLINE = 4,
6503 KOBJ_OFFLINE = 5,
6504 KOBJ_MAX = 6
6505} ;
6506#line 266 "include/drm/i915_drm.h"
6507struct drm_i915_irq_emit {
6508 int *irq_seq ;
6509};
6510#line 271 "include/drm/i915_drm.h"
6511typedef struct drm_i915_irq_emit drm_i915_irq_emit_t;
6512#line 272 "include/drm/i915_drm.h"
6513struct drm_i915_irq_wait {
6514 int irq_seq ;
6515};
6516#line 275 "include/drm/i915_drm.h"
6517typedef struct drm_i915_irq_wait drm_i915_irq_wait_t;
6518#line 340 "include/drm/i915_drm.h"
6519struct drm_i915_vblank_pipe {
6520 int pipe ;
6521};
6522#line 348 "include/drm/i915_drm.h"
6523typedef struct drm_i915_vblank_pipe drm_i915_vblank_pipe_t;
6524#line 28 "include/drm/intel-gtt.h"
6525enum pipe {
6526 PIPE_A = 0,
6527 PIPE_B = 1,
6528 PIPE_C = 2,
6529 I915_MAX_PIPES = 3
6530} ;
6531#line 35
6532enum plane {
6533 PLANE_A = 0,
6534 PLANE_B = 1,
6535 PLANE_C = 2
6536} ;
6537#line 879 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
6538struct drm_i915_gem_request {
6539 struct intel_ring_buffer *ring ;
6540 uint32_t seqno ;
6541 unsigned long emitted_jiffies ;
6542 struct list_head list ;
6543 struct drm_i915_file_private *file_priv ;
6544 struct list_head client_list ;
6545};
6546#line 139 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
6547struct intel_encoder {
6548 struct drm_encoder base ;
6549 int type ;
6550 bool needs_tv_clock ;
6551 void (*hot_plug)(struct intel_encoder * ) ;
6552 int crtc_mask ;
6553 int clone_mask ;
6554};
6555#line 153
6556struct intel_unpin_work;
6557#line 153
6558struct intel_unpin_work;
6559#line 153 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
6560struct intel_crtc {
6561 struct drm_crtc base ;
6562 enum pipe pipe ;
6563 enum plane plane ;
6564 u8 lut_r[256U] ;
6565 u8 lut_g[256U] ;
6566 u8 lut_b[256U] ;
6567 int dpms_mode ;
6568 bool active ;
6569 bool busy ;
6570 struct timer_list idle_timer ;
6571 bool lowfreq_avail ;
6572 struct intel_overlay *overlay ;
6573 struct intel_unpin_work *unpin_work ;
6574 int fdi_lanes ;
6575 struct drm_i915_gem_object *cursor_bo ;
6576 uint32_t cursor_addr ;
6577 int16_t cursor_x ;
6578 int16_t cursor_y ;
6579 int16_t cursor_width ;
6580 int16_t cursor_height ;
6581 bool cursor_visible ;
6582};
6583#line 225 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
6584struct intel_unpin_work {
6585 struct work_struct work ;
6586 struct drm_device *dev ;
6587 struct drm_i915_gem_object *old_fb_obj ;
6588 struct drm_i915_gem_object *pending_flip_obj ;
6589 struct drm_pending_vblank_event *event ;
6590 int pending ;
6591 bool enable_stall_check ;
6592};
6593#line 290 "include/linux/timer.h"
6594enum hrtimer_restart;
6595#line 290
6596enum hrtimer_restart;
6597#line 311 "include/drm/i915_drm.h"
6598struct drm_i915_mem_alloc {
6599 int region ;
6600 int alignment ;
6601 int size ;
6602 int *region_offset ;
6603};
6604#line 321 "include/drm/i915_drm.h"
6605typedef struct drm_i915_mem_alloc drm_i915_mem_alloc_t;
6606#line 322 "include/drm/i915_drm.h"
6607struct drm_i915_mem_free {
6608 int region ;
6609 int region_offset ;
6610};
6611#line 326 "include/drm/i915_drm.h"
6612typedef struct drm_i915_mem_free drm_i915_mem_free_t;
6613#line 327 "include/drm/i915_drm.h"
6614struct drm_i915_mem_init_heap {
6615 int region ;
6616 int size ;
6617 int start ;
6618};
6619#line 332 "include/drm/i915_drm.h"
6620typedef struct drm_i915_mem_init_heap drm_i915_mem_init_heap_t;
6621#line 333 "include/drm/i915_drm.h"
6622struct drm_i915_mem_destroy_heap {
6623 int region ;
6624};
6625#line 339 "include/drm/i915_drm.h"
6626typedef struct drm_i915_mem_destroy_heap drm_i915_mem_destroy_heap_t;
6627#line 44 "include/linux/types.h"
6628typedef unsigned long uintptr_t;
6629#line 290 "include/linux/timer.h"
6630enum hrtimer_restart;
6631#line 290
6632enum hrtimer_restart;
6633#line 290
6634enum hrtimer_restart;
6635#line 290
6636enum hrtimer_restart;
6637#line 290
6638enum hrtimer_restart;
6639#line 290
6640enum hrtimer_restart;
6641#line 230 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess.h"
6642struct __large_struct {
6643 unsigned long buf[100U] ;
6644};
6645#line 594 "include/drm/drmP.h"
6646struct drm_gem_mm {
6647 struct drm_mm offset_manager ;
6648 struct drm_open_hash offset_hash ;
6649};
6650#line 361 "include/drm/i915_drm.h"
6651struct drm_i915_gem_init {
6652 __u64 gtt_start ;
6653 __u64 gtt_end ;
6654};
6655#line 374 "include/drm/i915_drm.h"
6656struct drm_i915_gem_create {
6657 __u64 size ;
6658 __u32 handle ;
6659 __u32 pad ;
6660};
6661#line 390 "include/drm/i915_drm.h"
6662struct drm_i915_gem_pread {
6663 __u32 handle ;
6664 __u32 pad ;
6665 __u64 offset ;
6666 __u64 size ;
6667 __u64 data_ptr ;
6668};
6669#line 406 "include/drm/i915_drm.h"
6670struct drm_i915_gem_pwrite {
6671 __u32 handle ;
6672 __u32 pad ;
6673 __u64 offset ;
6674 __u64 size ;
6675 __u64 data_ptr ;
6676};
6677#line 422 "include/drm/i915_drm.h"
6678struct drm_i915_gem_mmap {
6679 __u32 handle ;
6680 __u32 pad ;
6681 __u64 offset ;
6682 __u64 size ;
6683 __u64 addr_ptr ;
6684};
6685#line 442 "include/drm/i915_drm.h"
6686struct drm_i915_gem_mmap_gtt {
6687 __u32 handle ;
6688 __u32 pad ;
6689 __u64 offset ;
6690};
6691#line 454 "include/drm/i915_drm.h"
6692struct drm_i915_gem_set_domain {
6693 __u32 handle ;
6694 __u32 read_domains ;
6695 __u32 write_domain ;
6696};
6697#line 465 "include/drm/i915_drm.h"
6698struct drm_i915_gem_sw_finish {
6699 __u32 handle ;
6700};
6701#line 655 "include/drm/i915_drm.h"
6702struct drm_i915_gem_pin {
6703 __u32 handle ;
6704 __u32 pad ;
6705 __u64 alignment ;
6706 __u64 offset ;
6707};
6708#line 673 "include/drm/i915_drm.h"
6709struct drm_i915_gem_busy {
6710 __u32 handle ;
6711 __u32 busy ;
6712};
6713#line 744 "include/drm/i915_drm.h"
6714struct drm_i915_gem_get_aperture {
6715 __u64 aper_size ;