1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 20 "include/asm-generic/int-ll64.h"
7typedef unsigned char __u8;
8#line 22 "include/asm-generic/int-ll64.h"
9typedef short __s16;
10#line 23 "include/asm-generic/int-ll64.h"
11typedef unsigned short __u16;
12#line 25 "include/asm-generic/int-ll64.h"
13typedef int __s32;
14#line 26 "include/asm-generic/int-ll64.h"
15typedef unsigned int __u32;
16#line 29 "include/asm-generic/int-ll64.h"
17typedef long long __s64;
18#line 30 "include/asm-generic/int-ll64.h"
19typedef unsigned long long __u64;
20#line 43 "include/asm-generic/int-ll64.h"
21typedef unsigned char u8;
22#line 45 "include/asm-generic/int-ll64.h"
23typedef short s16;
24#line 46 "include/asm-generic/int-ll64.h"
25typedef unsigned short u16;
26#line 48 "include/asm-generic/int-ll64.h"
27typedef int s32;
28#line 49 "include/asm-generic/int-ll64.h"
29typedef unsigned int u32;
30#line 51 "include/asm-generic/int-ll64.h"
31typedef long long s64;
32#line 52 "include/asm-generic/int-ll64.h"
33typedef unsigned long long u64;
34#line 14 "include/asm-generic/posix_types.h"
35typedef long __kernel_long_t;
36#line 15 "include/asm-generic/posix_types.h"
37typedef unsigned long __kernel_ulong_t;
38#line 31 "include/asm-generic/posix_types.h"
39typedef int __kernel_pid_t;
40#line 52 "include/asm-generic/posix_types.h"
41typedef unsigned int __kernel_uid32_t;
42#line 53 "include/asm-generic/posix_types.h"
43typedef unsigned int __kernel_gid32_t;
44#line 75 "include/asm-generic/posix_types.h"
45typedef __kernel_ulong_t __kernel_size_t;
46#line 76 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_ssize_t;
48#line 91 "include/asm-generic/posix_types.h"
49typedef long long __kernel_loff_t;
50#line 92 "include/asm-generic/posix_types.h"
51typedef __kernel_long_t __kernel_time_t;
52#line 93 "include/asm-generic/posix_types.h"
53typedef __kernel_long_t __kernel_clock_t;
54#line 94 "include/asm-generic/posix_types.h"
55typedef int __kernel_timer_t;
56#line 95 "include/asm-generic/posix_types.h"
57typedef int __kernel_clockid_t;
58#line 21 "include/linux/types.h"
59typedef __u32 __kernel_dev_t;
60#line 24 "include/linux/types.h"
61typedef __kernel_dev_t dev_t;
62#line 27 "include/linux/types.h"
63typedef unsigned short umode_t;
64#line 30 "include/linux/types.h"
65typedef __kernel_pid_t pid_t;
66#line 35 "include/linux/types.h"
67typedef __kernel_clockid_t clockid_t;
68#line 38 "include/linux/types.h"
69typedef _Bool bool;
70#line 40 "include/linux/types.h"
71typedef __kernel_uid32_t uid_t;
72#line 41 "include/linux/types.h"
73typedef __kernel_gid32_t gid_t;
74#line 54 "include/linux/types.h"
75typedef __kernel_loff_t loff_t;
76#line 63 "include/linux/types.h"
77typedef __kernel_size_t size_t;
78#line 68 "include/linux/types.h"
79typedef __kernel_ssize_t ssize_t;
80#line 78 "include/linux/types.h"
81typedef __kernel_time_t time_t;
82#line 111 "include/linux/types.h"
83typedef __s32 int32_t;
84#line 117 "include/linux/types.h"
85typedef __u32 uint32_t;
86#line 142 "include/linux/types.h"
87typedef unsigned long sector_t;
88#line 143 "include/linux/types.h"
89typedef unsigned long blkcnt_t;
90#line 202 "include/linux/types.h"
91typedef unsigned int gfp_t;
92#line 203 "include/linux/types.h"
93typedef unsigned int fmode_t;
94#line 219 "include/linux/types.h"
95struct __anonstruct_atomic_t_7 {
96 int counter ;
97};
98#line 219 "include/linux/types.h"
99typedef struct __anonstruct_atomic_t_7 atomic_t;
100#line 224 "include/linux/types.h"
101struct __anonstruct_atomic64_t_8 {
102 long counter ;
103};
104#line 224 "include/linux/types.h"
105typedef struct __anonstruct_atomic64_t_8 atomic64_t;
106#line 229 "include/linux/types.h"
107struct list_head {
108 struct list_head *next ;
109 struct list_head *prev ;
110};
111#line 233
112struct hlist_node;
113#line 233 "include/linux/types.h"
114struct hlist_head {
115 struct hlist_node *first ;
116};
117#line 237 "include/linux/types.h"
118struct hlist_node {
119 struct hlist_node *next ;
120 struct hlist_node **pprev ;
121};
122#line 253 "include/linux/types.h"
123struct rcu_head {
124 struct rcu_head *next ;
125 void (*func)(struct rcu_head *head ) ;
126};
127#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
128struct module;
129#line 56
130struct module;
131#line 146 "include/linux/init.h"
132typedef void (*ctor_fn_t)(void);
133#line 47 "include/linux/dynamic_debug.h"
134struct device;
135#line 47
136struct device;
137#line 135 "include/linux/kernel.h"
138struct completion;
139#line 135
140struct completion;
141#line 136
142struct pt_regs;
143#line 136
144struct pt_regs;
145#line 349
146struct pid;
147#line 349
148struct pid;
149#line 12 "include/linux/thread_info.h"
150struct timespec;
151#line 12
152struct timespec;
153#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
154struct page;
155#line 18
156struct page;
157#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
158struct task_struct;
159#line 20
160struct task_struct;
161#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
162struct task_struct;
163#line 8
164struct mm_struct;
165#line 8
166struct mm_struct;
167#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
168struct pt_regs {
169 unsigned long r15 ;
170 unsigned long r14 ;
171 unsigned long r13 ;
172 unsigned long r12 ;
173 unsigned long bp ;
174 unsigned long bx ;
175 unsigned long r11 ;
176 unsigned long r10 ;
177 unsigned long r9 ;
178 unsigned long r8 ;
179 unsigned long ax ;
180 unsigned long cx ;
181 unsigned long dx ;
182 unsigned long si ;
183 unsigned long di ;
184 unsigned long orig_ax ;
185 unsigned long ip ;
186 unsigned long cs ;
187 unsigned long flags ;
188 unsigned long sp ;
189 unsigned long ss ;
190};
191#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
192struct __anonstruct____missing_field_name_15 {
193 unsigned int a ;
194 unsigned int b ;
195};
196#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
197struct __anonstruct____missing_field_name_16 {
198 u16 limit0 ;
199 u16 base0 ;
200 unsigned int base1 : 8 ;
201 unsigned int type : 4 ;
202 unsigned int s : 1 ;
203 unsigned int dpl : 2 ;
204 unsigned int p : 1 ;
205 unsigned int limit : 4 ;
206 unsigned int avl : 1 ;
207 unsigned int l : 1 ;
208 unsigned int d : 1 ;
209 unsigned int g : 1 ;
210 unsigned int base2 : 8 ;
211};
212#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
213union __anonunion____missing_field_name_14 {
214 struct __anonstruct____missing_field_name_15 __annonCompField5 ;
215 struct __anonstruct____missing_field_name_16 __annonCompField6 ;
216};
217#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
218struct desc_struct {
219 union __anonunion____missing_field_name_14 __annonCompField7 ;
220} __attribute__((__packed__)) ;
221#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
222typedef unsigned long pteval_t;
223#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
224typedef unsigned long pgdval_t;
225#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
226typedef unsigned long pgprotval_t;
227#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
228struct pgprot {
229 pgprotval_t pgprot ;
230};
231#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
232typedef struct pgprot pgprot_t;
233#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
234struct __anonstruct_pgd_t_20 {
235 pgdval_t pgd ;
236};
237#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
238typedef struct __anonstruct_pgd_t_20 pgd_t;
239#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
240typedef struct page *pgtable_t;
241#line 295
242struct file;
243#line 295
244struct file;
245#line 313
246struct seq_file;
247#line 313
248struct seq_file;
249#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
250struct page;
251#line 47
252struct thread_struct;
253#line 47
254struct thread_struct;
255#line 50
256struct mm_struct;
257#line 51
258struct desc_struct;
259#line 52
260struct task_struct;
261#line 53
262struct cpumask;
263#line 53
264struct cpumask;
265#line 329
266struct arch_spinlock;
267#line 329
268struct arch_spinlock;
269#line 138 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
270struct cpuinfo_x86;
271#line 138
272struct cpuinfo_x86;
273#line 139
274struct task_struct;
275#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
276struct kernel_vm86_regs {
277 struct pt_regs pt ;
278 unsigned short es ;
279 unsigned short __esh ;
280 unsigned short ds ;
281 unsigned short __dsh ;
282 unsigned short fs ;
283 unsigned short __fsh ;
284 unsigned short gs ;
285 unsigned short __gsh ;
286};
287#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
288union __anonunion____missing_field_name_24 {
289 struct pt_regs *regs ;
290 struct kernel_vm86_regs *vm86 ;
291};
292#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
293struct math_emu_info {
294 long ___orig_eip ;
295 union __anonunion____missing_field_name_24 __annonCompField8 ;
296};
297#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
298struct task_struct;
299#line 10 "include/asm-generic/bug.h"
300struct bug_entry {
301 int bug_addr_disp ;
302 int file_disp ;
303 unsigned short line ;
304 unsigned short flags ;
305};
306#line 12 "include/linux/bug.h"
307struct pt_regs;
308#line 14 "include/linux/cpumask.h"
309struct cpumask {
310 unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
311};
312#line 14 "include/linux/cpumask.h"
313typedef struct cpumask cpumask_t;
314#line 637 "include/linux/cpumask.h"
315typedef struct cpumask *cpumask_var_t;
316#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
317struct static_key;
318#line 234
319struct static_key;
320#line 11 "include/linux/personality.h"
321struct pt_regs;
322#line 70 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
323struct cpuinfo_x86 {
324 __u8 x86 ;
325 __u8 x86_vendor ;
326 __u8 x86_model ;
327 __u8 x86_mask ;
328 int x86_tlbsize ;
329 __u8 x86_virt_bits ;
330 __u8 x86_phys_bits ;
331 __u8 x86_coreid_bits ;
332 __u32 extended_cpuid_level ;
333 int cpuid_level ;
334 __u32 x86_capability[10] ;
335 char x86_vendor_id[16] ;
336 char x86_model_id[64] ;
337 int x86_cache_size ;
338 int x86_cache_alignment ;
339 int x86_power ;
340 unsigned long loops_per_jiffy ;
341 u16 x86_max_cores ;
342 u16 apicid ;
343 u16 initial_apicid ;
344 u16 x86_clflush_size ;
345 u16 booted_cores ;
346 u16 phys_proc_id ;
347 u16 cpu_core_id ;
348 u8 compute_unit_id ;
349 u16 cpu_index ;
350 u32 microcode ;
351} __attribute__((__aligned__((1) << (6) ))) ;
352#line 153
353struct seq_operations;
354#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
355struct i387_fsave_struct {
356 u32 cwd ;
357 u32 swd ;
358 u32 twd ;
359 u32 fip ;
360 u32 fcs ;
361 u32 foo ;
362 u32 fos ;
363 u32 st_space[20] ;
364 u32 status ;
365};
366#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
367struct __anonstruct____missing_field_name_31 {
368 u64 rip ;
369 u64 rdp ;
370};
371#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
372struct __anonstruct____missing_field_name_32 {
373 u32 fip ;
374 u32 fcs ;
375 u32 foo ;
376 u32 fos ;
377};
378#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
379union __anonunion____missing_field_name_30 {
380 struct __anonstruct____missing_field_name_31 __annonCompField12 ;
381 struct __anonstruct____missing_field_name_32 __annonCompField13 ;
382};
383#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
384union __anonunion____missing_field_name_33 {
385 u32 padding1[12] ;
386 u32 sw_reserved[12] ;
387};
388#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
389struct i387_fxsave_struct {
390 u16 cwd ;
391 u16 swd ;
392 u16 twd ;
393 u16 fop ;
394 union __anonunion____missing_field_name_30 __annonCompField14 ;
395 u32 mxcsr ;
396 u32 mxcsr_mask ;
397 u32 st_space[32] ;
398 u32 xmm_space[64] ;
399 u32 padding[12] ;
400 union __anonunion____missing_field_name_33 __annonCompField15 ;
401} __attribute__((__aligned__(16))) ;
402#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
403struct i387_soft_struct {
404 u32 cwd ;
405 u32 swd ;
406 u32 twd ;
407 u32 fip ;
408 u32 fcs ;
409 u32 foo ;
410 u32 fos ;
411 u32 st_space[20] ;
412 u8 ftop ;
413 u8 changed ;
414 u8 lookahead ;
415 u8 no_update ;
416 u8 rm ;
417 u8 alimit ;
418 struct math_emu_info *info ;
419 u32 entry_eip ;
420};
421#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
422struct ymmh_struct {
423 u32 ymmh_space[64] ;
424};
425#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
426struct xsave_hdr_struct {
427 u64 xstate_bv ;
428 u64 reserved1[2] ;
429 u64 reserved2[5] ;
430} __attribute__((__packed__)) ;
431#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
432struct xsave_struct {
433 struct i387_fxsave_struct i387 ;
434 struct xsave_hdr_struct xsave_hdr ;
435 struct ymmh_struct ymmh ;
436} __attribute__((__packed__, __aligned__(64))) ;
437#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
438union thread_xstate {
439 struct i387_fsave_struct fsave ;
440 struct i387_fxsave_struct fxsave ;
441 struct i387_soft_struct soft ;
442 struct xsave_struct xsave ;
443};
444#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
445struct fpu {
446 unsigned int last_cpu ;
447 unsigned int has_fpu ;
448 union thread_xstate *state ;
449};
450#line 433
451struct kmem_cache;
452#line 435
453struct perf_event;
454#line 435
455struct perf_event;
456#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
457struct thread_struct {
458 struct desc_struct tls_array[3] ;
459 unsigned long sp0 ;
460 unsigned long sp ;
461 unsigned long usersp ;
462 unsigned short es ;
463 unsigned short ds ;
464 unsigned short fsindex ;
465 unsigned short gsindex ;
466 unsigned long fs ;
467 unsigned long gs ;
468 struct perf_event *ptrace_bps[4] ;
469 unsigned long debugreg6 ;
470 unsigned long ptrace_dr7 ;
471 unsigned long cr2 ;
472 unsigned long trap_nr ;
473 unsigned long error_code ;
474 struct fpu fpu ;
475 unsigned long *io_bitmap_ptr ;
476 unsigned long iopl ;
477 unsigned int io_bitmap_max ;
478};
479#line 23 "include/asm-generic/atomic-long.h"
480typedef atomic64_t atomic_long_t;
481#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
482typedef u16 __ticket_t;
483#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
484typedef u32 __ticketpair_t;
485#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
486struct __raw_tickets {
487 __ticket_t head ;
488 __ticket_t tail ;
489};
490#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
491union __anonunion____missing_field_name_36 {
492 __ticketpair_t head_tail ;
493 struct __raw_tickets tickets ;
494};
495#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
496struct arch_spinlock {
497 union __anonunion____missing_field_name_36 __annonCompField17 ;
498};
499#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
500typedef struct arch_spinlock arch_spinlock_t;
501#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
502struct __anonstruct____missing_field_name_38 {
503 u32 read ;
504 s32 write ;
505};
506#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
507union __anonunion_arch_rwlock_t_37 {
508 s64 lock ;
509 struct __anonstruct____missing_field_name_38 __annonCompField18 ;
510};
511#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
512typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
513#line 12 "include/linux/lockdep.h"
514struct task_struct;
515#line 391 "include/linux/lockdep.h"
516struct lock_class_key {
517
518};
519#line 20 "include/linux/spinlock_types.h"
520struct raw_spinlock {
521 arch_spinlock_t raw_lock ;
522 unsigned int magic ;
523 unsigned int owner_cpu ;
524 void *owner ;
525};
526#line 20 "include/linux/spinlock_types.h"
527typedef struct raw_spinlock raw_spinlock_t;
528#line 64 "include/linux/spinlock_types.h"
529union __anonunion____missing_field_name_39 {
530 struct raw_spinlock rlock ;
531};
532#line 64 "include/linux/spinlock_types.h"
533struct spinlock {
534 union __anonunion____missing_field_name_39 __annonCompField19 ;
535};
536#line 64 "include/linux/spinlock_types.h"
537typedef struct spinlock spinlock_t;
538#line 11 "include/linux/rwlock_types.h"
539struct __anonstruct_rwlock_t_40 {
540 arch_rwlock_t raw_lock ;
541 unsigned int magic ;
542 unsigned int owner_cpu ;
543 void *owner ;
544};
545#line 11 "include/linux/rwlock_types.h"
546typedef struct __anonstruct_rwlock_t_40 rwlock_t;
547#line 119 "include/linux/seqlock.h"
548struct seqcount {
549 unsigned int sequence ;
550};
551#line 119 "include/linux/seqlock.h"
552typedef struct seqcount seqcount_t;
553#line 14 "include/linux/time.h"
554struct timespec {
555 __kernel_time_t tv_sec ;
556 long tv_nsec ;
557};
558#line 62 "include/linux/stat.h"
559struct kstat {
560 u64 ino ;
561 dev_t dev ;
562 umode_t mode ;
563 unsigned int nlink ;
564 uid_t uid ;
565 gid_t gid ;
566 dev_t rdev ;
567 loff_t size ;
568 struct timespec atime ;
569 struct timespec mtime ;
570 struct timespec ctime ;
571 unsigned long blksize ;
572 unsigned long long blocks ;
573};
574#line 49 "include/linux/wait.h"
575struct __wait_queue_head {
576 spinlock_t lock ;
577 struct list_head task_list ;
578};
579#line 53 "include/linux/wait.h"
580typedef struct __wait_queue_head wait_queue_head_t;
581#line 55
582struct task_struct;
583#line 98 "include/linux/nodemask.h"
584struct __anonstruct_nodemask_t_42 {
585 unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
586};
587#line 98 "include/linux/nodemask.h"
588typedef struct __anonstruct_nodemask_t_42 nodemask_t;
589#line 60 "include/linux/pageblock-flags.h"
590struct page;
591#line 48 "include/linux/mutex.h"
592struct mutex {
593 atomic_t count ;
594 spinlock_t wait_lock ;
595 struct list_head wait_list ;
596 struct task_struct *owner ;
597 char const *name ;
598 void *magic ;
599};
600#line 69 "include/linux/mutex.h"
601struct mutex_waiter {
602 struct list_head list ;
603 struct task_struct *task ;
604 void *magic ;
605};
606#line 19 "include/linux/rwsem.h"
607struct rw_semaphore;
608#line 19
609struct rw_semaphore;
610#line 25 "include/linux/rwsem.h"
611struct rw_semaphore {
612 long count ;
613 raw_spinlock_t wait_lock ;
614 struct list_head wait_list ;
615};
616#line 25 "include/linux/completion.h"
617struct completion {
618 unsigned int done ;
619 wait_queue_head_t wait ;
620};
621#line 9 "include/linux/memory_hotplug.h"
622struct page;
623#line 202 "include/linux/ioport.h"
624struct device;
625#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
626struct cpuinfo_x86;
627#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
628struct device;
629#line 46 "include/linux/ktime.h"
630union ktime {
631 s64 tv64 ;
632};
633#line 59 "include/linux/ktime.h"
634typedef union ktime ktime_t;
635#line 10 "include/linux/timer.h"
636struct tvec_base;
637#line 10
638struct tvec_base;
639#line 12 "include/linux/timer.h"
640struct timer_list {
641 struct list_head entry ;
642 unsigned long expires ;
643 struct tvec_base *base ;
644 void (*function)(unsigned long ) ;
645 unsigned long data ;
646 int slack ;
647 int start_pid ;
648 void *start_site ;
649 char start_comm[16] ;
650};
651#line 289
652struct hrtimer;
653#line 289
654struct hrtimer;
655#line 290
656enum hrtimer_restart;
657#line 17 "include/linux/workqueue.h"
658struct work_struct;
659#line 17
660struct work_struct;
661#line 79 "include/linux/workqueue.h"
662struct work_struct {
663 atomic_long_t data ;
664 struct list_head entry ;
665 void (*func)(struct work_struct *work ) ;
666};
667#line 92 "include/linux/workqueue.h"
668struct delayed_work {
669 struct work_struct work ;
670 struct timer_list timer ;
671};
672#line 42 "include/linux/pm.h"
673struct device;
674#line 50 "include/linux/pm.h"
675struct pm_message {
676 int event ;
677};
678#line 50 "include/linux/pm.h"
679typedef struct pm_message pm_message_t;
680#line 264 "include/linux/pm.h"
681struct dev_pm_ops {
682 int (*prepare)(struct device *dev ) ;
683 void (*complete)(struct device *dev ) ;
684 int (*suspend)(struct device *dev ) ;
685 int (*resume)(struct device *dev ) ;
686 int (*freeze)(struct device *dev ) ;
687 int (*thaw)(struct device *dev ) ;
688 int (*poweroff)(struct device *dev ) ;
689 int (*restore)(struct device *dev ) ;
690 int (*suspend_late)(struct device *dev ) ;
691 int (*resume_early)(struct device *dev ) ;
692 int (*freeze_late)(struct device *dev ) ;
693 int (*thaw_early)(struct device *dev ) ;
694 int (*poweroff_late)(struct device *dev ) ;
695 int (*restore_early)(struct device *dev ) ;
696 int (*suspend_noirq)(struct device *dev ) ;
697 int (*resume_noirq)(struct device *dev ) ;
698 int (*freeze_noirq)(struct device *dev ) ;
699 int (*thaw_noirq)(struct device *dev ) ;
700 int (*poweroff_noirq)(struct device *dev ) ;
701 int (*restore_noirq)(struct device *dev ) ;
702 int (*runtime_suspend)(struct device *dev ) ;
703 int (*runtime_resume)(struct device *dev ) ;
704 int (*runtime_idle)(struct device *dev ) ;
705};
706#line 458
707enum rpm_status {
708 RPM_ACTIVE = 0,
709 RPM_RESUMING = 1,
710 RPM_SUSPENDED = 2,
711 RPM_SUSPENDING = 3
712} ;
713#line 480
714enum rpm_request {
715 RPM_REQ_NONE = 0,
716 RPM_REQ_IDLE = 1,
717 RPM_REQ_SUSPEND = 2,
718 RPM_REQ_AUTOSUSPEND = 3,
719 RPM_REQ_RESUME = 4
720} ;
721#line 488
722struct wakeup_source;
723#line 488
724struct wakeup_source;
725#line 495 "include/linux/pm.h"
726struct pm_subsys_data {
727 spinlock_t lock ;
728 unsigned int refcount ;
729};
730#line 506
731struct dev_pm_qos_request;
732#line 506
733struct pm_qos_constraints;
734#line 506 "include/linux/pm.h"
735struct dev_pm_info {
736 pm_message_t power_state ;
737 unsigned int can_wakeup : 1 ;
738 unsigned int async_suspend : 1 ;
739 bool is_prepared : 1 ;
740 bool is_suspended : 1 ;
741 bool ignore_children : 1 ;
742 spinlock_t lock ;
743 struct list_head entry ;
744 struct completion completion ;
745 struct wakeup_source *wakeup ;
746 bool wakeup_path : 1 ;
747 struct timer_list suspend_timer ;
748 unsigned long timer_expires ;
749 struct work_struct work ;
750 wait_queue_head_t wait_queue ;
751 atomic_t usage_count ;
752 atomic_t child_count ;
753 unsigned int disable_depth : 3 ;
754 unsigned int idle_notification : 1 ;
755 unsigned int request_pending : 1 ;
756 unsigned int deferred_resume : 1 ;
757 unsigned int run_wake : 1 ;
758 unsigned int runtime_auto : 1 ;
759 unsigned int no_callbacks : 1 ;
760 unsigned int irq_safe : 1 ;
761 unsigned int use_autosuspend : 1 ;
762 unsigned int timer_autosuspends : 1 ;
763 enum rpm_request request ;
764 enum rpm_status runtime_status ;
765 int runtime_error ;
766 int autosuspend_delay ;
767 unsigned long last_busy ;
768 unsigned long active_jiffies ;
769 unsigned long suspended_jiffies ;
770 unsigned long accounting_timestamp ;
771 ktime_t suspend_time ;
772 s64 max_time_suspended_ns ;
773 struct dev_pm_qos_request *pq_req ;
774 struct pm_subsys_data *subsys_data ;
775 struct pm_qos_constraints *constraints ;
776};
777#line 564 "include/linux/pm.h"
778struct dev_pm_domain {
779 struct dev_pm_ops ops ;
780};
781#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
782struct __anonstruct_mm_context_t_112 {
783 void *ldt ;
784 int size ;
785 unsigned short ia32_compat ;
786 struct mutex lock ;
787 void *vdso ;
788};
789#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
790typedef struct __anonstruct_mm_context_t_112 mm_context_t;
791#line 8 "include/linux/vmalloc.h"
792struct vm_area_struct;
793#line 8
794struct vm_area_struct;
795#line 994 "include/linux/mmzone.h"
796struct page;
797#line 10 "include/linux/gfp.h"
798struct vm_area_struct;
799#line 29 "include/linux/sysctl.h"
800struct completion;
801#line 100 "include/linux/rbtree.h"
802struct rb_node {
803 unsigned long rb_parent_color ;
804 struct rb_node *rb_right ;
805 struct rb_node *rb_left ;
806} __attribute__((__aligned__(sizeof(long )))) ;
807#line 110 "include/linux/rbtree.h"
808struct rb_root {
809 struct rb_node *rb_node ;
810};
811#line 939 "include/linux/sysctl.h"
812struct nsproxy;
813#line 939
814struct nsproxy;
815#line 48 "include/linux/kmod.h"
816struct cred;
817#line 48
818struct cred;
819#line 49
820struct file;
821#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
822struct task_struct;
823#line 18 "include/linux/elf.h"
824typedef __u64 Elf64_Addr;
825#line 19 "include/linux/elf.h"
826typedef __u16 Elf64_Half;
827#line 23 "include/linux/elf.h"
828typedef __u32 Elf64_Word;
829#line 24 "include/linux/elf.h"
830typedef __u64 Elf64_Xword;
831#line 194 "include/linux/elf.h"
832struct elf64_sym {
833 Elf64_Word st_name ;
834 unsigned char st_info ;
835 unsigned char st_other ;
836 Elf64_Half st_shndx ;
837 Elf64_Addr st_value ;
838 Elf64_Xword st_size ;
839};
840#line 194 "include/linux/elf.h"
841typedef struct elf64_sym Elf64_Sym;
842#line 438
843struct file;
844#line 20 "include/linux/kobject_ns.h"
845struct sock;
846#line 20
847struct sock;
848#line 21
849struct kobject;
850#line 21
851struct kobject;
852#line 27
853enum kobj_ns_type {
854 KOBJ_NS_TYPE_NONE = 0,
855 KOBJ_NS_TYPE_NET = 1,
856 KOBJ_NS_TYPES = 2
857} ;
858#line 40 "include/linux/kobject_ns.h"
859struct kobj_ns_type_operations {
860 enum kobj_ns_type type ;
861 void *(*grab_current_ns)(void) ;
862 void const *(*netlink_ns)(struct sock *sk ) ;
863 void const *(*initial_ns)(void) ;
864 void (*drop_ns)(void * ) ;
865};
866#line 22 "include/linux/sysfs.h"
867struct kobject;
868#line 23
869struct module;
870#line 24
871enum kobj_ns_type;
872#line 26 "include/linux/sysfs.h"
873struct attribute {
874 char const *name ;
875 umode_t mode ;
876};
877#line 56 "include/linux/sysfs.h"
878struct attribute_group {
879 char const *name ;
880 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
881 struct attribute **attrs ;
882};
883#line 85
884struct file;
885#line 86
886struct vm_area_struct;
887#line 88 "include/linux/sysfs.h"
888struct bin_attribute {
889 struct attribute attr ;
890 size_t size ;
891 void *private ;
892 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
893 loff_t , size_t ) ;
894 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
895 loff_t , size_t ) ;
896 int (*mmap)(struct file * , struct kobject * , struct bin_attribute *attr , struct vm_area_struct *vma ) ;
897};
898#line 112 "include/linux/sysfs.h"
899struct sysfs_ops {
900 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
901 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
902 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
903};
904#line 118
905struct sysfs_dirent;
906#line 118
907struct sysfs_dirent;
908#line 22 "include/linux/kref.h"
909struct kref {
910 atomic_t refcount ;
911};
912#line 60 "include/linux/kobject.h"
913struct kset;
914#line 60
915struct kobj_type;
916#line 60 "include/linux/kobject.h"
917struct kobject {
918 char const *name ;
919 struct list_head entry ;
920 struct kobject *parent ;
921 struct kset *kset ;
922 struct kobj_type *ktype ;
923 struct sysfs_dirent *sd ;
924 struct kref kref ;
925 unsigned int state_initialized : 1 ;
926 unsigned int state_in_sysfs : 1 ;
927 unsigned int state_add_uevent_sent : 1 ;
928 unsigned int state_remove_uevent_sent : 1 ;
929 unsigned int uevent_suppress : 1 ;
930};
931#line 108 "include/linux/kobject.h"
932struct kobj_type {
933 void (*release)(struct kobject *kobj ) ;
934 struct sysfs_ops const *sysfs_ops ;
935 struct attribute **default_attrs ;
936 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *kobj ) ;
937 void const *(*namespace)(struct kobject *kobj ) ;
938};
939#line 116 "include/linux/kobject.h"
940struct kobj_uevent_env {
941 char *envp[32] ;
942 int envp_idx ;
943 char buf[2048] ;
944 int buflen ;
945};
946#line 123 "include/linux/kobject.h"
947struct kset_uevent_ops {
948 int (* const filter)(struct kset *kset , struct kobject *kobj ) ;
949 char const *(* const name)(struct kset *kset , struct kobject *kobj ) ;
950 int (* const uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
951};
952#line 140
953struct sock;
954#line 159 "include/linux/kobject.h"
955struct kset {
956 struct list_head list ;
957 spinlock_t list_lock ;
958 struct kobject kobj ;
959 struct kset_uevent_ops const *uevent_ops ;
960};
961#line 39 "include/linux/moduleparam.h"
962struct kernel_param;
963#line 39
964struct kernel_param;
965#line 41 "include/linux/moduleparam.h"
966struct kernel_param_ops {
967 int (*set)(char const *val , struct kernel_param const *kp ) ;
968 int (*get)(char *buffer , struct kernel_param const *kp ) ;
969 void (*free)(void *arg ) ;
970};
971#line 50
972struct kparam_string;
973#line 50
974struct kparam_array;
975#line 50 "include/linux/moduleparam.h"
976union __anonunion____missing_field_name_199 {
977 void *arg ;
978 struct kparam_string const *str ;
979 struct kparam_array const *arr ;
980};
981#line 50 "include/linux/moduleparam.h"
982struct kernel_param {
983 char const *name ;
984 struct kernel_param_ops const *ops ;
985 u16 perm ;
986 s16 level ;
987 union __anonunion____missing_field_name_199 __annonCompField32 ;
988};
989#line 63 "include/linux/moduleparam.h"
990struct kparam_string {
991 unsigned int maxlen ;
992 char *string ;
993};
994#line 69 "include/linux/moduleparam.h"
995struct kparam_array {
996 unsigned int max ;
997 unsigned int elemsize ;
998 unsigned int *num ;
999 struct kernel_param_ops const *ops ;
1000 void *elem ;
1001};
1002#line 445
1003struct module;
1004#line 80 "include/linux/jump_label.h"
1005struct module;
1006#line 143 "include/linux/jump_label.h"
1007struct static_key {
1008 atomic_t enabled ;
1009};
1010#line 22 "include/linux/tracepoint.h"
1011struct module;
1012#line 23
1013struct tracepoint;
1014#line 23
1015struct tracepoint;
1016#line 25 "include/linux/tracepoint.h"
1017struct tracepoint_func {
1018 void *func ;
1019 void *data ;
1020};
1021#line 30 "include/linux/tracepoint.h"
1022struct tracepoint {
1023 char const *name ;
1024 struct static_key key ;
1025 void (*regfunc)(void) ;
1026 void (*unregfunc)(void) ;
1027 struct tracepoint_func *funcs ;
1028};
1029#line 19 "include/linux/export.h"
1030struct kernel_symbol {
1031 unsigned long value ;
1032 char const *name ;
1033};
1034#line 8 "include/asm-generic/module.h"
1035struct mod_arch_specific {
1036
1037};
1038#line 35 "include/linux/module.h"
1039struct module;
1040#line 37
1041struct module_param_attrs;
1042#line 37 "include/linux/module.h"
1043struct module_kobject {
1044 struct kobject kobj ;
1045 struct module *mod ;
1046 struct kobject *drivers_dir ;
1047 struct module_param_attrs *mp ;
1048};
1049#line 44 "include/linux/module.h"
1050struct module_attribute {
1051 struct attribute attr ;
1052 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1053 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
1054 size_t count ) ;
1055 void (*setup)(struct module * , char const * ) ;
1056 int (*test)(struct module * ) ;
1057 void (*free)(struct module * ) ;
1058};
1059#line 71
1060struct exception_table_entry;
1061#line 71
1062struct exception_table_entry;
1063#line 199
1064enum module_state {
1065 MODULE_STATE_LIVE = 0,
1066 MODULE_STATE_COMING = 1,
1067 MODULE_STATE_GOING = 2
1068} ;
1069#line 215 "include/linux/module.h"
1070struct module_ref {
1071 unsigned long incs ;
1072 unsigned long decs ;
1073} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1074#line 220
1075struct module_sect_attrs;
1076#line 220
1077struct module_notes_attrs;
1078#line 220
1079struct ftrace_event_call;
1080#line 220 "include/linux/module.h"
1081struct module {
1082 enum module_state state ;
1083 struct list_head list ;
1084 char name[64UL - sizeof(unsigned long )] ;
1085 struct module_kobject mkobj ;
1086 struct module_attribute *modinfo_attrs ;
1087 char const *version ;
1088 char const *srcversion ;
1089 struct kobject *holders_dir ;
1090 struct kernel_symbol const *syms ;
1091 unsigned long const *crcs ;
1092 unsigned int num_syms ;
1093 struct kernel_param *kp ;
1094 unsigned int num_kp ;
1095 unsigned int num_gpl_syms ;
1096 struct kernel_symbol const *gpl_syms ;
1097 unsigned long const *gpl_crcs ;
1098 struct kernel_symbol const *unused_syms ;
1099 unsigned long const *unused_crcs ;
1100 unsigned int num_unused_syms ;
1101 unsigned int num_unused_gpl_syms ;
1102 struct kernel_symbol const *unused_gpl_syms ;
1103 unsigned long const *unused_gpl_crcs ;
1104 struct kernel_symbol const *gpl_future_syms ;
1105 unsigned long const *gpl_future_crcs ;
1106 unsigned int num_gpl_future_syms ;
1107 unsigned int num_exentries ;
1108 struct exception_table_entry *extable ;
1109 int (*init)(void) ;
1110 void *module_init ;
1111 void *module_core ;
1112 unsigned int init_size ;
1113 unsigned int core_size ;
1114 unsigned int init_text_size ;
1115 unsigned int core_text_size ;
1116 unsigned int init_ro_size ;
1117 unsigned int core_ro_size ;
1118 struct mod_arch_specific arch ;
1119 unsigned int taints ;
1120 unsigned int num_bugs ;
1121 struct list_head bug_list ;
1122 struct bug_entry *bug_table ;
1123 Elf64_Sym *symtab ;
1124 Elf64_Sym *core_symtab ;
1125 unsigned int num_symtab ;
1126 unsigned int core_num_syms ;
1127 char *strtab ;
1128 char *core_strtab ;
1129 struct module_sect_attrs *sect_attrs ;
1130 struct module_notes_attrs *notes_attrs ;
1131 char *args ;
1132 void *percpu ;
1133 unsigned int percpu_size ;
1134 unsigned int num_tracepoints ;
1135 struct tracepoint * const *tracepoints_ptrs ;
1136 unsigned int num_trace_bprintk_fmt ;
1137 char const **trace_bprintk_fmt_start ;
1138 struct ftrace_event_call **trace_events ;
1139 unsigned int num_trace_events ;
1140 struct list_head source_list ;
1141 struct list_head target_list ;
1142 struct task_struct *waiter ;
1143 void (*exit)(void) ;
1144 struct module_ref *refptr ;
1145 ctor_fn_t *ctors ;
1146 unsigned int num_ctors ;
1147};
1148#line 14 "include/linux/prio_tree.h"
1149struct prio_tree_node;
1150#line 14 "include/linux/prio_tree.h"
1151struct raw_prio_tree_node {
1152 struct prio_tree_node *left ;
1153 struct prio_tree_node *right ;
1154 struct prio_tree_node *parent ;
1155};
1156#line 20 "include/linux/prio_tree.h"
1157struct prio_tree_node {
1158 struct prio_tree_node *left ;
1159 struct prio_tree_node *right ;
1160 struct prio_tree_node *parent ;
1161 unsigned long start ;
1162 unsigned long last ;
1163};
1164#line 28 "include/linux/prio_tree.h"
1165struct prio_tree_root {
1166 struct prio_tree_node *prio_tree_node ;
1167 unsigned short index_bits ;
1168 unsigned short raw ;
1169};
1170#line 8 "include/linux/debug_locks.h"
1171struct task_struct;
1172#line 48
1173struct task_struct;
1174#line 23 "include/linux/mm_types.h"
1175struct address_space;
1176#line 23
1177struct address_space;
1178#line 40 "include/linux/mm_types.h"
1179union __anonunion____missing_field_name_202 {
1180 unsigned long index ;
1181 void *freelist ;
1182};
1183#line 40 "include/linux/mm_types.h"
1184struct __anonstruct____missing_field_name_206 {
1185 unsigned int inuse : 16 ;
1186 unsigned int objects : 15 ;
1187 unsigned int frozen : 1 ;
1188};
1189#line 40 "include/linux/mm_types.h"
1190union __anonunion____missing_field_name_205 {
1191 atomic_t _mapcount ;
1192 struct __anonstruct____missing_field_name_206 __annonCompField34 ;
1193};
1194#line 40 "include/linux/mm_types.h"
1195struct __anonstruct____missing_field_name_204 {
1196 union __anonunion____missing_field_name_205 __annonCompField35 ;
1197 atomic_t _count ;
1198};
1199#line 40 "include/linux/mm_types.h"
1200union __anonunion____missing_field_name_203 {
1201 unsigned long counters ;
1202 struct __anonstruct____missing_field_name_204 __annonCompField36 ;
1203};
1204#line 40 "include/linux/mm_types.h"
1205struct __anonstruct____missing_field_name_201 {
1206 union __anonunion____missing_field_name_202 __annonCompField33 ;
1207 union __anonunion____missing_field_name_203 __annonCompField37 ;
1208};
1209#line 40 "include/linux/mm_types.h"
1210struct __anonstruct____missing_field_name_208 {
1211 struct page *next ;
1212 int pages ;
1213 int pobjects ;
1214};
1215#line 40 "include/linux/mm_types.h"
1216union __anonunion____missing_field_name_207 {
1217 struct list_head lru ;
1218 struct __anonstruct____missing_field_name_208 __annonCompField39 ;
1219};
1220#line 40 "include/linux/mm_types.h"
1221union __anonunion____missing_field_name_209 {
1222 unsigned long private ;
1223 struct kmem_cache *slab ;
1224 struct page *first_page ;
1225};
1226#line 40 "include/linux/mm_types.h"
1227struct page {
1228 unsigned long flags ;
1229 struct address_space *mapping ;
1230 struct __anonstruct____missing_field_name_201 __annonCompField38 ;
1231 union __anonunion____missing_field_name_207 __annonCompField40 ;
1232 union __anonunion____missing_field_name_209 __annonCompField41 ;
1233 unsigned long debug_flags ;
1234} __attribute__((__aligned__((2) * (sizeof(unsigned long )) ))) ;
1235#line 200 "include/linux/mm_types.h"
1236struct __anonstruct_vm_set_211 {
1237 struct list_head list ;
1238 void *parent ;
1239 struct vm_area_struct *head ;
1240};
1241#line 200 "include/linux/mm_types.h"
1242union __anonunion_shared_210 {
1243 struct __anonstruct_vm_set_211 vm_set ;
1244 struct raw_prio_tree_node prio_tree_node ;
1245};
1246#line 200
1247struct anon_vma;
1248#line 200
1249struct vm_operations_struct;
1250#line 200
1251struct mempolicy;
1252#line 200 "include/linux/mm_types.h"
1253struct vm_area_struct {
1254 struct mm_struct *vm_mm ;
1255 unsigned long vm_start ;
1256 unsigned long vm_end ;
1257 struct vm_area_struct *vm_next ;
1258 struct vm_area_struct *vm_prev ;
1259 pgprot_t vm_page_prot ;
1260 unsigned long vm_flags ;
1261 struct rb_node vm_rb ;
1262 union __anonunion_shared_210 shared ;
1263 struct list_head anon_vma_chain ;
1264 struct anon_vma *anon_vma ;
1265 struct vm_operations_struct const *vm_ops ;
1266 unsigned long vm_pgoff ;
1267 struct file *vm_file ;
1268 void *vm_private_data ;
1269 struct mempolicy *vm_policy ;
1270};
1271#line 257 "include/linux/mm_types.h"
1272struct core_thread {
1273 struct task_struct *task ;
1274 struct core_thread *next ;
1275};
1276#line 262 "include/linux/mm_types.h"
1277struct core_state {
1278 atomic_t nr_threads ;
1279 struct core_thread dumper ;
1280 struct completion startup ;
1281};
1282#line 284 "include/linux/mm_types.h"
1283struct mm_rss_stat {
1284 atomic_long_t count[3] ;
1285};
1286#line 288
1287struct linux_binfmt;
1288#line 288
1289struct mmu_notifier_mm;
1290#line 288 "include/linux/mm_types.h"
1291struct mm_struct {
1292 struct vm_area_struct *mmap ;
1293 struct rb_root mm_rb ;
1294 struct vm_area_struct *mmap_cache ;
1295 unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1296 unsigned long pgoff , unsigned long flags ) ;
1297 void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1298 unsigned long mmap_base ;
1299 unsigned long task_size ;
1300 unsigned long cached_hole_size ;
1301 unsigned long free_area_cache ;
1302 pgd_t *pgd ;
1303 atomic_t mm_users ;
1304 atomic_t mm_count ;
1305 int map_count ;
1306 spinlock_t page_table_lock ;
1307 struct rw_semaphore mmap_sem ;
1308 struct list_head mmlist ;
1309 unsigned long hiwater_rss ;
1310 unsigned long hiwater_vm ;
1311 unsigned long total_vm ;
1312 unsigned long locked_vm ;
1313 unsigned long pinned_vm ;
1314 unsigned long shared_vm ;
1315 unsigned long exec_vm ;
1316 unsigned long stack_vm ;
1317 unsigned long reserved_vm ;
1318 unsigned long def_flags ;
1319 unsigned long nr_ptes ;
1320 unsigned long start_code ;
1321 unsigned long end_code ;
1322 unsigned long start_data ;
1323 unsigned long end_data ;
1324 unsigned long start_brk ;
1325 unsigned long brk ;
1326 unsigned long start_stack ;
1327 unsigned long arg_start ;
1328 unsigned long arg_end ;
1329 unsigned long env_start ;
1330 unsigned long env_end ;
1331 unsigned long saved_auxv[44] ;
1332 struct mm_rss_stat rss_stat ;
1333 struct linux_binfmt *binfmt ;
1334 cpumask_var_t cpu_vm_mask_var ;
1335 mm_context_t context ;
1336 unsigned int faultstamp ;
1337 unsigned int token_priority ;
1338 unsigned int last_interval ;
1339 unsigned long flags ;
1340 struct core_state *core_state ;
1341 spinlock_t ioctx_lock ;
1342 struct hlist_head ioctx_list ;
1343 struct task_struct *owner ;
1344 struct file *exe_file ;
1345 unsigned long num_exe_file_vmas ;
1346 struct mmu_notifier_mm *mmu_notifier_mm ;
1347 pgtable_t pmd_huge_pte ;
1348 struct cpumask cpumask_allocation ;
1349};
1350#line 8 "include/linux/shrinker.h"
1351struct shrink_control {
1352 gfp_t gfp_mask ;
1353 unsigned long nr_to_scan ;
1354};
1355#line 31 "include/linux/shrinker.h"
1356struct shrinker {
1357 int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1358 int seeks ;
1359 long batch ;
1360 struct list_head list ;
1361 atomic_long_t nr_in_batch ;
1362};
1363#line 22 "include/linux/mm.h"
1364struct mempolicy;
1365#line 23
1366struct anon_vma;
1367#line 24
1368struct file_ra_state;
1369#line 24
1370struct file_ra_state;
1371#line 25
1372struct user_struct;
1373#line 25
1374struct user_struct;
1375#line 26
1376struct writeback_control;
1377#line 26
1378struct writeback_control;
1379#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1380struct mm_struct;
1381#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1382struct vm_area_struct;
1383#line 188 "include/linux/mm.h"
1384struct vm_fault {
1385 unsigned int flags ;
1386 unsigned long pgoff ;
1387 void *virtual_address ;
1388 struct page *page ;
1389};
1390#line 205 "include/linux/mm.h"
1391struct vm_operations_struct {
1392 void (*open)(struct vm_area_struct *area ) ;
1393 void (*close)(struct vm_area_struct *area ) ;
1394 int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1395 int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1396 int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1397 int write ) ;
1398 int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1399 struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1400 int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
1401 unsigned long flags ) ;
1402};
1403#line 247
1404struct inode;
1405#line 247
1406struct inode;
1407#line 195 "include/linux/page-flags.h"
1408struct page;
1409#line 15 "include/linux/blk_types.h"
1410struct page;
1411#line 16
1412struct block_device;
1413#line 16
1414struct block_device;
1415#line 33 "include/linux/list_bl.h"
1416struct hlist_bl_node;
1417#line 33 "include/linux/list_bl.h"
1418struct hlist_bl_head {
1419 struct hlist_bl_node *first ;
1420};
1421#line 37 "include/linux/list_bl.h"
1422struct hlist_bl_node {
1423 struct hlist_bl_node *next ;
1424 struct hlist_bl_node **pprev ;
1425};
1426#line 13 "include/linux/dcache.h"
1427struct nameidata;
1428#line 13
1429struct nameidata;
1430#line 14
1431struct path;
1432#line 14
1433struct path;
1434#line 15
1435struct vfsmount;
1436#line 15
1437struct vfsmount;
1438#line 35 "include/linux/dcache.h"
1439struct qstr {
1440 unsigned int hash ;
1441 unsigned int len ;
1442 unsigned char const *name ;
1443};
1444#line 88
1445struct dentry_operations;
1446#line 88
1447struct super_block;
1448#line 88 "include/linux/dcache.h"
1449union __anonunion_d_u_213 {
1450 struct list_head d_child ;
1451 struct rcu_head d_rcu ;
1452};
1453#line 88 "include/linux/dcache.h"
1454struct dentry {
1455 unsigned int d_flags ;
1456 seqcount_t d_seq ;
1457 struct hlist_bl_node d_hash ;
1458 struct dentry *d_parent ;
1459 struct qstr d_name ;
1460 struct inode *d_inode ;
1461 unsigned char d_iname[32] ;
1462 unsigned int d_count ;
1463 spinlock_t d_lock ;
1464 struct dentry_operations const *d_op ;
1465 struct super_block *d_sb ;
1466 unsigned long d_time ;
1467 void *d_fsdata ;
1468 struct list_head d_lru ;
1469 union __anonunion_d_u_213 d_u ;
1470 struct list_head d_subdirs ;
1471 struct list_head d_alias ;
1472};
1473#line 131 "include/linux/dcache.h"
1474struct dentry_operations {
1475 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1476 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1477 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1478 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1479 int (*d_delete)(struct dentry const * ) ;
1480 void (*d_release)(struct dentry * ) ;
1481 void (*d_prune)(struct dentry * ) ;
1482 void (*d_iput)(struct dentry * , struct inode * ) ;
1483 char *(*d_dname)(struct dentry * , char * , int ) ;
1484 struct vfsmount *(*d_automount)(struct path * ) ;
1485 int (*d_manage)(struct dentry * , bool ) ;
1486} __attribute__((__aligned__((1) << (6) ))) ;
1487#line 4 "include/linux/path.h"
1488struct dentry;
1489#line 5
1490struct vfsmount;
1491#line 7 "include/linux/path.h"
1492struct path {
1493 struct vfsmount *mnt ;
1494 struct dentry *dentry ;
1495};
1496#line 64 "include/linux/radix-tree.h"
1497struct radix_tree_node;
1498#line 64 "include/linux/radix-tree.h"
1499struct radix_tree_root {
1500 unsigned int height ;
1501 gfp_t gfp_mask ;
1502 struct radix_tree_node *rnode ;
1503};
1504#line 6 "include/linux/pid.h"
1505enum pid_type {
1506 PIDTYPE_PID = 0,
1507 PIDTYPE_PGID = 1,
1508 PIDTYPE_SID = 2,
1509 PIDTYPE_MAX = 3
1510} ;
1511#line 50
1512struct pid_namespace;
1513#line 50 "include/linux/pid.h"
1514struct upid {
1515 int nr ;
1516 struct pid_namespace *ns ;
1517 struct hlist_node pid_chain ;
1518};
1519#line 57 "include/linux/pid.h"
1520struct pid {
1521 atomic_t count ;
1522 unsigned int level ;
1523 struct hlist_head tasks[3] ;
1524 struct rcu_head rcu ;
1525 struct upid numbers[1] ;
1526};
1527#line 69 "include/linux/pid.h"
1528struct pid_link {
1529 struct hlist_node node ;
1530 struct pid *pid ;
1531};
1532#line 100
1533struct pid_namespace;
1534#line 18 "include/linux/capability.h"
1535struct task_struct;
1536#line 94 "include/linux/capability.h"
1537struct kernel_cap_struct {
1538 __u32 cap[2] ;
1539};
1540#line 94 "include/linux/capability.h"
1541typedef struct kernel_cap_struct kernel_cap_t;
1542#line 377
1543struct dentry;
1544#line 378
1545struct user_namespace;
1546#line 378
1547struct user_namespace;
1548#line 16 "include/linux/fiemap.h"
1549struct fiemap_extent {
1550 __u64 fe_logical ;
1551 __u64 fe_physical ;
1552 __u64 fe_length ;
1553 __u64 fe_reserved64[2] ;
1554 __u32 fe_flags ;
1555 __u32 fe_reserved[3] ;
1556};
1557#line 10 "include/linux/migrate_mode.h"
1558enum migrate_mode {
1559 MIGRATE_ASYNC = 0,
1560 MIGRATE_SYNC_LIGHT = 1,
1561 MIGRATE_SYNC = 2
1562} ;
1563#line 408 "include/linux/fs.h"
1564struct export_operations;
1565#line 408
1566struct export_operations;
1567#line 410
1568struct iovec;
1569#line 410
1570struct iovec;
1571#line 411
1572struct nameidata;
1573#line 412
1574struct kiocb;
1575#line 412
1576struct kiocb;
1577#line 413
1578struct kobject;
1579#line 414
1580struct pipe_inode_info;
1581#line 414
1582struct pipe_inode_info;
1583#line 415
1584struct poll_table_struct;
1585#line 415
1586struct poll_table_struct;
1587#line 416
1588struct kstatfs;
1589#line 416
1590struct kstatfs;
1591#line 417
1592struct vm_area_struct;
1593#line 418
1594struct vfsmount;
1595#line 419
1596struct cred;
1597#line 469 "include/linux/fs.h"
1598struct iattr {
1599 unsigned int ia_valid ;
1600 umode_t ia_mode ;
1601 uid_t ia_uid ;
1602 gid_t ia_gid ;
1603 loff_t ia_size ;
1604 struct timespec ia_atime ;
1605 struct timespec ia_mtime ;
1606 struct timespec ia_ctime ;
1607 struct file *ia_file ;
1608};
1609#line 129 "include/linux/quota.h"
1610struct if_dqinfo {
1611 __u64 dqi_bgrace ;
1612 __u64 dqi_igrace ;
1613 __u32 dqi_flags ;
1614 __u32 dqi_valid ;
1615};
1616#line 50 "include/linux/dqblk_xfs.h"
1617struct fs_disk_quota {
1618 __s8 d_version ;
1619 __s8 d_flags ;
1620 __u16 d_fieldmask ;
1621 __u32 d_id ;
1622 __u64 d_blk_hardlimit ;
1623 __u64 d_blk_softlimit ;
1624 __u64 d_ino_hardlimit ;
1625 __u64 d_ino_softlimit ;
1626 __u64 d_bcount ;
1627 __u64 d_icount ;
1628 __s32 d_itimer ;
1629 __s32 d_btimer ;
1630 __u16 d_iwarns ;
1631 __u16 d_bwarns ;
1632 __s32 d_padding2 ;
1633 __u64 d_rtb_hardlimit ;
1634 __u64 d_rtb_softlimit ;
1635 __u64 d_rtbcount ;
1636 __s32 d_rtbtimer ;
1637 __u16 d_rtbwarns ;
1638 __s16 d_padding3 ;
1639 char d_padding4[8] ;
1640};
1641#line 146 "include/linux/dqblk_xfs.h"
1642struct fs_qfilestat {
1643 __u64 qfs_ino ;
1644 __u64 qfs_nblks ;
1645 __u32 qfs_nextents ;
1646};
1647#line 146 "include/linux/dqblk_xfs.h"
1648typedef struct fs_qfilestat fs_qfilestat_t;
1649#line 152 "include/linux/dqblk_xfs.h"
1650struct fs_quota_stat {
1651 __s8 qs_version ;
1652 __u16 qs_flags ;
1653 __s8 qs_pad ;
1654 fs_qfilestat_t qs_uquota ;
1655 fs_qfilestat_t qs_gquota ;
1656 __u32 qs_incoredqs ;
1657 __s32 qs_btimelimit ;
1658 __s32 qs_itimelimit ;
1659 __s32 qs_rtbtimelimit ;
1660 __u16 qs_bwarnlimit ;
1661 __u16 qs_iwarnlimit ;
1662};
1663#line 17 "include/linux/dqblk_qtree.h"
1664struct dquot;
1665#line 17
1666struct dquot;
1667#line 185 "include/linux/quota.h"
1668typedef __kernel_uid32_t qid_t;
1669#line 186 "include/linux/quota.h"
1670typedef long long qsize_t;
1671#line 200 "include/linux/quota.h"
1672struct mem_dqblk {
1673 qsize_t dqb_bhardlimit ;
1674 qsize_t dqb_bsoftlimit ;
1675 qsize_t dqb_curspace ;
1676 qsize_t dqb_rsvspace ;
1677 qsize_t dqb_ihardlimit ;
1678 qsize_t dqb_isoftlimit ;
1679 qsize_t dqb_curinodes ;
1680 time_t dqb_btime ;
1681 time_t dqb_itime ;
1682};
1683#line 215
1684struct quota_format_type;
1685#line 215
1686struct quota_format_type;
1687#line 217 "include/linux/quota.h"
1688struct mem_dqinfo {
1689 struct quota_format_type *dqi_format ;
1690 int dqi_fmt_id ;
1691 struct list_head dqi_dirty_list ;
1692 unsigned long dqi_flags ;
1693 unsigned int dqi_bgrace ;
1694 unsigned int dqi_igrace ;
1695 qsize_t dqi_maxblimit ;
1696 qsize_t dqi_maxilimit ;
1697 void *dqi_priv ;
1698};
1699#line 230
1700struct super_block;
1701#line 288 "include/linux/quota.h"
1702struct dquot {
1703 struct hlist_node dq_hash ;
1704 struct list_head dq_inuse ;
1705 struct list_head dq_free ;
1706 struct list_head dq_dirty ;
1707 struct mutex dq_lock ;
1708 atomic_t dq_count ;
1709 wait_queue_head_t dq_wait_unused ;
1710 struct super_block *dq_sb ;
1711 unsigned int dq_id ;
1712 loff_t dq_off ;
1713 unsigned long dq_flags ;
1714 short dq_type ;
1715 struct mem_dqblk dq_dqb ;
1716};
1717#line 305 "include/linux/quota.h"
1718struct quota_format_ops {
1719 int (*check_quota_file)(struct super_block *sb , int type ) ;
1720 int (*read_file_info)(struct super_block *sb , int type ) ;
1721 int (*write_file_info)(struct super_block *sb , int type ) ;
1722 int (*free_file_info)(struct super_block *sb , int type ) ;
1723 int (*read_dqblk)(struct dquot *dquot ) ;
1724 int (*commit_dqblk)(struct dquot *dquot ) ;
1725 int (*release_dqblk)(struct dquot *dquot ) ;
1726};
1727#line 316 "include/linux/quota.h"
1728struct dquot_operations {
1729 int (*write_dquot)(struct dquot * ) ;
1730 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1731 void (*destroy_dquot)(struct dquot * ) ;
1732 int (*acquire_dquot)(struct dquot * ) ;
1733 int (*release_dquot)(struct dquot * ) ;
1734 int (*mark_dirty)(struct dquot * ) ;
1735 int (*write_info)(struct super_block * , int ) ;
1736 qsize_t *(*get_reserved_space)(struct inode * ) ;
1737};
1738#line 329
1739struct path;
1740#line 332 "include/linux/quota.h"
1741struct quotactl_ops {
1742 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1743 int (*quota_on_meta)(struct super_block * , int , int ) ;
1744 int (*quota_off)(struct super_block * , int ) ;
1745 int (*quota_sync)(struct super_block * , int , int ) ;
1746 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1747 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1748 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1749 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1750 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1751 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1752};
1753#line 345 "include/linux/quota.h"
1754struct quota_format_type {
1755 int qf_fmt_id ;
1756 struct quota_format_ops const *qf_ops ;
1757 struct module *qf_owner ;
1758 struct quota_format_type *qf_next ;
1759};
1760#line 399 "include/linux/quota.h"
1761struct quota_info {
1762 unsigned int flags ;
1763 struct mutex dqio_mutex ;
1764 struct mutex dqonoff_mutex ;
1765 struct rw_semaphore dqptr_sem ;
1766 struct inode *files[2] ;
1767 struct mem_dqinfo info[2] ;
1768 struct quota_format_ops const *ops[2] ;
1769};
1770#line 532 "include/linux/fs.h"
1771struct page;
1772#line 533
1773struct address_space;
1774#line 534
1775struct writeback_control;
1776#line 577 "include/linux/fs.h"
1777union __anonunion_arg_221 {
1778 char *buf ;
1779 void *data ;
1780};
1781#line 577 "include/linux/fs.h"
1782struct __anonstruct_read_descriptor_t_220 {
1783 size_t written ;
1784 size_t count ;
1785 union __anonunion_arg_221 arg ;
1786 int error ;
1787};
1788#line 577 "include/linux/fs.h"
1789typedef struct __anonstruct_read_descriptor_t_220 read_descriptor_t;
1790#line 590 "include/linux/fs.h"
1791struct address_space_operations {
1792 int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
1793 int (*readpage)(struct file * , struct page * ) ;
1794 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1795 int (*set_page_dirty)(struct page *page ) ;
1796 int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
1797 unsigned int nr_pages ) ;
1798 int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
1799 unsigned int len , unsigned int flags , struct page **pagep ,
1800 void **fsdata ) ;
1801 int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
1802 unsigned int copied , struct page *page , void *fsdata ) ;
1803 sector_t (*bmap)(struct address_space * , sector_t ) ;
1804 void (*invalidatepage)(struct page * , unsigned long ) ;
1805 int (*releasepage)(struct page * , gfp_t ) ;
1806 void (*freepage)(struct page * ) ;
1807 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
1808 unsigned long nr_segs ) ;
1809 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1810 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1811 int (*launder_page)(struct page * ) ;
1812 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1813 int (*error_remove_page)(struct address_space * , struct page * ) ;
1814};
1815#line 645
1816struct backing_dev_info;
1817#line 645
1818struct backing_dev_info;
1819#line 646 "include/linux/fs.h"
1820struct address_space {
1821 struct inode *host ;
1822 struct radix_tree_root page_tree ;
1823 spinlock_t tree_lock ;
1824 unsigned int i_mmap_writable ;
1825 struct prio_tree_root i_mmap ;
1826 struct list_head i_mmap_nonlinear ;
1827 struct mutex i_mmap_mutex ;
1828 unsigned long nrpages ;
1829 unsigned long writeback_index ;
1830 struct address_space_operations const *a_ops ;
1831 unsigned long flags ;
1832 struct backing_dev_info *backing_dev_info ;
1833 spinlock_t private_lock ;
1834 struct list_head private_list ;
1835 struct address_space *assoc_mapping ;
1836} __attribute__((__aligned__(sizeof(long )))) ;
1837#line 669
1838struct request_queue;
1839#line 669
1840struct request_queue;
1841#line 671
1842struct hd_struct;
1843#line 671
1844struct gendisk;
1845#line 671 "include/linux/fs.h"
1846struct block_device {
1847 dev_t bd_dev ;
1848 int bd_openers ;
1849 struct inode *bd_inode ;
1850 struct super_block *bd_super ;
1851 struct mutex bd_mutex ;
1852 struct list_head bd_inodes ;
1853 void *bd_claiming ;
1854 void *bd_holder ;
1855 int bd_holders ;
1856 bool bd_write_holder ;
1857 struct list_head bd_holder_disks ;
1858 struct block_device *bd_contains ;
1859 unsigned int bd_block_size ;
1860 struct hd_struct *bd_part ;
1861 unsigned int bd_part_count ;
1862 int bd_invalidated ;
1863 struct gendisk *bd_disk ;
1864 struct request_queue *bd_queue ;
1865 struct list_head bd_list ;
1866 unsigned long bd_private ;
1867 int bd_fsfreeze_count ;
1868 struct mutex bd_fsfreeze_mutex ;
1869};
1870#line 749
1871struct posix_acl;
1872#line 749
1873struct posix_acl;
1874#line 761
1875struct inode_operations;
1876#line 761 "include/linux/fs.h"
1877union __anonunion____missing_field_name_222 {
1878 unsigned int const i_nlink ;
1879 unsigned int __i_nlink ;
1880};
1881#line 761 "include/linux/fs.h"
1882union __anonunion____missing_field_name_223 {
1883 struct list_head i_dentry ;
1884 struct rcu_head i_rcu ;
1885};
1886#line 761
1887struct file_operations;
1888#line 761
1889struct file_lock;
1890#line 761
1891struct cdev;
1892#line 761 "include/linux/fs.h"
1893union __anonunion____missing_field_name_224 {
1894 struct pipe_inode_info *i_pipe ;
1895 struct block_device *i_bdev ;
1896 struct cdev *i_cdev ;
1897};
1898#line 761 "include/linux/fs.h"
1899struct inode {
1900 umode_t i_mode ;
1901 unsigned short i_opflags ;
1902 uid_t i_uid ;
1903 gid_t i_gid ;
1904 unsigned int i_flags ;
1905 struct posix_acl *i_acl ;
1906 struct posix_acl *i_default_acl ;
1907 struct inode_operations const *i_op ;
1908 struct super_block *i_sb ;
1909 struct address_space *i_mapping ;
1910 void *i_security ;
1911 unsigned long i_ino ;
1912 union __anonunion____missing_field_name_222 __annonCompField42 ;
1913 dev_t i_rdev ;
1914 struct timespec i_atime ;
1915 struct timespec i_mtime ;
1916 struct timespec i_ctime ;
1917 spinlock_t i_lock ;
1918 unsigned short i_bytes ;
1919 blkcnt_t i_blocks ;
1920 loff_t i_size ;
1921 unsigned long i_state ;
1922 struct mutex i_mutex ;
1923 unsigned long dirtied_when ;
1924 struct hlist_node i_hash ;
1925 struct list_head i_wb_list ;
1926 struct list_head i_lru ;
1927 struct list_head i_sb_list ;
1928 union __anonunion____missing_field_name_223 __annonCompField43 ;
1929 atomic_t i_count ;
1930 unsigned int i_blkbits ;
1931 u64 i_version ;
1932 atomic_t i_dio_count ;
1933 atomic_t i_writecount ;
1934 struct file_operations const *i_fop ;
1935 struct file_lock *i_flock ;
1936 struct address_space i_data ;
1937 struct dquot *i_dquot[2] ;
1938 struct list_head i_devices ;
1939 union __anonunion____missing_field_name_224 __annonCompField44 ;
1940 __u32 i_generation ;
1941 __u32 i_fsnotify_mask ;
1942 struct hlist_head i_fsnotify_marks ;
1943 atomic_t i_readcount ;
1944 void *i_private ;
1945};
1946#line 942 "include/linux/fs.h"
1947struct fown_struct {
1948 rwlock_t lock ;
1949 struct pid *pid ;
1950 enum pid_type pid_type ;
1951 uid_t uid ;
1952 uid_t euid ;
1953 int signum ;
1954};
1955#line 953 "include/linux/fs.h"
1956struct file_ra_state {
1957 unsigned long start ;
1958 unsigned int size ;
1959 unsigned int async_size ;
1960 unsigned int ra_pages ;
1961 unsigned int mmap_miss ;
1962 loff_t prev_pos ;
1963};
1964#line 976 "include/linux/fs.h"
1965union __anonunion_f_u_225 {
1966 struct list_head fu_list ;
1967 struct rcu_head fu_rcuhead ;
1968};
1969#line 976 "include/linux/fs.h"
1970struct file {
1971 union __anonunion_f_u_225 f_u ;
1972 struct path f_path ;
1973 struct file_operations const *f_op ;
1974 spinlock_t f_lock ;
1975 int f_sb_list_cpu ;
1976 atomic_long_t f_count ;
1977 unsigned int f_flags ;
1978 fmode_t f_mode ;
1979 loff_t f_pos ;
1980 struct fown_struct f_owner ;
1981 struct cred const *f_cred ;
1982 struct file_ra_state f_ra ;
1983 u64 f_version ;
1984 void *f_security ;
1985 void *private_data ;
1986 struct list_head f_ep_links ;
1987 struct list_head f_tfile_llink ;
1988 struct address_space *f_mapping ;
1989 unsigned long f_mnt_write_state ;
1990};
1991#line 1111
1992struct files_struct;
1993#line 1111 "include/linux/fs.h"
1994typedef struct files_struct *fl_owner_t;
1995#line 1113 "include/linux/fs.h"
1996struct file_lock_operations {
1997 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1998 void (*fl_release_private)(struct file_lock * ) ;
1999};
2000#line 1118 "include/linux/fs.h"
2001struct lock_manager_operations {
2002 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
2003 void (*lm_notify)(struct file_lock * ) ;
2004 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
2005 void (*lm_release_private)(struct file_lock * ) ;
2006 void (*lm_break)(struct file_lock * ) ;
2007 int (*lm_change)(struct file_lock ** , int ) ;
2008};
2009#line 4 "include/linux/nfs_fs_i.h"
2010struct nlm_lockowner;
2011#line 4
2012struct nlm_lockowner;
2013#line 9 "include/linux/nfs_fs_i.h"
2014struct nfs_lock_info {
2015 u32 state ;
2016 struct nlm_lockowner *owner ;
2017 struct list_head list ;
2018};
2019#line 15
2020struct nfs4_lock_state;
2021#line 15
2022struct nfs4_lock_state;
2023#line 16 "include/linux/nfs_fs_i.h"
2024struct nfs4_lock_info {
2025 struct nfs4_lock_state *owner ;
2026};
2027#line 1138 "include/linux/fs.h"
2028struct fasync_struct;
2029#line 1138 "include/linux/fs.h"
2030struct __anonstruct_afs_227 {
2031 struct list_head link ;
2032 int state ;
2033};
2034#line 1138 "include/linux/fs.h"
2035union __anonunion_fl_u_226 {
2036 struct nfs_lock_info nfs_fl ;
2037 struct nfs4_lock_info nfs4_fl ;
2038 struct __anonstruct_afs_227 afs ;
2039};
2040#line 1138 "include/linux/fs.h"
2041struct file_lock {
2042 struct file_lock *fl_next ;
2043 struct list_head fl_link ;
2044 struct list_head fl_block ;
2045 fl_owner_t fl_owner ;
2046 unsigned int fl_flags ;
2047 unsigned char fl_type ;
2048 unsigned int fl_pid ;
2049 struct pid *fl_nspid ;
2050 wait_queue_head_t fl_wait ;
2051 struct file *fl_file ;
2052 loff_t fl_start ;
2053 loff_t fl_end ;
2054 struct fasync_struct *fl_fasync ;
2055 unsigned long fl_break_time ;
2056 unsigned long fl_downgrade_time ;
2057 struct file_lock_operations const *fl_ops ;
2058 struct lock_manager_operations const *fl_lmops ;
2059 union __anonunion_fl_u_226 fl_u ;
2060};
2061#line 1378 "include/linux/fs.h"
2062struct fasync_struct {
2063 spinlock_t fa_lock ;
2064 int magic ;
2065 int fa_fd ;
2066 struct fasync_struct *fa_next ;
2067 struct file *fa_file ;
2068 struct rcu_head fa_rcu ;
2069};
2070#line 1418
2071struct file_system_type;
2072#line 1418
2073struct super_operations;
2074#line 1418
2075struct xattr_handler;
2076#line 1418
2077struct mtd_info;
2078#line 1418 "include/linux/fs.h"
2079struct super_block {
2080 struct list_head s_list ;
2081 dev_t s_dev ;
2082 unsigned char s_dirt ;
2083 unsigned char s_blocksize_bits ;
2084 unsigned long s_blocksize ;
2085 loff_t s_maxbytes ;
2086 struct file_system_type *s_type ;
2087 struct super_operations const *s_op ;
2088 struct dquot_operations const *dq_op ;
2089 struct quotactl_ops const *s_qcop ;
2090 struct export_operations const *s_export_op ;
2091 unsigned long s_flags ;
2092 unsigned long s_magic ;
2093 struct dentry *s_root ;
2094 struct rw_semaphore s_umount ;
2095 struct mutex s_lock ;
2096 int s_count ;
2097 atomic_t s_active ;
2098 void *s_security ;
2099 struct xattr_handler const **s_xattr ;
2100 struct list_head s_inodes ;
2101 struct hlist_bl_head s_anon ;
2102 struct list_head *s_files ;
2103 struct list_head s_mounts ;
2104 struct list_head s_dentry_lru ;
2105 int s_nr_dentry_unused ;
2106 spinlock_t s_inode_lru_lock __attribute__((__aligned__((1) << (6) ))) ;
2107 struct list_head s_inode_lru ;
2108 int s_nr_inodes_unused ;
2109 struct block_device *s_bdev ;
2110 struct backing_dev_info *s_bdi ;
2111 struct mtd_info *s_mtd ;
2112 struct hlist_node s_instances ;
2113 struct quota_info s_dquot ;
2114 int s_frozen ;
2115 wait_queue_head_t s_wait_unfrozen ;
2116 char s_id[32] ;
2117 u8 s_uuid[16] ;
2118 void *s_fs_info ;
2119 unsigned int s_max_links ;
2120 fmode_t s_mode ;
2121 u32 s_time_gran ;
2122 struct mutex s_vfs_rename_mutex ;
2123 char *s_subtype ;
2124 char *s_options ;
2125 struct dentry_operations const *s_d_op ;
2126 int cleancache_poolid ;
2127 struct shrinker s_shrink ;
2128 atomic_long_t s_remove_count ;
2129 int s_readonly_remount ;
2130};
2131#line 1567 "include/linux/fs.h"
2132struct fiemap_extent_info {
2133 unsigned int fi_flags ;
2134 unsigned int fi_extents_mapped ;
2135 unsigned int fi_extents_max ;
2136 struct fiemap_extent *fi_extents_start ;
2137};
2138#line 1609 "include/linux/fs.h"
2139struct file_operations {
2140 struct module *owner ;
2141 loff_t (*llseek)(struct file * , loff_t , int ) ;
2142 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2143 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2144 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2145 loff_t ) ;
2146 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2147 loff_t ) ;
2148 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2149 loff_t , u64 , unsigned int ) ) ;
2150 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2151 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2152 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2153 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2154 int (*open)(struct inode * , struct file * ) ;
2155 int (*flush)(struct file * , fl_owner_t id ) ;
2156 int (*release)(struct inode * , struct file * ) ;
2157 int (*fsync)(struct file * , loff_t , loff_t , int datasync ) ;
2158 int (*aio_fsync)(struct kiocb * , int datasync ) ;
2159 int (*fasync)(int , struct file * , int ) ;
2160 int (*lock)(struct file * , int , struct file_lock * ) ;
2161 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2162 int ) ;
2163 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2164 unsigned long , unsigned long ) ;
2165 int (*check_flags)(int ) ;
2166 int (*flock)(struct file * , int , struct file_lock * ) ;
2167 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2168 unsigned int ) ;
2169 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2170 unsigned int ) ;
2171 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2172 long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
2173};
2174#line 1639 "include/linux/fs.h"
2175struct inode_operations {
2176 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2177 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2178 int (*permission)(struct inode * , int ) ;
2179 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2180 int (*readlink)(struct dentry * , char * , int ) ;
2181 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2182 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2183 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2184 int (*unlink)(struct inode * , struct dentry * ) ;
2185 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2186 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2187 int (*rmdir)(struct inode * , struct dentry * ) ;
2188 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2189 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2190 void (*truncate)(struct inode * ) ;
2191 int (*setattr)(struct dentry * , struct iattr * ) ;
2192 int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
2193 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2194 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2195 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2196 int (*removexattr)(struct dentry * , char const * ) ;
2197 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2198 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
2199} __attribute__((__aligned__((1) << (6) ))) ;
2200#line 1669
2201struct seq_file;
2202#line 1684 "include/linux/fs.h"
2203struct super_operations {
2204 struct inode *(*alloc_inode)(struct super_block *sb ) ;
2205 void (*destroy_inode)(struct inode * ) ;
2206 void (*dirty_inode)(struct inode * , int flags ) ;
2207 int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
2208 int (*drop_inode)(struct inode * ) ;
2209 void (*evict_inode)(struct inode * ) ;
2210 void (*put_super)(struct super_block * ) ;
2211 void (*write_super)(struct super_block * ) ;
2212 int (*sync_fs)(struct super_block *sb , int wait ) ;
2213 int (*freeze_fs)(struct super_block * ) ;
2214 int (*unfreeze_fs)(struct super_block * ) ;
2215 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2216 int (*remount_fs)(struct super_block * , int * , char * ) ;
2217 void (*umount_begin)(struct super_block * ) ;
2218 int (*show_options)(struct seq_file * , struct dentry * ) ;
2219 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2220 int (*show_path)(struct seq_file * , struct dentry * ) ;
2221 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2222 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2223 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2224 loff_t ) ;
2225 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2226 int (*nr_cached_objects)(struct super_block * ) ;
2227 void (*free_cached_objects)(struct super_block * , int ) ;
2228};
2229#line 1835 "include/linux/fs.h"
2230struct file_system_type {
2231 char const *name ;
2232 int fs_flags ;
2233 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2234 void (*kill_sb)(struct super_block * ) ;
2235 struct module *owner ;
2236 struct file_system_type *next ;
2237 struct hlist_head fs_supers ;
2238 struct lock_class_key s_lock_key ;
2239 struct lock_class_key s_umount_key ;
2240 struct lock_class_key s_vfs_rename_key ;
2241 struct lock_class_key i_lock_key ;
2242 struct lock_class_key i_mutex_key ;
2243 struct lock_class_key i_mutex_dir_key ;
2244};
2245#line 48 "include/linux/miscdevice.h"
2246struct device;
2247#line 50 "include/linux/miscdevice.h"
2248struct miscdevice {
2249 int minor ;
2250 char const *name ;
2251 struct file_operations const *fops ;
2252 struct list_head list ;
2253 struct device *parent ;
2254 struct device *this_device ;
2255 char const *nodename ;
2256 umode_t mode ;
2257};
2258#line 7 "include/asm-generic/cputime.h"
2259typedef unsigned long cputime_t;
2260#line 84 "include/linux/sem.h"
2261struct task_struct;
2262#line 101
2263struct sem_undo_list;
2264#line 101 "include/linux/sem.h"
2265struct sysv_sem {
2266 struct sem_undo_list *undo_list ;
2267};
2268#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2269struct siginfo;
2270#line 10
2271struct siginfo;
2272#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2273struct __anonstruct_sigset_t_230 {
2274 unsigned long sig[1] ;
2275};
2276#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2277typedef struct __anonstruct_sigset_t_230 sigset_t;
2278#line 17 "include/asm-generic/signal-defs.h"
2279typedef void __signalfn_t(int );
2280#line 18 "include/asm-generic/signal-defs.h"
2281typedef __signalfn_t *__sighandler_t;
2282#line 20 "include/asm-generic/signal-defs.h"
2283typedef void __restorefn_t(void);
2284#line 21 "include/asm-generic/signal-defs.h"
2285typedef __restorefn_t *__sigrestore_t;
2286#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2287struct sigaction {
2288 __sighandler_t sa_handler ;
2289 unsigned long sa_flags ;
2290 __sigrestore_t sa_restorer ;
2291 sigset_t sa_mask ;
2292};
2293#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
2294struct k_sigaction {
2295 struct sigaction sa ;
2296};
2297#line 7 "include/asm-generic/siginfo.h"
2298union sigval {
2299 int sival_int ;
2300 void *sival_ptr ;
2301};
2302#line 7 "include/asm-generic/siginfo.h"
2303typedef union sigval sigval_t;
2304#line 48 "include/asm-generic/siginfo.h"
2305struct __anonstruct__kill_232 {
2306 __kernel_pid_t _pid ;
2307 __kernel_uid32_t _uid ;
2308};
2309#line 48 "include/asm-generic/siginfo.h"
2310struct __anonstruct__timer_233 {
2311 __kernel_timer_t _tid ;
2312 int _overrun ;
2313 char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
2314 sigval_t _sigval ;
2315 int _sys_private ;
2316};
2317#line 48 "include/asm-generic/siginfo.h"
2318struct __anonstruct__rt_234 {
2319 __kernel_pid_t _pid ;
2320 __kernel_uid32_t _uid ;
2321 sigval_t _sigval ;
2322};
2323#line 48 "include/asm-generic/siginfo.h"
2324struct __anonstruct__sigchld_235 {
2325 __kernel_pid_t _pid ;
2326 __kernel_uid32_t _uid ;
2327 int _status ;
2328 __kernel_clock_t _utime ;
2329 __kernel_clock_t _stime ;
2330};
2331#line 48 "include/asm-generic/siginfo.h"
2332struct __anonstruct__sigfault_236 {
2333 void *_addr ;
2334 short _addr_lsb ;
2335};
2336#line 48 "include/asm-generic/siginfo.h"
2337struct __anonstruct__sigpoll_237 {
2338 long _band ;
2339 int _fd ;
2340};
2341#line 48 "include/asm-generic/siginfo.h"
2342union __anonunion__sifields_231 {
2343 int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
2344 struct __anonstruct__kill_232 _kill ;
2345 struct __anonstruct__timer_233 _timer ;
2346 struct __anonstruct__rt_234 _rt ;
2347 struct __anonstruct__sigchld_235 _sigchld ;
2348 struct __anonstruct__sigfault_236 _sigfault ;
2349 struct __anonstruct__sigpoll_237 _sigpoll ;
2350};
2351#line 48 "include/asm-generic/siginfo.h"
2352struct siginfo {
2353 int si_signo ;
2354 int si_errno ;
2355 int si_code ;
2356 union __anonunion__sifields_231 _sifields ;
2357};
2358#line 48 "include/asm-generic/siginfo.h"
2359typedef struct siginfo siginfo_t;
2360#line 288
2361struct siginfo;
2362#line 10 "include/linux/signal.h"
2363struct task_struct;
2364#line 28 "include/linux/signal.h"
2365struct sigpending {
2366 struct list_head list ;
2367 sigset_t signal ;
2368};
2369#line 239
2370struct timespec;
2371#line 240
2372struct pt_regs;
2373#line 10 "include/linux/seccomp.h"
2374struct __anonstruct_seccomp_t_240 {
2375 int mode ;
2376};
2377#line 10 "include/linux/seccomp.h"
2378typedef struct __anonstruct_seccomp_t_240 seccomp_t;
2379#line 81 "include/linux/plist.h"
2380struct plist_head {
2381 struct list_head node_list ;
2382};
2383#line 85 "include/linux/plist.h"
2384struct plist_node {
2385 int prio ;
2386 struct list_head prio_list ;
2387 struct list_head node_list ;
2388};
2389#line 40 "include/linux/rtmutex.h"
2390struct rt_mutex_waiter;
2391#line 40
2392struct rt_mutex_waiter;
2393#line 42 "include/linux/resource.h"
2394struct rlimit {
2395 unsigned long rlim_cur ;
2396 unsigned long rlim_max ;
2397};
2398#line 81
2399struct task_struct;
2400#line 8 "include/linux/timerqueue.h"
2401struct timerqueue_node {
2402 struct rb_node node ;
2403 ktime_t expires ;
2404};
2405#line 13 "include/linux/timerqueue.h"
2406struct timerqueue_head {
2407 struct rb_root head ;
2408 struct timerqueue_node *next ;
2409};
2410#line 27 "include/linux/hrtimer.h"
2411struct hrtimer_clock_base;
2412#line 27
2413struct hrtimer_clock_base;
2414#line 28
2415struct hrtimer_cpu_base;
2416#line 28
2417struct hrtimer_cpu_base;
2418#line 44
2419enum hrtimer_restart {
2420 HRTIMER_NORESTART = 0,
2421 HRTIMER_RESTART = 1
2422} ;
2423#line 108 "include/linux/hrtimer.h"
2424struct hrtimer {
2425 struct timerqueue_node node ;
2426 ktime_t _softexpires ;
2427 enum hrtimer_restart (*function)(struct hrtimer * ) ;
2428 struct hrtimer_clock_base *base ;
2429 unsigned long state ;
2430 int start_pid ;
2431 void *start_site ;
2432 char start_comm[16] ;
2433};
2434#line 145 "include/linux/hrtimer.h"
2435struct hrtimer_clock_base {
2436 struct hrtimer_cpu_base *cpu_base ;
2437 int index ;
2438 clockid_t clockid ;
2439 struct timerqueue_head active ;
2440 ktime_t resolution ;
2441 ktime_t (*get_time)(void) ;
2442 ktime_t softirq_time ;
2443 ktime_t offset ;
2444};
2445#line 178 "include/linux/hrtimer.h"
2446struct hrtimer_cpu_base {
2447 raw_spinlock_t lock ;
2448 unsigned long active_bases ;
2449 ktime_t expires_next ;
2450 int hres_active ;
2451 int hang_detected ;
2452 unsigned long nr_events ;
2453 unsigned long nr_retries ;
2454 unsigned long nr_hangs ;
2455 ktime_t max_hang_time ;
2456 struct hrtimer_clock_base clock_base[3] ;
2457};
2458#line 11 "include/linux/task_io_accounting.h"
2459struct task_io_accounting {
2460 u64 rchar ;
2461 u64 wchar ;
2462 u64 syscr ;
2463 u64 syscw ;
2464 u64 read_bytes ;
2465 u64 write_bytes ;
2466 u64 cancelled_write_bytes ;
2467};
2468#line 13 "include/linux/latencytop.h"
2469struct task_struct;
2470#line 20 "include/linux/latencytop.h"
2471struct latency_record {
2472 unsigned long backtrace[12] ;
2473 unsigned int count ;
2474 unsigned long time ;
2475 unsigned long max ;
2476};
2477#line 29 "include/linux/key.h"
2478typedef int32_t key_serial_t;
2479#line 32 "include/linux/key.h"
2480typedef uint32_t key_perm_t;
2481#line 34
2482struct key;
2483#line 34
2484struct key;
2485#line 74
2486struct seq_file;
2487#line 75
2488struct user_struct;
2489#line 76
2490struct signal_struct;
2491#line 76
2492struct signal_struct;
2493#line 77
2494struct cred;
2495#line 79
2496struct key_type;
2497#line 79
2498struct key_type;
2499#line 81
2500struct keyring_list;
2501#line 81
2502struct keyring_list;
2503#line 124
2504struct key_user;
2505#line 124 "include/linux/key.h"
2506union __anonunion____missing_field_name_241 {
2507 time_t expiry ;
2508 time_t revoked_at ;
2509};
2510#line 124 "include/linux/key.h"
2511union __anonunion_type_data_242 {
2512 struct list_head link ;
2513 unsigned long x[2] ;
2514 void *p[2] ;
2515 int reject_error ;
2516};
2517#line 124 "include/linux/key.h"
2518union __anonunion_payload_243 {
2519 unsigned long value ;
2520 void *rcudata ;
2521 void *data ;
2522 struct keyring_list *subscriptions ;
2523};
2524#line 124 "include/linux/key.h"
2525struct key {
2526 atomic_t usage ;
2527 key_serial_t serial ;
2528 struct rb_node serial_node ;
2529 struct key_type *type ;
2530 struct rw_semaphore sem ;
2531 struct key_user *user ;
2532 void *security ;
2533 union __anonunion____missing_field_name_241 __annonCompField45 ;
2534 uid_t uid ;
2535 gid_t gid ;
2536 key_perm_t perm ;
2537 unsigned short quotalen ;
2538 unsigned short datalen ;
2539 unsigned long flags ;
2540 char *description ;
2541 union __anonunion_type_data_242 type_data ;
2542 union __anonunion_payload_243 payload ;
2543};
2544#line 18 "include/linux/selinux.h"
2545struct audit_context;
2546#line 18
2547struct audit_context;
2548#line 21 "include/linux/cred.h"
2549struct user_struct;
2550#line 22
2551struct cred;
2552#line 23
2553struct inode;
2554#line 31 "include/linux/cred.h"
2555struct group_info {
2556 atomic_t usage ;
2557 int ngroups ;
2558 int nblocks ;
2559 gid_t small_block[32] ;
2560 gid_t *blocks[0] ;
2561};
2562#line 83 "include/linux/cred.h"
2563struct thread_group_cred {
2564 atomic_t usage ;
2565 pid_t tgid ;
2566 spinlock_t lock ;
2567 struct key *session_keyring ;
2568 struct key *process_keyring ;
2569 struct rcu_head rcu ;
2570};
2571#line 116 "include/linux/cred.h"
2572struct cred {
2573 atomic_t usage ;
2574 atomic_t subscribers ;
2575 void *put_addr ;
2576 unsigned int magic ;
2577 uid_t uid ;
2578 gid_t gid ;
2579 uid_t suid ;
2580 gid_t sgid ;
2581 uid_t euid ;
2582 gid_t egid ;
2583 uid_t fsuid ;
2584 gid_t fsgid ;
2585 unsigned int securebits ;
2586 kernel_cap_t cap_inheritable ;
2587 kernel_cap_t cap_permitted ;
2588 kernel_cap_t cap_effective ;
2589 kernel_cap_t cap_bset ;
2590 unsigned char jit_keyring ;
2591 struct key *thread_keyring ;
2592 struct key *request_key_auth ;
2593 struct thread_group_cred *tgcred ;
2594 void *security ;
2595 struct user_struct *user ;
2596 struct user_namespace *user_ns ;
2597 struct group_info *group_info ;
2598 struct rcu_head rcu ;
2599};
2600#line 61 "include/linux/llist.h"
2601struct llist_node;
2602#line 65 "include/linux/llist.h"
2603struct llist_node {
2604 struct llist_node *next ;
2605};
2606#line 97 "include/linux/sched.h"
2607struct futex_pi_state;
2608#line 97
2609struct futex_pi_state;
2610#line 98
2611struct robust_list_head;
2612#line 98
2613struct robust_list_head;
2614#line 99
2615struct bio_list;
2616#line 99
2617struct bio_list;
2618#line 100
2619struct fs_struct;
2620#line 100
2621struct fs_struct;
2622#line 101
2623struct perf_event_context;
2624#line 101
2625struct perf_event_context;
2626#line 102
2627struct blk_plug;
2628#line 102
2629struct blk_plug;
2630#line 150
2631struct seq_file;
2632#line 151
2633struct cfs_rq;
2634#line 151
2635struct cfs_rq;
2636#line 259
2637struct task_struct;
2638#line 366
2639struct nsproxy;
2640#line 367
2641struct user_namespace;
2642#line 58 "include/linux/aio_abi.h"
2643struct io_event {
2644 __u64 data ;
2645 __u64 obj ;
2646 __s64 res ;
2647 __s64 res2 ;
2648};
2649#line 16 "include/linux/uio.h"
2650struct iovec {
2651 void *iov_base ;
2652 __kernel_size_t iov_len ;
2653};
2654#line 15 "include/linux/aio.h"
2655struct kioctx;
2656#line 15
2657struct kioctx;
2658#line 87 "include/linux/aio.h"
2659union __anonunion_ki_obj_245 {
2660 void *user ;
2661 struct task_struct *tsk ;
2662};
2663#line 87
2664struct eventfd_ctx;
2665#line 87 "include/linux/aio.h"
2666struct kiocb {
2667 struct list_head ki_run_list ;
2668 unsigned long ki_flags ;
2669 int ki_users ;
2670 unsigned int ki_key ;
2671 struct file *ki_filp ;
2672 struct kioctx *ki_ctx ;
2673 int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2674 ssize_t (*ki_retry)(struct kiocb * ) ;
2675 void (*ki_dtor)(struct kiocb * ) ;
2676 union __anonunion_ki_obj_245 ki_obj ;
2677 __u64 ki_user_data ;
2678 loff_t ki_pos ;
2679 void *private ;
2680 unsigned short ki_opcode ;
2681 size_t ki_nbytes ;
2682 char *ki_buf ;
2683 size_t ki_left ;
2684 struct iovec ki_inline_vec ;
2685 struct iovec *ki_iovec ;
2686 unsigned long ki_nr_segs ;
2687 unsigned long ki_cur_seg ;
2688 struct list_head ki_list ;
2689 struct list_head ki_batch ;
2690 struct eventfd_ctx *ki_eventfd ;
2691};
2692#line 166 "include/linux/aio.h"
2693struct aio_ring_info {
2694 unsigned long mmap_base ;
2695 unsigned long mmap_size ;
2696 struct page **ring_pages ;
2697 spinlock_t ring_lock ;
2698 long nr_pages ;
2699 unsigned int nr ;
2700 unsigned int tail ;
2701 struct page *internal_pages[8] ;
2702};
2703#line 179 "include/linux/aio.h"
2704struct kioctx {
2705 atomic_t users ;
2706 int dead ;
2707 struct mm_struct *mm ;
2708 unsigned long user_id ;
2709 struct hlist_node list ;
2710 wait_queue_head_t wait ;
2711 spinlock_t ctx_lock ;
2712 int reqs_active ;
2713 struct list_head active_reqs ;
2714 struct list_head run_list ;
2715 unsigned int max_reqs ;
2716 struct aio_ring_info ring_info ;
2717 struct delayed_work wq ;
2718 struct rcu_head rcu_head ;
2719};
2720#line 214
2721struct mm_struct;
2722#line 443 "include/linux/sched.h"
2723struct sighand_struct {
2724 atomic_t count ;
2725 struct k_sigaction action[64] ;
2726 spinlock_t siglock ;
2727 wait_queue_head_t signalfd_wqh ;
2728};
2729#line 450 "include/linux/sched.h"
2730struct pacct_struct {
2731 int ac_flag ;
2732 long ac_exitcode ;
2733 unsigned long ac_mem ;
2734 cputime_t ac_utime ;
2735 cputime_t ac_stime ;
2736 unsigned long ac_minflt ;
2737 unsigned long ac_majflt ;
2738};
2739#line 458 "include/linux/sched.h"
2740struct cpu_itimer {
2741 cputime_t expires ;
2742 cputime_t incr ;
2743 u32 error ;
2744 u32 incr_error ;
2745};
2746#line 476 "include/linux/sched.h"
2747struct task_cputime {
2748 cputime_t utime ;
2749 cputime_t stime ;
2750 unsigned long long sum_exec_runtime ;
2751};
2752#line 512 "include/linux/sched.h"
2753struct thread_group_cputimer {
2754 struct task_cputime cputime ;
2755 int running ;
2756 raw_spinlock_t lock ;
2757};
2758#line 519
2759struct autogroup;
2760#line 519
2761struct autogroup;
2762#line 528
2763struct tty_struct;
2764#line 528
2765struct taskstats;
2766#line 528
2767struct tty_audit_buf;
2768#line 528 "include/linux/sched.h"
2769struct signal_struct {
2770 atomic_t sigcnt ;
2771 atomic_t live ;
2772 int nr_threads ;
2773 wait_queue_head_t wait_chldexit ;
2774 struct task_struct *curr_target ;
2775 struct sigpending shared_pending ;
2776 int group_exit_code ;
2777 int notify_count ;
2778 struct task_struct *group_exit_task ;
2779 int group_stop_count ;
2780 unsigned int flags ;
2781 unsigned int is_child_subreaper : 1 ;
2782 unsigned int has_child_subreaper : 1 ;
2783 struct list_head posix_timers ;
2784 struct hrtimer real_timer ;
2785 struct pid *leader_pid ;
2786 ktime_t it_real_incr ;
2787 struct cpu_itimer it[2] ;
2788 struct thread_group_cputimer cputimer ;
2789 struct task_cputime cputime_expires ;
2790 struct list_head cpu_timers[3] ;
2791 struct pid *tty_old_pgrp ;
2792 int leader ;
2793 struct tty_struct *tty ;
2794 struct autogroup *autogroup ;
2795 cputime_t utime ;
2796 cputime_t stime ;
2797 cputime_t cutime ;
2798 cputime_t cstime ;
2799 cputime_t gtime ;
2800 cputime_t cgtime ;
2801 cputime_t prev_utime ;
2802 cputime_t prev_stime ;
2803 unsigned long nvcsw ;
2804 unsigned long nivcsw ;
2805 unsigned long cnvcsw ;
2806 unsigned long cnivcsw ;
2807 unsigned long min_flt ;
2808 unsigned long maj_flt ;
2809 unsigned long cmin_flt ;
2810 unsigned long cmaj_flt ;
2811 unsigned long inblock ;
2812 unsigned long oublock ;
2813 unsigned long cinblock ;
2814 unsigned long coublock ;
2815 unsigned long maxrss ;
2816 unsigned long cmaxrss ;
2817 struct task_io_accounting ioac ;
2818 unsigned long long sum_sched_runtime ;
2819 struct rlimit rlim[16] ;
2820 struct pacct_struct pacct ;
2821 struct taskstats *stats ;
2822 unsigned int audit_tty ;
2823 struct tty_audit_buf *tty_audit_buf ;
2824 struct rw_semaphore group_rwsem ;
2825 int oom_adj ;
2826 int oom_score_adj ;
2827 int oom_score_adj_min ;
2828 struct mutex cred_guard_mutex ;
2829};
2830#line 703 "include/linux/sched.h"
2831struct user_struct {
2832 atomic_t __count ;
2833 atomic_t processes ;
2834 atomic_t files ;
2835 atomic_t sigpending ;
2836 atomic_t inotify_watches ;
2837 atomic_t inotify_devs ;
2838 atomic_t fanotify_listeners ;
2839 atomic_long_t epoll_watches ;
2840 unsigned long mq_bytes ;
2841 unsigned long locked_shm ;
2842 struct key *uid_keyring ;
2843 struct key *session_keyring ;
2844 struct hlist_node uidhash_node ;
2845 uid_t uid ;
2846 struct user_namespace *user_ns ;
2847 atomic_long_t locked_vm ;
2848};
2849#line 747
2850struct backing_dev_info;
2851#line 748
2852struct reclaim_state;
2853#line 748
2854struct reclaim_state;
2855#line 751 "include/linux/sched.h"
2856struct sched_info {
2857 unsigned long pcount ;
2858 unsigned long long run_delay ;
2859 unsigned long long last_arrival ;
2860 unsigned long long last_queued ;
2861};
2862#line 763 "include/linux/sched.h"
2863struct task_delay_info {
2864 spinlock_t lock ;
2865 unsigned int flags ;
2866 struct timespec blkio_start ;
2867 struct timespec blkio_end ;
2868 u64 blkio_delay ;
2869 u64 swapin_delay ;
2870 u32 blkio_count ;
2871 u32 swapin_count ;
2872 struct timespec freepages_start ;
2873 struct timespec freepages_end ;
2874 u64 freepages_delay ;
2875 u32 freepages_count ;
2876};
2877#line 1088
2878struct io_context;
2879#line 1088
2880struct io_context;
2881#line 1097
2882struct audit_context;
2883#line 1098
2884struct mempolicy;
2885#line 1099
2886struct pipe_inode_info;
2887#line 1102
2888struct rq;
2889#line 1102
2890struct rq;
2891#line 1122 "include/linux/sched.h"
2892struct sched_class {
2893 struct sched_class const *next ;
2894 void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2895 void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2896 void (*yield_task)(struct rq *rq ) ;
2897 bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2898 void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2899 struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2900 void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2901 int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2902 void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2903 void (*post_schedule)(struct rq *this_rq ) ;
2904 void (*task_waking)(struct task_struct *task ) ;
2905 void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2906 void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
2907 void (*rq_online)(struct rq *rq ) ;
2908 void (*rq_offline)(struct rq *rq ) ;
2909 void (*set_curr_task)(struct rq *rq ) ;
2910 void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2911 void (*task_fork)(struct task_struct *p ) ;
2912 void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2913 void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2914 void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2915 unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2916 void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2917};
2918#line 1167 "include/linux/sched.h"
2919struct load_weight {
2920 unsigned long weight ;
2921 unsigned long inv_weight ;
2922};
2923#line 1172 "include/linux/sched.h"
2924struct sched_statistics {
2925 u64 wait_start ;
2926 u64 wait_max ;
2927 u64 wait_count ;
2928 u64 wait_sum ;
2929 u64 iowait_count ;
2930 u64 iowait_sum ;
2931 u64 sleep_start ;
2932 u64 sleep_max ;
2933 s64 sum_sleep_runtime ;
2934 u64 block_start ;
2935 u64 block_max ;
2936 u64 exec_max ;
2937 u64 slice_max ;
2938 u64 nr_migrations_cold ;
2939 u64 nr_failed_migrations_affine ;
2940 u64 nr_failed_migrations_running ;
2941 u64 nr_failed_migrations_hot ;
2942 u64 nr_forced_migrations ;
2943 u64 nr_wakeups ;
2944 u64 nr_wakeups_sync ;
2945 u64 nr_wakeups_migrate ;
2946 u64 nr_wakeups_local ;
2947 u64 nr_wakeups_remote ;
2948 u64 nr_wakeups_affine ;
2949 u64 nr_wakeups_affine_attempts ;
2950 u64 nr_wakeups_passive ;
2951 u64 nr_wakeups_idle ;
2952};
2953#line 1207 "include/linux/sched.h"
2954struct sched_entity {
2955 struct load_weight load ;
2956 struct rb_node run_node ;
2957 struct list_head group_node ;
2958 unsigned int on_rq ;
2959 u64 exec_start ;
2960 u64 sum_exec_runtime ;
2961 u64 vruntime ;
2962 u64 prev_sum_exec_runtime ;
2963 u64 nr_migrations ;
2964 struct sched_statistics statistics ;
2965 struct sched_entity *parent ;
2966 struct cfs_rq *cfs_rq ;
2967 struct cfs_rq *my_q ;
2968};
2969#line 1233
2970struct rt_rq;
2971#line 1233 "include/linux/sched.h"
2972struct sched_rt_entity {
2973 struct list_head run_list ;
2974 unsigned long timeout ;
2975 unsigned int time_slice ;
2976 int nr_cpus_allowed ;
2977 struct sched_rt_entity *back ;
2978 struct sched_rt_entity *parent ;
2979 struct rt_rq *rt_rq ;
2980 struct rt_rq *my_q ;
2981};
2982#line 1264
2983struct css_set;
2984#line 1264
2985struct compat_robust_list_head;
2986#line 1264
2987struct mem_cgroup;
2988#line 1264 "include/linux/sched.h"
2989struct memcg_batch_info {
2990 int do_batch ;
2991 struct mem_cgroup *memcg ;
2992 unsigned long nr_pages ;
2993 unsigned long memsw_nr_pages ;
2994};
2995#line 1264 "include/linux/sched.h"
2996struct task_struct {
2997 long volatile state ;
2998 void *stack ;
2999 atomic_t usage ;
3000 unsigned int flags ;
3001 unsigned int ptrace ;
3002 struct llist_node wake_entry ;
3003 int on_cpu ;
3004 int on_rq ;
3005 int prio ;
3006 int static_prio ;
3007 int normal_prio ;
3008 unsigned int rt_priority ;
3009 struct sched_class const *sched_class ;
3010 struct sched_entity se ;
3011 struct sched_rt_entity rt ;
3012 struct hlist_head preempt_notifiers ;
3013 unsigned char fpu_counter ;
3014 unsigned int policy ;
3015 cpumask_t cpus_allowed ;
3016 struct sched_info sched_info ;
3017 struct list_head tasks ;
3018 struct plist_node pushable_tasks ;
3019 struct mm_struct *mm ;
3020 struct mm_struct *active_mm ;
3021 unsigned int brk_randomized : 1 ;
3022 int exit_state ;
3023 int exit_code ;
3024 int exit_signal ;
3025 int pdeath_signal ;
3026 unsigned int jobctl ;
3027 unsigned int personality ;
3028 unsigned int did_exec : 1 ;
3029 unsigned int in_execve : 1 ;
3030 unsigned int in_iowait : 1 ;
3031 unsigned int sched_reset_on_fork : 1 ;
3032 unsigned int sched_contributes_to_load : 1 ;
3033 unsigned int irq_thread : 1 ;
3034 pid_t pid ;
3035 pid_t tgid ;
3036 unsigned long stack_canary ;
3037 struct task_struct *real_parent ;
3038 struct task_struct *parent ;
3039 struct list_head children ;
3040 struct list_head sibling ;
3041 struct task_struct *group_leader ;
3042 struct list_head ptraced ;
3043 struct list_head ptrace_entry ;
3044 struct pid_link pids[3] ;
3045 struct list_head thread_group ;
3046 struct completion *vfork_done ;
3047 int *set_child_tid ;
3048 int *clear_child_tid ;
3049 cputime_t utime ;
3050 cputime_t stime ;
3051 cputime_t utimescaled ;
3052 cputime_t stimescaled ;
3053 cputime_t gtime ;
3054 cputime_t prev_utime ;
3055 cputime_t prev_stime ;
3056 unsigned long nvcsw ;
3057 unsigned long nivcsw ;
3058 struct timespec start_time ;
3059 struct timespec real_start_time ;
3060 unsigned long min_flt ;
3061 unsigned long maj_flt ;
3062 struct task_cputime cputime_expires ;
3063 struct list_head cpu_timers[3] ;
3064 struct cred const *real_cred ;
3065 struct cred const *cred ;
3066 struct cred *replacement_session_keyring ;
3067 char comm[16] ;
3068 int link_count ;
3069 int total_link_count ;
3070 struct sysv_sem sysvsem ;
3071 unsigned long last_switch_count ;
3072 struct thread_struct thread ;
3073 struct fs_struct *fs ;
3074 struct files_struct *files ;
3075 struct nsproxy *nsproxy ;
3076 struct signal_struct *signal ;
3077 struct sighand_struct *sighand ;
3078 sigset_t blocked ;
3079 sigset_t real_blocked ;
3080 sigset_t saved_sigmask ;
3081 struct sigpending pending ;
3082 unsigned long sas_ss_sp ;
3083 size_t sas_ss_size ;
3084 int (*notifier)(void *priv ) ;
3085 void *notifier_data ;
3086 sigset_t *notifier_mask ;
3087 struct audit_context *audit_context ;
3088 uid_t loginuid ;
3089 unsigned int sessionid ;
3090 seccomp_t seccomp ;
3091 u32 parent_exec_id ;
3092 u32 self_exec_id ;
3093 spinlock_t alloc_lock ;
3094 raw_spinlock_t pi_lock ;
3095 struct plist_head pi_waiters ;
3096 struct rt_mutex_waiter *pi_blocked_on ;
3097 struct mutex_waiter *blocked_on ;
3098 unsigned int irq_events ;
3099 unsigned long hardirq_enable_ip ;
3100 unsigned long hardirq_disable_ip ;
3101 unsigned int hardirq_enable_event ;
3102 unsigned int hardirq_disable_event ;
3103 int hardirqs_enabled ;
3104 int hardirq_context ;
3105 unsigned long softirq_disable_ip ;
3106 unsigned long softirq_enable_ip ;
3107 unsigned int softirq_disable_event ;
3108 unsigned int softirq_enable_event ;
3109 int softirqs_enabled ;
3110 int softirq_context ;
3111 void *journal_info ;
3112 struct bio_list *bio_list ;
3113 struct blk_plug *plug ;
3114 struct reclaim_state *reclaim_state ;
3115 struct backing_dev_info *backing_dev_info ;
3116 struct io_context *io_context ;
3117 unsigned long ptrace_message ;
3118 siginfo_t *last_siginfo ;
3119 struct task_io_accounting ioac ;
3120 u64 acct_rss_mem1 ;
3121 u64 acct_vm_mem1 ;
3122 cputime_t acct_timexpd ;
3123 nodemask_t mems_allowed ;
3124 seqcount_t mems_allowed_seq ;
3125 int cpuset_mem_spread_rotor ;
3126 int cpuset_slab_spread_rotor ;
3127 struct css_set *cgroups ;
3128 struct list_head cg_list ;
3129 struct robust_list_head *robust_list ;
3130 struct compat_robust_list_head *compat_robust_list ;
3131 struct list_head pi_state_list ;
3132 struct futex_pi_state *pi_state_cache ;
3133 struct perf_event_context *perf_event_ctxp[2] ;
3134 struct mutex perf_event_mutex ;
3135 struct list_head perf_event_list ;
3136 struct mempolicy *mempolicy ;
3137 short il_next ;
3138 short pref_node_fork ;
3139 struct rcu_head rcu ;
3140 struct pipe_inode_info *splice_pipe ;
3141 struct task_delay_info *delays ;
3142 int make_it_fail ;
3143 int nr_dirtied ;
3144 int nr_dirtied_pause ;
3145 unsigned long dirty_paused_when ;
3146 int latency_record_count ;
3147 struct latency_record latency_record[32] ;
3148 unsigned long timer_slack_ns ;
3149 unsigned long default_timer_slack_ns ;
3150 struct list_head *scm_work_list ;
3151 unsigned long trace ;
3152 unsigned long trace_recursion ;
3153 struct memcg_batch_info memcg_batch ;
3154 atomic_t ptrace_bp_refcnt ;
3155};
3156#line 1681
3157struct pid_namespace;
3158#line 31 "include/linux/irq.h"
3159struct seq_file;
3160#line 32
3161struct module;
3162#line 14 "include/linux/irqdesc.h"
3163struct module;
3164#line 17 "include/linux/profile.h"
3165struct pt_regs;
3166#line 65
3167struct task_struct;
3168#line 66
3169struct mm_struct;
3170#line 88
3171struct pt_regs;
3172#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
3173struct exception_table_entry {
3174 unsigned long insn ;
3175 unsigned long fixup ;
3176};
3177#line 132 "include/linux/hardirq.h"
3178struct task_struct;
3179#line 187 "include/linux/interrupt.h"
3180struct device;
3181#line 695
3182struct seq_file;
3183#line 19 "include/linux/klist.h"
3184struct klist_node;
3185#line 19
3186struct klist_node;
3187#line 39 "include/linux/klist.h"
3188struct klist_node {
3189 void *n_klist ;
3190 struct list_head n_node ;
3191 struct kref n_ref ;
3192};
3193#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
3194struct dma_map_ops;
3195#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
3196struct dev_archdata {
3197 void *acpi_handle ;
3198 struct dma_map_ops *dma_ops ;
3199 void *iommu ;
3200};
3201#line 28 "include/linux/device.h"
3202struct device;
3203#line 29
3204struct device_private;
3205#line 29
3206struct device_private;
3207#line 30
3208struct device_driver;
3209#line 30
3210struct device_driver;
3211#line 31
3212struct driver_private;
3213#line 31
3214struct driver_private;
3215#line 32
3216struct module;
3217#line 33
3218struct class;
3219#line 33
3220struct class;
3221#line 34
3222struct subsys_private;
3223#line 34
3224struct subsys_private;
3225#line 35
3226struct bus_type;
3227#line 35
3228struct bus_type;
3229#line 36
3230struct device_node;
3231#line 36
3232struct device_node;
3233#line 37
3234struct iommu_ops;
3235#line 37
3236struct iommu_ops;
3237#line 39 "include/linux/device.h"
3238struct bus_attribute {
3239 struct attribute attr ;
3240 ssize_t (*show)(struct bus_type *bus , char *buf ) ;
3241 ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
3242};
3243#line 89
3244struct device_attribute;
3245#line 89
3246struct driver_attribute;
3247#line 89 "include/linux/device.h"
3248struct bus_type {
3249 char const *name ;
3250 char const *dev_name ;
3251 struct device *dev_root ;
3252 struct bus_attribute *bus_attrs ;
3253 struct device_attribute *dev_attrs ;
3254 struct driver_attribute *drv_attrs ;
3255 int (*match)(struct device *dev , struct device_driver *drv ) ;
3256 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3257 int (*probe)(struct device *dev ) ;
3258 int (*remove)(struct device *dev ) ;
3259 void (*shutdown)(struct device *dev ) ;
3260 int (*suspend)(struct device *dev , pm_message_t state ) ;
3261 int (*resume)(struct device *dev ) ;
3262 struct dev_pm_ops const *pm ;
3263 struct iommu_ops *iommu_ops ;
3264 struct subsys_private *p ;
3265};
3266#line 127
3267struct device_type;
3268#line 214
3269struct of_device_id;
3270#line 214 "include/linux/device.h"
3271struct device_driver {
3272 char const *name ;
3273 struct bus_type *bus ;
3274 struct module *owner ;
3275 char const *mod_name ;
3276 bool suppress_bind_attrs ;
3277 struct of_device_id const *of_match_table ;
3278 int (*probe)(struct device *dev ) ;
3279 int (*remove)(struct device *dev ) ;
3280 void (*shutdown)(struct device *dev ) ;
3281 int (*suspend)(struct device *dev , pm_message_t state ) ;
3282 int (*resume)(struct device *dev ) ;
3283 struct attribute_group const **groups ;
3284 struct dev_pm_ops const *pm ;
3285 struct driver_private *p ;
3286};
3287#line 249 "include/linux/device.h"
3288struct driver_attribute {
3289 struct attribute attr ;
3290 ssize_t (*show)(struct device_driver *driver , char *buf ) ;
3291 ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
3292};
3293#line 330
3294struct class_attribute;
3295#line 330 "include/linux/device.h"
3296struct class {
3297 char const *name ;
3298 struct module *owner ;
3299 struct class_attribute *class_attrs ;
3300 struct device_attribute *dev_attrs ;
3301 struct bin_attribute *dev_bin_attrs ;
3302 struct kobject *dev_kobj ;
3303 int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3304 char *(*devnode)(struct device *dev , umode_t *mode ) ;
3305 void (*class_release)(struct class *class ) ;
3306 void (*dev_release)(struct device *dev ) ;
3307 int (*suspend)(struct device *dev , pm_message_t state ) ;
3308 int (*resume)(struct device *dev ) ;
3309 struct kobj_ns_type_operations const *ns_type ;
3310 void const *(*namespace)(struct device *dev ) ;
3311 struct dev_pm_ops const *pm ;
3312 struct subsys_private *p ;
3313};
3314#line 397 "include/linux/device.h"
3315struct class_attribute {
3316 struct attribute attr ;
3317 ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
3318 ssize_t (*store)(struct class *class , struct class_attribute *attr , char const *buf ,
3319 size_t count ) ;
3320 void const *(*namespace)(struct class *class , struct class_attribute const *attr ) ;
3321};
3322#line 465 "include/linux/device.h"
3323struct device_type {
3324 char const *name ;
3325 struct attribute_group const **groups ;
3326 int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
3327 char *(*devnode)(struct device *dev , umode_t *mode ) ;
3328 void (*release)(struct device *dev ) ;
3329 struct dev_pm_ops const *pm ;
3330};
3331#line 476 "include/linux/device.h"
3332struct device_attribute {
3333 struct attribute attr ;
3334 ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
3335 ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
3336 size_t count ) ;
3337};
3338#line 559 "include/linux/device.h"
3339struct device_dma_parameters {
3340 unsigned int max_segment_size ;
3341 unsigned long segment_boundary_mask ;
3342};
3343#line 627
3344struct dma_coherent_mem;
3345#line 627 "include/linux/device.h"
3346struct device {
3347 struct device *parent ;
3348 struct device_private *p ;
3349 struct kobject kobj ;
3350 char const *init_name ;
3351 struct device_type const *type ;
3352 struct mutex mutex ;
3353 struct bus_type *bus ;
3354 struct device_driver *driver ;
3355 void *platform_data ;
3356 struct dev_pm_info power ;
3357 struct dev_pm_domain *pm_domain ;
3358 int numa_node ;
3359 u64 *dma_mask ;
3360 u64 coherent_dma_mask ;
3361 struct device_dma_parameters *dma_parms ;
3362 struct list_head dma_pools ;
3363 struct dma_coherent_mem *dma_mem ;
3364 struct dev_archdata archdata ;
3365 struct device_node *of_node ;
3366 dev_t devt ;
3367 u32 id ;
3368 spinlock_t devres_lock ;
3369 struct list_head devres_head ;
3370 struct klist_node knode_class ;
3371 struct class *class ;
3372 struct attribute_group const **groups ;
3373 void (*release)(struct device *dev ) ;
3374};
3375#line 43 "include/linux/pm_wakeup.h"
3376struct wakeup_source {
3377 char const *name ;
3378 struct list_head entry ;
3379 spinlock_t lock ;
3380 struct timer_list timer ;
3381 unsigned long timer_expires ;
3382 ktime_t total_time ;
3383 ktime_t max_time ;
3384 ktime_t last_time ;
3385 unsigned long event_count ;
3386 unsigned long active_count ;
3387 unsigned long relax_count ;
3388 unsigned long hit_count ;
3389 unsigned int active : 1 ;
3390};
3391#line 11 "include/linux/seq_file.h"
3392struct seq_operations;
3393#line 12
3394struct file;
3395#line 13
3396struct path;
3397#line 14
3398struct inode;
3399#line 15
3400struct dentry;
3401#line 17 "include/linux/seq_file.h"
3402struct seq_file {
3403 char *buf ;
3404 size_t size ;
3405 size_t from ;
3406 size_t count ;
3407 loff_t index ;
3408 loff_t read_pos ;
3409 u64 version ;
3410 struct mutex lock ;
3411 struct seq_operations const *op ;
3412 int poll_event ;
3413 void *private ;
3414};
3415#line 31 "include/linux/seq_file.h"
3416struct seq_operations {
3417 void *(*start)(struct seq_file *m , loff_t *pos ) ;
3418 void (*stop)(struct seq_file *m , void *v ) ;
3419 void *(*next)(struct seq_file *m , void *v , loff_t *pos ) ;
3420 int (*show)(struct seq_file *m , void *v ) ;
3421};
3422#line 8 "include/linux/cdev.h"
3423struct file_operations;
3424#line 9
3425struct inode;
3426#line 10
3427struct module;
3428#line 12 "include/linux/cdev.h"
3429struct cdev {
3430 struct kobject kobj ;
3431 struct module *owner ;
3432 struct file_operations const *ops ;
3433 struct list_head list ;
3434 dev_t dev ;
3435 unsigned int count ;
3436};
3437#line 28 "include/linux/poll.h"
3438struct poll_table_struct;
3439#line 39 "include/linux/poll.h"
3440struct poll_table_struct {
3441 void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
3442 unsigned long _key ;
3443};
3444#line 25 "include/linux/io.h"
3445struct device;
3446#line 130 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv_hub.h"
3447struct uv_scir_s {
3448 struct timer_list timer ;
3449 unsigned long offset ;
3450 unsigned long last ;
3451 unsigned long idle_on ;
3452 unsigned long idle_off ;
3453 unsigned char state ;
3454 unsigned char enabled ;
3455};
3456#line 145 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv_hub.h"
3457struct uv_hub_info_s {
3458 unsigned long global_mmr_base ;
3459 unsigned long gpa_mask ;
3460 unsigned int gnode_extra ;
3461 unsigned char hub_revision ;
3462 unsigned char apic_pnode_shift ;
3463 unsigned char m_shift ;
3464 unsigned char n_lshift ;
3465 unsigned long gnode_upper ;
3466 unsigned long lowmem_remap_top ;
3467 unsigned long lowmem_remap_base ;
3468 unsigned short pnode ;
3469 unsigned short pnode_mask ;
3470 unsigned short coherency_domain_number ;
3471 unsigned short numa_blade_id ;
3472 unsigned char blade_processor_id ;
3473 unsigned char m_val ;
3474 unsigned char n_val ;
3475 struct uv_scir_s scir ;
3476};
3477#line 6 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv.h"
3478struct cpumask;
3479#line 7
3480struct mm_struct;
3481#line 1 "<compiler builtins>"
3482long __builtin_expect(long val , long res ) ;
3483#line 100 "include/linux/printk.h"
3484extern int ( printk)(char const *fmt , ...) ;
3485#line 147 "include/linux/kernel.h"
3486extern void __might_sleep(char const *file , int line , int preempt_offset ) ;
3487#line 194
3488__inline static void might_fault(void) __attribute__((__no_instrument_function__)) ;
3489#line 194 "include/linux/kernel.h"
3490__inline static void might_fault(void)
3491{
3492
3493 {
3494 {
3495#line 196
3496 while (1) {
3497 while_continue: ;
3498 {
3499#line 196
3500 __might_sleep("include/linux/kernel.h", 196, 0);
3501 }
3502 {
3503#line 196
3504 while (1) {
3505 while_continue___0: ;
3506#line 196
3507 goto while_break___0;
3508 }
3509 while_break___0: ;
3510 }
3511#line 196
3512 goto while_break;
3513 }
3514 while_break: ;
3515 }
3516#line 197
3517 return;
3518}
3519}
3520#line 540 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/percpu.h"
3521extern unsigned long this_cpu_off __attribute__((__section__(".data..percpu"))) ;
3522#line 138 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
3523extern struct cpuinfo_x86 boot_cpu_data ;
3524#line 152 "include/linux/mutex.h"
3525void mutex_lock(struct mutex *lock ) ;
3526#line 153
3527int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock ) ;
3528#line 154
3529int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock ) ;
3530#line 168
3531int mutex_trylock(struct mutex *lock ) ;
3532#line 169
3533void mutex_unlock(struct mutex *lock ) ;
3534#line 170
3535int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
3536#line 26 "include/linux/export.h"
3537extern struct module __this_module ;
3538#line 67 "include/linux/module.h"
3539int init_module(void) ;
3540#line 1503 "include/linux/mm.h"
3541extern int remap_pfn_range(struct vm_area_struct * , unsigned long addr , unsigned long pfn ,
3542 unsigned long size , pgprotval_t ) ;
3543#line 2401 "include/linux/fs.h"
3544extern loff_t noop_llseek(struct file *file , loff_t offset , int origin ) ;
3545#line 61 "include/linux/miscdevice.h"
3546extern int misc_register(struct miscdevice *misc ) ;
3547#line 39 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess_64.h"
3548extern unsigned long __attribute__((__warn_unused_result__)) _copy_to_user(void *to ,
3549 void const *from ,
3550 unsigned int len ) ;
3551#line 62
3552__inline static int __attribute__((__warn_unused_result__)) ( __attribute__((__always_inline__)) copy_to_user)(void *dst ,
3553 void const *src ,
3554 unsigned int size ) __attribute__((__no_instrument_function__)) ;
3555#line 62 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess_64.h"
3556__inline static int __attribute__((__warn_unused_result__)) ( __attribute__((__always_inline__)) copy_to_user)(void *dst ,
3557 void const *src ,
3558 unsigned int size )
3559{ unsigned long tmp___7 ;
3560
3561 {
3562 {
3563#line 65
3564 might_fault();
3565#line 67
3566 tmp___7 = (unsigned long )_copy_to_user(dst, src, size);
3567 }
3568#line 67
3569 return ((int )tmp___7);
3570}
3571}
3572#line 166 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv_hub.h"
3573extern struct uv_hub_info_s __uv_hub_info __attribute__((__section__(".data..percpu"))) ;
3574#line 179
3575__inline static int is_uv1_hub(void) __attribute__((__no_instrument_function__)) ;
3576#line 179 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv_hub.h"
3577__inline static int is_uv1_hub(void)
3578{ unsigned long tcp_ptr__ ;
3579 void const *__vpp_verify ;
3580 void *__cil_tmp3 ;
3581 struct uv_hub_info_s *__cil_tmp4 ;
3582 struct uv_hub_info_s *__cil_tmp5 ;
3583 unsigned long __cil_tmp6 ;
3584 unsigned long __cil_tmp7 ;
3585 unsigned char __cil_tmp8 ;
3586 int __cil_tmp9 ;
3587
3588 {
3589 {
3590#line 181
3591 while (1) {
3592 while_continue: ;
3593#line 181
3594 __cil_tmp3 = (void *)0;
3595#line 181
3596 __cil_tmp4 = (struct uv_hub_info_s *)__cil_tmp3;
3597#line 181
3598 __vpp_verify = (void const *)__cil_tmp4;
3599#line 181
3600 goto while_break;
3601 }
3602 while_break: ;
3603 }
3604#line 181
3605 __asm__ volatile ("add "
3606 "%%"
3607 "gs"
3608 ":"
3609 "%P"
3610 "1"
3611 ", %0": "=r" (tcp_ptr__): "m" (this_cpu_off), "0" (& __uv_hub_info));
3612 {
3613#line 181
3614 __cil_tmp5 = (struct uv_hub_info_s *)tcp_ptr__;
3615#line 181
3616 __cil_tmp6 = (unsigned long )__cil_tmp5;
3617#line 181
3618 __cil_tmp7 = __cil_tmp6 + 20;
3619#line 181
3620 __cil_tmp8 = *((unsigned char *)__cil_tmp7);
3621#line 181
3622 __cil_tmp9 = (int )__cil_tmp8;
3623#line 181
3624 return (__cil_tmp9 < 3);
3625 }
3626}
3627}
3628#line 444
3629__inline static unsigned long *uv_local_mmr_address(unsigned long offset ) __attribute__((__no_instrument_function__)) ;
3630#line 444 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv_hub.h"
3631__inline static unsigned long *uv_local_mmr_address(unsigned long offset )
3632{ unsigned long tmp___8 ;
3633 int tmp___9 ;
3634 unsigned long __cil_tmp5 ;
3635 unsigned long __cil_tmp6 ;
3636 void *__cil_tmp7 ;
3637
3638 {
3639 {
3640#line 446
3641 tmp___9 = is_uv1_hub();
3642 }
3643#line 446
3644 if (tmp___9) {
3645#line 446
3646 tmp___8 = 4093640704UL;
3647 } else {
3648#line 446
3649 tmp___8 = 4194304000UL;
3650 }
3651 {
3652#line 446
3653 __cil_tmp5 = tmp___8 | offset;
3654#line 446
3655 __cil_tmp6 = __cil_tmp5 + 0xffff880000000000UL;
3656#line 446
3657 __cil_tmp7 = (void *)__cil_tmp6;
3658#line 446
3659 return ((unsigned long *)__cil_tmp7);
3660 }
3661}
3662}
3663#line 487
3664__inline static int uv_blade_processor_id(void) __attribute__((__no_instrument_function__)) ;
3665#line 487 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv_hub.h"
3666__inline static int uv_blade_processor_id(void)
3667{ unsigned long tcp_ptr__ ;
3668 void const *__vpp_verify ;
3669 void *__cil_tmp3 ;
3670 struct uv_hub_info_s *__cil_tmp4 ;
3671 struct uv_hub_info_s *__cil_tmp5 ;
3672 unsigned long __cil_tmp6 ;
3673 unsigned long __cil_tmp7 ;
3674 unsigned char __cil_tmp8 ;
3675
3676 {
3677 {
3678#line 489
3679 while (1) {
3680 while_continue: ;
3681#line 489
3682 __cil_tmp3 = (void *)0;
3683#line 489
3684 __cil_tmp4 = (struct uv_hub_info_s *)__cil_tmp3;
3685#line 489
3686 __vpp_verify = (void const *)__cil_tmp4;
3687#line 489
3688 goto while_break;
3689 }
3690 while_break: ;
3691 }
3692#line 489
3693 __asm__ volatile ("add "
3694 "%%"
3695 "gs"
3696 ":"
3697 "%P"
3698 "1"
3699 ", %0": "=r" (tcp_ptr__): "m" (this_cpu_off), "0" (& __uv_hub_info));
3700 {
3701#line 489
3702 __cil_tmp5 = (struct uv_hub_info_s *)tcp_ptr__;
3703#line 489
3704 __cil_tmp6 = (unsigned long )__cil_tmp5;
3705#line 489
3706 __cil_tmp7 = __cil_tmp6 + 56;
3707#line 489
3708 __cil_tmp8 = *((unsigned char *)__cil_tmp7);
3709#line 489
3710 return ((int )__cil_tmp8);
3711 }
3712}
3713}
3714#line 603
3715__inline static int uv_get_min_hub_revision_id(void) __attribute__((__no_instrument_function__)) ;
3716#line 603 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv_hub.h"
3717__inline static int uv_get_min_hub_revision_id(void)
3718{ unsigned long tcp_ptr__ ;
3719 void const *__vpp_verify ;
3720 void *__cil_tmp3 ;
3721 struct uv_hub_info_s *__cil_tmp4 ;
3722 struct uv_hub_info_s *__cil_tmp5 ;
3723 unsigned long __cil_tmp6 ;
3724 unsigned long __cil_tmp7 ;
3725 unsigned char __cil_tmp8 ;
3726
3727 {
3728 {
3729#line 605
3730 while (1) {
3731 while_continue: ;
3732#line 605
3733 __cil_tmp3 = (void *)0;
3734#line 605
3735 __cil_tmp4 = (struct uv_hub_info_s *)__cil_tmp3;
3736#line 605
3737 __vpp_verify = (void const *)__cil_tmp4;
3738#line 605
3739 goto while_break;
3740 }
3741 while_break: ;
3742 }
3743#line 605
3744 __asm__ volatile ("add "
3745 "%%"
3746 "gs"
3747 ":"
3748 "%P"
3749 "1"
3750 ", %0": "=r" (tcp_ptr__): "m" (this_cpu_off), "0" (& __uv_hub_info));
3751 {
3752#line 605
3753 __cil_tmp5 = (struct uv_hub_info_s *)tcp_ptr__;
3754#line 605
3755 __cil_tmp6 = (unsigned long )__cil_tmp5;
3756#line 605
3757 __cil_tmp7 = __cil_tmp6 + 20;
3758#line 605
3759 __cil_tmp8 = *((unsigned char *)__cil_tmp7);
3760#line 605
3761 return ((int )__cil_tmp8);
3762 }
3763}
3764}
3765#line 104 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/bios.h"
3766extern unsigned long sn_rtc_cycles_per_second ;
3767#line 12 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uv/uv.h"
3768extern int is_uv_system(void) ;
3769#line 33 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
3770static char const __mod_author33[43] __attribute__((__used__, __unused__, __section__(".modinfo"),
3771__aligned__(1))) =
3772#line 33 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
3773 { (char const )'a', (char const )'u', (char const )'t', (char const )'h',
3774 (char const )'o', (char const )'r', (char const )'=', (char const )'D',
3775 (char const )'i', (char const )'m', (char const )'i', (char const )'t',
3776 (char const )'r', (char const )'i', (char const )' ', (char const )'S',
3777 (char const )'i', (char const )'v', (char const )'a', (char const )'n',
3778 (char const )'i', (char const )'c', (char const )'h', (char const )' ',
3779 (char const )'<', (char const )'s', (char const )'i', (char const )'v',
3780 (char const )'a', (char const )'n', (char const )'i', (char const )'c',
3781 (char const )'h', (char const )'@', (char const )'s', (char const )'g',
3782 (char const )'i', (char const )'.', (char const )'c', (char const )'o',
3783 (char const )'m', (char const )'>', (char const )'\000'};
3784#line 34 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
3785static char const __mod_description34[43] __attribute__((__used__, __unused__,
3786__section__(".modinfo"), __aligned__(1))) =
3787#line 34
3788 { (char const )'d', (char const )'e', (char const )'s', (char const )'c',
3789 (char const )'r', (char const )'i', (char const )'p', (char const )'t',
3790 (char const )'i', (char const )'o', (char const )'n', (char const )'=',
3791 (char const )'S', (char const )'G', (char const )'I', (char const )' ',
3792 (char const )'U', (char const )'V', (char const )' ', (char const )'M',
3793 (char const )'e', (char const )'m', (char const )'o', (char const )'r',
3794 (char const )'y', (char const )' ', (char const )'M', (char const )'a',
3795 (char const )'p', (char const )'p', (char const )'e', (char const )'d',
3796 (char const )' ', (char const )'R', (char const )'T', (char const )'C',
3797 (char const )' ', (char const )'T', (char const )'i', (char const )'m',
3798 (char const )'e', (char const )'r', (char const )'\000'};
3799#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
3800static char const __mod_license35[12] __attribute__((__used__, __unused__, __section__(".modinfo"),
3801__aligned__(1))) =
3802#line 35
3803 { (char const )'l', (char const )'i', (char const )'c', (char const )'e',
3804 (char const )'n', (char const )'s', (char const )'e', (char const )'=',
3805 (char const )'G', (char const )'P', (char const )'L', (char const )'\000'};
3806#line 42
3807static long uv_mmtimer_ioctl(struct file *file , unsigned int cmd , unsigned long arg ) ;
3808#line 44
3809static int uv_mmtimer_mmap(struct file *file , struct vm_area_struct *vma ) ;
3810#line 49 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
3811static unsigned long uv_mmtimer_femtoperiod ;
3812#line 51 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
3813static struct file_operations const uv_mmtimer_fops =
3814#line 51
3815 {& __this_module, & noop_llseek, (ssize_t (*)(struct file * , char * , size_t ,
3816 loff_t * ))0, (ssize_t (*)(struct file * ,
3817 char const * ,
3818 size_t ,
3819 loff_t * ))0,
3820 (ssize_t (*)(struct kiocb * , struct iovec const * , unsigned long , loff_t ))0,
3821 (ssize_t (*)(struct kiocb * , struct iovec const * , unsigned long , loff_t ))0,
3822 (int (*)(struct file * , void * , int (*)(void * , char const * , int , loff_t ,
3823 u64 , unsigned int ) ))0, (unsigned int (*)(struct file * ,
3824 struct poll_table_struct * ))0,
3825 & uv_mmtimer_ioctl, (long (*)(struct file * , unsigned int , unsigned long ))0,
3826 & uv_mmtimer_mmap, (int (*)(struct inode * , struct file * ))0, (int (*)(struct file * ,
3827 fl_owner_t id ))0,
3828 (int (*)(struct inode * , struct file * ))0, (int (*)(struct file * , loff_t ,
3829 loff_t , int datasync ))0,
3830 (int (*)(struct kiocb * , int datasync ))0, (int (*)(int , struct file * , int ))0,
3831 (int (*)(struct file * , int , struct file_lock * ))0, (ssize_t (*)(struct file * ,
3832 struct page * ,
3833 int , size_t ,
3834 loff_t * ,
3835 int ))0,
3836 (unsigned long (*)(struct file * , unsigned long , unsigned long , unsigned long ,
3837 unsigned long ))0, (int (*)(int ))0, (int (*)(struct file * ,
3838 int , struct file_lock * ))0,
3839 (ssize_t (*)(struct pipe_inode_info * , struct file * , loff_t * , size_t , unsigned int ))0,
3840 (ssize_t (*)(struct file * , loff_t * , struct pipe_inode_info * , size_t , unsigned int ))0,
3841 (int (*)(struct file * , long , struct file_lock ** ))0, (long (*)(struct file *file ,
3842 int mode ,
3843 loff_t offset ,
3844 loff_t len ))0};
3845#line 85 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
3846static long uv_mmtimer_ioctl(struct file *file , unsigned int cmd , unsigned long arg )
3847{ int ret ;
3848 int tmp___7 ;
3849 int tmp___8 ;
3850 int tmp___9 ;
3851 int tmp___10 ;
3852 unsigned long *tmp___12 ;
3853 int tmp___13 ;
3854 int __cil_tmp12 ;
3855 unsigned long __cil_tmp13 ;
3856 int __cil_tmp14 ;
3857 int __cil_tmp15 ;
3858 unsigned long __cil_tmp16 ;
3859 unsigned long __cil_tmp17 ;
3860 unsigned long __cil_tmp18 ;
3861 unsigned long *__cil_tmp19 ;
3862 void *__cil_tmp20 ;
3863 void const *__cil_tmp21 ;
3864 unsigned int __cil_tmp22 ;
3865 unsigned long __cil_tmp23 ;
3866 int __cil_tmp24 ;
3867 unsigned int __cil_tmp25 ;
3868 unsigned int __cil_tmp26 ;
3869 unsigned int __cil_tmp27 ;
3870 unsigned int __cil_tmp28 ;
3871 unsigned long __cil_tmp29 ;
3872 unsigned long *__cil_tmp30 ;
3873 void *__cil_tmp31 ;
3874 void const *__cil_tmp32 ;
3875 unsigned int __cil_tmp33 ;
3876 unsigned long __cil_tmp34 ;
3877 int __cil_tmp35 ;
3878 unsigned int __cil_tmp36 ;
3879 unsigned int __cil_tmp37 ;
3880 unsigned int __cil_tmp38 ;
3881 unsigned int __cil_tmp39 ;
3882 unsigned long __cil_tmp40 ;
3883 unsigned long long __cil_tmp41 ;
3884 unsigned long __cil_tmp42 ;
3885 unsigned long __cil_tmp43 ;
3886 unsigned long __cil_tmp44 ;
3887 unsigned long long __cil_tmp45 ;
3888 unsigned long long __cil_tmp46 ;
3889 int __cil_tmp47 ;
3890 int __cil_tmp48 ;
3891 unsigned long long __cil_tmp49 ;
3892 unsigned long __cil_tmp50 ;
3893 unsigned long __cil_tmp51 ;
3894 unsigned long __cil_tmp52 ;
3895 unsigned long long __cil_tmp53 ;
3896 unsigned long long __cil_tmp54 ;
3897 int __cil_tmp55 ;
3898 int __cil_tmp56 ;
3899 unsigned long long __cil_tmp57 ;
3900 unsigned long __cil_tmp58 ;
3901 unsigned long __cil_tmp59 ;
3902 unsigned long __cil_tmp60 ;
3903 unsigned long long __cil_tmp61 ;
3904 unsigned long long __cil_tmp62 ;
3905 int __cil_tmp63 ;
3906 int __cil_tmp64 ;
3907 unsigned long long __cil_tmp65 ;
3908 unsigned long __cil_tmp66 ;
3909 unsigned long __cil_tmp67 ;
3910 unsigned long __cil_tmp68 ;
3911 unsigned long long __cil_tmp69 ;
3912 unsigned long long __cil_tmp70 ;
3913 int __cil_tmp71 ;
3914 int __cil_tmp72 ;
3915 unsigned long long __cil_tmp73 ;
3916 unsigned long __cil_tmp74 ;
3917 unsigned long __cil_tmp75 ;
3918 unsigned long __cil_tmp76 ;
3919 unsigned long long __cil_tmp77 ;
3920 unsigned long long __cil_tmp78 ;
3921 int __cil_tmp79 ;
3922 int __cil_tmp80 ;
3923 unsigned long long __cil_tmp81 ;
3924 unsigned long __cil_tmp82 ;
3925 unsigned long __cil_tmp83 ;
3926 unsigned long __cil_tmp84 ;
3927 unsigned long long __cil_tmp85 ;
3928 unsigned long long __cil_tmp86 ;
3929 int __cil_tmp87 ;
3930 int __cil_tmp88 ;
3931 unsigned long long __cil_tmp89 ;
3932 unsigned long __cil_tmp90 ;
3933 unsigned long __cil_tmp91 ;
3934 unsigned long __cil_tmp92 ;
3935 unsigned long long __cil_tmp93 ;
3936 unsigned long long __cil_tmp94 ;
3937 int __cil_tmp95 ;
3938 int __cil_tmp96 ;
3939 unsigned long __cil_tmp97 ;
3940 unsigned long __cil_tmp98 ;
3941 unsigned long __cil_tmp99 ;
3942 unsigned long long __cil_tmp100 ;
3943 unsigned long long __cil_tmp101 ;
3944 int __cil_tmp102 ;
3945 int __cil_tmp103 ;
3946 int __cil_tmp104 ;
3947 int __cil_tmp105 ;
3948 int __cil_tmp106 ;
3949 int __cil_tmp107 ;
3950 int __cil_tmp108 ;
3951 int __cil_tmp109 ;
3952 int __cil_tmp110 ;
3953 unsigned long long __cil_tmp111 ;
3954 unsigned long __cil_tmp112 ;
3955 unsigned long __cil_tmp113 ;
3956 unsigned long long __cil_tmp114 ;
3957 unsigned long long __cil_tmp115 ;
3958 int __cil_tmp116 ;
3959 int __cil_tmp117 ;
3960 unsigned long long __cil_tmp118 ;
3961 unsigned long __cil_tmp119 ;
3962 unsigned long __cil_tmp120 ;
3963 unsigned long long __cil_tmp121 ;
3964 unsigned long long __cil_tmp122 ;
3965 int __cil_tmp123 ;
3966 int __cil_tmp124 ;
3967 unsigned long long __cil_tmp125 ;
3968 unsigned long __cil_tmp126 ;
3969 unsigned long __cil_tmp127 ;
3970 unsigned long long __cil_tmp128 ;
3971 unsigned long long __cil_tmp129 ;
3972 int __cil_tmp130 ;
3973 int __cil_tmp131 ;
3974 unsigned long long __cil_tmp132 ;
3975 unsigned long __cil_tmp133 ;
3976 unsigned long __cil_tmp134 ;
3977 unsigned long long __cil_tmp135 ;
3978 unsigned long long __cil_tmp136 ;
3979 int __cil_tmp137 ;
3980 int __cil_tmp138 ;
3981 unsigned long long __cil_tmp139 ;
3982 unsigned long __cil_tmp140 ;
3983 unsigned long __cil_tmp141 ;
3984 unsigned long long __cil_tmp142 ;
3985 unsigned long long __cil_tmp143 ;
3986 int __cil_tmp144 ;
3987 int __cil_tmp145 ;
3988 unsigned long long __cil_tmp146 ;
3989 unsigned long __cil_tmp147 ;
3990 unsigned long __cil_tmp148 ;
3991 unsigned long long __cil_tmp149 ;
3992 unsigned long long __cil_tmp150 ;
3993 int __cil_tmp151 ;
3994 int __cil_tmp152 ;
3995 unsigned long long __cil_tmp153 ;
3996 unsigned long __cil_tmp154 ;
3997 unsigned long __cil_tmp155 ;
3998 unsigned long long __cil_tmp156 ;
3999 unsigned long long __cil_tmp157 ;
4000 int __cil_tmp158 ;
4001 int __cil_tmp159 ;
4002 unsigned long __cil_tmp160 ;
4003 unsigned long __cil_tmp161 ;
4004 unsigned long long __cil_tmp162 ;
4005 unsigned long long __cil_tmp163 ;
4006 int __cil_tmp164 ;
4007 int __cil_tmp165 ;
4008 int __cil_tmp166 ;
4009 int __cil_tmp167 ;
4010 int __cil_tmp168 ;
4011 int __cil_tmp169 ;
4012 int __cil_tmp170 ;
4013 int __cil_tmp171 ;
4014 int __cil_tmp172 ;
4015 int __cil_tmp173 ;
4016 unsigned long long __cil_tmp174 ;
4017 unsigned long __cil_tmp175 ;
4018 unsigned long __cil_tmp176 ;
4019 unsigned long long __cil_tmp177 ;
4020 unsigned long long __cil_tmp178 ;
4021 int __cil_tmp179 ;
4022 int __cil_tmp180 ;
4023 unsigned long long __cil_tmp181 ;
4024 unsigned long __cil_tmp182 ;
4025 unsigned long __cil_tmp183 ;
4026 unsigned long long __cil_tmp184 ;
4027 unsigned long long __cil_tmp185 ;
4028 int __cil_tmp186 ;
4029 int __cil_tmp187 ;
4030 unsigned long long __cil_tmp188 ;
4031 unsigned long __cil_tmp189 ;
4032 unsigned long __cil_tmp190 ;
4033 unsigned long long __cil_tmp191 ;
4034 unsigned long long __cil_tmp192 ;
4035 int __cil_tmp193 ;
4036 int __cil_tmp194 ;
4037 unsigned long long __cil_tmp195 ;
4038 unsigned long __cil_tmp196 ;
4039 unsigned long __cil_tmp197 ;
4040 unsigned long long __cil_tmp198 ;
4041 unsigned long long __cil_tmp199 ;
4042 int __cil_tmp200 ;
4043 int __cil_tmp201 ;
4044 unsigned long long __cil_tmp202 ;
4045 unsigned long __cil_tmp203 ;
4046 unsigned long __cil_tmp204 ;
4047 unsigned long long __cil_tmp205 ;
4048 unsigned long long __cil_tmp206 ;
4049 int __cil_tmp207 ;
4050 int __cil_tmp208 ;
4051 unsigned long long __cil_tmp209 ;
4052 unsigned long __cil_tmp210 ;
4053 unsigned long __cil_tmp211 ;
4054 unsigned long long __cil_tmp212 ;
4055 unsigned long long __cil_tmp213 ;
4056 int __cil_tmp214 ;
4057 int __cil_tmp215 ;
4058 unsigned long long __cil_tmp216 ;
4059 unsigned long __cil_tmp217 ;
4060 unsigned long __cil_tmp218 ;
4061 unsigned long long __cil_tmp219 ;
4062 unsigned long long __cil_tmp220 ;
4063 int __cil_tmp221 ;
4064 int __cil_tmp222 ;
4065 unsigned long __cil_tmp223 ;
4066 unsigned long __cil_tmp224 ;
4067 unsigned long long __cil_tmp225 ;
4068 unsigned long long __cil_tmp226 ;
4069 int __cil_tmp227 ;
4070 int __cil_tmp228 ;
4071 int __cil_tmp229 ;
4072 int __cil_tmp230 ;
4073 int __cil_tmp231 ;
4074 int __cil_tmp232 ;
4075 int __cil_tmp233 ;
4076 int __cil_tmp234 ;
4077 int __cil_tmp235 ;
4078 unsigned long long __cil_tmp236 ;
4079 unsigned long __cil_tmp237 ;
4080 unsigned long long __cil_tmp238 ;
4081 unsigned long long __cil_tmp239 ;
4082 int __cil_tmp240 ;
4083 int __cil_tmp241 ;
4084 unsigned long long __cil_tmp242 ;
4085 unsigned long __cil_tmp243 ;
4086 unsigned long long __cil_tmp244 ;
4087 unsigned long long __cil_tmp245 ;
4088 int __cil_tmp246 ;
4089 int __cil_tmp247 ;
4090 unsigned long long __cil_tmp248 ;
4091 unsigned long __cil_tmp249 ;
4092 unsigned long long __cil_tmp250 ;
4093 unsigned long long __cil_tmp251 ;
4094 int __cil_tmp252 ;
4095 int __cil_tmp253 ;
4096 unsigned long long __cil_tmp254 ;
4097 unsigned long __cil_tmp255 ;
4098 unsigned long long __cil_tmp256 ;
4099 unsigned long long __cil_tmp257 ;
4100 int __cil_tmp258 ;
4101 int __cil_tmp259 ;
4102 unsigned long long __cil_tmp260 ;
4103 unsigned long __cil_tmp261 ;
4104 unsigned long long __cil_tmp262 ;
4105 unsigned long long __cil_tmp263 ;
4106 int __cil_tmp264 ;
4107 int __cil_tmp265 ;
4108 unsigned long long __cil_tmp266 ;
4109 unsigned long __cil_tmp267 ;
4110 unsigned long long __cil_tmp268 ;
4111 unsigned long long __cil_tmp269 ;
4112 int __cil_tmp270 ;
4113 int __cil_tmp271 ;
4114 unsigned long long __cil_tmp272 ;
4115 unsigned long __cil_tmp273 ;
4116 unsigned long long __cil_tmp274 ;
4117 unsigned long long __cil_tmp275 ;
4118 int __cil_tmp276 ;
4119 int __cil_tmp277 ;
4120 unsigned long __cil_tmp278 ;
4121 unsigned long long __cil_tmp279 ;
4122 unsigned long long __cil_tmp280 ;
4123 int __cil_tmp281 ;
4124 int __cil_tmp282 ;
4125 int __cil_tmp283 ;
4126 int __cil_tmp284 ;
4127 int __cil_tmp285 ;
4128 int __cil_tmp286 ;
4129 int __cil_tmp287 ;
4130 int __cil_tmp288 ;
4131 int __cil_tmp289 ;
4132 int __cil_tmp290 ;
4133 int __cil_tmp291 ;
4134 unsigned long long __cil_tmp292 ;
4135 unsigned long __cil_tmp293 ;
4136 unsigned long __cil_tmp294 ;
4137 unsigned long long __cil_tmp295 ;
4138 unsigned long long __cil_tmp296 ;
4139 int __cil_tmp297 ;
4140 int __cil_tmp298 ;
4141 unsigned long long __cil_tmp299 ;
4142 unsigned long __cil_tmp300 ;
4143 unsigned long __cil_tmp301 ;
4144 unsigned long long __cil_tmp302 ;
4145 unsigned long long __cil_tmp303 ;
4146 int __cil_tmp304 ;
4147 int __cil_tmp305 ;
4148 unsigned long long __cil_tmp306 ;
4149 unsigned long __cil_tmp307 ;
4150 unsigned long __cil_tmp308 ;
4151 unsigned long long __cil_tmp309 ;
4152 unsigned long long __cil_tmp310 ;
4153 int __cil_tmp311 ;
4154 int __cil_tmp312 ;
4155 unsigned long long __cil_tmp313 ;
4156 unsigned long __cil_tmp314 ;
4157 unsigned long __cil_tmp315 ;
4158 unsigned long long __cil_tmp316 ;
4159 unsigned long long __cil_tmp317 ;
4160 int __cil_tmp318 ;
4161 int __cil_tmp319 ;
4162 unsigned long long __cil_tmp320 ;
4163 unsigned long __cil_tmp321 ;
4164 unsigned long __cil_tmp322 ;
4165 unsigned long long __cil_tmp323 ;
4166 unsigned long long __cil_tmp324 ;
4167 int __cil_tmp325 ;
4168 int __cil_tmp326 ;
4169 unsigned long long __cil_tmp327 ;
4170 unsigned long __cil_tmp328 ;
4171 unsigned long __cil_tmp329 ;
4172 unsigned long long __cil_tmp330 ;
4173 unsigned long long __cil_tmp331 ;
4174 int __cil_tmp332 ;
4175 int __cil_tmp333 ;
4176 unsigned long long __cil_tmp334 ;
4177 unsigned long __cil_tmp335 ;
4178 unsigned long __cil_tmp336 ;
4179 unsigned long long __cil_tmp337 ;
4180 unsigned long long __cil_tmp338 ;
4181 int __cil_tmp339 ;
4182 int __cil_tmp340 ;
4183 unsigned long __cil_tmp341 ;
4184 unsigned long __cil_tmp342 ;
4185 unsigned long long __cil_tmp343 ;
4186 unsigned long long __cil_tmp344 ;
4187 int __cil_tmp345 ;
4188 int __cil_tmp346 ;
4189 int __cil_tmp347 ;
4190 int __cil_tmp348 ;
4191 int __cil_tmp349 ;
4192 int __cil_tmp350 ;
4193 int __cil_tmp351 ;
4194 int __cil_tmp352 ;
4195 int __cil_tmp353 ;
4196 unsigned long long __cil_tmp354 ;
4197 unsigned long __cil_tmp355 ;
4198 unsigned long long __cil_tmp356 ;
4199 unsigned long long __cil_tmp357 ;
4200 int __cil_tmp358 ;
4201 int __cil_tmp359 ;
4202 unsigned long long __cil_tmp360 ;
4203 unsigned long __cil_tmp361 ;
4204 unsigned long long __cil_tmp362 ;
4205 unsigned long long __cil_tmp363 ;
4206 int __cil_tmp364 ;
4207 int __cil_tmp365 ;
4208 unsigned long long __cil_tmp366 ;
4209 unsigned long __cil_tmp367 ;
4210 unsigned long long __cil_tmp368 ;
4211 unsigned long long __cil_tmp369 ;
4212 int __cil_tmp370 ;
4213 int __cil_tmp371 ;
4214 unsigned long long __cil_tmp372 ;
4215 unsigned long __cil_tmp373 ;
4216 unsigned long long __cil_tmp374 ;
4217 unsigned long long __cil_tmp375 ;
4218 int __cil_tmp376 ;
4219 int __cil_tmp377 ;
4220 unsigned long long __cil_tmp378 ;
4221 unsigned long __cil_tmp379 ;
4222 unsigned long long __cil_tmp380 ;
4223 unsigned long long __cil_tmp381 ;
4224 int __cil_tmp382 ;
4225 int __cil_tmp383 ;
4226 unsigned long long __cil_tmp384 ;
4227 unsigned long __cil_tmp385 ;
4228 unsigned long long __cil_tmp386 ;
4229 unsigned long long __cil_tmp387 ;
4230 int __cil_tmp388 ;
4231 int __cil_tmp389 ;
4232 unsigned long long __cil_tmp390 ;
4233 unsigned long __cil_tmp391 ;
4234 unsigned long long __cil_tmp392 ;
4235 unsigned long long __cil_tmp393 ;
4236 int __cil_tmp394 ;
4237 int __cil_tmp395 ;
4238 unsigned long __cil_tmp396 ;
4239 unsigned long long __cil_tmp397 ;
4240 unsigned long long __cil_tmp398 ;
4241 int __cil_tmp399 ;
4242 int __cil_tmp400 ;
4243 int __cil_tmp401 ;
4244 int __cil_tmp402 ;
4245 int __cil_tmp403 ;
4246 int __cil_tmp404 ;
4247 int __cil_tmp405 ;
4248 int __cil_tmp406 ;
4249 int __cil_tmp407 ;
4250 int __cil_tmp408 ;
4251 unsigned long long __cil_tmp409 ;
4252 unsigned long __cil_tmp410 ;
4253 unsigned long long __cil_tmp411 ;
4254 unsigned long long __cil_tmp412 ;
4255 int __cil_tmp413 ;
4256 int __cil_tmp414 ;
4257 unsigned long long __cil_tmp415 ;
4258 unsigned long __cil_tmp416 ;
4259 unsigned long long __cil_tmp417 ;
4260 unsigned long long __cil_tmp418 ;
4261 int __cil_tmp419 ;
4262 int __cil_tmp420 ;
4263 unsigned long long __cil_tmp421 ;
4264 unsigned long __cil_tmp422 ;
4265 unsigned long long __cil_tmp423 ;
4266 unsigned long long __cil_tmp424 ;
4267 int __cil_tmp425 ;
4268 int __cil_tmp426 ;
4269 unsigned long long __cil_tmp427 ;
4270 unsigned long __cil_tmp428 ;
4271 unsigned long long __cil_tmp429 ;
4272 unsigned long long __cil_tmp430 ;
4273 int __cil_tmp431 ;
4274 int __cil_tmp432 ;
4275 unsigned long long __cil_tmp433 ;
4276 unsigned long __cil_tmp434 ;
4277 unsigned long long __cil_tmp435 ;
4278 unsigned long long __cil_tmp436 ;
4279 int __cil_tmp437 ;
4280 int __cil_tmp438 ;
4281 unsigned long long __cil_tmp439 ;
4282 unsigned long __cil_tmp440 ;
4283 unsigned long long __cil_tmp441 ;
4284 unsigned long long __cil_tmp442 ;
4285 int __cil_tmp443 ;
4286 int __cil_tmp444 ;
4287 unsigned long long __cil_tmp445 ;
4288 unsigned long __cil_tmp446 ;
4289 unsigned long long __cil_tmp447 ;
4290 unsigned long long __cil_tmp448 ;
4291 int __cil_tmp449 ;
4292 int __cil_tmp450 ;
4293 unsigned long __cil_tmp451 ;
4294 unsigned long long __cil_tmp452 ;
4295 unsigned long long __cil_tmp453 ;
4296 int __cil_tmp454 ;
4297 int __cil_tmp455 ;
4298 int __cil_tmp456 ;
4299 int __cil_tmp457 ;
4300 int __cil_tmp458 ;
4301 int __cil_tmp459 ;
4302 int __cil_tmp460 ;
4303 int __cil_tmp461 ;
4304 int __cil_tmp462 ;
4305 unsigned long long __cil_tmp463 ;
4306 unsigned long long __cil_tmp464 ;
4307 int __cil_tmp465 ;
4308 int __cil_tmp466 ;
4309 unsigned long long __cil_tmp467 ;
4310 unsigned long long __cil_tmp468 ;
4311 int __cil_tmp469 ;
4312 int __cil_tmp470 ;
4313 unsigned long long __cil_tmp471 ;
4314 unsigned long long __cil_tmp472 ;
4315 int __cil_tmp473 ;
4316 int __cil_tmp474 ;
4317 unsigned long long __cil_tmp475 ;
4318 unsigned long long __cil_tmp476 ;
4319 int __cil_tmp477 ;
4320 int __cil_tmp478 ;
4321 unsigned long long __cil_tmp479 ;
4322 unsigned long long __cil_tmp480 ;
4323 int __cil_tmp481 ;
4324 int __cil_tmp482 ;
4325 unsigned long long __cil_tmp483 ;
4326 unsigned long long __cil_tmp484 ;
4327 int __cil_tmp485 ;
4328 int __cil_tmp486 ;
4329 unsigned long long __cil_tmp487 ;
4330 unsigned long long __cil_tmp488 ;
4331 int __cil_tmp489 ;
4332 int __cil_tmp490 ;
4333 int __cil_tmp491 ;
4334 int __cil_tmp492 ;
4335 int __cil_tmp493 ;
4336 int __cil_tmp494 ;
4337 int __cil_tmp495 ;
4338 int __cil_tmp496 ;
4339 int __cil_tmp497 ;
4340 int __cil_tmp498 ;
4341 int __cil_tmp499 ;
4342 int __cil_tmp500 ;
4343 unsigned long __cil_tmp501 ;
4344 int __cil_tmp502 ;
4345 unsigned int __cil_tmp503 ;
4346 int __cil_tmp504 ;
4347 unsigned int __cil_tmp505 ;
4348 unsigned long *__cil_tmp506 ;
4349 void *__cil_tmp507 ;
4350 void const *__cil_tmp508 ;
4351 unsigned int __cil_tmp509 ;
4352 unsigned long __cil_tmp510 ;
4353 int __cil_tmp511 ;
4354 unsigned int __cil_tmp512 ;
4355 unsigned int __cil_tmp513 ;
4356 unsigned int __cil_tmp514 ;
4357 unsigned int __cil_tmp515 ;
4358 unsigned long __cil_tmp516 ;
4359
4360 {
4361#line 88
4362 ret = 0;
4363#line 91
4364 if ((int )cmd == (unsigned int )__cil_tmp12) {
4365#line 91
4366 goto case_exp;
4367 } else
4368#line 106
4369 if ((int )cmd == (__cil_tmp29 | __cil_tmp23)) {
4370#line 106
4371 goto case_exp___0;
4372 } else
4373#line 112
4374 if ((int )cmd == (__cil_tmp40 | __cil_tmp34)) {
4375#line 112
4376 goto case_exp___1;
4377 } else
4378#line 119
4379 if ((int )cmd == (__cil_tmp503 | 4U)) {
4380#line 119
4381 goto case_exp___2;
4382 } else
4383#line 123
4384 if ((int )cmd == (__cil_tmp505 | 6U)) {
4385#line 123
4386 goto case_exp___3;
4387 } else
4388#line 127
4389 if ((int )cmd == (__cil_tmp516 | __cil_tmp510)) {
4390#line 127
4391 goto case_exp___4;
4392 } else {
4393 {
4394#line 133
4395 goto switch_default;
4396#line 90
4397 if (0) {
4398 case_exp:
4399 {
4400#line 99
4401 __cil_tmp12 = 109 << 8;
4402 {
4403#line 99
4404 tmp___8 = uv_get_min_hub_revision_id();
4405 }
4406 }
4407#line 99
4408 if (tmp___8 == 1) {
4409#line 100
4410 ret = 0;
4411 } else {
4412 {
4413#line 102
4414 tmp___7 = uv_blade_processor_id();
4415#line 102
4416 __cil_tmp13 = 1UL << 12;
4417#line 102
4418 __cil_tmp14 = 1 << 6;
4419#line 102
4420 __cil_tmp15 = tmp___7 * __cil_tmp14;
4421#line 102
4422 __cil_tmp16 = (unsigned long )__cil_tmp15;
4423#line 102
4424 __cil_tmp17 = __cil_tmp16 % __cil_tmp13;
4425#line 102
4426 __cil_tmp18 = __cil_tmp17 / 8UL;
4427#line 102
4428 ret = (int )__cil_tmp18;
4429 }
4430 }
4431#line 104
4432 goto switch_break;
4433 case_exp___0:
4434 {
4435#line 107
4436 __cil_tmp23 = 8UL << 16;
4437#line 107
4438 __cil_tmp24 = 109 << 8;
4439#line 107
4440 __cil_tmp25 = (unsigned int )__cil_tmp24;
4441#line 107
4442 __cil_tmp26 = 2U << 30;
4443#line 107
4444 __cil_tmp27 = __cil_tmp26 | __cil_tmp25;
4445#line 107
4446 __cil_tmp28 = __cil_tmp27 | 1U;
4447#line 107
4448 __cil_tmp29 = (unsigned long )__cil_tmp28;
4449 {
4450#line 107
4451 __cil_tmp19 = (unsigned long *)arg;
4452#line 107
4453 __cil_tmp20 = (void *)__cil_tmp19;
4454#line 107
4455 __cil_tmp21 = (void const *)(& uv_mmtimer_femtoperiod);
4456#line 107
4457 __cil_tmp22 = (unsigned int )8UL;
4458#line 107
4459 tmp___9 = (int )copy_to_user(__cil_tmp20, __cil_tmp21, __cil_tmp22);
4460 }
4461 }
4462#line 107
4463 if (tmp___9) {
4464#line 109
4465 ret = -14;
4466 } else {
4467
4468 }
4469#line 110
4470 goto switch_break;
4471 case_exp___1:
4472 {
4473#line 113
4474 __cil_tmp34 = 8UL << 16;
4475#line 113
4476 __cil_tmp35 = 109 << 8;
4477#line 113
4478 __cil_tmp36 = (unsigned int )__cil_tmp35;
4479#line 113
4480 __cil_tmp37 = 2U << 30;
4481#line 113
4482 __cil_tmp38 = __cil_tmp37 | __cil_tmp36;
4483#line 113
4484 __cil_tmp39 = __cil_tmp38 | 2U;
4485#line 113
4486 __cil_tmp40 = (unsigned long )__cil_tmp39;
4487 {
4488#line 113
4489 __cil_tmp30 = (unsigned long *)arg;
4490#line 113
4491 __cil_tmp31 = (void *)__cil_tmp30;
4492#line 113
4493 __cil_tmp32 = (void const *)(& sn_rtc_cycles_per_second);
4494#line 113
4495 __cil_tmp33 = (unsigned int )8UL;
4496#line 113
4497 tmp___10 = (int )copy_to_user(__cil_tmp31, __cil_tmp32, __cil_tmp33);
4498 }
4499 }
4500#line 113
4501 if (tmp___10) {
4502#line 116
4503 ret = -14;
4504 } else {
4505
4506 }
4507#line 117
4508 goto switch_break;
4509 case_exp___2:
4510 {
4511#line 120
4512 __cil_tmp502 = 109 << 8;
4513#line 120
4514 __cil_tmp503 = (unsigned int )__cil_tmp502;
4515#line 120
4516 __cil_tmp41 = 1ULL << 7;
4517#line 120
4518 __cil_tmp42 = 72057594037927935UL >> 32;
4519#line 120
4520 __cil_tmp43 = __cil_tmp42 >> 16;
4521#line 120
4522 __cil_tmp44 = __cil_tmp43 >> 8;
4523#line 120
4524 __cil_tmp45 = (unsigned long long )__cil_tmp44;
4525#line 120
4526 __cil_tmp46 = __cil_tmp45 & __cil_tmp41;
4527#line 120
4528 __cil_tmp47 = ! __cil_tmp46;
4529#line 120
4530 __cil_tmp48 = ! __cil_tmp47;
4531#line 120
4532 __cil_tmp49 = 1ULL << 6;
4533#line 120
4534 __cil_tmp50 = 72057594037927935UL >> 32;
4535#line 120
4536 __cil_tmp51 = __cil_tmp50 >> 16;
4537#line 120
4538 __cil_tmp52 = __cil_tmp51 >> 8;
4539#line 120
4540 __cil_tmp53 = (unsigned long long )__cil_tmp52;
4541#line 120
4542 __cil_tmp54 = __cil_tmp53 & __cil_tmp49;
4543#line 120
4544 __cil_tmp55 = ! __cil_tmp54;
4545#line 120
4546 __cil_tmp56 = ! __cil_tmp55;
4547#line 120
4548 __cil_tmp57 = 1ULL << 5;
4549#line 120
4550 __cil_tmp58 = 72057594037927935UL >> 32;
4551#line 120
4552 __cil_tmp59 = __cil_tmp58 >> 16;
4553#line 120
4554 __cil_tmp60 = __cil_tmp59 >> 8;
4555#line 120
4556 __cil_tmp61 = (unsigned long long )__cil_tmp60;
4557#line 120
4558 __cil_tmp62 = __cil_tmp61 & __cil_tmp57;
4559#line 120
4560 __cil_tmp63 = ! __cil_tmp62;
4561#line 120
4562 __cil_tmp64 = ! __cil_tmp63;
4563#line 120
4564 __cil_tmp65 = 1ULL << 4;
4565#line 120
4566 __cil_tmp66 = 72057594037927935UL >> 32;
4567#line 120
4568 __cil_tmp67 = __cil_tmp66 >> 16;
4569#line 120
4570 __cil_tmp68 = __cil_tmp67 >> 8;
4571#line 120
4572 __cil_tmp69 = (unsigned long long )__cil_tmp68;
4573#line 120
4574 __cil_tmp70 = __cil_tmp69 & __cil_tmp65;
4575#line 120
4576 __cil_tmp71 = ! __cil_tmp70;
4577#line 120
4578 __cil_tmp72 = ! __cil_tmp71;
4579#line 120
4580 __cil_tmp73 = 1ULL << 3;
4581#line 120
4582 __cil_tmp74 = 72057594037927935UL >> 32;
4583#line 120
4584 __cil_tmp75 = __cil_tmp74 >> 16;
4585#line 120
4586 __cil_tmp76 = __cil_tmp75 >> 8;
4587#line 120
4588 __cil_tmp77 = (unsigned long long )__cil_tmp76;
4589#line 120
4590 __cil_tmp78 = __cil_tmp77 & __cil_tmp73;
4591#line 120
4592 __cil_tmp79 = ! __cil_tmp78;
4593#line 120
4594 __cil_tmp80 = ! __cil_tmp79;
4595#line 120
4596 __cil_tmp81 = 1ULL << 2;
4597#line 120
4598 __cil_tmp82 = 72057594037927935UL >> 32;
4599#line 120
4600 __cil_tmp83 = __cil_tmp82 >> 16;
4601#line 120
4602 __cil_tmp84 = __cil_tmp83 >> 8;
4603#line 120
4604 __cil_tmp85 = (unsigned long long )__cil_tmp84;
4605#line 120
4606 __cil_tmp86 = __cil_tmp85 & __cil_tmp81;
4607#line 120
4608 __cil_tmp87 = ! __cil_tmp86;
4609#line 120
4610 __cil_tmp88 = ! __cil_tmp87;
4611#line 120
4612 __cil_tmp89 = 1ULL << 1;
4613#line 120
4614 __cil_tmp90 = 72057594037927935UL >> 32;
4615#line 120
4616 __cil_tmp91 = __cil_tmp90 >> 16;
4617#line 120
4618 __cil_tmp92 = __cil_tmp91 >> 8;
4619#line 120
4620 __cil_tmp93 = (unsigned long long )__cil_tmp92;
4621#line 120
4622 __cil_tmp94 = __cil_tmp93 & __cil_tmp89;
4623#line 120
4624 __cil_tmp95 = ! __cil_tmp94;
4625#line 120
4626 __cil_tmp96 = ! __cil_tmp95;
4627#line 120
4628 __cil_tmp97 = 72057594037927935UL >> 32;
4629#line 120
4630 __cil_tmp98 = __cil_tmp97 >> 16;
4631#line 120
4632 __cil_tmp99 = __cil_tmp98 >> 8;
4633#line 120
4634 __cil_tmp100 = (unsigned long long )__cil_tmp99;
4635#line 120
4636 __cil_tmp101 = __cil_tmp100 & 1ULL;
4637#line 120
4638 __cil_tmp102 = ! __cil_tmp101;
4639#line 120
4640 __cil_tmp103 = ! __cil_tmp102;
4641#line 120
4642 __cil_tmp104 = __cil_tmp103 + __cil_tmp96;
4643#line 120
4644 __cil_tmp105 = __cil_tmp104 + __cil_tmp88;
4645#line 120
4646 __cil_tmp106 = __cil_tmp105 + __cil_tmp80;
4647#line 120
4648 __cil_tmp107 = __cil_tmp106 + __cil_tmp72;
4649#line 120
4650 __cil_tmp108 = __cil_tmp107 + __cil_tmp64;
4651#line 120
4652 __cil_tmp109 = __cil_tmp108 + __cil_tmp56;
4653#line 120
4654 __cil_tmp110 = __cil_tmp109 + __cil_tmp48;
4655#line 120
4656 __cil_tmp111 = 1ULL << 7;
4657#line 120
4658 __cil_tmp112 = 72057594037927935UL >> 32;
4659#line 120
4660 __cil_tmp113 = __cil_tmp112 >> 16;
4661#line 120
4662 __cil_tmp114 = (unsigned long long )__cil_tmp113;
4663#line 120
4664 __cil_tmp115 = __cil_tmp114 & __cil_tmp111;
4665#line 120
4666 __cil_tmp116 = ! __cil_tmp115;
4667#line 120
4668 __cil_tmp117 = ! __cil_tmp116;
4669#line 120
4670 __cil_tmp118 = 1ULL << 6;
4671#line 120
4672 __cil_tmp119 = 72057594037927935UL >> 32;
4673#line 120
4674 __cil_tmp120 = __cil_tmp119 >> 16;
4675#line 120
4676 __cil_tmp121 = (unsigned long long )__cil_tmp120;
4677#line 120
4678 __cil_tmp122 = __cil_tmp121 & __cil_tmp118;
4679#line 120
4680 __cil_tmp123 = ! __cil_tmp122;
4681#line 120
4682 __cil_tmp124 = ! __cil_tmp123;
4683#line 120
4684 __cil_tmp125 = 1ULL << 5;
4685#line 120
4686 __cil_tmp126 = 72057594037927935UL >> 32;
4687#line 120
4688 __cil_tmp127 = __cil_tmp126 >> 16;
4689#line 120
4690 __cil_tmp128 = (unsigned long long )__cil_tmp127;
4691#line 120
4692 __cil_tmp129 = __cil_tmp128 & __cil_tmp125;
4693#line 120
4694 __cil_tmp130 = ! __cil_tmp129;
4695#line 120
4696 __cil_tmp131 = ! __cil_tmp130;
4697#line 120
4698 __cil_tmp132 = 1ULL << 4;
4699#line 120
4700 __cil_tmp133 = 72057594037927935UL >> 32;
4701#line 120
4702 __cil_tmp134 = __cil_tmp133 >> 16;
4703#line 120
4704 __cil_tmp135 = (unsigned long long )__cil_tmp134;
4705#line 120
4706 __cil_tmp136 = __cil_tmp135 & __cil_tmp132;
4707#line 120
4708 __cil_tmp137 = ! __cil_tmp136;
4709#line 120
4710 __cil_tmp138 = ! __cil_tmp137;
4711#line 120
4712 __cil_tmp139 = 1ULL << 3;
4713#line 120
4714 __cil_tmp140 = 72057594037927935UL >> 32;
4715#line 120
4716 __cil_tmp141 = __cil_tmp140 >> 16;
4717#line 120
4718 __cil_tmp142 = (unsigned long long )__cil_tmp141;
4719#line 120
4720 __cil_tmp143 = __cil_tmp142 & __cil_tmp139;
4721#line 120
4722 __cil_tmp144 = ! __cil_tmp143;
4723#line 120
4724 __cil_tmp145 = ! __cil_tmp144;
4725#line 120
4726 __cil_tmp146 = 1ULL << 2;
4727#line 120
4728 __cil_tmp147 = 72057594037927935UL >> 32;
4729#line 120
4730 __cil_tmp148 = __cil_tmp147 >> 16;
4731#line 120
4732 __cil_tmp149 = (unsigned long long )__cil_tmp148;
4733#line 120
4734 __cil_tmp150 = __cil_tmp149 & __cil_tmp146;
4735#line 120
4736 __cil_tmp151 = ! __cil_tmp150;
4737#line 120
4738 __cil_tmp152 = ! __cil_tmp151;
4739#line 120
4740 __cil_tmp153 = 1ULL << 1;
4741#line 120
4742 __cil_tmp154 = 72057594037927935UL >> 32;
4743#line 120
4744 __cil_tmp155 = __cil_tmp154 >> 16;
4745#line 120
4746 __cil_tmp156 = (unsigned long long )__cil_tmp155;
4747#line 120
4748 __cil_tmp157 = __cil_tmp156 & __cil_tmp153;
4749#line 120
4750 __cil_tmp158 = ! __cil_tmp157;
4751#line 120
4752 __cil_tmp159 = ! __cil_tmp158;
4753#line 120
4754 __cil_tmp160 = 72057594037927935UL >> 32;
4755#line 120
4756 __cil_tmp161 = __cil_tmp160 >> 16;
4757#line 120
4758 __cil_tmp162 = (unsigned long long )__cil_tmp161;
4759#line 120
4760 __cil_tmp163 = __cil_tmp162 & 1ULL;
4761#line 120
4762 __cil_tmp164 = ! __cil_tmp163;
4763#line 120
4764 __cil_tmp165 = ! __cil_tmp164;
4765#line 120
4766 __cil_tmp166 = __cil_tmp165 + __cil_tmp159;
4767#line 120
4768 __cil_tmp167 = __cil_tmp166 + __cil_tmp152;
4769#line 120
4770 __cil_tmp168 = __cil_tmp167 + __cil_tmp145;
4771#line 120
4772 __cil_tmp169 = __cil_tmp168 + __cil_tmp138;
4773#line 120
4774 __cil_tmp170 = __cil_tmp169 + __cil_tmp131;
4775#line 120
4776 __cil_tmp171 = __cil_tmp170 + __cil_tmp124;
4777#line 120
4778 __cil_tmp172 = __cil_tmp171 + __cil_tmp117;
4779#line 120
4780 __cil_tmp173 = __cil_tmp172 + __cil_tmp110;
4781#line 120
4782 __cil_tmp174 = 1ULL << 7;
4783#line 120
4784 __cil_tmp175 = 72057594037927935UL >> 32;
4785#line 120
4786 __cil_tmp176 = __cil_tmp175 >> 8;
4787#line 120
4788 __cil_tmp177 = (unsigned long long )__cil_tmp176;
4789#line 120
4790 __cil_tmp178 = __cil_tmp177 & __cil_tmp174;
4791#line 120
4792 __cil_tmp179 = ! __cil_tmp178;
4793#line 120
4794 __cil_tmp180 = ! __cil_tmp179;
4795#line 120
4796 __cil_tmp181 = 1ULL << 6;
4797#line 120
4798 __cil_tmp182 = 72057594037927935UL >> 32;
4799#line 120
4800 __cil_tmp183 = __cil_tmp182 >> 8;
4801#line 120
4802 __cil_tmp184 = (unsigned long long )__cil_tmp183;
4803#line 120
4804 __cil_tmp185 = __cil_tmp184 & __cil_tmp181;
4805#line 120
4806 __cil_tmp186 = ! __cil_tmp185;
4807#line 120
4808 __cil_tmp187 = ! __cil_tmp186;
4809#line 120
4810 __cil_tmp188 = 1ULL << 5;
4811#line 120
4812 __cil_tmp189 = 72057594037927935UL >> 32;
4813#line 120
4814 __cil_tmp190 = __cil_tmp189 >> 8;
4815#line 120
4816 __cil_tmp191 = (unsigned long long )__cil_tmp190;
4817#line 120
4818 __cil_tmp192 = __cil_tmp191 & __cil_tmp188;
4819#line 120
4820 __cil_tmp193 = ! __cil_tmp192;
4821#line 120
4822 __cil_tmp194 = ! __cil_tmp193;
4823#line 120
4824 __cil_tmp195 = 1ULL << 4;
4825#line 120
4826 __cil_tmp196 = 72057594037927935UL >> 32;
4827#line 120
4828 __cil_tmp197 = __cil_tmp196 >> 8;
4829#line 120
4830 __cil_tmp198 = (unsigned long long )__cil_tmp197;
4831#line 120
4832 __cil_tmp199 = __cil_tmp198 & __cil_tmp195;
4833#line 120
4834 __cil_tmp200 = ! __cil_tmp199;
4835#line 120
4836 __cil_tmp201 = ! __cil_tmp200;
4837#line 120
4838 __cil_tmp202 = 1ULL << 3;
4839#line 120
4840 __cil_tmp203 = 72057594037927935UL >> 32;
4841#line 120
4842 __cil_tmp204 = __cil_tmp203 >> 8;
4843#line 120
4844 __cil_tmp205 = (unsigned long long )__cil_tmp204;
4845#line 120
4846 __cil_tmp206 = __cil_tmp205 & __cil_tmp202;
4847#line 120
4848 __cil_tmp207 = ! __cil_tmp206;
4849#line 120
4850 __cil_tmp208 = ! __cil_tmp207;
4851#line 120
4852 __cil_tmp209 = 1ULL << 2;
4853#line 120
4854 __cil_tmp210 = 72057594037927935UL >> 32;
4855#line 120
4856 __cil_tmp211 = __cil_tmp210 >> 8;
4857#line 120
4858 __cil_tmp212 = (unsigned long long )__cil_tmp211;
4859#line 120
4860 __cil_tmp213 = __cil_tmp212 & __cil_tmp209;
4861#line 120
4862 __cil_tmp214 = ! __cil_tmp213;
4863#line 120
4864 __cil_tmp215 = ! __cil_tmp214;
4865#line 120
4866 __cil_tmp216 = 1ULL << 1;
4867#line 120
4868 __cil_tmp217 = 72057594037927935UL >> 32;
4869#line 120
4870 __cil_tmp218 = __cil_tmp217 >> 8;
4871#line 120
4872 __cil_tmp219 = (unsigned long long )__cil_tmp218;
4873#line 120
4874 __cil_tmp220 = __cil_tmp219 & __cil_tmp216;
4875#line 120
4876 __cil_tmp221 = ! __cil_tmp220;
4877#line 120
4878 __cil_tmp222 = ! __cil_tmp221;
4879#line 120
4880 __cil_tmp223 = 72057594037927935UL >> 32;
4881#line 120
4882 __cil_tmp224 = __cil_tmp223 >> 8;
4883#line 120
4884 __cil_tmp225 = (unsigned long long )__cil_tmp224;
4885#line 120
4886 __cil_tmp226 = __cil_tmp225 & 1ULL;
4887#line 120
4888 __cil_tmp227 = ! __cil_tmp226;
4889#line 120
4890 __cil_tmp228 = ! __cil_tmp227;
4891#line 120
4892 __cil_tmp229 = __cil_tmp228 + __cil_tmp222;
4893#line 120
4894 __cil_tmp230 = __cil_tmp229 + __cil_tmp215;
4895#line 120
4896 __cil_tmp231 = __cil_tmp230 + __cil_tmp208;
4897#line 120
4898 __cil_tmp232 = __cil_tmp231 + __cil_tmp201;
4899#line 120
4900 __cil_tmp233 = __cil_tmp232 + __cil_tmp194;
4901#line 120
4902 __cil_tmp234 = __cil_tmp233 + __cil_tmp187;
4903#line 120
4904 __cil_tmp235 = __cil_tmp234 + __cil_tmp180;
4905#line 120
4906 __cil_tmp236 = 1ULL << 7;
4907#line 120
4908 __cil_tmp237 = 72057594037927935UL >> 32;
4909#line 120
4910 __cil_tmp238 = (unsigned long long )__cil_tmp237;
4911#line 120
4912 __cil_tmp239 = __cil_tmp238 & __cil_tmp236;
4913#line 120
4914 __cil_tmp240 = ! __cil_tmp239;
4915#line 120
4916 __cil_tmp241 = ! __cil_tmp240;
4917#line 120
4918 __cil_tmp242 = 1ULL << 6;
4919#line 120
4920 __cil_tmp243 = 72057594037927935UL >> 32;
4921#line 120
4922 __cil_tmp244 = (unsigned long long )__cil_tmp243;
4923#line 120
4924 __cil_tmp245 = __cil_tmp244 & __cil_tmp242;
4925#line 120
4926 __cil_tmp246 = ! __cil_tmp245;
4927#line 120
4928 __cil_tmp247 = ! __cil_tmp246;
4929#line 120
4930 __cil_tmp248 = 1ULL << 5;
4931#line 120
4932 __cil_tmp249 = 72057594037927935UL >> 32;
4933#line 120
4934 __cil_tmp250 = (unsigned long long )__cil_tmp249;
4935#line 120
4936 __cil_tmp251 = __cil_tmp250 & __cil_tmp248;
4937#line 120
4938 __cil_tmp252 = ! __cil_tmp251;
4939#line 120
4940 __cil_tmp253 = ! __cil_tmp252;
4941#line 120
4942 __cil_tmp254 = 1ULL << 4;
4943#line 120
4944 __cil_tmp255 = 72057594037927935UL >> 32;
4945#line 120
4946 __cil_tmp256 = (unsigned long long )__cil_tmp255;
4947#line 120
4948 __cil_tmp257 = __cil_tmp256 & __cil_tmp254;
4949#line 120
4950 __cil_tmp258 = ! __cil_tmp257;
4951#line 120
4952 __cil_tmp259 = ! __cil_tmp258;
4953#line 120
4954 __cil_tmp260 = 1ULL << 3;
4955#line 120
4956 __cil_tmp261 = 72057594037927935UL >> 32;
4957#line 120
4958 __cil_tmp262 = (unsigned long long )__cil_tmp261;
4959#line 120
4960 __cil_tmp263 = __cil_tmp262 & __cil_tmp260;
4961#line 120
4962 __cil_tmp264 = ! __cil_tmp263;
4963#line 120
4964 __cil_tmp265 = ! __cil_tmp264;
4965#line 120
4966 __cil_tmp266 = 1ULL << 2;
4967#line 120
4968 __cil_tmp267 = 72057594037927935UL >> 32;
4969#line 120
4970 __cil_tmp268 = (unsigned long long )__cil_tmp267;
4971#line 120
4972 __cil_tmp269 = __cil_tmp268 & __cil_tmp266;
4973#line 120
4974 __cil_tmp270 = ! __cil_tmp269;
4975#line 120
4976 __cil_tmp271 = ! __cil_tmp270;
4977#line 120
4978 __cil_tmp272 = 1ULL << 1;
4979#line 120
4980 __cil_tmp273 = 72057594037927935UL >> 32;
4981#line 120
4982 __cil_tmp274 = (unsigned long long )__cil_tmp273;
4983#line 120
4984 __cil_tmp275 = __cil_tmp274 & __cil_tmp272;
4985#line 120
4986 __cil_tmp276 = ! __cil_tmp275;
4987#line 120
4988 __cil_tmp277 = ! __cil_tmp276;
4989#line 120
4990 __cil_tmp278 = 72057594037927935UL >> 32;
4991#line 120
4992 __cil_tmp279 = (unsigned long long )__cil_tmp278;
4993#line 120
4994 __cil_tmp280 = __cil_tmp279 & 1ULL;
4995#line 120
4996 __cil_tmp281 = ! __cil_tmp280;
4997#line 120
4998 __cil_tmp282 = ! __cil_tmp281;
4999#line 120
5000 __cil_tmp283 = __cil_tmp282 + __cil_tmp277;
5001#line 120
5002 __cil_tmp284 = __cil_tmp283 + __cil_tmp271;
5003#line 120
5004 __cil_tmp285 = __cil_tmp284 + __cil_tmp265;
5005#line 120
5006 __cil_tmp286 = __cil_tmp285 + __cil_tmp259;
5007#line 120
5008 __cil_tmp287 = __cil_tmp286 + __cil_tmp253;
5009#line 120
5010 __cil_tmp288 = __cil_tmp287 + __cil_tmp247;
5011#line 120
5012 __cil_tmp289 = __cil_tmp288 + __cil_tmp241;
5013#line 120
5014 __cil_tmp290 = __cil_tmp289 + __cil_tmp235;
5015#line 120
5016 __cil_tmp291 = __cil_tmp290 + __cil_tmp173;
5017#line 120
5018 __cil_tmp292 = 1ULL << 7;
5019#line 120
5020 __cil_tmp293 = 72057594037927935UL >> 16;
5021#line 120
5022 __cil_tmp294 = __cil_tmp293 >> 8;
5023#line 120
5024 __cil_tmp295 = (unsigned long long )__cil_tmp294;
5025#line 120
5026 __cil_tmp296 = __cil_tmp295 & __cil_tmp292;
5027#line 120
5028 __cil_tmp297 = ! __cil_tmp296;
5029#line 120
5030 __cil_tmp298 = ! __cil_tmp297;
5031#line 120
5032 __cil_tmp299 = 1ULL << 6;
5033#line 120
5034 __cil_tmp300 = 72057594037927935UL >> 16;
5035#line 120
5036 __cil_tmp301 = __cil_tmp300 >> 8;
5037#line 120
5038 __cil_tmp302 = (unsigned long long )__cil_tmp301;
5039#line 120
5040 __cil_tmp303 = __cil_tmp302 & __cil_tmp299;
5041#line 120
5042 __cil_tmp304 = ! __cil_tmp303;
5043#line 120
5044 __cil_tmp305 = ! __cil_tmp304;
5045#line 120
5046 __cil_tmp306 = 1ULL << 5;
5047#line 120
5048 __cil_tmp307 = 72057594037927935UL >> 16;
5049#line 120
5050 __cil_tmp308 = __cil_tmp307 >> 8;
5051#line 120
5052 __cil_tmp309 = (unsigned long long )__cil_tmp308;
5053#line 120
5054 __cil_tmp310 = __cil_tmp309 & __cil_tmp306;
5055#line 120
5056 __cil_tmp311 = ! __cil_tmp310;
5057#line 120
5058 __cil_tmp312 = ! __cil_tmp311;
5059#line 120
5060 __cil_tmp313 = 1ULL << 4;
5061#line 120
5062 __cil_tmp314 = 72057594037927935UL >> 16;
5063#line 120
5064 __cil_tmp315 = __cil_tmp314 >> 8;
5065#line 120
5066 __cil_tmp316 = (unsigned long long )__cil_tmp315;
5067#line 120
5068 __cil_tmp317 = __cil_tmp316 & __cil_tmp313;
5069#line 120
5070 __cil_tmp318 = ! __cil_tmp317;
5071#line 120
5072 __cil_tmp319 = ! __cil_tmp318;
5073#line 120
5074 __cil_tmp320 = 1ULL << 3;
5075#line 120
5076 __cil_tmp321 = 72057594037927935UL >> 16;
5077#line 120
5078 __cil_tmp322 = __cil_tmp321 >> 8;
5079#line 120
5080 __cil_tmp323 = (unsigned long long )__cil_tmp322;
5081#line 120
5082 __cil_tmp324 = __cil_tmp323 & __cil_tmp320;
5083#line 120
5084 __cil_tmp325 = ! __cil_tmp324;
5085#line 120
5086 __cil_tmp326 = ! __cil_tmp325;
5087#line 120
5088 __cil_tmp327 = 1ULL << 2;
5089#line 120
5090 __cil_tmp328 = 72057594037927935UL >> 16;
5091#line 120
5092 __cil_tmp329 = __cil_tmp328 >> 8;
5093#line 120
5094 __cil_tmp330 = (unsigned long long )__cil_tmp329;
5095#line 120
5096 __cil_tmp331 = __cil_tmp330 & __cil_tmp327;
5097#line 120
5098 __cil_tmp332 = ! __cil_tmp331;
5099#line 120
5100 __cil_tmp333 = ! __cil_tmp332;
5101#line 120
5102 __cil_tmp334 = 1ULL << 1;
5103#line 120
5104 __cil_tmp335 = 72057594037927935UL >> 16;
5105#line 120
5106 __cil_tmp336 = __cil_tmp335 >> 8;
5107#line 120
5108 __cil_tmp337 = (unsigned long long )__cil_tmp336;
5109#line 120
5110 __cil_tmp338 = __cil_tmp337 & __cil_tmp334;
5111#line 120
5112 __cil_tmp339 = ! __cil_tmp338;
5113#line 120
5114 __cil_tmp340 = ! __cil_tmp339;
5115#line 120
5116 __cil_tmp341 = 72057594037927935UL >> 16;
5117#line 120
5118 __cil_tmp342 = __cil_tmp341 >> 8;
5119#line 120
5120 __cil_tmp343 = (unsigned long long )__cil_tmp342;
5121#line 120
5122 __cil_tmp344 = __cil_tmp343 & 1ULL;
5123#line 120
5124 __cil_tmp345 = ! __cil_tmp344;
5125#line 120
5126 __cil_tmp346 = ! __cil_tmp345;
5127#line 120
5128 __cil_tmp347 = __cil_tmp346 + __cil_tmp340;
5129#line 120
5130 __cil_tmp348 = __cil_tmp347 + __cil_tmp333;
5131#line 120
5132 __cil_tmp349 = __cil_tmp348 + __cil_tmp326;
5133#line 120
5134 __cil_tmp350 = __cil_tmp349 + __cil_tmp319;
5135#line 120
5136 __cil_tmp351 = __cil_tmp350 + __cil_tmp312;
5137#line 120
5138 __cil_tmp352 = __cil_tmp351 + __cil_tmp305;
5139#line 120
5140 __cil_tmp353 = __cil_tmp352 + __cil_tmp298;
5141#line 120
5142 __cil_tmp354 = 1ULL << 7;
5143#line 120
5144 __cil_tmp355 = 72057594037927935UL >> 16;
5145#line 120
5146 __cil_tmp356 = (unsigned long long )__cil_tmp355;
5147#line 120
5148 __cil_tmp357 = __cil_tmp356 & __cil_tmp354;
5149#line 120
5150 __cil_tmp358 = ! __cil_tmp357;
5151#line 120
5152 __cil_tmp359 = ! __cil_tmp358;
5153#line 120
5154 __cil_tmp360 = 1ULL << 6;
5155#line 120
5156 __cil_tmp361 = 72057594037927935UL >> 16;
5157#line 120
5158 __cil_tmp362 = (unsigned long long )__cil_tmp361;
5159#line 120
5160 __cil_tmp363 = __cil_tmp362 & __cil_tmp360;
5161#line 120
5162 __cil_tmp364 = ! __cil_tmp363;
5163#line 120
5164 __cil_tmp365 = ! __cil_tmp364;
5165#line 120
5166 __cil_tmp366 = 1ULL << 5;
5167#line 120
5168 __cil_tmp367 = 72057594037927935UL >> 16;
5169#line 120
5170 __cil_tmp368 = (unsigned long long )__cil_tmp367;
5171#line 120
5172 __cil_tmp369 = __cil_tmp368 & __cil_tmp366;
5173#line 120
5174 __cil_tmp370 = ! __cil_tmp369;
5175#line 120
5176 __cil_tmp371 = ! __cil_tmp370;
5177#line 120
5178 __cil_tmp372 = 1ULL << 4;
5179#line 120
5180 __cil_tmp373 = 72057594037927935UL >> 16;
5181#line 120
5182 __cil_tmp374 = (unsigned long long )__cil_tmp373;
5183#line 120
5184 __cil_tmp375 = __cil_tmp374 & __cil_tmp372;
5185#line 120
5186 __cil_tmp376 = ! __cil_tmp375;
5187#line 120
5188 __cil_tmp377 = ! __cil_tmp376;
5189#line 120
5190 __cil_tmp378 = 1ULL << 3;
5191#line 120
5192 __cil_tmp379 = 72057594037927935UL >> 16;
5193#line 120
5194 __cil_tmp380 = (unsigned long long )__cil_tmp379;
5195#line 120
5196 __cil_tmp381 = __cil_tmp380 & __cil_tmp378;
5197#line 120
5198 __cil_tmp382 = ! __cil_tmp381;
5199#line 120
5200 __cil_tmp383 = ! __cil_tmp382;
5201#line 120
5202 __cil_tmp384 = 1ULL << 2;
5203#line 120
5204 __cil_tmp385 = 72057594037927935UL >> 16;
5205#line 120
5206 __cil_tmp386 = (unsigned long long )__cil_tmp385;
5207#line 120
5208 __cil_tmp387 = __cil_tmp386 & __cil_tmp384;
5209#line 120
5210 __cil_tmp388 = ! __cil_tmp387;
5211#line 120
5212 __cil_tmp389 = ! __cil_tmp388;
5213#line 120
5214 __cil_tmp390 = 1ULL << 1;
5215#line 120
5216 __cil_tmp391 = 72057594037927935UL >> 16;
5217#line 120
5218 __cil_tmp392 = (unsigned long long )__cil_tmp391;
5219#line 120
5220 __cil_tmp393 = __cil_tmp392 & __cil_tmp390;
5221#line 120
5222 __cil_tmp394 = ! __cil_tmp393;
5223#line 120
5224 __cil_tmp395 = ! __cil_tmp394;
5225#line 120
5226 __cil_tmp396 = 72057594037927935UL >> 16;
5227#line 120
5228 __cil_tmp397 = (unsigned long long )__cil_tmp396;
5229#line 120
5230 __cil_tmp398 = __cil_tmp397 & 1ULL;
5231#line 120
5232 __cil_tmp399 = ! __cil_tmp398;
5233#line 120
5234 __cil_tmp400 = ! __cil_tmp399;
5235#line 120
5236 __cil_tmp401 = __cil_tmp400 + __cil_tmp395;
5237#line 120
5238 __cil_tmp402 = __cil_tmp401 + __cil_tmp389;
5239#line 120
5240 __cil_tmp403 = __cil_tmp402 + __cil_tmp383;
5241#line 120
5242 __cil_tmp404 = __cil_tmp403 + __cil_tmp377;
5243#line 120
5244 __cil_tmp405 = __cil_tmp404 + __cil_tmp371;
5245#line 120
5246 __cil_tmp406 = __cil_tmp405 + __cil_tmp365;
5247#line 120
5248 __cil_tmp407 = __cil_tmp406 + __cil_tmp359;
5249#line 120
5250 __cil_tmp408 = __cil_tmp407 + __cil_tmp353;
5251#line 120
5252 __cil_tmp409 = 1ULL << 7;
5253#line 120
5254 __cil_tmp410 = 72057594037927935UL >> 8;
5255#line 120
5256 __cil_tmp411 = (unsigned long long )__cil_tmp410;
5257#line 120
5258 __cil_tmp412 = __cil_tmp411 & __cil_tmp409;
5259#line 120
5260 __cil_tmp413 = ! __cil_tmp412;
5261#line 120
5262 __cil_tmp414 = ! __cil_tmp413;
5263#line 120
5264 __cil_tmp415 = 1ULL << 6;
5265#line 120
5266 __cil_tmp416 = 72057594037927935UL >> 8;
5267#line 120
5268 __cil_tmp417 = (unsigned long long )__cil_tmp416;
5269#line 120
5270 __cil_tmp418 = __cil_tmp417 & __cil_tmp415;
5271#line 120
5272 __cil_tmp419 = ! __cil_tmp418;
5273#line 120
5274 __cil_tmp420 = ! __cil_tmp419;
5275#line 120
5276 __cil_tmp421 = 1ULL << 5;
5277#line 120
5278 __cil_tmp422 = 72057594037927935UL >> 8;
5279#line 120
5280 __cil_tmp423 = (unsigned long long )__cil_tmp422;
5281#line 120
5282 __cil_tmp424 = __cil_tmp423 & __cil_tmp421;
5283#line 120
5284 __cil_tmp425 = ! __cil_tmp424;
5285#line 120
5286 __cil_tmp426 = ! __cil_tmp425;
5287#line 120
5288 __cil_tmp427 = 1ULL << 4;
5289#line 120
5290 __cil_tmp428 = 72057594037927935UL >> 8;
5291#line 120
5292 __cil_tmp429 = (unsigned long long )__cil_tmp428;
5293#line 120
5294 __cil_tmp430 = __cil_tmp429 & __cil_tmp427;
5295#line 120
5296 __cil_tmp431 = ! __cil_tmp430;
5297#line 120
5298 __cil_tmp432 = ! __cil_tmp431;
5299#line 120
5300 __cil_tmp433 = 1ULL << 3;
5301#line 120
5302 __cil_tmp434 = 72057594037927935UL >> 8;
5303#line 120
5304 __cil_tmp435 = (unsigned long long )__cil_tmp434;
5305#line 120
5306 __cil_tmp436 = __cil_tmp435 & __cil_tmp433;
5307#line 120
5308 __cil_tmp437 = ! __cil_tmp436;
5309#line 120
5310 __cil_tmp438 = ! __cil_tmp437;
5311#line 120
5312 __cil_tmp439 = 1ULL << 2;
5313#line 120
5314 __cil_tmp440 = 72057594037927935UL >> 8;
5315#line 120
5316 __cil_tmp441 = (unsigned long long )__cil_tmp440;
5317#line 120
5318 __cil_tmp442 = __cil_tmp441 & __cil_tmp439;
5319#line 120
5320 __cil_tmp443 = ! __cil_tmp442;
5321#line 120
5322 __cil_tmp444 = ! __cil_tmp443;
5323#line 120
5324 __cil_tmp445 = 1ULL << 1;
5325#line 120
5326 __cil_tmp446 = 72057594037927935UL >> 8;
5327#line 120
5328 __cil_tmp447 = (unsigned long long )__cil_tmp446;
5329#line 120
5330 __cil_tmp448 = __cil_tmp447 & __cil_tmp445;
5331#line 120
5332 __cil_tmp449 = ! __cil_tmp448;
5333#line 120
5334 __cil_tmp450 = ! __cil_tmp449;
5335#line 120
5336 __cil_tmp451 = 72057594037927935UL >> 8;
5337#line 120
5338 __cil_tmp452 = (unsigned long long )__cil_tmp451;
5339#line 120
5340 __cil_tmp453 = __cil_tmp452 & 1ULL;
5341#line 120
5342 __cil_tmp454 = ! __cil_tmp453;
5343#line 120
5344 __cil_tmp455 = ! __cil_tmp454;
5345#line 120
5346 __cil_tmp456 = __cil_tmp455 + __cil_tmp450;
5347#line 120
5348 __cil_tmp457 = __cil_tmp456 + __cil_tmp444;
5349#line 120
5350 __cil_tmp458 = __cil_tmp457 + __cil_tmp438;
5351#line 120
5352 __cil_tmp459 = __cil_tmp458 + __cil_tmp432;
5353#line 120
5354 __cil_tmp460 = __cil_tmp459 + __cil_tmp426;
5355#line 120
5356 __cil_tmp461 = __cil_tmp460 + __cil_tmp420;
5357#line 120
5358 __cil_tmp462 = __cil_tmp461 + __cil_tmp414;
5359#line 120
5360 __cil_tmp463 = 1ULL << 7;
5361#line 120
5362 __cil_tmp464 = 72057594037927935ULL & __cil_tmp463;
5363#line 120
5364 __cil_tmp465 = ! __cil_tmp464;
5365#line 120
5366 __cil_tmp466 = ! __cil_tmp465;
5367#line 120
5368 __cil_tmp467 = 1ULL << 6;
5369#line 120
5370 __cil_tmp468 = 72057594037927935ULL & __cil_tmp467;
5371#line 120
5372 __cil_tmp469 = ! __cil_tmp468;
5373#line 120
5374 __cil_tmp470 = ! __cil_tmp469;
5375#line 120
5376 __cil_tmp471 = 1ULL << 5;
5377#line 120
5378 __cil_tmp472 = 72057594037927935ULL & __cil_tmp471;
5379#line 120
5380 __cil_tmp473 = ! __cil_tmp472;
5381#line 120
5382 __cil_tmp474 = ! __cil_tmp473;
5383#line 120
5384 __cil_tmp475 = 1ULL << 4;
5385#line 120
5386 __cil_tmp476 = 72057594037927935ULL & __cil_tmp475;
5387#line 120
5388 __cil_tmp477 = ! __cil_tmp476;
5389#line 120
5390 __cil_tmp478 = ! __cil_tmp477;
5391#line 120
5392 __cil_tmp479 = 1ULL << 3;
5393#line 120
5394 __cil_tmp480 = 72057594037927935ULL & __cil_tmp479;
5395#line 120
5396 __cil_tmp481 = ! __cil_tmp480;
5397#line 120
5398 __cil_tmp482 = ! __cil_tmp481;
5399#line 120
5400 __cil_tmp483 = 1ULL << 2;
5401#line 120
5402 __cil_tmp484 = 72057594037927935ULL & __cil_tmp483;
5403#line 120
5404 __cil_tmp485 = ! __cil_tmp484;
5405#line 120
5406 __cil_tmp486 = ! __cil_tmp485;
5407#line 120
5408 __cil_tmp487 = 1ULL << 1;
5409#line 120
5410 __cil_tmp488 = 72057594037927935ULL & __cil_tmp487;
5411#line 120
5412 __cil_tmp489 = ! __cil_tmp488;
5413#line 120
5414 __cil_tmp490 = ! __cil_tmp489;
5415#line 120
5416 __cil_tmp491 = 1 + __cil_tmp490;
5417#line 120
5418 __cil_tmp492 = __cil_tmp491 + __cil_tmp486;
5419#line 120
5420 __cil_tmp493 = __cil_tmp492 + __cil_tmp482;
5421#line 120
5422 __cil_tmp494 = __cil_tmp493 + __cil_tmp478;
5423#line 120
5424 __cil_tmp495 = __cil_tmp494 + __cil_tmp474;
5425#line 120
5426 __cil_tmp496 = __cil_tmp495 + __cil_tmp470;
5427#line 120
5428 __cil_tmp497 = __cil_tmp496 + __cil_tmp466;
5429#line 120
5430 __cil_tmp498 = __cil_tmp497 + __cil_tmp462;
5431#line 120
5432 __cil_tmp499 = __cil_tmp498 + __cil_tmp408;
5433#line 120
5434 __cil_tmp500 = __cil_tmp499 + __cil_tmp291;
5435#line 120
5436 __cil_tmp501 = (unsigned long )__cil_tmp500;
5437#line 120
5438 ret = (int )__cil_tmp501;
5439 }
5440#line 121
5441 goto switch_break;
5442 case_exp___3:
5443 {
5444#line 124
5445 __cil_tmp504 = 109 << 8;
5446#line 124
5447 __cil_tmp505 = (unsigned int )__cil_tmp504;
5448#line 124
5449 ret = 1;
5450 }
5451#line 125
5452 goto switch_break;
5453 case_exp___4:
5454 {
5455#line 128
5456 __cil_tmp510 = 8UL << 16;
5457#line 128
5458 __cil_tmp511 = 109 << 8;
5459#line 128
5460 __cil_tmp512 = (unsigned int )__cil_tmp511;
5461#line 128
5462 __cil_tmp513 = 2U << 30;
5463#line 128
5464 __cil_tmp514 = __cil_tmp513 | __cil_tmp512;
5465#line 128
5466 __cil_tmp515 = __cil_tmp514 | 9U;
5467#line 128
5468 __cil_tmp516 = (unsigned long )__cil_tmp515;
5469 {
5470#line 128
5471 tmp___12 = uv_local_mmr_address(3407872UL);
5472#line 128
5473 __cil_tmp506 = (unsigned long *)arg;
5474#line 128
5475 __cil_tmp507 = (void *)__cil_tmp506;
5476#line 128
5477 __cil_tmp508 = (void const *)tmp___12;
5478#line 128
5479 __cil_tmp509 = (unsigned int )8UL;
5480#line 128
5481 tmp___13 = (int )copy_to_user(__cil_tmp507, __cil_tmp508, __cil_tmp509);
5482 }
5483 }
5484#line 128
5485 if (tmp___13) {
5486#line 131
5487 ret = -14;
5488 } else {
5489
5490 }
5491#line 132
5492 goto switch_break;
5493 switch_default:
5494#line 134
5495 ret = -25;
5496#line 135
5497 goto switch_break;
5498 } else {
5499 switch_break: ;
5500 }
5501 }
5502 }
5503#line 137
5504 return ((long )ret);
5505}
5506}
5507#line 148 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
5508static int uv_mmtimer_mmap(struct file *file , struct vm_area_struct *vma )
5509{ unsigned long uv_mmtimer_addr ;
5510 pgprot_t __constr_expr_0 ;
5511 unsigned long tmp___8 ;
5512 int tmp___9 ;
5513 int tmp___10 ;
5514 unsigned long __cil_tmp9 ;
5515 unsigned long __cil_tmp10 ;
5516 unsigned long __cil_tmp11 ;
5517 unsigned long __cil_tmp12 ;
5518 unsigned long __cil_tmp13 ;
5519 unsigned long __cil_tmp14 ;
5520 unsigned long __cil_tmp15 ;
5521 unsigned long __cil_tmp16 ;
5522 unsigned long __cil_tmp17 ;
5523 unsigned long __cil_tmp18 ;
5524 unsigned long __cil_tmp19 ;
5525 int __cil_tmp20 ;
5526 unsigned long __cil_tmp21 ;
5527 unsigned long __cil_tmp22 ;
5528 struct cpuinfo_x86 *__cil_tmp23 ;
5529 __u8 __cil_tmp24 ;
5530 int __cil_tmp25 ;
5531 pteval_t __cil_tmp26 ;
5532 unsigned long __cil_tmp27 ;
5533 unsigned long __cil_tmp28 ;
5534 pgprotval_t __cil_tmp29 ;
5535 unsigned long __cil_tmp30 ;
5536 unsigned long __cil_tmp31 ;
5537 unsigned long __cil_tmp32 ;
5538 unsigned long __cil_tmp33 ;
5539 unsigned long __cil_tmp34 ;
5540 unsigned long __cil_tmp35 ;
5541 unsigned long __cil_tmp36 ;
5542 unsigned long __cil_tmp37 ;
5543 unsigned long __cil_tmp38 ;
5544 unsigned long __cil_tmp39 ;
5545 unsigned long __cil_tmp40 ;
5546 unsigned long __cil_tmp41 ;
5547 unsigned long __cil_tmp42 ;
5548 unsigned long __cil_tmp43 ;
5549 unsigned long __cil_tmp44 ;
5550 unsigned long __cil_tmp45 ;
5551 pgprot_t __cil_tmp46 ;
5552 pgprotval_t __constr_expr_0_pgprot47 ;
5553 pgprotval_t __cil_tmp46_pgprot48 ;
5554 pgprotval_t __cil_tmp49 ;
5555
5556 {
5557 {
5558#line 152
5559 __cil_tmp9 = 1UL << 12;
5560#line 152
5561 __cil_tmp10 = (unsigned long )vma;
5562#line 152
5563 __cil_tmp11 = __cil_tmp10 + 8;
5564#line 152
5565 __cil_tmp12 = *((unsigned long *)__cil_tmp11);
5566#line 152
5567 __cil_tmp13 = (unsigned long )vma;
5568#line 152
5569 __cil_tmp14 = __cil_tmp13 + 16;
5570#line 152
5571 __cil_tmp15 = *((unsigned long *)__cil_tmp14);
5572#line 152
5573 __cil_tmp16 = __cil_tmp15 - __cil_tmp12;
5574#line 152
5575 if (__cil_tmp16 != __cil_tmp9) {
5576#line 153
5577 return (-22);
5578 } else {
5579
5580 }
5581 }
5582 {
5583#line 155
5584 __cil_tmp17 = (unsigned long )vma;
5585#line 155
5586 __cil_tmp18 = __cil_tmp17 + 48;
5587#line 155
5588 __cil_tmp19 = *((unsigned long *)__cil_tmp18);
5589#line 155
5590 if (__cil_tmp19 & 2UL) {
5591#line 156
5592 return (-1);
5593 } else {
5594
5595 }
5596 }
5597 {
5598#line 158
5599 __cil_tmp20 = 1 << 16;
5600#line 158
5601 __cil_tmp21 = (unsigned long )__cil_tmp20;
5602#line 158
5603 __cil_tmp22 = 1UL << 12;
5604#line 158
5605 if (__cil_tmp22 > __cil_tmp21) {
5606#line 159
5607 return (-38);
5608 } else {
5609
5610 }
5611 }
5612 {
5613#line 161
5614 __cil_tmp23 = & boot_cpu_data;
5615#line 161
5616 __cil_tmp24 = *((__u8 *)__cil_tmp23);
5617#line 161
5618 __cil_tmp25 = (int )__cil_tmp24;
5619#line 161
5620 if (__cil_tmp25 > 3) {
5621#line 161
5622 __cil_tmp26 = 1UL << 4;
5623#line 161
5624 __cil_tmp27 = (unsigned long )vma;
5625#line 161
5626 __cil_tmp28 = __cil_tmp27 + 40;
5627#line 161
5628 __cil_tmp29 = *((pgprotval_t *)__cil_tmp28);
5629#line 161
5630 __constr_expr_0_pgprot47 = __cil_tmp29 | __cil_tmp26;
5631#line 161
5632 __cil_tmp30 = (unsigned long )vma;
5633#line 161
5634 __cil_tmp31 = __cil_tmp30 + 40;
5635#line 161
5636 ((pgprot_t *)__cil_tmp31)->pgprot = __constr_expr_0_pgprot47;
5637 } else {
5638#line 161
5639 __cil_tmp32 = (unsigned long )vma;
5640#line 161
5641 __cil_tmp33 = __cil_tmp32 + 40;
5642#line 161
5643 __cil_tmp34 = (unsigned long )vma;
5644#line 161
5645 __cil_tmp35 = __cil_tmp34 + 40;
5646#line 161
5647 *((pgprot_t *)__cil_tmp33) = *((pgprot_t *)__cil_tmp35);
5648 }
5649 }
5650 {
5651#line 163
5652 tmp___9 = is_uv1_hub();
5653 }
5654#line 163
5655 if (tmp___9) {
5656#line 163
5657 tmp___8 = 4093640704UL;
5658 } else {
5659#line 163
5660 tmp___8 = 4194304000UL;
5661 }
5662 {
5663#line 163
5664 uv_mmtimer_addr = tmp___8 | 3407872UL;
5665#line 164
5666 __cil_tmp36 = 1UL << 12;
5667#line 164
5668 __cil_tmp37 = __cil_tmp36 - 1UL;
5669#line 164
5670 __cil_tmp38 = ~ __cil_tmp37;
5671#line 164
5672 uv_mmtimer_addr = uv_mmtimer_addr & __cil_tmp38;
5673#line 165
5674 uv_mmtimer_addr = uv_mmtimer_addr & 1152921504606846975UL;
5675#line 167
5676 __cil_tmp39 = (unsigned long )vma;
5677#line 167
5678 __cil_tmp40 = __cil_tmp39 + 8;
5679#line 167
5680 __cil_tmp41 = *((unsigned long *)__cil_tmp40);
5681#line 167
5682 __cil_tmp42 = uv_mmtimer_addr >> 12;
5683#line 167
5684 __cil_tmp43 = 1UL << 12;
5685#line 167
5686 __cil_tmp44 = (unsigned long )vma;
5687#line 167
5688 __cil_tmp45 = __cil_tmp44 + 40;
5689#line 167
5690 __cil_tmp49 = ((pgprot_t *)__cil_tmp45)->pgprot;
5691#line 167
5692 __cil_tmp46_pgprot48 = __cil_tmp49;
5693#line 167
5694 tmp___10 = remap_pfn_range(vma, __cil_tmp41, __cil_tmp42, __cil_tmp43, __cil_tmp46_pgprot48);
5695 }
5696#line 167
5697 if (tmp___10) {
5698 {
5699#line 169
5700 printk("<3>remap_pfn_range failed in uv_mmtimer_mmap\n");
5701 }
5702#line 170
5703 return (-11);
5704 } else {
5705
5706 }
5707#line 173
5708 return (0);
5709}
5710}
5711#line 176 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
5712static struct miscdevice uv_mmtimer_miscdev =
5713#line 176
5714 {255, "mmtimer", & uv_mmtimer_fops, {(struct list_head *)0, (struct list_head *)0},
5715 (struct device *)0, (struct device *)0, (char const *)0, (unsigned short)0};
5716#line 188
5717static int uv_mmtimer_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
5718#line 188 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
5719static int uv_mmtimer_init(void)
5720{ int tmp___7 ;
5721 int tmp___8 ;
5722 unsigned long *__cil_tmp3 ;
5723 unsigned long __cil_tmp4 ;
5724 unsigned long *__cil_tmp5 ;
5725 unsigned long *__cil_tmp6 ;
5726 unsigned long __cil_tmp7 ;
5727 unsigned long *__cil_tmp8 ;
5728 unsigned long __cil_tmp9 ;
5729 unsigned long __cil_tmp10 ;
5730 unsigned long __cil_tmp11 ;
5731 unsigned long __cil_tmp12 ;
5732 unsigned long __cil_tmp13 ;
5733 unsigned long *__cil_tmp14 ;
5734 unsigned long __cil_tmp15 ;
5735 unsigned long __cil_tmp16 ;
5736
5737 {
5738 {
5739#line 190
5740 tmp___7 = is_uv_system();
5741 }
5742#line 190
5743 if (tmp___7) {
5744
5745 } else {
5746 {
5747#line 191
5748 printk("<3>%s: Hardware unsupported\n", "mmtimer");
5749 }
5750#line 192
5751 return (-1);
5752 }
5753 {
5754#line 198
5755 __cil_tmp3 = & sn_rtc_cycles_per_second;
5756#line 198
5757 __cil_tmp4 = *__cil_tmp3;
5758#line 198
5759 if (__cil_tmp4 < 100000UL) {
5760 {
5761#line 199
5762 printk("<3>%s: unable to determine clock frequency\n", "mmtimer");
5763 }
5764#line 201
5765 return (-1);
5766 } else {
5767
5768 }
5769 }
5770 {
5771#line 204
5772 __cil_tmp5 = & uv_mmtimer_femtoperiod;
5773#line 204
5774 __cil_tmp6 = & sn_rtc_cycles_per_second;
5775#line 204
5776 __cil_tmp7 = *__cil_tmp6;
5777#line 204
5778 __cil_tmp8 = & sn_rtc_cycles_per_second;
5779#line 204
5780 __cil_tmp9 = *__cil_tmp8;
5781#line 204
5782 __cil_tmp10 = __cil_tmp9 / 2UL;
5783#line 204
5784 __cil_tmp11 = (unsigned long )1E15;
5785#line 204
5786 __cil_tmp12 = __cil_tmp11 + __cil_tmp10;
5787#line 204
5788 *__cil_tmp5 = __cil_tmp12 / __cil_tmp7;
5789#line 208
5790 tmp___8 = misc_register(& uv_mmtimer_miscdev);
5791 }
5792#line 208
5793 if (tmp___8) {
5794 {
5795#line 209
5796 printk("<3>%s: failed to register device\n", "mmtimer");
5797 }
5798#line 211
5799 return (-1);
5800 } else {
5801
5802 }
5803 {
5804#line 214
5805 __cil_tmp13 = (unsigned long )1E6;
5806#line 214
5807 __cil_tmp14 = & sn_rtc_cycles_per_second;
5808#line 214
5809 __cil_tmp15 = *__cil_tmp14;
5810#line 214
5811 __cil_tmp16 = __cil_tmp15 / __cil_tmp13;
5812#line 214
5813 printk("<6>%s: v%s, %ld MHz\n", "SGI UV Memory Mapped RTC Timer", "1.0", __cil_tmp16);
5814 }
5815#line 218
5816 return (0);
5817}
5818}
5819#line 221 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
5820int init_module(void)
5821{ int tmp___7 ;
5822
5823 {
5824 {
5825#line 221
5826 tmp___7 = uv_mmtimer_init();
5827 }
5828#line 221
5829 return (tmp___7);
5830}
5831}
5832#line 239
5833void ldv_check_final_state(void) ;
5834#line 245
5835extern void ldv_initialize(void) ;
5836#line 248
5837extern int __VERIFIER_nondet_int(void) ;
5838#line 251 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
5839int LDV_IN_INTERRUPT ;
5840#line 254 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
5841void main(void)
5842{ struct file *var_group1 ;
5843 struct vm_area_struct *var_group2 ;
5844 unsigned int var_uv_mmtimer_ioctl_0_p1 ;
5845 unsigned long var_uv_mmtimer_ioctl_0_p2 ;
5846 int tmp___7 ;
5847 int tmp___8 ;
5848 int tmp___9 ;
5849
5850 {
5851 {
5852#line 288
5853 LDV_IN_INTERRUPT = 1;
5854#line 297
5855 ldv_initialize();
5856#line 307
5857 tmp___7 = uv_mmtimer_init();
5858 }
5859#line 307
5860 if (tmp___7) {
5861#line 308
5862 goto ldv_module_exit;
5863 } else {
5864
5865 }
5866 {
5867#line 312
5868 while (1) {
5869 while_continue: ;
5870 {
5871#line 312
5872 tmp___9 = __VERIFIER_nondet_int();
5873 }
5874#line 312
5875 if (tmp___9) {
5876
5877 } else {
5878#line 312
5879 goto while_break;
5880 }
5881 {
5882#line 315
5883 tmp___8 = __VERIFIER_nondet_int();
5884 }
5885#line 317
5886 if (tmp___8 == 0) {
5887#line 317
5888 goto case_0;
5889 } else
5890#line 337
5891 if (tmp___8 == 1) {
5892#line 337
5893 goto case_1;
5894 } else {
5895 {
5896#line 357
5897 goto switch_default;
5898#line 315
5899 if (0) {
5900 case_0:
5901 {
5902#line 329
5903 uv_mmtimer_mmap(var_group1, var_group2);
5904 }
5905#line 336
5906 goto switch_break;
5907 case_1:
5908 {
5909#line 349
5910 uv_mmtimer_ioctl(var_group1, var_uv_mmtimer_ioctl_0_p1, var_uv_mmtimer_ioctl_0_p2);
5911 }
5912#line 356
5913 goto switch_break;
5914 switch_default:
5915#line 357
5916 goto switch_break;
5917 } else {
5918 switch_break: ;
5919 }
5920 }
5921 }
5922 }
5923 while_break: ;
5924 }
5925 ldv_module_exit:
5926 {
5927#line 366
5928 ldv_check_final_state();
5929 }
5930#line 369
5931 return;
5932}
5933}
5934#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast-assert.h"
5935void ldv_blast_assert(void)
5936{
5937
5938 {
5939 ERROR:
5940#line 6
5941 goto ERROR;
5942}
5943}
5944#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/engine-blast.h"
5945extern int __VERIFIER_nondet_int(void) ;
5946#line 19 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5947int ldv_mutex = 1;
5948#line 22 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5949int __attribute__((__warn_unused_result__)) mutex_lock_interruptible(struct mutex *lock )
5950{ int nondetermined ;
5951
5952 {
5953#line 29
5954 if (ldv_mutex == 1) {
5955
5956 } else {
5957 {
5958#line 29
5959 ldv_blast_assert();
5960 }
5961 }
5962 {
5963#line 32
5964 nondetermined = __VERIFIER_nondet_int();
5965 }
5966#line 35
5967 if (nondetermined) {
5968#line 38
5969 ldv_mutex = 2;
5970#line 40
5971 return (0);
5972 } else {
5973#line 45
5974 return (-4);
5975 }
5976}
5977}
5978#line 50 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
5979int __attribute__((__warn_unused_result__)) mutex_lock_killable(struct mutex *lock )
5980{ int nondetermined ;
5981
5982 {
5983#line 57
5984 if (ldv_mutex == 1) {
5985
5986 } else {
5987 {
5988#line 57
5989 ldv_blast_assert();
5990 }
5991 }
5992 {
5993#line 60
5994 nondetermined = __VERIFIER_nondet_int();
5995 }
5996#line 63
5997 if (nondetermined) {
5998#line 66
5999 ldv_mutex = 2;
6000#line 68
6001 return (0);
6002 } else {
6003#line 73
6004 return (-4);
6005 }
6006}
6007}
6008#line 78 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6009int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock )
6010{ int atomic_value_after_dec ;
6011
6012 {
6013#line 83
6014 if (ldv_mutex == 1) {
6015
6016 } else {
6017 {
6018#line 83
6019 ldv_blast_assert();
6020 }
6021 }
6022 {
6023#line 86
6024 atomic_value_after_dec = __VERIFIER_nondet_int();
6025 }
6026#line 89
6027 if (atomic_value_after_dec == 0) {
6028#line 92
6029 ldv_mutex = 2;
6030#line 94
6031 return (1);
6032 } else {
6033
6034 }
6035#line 98
6036 return (0);
6037}
6038}
6039#line 103 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6040void mutex_lock(struct mutex *lock )
6041{
6042
6043 {
6044#line 108
6045 if (ldv_mutex == 1) {
6046
6047 } else {
6048 {
6049#line 108
6050 ldv_blast_assert();
6051 }
6052 }
6053#line 110
6054 ldv_mutex = 2;
6055#line 111
6056 return;
6057}
6058}
6059#line 114 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6060int mutex_trylock(struct mutex *lock )
6061{ int nondetermined ;
6062
6063 {
6064#line 121
6065 if (ldv_mutex == 1) {
6066
6067 } else {
6068 {
6069#line 121
6070 ldv_blast_assert();
6071 }
6072 }
6073 {
6074#line 124
6075 nondetermined = __VERIFIER_nondet_int();
6076 }
6077#line 127
6078 if (nondetermined) {
6079#line 130
6080 ldv_mutex = 2;
6081#line 132
6082 return (1);
6083 } else {
6084#line 137
6085 return (0);
6086 }
6087}
6088}
6089#line 142 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6090void mutex_unlock(struct mutex *lock )
6091{
6092
6093 {
6094#line 147
6095 if (ldv_mutex == 2) {
6096
6097 } else {
6098 {
6099#line 147
6100 ldv_blast_assert();
6101 }
6102 }
6103#line 149
6104 ldv_mutex = 1;
6105#line 150
6106 return;
6107}
6108}
6109#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/kernel-rules/files/model0032.c"
6110void ldv_check_final_state(void)
6111{
6112
6113 {
6114#line 156
6115 if (ldv_mutex == 1) {
6116
6117 } else {
6118 {
6119#line 156
6120 ldv_blast_assert();
6121 }
6122 }
6123#line 157
6124 return;
6125}
6126}
6127#line 378 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/16707/dscv_tempdir/dscv/ri/32_1/drivers/char/uv_mmtimer.c.common.c"
6128long s__builtin_expect(long val , long res )
6129{
6130
6131 {
6132#line 379
6133 return (val);
6134}
6135}