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