Showing error 742

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