1
2
3
4#line 23 "include/asm-generic/int-ll64.h"
5typedef unsigned short __u16;
6#line 25 "include/asm-generic/int-ll64.h"
7typedef int __s32;
8#line 26 "include/asm-generic/int-ll64.h"
9typedef unsigned int __u32;
10#line 30 "include/asm-generic/int-ll64.h"
11typedef unsigned long long __u64;
12#line 43 "include/asm-generic/int-ll64.h"
13typedef unsigned char u8;
14#line 45 "include/asm-generic/int-ll64.h"
15typedef short s16;
16#line 46 "include/asm-generic/int-ll64.h"
17typedef unsigned short u16;
18#line 49 "include/asm-generic/int-ll64.h"
19typedef unsigned int u32;
20#line 51 "include/asm-generic/int-ll64.h"
21typedef long long s64;
22#line 52 "include/asm-generic/int-ll64.h"
23typedef unsigned long long u64;
24#line 14 "include/asm-generic/posix_types.h"
25typedef long __kernel_long_t;
26#line 15 "include/asm-generic/posix_types.h"
27typedef unsigned long __kernel_ulong_t;
28#line 31 "include/asm-generic/posix_types.h"
29typedef int __kernel_pid_t;
30#line 52 "include/asm-generic/posix_types.h"
31typedef unsigned int __kernel_uid32_t;
32#line 53 "include/asm-generic/posix_types.h"
33typedef unsigned int __kernel_gid32_t;
34#line 75 "include/asm-generic/posix_types.h"
35typedef __kernel_ulong_t __kernel_size_t;
36#line 76 "include/asm-generic/posix_types.h"
37typedef __kernel_long_t __kernel_ssize_t;
38#line 91 "include/asm-generic/posix_types.h"
39typedef long long __kernel_loff_t;
40#line 92 "include/asm-generic/posix_types.h"
41typedef __kernel_long_t __kernel_time_t;
42#line 93 "include/asm-generic/posix_types.h"
43typedef __kernel_long_t __kernel_clock_t;
44#line 94 "include/asm-generic/posix_types.h"
45typedef int __kernel_timer_t;
46#line 95 "include/asm-generic/posix_types.h"
47typedef int __kernel_clockid_t;
48#line 21 "include/linux/types.h"
49typedef __u32 __kernel_dev_t;
50#line 24 "include/linux/types.h"
51typedef __kernel_dev_t dev_t;
52#line 27 "include/linux/types.h"
53typedef unsigned short umode_t;
54#line 30 "include/linux/types.h"
55typedef __kernel_pid_t pid_t;
56#line 35 "include/linux/types.h"
57typedef __kernel_clockid_t clockid_t;
58#line 38 "include/linux/types.h"
59typedef _Bool bool;
60#line 40 "include/linux/types.h"
61typedef __kernel_uid32_t uid_t;
62#line 41 "include/linux/types.h"
63typedef __kernel_gid32_t gid_t;
64#line 54 "include/linux/types.h"
65typedef __kernel_loff_t loff_t;
66#line 63 "include/linux/types.h"
67typedef __kernel_size_t size_t;
68#line 68 "include/linux/types.h"
69typedef __kernel_ssize_t ssize_t;
70#line 78 "include/linux/types.h"
71typedef __kernel_time_t time_t;
72#line 111 "include/linux/types.h"
73typedef __s32 int32_t;
74#line 117 "include/linux/types.h"
75typedef __u32 uint32_t;
76#line 155 "include/linux/types.h"
77typedef u64 dma_addr_t;
78#line 202 "include/linux/types.h"
79typedef unsigned int gfp_t;
80#line 219 "include/linux/types.h"
81struct __anonstruct_atomic_t_7 {
82 int counter ;
83};
84#line 219 "include/linux/types.h"
85typedef struct __anonstruct_atomic_t_7 atomic_t;
86#line 224 "include/linux/types.h"
87struct __anonstruct_atomic64_t_8 {
88 long counter ;
89};
90#line 224 "include/linux/types.h"
91typedef struct __anonstruct_atomic64_t_8 atomic64_t;
92#line 229 "include/linux/types.h"
93struct list_head {
94 struct list_head *next ;
95 struct list_head *prev ;
96};
97#line 233
98struct hlist_node;
99#line 233 "include/linux/types.h"
100struct hlist_head {
101 struct hlist_node *first ;
102};
103#line 237 "include/linux/types.h"
104struct hlist_node {
105 struct hlist_node *next ;
106 struct hlist_node **pprev ;
107};
108#line 253 "include/linux/types.h"
109struct rcu_head {
110 struct rcu_head *next ;
111 void (*func)(struct rcu_head *head ) ;
112};
113#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
114struct module;
115#line 56
116struct module;
117#line 146 "include/linux/init.h"
118typedef void (*ctor_fn_t)(void);
119#line 47 "include/linux/dynamic_debug.h"
120struct device;
121#line 47
122struct device;
123#line 135 "include/linux/kernel.h"
124struct completion;
125#line 135
126struct completion;
127#line 136
128struct pt_regs;
129#line 136
130struct pt_regs;
131#line 349
132struct pid;
133#line 349
134struct pid;
135#line 12 "include/linux/thread_info.h"
136struct timespec;
137#line 12
138struct timespec;
139#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
140struct page;
141#line 18
142struct page;
143#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
144struct task_struct;
145#line 20
146struct task_struct;
147#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
148struct task_struct;
149#line 8
150struct mm_struct;
151#line 8
152struct mm_struct;
153#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
154struct pt_regs {
155 unsigned long r15 ;
156 unsigned long r14 ;
157 unsigned long r13 ;
158 unsigned long r12 ;
159 unsigned long bp ;
160 unsigned long bx ;
161 unsigned long r11 ;
162 unsigned long r10 ;
163 unsigned long r9 ;
164 unsigned long r8 ;
165 unsigned long ax ;
166 unsigned long cx ;
167 unsigned long dx ;
168 unsigned long si ;
169 unsigned long di ;
170 unsigned long orig_ax ;
171 unsigned long ip ;
172 unsigned long cs ;
173 unsigned long flags ;
174 unsigned long sp ;
175 unsigned long ss ;
176};
177#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
178struct __anonstruct____missing_field_name_15 {
179 unsigned int a ;
180 unsigned int b ;
181};
182#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
183struct __anonstruct____missing_field_name_16 {
184 u16 limit0 ;
185 u16 base0 ;
186 unsigned int base1 : 8 ;
187 unsigned int type : 4 ;
188 unsigned int s : 1 ;
189 unsigned int dpl : 2 ;
190 unsigned int p : 1 ;
191 unsigned int limit : 4 ;
192 unsigned int avl : 1 ;
193 unsigned int l : 1 ;
194 unsigned int d : 1 ;
195 unsigned int g : 1 ;
196 unsigned int base2 : 8 ;
197};
198#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
199union __anonunion____missing_field_name_14 {
200 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
201 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
202};
203#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
204struct desc_struct {
205 union __anonunion____missing_field_name_14 __annonCompField7 ;
206} __attribute__((__packed__)) ;
207#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
208typedef unsigned long pgdval_t;
209#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
210typedef unsigned long pgprotval_t;
211#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
212struct pgprot {
213 pgprotval_t pgprot ;
214};
215#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
216typedef struct pgprot pgprot_t;
217#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
218struct __anonstruct_pgd_t_20 {
219 pgdval_t pgd ;
220};
221#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
222typedef struct __anonstruct_pgd_t_20 pgd_t;
223#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
224typedef struct page *pgtable_t;
225#line 295
226struct file;
227#line 295
228struct file;
229#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
230struct page;
231#line 47
232struct thread_struct;
233#line 47
234struct thread_struct;
235#line 50
236struct mm_struct;
237#line 51
238struct desc_struct;
239#line 52
240struct task_struct;
241#line 53
242struct cpumask;
243#line 53
244struct cpumask;
245#line 329
246struct arch_spinlock;
247#line 329
248struct arch_spinlock;
249#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
250struct task_struct;
251#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
252struct kernel_vm86_regs {
253 struct pt_regs pt ;
254 unsigned short es ;
255 unsigned short __esh ;
256 unsigned short ds ;
257 unsigned short __dsh ;
258 unsigned short fs ;
259 unsigned short __fsh ;
260 unsigned short gs ;
261 unsigned short __gsh ;
262};
263#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
264union __anonunion____missing_field_name_24 {
265 struct pt_regs *regs ;
266 struct kernel_vm86_regs *vm86 ;
267};
268#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
269struct math_emu_info {
270 long ___orig_eip ;
271 union __anonunion____missing_field_name_24 __annonCompField8 ;
272};
273#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
274struct task_struct;
275#line 10 "include/asm-generic/bug.h"
276struct bug_entry {
277 int bug_addr_disp ;
278 int file_disp ;
279 unsigned short line ;
280 unsigned short flags ;
281};
282#line 12 "include/linux/bug.h"
283struct pt_regs;
284#line 14 "include/linux/cpumask.h"
285struct cpumask {
286 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
287};
288#line 14 "include/linux/cpumask.h"
289typedef struct cpumask cpumask_t;
290#line 637 "include/linux/cpumask.h"
291typedef struct cpumask *cpumask_var_t;
292#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
293struct static_key;
294#line 234
295struct static_key;
296#line 11 "include/linux/personality.h"
297struct pt_regs;
298#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
299struct i387_fsave_struct {
300 u32 cwd ;
301 u32 swd ;
302 u32 twd ;
303 u32 fip ;
304 u32 fcs ;
305 u32 foo ;
306 u32 fos ;
307 u32 st_space[20] ;
308 u32 status ;
309};
310#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
311struct __anonstruct____missing_field_name_31 {
312 u64 rip ;
313 u64 rdp ;
314};
315#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
316struct __anonstruct____missing_field_name_32 {
317 u32 fip ;
318 u32 fcs ;
319 u32 foo ;
320 u32 fos ;
321};
322#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
323union __anonunion____missing_field_name_30 {
324 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
325 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
326};
327#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
328union __anonunion____missing_field_name_33 {
329 u32 padding1[12] ;
330 u32 sw_reserved[12] ;
331};
332#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
333struct i387_fxsave_struct {
334 u16 cwd ;
335 u16 swd ;
336 u16 twd ;
337 u16 fop ;
338 union __anonunion____missing_field_name_30 __annonCompField14 ;
339 u32 mxcsr ;
340 u32 mxcsr_mask ;
341 u32 st_space[32] ;
342 u32 xmm_space[64] ;
343 u32 padding[12] ;
344 union __anonunion____missing_field_name_33 __annonCompField15 ;
345} __attribute__((__aligned__(16))) ;
346#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
347struct i387_soft_struct {
348 u32 cwd ;
349 u32 swd ;
350 u32 twd ;
351 u32 fip ;
352 u32 fcs ;
353 u32 foo ;
354 u32 fos ;
355 u32 st_space[20] ;
356 u8 ftop ;
357 u8 changed ;
358 u8 lookahead ;
359 u8 no_update ;
360 u8 rm ;
361 u8 alimit ;
362 struct math_emu_info *info ;
363 u32 entry_eip ;
364};
365#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
366struct ymmh_struct {
367 u32 ymmh_space[64] ;
368};
369#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
370struct xsave_hdr_struct {
371 u64 xstate_bv ;
372 u64 reserved1[2] ;
373 u64 reserved2[5] ;
374} __attribute__((__packed__)) ;
375#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
376struct xsave_struct {
377 struct i387_fxsave_struct i387 ;
378 struct xsave_hdr_struct xsave_hdr ;
379 struct ymmh_struct ymmh ;
380} __attribute__((__packed__, __aligned__(64))) ;
381#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
382union thread_xstate {
383 struct i387_fsave_struct fsave ;
384 struct i387_fxsave_struct fxsave ;
385 struct i387_soft_struct soft ;
386 struct xsave_struct xsave ;
387};
388#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
389struct fpu {
390 unsigned int last_cpu ;
391 unsigned int has_fpu ;
392 union thread_xstate *state ;
393};
394#line 433
395struct kmem_cache;
396#line 435
397struct perf_event;
398#line 435
399struct perf_event;
400#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
401struct thread_struct {
402 struct desc_struct tls_array[3] ;
403 unsigned long sp0 ;
404 unsigned long sp ;
405 unsigned long usersp ;
406 unsigned short es ;
407 unsigned short ds ;
408 unsigned short fsindex ;
409 unsigned short gsindex ;
410 unsigned long fs ;
411 unsigned long gs ;
412 struct perf_event *ptrace_bps[4] ;
413 unsigned long debugreg6 ;
414 unsigned long ptrace_dr7 ;
415 unsigned long cr2 ;
416 unsigned long trap_nr ;
417 unsigned long error_code ;
418 struct fpu fpu ;
419 unsigned long *io_bitmap_ptr ;
420 unsigned long iopl ;
421 unsigned int io_bitmap_max ;
422};
423#line 23 "include/asm-generic/atomic-long.h"
424typedef atomic64_t atomic_long_t;
425#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
426typedef u16 __ticket_t;
427#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
428typedef u32 __ticketpair_t;
429#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
430struct __raw_tickets {
431 __ticket_t head ;
432 __ticket_t tail ;
433};
434#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
435union __anonunion____missing_field_name_36 {
436 __ticketpair_t head_tail ;
437 struct __raw_tickets tickets ;
438};
439#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
440struct arch_spinlock {
441 union __anonunion____missing_field_name_36 __annonCompField17 ;
442};
443#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
444typedef struct arch_spinlock arch_spinlock_t;
445#line 12 "include/linux/lockdep.h"
446struct task_struct;
447#line 20 "include/linux/spinlock_types.h"
448struct raw_spinlock {
449 arch_spinlock_t raw_lock ;
450 unsigned int magic ;
451 unsigned int owner_cpu ;
452 void *owner ;
453};
454#line 20 "include/linux/spinlock_types.h"
455typedef struct raw_spinlock raw_spinlock_t;
456#line 64 "include/linux/spinlock_types.h"
457union __anonunion____missing_field_name_39 {
458 struct raw_spinlock rlock ;
459};
460#line 64 "include/linux/spinlock_types.h"
461struct spinlock {
462 union __anonunion____missing_field_name_39 __annonCompField19 ;
463};
464#line 64 "include/linux/spinlock_types.h"
465typedef struct spinlock spinlock_t;
466#line 119 "include/linux/seqlock.h"
467struct seqcount {
468 unsigned int sequence ;
469};
470#line 119 "include/linux/seqlock.h"
471typedef struct seqcount seqcount_t;
472#line 14 "include/linux/time.h"
473struct timespec {
474 __kernel_time_t tv_sec ;
475 long tv_nsec ;
476};
477#line 49 "include/linux/wait.h"
478struct __wait_queue_head {
479 spinlock_t lock ;
480 struct list_head task_list ;
481};
482#line 53 "include/linux/wait.h"
483typedef struct __wait_queue_head wait_queue_head_t;
484#line 55
485struct task_struct;
486#line 98 "include/linux/nodemask.h"
487struct __anonstruct_nodemask_t_42 {
488 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
489};
490#line 98 "include/linux/nodemask.h"
491typedef struct __anonstruct_nodemask_t_42 nodemask_t;
492#line 60 "include/linux/pageblock-flags.h"
493struct page;
494#line 48 "include/linux/mutex.h"
495struct mutex {
496 atomic_t count ;
497 spinlock_t wait_lock ;
498 struct list_head wait_list ;
499 struct task_struct *owner ;
500 char const *name ;
501 void *magic ;
502};
503#line 69 "include/linux/mutex.h"
504struct mutex_waiter {
505 struct list_head list ;
506 struct task_struct *task ;
507 void *magic ;
508};
509#line 19 "include/linux/rwsem.h"
510struct rw_semaphore;
511#line 19
512struct rw_semaphore;
513#line 25 "include/linux/rwsem.h"
514struct rw_semaphore {
515 long count ;
516 raw_spinlock_t wait_lock ;
517 struct list_head wait_list ;
518};
519#line 25 "include/linux/completion.h"
520struct completion {
521 unsigned int done ;
522 wait_queue_head_t wait ;
523};
524#line 9 "include/linux/memory_hotplug.h"
525struct page;
526#line 202 "include/linux/ioport.h"
527struct device;
528#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
529struct device;
530#line 46 "include/linux/ktime.h"
531union ktime {
532 s64 tv64 ;
533};
534#line 59 "include/linux/ktime.h"
535typedef union ktime ktime_t;
536#line 10 "include/linux/timer.h"
537struct tvec_base;
538#line 10
539struct tvec_base;
540#line 12 "include/linux/timer.h"
541struct timer_list {
542 struct list_head entry ;
543 unsigned long expires ;
544 struct tvec_base *base ;
545 void (*function)(unsigned long ) ;
546 unsigned long data ;
547 int slack ;
548 int start_pid ;
549 void *start_site ;
550 char start_comm[16] ;
551};
552#line 289
553struct hrtimer;
554#line 289
555struct hrtimer;
556#line 290
557enum hrtimer_restart;
558#line 17 "include/linux/workqueue.h"
559struct work_struct;
560#line 17
561struct work_struct;
562#line 79 "include/linux/workqueue.h"
563struct work_struct {
564 atomic_long_t data ;
565 struct list_head entry ;
566 void (*func)(struct work_struct *work ) ;
567};
568#line 42 "include/linux/pm.h"
569struct device;
570#line 50 "include/linux/pm.h"
571struct pm_message {
572 int event ;
573};
574#line 50 "include/linux/pm.h"
575typedef struct pm_message pm_message_t;
576#line 264 "include/linux/pm.h"
577struct dev_pm_ops {
578 int (*prepare)(struct device *dev ) ;
579 void (*complete)(struct device *dev ) ;
580 int (*suspend)(struct device *dev ) ;
581 int (*resume)(struct device *dev ) ;
582 int (*freeze)(struct device *dev ) ;
583 int (*thaw)(struct device *dev ) ;
584 int (*poweroff)(struct device *dev ) ;
585 int (*restore)(struct device *dev ) ;
586 int (*suspend_late)(struct device *dev ) ;
587 int (*resume_early)(struct device *dev ) ;
588 int (*freeze_late)(struct device *dev ) ;
589 int (*thaw_early)(struct device *dev ) ;
590 int (*poweroff_late)(struct device *dev ) ;
591 int (*restore_early)(struct device *dev ) ;
592 int (*suspend_noirq)(struct device *dev ) ;
593 int (*resume_noirq)(struct device *dev ) ;
594 int (*freeze_noirq)(struct device *dev ) ;
595 int (*thaw_noirq)(struct device *dev ) ;
596 int (*poweroff_noirq)(struct device *dev ) ;
597 int (*restore_noirq)(struct device *dev ) ;
598 int (*runtime_suspend)(struct device *dev ) ;
599 int (*runtime_resume)(struct device *dev ) ;
600 int (*runtime_idle)(struct device *dev ) ;
601};
602#line 458
603enum rpm_status {
604 RPM_ACTIVE = 0,
605 RPM_RESUMING = 1,
606 RPM_SUSPENDED = 2,
607 RPM_SUSPENDING = 3
608} ;
609#line 480
610enum rpm_request {
611 RPM_REQ_NONE = 0,
612 RPM_REQ_IDLE = 1,
613 RPM_REQ_SUSPEND = 2,
614 RPM_REQ_AUTOSUSPEND = 3,
615 RPM_REQ_RESUME = 4
616} ;
617#line 488
618struct wakeup_source;
619#line 488
620struct wakeup_source;
621#line 495 "include/linux/pm.h"
622struct pm_subsys_data {
623 spinlock_t lock ;
624 unsigned int refcount ;
625};
626#line 506
627struct dev_pm_qos_request;
628#line 506
629struct pm_qos_constraints;
630#line 506 "include/linux/pm.h"
631struct dev_pm_info {
632 pm_message_t power_state ;
633 unsigned int can_wakeup : 1 ;
634 unsigned int async_suspend : 1 ;
635 bool is_prepared : 1 ;
636 bool is_suspended : 1 ;
637 bool ignore_children : 1 ;
638 spinlock_t lock ;
639 struct list_head entry ;
640 struct completion completion ;
641 struct wakeup_source *wakeup ;
642 bool wakeup_path : 1 ;
643 struct timer_list suspend_timer ;
644 unsigned long timer_expires ;
645 struct work_struct work ;
646 wait_queue_head_t wait_queue ;
647 atomic_t usage_count ;
648 atomic_t child_count ;
649 unsigned int disable_depth : 3 ;
650 unsigned int idle_notification : 1 ;
651 unsigned int request_pending : 1 ;
652 unsigned int deferred_resume : 1 ;
653 unsigned int run_wake : 1 ;
654 unsigned int runtime_auto : 1 ;
655 unsigned int no_callbacks : 1 ;
656 unsigned int irq_safe : 1 ;
657 unsigned int use_autosuspend : 1 ;
658 unsigned int timer_autosuspends : 1 ;
659 enum rpm_request request ;
660 enum rpm_status runtime_status ;
661 int runtime_error ;
662 int autosuspend_delay ;
663 unsigned long last_busy ;
664 unsigned long active_jiffies ;
665 unsigned long suspended_jiffies ;
666 unsigned long accounting_timestamp ;
667 ktime_t suspend_time ;
668 s64 max_time_suspended_ns ;
669 struct dev_pm_qos_request *pq_req ;
670 struct pm_subsys_data *subsys_data ;
671 struct pm_qos_constraints *constraints ;
672};
673#line 564 "include/linux/pm.h"
674struct dev_pm_domain {
675 struct dev_pm_ops ops ;
676};
677#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
678struct __anonstruct_mm_context_t_112 {
679 void *ldt ;
680 int size ;
681 unsigned short ia32_compat ;
682 struct mutex lock ;
683 void *vdso ;
684};
685#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
686typedef struct __anonstruct_mm_context_t_112 mm_context_t;
687#line 8 "include/linux/vmalloc.h"
688struct vm_area_struct;
689#line 8
690struct vm_area_struct;
691#line 994 "include/linux/mmzone.h"
692struct page;
693#line 10 "include/linux/gfp.h"
694struct vm_area_struct;
695#line 29 "include/linux/sysctl.h"
696struct completion;
697#line 100 "include/linux/rbtree.h"
698struct rb_node {
699 unsigned long rb_parent_color ;
700 struct rb_node *rb_right ;
701 struct rb_node *rb_left ;
702} __attribute__((__aligned__(sizeof(long )))) ;
703#line 110 "include/linux/rbtree.h"
704struct rb_root {
705 struct rb_node *rb_node ;
706};
707#line 939 "include/linux/sysctl.h"
708struct nsproxy;
709#line 939
710struct nsproxy;
711#line 48 "include/linux/kmod.h"
712struct cred;
713#line 48
714struct cred;
715#line 49
716struct file;
717#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
718struct task_struct;
719#line 18 "include/linux/elf.h"
720typedef __u64 Elf64_Addr;
721#line 19 "include/linux/elf.h"
722typedef __u16 Elf64_Half;
723#line 23 "include/linux/elf.h"
724typedef __u32 Elf64_Word;
725#line 24 "include/linux/elf.h"
726typedef __u64 Elf64_Xword;
727#line 194 "include/linux/elf.h"
728struct elf64_sym {
729 Elf64_Word st_name ;
730 unsigned char st_info ;
731 unsigned char st_other ;
732 Elf64_Half st_shndx ;
733 Elf64_Addr st_value ;
734 Elf64_Xword st_size ;
735};
736#line 194 "include/linux/elf.h"
737typedef struct elf64_sym Elf64_Sym;
738#line 438
739struct file;
740#line 20 "include/linux/kobject_ns.h"
741struct sock;
742#line 20
743struct sock;
744#line 21
745struct kobject;
746#line 21
747struct kobject;
748#line 27
749enum kobj_ns_type {
750 KOBJ_NS_TYPE_NONE = 0,
751 KOBJ_NS_TYPE_NET = 1,
752 KOBJ_NS_TYPES = 2
753} ;
754#line 40 "include/linux/kobject_ns.h"
755struct kobj_ns_type_operations {
756 enum kobj_ns_type type ;
757 void *(*grab_current_ns)(void) ;
758 void const *(*netlink_ns)(struct sock *sk ) ;
759 void const *(*initial_ns)(void) ;
760 void (*drop_ns)(void * ) ;
761};
762#line 22 "include/linux/sysfs.h"
763struct kobject;
764#line 23
765struct module;
766#line 24
767enum kobj_ns_type;
768#line 26 "include/linux/sysfs.h"
769struct attribute {
770 char const *name ;
771 umode_t mode ;
772};
773#line 56 "include/linux/sysfs.h"
774struct attribute_group {
775 char const *name ;
776 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
777 struct attribute **attrs ;
778};
779#line 85
780struct file;
781#line 86
782struct vm_area_struct;
783#line 88 "include/linux/sysfs.h"
784struct bin_attribute {
785 struct attribute attr ;
786 size_t size ;
787 void *private ;
788 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
789 loff_t , size_t ) ;
790 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
791 loff_t , size_t ) ;
792 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
793};
794#line 112 "include/linux/sysfs.h"
795struct sysfs_ops {
796 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
797 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
798 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
799};
800#line 118
801struct sysfs_dirent;
802#line 118
803struct sysfs_dirent;
804#line 22 "include/linux/kref.h"
805struct kref {
806 atomic_t refcount ;
807};
808#line 60 "include/linux/kobject.h"
809struct kset;
810#line 60
811struct kobj_type;
812#line 60 "include/linux/kobject.h"
813struct kobject {
814 char const *name ;
815 struct list_head entry ;
816 struct kobject *parent ;
817 struct kset *kset ;
818 struct kobj_type *ktype ;
819 struct sysfs_dirent *sd ;
820 struct kref kref ;
821 unsigned int state_initialized : 1 ;
822 unsigned int state_in_sysfs : 1 ;
823 unsigned int state_add_uevent_sent : 1 ;
824 unsigned int state_remove_uevent_sent : 1 ;
825 unsigned int uevent_suppress : 1 ;
826};
827#line 108 "include/linux/kobject.h"
828struct kobj_type {
829 void (*release)(struct kobject *kobj ) ;
830 struct sysfs_ops const *sysfs_ops ;
831 struct attribute **default_attrs ;
832 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
833 void const *(*namespace)(struct kobject *kobj ) ;
834};
835#line 116 "include/linux/kobject.h"
836struct kobj_uevent_env {
837 char *envp[32] ;
838 int envp_idx ;
839 char buf[2048] ;
840 int buflen ;
841};
842#line 123 "include/linux/kobject.h"
843struct kset_uevent_ops {
844 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
845 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
846 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
847};
848#line 140
849struct sock;
850#line 159 "include/linux/kobject.h"
851struct kset {
852 struct list_head list ;
853 spinlock_t list_lock ;
854 struct kobject kobj ;
855 struct kset_uevent_ops const *uevent_ops ;
856};
857#line 39 "include/linux/moduleparam.h"
858struct kernel_param;
859#line 39
860struct kernel_param;
861#line 41 "include/linux/moduleparam.h"
862struct kernel_param_ops {
863 int (*set)(char const *val , struct kernel_param const *kp ) ;
864 int (*get)(char *buffer , struct kernel_param const *kp ) ;
865 void (*free)(void *arg ) ;
866};
867#line 50
868struct kparam_string;
869#line 50
870struct kparam_array;
871#line 50 "include/linux/moduleparam.h"
872union __anonunion____missing_field_name_199 {
873 void *arg ;
874 struct kparam_string const *str ;
875 struct kparam_array const *arr ;
876};
877#line 50 "include/linux/moduleparam.h"
878struct kernel_param {
879 char const *name ;
880 struct kernel_param_ops const *ops ;
881 u16 perm ;
882 s16 level ;
883 union __anonunion____missing_field_name_199 __annonCompField32 ;
884};
885#line 63 "include/linux/moduleparam.h"
886struct kparam_string {
887 unsigned int maxlen ;
888 char *string ;
889};
890#line 69 "include/linux/moduleparam.h"
891struct kparam_array {
892 unsigned int max ;
893 unsigned int elemsize ;
894 unsigned int *num ;
895 struct kernel_param_ops const *ops ;
896 void *elem ;
897};
898#line 445
899struct module;
900#line 80 "include/linux/jump_label.h"
901struct module;
902#line 143 "include/linux/jump_label.h"
903struct static_key {
904 atomic_t enabled ;
905};
906#line 22 "include/linux/tracepoint.h"
907struct module;
908#line 23
909struct tracepoint;
910#line 23
911struct tracepoint;
912#line 25 "include/linux/tracepoint.h"
913struct tracepoint_func {
914 void *func ;
915 void *data ;
916};
917#line 30 "include/linux/tracepoint.h"
918struct tracepoint {
919 char const *name ;
920 struct static_key key ;
921 void (*regfunc)(void) ;
922 void (*unregfunc)(void) ;
923 struct tracepoint_func *funcs ;
924};
925#line 19 "include/linux/export.h"
926struct kernel_symbol {
927 unsigned long value ;
928 char const *name ;
929};
930#line 8 "include/asm-generic/module.h"
931struct mod_arch_specific {
932
933};
934#line 35 "include/linux/module.h"
935struct module;
936#line 37
937struct module_param_attrs;
938#line 37 "include/linux/module.h"
939struct module_kobject {
940 struct kobject kobj ;
941 struct module *mod ;
942 struct kobject *drivers_dir ;
943 struct module_param_attrs *mp ;
944};
945#line 44 "include/linux/module.h"
946struct module_attribute {
947 struct attribute attr ;
948 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
949 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
950 size_t count ) ;
951 void (*setup)(struct module * , char const * ) ;
952 int (*test)(struct module * ) ;
953 void (*free)(struct module * ) ;
954};
955#line 71
956struct exception_table_entry;
957#line 71
958struct exception_table_entry;
959#line 199
960enum module_state {
961 MODULE_STATE_LIVE = 0,
962 MODULE_STATE_COMING = 1,
963 MODULE_STATE_GOING = 2
964} ;
965#line 215 "include/linux/module.h"
966struct module_ref {
967 unsigned long incs ;
968 unsigned long decs ;
969} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
970#line 220
971struct module_sect_attrs;
972#line 220
973struct module_notes_attrs;
974#line 220
975struct ftrace_event_call;
976#line 220 "include/linux/module.h"
977struct module {
978 enum module_state state ;
979 struct list_head list ;
980 char name[64UL - sizeof(unsigned long )] ;
981 struct module_kobject mkobj ;
982 struct module_attribute *modinfo_attrs ;
983 char const *version ;
984 char const *srcversion ;
985 struct kobject *holders_dir ;
986 struct kernel_symbol const *syms ;
987 unsigned long const *crcs ;
988 unsigned int num_syms ;
989 struct kernel_param *kp ;
990 unsigned int num_kp ;
991 unsigned int num_gpl_syms ;
992 struct kernel_symbol const *gpl_syms ;
993 unsigned long const *gpl_crcs ;
994 struct kernel_symbol const *unused_syms ;
995 unsigned long const *unused_crcs ;
996 unsigned int num_unused_syms ;
997 unsigned int num_unused_gpl_syms ;
998 struct kernel_symbol const *unused_gpl_syms ;
999 unsigned long const *unused_gpl_crcs ;
1000 struct kernel_symbol const *gpl_future_syms ;
1001 unsigned long const *gpl_future_crcs ;
1002 unsigned int num_gpl_future_syms ;
1003 unsigned int num_exentries ;
1004 struct exception_table_entry *extable ;
1005 int (*init)(void) ;
1006 void *module_init ;
1007 void *module_core ;
1008 unsigned int init_size ;
1009 unsigned int core_size ;
1010 unsigned int init_text_size ;
1011 unsigned int core_text_size ;
1012 unsigned int init_ro_size ;
1013 unsigned int core_ro_size ;
1014 struct mod_arch_specific arch ;
1015 unsigned int taints ;
1016 unsigned int num_bugs ;
1017 struct list_head bug_list ;
1018 struct bug_entry *bug_table ;
1019 Elf64_Sym *symtab ;
1020 Elf64_Sym *core_symtab ;
1021 unsigned int num_symtab ;
1022 unsigned int core_num_syms ;
1023 char *strtab ;
1024 char *core_strtab ;
1025 struct module_sect_attrs *sect_attrs ;
1026 struct module_notes_attrs *notes_attrs ;
1027 char *args ;
1028 void *percpu ;
1029 unsigned int percpu_size ;
1030 unsigned int num_tracepoints ;
1031 struct tracepoint * const *tracepoints_ptrs ;
1032 unsigned int num_trace_bprintk_fmt ;
1033 char const **trace_bprintk_fmt_start ;
1034 struct ftrace_event_call **trace_events ;
1035 unsigned int num_trace_events ;
1036 struct list_head source_list ;
1037 struct list_head target_list ;
1038 struct task_struct *waiter ;
1039 void (*exit)(void) ;
1040 struct module_ref *refptr ;
1041 ctor_fn_t *ctors ;
1042 unsigned int num_ctors ;
1043};
1044#line 19 "include/linux/klist.h"
1045struct klist_node;
1046#line 19
1047struct klist_node;
1048#line 39 "include/linux/klist.h"
1049struct klist_node {
1050 void *n_klist ;
1051 struct list_head n_node ;
1052 struct kref n_ref ;
1053};
1054#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1055struct dma_map_ops;
1056#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1057struct dev_archdata {
1058 void *acpi_handle ;
1059 struct dma_map_ops *dma_ops ;
1060 void *iommu ;
1061};
1062#line 28 "include/linux/device.h"
1063struct device;
1064#line 29
1065struct device_private;
1066#line 29
1067struct device_private;
1068#line 30
1069struct device_driver;
1070#line 30
1071struct device_driver;
1072#line 31
1073struct driver_private;
1074#line 31
1075struct driver_private;
1076#line 32
1077struct module;
1078#line 33
1079struct class;
1080#line 33
1081struct class;
1082#line 34
1083struct subsys_private;
1084#line 34
1085struct subsys_private;
1086#line 35
1087struct bus_type;
1088#line 35
1089struct bus_type;
1090#line 36
1091struct device_node;
1092#line 36
1093struct device_node;
1094#line 37
1095struct iommu_ops;
1096#line 37
1097struct iommu_ops;
1098#line 39 "include/linux/device.h"
1099struct bus_attribute {
1100 struct attribute attr ;
1101 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1102 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
1103};
1104#line 89
1105struct device_attribute;
1106#line 89
1107struct driver_attribute;
1108#line 89 "include/linux/device.h"
1109struct bus_type {
1110 char const *name ;
1111 char const *dev_name ;
1112 struct device *dev_root ;
1113 struct bus_attribute *bus_attrs ;
1114 struct device_attribute *dev_attrs ;
1115 struct driver_attribute *drv_attrs ;
1116 int (*match)(struct device *dev , struct device_driver *drv ) ;
1117 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1118 int (*probe)(struct device *dev ) ;
1119 int (*remove)(struct device *dev ) ;
1120 void (*shutdown)(struct device *dev ) ;
1121 int (*suspend)(struct device *dev , pm_message_t state ) ;
1122 int (*resume)(struct device *dev ) ;
1123 struct dev_pm_ops const *pm ;
1124 struct iommu_ops *iommu_ops ;
1125 struct subsys_private *p ;
1126};
1127#line 127
1128struct device_type;
1129#line 214
1130struct of_device_id;
1131#line 214 "include/linux/device.h"
1132struct device_driver {
1133 char const *name ;
1134 struct bus_type *bus ;
1135 struct module *owner ;
1136 char const *mod_name ;
1137 bool suppress_bind_attrs ;
1138 struct of_device_id const *of_match_table ;
1139 int (*probe)(struct device *dev ) ;
1140 int (*remove)(struct device *dev ) ;
1141 void (*shutdown)(struct device *dev ) ;
1142 int (*suspend)(struct device *dev , pm_message_t state ) ;
1143 int (*resume)(struct device *dev ) ;
1144 struct attribute_group const **groups ;
1145 struct dev_pm_ops const *pm ;
1146 struct driver_private *p ;
1147};
1148#line 249 "include/linux/device.h"
1149struct driver_attribute {
1150 struct attribute attr ;
1151 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1152 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
1153};
1154#line 330
1155struct class_attribute;
1156#line 330 "include/linux/device.h"
1157struct class {
1158 char const *name ;
1159 struct module *owner ;
1160 struct class_attribute *class_attrs ;
1161 struct device_attribute *dev_attrs ;
1162 struct bin_attribute *dev_bin_attrs ;
1163 struct kobject *dev_kobj ;
1164 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1165 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1166 void (*class_release)(struct class *class ) ;
1167 void (*dev_release)(struct device *dev ) ;
1168 int (*suspend)(struct device *dev , pm_message_t state ) ;
1169 int (*resume)(struct device *dev ) ;
1170 struct kobj_ns_type_operations const *ns_type ;
1171 void const *(*namespace)(struct device *dev ) ;
1172 struct dev_pm_ops const *pm ;
1173 struct subsys_private *p ;
1174};
1175#line 397 "include/linux/device.h"
1176struct class_attribute {
1177 struct attribute attr ;
1178 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1179 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
1180 size_t count ) ;
1181 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
1182};
1183#line 465 "include/linux/device.h"
1184struct device_type {
1185 char const *name ;
1186 struct attribute_group const **groups ;
1187 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1188 char *(*devnode)(struct device *dev , umode_t *mode ) ;
1189 void (*release)(struct device *dev ) ;
1190 struct dev_pm_ops const *pm ;
1191};
1192#line 476 "include/linux/device.h"
1193struct device_attribute {
1194 struct attribute attr ;
1195 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1196 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
1197 size_t count ) ;
1198};
1199#line 559 "include/linux/device.h"
1200struct device_dma_parameters {
1201 unsigned int max_segment_size ;
1202 unsigned long segment_boundary_mask ;
1203};
1204#line 627
1205struct dma_coherent_mem;
1206#line 627 "include/linux/device.h"
1207struct device {
1208 struct device *parent ;
1209 struct device_private *p ;
1210 struct kobject kobj ;
1211 char const *init_name ;
1212 struct device_type const *type ;
1213 struct mutex mutex ;
1214 struct bus_type *bus ;
1215 struct device_driver *driver ;
1216 void *platform_data ;
1217 struct dev_pm_info power ;
1218 struct dev_pm_domain *pm_domain ;
1219 int numa_node ;
1220 u64 *dma_mask ;
1221 u64 coherent_dma_mask ;
1222 struct device_dma_parameters *dma_parms ;
1223 struct list_head dma_pools ;
1224 struct dma_coherent_mem *dma_mem ;
1225 struct dev_archdata archdata ;
1226 struct device_node *of_node ;
1227 dev_t devt ;
1228 u32 id ;
1229 spinlock_t devres_lock ;
1230 struct list_head devres_head ;
1231 struct klist_node knode_class ;
1232 struct class *class ;
1233 struct attribute_group const **groups ;
1234 void (*release)(struct device *dev ) ;
1235};
1236#line 43 "include/linux/pm_wakeup.h"
1237struct wakeup_source {
1238 char const *name ;
1239 struct list_head entry ;
1240 spinlock_t lock ;
1241 struct timer_list timer ;
1242 unsigned long timer_expires ;
1243 ktime_t total_time ;
1244 ktime_t max_time ;
1245 ktime_t last_time ;
1246 unsigned long event_count ;
1247 unsigned long active_count ;
1248 unsigned long relax_count ;
1249 unsigned long hit_count ;
1250 unsigned int active : 1 ;
1251};
1252#line 12 "include/linux/mod_devicetable.h"
1253typedef unsigned long kernel_ulong_t;
1254#line 219 "include/linux/mod_devicetable.h"
1255struct of_device_id {
1256 char name[32] ;
1257 char type[32] ;
1258 char compatible[128] ;
1259 void *data ;
1260};
1261#line 442 "include/linux/mod_devicetable.h"
1262struct spi_device_id {
1263 char name[32] ;
1264 kernel_ulong_t driver_data __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1265};
1266#line 46 "include/linux/slub_def.h"
1267struct kmem_cache_cpu {
1268 void **freelist ;
1269 unsigned long tid ;
1270 struct page *page ;
1271 struct page *partial ;
1272 int node ;
1273 unsigned int stat[26] ;
1274};
1275#line 57 "include/linux/slub_def.h"
1276struct kmem_cache_node {
1277 spinlock_t list_lock ;
1278 unsigned long nr_partial ;
1279 struct list_head partial ;
1280 atomic_long_t nr_slabs ;
1281 atomic_long_t total_objects ;
1282 struct list_head full ;
1283};
1284#line 73 "include/linux/slub_def.h"
1285struct kmem_cache_order_objects {
1286 unsigned long x ;
1287};
1288#line 80 "include/linux/slub_def.h"
1289struct kmem_cache {
1290 struct kmem_cache_cpu *cpu_slab ;
1291 unsigned long flags ;
1292 unsigned long min_partial ;
1293 int size ;
1294 int objsize ;
1295 int offset ;
1296 int cpu_partial ;
1297 struct kmem_cache_order_objects oo ;
1298 struct kmem_cache_order_objects max ;
1299 struct kmem_cache_order_objects min ;
1300 gfp_t allocflags ;
1301 int refcount ;
1302 void (*ctor)(void * ) ;
1303 int inuse ;
1304 int align ;
1305 int reserved ;
1306 char const *name ;
1307 struct list_head list ;
1308 struct kobject kobj ;
1309 int remote_node_defrag_ratio ;
1310 struct kmem_cache_node *node[1 << 10] ;
1311};
1312#line 18 "include/linux/capability.h"
1313struct task_struct;
1314#line 94 "include/linux/capability.h"
1315struct kernel_cap_struct {
1316 __u32 cap[2] ;
1317};
1318#line 94 "include/linux/capability.h"
1319typedef struct kernel_cap_struct kernel_cap_t;
1320#line 378
1321struct user_namespace;
1322#line 378
1323struct user_namespace;
1324#line 14 "include/linux/prio_tree.h"
1325struct prio_tree_node;
1326#line 14 "include/linux/prio_tree.h"
1327struct raw_prio_tree_node {
1328 struct prio_tree_node *left ;
1329 struct prio_tree_node *right ;
1330 struct prio_tree_node *parent ;
1331};
1332#line 20 "include/linux/prio_tree.h"
1333struct prio_tree_node {
1334 struct prio_tree_node *left ;
1335 struct prio_tree_node *right ;
1336 struct prio_tree_node *parent ;
1337 unsigned long start ;
1338 unsigned long last ;
1339};
1340#line 23 "include/linux/mm_types.h"
1341struct address_space;
1342#line 23
1343struct address_space;
1344#line 40 "include/linux/mm_types.h"
1345union __anonunion____missing_field_name_204 {
1346 unsigned long index ;
1347 void *freelist ;
1348};
1349#line 40 "include/linux/mm_types.h"
1350struct __anonstruct____missing_field_name_208 {
1351 unsigned int inuse : 16 ;
1352 unsigned int objects : 15 ;
1353 unsigned int frozen : 1 ;
1354};
1355#line 40 "include/linux/mm_types.h"
1356union __anonunion____missing_field_name_207 {
1357 atomic_t _mapcount ;
1358 struct __anonstruct____missing_field_name_208 __annonCompField34 ;
1359};
1360#line 40 "include/linux/mm_types.h"
1361struct __anonstruct____missing_field_name_206 {
1362 union __anonunion____missing_field_name_207 __annonCompField35 ;
1363 atomic_t _count ;
1364};
1365#line 40 "include/linux/mm_types.h"
1366union __anonunion____missing_field_name_205 {
1367 unsigned long counters ;
1368 struct __anonstruct____missing_field_name_206 __annonCompField36 ;
1369};
1370#line 40 "include/linux/mm_types.h"
1371struct __anonstruct____missing_field_name_203 {
1372 union __anonunion____missing_field_name_204 __annonCompField33 ;
1373 union __anonunion____missing_field_name_205 __annonCompField37 ;
1374};
1375#line 40 "include/linux/mm_types.h"
1376struct __anonstruct____missing_field_name_210 {
1377 struct page *next ;
1378 int pages ;
1379 int pobjects ;
1380};
1381#line 40 "include/linux/mm_types.h"
1382union __anonunion____missing_field_name_209 {
1383 struct list_head lru ;
1384 struct __anonstruct____missing_field_name_210 __annonCompField39 ;
1385};
1386#line 40 "include/linux/mm_types.h"
1387union __anonunion____missing_field_name_211 {
1388 unsigned long private ;
1389 struct kmem_cache *slab ;
1390 struct page *first_page ;
1391};
1392#line 40 "include/linux/mm_types.h"
1393struct page {
1394 unsigned long flags ;
1395 struct address_space *mapping ;
1396 struct __anonstruct____missing_field_name_203 __annonCompField38 ;
1397 union __anonunion____missing_field_name_209 __annonCompField40 ;
1398 union __anonunion____missing_field_name_211 __annonCompField41 ;
1399 unsigned long debug_flags ;
1400} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1401#line 200 "include/linux/mm_types.h"
1402struct __anonstruct_vm_set_213 {
1403 struct list_head list ;
1404 void *parent ;
1405 struct vm_area_struct *head ;
1406};
1407#line 200 "include/linux/mm_types.h"
1408union __anonunion_shared_212 {
1409 struct __anonstruct_vm_set_213 vm_set ;
1410 struct raw_prio_tree_node prio_tree_node ;
1411};
1412#line 200
1413struct anon_vma;
1414#line 200
1415struct vm_operations_struct;
1416#line 200
1417struct mempolicy;
1418#line 200 "include/linux/mm_types.h"
1419struct vm_area_struct {
1420 struct mm_struct *vm_mm ;
1421 unsigned long vm_start ;
1422 unsigned long vm_end ;
1423 struct vm_area_struct *vm_next ;
1424 struct vm_area_struct *vm_prev ;
1425 pgprot_t vm_page_prot ;
1426 unsigned long vm_flags ;
1427 struct rb_node vm_rb ;
1428 union __anonunion_shared_212 shared ;
1429 struct list_head anon_vma_chain ;
1430 struct anon_vma *anon_vma ;
1431 struct vm_operations_struct const *vm_ops ;
1432 unsigned long vm_pgoff ;
1433 struct file *vm_file ;
1434 void *vm_private_data ;
1435 struct mempolicy *vm_policy ;
1436};
1437#line 257 "include/linux/mm_types.h"
1438struct core_thread {
1439 struct task_struct *task ;
1440 struct core_thread *next ;
1441};
1442#line 262 "include/linux/mm_types.h"
1443struct core_state {
1444 atomic_t nr_threads ;
1445 struct core_thread dumper ;
1446 struct completion startup ;
1447};
1448#line 284 "include/linux/mm_types.h"
1449struct mm_rss_stat {
1450 atomic_long_t count[3] ;
1451};
1452#line 288
1453struct linux_binfmt;
1454#line 288
1455struct mmu_notifier_mm;
1456#line 288 "include/linux/mm_types.h"
1457struct mm_struct {
1458 struct vm_area_struct *mmap ;
1459 struct rb_root mm_rb ;
1460 struct vm_area_struct *mmap_cache ;
1461 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1462 unsigned long pgoff , unsigned long flags ) ;
1463 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1464 unsigned long mmap_base ;
1465 unsigned long task_size ;
1466 unsigned long cached_hole_size ;
1467 unsigned long free_area_cache ;
1468 pgd_t *pgd ;
1469 atomic_t mm_users ;
1470 atomic_t mm_count ;
1471 int map_count ;
1472 spinlock_t page_table_lock ;
1473 struct rw_semaphore mmap_sem ;
1474 struct list_head mmlist ;
1475 unsigned long hiwater_rss ;
1476 unsigned long hiwater_vm ;
1477 unsigned long total_vm ;
1478 unsigned long locked_vm ;
1479 unsigned long pinned_vm ;
1480 unsigned long shared_vm ;
1481 unsigned long exec_vm ;
1482 unsigned long stack_vm ;
1483 unsigned long reserved_vm ;
1484 unsigned long def_flags ;
1485 unsigned long nr_ptes ;
1486 unsigned long start_code ;
1487 unsigned long end_code ;
1488 unsigned long start_data ;
1489 unsigned long end_data ;
1490 unsigned long start_brk ;
1491 unsigned long brk ;
1492 unsigned long start_stack ;
1493 unsigned long arg_start ;
1494 unsigned long arg_end ;
1495 unsigned long env_start ;
1496 unsigned long env_end ;
1497 unsigned long saved_auxv[44] ;
1498 struct mm_rss_stat rss_stat ;
1499 struct linux_binfmt *binfmt ;
1500 cpumask_var_t cpu_vm_mask_var ;
1501 mm_context_t context ;
1502 unsigned int faultstamp ;
1503 unsigned int token_priority ;
1504 unsigned int last_interval ;
1505 unsigned long flags ;
1506 struct core_state *core_state ;
1507 spinlock_t ioctx_lock ;
1508 struct hlist_head ioctx_list ;
1509 struct task_struct *owner ;
1510 struct file *exe_file ;
1511 unsigned long num_exe_file_vmas ;
1512 struct mmu_notifier_mm *mmu_notifier_mm ;
1513 pgtable_t pmd_huge_pte ;
1514 struct cpumask cpumask_allocation ;
1515};
1516#line 7 "include/asm-generic/cputime.h"
1517typedef unsigned long cputime_t;
1518#line 84 "include/linux/sem.h"
1519struct task_struct;
1520#line 101
1521struct sem_undo_list;
1522#line 101 "include/linux/sem.h"
1523struct sysv_sem {
1524 struct sem_undo_list *undo_list ;
1525};
1526#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1527struct siginfo;
1528#line 10
1529struct siginfo;
1530#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1531struct __anonstruct_sigset_t_215 {
1532 unsigned long sig[1] ;
1533};
1534#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1535typedef struct __anonstruct_sigset_t_215 sigset_t;
1536#line 17 "include/asm-generic/signal-defs.h"
1537typedef void __signalfn_t(int );
1538#line 18 "include/asm-generic/signal-defs.h"
1539typedef __signalfn_t *__sighandler_t;
1540#line 20 "include/asm-generic/signal-defs.h"
1541typedef void __restorefn_t(void);
1542#line 21 "include/asm-generic/signal-defs.h"
1543typedef __restorefn_t *__sigrestore_t;
1544#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1545struct sigaction {
1546 __sighandler_t sa_handler ;
1547 unsigned long sa_flags ;
1548 __sigrestore_t sa_restorer ;
1549 sigset_t sa_mask ;
1550};
1551#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1552struct k_sigaction {
1553 struct sigaction sa ;
1554};
1555#line 7 "include/asm-generic/siginfo.h"
1556union sigval {
1557 int sival_int ;
1558 void *sival_ptr ;
1559};
1560#line 7 "include/asm-generic/siginfo.h"
1561typedef union sigval sigval_t;
1562#line 48 "include/asm-generic/siginfo.h"
1563struct __anonstruct__kill_217 {
1564 __kernel_pid_t _pid ;
1565 __kernel_uid32_t _uid ;
1566};
1567#line 48 "include/asm-generic/siginfo.h"
1568struct __anonstruct__timer_218 {
1569 __kernel_timer_t _tid ;
1570 int _overrun ;
1571 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1572 sigval_t _sigval ;
1573 int _sys_private ;
1574};
1575#line 48 "include/asm-generic/siginfo.h"
1576struct __anonstruct__rt_219 {
1577 __kernel_pid_t _pid ;
1578 __kernel_uid32_t _uid ;
1579 sigval_t _sigval ;
1580};
1581#line 48 "include/asm-generic/siginfo.h"
1582struct __anonstruct__sigchld_220 {
1583 __kernel_pid_t _pid ;
1584 __kernel_uid32_t _uid ;
1585 int _status ;
1586 __kernel_clock_t _utime ;
1587 __kernel_clock_t _stime ;
1588};
1589#line 48 "include/asm-generic/siginfo.h"
1590struct __anonstruct__sigfault_221 {
1591 void *_addr ;
1592 short _addr_lsb ;
1593};
1594#line 48 "include/asm-generic/siginfo.h"
1595struct __anonstruct__sigpoll_222 {
1596 long _band ;
1597 int _fd ;
1598};
1599#line 48 "include/asm-generic/siginfo.h"
1600union __anonunion__sifields_216 {
1601 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1602 struct __anonstruct__kill_217 _kill ;
1603 struct __anonstruct__timer_218 _timer ;
1604 struct __anonstruct__rt_219 _rt ;
1605 struct __anonstruct__sigchld_220 _sigchld ;
1606 struct __anonstruct__sigfault_221 _sigfault ;
1607 struct __anonstruct__sigpoll_222 _sigpoll ;
1608};
1609#line 48 "include/asm-generic/siginfo.h"
1610struct siginfo {
1611 int si_signo ;
1612 int si_errno ;
1613 int si_code ;
1614 union __anonunion__sifields_216 _sifields ;
1615};
1616#line 48 "include/asm-generic/siginfo.h"
1617typedef struct siginfo siginfo_t;
1618#line 288
1619struct siginfo;
1620#line 10 "include/linux/signal.h"
1621struct task_struct;
1622#line 18
1623struct user_struct;
1624#line 28 "include/linux/signal.h"
1625struct sigpending {
1626 struct list_head list ;
1627 sigset_t signal ;
1628};
1629#line 239
1630struct timespec;
1631#line 240
1632struct pt_regs;
1633#line 50 "include/linux/pid.h"
1634struct pid_namespace;
1635#line 50 "include/linux/pid.h"
1636struct upid {
1637 int nr ;
1638 struct pid_namespace *ns ;
1639 struct hlist_node pid_chain ;
1640};
1641#line 57 "include/linux/pid.h"
1642struct pid {
1643 atomic_t count ;
1644 unsigned int level ;
1645 struct hlist_head tasks[3] ;
1646 struct rcu_head rcu ;
1647 struct upid numbers[1] ;
1648};
1649#line 69 "include/linux/pid.h"
1650struct pid_link {
1651 struct hlist_node node ;
1652 struct pid *pid ;
1653};
1654#line 100
1655struct pid_namespace;
1656#line 10 "include/linux/seccomp.h"
1657struct __anonstruct_seccomp_t_225 {
1658 int mode ;
1659};
1660#line 10 "include/linux/seccomp.h"
1661typedef struct __anonstruct_seccomp_t_225 seccomp_t;
1662#line 81 "include/linux/plist.h"
1663struct plist_head {
1664 struct list_head node_list ;
1665};
1666#line 85 "include/linux/plist.h"
1667struct plist_node {
1668 int prio ;
1669 struct list_head prio_list ;
1670 struct list_head node_list ;
1671};
1672#line 40 "include/linux/rtmutex.h"
1673struct rt_mutex_waiter;
1674#line 40
1675struct rt_mutex_waiter;
1676#line 42 "include/linux/resource.h"
1677struct rlimit {
1678 unsigned long rlim_cur ;
1679 unsigned long rlim_max ;
1680};
1681#line 81
1682struct task_struct;
1683#line 8 "include/linux/timerqueue.h"
1684struct timerqueue_node {
1685 struct rb_node node ;
1686 ktime_t expires ;
1687};
1688#line 13 "include/linux/timerqueue.h"
1689struct timerqueue_head {
1690 struct rb_root head ;
1691 struct timerqueue_node *next ;
1692};
1693#line 27 "include/linux/hrtimer.h"
1694struct hrtimer_clock_base;
1695#line 27
1696struct hrtimer_clock_base;
1697#line 28
1698struct hrtimer_cpu_base;
1699#line 28
1700struct hrtimer_cpu_base;
1701#line 44
1702enum hrtimer_restart {
1703 HRTIMER_NORESTART = 0,
1704 HRTIMER_RESTART = 1
1705} ;
1706#line 108 "include/linux/hrtimer.h"
1707struct hrtimer {
1708 struct timerqueue_node node ;
1709 ktime_t _softexpires ;
1710 enum hrtimer_restart (*function)(struct hrtimer * ) ;
1711 struct hrtimer_clock_base *base ;
1712 unsigned long state ;
1713 int start_pid ;
1714 void *start_site ;
1715 char start_comm[16] ;
1716};
1717#line 145 "include/linux/hrtimer.h"
1718struct hrtimer_clock_base {
1719 struct hrtimer_cpu_base *cpu_base ;
1720 int index ;
1721 clockid_t clockid ;
1722 struct timerqueue_head active ;
1723 ktime_t resolution ;
1724 ktime_t (*get_time)(void) ;
1725 ktime_t softirq_time ;
1726 ktime_t offset ;
1727};
1728#line 178 "include/linux/hrtimer.h"
1729struct hrtimer_cpu_base {
1730 raw_spinlock_t lock ;
1731 unsigned long active_bases ;
1732 ktime_t expires_next ;
1733 int hres_active ;
1734 int hang_detected ;
1735 unsigned long nr_events ;
1736 unsigned long nr_retries ;
1737 unsigned long nr_hangs ;
1738 ktime_t max_hang_time ;
1739 struct hrtimer_clock_base clock_base[3] ;
1740};
1741#line 11 "include/linux/task_io_accounting.h"
1742struct task_io_accounting {
1743 u64 rchar ;
1744 u64 wchar ;
1745 u64 syscr ;
1746 u64 syscw ;
1747 u64 read_bytes ;
1748 u64 write_bytes ;
1749 u64 cancelled_write_bytes ;
1750};
1751#line 13 "include/linux/latencytop.h"
1752struct task_struct;
1753#line 20 "include/linux/latencytop.h"
1754struct latency_record {
1755 unsigned long backtrace[12] ;
1756 unsigned int count ;
1757 unsigned long time ;
1758 unsigned long max ;
1759};
1760#line 29 "include/linux/key.h"
1761typedef int32_t key_serial_t;
1762#line 32 "include/linux/key.h"
1763typedef uint32_t key_perm_t;
1764#line 34
1765struct key;
1766#line 34
1767struct key;
1768#line 75
1769struct user_struct;
1770#line 76
1771struct signal_struct;
1772#line 76
1773struct signal_struct;
1774#line 77
1775struct cred;
1776#line 79
1777struct key_type;
1778#line 79
1779struct key_type;
1780#line 81
1781struct keyring_list;
1782#line 81
1783struct keyring_list;
1784#line 124
1785struct key_user;
1786#line 124 "include/linux/key.h"
1787union __anonunion____missing_field_name_226 {
1788 time_t expiry ;
1789 time_t revoked_at ;
1790};
1791#line 124 "include/linux/key.h"
1792union __anonunion_type_data_227 {
1793 struct list_head link ;
1794 unsigned long x[2] ;
1795 void *p[2] ;
1796 int reject_error ;
1797};
1798#line 124 "include/linux/key.h"
1799union __anonunion_payload_228 {
1800 unsigned long value ;
1801 void *rcudata ;
1802 void *data ;
1803 struct keyring_list *subscriptions ;
1804};
1805#line 124 "include/linux/key.h"
1806struct key {
1807 atomic_t usage ;
1808 key_serial_t serial ;
1809 struct rb_node serial_node ;
1810 struct key_type *type ;
1811 struct rw_semaphore sem ;
1812 struct key_user *user ;
1813 void *security ;
1814 union __anonunion____missing_field_name_226 __annonCompField42 ;
1815 uid_t uid ;
1816 gid_t gid ;
1817 key_perm_t perm ;
1818 unsigned short quotalen ;
1819 unsigned short datalen ;
1820 unsigned long flags ;
1821 char *description ;
1822 union __anonunion_type_data_227 type_data ;
1823 union __anonunion_payload_228 payload ;
1824};
1825#line 18 "include/linux/selinux.h"
1826struct audit_context;
1827#line 18
1828struct audit_context;
1829#line 21 "include/linux/cred.h"
1830struct user_struct;
1831#line 22
1832struct cred;
1833#line 31 "include/linux/cred.h"
1834struct group_info {
1835 atomic_t usage ;
1836 int ngroups ;
1837 int nblocks ;
1838 gid_t small_block[32] ;
1839 gid_t *blocks[0] ;
1840};
1841#line 83 "include/linux/cred.h"
1842struct thread_group_cred {
1843 atomic_t usage ;
1844 pid_t tgid ;
1845 spinlock_t lock ;
1846 struct key *session_keyring ;
1847 struct key *process_keyring ;
1848 struct rcu_head rcu ;
1849};
1850#line 116 "include/linux/cred.h"
1851struct cred {
1852 atomic_t usage ;
1853 atomic_t subscribers ;
1854 void *put_addr ;
1855 unsigned int magic ;
1856 uid_t uid ;
1857 gid_t gid ;
1858 uid_t suid ;
1859 gid_t sgid ;
1860 uid_t euid ;
1861 gid_t egid ;
1862 uid_t fsuid ;
1863 gid_t fsgid ;
1864 unsigned int securebits ;
1865 kernel_cap_t cap_inheritable ;
1866 kernel_cap_t cap_permitted ;
1867 kernel_cap_t cap_effective ;
1868 kernel_cap_t cap_bset ;
1869 unsigned char jit_keyring ;
1870 struct key *thread_keyring ;
1871 struct key *request_key_auth ;
1872 struct thread_group_cred *tgcred ;
1873 void *security ;
1874 struct user_struct *user ;
1875 struct user_namespace *user_ns ;
1876 struct group_info *group_info ;
1877 struct rcu_head rcu ;
1878};
1879#line 61 "include/linux/llist.h"
1880struct llist_node;
1881#line 65 "include/linux/llist.h"
1882struct llist_node {
1883 struct llist_node *next ;
1884};
1885#line 97 "include/linux/sched.h"
1886struct futex_pi_state;
1887#line 97
1888struct futex_pi_state;
1889#line 98
1890struct robust_list_head;
1891#line 98
1892struct robust_list_head;
1893#line 99
1894struct bio_list;
1895#line 99
1896struct bio_list;
1897#line 100
1898struct fs_struct;
1899#line 100
1900struct fs_struct;
1901#line 101
1902struct perf_event_context;
1903#line 101
1904struct perf_event_context;
1905#line 102
1906struct blk_plug;
1907#line 102
1908struct blk_plug;
1909#line 151
1910struct cfs_rq;
1911#line 151
1912struct cfs_rq;
1913#line 259
1914struct task_struct;
1915#line 366
1916struct nsproxy;
1917#line 367
1918struct user_namespace;
1919#line 214 "include/linux/aio.h"
1920struct mm_struct;
1921#line 443 "include/linux/sched.h"
1922struct sighand_struct {
1923 atomic_t count ;
1924 struct k_sigaction action[64] ;
1925 spinlock_t siglock ;
1926 wait_queue_head_t signalfd_wqh ;
1927};
1928#line 450 "include/linux/sched.h"
1929struct pacct_struct {
1930 int ac_flag ;
1931 long ac_exitcode ;
1932 unsigned long ac_mem ;
1933 cputime_t ac_utime ;
1934 cputime_t ac_stime ;
1935 unsigned long ac_minflt ;
1936 unsigned long ac_majflt ;
1937};
1938#line 458 "include/linux/sched.h"
1939struct cpu_itimer {
1940 cputime_t expires ;
1941 cputime_t incr ;
1942 u32 error ;
1943 u32 incr_error ;
1944};
1945#line 476 "include/linux/sched.h"
1946struct task_cputime {
1947 cputime_t utime ;
1948 cputime_t stime ;
1949 unsigned long long sum_exec_runtime ;
1950};
1951#line 512 "include/linux/sched.h"
1952struct thread_group_cputimer {
1953 struct task_cputime cputime ;
1954 int running ;
1955 raw_spinlock_t lock ;
1956};
1957#line 519
1958struct autogroup;
1959#line 519
1960struct autogroup;
1961#line 528
1962struct tty_struct;
1963#line 528
1964struct taskstats;
1965#line 528
1966struct tty_audit_buf;
1967#line 528 "include/linux/sched.h"
1968struct signal_struct {
1969 atomic_t sigcnt ;
1970 atomic_t live ;
1971 int nr_threads ;
1972 wait_queue_head_t wait_chldexit ;
1973 struct task_struct *curr_target ;
1974 struct sigpending shared_pending ;
1975 int group_exit_code ;
1976 int notify_count ;
1977 struct task_struct *group_exit_task ;
1978 int group_stop_count ;
1979 unsigned int flags ;
1980 unsigned int is_child_subreaper : 1 ;
1981 unsigned int has_child_subreaper : 1 ;
1982 struct list_head posix_timers ;
1983 struct hrtimer real_timer ;
1984 struct pid *leader_pid ;
1985 ktime_t it_real_incr ;
1986 struct cpu_itimer it[2] ;
1987 struct thread_group_cputimer cputimer ;
1988 struct task_cputime cputime_expires ;
1989 struct list_head cpu_timers[3] ;
1990 struct pid *tty_old_pgrp ;
1991 int leader ;
1992 struct tty_struct *tty ;
1993 struct autogroup *autogroup ;
1994 cputime_t utime ;
1995 cputime_t stime ;
1996 cputime_t cutime ;
1997 cputime_t cstime ;
1998 cputime_t gtime ;
1999 cputime_t cgtime ;
2000 cputime_t prev_utime ;
2001 cputime_t prev_stime ;
2002 unsigned long nvcsw ;
2003 unsigned long nivcsw ;
2004 unsigned long cnvcsw ;
2005 unsigned long cnivcsw ;
2006 unsigned long min_flt ;
2007 unsigned long maj_flt ;
2008 unsigned long cmin_flt ;
2009 unsigned long cmaj_flt ;
2010 unsigned long inblock ;
2011 unsigned long oublock ;
2012 unsigned long cinblock ;
2013 unsigned long coublock ;
2014 unsigned long maxrss ;
2015 unsigned long cmaxrss ;
2016 struct task_io_accounting ioac ;
2017 unsigned long long sum_sched_runtime ;
2018 struct rlimit rlim[16] ;
2019 struct pacct_struct pacct ;
2020 struct taskstats *stats ;
2021 unsigned int audit_tty ;
2022 struct tty_audit_buf *tty_audit_buf ;
2023 struct rw_semaphore group_rwsem ;
2024 int oom_adj ;
2025 int oom_score_adj ;
2026 int oom_score_adj_min ;
2027 struct mutex cred_guard_mutex ;
2028};
2029#line 703 "include/linux/sched.h"
2030struct user_struct {
2031 atomic_t __count ;
2032 atomic_t processes ;
2033 atomic_t files ;
2034 atomic_t sigpending ;
2035 atomic_t inotify_watches ;
2036 atomic_t inotify_devs ;
2037 atomic_t fanotify_listeners ;
2038 atomic_long_t epoll_watches ;
2039 unsigned long mq_bytes ;
2040 unsigned long locked_shm ;
2041 struct key *uid_keyring ;
2042 struct key *session_keyring ;
2043 struct hlist_node uidhash_node ;
2044 uid_t uid ;
2045 struct user_namespace *user_ns ;
2046 atomic_long_t locked_vm ;
2047};
2048#line 747
2049struct backing_dev_info;
2050#line 747
2051struct backing_dev_info;
2052#line 748
2053struct reclaim_state;
2054#line 748
2055struct reclaim_state;
2056#line 751 "include/linux/sched.h"
2057struct sched_info {
2058 unsigned long pcount ;
2059 unsigned long long run_delay ;
2060 unsigned long long last_arrival ;
2061 unsigned long long last_queued ;
2062};
2063#line 763 "include/linux/sched.h"
2064struct task_delay_info {
2065 spinlock_t lock ;
2066 unsigned int flags ;
2067 struct timespec blkio_start ;
2068 struct timespec blkio_end ;
2069 u64 blkio_delay ;
2070 u64 swapin_delay ;
2071 u32 blkio_count ;
2072 u32 swapin_count ;
2073 struct timespec freepages_start ;
2074 struct timespec freepages_end ;
2075 u64 freepages_delay ;
2076 u32 freepages_count ;
2077};
2078#line 1088
2079struct io_context;
2080#line 1088
2081struct io_context;
2082#line 1097
2083struct audit_context;
2084#line 1098
2085struct mempolicy;
2086#line 1099
2087struct pipe_inode_info;
2088#line 1099
2089struct pipe_inode_info;
2090#line 1102
2091struct rq;
2092#line 1102
2093struct rq;
2094#line 1122 "include/linux/sched.h"
2095struct sched_class {
2096 struct sched_class const *next ;
2097 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2098 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2099 void (*yield_task)(struct rq *rq ) ;
2100 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2101 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2102 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2103 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2104 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2105 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2106 void (*post_schedule)(struct rq *this_rq ) ;
2107 void (*task_waking)(struct task_struct *task ) ;
2108 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2109 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2110 void (*rq_online)(struct rq *rq ) ;
2111 void (*rq_offline)(struct rq *rq ) ;
2112 void (*set_curr_task)(struct rq *rq ) ;
2113 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2114 void (*task_fork)(struct task_struct *p ) ;
2115 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2116 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2117 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2118 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2119 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2120};
2121#line 1167 "include/linux/sched.h"
2122struct load_weight {
2123 unsigned long weight ;
2124 unsigned long inv_weight ;
2125};
2126#line 1172 "include/linux/sched.h"
2127struct sched_statistics {
2128 u64 wait_start ;
2129 u64 wait_max ;
2130 u64 wait_count ;
2131 u64 wait_sum ;
2132 u64 iowait_count ;
2133 u64 iowait_sum ;
2134 u64 sleep_start ;
2135 u64 sleep_max ;
2136 s64 sum_sleep_runtime ;
2137 u64 block_start ;
2138 u64 block_max ;
2139 u64 exec_max ;
2140 u64 slice_max ;
2141 u64 nr_migrations_cold ;
2142 u64 nr_failed_migrations_affine ;
2143 u64 nr_failed_migrations_running ;
2144 u64 nr_failed_migrations_hot ;
2145 u64 nr_forced_migrations ;
2146 u64 nr_wakeups ;
2147 u64 nr_wakeups_sync ;
2148 u64 nr_wakeups_migrate ;
2149 u64 nr_wakeups_local ;
2150 u64 nr_wakeups_remote ;
2151 u64 nr_wakeups_affine ;
2152 u64 nr_wakeups_affine_attempts ;
2153 u64 nr_wakeups_passive ;
2154 u64 nr_wakeups_idle ;
2155};
2156#line 1207 "include/linux/sched.h"
2157struct sched_entity {
2158 struct load_weight load ;
2159 struct rb_node run_node ;
2160 struct list_head group_node ;
2161 unsigned int on_rq ;
2162 u64 exec_start ;
2163 u64 sum_exec_runtime ;
2164 u64 vruntime ;
2165 u64 prev_sum_exec_runtime ;
2166 u64 nr_migrations ;
2167 struct sched_statistics statistics ;
2168 struct sched_entity *parent ;
2169 struct cfs_rq *cfs_rq ;
2170 struct cfs_rq *my_q ;
2171};
2172#line 1233
2173struct rt_rq;
2174#line 1233 "include/linux/sched.h"
2175struct sched_rt_entity {
2176 struct list_head run_list ;
2177 unsigned long timeout ;
2178 unsigned int time_slice ;
2179 int nr_cpus_allowed ;
2180 struct sched_rt_entity *back ;
2181 struct sched_rt_entity *parent ;
2182 struct rt_rq *rt_rq ;
2183 struct rt_rq *my_q ;
2184};
2185#line 1264
2186struct files_struct;
2187#line 1264
2188struct css_set;
2189#line 1264
2190struct compat_robust_list_head;
2191#line 1264
2192struct mem_cgroup;
2193#line 1264 "include/linux/sched.h"
2194struct memcg_batch_info {
2195 int do_batch ;
2196 struct mem_cgroup *memcg ;
2197 unsigned long nr_pages ;
2198 unsigned long memsw_nr_pages ;
2199};
2200#line 1264 "include/linux/sched.h"
2201struct task_struct {
2202 long volatile state ;
2203 void *stack ;
2204 atomic_t usage ;
2205 unsigned int flags ;
2206 unsigned int ptrace ;
2207 struct llist_node wake_entry ;
2208 int on_cpu ;
2209 int on_rq ;
2210 int prio ;
2211 int static_prio ;
2212 int normal_prio ;
2213 unsigned int rt_priority ;
2214 struct sched_class const *sched_class ;
2215 struct sched_entity se ;
2216 struct sched_rt_entity rt ;
2217 struct hlist_head preempt_notifiers ;
2218 unsigned char fpu_counter ;
2219 unsigned int policy ;
2220 cpumask_t cpus_allowed ;
2221 struct sched_info sched_info ;
2222 struct list_head tasks ;
2223 struct plist_node pushable_tasks ;
2224 struct mm_struct *mm ;
2225 struct mm_struct *active_mm ;
2226 unsigned int brk_randomized : 1 ;
2227 int exit_state ;
2228 int exit_code ;
2229 int exit_signal ;
2230 int pdeath_signal ;
2231 unsigned int jobctl ;
2232 unsigned int personality ;
2233 unsigned int did_exec : 1 ;
2234 unsigned int in_execve : 1 ;
2235 unsigned int in_iowait : 1 ;
2236 unsigned int sched_reset_on_fork : 1 ;
2237 unsigned int sched_contributes_to_load : 1 ;
2238 unsigned int irq_thread : 1 ;
2239 pid_t pid ;
2240 pid_t tgid ;
2241 unsigned long stack_canary ;
2242 struct task_struct *real_parent ;
2243 struct task_struct *parent ;
2244 struct list_head children ;
2245 struct list_head sibling ;
2246 struct task_struct *group_leader ;
2247 struct list_head ptraced ;
2248 struct list_head ptrace_entry ;
2249 struct pid_link pids[3] ;
2250 struct list_head thread_group ;
2251 struct completion *vfork_done ;
2252 int *set_child_tid ;
2253 int *clear_child_tid ;
2254 cputime_t utime ;
2255 cputime_t stime ;
2256 cputime_t utimescaled ;
2257 cputime_t stimescaled ;
2258 cputime_t gtime ;
2259 cputime_t prev_utime ;
2260 cputime_t prev_stime ;
2261 unsigned long nvcsw ;
2262 unsigned long nivcsw ;
2263 struct timespec start_time ;
2264 struct timespec real_start_time ;
2265 unsigned long min_flt ;
2266 unsigned long maj_flt ;
2267 struct task_cputime cputime_expires ;
2268 struct list_head cpu_timers[3] ;
2269 struct cred const *real_cred ;
2270 struct cred const *cred ;
2271 struct cred *replacement_session_keyring ;
2272 char comm[16] ;
2273 int link_count ;
2274 int total_link_count ;
2275 struct sysv_sem sysvsem ;
2276 unsigned long last_switch_count ;
2277 struct thread_struct thread ;
2278 struct fs_struct *fs ;
2279 struct files_struct *files ;
2280 struct nsproxy *nsproxy ;
2281 struct signal_struct *signal ;
2282 struct sighand_struct *sighand ;
2283 sigset_t blocked ;
2284 sigset_t real_blocked ;
2285 sigset_t saved_sigmask ;
2286 struct sigpending pending ;
2287 unsigned long sas_ss_sp ;
2288 size_t sas_ss_size ;
2289 int (*notifier)(void *priv ) ;
2290 void *notifier_data ;
2291 sigset_t *notifier_mask ;
2292 struct audit_context *audit_context ;
2293 uid_t loginuid ;
2294 unsigned int sessionid ;
2295 seccomp_t seccomp ;
2296 u32 parent_exec_id ;
2297 u32 self_exec_id ;
2298 spinlock_t alloc_lock ;
2299 raw_spinlock_t pi_lock ;
2300 struct plist_head pi_waiters ;
2301 struct rt_mutex_waiter *pi_blocked_on ;
2302 struct mutex_waiter *blocked_on ;
2303 unsigned int irq_events ;
2304 unsigned long hardirq_enable_ip ;
2305 unsigned long hardirq_disable_ip ;
2306 unsigned int hardirq_enable_event ;
2307 unsigned int hardirq_disable_event ;
2308 int hardirqs_enabled ;
2309 int hardirq_context ;
2310 unsigned long softirq_disable_ip ;
2311 unsigned long softirq_enable_ip ;
2312 unsigned int softirq_disable_event ;
2313 unsigned int softirq_enable_event ;
2314 int softirqs_enabled ;
2315 int softirq_context ;
2316 void *journal_info ;
2317 struct bio_list *bio_list ;
2318 struct blk_plug *plug ;
2319 struct reclaim_state *reclaim_state ;
2320 struct backing_dev_info *backing_dev_info ;
2321 struct io_context *io_context ;
2322 unsigned long ptrace_message ;
2323 siginfo_t *last_siginfo ;
2324 struct task_io_accounting ioac ;
2325 u64 acct_rss_mem1 ;
2326 u64 acct_vm_mem1 ;
2327 cputime_t acct_timexpd ;
2328 nodemask_t mems_allowed ;
2329 seqcount_t mems_allowed_seq ;
2330 int cpuset_mem_spread_rotor ;
2331 int cpuset_slab_spread_rotor ;
2332 struct css_set *cgroups ;
2333 struct list_head cg_list ;
2334 struct robust_list_head *robust_list ;
2335 struct compat_robust_list_head *compat_robust_list ;
2336 struct list_head pi_state_list ;
2337 struct futex_pi_state *pi_state_cache ;
2338 struct perf_event_context *perf_event_ctxp[2] ;
2339 struct mutex perf_event_mutex ;
2340 struct list_head perf_event_list ;
2341 struct mempolicy *mempolicy ;
2342 short il_next ;
2343 short pref_node_fork ;
2344 struct rcu_head rcu ;
2345 struct pipe_inode_info *splice_pipe ;
2346 struct task_delay_info *delays ;
2347 int make_it_fail ;
2348 int nr_dirtied ;
2349 int nr_dirtied_pause ;
2350 unsigned long dirty_paused_when ;
2351 int latency_record_count ;
2352 struct latency_record latency_record[32] ;
2353 unsigned long timer_slack_ns ;
2354 unsigned long default_timer_slack_ns ;
2355 struct list_head *scm_work_list ;
2356 unsigned long trace ;
2357 unsigned long trace_recursion ;
2358 struct memcg_batch_info memcg_batch ;
2359 atomic_t ptrace_bp_refcnt ;
2360};
2361#line 1681
2362struct pid_namespace;
2363#line 55 "include/linux/kthread.h"
2364struct kthread_work;
2365#line 55
2366struct kthread_work;
2367#line 58 "include/linux/kthread.h"
2368struct kthread_worker {
2369 spinlock_t lock ;
2370 struct list_head work_list ;
2371 struct task_struct *task ;
2372};
2373#line 64 "include/linux/kthread.h"
2374struct kthread_work {
2375 struct list_head node ;
2376 void (*func)(struct kthread_work *work ) ;
2377 wait_queue_head_t done ;
2378 atomic_t flushing ;
2379 int queue_seq ;
2380 int done_seq ;
2381};
2382#line 70 "include/linux/spi/spi.h"
2383struct spi_master;
2384#line 70 "include/linux/spi/spi.h"
2385struct spi_device {
2386 struct device dev ;
2387 struct spi_master *master ;
2388 u32 max_speed_hz ;
2389 u8 chip_select ;
2390 u8 mode ;
2391 u8 bits_per_word ;
2392 int irq ;
2393 void *controller_state ;
2394 void *controller_data ;
2395 char modalias[32] ;
2396};
2397#line 145
2398struct spi_message;
2399#line 145
2400struct spi_message;
2401#line 176 "include/linux/spi/spi.h"
2402struct spi_driver {
2403 struct spi_device_id const *id_table ;
2404 int (*probe)(struct spi_device *spi ) ;
2405 int (*remove)(struct spi_device *spi ) ;
2406 void (*shutdown)(struct spi_device *spi ) ;
2407 int (*suspend)(struct spi_device *spi , pm_message_t mesg ) ;
2408 int (*resume)(struct spi_device *spi ) ;
2409 struct device_driver driver ;
2410};
2411#line 272 "include/linux/spi/spi.h"
2412struct spi_master {
2413 struct device dev ;
2414 struct list_head list ;
2415 s16 bus_num ;
2416 u16 num_chipselect ;
2417 u16 dma_alignment ;
2418 u16 mode_bits ;
2419 u16 flags ;
2420 spinlock_t bus_lock_spinlock ;
2421 struct mutex bus_lock_mutex ;
2422 bool bus_lock_flag ;
2423 int (*setup)(struct spi_device *spi ) ;
2424 int (*transfer)(struct spi_device *spi , struct spi_message *mesg ) ;
2425 void (*cleanup)(struct spi_device *spi ) ;
2426 bool queued ;
2427 struct kthread_worker kworker ;
2428 struct task_struct *kworker_task ;
2429 struct kthread_work pump_messages ;
2430 spinlock_t queue_lock ;
2431 struct list_head queue ;
2432 struct spi_message *cur_msg ;
2433 bool busy ;
2434 bool running ;
2435 bool rt ;
2436 int (*prepare_transfer_hardware)(struct spi_master *master ) ;
2437 int (*transfer_one_message)(struct spi_master *master , struct spi_message *mesg ) ;
2438 int (*unprepare_transfer_hardware)(struct spi_master *master ) ;
2439};
2440#line 492 "include/linux/spi/spi.h"
2441struct spi_transfer {
2442 void const *tx_buf ;
2443 void *rx_buf ;
2444 unsigned int len ;
2445 dma_addr_t tx_dma ;
2446 dma_addr_t rx_dma ;
2447 unsigned int cs_change : 1 ;
2448 u8 bits_per_word ;
2449 u16 delay_usecs ;
2450 u32 speed_hz ;
2451 struct list_head transfer_list ;
2452};
2453#line 541 "include/linux/spi/spi.h"
2454struct spi_message {
2455 struct list_head transfers ;
2456 struct spi_device *spi ;
2457 unsigned int is_dma_mapped : 1 ;
2458 void (*complete)(void *context ) ;
2459 void *context ;
2460 unsigned int actual_length ;
2461 int status ;
2462 struct list_head queue ;
2463 void *state ;
2464};
2465#line 1 "<compiler builtins>"
2466long __builtin_expect(long val , long res ) ;
2467#line 24 "include/linux/list.h"
2468__inline static void INIT_LIST_HEAD(struct list_head *list ) __attribute__((__no_instrument_function__)) ;
2469#line 24 "include/linux/list.h"
2470__inline static void INIT_LIST_HEAD(struct list_head *list )
2471{ unsigned long __cil_tmp2 ;
2472 unsigned long __cil_tmp3 ;
2473
2474 {
2475#line 26
2476 *((struct list_head **)list) = list;
2477#line 27
2478 __cil_tmp2 = (unsigned long )list;
2479#line 27
2480 __cil_tmp3 = __cil_tmp2 + 8;
2481#line 27
2482 *((struct list_head **)__cil_tmp3) = list;
2483#line 28
2484 return;
2485}
2486}
2487#line 47
2488extern void __list_add(struct list_head *new , struct list_head *prev , struct list_head *next ) ;
2489#line 74
2490__inline static void list_add_tail(struct list_head *new , struct list_head *head ) __attribute__((__no_instrument_function__)) ;
2491#line 74 "include/linux/list.h"
2492__inline static void list_add_tail(struct list_head *new , struct list_head *head )
2493{ unsigned long __cil_tmp3 ;
2494 unsigned long __cil_tmp4 ;
2495 struct list_head *__cil_tmp5 ;
2496
2497 {
2498 {
2499#line 76
2500 __cil_tmp3 = (unsigned long )head;
2501#line 76
2502 __cil_tmp4 = __cil_tmp3 + 8;
2503#line 76
2504 __cil_tmp5 = *((struct list_head **)__cil_tmp4);
2505#line 76
2506 __list_add(new, __cil_tmp5, head);
2507 }
2508#line 77
2509 return;
2510}
2511}
2512#line 215 "include/linux/kernel.h"
2513extern int __attribute__((__warn_unused_result__)) _kstrtoul(char const *s , unsigned int base ,
2514 unsigned long *res ) ;
2515#line 218
2516extern int __attribute__((__warn_unused_result__)) kstrtoull(char const *s , unsigned int base ,
2517 unsigned long long *res ) ;
2518#line 220
2519__inline static int __attribute__((__warn_unused_result__)) kstrtoul(char const *s ,
2520 unsigned int base ,
2521 unsigned long *res ) __attribute__((__no_instrument_function__)) ;
2522#line 220 "include/linux/kernel.h"
2523__inline static int __attribute__((__warn_unused_result__)) kstrtoul(char const *s ,
2524 unsigned int base ,
2525 unsigned long *res )
2526{ int tmp ;
2527 int tmp___0 ;
2528 unsigned long long *__cil_tmp6 ;
2529
2530 {
2531#line 226
2532 if (8UL == 8UL) {
2533#line 226
2534 if (8UL == 8UL) {
2535 {
2536#line 228
2537 __cil_tmp6 = (unsigned long long *)res;
2538#line 228
2539 tmp = (int )kstrtoull(s, base, __cil_tmp6);
2540 }
2541#line 228
2542 return (tmp);
2543 } else {
2544 {
2545#line 230
2546 tmp___0 = (int )_kstrtoul(s, base, res);
2547 }
2548#line 230
2549 return (tmp___0);
2550 }
2551 } else {
2552 {
2553#line 230
2554 tmp___0 = (int )_kstrtoul(s, base, res);
2555 }
2556#line 230
2557 return (tmp___0);
2558 }
2559}
2560}
2561#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/string_64.h"
2562extern void *memset(void *s , int c , size_t n ) ;
2563#line 152 "include/linux/mutex.h"
2564void mutex_lock(struct mutex *lock ) ;
2565#line 153
2566int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2567#line 154
2568int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2569#line 168
2570int mutex_trylock(struct mutex *lock ) ;
2571#line 169
2572void mutex_unlock(struct mutex *lock ) ;
2573#line 170
2574int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2575#line 158 "include/linux/sysfs.h"
2576extern int __attribute__((__warn_unused_result__)) sysfs_create_group(struct kobject *kobj ,
2577 struct attribute_group const *grp ) ;
2578#line 162
2579extern void sysfs_remove_group(struct kobject *kobj , struct attribute_group const *grp ) ;
2580#line 26 "include/linux/export.h"
2581extern struct module __this_module ;
2582#line 67 "include/linux/module.h"
2583int init_module(void) ;
2584#line 68
2585void cleanup_module(void) ;
2586#line 239 "include/linux/device.h"
2587extern void driver_unregister(struct device_driver *drv ) ;
2588#line 105 "include/linux/spi/spi.h"
2589__inline static struct spi_device *to_spi_device(struct device *dev ) __attribute__((__no_instrument_function__)) ;
2590#line 105 "include/linux/spi/spi.h"
2591__inline static struct spi_device *to_spi_device(struct device *dev )
2592{ struct device const *__mptr ;
2593 struct spi_device *tmp___7 ;
2594 struct spi_device *__cil_tmp4 ;
2595 struct device *__cil_tmp5 ;
2596 unsigned int __cil_tmp6 ;
2597 char *__cil_tmp7 ;
2598 char *__cil_tmp8 ;
2599 void *__cil_tmp9 ;
2600
2601 {
2602#line 107
2603 if (dev) {
2604#line 107
2605 __mptr = (struct device const *)dev;
2606#line 107
2607 __cil_tmp4 = (struct spi_device *)0;
2608#line 107
2609 __cil_tmp5 = (struct device *)__cil_tmp4;
2610#line 107
2611 __cil_tmp6 = (unsigned int )__cil_tmp5;
2612#line 107
2613 __cil_tmp7 = (char *)__mptr;
2614#line 107
2615 __cil_tmp8 = __cil_tmp7 - __cil_tmp6;
2616#line 107
2617 tmp___7 = (struct spi_device *)__cil_tmp8;
2618 } else {
2619#line 107
2620 __cil_tmp9 = (void *)0;
2621#line 107
2622 tmp___7 = (struct spi_device *)__cil_tmp9;
2623 }
2624#line 107
2625 return (tmp___7);
2626}
2627}
2628#line 191
2629extern int spi_register_driver(struct spi_driver *sdrv ) ;
2630#line 198
2631__inline static void spi_unregister_driver(struct spi_driver *sdrv ) __attribute__((__no_instrument_function__)) ;
2632#line 198 "include/linux/spi/spi.h"
2633__inline static void spi_unregister_driver(struct spi_driver *sdrv )
2634{ unsigned long __cil_tmp2 ;
2635 unsigned long __cil_tmp3 ;
2636 struct device_driver *__cil_tmp4 ;
2637
2638 {
2639#line 200
2640 if (sdrv) {
2641 {
2642#line 201
2643 __cil_tmp2 = (unsigned long )sdrv;
2644#line 201
2645 __cil_tmp3 = __cil_tmp2 + 48;
2646#line 201
2647 __cil_tmp4 = (struct device_driver *)__cil_tmp3;
2648#line 201
2649 driver_unregister(__cil_tmp4);
2650 }
2651 } else {
2652
2653 }
2654#line 202
2655 return;
2656}
2657}
2658#line 573
2659__inline static void spi_message_init(struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2660#line 573 "include/linux/spi/spi.h"
2661__inline static void spi_message_init(struct spi_message *m )
2662{ void *__cil_tmp2 ;
2663 struct list_head *__cil_tmp3 ;
2664
2665 {
2666 {
2667#line 575
2668 __cil_tmp2 = (void *)m;
2669#line 575
2670 memset(__cil_tmp2, 0, 80UL);
2671#line 576
2672 __cil_tmp3 = (struct list_head *)m;
2673#line 576
2674 INIT_LIST_HEAD(__cil_tmp3);
2675 }
2676#line 577
2677 return;
2678}
2679}
2680#line 579
2681__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m ) __attribute__((__no_instrument_function__)) ;
2682#line 579 "include/linux/spi/spi.h"
2683__inline static void spi_message_add_tail(struct spi_transfer *t , struct spi_message *m )
2684{ unsigned long __cil_tmp3 ;
2685 unsigned long __cil_tmp4 ;
2686 struct list_head *__cil_tmp5 ;
2687 struct list_head *__cil_tmp6 ;
2688
2689 {
2690 {
2691#line 582
2692 __cil_tmp3 = (unsigned long )t;
2693#line 582
2694 __cil_tmp4 = __cil_tmp3 + 48;
2695#line 582
2696 __cil_tmp5 = (struct list_head *)__cil_tmp4;
2697#line 582
2698 __cil_tmp6 = (struct list_head *)m;
2699#line 582
2700 list_add_tail(__cil_tmp5, __cil_tmp6);
2701 }
2702#line 583
2703 return;
2704}
2705}
2706#line 618
2707extern int spi_setup(struct spi_device *spi ) ;
2708#line 630
2709extern int spi_sync(struct spi_device *spi , struct spi_message *message ) ;
2710#line 645
2711__inline static int spi_write(struct spi_device *spi , void const *buf , size_t len ) __attribute__((__no_instrument_function__)) ;
2712#line 645 "include/linux/spi/spi.h"
2713__inline static int spi_write(struct spi_device *spi , void const *buf , size_t len )
2714{ struct spi_transfer t ;
2715 struct spi_message m ;
2716 int tmp___7 ;
2717 struct spi_transfer *__cil_tmp7 ;
2718 unsigned long __cil_tmp8 ;
2719 unsigned long __cil_tmp9 ;
2720 unsigned long __cil_tmp10 ;
2721 unsigned long __cil_tmp11 ;
2722 unsigned long __cil_tmp12 ;
2723 unsigned long __cil_tmp13 ;
2724 unsigned long __cil_tmp14 ;
2725 unsigned long __cil_tmp15 ;
2726 unsigned long __cil_tmp16 ;
2727 unsigned long __cil_tmp17 ;
2728 unsigned long __cil_tmp18 ;
2729
2730 {
2731 {
2732#line 648
2733 __cil_tmp7 = & t;
2734#line 648
2735 *((void const **)__cil_tmp7) = buf;
2736#line 648
2737 __cil_tmp8 = (unsigned long )(& t) + 8;
2738#line 648
2739 *((void **)__cil_tmp8) = (void *)0;
2740#line 648
2741 __cil_tmp9 = (unsigned long )(& t) + 16;
2742#line 648
2743 *((unsigned int *)__cil_tmp9) = (unsigned int )len;
2744#line 648
2745 __cil_tmp10 = (unsigned long )(& t) + 24;
2746#line 648
2747 *((dma_addr_t *)__cil_tmp10) = 0ULL;
2748#line 648
2749 __cil_tmp11 = (unsigned long )(& t) + 32;
2750#line 648
2751 *((dma_addr_t *)__cil_tmp11) = 0ULL;
2752#line 648
2753 __cil_tmp12 = (unsigned long )(& t) + 40;
2754#line 648
2755 *((unsigned int *)__cil_tmp12) = 0U;
2756#line 648
2757 __cil_tmp13 = (unsigned long )(& t) + 41;
2758#line 648
2759 *((u8 *)__cil_tmp13) = (unsigned char)0;
2760#line 648
2761 __cil_tmp14 = (unsigned long )(& t) + 42;
2762#line 648
2763 *((u16 *)__cil_tmp14) = (unsigned short)0;
2764#line 648
2765 __cil_tmp15 = (unsigned long )(& t) + 44;
2766#line 648
2767 *((u32 *)__cil_tmp15) = 0U;
2768#line 648
2769 __cil_tmp16 = (unsigned long )(& t) + 48;
2770#line 648
2771 *((struct list_head **)__cil_tmp16) = (struct list_head *)0;
2772#line 648
2773 __cil_tmp17 = 48 + 8;
2774#line 648
2775 __cil_tmp18 = (unsigned long )(& t) + __cil_tmp17;
2776#line 648
2777 *((struct list_head **)__cil_tmp18) = (struct list_head *)0;
2778#line 654
2779 spi_message_init(& m);
2780#line 655
2781 spi_message_add_tail(& t, & m);
2782#line 656
2783 tmp___7 = spi_sync(spi, & m);
2784 }
2785#line 656
2786 return (tmp___7);
2787}
2788}
2789#line 30 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2790static ssize_t dac7512_store_val(struct device *dev , struct device_attribute *attr ,
2791 char const *buf , size_t count )
2792{ struct spi_device *spi ;
2793 struct spi_device *tmp___7 ;
2794 unsigned char tmp___8[2] ;
2795 unsigned long val ;
2796 int tmp___9 ;
2797 unsigned long __cil_tmp10 ;
2798 unsigned long __cil_tmp11 ;
2799 unsigned long *__cil_tmp12 ;
2800 unsigned long __cil_tmp13 ;
2801 unsigned long __cil_tmp14 ;
2802 unsigned long __cil_tmp15 ;
2803 unsigned long __cil_tmp16 ;
2804 unsigned long *__cil_tmp17 ;
2805 unsigned long __cil_tmp18 ;
2806 unsigned long __cil_tmp19 ;
2807 unsigned long __cil_tmp20 ;
2808 unsigned long __cil_tmp21 ;
2809 unsigned char *__cil_tmp22 ;
2810 void const *__cil_tmp23 ;
2811
2812 {
2813 {
2814#line 34
2815 tmp___7 = to_spi_device(dev);
2816#line 34
2817 spi = tmp___7;
2818#line 38
2819 tmp___9 = (int )kstrtoul(buf, 10U, & val);
2820 }
2821#line 38
2822 if (tmp___9 < 0) {
2823#line 39
2824 return ((ssize_t )-22);
2825 } else {
2826
2827 }
2828 {
2829#line 41
2830 __cil_tmp10 = 0 * 1UL;
2831#line 41
2832 __cil_tmp11 = (unsigned long )(tmp___8) + __cil_tmp10;
2833#line 41
2834 __cil_tmp12 = & val;
2835#line 41
2836 __cil_tmp13 = *__cil_tmp12;
2837#line 41
2838 __cil_tmp14 = __cil_tmp13 >> 8;
2839#line 41
2840 *((unsigned char *)__cil_tmp11) = (unsigned char )__cil_tmp14;
2841#line 42
2842 __cil_tmp15 = 1 * 1UL;
2843#line 42
2844 __cil_tmp16 = (unsigned long )(tmp___8) + __cil_tmp15;
2845#line 42
2846 __cil_tmp17 = & val;
2847#line 42
2848 __cil_tmp18 = *__cil_tmp17;
2849#line 42
2850 __cil_tmp19 = __cil_tmp18 & 255UL;
2851#line 42
2852 *((unsigned char *)__cil_tmp16) = (unsigned char )__cil_tmp19;
2853#line 43
2854 __cil_tmp20 = 0 * 1UL;
2855#line 43
2856 __cil_tmp21 = (unsigned long )(tmp___8) + __cil_tmp20;
2857#line 43
2858 __cil_tmp22 = (unsigned char *)__cil_tmp21;
2859#line 43
2860 __cil_tmp23 = (void const *)__cil_tmp22;
2861#line 43
2862 spi_write(spi, __cil_tmp23, 2UL);
2863 }
2864#line 44
2865 return ((ssize_t )count);
2866}
2867}
2868#line 47 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2869static struct device_attribute dev_attr_value = {{"value", (umode_t )128}, (ssize_t (*)(struct device *dev , struct device_attribute *attr ,
2870 char *buf ))((void *)0), & dac7512_store_val};
2871#line 49 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2872static struct attribute *dac7512_attributes[2] = { & dev_attr_value.attr, (struct attribute *)((void *)0)};
2873#line 54 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2874static struct attribute_group const dac7512_attr_group = {(char const *)0, (umode_t (*)(struct kobject * , struct attribute * , int ))0,
2875 dac7512_attributes};
2876#line 58
2877static int dac7512_probe(struct spi_device *spi ) __attribute__((__section__(".devinit.text"),
2878__no_instrument_function__)) ;
2879#line 58 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2880static int dac7512_probe(struct spi_device *spi )
2881{ int ret ;
2882 int tmp___7 ;
2883 unsigned long __cil_tmp4 ;
2884 unsigned long __cil_tmp5 ;
2885 unsigned long __cil_tmp6 ;
2886 unsigned long __cil_tmp7 ;
2887 unsigned long __cil_tmp8 ;
2888 unsigned long __cil_tmp9 ;
2889 unsigned long __cil_tmp10 ;
2890 struct kobject *__cil_tmp11 ;
2891
2892 {
2893 {
2894#line 62
2895 __cil_tmp4 = (unsigned long )spi;
2896#line 62
2897 __cil_tmp5 = __cil_tmp4 + 782;
2898#line 62
2899 *((u8 *)__cil_tmp5) = (u8 )8;
2900#line 63
2901 __cil_tmp6 = (unsigned long )spi;
2902#line 63
2903 __cil_tmp7 = __cil_tmp6 + 781;
2904#line 63
2905 *((u8 *)__cil_tmp7) = (u8 )0;
2906#line 64
2907 ret = spi_setup(spi);
2908 }
2909#line 65
2910 if (ret < 0) {
2911#line 66
2912 return (ret);
2913 } else {
2914
2915 }
2916 {
2917#line 68
2918 __cil_tmp8 = 0 + 16;
2919#line 68
2920 __cil_tmp9 = (unsigned long )spi;
2921#line 68
2922 __cil_tmp10 = __cil_tmp9 + __cil_tmp8;
2923#line 68
2924 __cil_tmp11 = (struct kobject *)__cil_tmp10;
2925#line 68
2926 tmp___7 = (int )sysfs_create_group(__cil_tmp11, & dac7512_attr_group);
2927 }
2928#line 68
2929 return (tmp___7);
2930}
2931}
2932#line 71
2933static int dac7512_remove(struct spi_device *spi ) __attribute__((__section__(".devexit.text"),
2934__no_instrument_function__)) ;
2935#line 71 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2936static int dac7512_remove(struct spi_device *spi )
2937{ unsigned long __cil_tmp2 ;
2938 unsigned long __cil_tmp3 ;
2939 unsigned long __cil_tmp4 ;
2940 struct kobject *__cil_tmp5 ;
2941
2942 {
2943 {
2944#line 73
2945 __cil_tmp2 = 0 + 16;
2946#line 73
2947 __cil_tmp3 = (unsigned long )spi;
2948#line 73
2949 __cil_tmp4 = __cil_tmp3 + __cil_tmp2;
2950#line 73
2951 __cil_tmp5 = (struct kobject *)__cil_tmp4;
2952#line 73
2953 sysfs_remove_group(__cil_tmp5, & dac7512_attr_group);
2954 }
2955#line 74
2956 return (0);
2957}
2958}
2959#line 77 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2960static struct spi_driver dac7512_driver = {(struct spi_device_id const *)0, & dac7512_probe, & dac7512_remove, (void (*)(struct spi_device *spi ))0,
2961 (int (*)(struct spi_device *spi , pm_message_t mesg ))0, (int (*)(struct spi_device *spi ))0,
2962 {"dac7512", (struct bus_type *)0, & __this_module, (char const *)0, (_Bool)0,
2963 (struct of_device_id const *)0, (int (*)(struct device *dev ))0, (int (*)(struct device *dev ))0,
2964 (void (*)(struct device *dev ))0, (int (*)(struct device *dev , pm_message_t state ))0,
2965 (int (*)(struct device *dev ))0, (struct attribute_group const **)0, (struct dev_pm_ops const *)0,
2966 (struct driver_private *)0}};
2967#line 86
2968static int dac7512_driver_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
2969#line 86 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2970static int dac7512_driver_init(void)
2971{ int tmp___7 ;
2972
2973 {
2974 {
2975#line 86
2976 tmp___7 = spi_register_driver(& dac7512_driver);
2977 }
2978#line 86
2979 return (tmp___7);
2980}
2981}
2982#line 86 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2983int init_module(void)
2984{ int tmp___7 ;
2985
2986 {
2987 {
2988#line 86
2989 tmp___7 = dac7512_driver_init();
2990 }
2991#line 86
2992 return (tmp___7);
2993}
2994}
2995#line 86
2996static void dac7512_driver_exit(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
2997#line 86 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
2998static void dac7512_driver_exit(void)
2999{
3000
3001 {
3002 {
3003#line 86
3004 spi_unregister_driver(& dac7512_driver);
3005 }
3006#line 86
3007 return;
3008}
3009}
3010#line 86 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3011void cleanup_module(void)
3012{
3013
3014 {
3015 {
3016#line 86
3017 dac7512_driver_exit();
3018 }
3019#line 86
3020 return;
3021}
3022}
3023#line 88 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3024static char const __mod_author88[37] __attribute__((__used__, __unused__, __section__(".modinfo"),
3025__aligned__(1))) =
3026#line 88
3027 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3028 (char const )'o', (char const )'r', (char const )'=', (char const )'D',
3029 (char const )'a', (char const )'n', (char const )'i', (char const )'e',
3030 (char const )'l', (char const )' ', (char const )'M', (char const )'a',
3031 (char const )'c', (char const )'k', (char const )' ', (char const )'<',
3032 (char const )'d', (char const )'a', (char const )'n', (char const )'i',
3033 (char const )'e', (char const )'l', (char const )'@', (char const )'c',
3034 (char const )'a', (char const )'i', (char const )'a', (char const )'q',
3035 (char const )'.', (char const )'d', (char const )'e', (char const )'>',
3036 (char const )'\000'};
3037#line 89 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3038static char const __mod_description89[31] __attribute__((__used__, __unused__,
3039__section__(".modinfo"), __aligned__(1))) =
3040#line 89
3041 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3042 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3043 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3044 (char const )'D', (char const )'A', (char const )'C', (char const )'7',
3045 (char const )'5', (char const )'1', (char const )'2', (char const )' ',
3046 (char const )'1', (char const )'6', (char const )'-', (char const )'b',
3047 (char const )'i', (char const )'t', (char const )' ', (char const )'D',
3048 (char const )'A', (char const )'C', (char const )'\000'};
3049#line 90 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3050static char const __mod_license90[15] __attribute__((__used__, __unused__, __section__(".modinfo"),
3051__aligned__(1))) =
3052#line 90
3053 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3054 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3055 (char const )'G', (char const )'P', (char const )'L', (char const )' ',
3056 (char const )'v', (char const )'2', (char const )'\000'};
3057#line 91 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3058static char const __mod_version91[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
3059__aligned__(1))) =
3060#line 91
3061 { (char const )'v', (char const )'e', (char const )'r', (char const )'s',
3062 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3063 (char const )'1', (char const )'.', (char const )'0', (char const )'\000'};
3064#line 109
3065void ldv_check_final_state(void) ;
3066#line 112
3067extern void ldv_check_return_value(int res ) ;
3068#line 115
3069extern void ldv_initialize(void) ;
3070#line 118
3071extern int __VERIFIER_nondet_int(void) ;
3072#line 121 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3073int LDV_IN_INTERRUPT ;
3074#line 139 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3075static int res_dac7512_probe_1 ;
3076#line 124 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3077void main(void)
3078{ struct spi_device *var_group1 ;
3079 int ldv_s_dac7512_driver_spi_driver ;
3080 int tmp___7 ;
3081 int tmp___8 ;
3082 int __cil_tmp5 ;
3083
3084 {
3085 {
3086#line 147
3087 LDV_IN_INTERRUPT = 1;
3088#line 156
3089 ldv_initialize();
3090#line 157
3091 ldv_s_dac7512_driver_spi_driver = 0;
3092 }
3093 {
3094#line 160
3095 while (1) {
3096 while_continue: ;
3097 {
3098#line 160
3099 tmp___8 = __VERIFIER_nondet_int();
3100 }
3101#line 160
3102 if (tmp___8) {
3103
3104 } else {
3105 {
3106#line 160
3107 __cil_tmp5 = ldv_s_dac7512_driver_spi_driver == 0;
3108#line 160
3109 if (! __cil_tmp5) {
3110
3111 } else {
3112#line 160
3113 goto while_break;
3114 }
3115 }
3116 }
3117 {
3118#line 164
3119 tmp___7 = __VERIFIER_nondet_int();
3120 }
3121#line 166
3122 if (tmp___7 == 0) {
3123#line 166
3124 goto case_0;
3125 } else {
3126 {
3127#line 188
3128 goto switch_default;
3129#line 164
3130 if (0) {
3131 case_0:
3132#line 169
3133 if (ldv_s_dac7512_driver_spi_driver == 0) {
3134 {
3135#line 177
3136 res_dac7512_probe_1 = dac7512_probe(var_group1);
3137#line 178
3138 ldv_check_return_value(res_dac7512_probe_1);
3139 }
3140#line 179
3141 if (res_dac7512_probe_1) {
3142#line 180
3143 goto ldv_module_exit;
3144 } else {
3145
3146 }
3147#line 181
3148 ldv_s_dac7512_driver_spi_driver = 0;
3149 } else {
3150
3151 }
3152#line 187
3153 goto switch_break;
3154 switch_default:
3155#line 188
3156 goto switch_break;
3157 } else {
3158 switch_break: ;
3159 }
3160 }
3161 }
3162 }
3163 while_break: ;
3164 }
3165 ldv_module_exit:
3166 {
3167#line 197
3168 ldv_check_final_state();
3169 }
3170#line 200
3171 return;
3172}
3173}
3174#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
3175void ldv_blast_assert(void)
3176{
3177
3178 {
3179 ERROR:
3180#line 6
3181 goto ERROR;
3182}
3183}
3184#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
3185extern int __VERIFIER_nondet_int(void) ;
3186#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3187int ldv_mutex = 1;
3188#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3189int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
3190{ int nondetermined ;
3191
3192 {
3193#line 29
3194 if (ldv_mutex == 1) {
3195
3196 } else {
3197 {
3198#line 29
3199 ldv_blast_assert();
3200 }
3201 }
3202 {
3203#line 32
3204 nondetermined = __VERIFIER_nondet_int();
3205 }
3206#line 35
3207 if (nondetermined) {
3208#line 38
3209 ldv_mutex = 2;
3210#line 40
3211 return (0);
3212 } else {
3213#line 45
3214 return (-4);
3215 }
3216}
3217}
3218#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3219int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
3220{ int nondetermined ;
3221
3222 {
3223#line 57
3224 if (ldv_mutex == 1) {
3225
3226 } else {
3227 {
3228#line 57
3229 ldv_blast_assert();
3230 }
3231 }
3232 {
3233#line 60
3234 nondetermined = __VERIFIER_nondet_int();
3235 }
3236#line 63
3237 if (nondetermined) {
3238#line 66
3239 ldv_mutex = 2;
3240#line 68
3241 return (0);
3242 } else {
3243#line 73
3244 return (-4);
3245 }
3246}
3247}
3248#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3249int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
3250{ int atomic_value_after_dec ;
3251
3252 {
3253#line 83
3254 if (ldv_mutex == 1) {
3255
3256 } else {
3257 {
3258#line 83
3259 ldv_blast_assert();
3260 }
3261 }
3262 {
3263#line 86
3264 atomic_value_after_dec = __VERIFIER_nondet_int();
3265 }
3266#line 89
3267 if (atomic_value_after_dec == 0) {
3268#line 92
3269 ldv_mutex = 2;
3270#line 94
3271 return (1);
3272 } else {
3273
3274 }
3275#line 98
3276 return (0);
3277}
3278}
3279#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3280void mutex_lock(struct mutex *lock )
3281{
3282
3283 {
3284#line 108
3285 if (ldv_mutex == 1) {
3286
3287 } else {
3288 {
3289#line 108
3290 ldv_blast_assert();
3291 }
3292 }
3293#line 110
3294 ldv_mutex = 2;
3295#line 111
3296 return;
3297}
3298}
3299#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3300int mutex_trylock(struct mutex *lock )
3301{ int nondetermined ;
3302
3303 {
3304#line 121
3305 if (ldv_mutex == 1) {
3306
3307 } else {
3308 {
3309#line 121
3310 ldv_blast_assert();
3311 }
3312 }
3313 {
3314#line 124
3315 nondetermined = __VERIFIER_nondet_int();
3316 }
3317#line 127
3318 if (nondetermined) {
3319#line 130
3320 ldv_mutex = 2;
3321#line 132
3322 return (1);
3323 } else {
3324#line 137
3325 return (0);
3326 }
3327}
3328}
3329#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3330void mutex_unlock(struct mutex *lock )
3331{
3332
3333 {
3334#line 147
3335 if (ldv_mutex == 2) {
3336
3337 } else {
3338 {
3339#line 147
3340 ldv_blast_assert();
3341 }
3342 }
3343#line 149
3344 ldv_mutex = 1;
3345#line 150
3346 return;
3347}
3348}
3349#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
3350void ldv_check_final_state(void)
3351{
3352
3353 {
3354#line 156
3355 if (ldv_mutex == 1) {
3356
3357 } else {
3358 {
3359#line 156
3360 ldv_blast_assert();
3361 }
3362 }
3363#line 157
3364 return;
3365}
3366}
3367#line 209 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/4895/dscv_tempdir/dscv/ri/32_1/drivers/misc/ti_dac7512.c.common.c"
3368long s__builtin_expect(long val , long res )
3369{
3370
3371 {
3372#line 210
3373 return (val);
3374}
3375}