Showing error 202

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