1
2
3
4#line 19 "include/asm-generic/int-ll64.h"
5typedef signed char __s8;
6#line 22 "include/asm-generic/int-ll64.h"
7typedef short __s16;
8#line 23 "include/asm-generic/int-ll64.h"
9typedef unsigned short __u16;
10#line 25 "include/asm-generic/int-ll64.h"
11typedef int __s32;
12#line 26 "include/asm-generic/int-ll64.h"
13typedef unsigned int __u32;
14#line 30 "include/asm-generic/int-ll64.h"
15typedef unsigned long long __u64;
16#line 43 "include/asm-generic/int-ll64.h"
17typedef unsigned char u8;
18#line 45 "include/asm-generic/int-ll64.h"
19typedef short s16;
20#line 46 "include/asm-generic/int-ll64.h"
21typedef unsigned short u16;
22#line 48 "include/asm-generic/int-ll64.h"
23typedef int s32;
24#line 49 "include/asm-generic/int-ll64.h"
25typedef unsigned int u32;
26#line 51 "include/asm-generic/int-ll64.h"
27typedef long long s64;
28#line 52 "include/asm-generic/int-ll64.h"
29typedef unsigned long long u64;
30#line 14 "include/asm-generic/posix_types.h"
31typedef long __kernel_long_t;
32#line 15 "include/asm-generic/posix_types.h"
33typedef unsigned long __kernel_ulong_t;
34#line 44 "include/asm-generic/posix_types.h"
35typedef __kernel_long_t __kernel_suseconds_t;
36#line 52 "include/asm-generic/posix_types.h"
37typedef unsigned int __kernel_uid32_t;
38#line 53 "include/asm-generic/posix_types.h"
39typedef unsigned int __kernel_gid32_t;
40#line 75 "include/asm-generic/posix_types.h"
41typedef __kernel_ulong_t __kernel_size_t;
42#line 76 "include/asm-generic/posix_types.h"
43typedef __kernel_long_t __kernel_ssize_t;
44#line 91 "include/asm-generic/posix_types.h"
45typedef long long __kernel_loff_t;
46#line 92 "include/asm-generic/posix_types.h"
47typedef __kernel_long_t __kernel_time_t;
48#line 21 "include/linux/types.h"
49typedef __u32 __kernel_dev_t;
50#line 24 "include/linux/types.h"
51typedef __kernel_dev_t dev_t;
52#line 27 "include/linux/types.h"
53typedef unsigned short umode_t;
54#line 38 "include/linux/types.h"
55typedef _Bool bool;
56#line 40 "include/linux/types.h"
57typedef __kernel_uid32_t uid_t;
58#line 41 "include/linux/types.h"
59typedef __kernel_gid32_t gid_t;
60#line 54 "include/linux/types.h"
61typedef __kernel_loff_t loff_t;
62#line 63 "include/linux/types.h"
63typedef __kernel_size_t size_t;
64#line 68 "include/linux/types.h"
65typedef __kernel_ssize_t ssize_t;
66#line 78 "include/linux/types.h"
67typedef __kernel_time_t time_t;
68#line 142 "include/linux/types.h"
69typedef unsigned long sector_t;
70#line 143 "include/linux/types.h"
71typedef unsigned long blkcnt_t;
72#line 155 "include/linux/types.h"
73typedef u64 dma_addr_t;
74#line 202 "include/linux/types.h"
75typedef unsigned int gfp_t;
76#line 203 "include/linux/types.h"
77typedef unsigned int fmode_t;
78#line 221 "include/linux/types.h"
79struct __anonstruct_atomic_t_6 {
80 int counter ;
81};
82#line 221 "include/linux/types.h"
83typedef struct __anonstruct_atomic_t_6 atomic_t;
84#line 226 "include/linux/types.h"
85struct __anonstruct_atomic64_t_7 {
86 long counter ;
87};
88#line 226 "include/linux/types.h"
89typedef struct __anonstruct_atomic64_t_7 atomic64_t;
90#line 227 "include/linux/types.h"
91struct list_head {
92 struct list_head *next ;
93 struct list_head *prev ;
94};
95#line 232
96struct hlist_node;
97#line 232 "include/linux/types.h"
98struct hlist_head {
99 struct hlist_node *first ;
100};
101#line 236 "include/linux/types.h"
102struct hlist_node {
103 struct hlist_node *next ;
104 struct hlist_node **pprev ;
105};
106#line 247 "include/linux/types.h"
107struct rcu_head {
108 struct rcu_head *next ;
109 void (*func)(struct rcu_head * ) ;
110};
111#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
112struct module;
113#line 55
114struct module;
115#line 146 "include/linux/init.h"
116typedef void (*ctor_fn_t)(void);
117#line 46 "include/linux/dynamic_debug.h"
118struct device;
119#line 46
120struct device;
121#line 57
122struct completion;
123#line 57
124struct completion;
125#line 348 "include/linux/kernel.h"
126struct pid;
127#line 348
128struct pid;
129#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h"
130struct timespec;
131#line 112
132struct timespec;
133#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h"
134struct page;
135#line 58
136struct page;
137#line 26 "include/asm-generic/getorder.h"
138struct task_struct;
139#line 26
140struct task_struct;
141#line 28
142struct mm_struct;
143#line 28
144struct mm_struct;
145#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
146typedef unsigned long pgdval_t;
147#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
148typedef unsigned long pgprotval_t;
149#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
150struct pgprot {
151 pgprotval_t pgprot ;
152};
153#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
154typedef struct pgprot pgprot_t;
155#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
156struct __anonstruct_pgd_t_16 {
157 pgdval_t pgd ;
158};
159#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
160typedef struct __anonstruct_pgd_t_16 pgd_t;
161#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
162typedef struct page *pgtable_t;
163#line 290
164struct file;
165#line 290
166struct file;
167#line 305
168struct seq_file;
169#line 305
170struct seq_file;
171#line 339
172struct cpumask;
173#line 339
174struct cpumask;
175#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
176struct arch_spinlock;
177#line 327
178struct arch_spinlock;
179#line 306 "include/linux/bitmap.h"
180struct bug_entry {
181 int bug_addr_disp ;
182 int file_disp ;
183 unsigned short line ;
184 unsigned short flags ;
185};
186#line 89 "include/linux/bug.h"
187struct cpumask {
188 unsigned long bits[64U] ;
189};
190#line 637 "include/linux/cpumask.h"
191typedef struct cpumask *cpumask_var_t;
192#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
193struct static_key;
194#line 234
195struct static_key;
196#line 433 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
197struct kmem_cache;
198#line 23 "include/asm-generic/atomic-long.h"
199typedef atomic64_t atomic_long_t;
200#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
201typedef u16 __ticket_t;
202#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
203typedef u32 __ticketpair_t;
204#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
205struct __raw_tickets {
206 __ticket_t head ;
207 __ticket_t tail ;
208};
209#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
210union __anonunion_ldv_5907_29 {
211 __ticketpair_t head_tail ;
212 struct __raw_tickets tickets ;
213};
214#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
215struct arch_spinlock {
216 union __anonunion_ldv_5907_29 ldv_5907 ;
217};
218#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
219typedef struct arch_spinlock arch_spinlock_t;
220#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
221struct __anonstruct_ldv_5914_31 {
222 u32 read ;
223 s32 write ;
224};
225#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
226union __anonunion_arch_rwlock_t_30 {
227 s64 lock ;
228 struct __anonstruct_ldv_5914_31 ldv_5914 ;
229};
230#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
231typedef union __anonunion_arch_rwlock_t_30 arch_rwlock_t;
232#line 34
233struct lockdep_map;
234#line 34
235struct lockdep_map;
236#line 55 "include/linux/debug_locks.h"
237struct stack_trace {
238 unsigned int nr_entries ;
239 unsigned int max_entries ;
240 unsigned long *entries ;
241 int skip ;
242};
243#line 26 "include/linux/stacktrace.h"
244struct lockdep_subclass_key {
245 char __one_byte ;
246};
247#line 53 "include/linux/lockdep.h"
248struct lock_class_key {
249 struct lockdep_subclass_key subkeys[8U] ;
250};
251#line 59 "include/linux/lockdep.h"
252struct lock_class {
253 struct list_head hash_entry ;
254 struct list_head lock_entry ;
255 struct lockdep_subclass_key *key ;
256 unsigned int subclass ;
257 unsigned int dep_gen_id ;
258 unsigned long usage_mask ;
259 struct stack_trace usage_traces[13U] ;
260 struct list_head locks_after ;
261 struct list_head locks_before ;
262 unsigned int version ;
263 unsigned long ops ;
264 char const *name ;
265 int name_version ;
266 unsigned long contention_point[4U] ;
267 unsigned long contending_point[4U] ;
268};
269#line 144 "include/linux/lockdep.h"
270struct lockdep_map {
271 struct lock_class_key *key ;
272 struct lock_class *class_cache[2U] ;
273 char const *name ;
274 int cpu ;
275 unsigned long ip ;
276};
277#line 556 "include/linux/lockdep.h"
278struct raw_spinlock {
279 arch_spinlock_t raw_lock ;
280 unsigned int magic ;
281 unsigned int owner_cpu ;
282 void *owner ;
283 struct lockdep_map dep_map ;
284};
285#line 32 "include/linux/spinlock_types.h"
286typedef struct raw_spinlock raw_spinlock_t;
287#line 33 "include/linux/spinlock_types.h"
288struct __anonstruct_ldv_6122_33 {
289 u8 __padding[24U] ;
290 struct lockdep_map dep_map ;
291};
292#line 33 "include/linux/spinlock_types.h"
293union __anonunion_ldv_6123_32 {
294 struct raw_spinlock rlock ;
295 struct __anonstruct_ldv_6122_33 ldv_6122 ;
296};
297#line 33 "include/linux/spinlock_types.h"
298struct spinlock {
299 union __anonunion_ldv_6123_32 ldv_6123 ;
300};
301#line 76 "include/linux/spinlock_types.h"
302typedef struct spinlock spinlock_t;
303#line 23 "include/linux/rwlock_types.h"
304struct __anonstruct_rwlock_t_34 {
305 arch_rwlock_t raw_lock ;
306 unsigned int magic ;
307 unsigned int owner_cpu ;
308 void *owner ;
309 struct lockdep_map dep_map ;
310};
311#line 23 "include/linux/rwlock_types.h"
312typedef struct __anonstruct_rwlock_t_34 rwlock_t;
313#line 110 "include/linux/seqlock.h"
314struct seqcount {
315 unsigned int sequence ;
316};
317#line 121 "include/linux/seqlock.h"
318typedef struct seqcount seqcount_t;
319#line 254 "include/linux/seqlock.h"
320struct timespec {
321 __kernel_time_t tv_sec ;
322 long tv_nsec ;
323};
324#line 18 "include/linux/time.h"
325struct timeval {
326 __kernel_time_t tv_sec ;
327 __kernel_suseconds_t tv_usec ;
328};
329#line 286 "include/linux/time.h"
330struct kstat {
331 u64 ino ;
332 dev_t dev ;
333 umode_t mode ;
334 unsigned int nlink ;
335 uid_t uid ;
336 gid_t gid ;
337 dev_t rdev ;
338 loff_t size ;
339 struct timespec atime ;
340 struct timespec mtime ;
341 struct timespec ctime ;
342 unsigned long blksize ;
343 unsigned long long blocks ;
344};
345#line 48 "include/linux/wait.h"
346struct __wait_queue_head {
347 spinlock_t lock ;
348 struct list_head task_list ;
349};
350#line 53 "include/linux/wait.h"
351typedef struct __wait_queue_head wait_queue_head_t;
352#line 98 "include/linux/nodemask.h"
353struct __anonstruct_nodemask_t_36 {
354 unsigned long bits[16U] ;
355};
356#line 98 "include/linux/nodemask.h"
357typedef struct __anonstruct_nodemask_t_36 nodemask_t;
358#line 670 "include/linux/mmzone.h"
359struct mutex {
360 atomic_t count ;
361 spinlock_t wait_lock ;
362 struct list_head wait_list ;
363 struct task_struct *owner ;
364 char const *name ;
365 void *magic ;
366 struct lockdep_map dep_map ;
367};
368#line 171 "include/linux/mutex.h"
369struct rw_semaphore;
370#line 171
371struct rw_semaphore;
372#line 172 "include/linux/mutex.h"
373struct rw_semaphore {
374 long count ;
375 raw_spinlock_t wait_lock ;
376 struct list_head wait_list ;
377 struct lockdep_map dep_map ;
378};
379#line 128 "include/linux/rwsem.h"
380struct completion {
381 unsigned int done ;
382 wait_queue_head_t wait ;
383};
384#line 312 "include/linux/jiffies.h"
385union ktime {
386 s64 tv64 ;
387};
388#line 59 "include/linux/ktime.h"
389typedef union ktime ktime_t;
390#line 341
391struct tvec_base;
392#line 341
393struct tvec_base;
394#line 342 "include/linux/ktime.h"
395struct timer_list {
396 struct list_head entry ;
397 unsigned long expires ;
398 struct tvec_base *base ;
399 void (*function)(unsigned long ) ;
400 unsigned long data ;
401 int slack ;
402 int start_pid ;
403 void *start_site ;
404 char start_comm[16U] ;
405 struct lockdep_map lockdep_map ;
406};
407#line 302 "include/linux/timer.h"
408struct work_struct;
409#line 302
410struct work_struct;
411#line 45 "include/linux/workqueue.h"
412struct work_struct {
413 atomic_long_t data ;
414 struct list_head entry ;
415 void (*func)(struct work_struct * ) ;
416 struct lockdep_map lockdep_map ;
417};
418#line 46 "include/linux/pm.h"
419struct pm_message {
420 int event ;
421};
422#line 52 "include/linux/pm.h"
423typedef struct pm_message pm_message_t;
424#line 53 "include/linux/pm.h"
425struct dev_pm_ops {
426 int (*prepare)(struct device * ) ;
427 void (*complete)(struct device * ) ;
428 int (*suspend)(struct device * ) ;
429 int (*resume)(struct device * ) ;
430 int (*freeze)(struct device * ) ;
431 int (*thaw)(struct device * ) ;
432 int (*poweroff)(struct device * ) ;
433 int (*restore)(struct device * ) ;
434 int (*suspend_late)(struct device * ) ;
435 int (*resume_early)(struct device * ) ;
436 int (*freeze_late)(struct device * ) ;
437 int (*thaw_early)(struct device * ) ;
438 int (*poweroff_late)(struct device * ) ;
439 int (*restore_early)(struct device * ) ;
440 int (*suspend_noirq)(struct device * ) ;
441 int (*resume_noirq)(struct device * ) ;
442 int (*freeze_noirq)(struct device * ) ;
443 int (*thaw_noirq)(struct device * ) ;
444 int (*poweroff_noirq)(struct device * ) ;
445 int (*restore_noirq)(struct device * ) ;
446 int (*runtime_suspend)(struct device * ) ;
447 int (*runtime_resume)(struct device * ) ;
448 int (*runtime_idle)(struct device * ) ;
449};
450#line 289
451enum rpm_status {
452 RPM_ACTIVE = 0,
453 RPM_RESUMING = 1,
454 RPM_SUSPENDED = 2,
455 RPM_SUSPENDING = 3
456} ;
457#line 296
458enum rpm_request {
459 RPM_REQ_NONE = 0,
460 RPM_REQ_IDLE = 1,
461 RPM_REQ_SUSPEND = 2,
462 RPM_REQ_AUTOSUSPEND = 3,
463 RPM_REQ_RESUME = 4
464} ;
465#line 304
466struct wakeup_source;
467#line 304
468struct wakeup_source;
469#line 494 "include/linux/pm.h"
470struct pm_subsys_data {
471 spinlock_t lock ;
472 unsigned int refcount ;
473};
474#line 499
475struct dev_pm_qos_request;
476#line 499
477struct pm_qos_constraints;
478#line 499 "include/linux/pm.h"
479struct dev_pm_info {
480 pm_message_t power_state ;
481 unsigned char can_wakeup : 1 ;
482 unsigned char async_suspend : 1 ;
483 bool is_prepared ;
484 bool is_suspended ;
485 bool ignore_children ;
486 spinlock_t lock ;
487 struct list_head entry ;
488 struct completion completion ;
489 struct wakeup_source *wakeup ;
490 bool wakeup_path ;
491 struct timer_list suspend_timer ;
492 unsigned long timer_expires ;
493 struct work_struct work ;
494 wait_queue_head_t wait_queue ;
495 atomic_t usage_count ;
496 atomic_t child_count ;
497 unsigned char disable_depth : 3 ;
498 unsigned char idle_notification : 1 ;
499 unsigned char request_pending : 1 ;
500 unsigned char deferred_resume : 1 ;
501 unsigned char run_wake : 1 ;
502 unsigned char runtime_auto : 1 ;
503 unsigned char no_callbacks : 1 ;
504 unsigned char irq_safe : 1 ;
505 unsigned char use_autosuspend : 1 ;
506 unsigned char timer_autosuspends : 1 ;
507 enum rpm_request request ;
508 enum rpm_status runtime_status ;
509 int runtime_error ;
510 int autosuspend_delay ;
511 unsigned long last_busy ;
512 unsigned long active_jiffies ;
513 unsigned long suspended_jiffies ;
514 unsigned long accounting_timestamp ;
515 ktime_t suspend_time ;
516 s64 max_time_suspended_ns ;
517 struct dev_pm_qos_request *pq_req ;
518 struct pm_subsys_data *subsys_data ;
519 struct pm_qos_constraints *constraints ;
520};
521#line 558 "include/linux/pm.h"
522struct dev_pm_domain {
523 struct dev_pm_ops ops ;
524};
525#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
526struct __anonstruct_mm_context_t_101 {
527 void *ldt ;
528 int size ;
529 unsigned short ia32_compat ;
530 struct mutex lock ;
531 void *vdso ;
532};
533#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
534typedef struct __anonstruct_mm_context_t_101 mm_context_t;
535#line 18 "include/asm-generic/pci_iomap.h"
536struct vm_area_struct;
537#line 18
538struct vm_area_struct;
539#line 835 "include/linux/sysctl.h"
540struct rb_node {
541 unsigned long rb_parent_color ;
542 struct rb_node *rb_right ;
543 struct rb_node *rb_left ;
544};
545#line 108 "include/linux/rbtree.h"
546struct rb_root {
547 struct rb_node *rb_node ;
548};
549#line 37 "include/linux/kmod.h"
550struct cred;
551#line 37
552struct cred;
553#line 18 "include/linux/elf.h"
554typedef __u64 Elf64_Addr;
555#line 19 "include/linux/elf.h"
556typedef __u16 Elf64_Half;
557#line 23 "include/linux/elf.h"
558typedef __u32 Elf64_Word;
559#line 24 "include/linux/elf.h"
560typedef __u64 Elf64_Xword;
561#line 193 "include/linux/elf.h"
562struct elf64_sym {
563 Elf64_Word st_name ;
564 unsigned char st_info ;
565 unsigned char st_other ;
566 Elf64_Half st_shndx ;
567 Elf64_Addr st_value ;
568 Elf64_Xword st_size ;
569};
570#line 201 "include/linux/elf.h"
571typedef struct elf64_sym Elf64_Sym;
572#line 445
573struct sock;
574#line 445
575struct sock;
576#line 446
577struct kobject;
578#line 446
579struct kobject;
580#line 447
581enum kobj_ns_type {
582 KOBJ_NS_TYPE_NONE = 0,
583 KOBJ_NS_TYPE_NET = 1,
584 KOBJ_NS_TYPES = 2
585} ;
586#line 453 "include/linux/elf.h"
587struct kobj_ns_type_operations {
588 enum kobj_ns_type type ;
589 void *(*grab_current_ns)(void) ;
590 void const *(*netlink_ns)(struct sock * ) ;
591 void const *(*initial_ns)(void) ;
592 void (*drop_ns)(void * ) ;
593};
594#line 57 "include/linux/kobject_ns.h"
595struct attribute {
596 char const *name ;
597 umode_t mode ;
598 struct lock_class_key *key ;
599 struct lock_class_key skey ;
600};
601#line 33 "include/linux/sysfs.h"
602struct attribute_group {
603 char const *name ;
604 umode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
605 struct attribute **attrs ;
606};
607#line 62 "include/linux/sysfs.h"
608struct bin_attribute {
609 struct attribute attr ;
610 size_t size ;
611 void *private ;
612 ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
613 loff_t , size_t ) ;
614 ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
615 loff_t , size_t ) ;
616 int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
617};
618#line 98 "include/linux/sysfs.h"
619struct sysfs_ops {
620 ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
621 ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
622 void const *(*namespace)(struct kobject * , struct attribute const * ) ;
623};
624#line 117
625struct sysfs_dirent;
626#line 117
627struct sysfs_dirent;
628#line 182 "include/linux/sysfs.h"
629struct kref {
630 atomic_t refcount ;
631};
632#line 49 "include/linux/kobject.h"
633struct kset;
634#line 49
635struct kobj_type;
636#line 49 "include/linux/kobject.h"
637struct kobject {
638 char const *name ;
639 struct list_head entry ;
640 struct kobject *parent ;
641 struct kset *kset ;
642 struct kobj_type *ktype ;
643 struct sysfs_dirent *sd ;
644 struct kref kref ;
645 unsigned char state_initialized : 1 ;
646 unsigned char state_in_sysfs : 1 ;
647 unsigned char state_add_uevent_sent : 1 ;
648 unsigned char state_remove_uevent_sent : 1 ;
649 unsigned char uevent_suppress : 1 ;
650};
651#line 107 "include/linux/kobject.h"
652struct kobj_type {
653 void (*release)(struct kobject * ) ;
654 struct sysfs_ops const *sysfs_ops ;
655 struct attribute **default_attrs ;
656 struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
657 void const *(*namespace)(struct kobject * ) ;
658};
659#line 115 "include/linux/kobject.h"
660struct kobj_uevent_env {
661 char *envp[32U] ;
662 int envp_idx ;
663 char buf[2048U] ;
664 int buflen ;
665};
666#line 122 "include/linux/kobject.h"
667struct kset_uevent_ops {
668 int (* const filter)(struct kset * , struct kobject * ) ;
669 char const *(* const name)(struct kset * , struct kobject * ) ;
670 int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
671};
672#line 139 "include/linux/kobject.h"
673struct kset {
674 struct list_head list ;
675 spinlock_t list_lock ;
676 struct kobject kobj ;
677 struct kset_uevent_ops const *uevent_ops ;
678};
679#line 215
680struct kernel_param;
681#line 215
682struct kernel_param;
683#line 216 "include/linux/kobject.h"
684struct kernel_param_ops {
685 int (*set)(char const * , struct kernel_param const * ) ;
686 int (*get)(char * , struct kernel_param const * ) ;
687 void (*free)(void * ) ;
688};
689#line 49 "include/linux/moduleparam.h"
690struct kparam_string;
691#line 49
692struct kparam_array;
693#line 49 "include/linux/moduleparam.h"
694union __anonunion_ldv_13371_134 {
695 void *arg ;
696 struct kparam_string const *str ;
697 struct kparam_array const *arr ;
698};
699#line 49 "include/linux/moduleparam.h"
700struct kernel_param {
701 char const *name ;
702 struct kernel_param_ops const *ops ;
703 u16 perm ;
704 s16 level ;
705 union __anonunion_ldv_13371_134 ldv_13371 ;
706};
707#line 61 "include/linux/moduleparam.h"
708struct kparam_string {
709 unsigned int maxlen ;
710 char *string ;
711};
712#line 67 "include/linux/moduleparam.h"
713struct kparam_array {
714 unsigned int max ;
715 unsigned int elemsize ;
716 unsigned int *num ;
717 struct kernel_param_ops const *ops ;
718 void *elem ;
719};
720#line 458 "include/linux/moduleparam.h"
721struct static_key {
722 atomic_t enabled ;
723};
724#line 225 "include/linux/jump_label.h"
725struct tracepoint;
726#line 225
727struct tracepoint;
728#line 226 "include/linux/jump_label.h"
729struct tracepoint_func {
730 void *func ;
731 void *data ;
732};
733#line 29 "include/linux/tracepoint.h"
734struct tracepoint {
735 char const *name ;
736 struct static_key key ;
737 void (*regfunc)(void) ;
738 void (*unregfunc)(void) ;
739 struct tracepoint_func *funcs ;
740};
741#line 86 "include/linux/tracepoint.h"
742struct kernel_symbol {
743 unsigned long value ;
744 char const *name ;
745};
746#line 27 "include/linux/export.h"
747struct mod_arch_specific {
748
749};
750#line 34 "include/linux/module.h"
751struct module_param_attrs;
752#line 34 "include/linux/module.h"
753struct module_kobject {
754 struct kobject kobj ;
755 struct module *mod ;
756 struct kobject *drivers_dir ;
757 struct module_param_attrs *mp ;
758};
759#line 43 "include/linux/module.h"
760struct module_attribute {
761 struct attribute attr ;
762 ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
763 ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const * ,
764 size_t ) ;
765 void (*setup)(struct module * , char const * ) ;
766 int (*test)(struct module * ) ;
767 void (*free)(struct module * ) ;
768};
769#line 69
770struct exception_table_entry;
771#line 69
772struct exception_table_entry;
773#line 198
774enum module_state {
775 MODULE_STATE_LIVE = 0,
776 MODULE_STATE_COMING = 1,
777 MODULE_STATE_GOING = 2
778} ;
779#line 204 "include/linux/module.h"
780struct module_ref {
781 unsigned long incs ;
782 unsigned long decs ;
783};
784#line 219
785struct module_sect_attrs;
786#line 219
787struct module_notes_attrs;
788#line 219
789struct ftrace_event_call;
790#line 219 "include/linux/module.h"
791struct module {
792 enum module_state state ;
793 struct list_head list ;
794 char name[56U] ;
795 struct module_kobject mkobj ;
796 struct module_attribute *modinfo_attrs ;
797 char const *version ;
798 char const *srcversion ;
799 struct kobject *holders_dir ;
800 struct kernel_symbol const *syms ;
801 unsigned long const *crcs ;
802 unsigned int num_syms ;
803 struct kernel_param *kp ;
804 unsigned int num_kp ;
805 unsigned int num_gpl_syms ;
806 struct kernel_symbol const *gpl_syms ;
807 unsigned long const *gpl_crcs ;
808 struct kernel_symbol const *unused_syms ;
809 unsigned long const *unused_crcs ;
810 unsigned int num_unused_syms ;
811 unsigned int num_unused_gpl_syms ;
812 struct kernel_symbol const *unused_gpl_syms ;
813 unsigned long const *unused_gpl_crcs ;
814 struct kernel_symbol const *gpl_future_syms ;
815 unsigned long const *gpl_future_crcs ;
816 unsigned int num_gpl_future_syms ;
817 unsigned int num_exentries ;
818 struct exception_table_entry *extable ;
819 int (*init)(void) ;
820 void *module_init ;
821 void *module_core ;
822 unsigned int init_size ;
823 unsigned int core_size ;
824 unsigned int init_text_size ;
825 unsigned int core_text_size ;
826 unsigned int init_ro_size ;
827 unsigned int core_ro_size ;
828 struct mod_arch_specific arch ;
829 unsigned int taints ;
830 unsigned int num_bugs ;
831 struct list_head bug_list ;
832 struct bug_entry *bug_table ;
833 Elf64_Sym *symtab ;
834 Elf64_Sym *core_symtab ;
835 unsigned int num_symtab ;
836 unsigned int core_num_syms ;
837 char *strtab ;
838 char *core_strtab ;
839 struct module_sect_attrs *sect_attrs ;
840 struct module_notes_attrs *notes_attrs ;
841 char *args ;
842 void *percpu ;
843 unsigned int percpu_size ;
844 unsigned int num_tracepoints ;
845 struct tracepoint * const *tracepoints_ptrs ;
846 unsigned int num_trace_bprintk_fmt ;
847 char const **trace_bprintk_fmt_start ;
848 struct ftrace_event_call **trace_events ;
849 unsigned int num_trace_events ;
850 struct list_head source_list ;
851 struct list_head target_list ;
852 struct task_struct *waiter ;
853 void (*exit)(void) ;
854 struct module_ref *refptr ;
855 ctor_fn_t (**ctors)(void) ;
856 unsigned int num_ctors ;
857};
858#line 88 "include/linux/kmemleak.h"
859struct kmem_cache_cpu {
860 void **freelist ;
861 unsigned long tid ;
862 struct page *page ;
863 struct page *partial ;
864 int node ;
865 unsigned int stat[26U] ;
866};
867#line 55 "include/linux/slub_def.h"
868struct kmem_cache_node {
869 spinlock_t list_lock ;
870 unsigned long nr_partial ;
871 struct list_head partial ;
872 atomic_long_t nr_slabs ;
873 atomic_long_t total_objects ;
874 struct list_head full ;
875};
876#line 66 "include/linux/slub_def.h"
877struct kmem_cache_order_objects {
878 unsigned long x ;
879};
880#line 76 "include/linux/slub_def.h"
881struct kmem_cache {
882 struct kmem_cache_cpu *cpu_slab ;
883 unsigned long flags ;
884 unsigned long min_partial ;
885 int size ;
886 int objsize ;
887 int offset ;
888 int cpu_partial ;
889 struct kmem_cache_order_objects oo ;
890 struct kmem_cache_order_objects max ;
891 struct kmem_cache_order_objects min ;
892 gfp_t allocflags ;
893 int refcount ;
894 void (*ctor)(void * ) ;
895 int inuse ;
896 int align ;
897 int reserved ;
898 char const *name ;
899 struct list_head list ;
900 struct kobject kobj ;
901 int remote_node_defrag_ratio ;
902 struct kmem_cache_node *node[1024U] ;
903};
904#line 41 "include/asm-generic/sections.h"
905struct exception_table_entry {
906 unsigned long insn ;
907 unsigned long fixup ;
908};
909#line 215 "include/linux/mod_devicetable.h"
910struct of_device_id {
911 char name[32U] ;
912 char type[32U] ;
913 char compatible[128U] ;
914 void *data ;
915};
916#line 584
917struct klist_node;
918#line 584
919struct klist_node;
920#line 37 "include/linux/klist.h"
921struct klist_node {
922 void *n_klist ;
923 struct list_head n_node ;
924 struct kref n_ref ;
925};
926#line 67
927struct dma_map_ops;
928#line 67 "include/linux/klist.h"
929struct dev_archdata {
930 void *acpi_handle ;
931 struct dma_map_ops *dma_ops ;
932 void *iommu ;
933};
934#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
935struct device_private;
936#line 17
937struct device_private;
938#line 18
939struct device_driver;
940#line 18
941struct device_driver;
942#line 19
943struct driver_private;
944#line 19
945struct driver_private;
946#line 20
947struct class;
948#line 20
949struct class;
950#line 21
951struct subsys_private;
952#line 21
953struct subsys_private;
954#line 22
955struct bus_type;
956#line 22
957struct bus_type;
958#line 23
959struct device_node;
960#line 23
961struct device_node;
962#line 24
963struct iommu_ops;
964#line 24
965struct iommu_ops;
966#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
967struct bus_attribute {
968 struct attribute attr ;
969 ssize_t (*show)(struct bus_type * , char * ) ;
970 ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
971};
972#line 51 "include/linux/device.h"
973struct device_attribute;
974#line 51
975struct driver_attribute;
976#line 51 "include/linux/device.h"
977struct bus_type {
978 char const *name ;
979 char const *dev_name ;
980 struct device *dev_root ;
981 struct bus_attribute *bus_attrs ;
982 struct device_attribute *dev_attrs ;
983 struct driver_attribute *drv_attrs ;
984 int (*match)(struct device * , struct device_driver * ) ;
985 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
986 int (*probe)(struct device * ) ;
987 int (*remove)(struct device * ) ;
988 void (*shutdown)(struct device * ) ;
989 int (*suspend)(struct device * , pm_message_t ) ;
990 int (*resume)(struct device * ) ;
991 struct dev_pm_ops const *pm ;
992 struct iommu_ops *iommu_ops ;
993 struct subsys_private *p ;
994};
995#line 125
996struct device_type;
997#line 182 "include/linux/device.h"
998struct device_driver {
999 char const *name ;
1000 struct bus_type *bus ;
1001 struct module *owner ;
1002 char const *mod_name ;
1003 bool suppress_bind_attrs ;
1004 struct of_device_id const *of_match_table ;
1005 int (*probe)(struct device * ) ;
1006 int (*remove)(struct device * ) ;
1007 void (*shutdown)(struct device * ) ;
1008 int (*suspend)(struct device * , pm_message_t ) ;
1009 int (*resume)(struct device * ) ;
1010 struct attribute_group const **groups ;
1011 struct dev_pm_ops const *pm ;
1012 struct driver_private *p ;
1013};
1014#line 245 "include/linux/device.h"
1015struct driver_attribute {
1016 struct attribute attr ;
1017 ssize_t (*show)(struct device_driver * , char * ) ;
1018 ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
1019};
1020#line 299
1021struct class_attribute;
1022#line 299 "include/linux/device.h"
1023struct class {
1024 char const *name ;
1025 struct module *owner ;
1026 struct class_attribute *class_attrs ;
1027 struct device_attribute *dev_attrs ;
1028 struct bin_attribute *dev_bin_attrs ;
1029 struct kobject *dev_kobj ;
1030 int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1031 char *(*devnode)(struct device * , umode_t * ) ;
1032 void (*class_release)(struct class * ) ;
1033 void (*dev_release)(struct device * ) ;
1034 int (*suspend)(struct device * , pm_message_t ) ;
1035 int (*resume)(struct device * ) ;
1036 struct kobj_ns_type_operations const *ns_type ;
1037 void const *(*namespace)(struct device * ) ;
1038 struct dev_pm_ops const *pm ;
1039 struct subsys_private *p ;
1040};
1041#line 394 "include/linux/device.h"
1042struct class_attribute {
1043 struct attribute attr ;
1044 ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1045 ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
1046 void const *(*namespace)(struct class * , struct class_attribute const * ) ;
1047};
1048#line 447 "include/linux/device.h"
1049struct device_type {
1050 char const *name ;
1051 struct attribute_group const **groups ;
1052 int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1053 char *(*devnode)(struct device * , umode_t * ) ;
1054 void (*release)(struct device * ) ;
1055 struct dev_pm_ops const *pm ;
1056};
1057#line 474 "include/linux/device.h"
1058struct device_attribute {
1059 struct attribute attr ;
1060 ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1061 ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
1062 size_t ) ;
1063};
1064#line 557 "include/linux/device.h"
1065struct device_dma_parameters {
1066 unsigned int max_segment_size ;
1067 unsigned long segment_boundary_mask ;
1068};
1069#line 567
1070struct dma_coherent_mem;
1071#line 567 "include/linux/device.h"
1072struct device {
1073 struct device *parent ;
1074 struct device_private *p ;
1075 struct kobject kobj ;
1076 char const *init_name ;
1077 struct device_type const *type ;
1078 struct mutex mutex ;
1079 struct bus_type *bus ;
1080 struct device_driver *driver ;
1081 void *platform_data ;
1082 struct dev_pm_info power ;
1083 struct dev_pm_domain *pm_domain ;
1084 int numa_node ;
1085 u64 *dma_mask ;
1086 u64 coherent_dma_mask ;
1087 struct device_dma_parameters *dma_parms ;
1088 struct list_head dma_pools ;
1089 struct dma_coherent_mem *dma_mem ;
1090 struct dev_archdata archdata ;
1091 struct device_node *of_node ;
1092 dev_t devt ;
1093 u32 id ;
1094 spinlock_t devres_lock ;
1095 struct list_head devres_head ;
1096 struct klist_node knode_class ;
1097 struct class *class ;
1098 struct attribute_group const **groups ;
1099 void (*release)(struct device * ) ;
1100};
1101#line 681 "include/linux/device.h"
1102struct wakeup_source {
1103 char const *name ;
1104 struct list_head entry ;
1105 spinlock_t lock ;
1106 struct timer_list timer ;
1107 unsigned long timer_expires ;
1108 ktime_t total_time ;
1109 ktime_t max_time ;
1110 ktime_t last_time ;
1111 unsigned long event_count ;
1112 unsigned long active_count ;
1113 unsigned long relax_count ;
1114 unsigned long hit_count ;
1115 unsigned char active : 1 ;
1116};
1117#line 986 "include/linux/pci.h"
1118struct scatterlist {
1119 unsigned long sg_magic ;
1120 unsigned long page_link ;
1121 unsigned int offset ;
1122 unsigned int length ;
1123 dma_addr_t dma_address ;
1124 unsigned int dma_length ;
1125};
1126#line 1134
1127struct prio_tree_node;
1128#line 1134 "include/linux/pci.h"
1129struct raw_prio_tree_node {
1130 struct prio_tree_node *left ;
1131 struct prio_tree_node *right ;
1132 struct prio_tree_node *parent ;
1133};
1134#line 19 "include/linux/prio_tree.h"
1135struct prio_tree_node {
1136 struct prio_tree_node *left ;
1137 struct prio_tree_node *right ;
1138 struct prio_tree_node *parent ;
1139 unsigned long start ;
1140 unsigned long last ;
1141};
1142#line 27 "include/linux/prio_tree.h"
1143struct prio_tree_root {
1144 struct prio_tree_node *prio_tree_node ;
1145 unsigned short index_bits ;
1146 unsigned short raw ;
1147};
1148#line 116
1149struct address_space;
1150#line 116
1151struct address_space;
1152#line 117 "include/linux/prio_tree.h"
1153union __anonunion_ldv_17786_139 {
1154 unsigned long index ;
1155 void *freelist ;
1156};
1157#line 117 "include/linux/prio_tree.h"
1158struct __anonstruct_ldv_17796_143 {
1159 unsigned short inuse ;
1160 unsigned short objects : 15 ;
1161 unsigned char frozen : 1 ;
1162};
1163#line 117 "include/linux/prio_tree.h"
1164union __anonunion_ldv_17797_142 {
1165 atomic_t _mapcount ;
1166 struct __anonstruct_ldv_17796_143 ldv_17796 ;
1167};
1168#line 117 "include/linux/prio_tree.h"
1169struct __anonstruct_ldv_17799_141 {
1170 union __anonunion_ldv_17797_142 ldv_17797 ;
1171 atomic_t _count ;
1172};
1173#line 117 "include/linux/prio_tree.h"
1174union __anonunion_ldv_17800_140 {
1175 unsigned long counters ;
1176 struct __anonstruct_ldv_17799_141 ldv_17799 ;
1177};
1178#line 117 "include/linux/prio_tree.h"
1179struct __anonstruct_ldv_17801_138 {
1180 union __anonunion_ldv_17786_139 ldv_17786 ;
1181 union __anonunion_ldv_17800_140 ldv_17800 ;
1182};
1183#line 117 "include/linux/prio_tree.h"
1184struct __anonstruct_ldv_17808_145 {
1185 struct page *next ;
1186 int pages ;
1187 int pobjects ;
1188};
1189#line 117 "include/linux/prio_tree.h"
1190union __anonunion_ldv_17809_144 {
1191 struct list_head lru ;
1192 struct __anonstruct_ldv_17808_145 ldv_17808 ;
1193};
1194#line 117 "include/linux/prio_tree.h"
1195union __anonunion_ldv_17814_146 {
1196 unsigned long private ;
1197 struct kmem_cache *slab ;
1198 struct page *first_page ;
1199};
1200#line 117 "include/linux/prio_tree.h"
1201struct page {
1202 unsigned long flags ;
1203 struct address_space *mapping ;
1204 struct __anonstruct_ldv_17801_138 ldv_17801 ;
1205 union __anonunion_ldv_17809_144 ldv_17809 ;
1206 union __anonunion_ldv_17814_146 ldv_17814 ;
1207 unsigned long debug_flags ;
1208};
1209#line 192 "include/linux/mm_types.h"
1210struct __anonstruct_vm_set_148 {
1211 struct list_head list ;
1212 void *parent ;
1213 struct vm_area_struct *head ;
1214};
1215#line 192 "include/linux/mm_types.h"
1216union __anonunion_shared_147 {
1217 struct __anonstruct_vm_set_148 vm_set ;
1218 struct raw_prio_tree_node prio_tree_node ;
1219};
1220#line 192
1221struct anon_vma;
1222#line 192
1223struct vm_operations_struct;
1224#line 192
1225struct mempolicy;
1226#line 192 "include/linux/mm_types.h"
1227struct vm_area_struct {
1228 struct mm_struct *vm_mm ;
1229 unsigned long vm_start ;
1230 unsigned long vm_end ;
1231 struct vm_area_struct *vm_next ;
1232 struct vm_area_struct *vm_prev ;
1233 pgprot_t vm_page_prot ;
1234 unsigned long vm_flags ;
1235 struct rb_node vm_rb ;
1236 union __anonunion_shared_147 shared ;
1237 struct list_head anon_vma_chain ;
1238 struct anon_vma *anon_vma ;
1239 struct vm_operations_struct const *vm_ops ;
1240 unsigned long vm_pgoff ;
1241 struct file *vm_file ;
1242 void *vm_private_data ;
1243 struct mempolicy *vm_policy ;
1244};
1245#line 255 "include/linux/mm_types.h"
1246struct core_thread {
1247 struct task_struct *task ;
1248 struct core_thread *next ;
1249};
1250#line 261 "include/linux/mm_types.h"
1251struct core_state {
1252 atomic_t nr_threads ;
1253 struct core_thread dumper ;
1254 struct completion startup ;
1255};
1256#line 274 "include/linux/mm_types.h"
1257struct mm_rss_stat {
1258 atomic_long_t count[3U] ;
1259};
1260#line 287
1261struct linux_binfmt;
1262#line 287
1263struct mmu_notifier_mm;
1264#line 287 "include/linux/mm_types.h"
1265struct mm_struct {
1266 struct vm_area_struct *mmap ;
1267 struct rb_root mm_rb ;
1268 struct vm_area_struct *mmap_cache ;
1269 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
1270 unsigned long , unsigned long ) ;
1271 void (*unmap_area)(struct mm_struct * , unsigned long ) ;
1272 unsigned long mmap_base ;
1273 unsigned long task_size ;
1274 unsigned long cached_hole_size ;
1275 unsigned long free_area_cache ;
1276 pgd_t *pgd ;
1277 atomic_t mm_users ;
1278 atomic_t mm_count ;
1279 int map_count ;
1280 spinlock_t page_table_lock ;
1281 struct rw_semaphore mmap_sem ;
1282 struct list_head mmlist ;
1283 unsigned long hiwater_rss ;
1284 unsigned long hiwater_vm ;
1285 unsigned long total_vm ;
1286 unsigned long locked_vm ;
1287 unsigned long pinned_vm ;
1288 unsigned long shared_vm ;
1289 unsigned long exec_vm ;
1290 unsigned long stack_vm ;
1291 unsigned long reserved_vm ;
1292 unsigned long def_flags ;
1293 unsigned long nr_ptes ;
1294 unsigned long start_code ;
1295 unsigned long end_code ;
1296 unsigned long start_data ;
1297 unsigned long end_data ;
1298 unsigned long start_brk ;
1299 unsigned long brk ;
1300 unsigned long start_stack ;
1301 unsigned long arg_start ;
1302 unsigned long arg_end ;
1303 unsigned long env_start ;
1304 unsigned long env_end ;
1305 unsigned long saved_auxv[44U] ;
1306 struct mm_rss_stat rss_stat ;
1307 struct linux_binfmt *binfmt ;
1308 cpumask_var_t cpu_vm_mask_var ;
1309 mm_context_t context ;
1310 unsigned int faultstamp ;
1311 unsigned int token_priority ;
1312 unsigned int last_interval ;
1313 unsigned long flags ;
1314 struct core_state *core_state ;
1315 spinlock_t ioctx_lock ;
1316 struct hlist_head ioctx_list ;
1317 struct task_struct *owner ;
1318 struct file *exe_file ;
1319 unsigned long num_exe_file_vmas ;
1320 struct mmu_notifier_mm *mmu_notifier_mm ;
1321 pgtable_t pmd_huge_pte ;
1322 struct cpumask cpumask_allocation ;
1323};
1324#line 93 "include/linux/bit_spinlock.h"
1325struct shrink_control {
1326 gfp_t gfp_mask ;
1327 unsigned long nr_to_scan ;
1328};
1329#line 14 "include/linux/shrinker.h"
1330struct shrinker {
1331 int (*shrink)(struct shrinker * , struct shrink_control * ) ;
1332 int seeks ;
1333 long batch ;
1334 struct list_head list ;
1335 atomic_long_t nr_in_batch ;
1336};
1337#line 43
1338struct file_ra_state;
1339#line 43
1340struct file_ra_state;
1341#line 45
1342struct writeback_control;
1343#line 45
1344struct writeback_control;
1345#line 178 "include/linux/mm.h"
1346struct vm_fault {
1347 unsigned int flags ;
1348 unsigned long pgoff ;
1349 void *virtual_address ;
1350 struct page *page ;
1351};
1352#line 195 "include/linux/mm.h"
1353struct vm_operations_struct {
1354 void (*open)(struct vm_area_struct * ) ;
1355 void (*close)(struct vm_area_struct * ) ;
1356 int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
1357 int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
1358 int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
1359 int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
1360 struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
1361 int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
1362 unsigned long ) ;
1363};
1364#line 244
1365struct inode;
1366#line 244
1367struct inode;
1368#line 31 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pci_64.h"
1369struct dma_attrs {
1370 unsigned long flags[1U] ;
1371};
1372#line 67 "include/linux/dma-attrs.h"
1373enum dma_data_direction {
1374 DMA_BIDIRECTIONAL = 0,
1375 DMA_TO_DEVICE = 1,
1376 DMA_FROM_DEVICE = 2,
1377 DMA_NONE = 3
1378} ;
1379#line 268 "include/linux/scatterlist.h"
1380struct dma_map_ops {
1381 void *(*alloc)(struct device * , size_t , dma_addr_t * , gfp_t , struct dma_attrs * ) ;
1382 void (*free)(struct device * , size_t , void * , dma_addr_t , struct dma_attrs * ) ;
1383 int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t ,
1384 size_t , struct dma_attrs * ) ;
1385 dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
1386 enum dma_data_direction , struct dma_attrs * ) ;
1387 void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
1388 struct dma_attrs * ) ;
1389 int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
1390 struct dma_attrs * ) ;
1391 void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
1392 struct dma_attrs * ) ;
1393 void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
1394 void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
1395 void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
1396 void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
1397 int (*mapping_error)(struct device * , dma_addr_t ) ;
1398 int (*dma_supported)(struct device * , u64 ) ;
1399 int (*set_dma_mask)(struct device * , u64 ) ;
1400 int is_phys ;
1401};
1402#line 1725 "include/linux/pci.h"
1403struct block_device;
1404#line 1725
1405struct block_device;
1406#line 427 "include/linux/rculist.h"
1407struct hlist_bl_node;
1408#line 427 "include/linux/rculist.h"
1409struct hlist_bl_head {
1410 struct hlist_bl_node *first ;
1411};
1412#line 36 "include/linux/list_bl.h"
1413struct hlist_bl_node {
1414 struct hlist_bl_node *next ;
1415 struct hlist_bl_node **pprev ;
1416};
1417#line 114 "include/linux/rculist_bl.h"
1418struct nameidata;
1419#line 114
1420struct nameidata;
1421#line 115
1422struct path;
1423#line 115
1424struct path;
1425#line 116
1426struct vfsmount;
1427#line 116
1428struct vfsmount;
1429#line 117 "include/linux/rculist_bl.h"
1430struct qstr {
1431 unsigned int hash ;
1432 unsigned int len ;
1433 unsigned char const *name ;
1434};
1435#line 72 "include/linux/dcache.h"
1436struct dentry_operations;
1437#line 72
1438struct super_block;
1439#line 72 "include/linux/dcache.h"
1440union __anonunion_d_u_149 {
1441 struct list_head d_child ;
1442 struct rcu_head d_rcu ;
1443};
1444#line 72 "include/linux/dcache.h"
1445struct dentry {
1446 unsigned int d_flags ;
1447 seqcount_t d_seq ;
1448 struct hlist_bl_node d_hash ;
1449 struct dentry *d_parent ;
1450 struct qstr d_name ;
1451 struct inode *d_inode ;
1452 unsigned char d_iname[32U] ;
1453 unsigned int d_count ;
1454 spinlock_t d_lock ;
1455 struct dentry_operations const *d_op ;
1456 struct super_block *d_sb ;
1457 unsigned long d_time ;
1458 void *d_fsdata ;
1459 struct list_head d_lru ;
1460 union __anonunion_d_u_149 d_u ;
1461 struct list_head d_subdirs ;
1462 struct list_head d_alias ;
1463};
1464#line 123 "include/linux/dcache.h"
1465struct dentry_operations {
1466 int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
1467 int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
1468 int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
1469 struct inode const * , unsigned int , char const * , struct qstr const * ) ;
1470 int (*d_delete)(struct dentry const * ) ;
1471 void (*d_release)(struct dentry * ) ;
1472 void (*d_prune)(struct dentry * ) ;
1473 void (*d_iput)(struct dentry * , struct inode * ) ;
1474 char *(*d_dname)(struct dentry * , char * , int ) ;
1475 struct vfsmount *(*d_automount)(struct path * ) ;
1476 int (*d_manage)(struct dentry * , bool ) ;
1477};
1478#line 402 "include/linux/dcache.h"
1479struct path {
1480 struct vfsmount *mnt ;
1481 struct dentry *dentry ;
1482};
1483#line 58 "include/linux/radix-tree.h"
1484struct radix_tree_node;
1485#line 58 "include/linux/radix-tree.h"
1486struct radix_tree_root {
1487 unsigned int height ;
1488 gfp_t gfp_mask ;
1489 struct radix_tree_node *rnode ;
1490};
1491#line 377
1492enum pid_type {
1493 PIDTYPE_PID = 0,
1494 PIDTYPE_PGID = 1,
1495 PIDTYPE_SID = 2,
1496 PIDTYPE_MAX = 3
1497} ;
1498#line 384
1499struct pid_namespace;
1500#line 384 "include/linux/radix-tree.h"
1501struct upid {
1502 int nr ;
1503 struct pid_namespace *ns ;
1504 struct hlist_node pid_chain ;
1505};
1506#line 56 "include/linux/pid.h"
1507struct pid {
1508 atomic_t count ;
1509 unsigned int level ;
1510 struct hlist_head tasks[3U] ;
1511 struct rcu_head rcu ;
1512 struct upid numbers[1U] ;
1513};
1514#line 45 "include/linux/semaphore.h"
1515struct fiemap_extent {
1516 __u64 fe_logical ;
1517 __u64 fe_physical ;
1518 __u64 fe_length ;
1519 __u64 fe_reserved64[2U] ;
1520 __u32 fe_flags ;
1521 __u32 fe_reserved[3U] ;
1522};
1523#line 38 "include/linux/fiemap.h"
1524enum migrate_mode {
1525 MIGRATE_ASYNC = 0,
1526 MIGRATE_SYNC_LIGHT = 1,
1527 MIGRATE_SYNC = 2
1528} ;
1529#line 44
1530struct export_operations;
1531#line 44
1532struct export_operations;
1533#line 46
1534struct iovec;
1535#line 46
1536struct iovec;
1537#line 47
1538struct kiocb;
1539#line 47
1540struct kiocb;
1541#line 48
1542struct pipe_inode_info;
1543#line 48
1544struct pipe_inode_info;
1545#line 49
1546struct poll_table_struct;
1547#line 49
1548struct poll_table_struct;
1549#line 50
1550struct kstatfs;
1551#line 50
1552struct kstatfs;
1553#line 435 "include/linux/fs.h"
1554struct iattr {
1555 unsigned int ia_valid ;
1556 umode_t ia_mode ;
1557 uid_t ia_uid ;
1558 gid_t ia_gid ;
1559 loff_t ia_size ;
1560 struct timespec ia_atime ;
1561 struct timespec ia_mtime ;
1562 struct timespec ia_ctime ;
1563 struct file *ia_file ;
1564};
1565#line 119 "include/linux/quota.h"
1566struct if_dqinfo {
1567 __u64 dqi_bgrace ;
1568 __u64 dqi_igrace ;
1569 __u32 dqi_flags ;
1570 __u32 dqi_valid ;
1571};
1572#line 176 "include/linux/percpu_counter.h"
1573struct fs_disk_quota {
1574 __s8 d_version ;
1575 __s8 d_flags ;
1576 __u16 d_fieldmask ;
1577 __u32 d_id ;
1578 __u64 d_blk_hardlimit ;
1579 __u64 d_blk_softlimit ;
1580 __u64 d_ino_hardlimit ;
1581 __u64 d_ino_softlimit ;
1582 __u64 d_bcount ;
1583 __u64 d_icount ;
1584 __s32 d_itimer ;
1585 __s32 d_btimer ;
1586 __u16 d_iwarns ;
1587 __u16 d_bwarns ;
1588 __s32 d_padding2 ;
1589 __u64 d_rtb_hardlimit ;
1590 __u64 d_rtb_softlimit ;
1591 __u64 d_rtbcount ;
1592 __s32 d_rtbtimer ;
1593 __u16 d_rtbwarns ;
1594 __s16 d_padding3 ;
1595 char d_padding4[8U] ;
1596};
1597#line 75 "include/linux/dqblk_xfs.h"
1598struct fs_qfilestat {
1599 __u64 qfs_ino ;
1600 __u64 qfs_nblks ;
1601 __u32 qfs_nextents ;
1602};
1603#line 150 "include/linux/dqblk_xfs.h"
1604typedef struct fs_qfilestat fs_qfilestat_t;
1605#line 151 "include/linux/dqblk_xfs.h"
1606struct fs_quota_stat {
1607 __s8 qs_version ;
1608 __u16 qs_flags ;
1609 __s8 qs_pad ;
1610 fs_qfilestat_t qs_uquota ;
1611 fs_qfilestat_t qs_gquota ;
1612 __u32 qs_incoredqs ;
1613 __s32 qs_btimelimit ;
1614 __s32 qs_itimelimit ;
1615 __s32 qs_rtbtimelimit ;
1616 __u16 qs_bwarnlimit ;
1617 __u16 qs_iwarnlimit ;
1618};
1619#line 165
1620struct dquot;
1621#line 165
1622struct dquot;
1623#line 185 "include/linux/quota.h"
1624typedef __kernel_uid32_t qid_t;
1625#line 186 "include/linux/quota.h"
1626typedef long long qsize_t;
1627#line 189 "include/linux/quota.h"
1628struct mem_dqblk {
1629 qsize_t dqb_bhardlimit ;
1630 qsize_t dqb_bsoftlimit ;
1631 qsize_t dqb_curspace ;
1632 qsize_t dqb_rsvspace ;
1633 qsize_t dqb_ihardlimit ;
1634 qsize_t dqb_isoftlimit ;
1635 qsize_t dqb_curinodes ;
1636 time_t dqb_btime ;
1637 time_t dqb_itime ;
1638};
1639#line 211
1640struct quota_format_type;
1641#line 211
1642struct quota_format_type;
1643#line 212 "include/linux/quota.h"
1644struct mem_dqinfo {
1645 struct quota_format_type *dqi_format ;
1646 int dqi_fmt_id ;
1647 struct list_head dqi_dirty_list ;
1648 unsigned long dqi_flags ;
1649 unsigned int dqi_bgrace ;
1650 unsigned int dqi_igrace ;
1651 qsize_t dqi_maxblimit ;
1652 qsize_t dqi_maxilimit ;
1653 void *dqi_priv ;
1654};
1655#line 275 "include/linux/quota.h"
1656struct dquot {
1657 struct hlist_node dq_hash ;
1658 struct list_head dq_inuse ;
1659 struct list_head dq_free ;
1660 struct list_head dq_dirty ;
1661 struct mutex dq_lock ;
1662 atomic_t dq_count ;
1663 wait_queue_head_t dq_wait_unused ;
1664 struct super_block *dq_sb ;
1665 unsigned int dq_id ;
1666 loff_t dq_off ;
1667 unsigned long dq_flags ;
1668 short dq_type ;
1669 struct mem_dqblk dq_dqb ;
1670};
1671#line 303 "include/linux/quota.h"
1672struct quota_format_ops {
1673 int (*check_quota_file)(struct super_block * , int ) ;
1674 int (*read_file_info)(struct super_block * , int ) ;
1675 int (*write_file_info)(struct super_block * , int ) ;
1676 int (*free_file_info)(struct super_block * , int ) ;
1677 int (*read_dqblk)(struct dquot * ) ;
1678 int (*commit_dqblk)(struct dquot * ) ;
1679 int (*release_dqblk)(struct dquot * ) ;
1680};
1681#line 314 "include/linux/quota.h"
1682struct dquot_operations {
1683 int (*write_dquot)(struct dquot * ) ;
1684 struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
1685 void (*destroy_dquot)(struct dquot * ) ;
1686 int (*acquire_dquot)(struct dquot * ) ;
1687 int (*release_dquot)(struct dquot * ) ;
1688 int (*mark_dirty)(struct dquot * ) ;
1689 int (*write_info)(struct super_block * , int ) ;
1690 qsize_t *(*get_reserved_space)(struct inode * ) ;
1691};
1692#line 328 "include/linux/quota.h"
1693struct quotactl_ops {
1694 int (*quota_on)(struct super_block * , int , int , struct path * ) ;
1695 int (*quota_on_meta)(struct super_block * , int , int ) ;
1696 int (*quota_off)(struct super_block * , int ) ;
1697 int (*quota_sync)(struct super_block * , int , int ) ;
1698 int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
1699 int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
1700 int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1701 int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
1702 int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
1703 int (*set_xstate)(struct super_block * , unsigned int , int ) ;
1704};
1705#line 344 "include/linux/quota.h"
1706struct quota_format_type {
1707 int qf_fmt_id ;
1708 struct quota_format_ops const *qf_ops ;
1709 struct module *qf_owner ;
1710 struct quota_format_type *qf_next ;
1711};
1712#line 390 "include/linux/quota.h"
1713struct quota_info {
1714 unsigned int flags ;
1715 struct mutex dqio_mutex ;
1716 struct mutex dqonoff_mutex ;
1717 struct rw_semaphore dqptr_sem ;
1718 struct inode *files[2U] ;
1719 struct mem_dqinfo info[2U] ;
1720 struct quota_format_ops const *ops[2U] ;
1721};
1722#line 585 "include/linux/fs.h"
1723union __anonunion_arg_152 {
1724 char *buf ;
1725 void *data ;
1726};
1727#line 585 "include/linux/fs.h"
1728struct __anonstruct_read_descriptor_t_151 {
1729 size_t written ;
1730 size_t count ;
1731 union __anonunion_arg_152 arg ;
1732 int error ;
1733};
1734#line 585 "include/linux/fs.h"
1735typedef struct __anonstruct_read_descriptor_t_151 read_descriptor_t;
1736#line 588 "include/linux/fs.h"
1737struct address_space_operations {
1738 int (*writepage)(struct page * , struct writeback_control * ) ;
1739 int (*readpage)(struct file * , struct page * ) ;
1740 int (*writepages)(struct address_space * , struct writeback_control * ) ;
1741 int (*set_page_dirty)(struct page * ) ;
1742 int (*readpages)(struct file * , struct address_space * , struct list_head * ,
1743 unsigned int ) ;
1744 int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
1745 unsigned int , struct page ** , void ** ) ;
1746 int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
1747 unsigned int , struct page * , void * ) ;
1748 sector_t (*bmap)(struct address_space * , sector_t ) ;
1749 void (*invalidatepage)(struct page * , unsigned long ) ;
1750 int (*releasepage)(struct page * , gfp_t ) ;
1751 void (*freepage)(struct page * ) ;
1752 ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
1753 unsigned long ) ;
1754 int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
1755 int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode ) ;
1756 int (*launder_page)(struct page * ) ;
1757 int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
1758 int (*error_remove_page)(struct address_space * , struct page * ) ;
1759};
1760#line 642
1761struct backing_dev_info;
1762#line 642
1763struct backing_dev_info;
1764#line 643 "include/linux/fs.h"
1765struct address_space {
1766 struct inode *host ;
1767 struct radix_tree_root page_tree ;
1768 spinlock_t tree_lock ;
1769 unsigned int i_mmap_writable ;
1770 struct prio_tree_root i_mmap ;
1771 struct list_head i_mmap_nonlinear ;
1772 struct mutex i_mmap_mutex ;
1773 unsigned long nrpages ;
1774 unsigned long writeback_index ;
1775 struct address_space_operations const *a_ops ;
1776 unsigned long flags ;
1777 struct backing_dev_info *backing_dev_info ;
1778 spinlock_t private_lock ;
1779 struct list_head private_list ;
1780 struct address_space *assoc_mapping ;
1781};
1782#line 664
1783struct request_queue;
1784#line 664
1785struct request_queue;
1786#line 665
1787struct hd_struct;
1788#line 665
1789struct gendisk;
1790#line 665 "include/linux/fs.h"
1791struct block_device {
1792 dev_t bd_dev ;
1793 int bd_openers ;
1794 struct inode *bd_inode ;
1795 struct super_block *bd_super ;
1796 struct mutex bd_mutex ;
1797 struct list_head bd_inodes ;
1798 void *bd_claiming ;
1799 void *bd_holder ;
1800 int bd_holders ;
1801 bool bd_write_holder ;
1802 struct list_head bd_holder_disks ;
1803 struct block_device *bd_contains ;
1804 unsigned int bd_block_size ;
1805 struct hd_struct *bd_part ;
1806 unsigned int bd_part_count ;
1807 int bd_invalidated ;
1808 struct gendisk *bd_disk ;
1809 struct request_queue *bd_queue ;
1810 struct list_head bd_list ;
1811 unsigned long bd_private ;
1812 int bd_fsfreeze_count ;
1813 struct mutex bd_fsfreeze_mutex ;
1814};
1815#line 737
1816struct posix_acl;
1817#line 737
1818struct posix_acl;
1819#line 738
1820struct inode_operations;
1821#line 738 "include/linux/fs.h"
1822union __anonunion_ldv_22935_153 {
1823 unsigned int const i_nlink ;
1824 unsigned int __i_nlink ;
1825};
1826#line 738 "include/linux/fs.h"
1827union __anonunion_ldv_22954_154 {
1828 struct list_head i_dentry ;
1829 struct rcu_head i_rcu ;
1830};
1831#line 738
1832struct file_operations;
1833#line 738
1834struct file_lock;
1835#line 738
1836struct cdev;
1837#line 738 "include/linux/fs.h"
1838union __anonunion_ldv_22972_155 {
1839 struct pipe_inode_info *i_pipe ;
1840 struct block_device *i_bdev ;
1841 struct cdev *i_cdev ;
1842};
1843#line 738 "include/linux/fs.h"
1844struct inode {
1845 umode_t i_mode ;
1846 unsigned short i_opflags ;
1847 uid_t i_uid ;
1848 gid_t i_gid ;
1849 unsigned int i_flags ;
1850 struct posix_acl *i_acl ;
1851 struct posix_acl *i_default_acl ;
1852 struct inode_operations const *i_op ;
1853 struct super_block *i_sb ;
1854 struct address_space *i_mapping ;
1855 void *i_security ;
1856 unsigned long i_ino ;
1857 union __anonunion_ldv_22935_153 ldv_22935 ;
1858 dev_t i_rdev ;
1859 struct timespec i_atime ;
1860 struct timespec i_mtime ;
1861 struct timespec i_ctime ;
1862 spinlock_t i_lock ;
1863 unsigned short i_bytes ;
1864 blkcnt_t i_blocks ;
1865 loff_t i_size ;
1866 unsigned long i_state ;
1867 struct mutex i_mutex ;
1868 unsigned long dirtied_when ;
1869 struct hlist_node i_hash ;
1870 struct list_head i_wb_list ;
1871 struct list_head i_lru ;
1872 struct list_head i_sb_list ;
1873 union __anonunion_ldv_22954_154 ldv_22954 ;
1874 atomic_t i_count ;
1875 unsigned int i_blkbits ;
1876 u64 i_version ;
1877 atomic_t i_dio_count ;
1878 atomic_t i_writecount ;
1879 struct file_operations const *i_fop ;
1880 struct file_lock *i_flock ;
1881 struct address_space i_data ;
1882 struct dquot *i_dquot[2U] ;
1883 struct list_head i_devices ;
1884 union __anonunion_ldv_22972_155 ldv_22972 ;
1885 __u32 i_generation ;
1886 __u32 i_fsnotify_mask ;
1887 struct hlist_head i_fsnotify_marks ;
1888 atomic_t i_readcount ;
1889 void *i_private ;
1890};
1891#line 941 "include/linux/fs.h"
1892struct fown_struct {
1893 rwlock_t lock ;
1894 struct pid *pid ;
1895 enum pid_type pid_type ;
1896 uid_t uid ;
1897 uid_t euid ;
1898 int signum ;
1899};
1900#line 949 "include/linux/fs.h"
1901struct file_ra_state {
1902 unsigned long start ;
1903 unsigned int size ;
1904 unsigned int async_size ;
1905 unsigned int ra_pages ;
1906 unsigned int mmap_miss ;
1907 loff_t prev_pos ;
1908};
1909#line 972 "include/linux/fs.h"
1910union __anonunion_f_u_156 {
1911 struct list_head fu_list ;
1912 struct rcu_head fu_rcuhead ;
1913};
1914#line 972 "include/linux/fs.h"
1915struct file {
1916 union __anonunion_f_u_156 f_u ;
1917 struct path f_path ;
1918 struct file_operations const *f_op ;
1919 spinlock_t f_lock ;
1920 int f_sb_list_cpu ;
1921 atomic_long_t f_count ;
1922 unsigned int f_flags ;
1923 fmode_t f_mode ;
1924 loff_t f_pos ;
1925 struct fown_struct f_owner ;
1926 struct cred const *f_cred ;
1927 struct file_ra_state f_ra ;
1928 u64 f_version ;
1929 void *f_security ;
1930 void *private_data ;
1931 struct list_head f_ep_links ;
1932 struct list_head f_tfile_llink ;
1933 struct address_space *f_mapping ;
1934 unsigned long f_mnt_write_state ;
1935};
1936#line 1111
1937struct files_struct;
1938#line 1111 "include/linux/fs.h"
1939typedef struct files_struct *fl_owner_t;
1940#line 1112 "include/linux/fs.h"
1941struct file_lock_operations {
1942 void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
1943 void (*fl_release_private)(struct file_lock * ) ;
1944};
1945#line 1117 "include/linux/fs.h"
1946struct lock_manager_operations {
1947 int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
1948 void (*lm_notify)(struct file_lock * ) ;
1949 int (*lm_grant)(struct file_lock * , struct file_lock * , int ) ;
1950 void (*lm_release_private)(struct file_lock * ) ;
1951 void (*lm_break)(struct file_lock * ) ;
1952 int (*lm_change)(struct file_lock ** , int ) ;
1953};
1954#line 1134
1955struct nlm_lockowner;
1956#line 1134
1957struct nlm_lockowner;
1958#line 1135 "include/linux/fs.h"
1959struct nfs_lock_info {
1960 u32 state ;
1961 struct nlm_lockowner *owner ;
1962 struct list_head list ;
1963};
1964#line 14 "include/linux/nfs_fs_i.h"
1965struct nfs4_lock_state;
1966#line 14
1967struct nfs4_lock_state;
1968#line 15 "include/linux/nfs_fs_i.h"
1969struct nfs4_lock_info {
1970 struct nfs4_lock_state *owner ;
1971};
1972#line 19
1973struct fasync_struct;
1974#line 19 "include/linux/nfs_fs_i.h"
1975struct __anonstruct_afs_158 {
1976 struct list_head link ;
1977 int state ;
1978};
1979#line 19 "include/linux/nfs_fs_i.h"
1980union __anonunion_fl_u_157 {
1981 struct nfs_lock_info nfs_fl ;
1982 struct nfs4_lock_info nfs4_fl ;
1983 struct __anonstruct_afs_158 afs ;
1984};
1985#line 19 "include/linux/nfs_fs_i.h"
1986struct file_lock {
1987 struct file_lock *fl_next ;
1988 struct list_head fl_link ;
1989 struct list_head fl_block ;
1990 fl_owner_t fl_owner ;
1991 unsigned int fl_flags ;
1992 unsigned char fl_type ;
1993 unsigned int fl_pid ;
1994 struct pid *fl_nspid ;
1995 wait_queue_head_t fl_wait ;
1996 struct file *fl_file ;
1997 loff_t fl_start ;
1998 loff_t fl_end ;
1999 struct fasync_struct *fl_fasync ;
2000 unsigned long fl_break_time ;
2001 unsigned long fl_downgrade_time ;
2002 struct file_lock_operations const *fl_ops ;
2003 struct lock_manager_operations const *fl_lmops ;
2004 union __anonunion_fl_u_157 fl_u ;
2005};
2006#line 1221 "include/linux/fs.h"
2007struct fasync_struct {
2008 spinlock_t fa_lock ;
2009 int magic ;
2010 int fa_fd ;
2011 struct fasync_struct *fa_next ;
2012 struct file *fa_file ;
2013 struct rcu_head fa_rcu ;
2014};
2015#line 1417
2016struct file_system_type;
2017#line 1417
2018struct super_operations;
2019#line 1417
2020struct xattr_handler;
2021#line 1417
2022struct mtd_info;
2023#line 1417 "include/linux/fs.h"
2024struct super_block {
2025 struct list_head s_list ;
2026 dev_t s_dev ;
2027 unsigned char s_dirt ;
2028 unsigned char s_blocksize_bits ;
2029 unsigned long s_blocksize ;
2030 loff_t s_maxbytes ;
2031 struct file_system_type *s_type ;
2032 struct super_operations const *s_op ;
2033 struct dquot_operations const *dq_op ;
2034 struct quotactl_ops const *s_qcop ;
2035 struct export_operations const *s_export_op ;
2036 unsigned long s_flags ;
2037 unsigned long s_magic ;
2038 struct dentry *s_root ;
2039 struct rw_semaphore s_umount ;
2040 struct mutex s_lock ;
2041 int s_count ;
2042 atomic_t s_active ;
2043 void *s_security ;
2044 struct xattr_handler const **s_xattr ;
2045 struct list_head s_inodes ;
2046 struct hlist_bl_head s_anon ;
2047 struct list_head *s_files ;
2048 struct list_head s_mounts ;
2049 struct list_head s_dentry_lru ;
2050 int s_nr_dentry_unused ;
2051 spinlock_t s_inode_lru_lock ;
2052 struct list_head s_inode_lru ;
2053 int s_nr_inodes_unused ;
2054 struct block_device *s_bdev ;
2055 struct backing_dev_info *s_bdi ;
2056 struct mtd_info *s_mtd ;
2057 struct hlist_node s_instances ;
2058 struct quota_info s_dquot ;
2059 int s_frozen ;
2060 wait_queue_head_t s_wait_unfrozen ;
2061 char s_id[32U] ;
2062 u8 s_uuid[16U] ;
2063 void *s_fs_info ;
2064 unsigned int s_max_links ;
2065 fmode_t s_mode ;
2066 u32 s_time_gran ;
2067 struct mutex s_vfs_rename_mutex ;
2068 char *s_subtype ;
2069 char *s_options ;
2070 struct dentry_operations const *s_d_op ;
2071 int cleancache_poolid ;
2072 struct shrinker s_shrink ;
2073 atomic_long_t s_remove_count ;
2074 int s_readonly_remount ;
2075};
2076#line 1563 "include/linux/fs.h"
2077struct fiemap_extent_info {
2078 unsigned int fi_flags ;
2079 unsigned int fi_extents_mapped ;
2080 unsigned int fi_extents_max ;
2081 struct fiemap_extent *fi_extents_start ;
2082};
2083#line 1602 "include/linux/fs.h"
2084struct file_operations {
2085 struct module *owner ;
2086 loff_t (*llseek)(struct file * , loff_t , int ) ;
2087 ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
2088 ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
2089 ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
2090 loff_t ) ;
2091 ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
2092 loff_t ) ;
2093 int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
2094 loff_t , u64 , unsigned int ) ) ;
2095 unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
2096 long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
2097 long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
2098 int (*mmap)(struct file * , struct vm_area_struct * ) ;
2099 int (*open)(struct inode * , struct file * ) ;
2100 int (*flush)(struct file * , fl_owner_t ) ;
2101 int (*release)(struct inode * , struct file * ) ;
2102 int (*fsync)(struct file * , loff_t , loff_t , int ) ;
2103 int (*aio_fsync)(struct kiocb * , int ) ;
2104 int (*fasync)(int , struct file * , int ) ;
2105 int (*lock)(struct file * , int , struct file_lock * ) ;
2106 ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
2107 int ) ;
2108 unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
2109 unsigned long , unsigned long ) ;
2110 int (*check_flags)(int ) ;
2111 int (*flock)(struct file * , int , struct file_lock * ) ;
2112 ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
2113 unsigned int ) ;
2114 ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
2115 unsigned int ) ;
2116 int (*setlease)(struct file * , long , struct file_lock ** ) ;
2117 long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
2118};
2119#line 1637 "include/linux/fs.h"
2120struct inode_operations {
2121 struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
2122 void *(*follow_link)(struct dentry * , struct nameidata * ) ;
2123 int (*permission)(struct inode * , int ) ;
2124 struct posix_acl *(*get_acl)(struct inode * , int ) ;
2125 int (*readlink)(struct dentry * , char * , int ) ;
2126 void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
2127 int (*create)(struct inode * , struct dentry * , umode_t , struct nameidata * ) ;
2128 int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
2129 int (*unlink)(struct inode * , struct dentry * ) ;
2130 int (*symlink)(struct inode * , struct dentry * , char const * ) ;
2131 int (*mkdir)(struct inode * , struct dentry * , umode_t ) ;
2132 int (*rmdir)(struct inode * , struct dentry * ) ;
2133 int (*mknod)(struct inode * , struct dentry * , umode_t , dev_t ) ;
2134 int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
2135 void (*truncate)(struct inode * ) ;
2136 int (*setattr)(struct dentry * , struct iattr * ) ;
2137 int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
2138 int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
2139 ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
2140 ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
2141 int (*removexattr)(struct dentry * , char const * ) ;
2142 void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
2143 int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
2144};
2145#line 1682 "include/linux/fs.h"
2146struct super_operations {
2147 struct inode *(*alloc_inode)(struct super_block * ) ;
2148 void (*destroy_inode)(struct inode * ) ;
2149 void (*dirty_inode)(struct inode * , int ) ;
2150 int (*write_inode)(struct inode * , struct writeback_control * ) ;
2151 int (*drop_inode)(struct inode * ) ;
2152 void (*evict_inode)(struct inode * ) ;
2153 void (*put_super)(struct super_block * ) ;
2154 void (*write_super)(struct super_block * ) ;
2155 int (*sync_fs)(struct super_block * , int ) ;
2156 int (*freeze_fs)(struct super_block * ) ;
2157 int (*unfreeze_fs)(struct super_block * ) ;
2158 int (*statfs)(struct dentry * , struct kstatfs * ) ;
2159 int (*remount_fs)(struct super_block * , int * , char * ) ;
2160 void (*umount_begin)(struct super_block * ) ;
2161 int (*show_options)(struct seq_file * , struct dentry * ) ;
2162 int (*show_devname)(struct seq_file * , struct dentry * ) ;
2163 int (*show_path)(struct seq_file * , struct dentry * ) ;
2164 int (*show_stats)(struct seq_file * , struct dentry * ) ;
2165 ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
2166 ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
2167 loff_t ) ;
2168 int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
2169 int (*nr_cached_objects)(struct super_block * ) ;
2170 void (*free_cached_objects)(struct super_block * , int ) ;
2171};
2172#line 1834 "include/linux/fs.h"
2173struct file_system_type {
2174 char const *name ;
2175 int fs_flags ;
2176 struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
2177 void (*kill_sb)(struct super_block * ) ;
2178 struct module *owner ;
2179 struct file_system_type *next ;
2180 struct hlist_head fs_supers ;
2181 struct lock_class_key s_lock_key ;
2182 struct lock_class_key s_umount_key ;
2183 struct lock_class_key s_vfs_rename_key ;
2184 struct lock_class_key i_lock_key ;
2185 struct lock_class_key i_mutex_key ;
2186 struct lock_class_key i_mutex_dir_key ;
2187};
2188#line 34 "include/linux/poll.h"
2189struct poll_table_struct {
2190 void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
2191 unsigned long _key ;
2192};
2193#line 165
2194enum v4l2_field {
2195 V4L2_FIELD_ANY = 0,
2196 V4L2_FIELD_NONE = 1,
2197 V4L2_FIELD_TOP = 2,
2198 V4L2_FIELD_BOTTOM = 3,
2199 V4L2_FIELD_INTERLACED = 4,
2200 V4L2_FIELD_SEQ_TB = 5,
2201 V4L2_FIELD_SEQ_BT = 6,
2202 V4L2_FIELD_ALTERNATE = 7,
2203 V4L2_FIELD_INTERLACED_TB = 8,
2204 V4L2_FIELD_INTERLACED_BT = 9
2205} ;
2206#line 178
2207enum v4l2_buf_type {
2208 V4L2_BUF_TYPE_VIDEO_CAPTURE = 1,
2209 V4L2_BUF_TYPE_VIDEO_OUTPUT = 2,
2210 V4L2_BUF_TYPE_VIDEO_OVERLAY = 3,
2211 V4L2_BUF_TYPE_VBI_CAPTURE = 4,
2212 V4L2_BUF_TYPE_VBI_OUTPUT = 5,
2213 V4L2_BUF_TYPE_SLICED_VBI_CAPTURE = 6,
2214 V4L2_BUF_TYPE_SLICED_VBI_OUTPUT = 7,
2215 V4L2_BUF_TYPE_VIDEO_OUTPUT_OVERLAY = 8,
2216 V4L2_BUF_TYPE_VIDEO_CAPTURE_MPLANE = 9,
2217 V4L2_BUF_TYPE_VIDEO_OUTPUT_MPLANE = 10,
2218 V4L2_BUF_TYPE_PRIVATE = 128
2219} ;
2220#line 198
2221enum v4l2_memory {
2222 V4L2_MEMORY_MMAP = 1,
2223 V4L2_MEMORY_USERPTR = 2,
2224 V4L2_MEMORY_OVERLAY = 3
2225} ;
2226#line 204
2227enum v4l2_colorspace {
2228 V4L2_COLORSPACE_SMPTE170M = 1,
2229 V4L2_COLORSPACE_SMPTE240M = 2,
2230 V4L2_COLORSPACE_REC709 = 3,
2231 V4L2_COLORSPACE_BT878 = 4,
2232 V4L2_COLORSPACE_470_SYSTEM_M = 5,
2233 V4L2_COLORSPACE_470_SYSTEM_BG = 6,
2234 V4L2_COLORSPACE_JPEG = 7,
2235 V4L2_COLORSPACE_SRGB = 8
2236} ;
2237#line 258 "include/linux/videodev2.h"
2238struct v4l2_pix_format {
2239 __u32 width ;
2240 __u32 height ;
2241 __u32 pixelformat ;
2242 enum v4l2_field field ;
2243 __u32 bytesperline ;
2244 __u32 sizeimage ;
2245 enum v4l2_colorspace colorspace ;
2246 __u32 priv ;
2247};
2248#line 658 "include/linux/videodev2.h"
2249struct v4l2_framebuffer {
2250 __u32 capability ;
2251 __u32 flags ;
2252 void *base ;
2253 struct v4l2_pix_format fmt ;
2254};
2255#line 2306
2256struct videobuf_buffer;
2257#line 2306
2258struct videobuf_buffer;
2259#line 2307
2260struct videobuf_queue;
2261#line 2307
2262struct videobuf_queue;
2263#line 2308 "include/linux/videodev2.h"
2264struct videobuf_mapping {
2265 unsigned int count ;
2266 struct videobuf_queue *q ;
2267};
2268#line 55 "include/media/videobuf-core.h"
2269enum videobuf_state {
2270 VIDEOBUF_NEEDS_INIT = 0,
2271 VIDEOBUF_PREPARED = 1,
2272 VIDEOBUF_QUEUED = 2,
2273 VIDEOBUF_ACTIVE = 3,
2274 VIDEOBUF_DONE = 4,
2275 VIDEOBUF_ERROR = 5,
2276 VIDEOBUF_IDLE = 6
2277} ;
2278#line 65 "include/media/videobuf-core.h"
2279struct videobuf_buffer {
2280 unsigned int i ;
2281 u32 magic ;
2282 unsigned int width ;
2283 unsigned int height ;
2284 unsigned int bytesperline ;
2285 unsigned long size ;
2286 unsigned int input ;
2287 enum v4l2_field field ;
2288 enum videobuf_state state ;
2289 struct list_head stream ;
2290 struct list_head queue ;
2291 wait_queue_head_t done ;
2292 unsigned int field_count ;
2293 struct timeval ts ;
2294 enum v4l2_memory memory ;
2295 size_t bsize ;
2296 size_t boff ;
2297 unsigned long baddr ;
2298 struct videobuf_mapping *map ;
2299 int privsize ;
2300 void *priv ;
2301};
2302#line 105 "include/media/videobuf-core.h"
2303struct videobuf_queue_ops {
2304 int (*buf_setup)(struct videobuf_queue * , unsigned int * , unsigned int * ) ;
2305 int (*buf_prepare)(struct videobuf_queue * , struct videobuf_buffer * , enum v4l2_field ) ;
2306 void (*buf_queue)(struct videobuf_queue * , struct videobuf_buffer * ) ;
2307 void (*buf_release)(struct videobuf_queue * , struct videobuf_buffer * ) ;
2308};
2309#line 116 "include/media/videobuf-core.h"
2310struct videobuf_qtype_ops {
2311 u32 magic ;
2312 struct videobuf_buffer *(*alloc_vb)(size_t ) ;
2313 void *(*vaddr)(struct videobuf_buffer * ) ;
2314 int (*iolock)(struct videobuf_queue * , struct videobuf_buffer * , struct v4l2_framebuffer * ) ;
2315 int (*sync)(struct videobuf_queue * , struct videobuf_buffer * ) ;
2316 int (*mmap_mapper)(struct videobuf_queue * , struct videobuf_buffer * , struct vm_area_struct * ) ;
2317};
2318#line 133 "include/media/videobuf-core.h"
2319struct videobuf_queue {
2320 struct mutex vb_lock ;
2321 struct mutex *ext_lock ;
2322 spinlock_t *irqlock ;
2323 struct device *dev ;
2324 wait_queue_head_t wait ;
2325 enum v4l2_buf_type type ;
2326 unsigned int inputs ;
2327 unsigned int msize ;
2328 enum v4l2_field field ;
2329 enum v4l2_field last ;
2330 struct videobuf_buffer *bufs[32U] ;
2331 struct videobuf_queue_ops const *ops ;
2332 struct videobuf_qtype_ops *int_ops ;
2333 unsigned char streaming : 1 ;
2334 unsigned char reading : 1 ;
2335 struct list_head stream ;
2336 unsigned int read_off ;
2337 struct videobuf_buffer *read_buf ;
2338 void *priv_data ;
2339};
2340#line 236 "include/media/videobuf-core.h"
2341struct videobuf_vmalloc_memory {
2342 u32 magic ;
2343 void *vaddr ;
2344 struct vm_area_struct *vma ;
2345};
2346#line 1 "<compiler builtins>"
2347long __builtin_expect(long , long ) ;
2348#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
2349void ldv_spin_lock(void) ;
2350#line 3
2351void ldv_spin_unlock(void) ;
2352#line 4
2353int ldv_spin_trylock(void) ;
2354#line 101 "include/linux/printk.h"
2355extern int printk(char const * , ...) ;
2356#line 134 "include/linux/mutex.h"
2357extern void mutex_lock_nested(struct mutex * , unsigned int ) ;
2358#line 169
2359extern void mutex_unlock(struct mutex * ) ;
2360#line 56 "include/linux/vmalloc.h"
2361extern void *vmalloc_user(unsigned long ) ;
2362#line 59
2363void *ldv_vmalloc_user_19(unsigned long ldv_func_arg1 ) ;
2364#line 63
2365void *ldv_vmalloc_user_20(unsigned long ldv_func_arg1 ) ;
2366#line 74
2367extern void vfree(void const * ) ;
2368#line 80
2369extern int remap_vmalloc_range(struct vm_area_struct * , void * , unsigned long ) ;
2370#line 161 "include/linux/slab.h"
2371extern void kfree(void const * ) ;
2372#line 220 "include/linux/slub_def.h"
2373extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t ) ;
2374#line 223
2375void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
2376#line 353 "include/linux/slab.h"
2377__inline static void *kzalloc(size_t size , gfp_t flags ) ;
2378#line 10 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
2379extern void *__VERIFIER_nondet_pointer(void) ;
2380#line 11
2381void ldv_check_alloc_flags(gfp_t flags ) ;
2382#line 12
2383void ldv_check_alloc_nonatomic(void) ;
2384#line 14
2385struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
2386#line 167 "include/media/videobuf-core.h"
2387__inline static void videobuf_queue_lock(struct videobuf_queue *q )
2388{ struct mutex *__cil_tmp2 ;
2389 unsigned long __cil_tmp3 ;
2390 unsigned long __cil_tmp4 ;
2391 unsigned long __cil_tmp5 ;
2392 struct mutex *__cil_tmp6 ;
2393 unsigned long __cil_tmp7 ;
2394 struct mutex *__cil_tmp8 ;
2395
2396 {
2397 {
2398#line 169
2399 __cil_tmp2 = (struct mutex *)0;
2400#line 169
2401 __cil_tmp3 = (unsigned long )__cil_tmp2;
2402#line 169
2403 __cil_tmp4 = (unsigned long )q;
2404#line 169
2405 __cil_tmp5 = __cil_tmp4 + 168;
2406#line 169
2407 __cil_tmp6 = *((struct mutex **)__cil_tmp5);
2408#line 169
2409 __cil_tmp7 = (unsigned long )__cil_tmp6;
2410#line 169
2411 if (__cil_tmp7 == __cil_tmp3) {
2412 {
2413#line 170
2414 __cil_tmp8 = (struct mutex *)q;
2415#line 170
2416 mutex_lock_nested(__cil_tmp8, 0U);
2417 }
2418 } else {
2419
2420 }
2421 }
2422#line 171
2423 return;
2424}
2425}
2426#line 173 "include/media/videobuf-core.h"
2427__inline static void videobuf_queue_unlock(struct videobuf_queue *q )
2428{ struct mutex *__cil_tmp2 ;
2429 unsigned long __cil_tmp3 ;
2430 unsigned long __cil_tmp4 ;
2431 unsigned long __cil_tmp5 ;
2432 struct mutex *__cil_tmp6 ;
2433 unsigned long __cil_tmp7 ;
2434 struct mutex *__cil_tmp8 ;
2435
2436 {
2437 {
2438#line 175
2439 __cil_tmp2 = (struct mutex *)0;
2440#line 175
2441 __cil_tmp3 = (unsigned long )__cil_tmp2;
2442#line 175
2443 __cil_tmp4 = (unsigned long )q;
2444#line 175
2445 __cil_tmp5 = __cil_tmp4 + 168;
2446#line 175
2447 __cil_tmp6 = *((struct mutex **)__cil_tmp5);
2448#line 175
2449 __cil_tmp7 = (unsigned long )__cil_tmp6;
2450#line 175
2451 if (__cil_tmp7 == __cil_tmp3) {
2452 {
2453#line 176
2454 __cil_tmp8 = (struct mutex *)q;
2455#line 176
2456 mutex_unlock(__cil_tmp8);
2457 }
2458 } else {
2459
2460 }
2461 }
2462#line 177
2463 return;
2464}
2465}
2466#line 190
2467extern void videobuf_queue_core_init(struct videobuf_queue * , struct videobuf_queue_ops const * ,
2468 struct device * , spinlock_t * , enum v4l2_buf_type ,
2469 enum v4l2_field , unsigned int , void * , struct videobuf_qtype_ops * ,
2470 struct mutex * ) ;
2471#line 201
2472extern void videobuf_queue_cancel(struct videobuf_queue * ) ;
2473#line 32 "include/media/videobuf-vmalloc.h"
2474void videobuf_queue_vmalloc_init(struct videobuf_queue *q , struct videobuf_queue_ops const *ops ,
2475 struct device *dev , spinlock_t *irqlock , enum v4l2_buf_type type ,
2476 enum v4l2_field field , unsigned int msize , void *priv ,
2477 struct mutex *ext_lock ) ;
2478#line 42
2479void *videobuf_to_vmalloc(struct videobuf_buffer *buf ) ;
2480#line 44
2481void videobuf_vmalloc_free(struct videobuf_buffer *buf ) ;
2482#line 55 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
2483static int debug ;
2484#line 69 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
2485static void videobuf_vm_open(struct vm_area_struct *vma )
2486{ struct videobuf_mapping *map ;
2487 unsigned long __cil_tmp3 ;
2488 unsigned long __cil_tmp4 ;
2489 void *__cil_tmp5 ;
2490 int *__cil_tmp6 ;
2491 int __cil_tmp7 ;
2492 unsigned int __cil_tmp8 ;
2493 unsigned long __cil_tmp9 ;
2494 unsigned long __cil_tmp10 ;
2495 unsigned long __cil_tmp11 ;
2496 unsigned long __cil_tmp12 ;
2497 unsigned long __cil_tmp13 ;
2498 unsigned long __cil_tmp14 ;
2499 unsigned int __cil_tmp15 ;
2500
2501 {
2502#line 71
2503 __cil_tmp3 = (unsigned long )vma;
2504#line 71
2505 __cil_tmp4 = __cil_tmp3 + 160;
2506#line 71
2507 __cil_tmp5 = *((void **)__cil_tmp4);
2508#line 71
2509 map = (struct videobuf_mapping *)__cil_tmp5;
2510 {
2511#line 73
2512 __cil_tmp6 = & debug;
2513#line 73
2514 __cil_tmp7 = *__cil_tmp6;
2515#line 73
2516 if (__cil_tmp7 > 1) {
2517 {
2518#line 73
2519 __cil_tmp8 = *((unsigned int *)map);
2520#line 73
2521 __cil_tmp9 = (unsigned long )vma;
2522#line 73
2523 __cil_tmp10 = __cil_tmp9 + 8;
2524#line 73
2525 __cil_tmp11 = *((unsigned long *)__cil_tmp10);
2526#line 73
2527 __cil_tmp12 = (unsigned long )vma;
2528#line 73
2529 __cil_tmp13 = __cil_tmp12 + 16;
2530#line 73
2531 __cil_tmp14 = *((unsigned long *)__cil_tmp13);
2532#line 73
2533 printk("<7>vbuf-vmalloc: vm_open %p [count=%u,vma=%08lx-%08lx]\n", map, __cil_tmp8,
2534 __cil_tmp11, __cil_tmp14);
2535 }
2536 } else {
2537
2538 }
2539 }
2540#line 76
2541 __cil_tmp15 = *((unsigned int *)map);
2542#line 76
2543 *((unsigned int *)map) = __cil_tmp15 + 1U;
2544#line 77
2545 return;
2546}
2547}
2548#line 79 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
2549static void videobuf_vm_close(struct vm_area_struct *vma )
2550{ struct videobuf_mapping *map ;
2551 struct videobuf_queue *q ;
2552 int i ;
2553 struct videobuf_vmalloc_memory *mem ;
2554 long tmp ;
2555 unsigned long __cil_tmp7 ;
2556 unsigned long __cil_tmp8 ;
2557 void *__cil_tmp9 ;
2558 unsigned long __cil_tmp10 ;
2559 unsigned long __cil_tmp11 ;
2560 int *__cil_tmp12 ;
2561 int __cil_tmp13 ;
2562 unsigned int __cil_tmp14 ;
2563 unsigned long __cil_tmp15 ;
2564 unsigned long __cil_tmp16 ;
2565 unsigned long __cil_tmp17 ;
2566 unsigned long __cil_tmp18 ;
2567 unsigned long __cil_tmp19 ;
2568 unsigned long __cil_tmp20 ;
2569 unsigned int __cil_tmp21 ;
2570 unsigned int __cil_tmp22 ;
2571 int *__cil_tmp23 ;
2572 int __cil_tmp24 ;
2573 unsigned char *__cil_tmp25 ;
2574 unsigned char *__cil_tmp26 ;
2575 unsigned char __cil_tmp27 ;
2576 unsigned int __cil_tmp28 ;
2577 struct videobuf_buffer *__cil_tmp29 ;
2578 unsigned long __cil_tmp30 ;
2579 unsigned long __cil_tmp31 ;
2580 unsigned long __cil_tmp32 ;
2581 unsigned long __cil_tmp33 ;
2582 unsigned long __cil_tmp34 ;
2583 struct videobuf_buffer *__cil_tmp35 ;
2584 unsigned long __cil_tmp36 ;
2585 unsigned long __cil_tmp37 ;
2586 unsigned long __cil_tmp38 ;
2587 unsigned long __cil_tmp39 ;
2588 unsigned long __cil_tmp40 ;
2589 unsigned long __cil_tmp41 ;
2590 struct videobuf_buffer *__cil_tmp42 ;
2591 unsigned long __cil_tmp43 ;
2592 unsigned long __cil_tmp44 ;
2593 struct videobuf_mapping *__cil_tmp45 ;
2594 unsigned long __cil_tmp46 ;
2595 unsigned long __cil_tmp47 ;
2596 unsigned long __cil_tmp48 ;
2597 unsigned long __cil_tmp49 ;
2598 unsigned long __cil_tmp50 ;
2599 struct videobuf_buffer *__cil_tmp51 ;
2600 unsigned long __cil_tmp52 ;
2601 unsigned long __cil_tmp53 ;
2602 void *__cil_tmp54 ;
2603 struct videobuf_vmalloc_memory *__cil_tmp55 ;
2604 unsigned long __cil_tmp56 ;
2605 unsigned long __cil_tmp57 ;
2606 u32 __cil_tmp58 ;
2607 int __cil_tmp59 ;
2608 long __cil_tmp60 ;
2609 u32 __cil_tmp61 ;
2610 int *__cil_tmp62 ;
2611 int __cil_tmp63 ;
2612 unsigned long __cil_tmp64 ;
2613 unsigned long __cil_tmp65 ;
2614 void *__cil_tmp66 ;
2615 unsigned long __cil_tmp67 ;
2616 unsigned long __cil_tmp68 ;
2617 void *__cil_tmp69 ;
2618 void const *__cil_tmp70 ;
2619 unsigned long __cil_tmp71 ;
2620 unsigned long __cil_tmp72 ;
2621 unsigned long __cil_tmp73 ;
2622 unsigned long __cil_tmp74 ;
2623 unsigned long __cil_tmp75 ;
2624 unsigned long __cil_tmp76 ;
2625 struct videobuf_buffer *__cil_tmp77 ;
2626 unsigned long __cil_tmp78 ;
2627 unsigned long __cil_tmp79 ;
2628 unsigned long __cil_tmp80 ;
2629 unsigned long __cil_tmp81 ;
2630 unsigned long __cil_tmp82 ;
2631 unsigned long __cil_tmp83 ;
2632 struct videobuf_buffer *__cil_tmp84 ;
2633 unsigned long __cil_tmp85 ;
2634 unsigned long __cil_tmp86 ;
2635 void const *__cil_tmp87 ;
2636
2637 {
2638#line 81
2639 __cil_tmp7 = (unsigned long )vma;
2640#line 81
2641 __cil_tmp8 = __cil_tmp7 + 160;
2642#line 81
2643 __cil_tmp9 = *((void **)__cil_tmp8);
2644#line 81
2645 map = (struct videobuf_mapping *)__cil_tmp9;
2646#line 82
2647 __cil_tmp10 = (unsigned long )map;
2648#line 82
2649 __cil_tmp11 = __cil_tmp10 + 8;
2650#line 82
2651 q = *((struct videobuf_queue **)__cil_tmp11);
2652 {
2653#line 85
2654 __cil_tmp12 = & debug;
2655#line 85
2656 __cil_tmp13 = *__cil_tmp12;
2657#line 85
2658 if (__cil_tmp13 > 1) {
2659 {
2660#line 85
2661 __cil_tmp14 = *((unsigned int *)map);
2662#line 85
2663 __cil_tmp15 = (unsigned long )vma;
2664#line 85
2665 __cil_tmp16 = __cil_tmp15 + 8;
2666#line 85
2667 __cil_tmp17 = *((unsigned long *)__cil_tmp16);
2668#line 85
2669 __cil_tmp18 = (unsigned long )vma;
2670#line 85
2671 __cil_tmp19 = __cil_tmp18 + 16;
2672#line 85
2673 __cil_tmp20 = *((unsigned long *)__cil_tmp19);
2674#line 85
2675 printk("<7>vbuf-vmalloc: vm_close %p [count=%u,vma=%08lx-%08lx]\n", map, __cil_tmp14,
2676 __cil_tmp17, __cil_tmp20);
2677 }
2678 } else {
2679
2680 }
2681 }
2682#line 88
2683 __cil_tmp21 = *((unsigned int *)map);
2684#line 88
2685 *((unsigned int *)map) = __cil_tmp21 - 1U;
2686 {
2687#line 89
2688 __cil_tmp22 = *((unsigned int *)map);
2689#line 89
2690 if (__cil_tmp22 == 0U) {
2691 {
2692#line 92
2693 __cil_tmp23 = & debug;
2694#line 92
2695 __cil_tmp24 = *__cil_tmp23;
2696#line 92
2697 if (__cil_tmp24 > 0) {
2698 {
2699#line 92
2700 printk("<7>vbuf-vmalloc: munmap %p q=%p\n", map, q);
2701 }
2702 } else {
2703
2704 }
2705 }
2706 {
2707#line 93
2708 videobuf_queue_lock(q);
2709 }
2710 {
2711#line 96
2712 __cil_tmp25 = (unsigned char *)q;
2713#line 96
2714 __cil_tmp26 = __cil_tmp25 + 576UL;
2715#line 96
2716 __cil_tmp27 = *__cil_tmp26;
2717#line 96
2718 __cil_tmp28 = (unsigned int )__cil_tmp27;
2719#line 96
2720 if (__cil_tmp28 != 0U) {
2721 {
2722#line 97
2723 videobuf_queue_cancel(q);
2724 }
2725 } else {
2726
2727 }
2728 }
2729#line 99
2730 i = 0;
2731#line 99
2732 goto ldv_26466;
2733 ldv_26465: ;
2734 {
2735#line 100
2736 __cil_tmp29 = (struct videobuf_buffer *)0;
2737#line 100
2738 __cil_tmp30 = (unsigned long )__cil_tmp29;
2739#line 100
2740 __cil_tmp31 = i * 8UL;
2741#line 100
2742 __cil_tmp32 = 304 + __cil_tmp31;
2743#line 100
2744 __cil_tmp33 = (unsigned long )q;
2745#line 100
2746 __cil_tmp34 = __cil_tmp33 + __cil_tmp32;
2747#line 100
2748 __cil_tmp35 = *((struct videobuf_buffer **)__cil_tmp34);
2749#line 100
2750 __cil_tmp36 = (unsigned long )__cil_tmp35;
2751#line 100
2752 if (__cil_tmp36 == __cil_tmp30) {
2753#line 101
2754 goto ldv_26462;
2755 } else {
2756
2757 }
2758 }
2759 {
2760#line 103
2761 __cil_tmp37 = (unsigned long )map;
2762#line 103
2763 __cil_tmp38 = i * 8UL;
2764#line 103
2765 __cil_tmp39 = 304 + __cil_tmp38;
2766#line 103
2767 __cil_tmp40 = (unsigned long )q;
2768#line 103
2769 __cil_tmp41 = __cil_tmp40 + __cil_tmp39;
2770#line 103
2771 __cil_tmp42 = *((struct videobuf_buffer **)__cil_tmp41);
2772#line 103
2773 __cil_tmp43 = (unsigned long )__cil_tmp42;
2774#line 103
2775 __cil_tmp44 = __cil_tmp43 + 224;
2776#line 103
2777 __cil_tmp45 = *((struct videobuf_mapping **)__cil_tmp44);
2778#line 103
2779 __cil_tmp46 = (unsigned long )__cil_tmp45;
2780#line 103
2781 if (__cil_tmp46 != __cil_tmp37) {
2782#line 104
2783 goto ldv_26462;
2784 } else {
2785
2786 }
2787 }
2788#line 106
2789 __cil_tmp47 = i * 8UL;
2790#line 106
2791 __cil_tmp48 = 304 + __cil_tmp47;
2792#line 106
2793 __cil_tmp49 = (unsigned long )q;
2794#line 106
2795 __cil_tmp50 = __cil_tmp49 + __cil_tmp48;
2796#line 106
2797 __cil_tmp51 = *((struct videobuf_buffer **)__cil_tmp50);
2798#line 106
2799 __cil_tmp52 = (unsigned long )__cil_tmp51;
2800#line 106
2801 __cil_tmp53 = __cil_tmp52 + 240;
2802#line 106
2803 __cil_tmp54 = *((void **)__cil_tmp53);
2804#line 106
2805 mem = (struct videobuf_vmalloc_memory *)__cil_tmp54;
2806 {
2807#line 107
2808 __cil_tmp55 = (struct videobuf_vmalloc_memory *)0;
2809#line 107
2810 __cil_tmp56 = (unsigned long )__cil_tmp55;
2811#line 107
2812 __cil_tmp57 = (unsigned long )mem;
2813#line 107
2814 if (__cil_tmp57 != __cil_tmp56) {
2815 {
2816#line 114
2817 __cil_tmp58 = *((u32 *)mem);
2818#line 114
2819 __cil_tmp59 = __cil_tmp58 != 404886051U;
2820#line 114
2821 __cil_tmp60 = (long )__cil_tmp59;
2822#line 114
2823 tmp = __builtin_expect(__cil_tmp60, 0L);
2824 }
2825#line 114
2826 if (tmp != 0L) {
2827 {
2828#line 114
2829 __cil_tmp61 = *((u32 *)mem);
2830#line 114
2831 printk("<3>magic mismatch: %x (expected %x)\n", __cil_tmp61, 404886051);
2832#line 114
2833 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"),
2834 "i" (114), "i" (12UL));
2835 }
2836 ldv_26463: ;
2837#line 114
2838 goto ldv_26463;
2839 } else {
2840
2841 }
2842 {
2843#line 119
2844 __cil_tmp62 = & debug;
2845#line 119
2846 __cil_tmp63 = *__cil_tmp62;
2847#line 119
2848 if (__cil_tmp63 > 0) {
2849 {
2850#line 119
2851 __cil_tmp64 = (unsigned long )mem;
2852#line 119
2853 __cil_tmp65 = __cil_tmp64 + 8;
2854#line 119
2855 __cil_tmp66 = *((void **)__cil_tmp65);
2856#line 119
2857 printk("<7>vbuf-vmalloc: %s: buf[%d] freeing (%p)\n", "videobuf_vm_close",
2858 i, __cil_tmp66);
2859 }
2860 } else {
2861
2862 }
2863 }
2864 {
2865#line 122
2866 __cil_tmp67 = (unsigned long )mem;
2867#line 122
2868 __cil_tmp68 = __cil_tmp67 + 8;
2869#line 122
2870 __cil_tmp69 = *((void **)__cil_tmp68);
2871#line 122
2872 __cil_tmp70 = (void const *)__cil_tmp69;
2873#line 122
2874 vfree(__cil_tmp70);
2875#line 123
2876 __cil_tmp71 = (unsigned long )mem;
2877#line 123
2878 __cil_tmp72 = __cil_tmp71 + 8;
2879#line 123
2880 *((void **)__cil_tmp72) = (void *)0;
2881 }
2882 } else {
2883
2884 }
2885 }
2886#line 126
2887 __cil_tmp73 = i * 8UL;
2888#line 126
2889 __cil_tmp74 = 304 + __cil_tmp73;
2890#line 126
2891 __cil_tmp75 = (unsigned long )q;
2892#line 126
2893 __cil_tmp76 = __cil_tmp75 + __cil_tmp74;
2894#line 126
2895 __cil_tmp77 = *((struct videobuf_buffer **)__cil_tmp76);
2896#line 126
2897 __cil_tmp78 = (unsigned long )__cil_tmp77;
2898#line 126
2899 __cil_tmp79 = __cil_tmp78 + 224;
2900#line 126
2901 *((struct videobuf_mapping **)__cil_tmp79) = (struct videobuf_mapping *)0;
2902#line 127
2903 __cil_tmp80 = i * 8UL;
2904#line 127
2905 __cil_tmp81 = 304 + __cil_tmp80;
2906#line 127
2907 __cil_tmp82 = (unsigned long )q;
2908#line 127
2909 __cil_tmp83 = __cil_tmp82 + __cil_tmp81;
2910#line 127
2911 __cil_tmp84 = *((struct videobuf_buffer **)__cil_tmp83);
2912#line 127
2913 __cil_tmp85 = (unsigned long )__cil_tmp84;
2914#line 127
2915 __cil_tmp86 = __cil_tmp85 + 216;
2916#line 127
2917 *((unsigned long *)__cil_tmp86) = 0UL;
2918 ldv_26462:
2919#line 99
2920 i = i + 1;
2921 ldv_26466: ;
2922#line 99
2923 if (i <= 31) {
2924#line 100
2925 goto ldv_26465;
2926 } else {
2927#line 102
2928 goto ldv_26467;
2929 }
2930 ldv_26467:
2931 {
2932#line 130
2933 __cil_tmp87 = (void const *)map;
2934#line 130
2935 kfree(__cil_tmp87);
2936#line 132
2937 videobuf_queue_unlock(q);
2938 }
2939 } else {
2940
2941 }
2942 }
2943#line 135
2944 return;
2945}
2946}
2947#line 138 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
2948static struct vm_operations_struct const videobuf_vm_ops =
2949#line 138
2950 {& videobuf_vm_open, & videobuf_vm_close, (int (*)(struct vm_area_struct * , struct vm_fault * ))0,
2951 (int (*)(struct vm_area_struct * , struct vm_fault * ))0, (int (*)(struct vm_area_struct * ,
2952 unsigned long ,
2953 void * , int ,
2954 int ))0, (int (*)(struct vm_area_struct * ,
2955 struct mempolicy * ))0,
2956 (struct mempolicy *(*)(struct vm_area_struct * , unsigned long ))0, (int (*)(struct vm_area_struct * ,
2957 nodemask_t const * ,
2958 nodemask_t const * ,
2959 unsigned long ))0};
2960#line 153 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
2961static struct videobuf_buffer *__videobuf_alloc_vb(size_t size )
2962{ struct videobuf_vmalloc_memory *mem ;
2963 struct videobuf_buffer *vb ;
2964 void *tmp ;
2965 void *tmp___0 ;
2966 unsigned long __cil_tmp6 ;
2967 struct videobuf_buffer *__cil_tmp7 ;
2968 unsigned long __cil_tmp8 ;
2969 unsigned long __cil_tmp9 ;
2970 void *__cil_tmp10 ;
2971 unsigned long __cil_tmp11 ;
2972 unsigned long __cil_tmp12 ;
2973 int *__cil_tmp13 ;
2974 int __cil_tmp14 ;
2975 unsigned long __cil_tmp15 ;
2976
2977 {
2978 {
2979#line 158
2980 __cil_tmp6 = size + 24UL;
2981#line 158
2982 tmp = kzalloc(__cil_tmp6, 208U);
2983#line 158
2984 vb = (struct videobuf_buffer *)tmp;
2985 }
2986 {
2987#line 159
2988 __cil_tmp7 = (struct videobuf_buffer *)0;
2989#line 159
2990 __cil_tmp8 = (unsigned long )__cil_tmp7;
2991#line 159
2992 __cil_tmp9 = (unsigned long )vb;
2993#line 159
2994 if (__cil_tmp9 == __cil_tmp8) {
2995#line 160
2996 return (vb);
2997 } else {
2998
2999 }
3000 }
3001#line 162
3002 __cil_tmp10 = (void *)vb;
3003#line 162
3004 tmp___0 = __cil_tmp10 + size;
3005#line 162
3006 __cil_tmp11 = (unsigned long )vb;
3007#line 162
3008 __cil_tmp12 = __cil_tmp11 + 240;
3009#line 162
3010 *((void **)__cil_tmp12) = tmp___0;
3011#line 162
3012 mem = (struct videobuf_vmalloc_memory *)tmp___0;
3013#line 163
3014 *((u32 *)mem) = 404886051U;
3015 {
3016#line 165
3017 __cil_tmp13 = & debug;
3018#line 165
3019 __cil_tmp14 = *__cil_tmp13;
3020#line 165
3021 if (__cil_tmp14 > 0) {
3022 {
3023#line 165
3024 __cil_tmp15 = size - 248UL;
3025#line 165
3026 printk("<7>vbuf-vmalloc: %s: allocated at %p(%ld+%ld) & %p(%ld)\n", "__videobuf_alloc_vb",
3027 vb, 248L, __cil_tmp15, mem, 24L);
3028 }
3029 } else {
3030
3031 }
3032 }
3033#line 169
3034 return (vb);
3035}
3036}
3037#line 172 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
3038static int __videobuf_iolock(struct videobuf_queue *q , struct videobuf_buffer *vb ,
3039 struct v4l2_framebuffer *fbuf )
3040{ struct videobuf_vmalloc_memory *mem ;
3041 int pages ;
3042 long tmp ;
3043 long tmp___0 ;
3044 unsigned long __cil_tmp8 ;
3045 unsigned long __cil_tmp9 ;
3046 void *__cil_tmp10 ;
3047 struct videobuf_vmalloc_memory *__cil_tmp11 ;
3048 unsigned long __cil_tmp12 ;
3049 unsigned long __cil_tmp13 ;
3050 int __cil_tmp14 ;
3051 long __cil_tmp15 ;
3052 u32 __cil_tmp16 ;
3053 int __cil_tmp17 ;
3054 long __cil_tmp18 ;
3055 u32 __cil_tmp19 ;
3056 unsigned long __cil_tmp20 ;
3057 unsigned long __cil_tmp21 ;
3058 enum v4l2_memory __cil_tmp22 ;
3059 unsigned int __cil_tmp23 ;
3060 int *__cil_tmp24 ;
3061 int __cil_tmp25 ;
3062 void *__cil_tmp26 ;
3063 unsigned long __cil_tmp27 ;
3064 unsigned long __cil_tmp28 ;
3065 unsigned long __cil_tmp29 ;
3066 void *__cil_tmp30 ;
3067 unsigned long __cil_tmp31 ;
3068 unsigned long __cil_tmp32 ;
3069 unsigned long __cil_tmp33 ;
3070 unsigned long __cil_tmp34 ;
3071 unsigned int __cil_tmp35 ;
3072 unsigned int __cil_tmp36 ;
3073 int __cil_tmp37 ;
3074 int *__cil_tmp38 ;
3075 int __cil_tmp39 ;
3076 unsigned long __cil_tmp40 ;
3077 unsigned long __cil_tmp41 ;
3078 unsigned long __cil_tmp42 ;
3079 unsigned long __cil_tmp43 ;
3080 unsigned long __cil_tmp44 ;
3081 unsigned long __cil_tmp45 ;
3082 void *__cil_tmp46 ;
3083 unsigned long __cil_tmp47 ;
3084 unsigned long __cil_tmp48 ;
3085 unsigned long __cil_tmp49 ;
3086 void *__cil_tmp50 ;
3087 unsigned long __cil_tmp51 ;
3088 int *__cil_tmp52 ;
3089 int __cil_tmp53 ;
3090 unsigned long __cil_tmp54 ;
3091 unsigned long __cil_tmp55 ;
3092 void *__cil_tmp56 ;
3093 int *__cil_tmp57 ;
3094 int __cil_tmp58 ;
3095
3096 {
3097 {
3098#line 176
3099 __cil_tmp8 = (unsigned long )vb;
3100#line 176
3101 __cil_tmp9 = __cil_tmp8 + 240;
3102#line 176
3103 __cil_tmp10 = *((void **)__cil_tmp9);
3104#line 176
3105 mem = (struct videobuf_vmalloc_memory *)__cil_tmp10;
3106#line 179
3107 __cil_tmp11 = (struct videobuf_vmalloc_memory *)0;
3108#line 179
3109 __cil_tmp12 = (unsigned long )__cil_tmp11;
3110#line 179
3111 __cil_tmp13 = (unsigned long )mem;
3112#line 179
3113 __cil_tmp14 = __cil_tmp13 == __cil_tmp12;
3114#line 179
3115 __cil_tmp15 = (long )__cil_tmp14;
3116#line 179
3117 tmp = __builtin_expect(__cil_tmp15, 0L);
3118 }
3119#line 179
3120 if (tmp != 0L) {
3121#line 179
3122 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"),
3123 "i" (179), "i" (12UL));
3124 ldv_26482: ;
3125#line 179
3126 goto ldv_26482;
3127 } else {
3128
3129 }
3130 {
3131#line 181
3132 __cil_tmp16 = *((u32 *)mem);
3133#line 181
3134 __cil_tmp17 = __cil_tmp16 != 404886051U;
3135#line 181
3136 __cil_tmp18 = (long )__cil_tmp17;
3137#line 181
3138 tmp___0 = __builtin_expect(__cil_tmp18, 0L);
3139 }
3140#line 181
3141 if (tmp___0 != 0L) {
3142 {
3143#line 181
3144 __cil_tmp19 = *((u32 *)mem);
3145#line 181
3146 printk("<3>magic mismatch: %x (expected %x)\n", __cil_tmp19, 404886051);
3147#line 181
3148 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"),
3149 "i" (181), "i" (12UL));
3150 }
3151 ldv_26483: ;
3152#line 181
3153 goto ldv_26483;
3154 } else {
3155
3156 }
3157 {
3158#line 183
3159 __cil_tmp20 = (unsigned long )vb;
3160#line 183
3161 __cil_tmp21 = __cil_tmp20 + 192;
3162#line 183
3163 __cil_tmp22 = *((enum v4l2_memory *)__cil_tmp21);
3164#line 183
3165 __cil_tmp23 = (unsigned int )__cil_tmp22;
3166#line 184
3167 if ((int )__cil_tmp23 == 1) {
3168#line 184
3169 goto case_1;
3170 } else
3171#line 193
3172 if ((int )__cil_tmp23 == 2) {
3173#line 193
3174 goto case_2;
3175 } else
3176#line 235
3177 if ((int )__cil_tmp23 == 3) {
3178#line 235
3179 goto case_3;
3180 } else {
3181 {
3182#line 236
3183 goto switch_default;
3184#line 183
3185 if (0) {
3186 case_1: ;
3187 {
3188#line 185
3189 __cil_tmp24 = & debug;
3190#line 185
3191 __cil_tmp25 = *__cil_tmp24;
3192#line 185
3193 if (__cil_tmp25 > 0) {
3194 {
3195#line 185
3196 printk("<7>vbuf-vmalloc: %s memory method MMAP\n", "__videobuf_iolock");
3197 }
3198 } else {
3199
3200 }
3201 }
3202 {
3203#line 188
3204 __cil_tmp26 = (void *)0;
3205#line 188
3206 __cil_tmp27 = (unsigned long )__cil_tmp26;
3207#line 188
3208 __cil_tmp28 = (unsigned long )mem;
3209#line 188
3210 __cil_tmp29 = __cil_tmp28 + 8;
3211#line 188
3212 __cil_tmp30 = *((void **)__cil_tmp29);
3213#line 188
3214 __cil_tmp31 = (unsigned long )__cil_tmp30;
3215#line 188
3216 if (__cil_tmp31 == __cil_tmp27) {
3217 {
3218#line 189
3219 printk("<3>memory is not alloced/mmapped.\n");
3220 }
3221#line 190
3222 return (-22);
3223 } else {
3224
3225 }
3226 }
3227#line 192
3228 goto ldv_26486;
3229 case_2:
3230#line 194
3231 __cil_tmp32 = (unsigned long )vb;
3232#line 194
3233 __cil_tmp33 = __cil_tmp32 + 24;
3234#line 194
3235 __cil_tmp34 = *((unsigned long *)__cil_tmp33);
3236#line 194
3237 __cil_tmp35 = (unsigned int )__cil_tmp34;
3238#line 194
3239 __cil_tmp36 = __cil_tmp35 + 4095U;
3240#line 194
3241 __cil_tmp37 = (int )__cil_tmp36;
3242#line 194
3243 pages = __cil_tmp37 & -4096;
3244 {
3245#line 196
3246 __cil_tmp38 = & debug;
3247#line 196
3248 __cil_tmp39 = *__cil_tmp38;
3249#line 196
3250 if (__cil_tmp39 > 0) {
3251 {
3252#line 196
3253 printk("<7>vbuf-vmalloc: %s memory method USERPTR\n", "__videobuf_iolock");
3254 }
3255 } else {
3256
3257 }
3258 }
3259 {
3260#line 198
3261 __cil_tmp40 = (unsigned long )vb;
3262#line 198
3263 __cil_tmp41 = __cil_tmp40 + 216;
3264#line 198
3265 __cil_tmp42 = *((unsigned long *)__cil_tmp41);
3266#line 198
3267 if (__cil_tmp42 != 0UL) {
3268 {
3269#line 199
3270 printk("<3>USERPTR is currently not supported\n");
3271 }
3272#line 200
3273 return (-22);
3274 } else {
3275
3276 }
3277 }
3278 {
3279#line 207
3280 __cil_tmp43 = (unsigned long )mem;
3281#line 207
3282 __cil_tmp44 = __cil_tmp43 + 8;
3283#line 207
3284 __cil_tmp45 = (unsigned long )pages;
3285#line 207
3286 *((void **)__cil_tmp44) = ldv_vmalloc_user_19(__cil_tmp45);
3287 }
3288 {
3289#line 208
3290 __cil_tmp46 = (void *)0;
3291#line 208
3292 __cil_tmp47 = (unsigned long )__cil_tmp46;
3293#line 208
3294 __cil_tmp48 = (unsigned long )mem;
3295#line 208
3296 __cil_tmp49 = __cil_tmp48 + 8;
3297#line 208
3298 __cil_tmp50 = *((void **)__cil_tmp49);
3299#line 208
3300 __cil_tmp51 = (unsigned long )__cil_tmp50;
3301#line 208
3302 if (__cil_tmp51 == __cil_tmp47) {
3303 {
3304#line 209
3305 printk("<3>vmalloc (%d pages) failed\n", pages);
3306 }
3307#line 210
3308 return (-12);
3309 } else {
3310
3311 }
3312 }
3313 {
3314#line 212
3315 __cil_tmp52 = & debug;
3316#line 212
3317 __cil_tmp53 = *__cil_tmp52;
3318#line 212
3319 if (__cil_tmp53 > 0) {
3320 {
3321#line 212
3322 __cil_tmp54 = (unsigned long )mem;
3323#line 212
3324 __cil_tmp55 = __cil_tmp54 + 8;
3325#line 212
3326 __cil_tmp56 = *((void **)__cil_tmp55);
3327#line 212
3328 printk("<7>vbuf-vmalloc: vmalloc is at addr %p (%d pages)\n", __cil_tmp56,
3329 pages);
3330 }
3331 } else {
3332
3333 }
3334 }
3335#line 234
3336 goto ldv_26486;
3337 case_3: ;
3338 switch_default: ;
3339 {
3340#line 237
3341 __cil_tmp57 = & debug;
3342#line 237
3343 __cil_tmp58 = *__cil_tmp57;
3344#line 237
3345 if (__cil_tmp58 > 0) {
3346 {
3347#line 237
3348 printk("<7>vbuf-vmalloc: %s memory method OVERLAY/unknown\n", "__videobuf_iolock");
3349 }
3350 } else {
3351
3352 }
3353 }
3354 {
3355#line 240
3356 printk("<3>Memory method currently unsupported.\n");
3357 }
3358#line 241
3359 return (-22);
3360 } else {
3361 switch_break: ;
3362 }
3363 }
3364 }
3365 }
3366 ldv_26486: ;
3367#line 244
3368 return (0);
3369}
3370}
3371#line 247 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
3372static int __videobuf_mmap_mapper(struct videobuf_queue *q , struct videobuf_buffer *buf ,
3373 struct vm_area_struct *vma )
3374{ struct videobuf_vmalloc_memory *mem ;
3375 struct videobuf_mapping *map ;
3376 int retval ;
3377 int pages ;
3378 void *tmp ;
3379 long tmp___0 ;
3380 long tmp___1 ;
3381 int *__cil_tmp11 ;
3382 int __cil_tmp12 ;
3383 struct videobuf_mapping *__cil_tmp13 ;
3384 unsigned long __cil_tmp14 ;
3385 unsigned long __cil_tmp15 ;
3386 unsigned long __cil_tmp16 ;
3387 unsigned long __cil_tmp17 ;
3388 unsigned long __cil_tmp18 ;
3389 unsigned long __cil_tmp19 ;
3390 unsigned long __cil_tmp20 ;
3391 unsigned long __cil_tmp21 ;
3392 unsigned long __cil_tmp22 ;
3393 unsigned long __cil_tmp23 ;
3394 unsigned long __cil_tmp24 ;
3395 unsigned long __cil_tmp25 ;
3396 void *__cil_tmp26 ;
3397 struct videobuf_vmalloc_memory *__cil_tmp27 ;
3398 unsigned long __cil_tmp28 ;
3399 unsigned long __cil_tmp29 ;
3400 int __cil_tmp30 ;
3401 long __cil_tmp31 ;
3402 u32 __cil_tmp32 ;
3403 int __cil_tmp33 ;
3404 long __cil_tmp34 ;
3405 u32 __cil_tmp35 ;
3406 unsigned long __cil_tmp36 ;
3407 unsigned long __cil_tmp37 ;
3408 unsigned long __cil_tmp38 ;
3409 unsigned int __cil_tmp39 ;
3410 unsigned long __cil_tmp40 ;
3411 unsigned long __cil_tmp41 ;
3412 unsigned long __cil_tmp42 ;
3413 unsigned int __cil_tmp43 ;
3414 unsigned int __cil_tmp44 ;
3415 unsigned int __cil_tmp45 ;
3416 int __cil_tmp46 ;
3417 unsigned long __cil_tmp47 ;
3418 unsigned long __cil_tmp48 ;
3419 unsigned long __cil_tmp49 ;
3420 void *__cil_tmp50 ;
3421 unsigned long __cil_tmp51 ;
3422 unsigned long __cil_tmp52 ;
3423 unsigned long __cil_tmp53 ;
3424 void *__cil_tmp54 ;
3425 unsigned long __cil_tmp55 ;
3426 int *__cil_tmp56 ;
3427 int __cil_tmp57 ;
3428 unsigned long __cil_tmp58 ;
3429 unsigned long __cil_tmp59 ;
3430 void *__cil_tmp60 ;
3431 unsigned long __cil_tmp61 ;
3432 unsigned long __cil_tmp62 ;
3433 void *__cil_tmp63 ;
3434 unsigned long __cil_tmp64 ;
3435 unsigned long __cil_tmp65 ;
3436 void *__cil_tmp66 ;
3437 void const *__cil_tmp67 ;
3438 unsigned long __cil_tmp68 ;
3439 unsigned long __cil_tmp69 ;
3440 unsigned long __cil_tmp70 ;
3441 unsigned long __cil_tmp71 ;
3442 unsigned long __cil_tmp72 ;
3443 unsigned long __cil_tmp73 ;
3444 unsigned long __cil_tmp74 ;
3445 unsigned long __cil_tmp75 ;
3446 unsigned long __cil_tmp76 ;
3447 int *__cil_tmp77 ;
3448 int __cil_tmp78 ;
3449 unsigned long __cil_tmp79 ;
3450 unsigned long __cil_tmp80 ;
3451 unsigned long __cil_tmp81 ;
3452 unsigned long __cil_tmp82 ;
3453 unsigned long __cil_tmp83 ;
3454 unsigned long __cil_tmp84 ;
3455 unsigned long __cil_tmp85 ;
3456 unsigned long __cil_tmp86 ;
3457 size_t __cil_tmp87 ;
3458 long __cil_tmp88 ;
3459 unsigned long __cil_tmp89 ;
3460 unsigned long __cil_tmp90 ;
3461 unsigned long __cil_tmp91 ;
3462 unsigned int __cil_tmp92 ;
3463 void const *__cil_tmp93 ;
3464
3465 {
3466 {
3467#line 255
3468 __cil_tmp11 = & debug;
3469#line 255
3470 __cil_tmp12 = *__cil_tmp11;
3471#line 255
3472 if (__cil_tmp12 > 0) {
3473 {
3474#line 255
3475 printk("<7>vbuf-vmalloc: %s\n", "__videobuf_mmap_mapper");
3476 }
3477 } else {
3478
3479 }
3480 }
3481 {
3482#line 258
3483 tmp = kzalloc(16UL, 208U);
3484#line 258
3485 map = (struct videobuf_mapping *)tmp;
3486 }
3487 {
3488#line 259
3489 __cil_tmp13 = (struct videobuf_mapping *)0;
3490#line 259
3491 __cil_tmp14 = (unsigned long )__cil_tmp13;
3492#line 259
3493 __cil_tmp15 = (unsigned long )map;
3494#line 259
3495 if (__cil_tmp15 == __cil_tmp14) {
3496#line 260
3497 return (-12);
3498 } else {
3499
3500 }
3501 }
3502 {
3503#line 262
3504 __cil_tmp16 = (unsigned long )buf;
3505#line 262
3506 __cil_tmp17 = __cil_tmp16 + 224;
3507#line 262
3508 *((struct videobuf_mapping **)__cil_tmp17) = map;
3509#line 263
3510 __cil_tmp18 = (unsigned long )map;
3511#line 263
3512 __cil_tmp19 = __cil_tmp18 + 8;
3513#line 263
3514 *((struct videobuf_queue **)__cil_tmp19) = q;
3515#line 265
3516 __cil_tmp20 = (unsigned long )buf;
3517#line 265
3518 __cil_tmp21 = __cil_tmp20 + 216;
3519#line 265
3520 __cil_tmp22 = (unsigned long )vma;
3521#line 265
3522 __cil_tmp23 = __cil_tmp22 + 8;
3523#line 265
3524 *((unsigned long *)__cil_tmp21) = *((unsigned long *)__cil_tmp23);
3525#line 267
3526 __cil_tmp24 = (unsigned long )buf;
3527#line 267
3528 __cil_tmp25 = __cil_tmp24 + 240;
3529#line 267
3530 __cil_tmp26 = *((void **)__cil_tmp25);
3531#line 267
3532 mem = (struct videobuf_vmalloc_memory *)__cil_tmp26;
3533#line 268
3534 __cil_tmp27 = (struct videobuf_vmalloc_memory *)0;
3535#line 268
3536 __cil_tmp28 = (unsigned long )__cil_tmp27;
3537#line 268
3538 __cil_tmp29 = (unsigned long )mem;
3539#line 268
3540 __cil_tmp30 = __cil_tmp29 == __cil_tmp28;
3541#line 268
3542 __cil_tmp31 = (long )__cil_tmp30;
3543#line 268
3544 tmp___0 = __builtin_expect(__cil_tmp31, 0L);
3545 }
3546#line 268
3547 if (tmp___0 != 0L) {
3548#line 268
3549 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"),
3550 "i" (268), "i" (12UL));
3551 ldv_26500: ;
3552#line 268
3553 goto ldv_26500;
3554 } else {
3555
3556 }
3557 {
3558#line 269
3559 __cil_tmp32 = *((u32 *)mem);
3560#line 269
3561 __cil_tmp33 = __cil_tmp32 != 404886051U;
3562#line 269
3563 __cil_tmp34 = (long )__cil_tmp33;
3564#line 269
3565 tmp___1 = __builtin_expect(__cil_tmp34, 0L);
3566 }
3567#line 269
3568 if (tmp___1 != 0L) {
3569 {
3570#line 269
3571 __cil_tmp35 = *((u32 *)mem);
3572#line 269
3573 printk("<3>magic mismatch: %x (expected %x)\n", __cil_tmp35, 404886051);
3574#line 269
3575 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"),
3576 "i" (269), "i" (12UL));
3577 }
3578 ldv_26501: ;
3579#line 269
3580 goto ldv_26501;
3581 } else {
3582
3583 }
3584 {
3585#line 271
3586 __cil_tmp36 = (unsigned long )vma;
3587#line 271
3588 __cil_tmp37 = __cil_tmp36 + 8;
3589#line 271
3590 __cil_tmp38 = *((unsigned long *)__cil_tmp37);
3591#line 271
3592 __cil_tmp39 = (unsigned int )__cil_tmp38;
3593#line 271
3594 __cil_tmp40 = (unsigned long )vma;
3595#line 271
3596 __cil_tmp41 = __cil_tmp40 + 16;
3597#line 271
3598 __cil_tmp42 = *((unsigned long *)__cil_tmp41);
3599#line 271
3600 __cil_tmp43 = (unsigned int )__cil_tmp42;
3601#line 271
3602 __cil_tmp44 = __cil_tmp43 - __cil_tmp39;
3603#line 271
3604 __cil_tmp45 = __cil_tmp44 + 4095U;
3605#line 271
3606 __cil_tmp46 = (int )__cil_tmp45;
3607#line 271
3608 pages = __cil_tmp46 & -4096;
3609#line 272
3610 __cil_tmp47 = (unsigned long )mem;
3611#line 272
3612 __cil_tmp48 = __cil_tmp47 + 8;
3613#line 272
3614 __cil_tmp49 = (unsigned long )pages;
3615#line 272
3616 *((void **)__cil_tmp48) = ldv_vmalloc_user_20(__cil_tmp49);
3617 }
3618 {
3619#line 273
3620 __cil_tmp50 = (void *)0;
3621#line 273
3622 __cil_tmp51 = (unsigned long )__cil_tmp50;
3623#line 273
3624 __cil_tmp52 = (unsigned long )mem;
3625#line 273
3626 __cil_tmp53 = __cil_tmp52 + 8;
3627#line 273
3628 __cil_tmp54 = *((void **)__cil_tmp53);
3629#line 273
3630 __cil_tmp55 = (unsigned long )__cil_tmp54;
3631#line 273
3632 if (__cil_tmp55 == __cil_tmp51) {
3633 {
3634#line 274
3635 printk("<3>vmalloc (%d pages) failed\n", pages);
3636 }
3637#line 275
3638 goto error;
3639 } else {
3640
3641 }
3642 }
3643 {
3644#line 277
3645 __cil_tmp56 = & debug;
3646#line 277
3647 __cil_tmp57 = *__cil_tmp56;
3648#line 277
3649 if (__cil_tmp57 > 0) {
3650 {
3651#line 277
3652 __cil_tmp58 = (unsigned long )mem;
3653#line 277
3654 __cil_tmp59 = __cil_tmp58 + 8;
3655#line 277
3656 __cil_tmp60 = *((void **)__cil_tmp59);
3657#line 277
3658 printk("<7>vbuf-vmalloc: vmalloc is at addr %p (%d pages)\n", __cil_tmp60, pages);
3659 }
3660 } else {
3661
3662 }
3663 }
3664 {
3665#line 280
3666 __cil_tmp61 = (unsigned long )mem;
3667#line 280
3668 __cil_tmp62 = __cil_tmp61 + 8;
3669#line 280
3670 __cil_tmp63 = *((void **)__cil_tmp62);
3671#line 280
3672 retval = remap_vmalloc_range(vma, __cil_tmp63, 0UL);
3673 }
3674#line 281
3675 if (retval < 0) {
3676 {
3677#line 282
3678 printk("<3>mmap: remap failed with error %d. ", retval);
3679#line 283
3680 __cil_tmp64 = (unsigned long )mem;
3681#line 283
3682 __cil_tmp65 = __cil_tmp64 + 8;
3683#line 283
3684 __cil_tmp66 = *((void **)__cil_tmp65);
3685#line 283
3686 __cil_tmp67 = (void const *)__cil_tmp66;
3687#line 283
3688 vfree(__cil_tmp67);
3689 }
3690#line 284
3691 goto error;
3692 } else {
3693
3694 }
3695#line 287
3696 __cil_tmp68 = (unsigned long )vma;
3697#line 287
3698 __cil_tmp69 = __cil_tmp68 + 136;
3699#line 287
3700 *((struct vm_operations_struct const **)__cil_tmp69) = & videobuf_vm_ops;
3701#line 288
3702 __cil_tmp70 = (unsigned long )vma;
3703#line 288
3704 __cil_tmp71 = __cil_tmp70 + 48;
3705#line 288
3706 __cil_tmp72 = (unsigned long )vma;
3707#line 288
3708 __cil_tmp73 = __cil_tmp72 + 48;
3709#line 288
3710 __cil_tmp74 = *((unsigned long *)__cil_tmp73);
3711#line 288
3712 *((unsigned long *)__cil_tmp71) = __cil_tmp74 | 786432UL;
3713#line 289
3714 __cil_tmp75 = (unsigned long )vma;
3715#line 289
3716 __cil_tmp76 = __cil_tmp75 + 160;
3717#line 289
3718 *((void **)__cil_tmp76) = (void *)map;
3719 {
3720#line 291
3721 __cil_tmp77 = & debug;
3722#line 291
3723 __cil_tmp78 = *__cil_tmp77;
3724#line 291
3725 if (__cil_tmp78 > 0) {
3726 {
3727#line 291
3728 __cil_tmp79 = (unsigned long )vma;
3729#line 291
3730 __cil_tmp80 = __cil_tmp79 + 8;
3731#line 291
3732 __cil_tmp81 = *((unsigned long *)__cil_tmp80);
3733#line 291
3734 __cil_tmp82 = (unsigned long )vma;
3735#line 291
3736 __cil_tmp83 = __cil_tmp82 + 16;
3737#line 291
3738 __cil_tmp84 = *((unsigned long *)__cil_tmp83);
3739#line 291
3740 __cil_tmp85 = (unsigned long )buf;
3741#line 291
3742 __cil_tmp86 = __cil_tmp85 + 200;
3743#line 291
3744 __cil_tmp87 = *((size_t *)__cil_tmp86);
3745#line 291
3746 __cil_tmp88 = (long )__cil_tmp87;
3747#line 291
3748 __cil_tmp89 = (unsigned long )vma;
3749#line 291
3750 __cil_tmp90 = __cil_tmp89 + 144;
3751#line 291
3752 __cil_tmp91 = *((unsigned long *)__cil_tmp90);
3753#line 291
3754 __cil_tmp92 = *((unsigned int *)buf);
3755#line 291
3756 printk("<7>vbuf-vmalloc: mmap %p: q=%p %08lx-%08lx (%lx) pgoff %08lx buf %d\n",
3757 map, q, __cil_tmp81, __cil_tmp84, __cil_tmp88, __cil_tmp91, __cil_tmp92);
3758 }
3759 } else {
3760
3761 }
3762 }
3763 {
3764#line 296
3765 videobuf_vm_open(vma);
3766 }
3767#line 298
3768 return (0);
3769 error:
3770 {
3771#line 301
3772 mem = (struct videobuf_vmalloc_memory *)0;
3773#line 302
3774 __cil_tmp93 = (void const *)map;
3775#line 302
3776 kfree(__cil_tmp93);
3777 }
3778#line 303
3779 return (-12);
3780}
3781}
3782#line 306 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
3783static struct videobuf_qtype_ops qops = {304484355U, & __videobuf_alloc_vb, & videobuf_to_vmalloc, & __videobuf_iolock,
3784 (int (*)(struct videobuf_queue * , struct videobuf_buffer * ))0, & __videobuf_mmap_mapper};
3785#line 315 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
3786void videobuf_queue_vmalloc_init(struct videobuf_queue *q , struct videobuf_queue_ops const *ops ,
3787 struct device *dev , spinlock_t *irqlock , enum v4l2_buf_type type ,
3788 enum v4l2_field field , unsigned int msize , void *priv ,
3789 struct mutex *ext_lock )
3790{
3791
3792 {
3793 {
3794#line 325
3795 videobuf_queue_core_init(q, ops, dev, irqlock, type, field, msize, priv, & qops,
3796 ext_lock);
3797 }
3798#line 327
3799 return;
3800}
3801}
3802#line 330 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
3803void *videobuf_to_vmalloc(struct videobuf_buffer *buf )
3804{ struct videobuf_vmalloc_memory *mem ;
3805 long tmp ;
3806 long tmp___0 ;
3807 unsigned long __cil_tmp5 ;
3808 unsigned long __cil_tmp6 ;
3809 void *__cil_tmp7 ;
3810 struct videobuf_vmalloc_memory *__cil_tmp8 ;
3811 unsigned long __cil_tmp9 ;
3812 unsigned long __cil_tmp10 ;
3813 int __cil_tmp11 ;
3814 long __cil_tmp12 ;
3815 u32 __cil_tmp13 ;
3816 int __cil_tmp14 ;
3817 long __cil_tmp15 ;
3818 u32 __cil_tmp16 ;
3819 unsigned long __cil_tmp17 ;
3820 unsigned long __cil_tmp18 ;
3821
3822 {
3823 {
3824#line 332
3825 __cil_tmp5 = (unsigned long )buf;
3826#line 332
3827 __cil_tmp6 = __cil_tmp5 + 240;
3828#line 332
3829 __cil_tmp7 = *((void **)__cil_tmp6);
3830#line 332
3831 mem = (struct videobuf_vmalloc_memory *)__cil_tmp7;
3832#line 333
3833 __cil_tmp8 = (struct videobuf_vmalloc_memory *)0;
3834#line 333
3835 __cil_tmp9 = (unsigned long )__cil_tmp8;
3836#line 333
3837 __cil_tmp10 = (unsigned long )mem;
3838#line 333
3839 __cil_tmp11 = __cil_tmp10 == __cil_tmp9;
3840#line 333
3841 __cil_tmp12 = (long )__cil_tmp11;
3842#line 333
3843 tmp = __builtin_expect(__cil_tmp12, 0L);
3844 }
3845#line 333
3846 if (tmp != 0L) {
3847#line 333
3848 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"),
3849 "i" (333), "i" (12UL));
3850 ldv_26533: ;
3851#line 333
3852 goto ldv_26533;
3853 } else {
3854
3855 }
3856 {
3857#line 334
3858 __cil_tmp13 = *((u32 *)mem);
3859#line 334
3860 __cil_tmp14 = __cil_tmp13 != 404886051U;
3861#line 334
3862 __cil_tmp15 = (long )__cil_tmp14;
3863#line 334
3864 tmp___0 = __builtin_expect(__cil_tmp15, 0L);
3865 }
3866#line 334
3867 if (tmp___0 != 0L) {
3868 {
3869#line 334
3870 __cil_tmp16 = *((u32 *)mem);
3871#line 334
3872 printk("<3>magic mismatch: %x (expected %x)\n", __cil_tmp16, 404886051);
3873#line 334
3874 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"),
3875 "i" (334), "i" (12UL));
3876 }
3877 ldv_26534: ;
3878#line 334
3879 goto ldv_26534;
3880 } else {
3881
3882 }
3883 {
3884#line 336
3885 __cil_tmp17 = (unsigned long )mem;
3886#line 336
3887 __cil_tmp18 = __cil_tmp17 + 8;
3888#line 336
3889 return (*((void **)__cil_tmp18));
3890 }
3891}
3892}
3893#line 340 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
3894void videobuf_vmalloc_free(struct videobuf_buffer *buf )
3895{ struct videobuf_vmalloc_memory *mem ;
3896 long tmp ;
3897 unsigned long __cil_tmp4 ;
3898 unsigned long __cil_tmp5 ;
3899 void *__cil_tmp6 ;
3900 unsigned long __cil_tmp7 ;
3901 unsigned long __cil_tmp8 ;
3902 enum v4l2_memory __cil_tmp9 ;
3903 unsigned int __cil_tmp10 ;
3904 unsigned long __cil_tmp11 ;
3905 unsigned long __cil_tmp12 ;
3906 unsigned long __cil_tmp13 ;
3907 struct videobuf_vmalloc_memory *__cil_tmp14 ;
3908 unsigned long __cil_tmp15 ;
3909 unsigned long __cil_tmp16 ;
3910 u32 __cil_tmp17 ;
3911 int __cil_tmp18 ;
3912 long __cil_tmp19 ;
3913 u32 __cil_tmp20 ;
3914 unsigned long __cil_tmp21 ;
3915 unsigned long __cil_tmp22 ;
3916 void *__cil_tmp23 ;
3917 void const *__cil_tmp24 ;
3918 unsigned long __cil_tmp25 ;
3919 unsigned long __cil_tmp26 ;
3920
3921 {
3922#line 342
3923 __cil_tmp4 = (unsigned long )buf;
3924#line 342
3925 __cil_tmp5 = __cil_tmp4 + 240;
3926#line 342
3927 __cil_tmp6 = *((void **)__cil_tmp5);
3928#line 342
3929 mem = (struct videobuf_vmalloc_memory *)__cil_tmp6;
3930 {
3931#line 350
3932 __cil_tmp7 = (unsigned long )buf;
3933#line 350
3934 __cil_tmp8 = __cil_tmp7 + 192;
3935#line 350
3936 __cil_tmp9 = *((enum v4l2_memory *)__cil_tmp8);
3937#line 350
3938 __cil_tmp10 = (unsigned int )__cil_tmp9;
3939#line 350
3940 if (__cil_tmp10 != 2U) {
3941#line 351
3942 return;
3943 } else {
3944 {
3945#line 350
3946 __cil_tmp11 = (unsigned long )buf;
3947#line 350
3948 __cil_tmp12 = __cil_tmp11 + 216;
3949#line 350
3950 __cil_tmp13 = *((unsigned long *)__cil_tmp12);
3951#line 350
3952 if (__cil_tmp13 != 0UL) {
3953#line 351
3954 return;
3955 } else {
3956
3957 }
3958 }
3959 }
3960 }
3961 {
3962#line 353
3963 __cil_tmp14 = (struct videobuf_vmalloc_memory *)0;
3964#line 353
3965 __cil_tmp15 = (unsigned long )__cil_tmp14;
3966#line 353
3967 __cil_tmp16 = (unsigned long )mem;
3968#line 353
3969 if (__cil_tmp16 == __cil_tmp15) {
3970#line 354
3971 return;
3972 } else {
3973
3974 }
3975 }
3976 {
3977#line 356
3978 __cil_tmp17 = *((u32 *)mem);
3979#line 356
3980 __cil_tmp18 = __cil_tmp17 != 404886051U;
3981#line 356
3982 __cil_tmp19 = (long )__cil_tmp18;
3983#line 356
3984 tmp = __builtin_expect(__cil_tmp19, 0L);
3985 }
3986#line 356
3987 if (tmp != 0L) {
3988 {
3989#line 356
3990 __cil_tmp20 = *((u32 *)mem);
3991#line 356
3992 printk("<3>magic mismatch: %x (expected %x)\n", __cil_tmp20, 404886051);
3993#line 356
3994 __asm__ volatile ("1:\tud2\n.pushsection __bug_table,\"a\"\n2:\t.long 1b - 2b, %c0 - 2b\n\t.word %c1, 0\n\t.org 2b+%c2\n.popsection": : "i" ((char *)"/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"),
3995 "i" (356), "i" (12UL));
3996 }
3997 ldv_26545: ;
3998#line 356
3999 goto ldv_26545;
4000 } else {
4001
4002 }
4003 {
4004#line 358
4005 __cil_tmp21 = (unsigned long )mem;
4006#line 358
4007 __cil_tmp22 = __cil_tmp21 + 8;
4008#line 358
4009 __cil_tmp23 = *((void **)__cil_tmp22);
4010#line 358
4011 __cil_tmp24 = (void const *)__cil_tmp23;
4012#line 358
4013 vfree(__cil_tmp24);
4014#line 359
4015 __cil_tmp25 = (unsigned long )mem;
4016#line 359
4017 __cil_tmp26 = __cil_tmp25 + 8;
4018#line 359
4019 *((void **)__cil_tmp26) = (void *)0;
4020 }
4021#line 361
4022 return;
4023}
4024}
4025#line 382
4026extern void ldv_check_final_state(void) ;
4027#line 388
4028extern void ldv_initialize(void) ;
4029#line 391
4030extern int __VERIFIER_nondet_int(void) ;
4031#line 394 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4032int LDV_IN_INTERRUPT ;
4033#line 397 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4034void main(void)
4035{ struct vm_area_struct *var_group1 ;
4036 size_t var___videobuf_alloc_vb_2_p0 ;
4037 struct videobuf_queue *var_group2 ;
4038 struct videobuf_buffer *var_group3 ;
4039 struct v4l2_framebuffer *var___videobuf_iolock_3_p2 ;
4040 struct vm_area_struct *var___videobuf_mmap_mapper_4_p2 ;
4041 int ldv_s_videobuf_vm_ops_vm_operations_struct ;
4042 int tmp ;
4043 int tmp___0 ;
4044
4045 {
4046 {
4047#line 535
4048 ldv_s_videobuf_vm_ops_vm_operations_struct = 0;
4049#line 525
4050 LDV_IN_INTERRUPT = 1;
4051#line 534
4052 ldv_initialize();
4053 }
4054#line 540
4055 goto ldv_26580;
4056 ldv_26579:
4057 {
4058#line 544
4059 tmp = __VERIFIER_nondet_int();
4060 }
4061#line 546
4062 if (tmp == 0) {
4063#line 546
4064 goto case_0;
4065 } else
4066#line 578
4067 if (tmp == 1) {
4068#line 578
4069 goto case_1;
4070 } else
4071#line 610
4072 if (tmp == 2) {
4073#line 610
4074 goto case_2;
4075 } else
4076#line 642
4077 if (tmp == 3) {
4078#line 642
4079 goto case_3;
4080 } else
4081#line 670
4082 if (tmp == 4) {
4083#line 670
4084 goto case_4;
4085 } else
4086#line 700
4087 if (tmp == 5) {
4088#line 700
4089 goto case_5;
4090 } else {
4091 {
4092#line 730
4093 goto switch_default;
4094#line 544
4095 if (0) {
4096 case_0: ;
4097#line 549
4098 if (ldv_s_videobuf_vm_ops_vm_operations_struct == 0) {
4099 {
4100#line 566
4101 videobuf_vm_open(var_group1);
4102#line 571
4103 ldv_s_videobuf_vm_ops_vm_operations_struct = ldv_s_videobuf_vm_ops_vm_operations_struct + 1;
4104 }
4105 } else {
4106
4107 }
4108#line 577
4109 goto ldv_26572;
4110 case_1: ;
4111#line 581
4112 if (ldv_s_videobuf_vm_ops_vm_operations_struct == 1) {
4113 {
4114#line 598
4115 videobuf_vm_close(var_group1);
4116#line 603
4117 ldv_s_videobuf_vm_ops_vm_operations_struct = 0;
4118 }
4119 } else {
4120
4121 }
4122#line 609
4123 goto ldv_26572;
4124 case_2:
4125 {
4126#line 630
4127 __videobuf_alloc_vb(var___videobuf_alloc_vb_2_p0);
4128 }
4129#line 641
4130 goto ldv_26572;
4131 case_3:
4132 {
4133#line 662
4134 __videobuf_iolock(var_group2, var_group3, var___videobuf_iolock_3_p2);
4135 }
4136#line 669
4137 goto ldv_26572;
4138 case_4:
4139 {
4140#line 692
4141 __videobuf_mmap_mapper(var_group2, var_group3, var___videobuf_mmap_mapper_4_p2);
4142 }
4143#line 699
4144 goto ldv_26572;
4145 case_5:
4146 {
4147#line 722
4148 videobuf_to_vmalloc(var_group3);
4149 }
4150#line 729
4151 goto ldv_26572;
4152 switch_default: ;
4153#line 730
4154 goto ldv_26572;
4155 } else {
4156 switch_break: ;
4157 }
4158 }
4159 }
4160 ldv_26572: ;
4161 ldv_26580:
4162 {
4163#line 540
4164 tmp___0 = __VERIFIER_nondet_int();
4165 }
4166#line 540
4167 if (tmp___0 != 0) {
4168#line 542
4169 goto ldv_26579;
4170 } else
4171#line 540
4172 if (ldv_s_videobuf_vm_ops_vm_operations_struct != 0) {
4173#line 542
4174 goto ldv_26579;
4175 } else {
4176#line 544
4177 goto ldv_26581;
4178 }
4179 ldv_26581: ;
4180
4181 {
4182#line 739
4183 ldv_check_final_state();
4184 }
4185#line 742
4186 return;
4187}
4188}
4189#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
4190void ldv_blast_assert(void)
4191{
4192
4193 {
4194 ERROR: ;
4195#line 6
4196 goto ERROR;
4197}
4198}
4199#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
4200extern int __VERIFIER_nondet_int(void) ;
4201#line 763 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4202int ldv_spin = 0;
4203#line 767 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4204void ldv_check_alloc_flags(gfp_t flags )
4205{
4206
4207 {
4208#line 770
4209 if (ldv_spin != 0) {
4210#line 770
4211 if (flags != 32U) {
4212 {
4213#line 770
4214 ldv_blast_assert();
4215 }
4216 } else {
4217
4218 }
4219 } else {
4220
4221 }
4222#line 773
4223 return;
4224}
4225}
4226#line 773
4227extern struct page *ldv_some_page(void) ;
4228#line 776 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4229struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags )
4230{ struct page *tmp ;
4231
4232 {
4233#line 779
4234 if (ldv_spin != 0) {
4235#line 779
4236 if (flags != 32U) {
4237 {
4238#line 779
4239 ldv_blast_assert();
4240 }
4241 } else {
4242
4243 }
4244 } else {
4245
4246 }
4247 {
4248#line 781
4249 tmp = ldv_some_page();
4250 }
4251#line 781
4252 return (tmp);
4253}
4254}
4255#line 785 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4256void ldv_check_alloc_nonatomic(void)
4257{
4258
4259 {
4260#line 788
4261 if (ldv_spin != 0) {
4262 {
4263#line 788
4264 ldv_blast_assert();
4265 }
4266 } else {
4267
4268 }
4269#line 791
4270 return;
4271}
4272}
4273#line 792 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4274void ldv_spin_lock(void)
4275{
4276
4277 {
4278#line 795
4279 ldv_spin = 1;
4280#line 796
4281 return;
4282}
4283}
4284#line 799 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4285void ldv_spin_unlock(void)
4286{
4287
4288 {
4289#line 802
4290 ldv_spin = 0;
4291#line 803
4292 return;
4293}
4294}
4295#line 806 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4296int ldv_spin_trylock(void)
4297{ int is_lock ;
4298
4299 {
4300 {
4301#line 811
4302 is_lock = __VERIFIER_nondet_int();
4303 }
4304#line 813
4305 if (is_lock != 0) {
4306#line 816
4307 return (0);
4308 } else {
4309#line 821
4310 ldv_spin = 1;
4311#line 823
4312 return (1);
4313 }
4314}
4315}
4316#line 990 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4317void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 )
4318{
4319
4320 {
4321 {
4322#line 996
4323 ldv_check_alloc_flags(ldv_func_arg2);
4324#line 998
4325 kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
4326 }
4327#line 999
4328 return ((void *)0);
4329}
4330}
4331#line 1001 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4332__inline static void *kzalloc(size_t size , gfp_t flags )
4333{ void *tmp ;
4334
4335 {
4336 {
4337#line 1007
4338 ldv_check_alloc_flags(flags);
4339#line 1008
4340 tmp = __VERIFIER_nondet_pointer();
4341 }
4342#line 1008
4343 return (tmp);
4344}
4345}
4346#line 1022 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4347void *ldv_vmalloc_user_19(unsigned long ldv_func_arg1 )
4348{
4349
4350 {
4351 {
4352#line 1027
4353 ldv_check_alloc_nonatomic();
4354#line 1029
4355 vmalloc_user(ldv_func_arg1);
4356 }
4357#line 1030
4358 return ((void *)0);
4359}
4360}
4361#line 1032 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/8228/dscv_tempdir/dscv/ri/43_1a/drivers/media/video/videobuf-vmalloc.c.p"
4362void *ldv_vmalloc_user_20(unsigned long ldv_func_arg1 )
4363{
4364
4365 {
4366 {
4367#line 1037
4368 ldv_check_alloc_nonatomic();
4369#line 1039
4370 vmalloc_user(ldv_func_arg1);
4371 }
4372#line 1040
4373 return ((void *)0);
4374}
4375}