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