Showing error 576

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--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 6467
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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