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