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 1 "<compiler builtins>"
2927long __builtin_expect(long val , long res ) ;
2928#line 100 "include/linux/printk.h"
2929extern int ( printk)(char const *fmt , ...) ;
2930#line 49 "include/linux/dynamic_debug.h"
2931extern int ( __dynamic_dev_dbg)(struct _ddebug *descriptor ,
2932 struct device const *dev ,
2933 char const *fmt , ...) ;
2934#line 30 "include/linux/string.h"
2935extern size_t strlcpy(char * , char const * , size_t ) ;
2936#line 152 "include/linux/mutex.h"
2937void mutex_lock(struct mutex *lock ) ;
2938#line 153
2939int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
2940#line 154
2941int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
2942#line 168
2943int mutex_trylock(struct mutex *lock ) ;
2944#line 169
2945void mutex_unlock(struct mutex *lock ) ;
2946#line 170
2947int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
2948#line 356 "include/linux/moduleparam.h"
2949extern struct kernel_param_ops param_ops_int ;
2950#line 26 "include/linux/export.h"
2951extern struct module __this_module ;
2952#line 67 "include/linux/module.h"
2953int init_module(void) ;
2954#line 68
2955void cleanup_module(void) ;
2956#line 161 "include/linux/slab.h"
2957extern void kfree(void const * ) ;
2958#line 65 "include/pcmcia/ds.h"
2959extern int pcmcia_register_driver(struct pcmcia_driver *driver ) ;
2960#line 66
2961extern void pcmcia_unregister_driver(struct pcmcia_driver *driver ) ;
2962#line 179
2963extern int pcmcia_loop_config(struct pcmcia_device *p_dev , int (*conf_check)(struct pcmcia_device *p_dev ,
2964 void *priv_data ) ,
2965 void *priv_data ) ;
2966#line 195
2967extern int pcmcia_request_io(struct pcmcia_device *p_dev ) ;
2968#line 210
2969extern int pcmcia_enable_device(struct pcmcia_device *p_dev ) ;
2970#line 221
2971extern void pcmcia_disable_device(struct pcmcia_device *p_dev ) ;
2972#line 65 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/isdn/hisax/hisax_cfg.h"
2973extern void HiSax_closecard(int ) ;
2974#line 66
2975extern int hisax_init_pcmcia(void * , int * , IsdnCard_t * ) ;
2976#line 27 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
2977static char const __mod_description27[75] __attribute__((__used__, __unused__,
2978__section__(".modinfo"), __aligned__(1))) =
2979#line 27 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
2980 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
2981 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
2982 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
2983 (char const )'I', (char const )'S', (char const )'D', (char const )'N',
2984 (char const )'4', (char const )'L', (char const )'i', (char const )'n',
2985 (char const )'u', (char const )'x', (char const )':', (char const )' ',
2986 (char const )'P', (char const )'C', (char const )'M', (char const )'C',
2987 (char const )'I', (char const )'A', (char const )' ', (char const )'c',
2988 (char const )'l', (char const )'i', (char const )'e', (char const )'n',
2989 (char const )'t', (char const )' ', (char const )'d', (char const )'r',
2990 (char const )'i', (char const )'v', (char const )'e', (char const )'r',
2991 (char const )' ', (char const )'f', (char const )'o', (char const )'r',
2992 (char const )' ', (char const )'A', (char const )'V', (char const )'M',
2993 (char const )' ', (char const )'A', (char const )'1', (char const )'/',
2994 (char const )'F', (char const )'r', (char const )'i', (char const )'t',
2995 (char const )'z', (char const )'!', (char const )'P', (char const )'C',
2996 (char const )'M', (char const )'C', (char const )'I', (char const )'A',
2997 (char const )' ', (char const )'c', (char const )'a', (char const )'r',
2998 (char const )'d', (char const )'s', (char const )'\000'};
2999#line 28 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3000static char const __mod_author28[21] __attribute__((__used__, __unused__, __section__(".modinfo"),
3001__aligned__(1))) =
3002#line 28
3003 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3004 (char const )'o', (char const )'r', (char const )'=', (char const )'C',
3005 (char const )'a', (char const )'r', (char const )'s', (char const )'t',
3006 (char const )'e', (char const )'n', (char const )' ', (char const )'P',
3007 (char const )'a', (char const )'e', (char const )'t', (char const )'h',
3008 (char const )'\000'};
3009#line 29 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3010static char const __mod_license29[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
3011__aligned__(1))) =
3012#line 29
3013 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3014 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3015 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
3016#line 36 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3017static int isdnprot = 2;
3018#line 38 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3019static char const __param_str_isdnprot[9] =
3020#line 38
3021 { (char const )'i', (char const )'s', (char const )'d', (char const )'n',
3022 (char const )'p', (char const )'r', (char const )'o', (char const )'t',
3023 (char const )'\000'};
3024#line 38 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3025static struct kernel_param const __param_isdnprot __attribute__((__used__, __unused__,
3026__section__("__param"), __aligned__(sizeof(void *)))) = {__param_str_isdnprot, (struct kernel_param_ops const *)(& param_ops_int), (u16 )0,
3027 (s16 )0, {(void *)(& isdnprot)}};
3028#line 38 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3029static char const __mod_isdnprottype38[22] __attribute__((__used__, __unused__,
3030__section__(".modinfo"), __aligned__(1))) =
3031#line 38
3032 { (char const )'p', (char const )'a', (char const )'r', (char const )'m',
3033 (char const )'t', (char const )'y', (char const )'p', (char const )'e',
3034 (char const )'=', (char const )'i', (char const )'s', (char const )'d',
3035 (char const )'n', (char const )'p', (char const )'r', (char const )'o',
3036 (char const )'t', (char const )':', (char const )'i', (char const )'n',
3037 (char const )'t', (char const )'\000'};
3038#line 42
3039static int avma1cs_config(struct pcmcia_device *link ) __attribute__((__section__(".devinit.text"),
3040__no_instrument_function__)) ;
3041#line 43
3042static void avma1cs_release(struct pcmcia_device *link ) ;
3043#line 44
3044static void avma1cs_detach(struct pcmcia_device *link ) __attribute__((__section__(".devexit.text"),
3045__no_instrument_function__)) ;
3046#line 48
3047static int avma1cs_probe(struct pcmcia_device *p_dev ) __attribute__((__section__(".devinit.text"),
3048__no_instrument_function__)) ;
3049#line 48 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3050static struct _ddebug __attribute__((__aligned__(8))) descriptor __attribute__((__used__,
3051__section__("__verbose"))) = {"avma1_cs", "avma1cs_probe", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c",
3052 "avma1cs_attach()\n", 48U, 0U};
3053#line 46
3054static int avma1cs_probe(struct pcmcia_device *p_dev ) __attribute__((__section__(".devinit.text"),
3055__no_instrument_function__)) ;
3056#line 46 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3057static int avma1cs_probe(struct pcmcia_device *p_dev )
3058{ long tmp___7 ;
3059 int tmp___8 ;
3060 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp4 ;
3061 unsigned int __cil_tmp5 ;
3062 unsigned int __cil_tmp6 ;
3063 int __cil_tmp7 ;
3064 int __cil_tmp8 ;
3065 long __cil_tmp9 ;
3066 unsigned long __cil_tmp10 ;
3067 unsigned long __cil_tmp11 ;
3068 struct device *__cil_tmp12 ;
3069 struct device const *__cil_tmp13 ;
3070 unsigned long __cil_tmp14 ;
3071 unsigned long __cil_tmp15 ;
3072 unsigned long __cil_tmp16 ;
3073 unsigned long __cil_tmp17 ;
3074 unsigned int __cil_tmp18 ;
3075 unsigned long __cil_tmp19 ;
3076 unsigned long __cil_tmp20 ;
3077 unsigned long __cil_tmp21 ;
3078 unsigned long __cil_tmp22 ;
3079
3080 {
3081 {
3082#line 48
3083 while (1) {
3084 while_continue: ;
3085 {
3086#line 48
3087 while (1) {
3088 while_continue___0: ;
3089 {
3090#line 48
3091 __cil_tmp4 = & descriptor;
3092#line 48
3093 __cil_tmp5 = __cil_tmp4->flags;
3094#line 48
3095 __cil_tmp6 = __cil_tmp5 & 1U;
3096#line 48
3097 __cil_tmp7 = ! __cil_tmp6;
3098#line 48
3099 __cil_tmp8 = ! __cil_tmp7;
3100#line 48
3101 __cil_tmp9 = (long )__cil_tmp8;
3102#line 48
3103 tmp___7 = __builtin_expect(__cil_tmp9, 0L);
3104 }
3105#line 48
3106 if (tmp___7) {
3107 {
3108#line 48
3109 __cil_tmp10 = (unsigned long )p_dev;
3110#line 48
3111 __cil_tmp11 = __cil_tmp10 + 184;
3112#line 48
3113 __cil_tmp12 = (struct device *)__cil_tmp11;
3114#line 48
3115 __cil_tmp13 = (struct device const *)__cil_tmp12;
3116#line 48
3117 __dynamic_dev_dbg(& descriptor, __cil_tmp13, "avma1cs_attach()\n");
3118 }
3119 } else {
3120
3121 }
3122#line 48
3123 goto while_break___0;
3124 }
3125 while_break___0: ;
3126 }
3127#line 48
3128 goto while_break;
3129 }
3130 while_break: ;
3131 }
3132 {
3133#line 51
3134 __cil_tmp14 = (unsigned long )p_dev;
3135#line 51
3136 __cil_tmp15 = __cil_tmp14 + 116;
3137#line 51
3138 __cil_tmp16 = (unsigned long )p_dev;
3139#line 51
3140 __cil_tmp17 = __cil_tmp16 + 116;
3141#line 51
3142 __cil_tmp18 = *((unsigned int *)__cil_tmp17);
3143#line 51
3144 *((unsigned int *)__cil_tmp15) = __cil_tmp18 | 2049U;
3145#line 52
3146 __cil_tmp19 = (unsigned long )p_dev;
3147#line 52
3148 __cil_tmp20 = __cil_tmp19 + 124;
3149#line 52
3150 *((unsigned int *)__cil_tmp20) = 1U;
3151#line 53
3152 __cil_tmp21 = (unsigned long )p_dev;
3153#line 53
3154 __cil_tmp22 = __cil_tmp21 + 128;
3155#line 53
3156 *((unsigned int *)__cil_tmp22) = 1U;
3157#line 55
3158 tmp___8 = avma1cs_config(p_dev);
3159 }
3160#line 55
3161 return (tmp___8);
3162}
3163}
3164#line 60
3165static void avma1cs_detach(struct pcmcia_device *link ) __attribute__((__section__(".devexit.text"),
3166__no_instrument_function__)) ;
3167#line 60 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3168static struct _ddebug __attribute__((__aligned__(8))) descriptor___0 __attribute__((__used__,
3169__section__("__verbose"))) = {"avma1_cs", "avma1cs_detach", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c",
3170 "avma1cs_detach(0x%p)\n", 60U, 0U};
3171#line 58
3172static void avma1cs_detach(struct pcmcia_device *link ) __attribute__((__section__(".devexit.text"),
3173__no_instrument_function__)) ;
3174#line 58 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3175static void avma1cs_detach(struct pcmcia_device *link )
3176{ long tmp___7 ;
3177 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp3 ;
3178 unsigned int __cil_tmp4 ;
3179 unsigned int __cil_tmp5 ;
3180 int __cil_tmp6 ;
3181 int __cil_tmp7 ;
3182 long __cil_tmp8 ;
3183 unsigned long __cil_tmp9 ;
3184 unsigned long __cil_tmp10 ;
3185 struct device *__cil_tmp11 ;
3186 struct device const *__cil_tmp12 ;
3187 unsigned long __cil_tmp13 ;
3188 unsigned long __cil_tmp14 ;
3189 void *__cil_tmp15 ;
3190 void const *__cil_tmp16 ;
3191
3192 {
3193 {
3194#line 60
3195 while (1) {
3196 while_continue: ;
3197 {
3198#line 60
3199 while (1) {
3200 while_continue___0: ;
3201 {
3202#line 60
3203 __cil_tmp3 = & descriptor___0;
3204#line 60
3205 __cil_tmp4 = __cil_tmp3->flags;
3206#line 60
3207 __cil_tmp5 = __cil_tmp4 & 1U;
3208#line 60
3209 __cil_tmp6 = ! __cil_tmp5;
3210#line 60
3211 __cil_tmp7 = ! __cil_tmp6;
3212#line 60
3213 __cil_tmp8 = (long )__cil_tmp7;
3214#line 60
3215 tmp___7 = __builtin_expect(__cil_tmp8, 0L);
3216 }
3217#line 60
3218 if (tmp___7) {
3219 {
3220#line 60
3221 __cil_tmp9 = (unsigned long )link;
3222#line 60
3223 __cil_tmp10 = __cil_tmp9 + 184;
3224#line 60
3225 __cil_tmp11 = (struct device *)__cil_tmp10;
3226#line 60
3227 __cil_tmp12 = (struct device const *)__cil_tmp11;
3228#line 60
3229 __dynamic_dev_dbg(& descriptor___0, __cil_tmp12, "avma1cs_detach(0x%p)\n",
3230 link);
3231 }
3232 } else {
3233
3234 }
3235#line 60
3236 goto while_break___0;
3237 }
3238 while_break___0: ;
3239 }
3240#line 60
3241 goto while_break;
3242 }
3243 while_break: ;
3244 }
3245 {
3246#line 61
3247 avma1cs_release(link);
3248#line 62
3249 __cil_tmp13 = (unsigned long )link;
3250#line 62
3251 __cil_tmp14 = __cil_tmp13 + 952;
3252#line 62
3253 __cil_tmp15 = *((void **)__cil_tmp14);
3254#line 62
3255 __cil_tmp16 = (void const *)__cil_tmp15;
3256#line 62
3257 kfree(__cil_tmp16);
3258 }
3259#line 63
3260 return;
3261}
3262}
3263#line 65 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3264static int avma1cs_configcheck(struct pcmcia_device *p_dev , void *priv_data )
3265{ int tmp___7 ;
3266 unsigned long __cil_tmp4 ;
3267 unsigned long __cil_tmp5 ;
3268 unsigned long __cil_tmp6 ;
3269 unsigned long __cil_tmp7 ;
3270 struct resource *__cil_tmp8 ;
3271 unsigned long __cil_tmp9 ;
3272 unsigned long __cil_tmp10 ;
3273 unsigned long __cil_tmp11 ;
3274 unsigned long __cil_tmp12 ;
3275 unsigned long __cil_tmp13 ;
3276 unsigned long __cil_tmp14 ;
3277 struct resource *__cil_tmp15 ;
3278 unsigned long __cil_tmp16 ;
3279 unsigned long __cil_tmp17 ;
3280 unsigned long __cil_tmp18 ;
3281 unsigned long __cil_tmp19 ;
3282 unsigned long __cil_tmp20 ;
3283 unsigned long __cil_tmp21 ;
3284 struct resource *__cil_tmp22 ;
3285 unsigned long __cil_tmp23 ;
3286 unsigned long __cil_tmp24 ;
3287 unsigned long __cil_tmp25 ;
3288 unsigned long __cil_tmp26 ;
3289 unsigned long __cil_tmp27 ;
3290 unsigned long __cil_tmp28 ;
3291 unsigned long __cil_tmp29 ;
3292 struct resource *__cil_tmp30 ;
3293 unsigned long __cil_tmp31 ;
3294 unsigned long __cil_tmp32 ;
3295 unsigned long __cil_tmp33 ;
3296 unsigned long __cil_tmp34 ;
3297 unsigned long __cil_tmp35 ;
3298 unsigned long __cil_tmp36 ;
3299 struct resource *__cil_tmp37 ;
3300 unsigned long __cil_tmp38 ;
3301 unsigned long __cil_tmp39 ;
3302 unsigned long __cil_tmp40 ;
3303 unsigned long __cil_tmp41 ;
3304
3305 {
3306 {
3307#line 67
3308 __cil_tmp4 = 0 * 8UL;
3309#line 67
3310 __cil_tmp5 = 56 + __cil_tmp4;
3311#line 67
3312 __cil_tmp6 = (unsigned long )p_dev;
3313#line 67
3314 __cil_tmp7 = __cil_tmp6 + __cil_tmp5;
3315#line 67
3316 __cil_tmp8 = *((struct resource **)__cil_tmp7);
3317#line 67
3318 __cil_tmp9 = (unsigned long )__cil_tmp8;
3319#line 67
3320 __cil_tmp10 = __cil_tmp9 + 8;
3321#line 67
3322 *((resource_size_t *)__cil_tmp10) = (resource_size_t )16;
3323#line 68
3324 __cil_tmp11 = 0 * 8UL;
3325#line 68
3326 __cil_tmp12 = 56 + __cil_tmp11;
3327#line 68
3328 __cil_tmp13 = (unsigned long )p_dev;
3329#line 68
3330 __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
3331#line 68
3332 __cil_tmp15 = *((struct resource **)__cil_tmp14);
3333#line 68
3334 __cil_tmp16 = (unsigned long )__cil_tmp15;
3335#line 68
3336 __cil_tmp17 = __cil_tmp16 + 24;
3337#line 68
3338 __cil_tmp18 = 0 * 8UL;
3339#line 68
3340 __cil_tmp19 = 56 + __cil_tmp18;
3341#line 68
3342 __cil_tmp20 = (unsigned long )p_dev;
3343#line 68
3344 __cil_tmp21 = __cil_tmp20 + __cil_tmp19;
3345#line 68
3346 __cil_tmp22 = *((struct resource **)__cil_tmp21);
3347#line 68
3348 __cil_tmp23 = (unsigned long )__cil_tmp22;
3349#line 68
3350 __cil_tmp24 = __cil_tmp23 + 24;
3351#line 68
3352 __cil_tmp25 = *((unsigned long *)__cil_tmp24);
3353#line 68
3354 *((unsigned long *)__cil_tmp17) = __cil_tmp25 & 0xffffffffffffffe7UL;
3355#line 69
3356 __cil_tmp26 = 0 * 8UL;
3357#line 69
3358 __cil_tmp27 = 56 + __cil_tmp26;
3359#line 69
3360 __cil_tmp28 = (unsigned long )p_dev;
3361#line 69
3362 __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
3363#line 69
3364 __cil_tmp30 = *((struct resource **)__cil_tmp29);
3365#line 69
3366 __cil_tmp31 = (unsigned long )__cil_tmp30;
3367#line 69
3368 __cil_tmp32 = __cil_tmp31 + 24;
3369#line 69
3370 __cil_tmp33 = 0 * 8UL;
3371#line 69
3372 __cil_tmp34 = 56 + __cil_tmp33;
3373#line 69
3374 __cil_tmp35 = (unsigned long )p_dev;
3375#line 69
3376 __cil_tmp36 = __cil_tmp35 + __cil_tmp34;
3377#line 69
3378 __cil_tmp37 = *((struct resource **)__cil_tmp36);
3379#line 69
3380 __cil_tmp38 = (unsigned long )__cil_tmp37;
3381#line 69
3382 __cil_tmp39 = __cil_tmp38 + 24;
3383#line 69
3384 *((unsigned long *)__cil_tmp32) = *((unsigned long *)__cil_tmp39);
3385#line 70
3386 __cil_tmp40 = (unsigned long )p_dev;
3387#line 70
3388 __cil_tmp41 = __cil_tmp40 + 132;
3389#line 70
3390 *((unsigned int *)__cil_tmp41) = 5U;
3391#line 72
3392 tmp___7 = pcmcia_request_io(p_dev);
3393 }
3394#line 72
3395 return (tmp___7);
3396}
3397}
3398#line 83
3399static int avma1cs_config(struct pcmcia_device *link ) __attribute__((__section__(".devinit.text"),
3400__no_instrument_function__)) ;
3401#line 83 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3402static struct _ddebug __attribute__((__aligned__(8))) descriptor___1 __attribute__((__used__,
3403__section__("__verbose"))) = {"avma1_cs", "avma1cs_config", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c",
3404 "avma1cs_config(0x%p)\n", 83U, 0U};
3405#line 76
3406static int avma1cs_config(struct pcmcia_device *link ) __attribute__((__section__(".devinit.text"),
3407__no_instrument_function__)) ;
3408#line 76 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3409static int avma1cs_config(struct pcmcia_device *link )
3410{ int i ;
3411 char devname[128] ;
3412 IsdnCard_t icard ;
3413 int busy ;
3414 long tmp___7 ;
3415 int tmp___8 ;
3416 int *__cil_tmp8 ;
3417 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp9 ;
3418 unsigned int __cil_tmp10 ;
3419 unsigned int __cil_tmp11 ;
3420 int __cil_tmp12 ;
3421 int __cil_tmp13 ;
3422 long __cil_tmp14 ;
3423 unsigned long __cil_tmp15 ;
3424 unsigned long __cil_tmp16 ;
3425 struct device *__cil_tmp17 ;
3426 struct device const *__cil_tmp18 ;
3427 unsigned long __cil_tmp19 ;
3428 unsigned long __cil_tmp20 ;
3429 unsigned long __cil_tmp21 ;
3430 unsigned long __cil_tmp22 ;
3431 unsigned long __cil_tmp23 ;
3432 unsigned long __cil_tmp24 ;
3433 unsigned long __cil_tmp25 ;
3434 unsigned long __cil_tmp26 ;
3435 char *__cil_tmp27 ;
3436 unsigned long __cil_tmp28 ;
3437 unsigned long __cil_tmp29 ;
3438 unsigned long __cil_tmp30 ;
3439 unsigned long __cil_tmp31 ;
3440 char *__cil_tmp32 ;
3441 char const *__cil_tmp33 ;
3442 void *__cil_tmp34 ;
3443 unsigned long __cil_tmp35 ;
3444 unsigned long __cil_tmp36 ;
3445 unsigned int __cil_tmp37 ;
3446 unsigned long __cil_tmp38 ;
3447 unsigned long __cil_tmp39 ;
3448 unsigned long __cil_tmp40 ;
3449 unsigned long __cil_tmp41 ;
3450 unsigned long __cil_tmp42 ;
3451 unsigned int __cil_tmp43 ;
3452 unsigned long __cil_tmp44 ;
3453 unsigned long __cil_tmp45 ;
3454 unsigned long __cil_tmp46 ;
3455 unsigned long __cil_tmp47 ;
3456 unsigned long __cil_tmp48 ;
3457 unsigned long __cil_tmp49 ;
3458 unsigned long __cil_tmp50 ;
3459 struct resource *__cil_tmp51 ;
3460 resource_size_t __cil_tmp52 ;
3461 unsigned long __cil_tmp53 ;
3462 int *__cil_tmp54 ;
3463 IsdnCard_t *__cil_tmp55 ;
3464 void *__cil_tmp56 ;
3465 unsigned long __cil_tmp57 ;
3466 unsigned long __cil_tmp58 ;
3467 unsigned long __cil_tmp59 ;
3468 unsigned long __cil_tmp60 ;
3469 struct resource *__cil_tmp61 ;
3470 resource_size_t __cil_tmp62 ;
3471 unsigned int __cil_tmp63 ;
3472 unsigned long __cil_tmp64 ;
3473 unsigned long __cil_tmp65 ;
3474 unsigned long __cil_tmp66 ;
3475
3476 {
3477#line 78
3478 i = -1;
3479#line 81
3480 __cil_tmp8 = & busy;
3481#line 81
3482 *__cil_tmp8 = 0;
3483 {
3484#line 83
3485 while (1) {
3486 while_continue: ;
3487 {
3488#line 83
3489 while (1) {
3490 while_continue___0: ;
3491 {
3492#line 83
3493 __cil_tmp9 = & descriptor___1;
3494#line 83
3495 __cil_tmp10 = __cil_tmp9->flags;
3496#line 83
3497 __cil_tmp11 = __cil_tmp10 & 1U;
3498#line 83
3499 __cil_tmp12 = ! __cil_tmp11;
3500#line 83
3501 __cil_tmp13 = ! __cil_tmp12;
3502#line 83
3503 __cil_tmp14 = (long )__cil_tmp13;
3504#line 83
3505 tmp___7 = __builtin_expect(__cil_tmp14, 0L);
3506 }
3507#line 83
3508 if (tmp___7) {
3509 {
3510#line 83
3511 __cil_tmp15 = (unsigned long )link;
3512#line 83
3513 __cil_tmp16 = __cil_tmp15 + 184;
3514#line 83
3515 __cil_tmp17 = (struct device *)__cil_tmp16;
3516#line 83
3517 __cil_tmp18 = (struct device const *)__cil_tmp17;
3518#line 83
3519 __dynamic_dev_dbg(& descriptor___1, __cil_tmp18, "avma1cs_config(0x%p)\n",
3520 link);
3521 }
3522 } else {
3523
3524 }
3525#line 83
3526 goto while_break___0;
3527 }
3528 while_break___0: ;
3529 }
3530#line 83
3531 goto while_break;
3532 }
3533 while_break: ;
3534 }
3535#line 85
3536 __cil_tmp19 = 0 * 1UL;
3537#line 85
3538 __cil_tmp20 = (unsigned long )(devname) + __cil_tmp19;
3539#line 85
3540 *((char *)__cil_tmp20) = (char)0;
3541 {
3542#line 86
3543 __cil_tmp21 = 1 * 8UL;
3544#line 86
3545 __cil_tmp22 = 144 + __cil_tmp21;
3546#line 86
3547 __cil_tmp23 = (unsigned long )link;
3548#line 86
3549 __cil_tmp24 = __cil_tmp23 + __cil_tmp22;
3550#line 86
3551 if (*((char **)__cil_tmp24)) {
3552 {
3553#line 87
3554 __cil_tmp25 = 0 * 1UL;
3555#line 87
3556 __cil_tmp26 = (unsigned long )(devname) + __cil_tmp25;
3557#line 87
3558 __cil_tmp27 = (char *)__cil_tmp26;
3559#line 87
3560 __cil_tmp28 = 1 * 8UL;
3561#line 87
3562 __cil_tmp29 = 144 + __cil_tmp28;
3563#line 87
3564 __cil_tmp30 = (unsigned long )link;
3565#line 87
3566 __cil_tmp31 = __cil_tmp30 + __cil_tmp29;
3567#line 87
3568 __cil_tmp32 = *((char **)__cil_tmp31);
3569#line 87
3570 __cil_tmp33 = (char const *)__cil_tmp32;
3571#line 87
3572 strlcpy(__cil_tmp27, __cil_tmp33, 128UL);
3573 }
3574 } else {
3575
3576 }
3577 }
3578 {
3579#line 89
3580 __cil_tmp34 = (void *)0;
3581#line 89
3582 tmp___8 = pcmcia_loop_config(link, & avma1cs_configcheck, __cil_tmp34);
3583 }
3584#line 89
3585 if (tmp___8) {
3586#line 90
3587 return (-19);
3588 } else {
3589
3590 }
3591 {
3592#line 92
3593 while (1) {
3594 while_continue___1: ;
3595 {
3596#line 96
3597 __cil_tmp35 = (unsigned long )link;
3598#line 96
3599 __cil_tmp36 = __cil_tmp35 + 48;
3600#line 96
3601 __cil_tmp37 = *((unsigned int *)__cil_tmp36);
3602#line 96
3603 if (! __cil_tmp37) {
3604 {
3605#line 98
3606 pcmcia_disable_device(link);
3607 }
3608#line 99
3609 goto while_break___1;
3610 } else {
3611
3612 }
3613 }
3614 {
3615#line 105
3616 i = pcmcia_enable_device(link);
3617 }
3618#line 106
3619 if (i != 0) {
3620 {
3621#line 107
3622 pcmcia_disable_device(link);
3623 }
3624#line 108
3625 goto while_break___1;
3626 } else {
3627
3628 }
3629#line 92
3630 goto while_break___1;
3631 }
3632 while_break___1: ;
3633 }
3634#line 114
3635 if (i != 0) {
3636 {
3637#line 115
3638 avma1cs_release(link);
3639 }
3640#line 116
3641 return (-19);
3642 } else {
3643
3644 }
3645 {
3646#line 119
3647 __cil_tmp38 = 0 * 8UL;
3648#line 119
3649 __cil_tmp39 = 8 + __cil_tmp38;
3650#line 119
3651 __cil_tmp40 = (unsigned long )(& icard) + __cil_tmp39;
3652#line 119
3653 __cil_tmp41 = (unsigned long )link;
3654#line 119
3655 __cil_tmp42 = __cil_tmp41 + 48;
3656#line 119
3657 __cil_tmp43 = *((unsigned int *)__cil_tmp42);
3658#line 119
3659 *((unsigned long *)__cil_tmp40) = (unsigned long )__cil_tmp43;
3660#line 120
3661 __cil_tmp44 = 1 * 8UL;
3662#line 120
3663 __cil_tmp45 = 8 + __cil_tmp44;
3664#line 120
3665 __cil_tmp46 = (unsigned long )(& icard) + __cil_tmp45;
3666#line 120
3667 __cil_tmp47 = 0 * 8UL;
3668#line 120
3669 __cil_tmp48 = 56 + __cil_tmp47;
3670#line 120
3671 __cil_tmp49 = (unsigned long )link;
3672#line 120
3673 __cil_tmp50 = __cil_tmp49 + __cil_tmp48;
3674#line 120
3675 __cil_tmp51 = *((struct resource **)__cil_tmp50);
3676#line 120
3677 __cil_tmp52 = *((resource_size_t *)__cil_tmp51);
3678#line 120
3679 *((unsigned long *)__cil_tmp46) = (unsigned long )__cil_tmp52;
3680#line 121
3681 __cil_tmp53 = (unsigned long )(& icard) + 4;
3682#line 121
3683 __cil_tmp54 = & isdnprot;
3684#line 121
3685 *((int *)__cil_tmp53) = *__cil_tmp54;
3686#line 122
3687 __cil_tmp55 = & icard;
3688#line 122
3689 *((int *)__cil_tmp55) = 26;
3690#line 124
3691 __cil_tmp56 = (void *)link;
3692#line 124
3693 i = hisax_init_pcmcia(__cil_tmp56, & busy, & icard);
3694 }
3695#line 125
3696 if (i < 0) {
3697 {
3698#line 126
3699 __cil_tmp57 = 0 * 8UL;
3700#line 126
3701 __cil_tmp58 = 56 + __cil_tmp57;
3702#line 126
3703 __cil_tmp59 = (unsigned long )link;
3704#line 126
3705 __cil_tmp60 = __cil_tmp59 + __cil_tmp58;
3706#line 126
3707 __cil_tmp61 = *((struct resource **)__cil_tmp60);
3708#line 126
3709 __cil_tmp62 = *((resource_size_t *)__cil_tmp61);
3710#line 126
3711 __cil_tmp63 = (unsigned int )__cil_tmp62;
3712#line 126
3713 printk("<3>avma1_cs: failed to initialize AVM A1 PCMCIA %d at i/o %#x\n", i, __cil_tmp63);
3714#line 129
3715 avma1cs_release(link);
3716 }
3717#line 130
3718 return (-19);
3719 } else {
3720
3721 }
3722#line 132
3723 __cil_tmp64 = (unsigned long )link;
3724#line 132
3725 __cil_tmp65 = __cil_tmp64 + 952;
3726#line 132
3727 __cil_tmp66 = (unsigned long )i;
3728#line 132
3729 *((void **)__cil_tmp65) = (void *)__cil_tmp66;
3730#line 134
3731 return (0);
3732}
3733}
3734#line 141
3735static void avma1cs_release(struct pcmcia_device *link ) ;
3736#line 141 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3737static struct _ddebug __attribute__((__aligned__(8))) descriptor___2 __attribute__((__used__,
3738__section__("__verbose"))) = {"avma1_cs", "avma1cs_release", "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c",
3739 "avma1cs_release(0x%p)\n", 141U, 0U};
3740#line 137 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3741static void avma1cs_release(struct pcmcia_device *link )
3742{ unsigned long minor ;
3743 long tmp___7 ;
3744 unsigned long __cil_tmp4 ;
3745 unsigned long __cil_tmp5 ;
3746 void *__cil_tmp6 ;
3747 struct _ddebug __attribute__((__aligned__(8))) *__cil_tmp7 ;
3748 unsigned int __cil_tmp8 ;
3749 unsigned int __cil_tmp9 ;
3750 int __cil_tmp10 ;
3751 int __cil_tmp11 ;
3752 long __cil_tmp12 ;
3753 unsigned long __cil_tmp13 ;
3754 unsigned long __cil_tmp14 ;
3755 struct device *__cil_tmp15 ;
3756 struct device const *__cil_tmp16 ;
3757 int __cil_tmp17 ;
3758
3759 {
3760#line 139
3761 __cil_tmp4 = (unsigned long )link;
3762#line 139
3763 __cil_tmp5 = __cil_tmp4 + 952;
3764#line 139
3765 __cil_tmp6 = *((void **)__cil_tmp5);
3766#line 139
3767 minor = (unsigned long )__cil_tmp6;
3768 {
3769#line 141
3770 while (1) {
3771 while_continue: ;
3772 {
3773#line 141
3774 while (1) {
3775 while_continue___0: ;
3776 {
3777#line 141
3778 __cil_tmp7 = & descriptor___2;
3779#line 141
3780 __cil_tmp8 = __cil_tmp7->flags;
3781#line 141
3782 __cil_tmp9 = __cil_tmp8 & 1U;
3783#line 141
3784 __cil_tmp10 = ! __cil_tmp9;
3785#line 141
3786 __cil_tmp11 = ! __cil_tmp10;
3787#line 141
3788 __cil_tmp12 = (long )__cil_tmp11;
3789#line 141
3790 tmp___7 = __builtin_expect(__cil_tmp12, 0L);
3791 }
3792#line 141
3793 if (tmp___7) {
3794 {
3795#line 141
3796 __cil_tmp13 = (unsigned long )link;
3797#line 141
3798 __cil_tmp14 = __cil_tmp13 + 184;
3799#line 141
3800 __cil_tmp15 = (struct device *)__cil_tmp14;
3801#line 141
3802 __cil_tmp16 = (struct device const *)__cil_tmp15;
3803#line 141
3804 __dynamic_dev_dbg(& descriptor___2, __cil_tmp16, "avma1cs_release(0x%p)\n",
3805 link);
3806 }
3807 } else {
3808
3809 }
3810#line 141
3811 goto while_break___0;
3812 }
3813 while_break___0: ;
3814 }
3815#line 141
3816 goto while_break;
3817 }
3818 while_break: ;
3819 }
3820 {
3821#line 144
3822 __cil_tmp17 = (int )minor;
3823#line 144
3824 HiSax_closecard(__cil_tmp17);
3825#line 146
3826 pcmcia_disable_device(link);
3827 }
3828#line 147
3829 return;
3830}
3831}
3832#line 149 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3833static struct pcmcia_device_id const avma1cs_ids[3] = { {(__u16 )48, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
3834 (unsigned char)0, {2513707016U, 2915685563U, (__u32 )0, (__u32 )0}, {"AVM",
3835 "ISDN A",
3836 (char const *)((void *)0),
3837 (char const *)((void *)0)},
3838 0UL, (char *)0},
3839 {(__u16 )48, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
3840 (unsigned char)0, {2375508424U, (__u32 )29731451, (__u32 )0, (__u32 )0}, {"ISDN",
3841 "CARD",
3842 (char const *)((void *)0),
3843 (char const *)((void *)0)},
3844 0UL, (char *)0},
3845 {(__u16 )0, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
3846 (unsigned char)0, {0U, 0U, 0U, 0U}, {(char const *)0, (char const *)0, (char const *)0,
3847 (char const *)0}, 0UL, (char *)0}};
3848#line 154
3849extern struct pcmcia_device_id const __mod_pcmcia_device_table __attribute__((__unused__,
3850__alias__("avma1cs_ids"))) ;
3851#line 156 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3852static struct pcmcia_driver avma1cs_driver =
3853#line 156
3854 {"avma1_cs", & avma1cs_probe, & avma1cs_detach, (int (*)(struct pcmcia_device *dev ))0,
3855 (int (*)(struct pcmcia_device *dev ))0, & __this_module, avma1cs_ids, {(char const *)0,
3856 (struct bus_type *)0,
3857 (struct module *)0,
3858 (char const *)0,
3859 (_Bool)0,
3860 (struct of_device_id const *)0,
3861 (int (*)(struct device *dev ))0,
3862 (int (*)(struct device *dev ))0,
3863 (void (*)(struct device *dev ))0,
3864 (int (*)(struct device *dev ,
3865 pm_message_t state ))0,
3866 (int (*)(struct device *dev ))0,
3867 (struct attribute_group const **)0,
3868 (struct dev_pm_ops const *)0,
3869 (struct driver_private *)0},
3870 {{{0}, {{{{{0U}}, 0U, 0U, (void *)0}}}, {(struct list_head *)0, (struct list_head *)0},
3871 (struct task_struct *)0, (char const *)0, (void *)0}, {(struct list_head *)0,
3872 (struct list_head *)0}}};
3873#line 164
3874static int init_avma1_cs(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
3875#line 164 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3876static int init_avma1_cs(void)
3877{ int tmp___7 ;
3878
3879 {
3880 {
3881#line 166
3882 tmp___7 = pcmcia_register_driver(& avma1cs_driver);
3883 }
3884#line 166
3885 return (tmp___7);
3886}
3887}
3888#line 169
3889static void exit_avma1_cs(void) __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
3890#line 169 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3891static void exit_avma1_cs(void)
3892{
3893
3894 {
3895 {
3896#line 171
3897 pcmcia_unregister_driver(& avma1cs_driver);
3898 }
3899#line 172
3900 return;
3901}
3902}
3903#line 174 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3904int init_module(void)
3905{ int tmp___7 ;
3906
3907 {
3908 {
3909#line 174
3910 tmp___7 = init_avma1_cs();
3911 }
3912#line 174
3913 return (tmp___7);
3914}
3915}
3916#line 175 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3917void cleanup_module(void)
3918{
3919
3920 {
3921 {
3922#line 175
3923 exit_avma1_cs();
3924 }
3925#line 175
3926 return;
3927}
3928}
3929#line 193
3930void ldv_check_final_state(void) ;
3931#line 196
3932extern void ldv_check_return_value(int res ) ;
3933#line 199
3934extern void ldv_initialize(void) ;
3935#line 202
3936extern int __VERIFIER_nondet_int(void) ;
3937#line 205 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3938int LDV_IN_INTERRUPT ;
3939#line 220 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3940static int res_avma1cs_probe_0 ;
3941#line 208 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
3942void main(void)
3943{ struct pcmcia_device *var_group1 ;
3944 int tmp___7 ;
3945 int ldv_s_avma1cs_driver_pcmcia_driver ;
3946 int tmp___8 ;
3947 int tmp___9 ;
3948 int __cil_tmp6 ;
3949
3950 {
3951 {
3952#line 228
3953 LDV_IN_INTERRUPT = 1;
3954#line 237
3955 ldv_initialize();
3956#line 243
3957 tmp___7 = init_avma1_cs();
3958 }
3959#line 243
3960 if (tmp___7) {
3961#line 244
3962 goto ldv_final;
3963 } else {
3964
3965 }
3966#line 245
3967 ldv_s_avma1cs_driver_pcmcia_driver = 0;
3968 {
3969#line 248
3970 while (1) {
3971 while_continue: ;
3972 {
3973#line 248
3974 tmp___9 = __VERIFIER_nondet_int();
3975 }
3976#line 248
3977 if (tmp___9) {
3978
3979 } else {
3980 {
3981#line 248
3982 __cil_tmp6 = ldv_s_avma1cs_driver_pcmcia_driver == 0;
3983#line 248
3984 if (! __cil_tmp6) {
3985
3986 } else {
3987#line 248
3988 goto while_break;
3989 }
3990 }
3991 }
3992 {
3993#line 252
3994 tmp___8 = __VERIFIER_nondet_int();
3995 }
3996#line 254
3997 if (tmp___8 == 0) {
3998#line 254
3999 goto case_0;
4000 } else {
4001 {
4002#line 273
4003 goto switch_default;
4004#line 252
4005 if (0) {
4006 case_0:
4007#line 257
4008 if (ldv_s_avma1cs_driver_pcmcia_driver == 0) {
4009 {
4010#line 262
4011 res_avma1cs_probe_0 = avma1cs_probe(var_group1);
4012#line 263
4013 ldv_check_return_value(res_avma1cs_probe_0);
4014 }
4015#line 264
4016 if (res_avma1cs_probe_0) {
4017#line 265
4018 goto ldv_module_exit;
4019 } else {
4020
4021 }
4022#line 266
4023 ldv_s_avma1cs_driver_pcmcia_driver = 0;
4024 } else {
4025
4026 }
4027#line 272
4028 goto switch_break;
4029 switch_default:
4030#line 273
4031 goto switch_break;
4032 } else {
4033 switch_break: ;
4034 }
4035 }
4036 }
4037 }
4038 while_break: ;
4039 }
4040 ldv_module_exit:
4041 {
4042#line 285
4043 exit_avma1_cs();
4044 }
4045 ldv_final:
4046 {
4047#line 288
4048 ldv_check_final_state();
4049 }
4050#line 291
4051 return;
4052}
4053}
4054#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
4055void ldv_blast_assert(void)
4056{
4057
4058 {
4059 ERROR:
4060#line 6
4061 goto ERROR;
4062}
4063}
4064#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
4065extern int __VERIFIER_nondet_int(void) ;
4066#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4067int ldv_mutex = 1;
4068#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4069int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
4070{ int nondetermined ;
4071
4072 {
4073#line 29
4074 if (ldv_mutex == 1) {
4075
4076 } else {
4077 {
4078#line 29
4079 ldv_blast_assert();
4080 }
4081 }
4082 {
4083#line 32
4084 nondetermined = __VERIFIER_nondet_int();
4085 }
4086#line 35
4087 if (nondetermined) {
4088#line 38
4089 ldv_mutex = 2;
4090#line 40
4091 return (0);
4092 } else {
4093#line 45
4094 return (-4);
4095 }
4096}
4097}
4098#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4099int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
4100{ int nondetermined ;
4101
4102 {
4103#line 57
4104 if (ldv_mutex == 1) {
4105
4106 } else {
4107 {
4108#line 57
4109 ldv_blast_assert();
4110 }
4111 }
4112 {
4113#line 60
4114 nondetermined = __VERIFIER_nondet_int();
4115 }
4116#line 63
4117 if (nondetermined) {
4118#line 66
4119 ldv_mutex = 2;
4120#line 68
4121 return (0);
4122 } else {
4123#line 73
4124 return (-4);
4125 }
4126}
4127}
4128#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4129int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
4130{ int atomic_value_after_dec ;
4131
4132 {
4133#line 83
4134 if (ldv_mutex == 1) {
4135
4136 } else {
4137 {
4138#line 83
4139 ldv_blast_assert();
4140 }
4141 }
4142 {
4143#line 86
4144 atomic_value_after_dec = __VERIFIER_nondet_int();
4145 }
4146#line 89
4147 if (atomic_value_after_dec == 0) {
4148#line 92
4149 ldv_mutex = 2;
4150#line 94
4151 return (1);
4152 } else {
4153
4154 }
4155#line 98
4156 return (0);
4157}
4158}
4159#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4160void mutex_lock(struct mutex *lock )
4161{
4162
4163 {
4164#line 108
4165 if (ldv_mutex == 1) {
4166
4167 } else {
4168 {
4169#line 108
4170 ldv_blast_assert();
4171 }
4172 }
4173#line 110
4174 ldv_mutex = 2;
4175#line 111
4176 return;
4177}
4178}
4179#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4180int mutex_trylock(struct mutex *lock )
4181{ int nondetermined ;
4182
4183 {
4184#line 121
4185 if (ldv_mutex == 1) {
4186
4187 } else {
4188 {
4189#line 121
4190 ldv_blast_assert();
4191 }
4192 }
4193 {
4194#line 124
4195 nondetermined = __VERIFIER_nondet_int();
4196 }
4197#line 127
4198 if (nondetermined) {
4199#line 130
4200 ldv_mutex = 2;
4201#line 132
4202 return (1);
4203 } else {
4204#line 137
4205 return (0);
4206 }
4207}
4208}
4209#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4210void mutex_unlock(struct mutex *lock )
4211{
4212
4213 {
4214#line 147
4215 if (ldv_mutex == 2) {
4216
4217 } else {
4218 {
4219#line 147
4220 ldv_blast_assert();
4221 }
4222 }
4223#line 149
4224 ldv_mutex = 1;
4225#line 150
4226 return;
4227}
4228}
4229#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
4230void ldv_check_final_state(void)
4231{
4232
4233 {
4234#line 156
4235 if (ldv_mutex == 1) {
4236
4237 } else {
4238 {
4239#line 156
4240 ldv_blast_assert();
4241 }
4242 }
4243#line 157
4244 return;
4245}
4246}
4247#line 300 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/3633/dscv_tempdir/dscv/ri/32_1/drivers/isdn/hisax/avma1_cs.c.common.c"
4248long s__builtin_expect(long val , long res )
4249{
4250
4251 {
4252#line 301
4253 return (val);
4254}
4255}