1# 1 "ldv/08_1/drivers/scsi/megaraid.ko/safe.cil.out.i"
2# 1 "<built-in>"
3# 1 "<command-line>"
4# 1 "ldv/08_1/drivers/scsi/megaraid.ko/safe.cil.out.i"
5# 19 "include/asm-generic/int-ll64.h"
6typedef signed char __s8;
7# 22 "include/asm-generic/int-ll64.h"
8typedef short __s16;
9# 23 "include/asm-generic/int-ll64.h"
10typedef unsigned short __u16;
11# 25 "include/asm-generic/int-ll64.h"
12typedef int __s32;
13# 26 "include/asm-generic/int-ll64.h"
14typedef unsigned int __u32;
15# 29 "include/asm-generic/int-ll64.h"
16typedef long long __s64;
17# 30 "include/asm-generic/int-ll64.h"
18typedef unsigned long long __u64;
19# 43 "include/asm-generic/int-ll64.h"
20typedef unsigned char u8;
21# 46 "include/asm-generic/int-ll64.h"
22typedef unsigned short u16;
23# 48 "include/asm-generic/int-ll64.h"
24typedef int s32;
25# 49 "include/asm-generic/int-ll64.h"
26typedef unsigned int u32;
27# 51 "include/asm-generic/int-ll64.h"
28typedef long long s64;
29# 52 "include/asm-generic/int-ll64.h"
30typedef unsigned long long u64;
31# 11 "include/asm-generic/types.h"
32typedef unsigned short umode_t;
33# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
34typedef unsigned int __kernel_mode_t;
35# 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
36typedef unsigned long __kernel_nlink_t;
37# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
38typedef long __kernel_off_t;
39# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
40typedef int __kernel_pid_t;
41# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
42typedef unsigned int __kernel_uid_t;
43# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
44typedef unsigned int __kernel_gid_t;
45# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
46typedef unsigned long __kernel_size_t;
47# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
48typedef long __kernel_ssize_t;
49# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
50typedef long __kernel_time_t;
51# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
52typedef long __kernel_clock_t;
53# 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
54typedef int __kernel_timer_t;
55# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
56typedef int __kernel_clockid_t;
57# 27 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
58typedef char *__kernel_caddr_t;
59# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
60typedef long long __kernel_loff_t;
61# 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
62typedef __kernel_uid_t __kernel_uid32_t;
63# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
64typedef __kernel_gid_t __kernel_gid32_t;
65# 21 "include/linux/types.h"
66typedef __u32 __kernel_dev_t;
67# 24 "include/linux/types.h"
68typedef __kernel_dev_t dev_t;
69# 26 "include/linux/types.h"
70typedef __kernel_mode_t mode_t;
71# 27 "include/linux/types.h"
72typedef __kernel_nlink_t nlink_t;
73# 28 "include/linux/types.h"
74typedef __kernel_off_t off_t;
75# 29 "include/linux/types.h"
76typedef __kernel_pid_t pid_t;
77# 34 "include/linux/types.h"
78typedef __kernel_clockid_t clockid_t;
79# 37 "include/linux/types.h"
80typedef _Bool bool;
81# 39 "include/linux/types.h"
82typedef __kernel_uid32_t uid_t;
83# 40 "include/linux/types.h"
84typedef __kernel_gid32_t gid_t;
85# 53 "include/linux/types.h"
86typedef __kernel_loff_t loff_t;
87# 62 "include/linux/types.h"
88typedef __kernel_size_t size_t;
89# 67 "include/linux/types.h"
90typedef __kernel_ssize_t ssize_t;
91# 77 "include/linux/types.h"
92typedef __kernel_time_t time_t;
93# 87 "include/linux/types.h"
94typedef __kernel_caddr_t *caddr_t;
95# 91 "include/linux/types.h"
96typedef unsigned char u_char;
97# 110 "include/linux/types.h"
98typedef __s32 int32_t;
99# 116 "include/linux/types.h"
100typedef __u32 uint32_t;
101# 141 "include/linux/types.h"
102typedef unsigned long sector_t;
103# 142 "include/linux/types.h"
104typedef unsigned long blkcnt_t;
105# 154 "include/linux/types.h"
106typedef u64 dma_addr_t;
107# 201 "include/linux/types.h"
108typedef unsigned int gfp_t;
109# 202 "include/linux/types.h"
110typedef unsigned int fmode_t;
111# 205 "include/linux/types.h"
112typedef u64 phys_addr_t;
113# 210 "include/linux/types.h"
114typedef phys_addr_t resource_size_t;
115# 214 "include/linux/types.h"
116struct __anonstruct_atomic_t_6 {
117 int counter ;
118};
119# 214 "include/linux/types.h"
120typedef struct __anonstruct_atomic_t_6 atomic_t;
121# 219 "include/linux/types.h"
122struct __anonstruct_atomic64_t_7 {
123 long counter ;
124};
125# 219 "include/linux/types.h"
126typedef struct __anonstruct_atomic64_t_7 atomic64_t;
127# 220 "include/linux/types.h"
128struct list_head {
129 struct list_head *next ;
130 struct list_head *prev ;
131};
132# 225 "include/linux/types.h"
133struct hlist_node;
134# 225 "include/linux/types.h"
135struct hlist_node;
136# 225 "include/linux/types.h"
137struct hlist_head {
138 struct hlist_node *first ;
139};
140# 229 "include/linux/types.h"
141struct hlist_node {
142 struct hlist_node *next ;
143 struct hlist_node **pprev ;
144};
145# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
146struct module;
147# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
148struct module;
149# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
150struct module;
151# 145 "include/linux/init.h"
152typedef void (*ctor_fn_t)(void);
153# 48 "include/linux/dynamic_debug.h"
154struct bug_entry {
155 int bug_addr_disp ;
156 int file_disp ;
157 unsigned short line ;
158 unsigned short flags ;
159};
160# 70 "include/asm-generic/bug.h"
161struct completion;
162# 70 "include/asm-generic/bug.h"
163struct completion;
164# 70 "include/asm-generic/bug.h"
165struct completion;
166# 71 "include/asm-generic/bug.h"
167struct pt_regs;
168# 71 "include/asm-generic/bug.h"
169struct pt_regs;
170# 71 "include/asm-generic/bug.h"
171struct pt_regs;
172# 321 "include/linux/kernel.h"
173struct pid;
174# 321 "include/linux/kernel.h"
175struct pid;
176# 321 "include/linux/kernel.h"
177struct pid;
178# 671 "include/linux/kernel.h"
179struct timespec;
180# 671 "include/linux/kernel.h"
181struct timespec;
182# 671 "include/linux/kernel.h"
183struct timespec;
184# 672 "include/linux/kernel.h"
185struct compat_timespec;
186# 672 "include/linux/kernel.h"
187struct compat_timespec;
188# 672 "include/linux/kernel.h"
189struct compat_timespec;
190# 673 "include/linux/kernel.h"
191struct __anonstruct_futex_9 {
192 u32 *uaddr ;
193 u32 val ;
194 u32 flags ;
195 u32 bitset ;
196 u64 time ;
197 u32 *uaddr2 ;
198};
199# 673 "include/linux/kernel.h"
200struct __anonstruct_nanosleep_10 {
201 clockid_t clockid ;
202 struct timespec *rmtp ;
203 struct compat_timespec *compat_rmtp ;
204 u64 expires ;
205};
206# 673 "include/linux/kernel.h"
207struct pollfd;
208# 673 "include/linux/kernel.h"
209struct pollfd;
210# 673 "include/linux/kernel.h"
211struct __anonstruct_poll_11 {
212 struct pollfd *ufds ;
213 int nfds ;
214 int has_timeout ;
215 unsigned long tv_sec ;
216 unsigned long tv_nsec ;
217};
218# 673 "include/linux/kernel.h"
219union __anonunion_ldv_2052_8 {
220 struct __anonstruct_futex_9 futex ;
221 struct __anonstruct_nanosleep_10 nanosleep ;
222 struct __anonstruct_poll_11 poll ;
223};
224# 673 "include/linux/kernel.h"
225struct restart_block {
226 long (*fn)(struct restart_block * ) ;
227 union __anonunion_ldv_2052_8 ldv_2052 ;
228};
229# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
230struct page;
231# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
232struct page;
233# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
234struct page;
235# 21 "include/asm-generic/getorder.h"
236struct task_struct;
237# 21 "include/asm-generic/getorder.h"
238struct task_struct;
239# 21 "include/asm-generic/getorder.h"
240struct task_struct;
241# 22 "include/asm-generic/getorder.h"
242struct exec_domain;
243# 22 "include/asm-generic/getorder.h"
244struct exec_domain;
245# 22 "include/asm-generic/getorder.h"
246struct exec_domain;
247# 23 "include/asm-generic/getorder.h"
248struct mm_struct;
249# 23 "include/asm-generic/getorder.h"
250struct mm_struct;
251# 23 "include/asm-generic/getorder.h"
252struct mm_struct;
253# 215 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/segment.h"
254struct pt_regs {
255 unsigned long r15 ;
256 unsigned long r14 ;
257 unsigned long r13 ;
258 unsigned long r12 ;
259 unsigned long bp ;
260 unsigned long bx ;
261 unsigned long r11 ;
262 unsigned long r10 ;
263 unsigned long r9 ;
264 unsigned long r8 ;
265 unsigned long ax ;
266 unsigned long cx ;
267 unsigned long dx ;
268 unsigned long si ;
269 unsigned long di ;
270 unsigned long orig_ax ;
271 unsigned long ip ;
272 unsigned long cs ;
273 unsigned long flags ;
274 unsigned long sp ;
275 unsigned long ss ;
276};
277# 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
278struct kernel_vm86_regs {
279 struct pt_regs pt ;
280 unsigned short es ;
281 unsigned short __esh ;
282 unsigned short ds ;
283 unsigned short __dsh ;
284 unsigned short fs ;
285 unsigned short __fsh ;
286 unsigned short gs ;
287 unsigned short __gsh ;
288};
289# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
290union __anonunion_ldv_2292_12 {
291 struct pt_regs *regs ;
292 struct kernel_vm86_regs *vm86 ;
293};
294# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
295struct math_emu_info {
296 long ___orig_eip ;
297 union __anonunion_ldv_2292_12 ldv_2292 ;
298};
299# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
300typedef unsigned long pgdval_t;
301# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
302typedef unsigned long pgprotval_t;
303# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
304struct pgprot {
305 pgprotval_t pgprot ;
306};
307# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
308typedef struct pgprot pgprot_t;
309# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
310struct __anonstruct_pgd_t_15 {
311 pgdval_t pgd ;
312};
313# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
314typedef struct __anonstruct_pgd_t_15 pgd_t;
315# 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
316typedef struct page *pgtable_t;
317# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
318struct file;
319# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
320struct file;
321# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
322struct file;
323# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
324struct seq_file;
325# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
326struct seq_file;
327# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
328struct seq_file;
329# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
330struct __anonstruct_ldv_2526_19 {
331 unsigned int a ;
332 unsigned int b ;
333};
334# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
335struct __anonstruct_ldv_2541_20 {
336 u16 limit0 ;
337 u16 base0 ;
338 unsigned char base1 ;
339 unsigned char type : 4 ;
340 unsigned char s : 1 ;
341 unsigned char dpl : 2 ;
342 unsigned char p : 1 ;
343 unsigned char limit : 4 ;
344 unsigned char avl : 1 ;
345 unsigned char l : 1 ;
346 unsigned char d : 1 ;
347 unsigned char g : 1 ;
348 unsigned char base2 ;
349};
350# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
351union __anonunion_ldv_2542_18 {
352 struct __anonstruct_ldv_2526_19 ldv_2526 ;
353 struct __anonstruct_ldv_2541_20 ldv_2541 ;
354};
355# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
356struct desc_struct {
357 union __anonunion_ldv_2542_18 ldv_2542 ;
358};
359# 43 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
360struct gate_struct64 {
361 u16 offset_low ;
362 u16 segment ;
363 unsigned char ist : 3 ;
364 unsigned char zero0 : 5 ;
365 unsigned char type : 5 ;
366 unsigned char dpl : 2 ;
367 unsigned char p : 1 ;
368 u16 offset_middle ;
369 u32 offset_high ;
370 u32 zero1 ;
371};
372# 81 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
373typedef struct gate_struct64 gate_desc;
374# 84 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
375struct desc_ptr {
376 unsigned short size ;
377 unsigned long address ;
378};
379# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
380struct thread_struct;
381# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
382struct thread_struct;
383# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
384struct thread_struct;
385# 123 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
386struct tss_struct;
387# 123 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
388struct tss_struct;
389# 123 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
390struct tss_struct;
391# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
392struct cpumask;
393# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
394struct cpumask;
395# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
396struct cpumask;
397# 125 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
398struct paravirt_callee_save {
399 void *func ;
400};
401# 94 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
402struct pv_cpu_ops {
403 unsigned long (*get_debugreg)(int ) ;
404 void (*set_debugreg)(int , unsigned long ) ;
405 void (*clts)(void) ;
406 unsigned long (*read_cr0)(void) ;
407 void (*write_cr0)(unsigned long ) ;
408 unsigned long (*read_cr4_safe)(void) ;
409 unsigned long (*read_cr4)(void) ;
410 void (*write_cr4)(unsigned long ) ;
411 unsigned long (*read_cr8)(void) ;
412 void (*write_cr8)(unsigned long ) ;
413 void (*load_tr_desc)(void) ;
414 void (*load_gdt)(struct desc_ptr const * ) ;
415 void (*load_idt)(struct desc_ptr const * ) ;
416 void (*store_gdt)(struct desc_ptr * ) ;
417 void (*store_idt)(struct desc_ptr * ) ;
418 void (*set_ldt)(void const * , unsigned int ) ;
419 unsigned long (*store_tr)(void) ;
420 void (*load_tls)(struct thread_struct * , unsigned int ) ;
421 void (*load_gs_index)(unsigned int ) ;
422 void (*write_ldt_entry)(struct desc_struct * , int , void const * ) ;
423 void (*write_gdt_entry)(struct desc_struct * , int , void const * , int ) ;
424 void (*write_idt_entry)(gate_desc * , int , gate_desc const * ) ;
425 void (*alloc_ldt)(struct desc_struct * , unsigned int ) ;
426 void (*free_ldt)(struct desc_struct * , unsigned int ) ;
427 void (*load_sp0)(struct tss_struct * , struct thread_struct * ) ;
428 void (*set_iopl_mask)(unsigned int ) ;
429 void (*wbinvd)(void) ;
430 void (*io_delay)(void) ;
431 void (*cpuid)(unsigned int * , unsigned int * , unsigned int * , unsigned int * ) ;
432 u64 (*read_msr)(unsigned int , int * ) ;
433 int (*rdmsr_regs)(u32 * ) ;
434 int (*write_msr)(unsigned int , unsigned int , unsigned int ) ;
435 int (*wrmsr_regs)(u32 * ) ;
436 u64 (*read_tsc)(void) ;
437 u64 (*read_pmc)(int ) ;
438 unsigned long long (*read_tscp)(unsigned int * ) ;
439 void (*irq_enable_sysexit)(void) ;
440 void (*usergs_sysret64)(void) ;
441 void (*usergs_sysret32)(void) ;
442 void (*iret)(void) ;
443 void (*swapgs)(void) ;
444 void (*start_context_switch)(struct task_struct * ) ;
445 void (*end_context_switch)(struct task_struct * ) ;
446};
447# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
448struct pv_irq_ops {
449 struct paravirt_callee_save save_fl ;
450 struct paravirt_callee_save restore_fl ;
451 struct paravirt_callee_save irq_disable ;
452 struct paravirt_callee_save irq_enable ;
453 void (*safe_halt)(void) ;
454 void (*halt)(void) ;
455 void (*adjust_exception_frame)(void) ;
456};
457# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
458struct arch_spinlock;
459# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
460struct arch_spinlock;
461# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
462struct arch_spinlock;
463# 304 "include/linux/bitmap.h"
464struct cpumask {
465 unsigned long bits[64U] ;
466};
467# 13 "include/linux/cpumask.h"
468typedef struct cpumask cpumask_t;
469# 622 "include/linux/cpumask.h"
470typedef struct cpumask *cpumask_var_t;
471# 90 "include/linux/personality.h"
472struct map_segment;
473# 90 "include/linux/personality.h"
474struct map_segment;
475# 90 "include/linux/personality.h"
476struct exec_domain {
477 char const *name ;
478 void (*handler)(int , struct pt_regs * ) ;
479 unsigned char pers_low ;
480 unsigned char pers_high ;
481 unsigned long *signal_map ;
482 unsigned long *signal_invmap ;
483 struct map_segment *err_map ;
484 struct map_segment *socktype_map ;
485 struct map_segment *sockopt_map ;
486 struct map_segment *af_map ;
487 struct module *module ;
488 struct exec_domain *next ;
489};
490# 189 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
491struct x86_hw_tss {
492 u32 reserved1 ;
493 u64 sp0 ;
494 u64 sp1 ;
495 u64 sp2 ;
496 u64 reserved2 ;
497 u64 ist[7U] ;
498 u32 reserved3 ;
499 u32 reserved4 ;
500 u16 reserved5 ;
501 u16 io_bitmap_base ;
502};
503# 236 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
504struct tss_struct {
505 struct x86_hw_tss x86_tss ;
506 unsigned long io_bitmap[1025U] ;
507 unsigned long stack[64U] ;
508};
509# 277 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
510struct i387_fsave_struct {
511 u32 cwd ;
512 u32 swd ;
513 u32 twd ;
514 u32 fip ;
515 u32 fcs ;
516 u32 foo ;
517 u32 fos ;
518 u32 st_space[20U] ;
519 u32 status ;
520};
521# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
522struct __anonstruct_ldv_5171_24 {
523 u64 rip ;
524 u64 rdp ;
525};
526# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
527struct __anonstruct_ldv_5177_25 {
528 u32 fip ;
529 u32 fcs ;
530 u32 foo ;
531 u32 fos ;
532};
533# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
534union __anonunion_ldv_5178_23 {
535 struct __anonstruct_ldv_5171_24 ldv_5171 ;
536 struct __anonstruct_ldv_5177_25 ldv_5177 ;
537};
538# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
539union __anonunion_ldv_5187_26 {
540 u32 padding1[12U] ;
541 u32 sw_reserved[12U] ;
542};
543# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
544struct i387_fxsave_struct {
545 u16 cwd ;
546 u16 swd ;
547 u16 twd ;
548 u16 fop ;
549 union __anonunion_ldv_5178_23 ldv_5178 ;
550 u32 mxcsr ;
551 u32 mxcsr_mask ;
552 u32 st_space[32U] ;
553 u32 xmm_space[64U] ;
554 u32 padding[12U] ;
555 union __anonunion_ldv_5187_26 ldv_5187 ;
556};
557# 329 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
558struct i387_soft_struct {
559 u32 cwd ;
560 u32 swd ;
561 u32 twd ;
562 u32 fip ;
563 u32 fcs ;
564 u32 foo ;
565 u32 fos ;
566 u32 st_space[20U] ;
567 u8 ftop ;
568 u8 changed ;
569 u8 lookahead ;
570 u8 no_update ;
571 u8 rm ;
572 u8 alimit ;
573 struct math_emu_info *info ;
574 u32 entry_eip ;
575};
576# 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
577struct ymmh_struct {
578 u32 ymmh_space[64U] ;
579};
580# 355 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
581struct xsave_hdr_struct {
582 u64 xstate_bv ;
583 u64 reserved1[2U] ;
584 u64 reserved2[5U] ;
585};
586# 361 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
587struct xsave_struct {
588 struct i387_fxsave_struct i387 ;
589 struct xsave_hdr_struct xsave_hdr ;
590 struct ymmh_struct ymmh ;
591};
592# 367 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
593union thread_xstate {
594 struct i387_fsave_struct fsave ;
595 struct i387_fxsave_struct fxsave ;
596 struct i387_soft_struct soft ;
597 struct xsave_struct xsave ;
598};
599# 375 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
600struct fpu {
601 union thread_xstate *state ;
602};
603# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
604struct kmem_cache;
605# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
606struct kmem_cache;
607# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
608struct perf_event;
609# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
610struct perf_event;
611# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
612struct perf_event;
613# 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
614struct thread_struct {
615 struct desc_struct tls_array[3U] ;
616 unsigned long sp0 ;
617 unsigned long sp ;
618 unsigned long usersp ;
619 unsigned short es ;
620 unsigned short ds ;
621 unsigned short fsindex ;
622 unsigned short gsindex ;
623 unsigned long fs ;
624 unsigned long gs ;
625 struct perf_event *ptrace_bps[4U] ;
626 unsigned long debugreg6 ;
627 unsigned long ptrace_dr7 ;
628 unsigned long cr2 ;
629 unsigned long trap_no ;
630 unsigned long error_code ;
631 struct fpu fpu ;
632 unsigned long *io_bitmap_ptr ;
633 unsigned long iopl ;
634 unsigned int io_bitmap_max ;
635};
636# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
637struct __anonstruct_mm_segment_t_28 {
638 unsigned long seg ;
639};
640# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
641typedef struct __anonstruct_mm_segment_t_28 mm_segment_t;
642# 23 "include/asm-generic/atomic-long.h"
643typedef atomic64_t atomic_long_t;
644# 131 "include/asm-generic/atomic-long.h"
645struct thread_info {
646 struct task_struct *task ;
647 struct exec_domain *exec_domain ;
648 __u32 flags ;
649 __u32 status ;
650 __u32 cpu ;
651 int preempt_count ;
652 mm_segment_t addr_limit ;
653 struct restart_block restart_block ;
654 void *sysenter_return ;
655 int uaccess_err ;
656};
657# 8 "include/linux/bottom_half.h"
658struct arch_spinlock {
659 unsigned int slock ;
660};
661# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
662typedef struct arch_spinlock arch_spinlock_t;
663# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
664struct __anonstruct_arch_rwlock_t_29 {
665 unsigned int lock ;
666};
667# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
668typedef struct __anonstruct_arch_rwlock_t_29 arch_rwlock_t;
669# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
670struct lockdep_map;
671# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
672struct lockdep_map;
673# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
674struct lockdep_map;
675# 55 "include/linux/debug_locks.h"
676struct stack_trace {
677 unsigned int nr_entries ;
678 unsigned int max_entries ;
679 unsigned long *entries ;
680 int skip ;
681};
682# 26 "include/linux/stacktrace.h"
683struct lockdep_subclass_key {
684 char __one_byte ;
685};
686# 53 "include/linux/lockdep.h"
687struct lock_class_key {
688 struct lockdep_subclass_key subkeys[8U] ;
689};
690# 59 "include/linux/lockdep.h"
691struct lock_class {
692 struct list_head hash_entry ;
693 struct list_head lock_entry ;
694 struct lockdep_subclass_key *key ;
695 unsigned int subclass ;
696 unsigned int dep_gen_id ;
697 unsigned long usage_mask ;
698 struct stack_trace usage_traces[13U] ;
699 struct list_head locks_after ;
700 struct list_head locks_before ;
701 unsigned int version ;
702 unsigned long ops ;
703 char const *name ;
704 int name_version ;
705 unsigned long contention_point[4U] ;
706 unsigned long contending_point[4U] ;
707};
708# 144 "include/linux/lockdep.h"
709struct lockdep_map {
710 struct lock_class_key *key ;
711 struct lock_class *class_cache[2U] ;
712 char const *name ;
713 int cpu ;
714 unsigned long ip ;
715};
716# 187 "include/linux/lockdep.h"
717struct held_lock {
718 u64 prev_chain_key ;
719 unsigned long acquire_ip ;
720 struct lockdep_map *instance ;
721 struct lockdep_map *nest_lock ;
722 u64 waittime_stamp ;
723 u64 holdtime_stamp ;
724 unsigned short class_idx : 13 ;
725 unsigned char irq_context : 2 ;
726 unsigned char trylock : 1 ;
727 unsigned char read : 2 ;
728 unsigned char check : 2 ;
729 unsigned char hardirqs_off : 1 ;
730 unsigned short references : 11 ;
731};
732# 552 "include/linux/lockdep.h"
733struct raw_spinlock {
734 arch_spinlock_t raw_lock ;
735 unsigned int magic ;
736 unsigned int owner_cpu ;
737 void *owner ;
738 struct lockdep_map dep_map ;
739};
740# 32 "include/linux/spinlock_types.h"
741typedef struct raw_spinlock raw_spinlock_t;
742# 33 "include/linux/spinlock_types.h"
743struct __anonstruct_ldv_6059_31 {
744 u8 __padding[24U] ;
745 struct lockdep_map dep_map ;
746};
747# 33 "include/linux/spinlock_types.h"
748union __anonunion_ldv_6060_30 {
749 struct raw_spinlock rlock ;
750 struct __anonstruct_ldv_6059_31 ldv_6059 ;
751};
752# 33 "include/linux/spinlock_types.h"
753struct spinlock {
754 union __anonunion_ldv_6060_30 ldv_6060 ;
755};
756# 76 "include/linux/spinlock_types.h"
757typedef struct spinlock spinlock_t;
758# 23 "include/linux/rwlock_types.h"
759struct __anonstruct_rwlock_t_32 {
760 arch_rwlock_t raw_lock ;
761 unsigned int magic ;
762 unsigned int owner_cpu ;
763 void *owner ;
764 struct lockdep_map dep_map ;
765};
766# 23 "include/linux/rwlock_types.h"
767typedef struct __anonstruct_rwlock_t_32 rwlock_t;
768# 110 "include/linux/seqlock.h"
769struct seqcount {
770 unsigned int sequence ;
771};
772# 121 "include/linux/seqlock.h"
773typedef struct seqcount seqcount_t;
774# 233 "include/linux/seqlock.h"
775struct timespec {
776 __kernel_time_t tv_sec ;
777 long tv_nsec ;
778};
779# 286 "include/linux/time.h"
780struct kstat {
781 u64 ino ;
782 dev_t dev ;
783 umode_t mode ;
784 unsigned int nlink ;
785 uid_t uid ;
786 gid_t gid ;
787 dev_t rdev ;
788 loff_t size ;
789 struct timespec atime ;
790 struct timespec mtime ;
791 struct timespec ctime ;
792 unsigned long blksize ;
793 unsigned long long blocks ;
794};
795# 49 "include/linux/wait.h"
796struct __wait_queue_head {
797 spinlock_t lock ;
798 struct list_head task_list ;
799};
800# 54 "include/linux/wait.h"
801typedef struct __wait_queue_head wait_queue_head_t;
802# 96 "include/linux/nodemask.h"
803struct __anonstruct_nodemask_t_34 {
804 unsigned long bits[16U] ;
805};
806# 96 "include/linux/nodemask.h"
807typedef struct __anonstruct_nodemask_t_34 nodemask_t;
808# 640 "include/linux/mmzone.h"
809struct mutex {
810 atomic_t count ;
811 spinlock_t wait_lock ;
812 struct list_head wait_list ;
813 struct task_struct *owner ;
814 char const *name ;
815 void *magic ;
816 struct lockdep_map dep_map ;
817};
818# 63 "include/linux/mutex.h"
819struct mutex_waiter {
820 struct list_head list ;
821 struct task_struct *task ;
822 void *magic ;
823};
824# 171 "include/linux/mutex.h"
825struct rw_semaphore;
826# 171 "include/linux/mutex.h"
827struct rw_semaphore;
828# 171 "include/linux/mutex.h"
829struct rw_semaphore;
830# 172 "include/linux/mutex.h"
831struct rw_semaphore {
832 long count ;
833 spinlock_t wait_lock ;
834 struct list_head wait_list ;
835 struct lockdep_map dep_map ;
836};
837# 139 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/e820.h"
838struct resource {
839 resource_size_t start ;
840 resource_size_t end ;
841 char const *name ;
842 unsigned long flags ;
843 struct resource *parent ;
844 struct resource *sibling ;
845 struct resource *child ;
846};
847# 25 "include/linux/ioport.h"
848struct pci_dev;
849# 25 "include/linux/ioport.h"
850struct pci_dev;
851# 175 "include/linux/ioport.h"
852struct device;
853# 175 "include/linux/ioport.h"
854struct device;
855# 175 "include/linux/ioport.h"
856struct device;
857# 312 "include/linux/jiffies.h"
858union ktime {
859 s64 tv64 ;
860};
861# 59 "include/linux/ktime.h"
862typedef union ktime ktime_t;
863# 99 "include/linux/debugobjects.h"
864struct tvec_base;
865# 99 "include/linux/debugobjects.h"
866struct tvec_base;
867# 99 "include/linux/debugobjects.h"
868struct tvec_base;
869# 100 "include/linux/debugobjects.h"
870struct timer_list {
871 struct list_head entry ;
872 unsigned long expires ;
873 struct tvec_base *base ;
874 void (*function)(unsigned long ) ;
875 unsigned long data ;
876 int slack ;
877 int start_pid ;
878 void *start_site ;
879 char start_comm[16U] ;
880 struct lockdep_map lockdep_map ;
881};
882# 289 "include/linux/timer.h"
883struct hrtimer;
884# 289 "include/linux/timer.h"
885struct hrtimer;
886# 289 "include/linux/timer.h"
887struct hrtimer;
888# 290 "include/linux/timer.h"
889enum hrtimer_restart;
890# 290 "include/linux/timer.h"
891enum hrtimer_restart;
892# 301 "include/linux/timer.h"
893struct workqueue_struct;
894# 301 "include/linux/timer.h"
895struct workqueue_struct;
896# 301 "include/linux/timer.h"
897struct workqueue_struct;
898# 302 "include/linux/timer.h"
899struct work_struct;
900# 302 "include/linux/timer.h"
901struct work_struct;
902# 302 "include/linux/timer.h"
903struct work_struct;
904# 45 "include/linux/workqueue.h"
905struct work_struct {
906 atomic_long_t data ;
907 struct list_head entry ;
908 void (*func)(struct work_struct * ) ;
909 struct lockdep_map lockdep_map ;
910};
911# 86 "include/linux/workqueue.h"
912struct delayed_work {
913 struct work_struct work ;
914 struct timer_list timer ;
915};
916# 102 "include/linux/workqueue.h"
917struct execute_work {
918 struct work_struct work ;
919};
920# 443 "include/linux/workqueue.h"
921struct completion {
922 unsigned int done ;
923 wait_queue_head_t wait ;
924};
925# 46 "include/linux/pm.h"
926struct pm_message {
927 int event ;
928};
929# 52 "include/linux/pm.h"
930typedef struct pm_message pm_message_t;
931# 53 "include/linux/pm.h"
932struct dev_pm_ops {
933 int (*prepare)(struct device * ) ;
934 void (*complete)(struct device * ) ;
935 int (*suspend)(struct device * ) ;
936 int (*resume)(struct device * ) ;
937 int (*freeze)(struct device * ) ;
938 int (*thaw)(struct device * ) ;
939 int (*poweroff)(struct device * ) ;
940 int (*restore)(struct device * ) ;
941 int (*suspend_noirq)(struct device * ) ;
942 int (*resume_noirq)(struct device * ) ;
943 int (*freeze_noirq)(struct device * ) ;
944 int (*thaw_noirq)(struct device * ) ;
945 int (*poweroff_noirq)(struct device * ) ;
946 int (*restore_noirq)(struct device * ) ;
947 int (*runtime_suspend)(struct device * ) ;
948 int (*runtime_resume)(struct device * ) ;
949 int (*runtime_idle)(struct device * ) ;
950};
951# 272 "include/linux/pm.h"
952enum rpm_status {
953 RPM_ACTIVE = 0,
954 RPM_RESUMING = 1,
955 RPM_SUSPENDED = 2,
956 RPM_SUSPENDING = 3
957} ;
958# 279 "include/linux/pm.h"
959enum rpm_request {
960 RPM_REQ_NONE = 0,
961 RPM_REQ_IDLE = 1,
962 RPM_REQ_SUSPEND = 2,
963 RPM_REQ_AUTOSUSPEND = 3,
964 RPM_REQ_RESUME = 4
965} ;
966# 287 "include/linux/pm.h"
967struct wakeup_source;
968# 287 "include/linux/pm.h"
969struct wakeup_source;
970# 287 "include/linux/pm.h"
971struct wakeup_source;
972# 288 "include/linux/pm.h"
973struct dev_pm_info {
974 pm_message_t power_state ;
975 unsigned char can_wakeup : 1 ;
976 unsigned char async_suspend : 1 ;
977 bool is_prepared ;
978 bool is_suspended ;
979 spinlock_t lock ;
980 struct list_head entry ;
981 struct completion completion ;
982 struct wakeup_source *wakeup ;
983 struct timer_list suspend_timer ;
984 unsigned long timer_expires ;
985 struct work_struct work ;
986 wait_queue_head_t wait_queue ;
987 atomic_t usage_count ;
988 atomic_t child_count ;
989 unsigned char disable_depth : 3 ;
990 unsigned char ignore_children : 1 ;
991 unsigned char idle_notification : 1 ;
992 unsigned char request_pending : 1 ;
993 unsigned char deferred_resume : 1 ;
994 unsigned char run_wake : 1 ;
995 unsigned char runtime_auto : 1 ;
996 unsigned char no_callbacks : 1 ;
997 unsigned char irq_safe : 1 ;
998 unsigned char use_autosuspend : 1 ;
999 unsigned char timer_autosuspends : 1 ;
1000 enum rpm_request request ;
1001 enum rpm_status runtime_status ;
1002 int runtime_error ;
1003 int autosuspend_delay ;
1004 unsigned long last_busy ;
1005 unsigned long active_jiffies ;
1006 unsigned long suspended_jiffies ;
1007 unsigned long accounting_timestamp ;
1008 void *subsys_data ;
1009};
1010# 469 "include/linux/pm.h"
1011struct dev_power_domain {
1012 struct dev_pm_ops ops ;
1013};
1014# 175 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
1015struct pci_bus;
1016# 175 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
1017struct pci_bus;
1018# 175 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
1019struct pci_bus;
1020# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
1021struct __anonstruct_mm_context_t_99 {
1022 void *ldt ;
1023 int size ;
1024 unsigned short ia32_compat ;
1025 struct mutex lock ;
1026 void *vdso ;
1027};
1028# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
1029typedef struct __anonstruct_mm_context_t_99 mm_context_t;
1030# 71 "include/asm-generic/iomap.h"
1031struct vm_area_struct;
1032# 71 "include/asm-generic/iomap.h"
1033struct vm_area_struct;
1034# 71 "include/asm-generic/iomap.h"
1035struct vm_area_struct;
1036# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
1037struct bio_vec;
1038# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
1039struct bio_vec;
1040# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
1041struct bio_vec;
1042# 18 "include/linux/smp.h"
1043struct call_single_data {
1044 struct list_head list ;
1045 void (*func)(void * ) ;
1046 void *info ;
1047 u16 flags ;
1048 u16 priv ;
1049};
1050# 53 "include/linux/rcupdate.h"
1051struct rcu_head {
1052 struct rcu_head *next ;
1053 void (*func)(struct rcu_head * ) ;
1054};
1055# 841 "include/linux/rcupdate.h"
1056struct nsproxy;
1057# 841 "include/linux/rcupdate.h"
1058struct nsproxy;
1059# 841 "include/linux/rcupdate.h"
1060struct nsproxy;
1061# 36 "include/linux/kmod.h"
1062struct cred;
1063# 36 "include/linux/kmod.h"
1064struct cred;
1065# 36 "include/linux/kmod.h"
1066struct cred;
1067# 27 "include/linux/elf.h"
1068typedef __u64 Elf64_Addr;
1069# 28 "include/linux/elf.h"
1070typedef __u16 Elf64_Half;
1071# 32 "include/linux/elf.h"
1072typedef __u32 Elf64_Word;
1073# 33 "include/linux/elf.h"
1074typedef __u64 Elf64_Xword;
1075# 202 "include/linux/elf.h"
1076struct elf64_sym {
1077 Elf64_Word st_name ;
1078 unsigned char st_info ;
1079 unsigned char st_other ;
1080 Elf64_Half st_shndx ;
1081 Elf64_Addr st_value ;
1082 Elf64_Xword st_size ;
1083};
1084# 210 "include/linux/elf.h"
1085typedef struct elf64_sym Elf64_Sym;
1086# 444 "include/linux/elf.h"
1087struct sock;
1088# 444 "include/linux/elf.h"
1089struct sock;
1090# 444 "include/linux/elf.h"
1091struct sock;
1092# 445 "include/linux/elf.h"
1093struct kobject;
1094# 445 "include/linux/elf.h"
1095struct kobject;
1096# 445 "include/linux/elf.h"
1097struct kobject;
1098# 446 "include/linux/elf.h"
1099enum kobj_ns_type {
1100 KOBJ_NS_TYPE_NONE = 0,
1101 KOBJ_NS_TYPE_NET = 1,
1102 KOBJ_NS_TYPES = 2
1103} ;
1104# 452 "include/linux/elf.h"
1105struct kobj_ns_type_operations {
1106 enum kobj_ns_type type ;
1107 void *(*grab_current_ns)(void) ;
1108 void const *(*netlink_ns)(struct sock * ) ;
1109 void const *(*initial_ns)(void) ;
1110 void (*drop_ns)(void * ) ;
1111};
1112# 57 "include/linux/kobject_ns.h"
1113struct attribute {
1114 char const *name ;
1115 mode_t mode ;
1116 struct lock_class_key *key ;
1117 struct lock_class_key skey ;
1118};
1119# 33 "include/linux/sysfs.h"
1120struct attribute_group {
1121 char const *name ;
1122 mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
1123 struct attribute **attrs ;
1124};
1125# 62 "include/linux/sysfs.h"
1126struct bin_attribute {
1127 struct attribute attr ;
1128 size_t size ;
1129 void *private ;
1130 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
1131 loff_t , size_t ) ;
1132 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
1133 loff_t , size_t ) ;
1134 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
1135};
1136# 98 "include/linux/sysfs.h"
1137struct sysfs_ops {
1138 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
1139 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
1140};
1141# 116 "include/linux/sysfs.h"
1142struct sysfs_dirent;
1143# 116 "include/linux/sysfs.h"
1144struct sysfs_dirent;
1145# 116 "include/linux/sysfs.h"
1146struct sysfs_dirent;
1147# 181 "include/linux/sysfs.h"
1148struct kref {
1149 atomic_t refcount ;
1150};
1151# 49 "include/linux/kobject.h"
1152struct kset;
1153# 49 "include/linux/kobject.h"
1154struct kset;
1155# 49 "include/linux/kobject.h"
1156struct kobj_type;
1157# 49 "include/linux/kobject.h"
1158struct kobj_type;
1159# 49 "include/linux/kobject.h"
1160struct kobject {
1161 char const *name ;
1162 struct list_head entry ;
1163 struct kobject *parent ;
1164 struct kset *kset ;
1165 struct kobj_type *ktype ;
1166 struct sysfs_dirent *sd ;
1167 struct kref kref ;
1168 unsigned char state_initialized : 1 ;
1169 unsigned char state_in_sysfs : 1 ;
1170 unsigned char state_add_uevent_sent : 1 ;
1171 unsigned char state_remove_uevent_sent : 1 ;
1172 unsigned char uevent_suppress : 1 ;
1173};
1174# 109 "include/linux/kobject.h"
1175struct kobj_type {
1176 void (*release)(struct kobject * ) ;
1177 struct sysfs_ops const *sysfs_ops ;
1178 struct attribute **default_attrs ;
1179 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
1180 void const *(*namespace)(struct kobject * ) ;
1181};
1182# 117 "include/linux/kobject.h"
1183struct kobj_uevent_env {
1184 char *envp[32U] ;
1185 int envp_idx ;
1186 char buf[2048U] ;
1187 int buflen ;
1188};
1189# 124 "include/linux/kobject.h"
1190struct kset_uevent_ops {
1191 int (* const filter)(struct kset * , struct kobject * ) ;
1192 char const *(* const name)(struct kset * , struct kobject * ) ;
1193 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
1194};
1195# 141 "include/linux/kobject.h"
1196struct kset {
1197 struct list_head list ;
1198 spinlock_t list_lock ;
1199 struct kobject kobj ;
1200 struct kset_uevent_ops const *uevent_ops ;
1201};
1202# 219 "include/linux/kobject.h"
1203struct kernel_param;
1204# 219 "include/linux/kobject.h"
1205struct kernel_param;
1206# 219 "include/linux/kobject.h"
1207struct kernel_param;
1208# 220 "include/linux/kobject.h"
1209struct kernel_param_ops {
1210 int (*set)(char const * , struct kernel_param const * ) ;
1211 int (*get)(char * , struct kernel_param const * ) ;
1212 void (*free)(void * ) ;
1213};
1214# 44 "include/linux/moduleparam.h"
1215struct kparam_string;
1216# 44 "include/linux/moduleparam.h"
1217struct kparam_string;
1218# 44 "include/linux/moduleparam.h"
1219struct kparam_array;
1220# 44 "include/linux/moduleparam.h"
1221struct kparam_array;
1222# 44 "include/linux/moduleparam.h"
1223union __anonunion_ldv_12924_129 {
1224 void *arg ;
1225 struct kparam_string const *str ;
1226 struct kparam_array const *arr ;
1227};
1228# 44 "include/linux/moduleparam.h"
1229struct kernel_param {
1230 char const *name ;
1231 struct kernel_param_ops const *ops ;
1232 u16 perm ;
1233 u16 flags ;
1234 union __anonunion_ldv_12924_129 ldv_12924 ;
1235};
1236# 59 "include/linux/moduleparam.h"
1237struct kparam_string {
1238 unsigned int maxlen ;
1239 char *string ;
1240};
1241# 65 "include/linux/moduleparam.h"
1242struct kparam_array {
1243 unsigned int max ;
1244 unsigned int elemsize ;
1245 unsigned int *num ;
1246 struct kernel_param_ops const *ops ;
1247 void *elem ;
1248};
1249# 404 "include/linux/moduleparam.h"
1250struct jump_label_key {
1251 atomic_t enabled ;
1252};
1253# 99 "include/linux/jump_label.h"
1254struct tracepoint;
1255# 99 "include/linux/jump_label.h"
1256struct tracepoint;
1257# 99 "include/linux/jump_label.h"
1258struct tracepoint;
1259# 100 "include/linux/jump_label.h"
1260struct tracepoint_func {
1261 void *func ;
1262 void *data ;
1263};
1264# 29 "include/linux/tracepoint.h"
1265struct tracepoint {
1266 char const *name ;
1267 struct jump_label_key key ;
1268 void (*regfunc)(void) ;
1269 void (*unregfunc)(void) ;
1270 struct tracepoint_func *funcs ;
1271};
1272# 84 "include/linux/tracepoint.h"
1273struct mod_arch_specific {
1274
1275};
1276# 127 "include/trace/events/module.h"
1277struct kernel_symbol {
1278 unsigned long value ;
1279 char const *name ;
1280};
1281# 48 "include/linux/module.h"
1282struct module_attribute {
1283 struct attribute attr ;
1284 ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
1285 ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
1286 size_t ) ;
1287 void (*setup)(struct module * , char const * ) ;
1288 int (*test)(struct module * ) ;
1289 void (*free)(struct module * ) ;
1290};
1291# 68 "include/linux/module.h"
1292struct module_param_attrs;
1293# 68 "include/linux/module.h"
1294struct module_param_attrs;
1295# 68 "include/linux/module.h"
1296struct module_kobject {
1297 struct kobject kobj ;
1298 struct module *mod ;
1299 struct kobject *drivers_dir ;
1300 struct module_param_attrs *mp ;
1301};
1302# 81 "include/linux/module.h"
1303struct exception_table_entry;
1304# 81 "include/linux/module.h"
1305struct exception_table_entry;
1306# 81 "include/linux/module.h"
1307struct exception_table_entry;
1308# 218 "include/linux/module.h"
1309enum module_state {
1310 MODULE_STATE_LIVE = 0,
1311 MODULE_STATE_COMING = 1,
1312 MODULE_STATE_GOING = 2
1313} ;
1314# 224 "include/linux/module.h"
1315struct module_ref {
1316 unsigned int incs ;
1317 unsigned int decs ;
1318};
1319# 418 "include/linux/module.h"
1320struct module_sect_attrs;
1321# 418 "include/linux/module.h"
1322struct module_sect_attrs;
1323# 418 "include/linux/module.h"
1324struct module_notes_attrs;
1325# 418 "include/linux/module.h"
1326struct module_notes_attrs;
1327# 418 "include/linux/module.h"
1328struct ftrace_event_call;
1329# 418 "include/linux/module.h"
1330struct ftrace_event_call;
1331# 418 "include/linux/module.h"
1332struct module {
1333 enum module_state state ;
1334 struct list_head list ;
1335 char name[56U] ;
1336 struct module_kobject mkobj ;
1337 struct module_attribute *modinfo_attrs ;
1338 char const *version ;
1339 char const *srcversion ;
1340 struct kobject *holders_dir ;
1341 struct kernel_symbol const *syms ;
1342 unsigned long const *crcs ;
1343 unsigned int num_syms ;
1344 struct kernel_param *kp ;
1345 unsigned int num_kp ;
1346 unsigned int num_gpl_syms ;
1347 struct kernel_symbol const *gpl_syms ;
1348 unsigned long const *gpl_crcs ;
1349 struct kernel_symbol const *unused_syms ;
1350 unsigned long const *unused_crcs ;
1351 unsigned int num_unused_syms ;
1352 unsigned int num_unused_gpl_syms ;
1353 struct kernel_symbol const *unused_gpl_syms ;
1354 unsigned long const *unused_gpl_crcs ;
1355 struct kernel_symbol const *gpl_future_syms ;
1356 unsigned long const *gpl_future_crcs ;
1357 unsigned int num_gpl_future_syms ;
1358 unsigned int num_exentries ;
1359 struct exception_table_entry *extable ;
1360 int (*init)(void) ;
1361 void *module_init ;
1362 void *module_core ;
1363 unsigned int init_size ;
1364 unsigned int core_size ;
1365 unsigned int init_text_size ;
1366 unsigned int core_text_size ;
1367 unsigned int init_ro_size ;
1368 unsigned int core_ro_size ;
1369 struct mod_arch_specific arch ;
1370 unsigned int taints ;
1371 unsigned int num_bugs ;
1372 struct list_head bug_list ;
1373 struct bug_entry *bug_table ;
1374 Elf64_Sym *symtab ;
1375 Elf64_Sym *core_symtab ;
1376 unsigned int num_symtab ;
1377 unsigned int core_num_syms ;
1378 char *strtab ;
1379 char *core_strtab ;
1380 struct module_sect_attrs *sect_attrs ;
1381 struct module_notes_attrs *notes_attrs ;
1382 char *args ;
1383 void *percpu ;
1384 unsigned int percpu_size ;
1385 unsigned int num_tracepoints ;
1386 struct tracepoint * const *tracepoints_ptrs ;
1387 unsigned int num_trace_bprintk_fmt ;
1388 char const **trace_bprintk_fmt_start ;
1389 struct ftrace_event_call **trace_events ;
1390 unsigned int num_trace_events ;
1391 unsigned int num_ftrace_callsites ;
1392 unsigned long *ftrace_callsites ;
1393 struct list_head source_list ;
1394 struct list_head target_list ;
1395 struct task_struct *waiter ;
1396 void (*exit)(void) ;
1397 struct module_ref *refptr ;
1398 ctor_fn_t (**ctors)(void) ;
1399 unsigned int num_ctors ;
1400};
1401# 8 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
1402struct rb_node {
1403 unsigned long rb_parent_color ;
1404 struct rb_node *rb_right ;
1405 struct rb_node *rb_left ;
1406};
1407# 108 "include/linux/rbtree.h"
1408struct rb_root {
1409 struct rb_node *rb_node ;
1410};
1411# 176 "include/linux/rbtree.h"
1412struct prio_tree_node;
1413# 176 "include/linux/rbtree.h"
1414struct prio_tree_node;
1415# 176 "include/linux/rbtree.h"
1416struct raw_prio_tree_node {
1417 struct prio_tree_node *left ;
1418 struct prio_tree_node *right ;
1419 struct prio_tree_node *parent ;
1420};
1421# 19 "include/linux/prio_tree.h"
1422struct prio_tree_node {
1423 struct prio_tree_node *left ;
1424 struct prio_tree_node *right ;
1425 struct prio_tree_node *parent ;
1426 unsigned long start ;
1427 unsigned long last ;
1428};
1429# 27 "include/linux/prio_tree.h"
1430struct prio_tree_root {
1431 struct prio_tree_node *prio_tree_node ;
1432 unsigned short index_bits ;
1433 unsigned short raw ;
1434};
1435# 115 "include/linux/prio_tree.h"
1436struct address_space;
1437# 115 "include/linux/prio_tree.h"
1438struct address_space;
1439# 115 "include/linux/prio_tree.h"
1440struct address_space;
1441# 116 "include/linux/prio_tree.h"
1442struct __anonstruct_ldv_13775_131 {
1443 u16 inuse ;
1444 u16 objects ;
1445};
1446# 116 "include/linux/prio_tree.h"
1447union __anonunion_ldv_13776_130 {
1448 atomic_t _mapcount ;
1449 struct __anonstruct_ldv_13775_131 ldv_13775 ;
1450};
1451# 116 "include/linux/prio_tree.h"
1452struct __anonstruct_ldv_13781_133 {
1453 unsigned long private ;
1454 struct address_space *mapping ;
1455};
1456# 116 "include/linux/prio_tree.h"
1457union __anonunion_ldv_13784_132 {
1458 struct __anonstruct_ldv_13781_133 ldv_13781 ;
1459 struct kmem_cache *slab ;
1460 struct page *first_page ;
1461};
1462# 116 "include/linux/prio_tree.h"
1463union __anonunion_ldv_13788_134 {
1464 unsigned long index ;
1465 void *freelist ;
1466};
1467# 116 "include/linux/prio_tree.h"
1468struct page {
1469 unsigned long flags ;
1470 atomic_t _count ;
1471 union __anonunion_ldv_13776_130 ldv_13776 ;
1472 union __anonunion_ldv_13784_132 ldv_13784 ;
1473 union __anonunion_ldv_13788_134 ldv_13788 ;
1474 struct list_head lru ;
1475};
1476# 124 "include/linux/mm_types.h"
1477struct __anonstruct_vm_set_136 {
1478 struct list_head list ;
1479 void *parent ;
1480 struct vm_area_struct *head ;
1481};
1482# 124 "include/linux/mm_types.h"
1483union __anonunion_shared_135 {
1484 struct __anonstruct_vm_set_136 vm_set ;
1485 struct raw_prio_tree_node prio_tree_node ;
1486};
1487# 124 "include/linux/mm_types.h"
1488struct anon_vma;
1489# 124 "include/linux/mm_types.h"
1490struct anon_vma;
1491# 124 "include/linux/mm_types.h"
1492struct vm_operations_struct;
1493# 124 "include/linux/mm_types.h"
1494struct vm_operations_struct;
1495# 124 "include/linux/mm_types.h"
1496struct mempolicy;
1497# 124 "include/linux/mm_types.h"
1498struct mempolicy;
1499# 124 "include/linux/mm_types.h"
1500struct vm_area_struct {
1501 struct mm_struct *vm_mm ;
1502 unsigned long vm_start ;
1503 unsigned long vm_end ;
1504 struct vm_area_struct *vm_next ;
1505 struct vm_area_struct *vm_prev ;
1506 pgprot_t vm_page_prot ;
1507 unsigned long vm_flags ;
1508 struct rb_node vm_rb ;
1509 union __anonunion_shared_135 shared ;
1510 struct list_head anon_vma_chain ;
1511 struct anon_vma *anon_vma ;
1512 struct vm_operations_struct const *vm_ops ;
1513 unsigned long vm_pgoff ;
1514 struct file *vm_file ;
1515 void *vm_private_data ;
1516 struct mempolicy *vm_policy ;
1517};
1518# 187 "include/linux/mm_types.h"
1519struct core_thread {
1520 struct task_struct *task ;
1521 struct core_thread *next ;
1522};
1523# 193 "include/linux/mm_types.h"
1524struct core_state {
1525 atomic_t nr_threads ;
1526 struct core_thread dumper ;
1527 struct completion startup ;
1528};
1529# 206 "include/linux/mm_types.h"
1530struct mm_rss_stat {
1531 atomic_long_t count[3U] ;
1532};
1533# 219 "include/linux/mm_types.h"
1534struct linux_binfmt;
1535# 219 "include/linux/mm_types.h"
1536struct linux_binfmt;
1537# 219 "include/linux/mm_types.h"
1538struct mmu_notifier_mm;
1539# 219 "include/linux/mm_types.h"
1540struct mmu_notifier_mm;
1541# 219 "include/linux/mm_types.h"
1542struct mm_struct {
1543 struct vm_area_struct *mmap ;
1544 struct rb_root mm_rb ;
1545 struct vm_area_struct *mmap_cache ;
1546 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1547 unsigned long , unsigned long ) ;
1548 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
1549 unsigned long mmap_base ;
1550 unsigned long task_size ;
1551 unsigned long cached_hole_size ;
1552 unsigned long free_area_cache ;
1553 pgd_t *pgd ;
1554 atomic_t mm_users ;
1555 atomic_t mm_count ;
1556 int map_count ;
1557 spinlock_t page_table_lock ;
1558 struct rw_semaphore mmap_sem ;
1559 struct list_head mmlist ;
1560 unsigned long hiwater_rss ;
1561 unsigned long hiwater_vm ;
1562 unsigned long total_vm ;
1563 unsigned long locked_vm ;
1564 unsigned long shared_vm ;
1565 unsigned long exec_vm ;
1566 unsigned long stack_vm ;
1567 unsigned long reserved_vm ;
1568 unsigned long def_flags ;
1569 unsigned long nr_ptes ;
1570 unsigned long start_code ;
1571 unsigned long end_code ;
1572 unsigned long start_data ;
1573 unsigned long end_data ;
1574 unsigned long start_brk ;
1575 unsigned long brk ;
1576 unsigned long start_stack ;
1577 unsigned long arg_start ;
1578 unsigned long arg_end ;
1579 unsigned long env_start ;
1580 unsigned long env_end ;
1581 unsigned long saved_auxv[44U] ;
1582 struct mm_rss_stat rss_stat ;
1583 struct linux_binfmt *binfmt ;
1584 cpumask_var_t cpu_vm_mask_var ;
1585 mm_context_t context ;
1586 unsigned int faultstamp ;
1587 unsigned int token_priority ;
1588 unsigned int last_interval ;
1589 atomic_t oom_disable_count ;
1590 unsigned long flags ;
1591 struct core_state *core_state ;
1592 spinlock_t ioctx_lock ;
1593 struct hlist_head ioctx_list ;
1594 struct task_struct *owner ;
1595 struct file *exe_file ;
1596 unsigned long num_exe_file_vmas ;
1597 struct mmu_notifier_mm *mmu_notifier_mm ;
1598 pgtable_t pmd_huge_pte ;
1599 struct cpumask cpumask_allocation ;
1600};
1601# 92 "include/linux/bit_spinlock.h"
1602struct file_ra_state;
1603# 92 "include/linux/bit_spinlock.h"
1604struct file_ra_state;
1605# 92 "include/linux/bit_spinlock.h"
1606struct file_ra_state;
1607# 93 "include/linux/bit_spinlock.h"
1608struct user_struct;
1609# 93 "include/linux/bit_spinlock.h"
1610struct user_struct;
1611# 93 "include/linux/bit_spinlock.h"
1612struct user_struct;
1613# 94 "include/linux/bit_spinlock.h"
1614struct writeback_control;
1615# 94 "include/linux/bit_spinlock.h"
1616struct writeback_control;
1617# 94 "include/linux/bit_spinlock.h"
1618struct writeback_control;
1619# 175 "include/linux/mm.h"
1620struct vm_fault {
1621 unsigned int flags ;
1622 unsigned long pgoff ;
1623 void *virtual_address ;
1624 struct page *page ;
1625};
1626# 192 "include/linux/mm.h"
1627struct vm_operations_struct {
1628 void (*open)(struct vm_area_struct * ) ;
1629 void (*close)(struct vm_area_struct * ) ;
1630 int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
1631 int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
1632 int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
1633 int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
1634 struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
1635 int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
1636 unsigned long ) ;
1637};
1638# 241 "include/linux/mm.h"
1639struct inode;
1640# 241 "include/linux/mm.h"
1641struct inode;
1642# 241 "include/linux/mm.h"
1643struct inode;
1644# 1653 "include/linux/mm.h"
1645struct bio;
1646# 1653 "include/linux/mm.h"
1647struct bio;
1648# 1653 "include/linux/mm.h"
1649struct bio;
1650# 1654 "include/linux/mm.h"
1651struct bio_integrity_payload;
1652# 1654 "include/linux/mm.h"
1653struct bio_integrity_payload;
1654# 1654 "include/linux/mm.h"
1655struct bio_integrity_payload;
1656# 1655 "include/linux/mm.h"
1657struct block_device;
1658# 1655 "include/linux/mm.h"
1659struct block_device;
1660# 1655 "include/linux/mm.h"
1661struct block_device;
1662# 17 "include/linux/blk_types.h"
1663typedef void bio_end_io_t(struct bio * , int );
1664# 18 "include/linux/blk_types.h"
1665typedef void bio_destructor_t(struct bio * );
1666# 19 "include/linux/blk_types.h"
1667struct bio_vec {
1668 struct page *bv_page ;
1669 unsigned int bv_len ;
1670 unsigned int bv_offset ;
1671};
1672# 28 "include/linux/blk_types.h"
1673struct bio {
1674 sector_t bi_sector ;
1675 struct bio *bi_next ;
1676 struct block_device *bi_bdev ;
1677 unsigned long bi_flags ;
1678 unsigned long bi_rw ;
1679 unsigned short bi_vcnt ;
1680 unsigned short bi_idx ;
1681 unsigned int bi_phys_segments ;
1682 unsigned int bi_size ;
1683 unsigned int bi_seg_front_size ;
1684 unsigned int bi_seg_back_size ;
1685 unsigned int bi_max_vecs ;
1686 unsigned int bi_comp_cpu ;
1687 atomic_t bi_cnt ;
1688 struct bio_vec *bi_io_vec ;
1689 bio_end_io_t *bi_end_io ;
1690 void *bi_private ;
1691 struct bio_integrity_payload *bi_integrity ;
1692 bio_destructor_t *bi_destructor ;
1693 struct bio_vec bi_inline_vecs[0U] ;
1694};
1695# 427 "include/linux/rculist.h"
1696struct hlist_bl_node;
1697# 427 "include/linux/rculist.h"
1698struct hlist_bl_node;
1699# 427 "include/linux/rculist.h"
1700struct hlist_bl_head {
1701 struct hlist_bl_node *first ;
1702};
1703# 36 "include/linux/list_bl.h"
1704struct hlist_bl_node {
1705 struct hlist_bl_node *next ;
1706 struct hlist_bl_node **pprev ;
1707};
1708# 114 "include/linux/rculist_bl.h"
1709struct nameidata;
1710# 114 "include/linux/rculist_bl.h"
1711struct nameidata;
1712# 114 "include/linux/rculist_bl.h"
1713struct nameidata;
1714# 115 "include/linux/rculist_bl.h"
1715struct path;
1716# 115 "include/linux/rculist_bl.h"
1717struct path;
1718# 115 "include/linux/rculist_bl.h"
1719struct path;
1720# 116 "include/linux/rculist_bl.h"
1721struct vfsmount;
1722# 116 "include/linux/rculist_bl.h"
1723struct vfsmount;
1724# 116 "include/linux/rculist_bl.h"
1725struct vfsmount;
1726# 117 "include/linux/rculist_bl.h"
1727struct qstr {
1728 unsigned int hash ;
1729 unsigned int len ;
1730 unsigned char const *name ;
1731};
1732# 100 "include/linux/dcache.h"
1733struct dentry_operations;
1734# 100 "include/linux/dcache.h"
1735struct dentry_operations;
1736# 100 "include/linux/dcache.h"
1737struct super_block;
1738# 100 "include/linux/dcache.h"
1739struct super_block;
1740# 100 "include/linux/dcache.h"
1741union __anonunion_d_u_137 {
1742 struct list_head d_child ;
1743 struct rcu_head d_rcu ;
1744};
1745# 100 "include/linux/dcache.h"
1746struct dentry {
1747 unsigned int d_flags ;
1748 seqcount_t d_seq ;
1749 struct hlist_bl_node d_hash ;
1750 struct dentry *d_parent ;
1751 struct qstr d_name ;
1752 struct inode *d_inode ;
1753 unsigned char d_iname[32U] ;
1754 unsigned int d_count ;
1755 spinlock_t d_lock ;
1756 struct dentry_operations const *d_op ;
1757 struct super_block *d_sb ;
1758 unsigned long d_time ;
1759 void *d_fsdata ;
1760 struct list_head d_lru ;
1761 union __anonunion_d_u_137 d_u ;
1762 struct list_head d_subdirs ;
1763 struct list_head d_alias ;
1764};
1765# 151 "include/linux/dcache.h"
1766struct dentry_operations {
1767 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1768 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1769 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1770 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1771 int (*d_delete)(struct dentry const * ) ;
1772 void (*d_release)(struct dentry * ) ;
1773 void (*d_iput)(struct dentry * , struct inode * ) ;
1774 char *(*d_dname)(struct dentry * , char * , int ) ;
1775 struct vfsmount *(*d_automount)(struct path * ) ;
1776 int (*d_manage)(struct dentry * , bool ) ;
1777};
1778# 422 "include/linux/dcache.h"
1779struct path {
1780 struct vfsmount *mnt ;
1781 struct dentry *dentry ;
1782};
1783# 51 "include/linux/radix-tree.h"
1784struct radix_tree_node;
1785# 51 "include/linux/radix-tree.h"
1786struct radix_tree_node;
1787# 51 "include/linux/radix-tree.h"
1788struct radix_tree_root {
1789 unsigned int height ;
1790 gfp_t gfp_mask ;
1791 struct radix_tree_node *rnode ;
1792};
1793# 229 "include/linux/radix-tree.h"
1794enum pid_type {
1795 PIDTYPE_PID = 0,
1796 PIDTYPE_PGID = 1,
1797 PIDTYPE_SID = 2,
1798 PIDTYPE_MAX = 3
1799} ;
1800# 236 "include/linux/radix-tree.h"
1801struct pid_namespace;
1802# 236 "include/linux/radix-tree.h"
1803struct pid_namespace;
1804# 236 "include/linux/radix-tree.h"
1805struct upid {
1806 int nr ;
1807 struct pid_namespace *ns ;
1808 struct hlist_node pid_chain ;
1809};
1810# 56 "include/linux/pid.h"
1811struct pid {
1812 atomic_t count ;
1813 unsigned int level ;
1814 struct hlist_head tasks[3U] ;
1815 struct rcu_head rcu ;
1816 struct upid numbers[1U] ;
1817};
1818# 68 "include/linux/pid.h"
1819struct pid_link {
1820 struct hlist_node node ;
1821 struct pid *pid ;
1822};
1823# 93 "include/linux/capability.h"
1824struct kernel_cap_struct {
1825 __u32 cap[2U] ;
1826};
1827# 96 "include/linux/capability.h"
1828typedef struct kernel_cap_struct kernel_cap_t;
1829# 104 "include/linux/capability.h"
1830struct user_namespace;
1831# 104 "include/linux/capability.h"
1832struct user_namespace;
1833# 104 "include/linux/capability.h"
1834struct user_namespace;
1835# 45 "include/linux/semaphore.h"
1836struct fiemap_extent {
1837 __u64 fe_logical ;
1838 __u64 fe_physical ;
1839 __u64 fe_length ;
1840 __u64 fe_reserved64[2U] ;
1841 __u32 fe_flags ;
1842 __u32 fe_reserved[3U] ;
1843};
1844# 38 "include/linux/fiemap.h"
1845struct export_operations;
1846# 38 "include/linux/fiemap.h"
1847struct export_operations;
1848# 38 "include/linux/fiemap.h"
1849struct export_operations;
1850# 39 "include/linux/fiemap.h"
1851struct hd_geometry;
1852# 39 "include/linux/fiemap.h"
1853struct hd_geometry;
1854# 39 "include/linux/fiemap.h"
1855struct hd_geometry;
1856# 40 "include/linux/fiemap.h"
1857struct iovec;
1858# 40 "include/linux/fiemap.h"
1859struct iovec;
1860# 40 "include/linux/fiemap.h"
1861struct iovec;
1862# 41 "include/linux/fiemap.h"
1863struct kiocb;
1864# 41 "include/linux/fiemap.h"
1865struct kiocb;
1866# 41 "include/linux/fiemap.h"
1867struct kiocb;
1868# 42 "include/linux/fiemap.h"
1869struct pipe_inode_info;
1870# 42 "include/linux/fiemap.h"
1871struct pipe_inode_info;
1872# 42 "include/linux/fiemap.h"
1873struct pipe_inode_info;
1874# 43 "include/linux/fiemap.h"
1875struct poll_table_struct;
1876# 43 "include/linux/fiemap.h"
1877struct poll_table_struct;
1878# 43 "include/linux/fiemap.h"
1879struct poll_table_struct;
1880# 44 "include/linux/fiemap.h"
1881struct kstatfs;
1882# 44 "include/linux/fiemap.h"
1883struct kstatfs;
1884# 44 "include/linux/fiemap.h"
1885struct kstatfs;
1886# 426 "include/linux/fs.h"
1887struct iattr {
1888 unsigned int ia_valid ;
1889 umode_t ia_mode ;
1890 uid_t ia_uid ;
1891 gid_t ia_gid ;
1892 loff_t ia_size ;
1893 struct timespec ia_atime ;
1894 struct timespec ia_mtime ;
1895 struct timespec ia_ctime ;
1896 struct file *ia_file ;
1897};
1898# 119 "include/linux/quota.h"
1899struct if_dqinfo {
1900 __u64 dqi_bgrace ;
1901 __u64 dqi_igrace ;
1902 __u32 dqi_flags ;
1903 __u32 dqi_valid ;
1904};
1905# 152 "include/linux/quota.h"
1906struct percpu_counter {
1907 spinlock_t lock ;
1908 s64 count ;
1909 struct list_head list ;
1910 s32 *counters ;
1911};
1912# 176 "include/linux/percpu_counter.h"
1913struct fs_disk_quota {
1914 __s8 d_version ;
1915 __s8 d_flags ;
1916 __u16 d_fieldmask ;
1917 __u32 d_id ;
1918 __u64 d_blk_hardlimit ;
1919 __u64 d_blk_softlimit ;
1920 __u64 d_ino_hardlimit ;
1921 __u64 d_ino_softlimit ;
1922 __u64 d_bcount ;
1923 __u64 d_icount ;
1924 __s32 d_itimer ;
1925 __s32 d_btimer ;
1926 __u16 d_iwarns ;
1927 __u16 d_bwarns ;
1928 __s32 d_padding2 ;
1929 __u64 d_rtb_hardlimit ;
1930 __u64 d_rtb_softlimit ;
1931 __u64 d_rtbcount ;
1932 __s32 d_rtbtimer ;
1933 __u16 d_rtbwarns ;
1934 __s16 d_padding3 ;
1935 char d_padding4[8U] ;
1936};
1937# 75 "include/linux/dqblk_xfs.h"
1938struct fs_qfilestat {
1939 __u64 qfs_ino ;
1940 __u64 qfs_nblks ;
1941 __u32 qfs_nextents ;
1942};
1943# 150 "include/linux/dqblk_xfs.h"
1944typedef struct fs_qfilestat fs_qfilestat_t;
1945# 151 "include/linux/dqblk_xfs.h"
1946struct fs_quota_stat {
1947 __s8 qs_version ;
1948 __u16 qs_flags ;
1949 __s8 qs_pad ;
1950 fs_qfilestat_t qs_uquota ;
1951 fs_qfilestat_t qs_gquota ;
1952 __u32 qs_incoredqs ;
1953 __s32 qs_btimelimit ;
1954 __s32 qs_itimelimit ;
1955 __s32 qs_rtbtimelimit ;
1956 __u16 qs_bwarnlimit ;
1957 __u16 qs_iwarnlimit ;
1958};
1959# 165 "include/linux/dqblk_xfs.h"
1960struct dquot;
1961# 165 "include/linux/dqblk_xfs.h"
1962struct dquot;
1963# 165 "include/linux/dqblk_xfs.h"
1964struct dquot;
1965# 185 "include/linux/quota.h"
1966typedef __kernel_uid32_t qid_t;
1967# 186 "include/linux/quota.h"
1968typedef long long qsize_t;
1969# 189 "include/linux/quota.h"
1970struct mem_dqblk {
1971 qsize_t dqb_bhardlimit ;
1972 qsize_t dqb_bsoftlimit ;
1973 qsize_t dqb_curspace ;
1974 qsize_t dqb_rsvspace ;
1975 qsize_t dqb_ihardlimit ;
1976 qsize_t dqb_isoftlimit ;
1977 qsize_t dqb_curinodes ;
1978 time_t dqb_btime ;
1979 time_t dqb_itime ;
1980};
1981# 211 "include/linux/quota.h"
1982struct quota_format_type;
1983# 211 "include/linux/quota.h"
1984struct quota_format_type;
1985# 211 "include/linux/quota.h"
1986struct quota_format_type;
1987# 212 "include/linux/quota.h"
1988struct mem_dqinfo {
1989 struct quota_format_type *dqi_format ;
1990 int dqi_fmt_id ;
1991 struct list_head dqi_dirty_list ;
1992 unsigned long dqi_flags ;
1993 unsigned int dqi_bgrace ;
1994 unsigned int dqi_igrace ;
1995 qsize_t dqi_maxblimit ;
1996 qsize_t dqi_maxilimit ;
1997 void *dqi_priv ;
1998};
1999# 271 "include/linux/quota.h"
2000struct dquot {
2001 struct hlist_node dq_hash ;
2002 struct list_head dq_inuse ;
2003 struct list_head dq_free ;
2004 struct list_head dq_dirty ;
2005 struct mutex dq_lock ;
2006 atomic_t dq_count ;
2007 wait_queue_head_t dq_wait_unused ;
2008 struct super_block *dq_sb ;
2009 unsigned int dq_id ;
2010 loff_t dq_off ;
2011 unsigned long dq_flags ;
2012 short dq_type ;
2013 struct mem_dqblk dq_dqb ;
2014};
2015# 299 "include/linux/quota.h"
2016struct quota_format_ops {
2017 int (*check_quota_file)(struct super_block * , int ) ;
2018 int (*read_file_info)(struct super_block * , int ) ;
2019 int (*write_file_info)(struct super_block * , int ) ;
2020 int (*free_file_info)(struct super_block * , int ) ;
2021 int (*read_dqblk)(struct dquot * ) ;
2022 int (*commit_dqblk)(struct dquot * ) ;
2023 int (*release_dqblk)(struct dquot * ) ;
2024};
2025# 310 "include/linux/quota.h"
2026struct dquot_operations {
2027 int (*write_dquot)(struct dquot * ) ;
2028 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
2029 void (*destroy_dquot)(struct dquot * ) ;
2030 int (*acquire_dquot)(struct dquot * ) ;
2031 int (*release_dquot)(struct dquot * ) ;
2032 int (*mark_dirty)(struct dquot * ) ;
2033 int (*write_info)(struct super_block * , int ) ;
2034 qsize_t *(*get_reserved_space)(struct inode * ) ;
2035};
2036# 324 "include/linux/quota.h"
2037struct quotactl_ops {
2038 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
2039 int (*quota_on_meta)(struct super_block * , int , int ) ;
2040 int (*quota_off)(struct super_block * , int ) ;
2041 int (*quota_sync)(struct super_block * , int , int ) ;
2042 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
2043 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
2044 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2045 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
2046 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
2047 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
2048};
2049# 340 "include/linux/quota.h"
2050struct quota_format_type {
2051 int qf_fmt_id ;
2052 struct quota_format_ops const *qf_ops ;
2053 struct module *qf_owner ;
2054 struct quota_format_type *qf_next ;
2055};
2056# 386 "include/linux/quota.h"
2057struct quota_info {
2058 unsigned int flags ;
2059 struct mutex dqio_mutex ;
2060 struct mutex dqonoff_mutex ;
2061 struct rw_semaphore dqptr_sem ;
2062 struct inode *files[2U] ;
2063 struct mem_dqinfo info[2U] ;
2064 struct quota_format_ops const *ops[2U] ;
2065};
2066# 576 "include/linux/fs.h"
2067union __anonunion_arg_140 {
2068 char *buf ;
2069 void *data ;
2070};
2071# 576 "include/linux/fs.h"
2072struct __anonstruct_read_descriptor_t_139 {
2073 size_t written ;
2074 size_t count ;
2075 union __anonunion_arg_140 arg ;
2076 int error ;
2077};
2078# 576 "include/linux/fs.h"
2079typedef struct __anonstruct_read_descriptor_t_139 read_descriptor_t;
2080# 579 "include/linux/fs.h"
2081struct address_space_operations {
2082 int (*writepage)(struct page * , struct writeback_control * ) ;
2083 int (*readpage)(struct file * , struct page * ) ;
2084 int (*writepages)(struct address_space * , struct writeback_control * ) ;
2085 int (*set_page_dirty)(struct page * ) ;
2086 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
2087 unsigned int ) ;
2088 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
2089 unsigned int , struct page ** , void ** ) ;
2090 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
2091 unsigned int , struct page * , void * ) ;
2092 sector_t (*bmap)(struct address_space * , sector_t ) ;
2093 void (*invalidatepage)(struct page * , unsigned long ) ;
2094 int (*releasepage)(struct page * , gfp_t ) ;
2095 void (*freepage)(struct page * ) ;
2096 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
2097 unsigned long ) ;
2098 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
2099 int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
2100 int (*launder_page)(struct page * ) ;
2101 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
2102 int (*error_remove_page)(struct address_space * , struct page * ) ;
2103};
2104# 630 "include/linux/fs.h"
2105struct backing_dev_info;
2106# 630 "include/linux/fs.h"
2107struct backing_dev_info;
2108# 630 "include/linux/fs.h"
2109struct backing_dev_info;
2110# 631 "include/linux/fs.h"
2111struct address_space {
2112 struct inode *host ;
2113 struct radix_tree_root page_tree ;
2114 spinlock_t tree_lock ;
2115 unsigned int i_mmap_writable ;
2116 struct prio_tree_root i_mmap ;
2117 struct list_head i_mmap_nonlinear ;
2118 struct mutex i_mmap_mutex ;
2119 unsigned long nrpages ;
2120 unsigned long writeback_index ;
2121 struct address_space_operations const *a_ops ;
2122 unsigned long flags ;
2123 struct backing_dev_info *backing_dev_info ;
2124 spinlock_t private_lock ;
2125 struct list_head private_list ;
2126 struct address_space *assoc_mapping ;
2127};
2128# 652 "include/linux/fs.h"
2129struct hd_struct;
2130# 652 "include/linux/fs.h"
2131struct hd_struct;
2132# 652 "include/linux/fs.h"
2133struct gendisk;
2134# 652 "include/linux/fs.h"
2135struct gendisk;
2136# 652 "include/linux/fs.h"
2137struct block_device {
2138 dev_t bd_dev ;
2139 int bd_openers ;
2140 struct inode *bd_inode ;
2141 struct super_block *bd_super ;
2142 struct mutex bd_mutex ;
2143 struct list_head bd_inodes ;
2144 void *bd_claiming ;
2145 void *bd_holder ;
2146 int bd_holders ;
2147 bool bd_write_holder ;
2148 struct list_head bd_holder_disks ;
2149 struct block_device *bd_contains ;
2150 unsigned int bd_block_size ;
2151 struct hd_struct *bd_part ;
2152 unsigned int bd_part_count ;
2153 int bd_invalidated ;
2154 struct gendisk *bd_disk ;
2155 struct list_head bd_list ;
2156 unsigned long bd_private ;
2157 int bd_fsfreeze_count ;
2158 struct mutex bd_fsfreeze_mutex ;
2159};
2160# 723 "include/linux/fs.h"
2161struct posix_acl;
2162# 723 "include/linux/fs.h"
2163struct posix_acl;
2164# 723 "include/linux/fs.h"
2165struct posix_acl;
2166# 724 "include/linux/fs.h"
2167struct inode_operations;
2168# 724 "include/linux/fs.h"
2169struct inode_operations;
2170# 724 "include/linux/fs.h"
2171union __anonunion_ldv_17777_141 {
2172 struct list_head i_dentry ;
2173 struct rcu_head i_rcu ;
2174};
2175# 724 "include/linux/fs.h"
2176struct file_operations;
2177# 724 "include/linux/fs.h"
2178struct file_operations;
2179# 724 "include/linux/fs.h"
2180struct file_lock;
2181# 724 "include/linux/fs.h"
2182struct file_lock;
2183# 724 "include/linux/fs.h"
2184struct cdev;
2185# 724 "include/linux/fs.h"
2186struct cdev;
2187# 724 "include/linux/fs.h"
2188union __anonunion_ldv_17804_142 {
2189 struct pipe_inode_info *i_pipe ;
2190 struct block_device *i_bdev ;
2191 struct cdev *i_cdev ;
2192};
2193# 724 "include/linux/fs.h"
2194struct inode {
2195 umode_t i_mode ;
2196 uid_t i_uid ;
2197 gid_t i_gid ;
2198 struct inode_operations const *i_op ;
2199 struct super_block *i_sb ;
2200 spinlock_t i_lock ;
2201 unsigned int i_flags ;
2202 unsigned long i_state ;
2203 void *i_security ;
2204 struct mutex i_mutex ;
2205 unsigned long dirtied_when ;
2206 struct hlist_node i_hash ;
2207 struct list_head i_wb_list ;
2208 struct list_head i_lru ;
2209 struct list_head i_sb_list ;
2210 union __anonunion_ldv_17777_141 ldv_17777 ;
2211 unsigned long i_ino ;
2212 atomic_t i_count ;
2213 unsigned int i_nlink ;
2214 dev_t i_rdev ;
2215 unsigned int i_blkbits ;
2216 u64 i_version ;
2217 loff_t i_size ;
2218 struct timespec i_atime ;
2219 struct timespec i_mtime ;
2220 struct timespec i_ctime ;
2221 blkcnt_t i_blocks ;
2222 unsigned short i_bytes ;
2223 struct rw_semaphore i_alloc_sem ;
2224 struct file_operations const *i_fop ;
2225 struct file_lock *i_flock ;
2226 struct address_space *i_mapping ;
2227 struct address_space i_data ;
2228 struct dquot *i_dquot[2U] ;
2229 struct list_head i_devices ;
2230 union __anonunion_ldv_17804_142 ldv_17804 ;
2231 __u32 i_generation ;
2232 __u32 i_fsnotify_mask ;
2233 struct hlist_head i_fsnotify_marks ;
2234 atomic_t i_readcount ;
2235 atomic_t i_writecount ;
2236 struct posix_acl *i_acl ;
2237 struct posix_acl *i_default_acl ;
2238 void *i_private ;
2239};
2240# 902 "include/linux/fs.h"
2241struct fown_struct {
2242 rwlock_t lock ;
2243 struct pid *pid ;
2244 enum pid_type pid_type ;
2245 uid_t uid ;
2246 uid_t euid ;
2247 int signum ;
2248};
2249# 910 "include/linux/fs.h"
2250struct file_ra_state {
2251 unsigned long start ;
2252 unsigned int size ;
2253 unsigned int async_size ;
2254 unsigned int ra_pages ;
2255 unsigned int mmap_miss ;
2256 loff_t prev_pos ;
2257};
2258# 933 "include/linux/fs.h"
2259union __anonunion_f_u_143 {
2260 struct list_head fu_list ;
2261 struct rcu_head fu_rcuhead ;
2262};
2263# 933 "include/linux/fs.h"
2264struct file {
2265 union __anonunion_f_u_143 f_u ;
2266 struct path f_path ;
2267 struct file_operations const *f_op ;
2268 spinlock_t f_lock ;
2269 int f_sb_list_cpu ;
2270 atomic_long_t f_count ;
2271 unsigned int f_flags ;
2272 fmode_t f_mode ;
2273 loff_t f_pos ;
2274 struct fown_struct f_owner ;
2275 struct cred const *f_cred ;
2276 struct file_ra_state f_ra ;
2277 u64 f_version ;
2278 void *f_security ;
2279 void *private_data ;
2280 struct list_head f_ep_links ;
2281 struct address_space *f_mapping ;
2282 unsigned long f_mnt_write_state ;
2283};
2284# 1064 "include/linux/fs.h"
2285struct files_struct;
2286# 1064 "include/linux/fs.h"
2287struct files_struct;
2288# 1064 "include/linux/fs.h"
2289typedef struct files_struct *fl_owner_t;
2290# 1065 "include/linux/fs.h"
2291struct file_lock_operations {
2292 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
2293 void (*fl_release_private)(struct file_lock * ) ;
2294};
2295# 1070 "include/linux/fs.h"
2296struct lock_manager_operations {
2297 int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
2298 void (*fl_notify)(struct file_lock * ) ;
2299 int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
2300 void (*fl_release_private)(struct file_lock * ) ;
2301 void (*fl_break)(struct file_lock * ) ;
2302 int (*fl_change)(struct file_lock ** , int ) ;
2303};
2304# 163 "include/linux/nfs.h"
2305struct nlm_lockowner;
2306# 163 "include/linux/nfs.h"
2307struct nlm_lockowner;
2308# 163 "include/linux/nfs.h"
2309struct nlm_lockowner;
2310# 164 "include/linux/nfs.h"
2311struct nfs_lock_info {
2312 u32 state ;
2313 struct nlm_lockowner *owner ;
2314 struct list_head list ;
2315};
2316# 18 "include/linux/nfs_fs_i.h"
2317struct nfs4_lock_state;
2318# 18 "include/linux/nfs_fs_i.h"
2319struct nfs4_lock_state;
2320# 18 "include/linux/nfs_fs_i.h"
2321struct nfs4_lock_state;
2322# 19 "include/linux/nfs_fs_i.h"
2323struct nfs4_lock_info {
2324 struct nfs4_lock_state *owner ;
2325};
2326# 23 "include/linux/nfs_fs_i.h"
2327struct fasync_struct;
2328# 23 "include/linux/nfs_fs_i.h"
2329struct fasync_struct;
2330# 23 "include/linux/nfs_fs_i.h"
2331struct __anonstruct_afs_145 {
2332 struct list_head link ;
2333 int state ;
2334};
2335# 23 "include/linux/nfs_fs_i.h"
2336union __anonunion_fl_u_144 {
2337 struct nfs_lock_info nfs_fl ;
2338 struct nfs4_lock_info nfs4_fl ;
2339 struct __anonstruct_afs_145 afs ;
2340};
2341# 23 "include/linux/nfs_fs_i.h"
2342struct file_lock {
2343 struct file_lock *fl_next ;
2344 struct list_head fl_link ;
2345 struct list_head fl_block ;
2346 fl_owner_t fl_owner ;
2347 unsigned char fl_flags ;
2348 unsigned char fl_type ;
2349 unsigned int fl_pid ;
2350 struct pid *fl_nspid ;
2351 wait_queue_head_t fl_wait ;
2352 struct file *fl_file ;
2353 loff_t fl_start ;
2354 loff_t fl_end ;
2355 struct fasync_struct *fl_fasync ;
2356 unsigned long fl_break_time ;
2357 struct file_lock_operations const *fl_ops ;
2358 struct lock_manager_operations const *fl_lmops ;
2359 union __anonunion_fl_u_144 fl_u ;
2360};
2361# 1171 "include/linux/fs.h"
2362struct fasync_struct {
2363 spinlock_t fa_lock ;
2364 int magic ;
2365 int fa_fd ;
2366 struct fasync_struct *fa_next ;
2367 struct file *fa_file ;
2368 struct rcu_head fa_rcu ;
2369};
2370# 1363 "include/linux/fs.h"
2371struct file_system_type;
2372# 1363 "include/linux/fs.h"
2373struct file_system_type;
2374# 1363 "include/linux/fs.h"
2375struct super_operations;
2376# 1363 "include/linux/fs.h"
2377struct super_operations;
2378# 1363 "include/linux/fs.h"
2379struct xattr_handler;
2380# 1363 "include/linux/fs.h"
2381struct xattr_handler;
2382# 1363 "include/linux/fs.h"
2383struct mtd_info;
2384# 1363 "include/linux/fs.h"
2385struct mtd_info;
2386# 1363 "include/linux/fs.h"
2387struct super_block {
2388 struct list_head s_list ;
2389 dev_t s_dev ;
2390 unsigned char s_dirt ;
2391 unsigned char s_blocksize_bits ;
2392 unsigned long s_blocksize ;
2393 loff_t s_maxbytes ;
2394 struct file_system_type *s_type ;
2395 struct super_operations const *s_op ;
2396 struct dquot_operations const *dq_op ;
2397 struct quotactl_ops const *s_qcop ;
2398 struct export_operations const *s_export_op ;
2399 unsigned long s_flags ;
2400 unsigned long s_magic ;
2401 struct dentry *s_root ;
2402 struct rw_semaphore s_umount ;
2403 struct mutex s_lock ;
2404 int s_count ;
2405 atomic_t s_active ;
2406 void *s_security ;
2407 struct xattr_handler const **s_xattr ;
2408 struct list_head s_inodes ;
2409 struct hlist_bl_head s_anon ;
2410 struct list_head *s_files ;
2411 struct list_head s_dentry_lru ;
2412 int s_nr_dentry_unused ;
2413 struct block_device *s_bdev ;
2414 struct backing_dev_info *s_bdi ;
2415 struct mtd_info *s_mtd ;
2416 struct list_head s_instances ;
2417 struct quota_info s_dquot ;
2418 int s_frozen ;
2419 wait_queue_head_t s_wait_unfrozen ;
2420 char s_id[32U] ;
2421 u8 s_uuid[16U] ;
2422 void *s_fs_info ;
2423 fmode_t s_mode ;
2424 u32 s_time_gran ;
2425 struct mutex s_vfs_rename_mutex ;
2426 char *s_subtype ;
2427 char *s_options ;
2428 struct dentry_operations const *s_d_op ;
2429 int cleancache_poolid ;
2430};
2431# 1495 "include/linux/fs.h"
2432struct fiemap_extent_info {
2433 unsigned int fi_flags ;
2434 unsigned int fi_extents_mapped ;
2435 unsigned int fi_extents_max ;
2436 struct fiemap_extent *fi_extents_start ;
2437};
2438# 1533 "include/linux/fs.h"
2439struct block_device_operations;
2440# 1533 "include/linux/fs.h"
2441struct block_device_operations;
2442# 1533 "include/linux/fs.h"
2443struct block_device_operations;
2444# 1534 "include/linux/fs.h"
2445struct file_operations {
2446 struct module *owner ;
2447 loff_t (*llseek)(struct file * , loff_t , int ) ;
2448 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2449 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2450 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2451 loff_t ) ;
2452 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2453 loff_t ) ;
2454 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2455 loff_t , u64 , unsigned int ) ) ;
2456 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2457 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2458 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2459 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2460 int (*open)(struct inode * , struct file * ) ;
2461 int (*flush)(struct file * , fl_owner_t ) ;
2462 int (*release)(struct inode * , struct file * ) ;
2463 int (*fsync)(struct file * , int ) ;
2464 int (*aio_fsync)(struct kiocb * , int ) ;
2465 int (*fasync)(int , struct file * , int ) ;
2466 int (*lock)(struct file * , int , struct file_lock * ) ;
2467 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2468 int ) ;
2469 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2470 unsigned long , unsigned long ) ;
2471 int (*check_flags)(int ) ;
2472 int (*flock)(struct file * , int , struct file_lock * ) ;
2473 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2474 unsigned int ) ;
2475 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2476 unsigned int ) ;
2477 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2478 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
2479};
2480# 1574 "include/linux/fs.h"
2481struct inode_operations {
2482 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2483 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2484 int (*permission)(struct inode * , int , unsigned int ) ;
2485 int (*check_acl)(struct inode * , int , unsigned int ) ;
2486 int (*readlink)(struct dentry * , char * , int ) ;
2487 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2488 int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
2489 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2490 int (*unlink)(struct inode * , struct dentry * ) ;
2491 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2492 int (*mkdir)(struct inode * , struct dentry * , int ) ;
2493 int (*rmdir)(struct inode * , struct dentry * ) ;
2494 int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
2495 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2496 void (*truncate)(struct inode * ) ;
2497 int (*setattr)(struct dentry * , struct iattr * ) ;
2498 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
2499 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2500 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2501 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2502 int (*removexattr)(struct dentry * , char const * ) ;
2503 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2504 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
2505};
2506# 1620 "include/linux/fs.h"
2507struct super_operations {
2508 struct inode *(*alloc_inode)(struct super_block * ) ;
2509 void (*destroy_inode)(struct inode * ) ;
2510 void (*dirty_inode)(struct inode * , int ) ;
2511 int (*write_inode)(struct inode * , struct writeback_control * ) ;
2512 int (*drop_inode)(struct inode * ) ;
2513 void (*evict_inode)(struct inode * ) ;
2514 void (*put_super)(struct super_block * ) ;
2515 void (*write_super)(struct super_block * ) ;
2516 int (*sync_fs)(struct super_block * , int ) ;
2517 int (*freeze_fs)(struct super_block * ) ;
2518 int (*unfreeze_fs)(struct super_block * ) ;
2519 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2520 int (*remount_fs)(struct super_block * , int * , char * ) ;
2521 void (*umount_begin)(struct super_block * ) ;
2522 int (*show_options)(struct seq_file * , struct vfsmount * ) ;
2523 int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
2524 int (*show_path)(struct seq_file * , struct vfsmount * ) ;
2525 int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
2526 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2527 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2528 loff_t ) ;
2529 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2530};
2531# 1801 "include/linux/fs.h"
2532struct file_system_type {
2533 char const *name ;
2534 int fs_flags ;
2535 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2536 void (*kill_sb)(struct super_block * ) ;
2537 struct module *owner ;
2538 struct file_system_type *next ;
2539 struct list_head fs_supers ;
2540 struct lock_class_key s_lock_key ;
2541 struct lock_class_key s_umount_key ;
2542 struct lock_class_key s_vfs_rename_key ;
2543 struct lock_class_key i_lock_key ;
2544 struct lock_class_key i_mutex_key ;
2545 struct lock_class_key i_mutex_dir_key ;
2546 struct lock_class_key i_alloc_sem_key ;
2547};
2548# 7 "include/asm-generic/cputime.h"
2549typedef unsigned long cputime_t;
2550# 118 "include/linux/sem.h"
2551struct sem_undo_list;
2552# 118 "include/linux/sem.h"
2553struct sem_undo_list;
2554# 131 "include/linux/sem.h"
2555struct sem_undo_list {
2556 atomic_t refcnt ;
2557 spinlock_t lock ;
2558 struct list_head list_proc ;
2559};
2560# 140 "include/linux/sem.h"
2561struct sysv_sem {
2562 struct sem_undo_list *undo_list ;
2563};
2564# 149 "include/linux/sem.h"
2565struct siginfo;
2566# 149 "include/linux/sem.h"
2567struct siginfo;
2568# 149 "include/linux/sem.h"
2569struct siginfo;
2570# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2571struct __anonstruct_sigset_t_146 {
2572 unsigned long sig[1U] ;
2573};
2574# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2575typedef struct __anonstruct_sigset_t_146 sigset_t;
2576# 17 "include/asm-generic/signal-defs.h"
2577typedef void __signalfn_t(int );
2578# 18 "include/asm-generic/signal-defs.h"
2579typedef __signalfn_t *__sighandler_t;
2580# 20 "include/asm-generic/signal-defs.h"
2581typedef void __restorefn_t(void);
2582# 21 "include/asm-generic/signal-defs.h"
2583typedef __restorefn_t *__sigrestore_t;
2584# 126 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2585struct sigaction {
2586 __sighandler_t sa_handler ;
2587 unsigned long sa_flags ;
2588 __sigrestore_t sa_restorer ;
2589 sigset_t sa_mask ;
2590};
2591# 173 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2592struct k_sigaction {
2593 struct sigaction sa ;
2594};
2595# 185 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
2596union sigval {
2597 int sival_int ;
2598 void *sival_ptr ;
2599};
2600# 10 "include/asm-generic/siginfo.h"
2601typedef union sigval sigval_t;
2602# 11 "include/asm-generic/siginfo.h"
2603struct __anonstruct__kill_148 {
2604 __kernel_pid_t _pid ;
2605 __kernel_uid32_t _uid ;
2606};
2607# 11 "include/asm-generic/siginfo.h"
2608struct __anonstruct__timer_149 {
2609 __kernel_timer_t _tid ;
2610 int _overrun ;
2611 char _pad[0U] ;
2612 sigval_t _sigval ;
2613 int _sys_private ;
2614};
2615# 11 "include/asm-generic/siginfo.h"
2616struct __anonstruct__rt_150 {
2617 __kernel_pid_t _pid ;
2618 __kernel_uid32_t _uid ;
2619 sigval_t _sigval ;
2620};
2621# 11 "include/asm-generic/siginfo.h"
2622struct __anonstruct__sigchld_151 {
2623 __kernel_pid_t _pid ;
2624 __kernel_uid32_t _uid ;
2625 int _status ;
2626 __kernel_clock_t _utime ;
2627 __kernel_clock_t _stime ;
2628};
2629# 11 "include/asm-generic/siginfo.h"
2630struct __anonstruct__sigfault_152 {
2631 void *_addr ;
2632 short _addr_lsb ;
2633};
2634# 11 "include/asm-generic/siginfo.h"
2635struct __anonstruct__sigpoll_153 {
2636 long _band ;
2637 int _fd ;
2638};
2639# 11 "include/asm-generic/siginfo.h"
2640union __anonunion__sifields_147 {
2641 int _pad[28U] ;
2642 struct __anonstruct__kill_148 _kill ;
2643 struct __anonstruct__timer_149 _timer ;
2644 struct __anonstruct__rt_150 _rt ;
2645 struct __anonstruct__sigchld_151 _sigchld ;
2646 struct __anonstruct__sigfault_152 _sigfault ;
2647 struct __anonstruct__sigpoll_153 _sigpoll ;
2648};
2649# 11 "include/asm-generic/siginfo.h"
2650struct siginfo {
2651 int si_signo ;
2652 int si_errno ;
2653 int si_code ;
2654 union __anonunion__sifields_147 _sifields ;
2655};
2656# 94 "include/asm-generic/siginfo.h"
2657typedef struct siginfo siginfo_t;
2658# 24 "include/linux/signal.h"
2659struct sigpending {
2660 struct list_head list ;
2661 sigset_t signal ;
2662};
2663# 45 "include/linux/proportions.h"
2664struct prop_local_percpu {
2665 struct percpu_counter events ;
2666 int shift ;
2667 unsigned long period ;
2668 spinlock_t lock ;
2669};
2670# 90 "include/linux/proportions.h"
2671struct prop_local_single {
2672 unsigned long events ;
2673 unsigned long period ;
2674 int shift ;
2675 spinlock_t lock ;
2676};
2677# 10 "include/linux/seccomp.h"
2678struct __anonstruct_seccomp_t_156 {
2679 int mode ;
2680};
2681# 10 "include/linux/seccomp.h"
2682typedef struct __anonstruct_seccomp_t_156 seccomp_t;
2683# 21 "include/linux/seccomp.h"
2684struct plist_head {
2685 struct list_head node_list ;
2686 raw_spinlock_t *rawlock ;
2687 spinlock_t *spinlock ;
2688};
2689# 88 "include/linux/plist.h"
2690struct plist_node {
2691 int prio ;
2692 struct list_head prio_list ;
2693 struct list_head node_list ;
2694};
2695# 38 "include/linux/rtmutex.h"
2696struct rt_mutex_waiter;
2697# 38 "include/linux/rtmutex.h"
2698struct rt_mutex_waiter;
2699# 38 "include/linux/rtmutex.h"
2700struct rt_mutex_waiter;
2701# 41 "include/linux/resource.h"
2702struct rlimit {
2703 unsigned long rlim_cur ;
2704 unsigned long rlim_max ;
2705};
2706# 85 "include/linux/resource.h"
2707struct timerqueue_node {
2708 struct rb_node node ;
2709 ktime_t expires ;
2710};
2711# 12 "include/linux/timerqueue.h"
2712struct timerqueue_head {
2713 struct rb_root head ;
2714 struct timerqueue_node *next ;
2715};
2716# 50 "include/linux/timerqueue.h"
2717struct hrtimer_clock_base;
2718# 50 "include/linux/timerqueue.h"
2719struct hrtimer_clock_base;
2720# 50 "include/linux/timerqueue.h"
2721struct hrtimer_clock_base;
2722# 51 "include/linux/timerqueue.h"
2723struct hrtimer_cpu_base;
2724# 51 "include/linux/timerqueue.h"
2725struct hrtimer_cpu_base;
2726# 51 "include/linux/timerqueue.h"
2727struct hrtimer_cpu_base;
2728# 60 "include/linux/timerqueue.h"
2729enum hrtimer_restart {
2730 HRTIMER_NORESTART = 0,
2731 HRTIMER_RESTART = 1
2732} ;
2733# 65 "include/linux/timerqueue.h"
2734struct hrtimer {
2735 struct timerqueue_node node ;
2736 ktime_t _softexpires ;
2737 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2738 struct hrtimer_clock_base *base ;
2739 unsigned long state ;
2740 int start_pid ;
2741 void *start_site ;
2742 char start_comm[16U] ;
2743};
2744# 132 "include/linux/hrtimer.h"
2745struct hrtimer_clock_base {
2746 struct hrtimer_cpu_base *cpu_base ;
2747 int index ;
2748 clockid_t clockid ;
2749 struct timerqueue_head active ;
2750 ktime_t resolution ;
2751 ktime_t (*get_time)(void) ;
2752 ktime_t softirq_time ;
2753 ktime_t offset ;
2754};
2755# 162 "include/linux/hrtimer.h"
2756struct hrtimer_cpu_base {
2757 raw_spinlock_t lock ;
2758 unsigned long active_bases ;
2759 ktime_t expires_next ;
2760 int hres_active ;
2761 int hang_detected ;
2762 unsigned long nr_events ;
2763 unsigned long nr_retries ;
2764 unsigned long nr_hangs ;
2765 ktime_t max_hang_time ;
2766 struct hrtimer_clock_base clock_base[3U] ;
2767};
2768# 452 "include/linux/hrtimer.h"
2769struct task_io_accounting {
2770 u64 rchar ;
2771 u64 wchar ;
2772 u64 syscr ;
2773 u64 syscw ;
2774 u64 read_bytes ;
2775 u64 write_bytes ;
2776 u64 cancelled_write_bytes ;
2777};
2778# 45 "include/linux/task_io_accounting.h"
2779struct latency_record {
2780 unsigned long backtrace[12U] ;
2781 unsigned int count ;
2782 unsigned long time ;
2783 unsigned long max ;
2784};
2785# 29 "include/linux/key.h"
2786typedef int32_t key_serial_t;
2787# 32 "include/linux/key.h"
2788typedef uint32_t key_perm_t;
2789# 33 "include/linux/key.h"
2790struct key;
2791# 33 "include/linux/key.h"
2792struct key;
2793# 33 "include/linux/key.h"
2794struct key;
2795# 34 "include/linux/key.h"
2796struct signal_struct;
2797# 34 "include/linux/key.h"
2798struct signal_struct;
2799# 34 "include/linux/key.h"
2800struct signal_struct;
2801# 35 "include/linux/key.h"
2802struct key_type;
2803# 35 "include/linux/key.h"
2804struct key_type;
2805# 35 "include/linux/key.h"
2806struct key_type;
2807# 37 "include/linux/key.h"
2808struct keyring_list;
2809# 37 "include/linux/key.h"
2810struct keyring_list;
2811# 37 "include/linux/key.h"
2812struct keyring_list;
2813# 115 "include/linux/key.h"
2814struct key_user;
2815# 115 "include/linux/key.h"
2816struct key_user;
2817# 115 "include/linux/key.h"
2818union __anonunion_ldv_20738_157 {
2819 time_t expiry ;
2820 time_t revoked_at ;
2821};
2822# 115 "include/linux/key.h"
2823union __anonunion_type_data_158 {
2824 struct list_head link ;
2825 unsigned long x[2U] ;
2826 void *p[2U] ;
2827 int reject_error ;
2828};
2829# 115 "include/linux/key.h"
2830union __anonunion_payload_159 {
2831 unsigned long value ;
2832 void *rcudata ;
2833 void *data ;
2834 struct keyring_list *subscriptions ;
2835};
2836# 115 "include/linux/key.h"
2837struct key {
2838 atomic_t usage ;
2839 key_serial_t serial ;
2840 struct rb_node serial_node ;
2841 struct key_type *type ;
2842 struct rw_semaphore sem ;
2843 struct key_user *user ;
2844 void *security ;
2845 union __anonunion_ldv_20738_157 ldv_20738 ;
2846 uid_t uid ;
2847 gid_t gid ;
2848 key_perm_t perm ;
2849 unsigned short quotalen ;
2850 unsigned short datalen ;
2851 unsigned long flags ;
2852 char *description ;
2853 union __anonunion_type_data_158 type_data ;
2854 union __anonunion_payload_159 payload ;
2855};
2856# 310 "include/linux/key.h"
2857struct audit_context;
2858# 310 "include/linux/key.h"
2859struct audit_context;
2860# 310 "include/linux/key.h"
2861struct audit_context;
2862# 27 "include/linux/selinux.h"
2863struct group_info {
2864 atomic_t usage ;
2865 int ngroups ;
2866 int nblocks ;
2867 gid_t small_block[32U] ;
2868 gid_t *blocks[0U] ;
2869};
2870# 77 "include/linux/cred.h"
2871struct thread_group_cred {
2872 atomic_t usage ;
2873 pid_t tgid ;
2874 spinlock_t lock ;
2875 struct key *session_keyring ;
2876 struct key *process_keyring ;
2877 struct rcu_head rcu ;
2878};
2879# 91 "include/linux/cred.h"
2880struct cred {
2881 atomic_t usage ;
2882 atomic_t subscribers ;
2883 void *put_addr ;
2884 unsigned int magic ;
2885 uid_t uid ;
2886 gid_t gid ;
2887 uid_t suid ;
2888 gid_t sgid ;
2889 uid_t euid ;
2890 gid_t egid ;
2891 uid_t fsuid ;
2892 gid_t fsgid ;
2893 unsigned int securebits ;
2894 kernel_cap_t cap_inheritable ;
2895 kernel_cap_t cap_permitted ;
2896 kernel_cap_t cap_effective ;
2897 kernel_cap_t cap_bset ;
2898 unsigned char jit_keyring ;
2899 struct key *thread_keyring ;
2900 struct key *request_key_auth ;
2901 struct thread_group_cred *tgcred ;
2902 void *security ;
2903 struct user_struct *user ;
2904 struct user_namespace *user_ns ;
2905 struct group_info *group_info ;
2906 struct rcu_head rcu ;
2907};
2908# 264 "include/linux/cred.h"
2909struct futex_pi_state;
2910# 264 "include/linux/cred.h"
2911struct futex_pi_state;
2912# 264 "include/linux/cred.h"
2913struct futex_pi_state;
2914# 265 "include/linux/cred.h"
2915struct robust_list_head;
2916# 265 "include/linux/cred.h"
2917struct robust_list_head;
2918# 265 "include/linux/cred.h"
2919struct robust_list_head;
2920# 266 "include/linux/cred.h"
2921struct bio_list;
2922# 266 "include/linux/cred.h"
2923struct bio_list;
2924# 266 "include/linux/cred.h"
2925struct bio_list;
2926# 267 "include/linux/cred.h"
2927struct fs_struct;
2928# 267 "include/linux/cred.h"
2929struct fs_struct;
2930# 267 "include/linux/cred.h"
2931struct fs_struct;
2932# 268 "include/linux/cred.h"
2933struct perf_event_context;
2934# 268 "include/linux/cred.h"
2935struct perf_event_context;
2936# 268 "include/linux/cred.h"
2937struct perf_event_context;
2938# 269 "include/linux/cred.h"
2939struct blk_plug;
2940# 269 "include/linux/cred.h"
2941struct blk_plug;
2942# 269 "include/linux/cred.h"
2943struct blk_plug;
2944# 149 "include/linux/sched.h"
2945struct cfs_rq;
2946# 149 "include/linux/sched.h"
2947struct cfs_rq;
2948# 149 "include/linux/sched.h"
2949struct cfs_rq;
2950# 44 "include/linux/aio_abi.h"
2951struct io_event {
2952 __u64 data ;
2953 __u64 obj ;
2954 __s64 res ;
2955 __s64 res2 ;
2956};
2957# 106 "include/linux/aio_abi.h"
2958struct iovec {
2959 void *iov_base ;
2960 __kernel_size_t iov_len ;
2961};
2962# 54 "include/linux/uio.h"
2963struct kioctx;
2964# 54 "include/linux/uio.h"
2965struct kioctx;
2966# 54 "include/linux/uio.h"
2967struct kioctx;
2968# 55 "include/linux/uio.h"
2969union __anonunion_ki_obj_160 {
2970 void *user ;
2971 struct task_struct *tsk ;
2972};
2973# 55 "include/linux/uio.h"
2974struct eventfd_ctx;
2975# 55 "include/linux/uio.h"
2976struct eventfd_ctx;
2977# 55 "include/linux/uio.h"
2978struct kiocb {
2979 struct list_head ki_run_list ;
2980 unsigned long ki_flags ;
2981 int ki_users ;
2982 unsigned int ki_key ;
2983 struct file *ki_filp ;
2984 struct kioctx *ki_ctx ;
2985 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2986 ssize_t (*ki_retry)(struct kiocb * ) ;
2987 void (*ki_dtor)(struct kiocb * ) ;
2988 union __anonunion_ki_obj_160 ki_obj ;
2989 __u64 ki_user_data ;
2990 loff_t ki_pos ;
2991 void *private ;
2992 unsigned short ki_opcode ;
2993 size_t ki_nbytes ;
2994 char *ki_buf ;
2995 size_t ki_left ;
2996 struct iovec ki_inline_vec ;
2997 struct iovec *ki_iovec ;
2998 unsigned long ki_nr_segs ;
2999 unsigned long ki_cur_seg ;
3000 struct list_head ki_list ;
3001 struct eventfd_ctx *ki_eventfd ;
3002};
3003# 161 "include/linux/aio.h"
3004struct aio_ring_info {
3005 unsigned long mmap_base ;
3006 unsigned long mmap_size ;
3007 struct page **ring_pages ;
3008 spinlock_t ring_lock ;
3009 long nr_pages ;
3010 unsigned int nr ;
3011 unsigned int tail ;
3012 struct page *internal_pages[8U] ;
3013};
3014# 177 "include/linux/aio.h"
3015struct kioctx {
3016 atomic_t users ;
3017 int dead ;
3018 struct mm_struct *mm ;
3019 unsigned long user_id ;
3020 struct hlist_node list ;
3021 wait_queue_head_t wait ;
3022 spinlock_t ctx_lock ;
3023 int reqs_active ;
3024 struct list_head active_reqs ;
3025 struct list_head run_list ;
3026 unsigned int max_reqs ;
3027 struct aio_ring_info ring_info ;
3028 struct delayed_work wq ;
3029 struct rcu_head rcu_head ;
3030};
3031# 404 "include/linux/sched.h"
3032struct sighand_struct {
3033 atomic_t count ;
3034 struct k_sigaction action[64U] ;
3035 spinlock_t siglock ;
3036 wait_queue_head_t signalfd_wqh ;
3037};
3038# 447 "include/linux/sched.h"
3039struct pacct_struct {
3040 int ac_flag ;
3041 long ac_exitcode ;
3042 unsigned long ac_mem ;
3043 cputime_t ac_utime ;
3044 cputime_t ac_stime ;
3045 unsigned long ac_minflt ;
3046 unsigned long ac_majflt ;
3047};
3048# 455 "include/linux/sched.h"
3049struct cpu_itimer {
3050 cputime_t expires ;
3051 cputime_t incr ;
3052 u32 error ;
3053 u32 incr_error ;
3054};
3055# 462 "include/linux/sched.h"
3056struct task_cputime {
3057 cputime_t utime ;
3058 cputime_t stime ;
3059 unsigned long long sum_exec_runtime ;
3060};
3061# 479 "include/linux/sched.h"
3062struct thread_group_cputimer {
3063 struct task_cputime cputime ;
3064 int running ;
3065 spinlock_t lock ;
3066};
3067# 515 "include/linux/sched.h"
3068struct autogroup;
3069# 515 "include/linux/sched.h"
3070struct autogroup;
3071# 515 "include/linux/sched.h"
3072struct autogroup;
3073# 516 "include/linux/sched.h"
3074struct tty_struct;
3075# 516 "include/linux/sched.h"
3076struct tty_struct;
3077# 516 "include/linux/sched.h"
3078struct taskstats;
3079# 516 "include/linux/sched.h"
3080struct taskstats;
3081# 516 "include/linux/sched.h"
3082struct tty_audit_buf;
3083# 516 "include/linux/sched.h"
3084struct tty_audit_buf;
3085# 516 "include/linux/sched.h"
3086struct signal_struct {
3087 atomic_t sigcnt ;
3088 atomic_t live ;
3089 int nr_threads ;
3090 wait_queue_head_t wait_chldexit ;
3091 struct task_struct *curr_target ;
3092 struct sigpending shared_pending ;
3093 int group_exit_code ;
3094 int notify_count ;
3095 struct task_struct *group_exit_task ;
3096 int group_stop_count ;
3097 unsigned int flags ;
3098 struct list_head posix_timers ;
3099 struct hrtimer real_timer ;
3100 struct pid *leader_pid ;
3101 ktime_t it_real_incr ;
3102 struct cpu_itimer it[2U] ;
3103 struct thread_group_cputimer cputimer ;
3104 struct task_cputime cputime_expires ;
3105 struct list_head cpu_timers[3U] ;
3106 struct pid *tty_old_pgrp ;
3107 int leader ;
3108 struct tty_struct *tty ;
3109 struct autogroup *autogroup ;
3110 cputime_t utime ;
3111 cputime_t stime ;
3112 cputime_t cutime ;
3113 cputime_t cstime ;
3114 cputime_t gtime ;
3115 cputime_t cgtime ;
3116 cputime_t prev_utime ;
3117 cputime_t prev_stime ;
3118 unsigned long nvcsw ;
3119 unsigned long nivcsw ;
3120 unsigned long cnvcsw ;
3121 unsigned long cnivcsw ;
3122 unsigned long min_flt ;
3123 unsigned long maj_flt ;
3124 unsigned long cmin_flt ;
3125 unsigned long cmaj_flt ;
3126 unsigned long inblock ;
3127 unsigned long oublock ;
3128 unsigned long cinblock ;
3129 unsigned long coublock ;
3130 unsigned long maxrss ;
3131 unsigned long cmaxrss ;
3132 struct task_io_accounting ioac ;
3133 unsigned long long sum_sched_runtime ;
3134 struct rlimit rlim[16U] ;
3135 struct pacct_struct pacct ;
3136 struct taskstats *stats ;
3137 unsigned int audit_tty ;
3138 struct tty_audit_buf *tty_audit_buf ;
3139 struct rw_semaphore threadgroup_fork_lock ;
3140 int oom_adj ;
3141 int oom_score_adj ;
3142 int oom_score_adj_min ;
3143 struct mutex cred_guard_mutex ;
3144};
3145# 683 "include/linux/sched.h"
3146struct user_struct {
3147 atomic_t __count ;
3148 atomic_t processes ;
3149 atomic_t files ;
3150 atomic_t sigpending ;
3151 atomic_t inotify_watches ;
3152 atomic_t inotify_devs ;
3153 atomic_t fanotify_listeners ;
3154 atomic_long_t epoll_watches ;
3155 unsigned long mq_bytes ;
3156 unsigned long locked_shm ;
3157 struct key *uid_keyring ;
3158 struct key *session_keyring ;
3159 struct hlist_node uidhash_node ;
3160 uid_t uid ;
3161 struct user_namespace *user_ns ;
3162 atomic_long_t locked_vm ;
3163};
3164# 728 "include/linux/sched.h"
3165struct reclaim_state;
3166# 728 "include/linux/sched.h"
3167struct reclaim_state;
3168# 728 "include/linux/sched.h"
3169struct reclaim_state;
3170# 729 "include/linux/sched.h"
3171struct sched_info {
3172 unsigned long pcount ;
3173 unsigned long long run_delay ;
3174 unsigned long long last_arrival ;
3175 unsigned long long last_queued ;
3176};
3177# 744 "include/linux/sched.h"
3178struct task_delay_info {
3179 spinlock_t lock ;
3180 unsigned int flags ;
3181 struct timespec blkio_start ;
3182 struct timespec blkio_end ;
3183 u64 blkio_delay ;
3184 u64 swapin_delay ;
3185 u32 blkio_count ;
3186 u32 swapin_count ;
3187 struct timespec freepages_start ;
3188 struct timespec freepages_end ;
3189 u64 freepages_delay ;
3190 u32 freepages_count ;
3191};
3192# 1037 "include/linux/sched.h"
3193struct io_context;
3194# 1037 "include/linux/sched.h"
3195struct io_context;
3196# 1037 "include/linux/sched.h"
3197struct io_context;
3198# 1060 "include/linux/sched.h"
3199struct rq;
3200# 1060 "include/linux/sched.h"
3201struct rq;
3202# 1060 "include/linux/sched.h"
3203struct rq;
3204# 1061 "include/linux/sched.h"
3205struct sched_class {
3206 struct sched_class const *next ;
3207 void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
3208 void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
3209 void (*yield_task)(struct rq * ) ;
3210 bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
3211 void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
3212 struct task_struct *(*pick_next_task)(struct rq * ) ;
3213 void (*put_prev_task)(struct rq * , struct task_struct * ) ;
3214 int (*select_task_rq)(struct task_struct * , int , int ) ;
3215 void (*pre_schedule)(struct rq * , struct task_struct * ) ;
3216 void (*post_schedule)(struct rq * ) ;
3217 void (*task_waking)(struct task_struct * ) ;
3218 void (*task_woken)(struct rq * , struct task_struct * ) ;
3219 void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
3220 void (*rq_online)(struct rq * ) ;
3221 void (*rq_offline)(struct rq * ) ;
3222 void (*set_curr_task)(struct rq * ) ;
3223 void (*task_tick)(struct rq * , struct task_struct * , int ) ;
3224 void (*task_fork)(struct task_struct * ) ;
3225 void (*switched_from)(struct rq * , struct task_struct * ) ;
3226 void (*switched_to)(struct rq * , struct task_struct * ) ;
3227 void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
3228 unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
3229 void (*task_move_group)(struct task_struct * , int ) ;
3230};
3231# 1127 "include/linux/sched.h"
3232struct load_weight {
3233 unsigned long weight ;
3234 unsigned long inv_weight ;
3235};
3236# 1132 "include/linux/sched.h"
3237struct sched_statistics {
3238 u64 wait_start ;
3239 u64 wait_max ;
3240 u64 wait_count ;
3241 u64 wait_sum ;
3242 u64 iowait_count ;
3243 u64 iowait_sum ;
3244 u64 sleep_start ;
3245 u64 sleep_max ;
3246 s64 sum_sleep_runtime ;
3247 u64 block_start ;
3248 u64 block_max ;
3249 u64 exec_max ;
3250 u64 slice_max ;
3251 u64 nr_migrations_cold ;
3252 u64 nr_failed_migrations_affine ;
3253 u64 nr_failed_migrations_running ;
3254 u64 nr_failed_migrations_hot ;
3255 u64 nr_forced_migrations ;
3256 u64 nr_wakeups ;
3257 u64 nr_wakeups_sync ;
3258 u64 nr_wakeups_migrate ;
3259 u64 nr_wakeups_local ;
3260 u64 nr_wakeups_remote ;
3261 u64 nr_wakeups_affine ;
3262 u64 nr_wakeups_affine_attempts ;
3263 u64 nr_wakeups_passive ;
3264 u64 nr_wakeups_idle ;
3265};
3266# 1167 "include/linux/sched.h"
3267struct sched_entity {
3268 struct load_weight load ;
3269 struct rb_node run_node ;
3270 struct list_head group_node ;
3271 unsigned int on_rq ;
3272 u64 exec_start ;
3273 u64 sum_exec_runtime ;
3274 u64 vruntime ;
3275 u64 prev_sum_exec_runtime ;
3276 u64 nr_migrations ;
3277 struct sched_statistics statistics ;
3278 struct sched_entity *parent ;
3279 struct cfs_rq *cfs_rq ;
3280 struct cfs_rq *my_q ;
3281};
3282# 1193 "include/linux/sched.h"
3283struct rt_rq;
3284# 1193 "include/linux/sched.h"
3285struct rt_rq;
3286# 1193 "include/linux/sched.h"
3287struct sched_rt_entity {
3288 struct list_head run_list ;
3289 unsigned long timeout ;
3290 unsigned int time_slice ;
3291 int nr_cpus_allowed ;
3292 struct sched_rt_entity *back ;
3293 struct sched_rt_entity *parent ;
3294 struct rt_rq *rt_rq ;
3295 struct rt_rq *my_q ;
3296};
3297# 1217 "include/linux/sched.h"
3298struct mem_cgroup;
3299# 1217 "include/linux/sched.h"
3300struct mem_cgroup;
3301# 1217 "include/linux/sched.h"
3302struct memcg_batch_info {
3303 int do_batch ;
3304 struct mem_cgroup *memcg ;
3305 unsigned long nr_pages ;
3306 unsigned long memsw_nr_pages ;
3307};
3308# 1569 "include/linux/sched.h"
3309struct irqaction;
3310# 1569 "include/linux/sched.h"
3311struct irqaction;
3312# 1569 "include/linux/sched.h"
3313struct css_set;
3314# 1569 "include/linux/sched.h"
3315struct css_set;
3316# 1569 "include/linux/sched.h"
3317struct compat_robust_list_head;
3318# 1569 "include/linux/sched.h"
3319struct compat_robust_list_head;
3320# 1569 "include/linux/sched.h"
3321struct ftrace_ret_stack;
3322# 1569 "include/linux/sched.h"
3323struct ftrace_ret_stack;
3324# 1569 "include/linux/sched.h"
3325struct task_struct {
3326 long volatile state ;
3327 void *stack ;
3328 atomic_t usage ;
3329 unsigned int flags ;
3330 unsigned int ptrace ;
3331 struct task_struct *wake_entry ;
3332 int on_cpu ;
3333 int on_rq ;
3334 int prio ;
3335 int static_prio ;
3336 int normal_prio ;
3337 unsigned int rt_priority ;
3338 struct sched_class const *sched_class ;
3339 struct sched_entity se ;
3340 struct sched_rt_entity rt ;
3341 struct hlist_head preempt_notifiers ;
3342 unsigned char fpu_counter ;
3343 unsigned int btrace_seq ;
3344 unsigned int policy ;
3345 cpumask_t cpus_allowed ;
3346 struct sched_info sched_info ;
3347 struct list_head tasks ;
3348 struct plist_node pushable_tasks ;
3349 struct mm_struct *mm ;
3350 struct mm_struct *active_mm ;
3351 unsigned char brk_randomized : 1 ;
3352 int exit_state ;
3353 int exit_code ;
3354 int exit_signal ;
3355 int pdeath_signal ;
3356 unsigned int group_stop ;
3357 unsigned int personality ;
3358 unsigned char did_exec : 1 ;
3359 unsigned char in_execve : 1 ;
3360 unsigned char in_iowait : 1 ;
3361 unsigned char sched_reset_on_fork : 1 ;
3362 unsigned char sched_contributes_to_load : 1 ;
3363 pid_t pid ;
3364 pid_t tgid ;
3365 unsigned long stack_canary ;
3366 struct task_struct *real_parent ;
3367 struct task_struct *parent ;
3368 struct list_head children ;
3369 struct list_head sibling ;
3370 struct task_struct *group_leader ;
3371 struct list_head ptraced ;
3372 struct list_head ptrace_entry ;
3373 struct pid_link pids[3U] ;
3374 struct list_head thread_group ;
3375 struct completion *vfork_done ;
3376 int *set_child_tid ;
3377 int *clear_child_tid ;
3378 cputime_t utime ;
3379 cputime_t stime ;
3380 cputime_t utimescaled ;
3381 cputime_t stimescaled ;
3382 cputime_t gtime ;
3383 cputime_t prev_utime ;
3384 cputime_t prev_stime ;
3385 unsigned long nvcsw ;
3386 unsigned long nivcsw ;
3387 struct timespec start_time ;
3388 struct timespec real_start_time ;
3389 unsigned long min_flt ;
3390 unsigned long maj_flt ;
3391 struct task_cputime cputime_expires ;
3392 struct list_head cpu_timers[3U] ;
3393 struct cred const *real_cred ;
3394 struct cred const *cred ;
3395 struct cred *replacement_session_keyring ;
3396 char comm[16U] ;
3397 int link_count ;
3398 int total_link_count ;
3399 struct sysv_sem sysvsem ;
3400 unsigned long last_switch_count ;
3401 struct thread_struct thread ;
3402 struct fs_struct *fs ;
3403 struct files_struct *files ;
3404 struct nsproxy *nsproxy ;
3405 struct signal_struct *signal ;
3406 struct sighand_struct *sighand ;
3407 sigset_t blocked ;
3408 sigset_t real_blocked ;
3409 sigset_t saved_sigmask ;
3410 struct sigpending pending ;
3411 unsigned long sas_ss_sp ;
3412 size_t sas_ss_size ;
3413 int (*notifier)(void * ) ;
3414 void *notifier_data ;
3415 sigset_t *notifier_mask ;
3416 struct audit_context *audit_context ;
3417 uid_t loginuid ;
3418 unsigned int sessionid ;
3419 seccomp_t seccomp ;
3420 u32 parent_exec_id ;
3421 u32 self_exec_id ;
3422 spinlock_t alloc_lock ;
3423 struct irqaction *irqaction ;
3424 raw_spinlock_t pi_lock ;
3425 struct plist_head pi_waiters ;
3426 struct rt_mutex_waiter *pi_blocked_on ;
3427 struct mutex_waiter *blocked_on ;
3428 unsigned int irq_events ;
3429 unsigned long hardirq_enable_ip ;
3430 unsigned long hardirq_disable_ip ;
3431 unsigned int hardirq_enable_event ;
3432 unsigned int hardirq_disable_event ;
3433 int hardirqs_enabled ;
3434 int hardirq_context ;
3435 unsigned long softirq_disable_ip ;
3436 unsigned long softirq_enable_ip ;
3437 unsigned int softirq_disable_event ;
3438 unsigned int softirq_enable_event ;
3439 int softirqs_enabled ;
3440 int softirq_context ;
3441 u64 curr_chain_key ;
3442 int lockdep_depth ;
3443 unsigned int lockdep_recursion ;
3444 struct held_lock held_locks[48U] ;
3445 gfp_t lockdep_reclaim_gfp ;
3446 void *journal_info ;
3447 struct bio_list *bio_list ;
3448 struct blk_plug *plug ;
3449 struct reclaim_state *reclaim_state ;
3450 struct backing_dev_info *backing_dev_info ;
3451 struct io_context *io_context ;
3452 unsigned long ptrace_message ;
3453 siginfo_t *last_siginfo ;
3454 struct task_io_accounting ioac ;
3455 u64 acct_rss_mem1 ;
3456 u64 acct_vm_mem1 ;
3457 cputime_t acct_timexpd ;
3458 nodemask_t mems_allowed ;
3459 int mems_allowed_change_disable ;
3460 int cpuset_mem_spread_rotor ;
3461 int cpuset_slab_spread_rotor ;
3462 struct css_set *cgroups ;
3463 struct list_head cg_list ;
3464 struct robust_list_head *robust_list ;
3465 struct compat_robust_list_head *compat_robust_list ;
3466 struct list_head pi_state_list ;
3467 struct futex_pi_state *pi_state_cache ;
3468 struct perf_event_context *perf_event_ctxp[2U] ;
3469 struct mutex perf_event_mutex ;
3470 struct list_head perf_event_list ;
3471 struct mempolicy *mempolicy ;
3472 short il_next ;
3473 short pref_node_fork ;
3474 atomic_t fs_excl ;
3475 struct rcu_head rcu ;
3476 struct pipe_inode_info *splice_pipe ;
3477 struct task_delay_info *delays ;
3478 int make_it_fail ;
3479 struct prop_local_single dirties ;
3480 int latency_record_count ;
3481 struct latency_record latency_record[32U] ;
3482 unsigned long timer_slack_ns ;
3483 unsigned long default_timer_slack_ns ;
3484 struct list_head *scm_work_list ;
3485 int curr_ret_stack ;
3486 struct ftrace_ret_stack *ret_stack ;
3487 unsigned long long ftrace_timestamp ;
3488 atomic_t trace_overrun ;
3489 atomic_t tracing_graph_pause ;
3490 unsigned long trace ;
3491 unsigned long trace_recursion ;
3492 struct memcg_batch_info memcg_batch ;
3493 atomic_t ptrace_bp_refcnt ;
3494};
3495# 118 "include/linux/kmemleak.h"
3496struct kmem_cache_cpu {
3497 void **freelist ;
3498 unsigned long tid ;
3499 struct page *page ;
3500 int node ;
3501 unsigned int stat[19U] ;
3502};
3503# 46 "include/linux/slub_def.h"
3504struct kmem_cache_node {
3505 spinlock_t list_lock ;
3506 unsigned long nr_partial ;
3507 struct list_head partial ;
3508 atomic_long_t nr_slabs ;
3509 atomic_long_t total_objects ;
3510 struct list_head full ;
3511};
3512# 57 "include/linux/slub_def.h"
3513struct kmem_cache_order_objects {
3514 unsigned long x ;
3515};
3516# 67 "include/linux/slub_def.h"
3517struct kmem_cache {
3518 struct kmem_cache_cpu *cpu_slab ;
3519 unsigned long flags ;
3520 unsigned long min_partial ;
3521 int size ;
3522 int objsize ;
3523 int offset ;
3524 struct kmem_cache_order_objects oo ;
3525 struct kmem_cache_order_objects max ;
3526 struct kmem_cache_order_objects min ;
3527 gfp_t allocflags ;
3528 int refcount ;
3529 void (*ctor)(void * ) ;
3530 int inuse ;
3531 int align ;
3532 int reserved ;
3533 char const *name ;
3534 struct list_head list ;
3535 struct kobject kobj ;
3536 int remote_node_defrag_ratio ;
3537 struct kmem_cache_node *node[1024U] ;
3538};
3539# 25 "include/linux/genhd.h"
3540struct device_type;
3541# 25 "include/linux/genhd.h"
3542struct device_type;
3543# 27 "include/linux/genhd.h"
3544struct class;
3545# 27 "include/linux/genhd.h"
3546struct class;
3547# 51 "include/linux/genhd.h"
3548struct klist_node;
3549# 51 "include/linux/genhd.h"
3550struct klist_node;
3551# 51 "include/linux/genhd.h"
3552struct klist_node;
3553# 37 "include/linux/klist.h"
3554struct klist_node {
3555 void *n_klist ;
3556 struct list_head n_node ;
3557 struct kref n_ref ;
3558};
3559# 67 "include/linux/klist.h"
3560struct dma_map_ops;
3561# 67 "include/linux/klist.h"
3562struct dma_map_ops;
3563# 67 "include/linux/klist.h"
3564struct dev_archdata {
3565 void *acpi_handle ;
3566 struct dma_map_ops *dma_ops ;
3567 void *iommu ;
3568};
3569# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3570struct device_private;
3571# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3572struct device_private;
3573# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3574struct device_private;
3575# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3576struct device_driver;
3577# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3578struct device_driver;
3579# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3580struct device_driver;
3581# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3582struct driver_private;
3583# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3584struct driver_private;
3585# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3586struct driver_private;
3587# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3588struct subsys_private;
3589# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3590struct subsys_private;
3591# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3592struct subsys_private;
3593# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3594struct bus_type;
3595# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3596struct bus_type;
3597# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3598struct bus_type;
3599# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3600struct device_node;
3601# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3602struct device_node;
3603# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3604struct device_node;
3605# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
3606struct bus_attribute {
3607 struct attribute attr ;
3608 ssize_t (*show)(struct bus_type * , char * ) ;
3609 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
3610};
3611# 49 "include/linux/device.h"
3612struct device_attribute;
3613# 49 "include/linux/device.h"
3614struct device_attribute;
3615# 49 "include/linux/device.h"
3616struct driver_attribute;
3617# 49 "include/linux/device.h"
3618struct driver_attribute;
3619# 49 "include/linux/device.h"
3620struct bus_type {
3621 char const *name ;
3622 struct bus_attribute *bus_attrs ;
3623 struct device_attribute *dev_attrs ;
3624 struct driver_attribute *drv_attrs ;
3625 int (*match)(struct device * , struct device_driver * ) ;
3626 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
3627 int (*probe)(struct device * ) ;
3628 int (*remove)(struct device * ) ;
3629 void (*shutdown)(struct device * ) ;
3630 int (*suspend)(struct device * , pm_message_t ) ;
3631 int (*resume)(struct device * ) ;
3632 struct dev_pm_ops const *pm ;
3633 struct subsys_private *p ;
3634};
3635# 153 "include/linux/device.h"
3636struct of_device_id;
3637# 153 "include/linux/device.h"
3638struct of_device_id;
3639# 153 "include/linux/device.h"
3640struct device_driver {
3641 char const *name ;
3642 struct bus_type *bus ;
3643 struct module *owner ;
3644 char const *mod_name ;
3645 bool suppress_bind_attrs ;
3646 struct of_device_id const *of_match_table ;
3647 int (*probe)(struct device * ) ;
3648 int (*remove)(struct device * ) ;
3649 void (*shutdown)(struct device * ) ;
3650 int (*suspend)(struct device * , pm_message_t ) ;
3651 int (*resume)(struct device * ) ;
3652 struct attribute_group const **groups ;
3653 struct dev_pm_ops const *pm ;
3654 struct driver_private *p ;
3655};
3656# 218 "include/linux/device.h"
3657struct driver_attribute {
3658 struct attribute attr ;
3659 ssize_t (*show)(struct device_driver * , char * ) ;
3660 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
3661};
3662# 248 "include/linux/device.h"
3663struct class_attribute;
3664# 248 "include/linux/device.h"
3665struct class_attribute;
3666# 248 "include/linux/device.h"
3667struct class {
3668 char const *name ;
3669 struct module *owner ;
3670 struct class_attribute *class_attrs ;
3671 struct device_attribute *dev_attrs ;
3672 struct bin_attribute *dev_bin_attrs ;
3673 struct kobject *dev_kobj ;
3674 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
3675 char *(*devnode)(struct device * , mode_t * ) ;
3676 void (*class_release)(struct class * ) ;
3677 void (*dev_release)(struct device * ) ;
3678 int (*suspend)(struct device * , pm_message_t ) ;
3679 int (*resume)(struct device * ) ;
3680 struct kobj_ns_type_operations const *ns_type ;
3681 void const *(*namespace)(struct device * ) ;
3682 struct dev_pm_ops const *pm ;
3683 struct subsys_private *p ;
3684};
3685# 344 "include/linux/device.h"
3686struct class_attribute {
3687 struct attribute attr ;
3688 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
3689 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
3690};
3691# 395 "include/linux/device.h"
3692struct device_type {
3693 char const *name ;
3694 struct attribute_group const **groups ;
3695 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
3696 char *(*devnode)(struct device * , mode_t * ) ;
3697 void (*release)(struct device * ) ;
3698 struct dev_pm_ops const *pm ;
3699};
3700# 422 "include/linux/device.h"
3701struct device_attribute {
3702 struct attribute attr ;
3703 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
3704 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
3705 size_t ) ;
3706};
3707# 483 "include/linux/device.h"
3708struct device_dma_parameters {
3709 unsigned int max_segment_size ;
3710 unsigned long segment_boundary_mask ;
3711};
3712# 492 "include/linux/device.h"
3713struct dma_coherent_mem;
3714# 492 "include/linux/device.h"
3715struct dma_coherent_mem;
3716# 492 "include/linux/device.h"
3717struct device {
3718 struct device *parent ;
3719 struct device_private *p ;
3720 struct kobject kobj ;
3721 char const *init_name ;
3722 struct device_type const *type ;
3723 struct mutex mutex ;
3724 struct bus_type *bus ;
3725 struct device_driver *driver ;
3726 void *platform_data ;
3727 struct dev_pm_info power ;
3728 struct dev_power_domain *pwr_domain ;
3729 int numa_node ;
3730 u64 *dma_mask ;
3731 u64 coherent_dma_mask ;
3732 struct device_dma_parameters *dma_parms ;
3733 struct list_head dma_pools ;
3734 struct dma_coherent_mem *dma_mem ;
3735 struct dev_archdata archdata ;
3736 struct device_node *of_node ;
3737 dev_t devt ;
3738 spinlock_t devres_lock ;
3739 struct list_head devres_head ;
3740 struct klist_node knode_class ;
3741 struct class *class ;
3742 struct attribute_group const **groups ;
3743 void (*release)(struct device * ) ;
3744};
3745# 604 "include/linux/device.h"
3746struct wakeup_source {
3747 char *name ;
3748 struct list_head entry ;
3749 spinlock_t lock ;
3750 struct timer_list timer ;
3751 unsigned long timer_expires ;
3752 ktime_t total_time ;
3753 ktime_t max_time ;
3754 ktime_t last_time ;
3755 unsigned long event_count ;
3756 unsigned long active_count ;
3757 unsigned long relax_count ;
3758 unsigned long hit_count ;
3759 unsigned char active : 1 ;
3760};
3761# 81 "include/linux/genhd.h"
3762struct disk_stats {
3763 unsigned long sectors[2U] ;
3764 unsigned long ios[2U] ;
3765 unsigned long merges[2U] ;
3766 unsigned long ticks[2U] ;
3767 unsigned long io_ticks ;
3768 unsigned long time_in_queue ;
3769};
3770# 90 "include/linux/genhd.h"
3771struct partition_meta_info {
3772 u8 uuid[16U] ;
3773 u8 volname[64U] ;
3774};
3775# 98 "include/linux/genhd.h"
3776struct hd_struct {
3777 sector_t start_sect ;
3778 sector_t nr_sects ;
3779 sector_t alignment_offset ;
3780 unsigned int discard_alignment ;
3781 struct device __dev ;
3782 struct kobject *holder_dir ;
3783 int policy ;
3784 int partno ;
3785 struct partition_meta_info *info ;
3786 int make_it_fail ;
3787 unsigned long stamp ;
3788 atomic_t in_flight[2U] ;
3789 struct disk_stats *dkstats ;
3790 atomic_t ref ;
3791 struct rcu_head rcu_head ;
3792};
3793# 145 "include/linux/genhd.h"
3794struct disk_part_tbl {
3795 struct rcu_head rcu_head ;
3796 int len ;
3797 struct hd_struct *last_lookup ;
3798 struct hd_struct *part[0U] ;
3799};
3800# 152 "include/linux/genhd.h"
3801struct disk_events;
3802# 152 "include/linux/genhd.h"
3803struct disk_events;
3804# 152 "include/linux/genhd.h"
3805struct disk_events;
3806# 153 "include/linux/genhd.h"
3807struct request_queue;
3808# 153 "include/linux/genhd.h"
3809struct request_queue;
3810# 153 "include/linux/genhd.h"
3811struct timer_rand_state;
3812# 153 "include/linux/genhd.h"
3813struct timer_rand_state;
3814# 153 "include/linux/genhd.h"
3815struct blk_integrity;
3816# 153 "include/linux/genhd.h"
3817struct blk_integrity;
3818# 153 "include/linux/genhd.h"
3819struct gendisk {
3820 int major ;
3821 int first_minor ;
3822 int minors ;
3823 char disk_name[32U] ;
3824 char *(*devnode)(struct gendisk * , mode_t * ) ;
3825 unsigned int events ;
3826 unsigned int async_events ;
3827 struct disk_part_tbl *part_tbl ;
3828 struct hd_struct part0 ;
3829 struct block_device_operations const *fops ;
3830 struct request_queue *queue ;
3831 void *private_data ;
3832 int flags ;
3833 struct device *driverfs_dev ;
3834 struct kobject *slave_dir ;
3835 struct timer_rand_state *random ;
3836 atomic_t sync_io ;
3837 struct disk_events *ev ;
3838 struct blk_integrity *integrity ;
3839 int node_id ;
3840};
3841# 653 "include/linux/genhd.h"
3842struct exception_table_entry {
3843 unsigned long insn ;
3844 unsigned long fixup ;
3845};
3846# 8 "include/linux/ftrace_irq.h"
3847enum irqreturn {
3848 IRQ_NONE = 0,
3849 IRQ_HANDLED = 1,
3850 IRQ_WAKE_THREAD = 2
3851} ;
3852# 16 "include/linux/irqreturn.h"
3853typedef enum irqreturn irqreturn_t;
3854# 331 "include/linux/irq.h"
3855struct proc_dir_entry;
3856# 331 "include/linux/irq.h"
3857struct proc_dir_entry;
3858# 331 "include/linux/irq.h"
3859struct proc_dir_entry;
3860# 13 "include/linux/writeback.h"
3861enum writeback_sync_modes {
3862 WB_SYNC_NONE = 0,
3863 WB_SYNC_ALL = 1
3864} ;
3865# 18 "include/linux/writeback.h"
3866struct writeback_control {
3867 enum writeback_sync_modes sync_mode ;
3868 unsigned long *older_than_this ;
3869 unsigned long wb_start ;
3870 long nr_to_write ;
3871 long pages_skipped ;
3872 loff_t range_start ;
3873 loff_t range_end ;
3874 unsigned char nonblocking : 1 ;
3875 unsigned char encountered_congestion : 1 ;
3876 unsigned char for_kupdate : 1 ;
3877 unsigned char for_background : 1 ;
3878 unsigned char for_reclaim : 1 ;
3879 unsigned char range_cyclic : 1 ;
3880 unsigned char more_io : 1 ;
3881};
3882# 54 "include/linux/writeback.h"
3883struct bdi_writeback;
3884# 54 "include/linux/writeback.h"
3885struct bdi_writeback;
3886# 54 "include/linux/writeback.h"
3887struct bdi_writeback;
3888# 38 "include/linux/backing-dev.h"
3889typedef int congested_fn(void * , int );
3890# 45 "include/linux/backing-dev.h"
3891struct bdi_writeback {
3892 struct backing_dev_info *bdi ;
3893 unsigned int nr ;
3894 unsigned long last_old_flush ;
3895 unsigned long last_active ;
3896 struct task_struct *task ;
3897 struct timer_list wakeup_timer ;
3898 struct list_head b_dirty ;
3899 struct list_head b_io ;
3900 struct list_head b_more_io ;
3901};
3902# 61 "include/linux/backing-dev.h"
3903struct backing_dev_info {
3904 struct list_head bdi_list ;
3905 unsigned long ra_pages ;
3906 unsigned long state ;
3907 unsigned int capabilities ;
3908 congested_fn *congested_fn ;
3909 void *congested_data ;
3910 char *name ;
3911 struct percpu_counter bdi_stat[2U] ;
3912 struct prop_local_percpu completions ;
3913 int dirty_exceeded ;
3914 unsigned int min_ratio ;
3915 unsigned int max_ratio ;
3916 unsigned int max_prop_frac ;
3917 struct bdi_writeback wb ;
3918 spinlock_t wb_lock ;
3919 struct list_head work_list ;
3920 struct device *dev ;
3921 struct timer_list laptop_mode_wb_timer ;
3922 struct dentry *debug_dir ;
3923 struct dentry *debug_stats ;
3924};
3925# 11 "include/linux/mempool.h"
3926typedef void *mempool_alloc_t(gfp_t , void * );
3927# 12 "include/linux/mempool.h"
3928typedef void mempool_free_t(void * , void * );
3929# 13 "include/linux/mempool.h"
3930struct mempool_s {
3931 spinlock_t lock ;
3932 int min_nr ;
3933 int curr_nr ;
3934 void **elements ;
3935 void *pool_data ;
3936 mempool_alloc_t *alloc ;
3937 mempool_free_t *free ;
3938 wait_queue_head_t wait ;
3939};
3940# 24 "include/linux/mempool.h"
3941typedef struct mempool_s mempool_t;
3942# 29 "include/linux/iocontext.h"
3943struct io_context {
3944 atomic_long_t refcount ;
3945 atomic_t nr_tasks ;
3946 spinlock_t lock ;
3947 unsigned short ioprio ;
3948 unsigned short ioprio_changed ;
3949 unsigned short cgroup_changed ;
3950 int nr_batch_requests ;
3951 unsigned long last_waited ;
3952 struct radix_tree_root radix_root ;
3953 struct hlist_head cic_list ;
3954 void *ioc_data ;
3955};
3956# 90 "include/linux/bio.h"
3957struct bio_integrity_payload {
3958 struct bio *bip_bio ;
3959 sector_t bip_sector ;
3960 void *bip_buf ;
3961 bio_end_io_t *bip_end_io ;
3962 unsigned int bip_size ;
3963 unsigned short bip_slab ;
3964 unsigned short bip_vcnt ;
3965 unsigned short bip_idx ;
3966 struct work_struct bip_work ;
3967 struct bio_vec bip_vec[0U] ;
3968};
3969# 373 "include/linux/bio.h"
3970struct bio_list {
3971 struct bio *head ;
3972 struct bio *tail ;
3973};
3974# 63 "include/linux/bsg.h"
3975struct bsg_class_device {
3976 struct device *class_dev ;
3977 struct device *parent ;
3978 int minor ;
3979 struct request_queue *queue ;
3980 struct kref ref ;
3981 void (*release)(struct device * ) ;
3982};
3983# 80 "include/linux/bsg.h"
3984struct scatterlist {
3985 unsigned long sg_magic ;
3986 unsigned long page_link ;
3987 unsigned int offset ;
3988 unsigned int length ;
3989 dma_addr_t dma_address ;
3990 unsigned int dma_length ;
3991};
3992# 18 "include/asm-generic/scatterlist.h"
3993struct elevator_queue;
3994# 18 "include/asm-generic/scatterlist.h"
3995struct elevator_queue;
3996# 18 "include/asm-generic/scatterlist.h"
3997struct elevator_queue;
3998# 20 "include/asm-generic/scatterlist.h"
3999struct blk_trace;
4000# 20 "include/asm-generic/scatterlist.h"
4001struct blk_trace;
4002# 20 "include/asm-generic/scatterlist.h"
4003struct blk_trace;
4004# 21 "include/asm-generic/scatterlist.h"
4005struct request;
4006# 21 "include/asm-generic/scatterlist.h"
4007struct request;
4008# 21 "include/asm-generic/scatterlist.h"
4009struct request;
4010# 38 "include/linux/blkdev.h"
4011typedef void rq_end_io_fn(struct request * , int );
4012# 39 "include/linux/blkdev.h"
4013struct request_list {
4014 int count[2U] ;
4015 int starved[2U] ;
4016 int elvpriv ;
4017 mempool_t *rq_pool ;
4018 wait_queue_head_t wait[2U] ;
4019};
4020# 51 "include/linux/blkdev.h"
4021enum rq_cmd_type_bits {
4022 REQ_TYPE_FS = 1,
4023 REQ_TYPE_BLOCK_PC = 2,
4024 REQ_TYPE_SENSE = 3,
4025 REQ_TYPE_PM_SUSPEND = 4,
4026 REQ_TYPE_PM_RESUME = 5,
4027 REQ_TYPE_PM_SHUTDOWN = 6,
4028 REQ_TYPE_SPECIAL = 7,
4029 REQ_TYPE_ATA_TASKFILE = 8,
4030 REQ_TYPE_ATA_PC = 9
4031} ;
4032# 63 "include/linux/blkdev.h"
4033union __anonunion_ldv_26185_163 {
4034 struct rb_node rb_node ;
4035 void *completion_data ;
4036};
4037# 63 "include/linux/blkdev.h"
4038struct __anonstruct_flush_165 {
4039 unsigned int seq ;
4040 struct list_head list ;
4041};
4042# 63 "include/linux/blkdev.h"
4043union __anonunion_ldv_26192_164 {
4044 void *elevator_private[3U] ;
4045 struct __anonstruct_flush_165 flush ;
4046};
4047# 63 "include/linux/blkdev.h"
4048struct request {
4049 struct list_head queuelist ;
4050 struct call_single_data csd ;
4051 struct request_queue *q ;
4052 unsigned int cmd_flags ;
4053 enum rq_cmd_type_bits cmd_type ;
4054 unsigned long atomic_flags ;
4055 int cpu ;
4056 unsigned int __data_len ;
4057 sector_t __sector ;
4058 struct bio *bio ;
4059 struct bio *biotail ;
4060 struct hlist_node hash ;
4061 union __anonunion_ldv_26185_163 ldv_26185 ;
4062 union __anonunion_ldv_26192_164 ldv_26192 ;
4063 struct gendisk *rq_disk ;
4064 struct hd_struct *part ;
4065 unsigned long start_time ;
4066 unsigned short nr_phys_segments ;
4067 unsigned short nr_integrity_segments ;
4068 unsigned short ioprio ;
4069 int ref_count ;
4070 void *special ;
4071 char *buffer ;
4072 int tag ;
4073 int errors ;
4074 unsigned char __cmd[16U] ;
4075 unsigned char *cmd ;
4076 unsigned short cmd_len ;
4077 unsigned int extra_len ;
4078 unsigned int sense_len ;
4079 unsigned int resid_len ;
4080 void *sense ;
4081 unsigned long deadline ;
4082 struct list_head timeout_list ;
4083 unsigned int timeout ;
4084 int retries ;
4085 rq_end_io_fn *end_io ;
4086 void *end_io_data ;
4087 struct request *next_rq ;
4088};
4089# 8 "include/linux/elevator.h"
4090typedef int elevator_merge_fn(struct request_queue * , struct request ** , struct bio * );
4091# 11 "include/linux/elevator.h"
4092typedef void elevator_merge_req_fn(struct request_queue * , struct request * , struct request * );
4093# 13 "include/linux/elevator.h"
4094typedef void elevator_merged_fn(struct request_queue * , struct request * , int );
4095# 15 "include/linux/elevator.h"
4096typedef int elevator_allow_merge_fn(struct request_queue * , struct request * , struct bio * );
4097# 17 "include/linux/elevator.h"
4098typedef void elevator_bio_merged_fn(struct request_queue * , struct request * , struct bio * );
4099# 20 "include/linux/elevator.h"
4100typedef int elevator_dispatch_fn(struct request_queue * , int );
4101# 22 "include/linux/elevator.h"
4102typedef void elevator_add_req_fn(struct request_queue * , struct request * );
4103# 23 "include/linux/elevator.h"
4104typedef struct request *elevator_request_list_fn(struct request_queue * , struct request * );
4105# 24 "include/linux/elevator.h"
4106typedef void elevator_completed_req_fn(struct request_queue * , struct request * );
4107# 25 "include/linux/elevator.h"
4108typedef int elevator_may_queue_fn(struct request_queue * , int );
4109# 27 "include/linux/elevator.h"
4110typedef int elevator_set_req_fn(struct request_queue * , struct request * , gfp_t );
4111# 28 "include/linux/elevator.h"
4112typedef void elevator_put_req_fn(struct request * );
4113# 29 "include/linux/elevator.h"
4114typedef void elevator_activate_req_fn(struct request_queue * , struct request * );
4115# 30 "include/linux/elevator.h"
4116typedef void elevator_deactivate_req_fn(struct request_queue * , struct request * );
4117# 32 "include/linux/elevator.h"
4118typedef void *elevator_init_fn(struct request_queue * );
4119# 33 "include/linux/elevator.h"
4120typedef void elevator_exit_fn(struct elevator_queue * );
4121# 34 "include/linux/elevator.h"
4122struct elevator_ops {
4123 elevator_merge_fn *elevator_merge_fn ;
4124 elevator_merged_fn *elevator_merged_fn ;
4125 elevator_merge_req_fn *elevator_merge_req_fn ;
4126 elevator_allow_merge_fn *elevator_allow_merge_fn ;
4127 elevator_bio_merged_fn *elevator_bio_merged_fn ;
4128 elevator_dispatch_fn *elevator_dispatch_fn ;
4129 elevator_add_req_fn *elevator_add_req_fn ;
4130 elevator_activate_req_fn *elevator_activate_req_fn ;
4131 elevator_deactivate_req_fn *elevator_deactivate_req_fn ;
4132 elevator_completed_req_fn *elevator_completed_req_fn ;
4133 elevator_request_list_fn *elevator_former_req_fn ;
4134 elevator_request_list_fn *elevator_latter_req_fn ;
4135 elevator_set_req_fn *elevator_set_req_fn ;
4136 elevator_put_req_fn *elevator_put_req_fn ;
4137 elevator_may_queue_fn *elevator_may_queue_fn ;
4138 elevator_init_fn *elevator_init_fn ;
4139 elevator_exit_fn *elevator_exit_fn ;
4140 void (*trim)(struct io_context * ) ;
4141};
4142# 62 "include/linux/elevator.h"
4143struct elv_fs_entry {
4144 struct attribute attr ;
4145 ssize_t (*show)(struct elevator_queue * , char * ) ;
4146 ssize_t (*store)(struct elevator_queue * , char const * , size_t ) ;
4147};
4148# 70 "include/linux/elevator.h"
4149struct elevator_type {
4150 struct list_head list ;
4151 struct elevator_ops ops ;
4152 struct elv_fs_entry *elevator_attrs ;
4153 char elevator_name[16U] ;
4154 struct module *elevator_owner ;
4155};
4156# 82 "include/linux/elevator.h"
4157struct elevator_queue {
4158 struct elevator_ops *ops ;
4159 void *elevator_data ;
4160 struct kobject kobj ;
4161 struct elevator_type *elevator_type ;
4162 struct mutex sysfs_lock ;
4163 struct hlist_head *hash ;
4164 unsigned char registered : 1 ;
4165};
4166# 195 "include/linux/blkdev.h"
4167typedef void request_fn_proc(struct request_queue * );
4168# 196 "include/linux/blkdev.h"
4169typedef int make_request_fn(struct request_queue * , struct bio * );
4170# 197 "include/linux/blkdev.h"
4171typedef int prep_rq_fn(struct request_queue * , struct request * );
4172# 198 "include/linux/blkdev.h"
4173typedef void unprep_rq_fn(struct request_queue * , struct request * );
4174# 199 "include/linux/blkdev.h"
4175struct bvec_merge_data {
4176 struct block_device *bi_bdev ;
4177 sector_t bi_sector ;
4178 unsigned int bi_size ;
4179 unsigned long bi_rw ;
4180};
4181# 207 "include/linux/blkdev.h"
4182typedef int merge_bvec_fn(struct request_queue * , struct bvec_merge_data * , struct bio_vec * );
4183# 209 "include/linux/blkdev.h"
4184typedef void softirq_done_fn(struct request * );
4185# 210 "include/linux/blkdev.h"
4186typedef int dma_drain_needed_fn(struct request * );
4187# 211 "include/linux/blkdev.h"
4188typedef int lld_busy_fn(struct request_queue * );
4189# 212 "include/linux/blkdev.h"
4190enum blk_eh_timer_return {
4191 BLK_EH_NOT_HANDLED = 0,
4192 BLK_EH_HANDLED = 1,
4193 BLK_EH_RESET_TIMER = 2
4194} ;
4195# 219 "include/linux/blkdev.h"
4196typedef enum blk_eh_timer_return rq_timed_out_fn(struct request * );
4197# 225 "include/linux/blkdev.h"
4198struct blk_queue_tag {
4199 struct request **tag_index ;
4200 unsigned long *tag_map ;
4201 int busy ;
4202 int max_depth ;
4203 int real_max_depth ;
4204 atomic_t refcnt ;
4205};
4206# 234 "include/linux/blkdev.h"
4207struct queue_limits {
4208 unsigned long bounce_pfn ;
4209 unsigned long seg_boundary_mask ;
4210 unsigned int max_hw_sectors ;
4211 unsigned int max_sectors ;
4212 unsigned int max_segment_size ;
4213 unsigned int physical_block_size ;
4214 unsigned int alignment_offset ;
4215 unsigned int io_min ;
4216 unsigned int io_opt ;
4217 unsigned int max_discard_sectors ;
4218 unsigned int discard_granularity ;
4219 unsigned int discard_alignment ;
4220 unsigned short logical_block_size ;
4221 unsigned short max_segments ;
4222 unsigned short max_integrity_segments ;
4223 unsigned char misaligned ;
4224 unsigned char discard_misaligned ;
4225 unsigned char cluster ;
4226 unsigned char discard_zeroes_data ;
4227};
4228# 262 "include/linux/blkdev.h"
4229struct request_queue {
4230 struct list_head queue_head ;
4231 struct request *last_merge ;
4232 struct elevator_queue *elevator ;
4233 struct request_list rq ;
4234 request_fn_proc *request_fn ;
4235 make_request_fn *make_request_fn ;
4236 prep_rq_fn *prep_rq_fn ;
4237 unprep_rq_fn *unprep_rq_fn ;
4238 merge_bvec_fn *merge_bvec_fn ;
4239 softirq_done_fn *softirq_done_fn ;
4240 rq_timed_out_fn *rq_timed_out_fn ;
4241 dma_drain_needed_fn *dma_drain_needed ;
4242 lld_busy_fn *lld_busy_fn ;
4243 sector_t end_sector ;
4244 struct request *boundary_rq ;
4245 struct delayed_work delay_work ;
4246 struct backing_dev_info backing_dev_info ;
4247 void *queuedata ;
4248 gfp_t bounce_gfp ;
4249 unsigned long queue_flags ;
4250 spinlock_t __queue_lock ;
4251 spinlock_t *queue_lock ;
4252 struct kobject kobj ;
4253 unsigned long nr_requests ;
4254 unsigned int nr_congestion_on ;
4255 unsigned int nr_congestion_off ;
4256 unsigned int nr_batching ;
4257 void *dma_drain_buffer ;
4258 unsigned int dma_drain_size ;
4259 unsigned int dma_pad_mask ;
4260 unsigned int dma_alignment ;
4261 struct blk_queue_tag *queue_tags ;
4262 struct list_head tag_busy_list ;
4263 unsigned int nr_sorted ;
4264 unsigned int in_flight[2U] ;
4265 unsigned int rq_timeout ;
4266 struct timer_list timeout ;
4267 struct list_head timeout_list ;
4268 struct queue_limits limits ;
4269 unsigned int sg_timeout ;
4270 unsigned int sg_reserved_size ;
4271 int node ;
4272 struct blk_trace *blk_trace ;
4273 unsigned int flush_flags ;
4274 unsigned char flush_not_queueable : 1 ;
4275 unsigned char flush_queue_delayed : 1 ;
4276 unsigned char flush_pending_idx : 1 ;
4277 unsigned char flush_running_idx : 1 ;
4278 unsigned long flush_pending_since ;
4279 struct list_head flush_queue[2U] ;
4280 struct list_head flush_data_in_flight ;
4281 struct request flush_rq ;
4282 struct mutex sysfs_lock ;
4283 struct bsg_class_device bsg_dev ;
4284};
4285# 859 "include/linux/blkdev.h"
4286struct blk_plug {
4287 unsigned long magic ;
4288 struct list_head list ;
4289 struct list_head cb_list ;
4290 unsigned int should_sort ;
4291};
4292# 1192 "include/linux/blkdev.h"
4293struct blk_integrity_exchg {
4294 void *prot_buf ;
4295 void *data_buf ;
4296 sector_t sector ;
4297 unsigned int data_size ;
4298 unsigned short sector_size ;
4299 char const *disk_name ;
4300};
4301# 1212 "include/linux/blkdev.h"
4302typedef void integrity_gen_fn(struct blk_integrity_exchg * );
4303# 1213 "include/linux/blkdev.h"
4304typedef int integrity_vrfy_fn(struct blk_integrity_exchg * );
4305# 1214 "include/linux/blkdev.h"
4306typedef void integrity_set_tag_fn(void * , void * , unsigned int );
4307# 1215 "include/linux/blkdev.h"
4308typedef void integrity_get_tag_fn(void * , void * , unsigned int );
4309# 1216 "include/linux/blkdev.h"
4310struct blk_integrity {
4311 integrity_gen_fn *generate_fn ;
4312 integrity_vrfy_fn *verify_fn ;
4313 integrity_set_tag_fn *set_tag_fn ;
4314 integrity_get_tag_fn *get_tag_fn ;
4315 unsigned short flags ;
4316 unsigned short tuple_size ;
4317 unsigned short sector_size ;
4318 unsigned short tag_size ;
4319 char const *name ;
4320 struct kobject kobj ;
4321};
4322# 1275 "include/linux/blkdev.h"
4323struct block_device_operations {
4324 int (*open)(struct block_device * , fmode_t ) ;
4325 int (*release)(struct gendisk * , fmode_t ) ;
4326 int (*ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
4327 int (*compat_ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
4328 int (*direct_access)(struct block_device * , sector_t , void ** , unsigned long * ) ;
4329 unsigned int (*check_events)(struct gendisk * , unsigned int ) ;
4330 int (*media_changed)(struct gendisk * ) ;
4331 void (*unlock_native_capacity)(struct gendisk * ) ;
4332 int (*revalidate_disk)(struct gendisk * ) ;
4333 int (*getgeo)(struct block_device * , struct hd_geometry * ) ;
4334 void (*swap_slot_free_notify)(struct block_device * , unsigned long ) ;
4335 struct module *owner ;
4336};
4337# 46 "include/linux/proc_fs.h"
4338typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
4339# 48 "include/linux/proc_fs.h"
4340typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
4341# 49 "include/linux/proc_fs.h"
4342struct proc_dir_entry {
4343 unsigned int low_ino ;
4344 unsigned int namelen ;
4345 char const *name ;
4346 mode_t mode ;
4347 nlink_t nlink ;
4348 uid_t uid ;
4349 gid_t gid ;
4350 loff_t size ;
4351 struct inode_operations const *proc_iops ;
4352 struct file_operations const *proc_fops ;
4353 struct proc_dir_entry *next ;
4354 struct proc_dir_entry *parent ;
4355 struct proc_dir_entry *subdir ;
4356 void *data ;
4357 read_proc_t *read_proc ;
4358 write_proc_t *write_proc ;
4359 atomic_t count ;
4360 int pde_users ;
4361 spinlock_t pde_unload_lock ;
4362 struct completion *pde_unload_completion ;
4363 struct list_head pde_openers ;
4364};
4365# 91 "include/linux/interrupt.h"
4366struct irqaction {
4367 irqreturn_t (*handler)(int , void * ) ;
4368 unsigned long flags ;
4369 void *dev_id ;
4370 struct irqaction *next ;
4371 int irq ;
4372 irqreturn_t (*thread_fn)(int , void * ) ;
4373 struct task_struct *thread ;
4374 unsigned long thread_flags ;
4375 unsigned long thread_mask ;
4376 char const *name ;
4377 struct proc_dir_entry *dir ;
4378};
4379# 12 "include/linux/mod_devicetable.h"
4380typedef unsigned long kernel_ulong_t;
4381# 13 "include/linux/mod_devicetable.h"
4382struct pci_device_id {
4383 __u32 vendor ;
4384 __u32 device ;
4385 __u32 subvendor ;
4386 __u32 subdevice ;
4387 __u32 class ;
4388 __u32 class_mask ;
4389 kernel_ulong_t driver_data ;
4390};
4391# 215 "include/linux/mod_devicetable.h"
4392struct of_device_id {
4393 char name[32U] ;
4394 char type[32U] ;
4395 char compatible[128U] ;
4396 void *data ;
4397};
4398# 69 "include/linux/io.h"
4399struct hotplug_slot;
4400# 69 "include/linux/io.h"
4401struct hotplug_slot;
4402# 69 "include/linux/io.h"
4403struct pci_slot {
4404 struct pci_bus *bus ;
4405 struct list_head list ;
4406 struct hotplug_slot *hotplug ;
4407 unsigned char number ;
4408 struct kobject kobj ;
4409};
4410# 117 "include/linux/pci.h"
4411typedef int pci_power_t;
4412# 143 "include/linux/pci.h"
4413typedef unsigned int pci_channel_state_t;
4414# 144 "include/linux/pci.h"
4415enum pci_channel_state {
4416 pci_channel_io_normal = 1,
4417 pci_channel_io_frozen = 2,
4418 pci_channel_io_perm_failure = 3
4419} ;
4420# 169 "include/linux/pci.h"
4421typedef unsigned short pci_dev_flags_t;
4422# 184 "include/linux/pci.h"
4423typedef unsigned short pci_bus_flags_t;
4424# 227 "include/linux/pci.h"
4425struct pcie_link_state;
4426# 227 "include/linux/pci.h"
4427struct pcie_link_state;
4428# 227 "include/linux/pci.h"
4429struct pcie_link_state;
4430# 228 "include/linux/pci.h"
4431struct pci_vpd;
4432# 228 "include/linux/pci.h"
4433struct pci_vpd;
4434# 228 "include/linux/pci.h"
4435struct pci_vpd;
4436# 229 "include/linux/pci.h"
4437struct pci_sriov;
4438# 229 "include/linux/pci.h"
4439struct pci_sriov;
4440# 229 "include/linux/pci.h"
4441struct pci_sriov;
4442# 230 "include/linux/pci.h"
4443struct pci_ats;
4444# 230 "include/linux/pci.h"
4445struct pci_ats;
4446# 230 "include/linux/pci.h"
4447struct pci_ats;
4448# 231 "include/linux/pci.h"
4449struct pci_driver;
4450# 231 "include/linux/pci.h"
4451struct pci_driver;
4452# 231 "include/linux/pci.h"
4453union __anonunion_ldv_28420_168 {
4454 struct pci_sriov *sriov ;
4455 struct pci_dev *physfn ;
4456};
4457# 231 "include/linux/pci.h"
4458struct pci_dev {
4459 struct list_head bus_list ;
4460 struct pci_bus *bus ;
4461 struct pci_bus *subordinate ;
4462 void *sysdata ;
4463 struct proc_dir_entry *procent ;
4464 struct pci_slot *slot ;
4465 unsigned int devfn ;
4466 unsigned short vendor ;
4467 unsigned short device ;
4468 unsigned short subsystem_vendor ;
4469 unsigned short subsystem_device ;
4470 unsigned int class ;
4471 u8 revision ;
4472 u8 hdr_type ;
4473 u8 pcie_cap ;
4474 u8 pcie_type ;
4475 u8 rom_base_reg ;
4476 u8 pin ;
4477 struct pci_driver *driver ;
4478 u64 dma_mask ;
4479 struct device_dma_parameters dma_parms ;
4480 pci_power_t current_state ;
4481 int pm_cap ;
4482 unsigned char pme_support : 5 ;
4483 unsigned char pme_interrupt : 1 ;
4484 unsigned char d1_support : 1 ;
4485 unsigned char d2_support : 1 ;
4486 unsigned char no_d1d2 : 1 ;
4487 unsigned char mmio_always_on : 1 ;
4488 unsigned char wakeup_prepared : 1 ;
4489 unsigned int d3_delay ;
4490 struct pcie_link_state *link_state ;
4491 pci_channel_state_t error_state ;
4492 struct device dev ;
4493 int cfg_size ;
4494 unsigned int irq ;
4495 struct resource resource[18U] ;
4496 resource_size_t fw_addr[18U] ;
4497 unsigned char transparent : 1 ;
4498 unsigned char multifunction : 1 ;
4499 unsigned char is_added : 1 ;
4500 unsigned char is_busmaster : 1 ;
4501 unsigned char no_msi : 1 ;
4502 unsigned char block_ucfg_access : 1 ;
4503 unsigned char broken_parity_status : 1 ;
4504 unsigned char irq_reroute_variant : 2 ;
4505 unsigned char msi_enabled : 1 ;
4506 unsigned char msix_enabled : 1 ;
4507 unsigned char ari_enabled : 1 ;
4508 unsigned char is_managed : 1 ;
4509 unsigned char is_pcie : 1 ;
4510 unsigned char needs_freset : 1 ;
4511 unsigned char state_saved : 1 ;
4512 unsigned char is_physfn : 1 ;
4513 unsigned char is_virtfn : 1 ;
4514 unsigned char reset_fn : 1 ;
4515 unsigned char is_hotplug_bridge : 1 ;
4516 unsigned char __aer_firmware_first_valid : 1 ;
4517 unsigned char __aer_firmware_first : 1 ;
4518 pci_dev_flags_t dev_flags ;
4519 atomic_t enable_cnt ;
4520 u32 saved_config_space[16U] ;
4521 struct hlist_head saved_cap_space ;
4522 struct bin_attribute *rom_attr ;
4523 int rom_attr_enabled ;
4524 struct bin_attribute *res_attr[18U] ;
4525 struct bin_attribute *res_attr_wc[18U] ;
4526 struct list_head msi_list ;
4527 struct pci_vpd *vpd ;
4528 union __anonunion_ldv_28420_168 ldv_28420 ;
4529 struct pci_ats *ats ;
4530};
4531# 406 "include/linux/pci.h"
4532struct pci_ops;
4533# 406 "include/linux/pci.h"
4534struct pci_ops;
4535# 406 "include/linux/pci.h"
4536struct pci_bus {
4537 struct list_head node ;
4538 struct pci_bus *parent ;
4539 struct list_head children ;
4540 struct list_head devices ;
4541 struct pci_dev *self ;
4542 struct list_head slots ;
4543 struct resource *resource[4U] ;
4544 struct list_head resources ;
4545 struct pci_ops *ops ;
4546 void *sysdata ;
4547 struct proc_dir_entry *procdir ;
4548 unsigned char number ;
4549 unsigned char primary ;
4550 unsigned char secondary ;
4551 unsigned char subordinate ;
4552 unsigned char max_bus_speed ;
4553 unsigned char cur_bus_speed ;
4554 char name[48U] ;
4555 unsigned short bridge_ctl ;
4556 pci_bus_flags_t bus_flags ;
4557 struct device *bridge ;
4558 struct device dev ;
4559 struct bin_attribute *legacy_io ;
4560 struct bin_attribute *legacy_mem ;
4561 unsigned char is_added : 1 ;
4562};
4563# 458 "include/linux/pci.h"
4564struct pci_ops {
4565 int (*read)(struct pci_bus * , unsigned int , int , int , u32 * ) ;
4566 int (*write)(struct pci_bus * , unsigned int , int , int , u32 ) ;
4567};
4568# 493 "include/linux/pci.h"
4569struct pci_dynids {
4570 spinlock_t lock ;
4571 struct list_head list ;
4572};
4573# 506 "include/linux/pci.h"
4574typedef unsigned int pci_ers_result_t;
4575# 515 "include/linux/pci.h"
4576struct pci_error_handlers {
4577 pci_ers_result_t (*error_detected)(struct pci_dev * , enum pci_channel_state ) ;
4578 pci_ers_result_t (*mmio_enabled)(struct pci_dev * ) ;
4579 pci_ers_result_t (*link_reset)(struct pci_dev * ) ;
4580 pci_ers_result_t (*slot_reset)(struct pci_dev * ) ;
4581 void (*resume)(struct pci_dev * ) ;
4582};
4583# 543 "include/linux/pci.h"
4584struct pci_driver {
4585 struct list_head node ;
4586 char const *name ;
4587 struct pci_device_id const *id_table ;
4588 int (*probe)(struct pci_dev * , struct pci_device_id const * ) ;
4589 void (*remove)(struct pci_dev * ) ;
4590 int (*suspend)(struct pci_dev * , pm_message_t ) ;
4591 int (*suspend_late)(struct pci_dev * , pm_message_t ) ;
4592 int (*resume_early)(struct pci_dev * ) ;
4593 int (*resume)(struct pci_dev * ) ;
4594 void (*shutdown)(struct pci_dev * ) ;
4595 struct pci_error_handlers *err_handler ;
4596 struct device_driver driver ;
4597 struct pci_dynids dynids ;
4598};
4599# 34 "include/linux/bug.h"
4600struct dma_attrs {
4601 unsigned long flags[1U] ;
4602};
4603# 65 "include/linux/dma-attrs.h"
4604struct sg_table {
4605 struct scatterlist *sgl ;
4606 unsigned int nents ;
4607 unsigned int orig_nents ;
4608};
4609# 266 "include/linux/scatterlist.h"
4610enum dma_data_direction {
4611 DMA_BIDIRECTIONAL = 0,
4612 DMA_TO_DEVICE = 1,
4613 DMA_FROM_DEVICE = 2,
4614 DMA_NONE = 3
4615} ;
4616# 273 "include/linux/scatterlist.h"
4617struct dma_map_ops {
4618 void *(*alloc_coherent)(struct device * , size_t , dma_addr_t * , gfp_t ) ;
4619 void (*free_coherent)(struct device * , size_t , void * , dma_addr_t ) ;
4620 dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
4621 enum dma_data_direction , struct dma_attrs * ) ;
4622 void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
4623 struct dma_attrs * ) ;
4624 int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
4625 struct dma_attrs * ) ;
4626 void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
4627 struct dma_attrs * ) ;
4628 void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
4629 void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
4630 void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
4631 void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
4632 int (*mapping_error)(struct device * , dma_addr_t ) ;
4633 int (*dma_supported)(struct device * , u64 ) ;
4634 int (*set_dma_mask)(struct device * , u64 ) ;
4635 int is_phys ;
4636};
4637# 19 "include/scsi/scsicam.h"
4638struct Scsi_Host;
4639# 19 "include/scsi/scsicam.h"
4640struct Scsi_Host;
4641# 19 "include/scsi/scsicam.h"
4642struct Scsi_Host;
4643# 20 "include/scsi/scsicam.h"
4644struct scsi_device;
4645# 20 "include/scsi/scsicam.h"
4646struct scsi_device;
4647# 20 "include/scsi/scsicam.h"
4648struct scsi_device;
4649# 21 "include/scsi/scsicam.h"
4650struct scsi_data_buffer {
4651 struct sg_table table ;
4652 unsigned int length ;
4653 int resid ;
4654};
4655# 36 "include/scsi/scsi_cmnd.h"
4656struct scsi_pointer {
4657 char *ptr ;
4658 int this_residual ;
4659 struct scatterlist *buffer ;
4660 int buffers_residual ;
4661 dma_addr_t dma_handle ;
4662 int volatile Status ;
4663 int volatile Message ;
4664 int volatile have_data_in ;
4665 int volatile sent_command ;
4666 int volatile phase ;
4667};
4668# 52 "include/scsi/scsi_cmnd.h"
4669struct scsi_cmnd {
4670 struct scsi_device *device ;
4671 struct list_head list ;
4672 struct list_head eh_entry ;
4673 int eh_eflags ;
4674 unsigned long serial_number ;
4675 unsigned long jiffies_at_alloc ;
4676 int retries ;
4677 int allowed ;
4678 unsigned char prot_op ;
4679 unsigned char prot_type ;
4680 unsigned short cmd_len ;
4681 enum dma_data_direction sc_data_direction ;
4682 unsigned char *cmnd ;
4683 struct scsi_data_buffer sdb ;
4684 struct scsi_data_buffer *prot_sdb ;
4685 unsigned int underflow ;
4686 unsigned int transfersize ;
4687 struct request *request ;
4688 unsigned char *sense_buffer ;
4689 void (*scsi_done)(struct scsi_cmnd * ) ;
4690 struct scsi_pointer SCp ;
4691 unsigned char *host_scribble ;
4692 int result ;
4693 unsigned char tag ;
4694};
4695# 563 "include/scsi/scsi.h"
4696struct scsi_sense_hdr;
4697# 563 "include/scsi/scsi.h"
4698struct scsi_sense_hdr;
4699# 563 "include/scsi/scsi.h"
4700struct scsi_sense_hdr;
4701# 25 "include/scsi/scsi_device.h"
4702enum scsi_device_state {
4703 SDEV_CREATED = 1,
4704 SDEV_RUNNING = 2,
4705 SDEV_CANCEL = 3,
4706 SDEV_DEL = 4,
4707 SDEV_QUIESCE = 5,
4708 SDEV_OFFLINE = 6,
4709 SDEV_BLOCK = 7,
4710 SDEV_CREATED_BLOCK = 8
4711} ;
4712# 63 "include/scsi/scsi_device.h"
4713struct scsi_target;
4714# 63 "include/scsi/scsi_device.h"
4715struct scsi_target;
4716# 63 "include/scsi/scsi_device.h"
4717struct scsi_dh_data;
4718# 63 "include/scsi/scsi_device.h"
4719struct scsi_dh_data;
4720# 63 "include/scsi/scsi_device.h"
4721struct scsi_device {
4722 struct Scsi_Host *host ;
4723 struct request_queue *request_queue ;
4724 struct list_head siblings ;
4725 struct list_head same_target_siblings ;
4726 unsigned int device_busy ;
4727 spinlock_t list_lock ;
4728 struct list_head cmd_list ;
4729 struct list_head starved_entry ;
4730 struct scsi_cmnd *current_cmnd ;
4731 unsigned short queue_depth ;
4732 unsigned short max_queue_depth ;
4733 unsigned short last_queue_full_depth ;
4734 unsigned short last_queue_full_count ;
4735 unsigned long last_queue_full_time ;
4736 unsigned long queue_ramp_up_period ;
4737 unsigned long last_queue_ramp_up ;
4738 unsigned int id ;
4739 unsigned int lun ;
4740 unsigned int channel ;
4741 unsigned int manufacturer ;
4742 unsigned int sector_size ;
4743 void *hostdata ;
4744 char type ;
4745 char scsi_level ;
4746 char inq_periph_qual ;
4747 unsigned char inquiry_len ;
4748 unsigned char *inquiry ;
4749 char const *vendor ;
4750 char const *model ;
4751 char const *rev ;
4752 unsigned char current_tag ;
4753 struct scsi_target *sdev_target ;
4754 unsigned int sdev_bflags ;
4755 unsigned char writeable : 1 ;
4756 unsigned char removable : 1 ;
4757 unsigned char changed : 1 ;
4758 unsigned char busy : 1 ;
4759 unsigned char lockable : 1 ;
4760 unsigned char locked : 1 ;
4761 unsigned char borken : 1 ;
4762 unsigned char disconnect : 1 ;
4763 unsigned char soft_reset : 1 ;
4764 unsigned char sdtr : 1 ;
4765 unsigned char wdtr : 1 ;
4766 unsigned char ppr : 1 ;
4767 unsigned char tagged_supported : 1 ;
4768 unsigned char simple_tags : 1 ;
4769 unsigned char ordered_tags : 1 ;
4770 unsigned char was_reset : 1 ;
4771 unsigned char expecting_cc_ua : 1 ;
4772 unsigned char use_10_for_rw : 1 ;
4773 unsigned char use_10_for_ms : 1 ;
4774 unsigned char skip_ms_page_8 : 1 ;
4775 unsigned char skip_ms_page_3f : 1 ;
4776 unsigned char use_192_bytes_for_3f : 1 ;
4777 unsigned char no_start_on_add : 1 ;
4778 unsigned char allow_restart : 1 ;
4779 unsigned char manage_start_stop : 1 ;
4780 unsigned char start_stop_pwr_cond : 1 ;
4781 unsigned char no_uld_attach : 1 ;
4782 unsigned char select_no_atn : 1 ;
4783 unsigned char fix_capacity : 1 ;
4784 unsigned char guess_capacity : 1 ;
4785 unsigned char retry_hwerror : 1 ;
4786 unsigned char last_sector_bug : 1 ;
4787 unsigned char no_read_disc_info : 1 ;
4788 unsigned char no_read_capacity_16 : 1 ;
4789 unsigned char is_visible : 1 ;
4790 unsigned long supported_events[1U] ;
4791 struct list_head event_list ;
4792 struct work_struct event_work ;
4793 unsigned int device_blocked ;
4794 unsigned int max_device_blocked ;
4795 atomic_t iorequest_cnt ;
4796 atomic_t iodone_cnt ;
4797 atomic_t ioerr_cnt ;
4798 struct device sdev_gendev ;
4799 struct device sdev_dev ;
4800 struct execute_work ew ;
4801 struct work_struct requeue_work ;
4802 struct scsi_dh_data *scsi_dh_data ;
4803 enum scsi_device_state sdev_state ;
4804 unsigned long sdev_data[0U] ;
4805};
4806# 178 "include/scsi/scsi_device.h"
4807struct scsi_dh_devlist {
4808 char *vendor ;
4809 char *model ;
4810};
4811# 185 "include/scsi/scsi_device.h"
4812struct scsi_device_handler {
4813 struct list_head list ;
4814 int idx ;
4815 struct module *module ;
4816 char const *name ;
4817 struct scsi_dh_devlist const *devlist ;
4818 int (*check_sense)(struct scsi_device * , struct scsi_sense_hdr * ) ;
4819 int (*attach)(struct scsi_device * ) ;
4820 void (*detach)(struct scsi_device * ) ;
4821 int (*activate)(struct scsi_device * , void (*)(void * , int ) , void * ) ;
4822 int (*prep_fn)(struct scsi_device * , struct request * ) ;
4823 int (*set_params)(struct scsi_device * , char const * ) ;
4824};
4825# 201 "include/scsi/scsi_device.h"
4826struct scsi_dh_data {
4827 struct scsi_device_handler *scsi_dh ;
4828 struct scsi_device *sdev ;
4829 struct kref kref ;
4830 char buf[0U] ;
4831};
4832# 208 "include/scsi/scsi_device.h"
4833enum scsi_target_state {
4834 STARGET_CREATED = 1,
4835 STARGET_RUNNING = 2,
4836 STARGET_DEL = 3
4837} ;
4838# 214 "include/scsi/scsi_device.h"
4839struct scsi_target {
4840 struct scsi_device *starget_sdev_user ;
4841 struct list_head siblings ;
4842 struct list_head devices ;
4843 struct device dev ;
4844 unsigned int reap_ref ;
4845 unsigned int channel ;
4846 unsigned int id ;
4847 unsigned char create : 1 ;
4848 unsigned char single_lun : 1 ;
4849 unsigned int pdt_1f_for_no_lun ;
4850 unsigned int target_busy ;
4851 unsigned int can_queue ;
4852 unsigned int target_blocked ;
4853 unsigned int max_target_blocked ;
4854 char scsi_level ;
4855 struct execute_work ew ;
4856 enum scsi_target_state state ;
4857 void *hostdata ;
4858 unsigned long starget_data[0U] ;
4859};
4860# 473 "include/scsi/scsi_device.h"
4861struct scsi_sense_hdr {
4862 u8 response_code ;
4863 u8 sense_key ;
4864 u8 asc ;
4865 u8 ascq ;
4866 u8 byte4 ;
4867 u8 byte5 ;
4868 u8 byte6 ;
4869 u8 additional_length ;
4870};
4871# 93 "include/scsi/scsi_eh.h"
4872struct scsi_host_cmd_pool;
4873# 93 "include/scsi/scsi_eh.h"
4874struct scsi_host_cmd_pool;
4875# 93 "include/scsi/scsi_eh.h"
4876struct scsi_host_cmd_pool;
4877# 94 "include/scsi/scsi_eh.h"
4878struct scsi_transport_template;
4879# 94 "include/scsi/scsi_eh.h"
4880struct scsi_transport_template;
4881# 94 "include/scsi/scsi_eh.h"
4882struct scsi_transport_template;
4883# 102 "include/scsi/scsi_eh.h"
4884struct scsi_host_template {
4885 struct module *module ;
4886 char const *name ;
4887 int (*detect)(struct scsi_host_template * ) ;
4888 int (*release)(struct Scsi_Host * ) ;
4889 char const *(*info)(struct Scsi_Host * ) ;
4890 int (*ioctl)(struct scsi_device * , int , void * ) ;
4891 int (*compat_ioctl)(struct scsi_device * , int , void * ) ;
4892 int (*queuecommand)(struct Scsi_Host * , struct scsi_cmnd * ) ;
4893 int (*transfer_response)(struct scsi_cmnd * , void (*)(struct scsi_cmnd * ) ) ;
4894 int (*eh_abort_handler)(struct scsi_cmnd * ) ;
4895 int (*eh_device_reset_handler)(struct scsi_cmnd * ) ;
4896 int (*eh_target_reset_handler)(struct scsi_cmnd * ) ;
4897 int (*eh_bus_reset_handler)(struct scsi_cmnd * ) ;
4898 int (*eh_host_reset_handler)(struct scsi_cmnd * ) ;
4899 int (*slave_alloc)(struct scsi_device * ) ;
4900 int (*slave_configure)(struct scsi_device * ) ;
4901 void (*slave_destroy)(struct scsi_device * ) ;
4902 int (*target_alloc)(struct scsi_target * ) ;
4903 void (*target_destroy)(struct scsi_target * ) ;
4904 int (*scan_finished)(struct Scsi_Host * , unsigned long ) ;
4905 void (*scan_start)(struct Scsi_Host * ) ;
4906 int (*change_queue_depth)(struct scsi_device * , int , int ) ;
4907 int (*change_queue_type)(struct scsi_device * , int ) ;
4908 int (*bios_param)(struct scsi_device * , struct block_device * , sector_t , int * ) ;
4909 void (*unlock_native_capacity)(struct scsi_device * ) ;
4910 int (*proc_info)(struct Scsi_Host * , char * , char ** , off_t , int , int ) ;
4911 enum blk_eh_timer_return (*eh_timed_out)(struct scsi_cmnd * ) ;
4912 char const *proc_name ;
4913 struct proc_dir_entry *proc_dir ;
4914 int can_queue ;
4915 int this_id ;
4916 unsigned short sg_tablesize ;
4917 unsigned short sg_prot_tablesize ;
4918 unsigned short max_sectors ;
4919 unsigned long dma_boundary ;
4920 short cmd_per_lun ;
4921 unsigned char present ;
4922 unsigned char supported_mode : 2 ;
4923 unsigned char unchecked_isa_dma : 1 ;
4924 unsigned char use_clustering : 1 ;
4925 unsigned char emulated : 1 ;
4926 unsigned char skip_settle_delay : 1 ;
4927 unsigned char ordered_tag : 1 ;
4928 unsigned int max_host_blocked ;
4929 struct device_attribute **shost_attrs ;
4930 struct device_attribute **sdev_attrs ;
4931 struct list_head legacy_hosts ;
4932 u64 vendor_id ;
4933};
4934# 505 "include/scsi/scsi_host.h"
4935enum scsi_host_state {
4936 SHOST_CREATED = 1,
4937 SHOST_RUNNING = 2,
4938 SHOST_CANCEL = 3,
4939 SHOST_DEL = 4,
4940 SHOST_RECOVERY = 5,
4941 SHOST_CANCEL_RECOVERY = 6,
4942 SHOST_DEL_RECOVERY = 7
4943} ;
4944# 515 "include/scsi/scsi_host.h"
4945struct Scsi_Host {
4946 struct list_head __devices ;
4947 struct list_head __targets ;
4948 struct scsi_host_cmd_pool *cmd_pool ;
4949 spinlock_t free_list_lock ;
4950 struct list_head free_list ;
4951 struct list_head starved_list ;
4952 spinlock_t default_lock ;
4953 spinlock_t *host_lock ;
4954 struct mutex scan_mutex ;
4955 struct list_head eh_cmd_q ;
4956 struct task_struct *ehandler ;
4957 struct completion *eh_action ;
4958 wait_queue_head_t host_wait ;
4959 struct scsi_host_template *hostt ;
4960 struct scsi_transport_template *transportt ;
4961 struct blk_queue_tag *bqt ;
4962 unsigned int host_busy ;
4963 unsigned int host_failed ;
4964 unsigned int host_eh_scheduled ;
4965 unsigned int host_no ;
4966 int resetting ;
4967 unsigned long last_reset ;
4968 unsigned int max_id ;
4969 unsigned int max_lun ;
4970 unsigned int max_channel ;
4971 unsigned int unique_id ;
4972 unsigned short max_cmd_len ;
4973 int this_id ;
4974 int can_queue ;
4975 short cmd_per_lun ;
4976 unsigned short sg_tablesize ;
4977 unsigned short sg_prot_tablesize ;
4978 unsigned short max_sectors ;
4979 unsigned long dma_boundary ;
4980 unsigned long cmd_serial_number ;
4981 unsigned char active_mode : 2 ;
4982 unsigned char unchecked_isa_dma : 1 ;
4983 unsigned char use_clustering : 1 ;
4984 unsigned char use_blk_tcq : 1 ;
4985 unsigned char host_self_blocked : 1 ;
4986 unsigned char reverse_ordering : 1 ;
4987 unsigned char ordered_tag : 1 ;
4988 unsigned char tmf_in_progress : 1 ;
4989 unsigned char async_scan : 1 ;
4990 char work_q_name[20U] ;
4991 struct workqueue_struct *work_q ;
4992 unsigned int host_blocked ;
4993 unsigned int max_host_blocked ;
4994 unsigned int prot_capabilities ;
4995 unsigned char prot_guard_type ;
4996 struct request_queue *uspace_req_q ;
4997 unsigned long base ;
4998 unsigned long io_port ;
4999 unsigned char n_io_port ;
5000 unsigned char dma_channel ;
5001 unsigned int irq ;
5002 enum scsi_host_state shost_state ;
5003 struct device shost_gendev ;
5004 struct device shost_dev ;
5005 struct list_head sht_legacy_list ;
5006 void *shost_data ;
5007 struct device *dma_dev ;
5008 unsigned long hostdata[0U] ;
5009};
5010# 2 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/scsi_typedefs.h"
5011typedef struct scsi_cmnd Scsi_Cmnd;
5012# 3 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/scsi_typedefs.h"
5013struct mbox_out {
5014 u8 cmd ;
5015 u8 cmdid ;
5016 u16 numsectors ;
5017 u32 lba ;
5018 u32 xferaddr ;
5019 u8 logdrv ;
5020 u8 numsgelements ;
5021 u8 resvd ;
5022};
5023# 133 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5024struct mbox_in {
5025 u8 volatile busy ;
5026 u8 volatile numstatus ;
5027 u8 volatile status ;
5028 u8 volatile completed[46U] ;
5029 u8 volatile poll ;
5030 u8 volatile ack ;
5031};
5032# 146 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5033struct __anonstruct_mbox_t_169 {
5034 struct mbox_out m_out ;
5035 struct mbox_in m_in ;
5036};
5037# 146 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5038typedef struct __anonstruct_mbox_t_169 mbox_t;
5039# 152 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5040struct __anonstruct_mbox64_t_170 {
5041 u32 xfer_segment_lo ;
5042 u32 xfer_segment_hi ;
5043 mbox_t mbox ;
5044};
5045# 152 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5046typedef struct __anonstruct_mbox64_t_170 mbox64_t;
5047# 178 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5048struct __anonstruct_mega_passthru_171 {
5049 unsigned char timeout : 3 ;
5050 unsigned char ars : 1 ;
5051 unsigned char reserved : 3 ;
5052 unsigned char islogical : 1 ;
5053 u8 logdrv ;
5054 u8 channel ;
5055 u8 target ;
5056 u8 queuetag ;
5057 u8 queueaction ;
5058 u8 cdb[10U] ;
5059 u8 cdblen ;
5060 u8 reqsenselen ;
5061 u8 reqsensearea[32U] ;
5062 u8 numsgelements ;
5063 u8 scsistatus ;
5064 u32 dataxferaddr ;
5065 u32 dataxferlen ;
5066};
5067# 178 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5068typedef struct __anonstruct_mega_passthru_171 mega_passthru;
5069# 206 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5070struct __anonstruct_mega_ext_passthru_172 {
5071 unsigned char timeout : 3 ;
5072 unsigned char ars : 1 ;
5073 unsigned char rsvd1 : 1 ;
5074 unsigned char cd_rom : 1 ;
5075 unsigned char rsvd2 : 1 ;
5076 unsigned char islogical : 1 ;
5077 u8 logdrv ;
5078 u8 channel ;
5079 u8 target ;
5080 u8 queuetag ;
5081 u8 queueaction ;
5082 u8 cdblen ;
5083 u8 rsvd3 ;
5084 u8 cdb[16U] ;
5085 u8 numsgelements ;
5086 u8 status ;
5087 u8 reqsenselen ;
5088 u8 reqsensearea[32U] ;
5089 u8 rsvd4 ;
5090 u32 dataxferaddr ;
5091 u32 dataxferlen ;
5092};
5093# 206 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5094typedef struct __anonstruct_mega_ext_passthru_172 mega_ext_passthru;
5095# 211 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5096struct __anonstruct_mega_sgl64_173 {
5097 u64 address ;
5098 u32 length ;
5099};
5100# 211 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5101typedef struct __anonstruct_mega_sgl64_173 mega_sgl64;
5102# 216 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5103struct __anonstruct_mega_sglist_174 {
5104 u32 address ;
5105 u32 length ;
5106};
5107# 216 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5108typedef struct __anonstruct_mega_sglist_174 mega_sglist;
5109# 240 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5110struct __anonstruct_scb_t_175 {
5111 int idx ;
5112 u32 state ;
5113 struct list_head list ;
5114 u8 raw_mbox[66U] ;
5115 u32 dma_type ;
5116 u32 dma_direction ;
5117 Scsi_Cmnd *cmd ;
5118 dma_addr_t dma_h_bulkdata ;
5119 dma_addr_t dma_h_sgdata ;
5120 mega_sglist *sgl ;
5121 mega_sgl64 *sgl64 ;
5122 dma_addr_t sgl_dma_addr ;
5123 mega_passthru *pthru ;
5124 dma_addr_t pthru_dma_addr ;
5125 mega_ext_passthru *epthru ;
5126 dma_addr_t epthru_dma_addr ;
5127};
5128# 240 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5129typedef struct __anonstruct_scb_t_175 scb_t;
5130# 281 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5131struct __anonstruct_mega_product_info_176 {
5132 u32 data_size ;
5133 u32 config_signature ;
5134 u8 fw_version[16U] ;
5135 u8 bios_version[16U] ;
5136 u8 product_name[80U] ;
5137 u8 max_commands ;
5138 u8 nchannels ;
5139 u8 fc_loop_present ;
5140 u8 mem_type ;
5141 u32 signature ;
5142 u16 dram_size ;
5143 u16 subsysid ;
5144 u16 subsysvid ;
5145 u8 notify_counters ;
5146 u8 pad1k[889U] ;
5147};
5148# 281 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5149typedef struct __anonstruct_mega_product_info_176 mega_product_info;
5150# 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5151struct notify {
5152 u32 global_counter ;
5153 u8 param_counter ;
5154 u8 param_id ;
5155 u16 param_val ;
5156 u8 write_config_counter ;
5157 u8 write_config_rsvd[3U] ;
5158 u8 ldrv_op_counter ;
5159 u8 ldrv_opid ;
5160 u8 ldrv_opcmd ;
5161 u8 ldrv_opstatus ;
5162 u8 ldrv_state_counter ;
5163 u8 ldrv_state_id ;
5164 u8 ldrv_state_new ;
5165 u8 ldrv_state_old ;
5166 u8 pdrv_state_counter ;
5167 u8 pdrv_state_id ;
5168 u8 pdrv_state_new ;
5169 u8 pdrv_state_old ;
5170 u8 pdrv_fmt_counter ;
5171 u8 pdrv_fmt_id ;
5172 u8 pdrv_fmt_val ;
5173 u8 pdrv_fmt_rsvd ;
5174 u8 targ_xfer_counter ;
5175 u8 targ_xfer_id ;
5176 u8 targ_xfer_val ;
5177 u8 targ_xfer_rsvd ;
5178 u8 fcloop_id_chg_counter ;
5179 u8 fcloopid_pdrvid ;
5180 u8 fcloop_id0 ;
5181 u8 fcloop_id1 ;
5182 u8 fcloop_state_counter ;
5183 u8 fcloop_state0 ;
5184 u8 fcloop_state1 ;
5185 u8 fcloop_state_rsvd ;
5186};
5187# 359 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5188struct __anonstruct_mega_inquiry3_177 {
5189 u32 data_size ;
5190 struct notify notify ;
5191 u8 notify_rsvd[88U] ;
5192 u8 rebuild_rate ;
5193 u8 cache_flush_interval ;
5194 u8 sense_alert ;
5195 u8 drive_insert_count ;
5196 u8 battery_status ;
5197 u8 num_ldrv ;
5198 u8 recon_state[5U] ;
5199 u16 ldrv_op_status[5U] ;
5200 u32 ldrv_size[40U] ;
5201 u8 ldrv_prop[40U] ;
5202 u8 ldrv_state[40U] ;
5203 u8 pdrv_state[256U] ;
5204 u16 pdrv_format[16U] ;
5205 u8 targ_xfer[80U] ;
5206 u8 pad1k[263U] ;
5207};
5208# 359 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5209typedef struct __anonstruct_mega_inquiry3_177 mega_inquiry3;
5210# 395 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5211struct __anonstruct_mega_adp_info_178 {
5212 u8 max_commands ;
5213 u8 rebuild_rate ;
5214 u8 max_targ_per_chan ;
5215 u8 nchannels ;
5216 u8 fw_version[4U] ;
5217 u16 age_of_flash ;
5218 u8 chip_set_value ;
5219 u8 dram_size ;
5220 u8 cache_flush_interval ;
5221 u8 bios_version[4U] ;
5222 u8 board_type ;
5223 u8 sense_alert ;
5224 u8 write_config_count ;
5225 u8 drive_inserted_count ;
5226 u8 inserted_drive ;
5227 u8 battery_status ;
5228 u8 dec_fault_bus_info ;
5229};
5230# 395 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5231typedef struct __anonstruct_mega_adp_info_178 mega_adp_info;
5232# 404 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5233struct __anonstruct_mega_ldrv_info_179 {
5234 u8 num_ldrv ;
5235 u8 rsvd[3U] ;
5236 u32 ldrv_size[8U] ;
5237 u8 ldrv_prop[8U] ;
5238 u8 ldrv_state[8U] ;
5239};
5240# 404 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5241typedef struct __anonstruct_mega_ldrv_info_179 mega_ldrv_info;
5242# 409 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5243struct __anonstruct_mega_pdrv_info_180 {
5244 u8 pdrv_state[75U] ;
5245 u8 rsvd ;
5246};
5247# 409 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5248typedef struct __anonstruct_mega_pdrv_info_180 mega_pdrv_info;
5249# 416 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5250struct __anonstruct_mraid_inquiry_181 {
5251 mega_adp_info adapter_info ;
5252 mega_ldrv_info logdrv_info ;
5253 mega_pdrv_info pdrv_info ;
5254};
5255# 416 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5256typedef struct __anonstruct_mraid_inquiry_181 mraid_inquiry;
5257# 426 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5258struct __anonstruct_mraid_ext_inquiry_182 {
5259 mraid_inquiry raid_inq ;
5260 u16 phys_drv_format[5U] ;
5261 u8 stack_attn ;
5262 u8 modem_status ;
5263 u8 rsvd[2U] ;
5264};
5265# 426 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5266typedef struct __anonstruct_mraid_ext_inquiry_182 mraid_ext_inquiry;
5267# 432 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5268struct __anonstruct_adp_device_183 {
5269 u8 channel ;
5270 u8 target ;
5271};
5272# 432 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5273typedef struct __anonstruct_adp_device_183 adp_device;
5274# 438 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5275struct __anonstruct_adp_span_40ld_184 {
5276 u32 start_blk ;
5277 u32 num_blks ;
5278 adp_device device[32U] ;
5279};
5280# 438 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5281typedef struct __anonstruct_adp_span_40ld_184 adp_span_40ld;
5282# 444 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5283struct __anonstruct_adp_span_8ld_185 {
5284 u32 start_blk ;
5285 u32 num_blks ;
5286 adp_device device[8U] ;
5287};
5288# 444 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5289typedef struct __anonstruct_adp_span_8ld_185 adp_span_8ld;
5290# 456 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5291struct __anonstruct_logdrv_param_186 {
5292 u8 span_depth ;
5293 u8 level ;
5294 u8 read_ahead ;
5295 u8 stripe_sz ;
5296 u8 status ;
5297 u8 write_mode ;
5298 u8 direct_io ;
5299 u8 row_size ;
5300};
5301# 456 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5302typedef struct __anonstruct_logdrv_param_186 logdrv_param;
5303# 461 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5304struct __anonstruct_logdrv_40ld_187 {
5305 logdrv_param lparam ;
5306 adp_span_40ld span[8U] ;
5307};
5308# 461 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5309typedef struct __anonstruct_logdrv_40ld_187 logdrv_40ld;
5310# 466 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5311struct __anonstruct_logdrv_8ld_188 {
5312 logdrv_param lparam ;
5313 adp_span_8ld span[8U] ;
5314};
5315# 466 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5316typedef struct __anonstruct_logdrv_8ld_188 logdrv_8ld;
5317# 475 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5318struct __anonstruct_phys_drv_189 {
5319 u8 type ;
5320 u8 cur_status ;
5321 u8 tag_depth ;
5322 u8 sync_neg ;
5323 u32 size ;
5324};
5325# 475 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5326typedef struct __anonstruct_phys_drv_189 phys_drv;
5327# 482 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5328struct __anonstruct_disk_array_40ld_190 {
5329 u8 nlog_drives ;
5330 u8 resvd[3U] ;
5331 logdrv_40ld ldrv[40U] ;
5332 phys_drv pdrv[75U] ;
5333};
5334# 482 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5335typedef struct __anonstruct_disk_array_40ld_190 disk_array_40ld;
5336# 489 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5337struct __anonstruct_disk_array_8ld_191 {
5338 u8 nlog_drives ;
5339 u8 resvd[3U] ;
5340 logdrv_8ld ldrv[8U] ;
5341 phys_drv pdrv[75U] ;
5342};
5343# 489 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5344typedef struct __anonstruct_disk_array_8ld_191 disk_array_8ld;
5345# 490 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5346struct __anonstruct_fcs_193 {
5347 u8 opcode ;
5348 u8 subopcode ;
5349 u16 adapno ;
5350 u8 *buffer ;
5351 u32 length ;
5352};
5353# 490 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5354union __anonunion_ui_192 {
5355 u8 fca[16U] ;
5356 struct __anonstruct_fcs_193 fcs ;
5357};
5358# 490 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5359struct uioctl_t {
5360 u32 inlen ;
5361 u32 outlen ;
5362 union __anonunion_ui_192 ui ;
5363 u8 mbox[18U] ;
5364 mega_passthru pthru ;
5365 char *data ;
5366};
5367# 531 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5368struct mcontroller {
5369 u64 base ;
5370 u8 irq ;
5371 u8 numldrv ;
5372 u8 pcibus ;
5373 u16 pcidev ;
5374 u8 pcifun ;
5375 u16 pciid ;
5376 u16 pcivendor ;
5377 u8 pcislot ;
5378 u32 uid ;
5379};
5380# 569 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5381struct __anonstruct_megacmd_t_194 {
5382 u8 cmd ;
5383 u8 cmdid ;
5384 u8 opcode ;
5385 u8 subopcode ;
5386 u32 lba ;
5387 u32 xferaddr ;
5388 u8 logdrv ;
5389 u8 rsvd[3U] ;
5390 u8 numstatus ;
5391 u8 status ;
5392};
5393# 569 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5394typedef struct __anonstruct_megacmd_t_194 megacmd_t;
5395# 636 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5396union __anonunion___ua_196 {
5397 u8 __raw_mbox[18U] ;
5398 void *__uaddr ;
5399};
5400# 636 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5401struct __anonstruct_nitioctl_t_195 {
5402 char signature[8U] ;
5403 u32 opcode ;
5404 u32 adapno ;
5405 union __anonunion___ua_196 __ua ;
5406 u32 xferlen ;
5407 u32 flags ;
5408};
5409# 636 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5410typedef struct __anonstruct_nitioctl_t_195 nitioctl_t;
5411# 663 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5412struct __anonstruct_megastat_t_197 {
5413 int num_ldrv ;
5414 u32 nreads[40U] ;
5415 u32 nreadblocks[40U] ;
5416 u32 nwrites[40U] ;
5417 u32 nwriteblocks[40U] ;
5418 u32 rd_errors[40U] ;
5419 u32 wr_errors[40U] ;
5420};
5421# 663 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5422typedef struct __anonstruct_megastat_t_197 megastat_t;
5423# 662 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5424struct private_bios_data {
5425 unsigned char geometry : 4 ;
5426 unsigned char unused : 4 ;
5427 u8 boot_drv ;
5428 u8 rsvd[12U] ;
5429 u16 cksum ;
5430};
5431# 899 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5432struct __anonstruct_adapter_t_198 {
5433 int this_id ;
5434 u32 flag ;
5435 unsigned long base ;
5436 void *mmio_base ;
5437 mbox64_t *una_mbox64 ;
5438 dma_addr_t una_mbox64_dma ;
5439 mbox64_t volatile *mbox64 ;
5440 mbox_t volatile *mbox ;
5441 dma_addr_t mbox_dma ;
5442 struct pci_dev *dev ;
5443 struct list_head free_list ;
5444 struct list_head pending_list ;
5445 struct list_head completed_list ;
5446 struct Scsi_Host *host ;
5447 u8 *mega_buffer ;
5448 dma_addr_t buf_dma_handle ;
5449 mega_product_info product_info ;
5450 u8 max_cmds ;
5451 scb_t *scb_list ;
5452 atomic_t pend_cmds ;
5453 u8 numldrv ;
5454 u8 fw_version[7U] ;
5455 u8 bios_version[7U] ;
5456 struct proc_dir_entry *controller_proc_dir_entry ;
5457 struct proc_dir_entry *proc_read ;
5458 struct proc_dir_entry *proc_stat ;
5459 struct proc_dir_entry *proc_mbox ;
5460 struct proc_dir_entry *proc_rr ;
5461 struct proc_dir_entry *proc_battery ;
5462 struct proc_dir_entry *proc_pdrvstat[4U] ;
5463 struct proc_dir_entry *proc_rdrvstat[4U] ;
5464 int has_64bit_addr ;
5465 int support_ext_cdb ;
5466 int boot_ldrv_enabled ;
5467 int boot_ldrv ;
5468 int boot_pdrv_enabled ;
5469 int boot_pdrv_ch ;
5470 int boot_pdrv_tgt ;
5471 int support_random_del ;
5472 int read_ldidmap ;
5473 atomic_t quiescent ;
5474 spinlock_t lock ;
5475 u8 logdrv_chan[9U] ;
5476 int mega_ch_class ;
5477 u8 sglen ;
5478 unsigned char int_cdb[16U] ;
5479 scb_t int_scb ;
5480 struct mutex int_mtx ;
5481 struct completion int_waitq ;
5482 int has_cluster ;
5483};
5484# 899 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5485typedef struct __anonstruct_adapter_t_198 adapter_t;
5486# 900 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/scsi/megaraid.h"
5487struct mega_hbas {
5488 int is_bios_enabled ;
5489 adapter_t *hostdata_addr ;
5490};
5491# 1 "<compiler builtins>"
5492
5493# 1 "<compiler builtins>"
5494
5495# 1 "<compiler builtins>"
5496
5497# 24 "include/linux/list.h"
5498__inline static void INIT_LIST_HEAD(struct list_head *list )
5499{
5500
5501 {
5502# 26 "include/linux/list.h"
5503 list->next = list;
5504# 27 "include/linux/list.h"
5505 list->prev = list;
5506# 28 "include/linux/list.h"
5507 return;
5508}
5509}
5510# 47 "include/linux/list.h"
5511extern void __list_add(struct list_head * , struct list_head * , struct list_head * ) ;
5512# 60 "include/linux/list.h"
5513__inline static void list_add(struct list_head *new , struct list_head *head )
5514{
5515
5516 {
5517 {
5518# 62 "include/linux/list.h"
5519 __list_add(new, head, head->next);
5520 }
5521# 63 "include/linux/list.h"
5522 return;
5523}
5524}
5525# 74 "include/linux/list.h"
5526__inline static void list_add_tail(struct list_head *new , struct list_head *head )
5527{
5528
5529 {
5530 {
5531# 76 "include/linux/list.h"
5532 __list_add(new, head->prev, head);
5533 }
5534# 77 "include/linux/list.h"
5535 return;
5536}
5537}
5538# 111 "include/linux/list.h"
5539extern void __list_del_entry(struct list_head * ) ;
5540# 142 "include/linux/list.h"
5541__inline static void list_del_init(struct list_head *entry )
5542{
5543
5544 {
5545 {
5546# 144 "include/linux/list.h"
5547 __list_del_entry(entry);
5548# 145 "include/linux/list.h"
5549 INIT_LIST_HEAD(entry);
5550 }
5551# 146 "include/linux/list.h"
5552 return;
5553}
5554}
5555# 186 "include/linux/list.h"
5556__inline static int list_empty(struct list_head const *head )
5557{
5558
5559 {
5560# 188 "include/linux/list.h"
5561 return ((unsigned long )((struct list_head const *)head->next) == (unsigned long )head);
5562}
5563}
5564# 101 "include/linux/printk.h"
5565extern int printk(char const * , ...) ;
5566# 64 "include/asm-generic/bug.h"
5567extern void warn_slowpath_fmt(char const * , int const , char const * , ...) ;
5568# 69 "include/asm-generic/bug.h"
5569extern void warn_slowpath_null(char const * , int const ) ;
5570# 125 "include/linux/kernel.h"
5571extern void __might_sleep(char const * , int , int ) ;
5572# 170 "include/linux/kernel.h"
5573extern void might_fault(void) ;
5574# 291 "include/linux/kernel.h"
5575extern int sprintf(char * , char const * , ...) ;
5576# 61 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_64_types.h"
5577extern unsigned long __phys_addr(unsigned long ) ;
5578# 88 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/percpu.h"
5579extern void __bad_percpu_size(void) ;
5580# 348 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
5581extern struct pv_cpu_ops pv_cpu_ops ;
5582# 349 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
5583extern struct pv_irq_ops pv_irq_ops ;
5584# 34 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
5585extern void *__memcpy(void * , void const * , size_t ) ;
5586# 55 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
5587extern void *memset(void * , int , size_t ) ;
5588# 60 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
5589extern int memcmp(void const * , void const * , size_t ) ;
5590# 63 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
5591extern char *strcat(char * , char const * ) ;
5592# 64 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
5593extern int strcmp(char const * , char const * ) ;
5594# 339 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5595__inline static void slow_down_io(void)
5596{
5597
5598 {
5599 {
5600# 341 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5601 (*(pv_cpu_ops.io_delay))();
5602 }
5603# 342 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5604 return;
5605}
5606}
5607# 851 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5608__inline static unsigned long arch_local_save_flags(void)
5609{ unsigned long __ret ;
5610 unsigned long __edi ;
5611 unsigned long __esi ;
5612 unsigned long __edx ;
5613 unsigned long __ecx ;
5614 unsigned long __eax ;
5615 long tmp ;
5616
5617 {
5618 {
5619# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5620 __edi = __edi;
5621# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5622 __esi = __esi;
5623# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5624 __edx = __edx;
5625# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5626 __ecx = __ecx;
5627# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5628 __eax = __eax;
5629# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5630 tmp = __builtin_expect((long )((unsigned long )pv_irq_ops.save_fl.func == (unsigned long )((void *)0)),
5631 0L);
5632 }
5633# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5634 if (tmp != 0L) {
5635# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5636 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"),
5637 "i" (853), "i" (12UL));
5638 ldv_4705: ;
5639# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5640 goto ldv_4705;
5641 } else {
5642
5643 }
5644# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5645 __asm__ volatile ("771:\n\tcall *%c2;\n772:\n.pushsection .parainstructions,\"a\"\n .balign 8 \n .quad 771b\n .byte %c1\n .byte 772b-771b\n .short %c3\n.popsection\n": "=a" (__eax): [paravirt_typenum] "i" (46UL),
5646 [paravirt_opptr] "i" (& pv_irq_ops.save_fl.func), [paravirt_clobber] "i" (1): "memory",
5647 "cc");
5648# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5649 __ret = __eax;
5650# 853 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt.h"
5651 return (__ret);
5652}
5653}
5654# 154 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/irqflags.h"
5655__inline static int arch_irqs_disabled_flags(unsigned long flags )
5656{
5657
5658 {
5659# 156 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/irqflags.h"
5660 return ((flags & 512UL) == 0UL);
5661}
5662}
5663# 702 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
5664__inline static void rep_nop(void)
5665{
5666
5667 {
5668# 704 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
5669 __asm__ volatile ("rep; nop": : : "memory");
5670# 705 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
5671 return;
5672}
5673}
5674# 707 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
5675__inline static void cpu_relax(void)
5676{
5677
5678 {
5679 {
5680# 709 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
5681 rep_nop();
5682 }
5683# 710 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
5684 return;
5685}
5686}
5687# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5688__inline static int atomic_read(atomic_t const *v )
5689{
5690
5691 {
5692# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5693 return ((int )*((int volatile *)(& v->counter)));
5694}
5695}
5696# 35 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5697__inline static void atomic_set(atomic_t *v , int i )
5698{
5699
5700 {
5701# 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5702 v->counter = i;
5703# 38 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5704 return;
5705}
5706}
5707# 61 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5708__inline static void atomic_sub(int i , atomic_t *v )
5709{
5710
5711 {
5712# 63 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5713 __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; subl %1,%0": "+m" (v->counter): "ir" (i));
5714# 65 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5715 return;
5716}
5717}
5718# 93 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5719__inline static void atomic_inc(atomic_t *v )
5720{
5721
5722 {
5723# 95 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5724 __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; incl %0": "+m" (v->counter));
5725# 97 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
5726 return;
5727}
5728}
5729# 217 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5730extern unsigned long kernel_stack ;
5731# 219 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5732__inline static struct thread_info *current_thread_info(void)
5733{ struct thread_info *ti ;
5734 unsigned long pfo_ret__ ;
5735
5736 {
5737# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5738 if (1) {
5739# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5740 goto case_8;
5741 } else {
5742# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5743 goto switch_default;
5744# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5745 if (0) {
5746# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5747 __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& kernel_stack));
5748# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5749 goto ldv_5782;
5750# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5751 __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
5752# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5753 goto ldv_5782;
5754# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5755 __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
5756# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5757 goto ldv_5782;
5758 case_8:
5759# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5760 __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
5761# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5762 goto ldv_5782;
5763 switch_default:
5764 {
5765# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5766 __bad_percpu_size();
5767 }
5768 } else {
5769
5770 }
5771 }
5772 ldv_5782:
5773# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5774 ti = (struct thread_info *)(pfo_ret__ - 8152UL);
5775# 224 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
5776 return (ti);
5777}
5778}
5779# 93 "include/linux/spinlock.h"
5780extern void __raw_spin_lock_init(raw_spinlock_t * , char const * , struct lock_class_key * ) ;
5781# 29 "include/linux/spinlock_api_smp.h"
5782extern void _raw_spin_lock_irq(raw_spinlock_t * ) ;
5783# 32 "include/linux/spinlock_api_smp.h"
5784extern unsigned long _raw_spin_lock_irqsave(raw_spinlock_t * ) ;
5785# 41 "include/linux/spinlock_api_smp.h"
5786extern void _raw_spin_unlock_irq(raw_spinlock_t * ) ;
5787# 43 "include/linux/spinlock_api_smp.h"
5788extern void _raw_spin_unlock_irqrestore(raw_spinlock_t * , unsigned long ) ;
5789# 272 "include/linux/spinlock.h"
5790__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock )
5791{
5792
5793 {
5794# 274 "include/linux/spinlock.h"
5795 return (& lock->ldv_6060.rlock);
5796}
5797}
5798# 308 "include/linux/spinlock.h"
5799__inline static void spin_lock_irq(spinlock_t *lock )
5800{
5801
5802 {
5803 {
5804# 310 "include/linux/spinlock.h"
5805 _raw_spin_lock_irq(& lock->ldv_6060.rlock);
5806 }
5807# 311 "include/linux/spinlock.h"
5808 return;
5809}
5810}
5811# 333 "include/linux/spinlock.h"
5812__inline static void spin_unlock_irq(spinlock_t *lock )
5813{
5814
5815 {
5816 {
5817# 335 "include/linux/spinlock.h"
5818 _raw_spin_unlock_irq(& lock->ldv_6060.rlock);
5819 }
5820# 336 "include/linux/spinlock.h"
5821 return;
5822}
5823}
5824# 338 "include/linux/spinlock.h"
5825__inline static void spin_unlock_irqrestore(spinlock_t *lock , unsigned long flags )
5826{
5827
5828 {
5829 {
5830# 340 "include/linux/spinlock.h"
5831 _raw_spin_unlock_irqrestore(& lock->ldv_6060.rlock, flags);
5832 }
5833# 341 "include/linux/spinlock.h"
5834 return;
5835}
5836}
5837# 80 "include/linux/wait.h"
5838extern void __init_waitqueue_head(wait_queue_head_t * , struct lock_class_key * ) ;
5839# 115 "include/linux/mutex.h"
5840extern void __mutex_init(struct mutex * , char const * , struct lock_class_key * ) ;
5841# 134 "include/linux/mutex.h"
5842extern void mutex_lock_nested(struct mutex * , unsigned int ) ;
5843# 169 "include/linux/mutex.h"
5844extern void mutex_unlock(struct mutex * ) ;
5845# 113 "include/linux/ioport.h"
5846extern struct resource ioport_resource ;
5847# 114 "include/linux/ioport.h"
5848extern struct resource iomem_resource ;
5849# 156 "include/linux/ioport.h"
5850extern struct resource *__request_region(struct resource * , resource_size_t , resource_size_t ,
5851 char const * , int ) ;
5852# 167 "include/linux/ioport.h"
5853extern void __release_region(struct resource * , resource_size_t , resource_size_t ) ;
5854# 73 "include/linux/completion.h"
5855__inline static void init_completion(struct completion *x )
5856{ struct lock_class_key __key ;
5857
5858 {
5859 {
5860# 75 "include/linux/completion.h"
5861 x->done = 0U;
5862# 76 "include/linux/completion.h"
5863 __init_waitqueue_head(& x->wait, & __key);
5864 }
5865# 78 "include/linux/completion.h"
5866 return;
5867}
5868}
5869# 79 "include/linux/completion.h"
5870extern void wait_for_completion(struct completion * ) ;
5871# 91 "include/linux/completion.h"
5872extern void complete(struct completion * ) ;
5873# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5874__inline static unsigned int readl(void const volatile *addr )
5875{ unsigned int ret ;
5876
5877 {
5878# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5879 __asm__ volatile ("movl %1,%0": "=r" (ret): "m" (*((unsigned int volatile *)addr)): "memory");
5880# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5881 return (ret);
5882}
5883}
5884# 65 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5885__inline static void writel(unsigned int val , void volatile *addr )
5886{
5887
5888 {
5889# 65 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5890 __asm__ volatile ("movl %0,%1": : "r" (val), "m" (*((unsigned int volatile *)addr)): "memory");
5891# 66 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5892 return;
5893}
5894}
5895# 176 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5896extern void *ioremap_nocache(resource_size_t , unsigned long ) ;
5897# 184 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5898__inline static void *ioremap(resource_size_t offset , unsigned long size )
5899{ void *tmp ;
5900
5901 {
5902 {
5903# 186 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5904 tmp = ioremap_nocache(offset, size);
5905 }
5906# 186 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5907 return (tmp);
5908}
5909}
5910# 189 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5911extern void iounmap(void volatile * ) ;
5912# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5913__inline static void outb(unsigned char value , int port )
5914{
5915
5916 {
5917# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5918 __asm__ volatile ("outb %b0, %w1": : "a" (value), "Nd" (port));
5919# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5920 return;
5921}
5922}
5923# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5924__inline static unsigned char inb(int port )
5925{ unsigned char value ;
5926
5927 {
5928# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5929 __asm__ volatile ("inb %w1, %b0": "=a" (value): "Nd" (port));
5930# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5931 return (value);
5932}
5933}
5934# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5935__inline static void outb_p(unsigned char value , int port )
5936{
5937
5938 {
5939 {
5940# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5941 outb((unsigned char )((int )value), port);
5942# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5943 slow_down_io();
5944 }
5945# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5946 return;
5947}
5948}
5949# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5950__inline static unsigned char inb_p(int port )
5951{ unsigned char value ;
5952 unsigned char tmp ;
5953
5954 {
5955 {
5956# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5957 tmp = inb(port);
5958# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5959 value = tmp;
5960# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5961 slow_down_io();
5962 }
5963# 310 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
5964 return (value);
5965}
5966}
5967# 830 "include/linux/rcupdate.h"
5968extern void kfree(void const * ) ;
5969# 99 "include/linux/module.h"
5970extern struct module __this_module ;
5971# 3 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
5972int ldv_try_module_get(struct module *module ) ;
5973# 4 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
5974void ldv_module_get(struct module *module ) ;
5975# 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
5976void ldv_module_put(struct module *module ) ;
5977# 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
5978unsigned int ldv_module_refcount(void) ;
5979# 7 "/anthill/stuff/tacas-comp/work/current--X--drivers/scsi/megaraid.ko--X--bulklinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/scsi/megaraid.c.p"
5980void ldv_module_put_and_exit(void) ;
5981# 720 "include/linux/mm.h"
5982__inline static void *lowmem_page_address(struct page *page )
5983{
5984
5985 {
5986# 722 "include/linux/mm.h"
5987 return ((void *)((unsigned long )((unsigned long long )(((long )page + 24189255811072L) / 56L) << 12) + 0x0fff880000000000UL));
5988}
5989}
5990# 546 "include/linux/capability.h"
5991extern bool capable(int ) ;
5992# 2089 "include/linux/fs.h"
5993extern int __register_chrdev(unsigned int , unsigned int , unsigned int , char const * ,
5994 struct file_operations const * ) ;
5995# 2092 "include/linux/fs.h"
5996extern void __unregister_chrdev(unsigned int , unsigned int , unsigned int , char const * ) ;
5997# 2097 "include/linux/fs.h"
5998__inline static int register_chrdev(unsigned int major , char const *name , struct file_operations const *fops )
5999{ int tmp ;
6000
6001 {
6002 {
6003# 2100 "include/linux/fs.h"
6004 tmp = __register_chrdev(major, 0U, 256U, name, fops);
6005 }
6006# 2100 "include/linux/fs.h"
6007 return (tmp);
6008}
6009}
6010# 2103 "include/linux/fs.h"
6011__inline static void unregister_chrdev(unsigned int major , char const *name )
6012{
6013
6014 {
6015 {
6016# 2105 "include/linux/fs.h"
6017 __unregister_chrdev(major, 0U, 256U, name);
6018 }
6019# 2106 "include/linux/fs.h"
6020 return;
6021}
6022}
6023# 2336 "include/linux/fs.h"
6024extern loff_t noop_llseek(struct file * , loff_t , int ) ;
6025# 2504 "include/linux/sched.h"
6026extern int _cond_resched(void) ;
6027# 221 "include/linux/slub_def.h"
6028extern void *__kmalloc(size_t , gfp_t ) ;
6029# 255 "include/linux/slub_def.h"
6030__inline static void *kmalloc(size_t size , gfp_t flags )
6031{ void *tmp___2 ;
6032
6033 {
6034 {
6035# 270 "include/linux/slub_def.h"
6036 tmp___2 = __kmalloc(size, flags);
6037 }
6038# 270 "include/linux/slub_def.h"
6039 return (tmp___2);
6040}
6041}
6042# 318 "include/linux/slab.h"
6043__inline static void *kzalloc(size_t size , gfp_t flags )
6044{ void *tmp ;
6045
6046 {
6047 {
6048# 320 "include/linux/slab.h"
6049 tmp = kmalloc(size, flags | 32768U);
6050 }
6051# 320 "include/linux/slab.h"
6052 return (tmp);
6053}
6054}
6055# 705 "include/linux/device.h"
6056extern void *dev_get_drvdata(struct device const * ) ;
6057# 706 "include/linux/device.h"
6058extern int dev_set_drvdata(struct device * , void * ) ;
6059# 40 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6060extern unsigned long _copy_to_user(void * , void const * , unsigned int ) ;
6061# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6062extern unsigned long _copy_from_user(void * , void const * , unsigned int ) ;
6063# 46 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6064__inline static unsigned long copy_from_user(void *to , void const *from , unsigned long n )
6065{ int sz ;
6066 unsigned long tmp ;
6067 int __ret_warn_on ;
6068 long tmp___0 ;
6069 long tmp___1 ;
6070 long tmp___2 ;
6071
6072 {
6073 {
6074# 50 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6075 tmp = __builtin_object_size((void *)((void const *)to), 0);
6076# 50 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6077 sz = (int )tmp;
6078# 52 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6079 might_fault();
6080# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6081 tmp___1 = __builtin_expect((long )(sz == -1), 1L);
6082 }
6083# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6084 if (tmp___1 != 0L) {
6085 {
6086# 54 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6087 n = _copy_from_user(to, from, (unsigned int )n);
6088 }
6089 } else {
6090 {
6091# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6092 tmp___2 = __builtin_expect((long )((unsigned long )sz >= n), 1L);
6093 }
6094# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6095 if (tmp___2 != 0L) {
6096 {
6097# 54 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6098 n = _copy_from_user(to, from, (unsigned int )n);
6099 }
6100 } else {
6101 {
6102# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6103 __ret_warn_on = 1;
6104# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6105 tmp___0 = __builtin_expect((long )(__ret_warn_on != 0), 0L);
6106 }
6107# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6108 if (tmp___0 != 0L) {
6109 {
6110# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
6111 warn_slowpath_fmt("/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h",
6112 (int const )57, "Buffer overflow detected!\n");
6113 }
6114 } else {
6115
6116 }