Showing error 192

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