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