Showing error 89

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/module_get_put-drivers-gpu-drm-i915-i915.ko_safe.cil.out.i.pp.i
Line in file: 11173
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

     1# 1 "ldv/08_1/drivers/gpu/drm/i915/i915.ko/safe.cil.out.i"
     2# 1 "<built-in>"
     3# 1 "<command-line>"
     4# 1 "ldv/08_1/drivers/gpu/drm/i915/i915.ko/safe.cil.out.i"
     5# 19 "include/asm-generic/int-ll64.h"
     6typedef signed char __s8;
     7# 20 "include/asm-generic/int-ll64.h"
     8typedef unsigned char __u8;
     9# 22 "include/asm-generic/int-ll64.h"
    10typedef short __s16;
    11# 23 "include/asm-generic/int-ll64.h"
    12typedef unsigned short __u16;
    13# 25 "include/asm-generic/int-ll64.h"
    14typedef int __s32;
    15# 26 "include/asm-generic/int-ll64.h"
    16typedef unsigned int __u32;
    17# 29 "include/asm-generic/int-ll64.h"
    18typedef long long __s64;
    19# 30 "include/asm-generic/int-ll64.h"
    20typedef unsigned long long __u64;
    21# 43 "include/asm-generic/int-ll64.h"
    22typedef unsigned char u8;
    23# 46 "include/asm-generic/int-ll64.h"
    24typedef unsigned short u16;
    25# 48 "include/asm-generic/int-ll64.h"
    26typedef int s32;
    27# 49 "include/asm-generic/int-ll64.h"
    28typedef unsigned int u32;
    29# 51 "include/asm-generic/int-ll64.h"
    30typedef long long s64;
    31# 52 "include/asm-generic/int-ll64.h"
    32typedef unsigned long long u64;
    33# 11 "include/asm-generic/types.h"
    34typedef unsigned short umode_t;
    35# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    36typedef unsigned int __kernel_mode_t;
    37# 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    38typedef unsigned long __kernel_nlink_t;
    39# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    40typedef long __kernel_off_t;
    41# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    42typedef int __kernel_pid_t;
    43# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    44typedef unsigned int __kernel_uid_t;
    45# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    46typedef unsigned int __kernel_gid_t;
    47# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    48typedef unsigned long __kernel_size_t;
    49# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    50typedef long __kernel_ssize_t;
    51# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    52typedef long __kernel_time_t;
    53# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    54typedef long __kernel_suseconds_t;
    55# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    56typedef long __kernel_clock_t;
    57# 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    58typedef int __kernel_timer_t;
    59# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    60typedef int __kernel_clockid_t;
    61# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    62typedef long long __kernel_loff_t;
    63# 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    64typedef __kernel_uid_t __kernel_uid32_t;
    65# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
    66typedef __kernel_gid_t __kernel_gid32_t;
    67# 21 "include/linux/types.h"
    68typedef __u32 __kernel_dev_t;
    69# 24 "include/linux/types.h"
    70typedef __kernel_dev_t dev_t;
    71# 26 "include/linux/types.h"
    72typedef __kernel_mode_t mode_t;
    73# 27 "include/linux/types.h"
    74typedef __kernel_nlink_t nlink_t;
    75# 28 "include/linux/types.h"
    76typedef __kernel_off_t off_t;
    77# 29 "include/linux/types.h"
    78typedef __kernel_pid_t pid_t;
    79# 34 "include/linux/types.h"
    80typedef __kernel_clockid_t clockid_t;
    81# 37 "include/linux/types.h"
    82typedef _Bool bool;
    83# 39 "include/linux/types.h"
    84typedef __kernel_uid32_t uid_t;
    85# 40 "include/linux/types.h"
    86typedef __kernel_gid32_t gid_t;
    87# 53 "include/linux/types.h"
    88typedef __kernel_loff_t loff_t;
    89# 62 "include/linux/types.h"
    90typedef __kernel_size_t size_t;
    91# 67 "include/linux/types.h"
    92typedef __kernel_ssize_t ssize_t;
    93# 77 "include/linux/types.h"
    94typedef __kernel_time_t time_t;
    95# 110 "include/linux/types.h"
    96typedef __s32 int32_t;
    97# 114 "include/linux/types.h"
    98typedef __u8 uint8_t;
    99# 115 "include/linux/types.h"
   100typedef __u16 uint16_t;
   101# 116 "include/linux/types.h"
   102typedef __u32 uint32_t;
   103# 119 "include/linux/types.h"
   104typedef __u64 uint64_t;
   105# 141 "include/linux/types.h"
   106typedef unsigned long sector_t;
   107# 142 "include/linux/types.h"
   108typedef unsigned long blkcnt_t;
   109# 154 "include/linux/types.h"
   110typedef u64 dma_addr_t;
   111# 201 "include/linux/types.h"
   112typedef unsigned int gfp_t;
   113# 202 "include/linux/types.h"
   114typedef unsigned int fmode_t;
   115# 205 "include/linux/types.h"
   116typedef u64 phys_addr_t;
   117# 210 "include/linux/types.h"
   118typedef phys_addr_t resource_size_t;
   119# 214 "include/linux/types.h"
   120struct __anonstruct_atomic_t_6 {
   121   int counter ;
   122};
   123# 214 "include/linux/types.h"
   124typedef struct __anonstruct_atomic_t_6 atomic_t;
   125# 219 "include/linux/types.h"
   126struct __anonstruct_atomic64_t_7 {
   127   long counter ;
   128};
   129# 219 "include/linux/types.h"
   130typedef struct __anonstruct_atomic64_t_7 atomic64_t;
   131# 220 "include/linux/types.h"
   132struct list_head {
   133   struct list_head *next ;
   134   struct list_head *prev ;
   135};
   136# 225 "include/linux/types.h"
   137struct hlist_node;
   138# 225 "include/linux/types.h"
   139struct hlist_head {
   140   struct hlist_node *first ;
   141};
   142# 229 "include/linux/types.h"
   143struct hlist_node {
   144   struct hlist_node *next ;
   145   struct hlist_node **pprev ;
   146};
   147# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
   148struct module;
   149# 145 "include/linux/init.h"
   150typedef void (*ctor_fn_t)(void);
   151# 48 "include/linux/dynamic_debug.h"
   152struct bug_entry {
   153   int bug_addr_disp ;
   154   int file_disp ;
   155   unsigned short line ;
   156   unsigned short flags ;
   157};
   158# 70 "include/asm-generic/bug.h"
   159struct completion;
   160# 71 "include/asm-generic/bug.h"
   161struct pt_regs;
   162# 321 "include/linux/kernel.h"
   163struct pid;
   164# 671 "include/linux/kernel.h"
   165struct timespec;
   166# 672 "include/linux/kernel.h"
   167struct compat_timespec;
   168# 673 "include/linux/kernel.h"
   169struct __anonstruct_futex_9 {
   170   u32 *uaddr ;
   171   u32 val ;
   172   u32 flags ;
   173   u32 bitset ;
   174   u64 time ;
   175   u32 *uaddr2 ;
   176};
   177# 673 "include/linux/kernel.h"
   178struct __anonstruct_nanosleep_10 {
   179   clockid_t clockid ;
   180   struct timespec *rmtp ;
   181   struct compat_timespec *compat_rmtp ;
   182   u64 expires ;
   183};
   184# 673 "include/linux/kernel.h"
   185struct pollfd;
   186# 673 "include/linux/kernel.h"
   187struct __anonstruct_poll_11 {
   188   struct pollfd *ufds ;
   189   int nfds ;
   190   int has_timeout ;
   191   unsigned long tv_sec ;
   192   unsigned long tv_nsec ;
   193};
   194# 673 "include/linux/kernel.h"
   195union __anonunion_ldv_2052_8 {
   196   struct __anonstruct_futex_9 futex ;
   197   struct __anonstruct_nanosleep_10 nanosleep ;
   198   struct __anonstruct_poll_11 poll ;
   199};
   200# 673 "include/linux/kernel.h"
   201struct restart_block {
   202   long (*fn)(struct restart_block * ) ;
   203   union __anonunion_ldv_2052_8 ldv_2052 ;
   204};
   205# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
   206struct page;
   207# 21 "include/asm-generic/getorder.h"
   208struct task_struct;
   209# 22 "include/asm-generic/getorder.h"
   210struct exec_domain;
   211# 23 "include/asm-generic/getorder.h"
   212struct mm_struct;
   213# 215 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/segment.h"
   214struct pt_regs {
   215   unsigned long r15 ;
   216   unsigned long r14 ;
   217   unsigned long r13 ;
   218   unsigned long r12 ;
   219   unsigned long bp ;
   220   unsigned long bx ;
   221   unsigned long r11 ;
   222   unsigned long r10 ;
   223   unsigned long r9 ;
   224   unsigned long r8 ;
   225   unsigned long ax ;
   226   unsigned long cx ;
   227   unsigned long dx ;
   228   unsigned long si ;
   229   unsigned long di ;
   230   unsigned long orig_ax ;
   231   unsigned long ip ;
   232   unsigned long cs ;
   233   unsigned long flags ;
   234   unsigned long sp ;
   235   unsigned long ss ;
   236};
   237# 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
   238struct kernel_vm86_regs {
   239   struct pt_regs pt ;
   240   unsigned short es ;
   241   unsigned short __esh ;
   242   unsigned short ds ;
   243   unsigned short __dsh ;
   244   unsigned short fs ;
   245   unsigned short __fsh ;
   246   unsigned short gs ;
   247   unsigned short __gsh ;
   248};
   249# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
   250union __anonunion_ldv_2292_12 {
   251   struct pt_regs *regs ;
   252   struct kernel_vm86_regs *vm86 ;
   253};
   254# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
   255struct math_emu_info {
   256   long ___orig_eip ;
   257   union __anonunion_ldv_2292_12 ldv_2292 ;
   258};
   259# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
   260typedef unsigned long pgdval_t;
   261# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
   262typedef unsigned long pgprotval_t;
   263# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
   264struct pgprot {
   265   pgprotval_t pgprot ;
   266};
   267# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   268typedef struct pgprot pgprot_t;
   269# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   270struct __anonstruct_pgd_t_15 {
   271   pgdval_t pgd ;
   272};
   273# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   274typedef struct __anonstruct_pgd_t_15 pgd_t;
   275# 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   276typedef struct page *pgtable_t;
   277# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   278struct file;
   279# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   280struct seq_file;
   281# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   282struct __anonstruct_ldv_2526_19 {
   283   unsigned int a ;
   284   unsigned int b ;
   285};
   286# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   287struct __anonstruct_ldv_2541_20 {
   288   u16 limit0 ;
   289   u16 base0 ;
   290   unsigned char base1 ;
   291   unsigned char type : 4 ;
   292   unsigned char s : 1 ;
   293   unsigned char dpl : 2 ;
   294   unsigned char p : 1 ;
   295   unsigned char limit : 4 ;
   296   unsigned char avl : 1 ;
   297   unsigned char l : 1 ;
   298   unsigned char d : 1 ;
   299   unsigned char g : 1 ;
   300   unsigned char base2 ;
   301};
   302# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   303union __anonunion_ldv_2542_18 {
   304   struct __anonstruct_ldv_2526_19 ldv_2526 ;
   305   struct __anonstruct_ldv_2541_20 ldv_2541 ;
   306};
   307# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
   308struct desc_struct {
   309   union __anonunion_ldv_2542_18 ldv_2542 ;
   310};
   311# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
   312struct thread_struct;
   313# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
   314struct cpumask;
   315# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
   316struct arch_spinlock;
   317# 304 "include/linux/bitmap.h"
   318struct cpumask {
   319   unsigned long bits[64U] ;
   320};
   321# 13 "include/linux/cpumask.h"
   322typedef struct cpumask cpumask_t;
   323# 622 "include/linux/cpumask.h"
   324typedef struct cpumask *cpumask_var_t;
   325# 90 "include/linux/personality.h"
   326struct map_segment;
   327# 90 "include/linux/personality.h"
   328struct exec_domain {
   329   char const *name ;
   330   void (*handler)(int , struct pt_regs * ) ;
   331   unsigned char pers_low ;
   332   unsigned char pers_high ;
   333   unsigned long *signal_map ;
   334   unsigned long *signal_invmap ;
   335   struct map_segment *err_map ;
   336   struct map_segment *socktype_map ;
   337   struct map_segment *sockopt_map ;
   338   struct map_segment *af_map ;
   339   struct module *module ;
   340   struct exec_domain *next ;
   341};
   342# 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   343struct seq_operations;
   344# 277 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   345struct i387_fsave_struct {
   346   u32 cwd ;
   347   u32 swd ;
   348   u32 twd ;
   349   u32 fip ;
   350   u32 fcs ;
   351   u32 foo ;
   352   u32 fos ;
   353   u32 st_space[20U] ;
   354   u32 status ;
   355};
   356# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   357struct __anonstruct_ldv_5171_24 {
   358   u64 rip ;
   359   u64 rdp ;
   360};
   361# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   362struct __anonstruct_ldv_5177_25 {
   363   u32 fip ;
   364   u32 fcs ;
   365   u32 foo ;
   366   u32 fos ;
   367};
   368# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   369union __anonunion_ldv_5178_23 {
   370   struct __anonstruct_ldv_5171_24 ldv_5171 ;
   371   struct __anonstruct_ldv_5177_25 ldv_5177 ;
   372};
   373# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   374union __anonunion_ldv_5187_26 {
   375   u32 padding1[12U] ;
   376   u32 sw_reserved[12U] ;
   377};
   378# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   379struct i387_fxsave_struct {
   380   u16 cwd ;
   381   u16 swd ;
   382   u16 twd ;
   383   u16 fop ;
   384   union __anonunion_ldv_5178_23 ldv_5178 ;
   385   u32 mxcsr ;
   386   u32 mxcsr_mask ;
   387   u32 st_space[32U] ;
   388   u32 xmm_space[64U] ;
   389   u32 padding[12U] ;
   390   union __anonunion_ldv_5187_26 ldv_5187 ;
   391};
   392# 329 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   393struct i387_soft_struct {
   394   u32 cwd ;
   395   u32 swd ;
   396   u32 twd ;
   397   u32 fip ;
   398   u32 fcs ;
   399   u32 foo ;
   400   u32 fos ;
   401   u32 st_space[20U] ;
   402   u8 ftop ;
   403   u8 changed ;
   404   u8 lookahead ;
   405   u8 no_update ;
   406   u8 rm ;
   407   u8 alimit ;
   408   struct math_emu_info *info ;
   409   u32 entry_eip ;
   410};
   411# 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   412struct ymmh_struct {
   413   u32 ymmh_space[64U] ;
   414};
   415# 355 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   416struct xsave_hdr_struct {
   417   u64 xstate_bv ;
   418   u64 reserved1[2U] ;
   419   u64 reserved2[5U] ;
   420};
   421# 361 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   422struct xsave_struct {
   423   struct i387_fxsave_struct i387 ;
   424   struct xsave_hdr_struct xsave_hdr ;
   425   struct ymmh_struct ymmh ;
   426};
   427# 367 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   428union thread_xstate {
   429   struct i387_fsave_struct fsave ;
   430   struct i387_fxsave_struct fxsave ;
   431   struct i387_soft_struct soft ;
   432   struct xsave_struct xsave ;
   433};
   434# 375 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   435struct fpu {
   436   union thread_xstate *state ;
   437};
   438# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   439struct kmem_cache;
   440# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   441struct perf_event;
   442# 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   443struct thread_struct {
   444   struct desc_struct tls_array[3U] ;
   445   unsigned long sp0 ;
   446   unsigned long sp ;
   447   unsigned long usersp ;
   448   unsigned short es ;
   449   unsigned short ds ;
   450   unsigned short fsindex ;
   451   unsigned short gsindex ;
   452   unsigned long fs ;
   453   unsigned long gs ;
   454   struct perf_event *ptrace_bps[4U] ;
   455   unsigned long debugreg6 ;
   456   unsigned long ptrace_dr7 ;
   457   unsigned long cr2 ;
   458   unsigned long trap_no ;
   459   unsigned long error_code ;
   460   struct fpu fpu ;
   461   unsigned long *io_bitmap_ptr ;
   462   unsigned long iopl ;
   463   unsigned int io_bitmap_max ;
   464};
   465# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   466struct __anonstruct_mm_segment_t_28 {
   467   unsigned long seg ;
   468};
   469# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
   470typedef struct __anonstruct_mm_segment_t_28 mm_segment_t;
   471# 23 "include/asm-generic/atomic-long.h"
   472typedef atomic64_t atomic_long_t;
   473# 131 "include/asm-generic/atomic-long.h"
   474struct thread_info {
   475   struct task_struct *task ;
   476   struct exec_domain *exec_domain ;
   477   __u32 flags ;
   478   __u32 status ;
   479   __u32 cpu ;
   480   int preempt_count ;
   481   mm_segment_t addr_limit ;
   482   struct restart_block restart_block ;
   483   void *sysenter_return ;
   484   int uaccess_err ;
   485};
   486# 8 "include/linux/bottom_half.h"
   487struct arch_spinlock {
   488   unsigned int slock ;
   489};
   490# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
   491typedef struct arch_spinlock arch_spinlock_t;
   492# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
   493struct __anonstruct_arch_rwlock_t_29 {
   494   unsigned int lock ;
   495};
   496# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
   497typedef struct __anonstruct_arch_rwlock_t_29 arch_rwlock_t;
   498# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
   499struct lockdep_map;
   500# 55 "include/linux/debug_locks.h"
   501struct stack_trace {
   502   unsigned int nr_entries ;
   503   unsigned int max_entries ;
   504   unsigned long *entries ;
   505   int skip ;
   506};
   507# 26 "include/linux/stacktrace.h"
   508struct lockdep_subclass_key {
   509   char __one_byte ;
   510};
   511# 53 "include/linux/lockdep.h"
   512struct lock_class_key {
   513   struct lockdep_subclass_key subkeys[8U] ;
   514};
   515# 59 "include/linux/lockdep.h"
   516struct lock_class {
   517   struct list_head hash_entry ;
   518   struct list_head lock_entry ;
   519   struct lockdep_subclass_key *key ;
   520   unsigned int subclass ;
   521   unsigned int dep_gen_id ;
   522   unsigned long usage_mask ;
   523   struct stack_trace usage_traces[13U] ;
   524   struct list_head locks_after ;
   525   struct list_head locks_before ;
   526   unsigned int version ;
   527   unsigned long ops ;
   528   char const *name ;
   529   int name_version ;
   530   unsigned long contention_point[4U] ;
   531   unsigned long contending_point[4U] ;
   532};
   533# 144 "include/linux/lockdep.h"
   534struct lockdep_map {
   535   struct lock_class_key *key ;
   536   struct lock_class *class_cache[2U] ;
   537   char const *name ;
   538   int cpu ;
   539   unsigned long ip ;
   540};
   541# 187 "include/linux/lockdep.h"
   542struct held_lock {
   543   u64 prev_chain_key ;
   544   unsigned long acquire_ip ;
   545   struct lockdep_map *instance ;
   546   struct lockdep_map *nest_lock ;
   547   u64 waittime_stamp ;
   548   u64 holdtime_stamp ;
   549   unsigned short class_idx : 13 ;
   550   unsigned char irq_context : 2 ;
   551   unsigned char trylock : 1 ;
   552   unsigned char read : 2 ;
   553   unsigned char check : 2 ;
   554   unsigned char hardirqs_off : 1 ;
   555   unsigned short references : 11 ;
   556};
   557# 552 "include/linux/lockdep.h"
   558struct raw_spinlock {
   559   arch_spinlock_t raw_lock ;
   560   unsigned int magic ;
   561   unsigned int owner_cpu ;
   562   void *owner ;
   563   struct lockdep_map dep_map ;
   564};
   565# 32 "include/linux/spinlock_types.h"
   566typedef struct raw_spinlock raw_spinlock_t;
   567# 33 "include/linux/spinlock_types.h"
   568struct __anonstruct_ldv_6059_31 {
   569   u8 __padding[24U] ;
   570   struct lockdep_map dep_map ;
   571};
   572# 33 "include/linux/spinlock_types.h"
   573union __anonunion_ldv_6060_30 {
   574   struct raw_spinlock rlock ;
   575   struct __anonstruct_ldv_6059_31 ldv_6059 ;
   576};
   577# 33 "include/linux/spinlock_types.h"
   578struct spinlock {
   579   union __anonunion_ldv_6060_30 ldv_6060 ;
   580};
   581# 76 "include/linux/spinlock_types.h"
   582typedef struct spinlock spinlock_t;
   583# 23 "include/linux/rwlock_types.h"
   584struct __anonstruct_rwlock_t_32 {
   585   arch_rwlock_t raw_lock ;
   586   unsigned int magic ;
   587   unsigned int owner_cpu ;
   588   void *owner ;
   589   struct lockdep_map dep_map ;
   590};
   591# 23 "include/linux/rwlock_types.h"
   592typedef struct __anonstruct_rwlock_t_32 rwlock_t;
   593# 110 "include/linux/seqlock.h"
   594struct seqcount {
   595   unsigned int sequence ;
   596};
   597# 121 "include/linux/seqlock.h"
   598typedef struct seqcount seqcount_t;
   599# 233 "include/linux/seqlock.h"
   600struct timespec {
   601   __kernel_time_t tv_sec ;
   602   long tv_nsec ;
   603};
   604# 18 "include/linux/time.h"
   605struct timeval {
   606   __kernel_time_t tv_sec ;
   607   __kernel_suseconds_t tv_usec ;
   608};
   609# 286 "include/linux/time.h"
   610struct kstat {
   611   u64 ino ;
   612   dev_t dev ;
   613   umode_t mode ;
   614   unsigned int nlink ;
   615   uid_t uid ;
   616   gid_t gid ;
   617   dev_t rdev ;
   618   loff_t size ;
   619   struct timespec atime ;
   620   struct timespec mtime ;
   621   struct timespec ctime ;
   622   unsigned long blksize ;
   623   unsigned long long blocks ;
   624};
   625# 49 "include/linux/wait.h"
   626struct __wait_queue_head {
   627   spinlock_t lock ;
   628   struct list_head task_list ;
   629};
   630# 54 "include/linux/wait.h"
   631typedef struct __wait_queue_head wait_queue_head_t;
   632# 96 "include/linux/nodemask.h"
   633struct __anonstruct_nodemask_t_34 {
   634   unsigned long bits[16U] ;
   635};
   636# 96 "include/linux/nodemask.h"
   637typedef struct __anonstruct_nodemask_t_34 nodemask_t;
   638# 640 "include/linux/mmzone.h"
   639struct mutex {
   640   atomic_t count ;
   641   spinlock_t wait_lock ;
   642   struct list_head wait_list ;
   643   struct task_struct *owner ;
   644   char const *name ;
   645   void *magic ;
   646   struct lockdep_map dep_map ;
   647};
   648# 63 "include/linux/mutex.h"
   649struct mutex_waiter {
   650   struct list_head list ;
   651   struct task_struct *task ;
   652   void *magic ;
   653};
   654# 171 "include/linux/mutex.h"
   655struct rw_semaphore;
   656# 172 "include/linux/mutex.h"
   657struct rw_semaphore {
   658   long count ;
   659   spinlock_t wait_lock ;
   660   struct list_head wait_list ;
   661   struct lockdep_map dep_map ;
   662};
   663# 170 "include/linux/srcu.h"
   664struct notifier_block {
   665   int (*notifier_call)(struct notifier_block * , unsigned long , void * ) ;
   666   struct notifier_block *next ;
   667   int priority ;
   668};
   669# 139 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/e820.h"
   670struct resource {
   671   resource_size_t start ;
   672   resource_size_t end ;
   673   char const *name ;
   674   unsigned long flags ;
   675   struct resource *parent ;
   676   struct resource *sibling ;
   677   struct resource *child ;
   678};
   679# 25 "include/linux/ioport.h"
   680struct pci_dev;
   681# 175 "include/linux/ioport.h"
   682struct device;
   683# 15 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/tsc.h"
   684typedef unsigned long long cycles_t;
   685# 312 "include/linux/jiffies.h"
   686union ktime {
   687   s64 tv64 ;
   688};
   689# 59 "include/linux/ktime.h"
   690typedef union ktime ktime_t;
   691# 99 "include/linux/debugobjects.h"
   692struct tvec_base;
   693# 100 "include/linux/debugobjects.h"
   694struct timer_list {
   695   struct list_head entry ;
   696   unsigned long expires ;
   697   struct tvec_base *base ;
   698   void (*function)(unsigned long ) ;
   699   unsigned long data ;
   700   int slack ;
   701   int start_pid ;
   702   void *start_site ;
   703   char start_comm[16U] ;
   704   struct lockdep_map lockdep_map ;
   705};
   706# 289 "include/linux/timer.h"
   707struct hrtimer;
   708# 290 "include/linux/timer.h"
   709enum hrtimer_restart;
   710# 290 "include/linux/timer.h"
   711enum hrtimer_restart;
   712# 301 "include/linux/timer.h"
   713struct workqueue_struct;
   714# 302 "include/linux/timer.h"
   715struct work_struct;
   716# 45 "include/linux/workqueue.h"
   717struct work_struct {
   718   atomic_long_t data ;
   719   struct list_head entry ;
   720   void (*func)(struct work_struct * ) ;
   721   struct lockdep_map lockdep_map ;
   722};
   723# 86 "include/linux/workqueue.h"
   724struct delayed_work {
   725   struct work_struct work ;
   726   struct timer_list timer ;
   727};
   728# 443 "include/linux/workqueue.h"
   729struct completion {
   730   unsigned int done ;
   731   wait_queue_head_t wait ;
   732};
   733# 46 "include/linux/pm.h"
   734struct pm_message {
   735   int event ;
   736};
   737# 52 "include/linux/pm.h"
   738typedef struct pm_message pm_message_t;
   739# 53 "include/linux/pm.h"
   740struct dev_pm_ops {
   741   int (*prepare)(struct device * ) ;
   742   void (*complete)(struct device * ) ;
   743   int (*suspend)(struct device * ) ;
   744   int (*resume)(struct device * ) ;
   745   int (*freeze)(struct device * ) ;
   746   int (*thaw)(struct device * ) ;
   747   int (*poweroff)(struct device * ) ;
   748   int (*restore)(struct device * ) ;
   749   int (*suspend_noirq)(struct device * ) ;
   750   int (*resume_noirq)(struct device * ) ;
   751   int (*freeze_noirq)(struct device * ) ;
   752   int (*thaw_noirq)(struct device * ) ;
   753   int (*poweroff_noirq)(struct device * ) ;
   754   int (*restore_noirq)(struct device * ) ;
   755   int (*runtime_suspend)(struct device * ) ;
   756   int (*runtime_resume)(struct device * ) ;
   757   int (*runtime_idle)(struct device * ) ;
   758};
   759# 272 "include/linux/pm.h"
   760enum rpm_status {
   761    RPM_ACTIVE = 0,
   762    RPM_RESUMING = 1,
   763    RPM_SUSPENDED = 2,
   764    RPM_SUSPENDING = 3
   765} ;
   766# 279 "include/linux/pm.h"
   767enum rpm_request {
   768    RPM_REQ_NONE = 0,
   769    RPM_REQ_IDLE = 1,
   770    RPM_REQ_SUSPEND = 2,
   771    RPM_REQ_AUTOSUSPEND = 3,
   772    RPM_REQ_RESUME = 4
   773} ;
   774# 287 "include/linux/pm.h"
   775struct wakeup_source;
   776# 288 "include/linux/pm.h"
   777struct dev_pm_info {
   778   pm_message_t power_state ;
   779   unsigned char can_wakeup : 1 ;
   780   unsigned char async_suspend : 1 ;
   781   bool is_prepared ;
   782   bool is_suspended ;
   783   spinlock_t lock ;
   784   struct list_head entry ;
   785   struct completion completion ;
   786   struct wakeup_source *wakeup ;
   787   struct timer_list suspend_timer ;
   788   unsigned long timer_expires ;
   789   struct work_struct work ;
   790   wait_queue_head_t wait_queue ;
   791   atomic_t usage_count ;
   792   atomic_t child_count ;
   793   unsigned char disable_depth : 3 ;
   794   unsigned char ignore_children : 1 ;
   795   unsigned char idle_notification : 1 ;
   796   unsigned char request_pending : 1 ;
   797   unsigned char deferred_resume : 1 ;
   798   unsigned char run_wake : 1 ;
   799   unsigned char runtime_auto : 1 ;
   800   unsigned char no_callbacks : 1 ;
   801   unsigned char irq_safe : 1 ;
   802   unsigned char use_autosuspend : 1 ;
   803   unsigned char timer_autosuspends : 1 ;
   804   enum rpm_request request ;
   805   enum rpm_status runtime_status ;
   806   int runtime_error ;
   807   int autosuspend_delay ;
   808   unsigned long last_busy ;
   809   unsigned long active_jiffies ;
   810   unsigned long suspended_jiffies ;
   811   unsigned long accounting_timestamp ;
   812   void *subsys_data ;
   813};
   814# 469 "include/linux/pm.h"
   815struct dev_power_domain {
   816   struct dev_pm_ops ops ;
   817};
   818# 175 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/topology.h"
   819struct pci_bus;
   820# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
   821struct __anonstruct_mm_context_t_99 {
   822   void *ldt ;
   823   int size ;
   824   unsigned short ia32_compat ;
   825   struct mutex lock ;
   826   void *vdso ;
   827};
   828# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
   829typedef struct __anonstruct_mm_context_t_99 mm_context_t;
   830# 71 "include/asm-generic/iomap.h"
   831struct vm_area_struct;
   832# 53 "include/linux/rcupdate.h"
   833struct rcu_head {
   834   struct rcu_head *next ;
   835   void (*func)(struct rcu_head * ) ;
   836};
   837# 841 "include/linux/rcupdate.h"
   838struct nsproxy;
   839# 36 "include/linux/kmod.h"
   840struct cred;
   841# 27 "include/linux/elf.h"
   842typedef __u64 Elf64_Addr;
   843# 28 "include/linux/elf.h"
   844typedef __u16 Elf64_Half;
   845# 32 "include/linux/elf.h"
   846typedef __u32 Elf64_Word;
   847# 33 "include/linux/elf.h"
   848typedef __u64 Elf64_Xword;
   849# 202 "include/linux/elf.h"
   850struct elf64_sym {
   851   Elf64_Word st_name ;
   852   unsigned char st_info ;
   853   unsigned char st_other ;
   854   Elf64_Half st_shndx ;
   855   Elf64_Addr st_value ;
   856   Elf64_Xword st_size ;
   857};
   858# 210 "include/linux/elf.h"
   859typedef struct elf64_sym Elf64_Sym;
   860# 444 "include/linux/elf.h"
   861struct sock;
   862# 445 "include/linux/elf.h"
   863struct kobject;
   864# 446 "include/linux/elf.h"
   865enum kobj_ns_type {
   866    KOBJ_NS_TYPE_NONE = 0,
   867    KOBJ_NS_TYPE_NET = 1,
   868    KOBJ_NS_TYPES = 2
   869} ;
   870# 452 "include/linux/elf.h"
   871struct kobj_ns_type_operations {
   872   enum kobj_ns_type type ;
   873   void *(*grab_current_ns)(void) ;
   874   void const *(*netlink_ns)(struct sock * ) ;
   875   void const *(*initial_ns)(void) ;
   876   void (*drop_ns)(void * ) ;
   877};
   878# 57 "include/linux/kobject_ns.h"
   879struct attribute {
   880   char const *name ;
   881   mode_t mode ;
   882   struct lock_class_key *key ;
   883   struct lock_class_key skey ;
   884};
   885# 33 "include/linux/sysfs.h"
   886struct attribute_group {
   887   char const *name ;
   888   mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
   889   struct attribute **attrs ;
   890};
   891# 62 "include/linux/sysfs.h"
   892struct bin_attribute {
   893   struct attribute attr ;
   894   size_t size ;
   895   void *private ;
   896   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
   897                   loff_t , size_t ) ;
   898   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
   899                    loff_t , size_t ) ;
   900   int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
   901};
   902# 98 "include/linux/sysfs.h"
   903struct sysfs_ops {
   904   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
   905   ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
   906};
   907# 116 "include/linux/sysfs.h"
   908struct sysfs_dirent;
   909# 181 "include/linux/sysfs.h"
   910struct kref {
   911   atomic_t refcount ;
   912};
   913# 49 "include/linux/kobject.h"
   914struct kset;
   915# 49 "include/linux/kobject.h"
   916struct kobj_type;
   917# 49 "include/linux/kobject.h"
   918struct kobject {
   919   char const *name ;
   920   struct list_head entry ;
   921   struct kobject *parent ;
   922   struct kset *kset ;
   923   struct kobj_type *ktype ;
   924   struct sysfs_dirent *sd ;
   925   struct kref kref ;
   926   unsigned char state_initialized : 1 ;
   927   unsigned char state_in_sysfs : 1 ;
   928   unsigned char state_add_uevent_sent : 1 ;
   929   unsigned char state_remove_uevent_sent : 1 ;
   930   unsigned char uevent_suppress : 1 ;
   931};
   932# 109 "include/linux/kobject.h"
   933struct kobj_type {
   934   void (*release)(struct kobject * ) ;
   935   struct sysfs_ops const *sysfs_ops ;
   936   struct attribute **default_attrs ;
   937   struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
   938   void const *(*namespace)(struct kobject * ) ;
   939};
   940# 117 "include/linux/kobject.h"
   941struct kobj_uevent_env {
   942   char *envp[32U] ;
   943   int envp_idx ;
   944   char buf[2048U] ;
   945   int buflen ;
   946};
   947# 124 "include/linux/kobject.h"
   948struct kset_uevent_ops {
   949   int (* const filter)(struct kset * , struct kobject * ) ;
   950   char const *(* const name)(struct kset * , struct kobject * ) ;
   951   int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
   952};
   953# 141 "include/linux/kobject.h"
   954struct kset {
   955   struct list_head list ;
   956   spinlock_t list_lock ;
   957   struct kobject kobj ;
   958   struct kset_uevent_ops const *uevent_ops ;
   959};
   960# 219 "include/linux/kobject.h"
   961struct kernel_param;
   962# 220 "include/linux/kobject.h"
   963struct kernel_param_ops {
   964   int (*set)(char const * , struct kernel_param const * ) ;
   965   int (*get)(char * , struct kernel_param const * ) ;
   966   void (*free)(void * ) ;
   967};
   968# 44 "include/linux/moduleparam.h"
   969struct kparam_string;
   970# 44 "include/linux/moduleparam.h"
   971struct kparam_array;
   972# 44 "include/linux/moduleparam.h"
   973union __anonunion_ldv_12924_129 {
   974   void *arg ;
   975   struct kparam_string const *str ;
   976   struct kparam_array const *arr ;
   977};
   978# 44 "include/linux/moduleparam.h"
   979struct kernel_param {
   980   char const *name ;
   981   struct kernel_param_ops const *ops ;
   982   u16 perm ;
   983   u16 flags ;
   984   union __anonunion_ldv_12924_129 ldv_12924 ;
   985};
   986# 59 "include/linux/moduleparam.h"
   987struct kparam_string {
   988   unsigned int maxlen ;
   989   char *string ;
   990};
   991# 65 "include/linux/moduleparam.h"
   992struct kparam_array {
   993   unsigned int max ;
   994   unsigned int elemsize ;
   995   unsigned int *num ;
   996   struct kernel_param_ops const *ops ;
   997   void *elem ;
   998};
   999# 404 "include/linux/moduleparam.h"
  1000struct jump_label_key {
  1001   atomic_t enabled ;
  1002};
  1003# 99 "include/linux/jump_label.h"
  1004struct tracepoint;
  1005# 100 "include/linux/jump_label.h"
  1006struct tracepoint_func {
  1007   void *func ;
  1008   void *data ;
  1009};
  1010# 29 "include/linux/tracepoint.h"
  1011struct tracepoint {
  1012   char const *name ;
  1013   struct jump_label_key key ;
  1014   void (*regfunc)(void) ;
  1015   void (*unregfunc)(void) ;
  1016   struct tracepoint_func *funcs ;
  1017};
  1018# 84 "include/linux/tracepoint.h"
  1019struct mod_arch_specific {
  1020
  1021};
  1022# 127 "include/trace/events/module.h"
  1023struct kernel_symbol {
  1024   unsigned long value ;
  1025   char const *name ;
  1026};
  1027# 48 "include/linux/module.h"
  1028struct module_attribute {
  1029   struct attribute attr ;
  1030   ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
  1031   ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
  1032                    size_t ) ;
  1033   void (*setup)(struct module * , char const * ) ;
  1034   int (*test)(struct module * ) ;
  1035   void (*free)(struct module * ) ;
  1036};
  1037# 68 "include/linux/module.h"
  1038struct module_param_attrs;
  1039# 68 "include/linux/module.h"
  1040struct module_kobject {
  1041   struct kobject kobj ;
  1042   struct module *mod ;
  1043   struct kobject *drivers_dir ;
  1044   struct module_param_attrs *mp ;
  1045};
  1046# 81 "include/linux/module.h"
  1047struct exception_table_entry;
  1048# 218 "include/linux/module.h"
  1049enum module_state {
  1050    MODULE_STATE_LIVE = 0,
  1051    MODULE_STATE_COMING = 1,
  1052    MODULE_STATE_GOING = 2
  1053} ;
  1054# 224 "include/linux/module.h"
  1055struct module_ref {
  1056   unsigned int incs ;
  1057   unsigned int decs ;
  1058};
  1059# 418 "include/linux/module.h"
  1060struct module_sect_attrs;
  1061# 418 "include/linux/module.h"
  1062struct module_notes_attrs;
  1063# 418 "include/linux/module.h"
  1064struct ftrace_event_call;
  1065# 418 "include/linux/module.h"
  1066struct module {
  1067   enum module_state state ;
  1068   struct list_head list ;
  1069   char name[56U] ;
  1070   struct module_kobject mkobj ;
  1071   struct module_attribute *modinfo_attrs ;
  1072   char const *version ;
  1073   char const *srcversion ;
  1074   struct kobject *holders_dir ;
  1075   struct kernel_symbol const *syms ;
  1076   unsigned long const *crcs ;
  1077   unsigned int num_syms ;
  1078   struct kernel_param *kp ;
  1079   unsigned int num_kp ;
  1080   unsigned int num_gpl_syms ;
  1081   struct kernel_symbol const *gpl_syms ;
  1082   unsigned long const *gpl_crcs ;
  1083   struct kernel_symbol const *unused_syms ;
  1084   unsigned long const *unused_crcs ;
  1085   unsigned int num_unused_syms ;
  1086   unsigned int num_unused_gpl_syms ;
  1087   struct kernel_symbol const *unused_gpl_syms ;
  1088   unsigned long const *unused_gpl_crcs ;
  1089   struct kernel_symbol const *gpl_future_syms ;
  1090   unsigned long const *gpl_future_crcs ;
  1091   unsigned int num_gpl_future_syms ;
  1092   unsigned int num_exentries ;
  1093   struct exception_table_entry *extable ;
  1094   int (*init)(void) ;
  1095   void *module_init ;
  1096   void *module_core ;
  1097   unsigned int init_size ;
  1098   unsigned int core_size ;
  1099   unsigned int init_text_size ;
  1100   unsigned int core_text_size ;
  1101   unsigned int init_ro_size ;
  1102   unsigned int core_ro_size ;
  1103   struct mod_arch_specific arch ;
  1104   unsigned int taints ;
  1105   unsigned int num_bugs ;
  1106   struct list_head bug_list ;
  1107   struct bug_entry *bug_table ;
  1108   Elf64_Sym *symtab ;
  1109   Elf64_Sym *core_symtab ;
  1110   unsigned int num_symtab ;
  1111   unsigned int core_num_syms ;
  1112   char *strtab ;
  1113   char *core_strtab ;
  1114   struct module_sect_attrs *sect_attrs ;
  1115   struct module_notes_attrs *notes_attrs ;
  1116   char *args ;
  1117   void *percpu ;
  1118   unsigned int percpu_size ;
  1119   unsigned int num_tracepoints ;
  1120   struct tracepoint * const *tracepoints_ptrs ;
  1121   unsigned int num_trace_bprintk_fmt ;
  1122   char const **trace_bprintk_fmt_start ;
  1123   struct ftrace_event_call **trace_events ;
  1124   unsigned int num_trace_events ;
  1125   unsigned int num_ftrace_callsites ;
  1126   unsigned long *ftrace_callsites ;
  1127   struct list_head source_list ;
  1128   struct list_head target_list ;
  1129   struct task_struct *waiter ;
  1130   void (*exit)(void) ;
  1131   struct module_ref *refptr ;
  1132   ctor_fn_t (**ctors)(void) ;
  1133   unsigned int num_ctors ;
  1134};
  1135# 8 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_drv.c.p"
  1136struct klist_node;
  1137# 37 "include/linux/klist.h"
  1138struct klist_node {
  1139   void *n_klist ;
  1140   struct list_head n_node ;
  1141   struct kref n_ref ;
  1142};
  1143# 67 "include/linux/klist.h"
  1144struct dma_map_ops;
  1145# 67 "include/linux/klist.h"
  1146struct dev_archdata {
  1147   void *acpi_handle ;
  1148   struct dma_map_ops *dma_ops ;
  1149   void *iommu ;
  1150};
  1151# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1152struct pdev_archdata {
  1153
  1154};
  1155# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1156struct device_private;
  1157# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1158struct device_driver;
  1159# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1160struct driver_private;
  1161# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1162struct class;
  1163# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1164struct subsys_private;
  1165# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1166struct bus_type;
  1167# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1168struct device_node;
  1169# 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
  1170struct bus_attribute {
  1171   struct attribute attr ;
  1172   ssize_t (*show)(struct bus_type * , char * ) ;
  1173   ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
  1174};
  1175# 49 "include/linux/device.h"
  1176struct device_attribute;
  1177# 49 "include/linux/device.h"
  1178struct driver_attribute;
  1179# 49 "include/linux/device.h"
  1180struct bus_type {
  1181   char const *name ;
  1182   struct bus_attribute *bus_attrs ;
  1183   struct device_attribute *dev_attrs ;
  1184   struct driver_attribute *drv_attrs ;
  1185   int (*match)(struct device * , struct device_driver * ) ;
  1186   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
  1187   int (*probe)(struct device * ) ;
  1188   int (*remove)(struct device * ) ;
  1189   void (*shutdown)(struct device * ) ;
  1190   int (*suspend)(struct device * , pm_message_t ) ;
  1191   int (*resume)(struct device * ) ;
  1192   struct dev_pm_ops const *pm ;
  1193   struct subsys_private *p ;
  1194};
  1195# 153 "include/linux/device.h"
  1196struct of_device_id;
  1197# 153 "include/linux/device.h"
  1198struct device_driver {
  1199   char const *name ;
  1200   struct bus_type *bus ;
  1201   struct module *owner ;
  1202   char const *mod_name ;
  1203   bool suppress_bind_attrs ;
  1204   struct of_device_id const *of_match_table ;
  1205   int (*probe)(struct device * ) ;
  1206   int (*remove)(struct device * ) ;
  1207   void (*shutdown)(struct device * ) ;
  1208   int (*suspend)(struct device * , pm_message_t ) ;
  1209   int (*resume)(struct device * ) ;
  1210   struct attribute_group const **groups ;
  1211   struct dev_pm_ops const *pm ;
  1212   struct driver_private *p ;
  1213};
  1214# 218 "include/linux/device.h"
  1215struct driver_attribute {
  1216   struct attribute attr ;
  1217   ssize_t (*show)(struct device_driver * , char * ) ;
  1218   ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
  1219};
  1220# 248 "include/linux/device.h"
  1221struct class_attribute;
  1222# 248 "include/linux/device.h"
  1223struct class {
  1224   char const *name ;
  1225   struct module *owner ;
  1226   struct class_attribute *class_attrs ;
  1227   struct device_attribute *dev_attrs ;
  1228   struct bin_attribute *dev_bin_attrs ;
  1229   struct kobject *dev_kobj ;
  1230   int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
  1231   char *(*devnode)(struct device * , mode_t * ) ;
  1232   void (*class_release)(struct class * ) ;
  1233   void (*dev_release)(struct device * ) ;
  1234   int (*suspend)(struct device * , pm_message_t ) ;
  1235   int (*resume)(struct device * ) ;
  1236   struct kobj_ns_type_operations const *ns_type ;
  1237   void const *(*namespace)(struct device * ) ;
  1238   struct dev_pm_ops const *pm ;
  1239   struct subsys_private *p ;
  1240};
  1241# 305 "include/linux/device.h"
  1242struct device_type;
  1243# 344 "include/linux/device.h"
  1244struct class_attribute {
  1245   struct attribute attr ;
  1246   ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
  1247   ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
  1248};
  1249# 395 "include/linux/device.h"
  1250struct device_type {
  1251   char const *name ;
  1252   struct attribute_group const **groups ;
  1253   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
  1254   char *(*devnode)(struct device * , mode_t * ) ;
  1255   void (*release)(struct device * ) ;
  1256   struct dev_pm_ops const *pm ;
  1257};
  1258# 422 "include/linux/device.h"
  1259struct device_attribute {
  1260   struct attribute attr ;
  1261   ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
  1262   ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
  1263                    size_t ) ;
  1264};
  1265# 483 "include/linux/device.h"
  1266struct device_dma_parameters {
  1267   unsigned int max_segment_size ;
  1268   unsigned long segment_boundary_mask ;
  1269};
  1270# 492 "include/linux/device.h"
  1271struct dma_coherent_mem;
  1272# 492 "include/linux/device.h"
  1273struct device {
  1274   struct device *parent ;
  1275   struct device_private *p ;
  1276   struct kobject kobj ;
  1277   char const *init_name ;
  1278   struct device_type const *type ;
  1279   struct mutex mutex ;
  1280   struct bus_type *bus ;
  1281   struct device_driver *driver ;
  1282   void *platform_data ;
  1283   struct dev_pm_info power ;
  1284   struct dev_power_domain *pwr_domain ;
  1285   int numa_node ;
  1286   u64 *dma_mask ;
  1287   u64 coherent_dma_mask ;
  1288   struct device_dma_parameters *dma_parms ;
  1289   struct list_head dma_pools ;
  1290   struct dma_coherent_mem *dma_mem ;
  1291   struct dev_archdata archdata ;
  1292   struct device_node *of_node ;
  1293   dev_t devt ;
  1294   spinlock_t devres_lock ;
  1295   struct list_head devres_head ;
  1296   struct klist_node knode_class ;
  1297   struct class *class ;
  1298   struct attribute_group const **groups ;
  1299   void (*release)(struct device * ) ;
  1300};
  1301# 604 "include/linux/device.h"
  1302struct wakeup_source {
  1303   char *name ;
  1304   struct list_head entry ;
  1305   spinlock_t lock ;
  1306   struct timer_list timer ;
  1307   unsigned long timer_expires ;
  1308   ktime_t total_time ;
  1309   ktime_t max_time ;
  1310   ktime_t last_time ;
  1311   unsigned long event_count ;
  1312   unsigned long active_count ;
  1313   unsigned long relax_count ;
  1314   unsigned long hit_count ;
  1315   unsigned char active : 1 ;
  1316};
  1317# 903 "include/linux/device.h"
  1318struct file_operations;
  1319# 63 "include/linux/miscdevice.h"
  1320struct block_device;
  1321# 92 "include/linux/bit_spinlock.h"
  1322struct hlist_bl_node;
  1323# 92 "include/linux/bit_spinlock.h"
  1324struct hlist_bl_head {
  1325   struct hlist_bl_node *first ;
  1326};
  1327# 36 "include/linux/list_bl.h"
  1328struct hlist_bl_node {
  1329   struct hlist_bl_node *next ;
  1330   struct hlist_bl_node **pprev ;
  1331};
  1332# 114 "include/linux/rculist_bl.h"
  1333struct nameidata;
  1334# 115 "include/linux/rculist_bl.h"
  1335struct path;
  1336# 116 "include/linux/rculist_bl.h"
  1337struct vfsmount;
  1338# 117 "include/linux/rculist_bl.h"
  1339struct qstr {
  1340   unsigned int hash ;
  1341   unsigned int len ;
  1342   unsigned char const *name ;
  1343};
  1344# 100 "include/linux/dcache.h"
  1345struct inode;
  1346# 100 "include/linux/dcache.h"
  1347struct dentry_operations;
  1348# 100 "include/linux/dcache.h"
  1349struct super_block;
  1350# 100 "include/linux/dcache.h"
  1351union __anonunion_d_u_130 {
  1352   struct list_head d_child ;
  1353   struct rcu_head d_rcu ;
  1354};
  1355# 100 "include/linux/dcache.h"
  1356struct dentry {
  1357   unsigned int d_flags ;
  1358   seqcount_t d_seq ;
  1359   struct hlist_bl_node d_hash ;
  1360   struct dentry *d_parent ;
  1361   struct qstr d_name ;
  1362   struct inode *d_inode ;
  1363   unsigned char d_iname[32U] ;
  1364   unsigned int d_count ;
  1365   spinlock_t d_lock ;
  1366   struct dentry_operations const *d_op ;
  1367   struct super_block *d_sb ;
  1368   unsigned long d_time ;
  1369   void *d_fsdata ;
  1370   struct list_head d_lru ;
  1371   union __anonunion_d_u_130 d_u ;
  1372   struct list_head d_subdirs ;
  1373   struct list_head d_alias ;
  1374};
  1375# 151 "include/linux/dcache.h"
  1376struct dentry_operations {
  1377   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
  1378   int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
  1379   int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
  1380                    struct inode const * , unsigned int , char const * , struct qstr const * ) ;
  1381   int (*d_delete)(struct dentry const * ) ;
  1382   void (*d_release)(struct dentry * ) ;
  1383   void (*d_iput)(struct dentry * , struct inode * ) ;
  1384   char *(*d_dname)(struct dentry * , char * , int ) ;
  1385   struct vfsmount *(*d_automount)(struct path * ) ;
  1386   int (*d_manage)(struct dentry * , bool ) ;
  1387};
  1388# 422 "include/linux/dcache.h"
  1389struct path {
  1390   struct vfsmount *mnt ;
  1391   struct dentry *dentry ;
  1392};
  1393# 51 "include/linux/radix-tree.h"
  1394struct radix_tree_node;
  1395# 51 "include/linux/radix-tree.h"
  1396struct radix_tree_root {
  1397   unsigned int height ;
  1398   gfp_t gfp_mask ;
  1399   struct radix_tree_node *rnode ;
  1400};
  1401# 229 "include/linux/radix-tree.h"
  1402struct prio_tree_node;
  1403# 229 "include/linux/radix-tree.h"
  1404struct raw_prio_tree_node {
  1405   struct prio_tree_node *left ;
  1406   struct prio_tree_node *right ;
  1407   struct prio_tree_node *parent ;
  1408};
  1409# 19 "include/linux/prio_tree.h"
  1410struct prio_tree_node {
  1411   struct prio_tree_node *left ;
  1412   struct prio_tree_node *right ;
  1413   struct prio_tree_node *parent ;
  1414   unsigned long start ;
  1415   unsigned long last ;
  1416};
  1417# 27 "include/linux/prio_tree.h"
  1418struct prio_tree_root {
  1419   struct prio_tree_node *prio_tree_node ;
  1420   unsigned short index_bits ;
  1421   unsigned short raw ;
  1422};
  1423# 111 "include/linux/prio_tree.h"
  1424enum pid_type {
  1425    PIDTYPE_PID = 0,
  1426    PIDTYPE_PGID = 1,
  1427    PIDTYPE_SID = 2,
  1428    PIDTYPE_MAX = 3
  1429} ;
  1430# 118 "include/linux/prio_tree.h"
  1431struct pid_namespace;
  1432# 118 "include/linux/prio_tree.h"
  1433struct upid {
  1434   int nr ;
  1435   struct pid_namespace *ns ;
  1436   struct hlist_node pid_chain ;
  1437};
  1438# 56 "include/linux/pid.h"
  1439struct pid {
  1440   atomic_t count ;
  1441   unsigned int level ;
  1442   struct hlist_head tasks[3U] ;
  1443   struct rcu_head rcu ;
  1444   struct upid numbers[1U] ;
  1445};
  1446# 68 "include/linux/pid.h"
  1447struct pid_link {
  1448   struct hlist_node node ;
  1449   struct pid *pid ;
  1450};
  1451# 93 "include/linux/capability.h"
  1452struct kernel_cap_struct {
  1453   __u32 cap[2U] ;
  1454};
  1455# 96 "include/linux/capability.h"
  1456typedef struct kernel_cap_struct kernel_cap_t;
  1457# 104 "include/linux/capability.h"
  1458struct user_namespace;
  1459# 45 "include/linux/semaphore.h"
  1460struct fiemap_extent {
  1461   __u64 fe_logical ;
  1462   __u64 fe_physical ;
  1463   __u64 fe_length ;
  1464   __u64 fe_reserved64[2U] ;
  1465   __u32 fe_flags ;
  1466   __u32 fe_reserved[3U] ;
  1467};
  1468# 38 "include/linux/fiemap.h"
  1469struct export_operations;
  1470# 40 "include/linux/fiemap.h"
  1471struct iovec;
  1472# 41 "include/linux/fiemap.h"
  1473struct kiocb;
  1474# 42 "include/linux/fiemap.h"
  1475struct pipe_inode_info;
  1476# 43 "include/linux/fiemap.h"
  1477struct poll_table_struct;
  1478# 44 "include/linux/fiemap.h"
  1479struct kstatfs;
  1480# 426 "include/linux/fs.h"
  1481struct iattr {
  1482   unsigned int ia_valid ;
  1483   umode_t ia_mode ;
  1484   uid_t ia_uid ;
  1485   gid_t ia_gid ;
  1486   loff_t ia_size ;
  1487   struct timespec ia_atime ;
  1488   struct timespec ia_mtime ;
  1489   struct timespec ia_ctime ;
  1490   struct file *ia_file ;
  1491};
  1492# 119 "include/linux/quota.h"
  1493struct if_dqinfo {
  1494   __u64 dqi_bgrace ;
  1495   __u64 dqi_igrace ;
  1496   __u32 dqi_flags ;
  1497   __u32 dqi_valid ;
  1498};
  1499# 176 "include/linux/percpu_counter.h"
  1500struct fs_disk_quota {
  1501   __s8 d_version ;
  1502   __s8 d_flags ;
  1503   __u16 d_fieldmask ;
  1504   __u32 d_id ;
  1505   __u64 d_blk_hardlimit ;
  1506   __u64 d_blk_softlimit ;
  1507   __u64 d_ino_hardlimit ;
  1508   __u64 d_ino_softlimit ;
  1509   __u64 d_bcount ;
  1510   __u64 d_icount ;
  1511   __s32 d_itimer ;
  1512   __s32 d_btimer ;
  1513   __u16 d_iwarns ;
  1514   __u16 d_bwarns ;
  1515   __s32 d_padding2 ;
  1516   __u64 d_rtb_hardlimit ;
  1517   __u64 d_rtb_softlimit ;
  1518   __u64 d_rtbcount ;
  1519   __s32 d_rtbtimer ;
  1520   __u16 d_rtbwarns ;
  1521   __s16 d_padding3 ;
  1522   char d_padding4[8U] ;
  1523};
  1524# 75 "include/linux/dqblk_xfs.h"
  1525struct fs_qfilestat {
  1526   __u64 qfs_ino ;
  1527   __u64 qfs_nblks ;
  1528   __u32 qfs_nextents ;
  1529};
  1530# 150 "include/linux/dqblk_xfs.h"
  1531typedef struct fs_qfilestat fs_qfilestat_t;
  1532# 151 "include/linux/dqblk_xfs.h"
  1533struct fs_quota_stat {
  1534   __s8 qs_version ;
  1535   __u16 qs_flags ;
  1536   __s8 qs_pad ;
  1537   fs_qfilestat_t qs_uquota ;
  1538   fs_qfilestat_t qs_gquota ;
  1539   __u32 qs_incoredqs ;
  1540   __s32 qs_btimelimit ;
  1541   __s32 qs_itimelimit ;
  1542   __s32 qs_rtbtimelimit ;
  1543   __u16 qs_bwarnlimit ;
  1544   __u16 qs_iwarnlimit ;
  1545};
  1546# 165 "include/linux/dqblk_xfs.h"
  1547struct dquot;
  1548# 185 "include/linux/quota.h"
  1549typedef __kernel_uid32_t qid_t;
  1550# 186 "include/linux/quota.h"
  1551typedef long long qsize_t;
  1552# 189 "include/linux/quota.h"
  1553struct mem_dqblk {
  1554   qsize_t dqb_bhardlimit ;
  1555   qsize_t dqb_bsoftlimit ;
  1556   qsize_t dqb_curspace ;
  1557   qsize_t dqb_rsvspace ;
  1558   qsize_t dqb_ihardlimit ;
  1559   qsize_t dqb_isoftlimit ;
  1560   qsize_t dqb_curinodes ;
  1561   time_t dqb_btime ;
  1562   time_t dqb_itime ;
  1563};
  1564# 211 "include/linux/quota.h"
  1565struct quota_format_type;
  1566# 212 "include/linux/quota.h"
  1567struct mem_dqinfo {
  1568   struct quota_format_type *dqi_format ;
  1569   int dqi_fmt_id ;
  1570   struct list_head dqi_dirty_list ;
  1571   unsigned long dqi_flags ;
  1572   unsigned int dqi_bgrace ;
  1573   unsigned int dqi_igrace ;
  1574   qsize_t dqi_maxblimit ;
  1575   qsize_t dqi_maxilimit ;
  1576   void *dqi_priv ;
  1577};
  1578# 271 "include/linux/quota.h"
  1579struct dquot {
  1580   struct hlist_node dq_hash ;
  1581   struct list_head dq_inuse ;
  1582   struct list_head dq_free ;
  1583   struct list_head dq_dirty ;
  1584   struct mutex dq_lock ;
  1585   atomic_t dq_count ;
  1586   wait_queue_head_t dq_wait_unused ;
  1587   struct super_block *dq_sb ;
  1588   unsigned int dq_id ;
  1589   loff_t dq_off ;
  1590   unsigned long dq_flags ;
  1591   short dq_type ;
  1592   struct mem_dqblk dq_dqb ;
  1593};
  1594# 299 "include/linux/quota.h"
  1595struct quota_format_ops {
  1596   int (*check_quota_file)(struct super_block * , int ) ;
  1597   int (*read_file_info)(struct super_block * , int ) ;
  1598   int (*write_file_info)(struct super_block * , int ) ;
  1599   int (*free_file_info)(struct super_block * , int ) ;
  1600   int (*read_dqblk)(struct dquot * ) ;
  1601   int (*commit_dqblk)(struct dquot * ) ;
  1602   int (*release_dqblk)(struct dquot * ) ;
  1603};
  1604# 310 "include/linux/quota.h"
  1605struct dquot_operations {
  1606   int (*write_dquot)(struct dquot * ) ;
  1607   struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
  1608   void (*destroy_dquot)(struct dquot * ) ;
  1609   int (*acquire_dquot)(struct dquot * ) ;
  1610   int (*release_dquot)(struct dquot * ) ;
  1611   int (*mark_dirty)(struct dquot * ) ;
  1612   int (*write_info)(struct super_block * , int ) ;
  1613   qsize_t *(*get_reserved_space)(struct inode * ) ;
  1614};
  1615# 324 "include/linux/quota.h"
  1616struct quotactl_ops {
  1617   int (*quota_on)(struct super_block * , int , int , struct path * ) ;
  1618   int (*quota_on_meta)(struct super_block * , int , int ) ;
  1619   int (*quota_off)(struct super_block * , int ) ;
  1620   int (*quota_sync)(struct super_block * , int , int ) ;
  1621   int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
  1622   int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
  1623   int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
  1624   int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
  1625   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
  1626   int (*set_xstate)(struct super_block * , unsigned int , int ) ;
  1627};
  1628# 340 "include/linux/quota.h"
  1629struct quota_format_type {
  1630   int qf_fmt_id ;
  1631   struct quota_format_ops const *qf_ops ;
  1632   struct module *qf_owner ;
  1633   struct quota_format_type *qf_next ;
  1634};
  1635# 386 "include/linux/quota.h"
  1636struct quota_info {
  1637   unsigned int flags ;
  1638   struct mutex dqio_mutex ;
  1639   struct mutex dqonoff_mutex ;
  1640   struct rw_semaphore dqptr_sem ;
  1641   struct inode *files[2U] ;
  1642   struct mem_dqinfo info[2U] ;
  1643   struct quota_format_ops const *ops[2U] ;
  1644};
  1645# 417 "include/linux/quota.h"
  1646struct address_space;
  1647# 418 "include/linux/quota.h"
  1648struct writeback_control;
  1649# 576 "include/linux/fs.h"
  1650union __anonunion_arg_133 {
  1651   char *buf ;
  1652   void *data ;
  1653};
  1654# 576 "include/linux/fs.h"
  1655struct __anonstruct_read_descriptor_t_132 {
  1656   size_t written ;
  1657   size_t count ;
  1658   union __anonunion_arg_133 arg ;
  1659   int error ;
  1660};
  1661# 576 "include/linux/fs.h"
  1662typedef struct __anonstruct_read_descriptor_t_132 read_descriptor_t;
  1663# 579 "include/linux/fs.h"
  1664struct address_space_operations {
  1665   int (*writepage)(struct page * , struct writeback_control * ) ;
  1666   int (*readpage)(struct file * , struct page * ) ;
  1667   int (*writepages)(struct address_space * , struct writeback_control * ) ;
  1668   int (*set_page_dirty)(struct page * ) ;
  1669   int (*readpages)(struct file * , struct address_space * , struct list_head * ,
  1670                    unsigned int ) ;
  1671   int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
  1672                      unsigned int , struct page ** , void ** ) ;
  1673   int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
  1674                    unsigned int , struct page * , void * ) ;
  1675   sector_t (*bmap)(struct address_space * , sector_t ) ;
  1676   void (*invalidatepage)(struct page * , unsigned long ) ;
  1677   int (*releasepage)(struct page * , gfp_t ) ;
  1678   void (*freepage)(struct page * ) ;
  1679   ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
  1680                        unsigned long ) ;
  1681   int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
  1682   int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
  1683   int (*launder_page)(struct page * ) ;
  1684   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
  1685   int (*error_remove_page)(struct address_space * , struct page * ) ;
  1686};
  1687# 630 "include/linux/fs.h"
  1688struct backing_dev_info;
  1689# 631 "include/linux/fs.h"
  1690struct address_space {
  1691   struct inode *host ;
  1692   struct radix_tree_root page_tree ;
  1693   spinlock_t tree_lock ;
  1694   unsigned int i_mmap_writable ;
  1695   struct prio_tree_root i_mmap ;
  1696   struct list_head i_mmap_nonlinear ;
  1697   struct mutex i_mmap_mutex ;
  1698   unsigned long nrpages ;
  1699   unsigned long writeback_index ;
  1700   struct address_space_operations const *a_ops ;
  1701   unsigned long flags ;
  1702   struct backing_dev_info *backing_dev_info ;
  1703   spinlock_t private_lock ;
  1704   struct list_head private_list ;
  1705   struct address_space *assoc_mapping ;
  1706};
  1707# 652 "include/linux/fs.h"
  1708struct hd_struct;
  1709# 652 "include/linux/fs.h"
  1710struct gendisk;
  1711# 652 "include/linux/fs.h"
  1712struct block_device {
  1713   dev_t bd_dev ;
  1714   int bd_openers ;
  1715   struct inode *bd_inode ;
  1716   struct super_block *bd_super ;
  1717   struct mutex bd_mutex ;
  1718   struct list_head bd_inodes ;
  1719   void *bd_claiming ;
  1720   void *bd_holder ;
  1721   int bd_holders ;
  1722   bool bd_write_holder ;
  1723   struct list_head bd_holder_disks ;
  1724   struct block_device *bd_contains ;
  1725   unsigned int bd_block_size ;
  1726   struct hd_struct *bd_part ;
  1727   unsigned int bd_part_count ;
  1728   int bd_invalidated ;
  1729   struct gendisk *bd_disk ;
  1730   struct list_head bd_list ;
  1731   unsigned long bd_private ;
  1732   int bd_fsfreeze_count ;
  1733   struct mutex bd_fsfreeze_mutex ;
  1734};
  1735# 723 "include/linux/fs.h"
  1736struct posix_acl;
  1737# 724 "include/linux/fs.h"
  1738struct inode_operations;
  1739# 724 "include/linux/fs.h"
  1740union __anonunion_ldv_15897_134 {
  1741   struct list_head i_dentry ;
  1742   struct rcu_head i_rcu ;
  1743};
  1744# 724 "include/linux/fs.h"
  1745struct file_lock;
  1746# 724 "include/linux/fs.h"
  1747struct cdev;
  1748# 724 "include/linux/fs.h"
  1749union __anonunion_ldv_15923_135 {
  1750   struct pipe_inode_info *i_pipe ;
  1751   struct block_device *i_bdev ;
  1752   struct cdev *i_cdev ;
  1753};
  1754# 724 "include/linux/fs.h"
  1755struct inode {
  1756   umode_t i_mode ;
  1757   uid_t i_uid ;
  1758   gid_t i_gid ;
  1759   struct inode_operations const *i_op ;
  1760   struct super_block *i_sb ;
  1761   spinlock_t i_lock ;
  1762   unsigned int i_flags ;
  1763   unsigned long i_state ;
  1764   void *i_security ;
  1765   struct mutex i_mutex ;
  1766   unsigned long dirtied_when ;
  1767   struct hlist_node i_hash ;
  1768   struct list_head i_wb_list ;
  1769   struct list_head i_lru ;
  1770   struct list_head i_sb_list ;
  1771   union __anonunion_ldv_15897_134 ldv_15897 ;
  1772   unsigned long i_ino ;
  1773   atomic_t i_count ;
  1774   unsigned int i_nlink ;
  1775   dev_t i_rdev ;
  1776   unsigned int i_blkbits ;
  1777   u64 i_version ;
  1778   loff_t i_size ;
  1779   struct timespec i_atime ;
  1780   struct timespec i_mtime ;
  1781   struct timespec i_ctime ;
  1782   blkcnt_t i_blocks ;
  1783   unsigned short i_bytes ;
  1784   struct rw_semaphore i_alloc_sem ;
  1785   struct file_operations const *i_fop ;
  1786   struct file_lock *i_flock ;
  1787   struct address_space *i_mapping ;
  1788   struct address_space i_data ;
  1789   struct dquot *i_dquot[2U] ;
  1790   struct list_head i_devices ;
  1791   union __anonunion_ldv_15923_135 ldv_15923 ;
  1792   __u32 i_generation ;
  1793   __u32 i_fsnotify_mask ;
  1794   struct hlist_head i_fsnotify_marks ;
  1795   atomic_t i_readcount ;
  1796   atomic_t i_writecount ;
  1797   struct posix_acl *i_acl ;
  1798   struct posix_acl *i_default_acl ;
  1799   void *i_private ;
  1800};
  1801# 902 "include/linux/fs.h"
  1802struct fown_struct {
  1803   rwlock_t lock ;
  1804   struct pid *pid ;
  1805   enum pid_type pid_type ;
  1806   uid_t uid ;
  1807   uid_t euid ;
  1808   int signum ;
  1809};
  1810# 910 "include/linux/fs.h"
  1811struct file_ra_state {
  1812   unsigned long start ;
  1813   unsigned int size ;
  1814   unsigned int async_size ;
  1815   unsigned int ra_pages ;
  1816   unsigned int mmap_miss ;
  1817   loff_t prev_pos ;
  1818};
  1819# 933 "include/linux/fs.h"
  1820union __anonunion_f_u_136 {
  1821   struct list_head fu_list ;
  1822   struct rcu_head fu_rcuhead ;
  1823};
  1824# 933 "include/linux/fs.h"
  1825struct file {
  1826   union __anonunion_f_u_136 f_u ;
  1827   struct path f_path ;
  1828   struct file_operations const *f_op ;
  1829   spinlock_t f_lock ;
  1830   int f_sb_list_cpu ;
  1831   atomic_long_t f_count ;
  1832   unsigned int f_flags ;
  1833   fmode_t f_mode ;
  1834   loff_t f_pos ;
  1835   struct fown_struct f_owner ;
  1836   struct cred const *f_cred ;
  1837   struct file_ra_state f_ra ;
  1838   u64 f_version ;
  1839   void *f_security ;
  1840   void *private_data ;
  1841   struct list_head f_ep_links ;
  1842   struct address_space *f_mapping ;
  1843   unsigned long f_mnt_write_state ;
  1844};
  1845# 1064 "include/linux/fs.h"
  1846struct files_struct;
  1847# 1064 "include/linux/fs.h"
  1848typedef struct files_struct *fl_owner_t;
  1849# 1065 "include/linux/fs.h"
  1850struct file_lock_operations {
  1851   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
  1852   void (*fl_release_private)(struct file_lock * ) ;
  1853};
  1854# 1070 "include/linux/fs.h"
  1855struct lock_manager_operations {
  1856   int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
  1857   void (*fl_notify)(struct file_lock * ) ;
  1858   int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
  1859   void (*fl_release_private)(struct file_lock * ) ;
  1860   void (*fl_break)(struct file_lock * ) ;
  1861   int (*fl_change)(struct file_lock ** , int ) ;
  1862};
  1863# 163 "include/linux/nfs.h"
  1864struct nlm_lockowner;
  1865# 164 "include/linux/nfs.h"
  1866struct nfs_lock_info {
  1867   u32 state ;
  1868   struct nlm_lockowner *owner ;
  1869   struct list_head list ;
  1870};
  1871# 18 "include/linux/nfs_fs_i.h"
  1872struct nfs4_lock_state;
  1873# 19 "include/linux/nfs_fs_i.h"
  1874struct nfs4_lock_info {
  1875   struct nfs4_lock_state *owner ;
  1876};
  1877# 23 "include/linux/nfs_fs_i.h"
  1878struct fasync_struct;
  1879# 23 "include/linux/nfs_fs_i.h"
  1880struct __anonstruct_afs_138 {
  1881   struct list_head link ;
  1882   int state ;
  1883};
  1884# 23 "include/linux/nfs_fs_i.h"
  1885union __anonunion_fl_u_137 {
  1886   struct nfs_lock_info nfs_fl ;
  1887   struct nfs4_lock_info nfs4_fl ;
  1888   struct __anonstruct_afs_138 afs ;
  1889};
  1890# 23 "include/linux/nfs_fs_i.h"
  1891struct file_lock {
  1892   struct file_lock *fl_next ;
  1893   struct list_head fl_link ;
  1894   struct list_head fl_block ;
  1895   fl_owner_t fl_owner ;
  1896   unsigned char fl_flags ;
  1897   unsigned char fl_type ;
  1898   unsigned int fl_pid ;
  1899   struct pid *fl_nspid ;
  1900   wait_queue_head_t fl_wait ;
  1901   struct file *fl_file ;
  1902   loff_t fl_start ;
  1903   loff_t fl_end ;
  1904   struct fasync_struct *fl_fasync ;
  1905   unsigned long fl_break_time ;
  1906   struct file_lock_operations const *fl_ops ;
  1907   struct lock_manager_operations const *fl_lmops ;
  1908   union __anonunion_fl_u_137 fl_u ;
  1909};
  1910# 1171 "include/linux/fs.h"
  1911struct fasync_struct {
  1912   spinlock_t fa_lock ;
  1913   int magic ;
  1914   int fa_fd ;
  1915   struct fasync_struct *fa_next ;
  1916   struct file *fa_file ;
  1917   struct rcu_head fa_rcu ;
  1918};
  1919# 1363 "include/linux/fs.h"
  1920struct file_system_type;
  1921# 1363 "include/linux/fs.h"
  1922struct super_operations;
  1923# 1363 "include/linux/fs.h"
  1924struct xattr_handler;
  1925# 1363 "include/linux/fs.h"
  1926struct mtd_info;
  1927# 1363 "include/linux/fs.h"
  1928struct super_block {
  1929   struct list_head s_list ;
  1930   dev_t s_dev ;
  1931   unsigned char s_dirt ;
  1932   unsigned char s_blocksize_bits ;
  1933   unsigned long s_blocksize ;
  1934   loff_t s_maxbytes ;
  1935   struct file_system_type *s_type ;
  1936   struct super_operations const *s_op ;
  1937   struct dquot_operations const *dq_op ;
  1938   struct quotactl_ops const *s_qcop ;
  1939   struct export_operations const *s_export_op ;
  1940   unsigned long s_flags ;
  1941   unsigned long s_magic ;
  1942   struct dentry *s_root ;
  1943   struct rw_semaphore s_umount ;
  1944   struct mutex s_lock ;
  1945   int s_count ;
  1946   atomic_t s_active ;
  1947   void *s_security ;
  1948   struct xattr_handler const **s_xattr ;
  1949   struct list_head s_inodes ;
  1950   struct hlist_bl_head s_anon ;
  1951   struct list_head *s_files ;
  1952   struct list_head s_dentry_lru ;
  1953   int s_nr_dentry_unused ;
  1954   struct block_device *s_bdev ;
  1955   struct backing_dev_info *s_bdi ;
  1956   struct mtd_info *s_mtd ;
  1957   struct list_head s_instances ;
  1958   struct quota_info s_dquot ;
  1959   int s_frozen ;
  1960   wait_queue_head_t s_wait_unfrozen ;
  1961   char s_id[32U] ;
  1962   u8 s_uuid[16U] ;
  1963   void *s_fs_info ;
  1964   fmode_t s_mode ;
  1965   u32 s_time_gran ;
  1966   struct mutex s_vfs_rename_mutex ;
  1967   char *s_subtype ;
  1968   char *s_options ;
  1969   struct dentry_operations const *s_d_op ;
  1970   int cleancache_poolid ;
  1971};
  1972# 1495 "include/linux/fs.h"
  1973struct fiemap_extent_info {
  1974   unsigned int fi_flags ;
  1975   unsigned int fi_extents_mapped ;
  1976   unsigned int fi_extents_max ;
  1977   struct fiemap_extent *fi_extents_start ;
  1978};
  1979# 1534 "include/linux/fs.h"
  1980struct file_operations {
  1981   struct module *owner ;
  1982   loff_t (*llseek)(struct file * , loff_t , int ) ;
  1983   ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
  1984   ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
  1985   ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
  1986                       loff_t ) ;
  1987   ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
  1988                        loff_t ) ;
  1989   int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
  1990                                                   loff_t , u64 , unsigned int ) ) ;
  1991   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
  1992   long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
  1993   long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
  1994   int (*mmap)(struct file * , struct vm_area_struct * ) ;
  1995   int (*open)(struct inode * , struct file * ) ;
  1996   int (*flush)(struct file * , fl_owner_t ) ;
  1997   int (*release)(struct inode * , struct file * ) ;
  1998   int (*fsync)(struct file * , int ) ;
  1999   int (*aio_fsync)(struct kiocb * , int ) ;
  2000   int (*fasync)(int , struct file * , int ) ;
  2001   int (*lock)(struct file * , int , struct file_lock * ) ;
  2002   ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
  2003                       int ) ;
  2004   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
  2005                                      unsigned long , unsigned long ) ;
  2006   int (*check_flags)(int ) ;
  2007   int (*flock)(struct file * , int , struct file_lock * ) ;
  2008   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
  2009                           unsigned int ) ;
  2010   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
  2011                          unsigned int ) ;
  2012   int (*setlease)(struct file * , long , struct file_lock ** ) ;
  2013   long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
  2014};
  2015# 1574 "include/linux/fs.h"
  2016struct inode_operations {
  2017   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
  2018   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
  2019   int (*permission)(struct inode * , int , unsigned int ) ;
  2020   int (*check_acl)(struct inode * , int , unsigned int ) ;
  2021   int (*readlink)(struct dentry * , char * , int ) ;
  2022   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
  2023   int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
  2024   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
  2025   int (*unlink)(struct inode * , struct dentry * ) ;
  2026   int (*symlink)(struct inode * , struct dentry * , char const * ) ;
  2027   int (*mkdir)(struct inode * , struct dentry * , int ) ;
  2028   int (*rmdir)(struct inode * , struct dentry * ) ;
  2029   int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
  2030   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
  2031   void (*truncate)(struct inode * ) ;
  2032   int (*setattr)(struct dentry * , struct iattr * ) ;
  2033   int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
  2034   int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
  2035   ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
  2036   ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
  2037   int (*removexattr)(struct dentry * , char const * ) ;
  2038   void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
  2039   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
  2040};
  2041# 1620 "include/linux/fs.h"
  2042struct super_operations {
  2043   struct inode *(*alloc_inode)(struct super_block * ) ;
  2044   void (*destroy_inode)(struct inode * ) ;
  2045   void (*dirty_inode)(struct inode * , int ) ;
  2046   int (*write_inode)(struct inode * , struct writeback_control * ) ;
  2047   int (*drop_inode)(struct inode * ) ;
  2048   void (*evict_inode)(struct inode * ) ;
  2049   void (*put_super)(struct super_block * ) ;
  2050   void (*write_super)(struct super_block * ) ;
  2051   int (*sync_fs)(struct super_block * , int ) ;
  2052   int (*freeze_fs)(struct super_block * ) ;
  2053   int (*unfreeze_fs)(struct super_block * ) ;
  2054   int (*statfs)(struct dentry * , struct kstatfs * ) ;
  2055   int (*remount_fs)(struct super_block * , int * , char * ) ;
  2056   void (*umount_begin)(struct super_block * ) ;
  2057   int (*show_options)(struct seq_file * , struct vfsmount * ) ;
  2058   int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
  2059   int (*show_path)(struct seq_file * , struct vfsmount * ) ;
  2060   int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
  2061   ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
  2062   ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
  2063                          loff_t ) ;
  2064   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
  2065};
  2066# 1801 "include/linux/fs.h"
  2067struct file_system_type {
  2068   char const *name ;
  2069   int fs_flags ;
  2070   struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
  2071   void (*kill_sb)(struct super_block * ) ;
  2072   struct module *owner ;
  2073   struct file_system_type *next ;
  2074   struct list_head fs_supers ;
  2075   struct lock_class_key s_lock_key ;
  2076   struct lock_class_key s_umount_key ;
  2077   struct lock_class_key s_vfs_rename_key ;
  2078   struct lock_class_key i_lock_key ;
  2079   struct lock_class_key i_mutex_key ;
  2080   struct lock_class_key i_mutex_dir_key ;
  2081   struct lock_class_key i_alloc_sem_key ;
  2082};
  2083# 118 "include/linux/kmemleak.h"
  2084struct kmem_cache_cpu {
  2085   void **freelist ;
  2086   unsigned long tid ;
  2087   struct page *page ;
  2088   int node ;
  2089   unsigned int stat[19U] ;
  2090};
  2091# 46 "include/linux/slub_def.h"
  2092struct kmem_cache_node {
  2093   spinlock_t list_lock ;
  2094   unsigned long nr_partial ;
  2095   struct list_head partial ;
  2096   atomic_long_t nr_slabs ;
  2097   atomic_long_t total_objects ;
  2098   struct list_head full ;
  2099};
  2100# 57 "include/linux/slub_def.h"
  2101struct kmem_cache_order_objects {
  2102   unsigned long x ;
  2103};
  2104# 67 "include/linux/slub_def.h"
  2105struct kmem_cache {
  2106   struct kmem_cache_cpu *cpu_slab ;
  2107   unsigned long flags ;
  2108   unsigned long min_partial ;
  2109   int size ;
  2110   int objsize ;
  2111   int offset ;
  2112   struct kmem_cache_order_objects oo ;
  2113   struct kmem_cache_order_objects max ;
  2114   struct kmem_cache_order_objects min ;
  2115   gfp_t allocflags ;
  2116   int refcount ;
  2117   void (*ctor)(void * ) ;
  2118   int inuse ;
  2119   int align ;
  2120   int reserved ;
  2121   char const *name ;
  2122   struct list_head list ;
  2123   struct kobject kobj ;
  2124   int remote_node_defrag_ratio ;
  2125   struct kmem_cache_node *node[1024U] ;
  2126};
  2127# 46 "include/linux/proc_fs.h"
  2128typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
  2129# 48 "include/linux/proc_fs.h"
  2130typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
  2131# 49 "include/linux/proc_fs.h"
  2132struct proc_dir_entry {
  2133   unsigned int low_ino ;
  2134   unsigned int namelen ;
  2135   char const *name ;
  2136   mode_t mode ;
  2137   nlink_t nlink ;
  2138   uid_t uid ;
  2139   gid_t gid ;
  2140   loff_t size ;
  2141   struct inode_operations const *proc_iops ;
  2142   struct file_operations const *proc_fops ;
  2143   struct proc_dir_entry *next ;
  2144   struct proc_dir_entry *parent ;
  2145   struct proc_dir_entry *subdir ;
  2146   void *data ;
  2147   read_proc_t *read_proc ;
  2148   write_proc_t *write_proc ;
  2149   atomic_t count ;
  2150   int pde_users ;
  2151   spinlock_t pde_unload_lock ;
  2152   struct completion *pde_unload_completion ;
  2153   struct list_head pde_openers ;
  2154};
  2155# 121 "include/linux/proc_fs.h"
  2156struct tty_driver;
  2157# 12 "include/linux/mod_devicetable.h"
  2158typedef unsigned long kernel_ulong_t;
  2159# 13 "include/linux/mod_devicetable.h"
  2160struct pci_device_id {
  2161   __u32 vendor ;
  2162   __u32 device ;
  2163   __u32 subvendor ;
  2164   __u32 subdevice ;
  2165   __u32 class ;
  2166   __u32 class_mask ;
  2167   kernel_ulong_t driver_data ;
  2168};
  2169# 215 "include/linux/mod_devicetable.h"
  2170struct of_device_id {
  2171   char name[32U] ;
  2172   char type[32U] ;
  2173   char compatible[128U] ;
  2174   void *data ;
  2175};
  2176# 474 "include/linux/mod_devicetable.h"
  2177struct platform_device_id {
  2178   char name[20U] ;
  2179   kernel_ulong_t driver_data ;
  2180};
  2181# 535 "include/linux/mod_devicetable.h"
  2182struct mfd_cell;
  2183# 536 "include/linux/mod_devicetable.h"
  2184struct platform_device {
  2185   char const *name ;
  2186   int id ;
  2187   struct device dev ;
  2188   u32 num_resources ;
  2189   struct resource *resource ;
  2190   struct platform_device_id const *id_entry ;
  2191   struct mfd_cell *mfd_cell ;
  2192   struct pdev_archdata archdata ;
  2193};
  2194# 69 "include/linux/io.h"
  2195enum irqreturn {
  2196    IRQ_NONE = 0,
  2197    IRQ_HANDLED = 1,
  2198    IRQ_WAKE_THREAD = 2
  2199} ;
  2200# 16 "include/linux/irqreturn.h"
  2201typedef enum irqreturn irqreturn_t;
  2202# 17 "include/linux/irqreturn.h"
  2203struct hotplug_slot;
  2204# 17 "include/linux/irqreturn.h"
  2205struct pci_slot {
  2206   struct pci_bus *bus ;
  2207   struct list_head list ;
  2208   struct hotplug_slot *hotplug ;
  2209   unsigned char number ;
  2210   struct kobject kobj ;
  2211};
  2212# 117 "include/linux/pci.h"
  2213typedef int pci_power_t;
  2214# 143 "include/linux/pci.h"
  2215typedef unsigned int pci_channel_state_t;
  2216# 144 "include/linux/pci.h"
  2217enum pci_channel_state {
  2218    pci_channel_io_normal = 1,
  2219    pci_channel_io_frozen = 2,
  2220    pci_channel_io_perm_failure = 3
  2221} ;
  2222# 169 "include/linux/pci.h"
  2223typedef unsigned short pci_dev_flags_t;
  2224# 184 "include/linux/pci.h"
  2225typedef unsigned short pci_bus_flags_t;
  2226# 227 "include/linux/pci.h"
  2227struct pcie_link_state;
  2228# 228 "include/linux/pci.h"
  2229struct pci_vpd;
  2230# 229 "include/linux/pci.h"
  2231struct pci_sriov;
  2232# 230 "include/linux/pci.h"
  2233struct pci_ats;
  2234# 231 "include/linux/pci.h"
  2235struct pci_driver;
  2236# 231 "include/linux/pci.h"
  2237union __anonunion_ldv_18895_140 {
  2238   struct pci_sriov *sriov ;
  2239   struct pci_dev *physfn ;
  2240};
  2241# 231 "include/linux/pci.h"
  2242struct pci_dev {
  2243   struct list_head bus_list ;
  2244   struct pci_bus *bus ;
  2245   struct pci_bus *subordinate ;
  2246   void *sysdata ;
  2247   struct proc_dir_entry *procent ;
  2248   struct pci_slot *slot ;
  2249   unsigned int devfn ;
  2250   unsigned short vendor ;
  2251   unsigned short device ;
  2252   unsigned short subsystem_vendor ;
  2253   unsigned short subsystem_device ;
  2254   unsigned int class ;
  2255   u8 revision ;
  2256   u8 hdr_type ;
  2257   u8 pcie_cap ;
  2258   u8 pcie_type ;
  2259   u8 rom_base_reg ;
  2260   u8 pin ;
  2261   struct pci_driver *driver ;
  2262   u64 dma_mask ;
  2263   struct device_dma_parameters dma_parms ;
  2264   pci_power_t current_state ;
  2265   int pm_cap ;
  2266   unsigned char pme_support : 5 ;
  2267   unsigned char pme_interrupt : 1 ;
  2268   unsigned char d1_support : 1 ;
  2269   unsigned char d2_support : 1 ;
  2270   unsigned char no_d1d2 : 1 ;
  2271   unsigned char mmio_always_on : 1 ;
  2272   unsigned char wakeup_prepared : 1 ;
  2273   unsigned int d3_delay ;
  2274   struct pcie_link_state *link_state ;
  2275   pci_channel_state_t error_state ;
  2276   struct device dev ;
  2277   int cfg_size ;
  2278   unsigned int irq ;
  2279   struct resource resource[18U] ;
  2280   resource_size_t fw_addr[18U] ;
  2281   unsigned char transparent : 1 ;
  2282   unsigned char multifunction : 1 ;
  2283   unsigned char is_added : 1 ;
  2284   unsigned char is_busmaster : 1 ;
  2285   unsigned char no_msi : 1 ;
  2286   unsigned char block_ucfg_access : 1 ;
  2287   unsigned char broken_parity_status : 1 ;
  2288   unsigned char irq_reroute_variant : 2 ;
  2289   unsigned char msi_enabled : 1 ;
  2290   unsigned char msix_enabled : 1 ;
  2291   unsigned char ari_enabled : 1 ;
  2292   unsigned char is_managed : 1 ;
  2293   unsigned char is_pcie : 1 ;
  2294   unsigned char needs_freset : 1 ;
  2295   unsigned char state_saved : 1 ;
  2296   unsigned char is_physfn : 1 ;
  2297   unsigned char is_virtfn : 1 ;
  2298   unsigned char reset_fn : 1 ;
  2299   unsigned char is_hotplug_bridge : 1 ;
  2300   unsigned char __aer_firmware_first_valid : 1 ;
  2301   unsigned char __aer_firmware_first : 1 ;
  2302   pci_dev_flags_t dev_flags ;
  2303   atomic_t enable_cnt ;
  2304   u32 saved_config_space[16U] ;
  2305   struct hlist_head saved_cap_space ;
  2306   struct bin_attribute *rom_attr ;
  2307   int rom_attr_enabled ;
  2308   struct bin_attribute *res_attr[18U] ;
  2309   struct bin_attribute *res_attr_wc[18U] ;
  2310   struct list_head msi_list ;
  2311   struct pci_vpd *vpd ;
  2312   union __anonunion_ldv_18895_140 ldv_18895 ;
  2313   struct pci_ats *ats ;
  2314};
  2315# 406 "include/linux/pci.h"
  2316struct pci_ops;
  2317# 406 "include/linux/pci.h"
  2318struct pci_bus {
  2319   struct list_head node ;
  2320   struct pci_bus *parent ;
  2321   struct list_head children ;
  2322   struct list_head devices ;
  2323   struct pci_dev *self ;
  2324   struct list_head slots ;
  2325   struct resource *resource[4U] ;
  2326   struct list_head resources ;
  2327   struct pci_ops *ops ;
  2328   void *sysdata ;
  2329   struct proc_dir_entry *procdir ;
  2330   unsigned char number ;
  2331   unsigned char primary ;
  2332   unsigned char secondary ;
  2333   unsigned char subordinate ;
  2334   unsigned char max_bus_speed ;
  2335   unsigned char cur_bus_speed ;
  2336   char name[48U] ;
  2337   unsigned short bridge_ctl ;
  2338   pci_bus_flags_t bus_flags ;
  2339   struct device *bridge ;
  2340   struct device dev ;
  2341   struct bin_attribute *legacy_io ;
  2342   struct bin_attribute *legacy_mem ;
  2343   unsigned char is_added : 1 ;
  2344};
  2345# 458 "include/linux/pci.h"
  2346struct pci_ops {
  2347   int (*read)(struct pci_bus * , unsigned int , int , int , u32 * ) ;
  2348   int (*write)(struct pci_bus * , unsigned int , int , int , u32 ) ;
  2349};
  2350# 493 "include/linux/pci.h"
  2351struct pci_dynids {
  2352   spinlock_t lock ;
  2353   struct list_head list ;
  2354};
  2355# 506 "include/linux/pci.h"
  2356typedef unsigned int pci_ers_result_t;
  2357# 515 "include/linux/pci.h"
  2358struct pci_error_handlers {
  2359   pci_ers_result_t (*error_detected)(struct pci_dev * , enum pci_channel_state ) ;
  2360   pci_ers_result_t (*mmio_enabled)(struct pci_dev * ) ;
  2361   pci_ers_result_t (*link_reset)(struct pci_dev * ) ;
  2362   pci_ers_result_t (*slot_reset)(struct pci_dev * ) ;
  2363   void (*resume)(struct pci_dev * ) ;
  2364};
  2365# 543 "include/linux/pci.h"
  2366struct pci_driver {
  2367   struct list_head node ;
  2368   char const *name ;
  2369   struct pci_device_id const *id_table ;
  2370   int (*probe)(struct pci_dev * , struct pci_device_id const * ) ;
  2371   void (*remove)(struct pci_dev * ) ;
  2372   int (*suspend)(struct pci_dev * , pm_message_t ) ;
  2373   int (*suspend_late)(struct pci_dev * , pm_message_t ) ;
  2374   int (*resume_early)(struct pci_dev * ) ;
  2375   int (*resume)(struct pci_dev * ) ;
  2376   void (*shutdown)(struct pci_dev * ) ;
  2377   struct pci_error_handlers *err_handler ;
  2378   struct device_driver driver ;
  2379   struct pci_dynids dynids ;
  2380};
  2381# 948 "include/linux/pci.h"
  2382struct scatterlist {
  2383   unsigned long sg_magic ;
  2384   unsigned long page_link ;
  2385   unsigned int offset ;
  2386   unsigned int length ;
  2387   dma_addr_t dma_address ;
  2388   unsigned int dma_length ;
  2389};
  2390# 1095 "include/linux/pci.h"
  2391struct rb_node {
  2392   unsigned long rb_parent_color ;
  2393   struct rb_node *rb_right ;
  2394   struct rb_node *rb_left ;
  2395};
  2396# 108 "include/linux/rbtree.h"
  2397struct rb_root {
  2398   struct rb_node *rb_node ;
  2399};
  2400# 180 "include/linux/rbtree.h"
  2401struct __anonstruct_ldv_19717_142 {
  2402   u16 inuse ;
  2403   u16 objects ;
  2404};
  2405# 180 "include/linux/rbtree.h"
  2406union __anonunion_ldv_19718_141 {
  2407   atomic_t _mapcount ;
  2408   struct __anonstruct_ldv_19717_142 ldv_19717 ;
  2409};
  2410# 180 "include/linux/rbtree.h"
  2411struct __anonstruct_ldv_19723_144 {
  2412   unsigned long private ;
  2413   struct address_space *mapping ;
  2414};
  2415# 180 "include/linux/rbtree.h"
  2416union __anonunion_ldv_19726_143 {
  2417   struct __anonstruct_ldv_19723_144 ldv_19723 ;
  2418   struct kmem_cache *slab ;
  2419   struct page *first_page ;
  2420};
  2421# 180 "include/linux/rbtree.h"
  2422union __anonunion_ldv_19730_145 {
  2423   unsigned long index ;
  2424   void *freelist ;
  2425};
  2426# 180 "include/linux/rbtree.h"
  2427struct page {
  2428   unsigned long flags ;
  2429   atomic_t _count ;
  2430   union __anonunion_ldv_19718_141 ldv_19718 ;
  2431   union __anonunion_ldv_19726_143 ldv_19726 ;
  2432   union __anonunion_ldv_19730_145 ldv_19730 ;
  2433   struct list_head lru ;
  2434};
  2435# 124 "include/linux/mm_types.h"
  2436struct __anonstruct_vm_set_147 {
  2437   struct list_head list ;
  2438   void *parent ;
  2439   struct vm_area_struct *head ;
  2440};
  2441# 124 "include/linux/mm_types.h"
  2442union __anonunion_shared_146 {
  2443   struct __anonstruct_vm_set_147 vm_set ;
  2444   struct raw_prio_tree_node prio_tree_node ;
  2445};
  2446# 124 "include/linux/mm_types.h"
  2447struct anon_vma;
  2448# 124 "include/linux/mm_types.h"
  2449struct vm_operations_struct;
  2450# 124 "include/linux/mm_types.h"
  2451struct mempolicy;
  2452# 124 "include/linux/mm_types.h"
  2453struct vm_area_struct {
  2454   struct mm_struct *vm_mm ;
  2455   unsigned long vm_start ;
  2456   unsigned long vm_end ;
  2457   struct vm_area_struct *vm_next ;
  2458   struct vm_area_struct *vm_prev ;
  2459   pgprot_t vm_page_prot ;
  2460   unsigned long vm_flags ;
  2461   struct rb_node vm_rb ;
  2462   union __anonunion_shared_146 shared ;
  2463   struct list_head anon_vma_chain ;
  2464   struct anon_vma *anon_vma ;
  2465   struct vm_operations_struct const *vm_ops ;
  2466   unsigned long vm_pgoff ;
  2467   struct file *vm_file ;
  2468   void *vm_private_data ;
  2469   struct mempolicy *vm_policy ;
  2470};
  2471# 187 "include/linux/mm_types.h"
  2472struct core_thread {
  2473   struct task_struct *task ;
  2474   struct core_thread *next ;
  2475};
  2476# 193 "include/linux/mm_types.h"
  2477struct core_state {
  2478   atomic_t nr_threads ;
  2479   struct core_thread dumper ;
  2480   struct completion startup ;
  2481};
  2482# 206 "include/linux/mm_types.h"
  2483struct mm_rss_stat {
  2484   atomic_long_t count[3U] ;
  2485};
  2486# 219 "include/linux/mm_types.h"
  2487struct linux_binfmt;
  2488# 219 "include/linux/mm_types.h"
  2489struct mmu_notifier_mm;
  2490# 219 "include/linux/mm_types.h"
  2491struct mm_struct {
  2492   struct vm_area_struct *mmap ;
  2493   struct rb_root mm_rb ;
  2494   struct vm_area_struct *mmap_cache ;
  2495   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
  2496                                      unsigned long , unsigned long ) ;
  2497   void (*unmap_area)(struct mm_struct * , unsigned long ) ;
  2498   unsigned long mmap_base ;
  2499   unsigned long task_size ;
  2500   unsigned long cached_hole_size ;
  2501   unsigned long free_area_cache ;
  2502   pgd_t *pgd ;
  2503   atomic_t mm_users ;
  2504   atomic_t mm_count ;
  2505   int map_count ;
  2506   spinlock_t page_table_lock ;
  2507   struct rw_semaphore mmap_sem ;
  2508   struct list_head mmlist ;
  2509   unsigned long hiwater_rss ;
  2510   unsigned long hiwater_vm ;
  2511   unsigned long total_vm ;
  2512   unsigned long locked_vm ;
  2513   unsigned long shared_vm ;
  2514   unsigned long exec_vm ;
  2515   unsigned long stack_vm ;
  2516   unsigned long reserved_vm ;
  2517   unsigned long def_flags ;
  2518   unsigned long nr_ptes ;
  2519   unsigned long start_code ;
  2520   unsigned long end_code ;
  2521   unsigned long start_data ;
  2522   unsigned long end_data ;
  2523   unsigned long start_brk ;
  2524   unsigned long brk ;
  2525   unsigned long start_stack ;
  2526   unsigned long arg_start ;
  2527   unsigned long arg_end ;
  2528   unsigned long env_start ;
  2529   unsigned long env_end ;
  2530   unsigned long saved_auxv[44U] ;
  2531   struct mm_rss_stat rss_stat ;
  2532   struct linux_binfmt *binfmt ;
  2533   cpumask_var_t cpu_vm_mask_var ;
  2534   mm_context_t context ;
  2535   unsigned int faultstamp ;
  2536   unsigned int token_priority ;
  2537   unsigned int last_interval ;
  2538   atomic_t oom_disable_count ;
  2539   unsigned long flags ;
  2540   struct core_state *core_state ;
  2541   spinlock_t ioctx_lock ;
  2542   struct hlist_head ioctx_list ;
  2543   struct task_struct *owner ;
  2544   struct file *exe_file ;
  2545   unsigned long num_exe_file_vmas ;
  2546   struct mmu_notifier_mm *mmu_notifier_mm ;
  2547   pgtable_t pmd_huge_pte ;
  2548   struct cpumask cpumask_allocation ;
  2549};
  2550# 30 "include/linux/range.h"
  2551struct user_struct;
  2552# 175 "include/linux/mm.h"
  2553struct vm_fault {
  2554   unsigned int flags ;
  2555   unsigned long pgoff ;
  2556   void *virtual_address ;
  2557   struct page *page ;
  2558};
  2559# 192 "include/linux/mm.h"
  2560struct vm_operations_struct {
  2561   void (*open)(struct vm_area_struct * ) ;
  2562   void (*close)(struct vm_area_struct * ) ;
  2563   int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
  2564   int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
  2565   int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
  2566   int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
  2567   struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
  2568   int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
  2569                  unsigned long ) ;
  2570};
  2571# 1124 "include/linux/mm.h"
  2572struct shrink_control {
  2573   gfp_t gfp_mask ;
  2574   unsigned long nr_to_scan ;
  2575};
  2576# 1136 "include/linux/mm.h"
  2577struct shrinker {
  2578   int (*shrink)(struct shrinker * , struct shrink_control * ) ;
  2579   int seeks ;
  2580   struct list_head list ;
  2581   long nr ;
  2582};
  2583# 34 "include/linux/bug.h"
  2584struct dma_attrs {
  2585   unsigned long flags[1U] ;
  2586};
  2587# 266 "include/linux/scatterlist.h"
  2588enum dma_data_direction {
  2589    DMA_BIDIRECTIONAL = 0,
  2590    DMA_TO_DEVICE = 1,
  2591    DMA_FROM_DEVICE = 2,
  2592    DMA_NONE = 3
  2593} ;
  2594# 273 "include/linux/scatterlist.h"
  2595struct dma_map_ops {
  2596   void *(*alloc_coherent)(struct device * , size_t , dma_addr_t * , gfp_t ) ;
  2597   void (*free_coherent)(struct device * , size_t , void * , dma_addr_t ) ;
  2598   dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
  2599                          enum dma_data_direction , struct dma_attrs * ) ;
  2600   void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
  2601                      struct dma_attrs * ) ;
  2602   int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
  2603                 struct dma_attrs * ) ;
  2604   void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
  2605                    struct dma_attrs * ) ;
  2606   void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
  2607   void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
  2608   void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
  2609   void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
  2610   int (*mapping_error)(struct device * , dma_addr_t ) ;
  2611   int (*dma_supported)(struct device * , u64 ) ;
  2612   int (*set_dma_mask)(struct device * , u64 ) ;
  2613   int is_phys ;
  2614};
  2615# 1590 "include/linux/pci.h"
  2616struct cdev {
  2617   struct kobject kobj ;
  2618   struct module *owner ;
  2619   struct file_operations const *ops ;
  2620   struct list_head list ;
  2621   dev_t dev ;
  2622   unsigned int count ;
  2623};
  2624# 34 "include/linux/cdev.h"
  2625struct exception_table_entry {
  2626   unsigned long insn ;
  2627   unsigned long fixup ;
  2628};
  2629# 118 "include/linux/sem.h"
  2630struct sem_undo_list;
  2631# 131 "include/linux/sem.h"
  2632struct sem_undo_list {
  2633   atomic_t refcnt ;
  2634   spinlock_t lock ;
  2635   struct list_head list_proc ;
  2636};
  2637# 140 "include/linux/sem.h"
  2638struct sysv_sem {
  2639   struct sem_undo_list *undo_list ;
  2640};
  2641# 16 "include/linux/socket.h"
  2642struct iovec {
  2643   void *iov_base ;
  2644   __kernel_size_t iov_len ;
  2645};
  2646# 44 "include/linux/aio_abi.h"
  2647struct io_event {
  2648   __u64 data ;
  2649   __u64 obj ;
  2650   __s64 res ;
  2651   __s64 res2 ;
  2652};
  2653# 7 "include/asm-generic/cputime.h"
  2654typedef unsigned long cputime_t;
  2655# 26 "include/asm-generic/cputime.h"
  2656struct siginfo;
  2657# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
  2658struct __anonstruct_sigset_t_159 {
  2659   unsigned long sig[1U] ;
  2660};
  2661# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
  2662typedef struct __anonstruct_sigset_t_159 sigset_t;
  2663# 17 "include/asm-generic/signal-defs.h"
  2664typedef void __signalfn_t(int );
  2665# 18 "include/asm-generic/signal-defs.h"
  2666typedef __signalfn_t *__sighandler_t;
  2667# 20 "include/asm-generic/signal-defs.h"
  2668typedef void __restorefn_t(void);
  2669# 21 "include/asm-generic/signal-defs.h"
  2670typedef __restorefn_t *__sigrestore_t;
  2671# 126 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
  2672struct sigaction {
  2673   __sighandler_t sa_handler ;
  2674   unsigned long sa_flags ;
  2675   __sigrestore_t sa_restorer ;
  2676   sigset_t sa_mask ;
  2677};
  2678# 173 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
  2679struct k_sigaction {
  2680   struct sigaction sa ;
  2681};
  2682# 185 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
  2683union sigval {
  2684   int sival_int ;
  2685   void *sival_ptr ;
  2686};
  2687# 10 "include/asm-generic/siginfo.h"
  2688typedef union sigval sigval_t;
  2689# 11 "include/asm-generic/siginfo.h"
  2690struct __anonstruct__kill_161 {
  2691   __kernel_pid_t _pid ;
  2692   __kernel_uid32_t _uid ;
  2693};
  2694# 11 "include/asm-generic/siginfo.h"
  2695struct __anonstruct__timer_162 {
  2696   __kernel_timer_t _tid ;
  2697   int _overrun ;
  2698   char _pad[0U] ;
  2699   sigval_t _sigval ;
  2700   int _sys_private ;
  2701};
  2702# 11 "include/asm-generic/siginfo.h"
  2703struct __anonstruct__rt_163 {
  2704   __kernel_pid_t _pid ;
  2705   __kernel_uid32_t _uid ;
  2706   sigval_t _sigval ;
  2707};
  2708# 11 "include/asm-generic/siginfo.h"
  2709struct __anonstruct__sigchld_164 {
  2710   __kernel_pid_t _pid ;
  2711   __kernel_uid32_t _uid ;
  2712   int _status ;
  2713   __kernel_clock_t _utime ;
  2714   __kernel_clock_t _stime ;
  2715};
  2716# 11 "include/asm-generic/siginfo.h"
  2717struct __anonstruct__sigfault_165 {
  2718   void *_addr ;
  2719   short _addr_lsb ;
  2720};
  2721# 11 "include/asm-generic/siginfo.h"
  2722struct __anonstruct__sigpoll_166 {
  2723   long _band ;
  2724   int _fd ;
  2725};
  2726# 11 "include/asm-generic/siginfo.h"
  2727union __anonunion__sifields_160 {
  2728   int _pad[28U] ;
  2729   struct __anonstruct__kill_161 _kill ;
  2730   struct __anonstruct__timer_162 _timer ;
  2731   struct __anonstruct__rt_163 _rt ;
  2732   struct __anonstruct__sigchld_164 _sigchld ;
  2733   struct __anonstruct__sigfault_165 _sigfault ;
  2734   struct __anonstruct__sigpoll_166 _sigpoll ;
  2735};
  2736# 11 "include/asm-generic/siginfo.h"
  2737struct siginfo {
  2738   int si_signo ;
  2739   int si_errno ;
  2740   int si_code ;
  2741   union __anonunion__sifields_160 _sifields ;
  2742};
  2743# 94 "include/asm-generic/siginfo.h"
  2744typedef struct siginfo siginfo_t;
  2745# 24 "include/linux/signal.h"
  2746struct sigpending {
  2747   struct list_head list ;
  2748   sigset_t signal ;
  2749};
  2750# 90 "include/linux/proportions.h"
  2751struct prop_local_single {
  2752   unsigned long events ;
  2753   unsigned long period ;
  2754   int shift ;
  2755   spinlock_t lock ;
  2756};
  2757# 10 "include/linux/seccomp.h"
  2758struct __anonstruct_seccomp_t_169 {
  2759   int mode ;
  2760};
  2761# 10 "include/linux/seccomp.h"
  2762typedef struct __anonstruct_seccomp_t_169 seccomp_t;
  2763# 21 "include/linux/seccomp.h"
  2764struct plist_head {
  2765   struct list_head node_list ;
  2766   raw_spinlock_t *rawlock ;
  2767   spinlock_t *spinlock ;
  2768};
  2769# 88 "include/linux/plist.h"
  2770struct plist_node {
  2771   int prio ;
  2772   struct list_head prio_list ;
  2773   struct list_head node_list ;
  2774};
  2775# 20 "include/linux/rtmutex.h"
  2776struct rt_mutex {
  2777   raw_spinlock_t wait_lock ;
  2778   struct plist_head wait_list ;
  2779   struct task_struct *owner ;
  2780   int save_state ;
  2781   char const *name ;
  2782   char const *file ;
  2783   int line ;
  2784   void *magic ;
  2785};
  2786# 38 "include/linux/rtmutex.h"
  2787struct rt_mutex_waiter;
  2788# 41 "include/linux/resource.h"
  2789struct rlimit {
  2790   unsigned long rlim_cur ;
  2791   unsigned long rlim_max ;
  2792};
  2793# 85 "include/linux/resource.h"
  2794struct timerqueue_node {
  2795   struct rb_node node ;
  2796   ktime_t expires ;
  2797};
  2798# 12 "include/linux/timerqueue.h"
  2799struct timerqueue_head {
  2800   struct rb_root head ;
  2801   struct timerqueue_node *next ;
  2802};
  2803# 50 "include/linux/timerqueue.h"
  2804struct hrtimer_clock_base;
  2805# 51 "include/linux/timerqueue.h"
  2806struct hrtimer_cpu_base;
  2807# 60 "include/linux/timerqueue.h"
  2808enum hrtimer_restart {
  2809    HRTIMER_NORESTART = 0,
  2810    HRTIMER_RESTART = 1
  2811} ;
  2812# 65 "include/linux/timerqueue.h"
  2813struct hrtimer {
  2814   struct timerqueue_node node ;
  2815   ktime_t _softexpires ;
  2816   enum hrtimer_restart (*function)(struct hrtimer * ) ;
  2817   struct hrtimer_clock_base *base ;
  2818   unsigned long state ;
  2819   int start_pid ;
  2820   void *start_site ;
  2821   char start_comm[16U] ;
  2822};
  2823# 132 "include/linux/hrtimer.h"
  2824struct hrtimer_clock_base {
  2825   struct hrtimer_cpu_base *cpu_base ;
  2826   int index ;
  2827   clockid_t clockid ;
  2828   struct timerqueue_head active ;
  2829   ktime_t resolution ;
  2830   ktime_t (*get_time)(void) ;
  2831   ktime_t softirq_time ;
  2832   ktime_t offset ;
  2833};
  2834# 162 "include/linux/hrtimer.h"
  2835struct hrtimer_cpu_base {
  2836   raw_spinlock_t lock ;
  2837   unsigned long active_bases ;
  2838   ktime_t expires_next ;
  2839   int hres_active ;
  2840   int hang_detected ;
  2841   unsigned long nr_events ;
  2842   unsigned long nr_retries ;
  2843   unsigned long nr_hangs ;
  2844   ktime_t max_hang_time ;
  2845   struct hrtimer_clock_base clock_base[3U] ;
  2846};
  2847# 452 "include/linux/hrtimer.h"
  2848struct task_io_accounting {
  2849   u64 rchar ;
  2850   u64 wchar ;
  2851   u64 syscr ;
  2852   u64 syscw ;
  2853   u64 read_bytes ;
  2854   u64 write_bytes ;
  2855   u64 cancelled_write_bytes ;
  2856};
  2857# 45 "include/linux/task_io_accounting.h"
  2858struct latency_record {
  2859   unsigned long backtrace[12U] ;
  2860   unsigned int count ;
  2861   unsigned long time ;
  2862   unsigned long max ;
  2863};
  2864# 29 "include/linux/key.h"
  2865typedef int32_t key_serial_t;
  2866# 32 "include/linux/key.h"
  2867typedef uint32_t key_perm_t;
  2868# 33 "include/linux/key.h"
  2869struct key;
  2870# 34 "include/linux/key.h"
  2871struct signal_struct;
  2872# 35 "include/linux/key.h"
  2873struct key_type;
  2874# 37 "include/linux/key.h"
  2875struct keyring_list;
  2876# 115 "include/linux/key.h"
  2877struct key_user;
  2878# 115 "include/linux/key.h"
  2879union __anonunion_ldv_24696_170 {
  2880   time_t expiry ;
  2881   time_t revoked_at ;
  2882};
  2883# 115 "include/linux/key.h"
  2884union __anonunion_type_data_171 {
  2885   struct list_head link ;
  2886   unsigned long x[2U] ;
  2887   void *p[2U] ;
  2888   int reject_error ;
  2889};
  2890# 115 "include/linux/key.h"
  2891union __anonunion_payload_172 {
  2892   unsigned long value ;
  2893   void *rcudata ;
  2894   void *data ;
  2895   struct keyring_list *subscriptions ;
  2896};
  2897# 115 "include/linux/key.h"
  2898struct key {
  2899   atomic_t usage ;
  2900   key_serial_t serial ;
  2901   struct rb_node serial_node ;
  2902   struct key_type *type ;
  2903   struct rw_semaphore sem ;
  2904   struct key_user *user ;
  2905   void *security ;
  2906   union __anonunion_ldv_24696_170 ldv_24696 ;
  2907   uid_t uid ;
  2908   gid_t gid ;
  2909   key_perm_t perm ;
  2910   unsigned short quotalen ;
  2911   unsigned short datalen ;
  2912   unsigned long flags ;
  2913   char *description ;
  2914   union __anonunion_type_data_171 type_data ;
  2915   union __anonunion_payload_172 payload ;
  2916};
  2917# 310 "include/linux/key.h"
  2918struct audit_context;
  2919# 27 "include/linux/selinux.h"
  2920struct group_info {
  2921   atomic_t usage ;
  2922   int ngroups ;
  2923   int nblocks ;
  2924   gid_t small_block[32U] ;
  2925   gid_t *blocks[0U] ;
  2926};
  2927# 77 "include/linux/cred.h"
  2928struct thread_group_cred {
  2929   atomic_t usage ;
  2930   pid_t tgid ;
  2931   spinlock_t lock ;
  2932   struct key *session_keyring ;
  2933   struct key *process_keyring ;
  2934   struct rcu_head rcu ;
  2935};
  2936# 91 "include/linux/cred.h"
  2937struct cred {
  2938   atomic_t usage ;
  2939   atomic_t subscribers ;
  2940   void *put_addr ;
  2941   unsigned int magic ;
  2942   uid_t uid ;
  2943   gid_t gid ;
  2944   uid_t suid ;
  2945   gid_t sgid ;
  2946   uid_t euid ;
  2947   gid_t egid ;
  2948   uid_t fsuid ;
  2949   gid_t fsgid ;
  2950   unsigned int securebits ;
  2951   kernel_cap_t cap_inheritable ;
  2952   kernel_cap_t cap_permitted ;
  2953   kernel_cap_t cap_effective ;
  2954   kernel_cap_t cap_bset ;
  2955   unsigned char jit_keyring ;
  2956   struct key *thread_keyring ;
  2957   struct key *request_key_auth ;
  2958   struct thread_group_cred *tgcred ;
  2959   void *security ;
  2960   struct user_struct *user ;
  2961   struct user_namespace *user_ns ;
  2962   struct group_info *group_info ;
  2963   struct rcu_head rcu ;
  2964};
  2965# 264 "include/linux/cred.h"
  2966struct futex_pi_state;
  2967# 265 "include/linux/cred.h"
  2968struct robust_list_head;
  2969# 266 "include/linux/cred.h"
  2970struct bio_list;
  2971# 267 "include/linux/cred.h"
  2972struct fs_struct;
  2973# 268 "include/linux/cred.h"
  2974struct perf_event_context;
  2975# 269 "include/linux/cred.h"
  2976struct blk_plug;
  2977# 149 "include/linux/sched.h"
  2978struct cfs_rq;
  2979# 383 "include/linux/sched.h"
  2980struct kioctx;
  2981# 384 "include/linux/sched.h"
  2982union __anonunion_ki_obj_173 {
  2983   void *user ;
  2984   struct task_struct *tsk ;
  2985};
  2986# 384 "include/linux/sched.h"
  2987struct eventfd_ctx;
  2988# 384 "include/linux/sched.h"
  2989struct kiocb {
  2990   struct list_head ki_run_list ;
  2991   unsigned long ki_flags ;
  2992   int ki_users ;
  2993   unsigned int ki_key ;
  2994   struct file *ki_filp ;
  2995   struct kioctx *ki_ctx ;
  2996   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
  2997   ssize_t (*ki_retry)(struct kiocb * ) ;
  2998   void (*ki_dtor)(struct kiocb * ) ;
  2999   union __anonunion_ki_obj_173 ki_obj ;
  3000   __u64 ki_user_data ;
  3001   loff_t ki_pos ;
  3002   void *private ;
  3003   unsigned short ki_opcode ;
  3004   size_t ki_nbytes ;
  3005   char *ki_buf ;
  3006   size_t ki_left ;
  3007   struct iovec ki_inline_vec ;
  3008   struct iovec *ki_iovec ;
  3009   unsigned long ki_nr_segs ;
  3010   unsigned long ki_cur_seg ;
  3011   struct list_head ki_list ;
  3012   struct eventfd_ctx *ki_eventfd ;
  3013};
  3014# 161 "include/linux/aio.h"
  3015struct aio_ring_info {
  3016   unsigned long mmap_base ;
  3017   unsigned long mmap_size ;
  3018   struct page **ring_pages ;
  3019   spinlock_t ring_lock ;
  3020   long nr_pages ;
  3021   unsigned int nr ;
  3022   unsigned int tail ;
  3023   struct page *internal_pages[8U] ;
  3024};
  3025# 177 "include/linux/aio.h"
  3026struct kioctx {
  3027   atomic_t users ;
  3028   int dead ;
  3029   struct mm_struct *mm ;
  3030   unsigned long user_id ;
  3031   struct hlist_node list ;
  3032   wait_queue_head_t wait ;
  3033   spinlock_t ctx_lock ;
  3034   int reqs_active ;
  3035   struct list_head active_reqs ;
  3036   struct list_head run_list ;
  3037   unsigned int max_reqs ;
  3038   struct aio_ring_info ring_info ;
  3039   struct delayed_work wq ;
  3040   struct rcu_head rcu_head ;
  3041};
  3042# 404 "include/linux/sched.h"
  3043struct sighand_struct {
  3044   atomic_t count ;
  3045   struct k_sigaction action[64U] ;
  3046   spinlock_t siglock ;
  3047   wait_queue_head_t signalfd_wqh ;
  3048};
  3049# 447 "include/linux/sched.h"
  3050struct pacct_struct {
  3051   int ac_flag ;
  3052   long ac_exitcode ;
  3053   unsigned long ac_mem ;
  3054   cputime_t ac_utime ;
  3055   cputime_t ac_stime ;
  3056   unsigned long ac_minflt ;
  3057   unsigned long ac_majflt ;
  3058};
  3059# 455 "include/linux/sched.h"
  3060struct cpu_itimer {
  3061   cputime_t expires ;
  3062   cputime_t incr ;
  3063   u32 error ;
  3064   u32 incr_error ;
  3065};
  3066# 462 "include/linux/sched.h"
  3067struct task_cputime {
  3068   cputime_t utime ;
  3069   cputime_t stime ;
  3070   unsigned long long sum_exec_runtime ;
  3071};
  3072# 479 "include/linux/sched.h"
  3073struct thread_group_cputimer {
  3074   struct task_cputime cputime ;
  3075   int running ;
  3076   spinlock_t lock ;
  3077};
  3078# 515 "include/linux/sched.h"
  3079struct autogroup;
  3080# 516 "include/linux/sched.h"
  3081struct tty_struct;
  3082# 516 "include/linux/sched.h"
  3083struct taskstats;
  3084# 516 "include/linux/sched.h"
  3085struct tty_audit_buf;
  3086# 516 "include/linux/sched.h"
  3087struct signal_struct {
  3088   atomic_t sigcnt ;
  3089   atomic_t live ;
  3090   int nr_threads ;
  3091   wait_queue_head_t wait_chldexit ;
  3092   struct task_struct *curr_target ;
  3093   struct sigpending shared_pending ;
  3094   int group_exit_code ;
  3095   int notify_count ;
  3096   struct task_struct *group_exit_task ;
  3097   int group_stop_count ;
  3098   unsigned int flags ;
  3099   struct list_head posix_timers ;
  3100   struct hrtimer real_timer ;
  3101   struct pid *leader_pid ;
  3102   ktime_t it_real_incr ;
  3103   struct cpu_itimer it[2U] ;
  3104   struct thread_group_cputimer cputimer ;
  3105   struct task_cputime cputime_expires ;
  3106   struct list_head cpu_timers[3U] ;
  3107   struct pid *tty_old_pgrp ;
  3108   int leader ;
  3109   struct tty_struct *tty ;
  3110   struct autogroup *autogroup ;
  3111   cputime_t utime ;
  3112   cputime_t stime ;
  3113   cputime_t cutime ;
  3114   cputime_t cstime ;
  3115   cputime_t gtime ;
  3116   cputime_t cgtime ;
  3117   cputime_t prev_utime ;
  3118   cputime_t prev_stime ;
  3119   unsigned long nvcsw ;
  3120   unsigned long nivcsw ;
  3121   unsigned long cnvcsw ;
  3122   unsigned long cnivcsw ;
  3123   unsigned long min_flt ;
  3124   unsigned long maj_flt ;
  3125   unsigned long cmin_flt ;
  3126   unsigned long cmaj_flt ;
  3127   unsigned long inblock ;
  3128   unsigned long oublock ;
  3129   unsigned long cinblock ;
  3130   unsigned long coublock ;
  3131   unsigned long maxrss ;
  3132   unsigned long cmaxrss ;
  3133   struct task_io_accounting ioac ;
  3134   unsigned long long sum_sched_runtime ;
  3135   struct rlimit rlim[16U] ;
  3136   struct pacct_struct pacct ;
  3137   struct taskstats *stats ;
  3138   unsigned int audit_tty ;
  3139   struct tty_audit_buf *tty_audit_buf ;
  3140   struct rw_semaphore threadgroup_fork_lock ;
  3141   int oom_adj ;
  3142   int oom_score_adj ;
  3143   int oom_score_adj_min ;
  3144   struct mutex cred_guard_mutex ;
  3145};
  3146# 683 "include/linux/sched.h"
  3147struct user_struct {
  3148   atomic_t __count ;
  3149   atomic_t processes ;
  3150   atomic_t files ;
  3151   atomic_t sigpending ;
  3152   atomic_t inotify_watches ;
  3153   atomic_t inotify_devs ;
  3154   atomic_t fanotify_listeners ;
  3155   atomic_long_t epoll_watches ;
  3156   unsigned long mq_bytes ;
  3157   unsigned long locked_shm ;
  3158   struct key *uid_keyring ;
  3159   struct key *session_keyring ;
  3160   struct hlist_node uidhash_node ;
  3161   uid_t uid ;
  3162   struct user_namespace *user_ns ;
  3163   atomic_long_t locked_vm ;
  3164};
  3165# 728 "include/linux/sched.h"
  3166struct reclaim_state;
  3167# 729 "include/linux/sched.h"
  3168struct sched_info {
  3169   unsigned long pcount ;
  3170   unsigned long long run_delay ;
  3171   unsigned long long last_arrival ;
  3172   unsigned long long last_queued ;
  3173};
  3174# 744 "include/linux/sched.h"
  3175struct task_delay_info {
  3176   spinlock_t lock ;
  3177   unsigned int flags ;
  3178   struct timespec blkio_start ;
  3179   struct timespec blkio_end ;
  3180   u64 blkio_delay ;
  3181   u64 swapin_delay ;
  3182   u32 blkio_count ;
  3183   u32 swapin_count ;
  3184   struct timespec freepages_start ;
  3185   struct timespec freepages_end ;
  3186   u64 freepages_delay ;
  3187   u32 freepages_count ;
  3188};
  3189# 1037 "include/linux/sched.h"
  3190struct io_context;
  3191# 1060 "include/linux/sched.h"
  3192struct rq;
  3193# 1061 "include/linux/sched.h"
  3194struct sched_class {
  3195   struct sched_class const *next ;
  3196   void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
  3197   void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
  3198   void (*yield_task)(struct rq * ) ;
  3199   bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
  3200   void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
  3201   struct task_struct *(*pick_next_task)(struct rq * ) ;
  3202   void (*put_prev_task)(struct rq * , struct task_struct * ) ;
  3203   int (*select_task_rq)(struct task_struct * , int , int ) ;
  3204   void (*pre_schedule)(struct rq * , struct task_struct * ) ;
  3205   void (*post_schedule)(struct rq * ) ;
  3206   void (*task_waking)(struct task_struct * ) ;
  3207   void (*task_woken)(struct rq * , struct task_struct * ) ;
  3208   void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
  3209   void (*rq_online)(struct rq * ) ;
  3210   void (*rq_offline)(struct rq * ) ;
  3211   void (*set_curr_task)(struct rq * ) ;
  3212   void (*task_tick)(struct rq * , struct task_struct * , int ) ;
  3213   void (*task_fork)(struct task_struct * ) ;
  3214   void (*switched_from)(struct rq * , struct task_struct * ) ;
  3215   void (*switched_to)(struct rq * , struct task_struct * ) ;
  3216   void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
  3217   unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
  3218   void (*task_move_group)(struct task_struct * , int ) ;
  3219};
  3220# 1127 "include/linux/sched.h"
  3221struct load_weight {
  3222   unsigned long weight ;
  3223   unsigned long inv_weight ;
  3224};
  3225# 1132 "include/linux/sched.h"
  3226struct sched_statistics {
  3227   u64 wait_start ;
  3228   u64 wait_max ;
  3229   u64 wait_count ;
  3230   u64 wait_sum ;
  3231   u64 iowait_count ;
  3232   u64 iowait_sum ;
  3233   u64 sleep_start ;
  3234   u64 sleep_max ;
  3235   s64 sum_sleep_runtime ;
  3236   u64 block_start ;
  3237   u64 block_max ;
  3238   u64 exec_max ;
  3239   u64 slice_max ;
  3240   u64 nr_migrations_cold ;
  3241   u64 nr_failed_migrations_affine ;
  3242   u64 nr_failed_migrations_running ;
  3243   u64 nr_failed_migrations_hot ;
  3244   u64 nr_forced_migrations ;
  3245   u64 nr_wakeups ;
  3246   u64 nr_wakeups_sync ;
  3247   u64 nr_wakeups_migrate ;
  3248   u64 nr_wakeups_local ;
  3249   u64 nr_wakeups_remote ;
  3250   u64 nr_wakeups_affine ;
  3251   u64 nr_wakeups_affine_attempts ;
  3252   u64 nr_wakeups_passive ;
  3253   u64 nr_wakeups_idle ;
  3254};
  3255# 1167 "include/linux/sched.h"
  3256struct sched_entity {
  3257   struct load_weight load ;
  3258   struct rb_node run_node ;
  3259   struct list_head group_node ;
  3260   unsigned int on_rq ;
  3261   u64 exec_start ;
  3262   u64 sum_exec_runtime ;
  3263   u64 vruntime ;
  3264   u64 prev_sum_exec_runtime ;
  3265   u64 nr_migrations ;
  3266   struct sched_statistics statistics ;
  3267   struct sched_entity *parent ;
  3268   struct cfs_rq *cfs_rq ;
  3269   struct cfs_rq *my_q ;
  3270};
  3271# 1193 "include/linux/sched.h"
  3272struct rt_rq;
  3273# 1193 "include/linux/sched.h"
  3274struct sched_rt_entity {
  3275   struct list_head run_list ;
  3276   unsigned long timeout ;
  3277   unsigned int time_slice ;
  3278   int nr_cpus_allowed ;
  3279   struct sched_rt_entity *back ;
  3280   struct sched_rt_entity *parent ;
  3281   struct rt_rq *rt_rq ;
  3282   struct rt_rq *my_q ;
  3283};
  3284# 1217 "include/linux/sched.h"
  3285struct mem_cgroup;
  3286# 1217 "include/linux/sched.h"
  3287struct memcg_batch_info {
  3288   int do_batch ;
  3289   struct mem_cgroup *memcg ;
  3290   unsigned long nr_pages ;
  3291   unsigned long memsw_nr_pages ;
  3292};
  3293# 1569 "include/linux/sched.h"
  3294struct irqaction;
  3295# 1569 "include/linux/sched.h"
  3296struct css_set;
  3297# 1569 "include/linux/sched.h"
  3298struct compat_robust_list_head;
  3299# 1569 "include/linux/sched.h"
  3300struct ftrace_ret_stack;
  3301# 1569 "include/linux/sched.h"
  3302struct task_struct {
  3303   long volatile state ;
  3304   void *stack ;
  3305   atomic_t usage ;
  3306   unsigned int flags ;
  3307   unsigned int ptrace ;
  3308   struct task_struct *wake_entry ;
  3309   int on_cpu ;
  3310   int on_rq ;
  3311   int prio ;
  3312   int static_prio ;
  3313   int normal_prio ;
  3314   unsigned int rt_priority ;
  3315   struct sched_class const *sched_class ;
  3316   struct sched_entity se ;
  3317   struct sched_rt_entity rt ;
  3318   struct hlist_head preempt_notifiers ;
  3319   unsigned char fpu_counter ;
  3320   unsigned int btrace_seq ;
  3321   unsigned int policy ;
  3322   cpumask_t cpus_allowed ;
  3323   struct sched_info sched_info ;
  3324   struct list_head tasks ;
  3325   struct plist_node pushable_tasks ;
  3326   struct mm_struct *mm ;
  3327   struct mm_struct *active_mm ;
  3328   unsigned char brk_randomized : 1 ;
  3329   int exit_state ;
  3330   int exit_code ;
  3331   int exit_signal ;
  3332   int pdeath_signal ;
  3333   unsigned int group_stop ;
  3334   unsigned int personality ;
  3335   unsigned char did_exec : 1 ;
  3336   unsigned char in_execve : 1 ;
  3337   unsigned char in_iowait : 1 ;
  3338   unsigned char sched_reset_on_fork : 1 ;
  3339   unsigned char sched_contributes_to_load : 1 ;
  3340   pid_t pid ;
  3341   pid_t tgid ;
  3342   unsigned long stack_canary ;
  3343   struct task_struct *real_parent ;
  3344   struct task_struct *parent ;
  3345   struct list_head children ;
  3346   struct list_head sibling ;
  3347   struct task_struct *group_leader ;
  3348   struct list_head ptraced ;
  3349   struct list_head ptrace_entry ;
  3350   struct pid_link pids[3U] ;
  3351   struct list_head thread_group ;
  3352   struct completion *vfork_done ;
  3353   int *set_child_tid ;
  3354   int *clear_child_tid ;
  3355   cputime_t utime ;
  3356   cputime_t stime ;
  3357   cputime_t utimescaled ;
  3358   cputime_t stimescaled ;
  3359   cputime_t gtime ;
  3360   cputime_t prev_utime ;
  3361   cputime_t prev_stime ;
  3362   unsigned long nvcsw ;
  3363   unsigned long nivcsw ;
  3364   struct timespec start_time ;
  3365   struct timespec real_start_time ;
  3366   unsigned long min_flt ;
  3367   unsigned long maj_flt ;
  3368   struct task_cputime cputime_expires ;
  3369   struct list_head cpu_timers[3U] ;
  3370   struct cred const *real_cred ;
  3371   struct cred const *cred ;
  3372   struct cred *replacement_session_keyring ;
  3373   char comm[16U] ;
  3374   int link_count ;
  3375   int total_link_count ;
  3376   struct sysv_sem sysvsem ;
  3377   unsigned long last_switch_count ;
  3378   struct thread_struct thread ;
  3379   struct fs_struct *fs ;
  3380   struct files_struct *files ;
  3381   struct nsproxy *nsproxy ;
  3382   struct signal_struct *signal ;
  3383   struct sighand_struct *sighand ;
  3384   sigset_t blocked ;
  3385   sigset_t real_blocked ;
  3386   sigset_t saved_sigmask ;
  3387   struct sigpending pending ;
  3388   unsigned long sas_ss_sp ;
  3389   size_t sas_ss_size ;
  3390   int (*notifier)(void * ) ;
  3391   void *notifier_data ;
  3392   sigset_t *notifier_mask ;
  3393   struct audit_context *audit_context ;
  3394   uid_t loginuid ;
  3395   unsigned int sessionid ;
  3396   seccomp_t seccomp ;
  3397   u32 parent_exec_id ;
  3398   u32 self_exec_id ;
  3399   spinlock_t alloc_lock ;
  3400   struct irqaction *irqaction ;
  3401   raw_spinlock_t pi_lock ;
  3402   struct plist_head pi_waiters ;
  3403   struct rt_mutex_waiter *pi_blocked_on ;
  3404   struct mutex_waiter *blocked_on ;
  3405   unsigned int irq_events ;
  3406   unsigned long hardirq_enable_ip ;
  3407   unsigned long hardirq_disable_ip ;
  3408   unsigned int hardirq_enable_event ;
  3409   unsigned int hardirq_disable_event ;
  3410   int hardirqs_enabled ;
  3411   int hardirq_context ;
  3412   unsigned long softirq_disable_ip ;
  3413   unsigned long softirq_enable_ip ;
  3414   unsigned int softirq_disable_event ;
  3415   unsigned int softirq_enable_event ;
  3416   int softirqs_enabled ;
  3417   int softirq_context ;
  3418   u64 curr_chain_key ;
  3419   int lockdep_depth ;
  3420   unsigned int lockdep_recursion ;
  3421   struct held_lock held_locks[48U] ;
  3422   gfp_t lockdep_reclaim_gfp ;
  3423   void *journal_info ;
  3424   struct bio_list *bio_list ;
  3425   struct blk_plug *plug ;
  3426   struct reclaim_state *reclaim_state ;
  3427   struct backing_dev_info *backing_dev_info ;
  3428   struct io_context *io_context ;
  3429   unsigned long ptrace_message ;
  3430   siginfo_t *last_siginfo ;
  3431   struct task_io_accounting ioac ;
  3432   u64 acct_rss_mem1 ;
  3433   u64 acct_vm_mem1 ;
  3434   cputime_t acct_timexpd ;
  3435   nodemask_t mems_allowed ;
  3436   int mems_allowed_change_disable ;
  3437   int cpuset_mem_spread_rotor ;
  3438   int cpuset_slab_spread_rotor ;
  3439   struct css_set *cgroups ;
  3440   struct list_head cg_list ;
  3441   struct robust_list_head *robust_list ;
  3442   struct compat_robust_list_head *compat_robust_list ;
  3443   struct list_head pi_state_list ;
  3444   struct futex_pi_state *pi_state_cache ;
  3445   struct perf_event_context *perf_event_ctxp[2U] ;
  3446   struct mutex perf_event_mutex ;
  3447   struct list_head perf_event_list ;
  3448   struct mempolicy *mempolicy ;
  3449   short il_next ;
  3450   short pref_node_fork ;
  3451   atomic_t fs_excl ;
  3452   struct rcu_head rcu ;
  3453   struct pipe_inode_info *splice_pipe ;
  3454   struct task_delay_info *delays ;
  3455   int make_it_fail ;
  3456   struct prop_local_single dirties ;
  3457   int latency_record_count ;
  3458   struct latency_record latency_record[32U] ;
  3459   unsigned long timer_slack_ns ;
  3460   unsigned long default_timer_slack_ns ;
  3461   struct list_head *scm_work_list ;
  3462   int curr_ret_stack ;
  3463   struct ftrace_ret_stack *ret_stack ;
  3464   unsigned long long ftrace_timestamp ;
  3465   atomic_t trace_overrun ;
  3466   atomic_t tracing_graph_pause ;
  3467   unsigned long trace ;
  3468   unsigned long trace_recursion ;
  3469   struct memcg_batch_info memcg_batch ;
  3470   atomic_t ptrace_bp_refcnt ;
  3471};
  3472# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
  3473typedef s32 compat_time_t;
  3474# 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
  3475typedef s32 compat_long_t;
  3476# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
  3477struct compat_timespec {
  3478   compat_time_t tv_sec ;
  3479   s32 tv_nsec ;
  3480};
  3481# 196 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
  3482typedef u32 compat_uptr_t;
  3483# 205 "include/linux/compat.h"
  3484struct compat_robust_list {
  3485   compat_uptr_t next ;
  3486};
  3487# 209 "include/linux/compat.h"
  3488struct compat_robust_list_head {
  3489   struct compat_robust_list list ;
  3490   compat_long_t futex_offset ;
  3491   compat_uptr_t list_op_pending ;
  3492};
  3493# 187 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mtrr.h"
  3494enum chipset_type {
  3495    NOT_SUPPORTED = 0,
  3496    SUPPORTED = 1
  3497} ;
  3498# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mtrr.h"
  3499struct agp_version {
  3500   u16 major ;
  3501   u16 minor ;
  3502};
  3503# 44 "include/linux/agp_backend.h"
  3504struct agp_kern_info {
  3505   struct agp_version version ;
  3506   struct pci_dev *device ;
  3507   enum chipset_type chipset ;
  3508   unsigned long mode ;
  3509   unsigned long aper_base ;
  3510   size_t aper_size ;
  3511   int max_memory ;
  3512   int current_memory ;
  3513   bool cant_use_aperture ;
  3514   unsigned long page_mask ;
  3515   struct vm_operations_struct const *vm_ops ;
  3516};
  3517# 58 "include/linux/agp_backend.h"
  3518struct agp_bridge_data;
  3519# 108 "include/linux/agp_backend.h"
  3520struct pollfd {
  3521   int fd ;
  3522   short events ;
  3523   short revents ;
  3524};
  3525# 34 "include/linux/poll.h"
  3526struct poll_table_struct {
  3527   void (*qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
  3528   unsigned long key ;
  3529};
  3530# 74 "include/drm/drm.h"
  3531typedef unsigned int drm_magic_t;
  3532# 75 "include/drm/drm.h"
  3533struct drm_clip_rect {
  3534   unsigned short x1 ;
  3535   unsigned short y1 ;
  3536   unsigned short x2 ;
  3537   unsigned short y2 ;
  3538};
  3539# 110 "include/drm/drm.h"
  3540struct drm_hw_lock {
  3541   unsigned int volatile lock ;
  3542   char padding[60U] ;
  3543};
  3544# 139 "include/drm/drm.h"
  3545struct drm_unique {
  3546   size_t unique_len ;
  3547   char *unique ;
  3548};
  3549# 173 "include/drm/drm.h"
  3550enum drm_map_type {
  3551    _DRM_FRAME_BUFFER = 0,
  3552    _DRM_REGISTERS = 1,
  3553    _DRM_SHM = 2,
  3554    _DRM_AGP = 3,
  3555    _DRM_SCATTER_GATHER = 4,
  3556    _DRM_CONSISTENT = 5,
  3557    _DRM_GEM = 6
  3558} ;
  3559# 183 "include/drm/drm.h"
  3560enum drm_map_flags {
  3561    _DRM_RESTRICTED = 1,
  3562    _DRM_READ_ONLY = 2,
  3563    _DRM_LOCKED = 4,
  3564    _DRM_KERNEL = 8,
  3565    _DRM_WRITE_COMBINING = 16,
  3566    _DRM_CONTAINS_LOCK = 32,
  3567    _DRM_REMOVABLE = 64,
  3568    _DRM_DRIVER = 128
  3569} ;
  3570# 234 "include/drm/drm.h"
  3571enum drm_stat_type {
  3572    _DRM_STAT_LOCK = 0,
  3573    _DRM_STAT_OPENS = 1,
  3574    _DRM_STAT_CLOSES = 2,
  3575    _DRM_STAT_IOCTLS = 3,
  3576    _DRM_STAT_LOCKS = 4,
  3577    _DRM_STAT_UNLOCKS = 5,
  3578    _DRM_STAT_VALUE = 6,
  3579    _DRM_STAT_BYTE = 7,
  3580    _DRM_STAT_COUNT = 8,
  3581    _DRM_STAT_IRQ = 9,
  3582    _DRM_STAT_PRIMARY = 10,
  3583    _DRM_STAT_SECONDARY = 11,
  3584    _DRM_STAT_DMA = 12,
  3585    _DRM_STAT_SPECIAL = 13,
  3586    _DRM_STAT_MISSED = 14
  3587} ;
  3588# 399 "include/drm/drm.h"
  3589enum drm_ctx_flags {
  3590    _DRM_CONTEXT_PRESERVED = 1,
  3591    _DRM_CONTEXT_2DONLY = 2
  3592} ;
  3593# 450 "include/drm/drm.h"
  3594struct drm_irq_busid {
  3595   int irq ;
  3596   int busnum ;
  3597   int devnum ;
  3598   int funcnum ;
  3599};
  3600# 575 "include/drm/drm.h"
  3601struct drm_set_version {
  3602   int drm_di_major ;
  3603   int drm_di_minor ;
  3604   int drm_dd_major ;
  3605   int drm_dd_minor ;
  3606};
  3607# 221 "include/drm/drm_mode.h"
  3608struct drm_mode_fb_cmd {
  3609   __u32 fb_id ;
  3610   __u32 width ;
  3611   __u32 height ;
  3612   __u32 pitch ;
  3613   __u32 bpp ;
  3614   __u32 depth ;
  3615   __u32 handle ;
  3616};
  3617# 346 "include/drm/drm_mode.h"
  3618struct drm_mode_create_dumb {
  3619   uint32_t height ;
  3620   uint32_t width ;
  3621   uint32_t bpp ;
  3622   uint32_t flags ;
  3623   uint32_t handle ;
  3624   uint32_t pitch ;
  3625   uint64_t size ;
  3626};
  3627# 375 "include/drm/drm_mode.h"
  3628struct drm_event {
  3629   __u32 type ;
  3630   __u32 length ;
  3631};
  3632# 745 "include/drm/drm.h"
  3633struct drm_event_vblank {
  3634   struct drm_event base ;
  3635   __u64 user_data ;
  3636   __u32 tv_sec ;
  3637   __u32 tv_usec ;
  3638   __u32 sequence ;
  3639   __u32 reserved ;
  3640};
  3641# 757 "include/drm/drm.h"
  3642struct idr_layer {
  3643   unsigned long bitmap ;
  3644   struct idr_layer *ary[64U] ;
  3645   int count ;
  3646   int layer ;
  3647   struct rcu_head rcu_head ;
  3648};
  3649# 58 "include/linux/idr.h"
  3650struct idr {
  3651   struct idr_layer *top ;
  3652   struct idr_layer *id_free ;
  3653   int layers ;
  3654   int id_free_cnt ;
  3655   spinlock_t lock ;
  3656};
  3657# 150 "include/linux/idr.h"
  3658struct drm_file;
  3659# 151 "include/linux/idr.h"
  3660struct drm_device;
  3661# 91 "include/linux/interrupt.h"
  3662struct irqaction {
  3663   irqreturn_t (*handler)(int , void * ) ;
  3664   unsigned long flags ;
  3665   void *dev_id ;
  3666   struct irqaction *next ;
  3667   int irq ;
  3668   irqreturn_t (*thread_fn)(int , void * ) ;
  3669   struct task_struct *thread ;
  3670   unsigned long thread_flags ;
  3671   unsigned long thread_mask ;
  3672   char const *name ;
  3673   struct proc_dir_entry *dir ;
  3674};
  3675# 54 "include/linux/delay.h"
  3676struct drm_hash_item {
  3677   struct hlist_node head ;
  3678   unsigned long key ;
  3679};
  3680# 46 "include/drm/drm_hashtab.h"
  3681struct drm_open_hash {
  3682   struct hlist_head *table ;
  3683   u8 order ;
  3684};
  3685# 63 "include/drm/drm_hashtab.h"
  3686struct seq_file {
  3687   char *buf ;
  3688   size_t size ;
  3689   size_t from ;
  3690   size_t count ;
  3691   loff_t index ;
  3692   loff_t read_pos ;
  3693   u64 version ;
  3694   struct mutex lock ;
  3695   struct seq_operations const *op ;
  3696   void *private ;
  3697};
  3698# 28 "include/linux/seq_file.h"
  3699struct seq_operations {
  3700   void *(*start)(struct seq_file * , loff_t * ) ;
  3701   void (*stop)(struct seq_file * , void * ) ;
  3702   void *(*next)(struct seq_file * , void * , loff_t * ) ;
  3703   int (*show)(struct seq_file * , void * ) ;
  3704};
  3705# 154 "include/linux/seq_file.h"
  3706struct drm_mm;
  3707# 154 "include/linux/seq_file.h"
  3708struct drm_mm_node {
  3709   struct list_head node_list ;
  3710   struct list_head hole_stack ;
  3711   unsigned char hole_follows : 1 ;
  3712   unsigned char scanned_block : 1 ;
  3713   unsigned char scanned_prev_free : 1 ;
  3714   unsigned char scanned_next_free : 1 ;
  3715   unsigned char scanned_preceeds_hole : 1 ;
  3716   unsigned char allocated : 1 ;
  3717   unsigned long start ;
  3718   unsigned long size ;
  3719   struct drm_mm *mm ;
  3720};
  3721# 57 "include/drm/drm_mm.h"
  3722struct drm_mm {
  3723   struct list_head hole_stack ;
  3724   struct drm_mm_node head_node ;
  3725   struct list_head unused_nodes ;
  3726   int num_unused ;
  3727   spinlock_t unused_lock ;
  3728   unsigned char scan_check_range : 1 ;
  3729   unsigned int scan_alignment ;
  3730   unsigned long scan_size ;
  3731   unsigned long scan_hit_start ;
  3732   unsigned int scan_hit_size ;
  3733   unsigned int scanned_blocks ;
  3734   unsigned long scan_start ;
  3735   unsigned long scan_end ;
  3736   struct drm_mm_node *prev_scanned_node ;
  3737};
  3738# 286 "include/drm/drmP.h"
  3739typedef int drm_ioctl_t(struct drm_device * , void * , struct drm_file * );
  3740# 290 "include/drm/drmP.h"
  3741struct drm_ioctl_desc {
  3742   unsigned int cmd ;
  3743   int flags ;
  3744   drm_ioctl_t *func ;
  3745   unsigned int cmd_drv ;
  3746};
  3747# 327 "include/drm/drmP.h"
  3748enum ldv_22760 {
  3749    DRM_LIST_NONE = 0,
  3750    DRM_LIST_FREE = 1,
  3751    DRM_LIST_WAIT = 2,
  3752    DRM_LIST_PEND = 3,
  3753    DRM_LIST_PRIO = 4,
  3754    DRM_LIST_RECLAIM = 5
  3755} ;
  3756# 336 "include/drm/drmP.h"
  3757struct drm_buf {
  3758   int idx ;
  3759   int total ;
  3760   int order ;
  3761   int used ;
  3762   unsigned long offset ;
  3763   void *address ;
  3764   unsigned long bus_address ;
  3765   struct drm_buf *next ;
  3766   int volatile waiting ;
  3767   int volatile pending ;
  3768   wait_queue_head_t dma_wait ;
  3769   struct drm_file *file_priv ;
  3770   int context ;
  3771   int while_locked ;
  3772   enum ldv_22760 list ;
  3773   int dev_priv_size ;
  3774   void *dev_private ;
  3775};
  3776# 358 "include/drm/drmP.h"
  3777struct drm_waitlist {
  3778   int count ;
  3779   struct drm_buf **bufs ;
  3780   struct drm_buf **rp ;
  3781   struct drm_buf **wp ;
  3782   struct drm_buf **end ;
  3783   spinlock_t read_lock ;
  3784   spinlock_t write_lock ;
  3785};
  3786# 369 "include/drm/drmP.h"
  3787struct drm_freelist {
  3788   int initialized ;
  3789   atomic_t count ;
  3790   struct drm_buf *next ;
  3791   wait_queue_head_t waiting ;
  3792   int low_mark ;
  3793   int high_mark ;
  3794   atomic_t wfh ;
  3795   spinlock_t lock ;
  3796};
  3797# 381 "include/drm/drmP.h"
  3798struct drm_dma_handle {
  3799   dma_addr_t busaddr ;
  3800   void *vaddr ;
  3801   size_t size ;
  3802};
  3803# 386 "include/drm/drmP.h"
  3804typedef struct drm_dma_handle drm_dma_handle_t;
  3805# 387 "include/drm/drmP.h"
  3806struct drm_buf_entry {
  3807   int buf_size ;
  3808   int buf_count ;
  3809   struct drm_buf *buflist ;
  3810   int seg_count ;
  3811   int page_order ;
  3812   struct drm_dma_handle **seglist ;
  3813   struct drm_freelist freelist ;
  3814};
  3815# 401 "include/drm/drmP.h"
  3816struct drm_pending_event {
  3817   struct drm_event *event ;
  3818   struct list_head link ;
  3819   struct drm_file *file_priv ;
  3820   pid_t pid ;
  3821   void (*destroy)(struct drm_pending_event * ) ;
  3822};
  3823# 411 "include/drm/drmP.h"
  3824struct drm_minor;
  3825# 411 "include/drm/drmP.h"
  3826struct drm_master;
  3827# 411 "include/drm/drmP.h"
  3828struct drm_file {
  3829   int authenticated ;
  3830   pid_t pid ;
  3831   uid_t uid ;
  3832   drm_magic_t magic ;
  3833   unsigned long ioctl_count ;
  3834   struct list_head lhead ;
  3835   struct drm_minor *minor ;
  3836   unsigned long lock_count ;
  3837   struct idr object_idr ;
  3838   spinlock_t table_lock ;
  3839   struct file *filp ;
  3840   void *driver_priv ;
  3841   int is_master ;
  3842   struct drm_master *master ;
  3843   struct list_head fbs ;
  3844   wait_queue_head_t event_wait ;
  3845   struct list_head event_list ;
  3846   int event_space ;
  3847};
  3848# 440 "include/drm/drmP.h"
  3849struct drm_queue {
  3850   atomic_t use_count ;
  3851   atomic_t finalization ;
  3852   atomic_t block_count ;
  3853   atomic_t block_read ;
  3854   wait_queue_head_t read_queue ;
  3855   atomic_t block_write ;
  3856   wait_queue_head_t write_queue ;
  3857   atomic_t total_queued ;
  3858   atomic_t total_flushed ;
  3859   atomic_t total_locks ;
  3860   enum drm_ctx_flags flags ;
  3861   struct drm_waitlist waitlist ;
  3862   wait_queue_head_t flush_queue ;
  3863};
  3864# 457 "include/drm/drmP.h"
  3865struct drm_lock_data {
  3866   struct drm_hw_lock *hw_lock ;
  3867   struct drm_file *file_priv ;
  3868   wait_queue_head_t lock_queue ;
  3869   unsigned long lock_time ;
  3870   spinlock_t spinlock ;
  3871   uint32_t kernel_waiters ;
  3872   uint32_t user_waiters ;
  3873   int idle_has_lock ;
  3874};
  3875# 472 "include/drm/drmP.h"
  3876enum ldv_22785 {
  3877    _DRM_DMA_USE_AGP = 1,
  3878    _DRM_DMA_USE_SG = 2,
  3879    _DRM_DMA_USE_FB = 4,
  3880    _DRM_DMA_USE_PCI_RO = 8
  3881} ;
  3882# 479 "include/drm/drmP.h"
  3883struct drm_device_dma {
  3884   struct drm_buf_entry bufs[23U] ;
  3885   int buf_count ;
  3886   struct drm_buf **buflist ;
  3887   int seg_count ;
  3888   int page_count ;
  3889   unsigned long *pagelist ;
  3890   unsigned long byte_count ;
  3891   enum ldv_22785 flags ;
  3892};
  3893# 504 "include/drm/drmP.h"
  3894struct drm_agp_head {
  3895   struct agp_kern_info agp_info ;
  3896   struct list_head memory ;
  3897   unsigned long mode ;
  3898   struct agp_bridge_data *bridge ;
  3899   int enabled ;
  3900   int acquired ;
  3901   unsigned long base ;
  3902   int agp_mtrr ;
  3903   int cant_use_aperture ;
  3904   unsigned long page_mask ;
  3905};
  3906# 522 "include/drm/drmP.h"
  3907struct drm_sg_mem {
  3908   unsigned long handle ;
  3909   void *virtual ;
  3910   int pages ;
  3911   struct page **pagelist ;
  3912   dma_addr_t *busaddr ;
  3913};
  3914# 533 "include/drm/drmP.h"
  3915struct drm_sigdata {
  3916   int context ;
  3917   struct drm_hw_lock *lock ;
  3918};
  3919# 538 "include/drm/drmP.h"
  3920struct drm_local_map {
  3921   resource_size_t offset ;
  3922   unsigned long size ;
  3923   enum drm_map_type type ;
  3924   enum drm_map_flags flags ;
  3925   void *handle ;
  3926   int mtrr ;
  3927};
  3928# 553 "include/drm/drmP.h"
  3929typedef struct drm_local_map drm_local_map_t;
  3930# 554 "include/drm/drmP.h"
  3931struct drm_map_list {
  3932   struct list_head head ;
  3933   struct drm_hash_item hash ;
  3934   struct drm_local_map *map ;
  3935   uint64_t user_token ;
  3936   struct drm_master *master ;
  3937   struct drm_mm_node *file_offset_node ;
  3938};
  3939# 602 "include/drm/drmP.h"
  3940struct drm_gem_object {
  3941   struct kref refcount ;
  3942   atomic_t handle_count ;
  3943   struct drm_device *dev ;
  3944   struct file *filp ;
  3945   struct drm_map_list map_list ;
  3946   size_t size ;
  3947   int name ;
  3948   uint32_t read_domains ;
  3949   uint32_t write_domain ;
  3950   uint32_t pending_read_domains ;
  3951   uint32_t pending_write_domain ;
  3952   void *driver_private ;
  3953};
  3954# 26 "include/linux/of.h"
  3955typedef u32 phandle;
  3956# 28 "include/linux/of.h"
  3957struct property {
  3958   char *name ;
  3959   int length ;
  3960   void *value ;
  3961   struct property *next ;
  3962   unsigned long _flags ;
  3963   unsigned int unique_id ;
  3964};
  3965# 37 "include/linux/of.h"
  3966struct device_node {
  3967   char const *name ;
  3968   char const *type ;
  3969   phandle phandle ;
  3970   char *full_name ;
  3971   struct property *properties ;
  3972   struct property *deadprops ;
  3973   struct device_node *parent ;
  3974   struct device_node *child ;
  3975   struct device_node *sibling ;
  3976   struct device_node *next ;
  3977   struct device_node *allnext ;
  3978   struct proc_dir_entry *pde ;
  3979   struct kref kref ;
  3980   unsigned long _flags ;
  3981   void *data ;
  3982};
  3983# 40 "include/linux/i2c.h"
  3984struct i2c_msg;
  3985# 41 "include/linux/i2c.h"
  3986struct i2c_algorithm;
  3987# 42 "include/linux/i2c.h"
  3988struct i2c_adapter;
  3989# 45 "include/linux/i2c.h"
  3990union i2c_smbus_data;
  3991# 317 "include/linux/i2c.h"
  3992struct i2c_algorithm {
  3993   int (*master_xfer)(struct i2c_adapter * , struct i2c_msg * , int ) ;
  3994   int (*smbus_xfer)(struct i2c_adapter * , u16 , unsigned short , char , u8 ,
  3995                     int , union i2c_smbus_data * ) ;
  3996   u32 (*functionality)(struct i2c_adapter * ) ;
  3997};
  3998# 349 "include/linux/i2c.h"
  3999struct i2c_adapter {
  4000   struct module *owner ;
  4001   unsigned int class ;
  4002   struct i2c_algorithm const *algo ;
  4003   void *algo_data ;
  4004   struct rt_mutex bus_lock ;
  4005   int timeout ;
  4006   int retries ;
  4007   struct device dev ;
  4008   int nr ;
  4009   char name[48U] ;
  4010   struct completion dev_released ;
  4011   struct mutex userspace_clients_lock ;
  4012   struct list_head userspace_clients ;
  4013};
  4014# 471 "include/linux/i2c.h"
  4015struct i2c_msg {
  4016   __u16 addr ;
  4017   __u16 flags ;
  4018   __u16 len ;
  4019   __u8 *buf ;
  4020};
  4021# 523 "include/linux/i2c.h"
  4022union i2c_smbus_data {
  4023   __u8 byte ;
  4024   __u16 word ;
  4025   __u8 block[34U] ;
  4026};
  4027# 188 "include/linux/serial.h"
  4028struct serial_icounter_struct {
  4029   int cts ;
  4030   int dsr ;
  4031   int rng ;
  4032   int dcd ;
  4033   int rx ;
  4034   int tx ;
  4035   int frame ;
  4036   int overrun ;
  4037   int parity ;
  4038   int brk ;
  4039   int buf_overrun ;
  4040   int reserved[9U] ;
  4041};
  4042# 6 "include/asm-generic/termbits.h"
  4043typedef unsigned char cc_t;
  4044# 7 "include/asm-generic/termbits.h"
  4045typedef unsigned int speed_t;
  4046# 8 "include/asm-generic/termbits.h"
  4047typedef unsigned int tcflag_t;
  4048# 30 "include/asm-generic/termbits.h"
  4049struct ktermios {
  4050   tcflag_t c_iflag ;
  4051   tcflag_t c_oflag ;
  4052   tcflag_t c_cflag ;
  4053   tcflag_t c_lflag ;
  4054   cc_t c_line ;
  4055   cc_t c_cc[19U] ;
  4056   speed_t c_ispeed ;
  4057   speed_t c_ospeed ;
  4058};
  4059# 41 "include/asm-generic/termbits.h"
  4060struct winsize {
  4061   unsigned short ws_row ;
  4062   unsigned short ws_col ;
  4063   unsigned short ws_xpixel ;
  4064   unsigned short ws_ypixel ;
  4065};
  4066# 138 "include/asm-generic/termios.h"
  4067struct termiox {
  4068   __u16 x_hflag ;
  4069   __u16 x_cflag ;
  4070   __u16 x_rflag[5U] ;
  4071   __u16 x_sflag ;
  4072};
  4073# 16 "include/linux/termios.h"
  4074struct tty_operations {
  4075   struct tty_struct *(*lookup)(struct tty_driver * , struct inode * , int ) ;
  4076   int (*install)(struct tty_driver * , struct tty_struct * ) ;
  4077   void (*remove)(struct tty_driver * , struct tty_struct * ) ;
  4078   int (*open)(struct tty_struct * , struct file * ) ;
  4079   void (*close)(struct tty_struct * , struct file * ) ;
  4080   void (*shutdown)(struct tty_struct * ) ;
  4081   void (*cleanup)(struct tty_struct * ) ;
  4082   int (*write)(struct tty_struct * , unsigned char const * , int ) ;
  4083   int (*put_char)(struct tty_struct * , unsigned char ) ;
  4084   void (*flush_chars)(struct tty_struct * ) ;
  4085   int (*write_room)(struct tty_struct * ) ;
  4086   int (*chars_in_buffer)(struct tty_struct * ) ;
  4087   int (*ioctl)(struct tty_struct * , unsigned int , unsigned long ) ;
  4088   long (*compat_ioctl)(struct tty_struct * , unsigned int , unsigned long ) ;
  4089   void (*set_termios)(struct tty_struct * , struct ktermios * ) ;
  4090   void (*throttle)(struct tty_struct * ) ;
  4091   void (*unthrottle)(struct tty_struct * ) ;
  4092   void (*stop)(struct tty_struct * ) ;
  4093   void (*start)(struct tty_struct * ) ;
  4094   void (*hangup)(struct tty_struct * ) ;
  4095   int (*break_ctl)(struct tty_struct * , int ) ;
  4096   void (*flush_buffer)(struct tty_struct * ) ;
  4097   void (*set_ldisc)(struct tty_struct * ) ;
  4098   void (*wait_until_sent)(struct tty_struct * , int ) ;
  4099   void (*send_xchar)(struct tty_struct * , char ) ;
  4100   int (*tiocmget)(struct tty_struct * ) ;
  4101   int (*tiocmset)(struct tty_struct * , unsigned int , unsigned int ) ;
  4102   int (*resize)(struct tty_struct * , struct winsize * ) ;
  4103   int (*set_termiox)(struct tty_struct * , struct termiox * ) ;
  4104   int (*get_icount)(struct tty_struct * , struct serial_icounter_struct * ) ;
  4105   int (*poll_init)(struct tty_driver * , int , char * ) ;
  4106   int (*poll_get_char)(struct tty_driver * , int ) ;
  4107   void (*poll_put_char)(struct tty_driver * , int , char ) ;
  4108   struct file_operations const *proc_fops ;
  4109};
  4110# 287 "include/linux/tty_driver.h"
  4111struct tty_driver {
  4112   int magic ;
  4113   struct kref kref ;
  4114   struct cdev cdev ;
  4115   struct module *owner ;
  4116   char const *driver_name ;
  4117   char const *name ;
  4118   int name_base ;
  4119   int major ;
  4120   int minor_start ;
  4121   int minor_num ;
  4122   int num ;
  4123   short type ;
  4124   short subtype ;
  4125   struct ktermios init_termios ;
  4126   int flags ;
  4127   struct proc_dir_entry *proc_entry ;
  4128   struct tty_driver *other ;
  4129   struct tty_struct **ttys ;
  4130   struct ktermios **termios ;
  4131   struct ktermios **termios_locked ;
  4132   void *driver_state ;
  4133   struct tty_operations const *ops ;
  4134   struct list_head tty_drivers ;
  4135};
  4136# 48 "include/linux/pps_kernel.h"
  4137struct pps_event_time {
  4138   struct timespec ts_real ;
  4139};
  4140# 116 "include/linux/pps_kernel.h"
  4141struct tty_ldisc_ops {
  4142   int magic ;
  4143   char *name ;
  4144   int num ;
  4145   int flags ;
  4146   int (*open)(struct tty_struct * ) ;
  4147   void (*close)(struct tty_struct * ) ;
  4148   void (*flush_buffer)(struct tty_struct * ) ;
  4149   ssize_t (*chars_in_buffer)(struct tty_struct * ) ;
  4150   ssize_t (*read)(struct tty_struct * , struct file * , unsigned char * , size_t ) ;
  4151   ssize_t (*write)(struct tty_struct * , struct file * , unsigned char const * ,
  4152                    size_t ) ;
  4153   int (*ioctl)(struct tty_struct * , struct file * , unsigned int , unsigned long ) ;
  4154   long (*compat_ioctl)(struct tty_struct * , struct file * , unsigned int , unsigned long ) ;
  4155   void (*set_termios)(struct tty_struct * , struct ktermios * ) ;
  4156   unsigned int (*poll)(struct tty_struct * , struct file * , struct poll_table_struct * ) ;
  4157   int (*hangup)(struct tty_struct * ) ;
  4158   void (*receive_buf)(struct tty_struct * , unsigned char const * , char * , int ) ;
  4159   void (*write_wakeup)(struct tty_struct * ) ;
  4160   void (*dcd_change)(struct tty_struct * , unsigned int , struct pps_event_time * ) ;
  4161   struct module *owner ;
  4162   int refcount ;
  4163};
  4164# 153 "include/linux/tty_ldisc.h"
  4165struct tty_ldisc {
  4166   struct tty_ldisc_ops *ops ;
  4167   atomic_t users ;
  4168};
  4169# 158 "include/linux/tty_ldisc.h"
  4170struct tty_buffer {
  4171   struct tty_buffer *next ;
  4172   char *char_buf_ptr ;
  4173   unsigned char *flag_buf_ptr ;
  4174   int used ;
  4175   int size ;
  4176   int commit ;
  4177   int read ;
  4178   unsigned long data[0U] ;
  4179};
  4180# 74 "include/linux/tty.h"
  4181struct tty_bufhead {
  4182   struct work_struct work ;
  4183   spinlock_t lock ;
  4184   struct tty_buffer *head ;
  4185   struct tty_buffer *tail ;
  4186   struct tty_buffer *free ;
  4187   int memory_used ;
  4188};
  4189# 94 "include/linux/tty.h"
  4190struct tty_port;
  4191# 95 "include/linux/tty.h"
  4192struct tty_port_operations {
  4193   int (*carrier_raised)(struct tty_port * ) ;
  4194   void (*dtr_rts)(struct tty_port * , int ) ;
  4195   void (*shutdown)(struct tty_port * ) ;
  4196   void (*drop)(struct tty_port * ) ;
  4197   int (*activate)(struct tty_port * , struct tty_struct * ) ;
  4198   void (*destruct)(struct tty_port * ) ;
  4199};
  4200# 221 "include/linux/tty.h"
  4201struct tty_port {
  4202   struct tty_struct *tty ;
  4203   struct tty_port_operations const *ops ;
  4204   spinlock_t lock ;
  4205   int blocked_open ;
  4206   int count ;
  4207   wait_queue_head_t open_wait ;
  4208   wait_queue_head_t close_wait ;
  4209   wait_queue_head_t delta_msr_wait ;
  4210   unsigned long flags ;
  4211   unsigned char console : 1 ;
  4212   struct mutex mutex ;
  4213   struct mutex buf_mutex ;
  4214   unsigned char *xmit_buf ;
  4215   unsigned int close_delay ;
  4216   unsigned int closing_wait ;
  4217   int drain_delay ;
  4218   struct kref kref ;
  4219};
  4220# 243 "include/linux/tty.h"
  4221struct tty_struct {
  4222   int magic ;
  4223   struct kref kref ;
  4224   struct device *dev ;
  4225   struct tty_driver *driver ;
  4226   struct tty_operations const *ops ;
  4227   int index ;
  4228   struct mutex ldisc_mutex ;
  4229   struct tty_ldisc *ldisc ;
  4230   struct mutex termios_mutex ;
  4231   spinlock_t ctrl_lock ;
  4232   struct ktermios *termios ;
  4233   struct ktermios *termios_locked ;
  4234   struct termiox *termiox ;
  4235   char name[64U] ;
  4236   struct pid *pgrp ;
  4237   struct pid *session ;
  4238   unsigned long flags ;
  4239   int count ;
  4240   struct winsize winsize ;
  4241   unsigned char stopped : 1 ;
  4242   unsigned char hw_stopped : 1 ;
  4243   unsigned char flow_stopped : 1 ;
  4244   unsigned char packet : 1 ;
  4245   unsigned char low_latency : 1 ;
  4246   unsigned char warned : 1 ;
  4247   unsigned char ctrl_status ;
  4248   unsigned int receive_room ;
  4249   struct tty_struct *link ;
  4250   struct fasync_struct *fasync ;
  4251   struct tty_bufhead buf ;
  4252   int alt_speed ;
  4253   wait_queue_head_t write_wait ;
  4254   wait_queue_head_t read_wait ;
  4255   struct work_struct hangup_work ;
  4256   void *disc_data ;
  4257   void *driver_data ;
  4258   struct list_head tty_files ;
  4259   unsigned int column ;
  4260   unsigned char lnext : 1 ;
  4261   unsigned char erasing : 1 ;
  4262   unsigned char raw : 1 ;
  4263   unsigned char real_raw : 1 ;
  4264   unsigned char icanon : 1 ;
  4265   unsigned char closing : 1 ;
  4266   unsigned char echo_overrun : 1 ;
  4267   unsigned short minimum_to_wake ;
  4268   unsigned long overrun_time ;
  4269   int num_overrun ;
  4270   unsigned long process_char_map[4U] ;
  4271   char *read_buf ;
  4272   int read_head ;
  4273   int read_tail ;
  4274   int read_cnt ;
  4275   unsigned long read_flags[64U] ;
  4276   unsigned char *echo_buf ;
  4277   unsigned int echo_pos ;
  4278   unsigned int echo_cnt ;
  4279   int canon_data ;
  4280   unsigned long canon_head ;
  4281   unsigned int canon_column ;
  4282   struct mutex atomic_read_lock ;
  4283   struct mutex atomic_write_lock ;
  4284   struct mutex output_lock ;
  4285   struct mutex echo_lock ;
  4286   unsigned char *write_buf ;
  4287   int write_cnt ;
  4288   spinlock_t read_lock ;
  4289   struct work_struct SAK_work ;
  4290   struct tty_port *port ;
  4291};
  4292# 308 "include/linux/kgdb.h"
  4293struct fb_fix_screeninfo {
  4294   char id[16U] ;
  4295   unsigned long smem_start ;
  4296   __u32 smem_len ;
  4297   __u32 type ;
  4298   __u32 type_aux ;
  4299   __u32 visual ;
  4300   __u16 xpanstep ;
  4301   __u16 ypanstep ;
  4302   __u16 ywrapstep ;
  4303   __u32 line_length ;
  4304   unsigned long mmio_start ;
  4305   __u32 mmio_len ;
  4306   __u32 accel ;
  4307   __u16 reserved[3U] ;
  4308};
  4309# 176 "include/linux/fb.h"
  4310struct fb_bitfield {
  4311   __u32 offset ;
  4312   __u32 length ;
  4313   __u32 msb_right ;
  4314};
  4315# 192 "include/linux/fb.h"
  4316struct fb_var_screeninfo {
  4317   __u32 xres ;
  4318   __u32 yres ;
  4319   __u32 xres_virtual ;
  4320   __u32 yres_virtual ;
  4321   __u32 xoffset ;
  4322   __u32 yoffset ;
  4323   __u32 bits_per_pixel ;
  4324   __u32 grayscale ;
  4325   struct fb_bitfield red ;
  4326   struct fb_bitfield green ;
  4327   struct fb_bitfield blue ;
  4328   struct fb_bitfield transp ;
  4329   __u32 nonstd ;
  4330   __u32 activate ;
  4331   __u32 height ;
  4332   __u32 width ;
  4333   __u32 accel_flags ;
  4334   __u32 pixclock ;
  4335   __u32 left_margin ;
  4336   __u32 right_margin ;
  4337   __u32 upper_margin ;
  4338   __u32 lower_margin ;
  4339   __u32 hsync_len ;
  4340   __u32 vsync_len ;
  4341   __u32 sync ;
  4342   __u32 vmode ;
  4343   __u32 rotate ;
  4344   __u32 reserved[5U] ;
  4345};
  4346# 278 "include/linux/fb.h"
  4347struct fb_cmap {
  4348   __u32 start ;
  4349   __u32 len ;
  4350   __u16 *red ;
  4351   __u16 *green ;
  4352   __u16 *blue ;
  4353   __u16 *transp ;
  4354};
  4355# 334 "include/linux/fb.h"
  4356struct fb_copyarea {
  4357   __u32 dx ;
  4358   __u32 dy ;
  4359   __u32 width ;
  4360   __u32 height ;
  4361   __u32 sx ;
  4362   __u32 sy ;
  4363};
  4364# 347 "include/linux/fb.h"
  4365struct fb_fillrect {
  4366   __u32 dx ;
  4367   __u32 dy ;
  4368   __u32 width ;
  4369   __u32 height ;
  4370   __u32 color ;
  4371   __u32 rop ;
  4372};
  4373# 356 "include/linux/fb.h"
  4374struct fb_image {
  4375   __u32 dx ;
  4376   __u32 dy ;
  4377   __u32 width ;
  4378   __u32 height ;
  4379   __u32 fg_color ;
  4380   __u32 bg_color ;
  4381   __u8 depth ;
  4382   char const *data ;
  4383   struct fb_cmap cmap ;
  4384};
  4385# 368 "include/linux/fb.h"
  4386struct fbcurpos {
  4387   __u16 x ;
  4388   __u16 y ;
  4389};
  4390# 384 "include/linux/fb.h"
  4391struct fb_cursor {
  4392   __u16 set ;
  4393   __u16 enable ;
  4394   __u16 rop ;
  4395   char const *mask ;
  4396   struct fbcurpos hot ;
  4397   struct fb_image image ;
  4398};
  4399# 398 "include/linux/fb.h"
  4400enum backlight_type {
  4401    BACKLIGHT_RAW = 1,
  4402    BACKLIGHT_PLATFORM = 2,
  4403    BACKLIGHT_FIRMWARE = 3,
  4404    BACKLIGHT_TYPE_MAX = 4
  4405} ;
  4406# 405 "include/linux/fb.h"
  4407struct backlight_device;
  4408# 406 "include/linux/fb.h"
  4409struct fb_info;
  4410# 407 "include/linux/fb.h"
  4411struct backlight_ops {
  4412   unsigned int options ;
  4413   int (*update_status)(struct backlight_device * ) ;
  4414   int (*get_brightness)(struct backlight_device * ) ;
  4415   int (*check_fb)(struct backlight_device * , struct fb_info * ) ;
  4416};
  4417# 59 "include/linux/backlight.h"
  4418struct backlight_properties {
  4419   int brightness ;
  4420   int max_brightness ;
  4421   int power ;
  4422   int fb_blank ;
  4423   enum backlight_type type ;
  4424   unsigned int state ;
  4425};
  4426# 78 "include/linux/backlight.h"
  4427struct backlight_device {
  4428   struct backlight_properties props ;
  4429   struct mutex update_lock ;
  4430   struct mutex ops_lock ;
  4431   struct backlight_ops const *ops ;
  4432   struct notifier_block fb_notif ;
  4433   struct device dev ;
  4434};
  4435# 136 "include/linux/backlight.h"
  4436struct fb_chroma {
  4437   __u32 redx ;
  4438   __u32 greenx ;
  4439   __u32 bluex ;
  4440   __u32 whitex ;
  4441   __u32 redy ;
  4442   __u32 greeny ;
  4443   __u32 bluey ;
  4444   __u32 whitey ;
  4445};
  4446# 452 "include/linux/fb.h"
  4447struct fb_videomode;
  4448# 452 "include/linux/fb.h"
  4449struct fb_monspecs {
  4450   struct fb_chroma chroma ;
  4451   struct fb_videomode *modedb ;
  4452   __u8 manufacturer[4U] ;
  4453   __u8 monitor[14U] ;
  4454   __u8 serial_no[14U] ;
  4455   __u8 ascii[14U] ;
  4456   __u32 modedb_len ;
  4457   __u32 model ;
  4458   __u32 serial ;
  4459   __u32 year ;
  4460   __u32 week ;
  4461   __u32 hfmin ;
  4462   __u32 hfmax ;
  4463   __u32 dclkmin ;
  4464   __u32 dclkmax ;
  4465   __u16 input ;
  4466   __u16 dpms ;
  4467   __u16 signal ;
  4468   __u16 vfmin ;
  4469   __u16 vfmax ;
  4470   __u16 gamma ;
  4471   unsigned char gtf : 1 ;
  4472   __u16 misc ;
  4473   __u8 version ;
  4474   __u8 revision ;
  4475   __u8 max_x ;
  4476   __u8 max_y ;
  4477};
  4478# 557 "include/linux/fb.h"
  4479struct fb_blit_caps {
  4480   u32 x ;
  4481   u32 y ;
  4482   u32 len ;
  4483   u32 flags ;
  4484};
  4485# 568 "include/linux/fb.h"
  4486struct fb_pixmap {
  4487   u8 *addr ;
  4488   u32 size ;
  4489   u32 offset ;
  4490   u32 buf_align ;
  4491   u32 scan_align ;
  4492   u32 access_align ;
  4493   u32 flags ;
  4494   u32 blit_x ;
  4495   u32 blit_y ;
  4496   void (*writeio)(struct fb_info * , void * , void * , unsigned int ) ;
  4497   void (*readio)(struct fb_info * , void * , void * , unsigned int ) ;
  4498};
  4499# 597 "include/linux/fb.h"
  4500struct fb_deferred_io {
  4501   unsigned long delay ;
  4502   struct mutex lock ;
  4503   struct list_head pagelist ;
  4504   void (*deferred_io)(struct fb_info * , struct list_head * ) ;
  4505};
  4506# 607 "include/linux/fb.h"
  4507struct fb_ops {
  4508   struct module *owner ;
  4509   int (*fb_open)(struct fb_info * , int ) ;
  4510   int (*fb_release)(struct fb_info * , int ) ;
  4511   ssize_t (*fb_read)(struct fb_info * , char * , size_t , loff_t * ) ;
  4512   ssize_t (*fb_write)(struct fb_info * , char const * , size_t , loff_t * ) ;
  4513   int (*fb_check_var)(struct fb_var_screeninfo * , struct fb_info * ) ;
  4514   int (*fb_set_par)(struct fb_info * ) ;
  4515   int (*fb_setcolreg)(unsigned int , unsigned int , unsigned int , unsigned int ,
  4516                       unsigned int , struct fb_info * ) ;
  4517   int (*fb_setcmap)(struct fb_cmap * , struct fb_info * ) ;
  4518   int (*fb_blank)(int , struct fb_info * ) ;
  4519   int (*fb_pan_display)(struct fb_var_screeninfo * , struct fb_info * ) ;
  4520   void (*fb_fillrect)(struct fb_info * , struct fb_fillrect const * ) ;
  4521   void (*fb_copyarea)(struct fb_info * , struct fb_copyarea const * ) ;
  4522   void (*fb_imageblit)(struct fb_info * , struct fb_image const * ) ;
  4523   int (*fb_cursor)(struct fb_info * , struct fb_cursor * ) ;
  4524   void (*fb_rotate)(struct fb_info * , int ) ;
  4525   int (*fb_sync)(struct fb_info * ) ;
  4526   int (*fb_ioctl)(struct fb_info * , unsigned int , unsigned long ) ;
  4527   int (*fb_compat_ioctl)(struct fb_info * , unsigned int , unsigned long ) ;
  4528   int (*fb_mmap)(struct fb_info * , struct vm_area_struct * ) ;
  4529   void (*fb_get_caps)(struct fb_info * , struct fb_blit_caps * , struct fb_var_screeninfo * ) ;
  4530   void (*fb_destroy)(struct fb_info * ) ;
  4531   int (*fb_debug_enter)(struct fb_info * ) ;
  4532   int (*fb_debug_leave)(struct fb_info * ) ;
  4533};
  4534# 695 "include/linux/fb.h"
  4535struct fb_tilemap {
  4536   __u32 width ;
  4537   __u32 height ;
  4538   __u32 depth ;
  4539   __u32 length ;
  4540   __u8 const *data ;
  4541};
  4542# 711 "include/linux/fb.h"
  4543struct fb_tilerect {
  4544   __u32 sx ;
  4545   __u32 sy ;
  4546   __u32 width ;
  4547   __u32 height ;
  4548   __u32 index ;
  4549   __u32 fg ;
  4550   __u32 bg ;
  4551   __u32 rop ;
  4552};
  4553# 723 "include/linux/fb.h"
  4554struct fb_tilearea {
  4555   __u32 sx ;
  4556   __u32 sy ;
  4557   __u32 dx ;
  4558   __u32 dy ;
  4559   __u32 width ;
  4560   __u32 height ;
  4561};
  4562# 732 "include/linux/fb.h"
  4563struct fb_tileblit {
  4564   __u32 sx ;
  4565   __u32 sy ;
  4566   __u32 width ;
  4567   __u32 height ;
  4568   __u32 fg ;
  4569   __u32 bg ;
  4570   __u32 length ;
  4571   __u32 *indices ;
  4572};
  4573# 743 "include/linux/fb.h"
  4574struct fb_tilecursor {
  4575   __u32 sx ;
  4576   __u32 sy ;
  4577   __u32 mode ;
  4578   __u32 shape ;
  4579   __u32 fg ;
  4580   __u32 bg ;
  4581};
  4582# 752 "include/linux/fb.h"
  4583struct fb_tile_ops {
  4584   void (*fb_settile)(struct fb_info * , struct fb_tilemap * ) ;
  4585   void (*fb_tilecopy)(struct fb_info * , struct fb_tilearea * ) ;
  4586   void (*fb_tilefill)(struct fb_info * , struct fb_tilerect * ) ;
  4587   void (*fb_tileblit)(struct fb_info * , struct fb_tileblit * ) ;
  4588   void (*fb_tilecursor)(struct fb_info * , struct fb_tilecursor * ) ;
  4589   int (*fb_get_tilemax)(struct fb_info * ) ;
  4590};
  4591# 771 "include/linux/fb.h"
  4592struct aperture {
  4593   resource_size_t base ;
  4594   resource_size_t size ;
  4595};
  4596# 890 "include/linux/fb.h"
  4597struct apertures_struct {
  4598   unsigned int count ;
  4599   struct aperture ranges[0U] ;
  4600};
  4601# 891 "include/linux/fb.h"
  4602struct fb_info {
  4603   atomic_t count ;
  4604   int node ;
  4605   int flags ;
  4606   struct mutex lock ;
  4607   struct mutex mm_lock ;
  4608   struct fb_var_screeninfo var ;
  4609   struct fb_fix_screeninfo fix ;
  4610   struct fb_monspecs monspecs ;
  4611   struct work_struct queue ;
  4612   struct fb_pixmap pixmap ;
  4613   struct fb_pixmap sprite ;
  4614   struct fb_cmap cmap ;
  4615   struct list_head modelist ;
  4616   struct fb_videomode *mode ;
  4617   struct backlight_device *bl_dev ;
  4618   struct mutex bl_curve_mutex ;
  4619   u8 bl_curve[128U] ;
  4620   struct delayed_work deferred_work ;
  4621   struct fb_deferred_io *fbdefio ;
  4622   struct fb_ops *fbops ;
  4623   struct device *device ;
  4624   struct device *dev ;
  4625   int class_flag ;
  4626   struct fb_tile_ops *tileops ;
  4627   char *screen_base ;
  4628   unsigned long screen_size ;
  4629   void *pseudo_palette ;
  4630   u32 state ;
  4631   void *fbcon_par ;
  4632   void *par ;
  4633   struct apertures_struct *apertures ;
  4634};
  4635# 1138 "include/linux/fb.h"
  4636struct fb_videomode {
  4637   char const *name ;
  4638   u32 refresh ;
  4639   u32 xres ;
  4640   u32 yres ;
  4641   u32 pixclock ;
  4642   u32 left_margin ;
  4643   u32 right_margin ;
  4644   u32 upper_margin ;
  4645   u32 lower_margin ;
  4646   u32 hsync_len ;
  4647   u32 vsync_len ;
  4648   u32 sync ;
  4649   u32 vmode ;
  4650   u32 flag ;
  4651};
  4652# 1166 "include/linux/fb.h"
  4653struct drm_mode_set;
  4654# 1167 "include/linux/fb.h"
  4655struct drm_framebuffer;
  4656# 1168 "include/linux/fb.h"
  4657struct drm_mode_object {
  4658   uint32_t id ;
  4659   uint32_t type ;
  4660};
  4661# 52 "include/drm/drm_crtc.h"
  4662enum drm_mode_status {
  4663    MODE_OK = 0,
  4664    MODE_HSYNC = 1,
  4665    MODE_VSYNC = 2,
  4666    MODE_H_ILLEGAL = 3,
  4667    MODE_V_ILLEGAL = 4,
  4668    MODE_BAD_WIDTH = 5,
  4669    MODE_NOMODE = 6,
  4670    MODE_NO_INTERLACE = 7,
  4671    MODE_NO_DBLESCAN = 8,
  4672    MODE_NO_VSCAN = 9,
  4673    MODE_MEM = 10,
  4674    MODE_VIRTUAL_X = 11,
  4675    MODE_VIRTUAL_Y = 12,
  4676    MODE_MEM_VIRT = 13,
  4677    MODE_NOCLOCK = 14,
  4678    MODE_CLOCK_HIGH = 15,
  4679    MODE_CLOCK_LOW = 16,
  4680    MODE_CLOCK_RANGE = 17,
  4681    MODE_BAD_HVALUE = 18,
  4682    MODE_BAD_VVALUE = 19,
  4683    MODE_BAD_VSCAN = 20,
  4684    MODE_HSYNC_NARROW = 21,
  4685    MODE_HSYNC_WIDE = 22,
  4686    MODE_HBLANK_NARROW = 23,
  4687    MODE_HBLANK_WIDE = 24,
  4688    MODE_VSYNC_NARROW = 25,
  4689    MODE_VSYNC_WIDE = 26,
  4690    MODE_VBLANK_NARROW = 27,
  4691    MODE_VBLANK_WIDE = 28,
  4692    MODE_PANEL = 29,
  4693    MODE_INTERLACE_WIDTH = 30,
  4694    MODE_ONE_WIDTH = 31,
  4695    MODE_ONE_HEIGHT = 32,
  4696    MODE_ONE_SIZE = 33,
  4697    MODE_NO_REDUCED = 34,
  4698    MODE_UNVERIFIED = -3,
  4699    MODE_BAD = -2,
  4700    MODE_ERROR = -1
  4701} ;
  4702# 93 "include/drm/drm_crtc.h"
  4703struct drm_display_mode {
  4704   struct list_head head ;
  4705   struct drm_mode_object base ;
  4706   char name[32U] ;
  4707   int connector_count ;
  4708   enum drm_mode_status status ;
  4709   int type ;
  4710   int clock ;
  4711   int hdisplay ;
  4712   int hsync_start ;
  4713   int hsync_end ;
  4714   int htotal ;
  4715   int hskew ;
  4716   int vdisplay ;
  4717   int vsync_start ;
  4718   int vsync_end ;
  4719   int vtotal ;
  4720   int vscan ;
  4721   unsigned int flags ;
  4722   int width_mm ;
  4723   int height_mm ;
  4724   int clock_index ;
  4725   int synth_clock ;
  4726   int crtc_hdisplay ;
  4727   int crtc_hblank_start ;
  4728   int crtc_hblank_end ;
  4729   int crtc_hsync_start ;
  4730   int crtc_hsync_end ;
  4731   int crtc_htotal ;
  4732   int crtc_hskew ;
  4733   int crtc_vdisplay ;
  4734   int crtc_vblank_start ;
  4735   int crtc_vblank_end ;
  4736   int crtc_vsync_start ;
  4737   int crtc_vsync_end ;
  4738   int crtc_vtotal ;
  4739   int crtc_hadjusted ;
  4740   int crtc_vadjusted ;
  4741   int private_size ;
  4742   int *private ;
  4743   int private_flags ;
  4744   int vrefresh ;
  4745   int hsync ;
  4746};
  4747# 170 "include/drm/drm_crtc.h"
  4748enum drm_connector_status {
  4749    connector_status_connected = 1,
  4750    connector_status_disconnected = 2,
  4751    connector_status_unknown = 3
  4752} ;
  4753# 176 "include/drm/drm_crtc.h"
  4754enum subpixel_order {
  4755    SubPixelUnknown = 0,
  4756    SubPixelHorizontalRGB = 1,
  4757    SubPixelHorizontalBGR = 2,
  4758    SubPixelVerticalRGB = 3,
  4759    SubPixelVerticalBGR = 4,
  4760    SubPixelNone = 5
  4761} ;
  4762# 185 "include/drm/drm_crtc.h"
  4763struct drm_display_info {
  4764   char name[32U] ;
  4765   unsigned int width_mm ;
  4766   unsigned int height_mm ;
  4767   unsigned int min_vfreq ;
  4768   unsigned int max_vfreq ;
  4769   unsigned int min_hfreq ;
  4770   unsigned int max_hfreq ;
  4771   unsigned int pixel_clock ;
  4772   unsigned int bpc ;
  4773   enum subpixel_order subpixel_order ;
  4774   u32 color_formats ;
  4775   char *raw_edid ;
  4776};
  4777# 210 "include/drm/drm_crtc.h"
  4778struct drm_framebuffer_funcs {
  4779   void (*destroy)(struct drm_framebuffer * ) ;
  4780   int (*create_handle)(struct drm_framebuffer * , struct drm_file * , unsigned int * ) ;
  4781   int (*dirty)(struct drm_framebuffer * , struct drm_file * , unsigned int , unsigned int ,
  4782                struct drm_clip_rect * , unsigned int ) ;
  4783};
  4784# 230 "include/drm/drm_crtc.h"
  4785struct drm_framebuffer {
  4786   struct drm_device *dev ;
  4787   struct list_head head ;
  4788   struct drm_mode_object base ;
  4789   struct drm_framebuffer_funcs const *funcs ;
  4790   unsigned int pitch ;
  4791   unsigned int width ;
  4792   unsigned int height ;
  4793   unsigned int depth ;
  4794   int bits_per_pixel ;
  4795   int flags ;
  4796   struct list_head filp_head ;
  4797   void *helper_private ;
  4798};
  4799# 250 "include/drm/drm_crtc.h"
  4800struct drm_property_blob {
  4801   struct drm_mode_object base ;
  4802   struct list_head head ;
  4803   unsigned int length ;
  4804   void *data ;
  4805};
  4806# 263 "include/drm/drm_crtc.h"
  4807struct drm_property {
  4808   struct list_head head ;
  4809   struct drm_mode_object base ;
  4810   uint32_t flags ;
  4811   char name[32U] ;
  4812   uint32_t num_values ;
  4813   uint64_t *values ;
  4814   struct list_head enum_blob_list ;
  4815};
  4816# 274 "include/drm/drm_crtc.h"
  4817struct drm_crtc;
  4818# 275 "include/drm/drm_crtc.h"
  4819struct drm_connector;
  4820# 276 "include/drm/drm_crtc.h"
  4821struct drm_encoder;
  4822# 277 "include/drm/drm_crtc.h"
  4823struct drm_pending_vblank_event;
  4824# 278 "include/drm/drm_crtc.h"
  4825struct drm_crtc_funcs {
  4826   void (*save)(struct drm_crtc * ) ;
  4827   void (*restore)(struct drm_crtc * ) ;
  4828   void (*reset)(struct drm_crtc * ) ;
  4829   int (*cursor_set)(struct drm_crtc * , struct drm_file * , uint32_t , uint32_t ,
  4830                     uint32_t ) ;
  4831   int (*cursor_move)(struct drm_crtc * , int , int ) ;
  4832   void (*gamma_set)(struct drm_crtc * , u16 * , u16 * , u16 * , uint32_t , uint32_t ) ;
  4833   void (*destroy)(struct drm_crtc * ) ;
  4834   int (*set_config)(struct drm_mode_set * ) ;
  4835   int (*page_flip)(struct drm_crtc * , struct drm_framebuffer * , struct drm_pending_vblank_event * ) ;
  4836};
  4837# 337 "include/drm/drm_crtc.h"
  4838struct drm_crtc {
  4839   struct drm_device *dev ;
  4840   struct list_head head ;
  4841   struct drm_mode_object base ;
  4842   struct drm_framebuffer *fb ;
  4843   bool enabled ;
  4844   struct drm_display_mode mode ;
  4845   struct drm_display_mode hwmode ;
  4846   int x ;
  4847   int y ;
  4848   struct drm_crtc_funcs const *funcs ;
  4849   uint32_t gamma_size ;
  4850   uint16_t *gamma_store ;
  4851   s64 framedur_ns ;
  4852   s64 linedur_ns ;
  4853   s64 pixeldur_ns ;
  4854   void *helper_private ;
  4855};
  4856# 382 "include/drm/drm_crtc.h"
  4857struct drm_connector_funcs {
  4858   void (*dpms)(struct drm_connector * , int ) ;
  4859   void (*save)(struct drm_connector * ) ;
  4860   void (*restore)(struct drm_connector * ) ;
  4861   void (*reset)(struct drm_connector * ) ;
  4862   enum drm_connector_status (*detect)(struct drm_connector * , bool ) ;
  4863   int (*fill_modes)(struct drm_connector * , uint32_t , uint32_t ) ;
  4864   int (*set_property)(struct drm_connector * , struct drm_property * , uint64_t ) ;
  4865   void (*destroy)(struct drm_connector * ) ;
  4866   void (*force)(struct drm_connector * ) ;
  4867};
  4868# 423 "include/drm/drm_crtc.h"
  4869struct drm_encoder_funcs {
  4870   void (*reset)(struct drm_encoder * ) ;
  4871   void (*destroy)(struct drm_encoder * ) ;
  4872};
  4873# 428 "include/drm/drm_crtc.h"
  4874struct drm_encoder {
  4875   struct drm_device *dev ;
  4876   struct list_head head ;
  4877   struct drm_mode_object base ;
  4878   int encoder_type ;
  4879   uint32_t possible_crtcs ;
  4880   uint32_t possible_clones ;
  4881   struct drm_crtc *crtc ;
  4882   struct drm_encoder_funcs const *funcs ;
  4883   void *helper_private ;
  4884};
  4885# 450 "include/drm/drm_crtc.h"
  4886enum drm_connector_force {
  4887    DRM_FORCE_UNSPECIFIED = 0,
  4888    DRM_FORCE_OFF = 1,
  4889    DRM_FORCE_ON = 2,
  4890    DRM_FORCE_ON_DIGITAL = 3
  4891} ;
  4892# 457 "include/drm/drm_crtc.h"
  4893struct drm_connector {
  4894   struct drm_device *dev ;
  4895   struct device kdev ;
  4896   struct device_attribute *attr ;
  4897   struct list_head head ;
  4898   struct drm_mode_object base ;
  4899   int connector_type ;
  4900   int connector_type_id ;
  4901   bool interlace_allowed ;
  4902   bool doublescan_allowed ;
  4903   struct list_head modes ;
  4904   int initial_x ;
  4905   int initial_y ;
  4906   enum drm_connector_status status ;
  4907   struct list_head probed_modes ;
  4908   struct drm_display_info display_info ;
  4909   struct drm_connector_funcs const *funcs ;
  4910   struct list_head user_modes ;
  4911   struct drm_property_blob *edid_blob_ptr ;
  4912   u32 property_ids[16U] ;
  4913   uint64_t property_values[16U] ;
  4914   uint8_t polled ;
  4915   int dpms ;
  4916   void *helper_private ;
  4917   enum drm_connector_force force ;
  4918   uint32_t encoder_ids[2U] ;
  4919   uint32_t force_encoder_id ;
  4920   struct drm_encoder *encoder ;
  4921   int null_edid_counter ;
  4922};
  4923# 526 "include/drm/drm_crtc.h"
  4924struct drm_mode_set {
  4925   struct list_head head ;
  4926   struct drm_framebuffer *fb ;
  4927   struct drm_crtc *crtc ;
  4928   struct drm_display_mode *mode ;
  4929   uint32_t x ;
  4930   uint32_t y ;
  4931   struct drm_connector **connectors ;
  4932   size_t num_connectors ;
  4933};
  4934# 548 "include/drm/drm_crtc.h"
  4935struct drm_mode_config_funcs {
  4936   struct drm_framebuffer *(*fb_create)(struct drm_device * , struct drm_file * ,
  4937                                        struct drm_mode_fb_cmd * ) ;
  4938   void (*output_poll_changed)(struct drm_device * ) ;
  4939};
  4940# 556 "include/drm/drm_crtc.h"
  4941struct drm_mode_group {
  4942   uint32_t num_crtcs ;
  4943   uint32_t num_encoders ;
  4944   uint32_t num_connectors ;
  4945   uint32_t *id_list ;
  4946};
  4947# 565 "include/drm/drm_crtc.h"
  4948struct drm_mode_config {
  4949   struct mutex mutex ;
  4950   struct mutex idr_mutex ;
  4951   struct idr crtc_idr ;
  4952   int num_fb ;
  4953   struct list_head fb_list ;
  4954   int num_connector ;
  4955   struct list_head connector_list ;
  4956   int num_encoder ;
  4957   struct list_head encoder_list ;
  4958   int num_crtc ;
  4959   struct list_head crtc_list ;
  4960   struct list_head property_list ;
  4961   int min_width ;
  4962   int min_height ;
  4963   int max_width ;
  4964   int max_height ;
  4965   struct drm_mode_config_funcs *funcs ;
  4966   resource_size_t fb_base ;
  4967   bool poll_enabled ;
  4968   struct delayed_work output_poll_work ;
  4969   struct list_head property_blob_list ;
  4970   struct drm_property *edid_property ;
  4971   struct drm_property *dpms_property ;
  4972   struct drm_property *dvi_i_subconnector_property ;
  4973   struct drm_property *dvi_i_select_subconnector_property ;
  4974   struct drm_property *tv_subconnector_property ;
  4975   struct drm_property *tv_select_subconnector_property ;
  4976   struct drm_property *tv_mode_property ;
  4977   struct drm_property *tv_left_margin_property ;
  4978   struct drm_property *tv_right_margin_property ;
  4979   struct drm_property *tv_top_margin_property ;
  4980   struct drm_property *tv_bottom_margin_property ;
  4981   struct drm_property *tv_brightness_property ;
  4982   struct drm_property *tv_contrast_property ;
  4983   struct drm_property *tv_flicker_reduction_property ;
  4984   struct drm_property *tv_overscan_property ;
  4985   struct drm_property *tv_saturation_property ;
  4986   struct drm_property *tv_hue_property ;
  4987   struct drm_property *scaling_mode_property ;
  4988   struct drm_property *dithering_mode_property ;
  4989   struct drm_property *dirty_info_property ;
  4990};
  4991# 814 "include/drm/drm_crtc.h"
  4992struct drm_master {
  4993   struct kref refcount ;
  4994   struct list_head head ;
  4995   struct drm_minor *minor ;
  4996   char *unique ;
  4997   int unique_len ;
  4998   int unique_size ;
  4999   int blocked ;
  5000   struct drm_open_hash magiclist ;
  5001   struct list_head magicfree ;
  5002   struct drm_lock_data lock ;
  5003   void *driver_priv ;
  5004};
  5005# 682 "include/drm/drmP.h"
  5006struct drm_bus {
  5007   int bus_type ;
  5008   int (*get_irq)(struct drm_device * ) ;
  5009   char const *(*get_name)(struct drm_device * ) ;
  5010   int (*set_busid)(struct drm_device * , struct drm_master * ) ;
  5011   int (*set_unique)(struct drm_device * , struct drm_master * , struct drm_unique * ) ;
  5012   int (*irq_by_busid)(struct drm_device * , struct drm_irq_busid * ) ;
  5013   int (*agp_init)(struct drm_device * ) ;
  5014};
  5015# 709 "include/drm/drmP.h"
  5016struct usb_driver;
  5017# 709 "include/drm/drmP.h"
  5018union __anonunion_kdriver_183 {
  5019   struct pci_driver *pci ;
  5020   struct platform_device *platform_device ;
  5021   struct usb_driver *usb ;
  5022};
  5023# 709 "include/drm/drmP.h"
  5024struct drm_driver {
  5025   int (*load)(struct drm_device * , unsigned long ) ;
  5026   int (*firstopen)(struct drm_device * ) ;
  5027   int (*open)(struct drm_device * , struct drm_file * ) ;
  5028   void (*preclose)(struct drm_device * , struct drm_file * ) ;
  5029   void (*postclose)(struct drm_device * , struct drm_file * ) ;
  5030   void (*lastclose)(struct drm_device * ) ;
  5031   int (*unload)(struct drm_device * ) ;
  5032   int (*suspend)(struct drm_device * , pm_message_t ) ;
  5033   int (*resume)(struct drm_device * ) ;
  5034   int (*dma_ioctl)(struct drm_device * , void * , struct drm_file * ) ;
  5035   int (*dma_quiescent)(struct drm_device * ) ;
  5036   int (*context_dtor)(struct drm_device * , int ) ;
  5037   u32 (*get_vblank_counter)(struct drm_device * , int ) ;
  5038   int (*enable_vblank)(struct drm_device * , int ) ;
  5039   void (*disable_vblank)(struct drm_device * , int ) ;
  5040   int (*device_is_agp)(struct drm_device * ) ;
  5041   int (*get_scanout_position)(struct drm_device * , int , int * , int * ) ;
  5042   int (*get_vblank_timestamp)(struct drm_device * , int , int * , struct timeval * ,
  5043                               unsigned int ) ;
  5044   irqreturn_t (*irq_handler)(int , void * ) ;
  5045   void (*irq_preinstall)(struct drm_device * ) ;
  5046   int (*irq_postinstall)(struct drm_device * ) ;
  5047   void (*irq_uninstall)(struct drm_device * ) ;
  5048   void (*reclaim_buffers)(struct drm_device * , struct drm_file * ) ;
  5049   void (*reclaim_buffers_locked)(struct drm_device * , struct drm_file * ) ;
  5050   void (*reclaim_buffers_idlelocked)(struct drm_device * , struct drm_file * ) ;
  5051   void (*set_version)(struct drm_device * , struct drm_set_version * ) ;
  5052   int (*master_create)(struct drm_device * , struct drm_master * ) ;
  5053   void (*master_destroy)(struct drm_device * , struct drm_master * ) ;
  5054   int (*master_set)(struct drm_device * , struct drm_file * , bool ) ;
  5055   void (*master_drop)(struct drm_device * , struct drm_file * , bool ) ;
  5056   int (*debugfs_init)(struct drm_minor * ) ;
  5057   void (*debugfs_cleanup)(struct drm_minor * ) ;
  5058   int (*gem_init_object)(struct drm_gem_object * ) ;
  5059   void (*gem_free_object)(struct drm_gem_object * ) ;
  5060   void (*vgaarb_irq)(struct drm_device * , bool ) ;
  5061   int (*dumb_create)(struct drm_file * , struct drm_device * , struct drm_mode_create_dumb * ) ;
  5062   int (*dumb_map_offset)(struct drm_file * , struct drm_device * , uint32_t , uint64_t * ) ;
  5063   int (*dumb_destroy)(struct drm_file * , struct drm_device * , uint32_t ) ;
  5064   struct vm_operations_struct *gem_vm_ops ;
  5065   int major ;
  5066   int minor ;
  5067   int patchlevel ;
  5068   char *name ;
  5069   char *desc ;
  5070   char *date ;
  5071   u32 driver_features ;
  5072   int dev_priv_size ;
  5073   struct drm_ioctl_desc *ioctls ;
  5074   int num_ioctls ;
  5075   struct file_operations fops ;
  5076   union __anonunion_kdriver_183 kdriver ;
  5077   struct drm_bus *bus ;
  5078   struct list_head device_list ;
  5079};
  5080# 955 "include/drm/drmP.h"
  5081struct drm_info_list {
  5082   char const *name ;
  5083   int (*show)(struct seq_file * , void * ) ;
  5084   u32 driver_features ;
  5085   void *data ;
  5086};
  5087# 966 "include/drm/drmP.h"
  5088struct drm_info_node {
  5089   struct list_head list ;
  5090   struct drm_minor *minor ;
  5091   struct drm_info_list *info_ent ;
  5092   struct dentry *dent ;
  5093};
  5094# 976 "include/drm/drmP.h"
  5095struct drm_minor {
  5096   int index ;
  5097   int type ;
  5098   dev_t device ;
  5099   struct device kdev ;
  5100   struct drm_device *dev ;
  5101   struct proc_dir_entry *proc_root ;
  5102   struct drm_info_node proc_nodes ;
  5103   struct dentry *debugfs_root ;
  5104   struct drm_info_node debugfs_nodes ;
  5105   struct drm_master *master ;
  5106   struct list_head master_list ;
  5107   struct drm_mode_group mode_group ;
  5108};
  5109# 996 "include/drm/drmP.h"
  5110struct drm_cmdline_mode {
  5111   bool specified ;
  5112   bool refresh_specified ;
  5113   bool bpp_specified ;
  5114   int xres ;
  5115   int yres ;
  5116   int bpp ;
  5117   int refresh ;
  5118   bool rb ;
  5119   bool interlace ;
  5120   bool cvt ;
  5121   bool margins ;
  5122   enum drm_connector_force force ;
  5123};
  5124# 1011 "include/drm/drmP.h"
  5125struct drm_pending_vblank_event {
  5126   struct drm_pending_event base ;
  5127   int pipe ;
  5128   struct drm_event_vblank event ;
  5129};
  5130# 1018 "include/drm/drmP.h"
  5131struct usb_device;
  5132# 1018 "include/drm/drmP.h"
  5133struct drm_device {
  5134   struct list_head driver_item ;
  5135   char *devname ;
  5136   int if_version ;
  5137   spinlock_t count_lock ;
  5138   struct mutex struct_mutex ;
  5139   int open_count ;
  5140   atomic_t ioctl_count ;
  5141   atomic_t vma_count ;
  5142   int buf_use ;
  5143   atomic_t buf_alloc ;
  5144   unsigned long counters ;
  5145   enum drm_stat_type types[15U] ;
  5146   atomic_t counts[15U] ;
  5147   struct list_head filelist ;
  5148   struct list_head maplist ;
  5149   int map_count ;
  5150   struct drm_open_hash map_hash ;
  5151   struct list_head ctxlist ;
  5152   int ctx_count ;
  5153   struct mutex ctxlist_mutex ;
  5154   struct idr ctx_idr ;
  5155   struct list_head vmalist ;
  5156   int queue_count ;
  5157   int queue_reserved ;
  5158   int queue_slots ;
  5159   struct drm_queue **queuelist ;
  5160   struct drm_device_dma *dma ;
  5161   int irq_enabled ;
  5162   long volatile context_flag ;
  5163   long volatile interrupt_flag ;
  5164   long volatile dma_flag ;
  5165   wait_queue_head_t context_wait ;
  5166   int last_checked ;
  5167   int last_context ;
  5168   unsigned long last_switch ;
  5169   struct work_struct work ;
  5170   int vblank_disable_allowed ;
  5171   wait_queue_head_t *vbl_queue ;
  5172   atomic_t *_vblank_count ;
  5173   struct timeval *_vblank_time ;
  5174   spinlock_t vblank_time_lock ;
  5175   spinlock_t vbl_lock ;
  5176   atomic_t *vblank_refcount ;
  5177   u32 *last_vblank ;
  5178   int *vblank_enabled ;
  5179   int *vblank_inmodeset ;
  5180   u32 *last_vblank_wait ;
  5181   struct timer_list vblank_disable_timer ;
  5182   u32 max_vblank_count ;
  5183   struct list_head vblank_event_list ;
  5184   spinlock_t event_lock ;
  5185   cycles_t ctx_start ;
  5186   cycles_t lck_start ;
  5187   struct fasync_struct *buf_async ;
  5188   wait_queue_head_t buf_readers ;
  5189   wait_queue_head_t buf_writers ;
  5190   struct drm_agp_head *agp ;
  5191   struct device *dev ;
  5192   struct pci_dev *pdev ;
  5193   int pci_vendor ;
  5194   int pci_device ;
  5195   struct platform_device *platformdev ;
  5196   struct usb_device *usbdev ;
  5197   struct drm_sg_mem *sg ;
  5198   unsigned int num_crtcs ;
  5199   void *dev_private ;
  5200   void *mm_private ;
  5201   struct address_space *dev_mapping ;
  5202   struct drm_sigdata sigdata ;
  5203   sigset_t sigmask ;
  5204   struct drm_driver *driver ;
  5205   struct drm_local_map *agp_buffer_map ;
  5206   unsigned int agp_buffer_token ;
  5207   struct drm_minor *control ;
  5208   struct drm_minor *primary ;
  5209   struct drm_mode_config mode_config ;
  5210   spinlock_t object_name_lock ;
  5211   struct idr object_name_idr ;
  5212   int switch_power_state ;
  5213};
  5214# 588 "include/drm/i915_drm.h"
  5215struct drm_i915_gem_exec_object2 {
  5216   __u32 handle ;
  5217   __u32 relocation_count ;
  5218   __u64 relocs_ptr ;
  5219   __u64 alignment ;
  5220   __u64 offset ;
  5221   __u64 flags ;
  5222   __u64 rsvd1 ;
  5223   __u64 rsvd2 ;
  5224};
  5225# 138 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_bios.h"
  5226struct child_device_config {
  5227   u16 handle ;
  5228   u16 device_type ;
  5229   u8 i2c_speed ;
  5230   u8 rsvd[9U] ;
  5231   u16 addin_offset ;
  5232   u8 dvo_port ;
  5233   u8 i2c_pin ;
  5234   u8 slave_addr ;
  5235   u8 ddc_pin ;
  5236   u16 edid_ptr ;
  5237   u8 dvo_cfg ;
  5238   u8 dvo2_port ;
  5239   u8 i2c2_pin ;
  5240   u8 slave2_addr ;
  5241   u8 ddc2_pin ;
  5242   u8 capabilities ;
  5243   u8 dvo_wiring ;
  5244   u8 dvo2_wiring ;
  5245   u16 extended_type ;
  5246   u8 dvo_function ;
  5247};
  5248# 430 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_bios.h"
  5249struct edp_power_seq {
  5250   u16 t3 ;
  5251   u16 t7 ;
  5252   u16 t9 ;
  5253   u16 t10 ;
  5254   u16 t12 ;
  5255};
  5256# 479 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_bios.h"
  5257struct drm_i915_gem_object;
  5258# 479 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_bios.h"
  5259struct intel_hw_status_page {
  5260   u32 *page_addr ;
  5261   unsigned int gfx_addr ;
  5262   struct drm_i915_gem_object *obj ;
  5263};
  5264# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_ringbuffer.h"
  5265enum intel_ring_id {
  5266    RING_RENDER = 1,
  5267    RING_BSD = 2,
  5268    RING_BLT = 4
  5269} ;
  5270# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_ringbuffer.h"
  5271struct intel_ring_buffer {
  5272   char const *name ;
  5273   enum intel_ring_id id ;
  5274   u32 mmio_base ;
  5275   void *virtual_start ;
  5276   struct drm_device *dev ;
  5277   struct drm_i915_gem_object *obj ;
  5278   u32 head ;
  5279   u32 tail ;
  5280   int space ;
  5281   int size ;
  5282   int effective_size ;
  5283   struct intel_hw_status_page status_page ;
  5284   spinlock_t irq_lock ;
  5285   u32 irq_refcount ;
  5286   u32 irq_mask ;
  5287   u32 irq_seqno ;
  5288   u32 trace_irq_seqno ;
  5289   u32 waiting_seqno ;
  5290   u32 sync_seqno[2U] ;
  5291   bool (*irq_get)(struct intel_ring_buffer * ) ;
  5292   void (*irq_put)(struct intel_ring_buffer * ) ;
  5293   int (*init)(struct intel_ring_buffer * ) ;
  5294   void (*write_tail)(struct intel_ring_buffer * , u32 ) ;
  5295   int (*flush)(struct intel_ring_buffer * , u32 , u32 ) ;
  5296   int (*add_request)(struct intel_ring_buffer * , u32 * ) ;
  5297   u32 (*get_seqno)(struct intel_ring_buffer * ) ;
  5298   int (*dispatch_execbuffer)(struct intel_ring_buffer * , u32 , u32 ) ;
  5299   void (*cleanup)(struct intel_ring_buffer * ) ;
  5300   struct list_head active_list ;
  5301   struct list_head request_list ;
  5302   struct list_head gpu_write_list ;
  5303   u32 outstanding_lazy_request ;
  5304   wait_queue_head_t irq_queue ;
  5305   drm_local_map_t map ;
  5306   void *private ;
  5307};
  5308# 202 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_ringbuffer.h"
  5309struct io_mapping;
  5310# 160 "include/linux/io-mapping.h"
  5311struct intel_gtt {
  5312   unsigned int stolen_size ;
  5313   unsigned int gtt_total_entries ;
  5314   unsigned int gtt_mappable_entries ;
  5315   unsigned char needs_dmar : 1 ;
  5316};
  5317# 41 "include/drm/intel-gtt.h"
  5318struct drm_i915_gem_phys_object {
  5319   int id ;
  5320   struct page **page_list ;
  5321   drm_dma_handle_t *handle ;
  5322   struct drm_i915_gem_object *cur_obj ;
  5323};
  5324# 96 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5325struct mem_block {
  5326   struct mem_block *next ;
  5327   struct mem_block *prev ;
  5328   int start ;
  5329   int size ;
  5330   struct drm_file *file_priv ;
  5331};
  5332# 104 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5333struct opregion_header;
  5334# 105 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5335struct opregion_acpi;
  5336# 106 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5337struct opregion_swsci;
  5338# 107 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5339struct opregion_asle;
  5340# 108 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5341struct intel_opregion {
  5342   struct opregion_header *header ;
  5343   struct opregion_acpi *acpi ;
  5344   struct opregion_swsci *swsci ;
  5345   struct opregion_asle *asle ;
  5346   void *vbt ;
  5347   u32 *lid_state ;
  5348};
  5349# 118 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5350struct intel_overlay;
  5351# 119 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5352struct intel_overlay_error_state;
  5353# 127 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5354struct drm_i915_fence_reg {
  5355   struct list_head lru_list ;
  5356   struct drm_i915_gem_object *obj ;
  5357   uint32_t setup_seqno ;
  5358};
  5359# 134 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5360struct sdvo_device_mapping {
  5361   u8 initialized ;
  5362   u8 dvo_port ;
  5363   u8 slave_addr ;
  5364   u8 dvo_wiring ;
  5365   u8 i2c_pin ;
  5366   u8 i2c_speed ;
  5367   u8 ddc_pin ;
  5368};
  5369# 144 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5370struct intel_display_error_state;
  5371# 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5372struct drm_i915_error_object {
  5373   int page_count ;
  5374   u32 gtt_offset ;
  5375   u32 *pages[0U] ;
  5376};
  5377# 178 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5378struct drm_i915_error_buffer {
  5379   u32 size ;
  5380   u32 name ;
  5381   u32 seqno ;
  5382   u32 gtt_offset ;
  5383   u32 read_domains ;
  5384   u32 write_domain ;
  5385   signed char fence_reg : 5 ;
  5386   signed char pinned : 2 ;
  5387   unsigned char tiling : 2 ;
  5388   unsigned char dirty : 1 ;
  5389   unsigned char purgeable : 1 ;
  5390   unsigned char ring : 4 ;
  5391   unsigned char cache_level : 2 ;
  5392};
  5393# 193 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5394struct drm_i915_error_state {
  5395   u32 eir ;
  5396   u32 pgtbl_er ;
  5397   u32 pipestat[3U] ;
  5398   u32 ipeir ;
  5399   u32 ipehr ;
  5400   u32 instdone ;
  5401   u32 acthd ;
  5402   u32 error ;
  5403   u32 bcs_acthd ;
  5404   u32 bcs_ipehr ;
  5405   u32 bcs_ipeir ;
  5406   u32 bcs_instdone ;
  5407   u32 bcs_seqno ;
  5408   u32 vcs_acthd ;
  5409   u32 vcs_ipehr ;
  5410   u32 vcs_ipeir ;
  5411   u32 vcs_instdone ;
  5412   u32 vcs_seqno ;
  5413   u32 instpm ;
  5414   u32 instps ;
  5415   u32 instdone1 ;
  5416   u32 seqno ;
  5417   u64 bbaddr ;
  5418   u64 fence[16U] ;
  5419   struct timeval time ;
  5420   struct drm_i915_error_object *ringbuffer[3U] ;
  5421   struct drm_i915_error_object *batchbuffer[3U] ;
  5422   struct drm_i915_error_buffer *active_bo ;
  5423   struct drm_i915_error_buffer *pinned_bo ;
  5424   u32 active_bo_count ;
  5425   u32 pinned_bo_count ;
  5426   struct intel_overlay_error_state *overlay ;
  5427   struct intel_display_error_state *display ;
  5428};
  5429# 197 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5430struct drm_i915_display_funcs {
  5431   void (*dpms)(struct drm_crtc * , int ) ;
  5432   bool (*fbc_enabled)(struct drm_device * ) ;
  5433   void (*enable_fbc)(struct drm_crtc * , unsigned long ) ;
  5434   void (*disable_fbc)(struct drm_device * ) ;
  5435   int (*get_display_clock_speed)(struct drm_device * ) ;
  5436   int (*get_fifo_size)(struct drm_device * , int ) ;
  5437   void (*update_wm)(struct drm_device * ) ;
  5438   int (*crtc_mode_set)(struct drm_crtc * , struct drm_display_mode * , struct drm_display_mode * ,
  5439                        int , int , struct drm_framebuffer * ) ;
  5440   void (*fdi_link_train)(struct drm_crtc * ) ;
  5441   void (*init_clock_gating)(struct drm_device * ) ;
  5442   void (*init_pch_clock_gating)(struct drm_device * ) ;
  5443   int (*queue_flip)(struct drm_device * , struct drm_crtc * , struct drm_framebuffer * ,
  5444                     struct drm_i915_gem_object * ) ;
  5445};
  5446# 216 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5447struct intel_device_info {
  5448   u8 gen ;
  5449   unsigned char is_mobile : 1 ;
  5450   unsigned char is_i85x : 1 ;
  5451   unsigned char is_i915g : 1 ;
  5452   unsigned char is_i945gm : 1 ;
  5453   unsigned char is_g33 : 1 ;
  5454   unsigned char need_gfx_hws : 1 ;
  5455   unsigned char is_g4x : 1 ;
  5456   unsigned char is_pineview : 1 ;
  5457   unsigned char is_broadwater : 1 ;
  5458   unsigned char is_crestline : 1 ;
  5459   unsigned char is_ivybridge : 1 ;
  5460   unsigned char has_fbc : 1 ;
  5461   unsigned char has_pipe_cxsr : 1 ;
  5462   unsigned char has_hotplug : 1 ;
  5463   unsigned char cursor_needs_physical : 1 ;
  5464   unsigned char has_overlay : 1 ;
  5465   unsigned char overlay_needs_physical : 1 ;
  5466   unsigned char supports_tv : 1 ;
  5467   unsigned char has_bsd_ring : 1 ;
  5468   unsigned char has_blt_ring : 1 ;
  5469};
  5470# 247 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5471enum no_fbc_reason {
  5472    FBC_NO_OUTPUT = 0,
  5473    FBC_STOLEN_TOO_SMALL = 1,
  5474    FBC_UNSUPPORTED_MODE = 2,
  5475    FBC_MODE_TOO_LARGE = 3,
  5476    FBC_BAD_PLANE = 4,
  5477    FBC_NOT_TILED = 5,
  5478    FBC_MULTIPLE_PIPES = 6,
  5479    FBC_MODULE_PARAM = 7
  5480} ;
  5481# 258 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5482enum intel_pch {
  5483    PCH_IBX = 0,
  5484    PCH_CPT = 1
  5485} ;
  5486# 263 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5487struct intel_fbdev;
  5488# 264 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5489struct intel_gmbus {
  5490   struct i2c_adapter adapter ;
  5491   struct i2c_adapter *force_bit ;
  5492   u32 reg0 ;
  5493};
  5494# 284 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5495struct __anonstruct_edp_184 {
  5496   int rate ;
  5497   int lanes ;
  5498   int preemphasis ;
  5499   int vswing ;
  5500   bool initialized ;
  5501   bool support ;
  5502   int bpp ;
  5503   struct edp_power_seq pps ;
  5504};
  5505# 284 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5506struct __anonstruct_mm_185 {
  5507   struct intel_gtt const *gtt ;
  5508   struct drm_mm stolen ;
  5509   struct drm_mm gtt_space ;
  5510   struct list_head gtt_list ;
  5511   unsigned long gtt_start ;
  5512   unsigned long gtt_mappable_end ;
  5513   unsigned long gtt_end ;
  5514   struct io_mapping *gtt_mapping ;
  5515   int gtt_mtrr ;
  5516   struct shrinker inactive_shrinker ;
  5517   struct list_head active_list ;
  5518   struct list_head flushing_list ;
  5519   struct list_head inactive_list ;
  5520   struct list_head pinned_list ;
  5521   struct list_head fence_list ;
  5522   struct list_head deferred_free_list ;
  5523   struct delayed_work retire_work ;
  5524   bool interruptible ;
  5525   int suspended ;
  5526   atomic_t wedged ;
  5527   uint32_t bit_6_swizzle_x ;
  5528   uint32_t bit_6_swizzle_y ;
  5529   struct drm_i915_gem_phys_object *phys_objs[3U] ;
  5530   size_t gtt_total ;
  5531   size_t mappable_gtt_total ;
  5532   size_t object_memory ;
  5533   u32 object_count ;
  5534};
  5535# 284 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5536struct drm_i915_private {
  5537   struct drm_device *dev ;
  5538   struct intel_device_info const *info ;
  5539   int has_gem ;
  5540   int relative_constants_mode ;
  5541   void *regs ;
  5542   struct intel_gmbus *gmbus ;
  5543   struct pci_dev *bridge_dev ;
  5544   struct intel_ring_buffer ring[3U] ;
  5545   uint32_t next_seqno ;
  5546   drm_dma_handle_t *status_page_dmah ;
  5547   uint32_t counter ;
  5548   drm_local_map_t hws_map ;
  5549   struct drm_i915_gem_object *pwrctx ;
  5550   struct drm_i915_gem_object *renderctx ;
  5551   struct resource mch_res ;
  5552   unsigned int cpp ;
  5553   int back_offset ;
  5554   int front_offset ;
  5555   int current_page ;
  5556   int page_flipping ;
  5557   atomic_t irq_received ;
  5558   spinlock_t irq_lock ;
  5559   u32 pipestat[2U] ;
  5560   u32 irq_mask ;
  5561   u32 gt_irq_mask ;
  5562   u32 pch_irq_mask ;
  5563   u32 hotplug_supported_mask ;
  5564   struct work_struct hotplug_work ;
  5565   int tex_lru_log_granularity ;
  5566   int allow_batchbuffer ;
  5567   struct mem_block *agp_heap ;
  5568   unsigned int sr01 ;
  5569   unsigned int adpa ;
  5570   unsigned int ppcr ;
  5571   unsigned int dvob ;
  5572   unsigned int dvoc ;
  5573   unsigned int lvds ;
  5574   int vblank_pipe ;
  5575   int num_pipe ;
  5576   struct timer_list hangcheck_timer ;
  5577   int hangcheck_count ;
  5578   uint32_t last_acthd ;
  5579   uint32_t last_instdone ;
  5580   uint32_t last_instdone1 ;
  5581   unsigned long cfb_size ;
  5582   unsigned long cfb_pitch ;
  5583   unsigned long cfb_offset ;
  5584   int cfb_fence ;
  5585   int cfb_plane ;
  5586   int cfb_y ;
  5587   struct intel_opregion opregion ;
  5588   struct intel_overlay *overlay ;
  5589   int backlight_level ;
  5590   bool backlight_enabled ;
  5591   struct drm_display_mode *panel_fixed_mode ;
  5592   struct drm_display_mode *lfp_lvds_vbt_mode ;
  5593   struct drm_display_mode *sdvo_lvds_vbt_mode ;
  5594   unsigned char int_tv_support : 1 ;
  5595   unsigned char lvds_dither : 1 ;
  5596   unsigned char lvds_vbt : 1 ;
  5597   unsigned char int_crt_support : 1 ;
  5598   unsigned char lvds_use_ssc : 1 ;
  5599   int lvds_ssc_freq ;
  5600   struct __anonstruct_edp_184 edp ;
  5601   bool no_aux_handshake ;
  5602   struct notifier_block lid_notifier ;
  5603   int crt_ddc_pin ;
  5604   struct drm_i915_fence_reg fence_regs[16U] ;
  5605   int fence_reg_start ;
  5606   int num_fence_regs ;
  5607   unsigned int fsb_freq ;
  5608   unsigned int mem_freq ;
  5609   unsigned int is_ddr3 ;
  5610   spinlock_t error_lock ;
  5611   struct drm_i915_error_state *first_error ;
  5612   struct work_struct error_work ;
  5613   struct completion error_completion ;
  5614   struct workqueue_struct *wq ;
  5615   struct drm_i915_display_funcs display ;
  5616   enum intel_pch pch_type ;
  5617   unsigned long quirks ;
  5618   bool modeset_on_lid ;
  5619   u8 saveLBB ;
  5620   u32 saveDSPACNTR ;
  5621   u32 saveDSPBCNTR ;
  5622   u32 saveDSPARB ;
  5623   u32 saveHWS ;
  5624   u32 savePIPEACONF ;
  5625   u32 savePIPEBCONF ;
  5626   u32 savePIPEASRC ;
  5627   u32 savePIPEBSRC ;
  5628   u32 saveFPA0 ;
  5629   u32 saveFPA1 ;
  5630   u32 saveDPLL_A ;
  5631   u32 saveDPLL_A_MD ;
  5632   u32 saveHTOTAL_A ;
  5633   u32 saveHBLANK_A ;
  5634   u32 saveHSYNC_A ;
  5635   u32 saveVTOTAL_A ;
  5636   u32 saveVBLANK_A ;
  5637   u32 saveVSYNC_A ;
  5638   u32 saveBCLRPAT_A ;
  5639   u32 saveTRANSACONF ;
  5640   u32 saveTRANS_HTOTAL_A ;
  5641   u32 saveTRANS_HBLANK_A ;
  5642   u32 saveTRANS_HSYNC_A ;
  5643   u32 saveTRANS_VTOTAL_A ;
  5644   u32 saveTRANS_VBLANK_A ;
  5645   u32 saveTRANS_VSYNC_A ;
  5646   u32 savePIPEASTAT ;
  5647   u32 saveDSPASTRIDE ;
  5648   u32 saveDSPASIZE ;
  5649   u32 saveDSPAPOS ;
  5650   u32 saveDSPAADDR ;
  5651   u32 saveDSPASURF ;
  5652   u32 saveDSPATILEOFF ;
  5653   u32 savePFIT_PGM_RATIOS ;
  5654   u32 saveBLC_HIST_CTL ;
  5655   u32 saveBLC_PWM_CTL ;
  5656   u32 saveBLC_PWM_CTL2 ;
  5657   u32 saveBLC_CPU_PWM_CTL ;
  5658   u32 saveBLC_CPU_PWM_CTL2 ;
  5659   u32 saveFPB0 ;
  5660   u32 saveFPB1 ;
  5661   u32 saveDPLL_B ;
  5662   u32 saveDPLL_B_MD ;
  5663   u32 saveHTOTAL_B ;
  5664   u32 saveHBLANK_B ;
  5665   u32 saveHSYNC_B ;
  5666   u32 saveVTOTAL_B ;
  5667   u32 saveVBLANK_B ;
  5668   u32 saveVSYNC_B ;
  5669   u32 saveBCLRPAT_B ;
  5670   u32 saveTRANSBCONF ;
  5671   u32 saveTRANS_HTOTAL_B ;
  5672   u32 saveTRANS_HBLANK_B ;
  5673   u32 saveTRANS_HSYNC_B ;
  5674   u32 saveTRANS_VTOTAL_B ;
  5675   u32 saveTRANS_VBLANK_B ;
  5676   u32 saveTRANS_VSYNC_B ;
  5677   u32 savePIPEBSTAT ;
  5678   u32 saveDSPBSTRIDE ;
  5679   u32 saveDSPBSIZE ;
  5680   u32 saveDSPBPOS ;
  5681   u32 saveDSPBADDR ;
  5682   u32 saveDSPBSURF ;
  5683   u32 saveDSPBTILEOFF ;
  5684   u32 saveVGA0 ;
  5685   u32 saveVGA1 ;
  5686   u32 saveVGA_PD ;
  5687   u32 saveVGACNTRL ;
  5688   u32 saveADPA ;
  5689   u32 saveLVDS ;
  5690   u32 savePP_ON_DELAYS ;
  5691   u32 savePP_OFF_DELAYS ;
  5692   u32 saveDVOA ;
  5693   u32 saveDVOB ;
  5694   u32 saveDVOC ;
  5695   u32 savePP_ON ;
  5696   u32 savePP_OFF ;
  5697   u32 savePP_CONTROL ;
  5698   u32 savePP_DIVISOR ;
  5699   u32 savePFIT_CONTROL ;
  5700   u32 save_palette_a[256U] ;
  5701   u32 save_palette_b[256U] ;
  5702   u32 saveDPFC_CB_BASE ;
  5703   u32 saveFBC_CFB_BASE ;
  5704   u32 saveFBC_LL_BASE ;
  5705   u32 saveFBC_CONTROL ;
  5706   u32 saveFBC_CONTROL2 ;
  5707   u32 saveIER ;
  5708   u32 saveIIR ;
  5709   u32 saveIMR ;
  5710   u32 saveDEIER ;
  5711   u32 saveDEIMR ;
  5712   u32 saveGTIER ;
  5713   u32 saveGTIMR ;
  5714   u32 saveFDI_RXA_IMR ;
  5715   u32 saveFDI_RXB_IMR ;
  5716   u32 saveCACHE_MODE_0 ;
  5717   u32 saveMI_ARB_STATE ;
  5718   u32 saveSWF0[16U] ;
  5719   u32 saveSWF1[16U] ;
  5720   u32 saveSWF2[3U] ;
  5721   u8 saveMSR ;
  5722   u8 saveSR[8U] ;
  5723   u8 saveGR[25U] ;
  5724   u8 saveAR_INDEX ;
  5725   u8 saveAR[21U] ;
  5726   u8 saveDACMASK ;
  5727   u8 saveCR[37U] ;
  5728   uint64_t saveFENCE[16U] ;
  5729   u32 saveCURACNTR ;
  5730   u32 saveCURAPOS ;
  5731   u32 saveCURABASE ;
  5732   u32 saveCURBCNTR ;
  5733   u32 saveCURBPOS ;
  5734   u32 saveCURBBASE ;
  5735   u32 saveCURSIZE ;
  5736   u32 saveDP_B ;
  5737   u32 saveDP_C ;
  5738   u32 saveDP_D ;
  5739   u32 savePIPEA_GMCH_DATA_M ;
  5740   u32 savePIPEB_GMCH_DATA_M ;
  5741   u32 savePIPEA_GMCH_DATA_N ;
  5742   u32 savePIPEB_GMCH_DATA_N ;
  5743   u32 savePIPEA_DP_LINK_M ;
  5744   u32 savePIPEB_DP_LINK_M ;
  5745   u32 savePIPEA_DP_LINK_N ;
  5746   u32 savePIPEB_DP_LINK_N ;
  5747   u32 saveFDI_RXA_CTL ;
  5748   u32 saveFDI_TXA_CTL ;
  5749   u32 saveFDI_RXB_CTL ;
  5750   u32 saveFDI_TXB_CTL ;
  5751   u32 savePFA_CTL_1 ;
  5752   u32 savePFB_CTL_1 ;
  5753   u32 savePFA_WIN_SZ ;
  5754   u32 savePFB_WIN_SZ ;
  5755   u32 savePFA_WIN_POS ;
  5756   u32 savePFB_WIN_POS ;
  5757   u32 savePCH_DREF_CONTROL ;
  5758   u32 saveDISP_ARB_CTL ;
  5759   u32 savePIPEA_DATA_M1 ;
  5760   u32 savePIPEA_DATA_N1 ;
  5761   u32 savePIPEA_LINK_M1 ;
  5762   u32 savePIPEA_LINK_N1 ;
  5763   u32 savePIPEB_DATA_M1 ;
  5764   u32 savePIPEB_DATA_N1 ;
  5765   u32 savePIPEB_LINK_M1 ;
  5766   u32 savePIPEB_LINK_N1 ;
  5767   u32 saveMCHBAR_RENDER_STANDBY ;
  5768   struct __anonstruct_mm_185 mm ;
  5769   struct sdvo_device_mapping sdvo_mappings[2U] ;
  5770   unsigned int lvds_border_bits ;
  5771   u32 pch_pf_pos ;
  5772   u32 pch_pf_size ;
  5773   int panel_t3 ;
  5774   int panel_t12 ;
  5775   struct drm_crtc *plane_to_crtc_mapping[2U] ;
  5776   struct drm_crtc *pipe_to_crtc_mapping[2U] ;
  5777   wait_queue_head_t pending_flip_queue ;
  5778   bool flip_pending_is_done ;
  5779   bool render_reclock_avail ;
  5780   bool lvds_downclock_avail ;
  5781   int lvds_downclock ;
  5782   struct work_struct idle_work ;
  5783   struct timer_list idle_timer ;
  5784   bool busy ;
  5785   u16 orig_clock ;
  5786   int child_dev_num ;
  5787   struct child_device_config *child_dev ;
  5788   struct drm_connector *int_lvds_connector ;
  5789   bool mchbar_need_disable ;
  5790   struct work_struct rps_work ;
  5791   spinlock_t rps_lock ;
  5792   u32 pm_iir ;
  5793   u8 cur_delay ;
  5794   u8 min_delay ;
  5795   u8 max_delay ;
  5796   u8 fmax ;
  5797   u8 fstart ;
  5798   u64 last_count1 ;
  5799   unsigned long last_time1 ;
  5800   u64 last_count2 ;
  5801   struct timespec last_time2 ;
  5802   unsigned long gfx_power ;
  5803   int c_m ;
  5804   int r_t ;
  5805   u8 corr ;
  5806   spinlock_t *mchdev_lock ;
  5807   enum no_fbc_reason no_fbc_reason ;
  5808   struct drm_mm_node *compressed_fb ;
  5809   struct drm_mm_node *compressed_llb ;
  5810   unsigned long last_gpu_reset ;
  5811   struct intel_fbdev *fbdev ;
  5812   struct drm_property *broadcast_rgb_property ;
  5813   struct drm_property *force_audio_property ;
  5814   atomic_t forcewake_count ;
  5815};
  5816# 726 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5817typedef struct drm_i915_private drm_i915_private_t;
  5818# 733 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5819struct drm_i915_gem_object {
  5820   struct drm_gem_object base ;
  5821   struct drm_mm_node *gtt_space ;
  5822   struct list_head gtt_list ;
  5823   struct list_head ring_list ;
  5824   struct list_head mm_list ;
  5825   struct list_head gpu_write_list ;
  5826   struct list_head exec_list ;
  5827   unsigned char active : 1 ;
  5828   unsigned char dirty : 1 ;
  5829   unsigned char pending_gpu_write : 1 ;
  5830   signed char fence_reg : 5 ;
  5831   unsigned char madv : 2 ;
  5832   unsigned char tiling_mode : 2 ;
  5833   unsigned char tiling_changed : 1 ;
  5834   unsigned char pin_count : 4 ;
  5835   unsigned char map_and_fenceable : 1 ;
  5836   unsigned char fault_mappable : 1 ;
  5837   unsigned char pin_mappable : 1 ;
  5838   unsigned char pending_fenced_gpu_access : 1 ;
  5839   unsigned char fenced_gpu_access : 1 ;
  5840   unsigned char cache_level : 2 ;
  5841   struct page **pages ;
  5842   struct scatterlist *sg_list ;
  5843   int num_sg ;
  5844   struct hlist_node exec_node ;
  5845   unsigned long exec_handle ;
  5846   struct drm_i915_gem_exec_object2 *exec_entry ;
  5847   uint32_t gtt_offset ;
  5848   uint32_t last_rendering_seqno ;
  5849   struct intel_ring_buffer *ring ;
  5850   uint32_t last_fenced_seqno ;
  5851   struct intel_ring_buffer *last_fenced_ring ;
  5852   uint32_t stride ;
  5853   unsigned long *bit_17 ;
  5854   uint8_t *page_cpu_valid ;
  5855   uint32_t user_pin_count ;
  5856   struct drm_file *pin_filp ;
  5857   struct drm_i915_gem_phys_object *phys_obj ;
  5858   atomic_t pending_flip ;
  5859};
  5860# 147 "include/drm/drm_crtc_helper.h"
  5861struct drm_fb_helper;
  5862# 148 "include/drm/drm_crtc_helper.h"
  5863struct drm_fb_helper_crtc {
  5864   uint32_t crtc_id ;
  5865   struct drm_mode_set mode_set ;
  5866   struct drm_display_mode *desired_mode ;
  5867};
  5868# 42 "include/drm/drm_fb_helper.h"
  5869struct drm_fb_helper_surface_size {
  5870   u32 fb_width ;
  5871   u32 fb_height ;
  5872   u32 surface_width ;
  5873   u32 surface_height ;
  5874   u32 surface_bpp ;
  5875   u32 surface_depth ;
  5876};
  5877# 51 "include/drm/drm_fb_helper.h"
  5878struct drm_fb_helper_funcs {
  5879   void (*gamma_set)(struct drm_crtc * , u16 , u16 , u16 , int ) ;
  5880   void (*gamma_get)(struct drm_crtc * , u16 * , u16 * , u16 * , int ) ;
  5881   int (*fb_probe)(struct drm_fb_helper * , struct drm_fb_helper_surface_size * ) ;
  5882};
  5883# 60 "include/drm/drm_fb_helper.h"
  5884struct drm_fb_helper_connector {
  5885   struct drm_connector *connector ;
  5886   struct drm_cmdline_mode cmdline_mode ;
  5887};
  5888# 66 "include/drm/drm_fb_helper.h"
  5889struct drm_fb_helper {
  5890   struct drm_framebuffer *fb ;
  5891   struct drm_framebuffer *saved_fb ;
  5892   struct drm_device *dev ;
  5893   struct drm_display_mode *mode ;
  5894   int crtc_count ;
  5895   struct drm_fb_helper_crtc *crtc_info ;
  5896   int connector_count ;
  5897   struct drm_fb_helper_connector **connector_info ;
  5898   struct drm_fb_helper_funcs *funcs ;
  5899   int conn_limit ;
  5900   struct fb_info *fbdev ;
  5901   u32 pseudo_palette[17U] ;
  5902   struct list_head kernel_fb_list ;
  5903   bool delayed_hotplug ;
  5904};
  5905# 127 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
  5906struct intel_framebuffer {
  5907   struct drm_framebuffer base ;
  5908   struct drm_i915_gem_object *obj ;
  5909};
  5910# 132 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
  5911struct intel_fbdev {
  5912   struct drm_fb_helper helper ;
  5913   struct intel_framebuffer ifb ;
  5914   struct list_head fbdev_list ;
  5915   struct drm_display_mode *our_mode ;
  5916};
  5917# 290 "include/linux/timer.h"
  5918enum hrtimer_restart;
  5919# 290 "include/linux/timer.h"
  5920enum hrtimer_restart;
  5921# 43 "include/drm/drm.h"
  5922typedef unsigned int drm_handle_t;
  5923# 99 "include/drm/drm.h"
  5924struct drm_tex_region {
  5925   unsigned char next ;
  5926   unsigned char prev ;
  5927   unsigned char in_use ;
  5928   unsigned char padding ;
  5929   unsigned int age ;
  5930};
  5931# 120 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5932struct _drm_i915_sarea;
  5933# 120 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5934struct drm_i915_master_private {
  5935   drm_local_map_t *sarea ;
  5936   struct _drm_i915_sarea *sarea_priv ;
  5937};
  5938# 879 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5939struct drm_i915_file_private;
  5940# 909 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5941struct __anonstruct_mm_186 {
  5942   struct spinlock lock ;
  5943   struct list_head request_list ;
  5944};
  5945# 909 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  5946struct drm_i915_file_private {
  5947   struct __anonstruct_mm_186 mm ;
  5948};
  5949# 43 "include/drm/i915_drm.h"
  5950enum ldv_26036 {
  5951    I915_INIT_DMA = 1,
  5952    I915_CLEANUP_DMA = 2,
  5953    I915_RESUME_DMA = 3
  5954} ;
  5955# 49 "include/drm/i915_drm.h"
  5956struct _drm_i915_init {
  5957   enum ldv_26036 func ;
  5958   unsigned int mmio_offset ;
  5959   int sarea_priv_offset ;
  5960   unsigned int ring_start ;
  5961   unsigned int ring_end ;
  5962   unsigned int ring_size ;
  5963   unsigned int front_offset ;
  5964   unsigned int back_offset ;
  5965   unsigned int depth_offset ;
  5966   unsigned int w ;
  5967   unsigned int h ;
  5968   unsigned int pitch ;
  5969   unsigned int pitch_bits ;
  5970   unsigned int back_pitch ;
  5971   unsigned int depth_pitch ;
  5972   unsigned int cpp ;
  5973   unsigned int chipset ;
  5974};
  5975# 73 "include/drm/i915_drm.h"
  5976typedef struct _drm_i915_init drm_i915_init_t;
  5977# 74 "include/drm/i915_drm.h"
  5978struct _drm_i915_sarea {
  5979   struct drm_tex_region texList[256U] ;
  5980   int last_upload ;
  5981   int last_enqueue ;
  5982   int last_dispatch ;
  5983   int ctxOwner ;
  5984   int texAge ;
  5985   int pf_enabled ;
  5986   int pf_active ;
  5987   int pf_current_page ;
  5988   int perf_boxes ;
  5989   int width ;
  5990   int height ;
  5991   drm_handle_t front_handle ;
  5992   int front_offset ;
  5993   int front_size ;
  5994   drm_handle_t back_handle ;
  5995   int back_offset ;
  5996   int back_size ;
  5997   drm_handle_t depth_handle ;
  5998   int depth_offset ;
  5999   int depth_size ;
  6000   drm_handle_t tex_handle ;
  6001   int tex_offset ;
  6002   int tex_size ;
  6003   int log_tex_granularity ;
  6004   int pitch ;
  6005   int rotation ;
  6006   int rotated_offset ;
  6007   int rotated_size ;
  6008   int rotated_pitch ;
  6009   int virtualX ;
  6010   int virtualY ;
  6011   unsigned int front_tiled ;
  6012   unsigned int back_tiled ;
  6013   unsigned int depth_tiled ;
  6014   unsigned int rotated_tiled ;
  6015   unsigned int rotated2_tiled ;
  6016   int pipeA_x ;
  6017   int pipeA_y ;
  6018   int pipeA_w ;
  6019   int pipeA_h ;
  6020   int pipeB_x ;
  6021   int pipeB_y ;
  6022   int pipeB_w ;
  6023   int pipeB_h ;
  6024   drm_handle_t unused_handle ;
  6025   __u32 unused1 ;
  6026   __u32 unused2 ;
  6027   __u32 unused3 ;
  6028   __u32 front_bo_handle ;
  6029   __u32 back_bo_handle ;
  6030   __u32 unused_bo_handle ;
  6031   __u32 depth_bo_handle ;
  6032};
  6033# 138 "include/drm/i915_drm.h"
  6034typedef struct _drm_i915_sarea drm_i915_sarea_t;
  6035# 139 "include/drm/i915_drm.h"
  6036struct drm_i915_batchbuffer {
  6037   int start ;
  6038   int used ;
  6039   int DR1 ;
  6040   int DR4 ;
  6041   int num_cliprects ;
  6042   struct drm_clip_rect *cliprects ;
  6043};
  6044# 253 "include/drm/i915_drm.h"
  6045typedef struct drm_i915_batchbuffer drm_i915_batchbuffer_t;
  6046# 254 "include/drm/i915_drm.h"
  6047struct _drm_i915_cmdbuffer {
  6048   char *buf ;
  6049   int sz ;
  6050   int DR1 ;
  6051   int DR4 ;
  6052   int num_cliprects ;
  6053   struct drm_clip_rect *cliprects ;
  6054};
  6055# 265 "include/drm/i915_drm.h"
  6056typedef struct _drm_i915_cmdbuffer drm_i915_cmdbuffer_t;
  6057# 276 "include/drm/i915_drm.h"
  6058struct drm_i915_getparam {
  6059   int param ;
  6060   int *value ;
  6061};
  6062# 298 "include/drm/i915_drm.h"
  6063typedef struct drm_i915_getparam drm_i915_getparam_t;
  6064# 299 "include/drm/i915_drm.h"
  6065struct drm_i915_setparam {
  6066   int param ;
  6067   int value ;
  6068};
  6069# 310 "include/drm/i915_drm.h"
  6070typedef struct drm_i915_setparam drm_i915_setparam_t;
  6071# 357 "include/drm/i915_drm.h"
  6072struct drm_i915_hws_addr {
  6073   __u64 addr ;
  6074};
  6075# 360 "include/drm/i915_drm.h"
  6076typedef struct drm_i915_hws_addr drm_i915_hws_addr_t;
  6077# 471 "include/linux/pnp.h"
  6078enum vga_switcheroo_state {
  6079    VGA_SWITCHEROO_OFF = 0,
  6080    VGA_SWITCHEROO_ON = 1
  6081} ;
  6082# 1438 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_dma.c.p"
  6083struct cparams {
  6084   u16 i ;
  6085   u16 t ;
  6086   u16 m ;
  6087   u16 c ;
  6088};
  6089# 1513 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_dma.c.p"
  6090struct v_table {
  6091   u16 vd ;
  6092   u16 vm ;
  6093};
  6094# 108 "include/linux/types.h"
  6095typedef __s16 int16_t;
  6096# 125 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  6097struct paravirt_callee_save {
  6098   void *func ;
  6099};
  6100# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  6101struct pv_irq_ops {
  6102   struct paravirt_callee_save save_fl ;
  6103   struct paravirt_callee_save restore_fl ;
  6104   struct paravirt_callee_save irq_disable ;
  6105   struct paravirt_callee_save irq_enable ;
  6106   void (*safe_halt)(void) ;
  6107   void (*halt)(void) ;
  6108   void (*adjust_exception_frame)(void) ;
  6109};
  6110# 28 "include/linux/wait.h"
  6111struct __wait_queue;
  6112# 28 "include/linux/wait.h"
  6113typedef struct __wait_queue wait_queue_t;
  6114# 31 "include/linux/wait.h"
  6115struct __wait_queue {
  6116   unsigned int flags ;
  6117   void *private ;
  6118   int (*func)(wait_queue_t * , unsigned int , int , void * ) ;
  6119   struct list_head task_list ;
  6120};
  6121# 290 "include/linux/timer.h"
  6122enum hrtimer_restart;
  6123# 290 "include/linux/timer.h"
  6124enum hrtimer_restart;
  6125# 39 "include/linux/kobject.h"
  6126enum kobject_action {
  6127    KOBJ_ADD = 0,
  6128    KOBJ_REMOVE = 1,
  6129    KOBJ_CHANGE = 2,
  6130    KOBJ_MOVE = 3,
  6131    KOBJ_ONLINE = 4,
  6132    KOBJ_OFFLINE = 5,
  6133    KOBJ_MAX = 6
  6134} ;
  6135# 266 "include/drm/i915_drm.h"
  6136struct drm_i915_irq_emit {
  6137   int *irq_seq ;
  6138};
  6139# 271 "include/drm/i915_drm.h"
  6140typedef struct drm_i915_irq_emit drm_i915_irq_emit_t;
  6141# 272 "include/drm/i915_drm.h"
  6142struct drm_i915_irq_wait {
  6143   int irq_seq ;
  6144};
  6145# 275 "include/drm/i915_drm.h"
  6146typedef struct drm_i915_irq_wait drm_i915_irq_wait_t;
  6147# 340 "include/drm/i915_drm.h"
  6148struct drm_i915_vblank_pipe {
  6149   int pipe ;
  6150};
  6151# 348 "include/drm/i915_drm.h"
  6152typedef struct drm_i915_vblank_pipe drm_i915_vblank_pipe_t;
  6153# 28 "include/drm/intel-gtt.h"
  6154enum pipe {
  6155    PIPE_A = 0,
  6156    PIPE_B = 1,
  6157    PIPE_C = 2,
  6158    I915_MAX_PIPES = 3
  6159} ;
  6160# 35 "include/drm/intel-gtt.h"
  6161enum plane {
  6162    PLANE_A = 0,
  6163    PLANE_B = 1,
  6164    PLANE_C = 2
  6165} ;
  6166# 879 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  6167struct drm_i915_gem_request {
  6168   struct intel_ring_buffer *ring ;
  6169   uint32_t seqno ;
  6170   unsigned long emitted_jiffies ;
  6171   struct list_head list ;
  6172   struct drm_i915_file_private *file_priv ;
  6173   struct list_head client_list ;
  6174};
  6175# 139 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
  6176struct intel_encoder {
  6177   struct drm_encoder base ;
  6178   int type ;
  6179   bool needs_tv_clock ;
  6180   void (*hot_plug)(struct intel_encoder * ) ;
  6181   int crtc_mask ;
  6182   int clone_mask ;
  6183};
  6184# 153 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
  6185struct intel_unpin_work;
  6186# 153 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
  6187struct intel_crtc {
  6188   struct drm_crtc base ;
  6189   enum pipe pipe ;
  6190   enum plane plane ;
  6191   u8 lut_r[256U] ;
  6192   u8 lut_g[256U] ;
  6193   u8 lut_b[256U] ;
  6194   int dpms_mode ;
  6195   bool active ;
  6196   bool busy ;
  6197   struct timer_list idle_timer ;
  6198   bool lowfreq_avail ;
  6199   struct intel_overlay *overlay ;
  6200   struct intel_unpin_work *unpin_work ;
  6201   int fdi_lanes ;
  6202   struct drm_i915_gem_object *cursor_bo ;
  6203   uint32_t cursor_addr ;
  6204   int16_t cursor_x ;
  6205   int16_t cursor_y ;
  6206   int16_t cursor_width ;
  6207   int16_t cursor_height ;
  6208   bool cursor_visible ;
  6209};
  6210# 225 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
  6211struct intel_unpin_work {
  6212   struct work_struct work ;
  6213   struct drm_device *dev ;
  6214   struct drm_i915_gem_object *old_fb_obj ;
  6215   struct drm_i915_gem_object *pending_flip_obj ;
  6216   struct drm_pending_vblank_event *event ;
  6217   int pending ;
  6218   bool enable_stall_check ;
  6219};
  6220# 290 "include/linux/timer.h"
  6221enum hrtimer_restart;
  6222# 290 "include/linux/timer.h"
  6223enum hrtimer_restart;
  6224# 311 "include/drm/i915_drm.h"
  6225struct drm_i915_mem_alloc {
  6226   int region ;
  6227   int alignment ;
  6228   int size ;
  6229   int *region_offset ;
  6230};
  6231# 321 "include/drm/i915_drm.h"
  6232typedef struct drm_i915_mem_alloc drm_i915_mem_alloc_t;
  6233# 322 "include/drm/i915_drm.h"
  6234struct drm_i915_mem_free {
  6235   int region ;
  6236   int region_offset ;
  6237};
  6238# 326 "include/drm/i915_drm.h"
  6239typedef struct drm_i915_mem_free drm_i915_mem_free_t;
  6240# 327 "include/drm/i915_drm.h"
  6241struct drm_i915_mem_init_heap {
  6242   int region ;
  6243   int size ;
  6244   int start ;
  6245};
  6246# 332 "include/drm/i915_drm.h"
  6247typedef struct drm_i915_mem_init_heap drm_i915_mem_init_heap_t;
  6248# 333 "include/drm/i915_drm.h"
  6249struct drm_i915_mem_destroy_heap {
  6250   int region ;
  6251};
  6252# 339 "include/drm/i915_drm.h"
  6253typedef struct drm_i915_mem_destroy_heap drm_i915_mem_destroy_heap_t;
  6254# 44 "include/linux/types.h"
  6255typedef unsigned long uintptr_t;
  6256# 290 "include/linux/timer.h"
  6257enum hrtimer_restart;
  6258# 290 "include/linux/timer.h"
  6259enum hrtimer_restart;
  6260# 290 "include/linux/timer.h"
  6261enum hrtimer_restart;
  6262# 290 "include/linux/timer.h"
  6263enum hrtimer_restart;
  6264# 290 "include/linux/timer.h"
  6265enum hrtimer_restart;
  6266# 290 "include/linux/timer.h"
  6267enum hrtimer_restart;
  6268# 230 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess.h"
  6269struct __large_struct {
  6270   unsigned long buf[100U] ;
  6271};
  6272# 594 "include/drm/drmP.h"
  6273struct drm_gem_mm {
  6274   struct drm_mm offset_manager ;
  6275   struct drm_open_hash offset_hash ;
  6276};
  6277# 361 "include/drm/i915_drm.h"
  6278struct drm_i915_gem_init {
  6279   __u64 gtt_start ;
  6280   __u64 gtt_end ;
  6281};
  6282# 374 "include/drm/i915_drm.h"
  6283struct drm_i915_gem_create {
  6284   __u64 size ;
  6285   __u32 handle ;
  6286   __u32 pad ;
  6287};
  6288# 390 "include/drm/i915_drm.h"
  6289struct drm_i915_gem_pread {
  6290   __u32 handle ;
  6291   __u32 pad ;
  6292   __u64 offset ;
  6293   __u64 size ;
  6294   __u64 data_ptr ;
  6295};
  6296# 406 "include/drm/i915_drm.h"
  6297struct drm_i915_gem_pwrite {
  6298   __u32 handle ;
  6299   __u32 pad ;
  6300   __u64 offset ;
  6301   __u64 size ;
  6302   __u64 data_ptr ;
  6303};
  6304# 422 "include/drm/i915_drm.h"
  6305struct drm_i915_gem_mmap {
  6306   __u32 handle ;
  6307   __u32 pad ;
  6308   __u64 offset ;
  6309   __u64 size ;
  6310   __u64 addr_ptr ;
  6311};
  6312# 442 "include/drm/i915_drm.h"
  6313struct drm_i915_gem_mmap_gtt {
  6314   __u32 handle ;
  6315   __u32 pad ;
  6316   __u64 offset ;
  6317};
  6318# 454 "include/drm/i915_drm.h"
  6319struct drm_i915_gem_set_domain {
  6320   __u32 handle ;
  6321   __u32 read_domains ;
  6322   __u32 write_domain ;
  6323};
  6324# 465 "include/drm/i915_drm.h"
  6325struct drm_i915_gem_sw_finish {
  6326   __u32 handle ;
  6327};
  6328# 655 "include/drm/i915_drm.h"
  6329struct drm_i915_gem_pin {
  6330   __u32 handle ;
  6331   __u32 pad ;
  6332   __u64 alignment ;
  6333   __u64 offset ;
  6334};
  6335# 673 "include/drm/i915_drm.h"
  6336struct drm_i915_gem_busy {
  6337   __u32 handle ;
  6338   __u32 busy ;
  6339};
  6340# 744 "include/drm/i915_drm.h"
  6341struct drm_i915_gem_get_aperture {
  6342   __u64 aper_size ;
  6343   __u64 aper_available_size ;
  6344};
  6345# 763 "include/drm/i915_drm.h"
  6346struct drm_i915_gem_madvise {
  6347   __u32 handle ;
  6348   __u32 madv ;
  6349   __u32 retained ;
  6350};
  6351# 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
  6352struct taskstats {
  6353   __u16 version ;
  6354   __u32 ac_exitcode ;
  6355   __u8 ac_flag ;
  6356   __u8 ac_nice ;
  6357   __u64 cpu_count ;
  6358   __u64 cpu_delay_total ;
  6359   __u64 blkio_count ;
  6360   __u64 blkio_delay_total ;
  6361   __u64 swapin_count ;
  6362   __u64 swapin_delay_total ;
  6363   __u64 cpu_run_real_total ;
  6364   __u64 cpu_run_virtual_total ;
  6365   char ac_comm[32U] ;
  6366   __u8 ac_sched ;
  6367   __u8 ac_pad[3U] ;
  6368   __u32 ac_uid ;
  6369   __u32 ac_gid ;
  6370   __u32 ac_pid ;
  6371   __u32 ac_ppid ;
  6372   __u32 ac_btime ;
  6373   __u64 ac_etime ;
  6374   __u64 ac_utime ;
  6375   __u64 ac_stime ;
  6376   __u64 ac_minflt ;
  6377   __u64 ac_majflt ;
  6378   __u64 coremem ;
  6379   __u64 virtmem ;
  6380   __u64 hiwater_rss ;
  6381   __u64 hiwater_vm ;
  6382   __u64 read_char ;
  6383   __u64 write_char ;
  6384   __u64 read_syscalls ;
  6385   __u64 write_syscalls ;
  6386   __u64 read_bytes ;
  6387   __u64 write_bytes ;
  6388   __u64 cancelled_write_bytes ;
  6389   __u64 nvcsw ;
  6390   __u64 nivcsw ;
  6391   __u64 ac_utimescaled ;
  6392   __u64 ac_stimescaled ;
  6393   __u64 cpu_scaled_run_real_total ;
  6394   __u64 freepages_count ;
  6395   __u64 freepages_delay_total ;
  6396};
  6397# 55 "include/linux/prio_heap.h"
  6398struct cgroupfs_root;
  6399# 57 "include/linux/prio_heap.h"
  6400struct cgroup;
  6401# 58 "include/linux/prio_heap.h"
  6402struct css_id;
  6403# 56 "include/linux/cgroup.h"
  6404struct cgroup_subsys_state {
  6405   struct cgroup *cgroup ;
  6406   atomic_t refcnt ;
  6407   unsigned long flags ;
  6408   struct css_id *id ;
  6409};
  6410# 194 "include/linux/cgroup.h"
  6411struct cgroup {
  6412   unsigned long flags ;
  6413   atomic_t count ;
  6414   struct list_head sibling ;
  6415   struct list_head children ;
  6416   struct cgroup *parent ;
  6417   struct dentry *dentry ;
  6418   struct cgroup_subsys_state *subsys[64U] ;
  6419   struct cgroupfs_root *root ;
  6420   struct cgroup *top_cgroup ;
  6421   struct list_head css_sets ;
  6422   struct list_head release_list ;
  6423   struct list_head pidlists ;
  6424   struct mutex pidlist_mutex ;
  6425   struct rcu_head rcu_head ;
  6426   struct list_head event_list ;
  6427   spinlock_t event_list_lock ;
  6428};
  6429# 247 "include/linux/cgroup.h"
  6430struct css_set {
  6431   atomic_t refcount ;
  6432   struct hlist_node hlist ;
  6433   struct list_head tasks ;
  6434   struct list_head cg_links ;
  6435   struct cgroup_subsys_state *subsys[64U] ;
  6436   struct rcu_head rcu_head ;
  6437};
  6438# 105 "include/linux/swap.h"
  6439struct reclaim_state {
  6440   unsigned long reclaimed_slab ;
  6441};
  6442# 391 "include/linux/swap.h"
  6443union __anonunion_v_193 {
  6444   short preferred_node ;
  6445   nodemask_t nodes ;
  6446};
  6447# 391 "include/linux/swap.h"
  6448union __anonunion_w_194 {
  6449   nodemask_t cpuset_mems_allowed ;
  6450   nodemask_t user_nodemask ;
  6451};
  6452# 391 "include/linux/swap.h"
  6453struct mempolicy {
  6454   atomic_t refcnt ;
  6455   unsigned short mode ;
  6456   unsigned short flags ;
  6457   union __anonunion_v_193 v ;
  6458   union __anonunion_w_194 w ;
  6459};
  6460# 290 "include/linux/timer.h"
  6461enum hrtimer_restart;
  6462# 290 "include/linux/timer.h"
  6463enum hrtimer_restart;
  6464# 290 "include/linux/timer.h"
  6465enum hrtimer_restart;
  6466# 290 "include/linux/timer.h"
  6467enum hrtimer_restart;
  6468# 290 "include/linux/timer.h"
  6469enum hrtimer_restart;
  6470# 290 "include/linux/timer.h"
  6471enum hrtimer_restart;
  6472# 470 "include/drm/i915_drm.h"
  6473struct drm_i915_gem_relocation_entry {
  6474   __u32 target_handle ;
  6475   __u32 delta ;
  6476   __u64 offset ;
  6477   __u64 presumed_offset ;
  6478   __u32 read_domains ;
  6479   __u32 write_domain ;
  6480};
  6481# 515 "include/drm/i915_drm.h"
  6482struct drm_i915_gem_exec_object {
  6483   __u32 handle ;
  6484   __u32 relocation_count ;
  6485   __u64 relocs_ptr ;
  6486   __u64 alignment ;
  6487   __u64 offset ;
  6488};
  6489# 563 "include/drm/i915_drm.h"
  6490struct drm_i915_gem_execbuffer {
  6491   __u64 buffers_ptr ;
  6492   __u32 buffer_count ;
  6493   __u32 batch_start_offset ;
  6494   __u32 batch_len ;
  6495   __u32 DR1 ;
  6496   __u32 DR4 ;
  6497   __u32 num_cliprects ;
  6498   __u64 cliprects_ptr ;
  6499};
  6500# 618 "include/drm/i915_drm.h"
  6501struct drm_i915_gem_execbuffer2 {
  6502   __u64 buffers_ptr ;
  6503   __u32 buffer_count ;
  6504   __u32 batch_start_offset ;
  6505   __u32 batch_len ;
  6506   __u32 DR1 ;
  6507   __u32 DR4 ;
  6508   __u32 num_cliprects ;
  6509   __u64 cliprects_ptr ;
  6510   __u64 flags ;
  6511   __u64 rsvd1 ;
  6512   __u64 rsvd2 ;
  6513};
  6514# 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/intel_drv.h"
  6515struct change_domains {
  6516   uint32_t invalidate_domains ;
  6517   uint32_t flush_domains ;
  6518   uint32_t flush_rings ;
  6519   uint32_t flips ;
  6520};
  6521# 216 "/anthill/stuff/tacas-comp/work/current--X--drivers/gpu/drm/i915/i915.ko--X--safe-main18linux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/46/dscv_tempdir/dscv/ri/08_1/drivers/gpu/drm/i915/i915_gem_execbuffer.c.p"
  6522struct eb_objects {
  6523   int and ;
  6524   struct hlist_head buckets[0U] ;
  6525};
  6526# 290 "include/linux/timer.h"
  6527enum hrtimer_restart;
  6528# 290 "include/linux/timer.h"
  6529enum hrtimer_restart;
  6530# 727 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/drivers/gpu/drm/i915/i915_drv.h"
  6531enum i915_cache_level {
  6532    I915_CACHE_NONE = 0,
  6533    I915_CACHE_LLC = 1,
  6534    I915_CACHE_LLC_MLC = 2
  6535} ;
  6536# 290 "include/linux/timer.h"
  6537enum hrtimer_restart;
  6538# 290 "include/linux/timer.h"
  6539enum hrtimer_restart;
  6540# 681 "include/drm/i915_drm.h"
  6541struct drm_i915_gem_set_tiling {
  6542   __u32 handle ;
  6543   __u32 tiling_mode ;
  6544   __u32 stride ;
  6545   __u32 swizzle_mode ;
  6546};
  6547# 727 "include/drm/i915_drm.h"
  6548struct drm_i915_gem_get_tiling {
  6549   __u32 handle ;
  6550   __u32 tiling_mode ;
  6551   __u32 swizzle_mode ;
  6552};
  6553# 290 "include/linux/timer.h"
  6554enum hrtimer_restart;
  6555# 290 "include/linux/timer.h"
  6556enum hrtimer_restart;
  6557# 335 "include/linux/slab.h"
  6558struct net;
  6559# 1059 "include/linux/sched.h"
  6560struct uts_namespace;
  6561# 389 "drivers/gpu/drm/i915/./i915_trace.h"
  6562struct ring_buffer_iter;
  6563# 175 "include/linux/ring_buffer.h"
  6564struct trace_seq;
  6565# 185 "include/linux/ring_buffer.h"
  6566struct trace_seq {
  6567   unsigned char buffer[4096U] ;
  6568   unsigned int len ;
  6569   unsigned int readpos ;
  6570   int full ;
  6571};
  6572# 130 "include/linux/trace_seq.h"
  6573union __anonunion_ldv_37100_187 {
  6574   __u64 sample_period ;
  6575   __u64 sample_freq ;
  6576};
  6577# 130 "include/linux/trace_seq.h"
  6578union __anonunion_ldv_37125_188 {
  6579   __u32 wakeup_events ;
  6580   __u32 wakeup_watermark ;
  6581};
  6582# 130 "include/linux/trace_seq.h"
  6583union __anonunion_ldv_37130_189 {
  6584   __u64 bp_addr ;
  6585   __u64 config1 ;
  6586};
  6587# 130 "include/linux/trace_seq.h"
  6588union __anonunion_ldv_37134_190 {
  6589   __u64 bp_len ;
  6590   __u64 config2 ;
  6591};
  6592# 130 "include/linux/trace_seq.h"
  6593struct perf_event_attr {
  6594   __u32 type ;
  6595   __u32 size ;
  6596   __u64 config ;
  6597   union __anonunion_ldv_37100_187 ldv_37100 ;
  6598   __u64 sample_type ;
  6599   __u64 read_format ;
  6600   unsigned char disabled : 1 ;
  6601   unsigned char inherit : 1 ;
  6602   unsigned char pinned : 1 ;
  6603   unsigned char exclusive : 1 ;
  6604   unsigned char exclude_user : 1 ;
  6605   unsigned char exclude_kernel : 1 ;
  6606   unsigned char exclude_hv : 1 ;
  6607   unsigned char exclude_idle : 1 ;
  6608   unsigned char mmap : 1 ;
  6609   unsigned char comm : 1 ;
  6610   unsigned char freq : 1 ;
  6611   unsigned char inherit_stat : 1 ;
  6612   unsigned char enable_on_exec : 1 ;
  6613   unsigned char task : 1 ;
  6614   unsigned char watermark : 1 ;
  6615   unsigned char precise_ip : 2 ;
  6616   unsigned char mmap_data : 1 ;
  6617   unsigned char sample_id_all : 1 ;
  6618   unsigned long __reserved_1 : 45 ;
  6619   union __anonunion_ldv_37125_188 ldv_37125 ;
  6620   __u32 bp_type ;
  6621   union __anonunion_ldv_37130_189 ldv_37130 ;
  6622   union __anonunion_ldv_37134_190 ldv_37134 ;
  6623};
  6624# 243 "include/linux/perf_event.h"
  6625struct perf_event_mmap_page {
  6626   __u32 version ;
  6627   __u32 compat_version ;
  6628   __u32 lock ;
  6629   __u32 index ;
  6630   __s64 offset ;
  6631   __u64 time_enabled ;
  6632   __u64 time_running ;
  6633   __u64 __reserved[123U] ;
  6634   __u64 data_head ;
  6635   __u64 data_tail ;
  6636};
  6637# 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/local.h"
  6638struct __anonstruct_local_t_194 {
  6639   atomic_long_t a ;
  6640};
  6641# 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/local.h"
  6642typedef struct __anonstruct_local_t_194 local_t;
  6643# 25 "include/asm-generic/local64.h"
  6644struct __anonstruct_local64_t_195 {
  6645   local_t a ;
  6646};
  6647# 25 "include/asm-generic/local64.h"
  6648typedef struct __anonstruct_local64_t_195 local64_t;
  6649# 493 "include/linux/perf_event.h"
  6650struct arch_hw_breakpoint {
  6651   unsigned long address ;
  6652   u8 len ;
  6653   u8 type ;
  6654};
  6655# 48 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/hw_breakpoint.h"
  6656struct pmu;
  6657# 73 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/hw_breakpoint.h"
  6658struct mnt_namespace;
  6659# 74 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/hw_breakpoint.h"
  6660struct ipc_namespace;
  6661# 75 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/hw_breakpoint.h"
  6662struct nsproxy {
  6663   atomic_t count ;
  6664   struct uts_namespace *uts_ns ;
  6665   struct ipc_namespace *ipc_ns ;
  6666   struct mnt_namespace *mnt_ns ;
  6667   struct pid_namespace *pid_ns ;
  6668   struct net *net_ns ;
  6669};
  6670# 83 "include/linux/nsproxy.h"
  6671struct pidmap {
  6672   atomic_t nr_free ;
  6673   void *page ;
  6674};