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