Showing error 744

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-linux-3.4/32_7_cilled_unsafe_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 14827
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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