Showing error 129

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-c-qcam.ko_safe.cil.out.i.pp.cil.c
Line in file: 11144
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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