Showing error 198

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