Showing error 708

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


Source:

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