1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 22 "include/asm-generic/int-ll64.h"
7typedef short __s16;
8#line 23 "include/asm-generic/int-ll64.h"
9typedef unsigned short __u16;
10#line 25 "include/asm-generic/int-ll64.h"
11typedef int __s32;
12#line 26 "include/asm-generic/int-ll64.h"
13typedef unsigned int __u32;
14#line 29 "include/asm-generic/int-ll64.h"
15typedef long long __s64;
16#line 30 "include/asm-generic/int-ll64.h"
17typedef unsigned long long __u64;
18#line 43 "include/asm-generic/int-ll64.h"
19typedef unsigned char u8;
20#line 45 "include/asm-generic/int-ll64.h"
21typedef short s16;
22#line 46 "include/asm-generic/int-ll64.h"
23typedef unsigned short u16;
24#line 48 "include/asm-generic/int-ll64.h"
25typedef int s32;
26#line 49 "include/asm-generic/int-ll64.h"
27typedef unsigned int u32;
28#line 51 "include/asm-generic/int-ll64.h"
29typedef long long s64;
30#line 52 "include/asm-generic/int-ll64.h"
31typedef unsigned long long u64;
32#line 14 "include/asm-generic/posix_types.h"
33typedef long __kernel_long_t;
34#line 15 "include/asm-generic/posix_types.h"
35typedef unsigned long __kernel_ulong_t;
36#line 27 "include/asm-generic/posix_types.h"
37typedef __kernel_ulong_t __kernel_nlink_t;
38#line 31 "include/asm-generic/posix_types.h"
39typedef int __kernel_pid_t;
40#line 52 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_uid32_t;
42#line 53 "include/asm-generic/posix_types.h"
43typedef unsigned int __kernel_gid32_t;
44#line 75 "include/asm-generic/posix_types.h"
45typedef __kernel_ulong_t __kernel_size_t;
46#line 76 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_ssize_t;
48#line 90 "include/asm-generic/posix_types.h"
49typedef __kernel_long_t __kernel_off_t;
50#line 91 "include/asm-generic/posix_types.h"
51typedef long long __kernel_loff_t;
52#line 92 "include/asm-generic/posix_types.h"
53typedef __kernel_long_t __kernel_time_t;
54#line 93 "include/asm-generic/posix_types.h"
55typedef __kernel_long_t __kernel_clock_t;
56#line 94 "include/asm-generic/posix_types.h"
57typedef int __kernel_timer_t;
58#line 95 "include/asm-generic/posix_types.h"
59typedef int __kernel_clockid_t;
60#line 21 "include/linux/types.h"
61typedef __u32 __kernel_dev_t;
62#line 24 "include/linux/types.h"
63typedef __kernel_dev_t dev_t;
64#line 27 "include/linux/types.h"
65typedef unsigned short umode_t;
66#line 28 "include/linux/types.h"
67typedef __kernel_nlink_t nlink_t;
68#line 29 "include/linux/types.h"
69typedef __kernel_off_t off_t;
70#line 30 "include/linux/types.h"
71typedef __kernel_pid_t pid_t;
72#line 35 "include/linux/types.h"
73typedef __kernel_clockid_t clockid_t;
74#line 38 "include/linux/types.h"
75typedef _Bool bool;
76#line 40 "include/linux/types.h"
77typedef __kernel_uid32_t uid_t;
78#line 41 "include/linux/types.h"
79typedef __kernel_gid32_t gid_t;
80#line 54 "include/linux/types.h"
81typedef __kernel_loff_t loff_t;
82#line 63 "include/linux/types.h"
83typedef __kernel_size_t size_t;
84#line 68 "include/linux/types.h"
85typedef __kernel_ssize_t ssize_t;
86#line 78 "include/linux/types.h"
87typedef __kernel_time_t time_t;
88#line 111 "include/linux/types.h"
89typedef __s32 int32_t;
90#line 117 "include/linux/types.h"
91typedef __u32 uint32_t;
92#line 142 "include/linux/types.h"
93typedef unsigned long sector_t;
94#line 143 "include/linux/types.h"
95typedef unsigned long blkcnt_t;
96#line 155 "include/linux/types.h"
97typedef u64 dma_addr_t;
98#line 202 "include/linux/types.h"
99typedef unsigned int gfp_t;
100#line 203 "include/linux/types.h"
101typedef unsigned int fmode_t;
102#line 206 "include/linux/types.h"
103typedef u64 phys_addr_t;
104#line 211 "include/linux/types.h"
105typedef phys_addr_t resource_size_t;
106#line 219 "include/linux/types.h"
107struct __anonstruct_atomic_t_7 {
108 int counter ;
109};
110#line 219 "include/linux/types.h"
111typedef struct __anonstruct_atomic_t_7 atomic_t;
112#line 224 "include/linux/types.h"
113struct __anonstruct_atomic64_t_8 {
114 long counter ;
115};
116#line 224 "include/linux/types.h"
117typedef struct __anonstruct_atomic64_t_8 atomic64_t;
118#line 229 "include/linux/types.h"
119struct list_head {
120 struct list_head *next ;
121 struct list_head *prev ;
122};
123#line 233
124struct hlist_node;
125#line 233 "include/linux/types.h"
126struct hlist_head {
127 struct hlist_node *first ;
128};
129#line 237 "include/linux/types.h"
130struct hlist_node {
131 struct hlist_node *next ;
132 struct hlist_node **pprev ;
133};
134#line 253 "include/linux/types.h"
135struct rcu_head {
136 struct rcu_head *next ;
137 void (*func)(struct rcu_head *head ) ;
138};
139#line 12 "include/linux/mod_devicetable.h"
140typedef unsigned long kernel_ulong_t;
141#line 17 "include/linux/mod_devicetable.h"
142struct pci_device_id {
143 __u32 vendor ;
144 __u32 device ;
145 __u32 subvendor ;
146 __u32 subdevice ;
147 __u32 class ;
148 __u32 class_mask ;
149 kernel_ulong_t driver_data ;
150};
151#line 219 "include/linux/mod_devicetable.h"
152struct of_device_id {
153 char name[32] ;
154 char type[32] ;
155 char compatible[128] ;
156 void *data ;
157};
158#line 146 "include/linux/init.h"
159typedef void (*ctor_fn_t)(void);
160#line 18 "include/linux/ioport.h"
161struct resource {
162 resource_size_t start ;
163 resource_size_t end ;
164 char const *name ;
165 unsigned long flags ;
166 struct resource *parent ;
167 struct resource *sibling ;
168 struct resource *child ;
169};
170#line 202
171struct device;
172#line 202
173struct device;
174#line 12 "include/linux/lockdep.h"
175struct task_struct;
176#line 12
177struct task_struct;
178#line 391 "include/linux/lockdep.h"
179struct lock_class_key {
180
181};
182#line 20 "include/linux/kobject_ns.h"
183struct sock;
184#line 20
185struct sock;
186#line 21
187struct kobject;
188#line 21
189struct kobject;
190#line 27
191enum kobj_ns_type {
192 KOBJ_NS_TYPE_NONE = 0,
193 KOBJ_NS_TYPE_NET = 1,
194 KOBJ_NS_TYPES = 2
195} ;
196#line 40 "include/linux/kobject_ns.h"
197struct kobj_ns_type_operations {
198 enum kobj_ns_type type ;
199 void *(*grab_current_ns)(void) ;
200 void const *(*netlink_ns)(struct sock *sk ) ;
201 void const *(*initial_ns)(void) ;
202 void (*drop_ns)(void * ) ;
203};
204#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
205struct task_struct;
206#line 8
207struct mm_struct;
208#line 8
209struct mm_struct;
210#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
211struct pt_regs {
212 unsigned long r15 ;
213 unsigned long r14 ;
214 unsigned long r13 ;
215 unsigned long r12 ;
216 unsigned long bp ;
217 unsigned long bx ;
218 unsigned long r11 ;
219 unsigned long r10 ;
220 unsigned long r9 ;
221 unsigned long r8 ;
222 unsigned long ax ;
223 unsigned long cx ;
224 unsigned long dx ;
225 unsigned long si ;
226 unsigned long di ;
227 unsigned long orig_ax ;
228 unsigned long ip ;
229 unsigned long cs ;
230 unsigned long flags ;
231 unsigned long sp ;
232 unsigned long ss ;
233};
234#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
235struct __anonstruct____missing_field_name_11 {
236 unsigned int a ;
237 unsigned int b ;
238};
239#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
240struct __anonstruct____missing_field_name_12 {
241 u16 limit0 ;
242 u16 base0 ;
243 unsigned int base1 : 8 ;
244 unsigned int type : 4 ;
245 unsigned int s : 1 ;
246 unsigned int dpl : 2 ;
247 unsigned int p : 1 ;
248 unsigned int limit : 4 ;
249 unsigned int avl : 1 ;
250 unsigned int l : 1 ;
251 unsigned int d : 1 ;
252 unsigned int g : 1 ;
253 unsigned int base2 : 8 ;
254};
255#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
256union __anonunion____missing_field_name_10 {
257 struct __anonstruct____missing_field_name_11 __annonCompField4 ;
258 struct __anonstruct____missing_field_name_12 __annonCompField5 ;
259};
260#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
261struct desc_struct {
262 union __anonunion____missing_field_name_10 __annonCompField6 ;
263} __attribute__((__packed__)) ;
264#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
265typedef unsigned long pgdval_t;
266#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
267typedef unsigned long pgprotval_t;
268#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
269struct pgprot {
270 pgprotval_t pgprot ;
271};
272#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
273typedef struct pgprot pgprot_t;
274#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
275struct __anonstruct_pgd_t_16 {
276 pgdval_t pgd ;
277};
278#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
279typedef struct __anonstruct_pgd_t_16 pgd_t;
280#line 282
281struct page;
282#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
283typedef struct page *pgtable_t;
284#line 295
285struct file;
286#line 295
287struct file;
288#line 313
289struct seq_file;
290#line 313
291struct seq_file;
292#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
293struct page;
294#line 47
295struct thread_struct;
296#line 47
297struct thread_struct;
298#line 50
299struct mm_struct;
300#line 51
301struct desc_struct;
302#line 52
303struct task_struct;
304#line 53
305struct cpumask;
306#line 53
307struct cpumask;
308#line 329
309struct arch_spinlock;
310#line 329
311struct arch_spinlock;
312#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
313struct task_struct;
314#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
315struct kernel_vm86_regs {
316 struct pt_regs pt ;
317 unsigned short es ;
318 unsigned short __esh ;
319 unsigned short ds ;
320 unsigned short __dsh ;
321 unsigned short fs ;
322 unsigned short __fsh ;
323 unsigned short gs ;
324 unsigned short __gsh ;
325};
326#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
327union __anonunion____missing_field_name_20 {
328 struct pt_regs *regs ;
329 struct kernel_vm86_regs *vm86 ;
330};
331#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
332struct math_emu_info {
333 long ___orig_eip ;
334 union __anonunion____missing_field_name_20 __annonCompField7 ;
335};
336#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
337struct module;
338#line 56
339struct module;
340#line 47 "include/linux/dynamic_debug.h"
341struct device;
342#line 135 "include/linux/kernel.h"
343struct completion;
344#line 135
345struct completion;
346#line 136
347struct pt_regs;
348#line 349
349struct pid;
350#line 349
351struct pid;
352#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
353struct task_struct;
354#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
355struct page;
356#line 10 "include/asm-generic/bug.h"
357struct bug_entry {
358 int bug_addr_disp ;
359 int file_disp ;
360 unsigned short line ;
361 unsigned short flags ;
362};
363#line 12 "include/linux/bug.h"
364struct pt_regs;
365#line 14 "include/linux/cpumask.h"
366struct cpumask {
367 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
368};
369#line 14 "include/linux/cpumask.h"
370typedef struct cpumask cpumask_t;
371#line 637 "include/linux/cpumask.h"
372typedef struct cpumask *cpumask_var_t;
373#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
374struct static_key;
375#line 234
376struct static_key;
377#line 11 "include/linux/personality.h"
378struct pt_regs;
379#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
380struct i387_fsave_struct {
381 u32 cwd ;
382 u32 swd ;
383 u32 twd ;
384 u32 fip ;
385 u32 fcs ;
386 u32 foo ;
387 u32 fos ;
388 u32 st_space[20] ;
389 u32 status ;
390};
391#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
392struct __anonstruct____missing_field_name_28 {
393 u64 rip ;
394 u64 rdp ;
395};
396#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
397struct __anonstruct____missing_field_name_29 {
398 u32 fip ;
399 u32 fcs ;
400 u32 foo ;
401 u32 fos ;
402};
403#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
404union __anonunion____missing_field_name_27 {
405 struct __anonstruct____missing_field_name_28 __annonCompField11 ;
406 struct __anonstruct____missing_field_name_29 __annonCompField12 ;
407};
408#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
409union __anonunion____missing_field_name_30 {
410 u32 padding1[12] ;
411 u32 sw_reserved[12] ;
412};
413#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
414struct i387_fxsave_struct {
415 u16 cwd ;
416 u16 swd ;
417 u16 twd ;
418 u16 fop ;
419 union __anonunion____missing_field_name_27 __annonCompField13 ;
420 u32 mxcsr ;
421 u32 mxcsr_mask ;
422 u32 st_space[32] ;
423 u32 xmm_space[64] ;
424 u32 padding[12] ;
425 union __anonunion____missing_field_name_30 __annonCompField14 ;
426} __attribute__((__aligned__(16))) ;
427#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
428struct i387_soft_struct {
429 u32 cwd ;
430 u32 swd ;
431 u32 twd ;
432 u32 fip ;
433 u32 fcs ;
434 u32 foo ;
435 u32 fos ;
436 u32 st_space[20] ;
437 u8 ftop ;
438 u8 changed ;
439 u8 lookahead ;
440 u8 no_update ;
441 u8 rm ;
442 u8 alimit ;
443 struct math_emu_info *info ;
444 u32 entry_eip ;
445};
446#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
447struct ymmh_struct {
448 u32 ymmh_space[64] ;
449};
450#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
451struct xsave_hdr_struct {
452 u64 xstate_bv ;
453 u64 reserved1[2] ;
454 u64 reserved2[5] ;
455} __attribute__((__packed__)) ;
456#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
457struct xsave_struct {
458 struct i387_fxsave_struct i387 ;
459 struct xsave_hdr_struct xsave_hdr ;
460 struct ymmh_struct ymmh ;
461} __attribute__((__packed__, __aligned__(64))) ;
462#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
463union thread_xstate {
464 struct i387_fsave_struct fsave ;
465 struct i387_fxsave_struct fxsave ;
466 struct i387_soft_struct soft ;
467 struct xsave_struct xsave ;
468};
469#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
470struct fpu {
471 unsigned int last_cpu ;
472 unsigned int has_fpu ;
473 union thread_xstate *state ;
474};
475#line 433
476struct kmem_cache;
477#line 435
478struct perf_event;
479#line 435
480struct perf_event;
481#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
482struct thread_struct {
483 struct desc_struct tls_array[3] ;
484 unsigned long sp0 ;
485 unsigned long sp ;
486 unsigned long usersp ;
487 unsigned short es ;
488 unsigned short ds ;
489 unsigned short fsindex ;
490 unsigned short gsindex ;
491 unsigned long fs ;
492 unsigned long gs ;
493 struct perf_event *ptrace_bps[4] ;
494 unsigned long debugreg6 ;
495 unsigned long ptrace_dr7 ;
496 unsigned long cr2 ;
497 unsigned long trap_nr ;
498 unsigned long error_code ;
499 struct fpu fpu ;
500 unsigned long *io_bitmap_ptr ;
501 unsigned long iopl ;
502 unsigned int io_bitmap_max ;
503};
504#line 23 "include/asm-generic/atomic-long.h"
505typedef atomic64_t atomic_long_t;
506#line 22 "include/linux/sysfs.h"
507struct kobject;
508#line 23
509struct module;
510#line 24
511enum kobj_ns_type;
512#line 26 "include/linux/sysfs.h"
513struct attribute {
514 char const *name ;
515 umode_t mode ;
516};
517#line 56 "include/linux/sysfs.h"
518struct attribute_group {
519 char const *name ;
520 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
521 struct attribute **attrs ;
522};
523#line 85
524struct file;
525#line 86
526struct vm_area_struct;
527#line 86
528struct vm_area_struct;
529#line 88 "include/linux/sysfs.h"
530struct bin_attribute {
531 struct attribute attr ;
532 size_t size ;
533 void *private ;
534 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
535 loff_t , size_t ) ;
536 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
537 loff_t , size_t ) ;
538 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
539};
540#line 112 "include/linux/sysfs.h"
541struct sysfs_ops {
542 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
543 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
544 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
545};
546#line 118
547struct sysfs_dirent;
548#line 118
549struct sysfs_dirent;
550#line 12 "include/linux/thread_info.h"
551struct timespec;
552#line 12
553struct timespec;
554#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
555struct task_struct;
556#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
557typedef u16 __ticket_t;
558#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
559typedef u32 __ticketpair_t;
560#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
561struct __raw_tickets {
562 __ticket_t head ;
563 __ticket_t tail ;
564};
565#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
566union __anonunion____missing_field_name_37 {
567 __ticketpair_t head_tail ;
568 struct __raw_tickets tickets ;
569};
570#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
571struct arch_spinlock {
572 union __anonunion____missing_field_name_37 __annonCompField17 ;
573};
574#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
575typedef struct arch_spinlock arch_spinlock_t;
576#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
577struct __anonstruct____missing_field_name_39 {
578 u32 read ;
579 s32 write ;
580};
581#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
582union __anonunion_arch_rwlock_t_38 {
583 s64 lock ;
584 struct __anonstruct____missing_field_name_39 __annonCompField18 ;
585};
586#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
587typedef union __anonunion_arch_rwlock_t_38 arch_rwlock_t;
588#line 20 "include/linux/spinlock_types.h"
589struct raw_spinlock {
590 arch_spinlock_t raw_lock ;
591 unsigned int magic ;
592 unsigned int owner_cpu ;
593 void *owner ;
594};
595#line 20 "include/linux/spinlock_types.h"
596typedef struct raw_spinlock raw_spinlock_t;
597#line 64 "include/linux/spinlock_types.h"
598union __anonunion____missing_field_name_40 {
599 struct raw_spinlock rlock ;
600};
601#line 64 "include/linux/spinlock_types.h"
602struct spinlock {
603 union __anonunion____missing_field_name_40 __annonCompField19 ;
604};
605#line 64 "include/linux/spinlock_types.h"
606typedef struct spinlock spinlock_t;
607#line 11 "include/linux/rwlock_types.h"
608struct __anonstruct_rwlock_t_41 {
609 arch_rwlock_t raw_lock ;
610 unsigned int magic ;
611 unsigned int owner_cpu ;
612 void *owner ;
613};
614#line 11 "include/linux/rwlock_types.h"
615typedef struct __anonstruct_rwlock_t_41 rwlock_t;
616#line 22 "include/linux/kref.h"
617struct kref {
618 atomic_t refcount ;
619};
620#line 49 "include/linux/wait.h"
621struct __wait_queue_head {
622 spinlock_t lock ;
623 struct list_head task_list ;
624};
625#line 53 "include/linux/wait.h"
626typedef struct __wait_queue_head wait_queue_head_t;
627#line 55
628struct task_struct;
629#line 60 "include/linux/kobject.h"
630struct kset;
631#line 60
632struct kobj_type;
633#line 60 "include/linux/kobject.h"
634struct kobject {
635 char const *name ;
636 struct list_head entry ;
637 struct kobject *parent ;
638 struct kset *kset ;
639 struct kobj_type *ktype ;
640 struct sysfs_dirent *sd ;
641 struct kref kref ;
642 unsigned int state_initialized : 1 ;
643 unsigned int state_in_sysfs : 1 ;
644 unsigned int state_add_uevent_sent : 1 ;
645 unsigned int state_remove_uevent_sent : 1 ;
646 unsigned int uevent_suppress : 1 ;
647};
648#line 108 "include/linux/kobject.h"
649struct kobj_type {
650 void (*release)(struct kobject *kobj ) ;
651 struct sysfs_ops const *sysfs_ops ;
652 struct attribute **default_attrs ;
653 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
654 void const *(*namespace)(struct kobject *kobj ) ;
655};
656#line 116 "include/linux/kobject.h"
657struct kobj_uevent_env {
658 char *envp[32] ;
659 int envp_idx ;
660 char buf[2048] ;
661 int buflen ;
662};
663#line 123 "include/linux/kobject.h"
664struct kset_uevent_ops {
665 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
666 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
667 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
668};
669#line 140
670struct sock;
671#line 159 "include/linux/kobject.h"
672struct kset {
673 struct list_head list ;
674 spinlock_t list_lock ;
675 struct kobject kobj ;
676 struct kset_uevent_ops const *uevent_ops ;
677};
678#line 19 "include/linux/klist.h"
679struct klist_node;
680#line 19
681struct klist_node;
682#line 39 "include/linux/klist.h"
683struct klist_node {
684 void *n_klist ;
685 struct list_head n_node ;
686 struct kref n_ref ;
687};
688#line 48 "include/linux/mutex.h"
689struct mutex {
690 atomic_t count ;
691 spinlock_t wait_lock ;
692 struct list_head wait_list ;
693 struct task_struct *owner ;
694 char const *name ;
695 void *magic ;
696};
697#line 69 "include/linux/mutex.h"
698struct mutex_waiter {
699 struct list_head list ;
700 struct task_struct *task ;
701 void *magic ;
702};
703#line 119 "include/linux/seqlock.h"
704struct seqcount {
705 unsigned int sequence ;
706};
707#line 119 "include/linux/seqlock.h"
708typedef struct seqcount seqcount_t;
709#line 14 "include/linux/time.h"
710struct timespec {
711 __kernel_time_t tv_sec ;
712 long tv_nsec ;
713};
714#line 46 "include/linux/ktime.h"
715union ktime {
716 s64 tv64 ;
717};
718#line 59 "include/linux/ktime.h"
719typedef union ktime ktime_t;
720#line 10 "include/linux/timer.h"
721struct tvec_base;
722#line 10
723struct tvec_base;
724#line 12 "include/linux/timer.h"
725struct timer_list {
726 struct list_head entry ;
727 unsigned long expires ;
728 struct tvec_base *base ;
729 void (*function)(unsigned long ) ;
730 unsigned long data ;
731 int slack ;
732 int start_pid ;
733 void *start_site ;
734 char start_comm[16] ;
735};
736#line 289
737struct hrtimer;
738#line 289
739struct hrtimer;
740#line 290
741enum hrtimer_restart;
742#line 17 "include/linux/workqueue.h"
743struct work_struct;
744#line 17
745struct work_struct;
746#line 79 "include/linux/workqueue.h"
747struct work_struct {
748 atomic_long_t data ;
749 struct list_head entry ;
750 void (*func)(struct work_struct *work ) ;
751};
752#line 92 "include/linux/workqueue.h"
753struct delayed_work {
754 struct work_struct work ;
755 struct timer_list timer ;
756};
757#line 25 "include/linux/completion.h"
758struct completion {
759 unsigned int done ;
760 wait_queue_head_t wait ;
761};
762#line 42 "include/linux/pm.h"
763struct device;
764#line 50 "include/linux/pm.h"
765struct pm_message {
766 int event ;
767};
768#line 50 "include/linux/pm.h"
769typedef struct pm_message pm_message_t;
770#line 264 "include/linux/pm.h"
771struct dev_pm_ops {
772 int (*prepare)(struct device *dev ) ;
773 void (*complete)(struct device *dev ) ;
774 int (*suspend)(struct device *dev ) ;
775 int (*resume)(struct device *dev ) ;
776 int (*freeze)(struct device *dev ) ;
777 int (*thaw)(struct device *dev ) ;
778 int (*poweroff)(struct device *dev ) ;
779 int (*restore)(struct device *dev ) ;
780 int (*suspend_late)(struct device *dev ) ;
781 int (*resume_early)(struct device *dev ) ;
782 int (*freeze_late)(struct device *dev ) ;
783 int (*thaw_early)(struct device *dev ) ;
784 int (*poweroff_late)(struct device *dev ) ;
785 int (*restore_early)(struct device *dev ) ;
786 int (*suspend_noirq)(struct device *dev ) ;
787 int (*resume_noirq)(struct device *dev ) ;
788 int (*freeze_noirq)(struct device *dev ) ;
789 int (*thaw_noirq)(struct device *dev ) ;
790 int (*poweroff_noirq)(struct device *dev ) ;
791 int (*restore_noirq)(struct device *dev ) ;
792 int (*runtime_suspend)(struct device *dev ) ;
793 int (*runtime_resume)(struct device *dev ) ;
794 int (*runtime_idle)(struct device *dev ) ;
795};
796#line 458
797enum rpm_status {
798 RPM_ACTIVE = 0,
799 RPM_RESUMING = 1,
800 RPM_SUSPENDED = 2,
801 RPM_SUSPENDING = 3
802} ;
803#line 480
804enum rpm_request {
805 RPM_REQ_NONE = 0,
806 RPM_REQ_IDLE = 1,
807 RPM_REQ_SUSPEND = 2,
808 RPM_REQ_AUTOSUSPEND = 3,
809 RPM_REQ_RESUME = 4
810} ;
811#line 488
812struct wakeup_source;
813#line 488
814struct wakeup_source;
815#line 495 "include/linux/pm.h"
816struct pm_subsys_data {
817 spinlock_t lock ;
818 unsigned int refcount ;
819};
820#line 506
821struct dev_pm_qos_request;
822#line 506
823struct pm_qos_constraints;
824#line 506 "include/linux/pm.h"
825struct dev_pm_info {
826 pm_message_t power_state ;
827 unsigned int can_wakeup : 1 ;
828 unsigned int async_suspend : 1 ;
829 bool is_prepared : 1 ;
830 bool is_suspended : 1 ;
831 bool ignore_children : 1 ;
832 spinlock_t lock ;
833 struct list_head entry ;
834 struct completion completion ;
835 struct wakeup_source *wakeup ;
836 bool wakeup_path : 1 ;
837 struct timer_list suspend_timer ;
838 unsigned long timer_expires ;
839 struct work_struct work ;
840 wait_queue_head_t wait_queue ;
841 atomic_t usage_count ;
842 atomic_t child_count ;
843 unsigned int disable_depth : 3 ;
844 unsigned int idle_notification : 1 ;
845 unsigned int request_pending : 1 ;
846 unsigned int deferred_resume : 1 ;
847 unsigned int run_wake : 1 ;
848 unsigned int runtime_auto : 1 ;
849 unsigned int no_callbacks : 1 ;
850 unsigned int irq_safe : 1 ;
851 unsigned int use_autosuspend : 1 ;
852 unsigned int timer_autosuspends : 1 ;
853 enum rpm_request request ;
854 enum rpm_status runtime_status ;
855 int runtime_error ;
856 int autosuspend_delay ;
857 unsigned long last_busy ;
858 unsigned long active_jiffies ;
859 unsigned long suspended_jiffies ;
860 unsigned long accounting_timestamp ;
861 ktime_t suspend_time ;
862 s64 max_time_suspended_ns ;
863 struct dev_pm_qos_request *pq_req ;
864 struct pm_subsys_data *subsys_data ;
865 struct pm_qos_constraints *constraints ;
866};
867#line 564 "include/linux/pm.h"
868struct dev_pm_domain {
869 struct dev_pm_ops ops ;
870};
871#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
872struct dma_map_ops;
873#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
874struct dev_archdata {
875 void *acpi_handle ;
876 struct dma_map_ops *dma_ops ;
877 void *iommu ;
878};
879#line 28 "include/linux/device.h"
880struct device;
881#line 29
882struct device_private;
883#line 29
884struct device_private;
885#line 30
886struct device_driver;
887#line 30
888struct device_driver;
889#line 31
890struct driver_private;
891#line 31
892struct driver_private;
893#line 32
894struct module;
895#line 33
896struct class;
897#line 33
898struct class;
899#line 34
900struct subsys_private;
901#line 34
902struct subsys_private;
903#line 35
904struct bus_type;
905#line 35
906struct bus_type;
907#line 36
908struct device_node;
909#line 36
910struct device_node;
911#line 37
912struct iommu_ops;
913#line 37
914struct iommu_ops;
915#line 39 "include/linux/device.h"
916struct bus_attribute {
917 struct attribute attr ;
918 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
919 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
920};
921#line 89
922struct device_attribute;
923#line 89
924struct driver_attribute;
925#line 89 "include/linux/device.h"
926struct bus_type {
927 char const *name ;
928 char const *dev_name ;
929 struct device *dev_root ;
930 struct bus_attribute *bus_attrs ;
931 struct device_attribute *dev_attrs ;
932 struct driver_attribute *drv_attrs ;
933 int (*match)(struct device *dev , struct device_driver *drv ) ;
934 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
935 int (*probe)(struct device *dev ) ;
936 int (*remove)(struct device *dev ) ;
937 void (*shutdown)(struct device *dev ) ;
938 int (*suspend)(struct device *dev , pm_message_t state ) ;
939 int (*resume)(struct device *dev ) ;
940 struct dev_pm_ops const *pm ;
941 struct iommu_ops *iommu_ops ;
942 struct subsys_private *p ;
943};
944#line 127
945struct device_type;
946#line 214 "include/linux/device.h"
947struct device_driver {
948 char const *name ;
949 struct bus_type *bus ;
950 struct module *owner ;
951 char const *mod_name ;
952 bool suppress_bind_attrs ;
953 struct of_device_id const *of_match_table ;
954 int (*probe)(struct device *dev ) ;
955 int (*remove)(struct device *dev ) ;
956 void (*shutdown)(struct device *dev ) ;
957 int (*suspend)(struct device *dev , pm_message_t state ) ;
958 int (*resume)(struct device *dev ) ;
959 struct attribute_group const **groups ;
960 struct dev_pm_ops const *pm ;
961 struct driver_private *p ;
962};
963#line 249 "include/linux/device.h"
964struct driver_attribute {
965 struct attribute attr ;
966 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
967 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
968};
969#line 330
970struct class_attribute;
971#line 330 "include/linux/device.h"
972struct class {
973 char const *name ;
974 struct module *owner ;
975 struct class_attribute *class_attrs ;
976 struct device_attribute *dev_attrs ;
977 struct bin_attribute *dev_bin_attrs ;
978 struct kobject *dev_kobj ;
979 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
980 char *(*devnode)(struct device *dev , umode_t *mode ) ;
981 void (*class_release)(struct class *class ) ;
982 void (*dev_release)(struct device *dev ) ;
983 int (*suspend)(struct device *dev , pm_message_t state ) ;
984 int (*resume)(struct device *dev ) ;
985 struct kobj_ns_type_operations const *ns_type ;
986 void const *(*namespace)(struct device *dev ) ;
987 struct dev_pm_ops const *pm ;
988 struct subsys_private *p ;
989};
990#line 397 "include/linux/device.h"
991struct class_attribute {
992 struct attribute attr ;
993 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
994 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
995 size_t count ) ;
996 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
997};
998#line 465 "include/linux/device.h"
999struct device_type {
1000 char const *name ;
1001 struct attribute_group const **groups ;
1002 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1003 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1004 void (*release)(struct device *dev ) ;
1005 struct dev_pm_ops const *pm ;
1006};
1007#line 476 "include/linux/device.h"
1008struct device_attribute {
1009 struct attribute attr ;
1010 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1011 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1012 size_t count ) ;
1013};
1014#line 559 "include/linux/device.h"
1015struct device_dma_parameters {
1016 unsigned int max_segment_size ;
1017 unsigned long segment_boundary_mask ;
1018};
1019#line 627
1020struct dma_coherent_mem;
1021#line 627 "include/linux/device.h"
1022struct device {
1023 struct device *parent ;
1024 struct device_private *p ;
1025 struct kobject kobj ;
1026 char const *init_name ;
1027 struct device_type const *type ;
1028 struct mutex mutex ;
1029 struct bus_type *bus ;
1030 struct device_driver *driver ;
1031 void *platform_data ;
1032 struct dev_pm_info power ;
1033 struct dev_pm_domain *pm_domain ;
1034 int numa_node ;
1035 u64 *dma_mask ;
1036 u64 coherent_dma_mask ;
1037 struct device_dma_parameters *dma_parms ;
1038 struct list_head dma_pools ;
1039 struct dma_coherent_mem *dma_mem ;
1040 struct dev_archdata archdata ;
1041 struct device_node *of_node ;
1042 dev_t devt ;
1043 u32 id ;
1044 spinlock_t devres_lock ;
1045 struct list_head devres_head ;
1046 struct klist_node knode_class ;
1047 struct class *class ;
1048 struct attribute_group const **groups ;
1049 void (*release)(struct device *dev ) ;
1050};
1051#line 43 "include/linux/pm_wakeup.h"
1052struct wakeup_source {
1053 char const *name ;
1054 struct list_head entry ;
1055 spinlock_t lock ;
1056 struct timer_list timer ;
1057 unsigned long timer_expires ;
1058 ktime_t total_time ;
1059 ktime_t max_time ;
1060 ktime_t last_time ;
1061 unsigned long event_count ;
1062 unsigned long active_count ;
1063 unsigned long relax_count ;
1064 unsigned long hit_count ;
1065 unsigned int active : 1 ;
1066};
1067#line 71 "include/asm-generic/iomap.h"
1068struct pci_dev;
1069#line 71
1070struct pci_dev;
1071#line 14 "include/asm-generic/pci_iomap.h"
1072struct pci_dev;
1073#line 8 "include/linux/vmalloc.h"
1074struct vm_area_struct;
1075#line 25 "include/linux/io.h"
1076struct device;
1077#line 61 "include/linux/pci.h"
1078struct pci_bus;
1079#line 61
1080struct hotplug_slot;
1081#line 61 "include/linux/pci.h"
1082struct pci_slot {
1083 struct pci_bus *bus ;
1084 struct list_head list ;
1085 struct hotplug_slot *hotplug ;
1086 unsigned char number ;
1087 struct kobject kobj ;
1088};
1089#line 117 "include/linux/pci.h"
1090typedef int pci_power_t;
1091#line 143 "include/linux/pci.h"
1092typedef unsigned int pci_channel_state_t;
1093#line 145
1094enum pci_channel_state {
1095 pci_channel_io_normal = 1,
1096 pci_channel_io_frozen = 2,
1097 pci_channel_io_perm_failure = 3
1098} ;
1099#line 169 "include/linux/pci.h"
1100typedef unsigned short pci_dev_flags_t;
1101#line 186 "include/linux/pci.h"
1102typedef unsigned short pci_bus_flags_t;
1103#line 230
1104struct pcie_link_state;
1105#line 230
1106struct pcie_link_state;
1107#line 231
1108struct pci_vpd;
1109#line 231
1110struct pci_vpd;
1111#line 232
1112struct pci_sriov;
1113#line 232
1114struct pci_sriov;
1115#line 233
1116struct pci_ats;
1117#line 233
1118struct pci_ats;
1119#line 238
1120struct proc_dir_entry;
1121#line 238
1122struct pci_driver;
1123#line 238 "include/linux/pci.h"
1124union __anonunion____missing_field_name_68 {
1125 struct pci_sriov *sriov ;
1126 struct pci_dev *physfn ;
1127};
1128#line 238 "include/linux/pci.h"
1129struct pci_dev {
1130 struct list_head bus_list ;
1131 struct pci_bus *bus ;
1132 struct pci_bus *subordinate ;
1133 void *sysdata ;
1134 struct proc_dir_entry *procent ;
1135 struct pci_slot *slot ;
1136 unsigned int devfn ;
1137 unsigned short vendor ;
1138 unsigned short device ;
1139 unsigned short subsystem_vendor ;
1140 unsigned short subsystem_device ;
1141 unsigned int class ;
1142 u8 revision ;
1143 u8 hdr_type ;
1144 u8 pcie_cap ;
1145 u8 pcie_type : 4 ;
1146 u8 pcie_mpss : 3 ;
1147 u8 rom_base_reg ;
1148 u8 pin ;
1149 struct pci_driver *driver ;
1150 u64 dma_mask ;
1151 struct device_dma_parameters dma_parms ;
1152 pci_power_t current_state ;
1153 int pm_cap ;
1154 unsigned int pme_support : 5 ;
1155 unsigned int pme_interrupt : 1 ;
1156 unsigned int pme_poll : 1 ;
1157 unsigned int d1_support : 1 ;
1158 unsigned int d2_support : 1 ;
1159 unsigned int no_d1d2 : 1 ;
1160 unsigned int mmio_always_on : 1 ;
1161 unsigned int wakeup_prepared : 1 ;
1162 unsigned int d3_delay ;
1163 struct pcie_link_state *link_state ;
1164 pci_channel_state_t error_state ;
1165 struct device dev ;
1166 int cfg_size ;
1167 unsigned int irq ;
1168 struct resource resource[17] ;
1169 unsigned int transparent : 1 ;
1170 unsigned int multifunction : 1 ;
1171 unsigned int is_added : 1 ;
1172 unsigned int is_busmaster : 1 ;
1173 unsigned int no_msi : 1 ;
1174 unsigned int block_cfg_access : 1 ;
1175 unsigned int broken_parity_status : 1 ;
1176 unsigned int irq_reroute_variant : 2 ;
1177 unsigned int msi_enabled : 1 ;
1178 unsigned int msix_enabled : 1 ;
1179 unsigned int ari_enabled : 1 ;
1180 unsigned int is_managed : 1 ;
1181 unsigned int is_pcie : 1 ;
1182 unsigned int needs_freset : 1 ;
1183 unsigned int state_saved : 1 ;
1184 unsigned int is_physfn : 1 ;
1185 unsigned int is_virtfn : 1 ;
1186 unsigned int reset_fn : 1 ;
1187 unsigned int is_hotplug_bridge : 1 ;
1188 unsigned int __aer_firmware_first_valid : 1 ;
1189 unsigned int __aer_firmware_first : 1 ;
1190 pci_dev_flags_t dev_flags ;
1191 atomic_t enable_cnt ;
1192 u32 saved_config_space[16] ;
1193 struct hlist_head saved_cap_space ;
1194 struct bin_attribute *rom_attr ;
1195 int rom_attr_enabled ;
1196 struct bin_attribute *res_attr[17] ;
1197 struct bin_attribute *res_attr_wc[17] ;
1198 struct list_head msi_list ;
1199 struct kset *msi_kset ;
1200 struct pci_vpd *vpd ;
1201 union __anonunion____missing_field_name_68 __annonCompField30 ;
1202 struct pci_ats *ats ;
1203};
1204#line 406
1205struct pci_ops;
1206#line 406 "include/linux/pci.h"
1207struct pci_bus {
1208 struct list_head node ;
1209 struct pci_bus *parent ;
1210 struct list_head children ;
1211 struct list_head devices ;
1212 struct pci_dev *self ;
1213 struct list_head slots ;
1214 struct resource *resource[4] ;
1215 struct list_head resources ;
1216 struct pci_ops *ops ;
1217 void *sysdata ;
1218 struct proc_dir_entry *procdir ;
1219 unsigned char number ;
1220 unsigned char primary ;
1221 unsigned char secondary ;
1222 unsigned char subordinate ;
1223 unsigned char max_bus_speed ;
1224 unsigned char cur_bus_speed ;
1225 char name[48] ;
1226 unsigned short bridge_ctl ;
1227 pci_bus_flags_t bus_flags ;
1228 struct device *bridge ;
1229 struct device dev ;
1230 struct bin_attribute *legacy_io ;
1231 struct bin_attribute *legacy_mem ;
1232 unsigned int is_added : 1 ;
1233};
1234#line 472 "include/linux/pci.h"
1235struct pci_ops {
1236 int (*read)(struct pci_bus *bus , unsigned int devfn , int where , int size , u32 *val ) ;
1237 int (*write)(struct pci_bus *bus , unsigned int devfn , int where , int size ,
1238 u32 val ) ;
1239};
1240#line 491 "include/linux/pci.h"
1241struct pci_dynids {
1242 spinlock_t lock ;
1243 struct list_head list ;
1244};
1245#line 503 "include/linux/pci.h"
1246typedef unsigned int pci_ers_result_t;
1247#line 523 "include/linux/pci.h"
1248struct pci_error_handlers {
1249 pci_ers_result_t (*error_detected)(struct pci_dev *dev , enum pci_channel_state error ) ;
1250 pci_ers_result_t (*mmio_enabled)(struct pci_dev *dev ) ;
1251 pci_ers_result_t (*link_reset)(struct pci_dev *dev ) ;
1252 pci_ers_result_t (*slot_reset)(struct pci_dev *dev ) ;
1253 void (*resume)(struct pci_dev *dev ) ;
1254};
1255#line 543
1256struct module;
1257#line 544 "include/linux/pci.h"
1258struct pci_driver {
1259 struct list_head node ;
1260 char const *name ;
1261 struct pci_device_id const *id_table ;
1262 int (*probe)(struct pci_dev *dev , struct pci_device_id const *id ) ;
1263 void (*remove)(struct pci_dev *dev ) ;
1264 int (*suspend)(struct pci_dev *dev , pm_message_t state ) ;
1265 int (*suspend_late)(struct pci_dev *dev , pm_message_t state ) ;
1266 int (*resume_early)(struct pci_dev *dev ) ;
1267 int (*resume)(struct pci_dev *dev ) ;
1268 void (*shutdown)(struct pci_dev *dev ) ;
1269 struct pci_error_handlers *err_handler ;
1270 struct device_driver driver ;
1271 struct pci_dynids dynids ;
1272};
1273#line 6 "include/asm-generic/scatterlist.h"
1274struct scatterlist {
1275 unsigned long sg_magic ;
1276 unsigned long page_link ;
1277 unsigned int offset ;
1278 unsigned int length ;
1279 dma_addr_t dma_address ;
1280 unsigned int dma_length ;
1281};
1282#line 98 "include/linux/nodemask.h"
1283struct __anonstruct_nodemask_t_69 {
1284 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1285};
1286#line 98 "include/linux/nodemask.h"
1287typedef struct __anonstruct_nodemask_t_69 nodemask_t;
1288#line 60 "include/linux/pageblock-flags.h"
1289struct page;
1290#line 19 "include/linux/rwsem.h"
1291struct rw_semaphore;
1292#line 19
1293struct rw_semaphore;
1294#line 25 "include/linux/rwsem.h"
1295struct rw_semaphore {
1296 long count ;
1297 raw_spinlock_t wait_lock ;
1298 struct list_head wait_list ;
1299};
1300#line 9 "include/linux/memory_hotplug.h"
1301struct page;
1302#line 182 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
1303struct pci_dev;
1304#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
1305struct device;
1306#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/topology.h"
1307struct pci_bus;
1308#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1309struct __anonstruct_mm_context_t_137 {
1310 void *ldt ;
1311 int size ;
1312 unsigned short ia32_compat ;
1313 struct mutex lock ;
1314 void *vdso ;
1315};
1316#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
1317typedef struct __anonstruct_mm_context_t_137 mm_context_t;
1318#line 994 "include/linux/mmzone.h"
1319struct page;
1320#line 10 "include/linux/gfp.h"
1321struct vm_area_struct;
1322#line 100 "include/linux/rbtree.h"
1323struct rb_node {
1324 unsigned long rb_parent_color ;
1325 struct rb_node *rb_right ;
1326 struct rb_node *rb_left ;
1327} __attribute__((__aligned__(sizeof(long )))) ;
1328#line 110 "include/linux/rbtree.h"
1329struct rb_root {
1330 struct rb_node *rb_node ;
1331};
1332#line 14 "include/linux/prio_tree.h"
1333struct prio_tree_node;
1334#line 14 "include/linux/prio_tree.h"
1335struct raw_prio_tree_node {
1336 struct prio_tree_node *left ;
1337 struct prio_tree_node *right ;
1338 struct prio_tree_node *parent ;
1339};
1340#line 20 "include/linux/prio_tree.h"
1341struct prio_tree_node {
1342 struct prio_tree_node *left ;
1343 struct prio_tree_node *right ;
1344 struct prio_tree_node *parent ;
1345 unsigned long start ;
1346 unsigned long last ;
1347};
1348#line 28 "include/linux/prio_tree.h"
1349struct prio_tree_root {
1350 struct prio_tree_node *prio_tree_node ;
1351 unsigned short index_bits ;
1352 unsigned short raw ;
1353};
1354#line 8 "include/linux/debug_locks.h"
1355struct task_struct;
1356#line 48
1357struct task_struct;
1358#line 23 "include/linux/mm_types.h"
1359struct address_space;
1360#line 23
1361struct address_space;
1362#line 40 "include/linux/mm_types.h"
1363union __anonunion____missing_field_name_143 {
1364 unsigned long index ;
1365 void *freelist ;
1366};
1367#line 40 "include/linux/mm_types.h"
1368struct __anonstruct____missing_field_name_147 {
1369 unsigned int inuse : 16 ;
1370 unsigned int objects : 15 ;
1371 unsigned int frozen : 1 ;
1372};
1373#line 40 "include/linux/mm_types.h"
1374union __anonunion____missing_field_name_146 {
1375 atomic_t _mapcount ;
1376 struct __anonstruct____missing_field_name_147 __annonCompField32 ;
1377};
1378#line 40 "include/linux/mm_types.h"
1379struct __anonstruct____missing_field_name_145 {
1380 union __anonunion____missing_field_name_146 __annonCompField33 ;
1381 atomic_t _count ;
1382};
1383#line 40 "include/linux/mm_types.h"
1384union __anonunion____missing_field_name_144 {
1385 unsigned long counters ;
1386 struct __anonstruct____missing_field_name_145 __annonCompField34 ;
1387};
1388#line 40 "include/linux/mm_types.h"
1389struct __anonstruct____missing_field_name_142 {
1390 union __anonunion____missing_field_name_143 __annonCompField31 ;
1391 union __anonunion____missing_field_name_144 __annonCompField35 ;
1392};
1393#line 40 "include/linux/mm_types.h"
1394struct __anonstruct____missing_field_name_149 {
1395 struct page *next ;
1396 int pages ;
1397 int pobjects ;
1398};
1399#line 40 "include/linux/mm_types.h"
1400union __anonunion____missing_field_name_148 {
1401 struct list_head lru ;
1402 struct __anonstruct____missing_field_name_149 __annonCompField37 ;
1403};
1404#line 40 "include/linux/mm_types.h"
1405union __anonunion____missing_field_name_150 {
1406 unsigned long private ;
1407 struct kmem_cache *slab ;
1408 struct page *first_page ;
1409};
1410#line 40 "include/linux/mm_types.h"
1411struct page {
1412 unsigned long flags ;
1413 struct address_space *mapping ;
1414 struct __anonstruct____missing_field_name_142 __annonCompField36 ;
1415 union __anonunion____missing_field_name_148 __annonCompField38 ;
1416 union __anonunion____missing_field_name_150 __annonCompField39 ;
1417 unsigned long debug_flags ;
1418} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1419#line 200 "include/linux/mm_types.h"
1420struct __anonstruct_vm_set_152 {
1421 struct list_head list ;
1422 void *parent ;
1423 struct vm_area_struct *head ;
1424};
1425#line 200 "include/linux/mm_types.h"
1426union __anonunion_shared_151 {
1427 struct __anonstruct_vm_set_152 vm_set ;
1428 struct raw_prio_tree_node prio_tree_node ;
1429};
1430#line 200
1431struct anon_vma;
1432#line 200
1433struct vm_operations_struct;
1434#line 200
1435struct mempolicy;
1436#line 200 "include/linux/mm_types.h"
1437struct vm_area_struct {
1438 struct mm_struct *vm_mm ;
1439 unsigned long vm_start ;
1440 unsigned long vm_end ;
1441 struct vm_area_struct *vm_next ;
1442 struct vm_area_struct *vm_prev ;
1443 pgprot_t vm_page_prot ;
1444 unsigned long vm_flags ;
1445 struct rb_node vm_rb ;
1446 union __anonunion_shared_151 shared ;
1447 struct list_head anon_vma_chain ;
1448 struct anon_vma *anon_vma ;
1449 struct vm_operations_struct const *vm_ops ;
1450 unsigned long vm_pgoff ;
1451 struct file *vm_file ;
1452 void *vm_private_data ;
1453 struct mempolicy *vm_policy ;
1454};
1455#line 257 "include/linux/mm_types.h"
1456struct core_thread {
1457 struct task_struct *task ;
1458 struct core_thread *next ;
1459};
1460#line 262 "include/linux/mm_types.h"
1461struct core_state {
1462 atomic_t nr_threads ;
1463 struct core_thread dumper ;
1464 struct completion startup ;
1465};
1466#line 284 "include/linux/mm_types.h"
1467struct mm_rss_stat {
1468 atomic_long_t count[3] ;
1469};
1470#line 288
1471struct linux_binfmt;
1472#line 288
1473struct mmu_notifier_mm;
1474#line 288 "include/linux/mm_types.h"
1475struct mm_struct {
1476 struct vm_area_struct *mmap ;
1477 struct rb_root mm_rb ;
1478 struct vm_area_struct *mmap_cache ;
1479 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1480 unsigned long pgoff , unsigned long flags ) ;
1481 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1482 unsigned long mmap_base ;
1483 unsigned long task_size ;
1484 unsigned long cached_hole_size ;
1485 unsigned long free_area_cache ;
1486 pgd_t *pgd ;
1487 atomic_t mm_users ;
1488 atomic_t mm_count ;
1489 int map_count ;
1490 spinlock_t page_table_lock ;
1491 struct rw_semaphore mmap_sem ;
1492 struct list_head mmlist ;
1493 unsigned long hiwater_rss ;
1494 unsigned long hiwater_vm ;
1495 unsigned long total_vm ;
1496 unsigned long locked_vm ;
1497 unsigned long pinned_vm ;
1498 unsigned long shared_vm ;
1499 unsigned long exec_vm ;
1500 unsigned long stack_vm ;
1501 unsigned long reserved_vm ;
1502 unsigned long def_flags ;
1503 unsigned long nr_ptes ;
1504 unsigned long start_code ;
1505 unsigned long end_code ;
1506 unsigned long start_data ;
1507 unsigned long end_data ;
1508 unsigned long start_brk ;
1509 unsigned long brk ;
1510 unsigned long start_stack ;
1511 unsigned long arg_start ;
1512 unsigned long arg_end ;
1513 unsigned long env_start ;
1514 unsigned long env_end ;
1515 unsigned long saved_auxv[44] ;
1516 struct mm_rss_stat rss_stat ;
1517 struct linux_binfmt *binfmt ;
1518 cpumask_var_t cpu_vm_mask_var ;
1519 mm_context_t context ;
1520 unsigned int faultstamp ;
1521 unsigned int token_priority ;
1522 unsigned int last_interval ;
1523 unsigned long flags ;
1524 struct core_state *core_state ;
1525 spinlock_t ioctx_lock ;
1526 struct hlist_head ioctx_list ;
1527 struct task_struct *owner ;
1528 struct file *exe_file ;
1529 unsigned long num_exe_file_vmas ;
1530 struct mmu_notifier_mm *mmu_notifier_mm ;
1531 pgtable_t pmd_huge_pte ;
1532 struct cpumask cpumask_allocation ;
1533};
1534#line 8 "include/linux/shrinker.h"
1535struct shrink_control {
1536 gfp_t gfp_mask ;
1537 unsigned long nr_to_scan ;
1538};
1539#line 31 "include/linux/shrinker.h"
1540struct shrinker {
1541 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1542 int seeks ;
1543 long batch ;
1544 struct list_head list ;
1545 atomic_long_t nr_in_batch ;
1546};
1547#line 22 "include/linux/mm.h"
1548struct mempolicy;
1549#line 23
1550struct anon_vma;
1551#line 24
1552struct file_ra_state;
1553#line 24
1554struct file_ra_state;
1555#line 25
1556struct user_struct;
1557#line 25
1558struct user_struct;
1559#line 26
1560struct writeback_control;
1561#line 26
1562struct writeback_control;
1563#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1564struct mm_struct;
1565#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1566struct vm_area_struct;
1567#line 188 "include/linux/mm.h"
1568struct vm_fault {
1569 unsigned int flags ;
1570 unsigned long pgoff ;
1571 void *virtual_address ;
1572 struct page *page ;
1573};
1574#line 205 "include/linux/mm.h"
1575struct vm_operations_struct {
1576 void (*open)(struct vm_area_struct *area ) ;
1577 void (*close)(struct vm_area_struct *area ) ;
1578 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1579 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1580 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1581 int write ) ;
1582 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1583 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1584 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
1585 unsigned long flags ) ;
1586};
1587#line 247
1588struct inode;
1589#line 247
1590struct inode;
1591#line 195 "include/linux/page-flags.h"
1592struct page;
1593#line 46 "include/linux/slub_def.h"
1594struct kmem_cache_cpu {
1595 void **freelist ;
1596 unsigned long tid ;
1597 struct page *page ;
1598 struct page *partial ;
1599 int node ;
1600 unsigned int stat[26] ;
1601};
1602#line 57 "include/linux/slub_def.h"
1603struct kmem_cache_node {
1604 spinlock_t list_lock ;
1605 unsigned long nr_partial ;
1606 struct list_head partial ;
1607 atomic_long_t nr_slabs ;
1608 atomic_long_t total_objects ;
1609 struct list_head full ;
1610};
1611#line 73 "include/linux/slub_def.h"
1612struct kmem_cache_order_objects {
1613 unsigned long x ;
1614};
1615#line 80 "include/linux/slub_def.h"
1616struct kmem_cache {
1617 struct kmem_cache_cpu *cpu_slab ;
1618 unsigned long flags ;
1619 unsigned long min_partial ;
1620 int size ;
1621 int objsize ;
1622 int offset ;
1623 int cpu_partial ;
1624 struct kmem_cache_order_objects oo ;
1625 struct kmem_cache_order_objects max ;
1626 struct kmem_cache_order_objects min ;
1627 gfp_t allocflags ;
1628 int refcount ;
1629 void (*ctor)(void * ) ;
1630 int inuse ;
1631 int align ;
1632 int reserved ;
1633 char const *name ;
1634 struct list_head list ;
1635 struct kobject kobj ;
1636 int remote_node_defrag_ratio ;
1637 struct kmem_cache_node *node[1 << 10] ;
1638};
1639#line 27 "include/linux/dma-attrs.h"
1640struct dma_attrs {
1641 unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
1642};
1643#line 7 "include/linux/dma-direction.h"
1644enum dma_data_direction {
1645 DMA_BIDIRECTIONAL = 0,
1646 DMA_TO_DEVICE = 1,
1647 DMA_FROM_DEVICE = 2,
1648 DMA_NONE = 3
1649} ;
1650#line 11 "include/linux/dma-mapping.h"
1651struct dma_map_ops {
1652 void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
1653 struct dma_attrs *attrs ) ;
1654 void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
1655 struct dma_attrs *attrs ) ;
1656 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1657 size_t , struct dma_attrs *attrs ) ;
1658 dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
1659 size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
1660 void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
1661 struct dma_attrs *attrs ) ;
1662 int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1663 struct dma_attrs *attrs ) ;
1664 void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
1665 struct dma_attrs *attrs ) ;
1666 void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1667 enum dma_data_direction dir ) ;
1668 void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
1669 enum dma_data_direction dir ) ;
1670 void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
1671 enum dma_data_direction dir ) ;
1672 void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
1673 enum dma_data_direction dir ) ;
1674 int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
1675 int (*dma_supported)(struct device *dev , u64 mask ) ;
1676 int (*set_dma_mask)(struct device *dev , u64 mask ) ;
1677 int is_phys ;
1678};
1679#line 25 "include/linux/dma-debug.h"
1680struct device;
1681#line 26
1682struct scatterlist;
1683#line 27
1684struct bus_type;
1685#line 6 "include/linux/swiotlb.h"
1686struct device;
1687#line 7
1688struct dma_attrs;
1689#line 8
1690struct scatterlist;
1691#line 62 "include/linux/stat.h"
1692struct kstat {
1693 u64 ino ;
1694 dev_t dev ;
1695 umode_t mode ;
1696 unsigned int nlink ;
1697 uid_t uid ;
1698 gid_t gid ;
1699 dev_t rdev ;
1700 loff_t size ;
1701 struct timespec atime ;
1702 struct timespec mtime ;
1703 struct timespec ctime ;
1704 unsigned long blksize ;
1705 unsigned long long blocks ;
1706};
1707#line 29 "include/linux/sysctl.h"
1708struct completion;
1709#line 939
1710struct nsproxy;
1711#line 939
1712struct nsproxy;
1713#line 48 "include/linux/kmod.h"
1714struct cred;
1715#line 48
1716struct cred;
1717#line 49
1718struct file;
1719#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
1720struct task_struct;
1721#line 18 "include/linux/elf.h"
1722typedef __u64 Elf64_Addr;
1723#line 19 "include/linux/elf.h"
1724typedef __u16 Elf64_Half;
1725#line 23 "include/linux/elf.h"
1726typedef __u32 Elf64_Word;
1727#line 24 "include/linux/elf.h"
1728typedef __u64 Elf64_Xword;
1729#line 194 "include/linux/elf.h"
1730struct elf64_sym {
1731 Elf64_Word st_name ;
1732 unsigned char st_info ;
1733 unsigned char st_other ;
1734 Elf64_Half st_shndx ;
1735 Elf64_Addr st_value ;
1736 Elf64_Xword st_size ;
1737};
1738#line 194 "include/linux/elf.h"
1739typedef struct elf64_sym Elf64_Sym;
1740#line 438
1741struct file;
1742#line 39 "include/linux/moduleparam.h"
1743struct kernel_param;
1744#line 39
1745struct kernel_param;
1746#line 41 "include/linux/moduleparam.h"
1747struct kernel_param_ops {
1748 int (*set)(char const *val , struct kernel_param const *kp ) ;
1749 int (*get)(char *buffer , struct kernel_param const *kp ) ;
1750 void (*free)(void *arg ) ;
1751};
1752#line 50
1753struct kparam_string;
1754#line 50
1755struct kparam_array;
1756#line 50 "include/linux/moduleparam.h"
1757union __anonunion____missing_field_name_214 {
1758 void *arg ;
1759 struct kparam_string const *str ;
1760 struct kparam_array const *arr ;
1761};
1762#line 50 "include/linux/moduleparam.h"
1763struct kernel_param {
1764 char const *name ;
1765 struct kernel_param_ops const *ops ;
1766 u16 perm ;
1767 s16 level ;
1768 union __anonunion____missing_field_name_214 __annonCompField42 ;
1769};
1770#line 63 "include/linux/moduleparam.h"
1771struct kparam_string {
1772 unsigned int maxlen ;
1773 char *string ;
1774};
1775#line 69 "include/linux/moduleparam.h"
1776struct kparam_array {
1777 unsigned int max ;
1778 unsigned int elemsize ;
1779 unsigned int *num ;
1780 struct kernel_param_ops const *ops ;
1781 void *elem ;
1782};
1783#line 445
1784struct module;
1785#line 80 "include/linux/jump_label.h"
1786struct module;
1787#line 143 "include/linux/jump_label.h"
1788struct static_key {
1789 atomic_t enabled ;
1790};
1791#line 22 "include/linux/tracepoint.h"
1792struct module;
1793#line 23
1794struct tracepoint;
1795#line 23
1796struct tracepoint;
1797#line 25 "include/linux/tracepoint.h"
1798struct tracepoint_func {
1799 void *func ;
1800 void *data ;
1801};
1802#line 30 "include/linux/tracepoint.h"
1803struct tracepoint {
1804 char const *name ;
1805 struct static_key key ;
1806 void (*regfunc)(void) ;
1807 void (*unregfunc)(void) ;
1808 struct tracepoint_func *funcs ;
1809};
1810#line 19 "include/linux/export.h"
1811struct kernel_symbol {
1812 unsigned long value ;
1813 char const *name ;
1814};
1815#line 8 "include/asm-generic/module.h"
1816struct mod_arch_specific {
1817
1818};
1819#line 35 "include/linux/module.h"
1820struct module;
1821#line 37
1822struct module_param_attrs;
1823#line 37 "include/linux/module.h"
1824struct module_kobject {
1825 struct kobject kobj ;
1826 struct module *mod ;
1827 struct kobject *drivers_dir ;
1828 struct module_param_attrs *mp ;
1829};
1830#line 44 "include/linux/module.h"
1831struct module_attribute {
1832 struct attribute attr ;
1833 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1834 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1835 size_t count ) ;
1836 void (*setup)(struct module * , char const * ) ;
1837 int (*test)(struct module * ) ;
1838 void (*free)(struct module * ) ;
1839};
1840#line 71
1841struct exception_table_entry;
1842#line 71
1843struct exception_table_entry;
1844#line 199
1845enum module_state {
1846 MODULE_STATE_LIVE = 0,
1847 MODULE_STATE_COMING = 1,
1848 MODULE_STATE_GOING = 2
1849} ;
1850#line 215 "include/linux/module.h"
1851struct module_ref {
1852 unsigned long incs ;
1853 unsigned long decs ;
1854} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1855#line 220
1856struct module_sect_attrs;
1857#line 220
1858struct module_notes_attrs;
1859#line 220
1860struct ftrace_event_call;
1861#line 220 "include/linux/module.h"
1862struct module {
1863 enum module_state state ;
1864 struct list_head list ;
1865 char name[64UL - sizeof(unsigned long )] ;
1866 struct module_kobject mkobj ;
1867 struct module_attribute *modinfo_attrs ;
1868 char const *version ;
1869 char const *srcversion ;
1870 struct kobject *holders_dir ;
1871 struct kernel_symbol const *syms ;
1872 unsigned long const *crcs ;
1873 unsigned int num_syms ;
1874 struct kernel_param *kp ;
1875 unsigned int num_kp ;
1876 unsigned int num_gpl_syms ;
1877 struct kernel_symbol const *gpl_syms ;
1878 unsigned long const *gpl_crcs ;
1879 struct kernel_symbol const *unused_syms ;
1880 unsigned long const *unused_crcs ;
1881 unsigned int num_unused_syms ;
1882 unsigned int num_unused_gpl_syms ;
1883 struct kernel_symbol const *unused_gpl_syms ;
1884 unsigned long const *unused_gpl_crcs ;
1885 struct kernel_symbol const *gpl_future_syms ;
1886 unsigned long const *gpl_future_crcs ;
1887 unsigned int num_gpl_future_syms ;
1888 unsigned int num_exentries ;
1889 struct exception_table_entry *extable ;
1890 int (*init)(void) ;
1891 void *module_init ;
1892 void *module_core ;
1893 unsigned int init_size ;
1894 unsigned int core_size ;
1895 unsigned int init_text_size ;
1896 unsigned int core_text_size ;
1897 unsigned int init_ro_size ;
1898 unsigned int core_ro_size ;
1899 struct mod_arch_specific arch ;
1900 unsigned int taints ;
1901 unsigned int num_bugs ;
1902 struct list_head bug_list ;
1903 struct bug_entry *bug_table ;
1904 Elf64_Sym *symtab ;
1905 Elf64_Sym *core_symtab ;
1906 unsigned int num_symtab ;
1907 unsigned int core_num_syms ;
1908 char *strtab ;
1909 char *core_strtab ;
1910 struct module_sect_attrs *sect_attrs ;
1911 struct module_notes_attrs *notes_attrs ;
1912 char *args ;
1913 void *percpu ;
1914 unsigned int percpu_size ;
1915 unsigned int num_tracepoints ;
1916 struct tracepoint * const *tracepoints_ptrs ;
1917 unsigned int num_trace_bprintk_fmt ;
1918 char const **trace_bprintk_fmt_start ;
1919 struct ftrace_event_call **trace_events ;
1920 unsigned int num_trace_events ;
1921 struct list_head source_list ;
1922 struct list_head target_list ;
1923 struct task_struct *waiter ;
1924 void (*exit)(void) ;
1925 struct module_ref *refptr ;
1926 ctor_fn_t *ctors ;
1927 unsigned int num_ctors ;
1928};
1929#line 18 "include/linux/capability.h"
1930struct task_struct;
1931#line 94 "include/linux/capability.h"
1932struct kernel_cap_struct {
1933 __u32 cap[2] ;
1934};
1935#line 94 "include/linux/capability.h"
1936typedef struct kernel_cap_struct kernel_cap_t;
1937#line 377
1938struct dentry;
1939#line 377
1940struct dentry;
1941#line 378
1942struct user_namespace;
1943#line 378
1944struct user_namespace;
1945#line 7 "include/asm-generic/cputime.h"
1946typedef unsigned long cputime_t;
1947#line 84 "include/linux/sem.h"
1948struct task_struct;
1949#line 101
1950struct sem_undo_list;
1951#line 101 "include/linux/sem.h"
1952struct sysv_sem {
1953 struct sem_undo_list *undo_list ;
1954};
1955#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1956struct siginfo;
1957#line 10
1958struct siginfo;
1959#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1960struct __anonstruct_sigset_t_217 {
1961 unsigned long sig[1] ;
1962};
1963#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1964typedef struct __anonstruct_sigset_t_217 sigset_t;
1965#line 17 "include/asm-generic/signal-defs.h"
1966typedef void __signalfn_t(int );
1967#line 18 "include/asm-generic/signal-defs.h"
1968typedef __signalfn_t *__sighandler_t;
1969#line 20 "include/asm-generic/signal-defs.h"
1970typedef void __restorefn_t(void);
1971#line 21 "include/asm-generic/signal-defs.h"
1972typedef __restorefn_t *__sigrestore_t;
1973#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1974struct sigaction {
1975 __sighandler_t sa_handler ;
1976 unsigned long sa_flags ;
1977 __sigrestore_t sa_restorer ;
1978 sigset_t sa_mask ;
1979};
1980#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1981struct k_sigaction {
1982 struct sigaction sa ;
1983};
1984#line 7 "include/asm-generic/siginfo.h"
1985union sigval {
1986 int sival_int ;
1987 void *sival_ptr ;
1988};
1989#line 7 "include/asm-generic/siginfo.h"
1990typedef union sigval sigval_t;
1991#line 48 "include/asm-generic/siginfo.h"
1992struct __anonstruct__kill_219 {
1993 __kernel_pid_t _pid ;
1994 __kernel_uid32_t _uid ;
1995};
1996#line 48 "include/asm-generic/siginfo.h"
1997struct __anonstruct__timer_220 {
1998 __kernel_timer_t _tid ;
1999 int _overrun ;
2000 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2001 sigval_t _sigval ;
2002 int _sys_private ;
2003};
2004#line 48 "include/asm-generic/siginfo.h"
2005struct __anonstruct__rt_221 {
2006 __kernel_pid_t _pid ;
2007 __kernel_uid32_t _uid ;
2008 sigval_t _sigval ;
2009};
2010#line 48 "include/asm-generic/siginfo.h"
2011struct __anonstruct__sigchld_222 {
2012 __kernel_pid_t _pid ;
2013 __kernel_uid32_t _uid ;
2014 int _status ;
2015 __kernel_clock_t _utime ;
2016 __kernel_clock_t _stime ;
2017};
2018#line 48 "include/asm-generic/siginfo.h"
2019struct __anonstruct__sigfault_223 {
2020 void *_addr ;
2021 short _addr_lsb ;
2022};
2023#line 48 "include/asm-generic/siginfo.h"
2024struct __anonstruct__sigpoll_224 {
2025 long _band ;
2026 int _fd ;
2027};
2028#line 48 "include/asm-generic/siginfo.h"
2029union __anonunion__sifields_218 {
2030 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2031 struct __anonstruct__kill_219 _kill ;
2032 struct __anonstruct__timer_220 _timer ;
2033 struct __anonstruct__rt_221 _rt ;
2034 struct __anonstruct__sigchld_222 _sigchld ;
2035 struct __anonstruct__sigfault_223 _sigfault ;
2036 struct __anonstruct__sigpoll_224 _sigpoll ;
2037};
2038#line 48 "include/asm-generic/siginfo.h"
2039struct siginfo {
2040 int si_signo ;
2041 int si_errno ;
2042 int si_code ;
2043 union __anonunion__sifields_218 _sifields ;
2044};
2045#line 48 "include/asm-generic/siginfo.h"
2046typedef struct siginfo siginfo_t;
2047#line 288
2048struct siginfo;
2049#line 10 "include/linux/signal.h"
2050struct task_struct;
2051#line 28 "include/linux/signal.h"
2052struct sigpending {
2053 struct list_head list ;
2054 sigset_t signal ;
2055};
2056#line 239
2057struct timespec;
2058#line 240
2059struct pt_regs;
2060#line 6 "include/linux/pid.h"
2061enum pid_type {
2062 PIDTYPE_PID = 0,
2063 PIDTYPE_PGID = 1,
2064 PIDTYPE_SID = 2,
2065 PIDTYPE_MAX = 3
2066} ;
2067#line 50
2068struct pid_namespace;
2069#line 50 "include/linux/pid.h"
2070struct upid {
2071 int nr ;
2072 struct pid_namespace *ns ;
2073 struct hlist_node pid_chain ;
2074};
2075#line 57 "include/linux/pid.h"
2076struct pid {
2077 atomic_t count ;
2078 unsigned int level ;
2079 struct hlist_head tasks[3] ;
2080 struct rcu_head rcu ;
2081 struct upid numbers[1] ;
2082};
2083#line 69 "include/linux/pid.h"
2084struct pid_link {
2085 struct hlist_node node ;
2086 struct pid *pid ;
2087};
2088#line 100
2089struct pid_namespace;
2090#line 10 "include/linux/seccomp.h"
2091struct __anonstruct_seccomp_t_227 {
2092 int mode ;
2093};
2094#line 10 "include/linux/seccomp.h"
2095typedef struct __anonstruct_seccomp_t_227 seccomp_t;
2096#line 81 "include/linux/plist.h"
2097struct plist_head {
2098 struct list_head node_list ;
2099};
2100#line 85 "include/linux/plist.h"
2101struct plist_node {
2102 int prio ;
2103 struct list_head prio_list ;
2104 struct list_head node_list ;
2105};
2106#line 40 "include/linux/rtmutex.h"
2107struct rt_mutex_waiter;
2108#line 40
2109struct rt_mutex_waiter;
2110#line 42 "include/linux/resource.h"
2111struct rlimit {
2112 unsigned long rlim_cur ;
2113 unsigned long rlim_max ;
2114};
2115#line 81
2116struct task_struct;
2117#line 8 "include/linux/timerqueue.h"
2118struct timerqueue_node {
2119 struct rb_node node ;
2120 ktime_t expires ;
2121};
2122#line 13 "include/linux/timerqueue.h"
2123struct timerqueue_head {
2124 struct rb_root head ;
2125 struct timerqueue_node *next ;
2126};
2127#line 27 "include/linux/hrtimer.h"
2128struct hrtimer_clock_base;
2129#line 27
2130struct hrtimer_clock_base;
2131#line 28
2132struct hrtimer_cpu_base;
2133#line 28
2134struct hrtimer_cpu_base;
2135#line 44
2136enum hrtimer_restart {
2137 HRTIMER_NORESTART = 0,
2138 HRTIMER_RESTART = 1
2139} ;
2140#line 108 "include/linux/hrtimer.h"
2141struct hrtimer {
2142 struct timerqueue_node node ;
2143 ktime_t _softexpires ;
2144 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2145 struct hrtimer_clock_base *base ;
2146 unsigned long state ;
2147 int start_pid ;
2148 void *start_site ;
2149 char start_comm[16] ;
2150};
2151#line 145 "include/linux/hrtimer.h"
2152struct hrtimer_clock_base {
2153 struct hrtimer_cpu_base *cpu_base ;
2154 int index ;
2155 clockid_t clockid ;
2156 struct timerqueue_head active ;
2157 ktime_t resolution ;
2158 ktime_t (*get_time)(void) ;
2159 ktime_t softirq_time ;
2160 ktime_t offset ;
2161};
2162#line 178 "include/linux/hrtimer.h"
2163struct hrtimer_cpu_base {
2164 raw_spinlock_t lock ;
2165 unsigned long active_bases ;
2166 ktime_t expires_next ;
2167 int hres_active ;
2168 int hang_detected ;
2169 unsigned long nr_events ;
2170 unsigned long nr_retries ;
2171 unsigned long nr_hangs ;
2172 ktime_t max_hang_time ;
2173 struct hrtimer_clock_base clock_base[3] ;
2174};
2175#line 11 "include/linux/task_io_accounting.h"
2176struct task_io_accounting {
2177 u64 rchar ;
2178 u64 wchar ;
2179 u64 syscr ;
2180 u64 syscw ;
2181 u64 read_bytes ;
2182 u64 write_bytes ;
2183 u64 cancelled_write_bytes ;
2184};
2185#line 13 "include/linux/latencytop.h"
2186struct task_struct;
2187#line 20 "include/linux/latencytop.h"
2188struct latency_record {
2189 unsigned long backtrace[12] ;
2190 unsigned int count ;
2191 unsigned long time ;
2192 unsigned long max ;
2193};
2194#line 29 "include/linux/key.h"
2195typedef int32_t key_serial_t;
2196#line 32 "include/linux/key.h"
2197typedef uint32_t key_perm_t;
2198#line 34
2199struct key;
2200#line 34
2201struct key;
2202#line 74
2203struct seq_file;
2204#line 75
2205struct user_struct;
2206#line 76
2207struct signal_struct;
2208#line 76
2209struct signal_struct;
2210#line 77
2211struct cred;
2212#line 79
2213struct key_type;
2214#line 79
2215struct key_type;
2216#line 81
2217struct keyring_list;
2218#line 81
2219struct keyring_list;
2220#line 124
2221struct key_user;
2222#line 124 "include/linux/key.h"
2223union __anonunion____missing_field_name_228 {
2224 time_t expiry ;
2225 time_t revoked_at ;
2226};
2227#line 124 "include/linux/key.h"
2228union __anonunion_type_data_229 {
2229 struct list_head link ;
2230 unsigned long x[2] ;
2231 void *p[2] ;
2232 int reject_error ;
2233};
2234#line 124 "include/linux/key.h"
2235union __anonunion_payload_230 {
2236 unsigned long value ;
2237 void *rcudata ;
2238 void *data ;
2239 struct keyring_list *subscriptions ;
2240};
2241#line 124 "include/linux/key.h"
2242struct key {
2243 atomic_t usage ;
2244 key_serial_t serial ;
2245 struct rb_node serial_node ;
2246 struct key_type *type ;
2247 struct rw_semaphore sem ;
2248 struct key_user *user ;
2249 void *security ;
2250 union __anonunion____missing_field_name_228 __annonCompField43 ;
2251 uid_t uid ;
2252 gid_t gid ;
2253 key_perm_t perm ;
2254 unsigned short quotalen ;
2255 unsigned short datalen ;
2256 unsigned long flags ;
2257 char *description ;
2258 union __anonunion_type_data_229 type_data ;
2259 union __anonunion_payload_230 payload ;
2260};
2261#line 18 "include/linux/selinux.h"
2262struct audit_context;
2263#line 18
2264struct audit_context;
2265#line 21 "include/linux/cred.h"
2266struct user_struct;
2267#line 22
2268struct cred;
2269#line 23
2270struct inode;
2271#line 31 "include/linux/cred.h"
2272struct group_info {
2273 atomic_t usage ;
2274 int ngroups ;
2275 int nblocks ;
2276 gid_t small_block[32] ;
2277 gid_t *blocks[0] ;
2278};
2279#line 83 "include/linux/cred.h"
2280struct thread_group_cred {
2281 atomic_t usage ;
2282 pid_t tgid ;
2283 spinlock_t lock ;
2284 struct key *session_keyring ;
2285 struct key *process_keyring ;
2286 struct rcu_head rcu ;
2287};
2288#line 116 "include/linux/cred.h"
2289struct cred {
2290 atomic_t usage ;
2291 atomic_t subscribers ;
2292 void *put_addr ;
2293 unsigned int magic ;
2294 uid_t uid ;
2295 gid_t gid ;
2296 uid_t suid ;
2297 gid_t sgid ;
2298 uid_t euid ;
2299 gid_t egid ;
2300 uid_t fsuid ;
2301 gid_t fsgid ;
2302 unsigned int securebits ;
2303 kernel_cap_t cap_inheritable ;
2304 kernel_cap_t cap_permitted ;
2305 kernel_cap_t cap_effective ;
2306 kernel_cap_t cap_bset ;
2307 unsigned char jit_keyring ;
2308 struct key *thread_keyring ;
2309 struct key *request_key_auth ;
2310 struct thread_group_cred *tgcred ;
2311 void *security ;
2312 struct user_struct *user ;
2313 struct user_namespace *user_ns ;
2314 struct group_info *group_info ;
2315 struct rcu_head rcu ;
2316};
2317#line 61 "include/linux/llist.h"
2318struct llist_node;
2319#line 65 "include/linux/llist.h"
2320struct llist_node {
2321 struct llist_node *next ;
2322};
2323#line 97 "include/linux/sched.h"
2324struct futex_pi_state;
2325#line 97
2326struct futex_pi_state;
2327#line 98
2328struct robust_list_head;
2329#line 98
2330struct robust_list_head;
2331#line 99
2332struct bio_list;
2333#line 99
2334struct bio_list;
2335#line 100
2336struct fs_struct;
2337#line 100
2338struct fs_struct;
2339#line 101
2340struct perf_event_context;
2341#line 101
2342struct perf_event_context;
2343#line 102
2344struct blk_plug;
2345#line 102
2346struct blk_plug;
2347#line 150
2348struct seq_file;
2349#line 151
2350struct cfs_rq;
2351#line 151
2352struct cfs_rq;
2353#line 259
2354struct task_struct;
2355#line 366
2356struct nsproxy;
2357#line 367
2358struct user_namespace;
2359#line 58 "include/linux/aio_abi.h"
2360struct io_event {
2361 __u64 data ;
2362 __u64 obj ;
2363 __s64 res ;
2364 __s64 res2 ;
2365};
2366#line 16 "include/linux/uio.h"
2367struct iovec {
2368 void *iov_base ;
2369 __kernel_size_t iov_len ;
2370};
2371#line 15 "include/linux/aio.h"
2372struct kioctx;
2373#line 15
2374struct kioctx;
2375#line 87 "include/linux/aio.h"
2376union __anonunion_ki_obj_232 {
2377 void *user ;
2378 struct task_struct *tsk ;
2379};
2380#line 87
2381struct eventfd_ctx;
2382#line 87 "include/linux/aio.h"
2383struct kiocb {
2384 struct list_head ki_run_list ;
2385 unsigned long ki_flags ;
2386 int ki_users ;
2387 unsigned int ki_key ;
2388 struct file *ki_filp ;
2389 struct kioctx *ki_ctx ;
2390 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2391 ssize_t (*ki_retry)(struct kiocb * ) ;
2392 void (*ki_dtor)(struct kiocb * ) ;
2393 union __anonunion_ki_obj_232 ki_obj ;
2394 __u64 ki_user_data ;
2395 loff_t ki_pos ;
2396 void *private ;
2397 unsigned short ki_opcode ;
2398 size_t ki_nbytes ;
2399 char *ki_buf ;
2400 size_t ki_left ;
2401 struct iovec ki_inline_vec ;
2402 struct iovec *ki_iovec ;
2403 unsigned long ki_nr_segs ;
2404 unsigned long ki_cur_seg ;
2405 struct list_head ki_list ;
2406 struct list_head ki_batch ;
2407 struct eventfd_ctx *ki_eventfd ;
2408};
2409#line 166 "include/linux/aio.h"
2410struct aio_ring_info {
2411 unsigned long mmap_base ;
2412 unsigned long mmap_size ;
2413 struct page **ring_pages ;
2414 spinlock_t ring_lock ;
2415 long nr_pages ;
2416 unsigned int nr ;
2417 unsigned int tail ;
2418 struct page *internal_pages[8] ;
2419};
2420#line 179 "include/linux/aio.h"
2421struct kioctx {
2422 atomic_t users ;
2423 int dead ;
2424 struct mm_struct *mm ;
2425 unsigned long user_id ;
2426 struct hlist_node list ;
2427 wait_queue_head_t wait ;
2428 spinlock_t ctx_lock ;
2429 int reqs_active ;
2430 struct list_head active_reqs ;
2431 struct list_head run_list ;
2432 unsigned int max_reqs ;
2433 struct aio_ring_info ring_info ;
2434 struct delayed_work wq ;
2435 struct rcu_head rcu_head ;
2436};
2437#line 214
2438struct mm_struct;
2439#line 443 "include/linux/sched.h"
2440struct sighand_struct {
2441 atomic_t count ;
2442 struct k_sigaction action[64] ;
2443 spinlock_t siglock ;
2444 wait_queue_head_t signalfd_wqh ;
2445};
2446#line 450 "include/linux/sched.h"
2447struct pacct_struct {
2448 int ac_flag ;
2449 long ac_exitcode ;
2450 unsigned long ac_mem ;
2451 cputime_t ac_utime ;
2452 cputime_t ac_stime ;
2453 unsigned long ac_minflt ;
2454 unsigned long ac_majflt ;
2455};
2456#line 458 "include/linux/sched.h"
2457struct cpu_itimer {
2458 cputime_t expires ;
2459 cputime_t incr ;
2460 u32 error ;
2461 u32 incr_error ;
2462};
2463#line 476 "include/linux/sched.h"
2464struct task_cputime {
2465 cputime_t utime ;
2466 cputime_t stime ;
2467 unsigned long long sum_exec_runtime ;
2468};
2469#line 512 "include/linux/sched.h"
2470struct thread_group_cputimer {
2471 struct task_cputime cputime ;
2472 int running ;
2473 raw_spinlock_t lock ;
2474};
2475#line 519
2476struct autogroup;
2477#line 519
2478struct autogroup;
2479#line 528
2480struct tty_struct;
2481#line 528
2482struct taskstats;
2483#line 528
2484struct tty_audit_buf;
2485#line 528 "include/linux/sched.h"
2486struct signal_struct {
2487 atomic_t sigcnt ;
2488 atomic_t live ;
2489 int nr_threads ;
2490 wait_queue_head_t wait_chldexit ;
2491 struct task_struct *curr_target ;
2492 struct sigpending shared_pending ;
2493 int group_exit_code ;
2494 int notify_count ;
2495 struct task_struct *group_exit_task ;
2496 int group_stop_count ;
2497 unsigned int flags ;
2498 unsigned int is_child_subreaper : 1 ;
2499 unsigned int has_child_subreaper : 1 ;
2500 struct list_head posix_timers ;
2501 struct hrtimer real_timer ;
2502 struct pid *leader_pid ;
2503 ktime_t it_real_incr ;
2504 struct cpu_itimer it[2] ;
2505 struct thread_group_cputimer cputimer ;
2506 struct task_cputime cputime_expires ;
2507 struct list_head cpu_timers[3] ;
2508 struct pid *tty_old_pgrp ;
2509 int leader ;
2510 struct tty_struct *tty ;
2511 struct autogroup *autogroup ;
2512 cputime_t utime ;
2513 cputime_t stime ;
2514 cputime_t cutime ;
2515 cputime_t cstime ;
2516 cputime_t gtime ;
2517 cputime_t cgtime ;
2518 cputime_t prev_utime ;
2519 cputime_t prev_stime ;
2520 unsigned long nvcsw ;
2521 unsigned long nivcsw ;
2522 unsigned long cnvcsw ;
2523 unsigned long cnivcsw ;
2524 unsigned long min_flt ;
2525 unsigned long maj_flt ;
2526 unsigned long cmin_flt ;
2527 unsigned long cmaj_flt ;
2528 unsigned long inblock ;
2529 unsigned long oublock ;
2530 unsigned long cinblock ;
2531 unsigned long coublock ;
2532 unsigned long maxrss ;
2533 unsigned long cmaxrss ;
2534 struct task_io_accounting ioac ;
2535 unsigned long long sum_sched_runtime ;
2536 struct rlimit rlim[16] ;
2537 struct pacct_struct pacct ;
2538 struct taskstats *stats ;
2539 unsigned int audit_tty ;
2540 struct tty_audit_buf *tty_audit_buf ;
2541 struct rw_semaphore group_rwsem ;
2542 int oom_adj ;
2543 int oom_score_adj ;
2544 int oom_score_adj_min ;
2545 struct mutex cred_guard_mutex ;
2546};
2547#line 703 "include/linux/sched.h"
2548struct user_struct {
2549 atomic_t __count ;
2550 atomic_t processes ;
2551 atomic_t files ;
2552 atomic_t sigpending ;
2553 atomic_t inotify_watches ;
2554 atomic_t inotify_devs ;
2555 atomic_t fanotify_listeners ;
2556 atomic_long_t epoll_watches ;
2557 unsigned long mq_bytes ;
2558 unsigned long locked_shm ;
2559 struct key *uid_keyring ;
2560 struct key *session_keyring ;
2561 struct hlist_node uidhash_node ;
2562 uid_t uid ;
2563 struct user_namespace *user_ns ;
2564 atomic_long_t locked_vm ;
2565};
2566#line 747
2567struct backing_dev_info;
2568#line 747
2569struct backing_dev_info;
2570#line 748
2571struct reclaim_state;
2572#line 748
2573struct reclaim_state;
2574#line 751 "include/linux/sched.h"
2575struct sched_info {
2576 unsigned long pcount ;
2577 unsigned long long run_delay ;
2578 unsigned long long last_arrival ;
2579 unsigned long long last_queued ;
2580};
2581#line 763 "include/linux/sched.h"
2582struct task_delay_info {
2583 spinlock_t lock ;
2584 unsigned int flags ;
2585 struct timespec blkio_start ;
2586 struct timespec blkio_end ;
2587 u64 blkio_delay ;
2588 u64 swapin_delay ;
2589 u32 blkio_count ;
2590 u32 swapin_count ;
2591 struct timespec freepages_start ;
2592 struct timespec freepages_end ;
2593 u64 freepages_delay ;
2594 u32 freepages_count ;
2595};
2596#line 1088
2597struct io_context;
2598#line 1088
2599struct io_context;
2600#line 1097
2601struct audit_context;
2602#line 1098
2603struct mempolicy;
2604#line 1099
2605struct pipe_inode_info;
2606#line 1099
2607struct pipe_inode_info;
2608#line 1102
2609struct rq;
2610#line 1102
2611struct rq;
2612#line 1122 "include/linux/sched.h"
2613struct sched_class {
2614 struct sched_class const *next ;
2615 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2616 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2617 void (*yield_task)(struct rq *rq ) ;
2618 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2619 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2620 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2621 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2622 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2623 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2624 void (*post_schedule)(struct rq *this_rq ) ;
2625 void (*task_waking)(struct task_struct *task ) ;
2626 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2627 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2628 void (*rq_online)(struct rq *rq ) ;
2629 void (*rq_offline)(struct rq *rq ) ;
2630 void (*set_curr_task)(struct rq *rq ) ;
2631 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2632 void (*task_fork)(struct task_struct *p ) ;
2633 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2634 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2635 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2636 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2637 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2638};
2639#line 1167 "include/linux/sched.h"
2640struct load_weight {
2641 unsigned long weight ;
2642 unsigned long inv_weight ;
2643};
2644#line 1172 "include/linux/sched.h"
2645struct sched_statistics {
2646 u64 wait_start ;
2647 u64 wait_max ;
2648 u64 wait_count ;
2649 u64 wait_sum ;
2650 u64 iowait_count ;
2651 u64 iowait_sum ;
2652 u64 sleep_start ;
2653 u64 sleep_max ;
2654 s64 sum_sleep_runtime ;
2655 u64 block_start ;
2656 u64 block_max ;
2657 u64 exec_max ;
2658 u64 slice_max ;
2659 u64 nr_migrations_cold ;
2660 u64 nr_failed_migrations_affine ;
2661 u64 nr_failed_migrations_running ;
2662 u64 nr_failed_migrations_hot ;
2663 u64 nr_forced_migrations ;
2664 u64 nr_wakeups ;
2665 u64 nr_wakeups_sync ;
2666 u64 nr_wakeups_migrate ;
2667 u64 nr_wakeups_local ;
2668 u64 nr_wakeups_remote ;
2669 u64 nr_wakeups_affine ;
2670 u64 nr_wakeups_affine_attempts ;
2671 u64 nr_wakeups_passive ;
2672 u64 nr_wakeups_idle ;
2673};
2674#line 1207 "include/linux/sched.h"
2675struct sched_entity {
2676 struct load_weight load ;
2677 struct rb_node run_node ;
2678 struct list_head group_node ;
2679 unsigned int on_rq ;
2680 u64 exec_start ;
2681 u64 sum_exec_runtime ;
2682 u64 vruntime ;
2683 u64 prev_sum_exec_runtime ;
2684 u64 nr_migrations ;
2685 struct sched_statistics statistics ;
2686 struct sched_entity *parent ;
2687 struct cfs_rq *cfs_rq ;
2688 struct cfs_rq *my_q ;
2689};
2690#line 1233
2691struct rt_rq;
2692#line 1233 "include/linux/sched.h"
2693struct sched_rt_entity {
2694 struct list_head run_list ;
2695 unsigned long timeout ;
2696 unsigned int time_slice ;
2697 int nr_cpus_allowed ;
2698 struct sched_rt_entity *back ;
2699 struct sched_rt_entity *parent ;
2700 struct rt_rq *rt_rq ;
2701 struct rt_rq *my_q ;
2702};
2703#line 1264
2704struct files_struct;
2705#line 1264
2706struct css_set;
2707#line 1264
2708struct compat_robust_list_head;
2709#line 1264
2710struct mem_cgroup;
2711#line 1264 "include/linux/sched.h"
2712struct memcg_batch_info {
2713 int do_batch ;
2714 struct mem_cgroup *memcg ;
2715 unsigned long nr_pages ;
2716 unsigned long memsw_nr_pages ;
2717};
2718#line 1264 "include/linux/sched.h"
2719struct task_struct {
2720 long volatile state ;
2721 void *stack ;
2722 atomic_t usage ;
2723 unsigned int flags ;
2724 unsigned int ptrace ;
2725 struct llist_node wake_entry ;
2726 int on_cpu ;
2727 int on_rq ;
2728 int prio ;
2729 int static_prio ;
2730 int normal_prio ;
2731 unsigned int rt_priority ;
2732 struct sched_class const *sched_class ;
2733 struct sched_entity se ;
2734 struct sched_rt_entity rt ;
2735 struct hlist_head preempt_notifiers ;
2736 unsigned char fpu_counter ;
2737 unsigned int policy ;
2738 cpumask_t cpus_allowed ;
2739 struct sched_info sched_info ;
2740 struct list_head tasks ;
2741 struct plist_node pushable_tasks ;
2742 struct mm_struct *mm ;
2743 struct mm_struct *active_mm ;
2744 unsigned int brk_randomized : 1 ;
2745 int exit_state ;
2746 int exit_code ;
2747 int exit_signal ;
2748 int pdeath_signal ;
2749 unsigned int jobctl ;
2750 unsigned int personality ;
2751 unsigned int did_exec : 1 ;
2752 unsigned int in_execve : 1 ;
2753 unsigned int in_iowait : 1 ;
2754 unsigned int sched_reset_on_fork : 1 ;
2755 unsigned int sched_contributes_to_load : 1 ;
2756 unsigned int irq_thread : 1 ;
2757 pid_t pid ;
2758 pid_t tgid ;
2759 unsigned long stack_canary ;
2760 struct task_struct *real_parent ;
2761 struct task_struct *parent ;
2762 struct list_head children ;
2763 struct list_head sibling ;
2764 struct task_struct *group_leader ;
2765 struct list_head ptraced ;
2766 struct list_head ptrace_entry ;
2767 struct pid_link pids[3] ;
2768 struct list_head thread_group ;
2769 struct completion *vfork_done ;
2770 int *set_child_tid ;
2771 int *clear_child_tid ;
2772 cputime_t utime ;
2773 cputime_t stime ;
2774 cputime_t utimescaled ;
2775 cputime_t stimescaled ;
2776 cputime_t gtime ;
2777 cputime_t prev_utime ;
2778 cputime_t prev_stime ;
2779 unsigned long nvcsw ;
2780 unsigned long nivcsw ;
2781 struct timespec start_time ;
2782 struct timespec real_start_time ;
2783 unsigned long min_flt ;
2784 unsigned long maj_flt ;
2785 struct task_cputime cputime_expires ;
2786 struct list_head cpu_timers[3] ;
2787 struct cred const *real_cred ;
2788 struct cred const *cred ;
2789 struct cred *replacement_session_keyring ;
2790 char comm[16] ;
2791 int link_count ;
2792 int total_link_count ;
2793 struct sysv_sem sysvsem ;
2794 unsigned long last_switch_count ;
2795 struct thread_struct thread ;
2796 struct fs_struct *fs ;
2797 struct files_struct *files ;
2798 struct nsproxy *nsproxy ;
2799 struct signal_struct *signal ;
2800 struct sighand_struct *sighand ;
2801 sigset_t blocked ;
2802 sigset_t real_blocked ;
2803 sigset_t saved_sigmask ;
2804 struct sigpending pending ;
2805 unsigned long sas_ss_sp ;
2806 size_t sas_ss_size ;
2807 int (*notifier)(void *priv ) ;
2808 void *notifier_data ;
2809 sigset_t *notifier_mask ;
2810 struct audit_context *audit_context ;
2811 uid_t loginuid ;
2812 unsigned int sessionid ;
2813 seccomp_t seccomp ;
2814 u32 parent_exec_id ;
2815 u32 self_exec_id ;
2816 spinlock_t alloc_lock ;
2817 raw_spinlock_t pi_lock ;
2818 struct plist_head pi_waiters ;
2819 struct rt_mutex_waiter *pi_blocked_on ;
2820 struct mutex_waiter *blocked_on ;
2821 unsigned int irq_events ;
2822 unsigned long hardirq_enable_ip ;
2823 unsigned long hardirq_disable_ip ;
2824 unsigned int hardirq_enable_event ;
2825 unsigned int hardirq_disable_event ;
2826 int hardirqs_enabled ;
2827 int hardirq_context ;
2828 unsigned long softirq_disable_ip ;
2829 unsigned long softirq_enable_ip ;
2830 unsigned int softirq_disable_event ;
2831 unsigned int softirq_enable_event ;
2832 int softirqs_enabled ;
2833 int softirq_context ;
2834 void *journal_info ;
2835 struct bio_list *bio_list ;
2836 struct blk_plug *plug ;
2837 struct reclaim_state *reclaim_state ;
2838 struct backing_dev_info *backing_dev_info ;
2839 struct io_context *io_context ;
2840 unsigned long ptrace_message ;
2841 siginfo_t *last_siginfo ;
2842 struct task_io_accounting ioac ;
2843 u64 acct_rss_mem1 ;
2844 u64 acct_vm_mem1 ;
2845 cputime_t acct_timexpd ;
2846 nodemask_t mems_allowed ;
2847 seqcount_t mems_allowed_seq ;
2848 int cpuset_mem_spread_rotor ;
2849 int cpuset_slab_spread_rotor ;
2850 struct css_set *cgroups ;
2851 struct list_head cg_list ;
2852 struct robust_list_head *robust_list ;
2853 struct compat_robust_list_head *compat_robust_list ;
2854 struct list_head pi_state_list ;
2855 struct futex_pi_state *pi_state_cache ;
2856 struct perf_event_context *perf_event_ctxp[2] ;
2857 struct mutex perf_event_mutex ;
2858 struct list_head perf_event_list ;
2859 struct mempolicy *mempolicy ;
2860 short il_next ;
2861 short pref_node_fork ;
2862 struct rcu_head rcu ;
2863 struct pipe_inode_info *splice_pipe ;
2864 struct task_delay_info *delays ;
2865 int make_it_fail ;
2866 int nr_dirtied ;
2867 int nr_dirtied_pause ;
2868 unsigned long dirty_paused_when ;
2869 int latency_record_count ;
2870 struct latency_record latency_record[32] ;
2871 unsigned long timer_slack_ns ;
2872 unsigned long default_timer_slack_ns ;
2873 struct list_head *scm_work_list ;
2874 unsigned long trace ;
2875 unsigned long trace_recursion ;
2876 struct memcg_batch_info memcg_batch ;
2877 atomic_t ptrace_bp_refcnt ;
2878};
2879#line 1681
2880struct pid_namespace;
2881#line 162 "include/acpi/actypes.h"
2882typedef u64 acpi_io_address;
2883#line 371 "include/acpi/actypes.h"
2884typedef u32 acpi_status;
2885#line 373 "include/acpi/actypes.h"
2886typedef char *acpi_string;
2887#line 374 "include/acpi/actypes.h"
2888typedef void *acpi_handle;
2889#line 556 "include/acpi/actypes.h"
2890typedef u32 acpi_object_type;
2891#line 816 "include/acpi/actypes.h"
2892struct __anonstruct_integer_234 {
2893 acpi_object_type type ;
2894 u64 value ;
2895};
2896#line 816 "include/acpi/actypes.h"
2897struct __anonstruct_string_235 {
2898 acpi_object_type type ;
2899 u32 length ;
2900 char *pointer ;
2901};
2902#line 816 "include/acpi/actypes.h"
2903struct __anonstruct_buffer_236 {
2904 acpi_object_type type ;
2905 u32 length ;
2906 u8 *pointer ;
2907};
2908#line 816 "include/acpi/actypes.h"
2909struct __anonstruct_package_237 {
2910 acpi_object_type type ;
2911 u32 count ;
2912 union acpi_object *elements ;
2913};
2914#line 816 "include/acpi/actypes.h"
2915struct __anonstruct_reference_238 {
2916 acpi_object_type type ;
2917 acpi_object_type actual_type ;
2918 acpi_handle handle ;
2919};
2920#line 816 "include/acpi/actypes.h"
2921struct __anonstruct_processor_239 {
2922 acpi_object_type type ;
2923 u32 proc_id ;
2924 acpi_io_address pblk_address ;
2925 u32 pblk_length ;
2926};
2927#line 816 "include/acpi/actypes.h"
2928struct __anonstruct_power_resource_240 {
2929 acpi_object_type type ;
2930 u32 system_level ;
2931 u32 resource_order ;
2932};
2933#line 816 "include/acpi/actypes.h"
2934union acpi_object {
2935 acpi_object_type type ;
2936 struct __anonstruct_integer_234 integer ;
2937 struct __anonstruct_string_235 string ;
2938 struct __anonstruct_buffer_236 buffer ;
2939 struct __anonstruct_package_237 package ;
2940 struct __anonstruct_reference_238 reference ;
2941 struct __anonstruct_processor_239 processor ;
2942 struct __anonstruct_power_resource_240 power_resource ;
2943};
2944#line 864 "include/acpi/actypes.h"
2945struct acpi_object_list {
2946 u32 count ;
2947 union acpi_object *pointer ;
2948};
2949#line 79 "include/acpi/actbl.h"
2950#pragma pack(1)
2951#line 321
2952#pragma pack()
2953#line 79 "include/acpi/actbl1.h"
2954#pragma pack(1)
2955#line 961
2956#pragma pack()
2957#line 96 "include/acpi/actbl2.h"
2958#pragma pack(1)
2959#line 1046
2960#pragma pack()
2961#line 87 "include/acpi/actbl3.h"
2962#pragma pack(1)
2963#line 550
2964#pragma pack()
2965#line 152 "include/acpi/acrestyp.h"
2966#pragma pack(1)
2967#line 588
2968#pragma pack()
2969#line 15 "include/linux/blk_types.h"
2970struct page;
2971#line 16
2972struct block_device;
2973#line 16
2974struct block_device;
2975#line 33 "include/linux/list_bl.h"
2976struct hlist_bl_node;
2977#line 33 "include/linux/list_bl.h"
2978struct hlist_bl_head {
2979 struct hlist_bl_node *first ;
2980};
2981#line 37 "include/linux/list_bl.h"
2982struct hlist_bl_node {
2983 struct hlist_bl_node *next ;
2984 struct hlist_bl_node **pprev ;
2985};
2986#line 13 "include/linux/dcache.h"
2987struct nameidata;
2988#line 13
2989struct nameidata;
2990#line 14
2991struct path;
2992#line 14
2993struct path;
2994#line 15
2995struct vfsmount;
2996#line 15
2997struct vfsmount;
2998#line 35 "include/linux/dcache.h"
2999struct qstr {
3000 unsigned int hash ;
3001 unsigned int len ;
3002 unsigned char const *name ;
3003};
3004#line 88
3005struct dentry_operations;
3006#line 88
3007struct super_block;
3008#line 88 "include/linux/dcache.h"
3009union __anonunion_d_u_242 {
3010 struct list_head d_child ;
3011 struct rcu_head d_rcu ;
3012};
3013#line 88 "include/linux/dcache.h"
3014struct dentry {
3015 unsigned int d_flags ;
3016 seqcount_t d_seq ;
3017 struct hlist_bl_node d_hash ;
3018 struct dentry *d_parent ;
3019 struct qstr d_name ;
3020 struct inode *d_inode ;
3021 unsigned char d_iname[32] ;
3022 unsigned int d_count ;
3023 spinlock_t d_lock ;
3024 struct dentry_operations const *d_op ;
3025 struct super_block *d_sb ;
3026 unsigned long d_time ;
3027 void *d_fsdata ;
3028 struct list_head d_lru ;
3029 union __anonunion_d_u_242 d_u ;
3030 struct list_head d_subdirs ;
3031 struct list_head d_alias ;
3032};
3033#line 131 "include/linux/dcache.h"
3034struct dentry_operations {
3035 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
3036 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
3037 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
3038 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
3039 int (*d_delete)(struct dentry const * ) ;
3040 void (*d_release)(struct dentry * ) ;
3041 void (*d_prune)(struct dentry * ) ;
3042 void (*d_iput)(struct dentry * , struct inode * ) ;
3043 char *(*d_dname)(struct dentry * , char * , int ) ;
3044 struct vfsmount *(*d_automount)(struct path * ) ;
3045 int (*d_manage)(struct dentry * , bool ) ;
3046} __attribute__((__aligned__((1) << (6) ))) ;
3047#line 4 "include/linux/path.h"
3048struct dentry;
3049#line 5
3050struct vfsmount;
3051#line 7 "include/linux/path.h"
3052struct path {
3053 struct vfsmount *mnt ;
3054 struct dentry *dentry ;
3055};
3056#line 64 "include/linux/radix-tree.h"
3057struct radix_tree_node;
3058#line 64 "include/linux/radix-tree.h"
3059struct radix_tree_root {
3060 unsigned int height ;
3061 gfp_t gfp_mask ;
3062 struct radix_tree_node *rnode ;
3063};
3064#line 16 "include/linux/fiemap.h"
3065struct fiemap_extent {
3066 __u64 fe_logical ;
3067 __u64 fe_physical ;
3068 __u64 fe_length ;
3069 __u64 fe_reserved64[2] ;
3070 __u32 fe_flags ;
3071 __u32 fe_reserved[3] ;
3072};
3073#line 10 "include/linux/migrate_mode.h"
3074enum migrate_mode {
3075 MIGRATE_ASYNC = 0,
3076 MIGRATE_SYNC_LIGHT = 1,
3077 MIGRATE_SYNC = 2
3078} ;
3079#line 408 "include/linux/fs.h"
3080struct export_operations;
3081#line 408
3082struct export_operations;
3083#line 410
3084struct iovec;
3085#line 411
3086struct nameidata;
3087#line 412
3088struct kiocb;
3089#line 413
3090struct kobject;
3091#line 414
3092struct pipe_inode_info;
3093#line 415
3094struct poll_table_struct;
3095#line 415
3096struct poll_table_struct;
3097#line 416
3098struct kstatfs;
3099#line 416
3100struct kstatfs;
3101#line 417
3102struct vm_area_struct;
3103#line 418
3104struct vfsmount;
3105#line 419
3106struct cred;
3107#line 469 "include/linux/fs.h"
3108struct iattr {
3109 unsigned int ia_valid ;
3110 umode_t ia_mode ;
3111 uid_t ia_uid ;
3112 gid_t ia_gid ;
3113 loff_t ia_size ;
3114 struct timespec ia_atime ;
3115 struct timespec ia_mtime ;
3116 struct timespec ia_ctime ;
3117 struct file *ia_file ;
3118};
3119#line 129 "include/linux/quota.h"
3120struct if_dqinfo {
3121 __u64 dqi_bgrace ;
3122 __u64 dqi_igrace ;
3123 __u32 dqi_flags ;
3124 __u32 dqi_valid ;
3125};
3126#line 50 "include/linux/dqblk_xfs.h"
3127struct fs_disk_quota {
3128 __s8 d_version ;
3129 __s8 d_flags ;
3130 __u16 d_fieldmask ;
3131 __u32 d_id ;
3132 __u64 d_blk_hardlimit ;
3133 __u64 d_blk_softlimit ;
3134 __u64 d_ino_hardlimit ;
3135 __u64 d_ino_softlimit ;
3136 __u64 d_bcount ;
3137 __u64 d_icount ;
3138 __s32 d_itimer ;
3139 __s32 d_btimer ;
3140 __u16 d_iwarns ;
3141 __u16 d_bwarns ;
3142 __s32 d_padding2 ;
3143 __u64 d_rtb_hardlimit ;
3144 __u64 d_rtb_softlimit ;
3145 __u64 d_rtbcount ;
3146 __s32 d_rtbtimer ;
3147 __u16 d_rtbwarns ;
3148 __s16 d_padding3 ;
3149 char d_padding4[8] ;
3150};
3151#line 146 "include/linux/dqblk_xfs.h"
3152struct fs_qfilestat {
3153 __u64 qfs_ino ;
3154 __u64 qfs_nblks ;
3155 __u32 qfs_nextents ;
3156};
3157#line 146 "include/linux/dqblk_xfs.h"
3158typedef struct fs_qfilestat fs_qfilestat_t;
3159#line 152 "include/linux/dqblk_xfs.h"
3160struct fs_quota_stat {
3161 __s8 qs_version ;
3162 __u16 qs_flags ;
3163 __s8 qs_pad ;
3164 fs_qfilestat_t qs_uquota ;
3165 fs_qfilestat_t qs_gquota ;
3166 __u32 qs_incoredqs ;
3167 __s32 qs_btimelimit ;
3168 __s32 qs_itimelimit ;
3169 __s32 qs_rtbtimelimit ;
3170 __u16 qs_bwarnlimit ;
3171 __u16 qs_iwarnlimit ;
3172};
3173#line 17 "include/linux/dqblk_qtree.h"
3174struct dquot;
3175#line 17
3176struct dquot;
3177#line 185 "include/linux/quota.h"
3178typedef __kernel_uid32_t qid_t;
3179#line 186 "include/linux/quota.h"
3180typedef long long qsize_t;
3181#line 200 "include/linux/quota.h"
3182struct mem_dqblk {
3183 qsize_t dqb_bhardlimit ;
3184 qsize_t dqb_bsoftlimit ;
3185 qsize_t dqb_curspace ;
3186 qsize_t dqb_rsvspace ;
3187 qsize_t dqb_ihardlimit ;
3188 qsize_t dqb_isoftlimit ;
3189 qsize_t dqb_curinodes ;
3190 time_t dqb_btime ;
3191 time_t dqb_itime ;
3192};
3193#line 215
3194struct quota_format_type;
3195#line 215
3196struct quota_format_type;
3197#line 217 "include/linux/quota.h"
3198struct mem_dqinfo {
3199 struct quota_format_type *dqi_format ;
3200 int dqi_fmt_id ;
3201 struct list_head dqi_dirty_list ;
3202 unsigned long dqi_flags ;
3203 unsigned int dqi_bgrace ;
3204 unsigned int dqi_igrace ;
3205 qsize_t dqi_maxblimit ;
3206 qsize_t dqi_maxilimit ;
3207 void *dqi_priv ;
3208};
3209#line 230
3210struct super_block;
3211#line 288 "include/linux/quota.h"
3212struct dquot {
3213 struct hlist_node dq_hash ;
3214 struct list_head dq_inuse ;
3215 struct list_head dq_free ;
3216 struct list_head dq_dirty ;
3217 struct mutex dq_lock ;
3218 atomic_t dq_count ;
3219 wait_queue_head_t dq_wait_unused ;
3220 struct super_block *dq_sb ;
3221 unsigned int dq_id ;
3222 loff_t dq_off ;
3223 unsigned long dq_flags ;
3224 short dq_type ;
3225 struct mem_dqblk dq_dqb ;
3226};
3227#line 305 "include/linux/quota.h"
3228struct quota_format_ops {
3229 int (*check_quota_file)(struct super_block *sb , int type ) ;
3230 int (*read_file_info)(struct super_block *sb , int type ) ;
3231 int (*write_file_info)(struct super_block *sb , int type ) ;
3232 int (*free_file_info)(struct super_block *sb , int type ) ;
3233 int (*read_dqblk)(struct dquot *dquot ) ;
3234 int (*commit_dqblk)(struct dquot *dquot ) ;
3235 int (*release_dqblk)(struct dquot *dquot ) ;
3236};
3237#line 316 "include/linux/quota.h"
3238struct dquot_operations {
3239 int (*write_dquot)(struct dquot * ) ;
3240 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
3241 void (*destroy_dquot)(struct dquot * ) ;
3242 int (*acquire_dquot)(struct dquot * ) ;
3243 int (*release_dquot)(struct dquot * ) ;
3244 int (*mark_dirty)(struct dquot * ) ;
3245 int (*write_info)(struct super_block * , int ) ;
3246 qsize_t *(*get_reserved_space)(struct inode * ) ;
3247};
3248#line 329
3249struct path;
3250#line 332 "include/linux/quota.h"
3251struct quotactl_ops {
3252 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
3253 int (*quota_on_meta)(struct super_block * , int , int ) ;
3254 int (*quota_off)(struct super_block * , int ) ;
3255 int (*quota_sync)(struct super_block * , int , int ) ;
3256 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
3257 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
3258 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3259 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
3260 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
3261 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
3262};
3263#line 345 "include/linux/quota.h"
3264struct quota_format_type {
3265 int qf_fmt_id ;
3266 struct quota_format_ops const *qf_ops ;
3267 struct module *qf_owner ;
3268 struct quota_format_type *qf_next ;
3269};
3270#line 399 "include/linux/quota.h"
3271struct quota_info {
3272 unsigned int flags ;
3273 struct mutex dqio_mutex ;
3274 struct mutex dqonoff_mutex ;
3275 struct rw_semaphore dqptr_sem ;
3276 struct inode *files[2] ;
3277 struct mem_dqinfo info[2] ;
3278 struct quota_format_ops const *ops[2] ;
3279};
3280#line 532 "include/linux/fs.h"
3281struct page;
3282#line 533
3283struct address_space;
3284#line 534
3285struct writeback_control;
3286#line 577 "include/linux/fs.h"
3287union __anonunion_arg_249 {
3288 char *buf ;
3289 void *data ;
3290};
3291#line 577 "include/linux/fs.h"
3292struct __anonstruct_read_descriptor_t_248 {
3293 size_t written ;
3294 size_t count ;
3295 union __anonunion_arg_249 arg ;
3296 int error ;
3297};
3298#line 577 "include/linux/fs.h"
3299typedef struct __anonstruct_read_descriptor_t_248 read_descriptor_t;
3300#line 590 "include/linux/fs.h"
3301struct address_space_operations {
3302 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
3303 int (*readpage)(struct file * , struct page * ) ;
3304 int (*writepages)(struct address_space * , struct writeback_control * ) ;
3305 int (*set_page_dirty)(struct page *page ) ;
3306 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
3307 unsigned int nr_pages ) ;
3308 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
3309 unsigned int len , unsigned int flags , struct page **pagep ,
3310 void **fsdata ) ;
3311 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
3312 unsigned int copied , struct page *page , void *fsdata ) ;
3313 sector_t (*bmap)(struct address_space * , sector_t ) ;
3314 void (*invalidatepage)(struct page * , unsigned long ) ;
3315 int (*releasepage)(struct page * , gfp_t ) ;
3316 void (*freepage)(struct page * ) ;
3317 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
3318 unsigned long nr_segs ) ;
3319 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
3320 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
3321 int (*launder_page)(struct page * ) ;
3322 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
3323 int (*error_remove_page)(struct address_space * , struct page * ) ;
3324};
3325#line 645
3326struct backing_dev_info;
3327#line 646 "include/linux/fs.h"
3328struct address_space {
3329 struct inode *host ;
3330 struct radix_tree_root page_tree ;
3331 spinlock_t tree_lock ;
3332 unsigned int i_mmap_writable ;
3333 struct prio_tree_root i_mmap ;
3334 struct list_head i_mmap_nonlinear ;
3335 struct mutex i_mmap_mutex ;
3336 unsigned long nrpages ;
3337 unsigned long writeback_index ;
3338 struct address_space_operations const *a_ops ;
3339 unsigned long flags ;
3340 struct backing_dev_info *backing_dev_info ;
3341 spinlock_t private_lock ;
3342 struct list_head private_list ;
3343 struct address_space *assoc_mapping ;
3344} __attribute__((__aligned__(sizeof(long )))) ;
3345#line 669
3346struct request_queue;
3347#line 669
3348struct request_queue;
3349#line 671
3350struct hd_struct;
3351#line 671
3352struct gendisk;
3353#line 671 "include/linux/fs.h"
3354struct block_device {
3355 dev_t bd_dev ;
3356 int bd_openers ;
3357 struct inode *bd_inode ;
3358 struct super_block *bd_super ;
3359 struct mutex bd_mutex ;
3360 struct list_head bd_inodes ;
3361 void *bd_claiming ;
3362 void *bd_holder ;
3363 int bd_holders ;
3364 bool bd_write_holder ;
3365 struct list_head bd_holder_disks ;
3366 struct block_device *bd_contains ;
3367 unsigned int bd_block_size ;
3368 struct hd_struct *bd_part ;
3369 unsigned int bd_part_count ;
3370 int bd_invalidated ;
3371 struct gendisk *bd_disk ;
3372 struct request_queue *bd_queue ;
3373 struct list_head bd_list ;
3374 unsigned long bd_private ;
3375 int bd_fsfreeze_count ;
3376 struct mutex bd_fsfreeze_mutex ;
3377};
3378#line 749
3379struct posix_acl;
3380#line 749
3381struct posix_acl;
3382#line 761
3383struct inode_operations;
3384#line 761 "include/linux/fs.h"
3385union __anonunion____missing_field_name_250 {
3386 unsigned int const i_nlink ;
3387 unsigned int __i_nlink ;
3388};
3389#line 761 "include/linux/fs.h"
3390union __anonunion____missing_field_name_251 {
3391 struct list_head i_dentry ;
3392 struct rcu_head i_rcu ;
3393};
3394#line 761
3395struct file_operations;
3396#line 761
3397struct file_lock;
3398#line 761
3399struct cdev;
3400#line 761 "include/linux/fs.h"
3401union __anonunion____missing_field_name_252 {
3402 struct pipe_inode_info *i_pipe ;
3403 struct block_device *i_bdev ;
3404 struct cdev *i_cdev ;
3405};
3406#line 761 "include/linux/fs.h"
3407struct inode {
3408 umode_t i_mode ;
3409 unsigned short i_opflags ;
3410 uid_t i_uid ;
3411 gid_t i_gid ;
3412 unsigned int i_flags ;
3413 struct posix_acl *i_acl ;
3414 struct posix_acl *i_default_acl ;
3415 struct inode_operations const *i_op ;
3416 struct super_block *i_sb ;
3417 struct address_space *i_mapping ;
3418 void *i_security ;
3419 unsigned long i_ino ;
3420 union __anonunion____missing_field_name_250 __annonCompField45 ;
3421 dev_t i_rdev ;
3422 struct timespec i_atime ;
3423 struct timespec i_mtime ;
3424 struct timespec i_ctime ;
3425 spinlock_t i_lock ;
3426 unsigned short i_bytes ;
3427 blkcnt_t i_blocks ;
3428 loff_t i_size ;
3429 unsigned long i_state ;
3430 struct mutex i_mutex ;
3431 unsigned long dirtied_when ;
3432 struct hlist_node i_hash ;
3433 struct list_head i_wb_list ;
3434 struct list_head i_lru ;
3435 struct list_head i_sb_list ;
3436 union __anonunion____missing_field_name_251 __annonCompField46 ;
3437 atomic_t i_count ;
3438 unsigned int i_blkbits ;
3439 u64 i_version ;
3440 atomic_t i_dio_count ;
3441 atomic_t i_writecount ;
3442 struct file_operations const *i_fop ;
3443 struct file_lock *i_flock ;
3444 struct address_space i_data ;
3445 struct dquot *i_dquot[2] ;
3446 struct list_head i_devices ;
3447 union __anonunion____missing_field_name_252 __annonCompField47 ;
3448 __u32 i_generation ;
3449 __u32 i_fsnotify_mask ;
3450 struct hlist_head i_fsnotify_marks ;
3451 atomic_t i_readcount ;
3452 void *i_private ;
3453};
3454#line 942 "include/linux/fs.h"
3455struct fown_struct {
3456 rwlock_t lock ;
3457 struct pid *pid ;
3458 enum pid_type pid_type ;
3459 uid_t uid ;
3460 uid_t euid ;
3461 int signum ;
3462};
3463#line 953 "include/linux/fs.h"
3464struct file_ra_state {
3465 unsigned long start ;
3466 unsigned int size ;
3467 unsigned int async_size ;
3468 unsigned int ra_pages ;
3469 unsigned int mmap_miss ;
3470 loff_t prev_pos ;
3471};
3472#line 976 "include/linux/fs.h"
3473union __anonunion_f_u_253 {
3474 struct list_head fu_list ;
3475 struct rcu_head fu_rcuhead ;
3476};
3477#line 976 "include/linux/fs.h"
3478struct file {
3479 union __anonunion_f_u_253 f_u ;
3480 struct path f_path ;
3481 struct file_operations const *f_op ;
3482 spinlock_t f_lock ;
3483 int f_sb_list_cpu ;
3484 atomic_long_t f_count ;
3485 unsigned int f_flags ;
3486 fmode_t f_mode ;
3487 loff_t f_pos ;
3488 struct fown_struct f_owner ;
3489 struct cred const *f_cred ;
3490 struct file_ra_state f_ra ;
3491 u64 f_version ;
3492 void *f_security ;
3493 void *private_data ;
3494 struct list_head f_ep_links ;
3495 struct list_head f_tfile_llink ;
3496 struct address_space *f_mapping ;
3497 unsigned long f_mnt_write_state ;
3498};
3499#line 1111 "include/linux/fs.h"
3500typedef struct files_struct *fl_owner_t;
3501#line 1113 "include/linux/fs.h"
3502struct file_lock_operations {
3503 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3504 void (*fl_release_private)(struct file_lock * ) ;
3505};
3506#line 1118 "include/linux/fs.h"
3507struct lock_manager_operations {
3508 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3509 void (*lm_notify)(struct file_lock * ) ;
3510 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
3511 void (*lm_release_private)(struct file_lock * ) ;
3512 void (*lm_break)(struct file_lock * ) ;
3513 int (*lm_change)(struct file_lock ** , int ) ;
3514};
3515#line 4 "include/linux/nfs_fs_i.h"
3516struct nlm_lockowner;
3517#line 4
3518struct nlm_lockowner;
3519#line 9 "include/linux/nfs_fs_i.h"
3520struct nfs_lock_info {
3521 u32 state ;
3522 struct nlm_lockowner *owner ;
3523 struct list_head list ;
3524};
3525#line 15
3526struct nfs4_lock_state;
3527#line 15
3528struct nfs4_lock_state;
3529#line 16 "include/linux/nfs_fs_i.h"
3530struct nfs4_lock_info {
3531 struct nfs4_lock_state *owner ;
3532};
3533#line 1138 "include/linux/fs.h"
3534struct fasync_struct;
3535#line 1138 "include/linux/fs.h"
3536struct __anonstruct_afs_255 {
3537 struct list_head link ;
3538 int state ;
3539};
3540#line 1138 "include/linux/fs.h"
3541union __anonunion_fl_u_254 {
3542 struct nfs_lock_info nfs_fl ;
3543 struct nfs4_lock_info nfs4_fl ;
3544 struct __anonstruct_afs_255 afs ;
3545};
3546#line 1138 "include/linux/fs.h"
3547struct file_lock {
3548 struct file_lock *fl_next ;
3549 struct list_head fl_link ;
3550 struct list_head fl_block ;
3551 fl_owner_t fl_owner ;
3552 unsigned int fl_flags ;
3553 unsigned char fl_type ;
3554 unsigned int fl_pid ;
3555 struct pid *fl_nspid ;
3556 wait_queue_head_t fl_wait ;
3557 struct file *fl_file ;
3558 loff_t fl_start ;
3559 loff_t fl_end ;
3560 struct fasync_struct *fl_fasync ;
3561 unsigned long fl_break_time ;
3562 unsigned long fl_downgrade_time ;
3563 struct file_lock_operations const *fl_ops ;
3564 struct lock_manager_operations const *fl_lmops ;
3565 union __anonunion_fl_u_254 fl_u ;
3566};
3567#line 1378 "include/linux/fs.h"
3568struct fasync_struct {
3569 spinlock_t fa_lock ;
3570 int magic ;
3571 int fa_fd ;
3572 struct fasync_struct *fa_next ;
3573 struct file *fa_file ;
3574 struct rcu_head fa_rcu ;
3575};
3576#line 1418
3577struct file_system_type;
3578#line 1418
3579struct super_operations;
3580#line 1418
3581struct xattr_handler;
3582#line 1418
3583struct mtd_info;
3584#line 1418 "include/linux/fs.h"
3585struct super_block {
3586 struct list_head s_list ;
3587 dev_t s_dev ;
3588 unsigned char s_dirt ;
3589 unsigned char s_blocksize_bits ;
3590 unsigned long s_blocksize ;
3591 loff_t s_maxbytes ;
3592 struct file_system_type *s_type ;
3593 struct super_operations const *s_op ;
3594 struct dquot_operations const *dq_op ;
3595 struct quotactl_ops const *s_qcop ;
3596 struct export_operations const *s_export_op ;
3597 unsigned long s_flags ;
3598 unsigned long s_magic ;
3599 struct dentry *s_root ;
3600 struct rw_semaphore s_umount ;
3601 struct mutex s_lock ;
3602 int s_count ;
3603 atomic_t s_active ;
3604 void *s_security ;
3605 struct xattr_handler const **s_xattr ;
3606 struct list_head s_inodes ;
3607 struct hlist_bl_head s_anon ;
3608 struct list_head *s_files ;
3609 struct list_head s_mounts ;
3610 struct list_head s_dentry_lru ;
3611 int s_nr_dentry_unused ;
3612 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
3613 struct list_head s_inode_lru ;
3614 int s_nr_inodes_unused ;
3615 struct block_device *s_bdev ;
3616 struct backing_dev_info *s_bdi ;
3617 struct mtd_info *s_mtd ;
3618 struct hlist_node s_instances ;
3619 struct quota_info s_dquot ;
3620 int s_frozen ;
3621 wait_queue_head_t s_wait_unfrozen ;
3622 char s_id[32] ;
3623 u8 s_uuid[16] ;
3624 void *s_fs_info ;
3625 unsigned int s_max_links ;
3626 fmode_t s_mode ;
3627 u32 s_time_gran ;
3628 struct mutex s_vfs_rename_mutex ;
3629 char *s_subtype ;
3630 char *s_options ;
3631 struct dentry_operations const *s_d_op ;
3632 int cleancache_poolid ;
3633 struct shrinker s_shrink ;
3634 atomic_long_t s_remove_count ;
3635 int s_readonly_remount ;
3636};
3637#line 1567 "include/linux/fs.h"
3638struct fiemap_extent_info {
3639 unsigned int fi_flags ;
3640 unsigned int fi_extents_mapped ;
3641 unsigned int fi_extents_max ;
3642 struct fiemap_extent *fi_extents_start ;
3643};
3644#line 1609 "include/linux/fs.h"
3645struct file_operations {
3646 struct module *owner ;
3647 loff_t (*llseek)(struct file * , loff_t , int ) ;
3648 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
3649 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
3650 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
3651 loff_t ) ;
3652 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
3653 loff_t ) ;
3654 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
3655 loff_t , u64 , unsigned int ) ) ;
3656 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3657 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
3658 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
3659 int (*mmap)(struct file * , struct vm_area_struct * ) ;
3660 int (*open)(struct inode * , struct file * ) ;
3661 int (*flush)(struct file * , fl_owner_t id ) ;
3662 int (*release)(struct inode * , struct file * ) ;
3663 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
3664 int (*aio_fsync)(struct kiocb * , int datasync ) ;
3665 int (*fasync)(int , struct file * , int ) ;
3666 int (*lock)(struct file * , int , struct file_lock * ) ;
3667 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
3668 int ) ;
3669 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
3670 unsigned long , unsigned long ) ;
3671 int (*check_flags)(int ) ;
3672 int (*flock)(struct file * , int , struct file_lock * ) ;
3673 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
3674 unsigned int ) ;
3675 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
3676 unsigned int ) ;
3677 int (*setlease)(struct file * , long , struct file_lock ** ) ;
3678 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
3679};
3680#line 1639 "include/linux/fs.h"
3681struct inode_operations {
3682 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3683 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3684 int (*permission)(struct inode * , int ) ;
3685 struct posix_acl *(*get_acl)(struct inode * , int ) ;
3686 int (*readlink)(struct dentry * , char * , int ) ;
3687 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3688 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
3689 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3690 int (*unlink)(struct inode * , struct dentry * ) ;
3691 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
3692 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
3693 int (*rmdir)(struct inode * , struct dentry * ) ;
3694 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
3695 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3696 void (*truncate)(struct inode * ) ;
3697 int (*setattr)(struct dentry * , struct iattr * ) ;
3698 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
3699 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
3700 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
3701 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
3702 int (*removexattr)(struct dentry * , char const * ) ;
3703 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
3704 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
3705} __attribute__((__aligned__((1) << (6) ))) ;
3706#line 1669
3707struct seq_file;
3708#line 1684 "include/linux/fs.h"
3709struct super_operations {
3710 struct inode *(*alloc_inode)(struct super_block *sb ) ;
3711 void (*destroy_inode)(struct inode * ) ;
3712 void (*dirty_inode)(struct inode * , int flags ) ;
3713 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
3714 int (*drop_inode)(struct inode * ) ;
3715 void (*evict_inode)(struct inode * ) ;
3716 void (*put_super)(struct super_block * ) ;
3717 void (*write_super)(struct super_block * ) ;
3718 int (*sync_fs)(struct super_block *sb , int wait ) ;
3719 int (*freeze_fs)(struct super_block * ) ;
3720 int (*unfreeze_fs)(struct super_block * ) ;
3721 int (*statfs)(struct dentry * , struct kstatfs * ) ;
3722 int (*remount_fs)(struct super_block * , int * , char * ) ;
3723 void (*umount_begin)(struct super_block * ) ;
3724 int (*show_options)(struct seq_file * , struct dentry * ) ;
3725 int (*show_devname)(struct seq_file * , struct dentry * ) ;
3726 int (*show_path)(struct seq_file * , struct dentry * ) ;
3727 int (*show_stats)(struct seq_file * , struct dentry * ) ;
3728 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
3729 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
3730 loff_t ) ;
3731 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
3732 int (*nr_cached_objects)(struct super_block * ) ;
3733 void (*free_cached_objects)(struct super_block * , int ) ;
3734};
3735#line 1835 "include/linux/fs.h"
3736struct file_system_type {
3737 char const *name ;
3738 int fs_flags ;
3739 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
3740 void (*kill_sb)(struct super_block * ) ;
3741 struct module *owner ;
3742 struct file_system_type *next ;
3743 struct hlist_head fs_supers ;
3744 struct lock_class_key s_lock_key ;
3745 struct lock_class_key s_umount_key ;
3746 struct lock_class_key s_vfs_rename_key ;
3747 struct lock_class_key i_lock_key ;
3748 struct lock_class_key i_mutex_key ;
3749 struct lock_class_key i_mutex_dir_key ;
3750};
3751#line 11 "include/linux/proc_fs.h"
3752struct completion;
3753#line 12
3754struct mm_struct;
3755#line 46 "include/linux/proc_fs.h"
3756typedef int read_proc_t(char *page , char **start , off_t off , int count , int *eof ,
3757 void *data );
3758#line 48 "include/linux/proc_fs.h"
3759typedef int write_proc_t(struct file *file , char const *buffer , unsigned long count ,
3760 void *data );
3761#line 51 "include/linux/proc_fs.h"
3762struct proc_dir_entry {
3763 unsigned int low_ino ;
3764 umode_t mode ;
3765 nlink_t nlink ;
3766 uid_t uid ;
3767 gid_t gid ;
3768 loff_t size ;
3769 struct inode_operations const *proc_iops ;
3770 struct file_operations const *proc_fops ;
3771 struct proc_dir_entry *next ;
3772 struct proc_dir_entry *parent ;
3773 struct proc_dir_entry *subdir ;
3774 void *data ;
3775 read_proc_t *read_proc ;
3776 write_proc_t *write_proc ;
3777 atomic_t count ;
3778 int pde_users ;
3779 struct completion *pde_unload_completion ;
3780 struct list_head pde_openers ;
3781 spinlock_t pde_unload_lock ;
3782 u8 namelen ;
3783 char name[] ;
3784};
3785#line 117
3786struct pid_namespace;
3787#line 243
3788struct nsproxy;
3789#line 100 "include/acpi/acpi_drivers.h"
3790struct pci_bus;
3791#line 133 "include/linux/acpi.h"
3792struct pci_dev;
3793#line 26 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
3794struct ioapic {
3795 acpi_handle handle ;
3796 u32 gsi_base ;
3797};
3798#line 1 "<compiler builtins>"
3799long __builtin_expect(long val , long res ) ;
3800#line 152 "include/linux/mutex.h"
3801void mutex_lock(struct mutex *lock ) ;
3802#line 153
3803int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3804#line 154
3805int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3806#line 168
3807int mutex_trylock(struct mutex *lock ) ;
3808#line 169
3809void mutex_unlock(struct mutex *lock ) ;
3810#line 170
3811int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3812#line 792 "include/linux/device.h"
3813extern void *dev_get_drvdata(struct device const *dev ) ;
3814#line 793
3815extern int dev_set_drvdata(struct device *dev , void *data ) ;
3816#line 897
3817extern int ( _dev_info)(struct device const *dev , char const *fmt
3818 , ...) ;
3819#line 773 "include/linux/pci.h"
3820extern int __attribute__((__warn_unused_result__)) pci_enable_device(struct pci_dev *dev ) ;
3821#line 790
3822extern void pci_disable_device(struct pci_dev *dev ) ;
3823#line 793
3824extern void pci_set_master(struct pci_dev *dev ) ;
3825#line 907
3826extern int __attribute__((__warn_unused_result__)) pci_request_region(struct pci_dev * ,
3827 int , char const * ) ;
3828#line 909
3829extern void pci_release_region(struct pci_dev * , int ) ;
3830#line 940
3831extern int __attribute__((__warn_unused_result__)) __pci_register_driver(struct pci_driver * ,
3832 struct module * ,
3833 char const *mod_name ) ;
3834#line 949
3835extern void pci_unregister_driver(struct pci_driver *dev ) ;
3836#line 161 "include/linux/slab.h"
3837extern void kfree(void const * ) ;
3838#line 221 "include/linux/slub_def.h"
3839extern void *__kmalloc(size_t size , gfp_t flags ) ;
3840#line 268
3841__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3842 gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3843#line 268 "include/linux/slub_def.h"
3844__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
3845 gfp_t flags )
3846{ void *tmp___2 ;
3847
3848 {
3849 {
3850#line 283
3851 tmp___2 = __kmalloc(size, flags);
3852 }
3853#line 283
3854 return (tmp___2);
3855}
3856}
3857#line 349 "include/linux/slab.h"
3858__inline static void *kzalloc(size_t size , gfp_t flags ) __attribute__((__no_instrument_function__)) ;
3859#line 349 "include/linux/slab.h"
3860__inline static void *kzalloc(size_t size , gfp_t flags )
3861{ void *tmp ;
3862 unsigned int __cil_tmp4 ;
3863
3864 {
3865 {
3866#line 351
3867 __cil_tmp4 = flags | 32768U;
3868#line 351
3869 tmp = kmalloc(size, __cil_tmp4);
3870 }
3871#line 351
3872 return (tmp);
3873}
3874}
3875#line 1358 "include/linux/pci.h"
3876__inline static void *pci_get_drvdata(struct pci_dev *pdev ) __attribute__((__no_instrument_function__)) ;
3877#line 1358 "include/linux/pci.h"
3878__inline static void *pci_get_drvdata(struct pci_dev *pdev )
3879{ void *tmp ;
3880 unsigned long __cil_tmp3 ;
3881 unsigned long __cil_tmp4 ;
3882 struct device *__cil_tmp5 ;
3883 struct device const *__cil_tmp6 ;
3884
3885 {
3886 {
3887#line 1360
3888 __cil_tmp3 = (unsigned long )pdev;
3889#line 1360
3890 __cil_tmp4 = __cil_tmp3 + 144;
3891#line 1360
3892 __cil_tmp5 = (struct device *)__cil_tmp4;
3893#line 1360
3894 __cil_tmp6 = (struct device const *)__cil_tmp5;
3895#line 1360
3896 tmp = dev_get_drvdata(__cil_tmp6);
3897 }
3898#line 1360
3899 return (tmp);
3900}
3901}
3902#line 1363
3903__inline static void pci_set_drvdata(struct pci_dev *pdev , void *data ) __attribute__((__no_instrument_function__)) ;
3904#line 1363 "include/linux/pci.h"
3905__inline static void pci_set_drvdata(struct pci_dev *pdev , void *data )
3906{ unsigned long __cil_tmp3 ;
3907 unsigned long __cil_tmp4 ;
3908 struct device *__cil_tmp5 ;
3909
3910 {
3911 {
3912#line 1365
3913 __cil_tmp3 = (unsigned long )pdev;
3914#line 1365
3915 __cil_tmp4 = __cil_tmp3 + 144;
3916#line 1365
3917 __cil_tmp5 = (struct device *)__cil_tmp4;
3918#line 1365
3919 dev_set_drvdata(__cil_tmp5, data);
3920 }
3921#line 1366
3922 return;
3923}
3924}
3925#line 26 "include/linux/export.h"
3926extern struct module __this_module ;
3927#line 67 "include/linux/module.h"
3928int init_module(void) ;
3929#line 68
3930void cleanup_module(void) ;
3931#line 44 "include/acpi/acpi_bus.h"
3932extern acpi_status acpi_evaluate_integer(acpi_handle handle , acpi_string pathname ,
3933 struct acpi_object_list *arguments , unsigned long long *data ) ;
3934#line 108 "include/linux/acpi.h"
3935extern int acpi_register_ioapic(acpi_handle handle , u64 phys_addr , u32 gsi_base ) ;
3936#line 109
3937extern int acpi_unregister_ioapic(acpi_handle handle , u32 gsi_base ) ;
3938#line 31 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
3939static int ioapic_probe(struct pci_dev *dev , struct pci_device_id const *ent ) __attribute__((__section__(".devinit.text"),
3940__no_instrument_function__)) ;
3941#line 31 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
3942static int ioapic_probe(struct pci_dev *dev , struct pci_device_id const *ent )
3943{ acpi_handle handle ;
3944 acpi_status status ;
3945 unsigned long long gsb ;
3946 struct ioapic *ioapic ;
3947 int ret ;
3948 char *type ;
3949 struct resource *res ;
3950 void *tmp___7 ;
3951 int tmp___8 ;
3952 int tmp___9 ;
3953 unsigned long __cil_tmp13 ;
3954 unsigned long __cil_tmp14 ;
3955 unsigned long __cil_tmp15 ;
3956 acpi_string __cil_tmp16 ;
3957 void *__cil_tmp17 ;
3958 struct acpi_object_list *__cil_tmp18 ;
3959 unsigned long __cil_tmp19 ;
3960 unsigned long __cil_tmp20 ;
3961 unsigned long long *__cil_tmp21 ;
3962 unsigned long long __cil_tmp22 ;
3963 unsigned long __cil_tmp23 ;
3964 unsigned long __cil_tmp24 ;
3965 unsigned int __cil_tmp25 ;
3966 char const *__cil_tmp26 ;
3967 unsigned long __cil_tmp27 ;
3968 unsigned long __cil_tmp28 ;
3969 unsigned long __cil_tmp29 ;
3970 unsigned long __cil_tmp30 ;
3971 acpi_handle __cil_tmp31 ;
3972 resource_size_t __cil_tmp32 ;
3973 unsigned long __cil_tmp33 ;
3974 unsigned long __cil_tmp34 ;
3975 u32 __cil_tmp35 ;
3976 void *__cil_tmp36 ;
3977 unsigned long __cil_tmp37 ;
3978 unsigned long __cil_tmp38 ;
3979 struct device *__cil_tmp39 ;
3980 struct device const *__cil_tmp40 ;
3981 unsigned long __cil_tmp41 ;
3982 unsigned long __cil_tmp42 ;
3983 u32 __cil_tmp43 ;
3984 void const *__cil_tmp44 ;
3985
3986 {
3987#line 41
3988 __cil_tmp13 = 144 + 632;
3989#line 41
3990 __cil_tmp14 = (unsigned long )dev;
3991#line 41
3992 __cil_tmp15 = __cil_tmp14 + __cil_tmp13;
3993#line 41
3994 handle = *((void **)__cil_tmp15);
3995#line 42
3996 if (! handle) {
3997#line 43
3998 return (-22);
3999 } else {
4000
4001 }
4002 {
4003#line 45
4004 __cil_tmp16 = (acpi_string )"_GSB";
4005#line 45
4006 __cil_tmp17 = (void *)0;
4007#line 45
4008 __cil_tmp18 = (struct acpi_object_list *)__cil_tmp17;
4009#line 45
4010 status = acpi_evaluate_integer(handle, __cil_tmp16, __cil_tmp18, & gsb);
4011 }
4012#line 46
4013 if (status) {
4014#line 47
4015 return (-22);
4016 } else {
4017
4018 }
4019 {
4020#line 54
4021 tmp___7 = kzalloc(16UL, 208U);
4022#line 54
4023 ioapic = (struct ioapic *)tmp___7;
4024 }
4025#line 55
4026 if (! ioapic) {
4027#line 56
4028 return (-12);
4029 } else {
4030
4031 }
4032#line 58
4033 *((acpi_handle *)ioapic) = handle;
4034#line 59
4035 __cil_tmp19 = (unsigned long )ioapic;
4036#line 59
4037 __cil_tmp20 = __cil_tmp19 + 8;
4038#line 59
4039 __cil_tmp21 = & gsb;
4040#line 59
4041 __cil_tmp22 = *__cil_tmp21;
4042#line 59
4043 *((u32 *)__cil_tmp20) = (u32 )__cil_tmp22;
4044 {
4045#line 61
4046 __cil_tmp23 = (unsigned long )dev;
4047#line 61
4048 __cil_tmp24 = __cil_tmp23 + 68;
4049#line 61
4050 __cil_tmp25 = *((unsigned int *)__cil_tmp24);
4051#line 61
4052 if (__cil_tmp25 == 524304U) {
4053#line 62
4054 type = (char *)"IOAPIC";
4055 } else {
4056#line 64
4057 type = (char *)"IOxAPIC";
4058 }
4059 }
4060 {
4061#line 66
4062 ret = (int )pci_enable_device(dev);
4063 }
4064#line 67
4065 if (ret < 0) {
4066#line 68
4067 goto exit_free;
4068 } else {
4069
4070 }
4071 {
4072#line 70
4073 pci_set_master(dev);
4074#line 72
4075 __cil_tmp26 = (char const *)type;
4076#line 72
4077 tmp___8 = (int )pci_request_region(dev, 0, __cil_tmp26);
4078 }
4079#line 72
4080 if (tmp___8) {
4081#line 73
4082 goto exit_disable;
4083 } else {
4084
4085 }
4086 {
4087#line 75
4088 __cil_tmp27 = 0 * 56UL;
4089#line 75
4090 __cil_tmp28 = 920 + __cil_tmp27;
4091#line 75
4092 __cil_tmp29 = (unsigned long )dev;
4093#line 75
4094 __cil_tmp30 = __cil_tmp29 + __cil_tmp28;
4095#line 75
4096 res = (struct resource *)__cil_tmp30;
4097#line 76
4098 __cil_tmp31 = *((acpi_handle *)ioapic);
4099#line 76
4100 __cil_tmp32 = *((resource_size_t *)res);
4101#line 76
4102 __cil_tmp33 = (unsigned long )ioapic;
4103#line 76
4104 __cil_tmp34 = __cil_tmp33 + 8;
4105#line 76
4106 __cil_tmp35 = *((u32 *)__cil_tmp34);
4107#line 76
4108 tmp___9 = acpi_register_ioapic(__cil_tmp31, __cil_tmp32, __cil_tmp35);
4109 }
4110#line 76
4111 if (tmp___9) {
4112#line 77
4113 goto exit_release;
4114 } else {
4115
4116 }
4117 {
4118#line 79
4119 __cil_tmp36 = (void *)ioapic;
4120#line 79
4121 pci_set_drvdata(dev, __cil_tmp36);
4122#line 80
4123 __cil_tmp37 = (unsigned long )dev;
4124#line 80
4125 __cil_tmp38 = __cil_tmp37 + 144;
4126#line 80
4127 __cil_tmp39 = (struct device *)__cil_tmp38;
4128#line 80
4129 __cil_tmp40 = (struct device const *)__cil_tmp39;
4130#line 80
4131 __cil_tmp41 = (unsigned long )ioapic;
4132#line 80
4133 __cil_tmp42 = __cil_tmp41 + 8;
4134#line 80
4135 __cil_tmp43 = *((u32 *)__cil_tmp42);
4136#line 80
4137 _dev_info(__cil_tmp40, "%s at %pR, GSI %u\n", type, res, __cil_tmp43);
4138 }
4139#line 81
4140 return (0);
4141 exit_release:
4142 {
4143#line 84
4144 pci_release_region(dev, 0);
4145 }
4146 exit_disable:
4147 {
4148#line 86
4149 pci_disable_device(dev);
4150 }
4151 exit_free:
4152 {
4153#line 88
4154 __cil_tmp44 = (void const *)ioapic;
4155#line 88
4156 kfree(__cil_tmp44);
4157 }
4158#line 89
4159 return (-19);
4160}
4161}
4162#line 92
4163static void ioapic_remove(struct pci_dev *dev ) __attribute__((__section__(".devexit.text"),
4164__no_instrument_function__)) ;
4165#line 92 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4166static void ioapic_remove(struct pci_dev *dev )
4167{ struct ioapic *ioapic ;
4168 void *tmp___7 ;
4169 acpi_handle __cil_tmp4 ;
4170 unsigned long __cil_tmp5 ;
4171 unsigned long __cil_tmp6 ;
4172 u32 __cil_tmp7 ;
4173 void const *__cil_tmp8 ;
4174
4175 {
4176 {
4177#line 94
4178 tmp___7 = pci_get_drvdata(dev);
4179#line 94
4180 ioapic = (struct ioapic *)tmp___7;
4181#line 96
4182 __cil_tmp4 = *((acpi_handle *)ioapic);
4183#line 96
4184 __cil_tmp5 = (unsigned long )ioapic;
4185#line 96
4186 __cil_tmp6 = __cil_tmp5 + 8;
4187#line 96
4188 __cil_tmp7 = *((u32 *)__cil_tmp6);
4189#line 96
4190 acpi_unregister_ioapic(__cil_tmp4, __cil_tmp7);
4191#line 97
4192 pci_release_region(dev, 0);
4193#line 98
4194 pci_disable_device(dev);
4195#line 99
4196 __cil_tmp8 = (void const *)ioapic;
4197#line 99
4198 kfree(__cil_tmp8);
4199 }
4200#line 100
4201 return;
4202}
4203}
4204#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4205static struct pci_device_id const ioapic_devices[2] __attribute__((__section__(".devinit.rodata"))) = { {(__u32 )(~ 0),
4206 (__u32 )(~ 0), (__u32 )(~ 0), (__u32 )(~ 0), (__u32 )524304, (__u32 )(~ 0),
4207 0UL},
4208 {(__u32 )(~ 0), (__u32 )(~ 0), (__u32 )(~ 0), (__u32 )(~ 0), (__u32 )524320,
4209 (__u32 )(~ 0), 0UL}};
4210#line 108
4211extern struct pci_device_id const __mod_pci_device_table __attribute__((__unused__,
4212__alias__("ioapic_devices"))) ;
4213#line 110 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4214static struct pci_driver ioapic_driver =
4215#line 110
4216 {{(struct list_head *)0, (struct list_head *)0}, "ioapic", ioapic_devices, & ioapic_probe,
4217 & ioapic_remove, (int (*)(struct pci_dev *dev , pm_message_t state ))0, (int (*)(struct pci_dev *dev ,
4218 pm_message_t state ))0,
4219 (int (*)(struct pci_dev *dev ))0, (int (*)(struct pci_dev *dev ))0, (void (*)(struct pci_dev *dev ))0,
4220 (struct pci_error_handlers *)0, {(char const *)0, (struct bus_type *)0, (struct module *)0,
4221 (char const *)0, (_Bool)0, (struct of_device_id const *)0,
4222 (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
4223 (void (*)(struct device *dev ))0, (int (*)(struct device *dev ,
4224 pm_message_t state ))0,
4225 (int (*)(struct device *dev ))0, (struct attribute_group const **)0,
4226 (struct dev_pm_ops const *)0, (struct driver_private *)0},
4227 {{{{{{0U}}, 0U, 0U, (void *)0}}}, {(struct list_head *)0, (struct list_head *)0}}};
4228#line 117
4229static int ioapic_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
4230#line 117 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4231static int ioapic_init(void)
4232{ int tmp___7 ;
4233
4234 {
4235 {
4236#line 119
4237 tmp___7 = (int )__pci_register_driver(& ioapic_driver, & __this_module, "ioapic");
4238 }
4239#line 119
4240 return (tmp___7);
4241}
4242}
4243#line 122
4244static void ioapic_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
4245#line 122 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4246static void ioapic_exit(void)
4247{
4248
4249 {
4250 {
4251#line 124
4252 pci_unregister_driver(& ioapic_driver);
4253 }
4254#line 125
4255 return;
4256}
4257}
4258#line 127 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4259int init_module(void)
4260{ int tmp___7 ;
4261
4262 {
4263 {
4264#line 127
4265 tmp___7 = ioapic_init();
4266 }
4267#line 127
4268 return (tmp___7);
4269}
4270}
4271#line 128 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4272void cleanup_module(void)
4273{
4274
4275 {
4276 {
4277#line 128
4278 ioapic_exit();
4279 }
4280#line 128
4281 return;
4282}
4283}
4284#line 146
4285void ldv_check_final_state(void) ;
4286#line 149
4287extern void ldv_check_return_value(int res ) ;
4288#line 152
4289extern void ldv_initialize(void) ;
4290#line 155
4291extern int __VERIFIER_nondet_int(void) ;
4292#line 158 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4293int LDV_IN_INTERRUPT ;
4294#line 175 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4295static int res_ioapic_probe_0 ;
4296#line 161 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4297void main(void)
4298{ struct pci_dev *var_group1 ;
4299 struct pci_device_id const *var_ioapic_probe_0_p1 ;
4300 int tmp___7 ;
4301 int ldv_s_ioapic_driver_pci_driver ;
4302 int tmp___8 ;
4303 int tmp___9 ;
4304 int __cil_tmp7 ;
4305
4306 {
4307 {
4308#line 183
4309 LDV_IN_INTERRUPT = 1;
4310#line 192
4311 ldv_initialize();
4312#line 198
4313 tmp___7 = ioapic_init();
4314 }
4315#line 198
4316 if (tmp___7) {
4317#line 199
4318 goto ldv_final;
4319 } else {
4320
4321 }
4322#line 200
4323 ldv_s_ioapic_driver_pci_driver = 0;
4324 {
4325#line 203
4326 while (1) {
4327 while_continue: ;
4328 {
4329#line 203
4330 tmp___9 = __VERIFIER_nondet_int();
4331 }
4332#line 203
4333 if (tmp___9) {
4334
4335 } else {
4336 {
4337#line 203
4338 __cil_tmp7 = ldv_s_ioapic_driver_pci_driver == 0;
4339#line 203
4340 if (! __cil_tmp7) {
4341
4342 } else {
4343#line 203
4344 goto while_break;
4345 }
4346 }
4347 }
4348 {
4349#line 207
4350 tmp___8 = __VERIFIER_nondet_int();
4351 }
4352#line 209
4353 if (tmp___8 == 0) {
4354#line 209
4355 goto case_0;
4356 } else {
4357 {
4358#line 228
4359 goto switch_default;
4360#line 207
4361 if (0) {
4362 case_0:
4363#line 212
4364 if (ldv_s_ioapic_driver_pci_driver == 0) {
4365 {
4366#line 217
4367 res_ioapic_probe_0 = ioapic_probe(var_group1, var_ioapic_probe_0_p1);
4368#line 218
4369 ldv_check_return_value(res_ioapic_probe_0);
4370 }
4371#line 219
4372 if (res_ioapic_probe_0) {
4373#line 220
4374 goto ldv_module_exit;
4375 } else {
4376
4377 }
4378#line 221
4379 ldv_s_ioapic_driver_pci_driver = 0;
4380 } else {
4381
4382 }
4383#line 227
4384 goto switch_break;
4385 switch_default:
4386#line 228
4387 goto switch_break;
4388 } else {
4389 switch_break: ;
4390 }
4391 }
4392 }
4393 }
4394 while_break: ;
4395 }
4396 ldv_module_exit:
4397 {
4398#line 240
4399 ioapic_exit();
4400 }
4401 ldv_final:
4402 {
4403#line 243
4404 ldv_check_final_state();
4405 }
4406#line 246
4407 return;
4408}
4409}
4410#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4411void ldv_blast_assert(void)
4412{
4413
4414 {
4415 ERROR:
4416#line 6
4417 goto ERROR;
4418}
4419}
4420#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4421extern int __VERIFIER_nondet_int(void) ;
4422#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4423int ldv_mutex = 1;
4424#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4425int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4426{ int nondetermined ;
4427
4428 {
4429#line 29
4430 if (ldv_mutex == 1) {
4431
4432 } else {
4433 {
4434#line 29
4435 ldv_blast_assert();
4436 }
4437 }
4438 {
4439#line 32
4440 nondetermined = __VERIFIER_nondet_int();
4441 }
4442#line 35
4443 if (nondetermined) {
4444#line 38
4445 ldv_mutex = 2;
4446#line 40
4447 return (0);
4448 } else {
4449#line 45
4450 return (-4);
4451 }
4452}
4453}
4454#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4455int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4456{ int nondetermined ;
4457
4458 {
4459#line 57
4460 if (ldv_mutex == 1) {
4461
4462 } else {
4463 {
4464#line 57
4465 ldv_blast_assert();
4466 }
4467 }
4468 {
4469#line 60
4470 nondetermined = __VERIFIER_nondet_int();
4471 }
4472#line 63
4473 if (nondetermined) {
4474#line 66
4475 ldv_mutex = 2;
4476#line 68
4477 return (0);
4478 } else {
4479#line 73
4480 return (-4);
4481 }
4482}
4483}
4484#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4485int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4486{ int atomic_value_after_dec ;
4487
4488 {
4489#line 83
4490 if (ldv_mutex == 1) {
4491
4492 } else {
4493 {
4494#line 83
4495 ldv_blast_assert();
4496 }
4497 }
4498 {
4499#line 86
4500 atomic_value_after_dec = __VERIFIER_nondet_int();
4501 }
4502#line 89
4503 if (atomic_value_after_dec == 0) {
4504#line 92
4505 ldv_mutex = 2;
4506#line 94
4507 return (1);
4508 } else {
4509
4510 }
4511#line 98
4512 return (0);
4513}
4514}
4515#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4516void mutex_lock(struct mutex *lock )
4517{
4518
4519 {
4520#line 108
4521 if (ldv_mutex == 1) {
4522
4523 } else {
4524 {
4525#line 108
4526 ldv_blast_assert();
4527 }
4528 }
4529#line 110
4530 ldv_mutex = 2;
4531#line 111
4532 return;
4533}
4534}
4535#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4536int mutex_trylock(struct mutex *lock )
4537{ int nondetermined ;
4538
4539 {
4540#line 121
4541 if (ldv_mutex == 1) {
4542
4543 } else {
4544 {
4545#line 121
4546 ldv_blast_assert();
4547 }
4548 }
4549 {
4550#line 124
4551 nondetermined = __VERIFIER_nondet_int();
4552 }
4553#line 127
4554 if (nondetermined) {
4555#line 130
4556 ldv_mutex = 2;
4557#line 132
4558 return (1);
4559 } else {
4560#line 137
4561 return (0);
4562 }
4563}
4564}
4565#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4566void mutex_unlock(struct mutex *lock )
4567{
4568
4569 {
4570#line 147
4571 if (ldv_mutex == 2) {
4572
4573 } else {
4574 {
4575#line 147
4576 ldv_blast_assert();
4577 }
4578 }
4579#line 149
4580 ldv_mutex = 1;
4581#line 150
4582 return;
4583}
4584}
4585#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4586void ldv_check_final_state(void)
4587{
4588
4589 {
4590#line 156
4591 if (ldv_mutex == 1) {
4592
4593 } else {
4594 {
4595#line 156
4596 ldv_blast_assert();
4597 }
4598 }
4599#line 157
4600 return;
4601}
4602}
4603#line 255 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17434/dscv_tempdir/dscv/ri/32_1/drivers/pci/ioapic.c.common.c"
4604long s__builtin_expect(long val , long res )
4605{
4606
4607 {
4608#line 256
4609 return (val);
4610}
4611}