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