Showing error 715

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


Source:

   1/* Generated by CIL v. 1.3.7 */
   2/* print_CIL_Input is true */
   3
   4#line 19 "include/asm-generic/int-ll64.h"
   5typedef signed char __s8;
   6#line 20 "include/asm-generic/int-ll64.h"
   7typedef unsigned char __u8;
   8#line 22 "include/asm-generic/int-ll64.h"
   9typedef short __s16;
  10#line 23 "include/asm-generic/int-ll64.h"
  11typedef unsigned short __u16;
  12#line 25 "include/asm-generic/int-ll64.h"
  13typedef int __s32;
  14#line 26 "include/asm-generic/int-ll64.h"
  15typedef unsigned int __u32;
  16#line 29 "include/asm-generic/int-ll64.h"
  17typedef long long __s64;
  18#line 30 "include/asm-generic/int-ll64.h"
  19typedef unsigned long long __u64;
  20#line 43 "include/asm-generic/int-ll64.h"
  21typedef unsigned char u8;
  22#line 45 "include/asm-generic/int-ll64.h"
  23typedef short s16;
  24#line 46 "include/asm-generic/int-ll64.h"
  25typedef unsigned short u16;
  26#line 48 "include/asm-generic/int-ll64.h"
  27typedef int s32;
  28#line 49 "include/asm-generic/int-ll64.h"
  29typedef unsigned int u32;
  30#line 51 "include/asm-generic/int-ll64.h"
  31typedef long long s64;
  32#line 52 "include/asm-generic/int-ll64.h"
  33typedef unsigned long long u64;
  34#line 14 "include/asm-generic/posix_types.h"
  35typedef long __kernel_long_t;
  36#line 15 "include/asm-generic/posix_types.h"
  37typedef unsigned long __kernel_ulong_t;
  38#line 31 "include/asm-generic/posix_types.h"
  39typedef int __kernel_pid_t;
  40#line 52 "include/asm-generic/posix_types.h"
  41typedef unsigned int __kernel_uid32_t;
  42#line 53 "include/asm-generic/posix_types.h"
  43typedef unsigned int __kernel_gid32_t;
  44#line 75 "include/asm-generic/posix_types.h"
  45typedef __kernel_ulong_t __kernel_size_t;
  46#line 76 "include/asm-generic/posix_types.h"
  47typedef __kernel_long_t __kernel_ssize_t;
  48#line 91 "include/asm-generic/posix_types.h"
  49typedef long long __kernel_loff_t;
  50#line 92 "include/asm-generic/posix_types.h"
  51typedef __kernel_long_t __kernel_time_t;
  52#line 93 "include/asm-generic/posix_types.h"
  53typedef __kernel_long_t __kernel_clock_t;
  54#line 94 "include/asm-generic/posix_types.h"
  55typedef int __kernel_timer_t;
  56#line 95 "include/asm-generic/posix_types.h"
  57typedef int __kernel_clockid_t;
  58#line 21 "include/linux/types.h"
  59typedef __u32 __kernel_dev_t;
  60#line 24 "include/linux/types.h"
  61typedef __kernel_dev_t dev_t;
  62#line 27 "include/linux/types.h"
  63typedef unsigned short umode_t;
  64#line 30 "include/linux/types.h"
  65typedef __kernel_pid_t pid_t;
  66#line 35 "include/linux/types.h"
  67typedef __kernel_clockid_t clockid_t;
  68#line 38 "include/linux/types.h"
  69typedef _Bool bool;
  70#line 40 "include/linux/types.h"
  71typedef __kernel_uid32_t uid_t;
  72#line 41 "include/linux/types.h"
  73typedef __kernel_gid32_t gid_t;
  74#line 54 "include/linux/types.h"
  75typedef __kernel_loff_t loff_t;
  76#line 63 "include/linux/types.h"
  77typedef __kernel_size_t size_t;
  78#line 68 "include/linux/types.h"
  79typedef __kernel_ssize_t ssize_t;
  80#line 78 "include/linux/types.h"
  81typedef __kernel_time_t time_t;
  82#line 106 "include/linux/types.h"
  83typedef __u8 u_int8_t;
  84#line 108 "include/linux/types.h"
  85typedef __u16 u_int16_t;
  86#line 110 "include/linux/types.h"
  87typedef __u32 u_int32_t;
  88#line 111 "include/linux/types.h"
  89typedef __s32 int32_t;
  90#line 117 "include/linux/types.h"
  91typedef __u32 uint32_t;
  92#line 142 "include/linux/types.h"
  93typedef unsigned long sector_t;
  94#line 143 "include/linux/types.h"
  95typedef unsigned long blkcnt_t;
  96#line 155 "include/linux/types.h"
  97typedef u64 dma_addr_t;
  98#line 202 "include/linux/types.h"
  99typedef unsigned int gfp_t;
 100#line 203 "include/linux/types.h"
 101typedef unsigned int fmode_t;
 102#line 206 "include/linux/types.h"
 103typedef u64 phys_addr_t;
 104#line 211 "include/linux/types.h"
 105typedef phys_addr_t resource_size_t;
 106#line 219 "include/linux/types.h"
 107struct __anonstruct_atomic_t_7 {
 108   int counter ;
 109};
 110#line 219 "include/linux/types.h"
 111typedef struct __anonstruct_atomic_t_7 atomic_t;
 112#line 224 "include/linux/types.h"
 113struct __anonstruct_atomic64_t_8 {
 114   long counter ;
 115};
 116#line 224 "include/linux/types.h"
 117typedef struct __anonstruct_atomic64_t_8 atomic64_t;
 118#line 229 "include/linux/types.h"
 119struct list_head {
 120   struct list_head *next ;
 121   struct list_head *prev ;
 122};
 123#line 233
 124struct hlist_node;
 125#line 233 "include/linux/types.h"
 126struct hlist_head {
 127   struct hlist_node *first ;
 128};
 129#line 237 "include/linux/types.h"
 130struct hlist_node {
 131   struct hlist_node *next ;
 132   struct hlist_node **pprev ;
 133};
 134#line 253 "include/linux/types.h"
 135struct rcu_head {
 136   struct rcu_head *next ;
 137   void (*func)(struct rcu_head *head ) ;
 138};
 139#line 56 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
 140struct module;
 141#line 56
 142struct module;
 143#line 146 "include/linux/init.h"
 144typedef void (*ctor_fn_t)(void);
 145#line 47 "include/linux/dynamic_debug.h"
 146struct device;
 147#line 47
 148struct device;
 149#line 135 "include/linux/kernel.h"
 150struct completion;
 151#line 135
 152struct completion;
 153#line 136
 154struct pt_regs;
 155#line 136
 156struct pt_regs;
 157#line 349
 158struct pid;
 159#line 349
 160struct pid;
 161#line 12 "include/linux/thread_info.h"
 162struct timespec;
 163#line 12
 164struct timespec;
 165#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page.h"
 166struct page;
 167#line 18
 168struct page;
 169#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/thread_info.h"
 170struct task_struct;
 171#line 20
 172struct task_struct;
 173#line 7 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 174struct task_struct;
 175#line 8
 176struct mm_struct;
 177#line 8
 178struct mm_struct;
 179#line 99 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 180struct pt_regs {
 181   unsigned long r15 ;
 182   unsigned long r14 ;
 183   unsigned long r13 ;
 184   unsigned long r12 ;
 185   unsigned long bp ;
 186   unsigned long bx ;
 187   unsigned long r11 ;
 188   unsigned long r10 ;
 189   unsigned long r9 ;
 190   unsigned long r8 ;
 191   unsigned long ax ;
 192   unsigned long cx ;
 193   unsigned long dx ;
 194   unsigned long si ;
 195   unsigned long di ;
 196   unsigned long orig_ax ;
 197   unsigned long ip ;
 198   unsigned long cs ;
 199   unsigned long flags ;
 200   unsigned long sp ;
 201   unsigned long ss ;
 202};
 203#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
 204struct __anonstruct____missing_field_name_15 {
 205   unsigned int a ;
 206   unsigned int b ;
 207};
 208#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
 209struct __anonstruct____missing_field_name_16 {
 210   u16 limit0 ;
 211   u16 base0 ;
 212   unsigned int base1 : 8 ;
 213   unsigned int type : 4 ;
 214   unsigned int s : 1 ;
 215   unsigned int dpl : 2 ;
 216   unsigned int p : 1 ;
 217   unsigned int limit : 4 ;
 218   unsigned int avl : 1 ;
 219   unsigned int l : 1 ;
 220   unsigned int d : 1 ;
 221   unsigned int g : 1 ;
 222   unsigned int base2 : 8 ;
 223};
 224#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
 225union __anonunion____missing_field_name_14 {
 226   struct __anonstruct____missing_field_name_15 __annonCompField5 ;
 227   struct __anonstruct____missing_field_name_16 __annonCompField6 ;
 228};
 229#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/desc_defs.h"
 230struct desc_struct {
 231   union __anonunion____missing_field_name_14 __annonCompField7 ;
 232} __attribute__((__packed__)) ;
 233#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
 234typedef unsigned long pgdval_t;
 235#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
 236typedef unsigned long pgprotval_t;
 237#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 238struct pgprot {
 239   pgprotval_t pgprot ;
 240};
 241#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 242typedef struct pgprot pgprot_t;
 243#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 244struct __anonstruct_pgd_t_20 {
 245   pgdval_t pgd ;
 246};
 247#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 248typedef struct __anonstruct_pgd_t_20 pgd_t;
 249#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 250typedef struct page *pgtable_t;
 251#line 295
 252struct file;
 253#line 295
 254struct file;
 255#line 313
 256struct seq_file;
 257#line 313
 258struct seq_file;
 259#line 46 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
 260struct page;
 261#line 47
 262struct thread_struct;
 263#line 47
 264struct thread_struct;
 265#line 50
 266struct mm_struct;
 267#line 51
 268struct desc_struct;
 269#line 52
 270struct task_struct;
 271#line 53
 272struct cpumask;
 273#line 53
 274struct cpumask;
 275#line 329
 276struct arch_spinlock;
 277#line 329
 278struct arch_spinlock;
 279#line 139 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 280struct task_struct;
 281#line 141 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
 282struct kernel_vm86_regs {
 283   struct pt_regs pt ;
 284   unsigned short es ;
 285   unsigned short __esh ;
 286   unsigned short ds ;
 287   unsigned short __dsh ;
 288   unsigned short fs ;
 289   unsigned short __fsh ;
 290   unsigned short gs ;
 291   unsigned short __gsh ;
 292};
 293#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
 294union __anonunion____missing_field_name_24 {
 295   struct pt_regs *regs ;
 296   struct kernel_vm86_regs *vm86 ;
 297};
 298#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/math_emu.h"
 299struct math_emu_info {
 300   long ___orig_eip ;
 301   union __anonunion____missing_field_name_24 __annonCompField8 ;
 302};
 303#line 8 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/current.h"
 304struct task_struct;
 305#line 10 "include/asm-generic/bug.h"
 306struct bug_entry {
 307   int bug_addr_disp ;
 308   int file_disp ;
 309   unsigned short line ;
 310   unsigned short flags ;
 311};
 312#line 12 "include/linux/bug.h"
 313struct pt_regs;
 314#line 14 "include/linux/cpumask.h"
 315struct cpumask {
 316   unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
 317};
 318#line 14 "include/linux/cpumask.h"
 319typedef struct cpumask cpumask_t;
 320#line 637 "include/linux/cpumask.h"
 321typedef struct cpumask *cpumask_var_t;
 322#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
 323struct static_key;
 324#line 234
 325struct static_key;
 326#line 11 "include/linux/personality.h"
 327struct pt_regs;
 328#line 290 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 329struct i387_fsave_struct {
 330   u32 cwd ;
 331   u32 swd ;
 332   u32 twd ;
 333   u32 fip ;
 334   u32 fcs ;
 335   u32 foo ;
 336   u32 fos ;
 337   u32 st_space[20] ;
 338   u32 status ;
 339};
 340#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 341struct __anonstruct____missing_field_name_31 {
 342   u64 rip ;
 343   u64 rdp ;
 344};
 345#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 346struct __anonstruct____missing_field_name_32 {
 347   u32 fip ;
 348   u32 fcs ;
 349   u32 foo ;
 350   u32 fos ;
 351};
 352#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 353union __anonunion____missing_field_name_30 {
 354   struct __anonstruct____missing_field_name_31 __annonCompField12 ;
 355   struct __anonstruct____missing_field_name_32 __annonCompField13 ;
 356};
 357#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 358union __anonunion____missing_field_name_33 {
 359   u32 padding1[12] ;
 360   u32 sw_reserved[12] ;
 361};
 362#line 306 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 363struct i387_fxsave_struct {
 364   u16 cwd ;
 365   u16 swd ;
 366   u16 twd ;
 367   u16 fop ;
 368   union __anonunion____missing_field_name_30 __annonCompField14 ;
 369   u32 mxcsr ;
 370   u32 mxcsr_mask ;
 371   u32 st_space[32] ;
 372   u32 xmm_space[64] ;
 373   u32 padding[12] ;
 374   union __anonunion____missing_field_name_33 __annonCompField15 ;
 375} __attribute__((__aligned__(16))) ;
 376#line 341 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 377struct i387_soft_struct {
 378   u32 cwd ;
 379   u32 swd ;
 380   u32 twd ;
 381   u32 fip ;
 382   u32 fcs ;
 383   u32 foo ;
 384   u32 fos ;
 385   u32 st_space[20] ;
 386   u8 ftop ;
 387   u8 changed ;
 388   u8 lookahead ;
 389   u8 no_update ;
 390   u8 rm ;
 391   u8 alimit ;
 392   struct math_emu_info *info ;
 393   u32 entry_eip ;
 394};
 395#line 361 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 396struct ymmh_struct {
 397   u32 ymmh_space[64] ;
 398};
 399#line 366 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 400struct xsave_hdr_struct {
 401   u64 xstate_bv ;
 402   u64 reserved1[2] ;
 403   u64 reserved2[5] ;
 404} __attribute__((__packed__)) ;
 405#line 372 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 406struct xsave_struct {
 407   struct i387_fxsave_struct i387 ;
 408   struct xsave_hdr_struct xsave_hdr ;
 409   struct ymmh_struct ymmh ;
 410} __attribute__((__packed__, __aligned__(64))) ;
 411#line 379 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 412union thread_xstate {
 413   struct i387_fsave_struct fsave ;
 414   struct i387_fxsave_struct fxsave ;
 415   struct i387_soft_struct soft ;
 416   struct xsave_struct xsave ;
 417};
 418#line 386 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 419struct fpu {
 420   unsigned int last_cpu ;
 421   unsigned int has_fpu ;
 422   union thread_xstate *state ;
 423};
 424#line 433
 425struct kmem_cache;
 426#line 435
 427struct perf_event;
 428#line 435
 429struct perf_event;
 430#line 437 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 431struct thread_struct {
 432   struct desc_struct tls_array[3] ;
 433   unsigned long sp0 ;
 434   unsigned long sp ;
 435   unsigned long usersp ;
 436   unsigned short es ;
 437   unsigned short ds ;
 438   unsigned short fsindex ;
 439   unsigned short gsindex ;
 440   unsigned long fs ;
 441   unsigned long gs ;
 442   struct perf_event *ptrace_bps[4] ;
 443   unsigned long debugreg6 ;
 444   unsigned long ptrace_dr7 ;
 445   unsigned long cr2 ;
 446   unsigned long trap_nr ;
 447   unsigned long error_code ;
 448   struct fpu fpu ;
 449   unsigned long *io_bitmap_ptr ;
 450   unsigned long iopl ;
 451   unsigned int io_bitmap_max ;
 452};
 453#line 23 "include/asm-generic/atomic-long.h"
 454typedef atomic64_t atomic_long_t;
 455#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 456typedef u16 __ticket_t;
 457#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 458typedef u32 __ticketpair_t;
 459#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 460struct __raw_tickets {
 461   __ticket_t head ;
 462   __ticket_t tail ;
 463};
 464#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 465union __anonunion____missing_field_name_36 {
 466   __ticketpair_t head_tail ;
 467   struct __raw_tickets tickets ;
 468};
 469#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 470struct arch_spinlock {
 471   union __anonunion____missing_field_name_36 __annonCompField17 ;
 472};
 473#line 20 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 474typedef struct arch_spinlock arch_spinlock_t;
 475#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 476struct __anonstruct____missing_field_name_38 {
 477   u32 read ;
 478   s32 write ;
 479};
 480#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 481union __anonunion_arch_rwlock_t_37 {
 482   s64 lock ;
 483   struct __anonstruct____missing_field_name_38 __annonCompField18 ;
 484};
 485#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 486typedef union __anonunion_arch_rwlock_t_37 arch_rwlock_t;
 487#line 12 "include/linux/lockdep.h"
 488struct task_struct;
 489#line 391 "include/linux/lockdep.h"
 490struct lock_class_key {
 491
 492};
 493#line 20 "include/linux/spinlock_types.h"
 494struct raw_spinlock {
 495   arch_spinlock_t raw_lock ;
 496   unsigned int magic ;
 497   unsigned int owner_cpu ;
 498   void *owner ;
 499};
 500#line 20 "include/linux/spinlock_types.h"
 501typedef struct raw_spinlock raw_spinlock_t;
 502#line 64 "include/linux/spinlock_types.h"
 503union __anonunion____missing_field_name_39 {
 504   struct raw_spinlock rlock ;
 505};
 506#line 64 "include/linux/spinlock_types.h"
 507struct spinlock {
 508   union __anonunion____missing_field_name_39 __annonCompField19 ;
 509};
 510#line 64 "include/linux/spinlock_types.h"
 511typedef struct spinlock spinlock_t;
 512#line 11 "include/linux/rwlock_types.h"
 513struct __anonstruct_rwlock_t_40 {
 514   arch_rwlock_t raw_lock ;
 515   unsigned int magic ;
 516   unsigned int owner_cpu ;
 517   void *owner ;
 518};
 519#line 11 "include/linux/rwlock_types.h"
 520typedef struct __anonstruct_rwlock_t_40 rwlock_t;
 521#line 119 "include/linux/seqlock.h"
 522struct seqcount {
 523   unsigned int sequence ;
 524};
 525#line 119 "include/linux/seqlock.h"
 526typedef struct seqcount seqcount_t;
 527#line 14 "include/linux/time.h"
 528struct timespec {
 529   __kernel_time_t tv_sec ;
 530   long tv_nsec ;
 531};
 532#line 62 "include/linux/stat.h"
 533struct kstat {
 534   u64 ino ;
 535   dev_t dev ;
 536   umode_t mode ;
 537   unsigned int nlink ;
 538   uid_t uid ;
 539   gid_t gid ;
 540   dev_t rdev ;
 541   loff_t size ;
 542   struct timespec atime ;
 543   struct timespec mtime ;
 544   struct timespec ctime ;
 545   unsigned long blksize ;
 546   unsigned long long blocks ;
 547};
 548#line 49 "include/linux/wait.h"
 549struct __wait_queue_head {
 550   spinlock_t lock ;
 551   struct list_head task_list ;
 552};
 553#line 53 "include/linux/wait.h"
 554typedef struct __wait_queue_head wait_queue_head_t;
 555#line 55
 556struct task_struct;
 557#line 98 "include/linux/nodemask.h"
 558struct __anonstruct_nodemask_t_42 {
 559   unsigned long bits[(((unsigned long )(1 << 10) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
 560};
 561#line 98 "include/linux/nodemask.h"
 562typedef struct __anonstruct_nodemask_t_42 nodemask_t;
 563#line 60 "include/linux/pageblock-flags.h"
 564struct page;
 565#line 48 "include/linux/mutex.h"
 566struct mutex {
 567   atomic_t count ;
 568   spinlock_t wait_lock ;
 569   struct list_head wait_list ;
 570   struct task_struct *owner ;
 571   char const   *name ;
 572   void *magic ;
 573};
 574#line 69 "include/linux/mutex.h"
 575struct mutex_waiter {
 576   struct list_head list ;
 577   struct task_struct *task ;
 578   void *magic ;
 579};
 580#line 19 "include/linux/rwsem.h"
 581struct rw_semaphore;
 582#line 19
 583struct rw_semaphore;
 584#line 25 "include/linux/rwsem.h"
 585struct rw_semaphore {
 586   long count ;
 587   raw_spinlock_t wait_lock ;
 588   struct list_head wait_list ;
 589};
 590#line 25 "include/linux/completion.h"
 591struct completion {
 592   unsigned int done ;
 593   wait_queue_head_t wait ;
 594};
 595#line 188 "include/linux/rcupdate.h"
 596struct notifier_block;
 597#line 188
 598struct notifier_block;
 599#line 50 "include/linux/notifier.h"
 600struct notifier_block {
 601   int (*notifier_call)(struct notifier_block * , unsigned long  , void * ) ;
 602   struct notifier_block *next ;
 603   int priority ;
 604};
 605#line 9 "include/linux/memory_hotplug.h"
 606struct page;
 607#line 18 "include/linux/ioport.h"
 608struct resource {
 609   resource_size_t start ;
 610   resource_size_t end ;
 611   char const   *name ;
 612   unsigned long flags ;
 613   struct resource *parent ;
 614   struct resource *sibling ;
 615   struct resource *child ;
 616};
 617#line 202
 618struct device;
 619#line 182 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/x86_init.h"
 620struct pci_dev;
 621#line 182
 622struct pci_dev;
 623#line 103 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mpspec.h"
 624struct device;
 625#line 46 "include/linux/ktime.h"
 626union ktime {
 627   s64 tv64 ;
 628};
 629#line 59 "include/linux/ktime.h"
 630typedef union ktime ktime_t;
 631#line 10 "include/linux/timer.h"
 632struct tvec_base;
 633#line 10
 634struct tvec_base;
 635#line 12 "include/linux/timer.h"
 636struct timer_list {
 637   struct list_head entry ;
 638   unsigned long expires ;
 639   struct tvec_base *base ;
 640   void (*function)(unsigned long  ) ;
 641   unsigned long data ;
 642   int slack ;
 643   int start_pid ;
 644   void *start_site ;
 645   char start_comm[16] ;
 646};
 647#line 289
 648struct hrtimer;
 649#line 289
 650struct hrtimer;
 651#line 290
 652enum hrtimer_restart;
 653#line 17 "include/linux/workqueue.h"
 654struct work_struct;
 655#line 17
 656struct work_struct;
 657#line 79 "include/linux/workqueue.h"
 658struct work_struct {
 659   atomic_long_t data ;
 660   struct list_head entry ;
 661   void (*func)(struct work_struct *work ) ;
 662};
 663#line 92 "include/linux/workqueue.h"
 664struct delayed_work {
 665   struct work_struct work ;
 666   struct timer_list timer ;
 667};
 668#line 42 "include/linux/pm.h"
 669struct device;
 670#line 50 "include/linux/pm.h"
 671struct pm_message {
 672   int event ;
 673};
 674#line 50 "include/linux/pm.h"
 675typedef struct pm_message pm_message_t;
 676#line 264 "include/linux/pm.h"
 677struct dev_pm_ops {
 678   int (*prepare)(struct device *dev ) ;
 679   void (*complete)(struct device *dev ) ;
 680   int (*suspend)(struct device *dev ) ;
 681   int (*resume)(struct device *dev ) ;
 682   int (*freeze)(struct device *dev ) ;
 683   int (*thaw)(struct device *dev ) ;
 684   int (*poweroff)(struct device *dev ) ;
 685   int (*restore)(struct device *dev ) ;
 686   int (*suspend_late)(struct device *dev ) ;
 687   int (*resume_early)(struct device *dev ) ;
 688   int (*freeze_late)(struct device *dev ) ;
 689   int (*thaw_early)(struct device *dev ) ;
 690   int (*poweroff_late)(struct device *dev ) ;
 691   int (*restore_early)(struct device *dev ) ;
 692   int (*suspend_noirq)(struct device *dev ) ;
 693   int (*resume_noirq)(struct device *dev ) ;
 694   int (*freeze_noirq)(struct device *dev ) ;
 695   int (*thaw_noirq)(struct device *dev ) ;
 696   int (*poweroff_noirq)(struct device *dev ) ;
 697   int (*restore_noirq)(struct device *dev ) ;
 698   int (*runtime_suspend)(struct device *dev ) ;
 699   int (*runtime_resume)(struct device *dev ) ;
 700   int (*runtime_idle)(struct device *dev ) ;
 701};
 702#line 458
 703enum rpm_status {
 704    RPM_ACTIVE = 0,
 705    RPM_RESUMING = 1,
 706    RPM_SUSPENDED = 2,
 707    RPM_SUSPENDING = 3
 708} ;
 709#line 480
 710enum rpm_request {
 711    RPM_REQ_NONE = 0,
 712    RPM_REQ_IDLE = 1,
 713    RPM_REQ_SUSPEND = 2,
 714    RPM_REQ_AUTOSUSPEND = 3,
 715    RPM_REQ_RESUME = 4
 716} ;
 717#line 488
 718struct wakeup_source;
 719#line 488
 720struct wakeup_source;
 721#line 495 "include/linux/pm.h"
 722struct pm_subsys_data {
 723   spinlock_t lock ;
 724   unsigned int refcount ;
 725};
 726#line 506
 727struct dev_pm_qos_request;
 728#line 506
 729struct pm_qos_constraints;
 730#line 506 "include/linux/pm.h"
 731struct dev_pm_info {
 732   pm_message_t power_state ;
 733   unsigned int can_wakeup : 1 ;
 734   unsigned int async_suspend : 1 ;
 735   bool is_prepared : 1 ;
 736   bool is_suspended : 1 ;
 737   bool ignore_children : 1 ;
 738   spinlock_t lock ;
 739   struct list_head entry ;
 740   struct completion completion ;
 741   struct wakeup_source *wakeup ;
 742   bool wakeup_path : 1 ;
 743   struct timer_list suspend_timer ;
 744   unsigned long timer_expires ;
 745   struct work_struct work ;
 746   wait_queue_head_t wait_queue ;
 747   atomic_t usage_count ;
 748   atomic_t child_count ;
 749   unsigned int disable_depth : 3 ;
 750   unsigned int idle_notification : 1 ;
 751   unsigned int request_pending : 1 ;
 752   unsigned int deferred_resume : 1 ;
 753   unsigned int run_wake : 1 ;
 754   unsigned int runtime_auto : 1 ;
 755   unsigned int no_callbacks : 1 ;
 756   unsigned int irq_safe : 1 ;
 757   unsigned int use_autosuspend : 1 ;
 758   unsigned int timer_autosuspends : 1 ;
 759   enum rpm_request request ;
 760   enum rpm_status runtime_status ;
 761   int runtime_error ;
 762   int autosuspend_delay ;
 763   unsigned long last_busy ;
 764   unsigned long active_jiffies ;
 765   unsigned long suspended_jiffies ;
 766   unsigned long accounting_timestamp ;
 767   ktime_t suspend_time ;
 768   s64 max_time_suspended_ns ;
 769   struct dev_pm_qos_request *pq_req ;
 770   struct pm_subsys_data *subsys_data ;
 771   struct pm_qos_constraints *constraints ;
 772};
 773#line 564 "include/linux/pm.h"
 774struct dev_pm_domain {
 775   struct dev_pm_ops ops ;
 776};
 777#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/topology.h"
 778struct pci_bus;
 779#line 174
 780struct pci_bus;
 781#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
 782struct __anonstruct_mm_context_t_112 {
 783   void *ldt ;
 784   int size ;
 785   unsigned short ia32_compat ;
 786   struct mutex lock ;
 787   void *vdso ;
 788};
 789#line 11 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
 790typedef struct __anonstruct_mm_context_t_112 mm_context_t;
 791#line 71 "include/asm-generic/iomap.h"
 792struct pci_dev;
 793#line 14 "include/asm-generic/pci_iomap.h"
 794struct pci_dev;
 795#line 8 "include/linux/vmalloc.h"
 796struct vm_area_struct;
 797#line 8
 798struct vm_area_struct;
 799#line 994 "include/linux/mmzone.h"
 800struct page;
 801#line 10 "include/linux/gfp.h"
 802struct vm_area_struct;
 803#line 29 "include/linux/sysctl.h"
 804struct completion;
 805#line 100 "include/linux/rbtree.h"
 806struct rb_node {
 807   unsigned long rb_parent_color ;
 808   struct rb_node *rb_right ;
 809   struct rb_node *rb_left ;
 810} __attribute__((__aligned__(sizeof(long )))) ;
 811#line 110 "include/linux/rbtree.h"
 812struct rb_root {
 813   struct rb_node *rb_node ;
 814};
 815#line 939 "include/linux/sysctl.h"
 816struct nsproxy;
 817#line 939
 818struct nsproxy;
 819#line 48 "include/linux/kmod.h"
 820struct cred;
 821#line 48
 822struct cred;
 823#line 49
 824struct file;
 825#line 270 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/elf.h"
 826struct task_struct;
 827#line 18 "include/linux/elf.h"
 828typedef __u64 Elf64_Addr;
 829#line 19 "include/linux/elf.h"
 830typedef __u16 Elf64_Half;
 831#line 23 "include/linux/elf.h"
 832typedef __u32 Elf64_Word;
 833#line 24 "include/linux/elf.h"
 834typedef __u64 Elf64_Xword;
 835#line 194 "include/linux/elf.h"
 836struct elf64_sym {
 837   Elf64_Word st_name ;
 838   unsigned char st_info ;
 839   unsigned char st_other ;
 840   Elf64_Half st_shndx ;
 841   Elf64_Addr st_value ;
 842   Elf64_Xword st_size ;
 843};
 844#line 194 "include/linux/elf.h"
 845typedef struct elf64_sym Elf64_Sym;
 846#line 438
 847struct file;
 848#line 20 "include/linux/kobject_ns.h"
 849struct sock;
 850#line 20
 851struct sock;
 852#line 21
 853struct kobject;
 854#line 21
 855struct kobject;
 856#line 27
 857enum kobj_ns_type {
 858    KOBJ_NS_TYPE_NONE = 0,
 859    KOBJ_NS_TYPE_NET = 1,
 860    KOBJ_NS_TYPES = 2
 861} ;
 862#line 40 "include/linux/kobject_ns.h"
 863struct kobj_ns_type_operations {
 864   enum kobj_ns_type type ;
 865   void *(*grab_current_ns)(void) ;
 866   void const   *(*netlink_ns)(struct sock *sk ) ;
 867   void const   *(*initial_ns)(void) ;
 868   void (*drop_ns)(void * ) ;
 869};
 870#line 22 "include/linux/sysfs.h"
 871struct kobject;
 872#line 23
 873struct module;
 874#line 24
 875enum kobj_ns_type;
 876#line 26 "include/linux/sysfs.h"
 877struct attribute {
 878   char const   *name ;
 879   umode_t mode ;
 880};
 881#line 56 "include/linux/sysfs.h"
 882struct attribute_group {
 883   char const   *name ;
 884   umode_t (*is_visible)(struct kobject * , struct attribute * , int  ) ;
 885   struct attribute **attrs ;
 886};
 887#line 85
 888struct file;
 889#line 86
 890struct vm_area_struct;
 891#line 88 "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 *attr , struct vm_area_struct *vma ) ;
 901};
 902#line 112 "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   void const   *(*namespace)(struct kobject * , struct attribute  const  * ) ;
 907};
 908#line 118
 909struct sysfs_dirent;
 910#line 118
 911struct sysfs_dirent;
 912#line 22 "include/linux/kref.h"
 913struct kref {
 914   atomic_t refcount ;
 915};
 916#line 60 "include/linux/kobject.h"
 917struct kset;
 918#line 60
 919struct kobj_type;
 920#line 60 "include/linux/kobject.h"
 921struct kobject {
 922   char const   *name ;
 923   struct list_head entry ;
 924   struct kobject *parent ;
 925   struct kset *kset ;
 926   struct kobj_type *ktype ;
 927   struct sysfs_dirent *sd ;
 928   struct kref kref ;
 929   unsigned int state_initialized : 1 ;
 930   unsigned int state_in_sysfs : 1 ;
 931   unsigned int state_add_uevent_sent : 1 ;
 932   unsigned int state_remove_uevent_sent : 1 ;
 933   unsigned int uevent_suppress : 1 ;
 934};
 935#line 108 "include/linux/kobject.h"
 936struct kobj_type {
 937   void (*release)(struct kobject *kobj ) ;
 938   struct sysfs_ops  const  *sysfs_ops ;
 939   struct attribute **default_attrs ;
 940   struct kobj_ns_type_operations  const  *(*child_ns_type)(struct kobject *kobj ) ;
 941   void const   *(*namespace)(struct kobject *kobj ) ;
 942};
 943#line 116 "include/linux/kobject.h"
 944struct kobj_uevent_env {
 945   char *envp[32] ;
 946   int envp_idx ;
 947   char buf[2048] ;
 948   int buflen ;
 949};
 950#line 123 "include/linux/kobject.h"
 951struct kset_uevent_ops {
 952   int (* const  filter)(struct kset *kset , struct kobject *kobj ) ;
 953   char const   *(* const  name)(struct kset *kset , struct kobject *kobj ) ;
 954   int (* const  uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
 955};
 956#line 140
 957struct sock;
 958#line 159 "include/linux/kobject.h"
 959struct kset {
 960   struct list_head list ;
 961   spinlock_t list_lock ;
 962   struct kobject kobj ;
 963   struct kset_uevent_ops  const  *uevent_ops ;
 964};
 965#line 39 "include/linux/moduleparam.h"
 966struct kernel_param;
 967#line 39
 968struct kernel_param;
 969#line 41 "include/linux/moduleparam.h"
 970struct kernel_param_ops {
 971   int (*set)(char const   *val , struct kernel_param  const  *kp ) ;
 972   int (*get)(char *buffer , struct kernel_param  const  *kp ) ;
 973   void (*free)(void *arg ) ;
 974};
 975#line 50
 976struct kparam_string;
 977#line 50
 978struct kparam_array;
 979#line 50 "include/linux/moduleparam.h"
 980union __anonunion____missing_field_name_199 {
 981   void *arg ;
 982   struct kparam_string  const  *str ;
 983   struct kparam_array  const  *arr ;
 984};
 985#line 50 "include/linux/moduleparam.h"
 986struct kernel_param {
 987   char const   *name ;
 988   struct kernel_param_ops  const  *ops ;
 989   u16 perm ;
 990   s16 level ;
 991   union __anonunion____missing_field_name_199 __annonCompField32 ;
 992};
 993#line 63 "include/linux/moduleparam.h"
 994struct kparam_string {
 995   unsigned int maxlen ;
 996   char *string ;
 997};
 998#line 69 "include/linux/moduleparam.h"
 999struct kparam_array {
1000   unsigned int max ;
1001   unsigned int elemsize ;
1002   unsigned int *num ;
1003   struct kernel_param_ops  const  *ops ;
1004   void *elem ;
1005};
1006#line 445
1007struct module;
1008#line 80 "include/linux/jump_label.h"
1009struct module;
1010#line 143 "include/linux/jump_label.h"
1011struct static_key {
1012   atomic_t enabled ;
1013};
1014#line 22 "include/linux/tracepoint.h"
1015struct module;
1016#line 23
1017struct tracepoint;
1018#line 23
1019struct tracepoint;
1020#line 25 "include/linux/tracepoint.h"
1021struct tracepoint_func {
1022   void *func ;
1023   void *data ;
1024};
1025#line 30 "include/linux/tracepoint.h"
1026struct tracepoint {
1027   char const   *name ;
1028   struct static_key key ;
1029   void (*regfunc)(void) ;
1030   void (*unregfunc)(void) ;
1031   struct tracepoint_func *funcs ;
1032};
1033#line 19 "include/linux/export.h"
1034struct kernel_symbol {
1035   unsigned long value ;
1036   char const   *name ;
1037};
1038#line 8 "include/asm-generic/module.h"
1039struct mod_arch_specific {
1040
1041};
1042#line 35 "include/linux/module.h"
1043struct module;
1044#line 37
1045struct module_param_attrs;
1046#line 37 "include/linux/module.h"
1047struct module_kobject {
1048   struct kobject kobj ;
1049   struct module *mod ;
1050   struct kobject *drivers_dir ;
1051   struct module_param_attrs *mp ;
1052};
1053#line 44 "include/linux/module.h"
1054struct module_attribute {
1055   struct attribute attr ;
1056   ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1057   ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const   * ,
1058                    size_t count ) ;
1059   void (*setup)(struct module * , char const   * ) ;
1060   int (*test)(struct module * ) ;
1061   void (*free)(struct module * ) ;
1062};
1063#line 71
1064struct exception_table_entry;
1065#line 71
1066struct exception_table_entry;
1067#line 182
1068struct notifier_block;
1069#line 199
1070enum module_state {
1071    MODULE_STATE_LIVE = 0,
1072    MODULE_STATE_COMING = 1,
1073    MODULE_STATE_GOING = 2
1074} ;
1075#line 215 "include/linux/module.h"
1076struct module_ref {
1077   unsigned long incs ;
1078   unsigned long decs ;
1079} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
1080#line 220
1081struct module_sect_attrs;
1082#line 220
1083struct module_notes_attrs;
1084#line 220
1085struct ftrace_event_call;
1086#line 220 "include/linux/module.h"
1087struct module {
1088   enum module_state state ;
1089   struct list_head list ;
1090   char name[64UL - sizeof(unsigned long )] ;
1091   struct module_kobject mkobj ;
1092   struct module_attribute *modinfo_attrs ;
1093   char const   *version ;
1094   char const   *srcversion ;
1095   struct kobject *holders_dir ;
1096   struct kernel_symbol  const  *syms ;
1097   unsigned long const   *crcs ;
1098   unsigned int num_syms ;
1099   struct kernel_param *kp ;
1100   unsigned int num_kp ;
1101   unsigned int num_gpl_syms ;
1102   struct kernel_symbol  const  *gpl_syms ;
1103   unsigned long const   *gpl_crcs ;
1104   struct kernel_symbol  const  *unused_syms ;
1105   unsigned long const   *unused_crcs ;
1106   unsigned int num_unused_syms ;
1107   unsigned int num_unused_gpl_syms ;
1108   struct kernel_symbol  const  *unused_gpl_syms ;
1109   unsigned long const   *unused_gpl_crcs ;
1110   struct kernel_symbol  const  *gpl_future_syms ;
1111   unsigned long const   *gpl_future_crcs ;
1112   unsigned int num_gpl_future_syms ;
1113   unsigned int num_exentries ;
1114   struct exception_table_entry *extable ;
1115   int (*init)(void) ;
1116   void *module_init ;
1117   void *module_core ;
1118   unsigned int init_size ;
1119   unsigned int core_size ;
1120   unsigned int init_text_size ;
1121   unsigned int core_text_size ;
1122   unsigned int init_ro_size ;
1123   unsigned int core_ro_size ;
1124   struct mod_arch_specific arch ;
1125   unsigned int taints ;
1126   unsigned int num_bugs ;
1127   struct list_head bug_list ;
1128   struct bug_entry *bug_table ;
1129   Elf64_Sym *symtab ;
1130   Elf64_Sym *core_symtab ;
1131   unsigned int num_symtab ;
1132   unsigned int core_num_syms ;
1133   char *strtab ;
1134   char *core_strtab ;
1135   struct module_sect_attrs *sect_attrs ;
1136   struct module_notes_attrs *notes_attrs ;
1137   char *args ;
1138   void *percpu ;
1139   unsigned int percpu_size ;
1140   unsigned int num_tracepoints ;
1141   struct tracepoint * const  *tracepoints_ptrs ;
1142   unsigned int num_trace_bprintk_fmt ;
1143   char const   **trace_bprintk_fmt_start ;
1144   struct ftrace_event_call **trace_events ;
1145   unsigned int num_trace_events ;
1146   struct list_head source_list ;
1147   struct list_head target_list ;
1148   struct task_struct *waiter ;
1149   void (*exit)(void) ;
1150   struct module_ref *refptr ;
1151   ctor_fn_t *ctors ;
1152   unsigned int num_ctors ;
1153};
1154#line 14 "include/linux/prio_tree.h"
1155struct prio_tree_node;
1156#line 14 "include/linux/prio_tree.h"
1157struct raw_prio_tree_node {
1158   struct prio_tree_node *left ;
1159   struct prio_tree_node *right ;
1160   struct prio_tree_node *parent ;
1161};
1162#line 20 "include/linux/prio_tree.h"
1163struct prio_tree_node {
1164   struct prio_tree_node *left ;
1165   struct prio_tree_node *right ;
1166   struct prio_tree_node *parent ;
1167   unsigned long start ;
1168   unsigned long last ;
1169};
1170#line 28 "include/linux/prio_tree.h"
1171struct prio_tree_root {
1172   struct prio_tree_node *prio_tree_node ;
1173   unsigned short index_bits ;
1174   unsigned short raw ;
1175};
1176#line 8 "include/linux/debug_locks.h"
1177struct task_struct;
1178#line 48
1179struct task_struct;
1180#line 23 "include/linux/mm_types.h"
1181struct address_space;
1182#line 23
1183struct address_space;
1184#line 40 "include/linux/mm_types.h"
1185union __anonunion____missing_field_name_202 {
1186   unsigned long index ;
1187   void *freelist ;
1188};
1189#line 40 "include/linux/mm_types.h"
1190struct __anonstruct____missing_field_name_206 {
1191   unsigned int inuse : 16 ;
1192   unsigned int objects : 15 ;
1193   unsigned int frozen : 1 ;
1194};
1195#line 40 "include/linux/mm_types.h"
1196union __anonunion____missing_field_name_205 {
1197   atomic_t _mapcount ;
1198   struct __anonstruct____missing_field_name_206 __annonCompField34 ;
1199};
1200#line 40 "include/linux/mm_types.h"
1201struct __anonstruct____missing_field_name_204 {
1202   union __anonunion____missing_field_name_205 __annonCompField35 ;
1203   atomic_t _count ;
1204};
1205#line 40 "include/linux/mm_types.h"
1206union __anonunion____missing_field_name_203 {
1207   unsigned long counters ;
1208   struct __anonstruct____missing_field_name_204 __annonCompField36 ;
1209};
1210#line 40 "include/linux/mm_types.h"
1211struct __anonstruct____missing_field_name_201 {
1212   union __anonunion____missing_field_name_202 __annonCompField33 ;
1213   union __anonunion____missing_field_name_203 __annonCompField37 ;
1214};
1215#line 40 "include/linux/mm_types.h"
1216struct __anonstruct____missing_field_name_208 {
1217   struct page *next ;
1218   int pages ;
1219   int pobjects ;
1220};
1221#line 40 "include/linux/mm_types.h"
1222union __anonunion____missing_field_name_207 {
1223   struct list_head lru ;
1224   struct __anonstruct____missing_field_name_208 __annonCompField39 ;
1225};
1226#line 40 "include/linux/mm_types.h"
1227union __anonunion____missing_field_name_209 {
1228   unsigned long private ;
1229   struct kmem_cache *slab ;
1230   struct page *first_page ;
1231};
1232#line 40 "include/linux/mm_types.h"
1233struct page {
1234   unsigned long flags ;
1235   struct address_space *mapping ;
1236   struct __anonstruct____missing_field_name_201 __annonCompField38 ;
1237   union __anonunion____missing_field_name_207 __annonCompField40 ;
1238   union __anonunion____missing_field_name_209 __annonCompField41 ;
1239   unsigned long debug_flags ;
1240} __attribute__((__aligned__((2) *  (sizeof(unsigned long )) ))) ;
1241#line 200 "include/linux/mm_types.h"
1242struct __anonstruct_vm_set_211 {
1243   struct list_head list ;
1244   void *parent ;
1245   struct vm_area_struct *head ;
1246};
1247#line 200 "include/linux/mm_types.h"
1248union __anonunion_shared_210 {
1249   struct __anonstruct_vm_set_211 vm_set ;
1250   struct raw_prio_tree_node prio_tree_node ;
1251};
1252#line 200
1253struct anon_vma;
1254#line 200
1255struct vm_operations_struct;
1256#line 200
1257struct mempolicy;
1258#line 200 "include/linux/mm_types.h"
1259struct vm_area_struct {
1260   struct mm_struct *vm_mm ;
1261   unsigned long vm_start ;
1262   unsigned long vm_end ;
1263   struct vm_area_struct *vm_next ;
1264   struct vm_area_struct *vm_prev ;
1265   pgprot_t vm_page_prot ;
1266   unsigned long vm_flags ;
1267   struct rb_node vm_rb ;
1268   union __anonunion_shared_210 shared ;
1269   struct list_head anon_vma_chain ;
1270   struct anon_vma *anon_vma ;
1271   struct vm_operations_struct  const  *vm_ops ;
1272   unsigned long vm_pgoff ;
1273   struct file *vm_file ;
1274   void *vm_private_data ;
1275   struct mempolicy *vm_policy ;
1276};
1277#line 257 "include/linux/mm_types.h"
1278struct core_thread {
1279   struct task_struct *task ;
1280   struct core_thread *next ;
1281};
1282#line 262 "include/linux/mm_types.h"
1283struct core_state {
1284   atomic_t nr_threads ;
1285   struct core_thread dumper ;
1286   struct completion startup ;
1287};
1288#line 284 "include/linux/mm_types.h"
1289struct mm_rss_stat {
1290   atomic_long_t count[3] ;
1291};
1292#line 288
1293struct linux_binfmt;
1294#line 288
1295struct mmu_notifier_mm;
1296#line 288 "include/linux/mm_types.h"
1297struct mm_struct {
1298   struct vm_area_struct *mmap ;
1299   struct rb_root mm_rb ;
1300   struct vm_area_struct *mmap_cache ;
1301   unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
1302                                      unsigned long pgoff , unsigned long flags ) ;
1303   void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
1304   unsigned long mmap_base ;
1305   unsigned long task_size ;
1306   unsigned long cached_hole_size ;
1307   unsigned long free_area_cache ;
1308   pgd_t *pgd ;
1309   atomic_t mm_users ;
1310   atomic_t mm_count ;
1311   int map_count ;
1312   spinlock_t page_table_lock ;
1313   struct rw_semaphore mmap_sem ;
1314   struct list_head mmlist ;
1315   unsigned long hiwater_rss ;
1316   unsigned long hiwater_vm ;
1317   unsigned long total_vm ;
1318   unsigned long locked_vm ;
1319   unsigned long pinned_vm ;
1320   unsigned long shared_vm ;
1321   unsigned long exec_vm ;
1322   unsigned long stack_vm ;
1323   unsigned long reserved_vm ;
1324   unsigned long def_flags ;
1325   unsigned long nr_ptes ;
1326   unsigned long start_code ;
1327   unsigned long end_code ;
1328   unsigned long start_data ;
1329   unsigned long end_data ;
1330   unsigned long start_brk ;
1331   unsigned long brk ;
1332   unsigned long start_stack ;
1333   unsigned long arg_start ;
1334   unsigned long arg_end ;
1335   unsigned long env_start ;
1336   unsigned long env_end ;
1337   unsigned long saved_auxv[44] ;
1338   struct mm_rss_stat rss_stat ;
1339   struct linux_binfmt *binfmt ;
1340   cpumask_var_t cpu_vm_mask_var ;
1341   mm_context_t context ;
1342   unsigned int faultstamp ;
1343   unsigned int token_priority ;
1344   unsigned int last_interval ;
1345   unsigned long flags ;
1346   struct core_state *core_state ;
1347   spinlock_t ioctx_lock ;
1348   struct hlist_head ioctx_list ;
1349   struct task_struct *owner ;
1350   struct file *exe_file ;
1351   unsigned long num_exe_file_vmas ;
1352   struct mmu_notifier_mm *mmu_notifier_mm ;
1353   pgtable_t pmd_huge_pte ;
1354   struct cpumask cpumask_allocation ;
1355};
1356#line 8 "include/linux/shrinker.h"
1357struct shrink_control {
1358   gfp_t gfp_mask ;
1359   unsigned long nr_to_scan ;
1360};
1361#line 31 "include/linux/shrinker.h"
1362struct shrinker {
1363   int (*shrink)(struct shrinker * , struct shrink_control *sc ) ;
1364   int seeks ;
1365   long batch ;
1366   struct list_head list ;
1367   atomic_long_t nr_in_batch ;
1368};
1369#line 22 "include/linux/mm.h"
1370struct mempolicy;
1371#line 23
1372struct anon_vma;
1373#line 24
1374struct file_ra_state;
1375#line 24
1376struct file_ra_state;
1377#line 25
1378struct user_struct;
1379#line 25
1380struct user_struct;
1381#line 26
1382struct writeback_control;
1383#line 26
1384struct writeback_control;
1385#line 41 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64.h"
1386struct mm_struct;
1387#line 656 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable.h"
1388struct vm_area_struct;
1389#line 188 "include/linux/mm.h"
1390struct vm_fault {
1391   unsigned int flags ;
1392   unsigned long pgoff ;
1393   void *virtual_address ;
1394   struct page *page ;
1395};
1396#line 205 "include/linux/mm.h"
1397struct vm_operations_struct {
1398   void (*open)(struct vm_area_struct *area ) ;
1399   void (*close)(struct vm_area_struct *area ) ;
1400   int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1401   int (*page_mkwrite)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
1402   int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
1403                 int write ) ;
1404   int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
1405   struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
1406   int (*migrate)(struct vm_area_struct *vma , nodemask_t const   *from , nodemask_t const   *to ,
1407                  unsigned long flags ) ;
1408};
1409#line 247
1410struct inode;
1411#line 247
1412struct inode;
1413#line 195 "include/linux/page-flags.h"
1414struct page;
1415#line 46 "include/linux/slub_def.h"
1416struct kmem_cache_cpu {
1417   void **freelist ;
1418   unsigned long tid ;
1419   struct page *page ;
1420   struct page *partial ;
1421   int node ;
1422   unsigned int stat[26] ;
1423};
1424#line 57 "include/linux/slub_def.h"
1425struct kmem_cache_node {
1426   spinlock_t list_lock ;
1427   unsigned long nr_partial ;
1428   struct list_head partial ;
1429   atomic_long_t nr_slabs ;
1430   atomic_long_t total_objects ;
1431   struct list_head full ;
1432};
1433#line 73 "include/linux/slub_def.h"
1434struct kmem_cache_order_objects {
1435   unsigned long x ;
1436};
1437#line 80 "include/linux/slub_def.h"
1438struct kmem_cache {
1439   struct kmem_cache_cpu *cpu_slab ;
1440   unsigned long flags ;
1441   unsigned long min_partial ;
1442   int size ;
1443   int objsize ;
1444   int offset ;
1445   int cpu_partial ;
1446   struct kmem_cache_order_objects oo ;
1447   struct kmem_cache_order_objects max ;
1448   struct kmem_cache_order_objects min ;
1449   gfp_t allocflags ;
1450   int refcount ;
1451   void (*ctor)(void * ) ;
1452   int inuse ;
1453   int align ;
1454   int reserved ;
1455   char const   *name ;
1456   struct list_head list ;
1457   struct kobject kobj ;
1458   int remote_node_defrag_ratio ;
1459   struct kmem_cache_node *node[1 << 10] ;
1460};
1461#line 12 "include/linux/mod_devicetable.h"
1462typedef unsigned long kernel_ulong_t;
1463#line 17 "include/linux/mod_devicetable.h"
1464struct pci_device_id {
1465   __u32 vendor ;
1466   __u32 device ;
1467   __u32 subvendor ;
1468   __u32 subdevice ;
1469   __u32 class ;
1470   __u32 class_mask ;
1471   kernel_ulong_t driver_data ;
1472};
1473#line 219 "include/linux/mod_devicetable.h"
1474struct of_device_id {
1475   char name[32] ;
1476   char type[32] ;
1477   char compatible[128] ;
1478   void *data ;
1479};
1480#line 431 "include/linux/mod_devicetable.h"
1481struct i2c_device_id {
1482   char name[20] ;
1483   kernel_ulong_t driver_data  __attribute__((__aligned__(sizeof(kernel_ulong_t )))) ;
1484};
1485#line 19 "include/linux/klist.h"
1486struct klist_node;
1487#line 19
1488struct klist_node;
1489#line 39 "include/linux/klist.h"
1490struct klist_node {
1491   void *n_klist ;
1492   struct list_head n_node ;
1493   struct kref n_ref ;
1494};
1495#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1496struct dma_map_ops;
1497#line 4 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1498struct dev_archdata {
1499   void *acpi_handle ;
1500   struct dma_map_ops *dma_ops ;
1501   void *iommu ;
1502};
1503#line 28 "include/linux/device.h"
1504struct device;
1505#line 29
1506struct device_private;
1507#line 29
1508struct device_private;
1509#line 30
1510struct device_driver;
1511#line 30
1512struct device_driver;
1513#line 31
1514struct driver_private;
1515#line 31
1516struct driver_private;
1517#line 32
1518struct module;
1519#line 33
1520struct class;
1521#line 33
1522struct class;
1523#line 34
1524struct subsys_private;
1525#line 34
1526struct subsys_private;
1527#line 35
1528struct bus_type;
1529#line 35
1530struct bus_type;
1531#line 36
1532struct device_node;
1533#line 36
1534struct device_node;
1535#line 37
1536struct iommu_ops;
1537#line 37
1538struct iommu_ops;
1539#line 39 "include/linux/device.h"
1540struct bus_attribute {
1541   struct attribute attr ;
1542   ssize_t (*show)(struct bus_type *bus , char *buf ) ;
1543   ssize_t (*store)(struct bus_type *bus , char const   *buf , size_t count ) ;
1544};
1545#line 89
1546struct device_attribute;
1547#line 89
1548struct driver_attribute;
1549#line 89 "include/linux/device.h"
1550struct bus_type {
1551   char const   *name ;
1552   char const   *dev_name ;
1553   struct device *dev_root ;
1554   struct bus_attribute *bus_attrs ;
1555   struct device_attribute *dev_attrs ;
1556   struct driver_attribute *drv_attrs ;
1557   int (*match)(struct device *dev , struct device_driver *drv ) ;
1558   int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1559   int (*probe)(struct device *dev ) ;
1560   int (*remove)(struct device *dev ) ;
1561   void (*shutdown)(struct device *dev ) ;
1562   int (*suspend)(struct device *dev , pm_message_t state ) ;
1563   int (*resume)(struct device *dev ) ;
1564   struct dev_pm_ops  const  *pm ;
1565   struct iommu_ops *iommu_ops ;
1566   struct subsys_private *p ;
1567};
1568#line 127
1569struct device_type;
1570#line 159
1571struct notifier_block;
1572#line 214 "include/linux/device.h"
1573struct device_driver {
1574   char const   *name ;
1575   struct bus_type *bus ;
1576   struct module *owner ;
1577   char const   *mod_name ;
1578   bool suppress_bind_attrs ;
1579   struct of_device_id  const  *of_match_table ;
1580   int (*probe)(struct device *dev ) ;
1581   int (*remove)(struct device *dev ) ;
1582   void (*shutdown)(struct device *dev ) ;
1583   int (*suspend)(struct device *dev , pm_message_t state ) ;
1584   int (*resume)(struct device *dev ) ;
1585   struct attribute_group  const  **groups ;
1586   struct dev_pm_ops  const  *pm ;
1587   struct driver_private *p ;
1588};
1589#line 249 "include/linux/device.h"
1590struct driver_attribute {
1591   struct attribute attr ;
1592   ssize_t (*show)(struct device_driver *driver , char *buf ) ;
1593   ssize_t (*store)(struct device_driver *driver , char const   *buf , size_t count ) ;
1594};
1595#line 330
1596struct class_attribute;
1597#line 330 "include/linux/device.h"
1598struct class {
1599   char const   *name ;
1600   struct module *owner ;
1601   struct class_attribute *class_attrs ;
1602   struct device_attribute *dev_attrs ;
1603   struct bin_attribute *dev_bin_attrs ;
1604   struct kobject *dev_kobj ;
1605   int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1606   char *(*devnode)(struct device *dev , umode_t *mode ) ;
1607   void (*class_release)(struct class *class ) ;
1608   void (*dev_release)(struct device *dev ) ;
1609   int (*suspend)(struct device *dev , pm_message_t state ) ;
1610   int (*resume)(struct device *dev ) ;
1611   struct kobj_ns_type_operations  const  *ns_type ;
1612   void const   *(*namespace)(struct device *dev ) ;
1613   struct dev_pm_ops  const  *pm ;
1614   struct subsys_private *p ;
1615};
1616#line 397 "include/linux/device.h"
1617struct class_attribute {
1618   struct attribute attr ;
1619   ssize_t (*show)(struct class *class , struct class_attribute *attr , char *buf ) ;
1620   ssize_t (*store)(struct class *class , struct class_attribute *attr , char const   *buf ,
1621                    size_t count ) ;
1622   void const   *(*namespace)(struct class *class , struct class_attribute  const  *attr ) ;
1623};
1624#line 465 "include/linux/device.h"
1625struct device_type {
1626   char const   *name ;
1627   struct attribute_group  const  **groups ;
1628   int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
1629   char *(*devnode)(struct device *dev , umode_t *mode ) ;
1630   void (*release)(struct device *dev ) ;
1631   struct dev_pm_ops  const  *pm ;
1632};
1633#line 476 "include/linux/device.h"
1634struct device_attribute {
1635   struct attribute attr ;
1636   ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
1637   ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const   *buf ,
1638                    size_t count ) ;
1639};
1640#line 559 "include/linux/device.h"
1641struct device_dma_parameters {
1642   unsigned int max_segment_size ;
1643   unsigned long segment_boundary_mask ;
1644};
1645#line 627
1646struct dma_coherent_mem;
1647#line 627 "include/linux/device.h"
1648struct device {
1649   struct device *parent ;
1650   struct device_private *p ;
1651   struct kobject kobj ;
1652   char const   *init_name ;
1653   struct device_type  const  *type ;
1654   struct mutex mutex ;
1655   struct bus_type *bus ;
1656   struct device_driver *driver ;
1657   void *platform_data ;
1658   struct dev_pm_info power ;
1659   struct dev_pm_domain *pm_domain ;
1660   int numa_node ;
1661   u64 *dma_mask ;
1662   u64 coherent_dma_mask ;
1663   struct device_dma_parameters *dma_parms ;
1664   struct list_head dma_pools ;
1665   struct dma_coherent_mem *dma_mem ;
1666   struct dev_archdata archdata ;
1667   struct device_node *of_node ;
1668   dev_t devt ;
1669   u32 id ;
1670   spinlock_t devres_lock ;
1671   struct list_head devres_head ;
1672   struct klist_node knode_class ;
1673   struct class *class ;
1674   struct attribute_group  const  **groups ;
1675   void (*release)(struct device *dev ) ;
1676};
1677#line 43 "include/linux/pm_wakeup.h"
1678struct wakeup_source {
1679   char const   *name ;
1680   struct list_head entry ;
1681   spinlock_t lock ;
1682   struct timer_list timer ;
1683   unsigned long timer_expires ;
1684   ktime_t total_time ;
1685   ktime_t max_time ;
1686   ktime_t last_time ;
1687   unsigned long event_count ;
1688   unsigned long active_count ;
1689   unsigned long relax_count ;
1690   unsigned long hit_count ;
1691   unsigned int active : 1 ;
1692};
1693#line 18 "include/linux/capability.h"
1694struct task_struct;
1695#line 94 "include/linux/capability.h"
1696struct kernel_cap_struct {
1697   __u32 cap[2] ;
1698};
1699#line 94 "include/linux/capability.h"
1700typedef struct kernel_cap_struct kernel_cap_t;
1701#line 377
1702struct dentry;
1703#line 377
1704struct dentry;
1705#line 378
1706struct user_namespace;
1707#line 378
1708struct user_namespace;
1709#line 7 "include/asm-generic/cputime.h"
1710typedef unsigned long cputime_t;
1711#line 84 "include/linux/sem.h"
1712struct task_struct;
1713#line 101
1714struct sem_undo_list;
1715#line 101 "include/linux/sem.h"
1716struct sysv_sem {
1717   struct sem_undo_list *undo_list ;
1718};
1719#line 10 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1720struct siginfo;
1721#line 10
1722struct siginfo;
1723#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1724struct __anonstruct_sigset_t_215 {
1725   unsigned long sig[1] ;
1726};
1727#line 30 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1728typedef struct __anonstruct_sigset_t_215 sigset_t;
1729#line 17 "include/asm-generic/signal-defs.h"
1730typedef void __signalfn_t(int  );
1731#line 18 "include/asm-generic/signal-defs.h"
1732typedef __signalfn_t *__sighandler_t;
1733#line 20 "include/asm-generic/signal-defs.h"
1734typedef void __restorefn_t(void);
1735#line 21 "include/asm-generic/signal-defs.h"
1736typedef __restorefn_t *__sigrestore_t;
1737#line 167 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1738struct sigaction {
1739   __sighandler_t sa_handler ;
1740   unsigned long sa_flags ;
1741   __sigrestore_t sa_restorer ;
1742   sigset_t sa_mask ;
1743};
1744#line 174 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1745struct k_sigaction {
1746   struct sigaction sa ;
1747};
1748#line 7 "include/asm-generic/siginfo.h"
1749union sigval {
1750   int sival_int ;
1751   void *sival_ptr ;
1752};
1753#line 7 "include/asm-generic/siginfo.h"
1754typedef union sigval sigval_t;
1755#line 48 "include/asm-generic/siginfo.h"
1756struct __anonstruct__kill_217 {
1757   __kernel_pid_t _pid ;
1758   __kernel_uid32_t _uid ;
1759};
1760#line 48 "include/asm-generic/siginfo.h"
1761struct __anonstruct__timer_218 {
1762   __kernel_timer_t _tid ;
1763   int _overrun ;
1764   char _pad[sizeof(__kernel_uid32_t ) - sizeof(int )] ;
1765   sigval_t _sigval ;
1766   int _sys_private ;
1767};
1768#line 48 "include/asm-generic/siginfo.h"
1769struct __anonstruct__rt_219 {
1770   __kernel_pid_t _pid ;
1771   __kernel_uid32_t _uid ;
1772   sigval_t _sigval ;
1773};
1774#line 48 "include/asm-generic/siginfo.h"
1775struct __anonstruct__sigchld_220 {
1776   __kernel_pid_t _pid ;
1777   __kernel_uid32_t _uid ;
1778   int _status ;
1779   __kernel_clock_t _utime ;
1780   __kernel_clock_t _stime ;
1781};
1782#line 48 "include/asm-generic/siginfo.h"
1783struct __anonstruct__sigfault_221 {
1784   void *_addr ;
1785   short _addr_lsb ;
1786};
1787#line 48 "include/asm-generic/siginfo.h"
1788struct __anonstruct__sigpoll_222 {
1789   long _band ;
1790   int _fd ;
1791};
1792#line 48 "include/asm-generic/siginfo.h"
1793union __anonunion__sifields_216 {
1794   int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
1795   struct __anonstruct__kill_217 _kill ;
1796   struct __anonstruct__timer_218 _timer ;
1797   struct __anonstruct__rt_219 _rt ;
1798   struct __anonstruct__sigchld_220 _sigchld ;
1799   struct __anonstruct__sigfault_221 _sigfault ;
1800   struct __anonstruct__sigpoll_222 _sigpoll ;
1801};
1802#line 48 "include/asm-generic/siginfo.h"
1803struct siginfo {
1804   int si_signo ;
1805   int si_errno ;
1806   int si_code ;
1807   union __anonunion__sifields_216 _sifields ;
1808};
1809#line 48 "include/asm-generic/siginfo.h"
1810typedef struct siginfo siginfo_t;
1811#line 288
1812struct siginfo;
1813#line 10 "include/linux/signal.h"
1814struct task_struct;
1815#line 28 "include/linux/signal.h"
1816struct sigpending {
1817   struct list_head list ;
1818   sigset_t signal ;
1819};
1820#line 239
1821struct timespec;
1822#line 240
1823struct pt_regs;
1824#line 6 "include/linux/pid.h"
1825enum pid_type {
1826    PIDTYPE_PID = 0,
1827    PIDTYPE_PGID = 1,
1828    PIDTYPE_SID = 2,
1829    PIDTYPE_MAX = 3
1830} ;
1831#line 50
1832struct pid_namespace;
1833#line 50 "include/linux/pid.h"
1834struct upid {
1835   int nr ;
1836   struct pid_namespace *ns ;
1837   struct hlist_node pid_chain ;
1838};
1839#line 57 "include/linux/pid.h"
1840struct pid {
1841   atomic_t count ;
1842   unsigned int level ;
1843   struct hlist_head tasks[3] ;
1844   struct rcu_head rcu ;
1845   struct upid numbers[1] ;
1846};
1847#line 69 "include/linux/pid.h"
1848struct pid_link {
1849   struct hlist_node node ;
1850   struct pid *pid ;
1851};
1852#line 100
1853struct pid_namespace;
1854#line 10 "include/linux/seccomp.h"
1855struct __anonstruct_seccomp_t_225 {
1856   int mode ;
1857};
1858#line 10 "include/linux/seccomp.h"
1859typedef struct __anonstruct_seccomp_t_225 seccomp_t;
1860#line 81 "include/linux/plist.h"
1861struct plist_head {
1862   struct list_head node_list ;
1863};
1864#line 85 "include/linux/plist.h"
1865struct plist_node {
1866   int prio ;
1867   struct list_head prio_list ;
1868   struct list_head node_list ;
1869};
1870#line 28 "include/linux/rtmutex.h"
1871struct rt_mutex {
1872   raw_spinlock_t wait_lock ;
1873   struct plist_head wait_list ;
1874   struct task_struct *owner ;
1875   int save_state ;
1876   char const   *name ;
1877   char const   *file ;
1878   int line ;
1879   void *magic ;
1880};
1881#line 40
1882struct rt_mutex_waiter;
1883#line 40
1884struct rt_mutex_waiter;
1885#line 42 "include/linux/resource.h"
1886struct rlimit {
1887   unsigned long rlim_cur ;
1888   unsigned long rlim_max ;
1889};
1890#line 81
1891struct task_struct;
1892#line 8 "include/linux/timerqueue.h"
1893struct timerqueue_node {
1894   struct rb_node node ;
1895   ktime_t expires ;
1896};
1897#line 13 "include/linux/timerqueue.h"
1898struct timerqueue_head {
1899   struct rb_root head ;
1900   struct timerqueue_node *next ;
1901};
1902#line 27 "include/linux/hrtimer.h"
1903struct hrtimer_clock_base;
1904#line 27
1905struct hrtimer_clock_base;
1906#line 28
1907struct hrtimer_cpu_base;
1908#line 28
1909struct hrtimer_cpu_base;
1910#line 44
1911enum hrtimer_restart {
1912    HRTIMER_NORESTART = 0,
1913    HRTIMER_RESTART = 1
1914} ;
1915#line 108 "include/linux/hrtimer.h"
1916struct hrtimer {
1917   struct timerqueue_node node ;
1918   ktime_t _softexpires ;
1919   enum hrtimer_restart (*function)(struct hrtimer * ) ;
1920   struct hrtimer_clock_base *base ;
1921   unsigned long state ;
1922   int start_pid ;
1923   void *start_site ;
1924   char start_comm[16] ;
1925};
1926#line 145 "include/linux/hrtimer.h"
1927struct hrtimer_clock_base {
1928   struct hrtimer_cpu_base *cpu_base ;
1929   int index ;
1930   clockid_t clockid ;
1931   struct timerqueue_head active ;
1932   ktime_t resolution ;
1933   ktime_t (*get_time)(void) ;
1934   ktime_t softirq_time ;
1935   ktime_t offset ;
1936};
1937#line 178 "include/linux/hrtimer.h"
1938struct hrtimer_cpu_base {
1939   raw_spinlock_t lock ;
1940   unsigned long active_bases ;
1941   ktime_t expires_next ;
1942   int hres_active ;
1943   int hang_detected ;
1944   unsigned long nr_events ;
1945   unsigned long nr_retries ;
1946   unsigned long nr_hangs ;
1947   ktime_t max_hang_time ;
1948   struct hrtimer_clock_base clock_base[3] ;
1949};
1950#line 11 "include/linux/task_io_accounting.h"
1951struct task_io_accounting {
1952   u64 rchar ;
1953   u64 wchar ;
1954   u64 syscr ;
1955   u64 syscw ;
1956   u64 read_bytes ;
1957   u64 write_bytes ;
1958   u64 cancelled_write_bytes ;
1959};
1960#line 13 "include/linux/latencytop.h"
1961struct task_struct;
1962#line 20 "include/linux/latencytop.h"
1963struct latency_record {
1964   unsigned long backtrace[12] ;
1965   unsigned int count ;
1966   unsigned long time ;
1967   unsigned long max ;
1968};
1969#line 29 "include/linux/key.h"
1970typedef int32_t key_serial_t;
1971#line 32 "include/linux/key.h"
1972typedef uint32_t key_perm_t;
1973#line 34
1974struct key;
1975#line 34
1976struct key;
1977#line 74
1978struct seq_file;
1979#line 75
1980struct user_struct;
1981#line 76
1982struct signal_struct;
1983#line 76
1984struct signal_struct;
1985#line 77
1986struct cred;
1987#line 79
1988struct key_type;
1989#line 79
1990struct key_type;
1991#line 81
1992struct keyring_list;
1993#line 81
1994struct keyring_list;
1995#line 124
1996struct key_user;
1997#line 124 "include/linux/key.h"
1998union __anonunion____missing_field_name_226 {
1999   time_t expiry ;
2000   time_t revoked_at ;
2001};
2002#line 124 "include/linux/key.h"
2003union __anonunion_type_data_227 {
2004   struct list_head link ;
2005   unsigned long x[2] ;
2006   void *p[2] ;
2007   int reject_error ;
2008};
2009#line 124 "include/linux/key.h"
2010union __anonunion_payload_228 {
2011   unsigned long value ;
2012   void *rcudata ;
2013   void *data ;
2014   struct keyring_list *subscriptions ;
2015};
2016#line 124 "include/linux/key.h"
2017struct key {
2018   atomic_t usage ;
2019   key_serial_t serial ;
2020   struct rb_node serial_node ;
2021   struct key_type *type ;
2022   struct rw_semaphore sem ;
2023   struct key_user *user ;
2024   void *security ;
2025   union __anonunion____missing_field_name_226 __annonCompField42 ;
2026   uid_t uid ;
2027   gid_t gid ;
2028   key_perm_t perm ;
2029   unsigned short quotalen ;
2030   unsigned short datalen ;
2031   unsigned long flags ;
2032   char *description ;
2033   union __anonunion_type_data_227 type_data ;
2034   union __anonunion_payload_228 payload ;
2035};
2036#line 18 "include/linux/selinux.h"
2037struct audit_context;
2038#line 18
2039struct audit_context;
2040#line 21 "include/linux/cred.h"
2041struct user_struct;
2042#line 22
2043struct cred;
2044#line 23
2045struct inode;
2046#line 31 "include/linux/cred.h"
2047struct group_info {
2048   atomic_t usage ;
2049   int ngroups ;
2050   int nblocks ;
2051   gid_t small_block[32] ;
2052   gid_t *blocks[0] ;
2053};
2054#line 83 "include/linux/cred.h"
2055struct thread_group_cred {
2056   atomic_t usage ;
2057   pid_t tgid ;
2058   spinlock_t lock ;
2059   struct key *session_keyring ;
2060   struct key *process_keyring ;
2061   struct rcu_head rcu ;
2062};
2063#line 116 "include/linux/cred.h"
2064struct cred {
2065   atomic_t usage ;
2066   atomic_t subscribers ;
2067   void *put_addr ;
2068   unsigned int magic ;
2069   uid_t uid ;
2070   gid_t gid ;
2071   uid_t suid ;
2072   gid_t sgid ;
2073   uid_t euid ;
2074   gid_t egid ;
2075   uid_t fsuid ;
2076   gid_t fsgid ;
2077   unsigned int securebits ;
2078   kernel_cap_t cap_inheritable ;
2079   kernel_cap_t cap_permitted ;
2080   kernel_cap_t cap_effective ;
2081   kernel_cap_t cap_bset ;
2082   unsigned char jit_keyring ;
2083   struct key *thread_keyring ;
2084   struct key *request_key_auth ;
2085   struct thread_group_cred *tgcred ;
2086   void *security ;
2087   struct user_struct *user ;
2088   struct user_namespace *user_ns ;
2089   struct group_info *group_info ;
2090   struct rcu_head rcu ;
2091};
2092#line 61 "include/linux/llist.h"
2093struct llist_node;
2094#line 65 "include/linux/llist.h"
2095struct llist_node {
2096   struct llist_node *next ;
2097};
2098#line 97 "include/linux/sched.h"
2099struct futex_pi_state;
2100#line 97
2101struct futex_pi_state;
2102#line 98
2103struct robust_list_head;
2104#line 98
2105struct robust_list_head;
2106#line 99
2107struct bio_list;
2108#line 99
2109struct bio_list;
2110#line 100
2111struct fs_struct;
2112#line 100
2113struct fs_struct;
2114#line 101
2115struct perf_event_context;
2116#line 101
2117struct perf_event_context;
2118#line 102
2119struct blk_plug;
2120#line 102
2121struct blk_plug;
2122#line 150
2123struct seq_file;
2124#line 151
2125struct cfs_rq;
2126#line 151
2127struct cfs_rq;
2128#line 259
2129struct task_struct;
2130#line 366
2131struct nsproxy;
2132#line 367
2133struct user_namespace;
2134#line 58 "include/linux/aio_abi.h"
2135struct io_event {
2136   __u64 data ;
2137   __u64 obj ;
2138   __s64 res ;
2139   __s64 res2 ;
2140};
2141#line 16 "include/linux/uio.h"
2142struct iovec {
2143   void *iov_base ;
2144   __kernel_size_t iov_len ;
2145};
2146#line 15 "include/linux/aio.h"
2147struct kioctx;
2148#line 15
2149struct kioctx;
2150#line 87 "include/linux/aio.h"
2151union __anonunion_ki_obj_230 {
2152   void *user ;
2153   struct task_struct *tsk ;
2154};
2155#line 87
2156struct eventfd_ctx;
2157#line 87 "include/linux/aio.h"
2158struct kiocb {
2159   struct list_head ki_run_list ;
2160   unsigned long ki_flags ;
2161   int ki_users ;
2162   unsigned int ki_key ;
2163   struct file *ki_filp ;
2164   struct kioctx *ki_ctx ;
2165   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2166   ssize_t (*ki_retry)(struct kiocb * ) ;
2167   void (*ki_dtor)(struct kiocb * ) ;
2168   union __anonunion_ki_obj_230 ki_obj ;
2169   __u64 ki_user_data ;
2170   loff_t ki_pos ;
2171   void *private ;
2172   unsigned short ki_opcode ;
2173   size_t ki_nbytes ;
2174   char *ki_buf ;
2175   size_t ki_left ;
2176   struct iovec ki_inline_vec ;
2177   struct iovec *ki_iovec ;
2178   unsigned long ki_nr_segs ;
2179   unsigned long ki_cur_seg ;
2180   struct list_head ki_list ;
2181   struct list_head ki_batch ;
2182   struct eventfd_ctx *ki_eventfd ;
2183};
2184#line 166 "include/linux/aio.h"
2185struct aio_ring_info {
2186   unsigned long mmap_base ;
2187   unsigned long mmap_size ;
2188   struct page **ring_pages ;
2189   spinlock_t ring_lock ;
2190   long nr_pages ;
2191   unsigned int nr ;
2192   unsigned int tail ;
2193   struct page *internal_pages[8] ;
2194};
2195#line 179 "include/linux/aio.h"
2196struct kioctx {
2197   atomic_t users ;
2198   int dead ;
2199   struct mm_struct *mm ;
2200   unsigned long user_id ;
2201   struct hlist_node list ;
2202   wait_queue_head_t wait ;
2203   spinlock_t ctx_lock ;
2204   int reqs_active ;
2205   struct list_head active_reqs ;
2206   struct list_head run_list ;
2207   unsigned int max_reqs ;
2208   struct aio_ring_info ring_info ;
2209   struct delayed_work wq ;
2210   struct rcu_head rcu_head ;
2211};
2212#line 214
2213struct mm_struct;
2214#line 443 "include/linux/sched.h"
2215struct sighand_struct {
2216   atomic_t count ;
2217   struct k_sigaction action[64] ;
2218   spinlock_t siglock ;
2219   wait_queue_head_t signalfd_wqh ;
2220};
2221#line 450 "include/linux/sched.h"
2222struct pacct_struct {
2223   int ac_flag ;
2224   long ac_exitcode ;
2225   unsigned long ac_mem ;
2226   cputime_t ac_utime ;
2227   cputime_t ac_stime ;
2228   unsigned long ac_minflt ;
2229   unsigned long ac_majflt ;
2230};
2231#line 458 "include/linux/sched.h"
2232struct cpu_itimer {
2233   cputime_t expires ;
2234   cputime_t incr ;
2235   u32 error ;
2236   u32 incr_error ;
2237};
2238#line 476 "include/linux/sched.h"
2239struct task_cputime {
2240   cputime_t utime ;
2241   cputime_t stime ;
2242   unsigned long long sum_exec_runtime ;
2243};
2244#line 512 "include/linux/sched.h"
2245struct thread_group_cputimer {
2246   struct task_cputime cputime ;
2247   int running ;
2248   raw_spinlock_t lock ;
2249};
2250#line 519
2251struct autogroup;
2252#line 519
2253struct autogroup;
2254#line 528
2255struct tty_struct;
2256#line 528
2257struct taskstats;
2258#line 528
2259struct tty_audit_buf;
2260#line 528 "include/linux/sched.h"
2261struct signal_struct {
2262   atomic_t sigcnt ;
2263   atomic_t live ;
2264   int nr_threads ;
2265   wait_queue_head_t wait_chldexit ;
2266   struct task_struct *curr_target ;
2267   struct sigpending shared_pending ;
2268   int group_exit_code ;
2269   int notify_count ;
2270   struct task_struct *group_exit_task ;
2271   int group_stop_count ;
2272   unsigned int flags ;
2273   unsigned int is_child_subreaper : 1 ;
2274   unsigned int has_child_subreaper : 1 ;
2275   struct list_head posix_timers ;
2276   struct hrtimer real_timer ;
2277   struct pid *leader_pid ;
2278   ktime_t it_real_incr ;
2279   struct cpu_itimer it[2] ;
2280   struct thread_group_cputimer cputimer ;
2281   struct task_cputime cputime_expires ;
2282   struct list_head cpu_timers[3] ;
2283   struct pid *tty_old_pgrp ;
2284   int leader ;
2285   struct tty_struct *tty ;
2286   struct autogroup *autogroup ;
2287   cputime_t utime ;
2288   cputime_t stime ;
2289   cputime_t cutime ;
2290   cputime_t cstime ;
2291   cputime_t gtime ;
2292   cputime_t cgtime ;
2293   cputime_t prev_utime ;
2294   cputime_t prev_stime ;
2295   unsigned long nvcsw ;
2296   unsigned long nivcsw ;
2297   unsigned long cnvcsw ;
2298   unsigned long cnivcsw ;
2299   unsigned long min_flt ;
2300   unsigned long maj_flt ;
2301   unsigned long cmin_flt ;
2302   unsigned long cmaj_flt ;
2303   unsigned long inblock ;
2304   unsigned long oublock ;
2305   unsigned long cinblock ;
2306   unsigned long coublock ;
2307   unsigned long maxrss ;
2308   unsigned long cmaxrss ;
2309   struct task_io_accounting ioac ;
2310   unsigned long long sum_sched_runtime ;
2311   struct rlimit rlim[16] ;
2312   struct pacct_struct pacct ;
2313   struct taskstats *stats ;
2314   unsigned int audit_tty ;
2315   struct tty_audit_buf *tty_audit_buf ;
2316   struct rw_semaphore group_rwsem ;
2317   int oom_adj ;
2318   int oom_score_adj ;
2319   int oom_score_adj_min ;
2320   struct mutex cred_guard_mutex ;
2321};
2322#line 703 "include/linux/sched.h"
2323struct user_struct {
2324   atomic_t __count ;
2325   atomic_t processes ;
2326   atomic_t files ;
2327   atomic_t sigpending ;
2328   atomic_t inotify_watches ;
2329   atomic_t inotify_devs ;
2330   atomic_t fanotify_listeners ;
2331   atomic_long_t epoll_watches ;
2332   unsigned long mq_bytes ;
2333   unsigned long locked_shm ;
2334   struct key *uid_keyring ;
2335   struct key *session_keyring ;
2336   struct hlist_node uidhash_node ;
2337   uid_t uid ;
2338   struct user_namespace *user_ns ;
2339   atomic_long_t locked_vm ;
2340};
2341#line 747
2342struct backing_dev_info;
2343#line 747
2344struct backing_dev_info;
2345#line 748
2346struct reclaim_state;
2347#line 748
2348struct reclaim_state;
2349#line 751 "include/linux/sched.h"
2350struct sched_info {
2351   unsigned long pcount ;
2352   unsigned long long run_delay ;
2353   unsigned long long last_arrival ;
2354   unsigned long long last_queued ;
2355};
2356#line 763 "include/linux/sched.h"
2357struct task_delay_info {
2358   spinlock_t lock ;
2359   unsigned int flags ;
2360   struct timespec blkio_start ;
2361   struct timespec blkio_end ;
2362   u64 blkio_delay ;
2363   u64 swapin_delay ;
2364   u32 blkio_count ;
2365   u32 swapin_count ;
2366   struct timespec freepages_start ;
2367   struct timespec freepages_end ;
2368   u64 freepages_delay ;
2369   u32 freepages_count ;
2370};
2371#line 1088
2372struct io_context;
2373#line 1088
2374struct io_context;
2375#line 1097
2376struct audit_context;
2377#line 1098
2378struct mempolicy;
2379#line 1099
2380struct pipe_inode_info;
2381#line 1099
2382struct pipe_inode_info;
2383#line 1102
2384struct rq;
2385#line 1102
2386struct rq;
2387#line 1122 "include/linux/sched.h"
2388struct sched_class {
2389   struct sched_class  const  *next ;
2390   void (*enqueue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2391   void (*dequeue_task)(struct rq *rq , struct task_struct *p , int flags ) ;
2392   void (*yield_task)(struct rq *rq ) ;
2393   bool (*yield_to_task)(struct rq *rq , struct task_struct *p , bool preempt ) ;
2394   void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int flags ) ;
2395   struct task_struct *(*pick_next_task)(struct rq *rq ) ;
2396   void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
2397   int (*select_task_rq)(struct task_struct *p , int sd_flag , int flags ) ;
2398   void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
2399   void (*post_schedule)(struct rq *this_rq ) ;
2400   void (*task_waking)(struct task_struct *task ) ;
2401   void (*task_woken)(struct rq *this_rq , struct task_struct *task ) ;
2402   void (*set_cpus_allowed)(struct task_struct *p , struct cpumask  const  *newmask ) ;
2403   void (*rq_online)(struct rq *rq ) ;
2404   void (*rq_offline)(struct rq *rq ) ;
2405   void (*set_curr_task)(struct rq *rq ) ;
2406   void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
2407   void (*task_fork)(struct task_struct *p ) ;
2408   void (*switched_from)(struct rq *this_rq , struct task_struct *task ) ;
2409   void (*switched_to)(struct rq *this_rq , struct task_struct *task ) ;
2410   void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ) ;
2411   unsigned int (*get_rr_interval)(struct rq *rq , struct task_struct *task ) ;
2412   void (*task_move_group)(struct task_struct *p , int on_rq ) ;
2413};
2414#line 1167 "include/linux/sched.h"
2415struct load_weight {
2416   unsigned long weight ;
2417   unsigned long inv_weight ;
2418};
2419#line 1172 "include/linux/sched.h"
2420struct sched_statistics {
2421   u64 wait_start ;
2422   u64 wait_max ;
2423   u64 wait_count ;
2424   u64 wait_sum ;
2425   u64 iowait_count ;
2426   u64 iowait_sum ;
2427   u64 sleep_start ;
2428   u64 sleep_max ;
2429   s64 sum_sleep_runtime ;
2430   u64 block_start ;
2431   u64 block_max ;
2432   u64 exec_max ;
2433   u64 slice_max ;
2434   u64 nr_migrations_cold ;
2435   u64 nr_failed_migrations_affine ;
2436   u64 nr_failed_migrations_running ;
2437   u64 nr_failed_migrations_hot ;
2438   u64 nr_forced_migrations ;
2439   u64 nr_wakeups ;
2440   u64 nr_wakeups_sync ;
2441   u64 nr_wakeups_migrate ;
2442   u64 nr_wakeups_local ;
2443   u64 nr_wakeups_remote ;
2444   u64 nr_wakeups_affine ;
2445   u64 nr_wakeups_affine_attempts ;
2446   u64 nr_wakeups_passive ;
2447   u64 nr_wakeups_idle ;
2448};
2449#line 1207 "include/linux/sched.h"
2450struct sched_entity {
2451   struct load_weight load ;
2452   struct rb_node run_node ;
2453   struct list_head group_node ;
2454   unsigned int on_rq ;
2455   u64 exec_start ;
2456   u64 sum_exec_runtime ;
2457   u64 vruntime ;
2458   u64 prev_sum_exec_runtime ;
2459   u64 nr_migrations ;
2460   struct sched_statistics statistics ;
2461   struct sched_entity *parent ;
2462   struct cfs_rq *cfs_rq ;
2463   struct cfs_rq *my_q ;
2464};
2465#line 1233
2466struct rt_rq;
2467#line 1233 "include/linux/sched.h"
2468struct sched_rt_entity {
2469   struct list_head run_list ;
2470   unsigned long timeout ;
2471   unsigned int time_slice ;
2472   int nr_cpus_allowed ;
2473   struct sched_rt_entity *back ;
2474   struct sched_rt_entity *parent ;
2475   struct rt_rq *rt_rq ;
2476   struct rt_rq *my_q ;
2477};
2478#line 1264
2479struct files_struct;
2480#line 1264
2481struct css_set;
2482#line 1264
2483struct compat_robust_list_head;
2484#line 1264
2485struct mem_cgroup;
2486#line 1264 "include/linux/sched.h"
2487struct memcg_batch_info {
2488   int do_batch ;
2489   struct mem_cgroup *memcg ;
2490   unsigned long nr_pages ;
2491   unsigned long memsw_nr_pages ;
2492};
2493#line 1264 "include/linux/sched.h"
2494struct task_struct {
2495   long volatile   state ;
2496   void *stack ;
2497   atomic_t usage ;
2498   unsigned int flags ;
2499   unsigned int ptrace ;
2500   struct llist_node wake_entry ;
2501   int on_cpu ;
2502   int on_rq ;
2503   int prio ;
2504   int static_prio ;
2505   int normal_prio ;
2506   unsigned int rt_priority ;
2507   struct sched_class  const  *sched_class ;
2508   struct sched_entity se ;
2509   struct sched_rt_entity rt ;
2510   struct hlist_head preempt_notifiers ;
2511   unsigned char fpu_counter ;
2512   unsigned int policy ;
2513   cpumask_t cpus_allowed ;
2514   struct sched_info sched_info ;
2515   struct list_head tasks ;
2516   struct plist_node pushable_tasks ;
2517   struct mm_struct *mm ;
2518   struct mm_struct *active_mm ;
2519   unsigned int brk_randomized : 1 ;
2520   int exit_state ;
2521   int exit_code ;
2522   int exit_signal ;
2523   int pdeath_signal ;
2524   unsigned int jobctl ;
2525   unsigned int personality ;
2526   unsigned int did_exec : 1 ;
2527   unsigned int in_execve : 1 ;
2528   unsigned int in_iowait : 1 ;
2529   unsigned int sched_reset_on_fork : 1 ;
2530   unsigned int sched_contributes_to_load : 1 ;
2531   unsigned int irq_thread : 1 ;
2532   pid_t pid ;
2533   pid_t tgid ;
2534   unsigned long stack_canary ;
2535   struct task_struct *real_parent ;
2536   struct task_struct *parent ;
2537   struct list_head children ;
2538   struct list_head sibling ;
2539   struct task_struct *group_leader ;
2540   struct list_head ptraced ;
2541   struct list_head ptrace_entry ;
2542   struct pid_link pids[3] ;
2543   struct list_head thread_group ;
2544   struct completion *vfork_done ;
2545   int *set_child_tid ;
2546   int *clear_child_tid ;
2547   cputime_t utime ;
2548   cputime_t stime ;
2549   cputime_t utimescaled ;
2550   cputime_t stimescaled ;
2551   cputime_t gtime ;
2552   cputime_t prev_utime ;
2553   cputime_t prev_stime ;
2554   unsigned long nvcsw ;
2555   unsigned long nivcsw ;
2556   struct timespec start_time ;
2557   struct timespec real_start_time ;
2558   unsigned long min_flt ;
2559   unsigned long maj_flt ;
2560   struct task_cputime cputime_expires ;
2561   struct list_head cpu_timers[3] ;
2562   struct cred  const  *real_cred ;
2563   struct cred  const  *cred ;
2564   struct cred *replacement_session_keyring ;
2565   char comm[16] ;
2566   int link_count ;
2567   int total_link_count ;
2568   struct sysv_sem sysvsem ;
2569   unsigned long last_switch_count ;
2570   struct thread_struct thread ;
2571   struct fs_struct *fs ;
2572   struct files_struct *files ;
2573   struct nsproxy *nsproxy ;
2574   struct signal_struct *signal ;
2575   struct sighand_struct *sighand ;
2576   sigset_t blocked ;
2577   sigset_t real_blocked ;
2578   sigset_t saved_sigmask ;
2579   struct sigpending pending ;
2580   unsigned long sas_ss_sp ;
2581   size_t sas_ss_size ;
2582   int (*notifier)(void *priv ) ;
2583   void *notifier_data ;
2584   sigset_t *notifier_mask ;
2585   struct audit_context *audit_context ;
2586   uid_t loginuid ;
2587   unsigned int sessionid ;
2588   seccomp_t seccomp ;
2589   u32 parent_exec_id ;
2590   u32 self_exec_id ;
2591   spinlock_t alloc_lock ;
2592   raw_spinlock_t pi_lock ;
2593   struct plist_head pi_waiters ;
2594   struct rt_mutex_waiter *pi_blocked_on ;
2595   struct mutex_waiter *blocked_on ;
2596   unsigned int irq_events ;
2597   unsigned long hardirq_enable_ip ;
2598   unsigned long hardirq_disable_ip ;
2599   unsigned int hardirq_enable_event ;
2600   unsigned int hardirq_disable_event ;
2601   int hardirqs_enabled ;
2602   int hardirq_context ;
2603   unsigned long softirq_disable_ip ;
2604   unsigned long softirq_enable_ip ;
2605   unsigned int softirq_disable_event ;
2606   unsigned int softirq_enable_event ;
2607   int softirqs_enabled ;
2608   int softirq_context ;
2609   void *journal_info ;
2610   struct bio_list *bio_list ;
2611   struct blk_plug *plug ;
2612   struct reclaim_state *reclaim_state ;
2613   struct backing_dev_info *backing_dev_info ;
2614   struct io_context *io_context ;
2615   unsigned long ptrace_message ;
2616   siginfo_t *last_siginfo ;
2617   struct task_io_accounting ioac ;
2618   u64 acct_rss_mem1 ;
2619   u64 acct_vm_mem1 ;
2620   cputime_t acct_timexpd ;
2621   nodemask_t mems_allowed ;
2622   seqcount_t mems_allowed_seq ;
2623   int cpuset_mem_spread_rotor ;
2624   int cpuset_slab_spread_rotor ;
2625   struct css_set *cgroups ;
2626   struct list_head cg_list ;
2627   struct robust_list_head *robust_list ;
2628   struct compat_robust_list_head *compat_robust_list ;
2629   struct list_head pi_state_list ;
2630   struct futex_pi_state *pi_state_cache ;
2631   struct perf_event_context *perf_event_ctxp[2] ;
2632   struct mutex perf_event_mutex ;
2633   struct list_head perf_event_list ;
2634   struct mempolicy *mempolicy ;
2635   short il_next ;
2636   short pref_node_fork ;
2637   struct rcu_head rcu ;
2638   struct pipe_inode_info *splice_pipe ;
2639   struct task_delay_info *delays ;
2640   int make_it_fail ;
2641   int nr_dirtied ;
2642   int nr_dirtied_pause ;
2643   unsigned long dirty_paused_when ;
2644   int latency_record_count ;
2645   struct latency_record latency_record[32] ;
2646   unsigned long timer_slack_ns ;
2647   unsigned long default_timer_slack_ns ;
2648   struct list_head *scm_work_list ;
2649   unsigned long trace ;
2650   unsigned long trace_recursion ;
2651   struct memcg_batch_info memcg_batch ;
2652   atomic_t ptrace_bp_refcnt ;
2653};
2654#line 1681
2655struct pid_namespace;
2656#line 28 "include/linux/of.h"
2657typedef u32 phandle;
2658#line 31 "include/linux/of.h"
2659struct property {
2660   char *name ;
2661   int length ;
2662   void *value ;
2663   struct property *next ;
2664   unsigned long _flags ;
2665   unsigned int unique_id ;
2666};
2667#line 44
2668struct proc_dir_entry;
2669#line 44 "include/linux/of.h"
2670struct device_node {
2671   char const   *name ;
2672   char const   *type ;
2673   phandle phandle ;
2674   char *full_name ;
2675   struct property *properties ;
2676   struct property *deadprops ;
2677   struct device_node *parent ;
2678   struct device_node *child ;
2679   struct device_node *sibling ;
2680   struct device_node *next ;
2681   struct device_node *allnext ;
2682   struct proc_dir_entry *pde ;
2683   struct kref kref ;
2684   unsigned long _flags ;
2685   void *data ;
2686};
2687#line 44 "include/linux/i2c.h"
2688struct i2c_msg;
2689#line 44
2690struct i2c_msg;
2691#line 45
2692struct i2c_algorithm;
2693#line 45
2694struct i2c_algorithm;
2695#line 46
2696struct i2c_adapter;
2697#line 46
2698struct i2c_adapter;
2699#line 47
2700struct i2c_client;
2701#line 47
2702struct i2c_client;
2703#line 48
2704struct i2c_driver;
2705#line 48
2706struct i2c_driver;
2707#line 49
2708union i2c_smbus_data;
2709#line 49
2710union i2c_smbus_data;
2711#line 50
2712struct i2c_board_info;
2713#line 50
2714struct i2c_board_info;
2715#line 52
2716struct module;
2717#line 161 "include/linux/i2c.h"
2718struct i2c_driver {
2719   unsigned int class ;
2720   int (*attach_adapter)(struct i2c_adapter * )  __attribute__((__deprecated__)) ;
2721   int (*detach_adapter)(struct i2c_adapter * )  __attribute__((__deprecated__)) ;
2722   int (*probe)(struct i2c_client * , struct i2c_device_id  const  * ) ;
2723   int (*remove)(struct i2c_client * ) ;
2724   void (*shutdown)(struct i2c_client * ) ;
2725   int (*suspend)(struct i2c_client * , pm_message_t mesg ) ;
2726   int (*resume)(struct i2c_client * ) ;
2727   void (*alert)(struct i2c_client * , unsigned int data ) ;
2728   int (*command)(struct i2c_client *client , unsigned int cmd , void *arg ) ;
2729   struct device_driver driver ;
2730   struct i2c_device_id  const  *id_table ;
2731   int (*detect)(struct i2c_client * , struct i2c_board_info * ) ;
2732   unsigned short const   *address_list ;
2733   struct list_head clients ;
2734};
2735#line 220 "include/linux/i2c.h"
2736struct i2c_client {
2737   unsigned short flags ;
2738   unsigned short addr ;
2739   char name[20] ;
2740   struct i2c_adapter *adapter ;
2741   struct i2c_driver *driver ;
2742   struct device dev ;
2743   int irq ;
2744   struct list_head detected ;
2745};
2746#line 273 "include/linux/i2c.h"
2747struct i2c_board_info {
2748   char type[20] ;
2749   unsigned short flags ;
2750   unsigned short addr ;
2751   void *platform_data ;
2752   struct dev_archdata *archdata ;
2753   struct device_node *of_node ;
2754   int irq ;
2755};
2756#line 352 "include/linux/i2c.h"
2757struct i2c_algorithm {
2758   int (*master_xfer)(struct i2c_adapter *adap , struct i2c_msg *msgs , int num ) ;
2759   int (*smbus_xfer)(struct i2c_adapter *adap , u16 addr , unsigned short flags ,
2760                     char read_write , u8 command , int size , union i2c_smbus_data *data ) ;
2761   u32 (*functionality)(struct i2c_adapter * ) ;
2762};
2763#line 373 "include/linux/i2c.h"
2764struct i2c_adapter {
2765   struct module *owner ;
2766   unsigned int class ;
2767   struct i2c_algorithm  const  *algo ;
2768   void *algo_data ;
2769   struct rt_mutex bus_lock ;
2770   int timeout ;
2771   int retries ;
2772   struct device dev ;
2773   int nr ;
2774   char name[48] ;
2775   struct completion dev_released ;
2776   struct mutex userspace_clients_lock ;
2777   struct list_head userspace_clients ;
2778};
2779#line 538 "include/linux/i2c.h"
2780struct i2c_msg {
2781   __u16 addr ;
2782   __u16 flags ;
2783   __u16 len ;
2784   __u8 *buf ;
2785};
2786#line 596 "include/linux/i2c.h"
2787union i2c_smbus_data {
2788   __u8 byte ;
2789   __u16 word ;
2790   __u8 block[34] ;
2791};
2792#line 193 "include/linux/serial.h"
2793struct serial_icounter_struct {
2794   int cts ;
2795   int dsr ;
2796   int rng ;
2797   int dcd ;
2798   int rx ;
2799   int tx ;
2800   int frame ;
2801   int overrun ;
2802   int parity ;
2803   int brk ;
2804   int buf_overrun ;
2805   int reserved[9] ;
2806};
2807#line 31 "include/linux/irq.h"
2808struct seq_file;
2809#line 32
2810struct module;
2811#line 12 "include/linux/irqdesc.h"
2812struct proc_dir_entry;
2813#line 14
2814struct module;
2815#line 16 "include/linux/profile.h"
2816struct proc_dir_entry;
2817#line 17
2818struct pt_regs;
2819#line 18
2820struct notifier_block;
2821#line 65
2822struct task_struct;
2823#line 66
2824struct mm_struct;
2825#line 88
2826struct pt_regs;
2827#line 94 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/uaccess.h"
2828struct exception_table_entry {
2829   unsigned long insn ;
2830   unsigned long fixup ;
2831};
2832#line 132 "include/linux/hardirq.h"
2833struct task_struct;
2834#line 187 "include/linux/interrupt.h"
2835struct device;
2836#line 695
2837struct seq_file;
2838#line 15 "include/linux/blk_types.h"
2839struct page;
2840#line 16
2841struct block_device;
2842#line 16
2843struct block_device;
2844#line 33 "include/linux/list_bl.h"
2845struct hlist_bl_node;
2846#line 33 "include/linux/list_bl.h"
2847struct hlist_bl_head {
2848   struct hlist_bl_node *first ;
2849};
2850#line 37 "include/linux/list_bl.h"
2851struct hlist_bl_node {
2852   struct hlist_bl_node *next ;
2853   struct hlist_bl_node **pprev ;
2854};
2855#line 13 "include/linux/dcache.h"
2856struct nameidata;
2857#line 13
2858struct nameidata;
2859#line 14
2860struct path;
2861#line 14
2862struct path;
2863#line 15
2864struct vfsmount;
2865#line 15
2866struct vfsmount;
2867#line 35 "include/linux/dcache.h"
2868struct qstr {
2869   unsigned int hash ;
2870   unsigned int len ;
2871   unsigned char const   *name ;
2872};
2873#line 88
2874struct dentry_operations;
2875#line 88
2876struct super_block;
2877#line 88 "include/linux/dcache.h"
2878union __anonunion_d_u_240 {
2879   struct list_head d_child ;
2880   struct rcu_head d_rcu ;
2881};
2882#line 88 "include/linux/dcache.h"
2883struct dentry {
2884   unsigned int d_flags ;
2885   seqcount_t d_seq ;
2886   struct hlist_bl_node d_hash ;
2887   struct dentry *d_parent ;
2888   struct qstr d_name ;
2889   struct inode *d_inode ;
2890   unsigned char d_iname[32] ;
2891   unsigned int d_count ;
2892   spinlock_t d_lock ;
2893   struct dentry_operations  const  *d_op ;
2894   struct super_block *d_sb ;
2895   unsigned long d_time ;
2896   void *d_fsdata ;
2897   struct list_head d_lru ;
2898   union __anonunion_d_u_240 d_u ;
2899   struct list_head d_subdirs ;
2900   struct list_head d_alias ;
2901};
2902#line 131 "include/linux/dcache.h"
2903struct dentry_operations {
2904   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2905   int (*d_hash)(struct dentry  const  * , struct inode  const  * , struct qstr * ) ;
2906   int (*d_compare)(struct dentry  const  * , struct inode  const  * , struct dentry  const  * ,
2907                    struct inode  const  * , unsigned int  , char const   * , struct qstr  const  * ) ;
2908   int (*d_delete)(struct dentry  const  * ) ;
2909   void (*d_release)(struct dentry * ) ;
2910   void (*d_prune)(struct dentry * ) ;
2911   void (*d_iput)(struct dentry * , struct inode * ) ;
2912   char *(*d_dname)(struct dentry * , char * , int  ) ;
2913   struct vfsmount *(*d_automount)(struct path * ) ;
2914   int (*d_manage)(struct dentry * , bool  ) ;
2915} __attribute__((__aligned__((1) <<  (6) ))) ;
2916#line 4 "include/linux/path.h"
2917struct dentry;
2918#line 5
2919struct vfsmount;
2920#line 7 "include/linux/path.h"
2921struct path {
2922   struct vfsmount *mnt ;
2923   struct dentry *dentry ;
2924};
2925#line 64 "include/linux/radix-tree.h"
2926struct radix_tree_node;
2927#line 64 "include/linux/radix-tree.h"
2928struct radix_tree_root {
2929   unsigned int height ;
2930   gfp_t gfp_mask ;
2931   struct radix_tree_node *rnode ;
2932};
2933#line 16 "include/linux/fiemap.h"
2934struct fiemap_extent {
2935   __u64 fe_logical ;
2936   __u64 fe_physical ;
2937   __u64 fe_length ;
2938   __u64 fe_reserved64[2] ;
2939   __u32 fe_flags ;
2940   __u32 fe_reserved[3] ;
2941};
2942#line 10 "include/linux/migrate_mode.h"
2943enum migrate_mode {
2944    MIGRATE_ASYNC = 0,
2945    MIGRATE_SYNC_LIGHT = 1,
2946    MIGRATE_SYNC = 2
2947} ;
2948#line 408 "include/linux/fs.h"
2949struct export_operations;
2950#line 408
2951struct export_operations;
2952#line 410
2953struct iovec;
2954#line 411
2955struct nameidata;
2956#line 412
2957struct kiocb;
2958#line 413
2959struct kobject;
2960#line 414
2961struct pipe_inode_info;
2962#line 415
2963struct poll_table_struct;
2964#line 415
2965struct poll_table_struct;
2966#line 416
2967struct kstatfs;
2968#line 416
2969struct kstatfs;
2970#line 417
2971struct vm_area_struct;
2972#line 418
2973struct vfsmount;
2974#line 419
2975struct cred;
2976#line 469 "include/linux/fs.h"
2977struct iattr {
2978   unsigned int ia_valid ;
2979   umode_t ia_mode ;
2980   uid_t ia_uid ;
2981   gid_t ia_gid ;
2982   loff_t ia_size ;
2983   struct timespec ia_atime ;
2984   struct timespec ia_mtime ;
2985   struct timespec ia_ctime ;
2986   struct file *ia_file ;
2987};
2988#line 129 "include/linux/quota.h"
2989struct if_dqinfo {
2990   __u64 dqi_bgrace ;
2991   __u64 dqi_igrace ;
2992   __u32 dqi_flags ;
2993   __u32 dqi_valid ;
2994};
2995#line 50 "include/linux/dqblk_xfs.h"
2996struct fs_disk_quota {
2997   __s8 d_version ;
2998   __s8 d_flags ;
2999   __u16 d_fieldmask ;
3000   __u32 d_id ;
3001   __u64 d_blk_hardlimit ;
3002   __u64 d_blk_softlimit ;
3003   __u64 d_ino_hardlimit ;
3004   __u64 d_ino_softlimit ;
3005   __u64 d_bcount ;
3006   __u64 d_icount ;
3007   __s32 d_itimer ;
3008   __s32 d_btimer ;
3009   __u16 d_iwarns ;
3010   __u16 d_bwarns ;
3011   __s32 d_padding2 ;
3012   __u64 d_rtb_hardlimit ;
3013   __u64 d_rtb_softlimit ;
3014   __u64 d_rtbcount ;
3015   __s32 d_rtbtimer ;
3016   __u16 d_rtbwarns ;
3017   __s16 d_padding3 ;
3018   char d_padding4[8] ;
3019};
3020#line 146 "include/linux/dqblk_xfs.h"
3021struct fs_qfilestat {
3022   __u64 qfs_ino ;
3023   __u64 qfs_nblks ;
3024   __u32 qfs_nextents ;
3025};
3026#line 146 "include/linux/dqblk_xfs.h"
3027typedef struct fs_qfilestat fs_qfilestat_t;
3028#line 152 "include/linux/dqblk_xfs.h"
3029struct fs_quota_stat {
3030   __s8 qs_version ;
3031   __u16 qs_flags ;
3032   __s8 qs_pad ;
3033   fs_qfilestat_t qs_uquota ;
3034   fs_qfilestat_t qs_gquota ;
3035   __u32 qs_incoredqs ;
3036   __s32 qs_btimelimit ;
3037   __s32 qs_itimelimit ;
3038   __s32 qs_rtbtimelimit ;
3039   __u16 qs_bwarnlimit ;
3040   __u16 qs_iwarnlimit ;
3041};
3042#line 17 "include/linux/dqblk_qtree.h"
3043struct dquot;
3044#line 17
3045struct dquot;
3046#line 185 "include/linux/quota.h"
3047typedef __kernel_uid32_t qid_t;
3048#line 186 "include/linux/quota.h"
3049typedef long long qsize_t;
3050#line 200 "include/linux/quota.h"
3051struct mem_dqblk {
3052   qsize_t dqb_bhardlimit ;
3053   qsize_t dqb_bsoftlimit ;
3054   qsize_t dqb_curspace ;
3055   qsize_t dqb_rsvspace ;
3056   qsize_t dqb_ihardlimit ;
3057   qsize_t dqb_isoftlimit ;
3058   qsize_t dqb_curinodes ;
3059   time_t dqb_btime ;
3060   time_t dqb_itime ;
3061};
3062#line 215
3063struct quota_format_type;
3064#line 215
3065struct quota_format_type;
3066#line 217 "include/linux/quota.h"
3067struct mem_dqinfo {
3068   struct quota_format_type *dqi_format ;
3069   int dqi_fmt_id ;
3070   struct list_head dqi_dirty_list ;
3071   unsigned long dqi_flags ;
3072   unsigned int dqi_bgrace ;
3073   unsigned int dqi_igrace ;
3074   qsize_t dqi_maxblimit ;
3075   qsize_t dqi_maxilimit ;
3076   void *dqi_priv ;
3077};
3078#line 230
3079struct super_block;
3080#line 288 "include/linux/quota.h"
3081struct dquot {
3082   struct hlist_node dq_hash ;
3083   struct list_head dq_inuse ;
3084   struct list_head dq_free ;
3085   struct list_head dq_dirty ;
3086   struct mutex dq_lock ;
3087   atomic_t dq_count ;
3088   wait_queue_head_t dq_wait_unused ;
3089   struct super_block *dq_sb ;
3090   unsigned int dq_id ;
3091   loff_t dq_off ;
3092   unsigned long dq_flags ;
3093   short dq_type ;
3094   struct mem_dqblk dq_dqb ;
3095};
3096#line 305 "include/linux/quota.h"
3097struct quota_format_ops {
3098   int (*check_quota_file)(struct super_block *sb , int type ) ;
3099   int (*read_file_info)(struct super_block *sb , int type ) ;
3100   int (*write_file_info)(struct super_block *sb , int type ) ;
3101   int (*free_file_info)(struct super_block *sb , int type ) ;
3102   int (*read_dqblk)(struct dquot *dquot ) ;
3103   int (*commit_dqblk)(struct dquot *dquot ) ;
3104   int (*release_dqblk)(struct dquot *dquot ) ;
3105};
3106#line 316 "include/linux/quota.h"
3107struct dquot_operations {
3108   int (*write_dquot)(struct dquot * ) ;
3109   struct dquot *(*alloc_dquot)(struct super_block * , int  ) ;
3110   void (*destroy_dquot)(struct dquot * ) ;
3111   int (*acquire_dquot)(struct dquot * ) ;
3112   int (*release_dquot)(struct dquot * ) ;
3113   int (*mark_dirty)(struct dquot * ) ;
3114   int (*write_info)(struct super_block * , int  ) ;
3115   qsize_t *(*get_reserved_space)(struct inode * ) ;
3116};
3117#line 329
3118struct path;
3119#line 332 "include/linux/quota.h"
3120struct quotactl_ops {
3121   int (*quota_on)(struct super_block * , int  , int  , struct path * ) ;
3122   int (*quota_on_meta)(struct super_block * , int  , int  ) ;
3123   int (*quota_off)(struct super_block * , int  ) ;
3124   int (*quota_sync)(struct super_block * , int  , int  ) ;
3125   int (*get_info)(struct super_block * , int  , struct if_dqinfo * ) ;
3126   int (*set_info)(struct super_block * , int  , struct if_dqinfo * ) ;
3127   int (*get_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
3128   int (*set_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
3129   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
3130   int (*set_xstate)(struct super_block * , unsigned int  , int  ) ;
3131};
3132#line 345 "include/linux/quota.h"
3133struct quota_format_type {
3134   int qf_fmt_id ;
3135   struct quota_format_ops  const  *qf_ops ;
3136   struct module *qf_owner ;
3137   struct quota_format_type *qf_next ;
3138};
3139#line 399 "include/linux/quota.h"
3140struct quota_info {
3141   unsigned int flags ;
3142   struct mutex dqio_mutex ;
3143   struct mutex dqonoff_mutex ;
3144   struct rw_semaphore dqptr_sem ;
3145   struct inode *files[2] ;
3146   struct mem_dqinfo info[2] ;
3147   struct quota_format_ops  const  *ops[2] ;
3148};
3149#line 532 "include/linux/fs.h"
3150struct page;
3151#line 533
3152struct address_space;
3153#line 534
3154struct writeback_control;
3155#line 577 "include/linux/fs.h"
3156union __anonunion_arg_247 {
3157   char *buf ;
3158   void *data ;
3159};
3160#line 577 "include/linux/fs.h"
3161struct __anonstruct_read_descriptor_t_246 {
3162   size_t written ;
3163   size_t count ;
3164   union __anonunion_arg_247 arg ;
3165   int error ;
3166};
3167#line 577 "include/linux/fs.h"
3168typedef struct __anonstruct_read_descriptor_t_246 read_descriptor_t;
3169#line 590 "include/linux/fs.h"
3170struct address_space_operations {
3171   int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
3172   int (*readpage)(struct file * , struct page * ) ;
3173   int (*writepages)(struct address_space * , struct writeback_control * ) ;
3174   int (*set_page_dirty)(struct page *page ) ;
3175   int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
3176                    unsigned int nr_pages ) ;
3177   int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
3178                      unsigned int len , unsigned int flags , struct page **pagep ,
3179                      void **fsdata ) ;
3180   int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
3181                    unsigned int copied , struct page *page , void *fsdata ) ;
3182   sector_t (*bmap)(struct address_space * , sector_t  ) ;
3183   void (*invalidatepage)(struct page * , unsigned long  ) ;
3184   int (*releasepage)(struct page * , gfp_t  ) ;
3185   void (*freepage)(struct page * ) ;
3186   ssize_t (*direct_IO)(int  , struct kiocb * , struct iovec  const  *iov , loff_t offset ,
3187                        unsigned long nr_segs ) ;
3188   int (*get_xip_mem)(struct address_space * , unsigned long  , int  , void ** , unsigned long * ) ;
3189   int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode  ) ;
3190   int (*launder_page)(struct page * ) ;
3191   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long  ) ;
3192   int (*error_remove_page)(struct address_space * , struct page * ) ;
3193};
3194#line 645
3195struct backing_dev_info;
3196#line 646 "include/linux/fs.h"
3197struct address_space {
3198   struct inode *host ;
3199   struct radix_tree_root page_tree ;
3200   spinlock_t tree_lock ;
3201   unsigned int i_mmap_writable ;
3202   struct prio_tree_root i_mmap ;
3203   struct list_head i_mmap_nonlinear ;
3204   struct mutex i_mmap_mutex ;
3205   unsigned long nrpages ;
3206   unsigned long writeback_index ;
3207   struct address_space_operations  const  *a_ops ;
3208   unsigned long flags ;
3209   struct backing_dev_info *backing_dev_info ;
3210   spinlock_t private_lock ;
3211   struct list_head private_list ;
3212   struct address_space *assoc_mapping ;
3213} __attribute__((__aligned__(sizeof(long )))) ;
3214#line 669
3215struct request_queue;
3216#line 669
3217struct request_queue;
3218#line 671
3219struct hd_struct;
3220#line 671
3221struct gendisk;
3222#line 671 "include/linux/fs.h"
3223struct block_device {
3224   dev_t bd_dev ;
3225   int bd_openers ;
3226   struct inode *bd_inode ;
3227   struct super_block *bd_super ;
3228   struct mutex bd_mutex ;
3229   struct list_head bd_inodes ;
3230   void *bd_claiming ;
3231   void *bd_holder ;
3232   int bd_holders ;
3233   bool bd_write_holder ;
3234   struct list_head bd_holder_disks ;
3235   struct block_device *bd_contains ;
3236   unsigned int bd_block_size ;
3237   struct hd_struct *bd_part ;
3238   unsigned int bd_part_count ;
3239   int bd_invalidated ;
3240   struct gendisk *bd_disk ;
3241   struct request_queue *bd_queue ;
3242   struct list_head bd_list ;
3243   unsigned long bd_private ;
3244   int bd_fsfreeze_count ;
3245   struct mutex bd_fsfreeze_mutex ;
3246};
3247#line 749
3248struct posix_acl;
3249#line 749
3250struct posix_acl;
3251#line 761
3252struct inode_operations;
3253#line 761 "include/linux/fs.h"
3254union __anonunion____missing_field_name_248 {
3255   unsigned int const   i_nlink ;
3256   unsigned int __i_nlink ;
3257};
3258#line 761 "include/linux/fs.h"
3259union __anonunion____missing_field_name_249 {
3260   struct list_head i_dentry ;
3261   struct rcu_head i_rcu ;
3262};
3263#line 761
3264struct file_operations;
3265#line 761
3266struct file_lock;
3267#line 761
3268struct cdev;
3269#line 761 "include/linux/fs.h"
3270union __anonunion____missing_field_name_250 {
3271   struct pipe_inode_info *i_pipe ;
3272   struct block_device *i_bdev ;
3273   struct cdev *i_cdev ;
3274};
3275#line 761 "include/linux/fs.h"
3276struct inode {
3277   umode_t i_mode ;
3278   unsigned short i_opflags ;
3279   uid_t i_uid ;
3280   gid_t i_gid ;
3281   unsigned int i_flags ;
3282   struct posix_acl *i_acl ;
3283   struct posix_acl *i_default_acl ;
3284   struct inode_operations  const  *i_op ;
3285   struct super_block *i_sb ;
3286   struct address_space *i_mapping ;
3287   void *i_security ;
3288   unsigned long i_ino ;
3289   union __anonunion____missing_field_name_248 __annonCompField44 ;
3290   dev_t i_rdev ;
3291   struct timespec i_atime ;
3292   struct timespec i_mtime ;
3293   struct timespec i_ctime ;
3294   spinlock_t i_lock ;
3295   unsigned short i_bytes ;
3296   blkcnt_t i_blocks ;
3297   loff_t i_size ;
3298   unsigned long i_state ;
3299   struct mutex i_mutex ;
3300   unsigned long dirtied_when ;
3301   struct hlist_node i_hash ;
3302   struct list_head i_wb_list ;
3303   struct list_head i_lru ;
3304   struct list_head i_sb_list ;
3305   union __anonunion____missing_field_name_249 __annonCompField45 ;
3306   atomic_t i_count ;
3307   unsigned int i_blkbits ;
3308   u64 i_version ;
3309   atomic_t i_dio_count ;
3310   atomic_t i_writecount ;
3311   struct file_operations  const  *i_fop ;
3312   struct file_lock *i_flock ;
3313   struct address_space i_data ;
3314   struct dquot *i_dquot[2] ;
3315   struct list_head i_devices ;
3316   union __anonunion____missing_field_name_250 __annonCompField46 ;
3317   __u32 i_generation ;
3318   __u32 i_fsnotify_mask ;
3319   struct hlist_head i_fsnotify_marks ;
3320   atomic_t i_readcount ;
3321   void *i_private ;
3322};
3323#line 942 "include/linux/fs.h"
3324struct fown_struct {
3325   rwlock_t lock ;
3326   struct pid *pid ;
3327   enum pid_type pid_type ;
3328   uid_t uid ;
3329   uid_t euid ;
3330   int signum ;
3331};
3332#line 953 "include/linux/fs.h"
3333struct file_ra_state {
3334   unsigned long start ;
3335   unsigned int size ;
3336   unsigned int async_size ;
3337   unsigned int ra_pages ;
3338   unsigned int mmap_miss ;
3339   loff_t prev_pos ;
3340};
3341#line 976 "include/linux/fs.h"
3342union __anonunion_f_u_251 {
3343   struct list_head fu_list ;
3344   struct rcu_head fu_rcuhead ;
3345};
3346#line 976 "include/linux/fs.h"
3347struct file {
3348   union __anonunion_f_u_251 f_u ;
3349   struct path f_path ;
3350   struct file_operations  const  *f_op ;
3351   spinlock_t f_lock ;
3352   int f_sb_list_cpu ;
3353   atomic_long_t f_count ;
3354   unsigned int f_flags ;
3355   fmode_t f_mode ;
3356   loff_t f_pos ;
3357   struct fown_struct f_owner ;
3358   struct cred  const  *f_cred ;
3359   struct file_ra_state f_ra ;
3360   u64 f_version ;
3361   void *f_security ;
3362   void *private_data ;
3363   struct list_head f_ep_links ;
3364   struct list_head f_tfile_llink ;
3365   struct address_space *f_mapping ;
3366   unsigned long f_mnt_write_state ;
3367};
3368#line 1111 "include/linux/fs.h"
3369typedef struct files_struct *fl_owner_t;
3370#line 1113 "include/linux/fs.h"
3371struct file_lock_operations {
3372   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3373   void (*fl_release_private)(struct file_lock * ) ;
3374};
3375#line 1118 "include/linux/fs.h"
3376struct lock_manager_operations {
3377   int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3378   void (*lm_notify)(struct file_lock * ) ;
3379   int (*lm_grant)(struct file_lock * , struct file_lock * , int  ) ;
3380   void (*lm_release_private)(struct file_lock * ) ;
3381   void (*lm_break)(struct file_lock * ) ;
3382   int (*lm_change)(struct file_lock ** , int  ) ;
3383};
3384#line 4 "include/linux/nfs_fs_i.h"
3385struct nlm_lockowner;
3386#line 4
3387struct nlm_lockowner;
3388#line 9 "include/linux/nfs_fs_i.h"
3389struct nfs_lock_info {
3390   u32 state ;
3391   struct nlm_lockowner *owner ;
3392   struct list_head list ;
3393};
3394#line 15
3395struct nfs4_lock_state;
3396#line 15
3397struct nfs4_lock_state;
3398#line 16 "include/linux/nfs_fs_i.h"
3399struct nfs4_lock_info {
3400   struct nfs4_lock_state *owner ;
3401};
3402#line 1138 "include/linux/fs.h"
3403struct fasync_struct;
3404#line 1138 "include/linux/fs.h"
3405struct __anonstruct_afs_253 {
3406   struct list_head link ;
3407   int state ;
3408};
3409#line 1138 "include/linux/fs.h"
3410union __anonunion_fl_u_252 {
3411   struct nfs_lock_info nfs_fl ;
3412   struct nfs4_lock_info nfs4_fl ;
3413   struct __anonstruct_afs_253 afs ;
3414};
3415#line 1138 "include/linux/fs.h"
3416struct file_lock {
3417   struct file_lock *fl_next ;
3418   struct list_head fl_link ;
3419   struct list_head fl_block ;
3420   fl_owner_t fl_owner ;
3421   unsigned int fl_flags ;
3422   unsigned char fl_type ;
3423   unsigned int fl_pid ;
3424   struct pid *fl_nspid ;
3425   wait_queue_head_t fl_wait ;
3426   struct file *fl_file ;
3427   loff_t fl_start ;
3428   loff_t fl_end ;
3429   struct fasync_struct *fl_fasync ;
3430   unsigned long fl_break_time ;
3431   unsigned long fl_downgrade_time ;
3432   struct file_lock_operations  const  *fl_ops ;
3433   struct lock_manager_operations  const  *fl_lmops ;
3434   union __anonunion_fl_u_252 fl_u ;
3435};
3436#line 1378 "include/linux/fs.h"
3437struct fasync_struct {
3438   spinlock_t fa_lock ;
3439   int magic ;
3440   int fa_fd ;
3441   struct fasync_struct *fa_next ;
3442   struct file *fa_file ;
3443   struct rcu_head fa_rcu ;
3444};
3445#line 1418
3446struct file_system_type;
3447#line 1418
3448struct super_operations;
3449#line 1418
3450struct xattr_handler;
3451#line 1418
3452struct mtd_info;
3453#line 1418 "include/linux/fs.h"
3454struct super_block {
3455   struct list_head s_list ;
3456   dev_t s_dev ;
3457   unsigned char s_dirt ;
3458   unsigned char s_blocksize_bits ;
3459   unsigned long s_blocksize ;
3460   loff_t s_maxbytes ;
3461   struct file_system_type *s_type ;
3462   struct super_operations  const  *s_op ;
3463   struct dquot_operations  const  *dq_op ;
3464   struct quotactl_ops  const  *s_qcop ;
3465   struct export_operations  const  *s_export_op ;
3466   unsigned long s_flags ;
3467   unsigned long s_magic ;
3468   struct dentry *s_root ;
3469   struct rw_semaphore s_umount ;
3470   struct mutex s_lock ;
3471   int s_count ;
3472   atomic_t s_active ;
3473   void *s_security ;
3474   struct xattr_handler  const  **s_xattr ;
3475   struct list_head s_inodes ;
3476   struct hlist_bl_head s_anon ;
3477   struct list_head *s_files ;
3478   struct list_head s_mounts ;
3479   struct list_head s_dentry_lru ;
3480   int s_nr_dentry_unused ;
3481   spinlock_t s_inode_lru_lock  __attribute__((__aligned__((1) <<  (6) ))) ;
3482   struct list_head s_inode_lru ;
3483   int s_nr_inodes_unused ;
3484   struct block_device *s_bdev ;
3485   struct backing_dev_info *s_bdi ;
3486   struct mtd_info *s_mtd ;
3487   struct hlist_node s_instances ;
3488   struct quota_info s_dquot ;
3489   int s_frozen ;
3490   wait_queue_head_t s_wait_unfrozen ;
3491   char s_id[32] ;
3492   u8 s_uuid[16] ;
3493   void *s_fs_info ;
3494   unsigned int s_max_links ;
3495   fmode_t s_mode ;
3496   u32 s_time_gran ;
3497   struct mutex s_vfs_rename_mutex ;
3498   char *s_subtype ;
3499   char *s_options ;
3500   struct dentry_operations  const  *s_d_op ;
3501   int cleancache_poolid ;
3502   struct shrinker s_shrink ;
3503   atomic_long_t s_remove_count ;
3504   int s_readonly_remount ;
3505};
3506#line 1567 "include/linux/fs.h"
3507struct fiemap_extent_info {
3508   unsigned int fi_flags ;
3509   unsigned int fi_extents_mapped ;
3510   unsigned int fi_extents_max ;
3511   struct fiemap_extent *fi_extents_start ;
3512};
3513#line 1609 "include/linux/fs.h"
3514struct file_operations {
3515   struct module *owner ;
3516   loff_t (*llseek)(struct file * , loff_t  , int  ) ;
3517   ssize_t (*read)(struct file * , char * , size_t  , loff_t * ) ;
3518   ssize_t (*write)(struct file * , char const   * , size_t  , loff_t * ) ;
3519   ssize_t (*aio_read)(struct kiocb * , struct iovec  const  * , unsigned long  ,
3520                       loff_t  ) ;
3521   ssize_t (*aio_write)(struct kiocb * , struct iovec  const  * , unsigned long  ,
3522                        loff_t  ) ;
3523   int (*readdir)(struct file * , void * , int (*)(void * , char const   * , int  ,
3524                                                   loff_t  , u64  , unsigned int  ) ) ;
3525   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3526   long (*unlocked_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
3527   long (*compat_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
3528   int (*mmap)(struct file * , struct vm_area_struct * ) ;
3529   int (*open)(struct inode * , struct file * ) ;
3530   int (*flush)(struct file * , fl_owner_t id ) ;
3531   int (*release)(struct inode * , struct file * ) ;
3532   int (*fsync)(struct file * , loff_t  , loff_t  , int datasync ) ;
3533   int (*aio_fsync)(struct kiocb * , int datasync ) ;
3534   int (*fasync)(int  , struct file * , int  ) ;
3535   int (*lock)(struct file * , int  , struct file_lock * ) ;
3536   ssize_t (*sendpage)(struct file * , struct page * , int  , size_t  , loff_t * ,
3537                       int  ) ;
3538   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
3539                                      unsigned long  , unsigned long  ) ;
3540   int (*check_flags)(int  ) ;
3541   int (*flock)(struct file * , int  , struct file_lock * ) ;
3542   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t  ,
3543                           unsigned int  ) ;
3544   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t  ,
3545                          unsigned int  ) ;
3546   int (*setlease)(struct file * , long  , struct file_lock ** ) ;
3547   long (*fallocate)(struct file *file , int mode , loff_t offset , loff_t len ) ;
3548};
3549#line 1639 "include/linux/fs.h"
3550struct inode_operations {
3551   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3552   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3553   int (*permission)(struct inode * , int  ) ;
3554   struct posix_acl *(*get_acl)(struct inode * , int  ) ;
3555   int (*readlink)(struct dentry * , char * , int  ) ;
3556   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3557   int (*create)(struct inode * , struct dentry * , umode_t  , struct nameidata * ) ;
3558   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3559   int (*unlink)(struct inode * , struct dentry * ) ;
3560   int (*symlink)(struct inode * , struct dentry * , char const   * ) ;
3561   int (*mkdir)(struct inode * , struct dentry * , umode_t  ) ;
3562   int (*rmdir)(struct inode * , struct dentry * ) ;
3563   int (*mknod)(struct inode * , struct dentry * , umode_t  , dev_t  ) ;
3564   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3565   void (*truncate)(struct inode * ) ;
3566   int (*setattr)(struct dentry * , struct iattr * ) ;
3567   int (*getattr)(struct vfsmount *mnt , struct dentry * , struct kstat * ) ;
3568   int (*setxattr)(struct dentry * , char const   * , void const   * , size_t  , int  ) ;
3569   ssize_t (*getxattr)(struct dentry * , char const   * , void * , size_t  ) ;
3570   ssize_t (*listxattr)(struct dentry * , char * , size_t  ) ;
3571   int (*removexattr)(struct dentry * , char const   * ) ;
3572   void (*truncate_range)(struct inode * , loff_t  , loff_t  ) ;
3573   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
3574} __attribute__((__aligned__((1) <<  (6) ))) ;
3575#line 1669
3576struct seq_file;
3577#line 1684 "include/linux/fs.h"
3578struct super_operations {
3579   struct inode *(*alloc_inode)(struct super_block *sb ) ;
3580   void (*destroy_inode)(struct inode * ) ;
3581   void (*dirty_inode)(struct inode * , int flags ) ;
3582   int (*write_inode)(struct inode * , struct writeback_control *wbc ) ;
3583   int (*drop_inode)(struct inode * ) ;
3584   void (*evict_inode)(struct inode * ) ;
3585   void (*put_super)(struct super_block * ) ;
3586   void (*write_super)(struct super_block * ) ;
3587   int (*sync_fs)(struct super_block *sb , int wait ) ;
3588   int (*freeze_fs)(struct super_block * ) ;
3589   int (*unfreeze_fs)(struct super_block * ) ;
3590   int (*statfs)(struct dentry * , struct kstatfs * ) ;
3591   int (*remount_fs)(struct super_block * , int * , char * ) ;
3592   void (*umount_begin)(struct super_block * ) ;
3593   int (*show_options)(struct seq_file * , struct dentry * ) ;
3594   int (*show_devname)(struct seq_file * , struct dentry * ) ;
3595   int (*show_path)(struct seq_file * , struct dentry * ) ;
3596   int (*show_stats)(struct seq_file * , struct dentry * ) ;
3597   ssize_t (*quota_read)(struct super_block * , int  , char * , size_t  , loff_t  ) ;
3598   ssize_t (*quota_write)(struct super_block * , int  , char const   * , size_t  ,
3599                          loff_t  ) ;
3600   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t  ) ;
3601   int (*nr_cached_objects)(struct super_block * ) ;
3602   void (*free_cached_objects)(struct super_block * , int  ) ;
3603};
3604#line 1835 "include/linux/fs.h"
3605struct file_system_type {
3606   char const   *name ;
3607   int fs_flags ;
3608   struct dentry *(*mount)(struct file_system_type * , int  , char const   * , void * ) ;
3609   void (*kill_sb)(struct super_block * ) ;
3610   struct module *owner ;
3611   struct file_system_type *next ;
3612   struct hlist_head fs_supers ;
3613   struct lock_class_key s_lock_key ;
3614   struct lock_class_key s_umount_key ;
3615   struct lock_class_key s_vfs_rename_key ;
3616   struct lock_class_key i_lock_key ;
3617   struct lock_class_key i_mutex_key ;
3618   struct lock_class_key i_mutex_dir_key ;
3619};
3620#line 6 "include/asm-generic/termbits.h"
3621typedef unsigned char cc_t;
3622#line 7 "include/asm-generic/termbits.h"
3623typedef unsigned int speed_t;
3624#line 8 "include/asm-generic/termbits.h"
3625typedef unsigned int tcflag_t;
3626#line 31 "include/asm-generic/termbits.h"
3627struct ktermios {
3628   tcflag_t c_iflag ;
3629   tcflag_t c_oflag ;
3630   tcflag_t c_cflag ;
3631   tcflag_t c_lflag ;
3632   cc_t c_line ;
3633   cc_t c_cc[19] ;
3634   speed_t c_ispeed ;
3635   speed_t c_ospeed ;
3636};
3637#line 14 "include/asm-generic/termios.h"
3638struct winsize {
3639   unsigned short ws_row ;
3640   unsigned short ws_col ;
3641   unsigned short ws_xpixel ;
3642   unsigned short ws_ypixel ;
3643};
3644#line 9 "include/linux/termios.h"
3645struct termiox {
3646   __u16 x_hflag ;
3647   __u16 x_cflag ;
3648   __u16 x_rflag[5] ;
3649   __u16 x_sflag ;
3650};
3651#line 8 "include/linux/cdev.h"
3652struct file_operations;
3653#line 9
3654struct inode;
3655#line 10
3656struct module;
3657#line 12 "include/linux/cdev.h"
3658struct cdev {
3659   struct kobject kobj ;
3660   struct module *owner ;
3661   struct file_operations  const  *ops ;
3662   struct list_head list ;
3663   dev_t dev ;
3664   unsigned int count ;
3665};
3666#line 245 "include/linux/tty_driver.h"
3667struct tty_struct;
3668#line 246
3669struct tty_driver;
3670#line 246
3671struct tty_driver;
3672#line 247
3673struct serial_icounter_struct;
3674#line 249 "include/linux/tty_driver.h"
3675struct tty_operations {
3676   struct tty_struct *(*lookup)(struct tty_driver *driver , struct inode *inode ,
3677                                int idx ) ;
3678   int (*install)(struct tty_driver *driver , struct tty_struct *tty ) ;
3679   void (*remove)(struct tty_driver *driver , struct tty_struct *tty ) ;
3680   int (*open)(struct tty_struct *tty , struct file *filp ) ;
3681   void (*close)(struct tty_struct *tty , struct file *filp ) ;
3682   void (*shutdown)(struct tty_struct *tty ) ;
3683   void (*cleanup)(struct tty_struct *tty ) ;
3684   int (*write)(struct tty_struct *tty , unsigned char const   *buf , int count ) ;
3685   int (*put_char)(struct tty_struct *tty , unsigned char ch ) ;
3686   void (*flush_chars)(struct tty_struct *tty ) ;
3687   int (*write_room)(struct tty_struct *tty ) ;
3688   int (*chars_in_buffer)(struct tty_struct *tty ) ;
3689   int (*ioctl)(struct tty_struct *tty , unsigned int cmd , unsigned long arg ) ;
3690   long (*compat_ioctl)(struct tty_struct *tty , unsigned int cmd , unsigned long arg ) ;
3691   void (*set_termios)(struct tty_struct *tty , struct ktermios *old ) ;
3692   void (*throttle)(struct tty_struct *tty ) ;
3693   void (*unthrottle)(struct tty_struct *tty ) ;
3694   void (*stop)(struct tty_struct *tty ) ;
3695   void (*start)(struct tty_struct *tty ) ;
3696   void (*hangup)(struct tty_struct *tty ) ;
3697   int (*break_ctl)(struct tty_struct *tty , int state ) ;
3698   void (*flush_buffer)(struct tty_struct *tty ) ;
3699   void (*set_ldisc)(struct tty_struct *tty ) ;
3700   void (*wait_until_sent)(struct tty_struct *tty , int timeout ) ;
3701   void (*send_xchar)(struct tty_struct *tty , char ch ) ;
3702   int (*tiocmget)(struct tty_struct *tty ) ;
3703   int (*tiocmset)(struct tty_struct *tty , unsigned int set , unsigned int clear ) ;
3704   int (*resize)(struct tty_struct *tty , struct winsize *ws ) ;
3705   int (*set_termiox)(struct tty_struct *tty , struct termiox *tnew ) ;
3706   int (*get_icount)(struct tty_struct *tty , struct serial_icounter_struct *icount ) ;
3707   int (*poll_init)(struct tty_driver *driver , int line , char *options ) ;
3708   int (*poll_get_char)(struct tty_driver *driver , int line ) ;
3709   void (*poll_put_char)(struct tty_driver *driver , int line , char ch ) ;
3710   struct file_operations  const  *proc_fops ;
3711};
3712#line 294 "include/linux/tty_driver.h"
3713struct tty_driver {
3714   int magic ;
3715   struct kref kref ;
3716   struct cdev cdev ;
3717   struct module *owner ;
3718   char const   *driver_name ;
3719   char const   *name ;
3720   int name_base ;
3721   int major ;
3722   int minor_start ;
3723   int num ;
3724   short type ;
3725   short subtype ;
3726   struct ktermios init_termios ;
3727   int flags ;
3728   struct proc_dir_entry *proc_entry ;
3729   struct tty_driver *other ;
3730   struct tty_struct **ttys ;
3731   struct ktermios **termios ;
3732   void *driver_state ;
3733   struct tty_operations  const  *ops ;
3734   struct list_head tty_drivers ;
3735};
3736#line 49 "include/linux/pps_kernel.h"
3737struct pps_event_time {
3738   struct timespec ts_real ;
3739};
3740#line 114 "include/linux/tty_ldisc.h"
3741struct tty_ldisc_ops {
3742   int magic ;
3743   char *name ;
3744   int num ;
3745   int flags ;
3746   int (*open)(struct tty_struct * ) ;
3747   void (*close)(struct tty_struct * ) ;
3748   void (*flush_buffer)(struct tty_struct *tty ) ;
3749   ssize_t (*chars_in_buffer)(struct tty_struct *tty ) ;
3750   ssize_t (*read)(struct tty_struct *tty , struct file *file , unsigned char *buf ,
3751                   size_t nr ) ;
3752   ssize_t (*write)(struct tty_struct *tty , struct file *file , unsigned char const   *buf ,
3753                    size_t nr ) ;
3754   int (*ioctl)(struct tty_struct *tty , struct file *file , unsigned int cmd , unsigned long arg ) ;
3755   long (*compat_ioctl)(struct tty_struct *tty , struct file *file , unsigned int cmd ,
3756                        unsigned long arg ) ;
3757   void (*set_termios)(struct tty_struct *tty , struct ktermios *old ) ;
3758   unsigned int (*poll)(struct tty_struct * , struct file * , struct poll_table_struct * ) ;
3759   int (*hangup)(struct tty_struct *tty ) ;
3760   void (*receive_buf)(struct tty_struct * , unsigned char const   *cp , char *fp ,
3761                       int count ) ;
3762   void (*write_wakeup)(struct tty_struct * ) ;
3763   void (*dcd_change)(struct tty_struct * , unsigned int  , struct pps_event_time * ) ;
3764   struct module *owner ;
3765   int refcount ;
3766};
3767#line 154 "include/linux/tty_ldisc.h"
3768struct tty_ldisc {
3769   struct tty_ldisc_ops *ops ;
3770   atomic_t users ;
3771};
3772#line 64 "include/linux/tty.h"
3773struct tty_buffer {
3774   struct tty_buffer *next ;
3775   char *char_buf_ptr ;
3776   unsigned char *flag_buf_ptr ;
3777   int used ;
3778   int size ;
3779   int commit ;
3780   int read ;
3781   unsigned long data[0] ;
3782};
3783#line 87 "include/linux/tty.h"
3784struct tty_bufhead {
3785   struct work_struct work ;
3786   spinlock_t lock ;
3787   struct tty_buffer *head ;
3788   struct tty_buffer *tail ;
3789   struct tty_buffer *free ;
3790   int memory_used ;
3791};
3792#line 188
3793struct device;
3794#line 189
3795struct signal_struct;
3796#line 202
3797struct tty_port;
3798#line 202
3799struct tty_port;
3800#line 204 "include/linux/tty.h"
3801struct tty_port_operations {
3802   int (*carrier_raised)(struct tty_port *port ) ;
3803   void (*dtr_rts)(struct tty_port *port , int raise ) ;
3804   void (*shutdown)(struct tty_port *port ) ;
3805   void (*drop)(struct tty_port *port ) ;
3806   int (*activate)(struct tty_port *port , struct tty_struct *tty ) ;
3807   void (*destruct)(struct tty_port *port ) ;
3808};
3809#line 223 "include/linux/tty.h"
3810struct tty_port {
3811   struct tty_struct *tty ;
3812   struct tty_port_operations  const  *ops ;
3813   spinlock_t lock ;
3814   int blocked_open ;
3815   int count ;
3816   wait_queue_head_t open_wait ;
3817   wait_queue_head_t close_wait ;
3818   wait_queue_head_t delta_msr_wait ;
3819   unsigned long flags ;
3820   unsigned char console : 1 ;
3821   struct mutex mutex ;
3822   struct mutex buf_mutex ;
3823   unsigned char *xmit_buf ;
3824   unsigned int close_delay ;
3825   unsigned int closing_wait ;
3826   int drain_delay ;
3827   struct kref kref ;
3828};
3829#line 257
3830struct tty_operations;
3831#line 259 "include/linux/tty.h"
3832struct tty_struct {
3833   int magic ;
3834   struct kref kref ;
3835   struct device *dev ;
3836   struct tty_driver *driver ;
3837   struct tty_operations  const  *ops ;
3838   int index ;
3839   struct mutex ldisc_mutex ;
3840   struct tty_ldisc *ldisc ;
3841   struct mutex termios_mutex ;
3842   spinlock_t ctrl_lock ;
3843   struct ktermios *termios ;
3844   struct ktermios *termios_locked ;
3845   struct termiox *termiox ;
3846   char name[64] ;
3847   struct pid *pgrp ;
3848   struct pid *session ;
3849   unsigned long flags ;
3850   int count ;
3851   struct winsize winsize ;
3852   unsigned char stopped : 1 ;
3853   unsigned char hw_stopped : 1 ;
3854   unsigned char flow_stopped : 1 ;
3855   unsigned char packet : 1 ;
3856   unsigned char low_latency : 1 ;
3857   unsigned char warned : 1 ;
3858   unsigned char ctrl_status ;
3859   unsigned int receive_room ;
3860   struct tty_struct *link ;
3861   struct fasync_struct *fasync ;
3862   struct tty_bufhead buf ;
3863   int alt_speed ;
3864   wait_queue_head_t write_wait ;
3865   wait_queue_head_t read_wait ;
3866   struct work_struct hangup_work ;
3867   void *disc_data ;
3868   void *driver_data ;
3869   struct list_head tty_files ;
3870   unsigned int column ;
3871   unsigned char lnext : 1 ;
3872   unsigned char erasing : 1 ;
3873   unsigned char raw : 1 ;
3874   unsigned char real_raw : 1 ;
3875   unsigned char icanon : 1 ;
3876   unsigned char closing : 1 ;
3877   unsigned char echo_overrun : 1 ;
3878   unsigned short minimum_to_wake ;
3879   unsigned long overrun_time ;
3880   int num_overrun ;
3881   unsigned long process_char_map[256UL / (8UL * sizeof(unsigned long ))] ;
3882   char *read_buf ;
3883   int read_head ;
3884   int read_tail ;
3885   int read_cnt ;
3886   unsigned long read_flags[4096UL / (8UL * sizeof(unsigned long ))] ;
3887   unsigned char *echo_buf ;
3888   unsigned int echo_pos ;
3889   unsigned int echo_cnt ;
3890   int canon_data ;
3891   unsigned long canon_head ;
3892   unsigned int canon_column ;
3893   struct mutex atomic_read_lock ;
3894   struct mutex atomic_write_lock ;
3895   struct mutex output_lock ;
3896   struct mutex echo_lock ;
3897   unsigned char *write_buf ;
3898   int write_cnt ;
3899   spinlock_t read_lock ;
3900   struct work_struct SAK_work ;
3901   struct tty_port *port ;
3902};
3903#line 230 "include/linux/serial_core.h"
3904struct device;
3905#line 414
3906struct module;
3907#line 415
3908struct tty_driver;
3909#line 25 "include/linux/kgdb.h"
3910struct pt_regs;
3911#line 39
3912struct task_struct;
3913#line 161 "include/linux/fb.h"
3914struct fb_fix_screeninfo {
3915   char id[16] ;
3916   unsigned long smem_start ;
3917   __u32 smem_len ;
3918   __u32 type ;
3919   __u32 type_aux ;
3920   __u32 visual ;
3921   __u16 xpanstep ;
3922   __u16 ypanstep ;
3923   __u16 ywrapstep ;
3924   __u32 line_length ;
3925   unsigned long mmio_start ;
3926   __u32 mmio_len ;
3927   __u32 accel ;
3928   __u16 capabilities ;
3929   __u16 reserved[2] ;
3930};
3931#line 192 "include/linux/fb.h"
3932struct fb_bitfield {
3933   __u32 offset ;
3934   __u32 length ;
3935   __u32 msb_right ;
3936};
3937#line 245 "include/linux/fb.h"
3938struct fb_var_screeninfo {
3939   __u32 xres ;
3940   __u32 yres ;
3941   __u32 xres_virtual ;
3942   __u32 yres_virtual ;
3943   __u32 xoffset ;
3944   __u32 yoffset ;
3945   __u32 bits_per_pixel ;
3946   __u32 grayscale ;
3947   struct fb_bitfield red ;
3948   struct fb_bitfield green ;
3949   struct fb_bitfield blue ;
3950   struct fb_bitfield transp ;
3951   __u32 nonstd ;
3952   __u32 activate ;
3953   __u32 height ;
3954   __u32 width ;
3955   __u32 accel_flags ;
3956   __u32 pixclock ;
3957   __u32 left_margin ;
3958   __u32 right_margin ;
3959   __u32 upper_margin ;
3960   __u32 lower_margin ;
3961   __u32 hsync_len ;
3962   __u32 vsync_len ;
3963   __u32 sync ;
3964   __u32 vmode ;
3965   __u32 rotate ;
3966   __u32 colorspace ;
3967   __u32 reserved[4] ;
3968};
3969#line 285 "include/linux/fb.h"
3970struct fb_cmap {
3971   __u32 start ;
3972   __u32 len ;
3973   __u16 *red ;
3974   __u16 *green ;
3975   __u16 *blue ;
3976   __u16 *transp ;
3977};
3978#line 345 "include/linux/fb.h"
3979struct fb_copyarea {
3980   __u32 dx ;
3981   __u32 dy ;
3982   __u32 width ;
3983   __u32 height ;
3984   __u32 sx ;
3985   __u32 sy ;
3986};
3987#line 354 "include/linux/fb.h"
3988struct fb_fillrect {
3989   __u32 dx ;
3990   __u32 dy ;
3991   __u32 width ;
3992   __u32 height ;
3993   __u32 color ;
3994   __u32 rop ;
3995};
3996#line 363 "include/linux/fb.h"
3997struct fb_image {
3998   __u32 dx ;
3999   __u32 dy ;
4000   __u32 width ;
4001   __u32 height ;
4002   __u32 fg_color ;
4003   __u32 bg_color ;
4004   __u8 depth ;
4005   char const   *data ;
4006   struct fb_cmap cmap ;
4007};
4008#line 387 "include/linux/fb.h"
4009struct fbcurpos {
4010   __u16 x ;
4011   __u16 y ;
4012};
4013#line 391 "include/linux/fb.h"
4014struct fb_cursor {
4015   __u16 set ;
4016   __u16 enable ;
4017   __u16 rop ;
4018   char const   *mask ;
4019   struct fbcurpos hot ;
4020   struct fb_image image ;
4021};
4022#line 35 "include/linux/backlight.h"
4023enum backlight_type {
4024    BACKLIGHT_RAW = 1,
4025    BACKLIGHT_PLATFORM = 2,
4026    BACKLIGHT_FIRMWARE = 3,
4027    BACKLIGHT_TYPE_MAX = 4
4028} ;
4029#line 42
4030struct backlight_device;
4031#line 42
4032struct backlight_device;
4033#line 43
4034struct fb_info;
4035#line 43
4036struct fb_info;
4037#line 45 "include/linux/backlight.h"
4038struct backlight_ops {
4039   unsigned int options ;
4040   int (*update_status)(struct backlight_device * ) ;
4041   int (*get_brightness)(struct backlight_device * ) ;
4042   int (*check_fb)(struct backlight_device * , struct fb_info * ) ;
4043};
4044#line 61 "include/linux/backlight.h"
4045struct backlight_properties {
4046   int brightness ;
4047   int max_brightness ;
4048   int power ;
4049   int fb_blank ;
4050   enum backlight_type type ;
4051   unsigned int state ;
4052};
4053#line 87 "include/linux/backlight.h"
4054struct backlight_device {
4055   struct backlight_properties props ;
4056   struct mutex update_lock ;
4057   struct mutex ops_lock ;
4058   struct backlight_ops  const  *ops ;
4059   struct notifier_block fb_notif ;
4060   struct device dev ;
4061};
4062#line 417 "include/linux/fb.h"
4063struct vm_area_struct;
4064#line 418
4065struct fb_info;
4066#line 419
4067struct device;
4068#line 420
4069struct file;
4070#line 447 "include/linux/fb.h"
4071struct fb_chroma {
4072   __u32 redx ;
4073   __u32 greenx ;
4074   __u32 bluex ;
4075   __u32 whitex ;
4076   __u32 redy ;
4077   __u32 greeny ;
4078   __u32 bluey ;
4079   __u32 whitey ;
4080};
4081#line 458
4082struct fb_videomode;
4083#line 458 "include/linux/fb.h"
4084struct fb_monspecs {
4085   struct fb_chroma chroma ;
4086   struct fb_videomode *modedb ;
4087   __u8 manufacturer[4] ;
4088   __u8 monitor[14] ;
4089   __u8 serial_no[14] ;
4090   __u8 ascii[14] ;
4091   __u32 modedb_len ;
4092   __u32 model ;
4093   __u32 serial ;
4094   __u32 year ;
4095   __u32 week ;
4096   __u32 hfmin ;
4097   __u32 hfmax ;
4098   __u32 dclkmin ;
4099   __u32 dclkmax ;
4100   __u16 input ;
4101   __u16 dpms ;
4102   __u16 signal ;
4103   __u16 vfmin ;
4104   __u16 vfmax ;
4105   __u16 gamma ;
4106   __u16 gtf : 1 ;
4107   __u16 misc ;
4108   __u8 version ;
4109   __u8 revision ;
4110   __u8 max_x ;
4111   __u8 max_y ;
4112};
4113#line 563 "include/linux/fb.h"
4114struct fb_blit_caps {
4115   u32 x ;
4116   u32 y ;
4117   u32 len ;
4118   u32 flags ;
4119};
4120#line 586 "include/linux/fb.h"
4121struct fb_pixmap {
4122   u8 *addr ;
4123   u32 size ;
4124   u32 offset ;
4125   u32 buf_align ;
4126   u32 scan_align ;
4127   u32 access_align ;
4128   u32 flags ;
4129   u32 blit_x ;
4130   u32 blit_y ;
4131   void (*writeio)(struct fb_info *info , void *dst , void *src , unsigned int size ) ;
4132   void (*readio)(struct fb_info *info , void *dst , void *src , unsigned int size ) ;
4133};
4134#line 604 "include/linux/fb.h"
4135struct fb_deferred_io {
4136   unsigned long delay ;
4137   struct mutex lock ;
4138   struct list_head pagelist ;
4139   void (*deferred_io)(struct fb_info *info , struct list_head *pagelist ) ;
4140};
4141#line 628 "include/linux/fb.h"
4142struct fb_ops {
4143   struct module *owner ;
4144   int (*fb_open)(struct fb_info *info , int user ) ;
4145   int (*fb_release)(struct fb_info *info , int user ) ;
4146   ssize_t (*fb_read)(struct fb_info *info , char *buf , size_t count , loff_t *ppos ) ;
4147   ssize_t (*fb_write)(struct fb_info *info , char const   *buf , size_t count , loff_t *ppos ) ;
4148   int (*fb_check_var)(struct fb_var_screeninfo *var , struct fb_info *info ) ;
4149   int (*fb_set_par)(struct fb_info *info ) ;
4150   int (*fb_setcolreg)(unsigned int regno , unsigned int red , unsigned int green ,
4151                       unsigned int blue , unsigned int transp , struct fb_info *info ) ;
4152   int (*fb_setcmap)(struct fb_cmap *cmap , struct fb_info *info ) ;
4153   int (*fb_blank)(int blank , struct fb_info *info ) ;
4154   int (*fb_pan_display)(struct fb_var_screeninfo *var , struct fb_info *info ) ;
4155   void (*fb_fillrect)(struct fb_info *info , struct fb_fillrect  const  *rect ) ;
4156   void (*fb_copyarea)(struct fb_info *info , struct fb_copyarea  const  *region ) ;
4157   void (*fb_imageblit)(struct fb_info *info , struct fb_image  const  *image ) ;
4158   int (*fb_cursor)(struct fb_info *info , struct fb_cursor *cursor ) ;
4159   void (*fb_rotate)(struct fb_info *info , int angle ) ;
4160   int (*fb_sync)(struct fb_info *info ) ;
4161   int (*fb_ioctl)(struct fb_info *info , unsigned int cmd , unsigned long arg ) ;
4162   int (*fb_compat_ioctl)(struct fb_info *info , unsigned int cmd , unsigned long arg ) ;
4163   int (*fb_mmap)(struct fb_info *info , struct vm_area_struct *vma ) ;
4164   void (*fb_get_caps)(struct fb_info *info , struct fb_blit_caps *caps , struct fb_var_screeninfo *var ) ;
4165   void (*fb_destroy)(struct fb_info *info ) ;
4166   int (*fb_debug_enter)(struct fb_info *info ) ;
4167   int (*fb_debug_leave)(struct fb_info *info ) ;
4168};
4169#line 709 "include/linux/fb.h"
4170struct fb_tilemap {
4171   __u32 width ;
4172   __u32 height ;
4173   __u32 depth ;
4174   __u32 length ;
4175   __u8 const   *data ;
4176};
4177#line 718 "include/linux/fb.h"
4178struct fb_tilerect {
4179   __u32 sx ;
4180   __u32 sy ;
4181   __u32 width ;
4182   __u32 height ;
4183   __u32 index ;
4184   __u32 fg ;
4185   __u32 bg ;
4186   __u32 rop ;
4187};
4188#line 729 "include/linux/fb.h"
4189struct fb_tilearea {
4190   __u32 sx ;
4191   __u32 sy ;
4192   __u32 dx ;
4193   __u32 dy ;
4194   __u32 width ;
4195   __u32 height ;
4196};
4197#line 738 "include/linux/fb.h"
4198struct fb_tileblit {
4199   __u32 sx ;
4200   __u32 sy ;
4201   __u32 width ;
4202   __u32 height ;
4203   __u32 fg ;
4204   __u32 bg ;
4205   __u32 length ;
4206   __u32 *indices ;
4207};
4208#line 749 "include/linux/fb.h"
4209struct fb_tilecursor {
4210   __u32 sx ;
4211   __u32 sy ;
4212   __u32 mode ;
4213   __u32 shape ;
4214   __u32 fg ;
4215   __u32 bg ;
4216};
4217#line 758 "include/linux/fb.h"
4218struct fb_tile_ops {
4219   void (*fb_settile)(struct fb_info *info , struct fb_tilemap *map ) ;
4220   void (*fb_tilecopy)(struct fb_info *info , struct fb_tilearea *area ) ;
4221   void (*fb_tilefill)(struct fb_info *info , struct fb_tilerect *rect ) ;
4222   void (*fb_tileblit)(struct fb_info *info , struct fb_tileblit *blit ) ;
4223   void (*fb_tilecursor)(struct fb_info *info , struct fb_tilecursor *cursor ) ;
4224   int (*fb_get_tilemax)(struct fb_info *info ) ;
4225};
4226#line 839 "include/linux/fb.h"
4227struct aperture {
4228   resource_size_t base ;
4229   resource_size_t size ;
4230};
4231#line 839 "include/linux/fb.h"
4232struct apertures_struct {
4233   unsigned int count ;
4234   struct aperture ranges[0] ;
4235};
4236#line 839 "include/linux/fb.h"
4237struct fb_info {
4238   atomic_t count ;
4239   int node ;
4240   int flags ;
4241   struct mutex lock ;
4242   struct mutex mm_lock ;
4243   struct fb_var_screeninfo var ;
4244   struct fb_fix_screeninfo fix ;
4245   struct fb_monspecs monspecs ;
4246   struct work_struct queue ;
4247   struct fb_pixmap pixmap ;
4248   struct fb_pixmap sprite ;
4249   struct fb_cmap cmap ;
4250   struct list_head modelist ;
4251   struct fb_videomode *mode ;
4252   struct backlight_device *bl_dev ;
4253   struct mutex bl_curve_mutex ;
4254   u8 bl_curve[128] ;
4255   struct delayed_work deferred_work ;
4256   struct fb_deferred_io *fbdefio ;
4257   struct fb_ops *fbops ;
4258   struct device *device ;
4259   struct device *dev ;
4260   int class_flag ;
4261   struct fb_tile_ops *tileops ;
4262   char *screen_base ;
4263   unsigned long screen_size ;
4264   void *pseudo_palette ;
4265   u32 state ;
4266   void *fbcon_par ;
4267   void *par ;
4268   struct apertures_struct *apertures ;
4269};
4270#line 1146 "include/linux/fb.h"
4271struct fb_videomode {
4272   char const   *name ;
4273   u32 refresh ;
4274   u32 xres ;
4275   u32 yres ;
4276   u32 pixclock ;
4277   u32 left_margin ;
4278   u32 right_margin ;
4279   u32 upper_margin ;
4280   u32 lower_margin ;
4281   u32 hsync_len ;
4282   u32 vsync_len ;
4283   u32 sync ;
4284   u32 vmode ;
4285   u32 flag ;
4286};
4287#line 22 "include/linux/console.h"
4288struct module;
4289#line 23
4290struct tty_struct;
4291#line 13 "include/linux/selection.h"
4292struct tty_struct;
4293#line 16
4294struct tty_struct;
4295#line 25 "include/linux/io.h"
4296struct device;
4297#line 61 "include/linux/pci.h"
4298struct hotplug_slot;
4299#line 61 "include/linux/pci.h"
4300struct pci_slot {
4301   struct pci_bus *bus ;
4302   struct list_head list ;
4303   struct hotplug_slot *hotplug ;
4304   unsigned char number ;
4305   struct kobject kobj ;
4306};
4307#line 117 "include/linux/pci.h"
4308typedef int pci_power_t;
4309#line 143 "include/linux/pci.h"
4310typedef unsigned int pci_channel_state_t;
4311#line 145
4312enum pci_channel_state {
4313    pci_channel_io_normal = 1,
4314    pci_channel_io_frozen = 2,
4315    pci_channel_io_perm_failure = 3
4316} ;
4317#line 169 "include/linux/pci.h"
4318typedef unsigned short pci_dev_flags_t;
4319#line 186 "include/linux/pci.h"
4320typedef unsigned short pci_bus_flags_t;
4321#line 230
4322struct pcie_link_state;
4323#line 230
4324struct pcie_link_state;
4325#line 231
4326struct pci_vpd;
4327#line 231
4328struct pci_vpd;
4329#line 232
4330struct pci_sriov;
4331#line 232
4332struct pci_sriov;
4333#line 233
4334struct pci_ats;
4335#line 233
4336struct pci_ats;
4337#line 238
4338struct pci_driver;
4339#line 238 "include/linux/pci.h"
4340union __anonunion____missing_field_name_259 {
4341   struct pci_sriov *sriov ;
4342   struct pci_dev *physfn ;
4343};
4344#line 238 "include/linux/pci.h"
4345struct pci_dev {
4346   struct list_head bus_list ;
4347   struct pci_bus *bus ;
4348   struct pci_bus *subordinate ;
4349   void *sysdata ;
4350   struct proc_dir_entry *procent ;
4351   struct pci_slot *slot ;
4352   unsigned int devfn ;
4353   unsigned short vendor ;
4354   unsigned short device ;
4355   unsigned short subsystem_vendor ;
4356   unsigned short subsystem_device ;
4357   unsigned int class ;
4358   u8 revision ;
4359   u8 hdr_type ;
4360   u8 pcie_cap ;
4361   u8 pcie_type : 4 ;
4362   u8 pcie_mpss : 3 ;
4363   u8 rom_base_reg ;
4364   u8 pin ;
4365   struct pci_driver *driver ;
4366   u64 dma_mask ;
4367   struct device_dma_parameters dma_parms ;
4368   pci_power_t current_state ;
4369   int pm_cap ;
4370   unsigned int pme_support : 5 ;
4371   unsigned int pme_interrupt : 1 ;
4372   unsigned int pme_poll : 1 ;
4373   unsigned int d1_support : 1 ;
4374   unsigned int d2_support : 1 ;
4375   unsigned int no_d1d2 : 1 ;
4376   unsigned int mmio_always_on : 1 ;
4377   unsigned int wakeup_prepared : 1 ;
4378   unsigned int d3_delay ;
4379   struct pcie_link_state *link_state ;
4380   pci_channel_state_t error_state ;
4381   struct device dev ;
4382   int cfg_size ;
4383   unsigned int irq ;
4384   struct resource resource[17] ;
4385   unsigned int transparent : 1 ;
4386   unsigned int multifunction : 1 ;
4387   unsigned int is_added : 1 ;
4388   unsigned int is_busmaster : 1 ;
4389   unsigned int no_msi : 1 ;
4390   unsigned int block_cfg_access : 1 ;
4391   unsigned int broken_parity_status : 1 ;
4392   unsigned int irq_reroute_variant : 2 ;
4393   unsigned int msi_enabled : 1 ;
4394   unsigned int msix_enabled : 1 ;
4395   unsigned int ari_enabled : 1 ;
4396   unsigned int is_managed : 1 ;
4397   unsigned int is_pcie : 1 ;
4398   unsigned int needs_freset : 1 ;
4399   unsigned int state_saved : 1 ;
4400   unsigned int is_physfn : 1 ;
4401   unsigned int is_virtfn : 1 ;
4402   unsigned int reset_fn : 1 ;
4403   unsigned int is_hotplug_bridge : 1 ;
4404   unsigned int __aer_firmware_first_valid : 1 ;
4405   unsigned int __aer_firmware_first : 1 ;
4406   pci_dev_flags_t dev_flags ;
4407   atomic_t enable_cnt ;
4408   u32 saved_config_space[16] ;
4409   struct hlist_head saved_cap_space ;
4410   struct bin_attribute *rom_attr ;
4411   int rom_attr_enabled ;
4412   struct bin_attribute *res_attr[17] ;
4413   struct bin_attribute *res_attr_wc[17] ;
4414   struct list_head msi_list ;
4415   struct kset *msi_kset ;
4416   struct pci_vpd *vpd ;
4417   union __anonunion____missing_field_name_259 __annonCompField47 ;
4418   struct pci_ats *ats ;
4419};
4420#line 406
4421struct pci_ops;
4422#line 406 "include/linux/pci.h"
4423struct pci_bus {
4424   struct list_head node ;
4425   struct pci_bus *parent ;
4426   struct list_head children ;
4427   struct list_head devices ;
4428   struct pci_dev *self ;
4429   struct list_head slots ;
4430   struct resource *resource[4] ;
4431   struct list_head resources ;
4432   struct pci_ops *ops ;
4433   void *sysdata ;
4434   struct proc_dir_entry *procdir ;
4435   unsigned char number ;
4436   unsigned char primary ;
4437   unsigned char secondary ;
4438   unsigned char subordinate ;
4439   unsigned char max_bus_speed ;
4440   unsigned char cur_bus_speed ;
4441   char name[48] ;
4442   unsigned short bridge_ctl ;
4443   pci_bus_flags_t bus_flags ;
4444   struct device *bridge ;
4445   struct device dev ;
4446   struct bin_attribute *legacy_io ;
4447   struct bin_attribute *legacy_mem ;
4448   unsigned int is_added : 1 ;
4449};
4450#line 472 "include/linux/pci.h"
4451struct pci_ops {
4452   int (*read)(struct pci_bus *bus , unsigned int devfn , int where , int size , u32 *val ) ;
4453   int (*write)(struct pci_bus *bus , unsigned int devfn , int where , int size ,
4454                u32 val ) ;
4455};
4456#line 491 "include/linux/pci.h"
4457struct pci_dynids {
4458   spinlock_t lock ;
4459   struct list_head list ;
4460};
4461#line 503 "include/linux/pci.h"
4462typedef unsigned int pci_ers_result_t;
4463#line 523 "include/linux/pci.h"
4464struct pci_error_handlers {
4465   pci_ers_result_t (*error_detected)(struct pci_dev *dev , enum pci_channel_state error ) ;
4466   pci_ers_result_t (*mmio_enabled)(struct pci_dev *dev ) ;
4467   pci_ers_result_t (*link_reset)(struct pci_dev *dev ) ;
4468   pci_ers_result_t (*slot_reset)(struct pci_dev *dev ) ;
4469   void (*resume)(struct pci_dev *dev ) ;
4470};
4471#line 543
4472struct module;
4473#line 544 "include/linux/pci.h"
4474struct pci_driver {
4475   struct list_head node ;
4476   char const   *name ;
4477   struct pci_device_id  const  *id_table ;
4478   int (*probe)(struct pci_dev *dev , struct pci_device_id  const  *id ) ;
4479   void (*remove)(struct pci_dev *dev ) ;
4480   int (*suspend)(struct pci_dev *dev , pm_message_t state ) ;
4481   int (*suspend_late)(struct pci_dev *dev , pm_message_t state ) ;
4482   int (*resume_early)(struct pci_dev *dev ) ;
4483   int (*resume)(struct pci_dev *dev ) ;
4484   void (*shutdown)(struct pci_dev *dev ) ;
4485   struct pci_error_handlers *err_handler ;
4486   struct device_driver driver ;
4487   struct pci_dynids dynids ;
4488};
4489#line 6 "include/asm-generic/scatterlist.h"
4490struct scatterlist {
4491   unsigned long sg_magic ;
4492   unsigned long page_link ;
4493   unsigned int offset ;
4494   unsigned int length ;
4495   dma_addr_t dma_address ;
4496   unsigned int dma_length ;
4497};
4498#line 27 "include/linux/dma-attrs.h"
4499struct dma_attrs {
4500   unsigned long flags[((4UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
4501};
4502#line 7 "include/linux/dma-direction.h"
4503enum dma_data_direction {
4504    DMA_BIDIRECTIONAL = 0,
4505    DMA_TO_DEVICE = 1,
4506    DMA_FROM_DEVICE = 2,
4507    DMA_NONE = 3
4508} ;
4509#line 11 "include/linux/dma-mapping.h"
4510struct dma_map_ops {
4511   void *(*alloc)(struct device *dev , size_t size , dma_addr_t *dma_handle , gfp_t gfp ,
4512                  struct dma_attrs *attrs ) ;
4513   void (*free)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ,
4514                struct dma_attrs *attrs ) ;
4515   int (*mmap)(struct device * , struct vm_area_struct * , void * , dma_addr_t  ,
4516               size_t  , struct dma_attrs *attrs ) ;
4517   dma_addr_t (*map_page)(struct device *dev , struct page *page , unsigned long offset ,
4518                          size_t size , enum dma_data_direction dir , struct dma_attrs *attrs ) ;
4519   void (*unmap_page)(struct device *dev , dma_addr_t dma_handle , size_t size , enum dma_data_direction dir ,
4520                      struct dma_attrs *attrs ) ;
4521   int (*map_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
4522                 struct dma_attrs *attrs ) ;
4523   void (*unmap_sg)(struct device *dev , struct scatterlist *sg , int nents , enum dma_data_direction dir ,
4524                    struct dma_attrs *attrs ) ;
4525   void (*sync_single_for_cpu)(struct device *dev , dma_addr_t dma_handle , size_t size ,
4526                               enum dma_data_direction dir ) ;
4527   void (*sync_single_for_device)(struct device *dev , dma_addr_t dma_handle , size_t size ,
4528                                  enum dma_data_direction dir ) ;
4529   void (*sync_sg_for_cpu)(struct device *dev , struct scatterlist *sg , int nents ,
4530                           enum dma_data_direction dir ) ;
4531   void (*sync_sg_for_device)(struct device *dev , struct scatterlist *sg , int nents ,
4532                              enum dma_data_direction dir ) ;
4533   int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
4534   int (*dma_supported)(struct device *dev , u64 mask ) ;
4535   int (*set_dma_mask)(struct device *dev , u64 mask ) ;
4536   int is_phys ;
4537};
4538#line 25 "include/linux/dma-debug.h"
4539struct device;
4540#line 26
4541struct scatterlist;
4542#line 27
4543struct bus_type;
4544#line 6 "include/linux/swiotlb.h"
4545struct device;
4546#line 7
4547struct dma_attrs;
4548#line 8
4549struct scatterlist;
4550#line 29 "include/linux/socket.h"
4551struct pid;
4552#line 30
4553struct cred;
4554#line 36
4555struct seq_file;
4556#line 336
4557struct timespec;
4558#line 39 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/compat.h"
4559typedef s32 compat_long_t;
4560#line 212 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/compat.h"
4561typedef u32 compat_uptr_t;
4562#line 226 "include/linux/compat.h"
4563struct compat_robust_list {
4564   compat_uptr_t next ;
4565};
4566#line 230 "include/linux/compat.h"
4567struct compat_robust_list_head {
4568   struct compat_robust_list list ;
4569   compat_long_t futex_offset ;
4570   compat_uptr_t list_op_pending ;
4571};
4572#line 127 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4573struct __anonstruct_vaddr_t_278 {
4574   void *vaddr ;
4575};
4576#line 127 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4577typedef struct __anonstruct_vaddr_t_278 vaddr_t;
4578#line 207 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4579struct my_timming {
4580   unsigned int pixclock ;
4581   int mnp ;
4582   unsigned int crtc ;
4583   unsigned int HDisplay ;
4584   unsigned int HSyncStart ;
4585   unsigned int HSyncEnd ;
4586   unsigned int HTotal ;
4587   unsigned int VDisplay ;
4588   unsigned int VSyncStart ;
4589   unsigned int VSyncEnd ;
4590   unsigned int VTotal ;
4591   unsigned int sync ;
4592   int dblscan ;
4593   int interlaced ;
4594   unsigned int delay ;
4595};
4596#line 227 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4597struct __anonstruct_data_280 {
4598   unsigned int mnp_key ;
4599   unsigned int mnp_value ;
4600};
4601#line 227 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4602struct matrox_pll_cache {
4603   unsigned int valid ;
4604   struct __anonstruct_data_280 data[4] ;
4605};
4606#line 235 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4607struct matrox_pll_limits {
4608   unsigned int vcomin ;
4609   unsigned int vcomax ;
4610};
4611#line 240 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4612struct matrox_pll_features {
4613   unsigned int vco_freq_min ;
4614   unsigned int ref_freq ;
4615   unsigned int feed_div_min ;
4616   unsigned int feed_div_max ;
4617   unsigned int in_div_min ;
4618   unsigned int in_div_max ;
4619   unsigned int post_shift_max ;
4620};
4621#line 250 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4622struct __anonstruct_ydstorg_281 {
4623   unsigned int bytes ;
4624   unsigned int pixels ;
4625   unsigned int chunks ;
4626};
4627#line 250 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4628struct matroxfb_par {
4629   unsigned int final_bppShift ;
4630   unsigned int cmap_len ;
4631   struct __anonstruct_ydstorg_281 ydstorg ;
4632};
4633#line 261
4634struct matrox_fb_info;
4635#line 261
4636struct matrox_fb_info;
4637#line 263 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4638struct matrox_DAC1064_features {
4639   u_int8_t xvrefctrl ;
4640   u_int8_t xmiscctrl ;
4641};
4642#line 269 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4643struct mavenregs {
4644   u_int8_t regs[256] ;
4645   int mode ;
4646   int vlines ;
4647   int xtal ;
4648   int fv ;
4649   u_int16_t htotal ;
4650   u_int16_t hcorr ;
4651};
4652#line 280 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4653struct matrox_crtc2 {
4654   u_int32_t ctl ;
4655};
4656#line 284 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4657struct matrox_hw_state {
4658   u_int32_t MXoptionReg ;
4659   unsigned char DACclk[6] ;
4660   unsigned char DACreg[80] ;
4661   unsigned char MiscOutReg ;
4662   unsigned char DACpal[768] ;
4663   unsigned char CRTC[25] ;
4664   unsigned char CRTCEXT[9] ;
4665   unsigned char SEQ[5] ;
4666   unsigned char GCTL[9] ;
4667   unsigned char ATTR[21] ;
4668   struct mavenregs maven ;
4669   struct matrox_crtc2 crtc2 ;
4670};
4671#line 304 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4672struct matrox_accel_data {
4673   unsigned char ramdac_rev ;
4674   u_int32_t m_dwg_rect ;
4675   u_int32_t m_opmode ;
4676};
4677#line 312
4678struct v4l2_queryctrl;
4679#line 312
4680struct v4l2_queryctrl;
4681#line 313
4682struct v4l2_control;
4683#line 313
4684struct v4l2_control;
4685#line 315 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4686struct matrox_altout {
4687   char const   *name ;
4688   int (*compute)(void *altout_dev , struct my_timming *input ) ;
4689   int (*program)(void *altout_dev ) ;
4690   int (*start)(void *altout_dev ) ;
4691   int (*verifymode)(void *altout_dev , u_int32_t mode ) ;
4692   int (*getqueryctrl)(void *altout_dev , struct v4l2_queryctrl *ctrl ) ;
4693   int (*getctrl)(void *altout_dev , struct v4l2_control *ctrl ) ;
4694   int (*setctrl)(void *altout_dev , struct v4l2_control *ctrl ) ;
4695};
4696#line 333
4697enum mga_chip {
4698    MGA_2064 = 0,
4699    MGA_2164 = 1,
4700    MGA_1064 = 2,
4701    MGA_1164 = 3,
4702    MGA_G100 = 4,
4703    MGA_G200 = 5,
4704    MGA_G400 = 6,
4705    MGA_G450 = 7,
4706    MGA_G550 = 8
4707} ;
4708#line 335 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4709struct __anonstruct_version_282 {
4710   unsigned char vMaj ;
4711   unsigned char vMin ;
4712   unsigned char vRev ;
4713};
4714#line 335 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4715struct __anonstruct_output_283 {
4716   unsigned char state ;
4717   unsigned char tvout ;
4718};
4719#line 335 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4720struct matrox_bios {
4721   unsigned int bios_valid : 1 ;
4722   unsigned int pins_len ;
4723   unsigned char pins[128] ;
4724   struct __anonstruct_version_282 version ;
4725   struct __anonstruct_output_283 output ;
4726};
4727#line 347
4728struct matrox_switch;
4729#line 347
4730struct matrox_switch;
4731#line 348
4732struct matroxfb_driver;
4733#line 348
4734struct matroxfb_driver;
4735#line 349
4736struct matroxfb_dh_fb_info;
4737#line 349
4738struct matroxfb_dh_fb_info;
4739#line 351 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4740struct matrox_vsync {
4741   wait_queue_head_t wait ;
4742   unsigned int cnt ;
4743};
4744#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4745struct __anonstruct_crtc1_284 {
4746   struct matrox_vsync vsync ;
4747   unsigned int pixclock ;
4748   int mnp ;
4749   int panpos ;
4750};
4751#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4752struct __anonstruct_crtc2_285 {
4753   struct matrox_vsync vsync ;
4754   unsigned int pixclock ;
4755   int mnp ;
4756   struct matroxfb_dh_fb_info *info ;
4757   struct rw_semaphore lock ;
4758};
4759#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4760struct __anonstruct_tvo_params_287 {
4761   int brightness ;
4762   int contrast ;
4763   int saturation ;
4764   int hue ;
4765   int gamma ;
4766   int testout ;
4767   int deflicker ;
4768};
4769#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4770struct __anonstruct_altout_286 {
4771   struct rw_semaphore lock ;
4772   struct __anonstruct_tvo_params_287 tvo_params ;
4773};
4774#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4775struct __anonstruct_outputs_288 {
4776   unsigned int src ;
4777   struct matrox_altout *output ;
4778   void *data ;
4779   unsigned int mode ;
4780   unsigned int default_src ;
4781};
4782#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4783struct __anonstruct_video_289 {
4784   unsigned long base ;
4785   vaddr_t vbase ;
4786   unsigned int len ;
4787   unsigned int len_usable ;
4788   unsigned int len_maximum ;
4789};
4790#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4791struct __anonstruct_mmio_290 {
4792   unsigned long base ;
4793   vaddr_t vbase ;
4794   unsigned int len ;
4795};
4796#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4797struct __anonstruct_features_291 {
4798   struct matrox_pll_features pll ;
4799   struct matrox_DAC1064_features DAC1064 ;
4800};
4801#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4802struct __anonstruct_lock_292 {
4803   spinlock_t DAC ;
4804   spinlock_t accel ;
4805};
4806#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4807struct __anonstruct_capable_293 {
4808   int cfb4 ;
4809   int const   *vxres ;
4810   int cross4MB ;
4811   int text ;
4812   int plnwt ;
4813   int srcorg ;
4814};
4815#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4816struct __anonstruct_mtrr_294 {
4817   int vram ;
4818   int vram_valid ;
4819};
4820#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4821struct __anonstruct_devflags_295 {
4822   int precise_width ;
4823   int mga_24bpp_fix ;
4824   int novga ;
4825   int nobios ;
4826   int nopciretry ;
4827   int noinit ;
4828   int sgram ;
4829   int support32MB ;
4830   int accelerator ;
4831   int text_type_aux ;
4832   int video64bits ;
4833   int crtc2 ;
4834   int maven_capable ;
4835   unsigned int vgastep ;
4836   unsigned int textmode ;
4837   unsigned int textstep ;
4838   unsigned int textvram ;
4839   unsigned int ydstorg ;
4840   int memtype ;
4841   int g450dac ;
4842   int dfp_type ;
4843   int panellink ;
4844   int dualhead ;
4845   unsigned int fbResource ;
4846};
4847#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4848struct __anonstruct_limits_296 {
4849   struct matrox_pll_limits pixel ;
4850   struct matrox_pll_limits system ;
4851   struct matrox_pll_limits video ;
4852};
4853#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4854struct __anonstruct_cache_297 {
4855   struct matrox_pll_cache pixel ;
4856   struct matrox_pll_cache system ;
4857   struct matrox_pll_cache video ;
4858};
4859#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4860struct __anonstruct_pll_299 {
4861   unsigned int video ;
4862   unsigned int system ;
4863};
4864#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4865struct __anonstruct_reg_300 {
4866   u_int32_t opt ;
4867   u_int32_t opt2 ;
4868   u_int32_t opt3 ;
4869   u_int32_t mctlwtst ;
4870   u_int32_t mctlwtst_core ;
4871   u_int32_t memmisc ;
4872   u_int32_t memrdbk ;
4873   u_int32_t maccess ;
4874};
4875#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4876struct __anonstruct_memory_301 {
4877   unsigned int ddr : 1 ;
4878   unsigned int emrswen : 1 ;
4879   unsigned int dll : 1 ;
4880};
4881#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4882struct __anonstruct_values_298 {
4883   struct __anonstruct_pll_299 pll ;
4884   struct __anonstruct_reg_300 reg ;
4885   struct __anonstruct_memory_301 memory ;
4886};
4887#line 356 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4888struct matrox_fb_info {
4889   struct fb_info fbcon ;
4890   struct list_head next_fb ;
4891   int dead ;
4892   int initialized ;
4893   unsigned int usecount ;
4894   unsigned int userusecount ;
4895   unsigned long irq_flags ;
4896   struct matroxfb_par curr ;
4897   struct matrox_hw_state hw ;
4898   struct matrox_accel_data accel ;
4899   struct pci_dev *pcidev ;
4900   struct __anonstruct_crtc1_284 crtc1 ;
4901   struct __anonstruct_crtc2_285 crtc2 ;
4902   struct __anonstruct_altout_286 altout ;
4903   struct __anonstruct_outputs_288 outputs[3] ;
4904   struct matroxfb_driver *drivers[5] ;
4905   void *drivers_data[5] ;
4906   unsigned int drivers_count ;
4907   struct __anonstruct_video_289 video ;
4908   struct __anonstruct_mmio_290 mmio ;
4909   unsigned int max_pixel_clock ;
4910   unsigned int max_pixel_clock_panellink ;
4911   struct matrox_switch *hw_switch ;
4912   struct __anonstruct_features_291 features ;
4913   struct __anonstruct_lock_292 lock ;
4914   enum mga_chip chip ;
4915   int interleave ;
4916   int millenium ;
4917   int milleniumII ;
4918   struct __anonstruct_capable_293 capable ;
4919   struct __anonstruct_mtrr_294 mtrr ;
4920   struct __anonstruct_devflags_295 devflags ;
4921   struct fb_ops fbops ;
4922   struct matrox_bios bios ;
4923   struct __anonstruct_limits_296 limits ;
4924   struct __anonstruct_cache_297 cache ;
4925   struct __anonstruct_values_298 values ;
4926   u_int32_t cmap[16] ;
4927};
4928#line 522 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4929struct matrox_switch {
4930   int (*preinit)(struct matrox_fb_info *minfo ) ;
4931   void (*reset)(struct matrox_fb_info *minfo ) ;
4932   int (*init)(struct matrox_fb_info *minfo , struct my_timming * ) ;
4933   void (*restore)(struct matrox_fb_info *minfo ) ;
4934};
4935#line 529 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
4936struct matroxfb_driver {
4937   struct list_head node ;
4938   char *name ;
4939   void *(*probe)(struct matrox_fb_info *info ) ;
4940   void (*remove)(struct matrox_fb_info *info , void *data ) ;
4941};
4942#line 34 "include/linux/i2c-algo-bit.h"
4943struct i2c_algo_bit_data {
4944   void *data ;
4945   void (*setsda)(void *data , int state ) ;
4946   void (*setscl)(void *data , int state ) ;
4947   int (*getsda)(void *data ) ;
4948   int (*getscl)(void *data ) ;
4949   int (*pre_xfer)(struct i2c_adapter * ) ;
4950   void (*post_xfer)(struct i2c_adapter * ) ;
4951   int udelay ;
4952   int timeout ;
4953};
4954#line 9 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_maven.h"
4955struct __anonstruct_mask_302 {
4956   unsigned int data ;
4957   unsigned int clock ;
4958};
4959#line 9 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_maven.h"
4960struct i2c_bit_adapter {
4961   struct i2c_adapter adapter ;
4962   int initialized ;
4963   struct i2c_algo_bit_data bac ;
4964   struct matrox_fb_info *minfo ;
4965   struct __anonstruct_mask_302 mask ;
4966};
4967#line 35 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
4968struct matroxfb_dh_maven_info {
4969   struct i2c_bit_adapter maven ;
4970   struct i2c_bit_adapter ddc1 ;
4971   struct i2c_bit_adapter ddc2 ;
4972};
4973#line 1 "<compiler builtins>"
4974long __builtin_expect(long val , long res ) ;
4975#line 100 "include/linux/printk.h"
4976extern int ( /* format attribute */  printk)(char const   *fmt  , ...) ;
4977#line 322 "include/linux/kernel.h"
4978extern int ( /* format attribute */  snprintf)(char *buf , size_t size , char const   *fmt 
4979                                               , ...) ;
4980#line 32 "include/linux/spinlock_api_smp.h"
4981extern unsigned long _raw_spin_lock_irqsave(raw_spinlock_t *lock )  __attribute__((__section__(".spinlock.text"))) ;
4982#line 42
4983extern void _raw_spin_unlock_irqrestore(raw_spinlock_t *lock , unsigned long flags )  __attribute__((__section__(".spinlock.text"))) ;
4984#line 272 "include/linux/spinlock.h"
4985__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock )  __attribute__((__no_instrument_function__)) ;
4986#line 272 "include/linux/spinlock.h"
4987__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock ) 
4988{ 
4989
4990  {
4991#line 274
4992  return ((struct raw_spinlock *)lock);
4993}
4994}
4995#line 338
4996__inline static void spin_unlock_irqrestore(spinlock_t *lock , unsigned long flags )  __attribute__((__no_instrument_function__)) ;
4997#line 338 "include/linux/spinlock.h"
4998__inline static void spin_unlock_irqrestore(spinlock_t *lock , unsigned long flags ) 
4999{ struct raw_spinlock *__cil_tmp5 ;
5000
5001  {
5002  {
5003#line 340
5004  while (1) {
5005    while_continue: /* CIL Label */ ;
5006    {
5007#line 340
5008    __cil_tmp5 = (struct raw_spinlock *)lock;
5009#line 340
5010    _raw_spin_unlock_irqrestore(__cil_tmp5, flags);
5011    }
5012#line 340
5013    goto while_break;
5014  }
5015  while_break: /* CIL Label */ ;
5016  }
5017#line 341
5018  return;
5019}
5020}
5021#line 152 "include/linux/mutex.h"
5022void mutex_lock(struct mutex *lock ) ;
5023#line 153
5024int __attribute__((__warn_unused_result__))  mutex_lock_interruptible(struct mutex *lock ) ;
5025#line 154
5026int __attribute__((__warn_unused_result__))  mutex_lock_killable(struct mutex *lock ) ;
5027#line 168
5028int mutex_trylock(struct mutex *lock ) ;
5029#line 169
5030void mutex_unlock(struct mutex *lock ) ;
5031#line 170
5032int atomic_dec_and_mutex_lock(atomic_t *cnt , struct mutex *lock ) ;
5033#line 26 "include/linux/export.h"
5034extern struct module __this_module ;
5035#line 67 "include/linux/module.h"
5036int init_module(void) ;
5037#line 68
5038void cleanup_module(void) ;
5039#line 161 "include/linux/slab.h"
5040extern void kfree(void const   * ) ;
5041#line 221 "include/linux/slub_def.h"
5042extern void *__kmalloc(size_t size , gfp_t flags ) ;
5043#line 268
5044__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
5045                                                                    gfp_t flags )  __attribute__((__no_instrument_function__)) ;
5046#line 268 "include/linux/slub_def.h"
5047__inline static void *( __attribute__((__always_inline__)) kmalloc)(size_t size ,
5048                                                                    gfp_t flags ) 
5049{ void *tmp___2 ;
5050
5051  {
5052  {
5053#line 283
5054  tmp___2 = __kmalloc(size, flags);
5055  }
5056#line 283
5057  return (tmp___2);
5058}
5059}
5060#line 349 "include/linux/slab.h"
5061__inline static void *kzalloc(size_t size , gfp_t flags )  __attribute__((__no_instrument_function__)) ;
5062#line 349 "include/linux/slab.h"
5063__inline static void *kzalloc(size_t size , gfp_t flags ) 
5064{ void *tmp ;
5065  unsigned int __cil_tmp4 ;
5066
5067  {
5068  {
5069#line 351
5070  __cil_tmp4 = flags | 32768U;
5071#line 351
5072  tmp = kmalloc(size, __cil_tmp4);
5073  }
5074#line 351
5075  return (tmp);
5076}
5077}
5078#line 793 "include/linux/device.h"
5079extern int dev_set_drvdata(struct device *dev , void *data ) ;
5080#line 311 "include/linux/i2c.h"
5081extern struct i2c_client *i2c_new_probed_device(struct i2c_adapter *adap , struct i2c_board_info *info ,
5082                                                unsigned short const   *addr_list ,
5083                                                int (*probe)(struct i2c_adapter * ,
5084                                                             unsigned short addr ) ) ;
5085#line 400
5086__inline static void i2c_set_adapdata(struct i2c_adapter *dev , void *data )  __attribute__((__no_instrument_function__)) ;
5087#line 400 "include/linux/i2c.h"
5088__inline static void i2c_set_adapdata(struct i2c_adapter *dev , void *data ) 
5089{ unsigned long __cil_tmp3 ;
5090  unsigned long __cil_tmp4 ;
5091  struct device *__cil_tmp5 ;
5092
5093  {
5094  {
5095#line 402
5096  __cil_tmp3 = (unsigned long )dev;
5097#line 402
5098  __cil_tmp4 = __cil_tmp3 + 128;
5099#line 402
5100  __cil_tmp5 = (struct device *)__cil_tmp4;
5101#line 402
5102  dev_set_drvdata(__cil_tmp5, data);
5103  }
5104#line 403
5105  return;
5106}
5107}
5108#line 447
5109extern int i2c_del_adapter(struct i2c_adapter * ) ;
5110#line 536 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/drivers/video/matrox/matroxfb_base.h"
5111extern int matroxfb_register_driver(struct matroxfb_driver *drv ) ;
5112#line 537
5113extern void matroxfb_unregister_driver(struct matroxfb_driver *drv ) ;
5114#line 716
5115extern void matroxfb_DAC_out(struct matrox_fb_info  const  *minfo , int reg , int val ) ;
5116#line 718
5117extern int matroxfb_DAC_in(struct matrox_fb_info  const  *minfo , int reg ) ;
5118#line 51 "include/linux/i2c-algo-bit.h"
5119extern int i2c_bit_add_bus(struct i2c_adapter * ) ;
5120#line 41 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5121static int matroxfb_read_gpio(struct matrox_fb_info *minfo ) 
5122{ unsigned long flags ;
5123  int v ;
5124  raw_spinlock_t *tmp___7 ;
5125  unsigned long __cil_tmp7 ;
5126  unsigned long __cil_tmp8 ;
5127  spinlock_t *__cil_tmp9 ;
5128  struct matrox_fb_info  const  *__cil_tmp10 ;
5129  unsigned long __cil_tmp11 ;
5130  unsigned long __cil_tmp12 ;
5131  spinlock_t *__cil_tmp13 ;
5132
5133  {
5134  {
5135#line 45
5136  while (1) {
5137    while_continue: /* CIL Label */ ;
5138    {
5139#line 45
5140    while (1) {
5141      while_continue___0: /* CIL Label */ ;
5142      {
5143#line 45
5144      __cil_tmp7 = (unsigned long )minfo;
5145#line 45
5146      __cil_tmp8 = __cil_tmp7 + 3008;
5147#line 45
5148      __cil_tmp9 = (spinlock_t *)__cil_tmp8;
5149#line 45
5150      tmp___7 = spinlock_check(__cil_tmp9);
5151#line 45
5152      flags = _raw_spin_lock_irqsave(tmp___7);
5153      }
5154#line 45
5155      goto while_break___0;
5156    }
5157    while_break___0: /* CIL Label */ ;
5158    }
5159#line 45
5160    goto while_break;
5161  }
5162  while_break: /* CIL Label */ ;
5163  }
5164  {
5165#line 46
5166  __cil_tmp10 = (struct matrox_fb_info  const  *)minfo;
5167#line 46
5168  v = matroxfb_DAC_in(__cil_tmp10, 43);
5169#line 47
5170  __cil_tmp11 = (unsigned long )minfo;
5171#line 47
5172  __cil_tmp12 = __cil_tmp11 + 3008;
5173#line 47
5174  __cil_tmp13 = (spinlock_t *)__cil_tmp12;
5175#line 47
5176  spin_unlock_irqrestore(__cil_tmp13, flags);
5177  }
5178#line 48
5179  return (v);
5180}
5181}
5182#line 51 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5183static void matroxfb_set_gpio(struct matrox_fb_info *minfo , int mask , int val ) 
5184{ unsigned long flags ;
5185  int v ;
5186  raw_spinlock_t *tmp___7 ;
5187  int tmp___8 ;
5188  unsigned long __cil_tmp10 ;
5189  unsigned long __cil_tmp11 ;
5190  spinlock_t *__cil_tmp12 ;
5191  struct matrox_fb_info  const  *__cil_tmp13 ;
5192  int __cil_tmp14 ;
5193  struct matrox_fb_info  const  *__cil_tmp15 ;
5194  struct matrox_fb_info  const  *__cil_tmp16 ;
5195  unsigned long __cil_tmp17 ;
5196  unsigned long __cil_tmp18 ;
5197  spinlock_t *__cil_tmp19 ;
5198
5199  {
5200  {
5201#line 55
5202  while (1) {
5203    while_continue: /* CIL Label */ ;
5204    {
5205#line 55
5206    while (1) {
5207      while_continue___0: /* CIL Label */ ;
5208      {
5209#line 55
5210      __cil_tmp10 = (unsigned long )minfo;
5211#line 55
5212      __cil_tmp11 = __cil_tmp10 + 3008;
5213#line 55
5214      __cil_tmp12 = (spinlock_t *)__cil_tmp11;
5215#line 55
5216      tmp___7 = spinlock_check(__cil_tmp12);
5217#line 55
5218      flags = _raw_spin_lock_irqsave(tmp___7);
5219      }
5220#line 55
5221      goto while_break___0;
5222    }
5223    while_break___0: /* CIL Label */ ;
5224    }
5225#line 55
5226    goto while_break;
5227  }
5228  while_break: /* CIL Label */ ;
5229  }
5230  {
5231#line 56
5232  __cil_tmp13 = (struct matrox_fb_info  const  *)minfo;
5233#line 56
5234  tmp___8 = matroxfb_DAC_in(__cil_tmp13, 42);
5235#line 56
5236  __cil_tmp14 = tmp___8 & mask;
5237#line 56
5238  v = __cil_tmp14 | val;
5239#line 57
5240  __cil_tmp15 = (struct matrox_fb_info  const  *)minfo;
5241#line 57
5242  matroxfb_DAC_out(__cil_tmp15, 42, v);
5243#line 59
5244  __cil_tmp16 = (struct matrox_fb_info  const  *)minfo;
5245#line 59
5246  matroxfb_DAC_out(__cil_tmp16, 43, 0);
5247#line 60
5248  __cil_tmp17 = (unsigned long )minfo;
5249#line 60
5250  __cil_tmp18 = __cil_tmp17 + 3008;
5251#line 60
5252  __cil_tmp19 = (spinlock_t *)__cil_tmp18;
5253#line 60
5254  spin_unlock_irqrestore(__cil_tmp19, flags);
5255  }
5256#line 61
5257  return;
5258}
5259}
5260#line 64
5261__inline static void matroxfb_i2c_set(struct matrox_fb_info *minfo , int mask , int state )  __attribute__((__no_instrument_function__)) ;
5262#line 64 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5263__inline static void matroxfb_i2c_set(struct matrox_fb_info *minfo , int mask , int state ) 
5264{ int __cil_tmp4 ;
5265
5266  {
5267#line 65
5268  if (state) {
5269#line 66
5270    state = 0;
5271  } else {
5272#line 68
5273    state = mask;
5274  }
5275  {
5276#line 69
5277  __cil_tmp4 = ~ mask;
5278#line 69
5279  matroxfb_set_gpio(minfo, __cil_tmp4, state);
5280  }
5281#line 70
5282  return;
5283}
5284}
5285#line 72 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5286static void matroxfb_gpio_setsda(void *data , int state ) 
5287{ struct i2c_bit_adapter *b ;
5288  unsigned long __cil_tmp4 ;
5289  unsigned long __cil_tmp5 ;
5290  struct matrox_fb_info *__cil_tmp6 ;
5291  unsigned long __cil_tmp7 ;
5292  unsigned long __cil_tmp8 ;
5293  unsigned int __cil_tmp9 ;
5294  int __cil_tmp10 ;
5295
5296  {
5297  {
5298#line 73
5299  b = (struct i2c_bit_adapter *)data;
5300#line 74
5301  __cil_tmp4 = (unsigned long )b;
5302#line 74
5303  __cil_tmp5 = __cil_tmp4 + 1160;
5304#line 74
5305  __cil_tmp6 = *((struct matrox_fb_info **)__cil_tmp5);
5306#line 74
5307  __cil_tmp7 = (unsigned long )b;
5308#line 74
5309  __cil_tmp8 = __cil_tmp7 + 1168;
5310#line 74
5311  __cil_tmp9 = *((unsigned int *)__cil_tmp8);
5312#line 74
5313  __cil_tmp10 = (int )__cil_tmp9;
5314#line 74
5315  matroxfb_i2c_set(__cil_tmp6, __cil_tmp10, state);
5316  }
5317#line 75
5318  return;
5319}
5320}
5321#line 77 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5322static void matroxfb_gpio_setscl(void *data , int state ) 
5323{ struct i2c_bit_adapter *b ;
5324  unsigned long __cil_tmp4 ;
5325  unsigned long __cil_tmp5 ;
5326  struct matrox_fb_info *__cil_tmp6 ;
5327  unsigned long __cil_tmp7 ;
5328  unsigned long __cil_tmp8 ;
5329  unsigned long __cil_tmp9 ;
5330  unsigned int __cil_tmp10 ;
5331  int __cil_tmp11 ;
5332
5333  {
5334  {
5335#line 78
5336  b = (struct i2c_bit_adapter *)data;
5337#line 79
5338  __cil_tmp4 = (unsigned long )b;
5339#line 79
5340  __cil_tmp5 = __cil_tmp4 + 1160;
5341#line 79
5342  __cil_tmp6 = *((struct matrox_fb_info **)__cil_tmp5);
5343#line 79
5344  __cil_tmp7 = 1168 + 4;
5345#line 79
5346  __cil_tmp8 = (unsigned long )b;
5347#line 79
5348  __cil_tmp9 = __cil_tmp8 + __cil_tmp7;
5349#line 79
5350  __cil_tmp10 = *((unsigned int *)__cil_tmp9);
5351#line 79
5352  __cil_tmp11 = (int )__cil_tmp10;
5353#line 79
5354  matroxfb_i2c_set(__cil_tmp6, __cil_tmp11, state);
5355  }
5356#line 80
5357  return;
5358}
5359}
5360#line 82 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5361static int matroxfb_gpio_getsda(void *data ) 
5362{ struct i2c_bit_adapter *b ;
5363  int tmp___8 ;
5364  int tmp___9 ;
5365  unsigned long __cil_tmp6 ;
5366  unsigned long __cil_tmp7 ;
5367  struct matrox_fb_info *__cil_tmp8 ;
5368  unsigned long __cil_tmp9 ;
5369  unsigned long __cil_tmp10 ;
5370  unsigned int __cil_tmp11 ;
5371  unsigned int __cil_tmp12 ;
5372
5373  {
5374  {
5375#line 83
5376  b = (struct i2c_bit_adapter *)data;
5377#line 84
5378  __cil_tmp6 = (unsigned long )b;
5379#line 84
5380  __cil_tmp7 = __cil_tmp6 + 1160;
5381#line 84
5382  __cil_tmp8 = *((struct matrox_fb_info **)__cil_tmp7);
5383#line 84
5384  tmp___9 = matroxfb_read_gpio(__cil_tmp8);
5385  }
5386  {
5387#line 84
5388  __cil_tmp9 = (unsigned long )b;
5389#line 84
5390  __cil_tmp10 = __cil_tmp9 + 1168;
5391#line 84
5392  __cil_tmp11 = *((unsigned int *)__cil_tmp10);
5393#line 84
5394  __cil_tmp12 = (unsigned int )tmp___9;
5395#line 84
5396  if (__cil_tmp12 & __cil_tmp11) {
5397#line 84
5398    tmp___8 = 1;
5399  } else {
5400#line 84
5401    tmp___8 = 0;
5402  }
5403  }
5404#line 84
5405  return (tmp___8);
5406}
5407}
5408#line 87 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5409static int matroxfb_gpio_getscl(void *data ) 
5410{ struct i2c_bit_adapter *b ;
5411  int tmp___8 ;
5412  int tmp___9 ;
5413  unsigned long __cil_tmp6 ;
5414  unsigned long __cil_tmp7 ;
5415  struct matrox_fb_info *__cil_tmp8 ;
5416  unsigned long __cil_tmp9 ;
5417  unsigned long __cil_tmp10 ;
5418  unsigned long __cil_tmp11 ;
5419  unsigned int __cil_tmp12 ;
5420  unsigned int __cil_tmp13 ;
5421
5422  {
5423  {
5424#line 88
5425  b = (struct i2c_bit_adapter *)data;
5426#line 89
5427  __cil_tmp6 = (unsigned long )b;
5428#line 89
5429  __cil_tmp7 = __cil_tmp6 + 1160;
5430#line 89
5431  __cil_tmp8 = *((struct matrox_fb_info **)__cil_tmp7);
5432#line 89
5433  tmp___9 = matroxfb_read_gpio(__cil_tmp8);
5434  }
5435  {
5436#line 89
5437  __cil_tmp9 = 1168 + 4;
5438#line 89
5439  __cil_tmp10 = (unsigned long )b;
5440#line 89
5441  __cil_tmp11 = __cil_tmp10 + __cil_tmp9;
5442#line 89
5443  __cil_tmp12 = *((unsigned int *)__cil_tmp11);
5444#line 89
5445  __cil_tmp13 = (unsigned int )tmp___9;
5446#line 89
5447  if (__cil_tmp13 & __cil_tmp12) {
5448#line 89
5449    tmp___8 = 1;
5450  } else {
5451#line 89
5452    tmp___8 = 0;
5453  }
5454  }
5455#line 89
5456  return (tmp___8);
5457}
5458}
5459#line 92 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5460static struct i2c_algo_bit_data  const  matrox_i2c_algo_template  = 
5461#line 92
5462     {(void *)0, & matroxfb_gpio_setsda, & matroxfb_gpio_setscl, & matroxfb_gpio_getsda,
5463    & matroxfb_gpio_getscl, (int (*)(struct i2c_adapter * ))0, (void (*)(struct i2c_adapter * ))0,
5464    10, 100};
5465#line 102 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5466static int i2c_bus_reg(struct i2c_bit_adapter *b , struct matrox_fb_info *minfo ,
5467                       unsigned int data , unsigned int clock , char const   *name ,
5468                       int class ) 
5469{ int err ;
5470  unsigned long __cil_tmp8 ;
5471  unsigned long __cil_tmp9 ;
5472  unsigned long __cil_tmp10 ;
5473  unsigned long __cil_tmp11 ;
5474  unsigned long __cil_tmp12 ;
5475  unsigned long __cil_tmp13 ;
5476  unsigned long __cil_tmp14 ;
5477  unsigned long __cil_tmp15 ;
5478  unsigned long __cil_tmp16 ;
5479  unsigned long __cil_tmp17 ;
5480  unsigned long __cil_tmp18 ;
5481  unsigned long __cil_tmp19 ;
5482  char *__cil_tmp20 ;
5483  unsigned long __cil_tmp21 ;
5484  unsigned long __cil_tmp22 ;
5485  unsigned long __cil_tmp23 ;
5486  int __cil_tmp24 ;
5487  struct i2c_adapter *__cil_tmp25 ;
5488  void *__cil_tmp26 ;
5489  unsigned long __cil_tmp27 ;
5490  unsigned long __cil_tmp28 ;
5491  unsigned long __cil_tmp29 ;
5492  unsigned long __cil_tmp30 ;
5493  unsigned long __cil_tmp31 ;
5494  unsigned long __cil_tmp32 ;
5495  unsigned long __cil_tmp33 ;
5496  unsigned long __cil_tmp34 ;
5497  struct i2c_algo_bit_data *__cil_tmp35 ;
5498  unsigned long __cil_tmp36 ;
5499  unsigned long __cil_tmp37 ;
5500  unsigned long __cil_tmp38 ;
5501  unsigned long __cil_tmp39 ;
5502  unsigned long __cil_tmp40 ;
5503  struct pci_dev *__cil_tmp41 ;
5504  unsigned long __cil_tmp42 ;
5505  unsigned long __cil_tmp43 ;
5506  unsigned long __cil_tmp44 ;
5507  unsigned long __cil_tmp45 ;
5508  unsigned long __cil_tmp46 ;
5509  unsigned long __cil_tmp47 ;
5510  struct i2c_adapter *__cil_tmp48 ;
5511  unsigned long __cil_tmp49 ;
5512  unsigned long __cil_tmp50 ;
5513
5514  {
5515  {
5516#line 108
5517  __cil_tmp8 = (unsigned long )b;
5518#line 108
5519  __cil_tmp9 = __cil_tmp8 + 1160;
5520#line 108
5521  *((struct matrox_fb_info **)__cil_tmp9) = minfo;
5522#line 109
5523  __cil_tmp10 = (unsigned long )b;
5524#line 109
5525  __cil_tmp11 = __cil_tmp10 + 1168;
5526#line 109
5527  *((unsigned int *)__cil_tmp11) = data;
5528#line 110
5529  __cil_tmp12 = 1168 + 4;
5530#line 110
5531  __cil_tmp13 = (unsigned long )b;
5532#line 110
5533  __cil_tmp14 = __cil_tmp13 + __cil_tmp12;
5534#line 110
5535  *((unsigned int *)__cil_tmp14) = clock;
5536#line 111
5537  *((struct module **)b) = & __this_module;
5538#line 112
5539  __cil_tmp15 = 0 * 1UL;
5540#line 112
5541  __cil_tmp16 = 900 + __cil_tmp15;
5542#line 112
5543  __cil_tmp17 = 0 + __cil_tmp16;
5544#line 112
5545  __cil_tmp18 = (unsigned long )b;
5546#line 112
5547  __cil_tmp19 = __cil_tmp18 + __cil_tmp17;
5548#line 112
5549  __cil_tmp20 = (char *)__cil_tmp19;
5550#line 112
5551  __cil_tmp21 = 0 + 4;
5552#line 112
5553  __cil_tmp22 = (unsigned long )minfo;
5554#line 112
5555  __cil_tmp23 = __cil_tmp22 + __cil_tmp21;
5556#line 112
5557  __cil_tmp24 = *((int *)__cil_tmp23);
5558#line 112
5559  snprintf(__cil_tmp20, 48UL, name, __cil_tmp24);
5560#line 114
5561  __cil_tmp25 = (struct i2c_adapter *)b;
5562#line 114
5563  __cil_tmp26 = (void *)b;
5564#line 114
5565  i2c_set_adapdata(__cil_tmp25, __cil_tmp26);
5566#line 115
5567  __cil_tmp27 = 0 + 8;
5568#line 115
5569  __cil_tmp28 = (unsigned long )b;
5570#line 115
5571  __cil_tmp29 = __cil_tmp28 + __cil_tmp27;
5572#line 115
5573  *((unsigned int *)__cil_tmp29) = (unsigned int )class;
5574#line 116
5575  __cil_tmp30 = 0 + 24;
5576#line 116
5577  __cil_tmp31 = (unsigned long )b;
5578#line 116
5579  __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
5580#line 116
5581  __cil_tmp33 = (unsigned long )b;
5582#line 116
5583  __cil_tmp34 = __cil_tmp33 + 1096;
5584#line 116
5585  __cil_tmp35 = (struct i2c_algo_bit_data *)__cil_tmp34;
5586#line 116
5587  *((void **)__cil_tmp32) = (void *)__cil_tmp35;
5588#line 117
5589  __cil_tmp36 = 0 + 128;
5590#line 117
5591  __cil_tmp37 = (unsigned long )b;
5592#line 117
5593  __cil_tmp38 = __cil_tmp37 + __cil_tmp36;
5594#line 117
5595  __cil_tmp39 = (unsigned long )minfo;
5596#line 117
5597  __cil_tmp40 = __cil_tmp39 + 2456;
5598#line 117
5599  __cil_tmp41 = *((struct pci_dev **)__cil_tmp40);
5600#line 117
5601  __cil_tmp42 = (unsigned long )__cil_tmp41;
5602#line 117
5603  __cil_tmp43 = __cil_tmp42 + 144;
5604#line 117
5605  *((struct device **)__cil_tmp38) = (struct device *)__cil_tmp43;
5606#line 118
5607  __cil_tmp44 = (unsigned long )b;
5608#line 118
5609  __cil_tmp45 = __cil_tmp44 + 1096;
5610#line 118
5611  *((struct i2c_algo_bit_data *)__cil_tmp45) = (struct i2c_algo_bit_data )matrox_i2c_algo_template;
5612#line 119
5613  __cil_tmp46 = (unsigned long )b;
5614#line 119
5615  __cil_tmp47 = __cil_tmp46 + 1096;
5616#line 119
5617  *((void **)__cil_tmp47) = (void *)b;
5618#line 120
5619  __cil_tmp48 = (struct i2c_adapter *)b;
5620#line 120
5621  err = i2c_bit_add_bus(__cil_tmp48);
5622#line 121
5623  __cil_tmp49 = (unsigned long )b;
5624#line 121
5625  __cil_tmp50 = __cil_tmp49 + 1088;
5626#line 121
5627  *((int *)__cil_tmp50) = ! err;
5628  }
5629#line 122
5630  return (err);
5631}
5632}
5633#line 125 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5634static void i2c_bit_bus_del(struct i2c_bit_adapter *b ) 
5635{ unsigned long __cil_tmp2 ;
5636  unsigned long __cil_tmp3 ;
5637  struct i2c_adapter *__cil_tmp4 ;
5638  unsigned long __cil_tmp5 ;
5639  unsigned long __cil_tmp6 ;
5640
5641  {
5642  {
5643#line 126
5644  __cil_tmp2 = (unsigned long )b;
5645#line 126
5646  __cil_tmp3 = __cil_tmp2 + 1088;
5647#line 126
5648  if (*((int *)__cil_tmp3)) {
5649    {
5650#line 127
5651    __cil_tmp4 = (struct i2c_adapter *)b;
5652#line 127
5653    i2c_del_adapter(__cil_tmp4);
5654#line 128
5655    __cil_tmp5 = (unsigned long )b;
5656#line 128
5657    __cil_tmp6 = __cil_tmp5 + 1088;
5658#line 128
5659    *((int *)__cil_tmp6) = 0;
5660    }
5661  } else {
5662
5663  }
5664  }
5665#line 130
5666  return;
5667}
5668}
5669#line 132
5670__inline static void i2c_maven_done(struct matroxfb_dh_maven_info *minfo2 )  __attribute__((__no_instrument_function__)) ;
5671#line 132 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5672__inline static void i2c_maven_done(struct matroxfb_dh_maven_info *minfo2 ) 
5673{ struct i2c_bit_adapter *__cil_tmp2 ;
5674
5675  {
5676  {
5677#line 133
5678  __cil_tmp2 = (struct i2c_bit_adapter *)minfo2;
5679#line 133
5680  i2c_bit_bus_del(__cil_tmp2);
5681  }
5682#line 134
5683  return;
5684}
5685}
5686#line 136
5687__inline static void i2c_ddc1_done(struct matroxfb_dh_maven_info *minfo2 )  __attribute__((__no_instrument_function__)) ;
5688#line 136 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5689__inline static void i2c_ddc1_done(struct matroxfb_dh_maven_info *minfo2 ) 
5690{ unsigned long __cil_tmp2 ;
5691  unsigned long __cil_tmp3 ;
5692  struct i2c_bit_adapter *__cil_tmp4 ;
5693
5694  {
5695  {
5696#line 137
5697  __cil_tmp2 = (unsigned long )minfo2;
5698#line 137
5699  __cil_tmp3 = __cil_tmp2 + 1176;
5700#line 137
5701  __cil_tmp4 = (struct i2c_bit_adapter *)__cil_tmp3;
5702#line 137
5703  i2c_bit_bus_del(__cil_tmp4);
5704  }
5705#line 138
5706  return;
5707}
5708}
5709#line 140
5710__inline static void i2c_ddc2_done(struct matroxfb_dh_maven_info *minfo2 )  __attribute__((__no_instrument_function__)) ;
5711#line 140 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5712__inline static void i2c_ddc2_done(struct matroxfb_dh_maven_info *minfo2 ) 
5713{ unsigned long __cil_tmp2 ;
5714  unsigned long __cil_tmp3 ;
5715  struct i2c_bit_adapter *__cil_tmp4 ;
5716
5717  {
5718  {
5719#line 141
5720  __cil_tmp2 = (unsigned long )minfo2;
5721#line 141
5722  __cil_tmp3 = __cil_tmp2 + 2352;
5723#line 141
5724  __cil_tmp4 = (struct i2c_bit_adapter *)__cil_tmp3;
5725#line 141
5726  i2c_bit_bus_del(__cil_tmp4);
5727  }
5728#line 142
5729  return;
5730}
5731}
5732#line 144 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
5733static void *i2c_matroxfb_probe(struct matrox_fb_info *minfo ) 
5734{ int err ;
5735  unsigned long flags ;
5736  struct matroxfb_dh_maven_info *m2info ;
5737  void *tmp___7 ;
5738  raw_spinlock_t *tmp___8 ;
5739  struct i2c_board_info maven_info ;
5740  unsigned short addr_list[2] ;
5741  unsigned long __cil_tmp11 ;
5742  unsigned long __cil_tmp12 ;
5743  spinlock_t *__cil_tmp13 ;
5744  struct matrox_fb_info  const  *__cil_tmp14 ;
5745  struct matrox_fb_info  const  *__cil_tmp15 ;
5746  unsigned long __cil_tmp16 ;
5747  unsigned long __cil_tmp17 ;
5748  spinlock_t *__cil_tmp18 ;
5749  unsigned long __cil_tmp19 ;
5750  unsigned long __cil_tmp20 ;
5751  enum mga_chip __cil_tmp21 ;
5752  unsigned long __cil_tmp22 ;
5753  unsigned long __cil_tmp23 ;
5754  struct i2c_bit_adapter *__cil_tmp24 ;
5755  int __cil_tmp25 ;
5756  unsigned long __cil_tmp26 ;
5757  unsigned long __cil_tmp27 ;
5758  struct i2c_bit_adapter *__cil_tmp28 ;
5759  int __cil_tmp29 ;
5760  unsigned long __cil_tmp30 ;
5761  unsigned long __cil_tmp31 ;
5762  unsigned long __cil_tmp32 ;
5763  unsigned long __cil_tmp33 ;
5764  unsigned long __cil_tmp34 ;
5765  struct i2c_bit_adapter *__cil_tmp35 ;
5766  int __cil_tmp36 ;
5767  struct i2c_bit_adapter *__cil_tmp37 ;
5768  unsigned long __cil_tmp38 ;
5769  unsigned long __cil_tmp39 ;
5770  unsigned long __cil_tmp40 ;
5771  unsigned long __cil_tmp41 ;
5772  unsigned long __cil_tmp42 ;
5773  unsigned long __cil_tmp43 ;
5774  unsigned long __cil_tmp44 ;
5775  unsigned long __cil_tmp45 ;
5776  unsigned long __cil_tmp46 ;
5777  unsigned long __cil_tmp47 ;
5778  unsigned long __cil_tmp48 ;
5779  unsigned long __cil_tmp49 ;
5780  unsigned long __cil_tmp50 ;
5781  unsigned long __cil_tmp51 ;
5782  unsigned long __cil_tmp52 ;
5783  unsigned long __cil_tmp53 ;
5784  unsigned long __cil_tmp54 ;
5785  unsigned long __cil_tmp55 ;
5786  unsigned long __cil_tmp56 ;
5787  unsigned long __cil_tmp57 ;
5788  unsigned long __cil_tmp58 ;
5789  unsigned long __cil_tmp59 ;
5790  unsigned long __cil_tmp60 ;
5791  unsigned long __cil_tmp61 ;
5792  unsigned long __cil_tmp62 ;
5793  unsigned long __cil_tmp63 ;
5794  unsigned long __cil_tmp64 ;
5795  unsigned long __cil_tmp65 ;
5796  unsigned long __cil_tmp66 ;
5797  unsigned long __cil_tmp67 ;
5798  unsigned long __cil_tmp68 ;
5799  unsigned long __cil_tmp69 ;
5800  unsigned long __cil_tmp70 ;
5801  unsigned long __cil_tmp71 ;
5802  unsigned long __cil_tmp72 ;
5803  unsigned long __cil_tmp73 ;
5804  unsigned long __cil_tmp74 ;
5805  unsigned long __cil_tmp75 ;
5806  unsigned long __cil_tmp76 ;
5807  unsigned long __cil_tmp77 ;
5808  unsigned long __cil_tmp78 ;
5809  unsigned long __cil_tmp79 ;
5810  unsigned long __cil_tmp80 ;
5811  unsigned long __cil_tmp81 ;
5812  unsigned long __cil_tmp82 ;
5813  unsigned long __cil_tmp83 ;
5814  unsigned long __cil_tmp84 ;
5815  unsigned long __cil_tmp85 ;
5816  unsigned long __cil_tmp86 ;
5817  unsigned long __cil_tmp87 ;
5818  unsigned long __cil_tmp88 ;
5819  unsigned long __cil_tmp89 ;
5820  unsigned long __cil_tmp90 ;
5821  unsigned long __cil_tmp91 ;
5822  unsigned long __cil_tmp92 ;
5823  unsigned long __cil_tmp93 ;
5824  unsigned long __cil_tmp94 ;
5825  unsigned long __cil_tmp95 ;
5826  unsigned long __cil_tmp96 ;
5827  unsigned long __cil_tmp97 ;
5828  unsigned long __cil_tmp98 ;
5829  unsigned long __cil_tmp99 ;
5830  unsigned long __cil_tmp100 ;
5831  unsigned long __cil_tmp101 ;
5832  unsigned long __cil_tmp102 ;
5833  unsigned long __cil_tmp103 ;
5834  unsigned long __cil_tmp104 ;
5835  unsigned long __cil_tmp105 ;
5836  unsigned long __cil_tmp106 ;
5837  unsigned long __cil_tmp107 ;
5838  struct i2c_adapter *__cil_tmp108 ;
5839  unsigned long __cil_tmp109 ;
5840  unsigned long __cil_tmp110 ;
5841  unsigned short *__cil_tmp111 ;
5842  unsigned short const   *__cil_tmp112 ;
5843  void *__cil_tmp113 ;
5844  int (*__cil_tmp114)(struct i2c_adapter * , unsigned short addr ) ;
5845  void const   *__cil_tmp115 ;
5846
5847  {
5848  {
5849#line 149
5850  tmp___7 = kzalloc(3528UL, 208U);
5851#line 149
5852  m2info = (struct matroxfb_dh_maven_info *)tmp___7;
5853  }
5854#line 150
5855  if (! m2info) {
5856#line 151
5857    return ((void *)0);
5858  } else {
5859
5860  }
5861  {
5862#line 153
5863  while (1) {
5864    while_continue: /* CIL Label */ ;
5865    {
5866#line 153
5867    while (1) {
5868      while_continue___0: /* CIL Label */ ;
5869      {
5870#line 153
5871      __cil_tmp11 = (unsigned long )minfo;
5872#line 153
5873      __cil_tmp12 = __cil_tmp11 + 3008;
5874#line 153
5875      __cil_tmp13 = (spinlock_t *)__cil_tmp12;
5876#line 153
5877      tmp___8 = spinlock_check(__cil_tmp13);
5878#line 153
5879      flags = _raw_spin_lock_irqsave(tmp___8);
5880      }
5881#line 153
5882      goto while_break___0;
5883    }
5884    while_break___0: /* CIL Label */ ;
5885    }
5886#line 153
5887    goto while_break;
5888  }
5889  while_break: /* CIL Label */ ;
5890  }
5891  {
5892#line 154
5893  __cil_tmp14 = (struct matrox_fb_info  const  *)minfo;
5894#line 154
5895  matroxfb_DAC_out(__cil_tmp14, 43, 255);
5896#line 155
5897  __cil_tmp15 = (struct matrox_fb_info  const  *)minfo;
5898#line 155
5899  matroxfb_DAC_out(__cil_tmp15, 42, 0);
5900#line 156
5901  __cil_tmp16 = (unsigned long )minfo;
5902#line 156
5903  __cil_tmp17 = __cil_tmp16 + 3008;
5904#line 156
5905  __cil_tmp18 = (spinlock_t *)__cil_tmp17;
5906#line 156
5907  spin_unlock_irqrestore(__cil_tmp18, flags);
5908  }
5909  {
5910#line 158
5911  __cil_tmp19 = (unsigned long )minfo;
5912#line 158
5913  __cil_tmp20 = __cil_tmp19 + 3056;
5914#line 158
5915  __cil_tmp21 = *((enum mga_chip *)__cil_tmp20);
5916#line 159
5917  if ((int )__cil_tmp21 == 0) {
5918#line 159
5919    goto case_0;
5920  } else
5921#line 160
5922  if ((int )__cil_tmp21 == 1) {
5923#line 160
5924    goto case_0;
5925  } else {
5926    {
5927#line 165
5928    goto switch_default;
5929#line 158
5930    if (0) {
5931      case_0: /* CIL Label */ 
5932      case_1: /* CIL Label */ 
5933      {
5934#line 161
5935      __cil_tmp22 = (unsigned long )m2info;
5936#line 161
5937      __cil_tmp23 = __cil_tmp22 + 1176;
5938#line 161
5939      __cil_tmp24 = (struct i2c_bit_adapter *)__cil_tmp23;
5940#line 161
5941      __cil_tmp25 = 1 << 3;
5942#line 161
5943      err = i2c_bus_reg(__cil_tmp24, minfo, 4U, 16U, "DDC:fb%u #0", __cil_tmp25);
5944      }
5945#line 164
5946      goto switch_break;
5947      switch_default: /* CIL Label */ 
5948      {
5949#line 166
5950      __cil_tmp26 = (unsigned long )m2info;
5951#line 166
5952      __cil_tmp27 = __cil_tmp26 + 1176;
5953#line 166
5954      __cil_tmp28 = (struct i2c_bit_adapter *)__cil_tmp27;
5955#line 166
5956      __cil_tmp29 = 1 << 3;
5957#line 166
5958      err = i2c_bus_reg(__cil_tmp28, minfo, 2U, 8U, "DDC:fb%u #0", __cil_tmp29);
5959      }
5960#line 169
5961      goto switch_break;
5962    } else {
5963      switch_break: /* CIL Label */ ;
5964    }
5965    }
5966  }
5967  }
5968#line 171
5969  if (err) {
5970#line 172
5971    goto fail_ddc1;
5972  } else {
5973
5974  }
5975  {
5976#line 173
5977  __cil_tmp30 = 3112 + 88;
5978#line 173
5979  __cil_tmp31 = (unsigned long )minfo;
5980#line 173
5981  __cil_tmp32 = __cil_tmp31 + __cil_tmp30;
5982#line 173
5983  if (*((int *)__cil_tmp32)) {
5984    {
5985#line 174
5986    __cil_tmp33 = (unsigned long )m2info;
5987#line 174
5988    __cil_tmp34 = __cil_tmp33 + 2352;
5989#line 174
5990    __cil_tmp35 = (struct i2c_bit_adapter *)__cil_tmp34;
5991#line 174
5992    __cil_tmp36 = 1 << 3;
5993#line 174
5994    err = i2c_bus_reg(__cil_tmp35, minfo, 1U, 4U, "DDC:fb%u #1", __cil_tmp36);
5995    }
5996#line 177
5997    if (err == -19) {
5998      {
5999#line 178
6000      printk("<6>i2c-matroxfb: VGA->TV plug detected, DDC unavailable.\n");
6001      }
6002    } else
6003#line 179
6004    if (err) {
6005      {
6006#line 180
6007      printk("<6>i2c-matroxfb: Could not register secondary output i2c bus. Continuing anyway.\n");
6008      }
6009    } else {
6010
6011    }
6012    {
6013#line 182
6014    __cil_tmp37 = (struct i2c_bit_adapter *)m2info;
6015#line 182
6016    err = i2c_bus_reg(__cil_tmp37, minfo, 16U, 32U, "MAVEN:fb%u", 0);
6017    }
6018#line 184
6019    if (err) {
6020      {
6021#line 185
6022      printk("<6>i2c-matroxfb: Could not register Maven i2c bus. Continuing anyway.\n");
6023      }
6024    } else {
6025      {
6026#line 187
6027      __cil_tmp38 = 0 * 1UL;
6028#line 187
6029      __cil_tmp39 = 0 + __cil_tmp38;
6030#line 187
6031      __cil_tmp40 = (unsigned long )(& maven_info) + __cil_tmp39;
6032#line 187
6033      *((char *)__cil_tmp40) = (char )'m';
6034#line 187
6035      __cil_tmp41 = 1 * 1UL;
6036#line 187
6037      __cil_tmp42 = 0 + __cil_tmp41;
6038#line 187
6039      __cil_tmp43 = (unsigned long )(& maven_info) + __cil_tmp42;
6040#line 187
6041      *((char *)__cil_tmp43) = (char )'a';
6042#line 187
6043      __cil_tmp44 = 2 * 1UL;
6044#line 187
6045      __cil_tmp45 = 0 + __cil_tmp44;
6046#line 187
6047      __cil_tmp46 = (unsigned long )(& maven_info) + __cil_tmp45;
6048#line 187
6049      *((char *)__cil_tmp46) = (char )'v';
6050#line 187
6051      __cil_tmp47 = 3 * 1UL;
6052#line 187
6053      __cil_tmp48 = 0 + __cil_tmp47;
6054#line 187
6055      __cil_tmp49 = (unsigned long )(& maven_info) + __cil_tmp48;
6056#line 187
6057      *((char *)__cil_tmp49) = (char )'e';
6058#line 187
6059      __cil_tmp50 = 4 * 1UL;
6060#line 187
6061      __cil_tmp51 = 0 + __cil_tmp50;
6062#line 187
6063      __cil_tmp52 = (unsigned long )(& maven_info) + __cil_tmp51;
6064#line 187
6065      *((char *)__cil_tmp52) = (char )'n';
6066#line 187
6067      __cil_tmp53 = 5 * 1UL;
6068#line 187
6069      __cil_tmp54 = 0 + __cil_tmp53;
6070#line 187
6071      __cil_tmp55 = (unsigned long )(& maven_info) + __cil_tmp54;
6072#line 187
6073      *((char *)__cil_tmp55) = (char )'\000';
6074#line 187
6075      __cil_tmp56 = 6 * 1UL;
6076#line 187
6077      __cil_tmp57 = 0 + __cil_tmp56;
6078#line 187
6079      __cil_tmp58 = (unsigned long )(& maven_info) + __cil_tmp57;
6080#line 187
6081      *((char *)__cil_tmp58) = (char)0;
6082#line 187
6083      __cil_tmp59 = 7 * 1UL;
6084#line 187
6085      __cil_tmp60 = 0 + __cil_tmp59;
6086#line 187
6087      __cil_tmp61 = (unsigned long )(& maven_info) + __cil_tmp60;
6088#line 187
6089      *((char *)__cil_tmp61) = (char)0;
6090#line 187
6091      __cil_tmp62 = 8 * 1UL;
6092#line 187
6093      __cil_tmp63 = 0 + __cil_tmp62;
6094#line 187
6095      __cil_tmp64 = (unsigned long )(& maven_info) + __cil_tmp63;
6096#line 187
6097      *((char *)__cil_tmp64) = (char)0;
6098#line 187
6099      __cil_tmp65 = 9 * 1UL;
6100#line 187
6101      __cil_tmp66 = 0 + __cil_tmp65;
6102#line 187
6103      __cil_tmp67 = (unsigned long )(& maven_info) + __cil_tmp66;
6104#line 187
6105      *((char *)__cil_tmp67) = (char)0;
6106#line 187
6107      __cil_tmp68 = 10 * 1UL;
6108#line 187
6109      __cil_tmp69 = 0 + __cil_tmp68;
6110#line 187
6111      __cil_tmp70 = (unsigned long )(& maven_info) + __cil_tmp69;
6112#line 187
6113      *((char *)__cil_tmp70) = (char)0;
6114#line 187
6115      __cil_tmp71 = 11 * 1UL;
6116#line 187
6117      __cil_tmp72 = 0 + __cil_tmp71;
6118#line 187
6119      __cil_tmp73 = (unsigned long )(& maven_info) + __cil_tmp72;
6120#line 187
6121      *((char *)__cil_tmp73) = (char)0;
6122#line 187
6123      __cil_tmp74 = 12 * 1UL;
6124#line 187
6125      __cil_tmp75 = 0 + __cil_tmp74;
6126#line 187
6127      __cil_tmp76 = (unsigned long )(& maven_info) + __cil_tmp75;
6128#line 187
6129      *((char *)__cil_tmp76) = (char)0;
6130#line 187
6131      __cil_tmp77 = 13 * 1UL;
6132#line 187
6133      __cil_tmp78 = 0 + __cil_tmp77;
6134#line 187
6135      __cil_tmp79 = (unsigned long )(& maven_info) + __cil_tmp78;
6136#line 187
6137      *((char *)__cil_tmp79) = (char)0;
6138#line 187
6139      __cil_tmp80 = 14 * 1UL;
6140#line 187
6141      __cil_tmp81 = 0 + __cil_tmp80;
6142#line 187
6143      __cil_tmp82 = (unsigned long )(& maven_info) + __cil_tmp81;
6144#line 187
6145      *((char *)__cil_tmp82) = (char)0;
6146#line 187
6147      __cil_tmp83 = 15 * 1UL;
6148#line 187
6149      __cil_tmp84 = 0 + __cil_tmp83;
6150#line 187
6151      __cil_tmp85 = (unsigned long )(& maven_info) + __cil_tmp84;
6152#line 187
6153      *((char *)__cil_tmp85) = (char)0;
6154#line 187
6155      __cil_tmp86 = 16 * 1UL;
6156#line 187
6157      __cil_tmp87 = 0 + __cil_tmp86;
6158#line 187
6159      __cil_tmp88 = (unsigned long )(& maven_info) + __cil_tmp87;
6160#line 187
6161      *((char *)__cil_tmp88) = (char)0;
6162#line 187
6163      __cil_tmp89 = 17 * 1UL;
6164#line 187
6165      __cil_tmp90 = 0 + __cil_tmp89;
6166#line 187
6167      __cil_tmp91 = (unsigned long )(& maven_info) + __cil_tmp90;
6168#line 187
6169      *((char *)__cil_tmp91) = (char)0;
6170#line 187
6171      __cil_tmp92 = 18 * 1UL;
6172#line 187
6173      __cil_tmp93 = 0 + __cil_tmp92;
6174#line 187
6175      __cil_tmp94 = (unsigned long )(& maven_info) + __cil_tmp93;
6176#line 187
6177      *((char *)__cil_tmp94) = (char)0;
6178#line 187
6179      __cil_tmp95 = 19 * 1UL;
6180#line 187
6181      __cil_tmp96 = 0 + __cil_tmp95;
6182#line 187
6183      __cil_tmp97 = (unsigned long )(& maven_info) + __cil_tmp96;
6184#line 187
6185      *((char *)__cil_tmp97) = (char)0;
6186#line 187
6187      __cil_tmp98 = (unsigned long )(& maven_info) + 20;
6188#line 187
6189      *((unsigned short *)__cil_tmp98) = (unsigned short)0;
6190#line 187
6191      __cil_tmp99 = (unsigned long )(& maven_info) + 22;
6192#line 187
6193      *((unsigned short *)__cil_tmp99) = (unsigned short)27;
6194#line 187
6195      __cil_tmp100 = (unsigned long )(& maven_info) + 24;
6196#line 187
6197      *((void **)__cil_tmp100) = (void *)0;
6198#line 187
6199      __cil_tmp101 = (unsigned long )(& maven_info) + 32;
6200#line 187
6201      *((struct dev_archdata **)__cil_tmp101) = (struct dev_archdata *)0;
6202#line 187
6203      __cil_tmp102 = (unsigned long )(& maven_info) + 40;
6204#line 187
6205      *((struct device_node **)__cil_tmp102) = (struct device_node *)0;
6206#line 187
6207      __cil_tmp103 = (unsigned long )(& maven_info) + 48;
6208#line 187
6209      *((int *)__cil_tmp103) = 0;
6210#line 190
6211      __cil_tmp104 = 0 * 2UL;
6212#line 190
6213      __cil_tmp105 = (unsigned long )(addr_list) + __cil_tmp104;
6214#line 190
6215      *((unsigned short *)__cil_tmp105) = (unsigned short)27;
6216#line 190
6217      __cil_tmp106 = 1 * 2UL;
6218#line 190
6219      __cil_tmp107 = (unsigned long )(addr_list) + __cil_tmp106;
6220#line 190
6221      *((unsigned short *)__cil_tmp107) = (unsigned short)65534;
6222#line 194
6223      __cil_tmp108 = (struct i2c_adapter *)m2info;
6224#line 194
6225      __cil_tmp109 = 0 * 2UL;
6226#line 194
6227      __cil_tmp110 = (unsigned long )(addr_list) + __cil_tmp109;
6228#line 194
6229      __cil_tmp111 = (unsigned short *)__cil_tmp110;
6230#line 194
6231      __cil_tmp112 = (unsigned short const   *)__cil_tmp111;
6232#line 194
6233      __cil_tmp113 = (void *)0;
6234#line 194
6235      __cil_tmp114 = (int (*)(struct i2c_adapter * , unsigned short addr ))__cil_tmp113;
6236#line 194
6237      i2c_new_probed_device(__cil_tmp108, & maven_info, __cil_tmp112, __cil_tmp114);
6238      }
6239    }
6240  } else {
6241
6242  }
6243  }
6244#line 198
6245  return ((void *)m2info);
6246  fail_ddc1: 
6247  {
6248#line 200
6249  __cil_tmp115 = (void const   *)m2info;
6250#line 200
6251  kfree(__cil_tmp115);
6252#line 201
6253  printk("<3>i2c-matroxfb: Could not register primary adapter DDC bus.\n");
6254  }
6255#line 202
6256  return ((void *)0);
6257}
6258}
6259#line 205 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6260static void i2c_matroxfb_remove(struct matrox_fb_info *minfo , void *data ) 
6261{ struct matroxfb_dh_maven_info *m2info ;
6262  void const   *__cil_tmp4 ;
6263
6264  {
6265  {
6266#line 206
6267  m2info = (struct matroxfb_dh_maven_info *)data;
6268#line 208
6269  i2c_maven_done(m2info);
6270#line 209
6271  i2c_ddc2_done(m2info);
6272#line 210
6273  i2c_ddc1_done(m2info);
6274#line 211
6275  __cil_tmp4 = (void const   *)m2info;
6276#line 211
6277  kfree(__cil_tmp4);
6278  }
6279#line 212
6280  return;
6281}
6282}
6283#line 214 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6284static struct matroxfb_driver i2c_matroxfb  =    {{& i2c_matroxfb.node, & i2c_matroxfb.node}, (char *)"i2c-matroxfb", & i2c_matroxfb_probe,
6285    & i2c_matroxfb_remove};
6286#line 221
6287static int i2c_matroxfb_init(void)  __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
6288#line 221 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6289static int i2c_matroxfb_init(void) 
6290{ int tmp___7 ;
6291
6292  {
6293  {
6294#line 222
6295  tmp___7 = matroxfb_register_driver(& i2c_matroxfb);
6296  }
6297#line 222
6298  if (tmp___7) {
6299    {
6300#line 223
6301    printk("<3>i2c-matroxfb: failed to register driver\n");
6302    }
6303#line 224
6304    return (-6);
6305  } else {
6306
6307  }
6308#line 226
6309  return (0);
6310}
6311}
6312#line 229
6313static void i2c_matroxfb_exit(void)  __attribute__((__section__(".exit.text"), __no_instrument_function__)) ;
6314#line 229 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6315static void i2c_matroxfb_exit(void) 
6316{ 
6317
6318  {
6319  {
6320#line 230
6321  matroxfb_unregister_driver(& i2c_matroxfb);
6322  }
6323#line 231
6324  return;
6325}
6326}
6327#line 233 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6328static char const   __mod_author233[58]  __attribute__((__used__, __unused__, __section__(".modinfo"),
6329__aligned__(1)))  = 
6330#line 233
6331  {      (char const   )'a',      (char const   )'u',      (char const   )'t',      (char const   )'h', 
6332        (char const   )'o',      (char const   )'r',      (char const   )'=',      (char const   )'(', 
6333        (char const   )'c',      (char const   )')',      (char const   )' ',      (char const   )'1', 
6334        (char const   )'9',      (char const   )'9',      (char const   )'9',      (char const   )'-', 
6335        (char const   )'2',      (char const   )'0',      (char const   )'0',      (char const   )'2', 
6336        (char const   )' ',      (char const   )'P',      (char const   )'e',      (char const   )'t', 
6337        (char const   )'r',      (char const   )' ',      (char const   )'V',      (char const   )'a', 
6338        (char const   )'n',      (char const   )'d',      (char const   )'r',      (char const   )'o', 
6339        (char const   )'v',      (char const   )'e',      (char const   )'c',      (char const   )' ', 
6340        (char const   )'<',      (char const   )'v',      (char const   )'a',      (char const   )'n', 
6341        (char const   )'d',      (char const   )'r',      (char const   )'o',      (char const   )'v', 
6342        (char const   )'e',      (char const   )'@',      (char const   )'v',      (char const   )'c', 
6343        (char const   )'.',      (char const   )'c',      (char const   )'v',      (char const   )'u', 
6344        (char const   )'t',      (char const   )'.',      (char const   )'c',      (char const   )'z', 
6345        (char const   )'>',      (char const   )'\000'};
6346#line 234 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6347static char const   __mod_description234[76]  __attribute__((__used__, __unused__,
6348__section__(".modinfo"), __aligned__(1)))  = 
6349#line 234
6350  {      (char const   )'d',      (char const   )'e',      (char const   )'s',      (char const   )'c', 
6351        (char const   )'r',      (char const   )'i',      (char const   )'p',      (char const   )'t', 
6352        (char const   )'i',      (char const   )'o',      (char const   )'n',      (char const   )'=', 
6353        (char const   )'S',      (char const   )'u',      (char const   )'p',      (char const   )'p', 
6354        (char const   )'o',      (char const   )'r',      (char const   )'t',      (char const   )' ', 
6355        (char const   )'m',      (char const   )'o',      (char const   )'d',      (char const   )'u', 
6356        (char const   )'l',      (char const   )'e',      (char const   )' ',      (char const   )'p', 
6357        (char const   )'r',      (char const   )'o',      (char const   )'v',      (char const   )'i', 
6358        (char const   )'d',      (char const   )'i',      (char const   )'n',      (char const   )'g', 
6359        (char const   )' ',      (char const   )'I',      (char const   )'2',      (char const   )'C', 
6360        (char const   )' ',      (char const   )'b',      (char const   )'u',      (char const   )'s', 
6361        (char const   )'e',      (char const   )'s',      (char const   )' ',      (char const   )'p', 
6362        (char const   )'r',      (char const   )'e',      (char const   )'s',      (char const   )'e', 
6363        (char const   )'n',      (char const   )'t',      (char const   )' ',      (char const   )'o', 
6364        (char const   )'n',      (char const   )' ',      (char const   )'M',      (char const   )'a', 
6365        (char const   )'t',      (char const   )'r',      (char const   )'o',      (char const   )'x', 
6366        (char const   )' ',      (char const   )'v',      (char const   )'i',      (char const   )'d', 
6367        (char const   )'e',      (char const   )'o',      (char const   )'c',      (char const   )'a', 
6368        (char const   )'r',      (char const   )'d',      (char const   )'s',      (char const   )'\000'};
6369#line 236 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6370int init_module(void) 
6371{ int tmp___7 ;
6372
6373  {
6374  {
6375#line 236
6376  tmp___7 = i2c_matroxfb_init();
6377  }
6378#line 236
6379  return (tmp___7);
6380}
6381}
6382#line 237 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6383void cleanup_module(void) 
6384{ 
6385
6386  {
6387  {
6388#line 237
6389  i2c_matroxfb_exit();
6390  }
6391#line 237
6392  return;
6393}
6394}
6395#line 239 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6396static char const   __mod_license239[12]  __attribute__((__used__, __unused__, __section__(".modinfo"),
6397__aligned__(1)))  = 
6398#line 239
6399  {      (char const   )'l',      (char const   )'i',      (char const   )'c',      (char const   )'e', 
6400        (char const   )'n',      (char const   )'s',      (char const   )'e',      (char const   )'=', 
6401        (char const   )'G',      (char const   )'P',      (char const   )'L',      (char const   )'\000'};
6402#line 257
6403void ldv_check_final_state(void) ;
6404#line 263
6405extern void ldv_initialize(void) ;
6406#line 266
6407extern int __VERIFIER_nondet_int(void) ;
6408#line 269 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6409int LDV_IN_INTERRUPT  ;
6410#line 272 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--32_1--X--cpachecker/linux-3.4/csd_deg_dscv/17004/dscv_tempdir/dscv/ri/32_1/drivers/video/matrox/i2c-matroxfb.c.common.c"
6411void main(void) 
6412{ void *var_matroxfb_gpio_setsda_3_p0 ;
6413  int var_matroxfb_gpio_setsda_3_p1 ;
6414  void *var_matroxfb_gpio_setscl_4_p0 ;
6415  int var_matroxfb_gpio_setscl_4_p1 ;
6416  void *var_matroxfb_gpio_getsda_5_p0 ;
6417  void *var_matroxfb_gpio_getscl_6_p0 ;
6418  struct matrox_fb_info *var_group1 ;
6419  void *var_i2c_matroxfb_remove_13_p1 ;
6420  int tmp___7 ;
6421  int ldv_s_i2c_matroxfb_matroxfb_driver ;
6422  int tmp___8 ;
6423  int tmp___9 ;
6424  int __cil_tmp13 ;
6425
6426  {
6427  {
6428#line 370
6429  LDV_IN_INTERRUPT = 1;
6430#line 379
6431  ldv_initialize();
6432#line 394
6433  tmp___7 = i2c_matroxfb_init();
6434  }
6435#line 394
6436  if (tmp___7) {
6437#line 395
6438    goto ldv_final;
6439  } else {
6440
6441  }
6442#line 398
6443  ldv_s_i2c_matroxfb_matroxfb_driver = 0;
6444  {
6445#line 402
6446  while (1) {
6447    while_continue: /* CIL Label */ ;
6448    {
6449#line 402
6450    tmp___9 = __VERIFIER_nondet_int();
6451    }
6452#line 402
6453    if (tmp___9) {
6454
6455    } else {
6456      {
6457#line 402
6458      __cil_tmp13 = ldv_s_i2c_matroxfb_matroxfb_driver == 0;
6459#line 402
6460      if (! __cil_tmp13) {
6461
6462      } else {
6463