Showing error 1189

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/43_1a_cilled_safe_ok_nondet_linux-43_1a-drivers--rtc--rtc-ds1672.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 4207
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

   1/* Generated by CIL v. 1.3.7 */
   2/* print_CIL_Input is true */
   3
   4#line 19 "include/asm-generic/int-ll64.h"
   5typedef signed char __s8;
   6#line 20 "include/asm-generic/int-ll64.h"
   7typedef unsigned char __u8;
   8#line 22 "include/asm-generic/int-ll64.h"
   9typedef short __s16;
  10#line 23 "include/asm-generic/int-ll64.h"
  11typedef unsigned short __u16;
  12#line 25 "include/asm-generic/int-ll64.h"
  13typedef int __s32;
  14#line 26 "include/asm-generic/int-ll64.h"
  15typedef unsigned int __u32;
  16#line 29 "include/asm-generic/int-ll64.h"
  17typedef long long __s64;
  18#line 30 "include/asm-generic/int-ll64.h"
  19typedef unsigned long long __u64;
  20#line 43 "include/asm-generic/int-ll64.h"
  21typedef unsigned char u8;
  22#line 45 "include/asm-generic/int-ll64.h"
  23typedef short s16;
  24#line 46 "include/asm-generic/int-ll64.h"
  25typedef unsigned short u16;
  26#line 48 "include/asm-generic/int-ll64.h"
  27typedef int s32;
  28#line 49 "include/asm-generic/int-ll64.h"
  29typedef unsigned int u32;
  30#line 51 "include/asm-generic/int-ll64.h"
  31typedef long long s64;
  32#line 52 "include/asm-generic/int-ll64.h"
  33typedef unsigned long long u64;
  34#line 14 "include/asm-generic/posix_types.h"
  35typedef long __kernel_long_t;
  36#line 15 "include/asm-generic/posix_types.h"
  37typedef unsigned long __kernel_ulong_t;
  38#line 31 "include/asm-generic/posix_types.h"
  39typedef int __kernel_pid_t;
  40#line 52 "include/asm-generic/posix_types.h"
  41typedef unsigned int __kernel_uid32_t;
  42#line 53 "include/asm-generic/posix_types.h"
  43typedef unsigned int __kernel_gid32_t;
  44#line 75 "include/asm-generic/posix_types.h"
  45typedef __kernel_ulong_t __kernel_size_t;
  46#line 76 "include/asm-generic/posix_types.h"
  47typedef __kernel_long_t __kernel_ssize_t;
  48#line 91 "include/asm-generic/posix_types.h"
  49typedef long long __kernel_loff_t;
  50#line 92 "include/asm-generic/posix_types.h"
  51typedef __kernel_long_t __kernel_time_t;
  52#line 93 "include/asm-generic/posix_types.h"
  53typedef __kernel_long_t __kernel_clock_t;
  54#line 94 "include/asm-generic/posix_types.h"
  55typedef int __kernel_timer_t;
  56#line 95 "include/asm-generic/posix_types.h"
  57typedef int __kernel_clockid_t;
  58#line 21 "include/linux/types.h"
  59typedef __u32 __kernel_dev_t;
  60#line 24 "include/linux/types.h"
  61typedef __kernel_dev_t dev_t;
  62#line 27 "include/linux/types.h"
  63typedef unsigned short umode_t;
  64#line 30 "include/linux/types.h"
  65typedef __kernel_pid_t pid_t;
  66#line 35 "include/linux/types.h"
  67typedef __kernel_clockid_t clockid_t;
  68#line 38 "include/linux/types.h"
  69typedef _Bool bool;
  70#line 40 "include/linux/types.h"
  71typedef __kernel_uid32_t uid_t;
  72#line 41 "include/linux/types.h"
  73typedef __kernel_gid32_t gid_t;
  74#line 54 "include/linux/types.h"
  75typedef __kernel_loff_t loff_t;
  76#line 63 "include/linux/types.h"
  77typedef __kernel_size_t size_t;
  78#line 68 "include/linux/types.h"
  79typedef __kernel_ssize_t ssize_t;
  80#line 78 "include/linux/types.h"
  81typedef __kernel_time_t time_t;
  82#line 111 "include/linux/types.h"
  83typedef __s32 int32_t;
  84#line 117 "include/linux/types.h"
  85typedef __u32 uint32_t;
  86#line 142 "include/linux/types.h"
  87typedef unsigned long sector_t;
  88#line 143 "include/linux/types.h"
  89typedef unsigned long blkcnt_t;
  90#line 202 "include/linux/types.h"
  91typedef unsigned int gfp_t;
  92#line 203 "include/linux/types.h"
  93typedef unsigned int fmode_t;
  94#line 221 "include/linux/types.h"
  95struct __anonstruct_atomic_t_6 {
  96   int counter ;
  97};
  98#line 221 "include/linux/types.h"
  99typedef struct __anonstruct_atomic_t_6 atomic_t;
 100#line 226 "include/linux/types.h"
 101struct __anonstruct_atomic64_t_7 {
 102   long counter ;
 103};
 104#line 226 "include/linux/types.h"
 105typedef struct __anonstruct_atomic64_t_7 atomic64_t;
 106#line 227 "include/linux/types.h"
 107struct list_head {
 108   struct list_head *next ;
 109   struct list_head *prev ;
 110};
 111#line 232
 112struct hlist_node;
 113#line 232 "include/linux/types.h"
 114struct hlist_head {
 115   struct hlist_node *first ;
 116};
 117#line 236 "include/linux/types.h"
 118struct hlist_node {
 119   struct hlist_node *next ;
 120   struct hlist_node **pprev ;
 121};
 122#line 247 "include/linux/types.h"
 123struct rcu_head {
 124   struct rcu_head *next ;
 125   void (*func)(struct rcu_head * ) ;
 126};
 127#line 55 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/alternative.h"
 128struct module;
 129#line 55
 130struct module;
 131#line 146 "include/linux/init.h"
 132typedef void (*ctor_fn_t)(void);
 133#line 305 "include/linux/printk.h"
 134struct _ddebug {
 135   char const   *modname ;
 136   char const   *function ;
 137   char const   *filename ;
 138   char const   *format ;
 139   unsigned int lineno : 18 ;
 140   unsigned char flags ;
 141};
 142#line 46 "include/linux/dynamic_debug.h"
 143struct device;
 144#line 46
 145struct device;
 146#line 57
 147struct completion;
 148#line 57
 149struct completion;
 150#line 58
 151struct pt_regs;
 152#line 58
 153struct pt_regs;
 154#line 348 "include/linux/kernel.h"
 155struct pid;
 156#line 348
 157struct pid;
 158#line 112 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/stat.h"
 159struct timespec;
 160#line 112
 161struct timespec;
 162#line 58 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/page_types.h"
 163struct page;
 164#line 58
 165struct page;
 166#line 26 "include/asm-generic/getorder.h"
 167struct task_struct;
 168#line 26
 169struct task_struct;
 170#line 28
 171struct mm_struct;
 172#line 28
 173struct mm_struct;
 174#line 268 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/segment.h"
 175struct pt_regs {
 176   unsigned long r15 ;
 177   unsigned long r14 ;
 178   unsigned long r13 ;
 179   unsigned long r12 ;
 180   unsigned long bp ;
 181   unsigned long bx ;
 182   unsigned long r11 ;
 183   unsigned long r10 ;
 184   unsigned long r9 ;
 185   unsigned long r8 ;
 186   unsigned long ax ;
 187   unsigned long cx ;
 188   unsigned long dx ;
 189   unsigned long si ;
 190   unsigned long di ;
 191   unsigned long orig_ax ;
 192   unsigned long ip ;
 193   unsigned long cs ;
 194   unsigned long flags ;
 195   unsigned long sp ;
 196   unsigned long ss ;
 197};
 198#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 199struct __anonstruct_ldv_2180_13 {
 200   unsigned int a ;
 201   unsigned int b ;
 202};
 203#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 204struct __anonstruct_ldv_2195_14 {
 205   u16 limit0 ;
 206   u16 base0 ;
 207   unsigned char base1 ;
 208   unsigned char type : 4 ;
 209   unsigned char s : 1 ;
 210   unsigned char dpl : 2 ;
 211   unsigned char p : 1 ;
 212   unsigned char limit : 4 ;
 213   unsigned char avl : 1 ;
 214   unsigned char l : 1 ;
 215   unsigned char d : 1 ;
 216   unsigned char g : 1 ;
 217   unsigned char base2 ;
 218};
 219#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 220union __anonunion_ldv_2196_12 {
 221   struct __anonstruct_ldv_2180_13 ldv_2180 ;
 222   struct __anonstruct_ldv_2195_14 ldv_2195 ;
 223};
 224#line 125 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 225struct desc_struct {
 226   union __anonunion_ldv_2196_12 ldv_2196 ;
 227};
 228#line 13 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
 229typedef unsigned long pgdval_t;
 230#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
 231typedef unsigned long pgprotval_t;
 232#line 18 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_64_types.h"
 233struct pgprot {
 234   pgprotval_t pgprot ;
 235};
 236#line 192 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 237typedef struct pgprot pgprot_t;
 238#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 239struct __anonstruct_pgd_t_16 {
 240   pgdval_t pgd ;
 241};
 242#line 194 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 243typedef struct __anonstruct_pgd_t_16 pgd_t;
 244#line 282 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/pgtable_types.h"
 245typedef struct page *pgtable_t;
 246#line 290
 247struct file;
 248#line 290
 249struct file;
 250#line 305
 251struct seq_file;
 252#line 305
 253struct seq_file;
 254#line 337
 255struct thread_struct;
 256#line 337
 257struct thread_struct;
 258#line 339
 259struct cpumask;
 260#line 339
 261struct cpumask;
 262#line 327 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt_types.h"
 263struct arch_spinlock;
 264#line 327
 265struct arch_spinlock;
 266#line 300 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/ptrace.h"
 267struct kernel_vm86_regs {
 268   struct pt_regs pt ;
 269   unsigned short es ;
 270   unsigned short __esh ;
 271   unsigned short ds ;
 272   unsigned short __dsh ;
 273   unsigned short fs ;
 274   unsigned short __fsh ;
 275   unsigned short gs ;
 276   unsigned short __gsh ;
 277};
 278#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
 279union __anonunion_ldv_2824_19 {
 280   struct pt_regs *regs ;
 281   struct kernel_vm86_regs *vm86 ;
 282};
 283#line 203 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/vm86.h"
 284struct math_emu_info {
 285   long ___orig_eip ;
 286   union __anonunion_ldv_2824_19 ldv_2824 ;
 287};
 288#line 306 "include/linux/bitmap.h"
 289struct bug_entry {
 290   int bug_addr_disp ;
 291   int file_disp ;
 292   unsigned short line ;
 293   unsigned short flags ;
 294};
 295#line 89 "include/linux/bug.h"
 296struct cpumask {
 297   unsigned long bits[64U] ;
 298};
 299#line 14 "include/linux/cpumask.h"
 300typedef struct cpumask cpumask_t;
 301#line 637 "include/linux/cpumask.h"
 302typedef struct cpumask *cpumask_var_t;
 303#line 234 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/paravirt.h"
 304struct static_key;
 305#line 234
 306struct static_key;
 307#line 153 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 308struct seq_operations;
 309#line 287 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 310struct i387_fsave_struct {
 311   u32 cwd ;
 312   u32 swd ;
 313   u32 twd ;
 314   u32 fip ;
 315   u32 fcs ;
 316   u32 foo ;
 317   u32 fos ;
 318   u32 st_space[20U] ;
 319   u32 status ;
 320};
 321#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 322struct __anonstruct_ldv_5180_24 {
 323   u64 rip ;
 324   u64 rdp ;
 325};
 326#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 327struct __anonstruct_ldv_5186_25 {
 328   u32 fip ;
 329   u32 fcs ;
 330   u32 foo ;
 331   u32 fos ;
 332};
 333#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 334union __anonunion_ldv_5187_23 {
 335   struct __anonstruct_ldv_5180_24 ldv_5180 ;
 336   struct __anonstruct_ldv_5186_25 ldv_5186 ;
 337};
 338#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 339union __anonunion_ldv_5196_26 {
 340   u32 padding1[12U] ;
 341   u32 sw_reserved[12U] ;
 342};
 343#line 305 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 344struct i387_fxsave_struct {
 345   u16 cwd ;
 346   u16 swd ;
 347   u16 twd ;
 348   u16 fop ;
 349   union __anonunion_ldv_5187_23 ldv_5187 ;
 350   u32 mxcsr ;
 351   u32 mxcsr_mask ;
 352   u32 st_space[32U] ;
 353   u32 xmm_space[64U] ;
 354   u32 padding[12U] ;
 355   union __anonunion_ldv_5196_26 ldv_5196 ;
 356};
 357#line 339 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 358struct i387_soft_struct {
 359   u32 cwd ;
 360   u32 swd ;
 361   u32 twd ;
 362   u32 fip ;
 363   u32 fcs ;
 364   u32 foo ;
 365   u32 fos ;
 366   u32 st_space[20U] ;
 367   u8 ftop ;
 368   u8 changed ;
 369   u8 lookahead ;
 370   u8 no_update ;
 371   u8 rm ;
 372   u8 alimit ;
 373   struct math_emu_info *info ;
 374   u32 entry_eip ;
 375};
 376#line 360 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 377struct ymmh_struct {
 378   u32 ymmh_space[64U] ;
 379};
 380#line 365 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 381struct xsave_hdr_struct {
 382   u64 xstate_bv ;
 383   u64 reserved1[2U] ;
 384   u64 reserved2[5U] ;
 385};
 386#line 371 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 387struct xsave_struct {
 388   struct i387_fxsave_struct i387 ;
 389   struct xsave_hdr_struct xsave_hdr ;
 390   struct ymmh_struct ymmh ;
 391};
 392#line 377 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 393union thread_xstate {
 394   struct i387_fsave_struct fsave ;
 395   struct i387_fxsave_struct fxsave ;
 396   struct i387_soft_struct soft ;
 397   struct xsave_struct xsave ;
 398};
 399#line 385 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 400struct fpu {
 401   unsigned int last_cpu ;
 402   unsigned int has_fpu ;
 403   union thread_xstate *state ;
 404};
 405#line 433
 406struct kmem_cache;
 407#line 434
 408struct perf_event;
 409#line 434
 410struct perf_event;
 411#line 435 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/processor.h"
 412struct thread_struct {
 413   struct desc_struct tls_array[3U] ;
 414   unsigned long sp0 ;
 415   unsigned long sp ;
 416   unsigned long usersp ;
 417   unsigned short es ;
 418   unsigned short ds ;
 419   unsigned short fsindex ;
 420   unsigned short gsindex ;
 421   unsigned long fs ;
 422   unsigned long gs ;
 423   struct perf_event *ptrace_bps[4U] ;
 424   unsigned long debugreg6 ;
 425   unsigned long ptrace_dr7 ;
 426   unsigned long cr2 ;
 427   unsigned long trap_nr ;
 428   unsigned long error_code ;
 429   struct fpu fpu ;
 430   unsigned long *io_bitmap_ptr ;
 431   unsigned long iopl ;
 432   unsigned int io_bitmap_max ;
 433};
 434#line 23 "include/asm-generic/atomic-long.h"
 435typedef atomic64_t atomic_long_t;
 436#line 14 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 437typedef u16 __ticket_t;
 438#line 15 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 439typedef u32 __ticketpair_t;
 440#line 16 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 441struct __raw_tickets {
 442   __ticket_t head ;
 443   __ticket_t tail ;
 444};
 445#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 446union __anonunion_ldv_5907_29 {
 447   __ticketpair_t head_tail ;
 448   struct __raw_tickets tickets ;
 449};
 450#line 26 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 451struct arch_spinlock {
 452   union __anonunion_ldv_5907_29 ldv_5907 ;
 453};
 454#line 27 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/spinlock_types.h"
 455typedef struct arch_spinlock arch_spinlock_t;
 456#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 457struct __anonstruct_ldv_5914_31 {
 458   u32 read ;
 459   s32 write ;
 460};
 461#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 462union __anonunion_arch_rwlock_t_30 {
 463   s64 lock ;
 464   struct __anonstruct_ldv_5914_31 ldv_5914 ;
 465};
 466#line 33 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/rwlock.h"
 467typedef union __anonunion_arch_rwlock_t_30 arch_rwlock_t;
 468#line 34
 469struct lockdep_map;
 470#line 34
 471struct lockdep_map;
 472#line 55 "include/linux/debug_locks.h"
 473struct stack_trace {
 474   unsigned int nr_entries ;
 475   unsigned int max_entries ;
 476   unsigned long *entries ;
 477   int skip ;
 478};
 479#line 26 "include/linux/stacktrace.h"
 480struct lockdep_subclass_key {
 481   char __one_byte ;
 482};
 483#line 53 "include/linux/lockdep.h"
 484struct lock_class_key {
 485   struct lockdep_subclass_key subkeys[8U] ;
 486};
 487#line 59 "include/linux/lockdep.h"
 488struct lock_class {
 489   struct list_head hash_entry ;
 490   struct list_head lock_entry ;
 491   struct lockdep_subclass_key *key ;
 492   unsigned int subclass ;
 493   unsigned int dep_gen_id ;
 494   unsigned long usage_mask ;
 495   struct stack_trace usage_traces[13U] ;
 496   struct list_head locks_after ;
 497   struct list_head locks_before ;
 498   unsigned int version ;
 499   unsigned long ops ;
 500   char const   *name ;
 501   int name_version ;
 502   unsigned long contention_point[4U] ;
 503   unsigned long contending_point[4U] ;
 504};
 505#line 144 "include/linux/lockdep.h"
 506struct lockdep_map {
 507   struct lock_class_key *key ;
 508   struct lock_class *class_cache[2U] ;
 509   char const   *name ;
 510   int cpu ;
 511   unsigned long ip ;
 512};
 513#line 187 "include/linux/lockdep.h"
 514struct held_lock {
 515   u64 prev_chain_key ;
 516   unsigned long acquire_ip ;
 517   struct lockdep_map *instance ;
 518   struct lockdep_map *nest_lock ;
 519   u64 waittime_stamp ;
 520   u64 holdtime_stamp ;
 521   unsigned short class_idx : 13 ;
 522   unsigned char irq_context : 2 ;
 523   unsigned char trylock : 1 ;
 524   unsigned char read : 2 ;
 525   unsigned char check : 2 ;
 526   unsigned char hardirqs_off : 1 ;
 527   unsigned short references : 11 ;
 528};
 529#line 556 "include/linux/lockdep.h"
 530struct raw_spinlock {
 531   arch_spinlock_t raw_lock ;
 532   unsigned int magic ;
 533   unsigned int owner_cpu ;
 534   void *owner ;
 535   struct lockdep_map dep_map ;
 536};
 537#line 32 "include/linux/spinlock_types.h"
 538typedef struct raw_spinlock raw_spinlock_t;
 539#line 33 "include/linux/spinlock_types.h"
 540struct __anonstruct_ldv_6122_33 {
 541   u8 __padding[24U] ;
 542   struct lockdep_map dep_map ;
 543};
 544#line 33 "include/linux/spinlock_types.h"
 545union __anonunion_ldv_6123_32 {
 546   struct raw_spinlock rlock ;
 547   struct __anonstruct_ldv_6122_33 ldv_6122 ;
 548};
 549#line 33 "include/linux/spinlock_types.h"
 550struct spinlock {
 551   union __anonunion_ldv_6123_32 ldv_6123 ;
 552};
 553#line 76 "include/linux/spinlock_types.h"
 554typedef struct spinlock spinlock_t;
 555#line 23 "include/linux/rwlock_types.h"
 556struct __anonstruct_rwlock_t_34 {
 557   arch_rwlock_t raw_lock ;
 558   unsigned int magic ;
 559   unsigned int owner_cpu ;
 560   void *owner ;
 561   struct lockdep_map dep_map ;
 562};
 563#line 23 "include/linux/rwlock_types.h"
 564typedef struct __anonstruct_rwlock_t_34 rwlock_t;
 565#line 110 "include/linux/seqlock.h"
 566struct seqcount {
 567   unsigned int sequence ;
 568};
 569#line 121 "include/linux/seqlock.h"
 570typedef struct seqcount seqcount_t;
 571#line 254 "include/linux/seqlock.h"
 572struct timespec {
 573   __kernel_time_t tv_sec ;
 574   long tv_nsec ;
 575};
 576#line 286 "include/linux/time.h"
 577struct kstat {
 578   u64 ino ;
 579   dev_t dev ;
 580   umode_t mode ;
 581   unsigned int nlink ;
 582   uid_t uid ;
 583   gid_t gid ;
 584   dev_t rdev ;
 585   loff_t size ;
 586   struct timespec atime ;
 587   struct timespec mtime ;
 588   struct timespec ctime ;
 589   unsigned long blksize ;
 590   unsigned long long blocks ;
 591};
 592#line 48 "include/linux/wait.h"
 593struct __wait_queue_head {
 594   spinlock_t lock ;
 595   struct list_head task_list ;
 596};
 597#line 53 "include/linux/wait.h"
 598typedef struct __wait_queue_head wait_queue_head_t;
 599#line 98 "include/linux/nodemask.h"
 600struct __anonstruct_nodemask_t_36 {
 601   unsigned long bits[16U] ;
 602};
 603#line 98 "include/linux/nodemask.h"
 604typedef struct __anonstruct_nodemask_t_36 nodemask_t;
 605#line 670 "include/linux/mmzone.h"
 606struct mutex {
 607   atomic_t count ;
 608   spinlock_t wait_lock ;
 609   struct list_head wait_list ;
 610   struct task_struct *owner ;
 611   char const   *name ;
 612   void *magic ;
 613   struct lockdep_map dep_map ;
 614};
 615#line 63 "include/linux/mutex.h"
 616struct mutex_waiter {
 617   struct list_head list ;
 618   struct task_struct *task ;
 619   void *magic ;
 620};
 621#line 171
 622struct rw_semaphore;
 623#line 171
 624struct rw_semaphore;
 625#line 172 "include/linux/mutex.h"
 626struct rw_semaphore {
 627   long count ;
 628   raw_spinlock_t wait_lock ;
 629   struct list_head wait_list ;
 630   struct lockdep_map dep_map ;
 631};
 632#line 128 "include/linux/rwsem.h"
 633struct completion {
 634   unsigned int done ;
 635   wait_queue_head_t wait ;
 636};
 637#line 312 "include/linux/jiffies.h"
 638union ktime {
 639   s64 tv64 ;
 640};
 641#line 59 "include/linux/ktime.h"
 642typedef union ktime ktime_t;
 643#line 341
 644struct tvec_base;
 645#line 341
 646struct tvec_base;
 647#line 342 "include/linux/ktime.h"
 648struct timer_list {
 649   struct list_head entry ;
 650   unsigned long expires ;
 651   struct tvec_base *base ;
 652   void (*function)(unsigned long  ) ;
 653   unsigned long data ;
 654   int slack ;
 655   int start_pid ;
 656   void *start_site ;
 657   char start_comm[16U] ;
 658   struct lockdep_map lockdep_map ;
 659};
 660#line 289 "include/linux/timer.h"
 661struct hrtimer;
 662#line 289
 663struct hrtimer;
 664#line 290
 665enum hrtimer_restart;
 666#line 302
 667struct work_struct;
 668#line 302
 669struct work_struct;
 670#line 45 "include/linux/workqueue.h"
 671struct work_struct {
 672   atomic_long_t data ;
 673   struct list_head entry ;
 674   void (*func)(struct work_struct * ) ;
 675   struct lockdep_map lockdep_map ;
 676};
 677#line 86 "include/linux/workqueue.h"
 678struct delayed_work {
 679   struct work_struct work ;
 680   struct timer_list timer ;
 681};
 682#line 46 "include/linux/pm.h"
 683struct pm_message {
 684   int event ;
 685};
 686#line 52 "include/linux/pm.h"
 687typedef struct pm_message pm_message_t;
 688#line 53 "include/linux/pm.h"
 689struct dev_pm_ops {
 690   int (*prepare)(struct device * ) ;
 691   void (*complete)(struct device * ) ;
 692   int (*suspend)(struct device * ) ;
 693   int (*resume)(struct device * ) ;
 694   int (*freeze)(struct device * ) ;
 695   int (*thaw)(struct device * ) ;
 696   int (*poweroff)(struct device * ) ;
 697   int (*restore)(struct device * ) ;
 698   int (*suspend_late)(struct device * ) ;
 699   int (*resume_early)(struct device * ) ;
 700   int (*freeze_late)(struct device * ) ;
 701   int (*thaw_early)(struct device * ) ;
 702   int (*poweroff_late)(struct device * ) ;
 703   int (*restore_early)(struct device * ) ;
 704   int (*suspend_noirq)(struct device * ) ;
 705   int (*resume_noirq)(struct device * ) ;
 706   int (*freeze_noirq)(struct device * ) ;
 707   int (*thaw_noirq)(struct device * ) ;
 708   int (*poweroff_noirq)(struct device * ) ;
 709   int (*restore_noirq)(struct device * ) ;
 710   int (*runtime_suspend)(struct device * ) ;
 711   int (*runtime_resume)(struct device * ) ;
 712   int (*runtime_idle)(struct device * ) ;
 713};
 714#line 289
 715enum rpm_status {
 716    RPM_ACTIVE = 0,
 717    RPM_RESUMING = 1,
 718    RPM_SUSPENDED = 2,
 719    RPM_SUSPENDING = 3
 720} ;
 721#line 296
 722enum rpm_request {
 723    RPM_REQ_NONE = 0,
 724    RPM_REQ_IDLE = 1,
 725    RPM_REQ_SUSPEND = 2,
 726    RPM_REQ_AUTOSUSPEND = 3,
 727    RPM_REQ_RESUME = 4
 728} ;
 729#line 304
 730struct wakeup_source;
 731#line 304
 732struct wakeup_source;
 733#line 494 "include/linux/pm.h"
 734struct pm_subsys_data {
 735   spinlock_t lock ;
 736   unsigned int refcount ;
 737};
 738#line 499
 739struct dev_pm_qos_request;
 740#line 499
 741struct pm_qos_constraints;
 742#line 499 "include/linux/pm.h"
 743struct dev_pm_info {
 744   pm_message_t power_state ;
 745   unsigned char can_wakeup : 1 ;
 746   unsigned char async_suspend : 1 ;
 747   bool is_prepared ;
 748   bool is_suspended ;
 749   bool ignore_children ;
 750   spinlock_t lock ;
 751   struct list_head entry ;
 752   struct completion completion ;
 753   struct wakeup_source *wakeup ;
 754   bool wakeup_path ;
 755   struct timer_list suspend_timer ;
 756   unsigned long timer_expires ;
 757   struct work_struct work ;
 758   wait_queue_head_t wait_queue ;
 759   atomic_t usage_count ;
 760   atomic_t child_count ;
 761   unsigned char disable_depth : 3 ;
 762   unsigned char idle_notification : 1 ;
 763   unsigned char request_pending : 1 ;
 764   unsigned char deferred_resume : 1 ;
 765   unsigned char run_wake : 1 ;
 766   unsigned char runtime_auto : 1 ;
 767   unsigned char no_callbacks : 1 ;
 768   unsigned char irq_safe : 1 ;
 769   unsigned char use_autosuspend : 1 ;
 770   unsigned char timer_autosuspends : 1 ;
 771   enum rpm_request request ;
 772   enum rpm_status runtime_status ;
 773   int runtime_error ;
 774   int autosuspend_delay ;
 775   unsigned long last_busy ;
 776   unsigned long active_jiffies ;
 777   unsigned long suspended_jiffies ;
 778   unsigned long accounting_timestamp ;
 779   ktime_t suspend_time ;
 780   s64 max_time_suspended_ns ;
 781   struct dev_pm_qos_request *pq_req ;
 782   struct pm_subsys_data *subsys_data ;
 783   struct pm_qos_constraints *constraints ;
 784};
 785#line 558 "include/linux/pm.h"
 786struct dev_pm_domain {
 787   struct dev_pm_ops ops ;
 788};
 789#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
 790struct __anonstruct_mm_context_t_101 {
 791   void *ldt ;
 792   int size ;
 793   unsigned short ia32_compat ;
 794   struct mutex lock ;
 795   void *vdso ;
 796};
 797#line 22 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/mmu.h"
 798typedef struct __anonstruct_mm_context_t_101 mm_context_t;
 799#line 18 "include/asm-generic/pci_iomap.h"
 800struct vm_area_struct;
 801#line 18
 802struct vm_area_struct;
 803#line 835 "include/linux/sysctl.h"
 804struct rb_node {
 805   unsigned long rb_parent_color ;
 806   struct rb_node *rb_right ;
 807   struct rb_node *rb_left ;
 808};
 809#line 108 "include/linux/rbtree.h"
 810struct rb_root {
 811   struct rb_node *rb_node ;
 812};
 813#line 176
 814struct nsproxy;
 815#line 176
 816struct nsproxy;
 817#line 37 "include/linux/kmod.h"
 818struct cred;
 819#line 37
 820struct cred;
 821#line 18 "include/linux/elf.h"
 822typedef __u64 Elf64_Addr;
 823#line 19 "include/linux/elf.h"
 824typedef __u16 Elf64_Half;
 825#line 23 "include/linux/elf.h"
 826typedef __u32 Elf64_Word;
 827#line 24 "include/linux/elf.h"
 828typedef __u64 Elf64_Xword;
 829#line 193 "include/linux/elf.h"
 830struct elf64_sym {
 831   Elf64_Word st_name ;
 832   unsigned char st_info ;
 833   unsigned char st_other ;
 834   Elf64_Half st_shndx ;
 835   Elf64_Addr st_value ;
 836   Elf64_Xword st_size ;
 837};
 838#line 201 "include/linux/elf.h"
 839typedef struct elf64_sym Elf64_Sym;
 840#line 445
 841struct sock;
 842#line 445
 843struct sock;
 844#line 446
 845struct kobject;
 846#line 446
 847struct kobject;
 848#line 447
 849enum kobj_ns_type {
 850    KOBJ_NS_TYPE_NONE = 0,
 851    KOBJ_NS_TYPE_NET = 1,
 852    KOBJ_NS_TYPES = 2
 853} ;
 854#line 453 "include/linux/elf.h"
 855struct kobj_ns_type_operations {
 856   enum kobj_ns_type type ;
 857   void *(*grab_current_ns)(void) ;
 858   void const   *(*netlink_ns)(struct sock * ) ;
 859   void const   *(*initial_ns)(void) ;
 860   void (*drop_ns)(void * ) ;
 861};
 862#line 57 "include/linux/kobject_ns.h"
 863struct attribute {
 864   char const   *name ;
 865   umode_t mode ;
 866   struct lock_class_key *key ;
 867   struct lock_class_key skey ;
 868};
 869#line 33 "include/linux/sysfs.h"
 870struct attribute_group {
 871   char const   *name ;
 872   umode_t (*is_visible)(struct kobject * , struct attribute * , int  ) ;
 873   struct attribute **attrs ;
 874};
 875#line 62 "include/linux/sysfs.h"
 876struct bin_attribute {
 877   struct attribute attr ;
 878   size_t size ;
 879   void *private ;
 880   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 881                   loff_t  , size_t  ) ;
 882   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 883                    loff_t  , size_t  ) ;
 884   int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
 885};
 886#line 98 "include/linux/sysfs.h"
 887struct sysfs_ops {
 888   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
 889   ssize_t (*store)(struct kobject * , struct attribute * , char const   * , size_t  ) ;
 890   void const   *(*namespace)(struct kobject * , struct attribute  const  * ) ;
 891};
 892#line 117
 893struct sysfs_dirent;
 894#line 117
 895struct sysfs_dirent;
 896#line 182 "include/linux/sysfs.h"
 897struct kref {
 898   atomic_t refcount ;
 899};
 900#line 49 "include/linux/kobject.h"
 901struct kset;
 902#line 49
 903struct kobj_type;
 904#line 49 "include/linux/kobject.h"
 905struct kobject {
 906   char const   *name ;
 907   struct list_head entry ;
 908   struct kobject *parent ;
 909   struct kset *kset ;
 910   struct kobj_type *ktype ;
 911   struct sysfs_dirent *sd ;
 912   struct kref kref ;
 913   unsigned char state_initialized : 1 ;
 914   unsigned char state_in_sysfs : 1 ;
 915   unsigned char state_add_uevent_sent : 1 ;
 916   unsigned char state_remove_uevent_sent : 1 ;
 917   unsigned char uevent_suppress : 1 ;
 918};
 919#line 107 "include/linux/kobject.h"
 920struct kobj_type {
 921   void (*release)(struct kobject * ) ;
 922   struct sysfs_ops  const  *sysfs_ops ;
 923   struct attribute **default_attrs ;
 924   struct kobj_ns_type_operations  const  *(*child_ns_type)(struct kobject * ) ;
 925   void const   *(*namespace)(struct kobject * ) ;
 926};
 927#line 115 "include/linux/kobject.h"
 928struct kobj_uevent_env {
 929   char *envp[32U] ;
 930   int envp_idx ;
 931   char buf[2048U] ;
 932   int buflen ;
 933};
 934#line 122 "include/linux/kobject.h"
 935struct kset_uevent_ops {
 936   int (* const  filter)(struct kset * , struct kobject * ) ;
 937   char const   *(* const  name)(struct kset * , struct kobject * ) ;
 938   int (* const  uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
 939};
 940#line 139 "include/linux/kobject.h"
 941struct kset {
 942   struct list_head list ;
 943   spinlock_t list_lock ;
 944   struct kobject kobj ;
 945   struct kset_uevent_ops  const  *uevent_ops ;
 946};
 947#line 215
 948struct kernel_param;
 949#line 215
 950struct kernel_param;
 951#line 216 "include/linux/kobject.h"
 952struct kernel_param_ops {
 953   int (*set)(char const   * , struct kernel_param  const  * ) ;
 954   int (*get)(char * , struct kernel_param  const  * ) ;
 955   void (*free)(void * ) ;
 956};
 957#line 49 "include/linux/moduleparam.h"
 958struct kparam_string;
 959#line 49
 960struct kparam_array;
 961#line 49 "include/linux/moduleparam.h"
 962union __anonunion_ldv_13363_134 {
 963   void *arg ;
 964   struct kparam_string  const  *str ;
 965   struct kparam_array  const  *arr ;
 966};
 967#line 49 "include/linux/moduleparam.h"
 968struct kernel_param {
 969   char const   *name ;
 970   struct kernel_param_ops  const  *ops ;
 971   u16 perm ;
 972   s16 level ;
 973   union __anonunion_ldv_13363_134 ldv_13363 ;
 974};
 975#line 61 "include/linux/moduleparam.h"
 976struct kparam_string {
 977   unsigned int maxlen ;
 978   char *string ;
 979};
 980#line 67 "include/linux/moduleparam.h"
 981struct kparam_array {
 982   unsigned int max ;
 983   unsigned int elemsize ;
 984   unsigned int *num ;
 985   struct kernel_param_ops  const  *ops ;
 986   void *elem ;
 987};
 988#line 458 "include/linux/moduleparam.h"
 989struct static_key {
 990   atomic_t enabled ;
 991};
 992#line 225 "include/linux/jump_label.h"
 993struct tracepoint;
 994#line 225
 995struct tracepoint;
 996#line 226 "include/linux/jump_label.h"
 997struct tracepoint_func {
 998   void *func ;
 999   void *data ;
1000};
1001#line 29 "include/linux/tracepoint.h"
1002struct tracepoint {
1003   char const   *name ;
1004   struct static_key key ;
1005   void (*regfunc)(void) ;
1006   void (*unregfunc)(void) ;
1007   struct tracepoint_func *funcs ;
1008};
1009#line 86 "include/linux/tracepoint.h"
1010struct kernel_symbol {
1011   unsigned long value ;
1012   char const   *name ;
1013};
1014#line 27 "include/linux/export.h"
1015struct mod_arch_specific {
1016
1017};
1018#line 34 "include/linux/module.h"
1019struct module_param_attrs;
1020#line 34 "include/linux/module.h"
1021struct module_kobject {
1022   struct kobject kobj ;
1023   struct module *mod ;
1024   struct kobject *drivers_dir ;
1025   struct module_param_attrs *mp ;
1026};
1027#line 43 "include/linux/module.h"
1028struct module_attribute {
1029   struct attribute attr ;
1030   ssize_t (*show)(struct module_attribute * , struct module_kobject * , char * ) ;
1031   ssize_t (*store)(struct module_attribute * , struct module_kobject * , char const   * ,
1032                    size_t  ) ;
1033   void (*setup)(struct module * , char const   * ) ;
1034   int (*test)(struct module * ) ;
1035   void (*free)(struct module * ) ;
1036};
1037#line 69
1038struct exception_table_entry;
1039#line 69
1040struct exception_table_entry;
1041#line 198
1042enum module_state {
1043    MODULE_STATE_LIVE = 0,
1044    MODULE_STATE_COMING = 1,
1045    MODULE_STATE_GOING = 2
1046} ;
1047#line 204 "include/linux/module.h"
1048struct module_ref {
1049   unsigned long incs ;
1050   unsigned long decs ;
1051};
1052#line 219
1053struct module_sect_attrs;
1054#line 219
1055struct module_notes_attrs;
1056#line 219
1057struct ftrace_event_call;
1058#line 219 "include/linux/module.h"
1059struct module {
1060   enum module_state state ;
1061   struct list_head list ;
1062   char name[56U] ;
1063   struct module_kobject mkobj ;
1064   struct module_attribute *modinfo_attrs ;
1065   char const   *version ;
1066   char const   *srcversion ;
1067   struct kobject *holders_dir ;
1068   struct kernel_symbol  const  *syms ;
1069   unsigned long const   *crcs ;
1070   unsigned int num_syms ;
1071   struct kernel_param *kp ;
1072   unsigned int num_kp ;
1073   unsigned int num_gpl_syms ;
1074   struct kernel_symbol  const  *gpl_syms ;
1075   unsigned long const   *gpl_crcs ;
1076   struct kernel_symbol  const  *unused_syms ;
1077   unsigned long const   *unused_crcs ;
1078   unsigned int num_unused_syms ;
1079   unsigned int num_unused_gpl_syms ;
1080   struct kernel_symbol  const  *unused_gpl_syms ;
1081   unsigned long const   *unused_gpl_crcs ;
1082   struct kernel_symbol  const  *gpl_future_syms ;
1083   unsigned long const   *gpl_future_crcs ;
1084   unsigned int num_gpl_future_syms ;
1085   unsigned int num_exentries ;
1086   struct exception_table_entry *extable ;
1087   int (*init)(void) ;
1088   void *module_init ;
1089   void *module_core ;
1090   unsigned int init_size ;
1091   unsigned int core_size ;
1092   unsigned int init_text_size ;
1093   unsigned int core_text_size ;
1094   unsigned int init_ro_size ;
1095   unsigned int core_ro_size ;
1096   struct mod_arch_specific arch ;
1097   unsigned int taints ;
1098   unsigned int num_bugs ;
1099   struct list_head bug_list ;
1100   struct bug_entry *bug_table ;
1101   Elf64_Sym *symtab ;
1102   Elf64_Sym *core_symtab ;
1103   unsigned int num_symtab ;
1104   unsigned int core_num_syms ;
1105   char *strtab ;
1106   char *core_strtab ;
1107   struct module_sect_attrs *sect_attrs ;
1108   struct module_notes_attrs *notes_attrs ;
1109   char *args ;
1110   void *percpu ;
1111   unsigned int percpu_size ;
1112   unsigned int num_tracepoints ;
1113   struct tracepoint * const  *tracepoints_ptrs ;
1114   unsigned int num_trace_bprintk_fmt ;
1115   char const   **trace_bprintk_fmt_start ;
1116   struct ftrace_event_call **trace_events ;
1117   unsigned int num_trace_events ;
1118   struct list_head source_list ;
1119   struct list_head target_list ;
1120   struct task_struct *waiter ;
1121   void (*exit)(void) ;
1122   struct module_ref *refptr ;
1123   ctor_fn_t (**ctors)(void) ;
1124   unsigned int num_ctors ;
1125};
1126#line 88 "include/linux/kmemleak.h"
1127struct kmem_cache_cpu {
1128   void **freelist ;
1129   unsigned long tid ;
1130   struct page *page ;
1131   struct page *partial ;
1132   int node ;
1133   unsigned int stat[26U] ;
1134};
1135#line 55 "include/linux/slub_def.h"
1136struct kmem_cache_node {
1137   spinlock_t list_lock ;
1138   unsigned long nr_partial ;
1139   struct list_head partial ;
1140   atomic_long_t nr_slabs ;
1141   atomic_long_t total_objects ;
1142   struct list_head full ;
1143};
1144#line 66 "include/linux/slub_def.h"
1145struct kmem_cache_order_objects {
1146   unsigned long x ;
1147};
1148#line 76 "include/linux/slub_def.h"
1149struct kmem_cache {
1150   struct kmem_cache_cpu *cpu_slab ;
1151   unsigned long flags ;
1152   unsigned long min_partial ;
1153   int size ;
1154   int objsize ;
1155   int offset ;
1156   int cpu_partial ;
1157   struct kmem_cache_order_objects oo ;
1158   struct kmem_cache_order_objects max ;
1159   struct kmem_cache_order_objects min ;
1160   gfp_t allocflags ;
1161   int refcount ;
1162   void (*ctor)(void * ) ;
1163   int inuse ;
1164   int align ;
1165   int reserved ;
1166   char const   *name ;
1167   struct list_head list ;
1168   struct kobject kobj ;
1169   int remote_node_defrag_ratio ;
1170   struct kmem_cache_node *node[1024U] ;
1171};
1172#line 12 "include/linux/mod_devicetable.h"
1173typedef unsigned long kernel_ulong_t;
1174#line 215 "include/linux/mod_devicetable.h"
1175struct of_device_id {
1176   char name[32U] ;
1177   char type[32U] ;
1178   char compatible[128U] ;
1179   void *data ;
1180};
1181#line 425 "include/linux/mod_devicetable.h"
1182struct i2c_device_id {
1183   char name[20U] ;
1184   kernel_ulong_t driver_data ;
1185};
1186#line 584
1187struct klist_node;
1188#line 584
1189struct klist_node;
1190#line 37 "include/linux/klist.h"
1191struct klist_node {
1192   void *n_klist ;
1193   struct list_head n_node ;
1194   struct kref n_ref ;
1195};
1196#line 67
1197struct dma_map_ops;
1198#line 67 "include/linux/klist.h"
1199struct dev_archdata {
1200   void *acpi_handle ;
1201   struct dma_map_ops *dma_ops ;
1202   void *iommu ;
1203};
1204#line 17 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1205struct device_private;
1206#line 17
1207struct device_private;
1208#line 18
1209struct device_driver;
1210#line 18
1211struct device_driver;
1212#line 19
1213struct driver_private;
1214#line 19
1215struct driver_private;
1216#line 20
1217struct class;
1218#line 20
1219struct class;
1220#line 21
1221struct subsys_private;
1222#line 21
1223struct subsys_private;
1224#line 22
1225struct bus_type;
1226#line 22
1227struct bus_type;
1228#line 23
1229struct device_node;
1230#line 23
1231struct device_node;
1232#line 24
1233struct iommu_ops;
1234#line 24
1235struct iommu_ops;
1236#line 25 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/device.h"
1237struct bus_attribute {
1238   struct attribute attr ;
1239   ssize_t (*show)(struct bus_type * , char * ) ;
1240   ssize_t (*store)(struct bus_type * , char const   * , size_t  ) ;
1241};
1242#line 51 "include/linux/device.h"
1243struct device_attribute;
1244#line 51
1245struct driver_attribute;
1246#line 51 "include/linux/device.h"
1247struct bus_type {
1248   char const   *name ;
1249   char const   *dev_name ;
1250   struct device *dev_root ;
1251   struct bus_attribute *bus_attrs ;
1252   struct device_attribute *dev_attrs ;
1253   struct driver_attribute *drv_attrs ;
1254   int (*match)(struct device * , struct device_driver * ) ;
1255   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1256   int (*probe)(struct device * ) ;
1257   int (*remove)(struct device * ) ;
1258   void (*shutdown)(struct device * ) ;
1259   int (*suspend)(struct device * , pm_message_t  ) ;
1260   int (*resume)(struct device * ) ;
1261   struct dev_pm_ops  const  *pm ;
1262   struct iommu_ops *iommu_ops ;
1263   struct subsys_private *p ;
1264};
1265#line 125
1266struct device_type;
1267#line 182 "include/linux/device.h"
1268struct device_driver {
1269   char const   *name ;
1270   struct bus_type *bus ;
1271   struct module *owner ;
1272   char const   *mod_name ;
1273   bool suppress_bind_attrs ;
1274   struct of_device_id  const  *of_match_table ;
1275   int (*probe)(struct device * ) ;
1276   int (*remove)(struct device * ) ;
1277   void (*shutdown)(struct device * ) ;
1278   int (*suspend)(struct device * , pm_message_t  ) ;
1279   int (*resume)(struct device * ) ;
1280   struct attribute_group  const  **groups ;
1281   struct dev_pm_ops  const  *pm ;
1282   struct driver_private *p ;
1283};
1284#line 245 "include/linux/device.h"
1285struct driver_attribute {
1286   struct attribute attr ;
1287   ssize_t (*show)(struct device_driver * , char * ) ;
1288   ssize_t (*store)(struct device_driver * , char const   * , size_t  ) ;
1289};
1290#line 299
1291struct class_attribute;
1292#line 299 "include/linux/device.h"
1293struct class {
1294   char const   *name ;
1295   struct module *owner ;
1296   struct class_attribute *class_attrs ;
1297   struct device_attribute *dev_attrs ;
1298   struct bin_attribute *dev_bin_attrs ;
1299   struct kobject *dev_kobj ;
1300   int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
1301   char *(*devnode)(struct device * , umode_t * ) ;
1302   void (*class_release)(struct class * ) ;
1303   void (*dev_release)(struct device * ) ;
1304   int (*suspend)(struct device * , pm_message_t  ) ;
1305   int (*resume)(struct device * ) ;
1306   struct kobj_ns_type_operations  const  *ns_type ;
1307   void const   *(*namespace)(struct device * ) ;
1308   struct dev_pm_ops  const  *pm ;
1309   struct subsys_private *p ;
1310};
1311#line 394 "include/linux/device.h"
1312struct class_attribute {
1313   struct attribute attr ;
1314   ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
1315   ssize_t (*store)(struct class * , struct class_attribute * , char const   * , size_t  ) ;
1316   void const   *(*namespace)(struct class * , struct class_attribute  const  * ) ;
1317};
1318#line 447 "include/linux/device.h"
1319struct device_type {
1320   char const   *name ;
1321   struct attribute_group  const  **groups ;
1322   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
1323   char *(*devnode)(struct device * , umode_t * ) ;
1324   void (*release)(struct device * ) ;
1325   struct dev_pm_ops  const  *pm ;
1326};
1327#line 474 "include/linux/device.h"
1328struct device_attribute {
1329   struct attribute attr ;
1330   ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
1331   ssize_t (*store)(struct device * , struct device_attribute * , char const   * ,
1332                    size_t  ) ;
1333};
1334#line 557 "include/linux/device.h"
1335struct device_dma_parameters {
1336   unsigned int max_segment_size ;
1337   unsigned long segment_boundary_mask ;
1338};
1339#line 567
1340struct dma_coherent_mem;
1341#line 567 "include/linux/device.h"
1342struct device {
1343   struct device *parent ;
1344   struct device_private *p ;
1345   struct kobject kobj ;
1346   char const   *init_name ;
1347   struct device_type  const  *type ;
1348   struct mutex mutex ;
1349   struct bus_type *bus ;
1350   struct device_driver *driver ;
1351   void *platform_data ;
1352   struct dev_pm_info power ;
1353   struct dev_pm_domain *pm_domain ;
1354   int numa_node ;
1355   u64 *dma_mask ;
1356   u64 coherent_dma_mask ;
1357   struct device_dma_parameters *dma_parms ;
1358   struct list_head dma_pools ;
1359   struct dma_coherent_mem *dma_mem ;
1360   struct dev_archdata archdata ;
1361   struct device_node *of_node ;
1362   dev_t devt ;
1363   u32 id ;
1364   spinlock_t devres_lock ;
1365   struct list_head devres_head ;
1366   struct klist_node knode_class ;
1367   struct class *class ;
1368   struct attribute_group  const  **groups ;
1369   void (*release)(struct device * ) ;
1370};
1371#line 681 "include/linux/device.h"
1372struct wakeup_source {
1373   char const   *name ;
1374   struct list_head entry ;
1375   spinlock_t lock ;
1376   struct timer_list timer ;
1377   unsigned long timer_expires ;
1378   ktime_t total_time ;
1379   ktime_t max_time ;
1380   ktime_t last_time ;
1381   unsigned long event_count ;
1382   unsigned long active_count ;
1383   unsigned long relax_count ;
1384   unsigned long hit_count ;
1385   unsigned char active : 1 ;
1386};
1387#line 93 "include/linux/capability.h"
1388struct kernel_cap_struct {
1389   __u32 cap[2U] ;
1390};
1391#line 96 "include/linux/capability.h"
1392typedef struct kernel_cap_struct kernel_cap_t;
1393#line 104
1394struct dentry;
1395#line 104
1396struct dentry;
1397#line 105
1398struct user_namespace;
1399#line 105
1400struct user_namespace;
1401#line 554
1402struct prio_tree_node;
1403#line 554 "include/linux/capability.h"
1404struct raw_prio_tree_node {
1405   struct prio_tree_node *left ;
1406   struct prio_tree_node *right ;
1407   struct prio_tree_node *parent ;
1408};
1409#line 19 "include/linux/prio_tree.h"
1410struct prio_tree_node {
1411   struct prio_tree_node *left ;
1412   struct prio_tree_node *right ;
1413   struct prio_tree_node *parent ;
1414   unsigned long start ;
1415   unsigned long last ;
1416};
1417#line 27 "include/linux/prio_tree.h"
1418struct prio_tree_root {
1419   struct prio_tree_node *prio_tree_node ;
1420   unsigned short index_bits ;
1421   unsigned short raw ;
1422};
1423#line 116
1424struct address_space;
1425#line 116
1426struct address_space;
1427#line 117 "include/linux/prio_tree.h"
1428union __anonunion_ldv_15299_138 {
1429   unsigned long index ;
1430   void *freelist ;
1431};
1432#line 117 "include/linux/prio_tree.h"
1433struct __anonstruct_ldv_15309_142 {
1434   unsigned short inuse ;
1435   unsigned short objects : 15 ;
1436   unsigned char frozen : 1 ;
1437};
1438#line 117 "include/linux/prio_tree.h"
1439union __anonunion_ldv_15310_141 {
1440   atomic_t _mapcount ;
1441   struct __anonstruct_ldv_15309_142 ldv_15309 ;
1442};
1443#line 117 "include/linux/prio_tree.h"
1444struct __anonstruct_ldv_15312_140 {
1445   union __anonunion_ldv_15310_141 ldv_15310 ;
1446   atomic_t _count ;
1447};
1448#line 117 "include/linux/prio_tree.h"
1449union __anonunion_ldv_15313_139 {
1450   unsigned long counters ;
1451   struct __anonstruct_ldv_15312_140 ldv_15312 ;
1452};
1453#line 117 "include/linux/prio_tree.h"
1454struct __anonstruct_ldv_15314_137 {
1455   union __anonunion_ldv_15299_138 ldv_15299 ;
1456   union __anonunion_ldv_15313_139 ldv_15313 ;
1457};
1458#line 117 "include/linux/prio_tree.h"
1459struct __anonstruct_ldv_15321_144 {
1460   struct page *next ;
1461   int pages ;
1462   int pobjects ;
1463};
1464#line 117 "include/linux/prio_tree.h"
1465union __anonunion_ldv_15322_143 {
1466   struct list_head lru ;
1467   struct __anonstruct_ldv_15321_144 ldv_15321 ;
1468};
1469#line 117 "include/linux/prio_tree.h"
1470union __anonunion_ldv_15327_145 {
1471   unsigned long private ;
1472   struct kmem_cache *slab ;
1473   struct page *first_page ;
1474};
1475#line 117 "include/linux/prio_tree.h"
1476struct page {
1477   unsigned long flags ;
1478   struct address_space *mapping ;
1479   struct __anonstruct_ldv_15314_137 ldv_15314 ;
1480   union __anonunion_ldv_15322_143 ldv_15322 ;
1481   union __anonunion_ldv_15327_145 ldv_15327 ;
1482   unsigned long debug_flags ;
1483};
1484#line 192 "include/linux/mm_types.h"
1485struct __anonstruct_vm_set_147 {
1486   struct list_head list ;
1487   void *parent ;
1488   struct vm_area_struct *head ;
1489};
1490#line 192 "include/linux/mm_types.h"
1491union __anonunion_shared_146 {
1492   struct __anonstruct_vm_set_147 vm_set ;
1493   struct raw_prio_tree_node prio_tree_node ;
1494};
1495#line 192
1496struct anon_vma;
1497#line 192
1498struct vm_operations_struct;
1499#line 192
1500struct mempolicy;
1501#line 192 "include/linux/mm_types.h"
1502struct vm_area_struct {
1503   struct mm_struct *vm_mm ;
1504   unsigned long vm_start ;
1505   unsigned long vm_end ;
1506   struct vm_area_struct *vm_next ;
1507   struct vm_area_struct *vm_prev ;
1508   pgprot_t vm_page_prot ;
1509   unsigned long vm_flags ;
1510   struct rb_node vm_rb ;
1511   union __anonunion_shared_146 shared ;
1512   struct list_head anon_vma_chain ;
1513   struct anon_vma *anon_vma ;
1514   struct vm_operations_struct  const  *vm_ops ;
1515   unsigned long vm_pgoff ;
1516   struct file *vm_file ;
1517   void *vm_private_data ;
1518   struct mempolicy *vm_policy ;
1519};
1520#line 255 "include/linux/mm_types.h"
1521struct core_thread {
1522   struct task_struct *task ;
1523   struct core_thread *next ;
1524};
1525#line 261 "include/linux/mm_types.h"
1526struct core_state {
1527   atomic_t nr_threads ;
1528   struct core_thread dumper ;
1529   struct completion startup ;
1530};
1531#line 274 "include/linux/mm_types.h"
1532struct mm_rss_stat {
1533   atomic_long_t count[3U] ;
1534};
1535#line 287
1536struct linux_binfmt;
1537#line 287
1538struct mmu_notifier_mm;
1539#line 287 "include/linux/mm_types.h"
1540struct mm_struct {
1541   struct vm_area_struct *mmap ;
1542   struct rb_root mm_rb ;
1543   struct vm_area_struct *mmap_cache ;
1544   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
1545                                      unsigned long  , unsigned long  ) ;
1546   void (*unmap_area)(struct mm_struct * , unsigned long  ) ;
1547   unsigned long mmap_base ;
1548   unsigned long task_size ;
1549   unsigned long cached_hole_size ;
1550   unsigned long free_area_cache ;
1551   pgd_t *pgd ;
1552   atomic_t mm_users ;
1553   atomic_t mm_count ;
1554   int map_count ;
1555   spinlock_t page_table_lock ;
1556   struct rw_semaphore mmap_sem ;
1557   struct list_head mmlist ;
1558   unsigned long hiwater_rss ;
1559   unsigned long hiwater_vm ;
1560   unsigned long total_vm ;
1561   unsigned long locked_vm ;
1562   unsigned long pinned_vm ;
1563   unsigned long shared_vm ;
1564   unsigned long exec_vm ;
1565   unsigned long stack_vm ;
1566   unsigned long reserved_vm ;
1567   unsigned long def_flags ;
1568   unsigned long nr_ptes ;
1569   unsigned long start_code ;
1570   unsigned long end_code ;
1571   unsigned long start_data ;
1572   unsigned long end_data ;
1573   unsigned long start_brk ;
1574   unsigned long brk ;
1575   unsigned long start_stack ;
1576   unsigned long arg_start ;
1577   unsigned long arg_end ;
1578   unsigned long env_start ;
1579   unsigned long env_end ;
1580   unsigned long saved_auxv[44U] ;
1581   struct mm_rss_stat rss_stat ;
1582   struct linux_binfmt *binfmt ;
1583   cpumask_var_t cpu_vm_mask_var ;
1584   mm_context_t context ;
1585   unsigned int faultstamp ;
1586   unsigned int token_priority ;
1587   unsigned int last_interval ;
1588   unsigned long flags ;
1589   struct core_state *core_state ;
1590   spinlock_t ioctx_lock ;
1591   struct hlist_head ioctx_list ;
1592   struct task_struct *owner ;
1593   struct file *exe_file ;
1594   unsigned long num_exe_file_vmas ;
1595   struct mmu_notifier_mm *mmu_notifier_mm ;
1596   pgtable_t pmd_huge_pte ;
1597   struct cpumask cpumask_allocation ;
1598};
1599#line 7 "include/asm-generic/cputime.h"
1600typedef unsigned long cputime_t;
1601#line 98 "include/linux/sem.h"
1602struct sem_undo_list;
1603#line 98 "include/linux/sem.h"
1604struct sysv_sem {
1605   struct sem_undo_list *undo_list ;
1606};
1607#line 107
1608struct siginfo;
1609#line 107
1610struct siginfo;
1611#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1612struct __anonstruct_sigset_t_148 {
1613   unsigned long sig[1U] ;
1614};
1615#line 32 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1616typedef struct __anonstruct_sigset_t_148 sigset_t;
1617#line 17 "include/asm-generic/signal-defs.h"
1618typedef void __signalfn_t(int  );
1619#line 18 "include/asm-generic/signal-defs.h"
1620typedef __signalfn_t *__sighandler_t;
1621#line 20 "include/asm-generic/signal-defs.h"
1622typedef void __restorefn_t(void);
1623#line 21 "include/asm-generic/signal-defs.h"
1624typedef __restorefn_t *__sigrestore_t;
1625#line 126 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1626struct sigaction {
1627   __sighandler_t sa_handler ;
1628   unsigned long sa_flags ;
1629   __sigrestore_t sa_restorer ;
1630   sigset_t sa_mask ;
1631};
1632#line 173 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1633struct k_sigaction {
1634   struct sigaction sa ;
1635};
1636#line 185 "/home/zakharov/launch/inst/current/envs/linux-3.4/linux-3.4/arch/x86/include/asm/signal.h"
1637union sigval {
1638   int sival_int ;
1639   void *sival_ptr ;
1640};
1641#line 10 "include/asm-generic/siginfo.h"
1642typedef union sigval sigval_t;
1643#line 11 "include/asm-generic/siginfo.h"
1644struct __anonstruct__kill_150 {
1645   __kernel_pid_t _pid ;
1646   __kernel_uid32_t _uid ;
1647};
1648#line 11 "include/asm-generic/siginfo.h"
1649struct __anonstruct__timer_151 {
1650   __kernel_timer_t _tid ;
1651   int _overrun ;
1652   char _pad[0U] ;
1653   sigval_t _sigval ;
1654   int _sys_private ;
1655};
1656#line 11 "include/asm-generic/siginfo.h"
1657struct __anonstruct__rt_152 {
1658   __kernel_pid_t _pid ;
1659   __kernel_uid32_t _uid ;
1660   sigval_t _sigval ;
1661};
1662#line 11 "include/asm-generic/siginfo.h"
1663struct __anonstruct__sigchld_153 {
1664   __kernel_pid_t _pid ;
1665   __kernel_uid32_t _uid ;
1666   int _status ;
1667   __kernel_clock_t _utime ;
1668   __kernel_clock_t _stime ;
1669};
1670#line 11 "include/asm-generic/siginfo.h"
1671struct __anonstruct__sigfault_154 {
1672   void *_addr ;
1673   short _addr_lsb ;
1674};
1675#line 11 "include/asm-generic/siginfo.h"
1676struct __anonstruct__sigpoll_155 {
1677   long _band ;
1678   int _fd ;
1679};
1680#line 11 "include/asm-generic/siginfo.h"
1681union __anonunion__sifields_149 {
1682   int _pad[28U] ;
1683   struct __anonstruct__kill_150 _kill ;
1684   struct __anonstruct__timer_151 _timer ;
1685   struct __anonstruct__rt_152 _rt ;
1686   struct __anonstruct__sigchld_153 _sigchld ;
1687   struct __anonstruct__sigfault_154 _sigfault ;
1688   struct __anonstruct__sigpoll_155 _sigpoll ;
1689};
1690#line 11 "include/asm-generic/siginfo.h"
1691struct siginfo {
1692   int si_signo ;
1693   int si_errno ;
1694   int si_code ;
1695   union __anonunion__sifields_149 _sifields ;
1696};
1697#line 102 "include/asm-generic/siginfo.h"
1698typedef struct siginfo siginfo_t;
1699#line 14 "include/linux/signal.h"
1700struct user_struct;
1701#line 24 "include/linux/signal.h"
1702struct sigpending {
1703   struct list_head list ;
1704   sigset_t signal ;
1705};
1706#line 388
1707enum pid_type {
1708    PIDTYPE_PID = 0,
1709    PIDTYPE_PGID = 1,
1710    PIDTYPE_SID = 2,
1711    PIDTYPE_MAX = 3
1712} ;
1713#line 395
1714struct pid_namespace;
1715#line 395 "include/linux/signal.h"
1716struct upid {
1717   int nr ;
1718   struct pid_namespace *ns ;
1719   struct hlist_node pid_chain ;
1720};
1721#line 56 "include/linux/pid.h"
1722struct pid {
1723   atomic_t count ;
1724   unsigned int level ;
1725   struct hlist_head tasks[3U] ;
1726   struct rcu_head rcu ;
1727   struct upid numbers[1U] ;
1728};
1729#line 68 "include/linux/pid.h"
1730struct pid_link {
1731   struct hlist_node node ;
1732   struct pid *pid ;
1733};
1734#line 10 "include/linux/seccomp.h"
1735struct __anonstruct_seccomp_t_158 {
1736   int mode ;
1737};
1738#line 10 "include/linux/seccomp.h"
1739typedef struct __anonstruct_seccomp_t_158 seccomp_t;
1740#line 427 "include/linux/rculist.h"
1741struct plist_head {
1742   struct list_head node_list ;
1743};
1744#line 84 "include/linux/plist.h"
1745struct plist_node {
1746   int prio ;
1747   struct list_head prio_list ;
1748   struct list_head node_list ;
1749};
1750#line 20 "include/linux/rtmutex.h"
1751struct rt_mutex {
1752   raw_spinlock_t wait_lock ;
1753   struct plist_head wait_list ;
1754   struct task_struct *owner ;
1755   int save_state ;
1756   char const   *name ;
1757   char const   *file ;
1758   int line ;
1759   void *magic ;
1760};
1761#line 38
1762struct rt_mutex_waiter;
1763#line 38
1764struct rt_mutex_waiter;
1765#line 41 "include/linux/resource.h"
1766struct rlimit {
1767   unsigned long rlim_cur ;
1768   unsigned long rlim_max ;
1769};
1770#line 85 "include/linux/resource.h"
1771struct timerqueue_node {
1772   struct rb_node node ;
1773   ktime_t expires ;
1774};
1775#line 12 "include/linux/timerqueue.h"
1776struct timerqueue_head {
1777   struct rb_root head ;
1778   struct timerqueue_node *next ;
1779};
1780#line 50
1781struct hrtimer_clock_base;
1782#line 50
1783struct hrtimer_clock_base;
1784#line 51
1785struct hrtimer_cpu_base;
1786#line 51
1787struct hrtimer_cpu_base;
1788#line 60
1789enum hrtimer_restart {
1790    HRTIMER_NORESTART = 0,
1791    HRTIMER_RESTART = 1
1792} ;
1793#line 65 "include/linux/timerqueue.h"
1794struct hrtimer {
1795   struct timerqueue_node node ;
1796   ktime_t _softexpires ;
1797   enum hrtimer_restart (*function)(struct hrtimer * ) ;
1798   struct hrtimer_clock_base *base ;
1799   unsigned long state ;
1800   int start_pid ;
1801   void *start_site ;
1802   char start_comm[16U] ;
1803};
1804#line 132 "include/linux/hrtimer.h"
1805struct hrtimer_clock_base {
1806   struct hrtimer_cpu_base *cpu_base ;
1807   int index ;
1808   clockid_t clockid ;
1809   struct timerqueue_head active ;
1810   ktime_t resolution ;
1811   ktime_t (*get_time)(void) ;
1812   ktime_t softirq_time ;
1813   ktime_t offset ;
1814};
1815#line 162 "include/linux/hrtimer.h"
1816struct hrtimer_cpu_base {
1817   raw_spinlock_t lock ;
1818   unsigned long active_bases ;
1819   ktime_t expires_next ;
1820   int hres_active ;
1821   int hang_detected ;
1822   unsigned long nr_events ;
1823   unsigned long nr_retries ;
1824   unsigned long nr_hangs ;
1825   ktime_t max_hang_time ;
1826   struct hrtimer_clock_base clock_base[3U] ;
1827};
1828#line 452 "include/linux/hrtimer.h"
1829struct task_io_accounting {
1830   u64 rchar ;
1831   u64 wchar ;
1832   u64 syscr ;
1833   u64 syscw ;
1834   u64 read_bytes ;
1835   u64 write_bytes ;
1836   u64 cancelled_write_bytes ;
1837};
1838#line 45 "include/linux/task_io_accounting.h"
1839struct latency_record {
1840   unsigned long backtrace[12U] ;
1841   unsigned int count ;
1842   unsigned long time ;
1843   unsigned long max ;
1844};
1845#line 29 "include/linux/key.h"
1846typedef int32_t key_serial_t;
1847#line 32 "include/linux/key.h"
1848typedef uint32_t key_perm_t;
1849#line 33
1850struct key;
1851#line 33
1852struct key;
1853#line 34
1854struct signal_struct;
1855#line 34
1856struct signal_struct;
1857#line 35
1858struct key_type;
1859#line 35
1860struct key_type;
1861#line 37
1862struct keyring_list;
1863#line 37
1864struct keyring_list;
1865#line 115
1866struct key_user;
1867#line 115 "include/linux/key.h"
1868union __anonunion_ldv_16563_159 {
1869   time_t expiry ;
1870   time_t revoked_at ;
1871};
1872#line 115 "include/linux/key.h"
1873union __anonunion_type_data_160 {
1874   struct list_head link ;
1875   unsigned long x[2U] ;
1876   void *p[2U] ;
1877   int reject_error ;
1878};
1879#line 115 "include/linux/key.h"
1880union __anonunion_payload_161 {
1881   unsigned long value ;
1882   void *rcudata ;
1883   void *data ;
1884   struct keyring_list *subscriptions ;
1885};
1886#line 115 "include/linux/key.h"
1887struct key {
1888   atomic_t usage ;
1889   key_serial_t serial ;
1890   struct rb_node serial_node ;
1891   struct key_type *type ;
1892   struct rw_semaphore sem ;
1893   struct key_user *user ;
1894   void *security ;
1895   union __anonunion_ldv_16563_159 ldv_16563 ;
1896   uid_t uid ;
1897   gid_t gid ;
1898   key_perm_t perm ;
1899   unsigned short quotalen ;
1900   unsigned short datalen ;
1901   unsigned long flags ;
1902   char *description ;
1903   union __anonunion_type_data_160 type_data ;
1904   union __anonunion_payload_161 payload ;
1905};
1906#line 316
1907struct audit_context;
1908#line 316
1909struct audit_context;
1910#line 27 "include/linux/selinux.h"
1911struct inode;
1912#line 27
1913struct inode;
1914#line 28 "include/linux/selinux.h"
1915struct group_info {
1916   atomic_t usage ;
1917   int ngroups ;
1918   int nblocks ;
1919   gid_t small_block[32U] ;
1920   gid_t *blocks[0U] ;
1921};
1922#line 77 "include/linux/cred.h"
1923struct thread_group_cred {
1924   atomic_t usage ;
1925   pid_t tgid ;
1926   spinlock_t lock ;
1927   struct key *session_keyring ;
1928   struct key *process_keyring ;
1929   struct rcu_head rcu ;
1930};
1931#line 91 "include/linux/cred.h"
1932struct cred {
1933   atomic_t usage ;
1934   atomic_t subscribers ;
1935   void *put_addr ;
1936   unsigned int magic ;
1937   uid_t uid ;
1938   gid_t gid ;
1939   uid_t suid ;
1940   gid_t sgid ;
1941   uid_t euid ;
1942   gid_t egid ;
1943   uid_t fsuid ;
1944   gid_t fsgid ;
1945   unsigned int securebits ;
1946   kernel_cap_t cap_inheritable ;
1947   kernel_cap_t cap_permitted ;
1948   kernel_cap_t cap_effective ;
1949   kernel_cap_t cap_bset ;
1950   unsigned char jit_keyring ;
1951   struct key *thread_keyring ;
1952   struct key *request_key_auth ;
1953   struct thread_group_cred *tgcred ;
1954   void *security ;
1955   struct user_struct *user ;
1956   struct user_namespace *user_ns ;
1957   struct group_info *group_info ;
1958   struct rcu_head rcu ;
1959};
1960#line 264
1961struct llist_node;
1962#line 64 "include/linux/llist.h"
1963struct llist_node {
1964   struct llist_node *next ;
1965};
1966#line 185
1967struct futex_pi_state;
1968#line 185
1969struct futex_pi_state;
1970#line 186
1971struct robust_list_head;
1972#line 186
1973struct robust_list_head;
1974#line 187
1975struct bio_list;
1976#line 187
1977struct bio_list;
1978#line 188
1979struct fs_struct;
1980#line 188
1981struct fs_struct;
1982#line 189
1983struct perf_event_context;
1984#line 189
1985struct perf_event_context;
1986#line 190
1987struct blk_plug;
1988#line 190
1989struct blk_plug;
1990#line 149 "include/linux/sched.h"
1991struct cfs_rq;
1992#line 149
1993struct cfs_rq;
1994#line 44 "include/linux/aio_abi.h"
1995struct io_event {
1996   __u64 data ;
1997   __u64 obj ;
1998   __s64 res ;
1999   __s64 res2 ;
2000};
2001#line 106 "include/linux/aio_abi.h"
2002struct iovec {
2003   void *iov_base ;
2004   __kernel_size_t iov_len ;
2005};
2006#line 54 "include/linux/uio.h"
2007struct kioctx;
2008#line 54
2009struct kioctx;
2010#line 55 "include/linux/uio.h"
2011union __anonunion_ki_obj_162 {
2012   void *user ;
2013   struct task_struct *tsk ;
2014};
2015#line 55
2016struct eventfd_ctx;
2017#line 55 "include/linux/uio.h"
2018struct kiocb {
2019   struct list_head ki_run_list ;
2020   unsigned long ki_flags ;
2021   int ki_users ;
2022   unsigned int ki_key ;
2023   struct file *ki_filp ;
2024   struct kioctx *ki_ctx ;
2025   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
2026   ssize_t (*ki_retry)(struct kiocb * ) ;
2027   void (*ki_dtor)(struct kiocb * ) ;
2028   union __anonunion_ki_obj_162 ki_obj ;
2029   __u64 ki_user_data ;
2030   loff_t ki_pos ;
2031   void *private ;
2032   unsigned short ki_opcode ;
2033   size_t ki_nbytes ;
2034   char *ki_buf ;
2035   size_t ki_left ;
2036   struct iovec ki_inline_vec ;
2037   struct iovec *ki_iovec ;
2038   unsigned long ki_nr_segs ;
2039   unsigned long ki_cur_seg ;
2040   struct list_head ki_list ;
2041   struct list_head ki_batch ;
2042   struct eventfd_ctx *ki_eventfd ;
2043};
2044#line 162 "include/linux/aio.h"
2045struct aio_ring_info {
2046   unsigned long mmap_base ;
2047   unsigned long mmap_size ;
2048   struct page **ring_pages ;
2049   spinlock_t ring_lock ;
2050   long nr_pages ;
2051   unsigned int nr ;
2052   unsigned int tail ;
2053   struct page *internal_pages[8U] ;
2054};
2055#line 178 "include/linux/aio.h"
2056struct kioctx {
2057   atomic_t users ;
2058   int dead ;
2059   struct mm_struct *mm ;
2060   unsigned long user_id ;
2061   struct hlist_node list ;
2062   wait_queue_head_t wait ;
2063   spinlock_t ctx_lock ;
2064   int reqs_active ;
2065   struct list_head active_reqs ;
2066   struct list_head run_list ;
2067   unsigned int max_reqs ;
2068   struct aio_ring_info ring_info ;
2069   struct delayed_work wq ;
2070   struct rcu_head rcu_head ;
2071};
2072#line 406 "include/linux/sched.h"
2073struct sighand_struct {
2074   atomic_t count ;
2075   struct k_sigaction action[64U] ;
2076   spinlock_t siglock ;
2077   wait_queue_head_t signalfd_wqh ;
2078};
2079#line 449 "include/linux/sched.h"
2080struct pacct_struct {
2081   int ac_flag ;
2082   long ac_exitcode ;
2083   unsigned long ac_mem ;
2084   cputime_t ac_utime ;
2085   cputime_t ac_stime ;
2086   unsigned long ac_minflt ;
2087   unsigned long ac_majflt ;
2088};
2089#line 457 "include/linux/sched.h"
2090struct cpu_itimer {
2091   cputime_t expires ;
2092   cputime_t incr ;
2093   u32 error ;
2094   u32 incr_error ;
2095};
2096#line 464 "include/linux/sched.h"
2097struct task_cputime {
2098   cputime_t utime ;
2099   cputime_t stime ;
2100   unsigned long long sum_exec_runtime ;
2101};
2102#line 481 "include/linux/sched.h"
2103struct thread_group_cputimer {
2104   struct task_cputime cputime ;
2105   int running ;
2106   raw_spinlock_t lock ;
2107};
2108#line 517
2109struct autogroup;
2110#line 517
2111struct autogroup;
2112#line 518
2113struct tty_struct;
2114#line 518
2115struct taskstats;
2116#line 518
2117struct tty_audit_buf;
2118#line 518 "include/linux/sched.h"
2119struct signal_struct {
2120   atomic_t sigcnt ;
2121   atomic_t live ;
2122   int nr_threads ;
2123   wait_queue_head_t wait_chldexit ;
2124   struct task_struct *curr_target ;
2125   struct sigpending shared_pending ;
2126   int group_exit_code ;
2127   int notify_count ;
2128   struct task_struct *group_exit_task ;
2129   int group_stop_count ;
2130   unsigned int flags ;
2131   unsigned char is_child_subreaper : 1 ;
2132   unsigned char has_child_subreaper : 1 ;
2133   struct list_head posix_timers ;
2134   struct hrtimer real_timer ;
2135   struct pid *leader_pid ;
2136   ktime_t it_real_incr ;
2137   struct cpu_itimer it[2U] ;
2138   struct thread_group_cputimer cputimer ;
2139   struct task_cputime cputime_expires ;
2140   struct list_head cpu_timers[3U] ;
2141   struct pid *tty_old_pgrp ;
2142   int leader ;
2143   struct tty_struct *tty ;
2144   struct autogroup *autogroup ;
2145   cputime_t utime ;
2146   cputime_t stime ;
2147   cputime_t cutime ;
2148   cputime_t cstime ;
2149   cputime_t gtime ;
2150   cputime_t cgtime ;
2151   cputime_t prev_utime ;
2152   cputime_t prev_stime ;
2153   unsigned long nvcsw ;
2154   unsigned long nivcsw ;
2155   unsigned long cnvcsw ;
2156   unsigned long cnivcsw ;
2157   unsigned long min_flt ;
2158   unsigned long maj_flt ;
2159   unsigned long cmin_flt ;
2160   unsigned long cmaj_flt ;
2161   unsigned long inblock ;
2162   unsigned long oublock ;
2163   unsigned long cinblock ;
2164   unsigned long coublock ;
2165   unsigned long maxrss ;
2166   unsigned long cmaxrss ;
2167   struct task_io_accounting ioac ;
2168   unsigned long long sum_sched_runtime ;
2169   struct rlimit rlim[16U] ;
2170   struct pacct_struct pacct ;
2171   struct taskstats *stats ;
2172   unsigned int audit_tty ;
2173   struct tty_audit_buf *tty_audit_buf ;
2174   struct rw_semaphore group_rwsem ;
2175   int oom_adj ;
2176   int oom_score_adj ;
2177   int oom_score_adj_min ;
2178   struct mutex cred_guard_mutex ;
2179};
2180#line 699 "include/linux/sched.h"
2181struct user_struct {
2182   atomic_t __count ;
2183   atomic_t processes ;
2184   atomic_t files ;
2185   atomic_t sigpending ;
2186   atomic_t inotify_watches ;
2187   atomic_t inotify_devs ;
2188   atomic_t fanotify_listeners ;
2189   atomic_long_t epoll_watches ;
2190   unsigned long mq_bytes ;
2191   unsigned long locked_shm ;
2192   struct key *uid_keyring ;
2193   struct key *session_keyring ;
2194   struct hlist_node uidhash_node ;
2195   uid_t uid ;
2196   struct user_namespace *user_ns ;
2197   atomic_long_t locked_vm ;
2198};
2199#line 744
2200struct backing_dev_info;
2201#line 744
2202struct backing_dev_info;
2203#line 745
2204struct reclaim_state;
2205#line 745
2206struct reclaim_state;
2207#line 746 "include/linux/sched.h"
2208struct sched_info {
2209   unsigned long pcount ;
2210   unsigned long long run_delay ;
2211   unsigned long long last_arrival ;
2212   unsigned long long last_queued ;
2213};
2214#line 760 "include/linux/sched.h"
2215struct task_delay_info {
2216   spinlock_t lock ;
2217   unsigned int flags ;
2218   struct timespec blkio_start ;
2219   struct timespec blkio_end ;
2220   u64 blkio_delay ;
2221   u64 swapin_delay ;
2222   u32 blkio_count ;
2223   u32 swapin_count ;
2224   struct timespec freepages_start ;
2225   struct timespec freepages_end ;
2226   u64 freepages_delay ;
2227   u32 freepages_count ;
2228};
2229#line 1069
2230struct io_context;
2231#line 1069
2232struct io_context;
2233#line 1097
2234struct pipe_inode_info;
2235#line 1097
2236struct pipe_inode_info;
2237#line 1099
2238struct rq;
2239#line 1099
2240struct rq;
2241#line 1100 "include/linux/sched.h"
2242struct sched_class {
2243   struct sched_class  const  *next ;
2244   void (*enqueue_task)(struct rq * , struct task_struct * , int  ) ;
2245   void (*dequeue_task)(struct rq * , struct task_struct * , int  ) ;
2246   void (*yield_task)(struct rq * ) ;
2247   bool (*yield_to_task)(struct rq * , struct task_struct * , bool  ) ;
2248   void (*check_preempt_curr)(struct rq * , struct task_struct * , int  ) ;
2249   struct task_struct *(*pick_next_task)(struct rq * ) ;
2250   void (*put_prev_task)(struct rq * , struct task_struct * ) ;
2251   int (*select_task_rq)(struct task_struct * , int  , int  ) ;
2252   void (*pre_schedule)(struct rq * , struct task_struct * ) ;
2253   void (*post_schedule)(struct rq * ) ;
2254   void (*task_waking)(struct task_struct * ) ;
2255   void (*task_woken)(struct rq * , struct task_struct * ) ;
2256   void (*set_cpus_allowed)(struct task_struct * , struct cpumask  const  * ) ;
2257   void (*rq_online)(struct rq * ) ;
2258   void (*rq_offline)(struct rq * ) ;
2259   void (*set_curr_task)(struct rq * ) ;
2260   void (*task_tick)(struct rq * , struct task_struct * , int  ) ;
2261   void (*task_fork)(struct task_struct * ) ;
2262   void (*switched_from)(struct rq * , struct task_struct * ) ;
2263   void (*switched_to)(struct rq * , struct task_struct * ) ;
2264   void (*prio_changed)(struct rq * , struct task_struct * , int  ) ;
2265   unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
2266   void (*task_move_group)(struct task_struct * , int  ) ;
2267};
2268#line 1165 "include/linux/sched.h"
2269struct load_weight {
2270   unsigned long weight ;
2271   unsigned long inv_weight ;
2272};
2273#line 1170 "include/linux/sched.h"
2274struct sched_statistics {
2275   u64 wait_start ;
2276   u64 wait_max ;
2277   u64 wait_count ;
2278   u64 wait_sum ;
2279   u64 iowait_count ;
2280   u64 iowait_sum ;
2281   u64 sleep_start ;
2282   u64 sleep_max ;
2283   s64 sum_sleep_runtime ;
2284   u64 block_start ;
2285   u64 block_max ;
2286   u64 exec_max ;
2287   u64 slice_max ;
2288   u64 nr_migrations_cold ;
2289   u64 nr_failed_migrations_affine ;
2290   u64 nr_failed_migrations_running ;
2291   u64 nr_failed_migrations_hot ;
2292   u64 nr_forced_migrations ;
2293   u64 nr_wakeups ;
2294   u64 nr_wakeups_sync ;
2295   u64 nr_wakeups_migrate ;
2296   u64 nr_wakeups_local ;
2297   u64 nr_wakeups_remote ;
2298   u64 nr_wakeups_affine ;
2299   u64 nr_wakeups_affine_attempts ;
2300   u64 nr_wakeups_passive ;
2301   u64 nr_wakeups_idle ;
2302};
2303#line 1205 "include/linux/sched.h"
2304struct sched_entity {
2305   struct load_weight load ;
2306   struct rb_node run_node ;
2307   struct list_head group_node ;
2308   unsigned int on_rq ;
2309   u64 exec_start ;
2310   u64 sum_exec_runtime ;
2311   u64 vruntime ;
2312   u64 prev_sum_exec_runtime ;
2313   u64 nr_migrations ;
2314   struct sched_statistics statistics ;
2315   struct sched_entity *parent ;
2316   struct cfs_rq *cfs_rq ;
2317   struct cfs_rq *my_q ;
2318};
2319#line 1231
2320struct rt_rq;
2321#line 1231 "include/linux/sched.h"
2322struct sched_rt_entity {
2323   struct list_head run_list ;
2324   unsigned long timeout ;
2325   unsigned int time_slice ;
2326   int nr_cpus_allowed ;
2327   struct sched_rt_entity *back ;
2328   struct sched_rt_entity *parent ;
2329   struct rt_rq *rt_rq ;
2330   struct rt_rq *my_q ;
2331};
2332#line 1255
2333struct mem_cgroup;
2334#line 1255 "include/linux/sched.h"
2335struct memcg_batch_info {
2336   int do_batch ;
2337   struct mem_cgroup *memcg ;
2338   unsigned long nr_pages ;
2339   unsigned long memsw_nr_pages ;
2340};
2341#line 1616
2342struct files_struct;
2343#line 1616
2344struct css_set;
2345#line 1616
2346struct compat_robust_list_head;
2347#line 1616 "include/linux/sched.h"
2348struct task_struct {
2349   long volatile   state ;
2350   void *stack ;
2351   atomic_t usage ;
2352   unsigned int flags ;
2353   unsigned int ptrace ;
2354   struct llist_node wake_entry ;
2355   int on_cpu ;
2356   int on_rq ;
2357   int prio ;
2358   int static_prio ;
2359   int normal_prio ;
2360   unsigned int rt_priority ;
2361   struct sched_class  const  *sched_class ;
2362   struct sched_entity se ;
2363   struct sched_rt_entity rt ;
2364   struct hlist_head preempt_notifiers ;
2365   unsigned char fpu_counter ;
2366   unsigned int policy ;
2367   cpumask_t cpus_allowed ;
2368   struct sched_info sched_info ;
2369   struct list_head tasks ;
2370   struct plist_node pushable_tasks ;
2371   struct mm_struct *mm ;
2372   struct mm_struct *active_mm ;
2373   unsigned char brk_randomized : 1 ;
2374   int exit_state ;
2375   int exit_code ;
2376   int exit_signal ;
2377   int pdeath_signal ;
2378   unsigned int jobctl ;
2379   unsigned int personality ;
2380   unsigned char did_exec : 1 ;
2381   unsigned char in_execve : 1 ;
2382   unsigned char in_iowait : 1 ;
2383   unsigned char sched_reset_on_fork : 1 ;
2384   unsigned char sched_contributes_to_load : 1 ;
2385   unsigned char irq_thread : 1 ;
2386   pid_t pid ;
2387   pid_t tgid ;
2388   unsigned long stack_canary ;
2389   struct task_struct *real_parent ;
2390   struct task_struct *parent ;
2391   struct list_head children ;
2392   struct list_head sibling ;
2393   struct task_struct *group_leader ;
2394   struct list_head ptraced ;
2395   struct list_head ptrace_entry ;
2396   struct pid_link pids[3U] ;
2397   struct list_head thread_group ;
2398   struct completion *vfork_done ;
2399   int *set_child_tid ;
2400   int *clear_child_tid ;
2401   cputime_t utime ;
2402   cputime_t stime ;
2403   cputime_t utimescaled ;
2404   cputime_t stimescaled ;
2405   cputime_t gtime ;
2406   cputime_t prev_utime ;
2407   cputime_t prev_stime ;
2408   unsigned long nvcsw ;
2409   unsigned long nivcsw ;
2410   struct timespec start_time ;
2411   struct timespec real_start_time ;
2412   unsigned long min_flt ;
2413   unsigned long maj_flt ;
2414   struct task_cputime cputime_expires ;
2415   struct list_head cpu_timers[3U] ;
2416   struct cred  const  *real_cred ;
2417   struct cred  const  *cred ;
2418   struct cred *replacement_session_keyring ;
2419   char comm[16U] ;
2420   int link_count ;
2421   int total_link_count ;
2422   struct sysv_sem sysvsem ;
2423   unsigned long last_switch_count ;
2424   struct thread_struct thread ;
2425   struct fs_struct *fs ;
2426   struct files_struct *files ;
2427   struct nsproxy *nsproxy ;
2428   struct signal_struct *signal ;
2429   struct sighand_struct *sighand ;
2430   sigset_t blocked ;
2431   sigset_t real_blocked ;
2432   sigset_t saved_sigmask ;
2433   struct sigpending pending ;
2434   unsigned long sas_ss_sp ;
2435   size_t sas_ss_size ;
2436   int (*notifier)(void * ) ;
2437   void *notifier_data ;
2438   sigset_t *notifier_mask ;
2439   struct audit_context *audit_context ;
2440   uid_t loginuid ;
2441   unsigned int sessionid ;
2442   seccomp_t seccomp ;
2443   u32 parent_exec_id ;
2444   u32 self_exec_id ;
2445   spinlock_t alloc_lock ;
2446   raw_spinlock_t pi_lock ;
2447   struct plist_head pi_waiters ;
2448   struct rt_mutex_waiter *pi_blocked_on ;
2449   struct mutex_waiter *blocked_on ;
2450   unsigned int irq_events ;
2451   unsigned long hardirq_enable_ip ;
2452   unsigned long hardirq_disable_ip ;
2453   unsigned int hardirq_enable_event ;
2454   unsigned int hardirq_disable_event ;
2455   int hardirqs_enabled ;
2456   int hardirq_context ;
2457   unsigned long softirq_disable_ip ;
2458   unsigned long softirq_enable_ip ;
2459   unsigned int softirq_disable_event ;
2460   unsigned int softirq_enable_event ;
2461   int softirqs_enabled ;
2462   int softirq_context ;
2463   u64 curr_chain_key ;
2464   int lockdep_depth ;
2465   unsigned int lockdep_recursion ;
2466   struct held_lock held_locks[48U] ;
2467   gfp_t lockdep_reclaim_gfp ;
2468   void *journal_info ;
2469   struct bio_list *bio_list ;
2470   struct blk_plug *plug ;
2471   struct reclaim_state *reclaim_state ;
2472   struct backing_dev_info *backing_dev_info ;
2473   struct io_context *io_context ;
2474   unsigned long ptrace_message ;
2475   siginfo_t *last_siginfo ;
2476   struct task_io_accounting ioac ;
2477   u64 acct_rss_mem1 ;
2478   u64 acct_vm_mem1 ;
2479   cputime_t acct_timexpd ;
2480   nodemask_t mems_allowed ;
2481   seqcount_t mems_allowed_seq ;
2482   int cpuset_mem_spread_rotor ;
2483   int cpuset_slab_spread_rotor ;
2484   struct css_set *cgroups ;
2485   struct list_head cg_list ;
2486   struct robust_list_head *robust_list ;
2487   struct compat_robust_list_head *compat_robust_list ;
2488   struct list_head pi_state_list ;
2489   struct futex_pi_state *pi_state_cache ;
2490   struct perf_event_context *perf_event_ctxp[2U] ;
2491   struct mutex perf_event_mutex ;
2492   struct list_head perf_event_list ;
2493   struct mempolicy *mempolicy ;
2494   short il_next ;
2495   short pref_node_fork ;
2496   struct rcu_head rcu ;
2497   struct pipe_inode_info *splice_pipe ;
2498   struct task_delay_info *delays ;
2499   int make_it_fail ;
2500   int nr_dirtied ;
2501   int nr_dirtied_pause ;
2502   unsigned long dirty_paused_when ;
2503   int latency_record_count ;
2504   struct latency_record latency_record[32U] ;
2505   unsigned long timer_slack_ns ;
2506   unsigned long default_timer_slack_ns ;
2507   struct list_head *scm_work_list ;
2508   unsigned long trace ;
2509   unsigned long trace_recursion ;
2510   struct memcg_batch_info memcg_batch ;
2511   atomic_t ptrace_bp_refcnt ;
2512};
2513#line 28 "include/linux/of.h"
2514typedef u32 phandle;
2515#line 30 "include/linux/of.h"
2516struct property {
2517   char *name ;
2518   int length ;
2519   void *value ;
2520   struct property *next ;
2521   unsigned long _flags ;
2522   unsigned int unique_id ;
2523};
2524#line 39
2525struct proc_dir_entry;
2526#line 39 "include/linux/of.h"
2527struct device_node {
2528   char const   *name ;
2529   char const   *type ;
2530   phandle phandle ;
2531   char *full_name ;
2532   struct property *properties ;
2533   struct property *deadprops ;
2534   struct device_node *parent ;
2535   struct device_node *child ;
2536   struct device_node *sibling ;
2537   struct device_node *next ;
2538   struct device_node *allnext ;
2539   struct proc_dir_entry *pde ;
2540   struct kref kref ;
2541   unsigned long _flags ;
2542   void *data ;
2543};
2544#line 41 "include/linux/i2c.h"
2545struct i2c_msg;
2546#line 41
2547struct i2c_msg;
2548#line 42
2549struct i2c_algorithm;
2550#line 42
2551struct i2c_algorithm;
2552#line 43
2553struct i2c_adapter;
2554#line 43
2555struct i2c_adapter;
2556#line 44
2557struct i2c_client;
2558#line 44
2559struct i2c_client;
2560#line 45
2561struct i2c_driver;
2562#line 45
2563struct i2c_driver;
2564#line 46
2565union i2c_smbus_data;
2566#line 46
2567union i2c_smbus_data;
2568#line 47
2569struct i2c_board_info;
2570#line 47
2571struct i2c_board_info;
2572#line 119 "include/linux/i2c.h"
2573struct i2c_driver {
2574   unsigned int class ;
2575   int (*attach_adapter)(struct i2c_adapter * ) ;
2576   int (*detach_adapter)(struct i2c_adapter * ) ;
2577   int (*probe)(struct i2c_client * , struct i2c_device_id  const  * ) ;
2578   int (*remove)(struct i2c_client * ) ;
2579   void (*shutdown)(struct i2c_client * ) ;
2580   int (*suspend)(struct i2c_client * , pm_message_t  ) ;
2581   int (*resume)(struct i2c_client * ) ;
2582   void (*alert)(struct i2c_client * , unsigned int  ) ;
2583   int (*command)(struct i2c_client * , unsigned int  , void * ) ;
2584   struct device_driver driver ;
2585   struct i2c_device_id  const  *id_table ;
2586   int (*detect)(struct i2c_client * , struct i2c_board_info * ) ;
2587   unsigned short const   *address_list ;
2588   struct list_head clients ;
2589};
2590#line 200 "include/linux/i2c.h"
2591struct i2c_client {
2592   unsigned short flags ;
2593   unsigned short addr ;
2594   char name[20U] ;
2595   struct i2c_adapter *adapter ;
2596   struct i2c_driver *driver ;
2597   struct device dev ;
2598   int irq ;
2599   struct list_head detected ;
2600};
2601#line 251 "include/linux/i2c.h"
2602struct i2c_board_info {
2603   char type[20U] ;
2604   unsigned short flags ;
2605   unsigned short addr ;
2606   void *platform_data ;
2607   struct dev_archdata *archdata ;
2608   struct device_node *of_node ;
2609   int irq ;
2610};
2611#line 336 "include/linux/i2c.h"
2612struct i2c_algorithm {
2613   int (*master_xfer)(struct i2c_adapter * , struct i2c_msg * , int  ) ;
2614   int (*smbus_xfer)(struct i2c_adapter * , u16  , unsigned short  , char  , u8  ,
2615                     int  , union i2c_smbus_data * ) ;
2616   u32 (*functionality)(struct i2c_adapter * ) ;
2617};
2618#line 368 "include/linux/i2c.h"
2619struct i2c_adapter {
2620   struct module *owner ;
2621   unsigned int class ;
2622   struct i2c_algorithm  const  *algo ;
2623   void *algo_data ;
2624   struct rt_mutex bus_lock ;
2625   int timeout ;
2626   int retries ;
2627   struct device dev ;
2628   int nr ;
2629   char name[48U] ;
2630   struct completion dev_released ;
2631   struct mutex userspace_clients_lock ;
2632   struct list_head userspace_clients ;
2633};
2634#line 486 "include/linux/i2c.h"
2635struct i2c_msg {
2636   __u16 addr ;
2637   __u16 flags ;
2638   __u16 len ;
2639   __u8 *buf ;
2640};
2641#line 551 "include/linux/i2c.h"
2642union i2c_smbus_data {
2643   __u8 byte ;
2644   __u16 word ;
2645   __u8 block[34U] ;
2646};
2647#line 601 "include/linux/i2c.h"
2648struct rtc_time {
2649   int tm_sec ;
2650   int tm_min ;
2651   int tm_hour ;
2652   int tm_mday ;
2653   int tm_mon ;
2654   int tm_year ;
2655   int tm_wday ;
2656   int tm_yday ;
2657   int tm_isdst ;
2658};
2659#line 41 "include/asm-generic/sections.h"
2660struct exception_table_entry {
2661   unsigned long insn ;
2662   unsigned long fixup ;
2663};
2664#line 115 "include/linux/rtc.h"
2665struct path;
2666#line 115
2667struct path;
2668#line 116 "include/linux/rtc.h"
2669struct seq_file {
2670   char *buf ;
2671   size_t size ;
2672   size_t from ;
2673   size_t count ;
2674   loff_t index ;
2675   loff_t read_pos ;
2676   u64 version ;
2677   struct mutex lock ;
2678   struct seq_operations  const  *op ;
2679   int poll_event ;
2680   void *private ;
2681};
2682#line 30 "include/linux/seq_file.h"
2683struct seq_operations {
2684   void *(*start)(struct seq_file * , loff_t * ) ;
2685   void (*stop)(struct seq_file * , void * ) ;
2686   void *(*next)(struct seq_file * , void * , loff_t * ) ;
2687   int (*show)(struct seq_file * , void * ) ;
2688};
2689#line 89 "include/linux/kdev_t.h"
2690struct file_operations;
2691#line 89
2692struct file_operations;
2693#line 90 "include/linux/kdev_t.h"
2694struct cdev {
2695   struct kobject kobj ;
2696   struct module *owner ;
2697   struct file_operations  const  *ops ;
2698   struct list_head list ;
2699   dev_t dev ;
2700   unsigned int count ;
2701};
2702#line 41 "include/asm-generic/poll.h"
2703struct block_device;
2704#line 41
2705struct block_device;
2706#line 93 "include/linux/bit_spinlock.h"
2707struct hlist_bl_node;
2708#line 93 "include/linux/bit_spinlock.h"
2709struct hlist_bl_head {
2710   struct hlist_bl_node *first ;
2711};
2712#line 36 "include/linux/list_bl.h"
2713struct hlist_bl_node {
2714   struct hlist_bl_node *next ;
2715   struct hlist_bl_node **pprev ;
2716};
2717#line 114 "include/linux/rculist_bl.h"
2718struct nameidata;
2719#line 114
2720struct nameidata;
2721#line 115
2722struct vfsmount;
2723#line 115
2724struct vfsmount;
2725#line 116 "include/linux/rculist_bl.h"
2726struct qstr {
2727   unsigned int hash ;
2728   unsigned int len ;
2729   unsigned char const   *name ;
2730};
2731#line 72 "include/linux/dcache.h"
2732struct dentry_operations;
2733#line 72
2734struct super_block;
2735#line 72 "include/linux/dcache.h"
2736union __anonunion_d_u_165 {
2737   struct list_head d_child ;
2738   struct rcu_head d_rcu ;
2739};
2740#line 72 "include/linux/dcache.h"
2741struct dentry {
2742   unsigned int d_flags ;
2743   seqcount_t d_seq ;
2744   struct hlist_bl_node d_hash ;
2745   struct dentry *d_parent ;
2746   struct qstr d_name ;
2747   struct inode *d_inode ;
2748   unsigned char d_iname[32U] ;
2749   unsigned int d_count ;
2750   spinlock_t d_lock ;
2751   struct dentry_operations  const  *d_op ;
2752   struct super_block *d_sb ;
2753   unsigned long d_time ;
2754   void *d_fsdata ;
2755   struct list_head d_lru ;
2756   union __anonunion_d_u_165 d_u ;
2757   struct list_head d_subdirs ;
2758   struct list_head d_alias ;
2759};
2760#line 123 "include/linux/dcache.h"
2761struct dentry_operations {
2762   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
2763   int (*d_hash)(struct dentry  const  * , struct inode  const  * , struct qstr * ) ;
2764   int (*d_compare)(struct dentry  const  * , struct inode  const  * , struct dentry  const  * ,
2765                    struct inode  const  * , unsigned int  , char const   * , struct qstr  const  * ) ;
2766   int (*d_delete)(struct dentry  const  * ) ;
2767   void (*d_release)(struct dentry * ) ;
2768   void (*d_prune)(struct dentry * ) ;
2769   void (*d_iput)(struct dentry * , struct inode * ) ;
2770   char *(*d_dname)(struct dentry * , char * , int  ) ;
2771   struct vfsmount *(*d_automount)(struct path * ) ;
2772   int (*d_manage)(struct dentry * , bool  ) ;
2773};
2774#line 402 "include/linux/dcache.h"
2775struct path {
2776   struct vfsmount *mnt ;
2777   struct dentry *dentry ;
2778};
2779#line 58 "include/linux/radix-tree.h"
2780struct radix_tree_node;
2781#line 58 "include/linux/radix-tree.h"
2782struct radix_tree_root {
2783   unsigned int height ;
2784   gfp_t gfp_mask ;
2785   struct radix_tree_node *rnode ;
2786};
2787#line 45 "include/linux/semaphore.h"
2788struct fiemap_extent {
2789   __u64 fe_logical ;
2790   __u64 fe_physical ;
2791   __u64 fe_length ;
2792   __u64 fe_reserved64[2U] ;
2793   __u32 fe_flags ;
2794   __u32 fe_reserved[3U] ;
2795};
2796#line 38 "include/linux/fiemap.h"
2797struct shrink_control {
2798   gfp_t gfp_mask ;
2799   unsigned long nr_to_scan ;
2800};
2801#line 14 "include/linux/shrinker.h"
2802struct shrinker {
2803   int (*shrink)(struct shrinker * , struct shrink_control * ) ;
2804   int seeks ;
2805   long batch ;
2806   struct list_head list ;
2807   atomic_long_t nr_in_batch ;
2808};
2809#line 43
2810enum migrate_mode {
2811    MIGRATE_ASYNC = 0,
2812    MIGRATE_SYNC_LIGHT = 1,
2813    MIGRATE_SYNC = 2
2814} ;
2815#line 49
2816struct export_operations;
2817#line 49
2818struct export_operations;
2819#line 51
2820struct poll_table_struct;
2821#line 51
2822struct poll_table_struct;
2823#line 52
2824struct kstatfs;
2825#line 52
2826struct kstatfs;
2827#line 435 "include/linux/fs.h"
2828struct iattr {
2829   unsigned int ia_valid ;
2830   umode_t ia_mode ;
2831   uid_t ia_uid ;
2832   gid_t ia_gid ;
2833   loff_t ia_size ;
2834   struct timespec ia_atime ;
2835   struct timespec ia_mtime ;
2836   struct timespec ia_ctime ;
2837   struct file *ia_file ;
2838};
2839#line 119 "include/linux/quota.h"
2840struct if_dqinfo {
2841   __u64 dqi_bgrace ;
2842   __u64 dqi_igrace ;
2843   __u32 dqi_flags ;
2844   __u32 dqi_valid ;
2845};
2846#line 152 "include/linux/quota.h"
2847struct fs_disk_quota {
2848   __s8 d_version ;
2849   __s8 d_flags ;
2850   __u16 d_fieldmask ;
2851   __u32 d_id ;
2852   __u64 d_blk_hardlimit ;
2853   __u64 d_blk_softlimit ;
2854   __u64 d_ino_hardlimit ;
2855   __u64 d_ino_softlimit ;
2856   __u64 d_bcount ;
2857   __u64 d_icount ;
2858   __s32 d_itimer ;
2859   __s32 d_btimer ;
2860   __u16 d_iwarns ;
2861   __u16 d_bwarns ;
2862   __s32 d_padding2 ;
2863   __u64 d_rtb_hardlimit ;
2864   __u64 d_rtb_softlimit ;
2865   __u64 d_rtbcount ;
2866   __s32 d_rtbtimer ;
2867   __u16 d_rtbwarns ;
2868   __s16 d_padding3 ;
2869   char d_padding4[8U] ;
2870};
2871#line 75 "include/linux/dqblk_xfs.h"
2872struct fs_qfilestat {
2873   __u64 qfs_ino ;
2874   __u64 qfs_nblks ;
2875   __u32 qfs_nextents ;
2876};
2877#line 150 "include/linux/dqblk_xfs.h"
2878typedef struct fs_qfilestat fs_qfilestat_t;
2879#line 151 "include/linux/dqblk_xfs.h"
2880struct fs_quota_stat {
2881   __s8 qs_version ;
2882   __u16 qs_flags ;
2883   __s8 qs_pad ;
2884   fs_qfilestat_t qs_uquota ;
2885   fs_qfilestat_t qs_gquota ;
2886   __u32 qs_incoredqs ;
2887   __s32 qs_btimelimit ;
2888   __s32 qs_itimelimit ;
2889   __s32 qs_rtbtimelimit ;
2890   __u16 qs_bwarnlimit ;
2891   __u16 qs_iwarnlimit ;
2892};
2893#line 165
2894struct dquot;
2895#line 165
2896struct dquot;
2897#line 185 "include/linux/quota.h"
2898typedef __kernel_uid32_t qid_t;
2899#line 186 "include/linux/quota.h"
2900typedef long long qsize_t;
2901#line 189 "include/linux/quota.h"
2902struct mem_dqblk {
2903   qsize_t dqb_bhardlimit ;
2904   qsize_t dqb_bsoftlimit ;
2905   qsize_t dqb_curspace ;
2906   qsize_t dqb_rsvspace ;
2907   qsize_t dqb_ihardlimit ;
2908   qsize_t dqb_isoftlimit ;
2909   qsize_t dqb_curinodes ;
2910   time_t dqb_btime ;
2911   time_t dqb_itime ;
2912};
2913#line 211
2914struct quota_format_type;
2915#line 211
2916struct quota_format_type;
2917#line 212 "include/linux/quota.h"
2918struct mem_dqinfo {
2919   struct quota_format_type *dqi_format ;
2920   int dqi_fmt_id ;
2921   struct list_head dqi_dirty_list ;
2922   unsigned long dqi_flags ;
2923   unsigned int dqi_bgrace ;
2924   unsigned int dqi_igrace ;
2925   qsize_t dqi_maxblimit ;
2926   qsize_t dqi_maxilimit ;
2927   void *dqi_priv ;
2928};
2929#line 275 "include/linux/quota.h"
2930struct dquot {
2931   struct hlist_node dq_hash ;
2932   struct list_head dq_inuse ;
2933   struct list_head dq_free ;
2934   struct list_head dq_dirty ;
2935   struct mutex dq_lock ;
2936   atomic_t dq_count ;
2937   wait_queue_head_t dq_wait_unused ;
2938   struct super_block *dq_sb ;
2939   unsigned int dq_id ;
2940   loff_t dq_off ;
2941   unsigned long dq_flags ;
2942   short dq_type ;
2943   struct mem_dqblk dq_dqb ;
2944};
2945#line 303 "include/linux/quota.h"
2946struct quota_format_ops {
2947   int (*check_quota_file)(struct super_block * , int  ) ;
2948   int (*read_file_info)(struct super_block * , int  ) ;
2949   int (*write_file_info)(struct super_block * , int  ) ;
2950   int (*free_file_info)(struct super_block * , int  ) ;
2951   int (*read_dqblk)(struct dquot * ) ;
2952   int (*commit_dqblk)(struct dquot * ) ;
2953   int (*release_dqblk)(struct dquot * ) ;
2954};
2955#line 314 "include/linux/quota.h"
2956struct dquot_operations {
2957   int (*write_dquot)(struct dquot * ) ;
2958   struct dquot *(*alloc_dquot)(struct super_block * , int  ) ;
2959   void (*destroy_dquot)(struct dquot * ) ;
2960   int (*acquire_dquot)(struct dquot * ) ;
2961   int (*release_dquot)(struct dquot * ) ;
2962   int (*mark_dirty)(struct dquot * ) ;
2963   int (*write_info)(struct super_block * , int  ) ;
2964   qsize_t *(*get_reserved_space)(struct inode * ) ;
2965};
2966#line 328 "include/linux/quota.h"
2967struct quotactl_ops {
2968   int (*quota_on)(struct super_block * , int  , int  , struct path * ) ;
2969   int (*quota_on_meta)(struct super_block * , int  , int  ) ;
2970   int (*quota_off)(struct super_block * , int  ) ;
2971   int (*quota_sync)(struct super_block * , int  , int  ) ;
2972   int (*get_info)(struct super_block * , int  , struct if_dqinfo * ) ;
2973   int (*set_info)(struct super_block * , int  , struct if_dqinfo * ) ;
2974   int (*get_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
2975   int (*set_dqblk)(struct super_block * , int  , qid_t  , struct fs_disk_quota * ) ;
2976   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
2977   int (*set_xstate)(struct super_block * , unsigned int  , int  ) ;
2978};
2979#line 344 "include/linux/quota.h"
2980struct quota_format_type {
2981   int qf_fmt_id ;
2982   struct quota_format_ops  const  *qf_ops ;
2983   struct module *qf_owner ;
2984   struct quota_format_type *qf_next ;
2985};
2986#line 390 "include/linux/quota.h"
2987struct quota_info {
2988   unsigned int flags ;
2989   struct mutex dqio_mutex ;
2990   struct mutex dqonoff_mutex ;
2991   struct rw_semaphore dqptr_sem ;
2992   struct inode *files[2U] ;
2993   struct mem_dqinfo info[2U] ;
2994   struct quota_format_ops  const  *ops[2U] ;
2995};
2996#line 421
2997struct writeback_control;
2998#line 421
2999struct writeback_control;
3000#line 585 "include/linux/fs.h"
3001union __anonunion_arg_167 {
3002   char *buf ;
3003   void *data ;
3004};
3005#line 585 "include/linux/fs.h"
3006struct __anonstruct_read_descriptor_t_166 {
3007   size_t written ;
3008   size_t count ;
3009   union __anonunion_arg_167 arg ;
3010   int error ;
3011};
3012#line 585 "include/linux/fs.h"
3013typedef struct __anonstruct_read_descriptor_t_166 read_descriptor_t;
3014#line 588 "include/linux/fs.h"
3015struct address_space_operations {
3016   int (*writepage)(struct page * , struct writeback_control * ) ;
3017   int (*readpage)(struct file * , struct page * ) ;
3018   int (*writepages)(struct address_space * , struct writeback_control * ) ;
3019   int (*set_page_dirty)(struct page * ) ;
3020   int (*readpages)(struct file * , struct address_space * , struct list_head * ,
3021                    unsigned int  ) ;
3022   int (*write_begin)(struct file * , struct address_space * , loff_t  , unsigned int  ,
3023                      unsigned int  , struct page ** , void ** ) ;
3024   int (*write_end)(struct file * , struct address_space * , loff_t  , unsigned int  ,
3025                    unsigned int  , struct page * , void * ) ;
3026   sector_t (*bmap)(struct address_space * , sector_t  ) ;
3027   void (*invalidatepage)(struct page * , unsigned long  ) ;
3028   int (*releasepage)(struct page * , gfp_t  ) ;
3029   void (*freepage)(struct page * ) ;
3030   ssize_t (*direct_IO)(int  , struct kiocb * , struct iovec  const  * , loff_t  ,
3031                        unsigned long  ) ;
3032   int (*get_xip_mem)(struct address_space * , unsigned long  , int  , void ** , unsigned long * ) ;
3033   int (*migratepage)(struct address_space * , struct page * , struct page * , enum migrate_mode  ) ;
3034   int (*launder_page)(struct page * ) ;
3035   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long  ) ;
3036   int (*error_remove_page)(struct address_space * , struct page * ) ;
3037};
3038#line 642 "include/linux/fs.h"
3039struct address_space {
3040   struct inode *host ;
3041   struct radix_tree_root page_tree ;
3042   spinlock_t tree_lock ;
3043   unsigned int i_mmap_writable ;
3044   struct prio_tree_root i_mmap ;
3045   struct list_head i_mmap_nonlinear ;
3046   struct mutex i_mmap_mutex ;
3047   unsigned long nrpages ;
3048   unsigned long writeback_index ;
3049   struct address_space_operations  const  *a_ops ;
3050   unsigned long flags ;
3051   struct backing_dev_info *backing_dev_info ;
3052   spinlock_t private_lock ;
3053   struct list_head private_list ;
3054   struct address_space *assoc_mapping ;
3055};
3056#line 664
3057struct request_queue;
3058#line 664
3059struct request_queue;
3060#line 665
3061struct hd_struct;
3062#line 665
3063struct gendisk;
3064#line 665 "include/linux/fs.h"
3065struct block_device {
3066   dev_t bd_dev ;
3067   int bd_openers ;
3068   struct inode *bd_inode ;
3069   struct super_block *bd_super ;
3070   struct mutex bd_mutex ;
3071   struct list_head bd_inodes ;
3072   void *bd_claiming ;
3073   void *bd_holder ;
3074   int bd_holders ;
3075   bool bd_write_holder ;
3076   struct list_head bd_holder_disks ;
3077   struct block_device *bd_contains ;
3078   unsigned int bd_block_size ;
3079   struct hd_struct *bd_part ;
3080   unsigned int bd_part_count ;
3081   int bd_invalidated ;
3082   struct gendisk *bd_disk ;
3083   struct request_queue *bd_queue ;
3084   struct list_head bd_list ;
3085   unsigned long bd_private ;
3086   int bd_fsfreeze_count ;
3087   struct mutex bd_fsfreeze_mutex ;
3088};
3089#line 737
3090struct posix_acl;
3091#line 737
3092struct posix_acl;
3093#line 738
3094struct inode_operations;
3095#line 738 "include/linux/fs.h"
3096union __anonunion_ldv_21564_168 {
3097   unsigned int const   i_nlink ;
3098   unsigned int __i_nlink ;
3099};
3100#line 738 "include/linux/fs.h"
3101union __anonunion_ldv_21583_169 {
3102   struct list_head i_dentry ;
3103   struct rcu_head i_rcu ;
3104};
3105#line 738
3106struct file_lock;
3107#line 738 "include/linux/fs.h"
3108union __anonunion_ldv_21599_170 {
3109   struct pipe_inode_info *i_pipe ;
3110   struct block_device *i_bdev ;
3111   struct cdev *i_cdev ;
3112};
3113#line 738 "include/linux/fs.h"
3114struct inode {
3115   umode_t i_mode ;
3116   unsigned short i_opflags ;
3117   uid_t i_uid ;
3118   gid_t i_gid ;
3119   unsigned int i_flags ;
3120   struct posix_acl *i_acl ;
3121   struct posix_acl *i_default_acl ;
3122   struct inode_operations  const  *i_op ;
3123   struct super_block *i_sb ;
3124   struct address_space *i_mapping ;
3125   void *i_security ;
3126   unsigned long i_ino ;
3127   union __anonunion_ldv_21564_168 ldv_21564 ;
3128   dev_t i_rdev ;
3129   struct timespec i_atime ;
3130   struct timespec i_mtime ;
3131   struct timespec i_ctime ;
3132   spinlock_t i_lock ;
3133   unsigned short i_bytes ;
3134   blkcnt_t i_blocks ;
3135   loff_t i_size ;
3136   unsigned long i_state ;
3137   struct mutex i_mutex ;
3138   unsigned long dirtied_when ;
3139   struct hlist_node i_hash ;
3140   struct list_head i_wb_list ;
3141   struct list_head i_lru ;
3142   struct list_head i_sb_list ;
3143   union __anonunion_ldv_21583_169 ldv_21583 ;
3144   atomic_t i_count ;
3145   unsigned int i_blkbits ;
3146   u64 i_version ;
3147   atomic_t i_dio_count ;
3148   atomic_t i_writecount ;
3149   struct file_operations  const  *i_fop ;
3150   struct file_lock *i_flock ;
3151   struct address_space i_data ;
3152   struct dquot *i_dquot[2U] ;
3153   struct list_head i_devices ;
3154   union __anonunion_ldv_21599_170 ldv_21599 ;
3155   __u32 i_generation ;
3156   __u32 i_fsnotify_mask ;
3157   struct hlist_head i_fsnotify_marks ;
3158   atomic_t i_readcount ;
3159   void *i_private ;
3160};
3161#line 941 "include/linux/fs.h"
3162struct fown_struct {
3163   rwlock_t lock ;
3164   struct pid *pid ;
3165   enum pid_type pid_type ;
3166   uid_t uid ;
3167   uid_t euid ;
3168   int signum ;
3169};
3170#line 949 "include/linux/fs.h"
3171struct file_ra_state {
3172   unsigned long start ;
3173   unsigned int size ;
3174   unsigned int async_size ;
3175   unsigned int ra_pages ;
3176   unsigned int mmap_miss ;
3177   loff_t prev_pos ;
3178};
3179#line 972 "include/linux/fs.h"
3180union __anonunion_f_u_171 {
3181   struct list_head fu_list ;
3182   struct rcu_head fu_rcuhead ;
3183};
3184#line 972 "include/linux/fs.h"
3185struct file {
3186   union __anonunion_f_u_171 f_u ;
3187   struct path f_path ;
3188   struct file_operations  const  *f_op ;
3189   spinlock_t f_lock ;
3190   int f_sb_list_cpu ;
3191   atomic_long_t f_count ;
3192   unsigned int f_flags ;
3193   fmode_t f_mode ;
3194   loff_t f_pos ;
3195   struct fown_struct f_owner ;
3196   struct cred  const  *f_cred ;
3197   struct file_ra_state f_ra ;
3198   u64 f_version ;
3199   void *f_security ;
3200   void *private_data ;
3201   struct list_head f_ep_links ;
3202   struct list_head f_tfile_llink ;
3203   struct address_space *f_mapping ;
3204   unsigned long f_mnt_write_state ;
3205};
3206#line 1111 "include/linux/fs.h"
3207typedef struct files_struct *fl_owner_t;
3208#line 1112 "include/linux/fs.h"
3209struct file_lock_operations {
3210   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
3211   void (*fl_release_private)(struct file_lock * ) ;
3212};
3213#line 1117 "include/linux/fs.h"
3214struct lock_manager_operations {
3215   int (*lm_compare_owner)(struct file_lock * , struct file_lock * ) ;
3216   void (*lm_notify)(struct file_lock * ) ;
3217   int (*lm_grant)(struct file_lock * , struct file_lock * , int  ) ;
3218   void (*lm_release_private)(struct file_lock * ) ;
3219   void (*lm_break)(struct file_lock * ) ;
3220   int (*lm_change)(struct file_lock ** , int  ) ;
3221};
3222#line 1134
3223struct nlm_lockowner;
3224#line 1134
3225struct nlm_lockowner;
3226#line 1135 "include/linux/fs.h"
3227struct nfs_lock_info {
3228   u32 state ;
3229   struct nlm_lockowner *owner ;
3230   struct list_head list ;
3231};
3232#line 14 "include/linux/nfs_fs_i.h"
3233struct nfs4_lock_state;
3234#line 14
3235struct nfs4_lock_state;
3236#line 15 "include/linux/nfs_fs_i.h"
3237struct nfs4_lock_info {
3238   struct nfs4_lock_state *owner ;
3239};
3240#line 19
3241struct fasync_struct;
3242#line 19 "include/linux/nfs_fs_i.h"
3243struct __anonstruct_afs_173 {
3244   struct list_head link ;
3245   int state ;
3246};
3247#line 19 "include/linux/nfs_fs_i.h"
3248union __anonunion_fl_u_172 {
3249   struct nfs_lock_info nfs_fl ;
3250   struct nfs4_lock_info nfs4_fl ;
3251   struct __anonstruct_afs_173 afs ;
3252};
3253#line 19 "include/linux/nfs_fs_i.h"
3254struct file_lock {
3255   struct file_lock *fl_next ;
3256   struct list_head fl_link ;
3257   struct list_head fl_block ;
3258   fl_owner_t fl_owner ;
3259   unsigned int fl_flags ;
3260   unsigned char fl_type ;
3261   unsigned int fl_pid ;
3262   struct pid *fl_nspid ;
3263   wait_queue_head_t fl_wait ;
3264   struct file *fl_file ;
3265   loff_t fl_start ;
3266   loff_t fl_end ;
3267   struct fasync_struct *fl_fasync ;
3268   unsigned long fl_break_time ;
3269   unsigned long fl_downgrade_time ;
3270   struct file_lock_operations  const  *fl_ops ;
3271   struct lock_manager_operations  const  *fl_lmops ;
3272   union __anonunion_fl_u_172 fl_u ;
3273};
3274#line 1221 "include/linux/fs.h"
3275struct fasync_struct {
3276   spinlock_t fa_lock ;
3277   int magic ;
3278   int fa_fd ;
3279   struct fasync_struct *fa_next ;
3280   struct file *fa_file ;
3281   struct rcu_head fa_rcu ;
3282};
3283#line 1417
3284struct file_system_type;
3285#line 1417
3286struct super_operations;
3287#line 1417
3288struct xattr_handler;
3289#line 1417
3290struct mtd_info;
3291#line 1417 "include/linux/fs.h"
3292struct super_block {
3293   struct list_head s_list ;
3294   dev_t s_dev ;
3295   unsigned char s_dirt ;
3296   unsigned char s_blocksize_bits ;
3297   unsigned long s_blocksize ;
3298   loff_t s_maxbytes ;
3299   struct file_system_type *s_type ;
3300   struct super_operations  const  *s_op ;
3301   struct dquot_operations  const  *dq_op ;
3302   struct quotactl_ops  const  *s_qcop ;
3303   struct export_operations  const  *s_export_op ;
3304   unsigned long s_flags ;
3305   unsigned long s_magic ;
3306   struct dentry *s_root ;
3307   struct rw_semaphore s_umount ;
3308   struct mutex s_lock ;
3309   int s_count ;
3310   atomic_t s_active ;
3311   void *s_security ;
3312   struct xattr_handler  const  **s_xattr ;
3313   struct list_head s_inodes ;
3314   struct hlist_bl_head s_anon ;
3315   struct list_head *s_files ;
3316   struct list_head s_mounts ;
3317   struct list_head s_dentry_lru ;
3318   int s_nr_dentry_unused ;
3319   spinlock_t s_inode_lru_lock ;
3320   struct list_head s_inode_lru ;
3321   int s_nr_inodes_unused ;
3322   struct block_device *s_bdev ;
3323   struct backing_dev_info *s_bdi ;
3324   struct mtd_info *s_mtd ;
3325   struct hlist_node s_instances ;
3326   struct quota_info s_dquot ;
3327   int s_frozen ;
3328   wait_queue_head_t s_wait_unfrozen ;
3329   char s_id[32U] ;
3330   u8 s_uuid[16U] ;
3331   void *s_fs_info ;
3332   unsigned int s_max_links ;
3333   fmode_t s_mode ;
3334   u32 s_time_gran ;
3335   struct mutex s_vfs_rename_mutex ;
3336   char *s_subtype ;
3337   char *s_options ;
3338   struct dentry_operations  const  *s_d_op ;
3339   int cleancache_poolid ;
3340   struct shrinker s_shrink ;
3341   atomic_long_t s_remove_count ;
3342   int s_readonly_remount ;
3343};
3344#line 1563 "include/linux/fs.h"
3345struct fiemap_extent_info {
3346   unsigned int fi_flags ;
3347   unsigned int fi_extents_mapped ;
3348   unsigned int fi_extents_max ;
3349   struct fiemap_extent *fi_extents_start ;
3350};
3351#line 1602 "include/linux/fs.h"
3352struct file_operations {
3353   struct module *owner ;
3354   loff_t (*llseek)(struct file * , loff_t  , int  ) ;
3355   ssize_t (*read)(struct file * , char * , size_t  , loff_t * ) ;
3356   ssize_t (*write)(struct file * , char const   * , size_t  , loff_t * ) ;
3357   ssize_t (*aio_read)(struct kiocb * , struct iovec  const  * , unsigned long  ,
3358                       loff_t  ) ;
3359   ssize_t (*aio_write)(struct kiocb * , struct iovec  const  * , unsigned long  ,
3360                        loff_t  ) ;
3361   int (*readdir)(struct file * , void * , int (*)(void * , char const   * , int  ,
3362                                                   loff_t  , u64  , unsigned int  ) ) ;
3363   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
3364   long (*unlocked_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
3365   long (*compat_ioctl)(struct file * , unsigned int  , unsigned long  ) ;
3366   int (*mmap)(struct file * , struct vm_area_struct * ) ;
3367   int (*open)(struct inode * , struct file * ) ;
3368   int (*flush)(struct file * , fl_owner_t  ) ;
3369   int (*release)(struct inode * , struct file * ) ;
3370   int (*fsync)(struct file * , loff_t  , loff_t  , int  ) ;
3371   int (*aio_fsync)(struct kiocb * , int  ) ;
3372   int (*fasync)(int  , struct file * , int  ) ;
3373   int (*lock)(struct file * , int  , struct file_lock * ) ;
3374   ssize_t (*sendpage)(struct file * , struct page * , int  , size_t  , loff_t * ,
3375                       int  ) ;
3376   unsigned long (*get_unmapped_area)(struct file * , unsigned long  , unsigned long  ,
3377                                      unsigned long  , unsigned long  ) ;
3378   int (*check_flags)(int  ) ;
3379   int (*flock)(struct file * , int  , struct file_lock * ) ;
3380   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t  ,
3381                           unsigned int  ) ;
3382   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t  ,
3383                          unsigned int  ) ;
3384   int (*setlease)(struct file * , long  , struct file_lock ** ) ;
3385   long (*fallocate)(struct file * , int  , loff_t  , loff_t  ) ;
3386};
3387#line 1637 "include/linux/fs.h"
3388struct inode_operations {
3389   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
3390   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
3391   int (*permission)(struct inode * , int  ) ;
3392   struct posix_acl *(*get_acl)(struct inode * , int  ) ;
3393   int (*readlink)(struct dentry * , char * , int  ) ;
3394   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
3395   int (*create)(struct inode * , struct dentry * , umode_t  , struct nameidata * ) ;
3396   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
3397   int (*unlink)(struct inode * , struct dentry * ) ;
3398   int (*symlink)(struct inode * , struct dentry * , char const   * ) ;
3399   int (*mkdir)(struct inode * , struct dentry * , umode_t  ) ;
3400   int (*rmdir)(struct inode * , struct dentry * ) ;
3401   int (*mknod)(struct inode * , struct dentry * , umode_t  , dev_t  ) ;
3402   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
3403   void (*truncate)(struct inode * ) ;
3404   int (*setattr)(struct dentry * , struct iattr * ) ;
3405   int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
3406   int (*setxattr)(struct dentry * , char const   * , void const   * , size_t  , int  ) ;
3407   ssize_t (*getxattr)(struct dentry * , char const   * , void * , size_t  ) ;
3408   ssize_t (*listxattr)(struct dentry * , char * , size_t  ) ;
3409   int (*removexattr)(struct dentry * , char const   * ) ;
3410   void (*truncate_range)(struct inode * , loff_t  , loff_t  ) ;
3411   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64  , u64  ) ;
3412};
3413#line 1682 "include/linux/fs.h"
3414struct super_operations {
3415   struct inode *(*alloc_inode)(struct super_block * ) ;
3416   void (*destroy_inode)(struct inode * ) ;
3417   void (*dirty_inode)(struct inode * , int  ) ;
3418   int (*write_inode)(struct inode * , struct writeback_control * ) ;
3419   int (*drop_inode)(struct inode * ) ;
3420   void (*evict_inode)(struct inode * ) ;
3421   void (*put_super)(struct super_block * ) ;
3422   void (*write_super)(struct super_block * ) ;
3423   int (*sync_fs)(struct super_block * , int  ) ;
3424   int (*freeze_fs)(struct super_block * ) ;
3425   int (*unfreeze_fs)(struct super_block * ) ;
3426   int (*statfs)(struct dentry * , struct kstatfs * ) ;
3427   int (*remount_fs)(struct super_block * , int * , char * ) ;
3428   void (*umount_begin)(struct super_block * ) ;
3429   int (*show_options)(struct seq_file * , struct dentry * ) ;
3430   int (*show_devname)(struct seq_file * , struct dentry * ) ;
3431   int (*show_path)(struct seq_file * , struct dentry * ) ;
3432   int (*show_stats)(struct seq_file * , struct dentry * ) ;
3433   ssize_t (*quota_read)(struct super_block * , int  , char * , size_t  , loff_t  ) ;
3434   ssize_t (*quota_write)(struct super_block * , int  , char const   * , size_t  ,
3435                          loff_t  ) ;
3436   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t  ) ;
3437   int (*nr_cached_objects)(struct super_block * ) ;
3438   void (*free_cached_objects)(struct super_block * , int  ) ;
3439};
3440#line 1834 "include/linux/fs.h"
3441struct file_system_type {
3442   char const   *name ;
3443   int fs_flags ;
3444   struct dentry *(*mount)(struct file_system_type * , int  , char const   * , void * ) ;
3445   void (*kill_sb)(struct super_block * ) ;
3446   struct module *owner ;
3447   struct file_system_type *next ;
3448   struct hlist_head fs_supers ;
3449   struct lock_class_key s_lock_key ;
3450   struct lock_class_key s_umount_key ;
3451   struct lock_class_key s_vfs_rename_key ;
3452   struct lock_class_key i_lock_key ;
3453   struct lock_class_key i_mutex_key ;
3454   struct lock_class_key i_mutex_dir_key ;
3455};
3456#line 34 "include/linux/poll.h"
3457struct poll_table_struct {
3458   void (*_qproc)(struct file * , wait_queue_head_t * , struct poll_table_struct * ) ;
3459   unsigned long _key ;
3460};
3461#line 1 "<compiler builtins>"
3462long __builtin_expect(long  , long  ) ;
3463#line 2 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
3464void ldv_spin_lock(void) ;
3465#line 3
3466void ldv_spin_unlock(void) ;
3467#line 4
3468int ldv_spin_trylock(void) ;
3469#line 50 "include/linux/dynamic_debug.h"
3470extern int __dynamic_dev_dbg(struct _ddebug * , struct device  const  * , char const   * 
3471                             , ...) ;
3472#line 220 "include/linux/slub_def.h"
3473extern void *kmem_cache_alloc(struct kmem_cache * , gfp_t  ) ;
3474#line 223
3475void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) ;
3476#line 11 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
3477void ldv_check_alloc_flags(gfp_t flags ) ;
3478#line 12
3479void ldv_check_alloc_nonatomic(void) ;
3480#line 14
3481struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) ;
3482#line 892 "include/linux/device.h"
3483extern int dev_err(struct device  const  * , char const   *  , ...) ;
3484#line 62 "include/linux/i2c.h"
3485extern int i2c_master_send(struct i2c_client  const  * , char const   * , int  ) ;
3486#line 69
3487extern int i2c_transfer(struct i2c_adapter * , struct i2c_msg * , int  ) ;
3488#line 112 "include/linux/rtc.h"
3489extern void rtc_time_to_tm(unsigned long  , struct rtc_time * ) ;
3490#line 48 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
3491static int ds1672_get_datetime(struct i2c_client *client , struct rtc_time *tm ) 
3492{ unsigned long time ;
3493  unsigned char addr ;
3494  unsigned char buf[4U] ;
3495  struct i2c_msg msgs[2U] ;
3496  int tmp ;
3497  struct _ddebug descriptor ;
3498  long tmp___0 ;
3499  struct _ddebug descriptor___0 ;
3500  long tmp___1 ;
3501  unsigned char *__cil_tmp12 ;
3502  unsigned long __cil_tmp13 ;
3503  unsigned long __cil_tmp14 ;
3504  unsigned long __cil_tmp15 ;
3505  unsigned long __cil_tmp16 ;
3506  unsigned long __cil_tmp17 ;
3507  unsigned long __cil_tmp18 ;
3508  unsigned long __cil_tmp19 ;
3509  unsigned long __cil_tmp20 ;
3510  unsigned long __cil_tmp21 ;
3511  unsigned long __cil_tmp22 ;
3512  unsigned long __cil_tmp23 ;
3513  unsigned long __cil_tmp24 ;
3514  unsigned long __cil_tmp25 ;
3515  unsigned long __cil_tmp26 ;
3516  unsigned long __cil_tmp27 ;
3517  unsigned long __cil_tmp28 ;
3518  unsigned long __cil_tmp29 ;
3519  unsigned long __cil_tmp30 ;
3520  unsigned long __cil_tmp31 ;
3521  unsigned long __cil_tmp32 ;
3522  unsigned long __cil_tmp33 ;
3523  unsigned long __cil_tmp34 ;
3524  unsigned long __cil_tmp35 ;
3525  unsigned long __cil_tmp36 ;
3526  unsigned long __cil_tmp37 ;
3527  unsigned long __cil_tmp38 ;
3528  unsigned long __cil_tmp39 ;
3529  unsigned long __cil_tmp40 ;
3530  struct i2c_adapter *__cil_tmp41 ;
3531  struct i2c_msg *__cil_tmp42 ;
3532  unsigned long __cil_tmp43 ;
3533  unsigned long __cil_tmp44 ;
3534  struct device *__cil_tmp45 ;
3535  struct device  const  *__cil_tmp46 ;
3536  struct _ddebug *__cil_tmp47 ;
3537  unsigned long __cil_tmp48 ;
3538  unsigned long __cil_tmp49 ;
3539  unsigned long __cil_tmp50 ;
3540  unsigned long __cil_tmp51 ;
3541  unsigned long __cil_tmp52 ;
3542  unsigned long __cil_tmp53 ;
3543  unsigned char __cil_tmp54 ;
3544  long __cil_tmp55 ;
3545  long __cil_tmp56 ;
3546  unsigned long __cil_tmp57 ;
3547  unsigned long __cil_tmp58 ;
3548  struct device *__cil_tmp59 ;
3549  struct device  const  *__cil_tmp60 ;
3550  unsigned long __cil_tmp61 ;
3551  unsigned long __cil_tmp62 ;
3552  unsigned char __cil_tmp63 ;
3553  int __cil_tmp64 ;
3554  unsigned long __cil_tmp65 ;
3555  unsigned long __cil_tmp66 ;
3556  unsigned char __cil_tmp67 ;
3557  int __cil_tmp68 ;
3558  unsigned long __cil_tmp69 ;
3559  unsigned long __cil_tmp70 ;
3560  unsigned char __cil_tmp71 ;
3561  int __cil_tmp72 ;
3562  unsigned long __cil_tmp73 ;
3563  unsigned long __cil_tmp74 ;
3564  unsigned char __cil_tmp75 ;
3565  int __cil_tmp76 ;
3566  unsigned long __cil_tmp77 ;
3567  unsigned long __cil_tmp78 ;
3568  unsigned char __cil_tmp79 ;
3569  int __cil_tmp80 ;
3570  unsigned long __cil_tmp81 ;
3571  unsigned long __cil_tmp82 ;
3572  unsigned char __cil_tmp83 ;
3573  int __cil_tmp84 ;
3574  int __cil_tmp85 ;
3575  unsigned long __cil_tmp86 ;
3576  unsigned long __cil_tmp87 ;
3577  unsigned char __cil_tmp88 ;
3578  int __cil_tmp89 ;
3579  int __cil_tmp90 ;
3580  unsigned long __cil_tmp91 ;
3581  unsigned long __cil_tmp92 ;
3582  unsigned char __cil_tmp93 ;
3583  int __cil_tmp94 ;
3584  int __cil_tmp95 ;
3585  int __cil_tmp96 ;
3586  int __cil_tmp97 ;
3587  int __cil_tmp98 ;
3588  struct _ddebug *__cil_tmp99 ;
3589  unsigned long __cil_tmp100 ;
3590  unsigned long __cil_tmp101 ;
3591  unsigned long __cil_tmp102 ;
3592  unsigned long __cil_tmp103 ;
3593  unsigned long __cil_tmp104 ;
3594  unsigned long __cil_tmp105 ;
3595  unsigned char __cil_tmp106 ;
3596  long __cil_tmp107 ;
3597  long __cil_tmp108 ;
3598  unsigned long __cil_tmp109 ;
3599  unsigned long __cil_tmp110 ;
3600  struct device *__cil_tmp111 ;
3601  struct device  const  *__cil_tmp112 ;
3602  int __cil_tmp113 ;
3603  unsigned long __cil_tmp114 ;
3604  unsigned long __cil_tmp115 ;
3605  int __cil_tmp116 ;
3606  unsigned long __cil_tmp117 ;
3607  unsigned long __cil_tmp118 ;
3608  int __cil_tmp119 ;
3609  unsigned long __cil_tmp120 ;
3610  unsigned long __cil_tmp121 ;
3611  int __cil_tmp122 ;
3612  unsigned long __cil_tmp123 ;
3613  unsigned long __cil_tmp124 ;
3614  int __cil_tmp125 ;
3615  unsigned long __cil_tmp126 ;
3616  unsigned long __cil_tmp127 ;
3617  int __cil_tmp128 ;
3618  unsigned long __cil_tmp129 ;
3619  unsigned long __cil_tmp130 ;
3620  int __cil_tmp131 ;
3621
3622  {
3623  {
3624#line 51
3625  __cil_tmp12 = & addr;
3626#line 51
3627  *__cil_tmp12 = (unsigned char)0;
3628#line 54
3629  __cil_tmp13 = 0 * 16UL;
3630#line 54
3631  __cil_tmp14 = (unsigned long )(msgs) + __cil_tmp13;
3632#line 54
3633  __cil_tmp15 = (unsigned long )client;
3634#line 54
3635  __cil_tmp16 = __cil_tmp15 + 2;
3636#line 54
3637  *((__u16 *)__cil_tmp14) = *((unsigned short *)__cil_tmp16);
3638#line 54
3639  __cil_tmp17 = 0 * 16UL;
3640#line 54
3641  __cil_tmp18 = __cil_tmp17 + 2;
3642#line 54
3643  __cil_tmp19 = (unsigned long )(msgs) + __cil_tmp18;
3644#line 54
3645  *((__u16 *)__cil_tmp19) = (__u16 )0U;
3646#line 54
3647  __cil_tmp20 = 0 * 16UL;
3648#line 54
3649  __cil_tmp21 = __cil_tmp20 + 4;
3650#line 54
3651  __cil_tmp22 = (unsigned long )(msgs) + __cil_tmp21;
3652#line 54
3653  *((__u16 *)__cil_tmp22) = (__u16 )1U;
3654#line 54
3655  __cil_tmp23 = 0 * 16UL;
3656#line 54
3657  __cil_tmp24 = __cil_tmp23 + 8;
3658#line 54
3659  __cil_tmp25 = (unsigned long )(msgs) + __cil_tmp24;
3660#line 54
3661  *((__u8 **)__cil_tmp25) = & addr;
3662#line 54
3663  __cil_tmp26 = 1 * 16UL;
3664#line 54
3665  __cil_tmp27 = (unsigned long )(msgs) + __cil_tmp26;
3666#line 54
3667  __cil_tmp28 = (unsigned long )client;
3668#line 54
3669  __cil_tmp29 = __cil_tmp28 + 2;
3670#line 54
3671  *((__u16 *)__cil_tmp27) = *((unsigned short *)__cil_tmp29);
3672#line 54
3673  __cil_tmp30 = 1 * 16UL;
3674#line 54
3675  __cil_tmp31 = __cil_tmp30 + 2;
3676#line 54
3677  __cil_tmp32 = (unsigned long )(msgs) + __cil_tmp31;
3678#line 54
3679  *((__u16 *)__cil_tmp32) = (__u16 )1U;
3680#line 54
3681  __cil_tmp33 = 1 * 16UL;
3682#line 54
3683  __cil_tmp34 = __cil_tmp33 + 4;
3684#line 54
3685  __cil_tmp35 = (unsigned long )(msgs) + __cil_tmp34;
3686#line 54
3687  *((__u16 *)__cil_tmp35) = (__u16 )4U;
3688#line 54
3689  __cil_tmp36 = 1 * 16UL;
3690#line 54
3691  __cil_tmp37 = __cil_tmp36 + 8;
3692#line 54
3693  __cil_tmp38 = (unsigned long )(msgs) + __cil_tmp37;
3694#line 54
3695  *((__u8 **)__cil_tmp38) = (__u8 *)(& buf);
3696#line 60
3697  __cil_tmp39 = (unsigned long )client;
3698#line 60
3699  __cil_tmp40 = __cil_tmp39 + 24;
3700#line 60
3701  __cil_tmp41 = *((struct i2c_adapter **)__cil_tmp40);
3702#line 60
3703  __cil_tmp42 = (struct i2c_msg *)(& msgs);
3704#line 60
3705  tmp = i2c_transfer(__cil_tmp41, __cil_tmp42, 2);
3706  }
3707#line 60
3708  if (tmp != 2) {
3709    {
3710#line 61
3711    __cil_tmp43 = (unsigned long )client;
3712#line 61
3713    __cil_tmp44 = __cil_tmp43 + 40;
3714#line 61
3715    __cil_tmp45 = (struct device *)__cil_tmp44;
3716#line 61
3717    __cil_tmp46 = (struct device  const  *)__cil_tmp45;
3718#line 61
3719    dev_err(__cil_tmp46, "%s: read error\n", "ds1672_get_datetime");
3720    }
3721#line 62
3722    return (-5);
3723  } else {
3724
3725  }
3726  {
3727#line 65
3728  __cil_tmp47 = & descriptor;
3729#line 65
3730  *((char const   **)__cil_tmp47) = "rtc_ds1672";
3731#line 65
3732  __cil_tmp48 = (unsigned long )(& descriptor) + 8;
3733#line 65
3734  *((char const   **)__cil_tmp48) = "ds1672_get_datetime";
3735#line 65
3736  __cil_tmp49 = (unsigned long )(& descriptor) + 16;
3737#line 65
3738  *((char const   **)__cil_tmp49) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p";
3739#line 65
3740  __cil_tmp50 = (unsigned long )(& descriptor) + 24;
3741#line 65
3742  *((char const   **)__cil_tmp50) = "%s: raw read data - counters=%02x,%02x,%02x,%02x\n";
3743#line 65
3744  __cil_tmp51 = (unsigned long )(& descriptor) + 32;
3745#line 65
3746  *((unsigned int *)__cil_tmp51) = 67U;
3747#line 65
3748  __cil_tmp52 = (unsigned long )(& descriptor) + 35;
3749#line 65
3750  *((unsigned char *)__cil_tmp52) = (unsigned char)1;
3751#line 65
3752  __cil_tmp53 = (unsigned long )(& descriptor) + 35;
3753#line 65
3754  __cil_tmp54 = *((unsigned char *)__cil_tmp53);
3755#line 65
3756  __cil_tmp55 = (long )__cil_tmp54;
3757#line 65
3758  __cil_tmp56 = __cil_tmp55 & 1L;
3759#line 65
3760  tmp___0 = __builtin_expect(__cil_tmp56, 0L);
3761  }
3762#line 65
3763  if (tmp___0 != 0L) {
3764    {
3765#line 65
3766    __cil_tmp57 = (unsigned long )client;
3767#line 65
3768    __cil_tmp58 = __cil_tmp57 + 40;
3769#line 65
3770    __cil_tmp59 = (struct device *)__cil_tmp58;
3771#line 65
3772    __cil_tmp60 = (struct device  const  *)__cil_tmp59;
3773#line 65
3774    __cil_tmp61 = 0 * 1UL;
3775#line 65
3776    __cil_tmp62 = (unsigned long )(buf) + __cil_tmp61;
3777#line 65
3778    __cil_tmp63 = *((unsigned char *)__cil_tmp62);
3779#line 65
3780    __cil_tmp64 = (int )__cil_tmp63;
3781#line 65
3782    __cil_tmp65 = 1 * 1UL;
3783#line 65
3784    __cil_tmp66 = (unsigned long )(buf) + __cil_tmp65;
3785#line 65
3786    __cil_tmp67 = *((unsigned char *)__cil_tmp66);
3787#line 65
3788    __cil_tmp68 = (int )__cil_tmp67;
3789#line 65
3790    __cil_tmp69 = 2 * 1UL;
3791#line 65
3792    __cil_tmp70 = (unsigned long )(buf) + __cil_tmp69;
3793#line 65
3794    __cil_tmp71 = *((unsigned char *)__cil_tmp70);
3795#line 65
3796    __cil_tmp72 = (int )__cil_tmp71;
3797#line 65
3798    __cil_tmp73 = 3 * 1UL;
3799#line 65
3800    __cil_tmp74 = (unsigned long )(buf) + __cil_tmp73;
3801#line 65
3802    __cil_tmp75 = *((unsigned char *)__cil_tmp74);
3803#line 65
3804    __cil_tmp76 = (int )__cil_tmp75;
3805#line 65
3806    __dynamic_dev_dbg(& descriptor, __cil_tmp60, "%s: raw read data - counters=%02x,%02x,%02x,%02x\n",
3807                      "ds1672_get_datetime", __cil_tmp64, __cil_tmp68, __cil_tmp72,
3808                      __cil_tmp76);
3809    }
3810  } else {
3811
3812  }
3813  {
3814#line 69
3815  __cil_tmp77 = 0 * 1UL;
3816#line 69
3817  __cil_tmp78 = (unsigned long )(buf) + __cil_tmp77;
3818#line 69
3819  __cil_tmp79 = *((unsigned char *)__cil_tmp78);
3820#line 69
3821  __cil_tmp80 = (int )__cil_tmp79;
3822#line 69
3823  __cil_tmp81 = 1 * 1UL;
3824#line 69
3825  __cil_tmp82 = (unsigned long )(buf) + __cil_tmp81;
3826#line 69
3827  __cil_tmp83 = *((unsigned char *)__cil_tmp82);
3828#line 69
3829  __cil_tmp84 = (int )__cil_tmp83;
3830#line 69
3831  __cil_tmp85 = __cil_tmp84 << 8;
3832#line 69
3833  __cil_tmp86 = 2 * 1UL;
3834#line 69
3835  __cil_tmp87 = (unsigned long )(buf) + __cil_tmp86;
3836#line 69
3837  __cil_tmp88 = *((unsigned char *)__cil_tmp87);
3838#line 69
3839  __cil_tmp89 = (int )__cil_tmp88;
3840#line 69
3841  __cil_tmp90 = __cil_tmp89 << 16;
3842#line 69
3843  __cil_tmp91 = 3 * 1UL;
3844#line 69
3845  __cil_tmp92 = (unsigned long )(buf) + __cil_tmp91;
3846#line 69
3847  __cil_tmp93 = *((unsigned char *)__cil_tmp92);
3848#line 69
3849  __cil_tmp94 = (int )__cil_tmp93;
3850#line 69
3851  __cil_tmp95 = __cil_tmp94 << 24;
3852#line 69
3853  __cil_tmp96 = __cil_tmp95 | __cil_tmp90;
3854#line 69
3855  __cil_tmp97 = __cil_tmp96 | __cil_tmp85;
3856#line 69
3857  __cil_tmp98 = __cil_tmp97 | __cil_tmp80;
3858#line 69
3859  time = (unsigned long )__cil_tmp98;
3860#line 71
3861  rtc_time_to_tm(time, tm);
3862#line 73
3863  __cil_tmp99 = & descriptor___0;
3864#line 73
3865  *((char const   **)__cil_tmp99) = "rtc_ds1672";
3866#line 73
3867  __cil_tmp100 = (unsigned long )(& descriptor___0) + 8;
3868#line 73
3869  *((char const   **)__cil_tmp100) = "ds1672_get_datetime";
3870#line 73
3871  __cil_tmp101 = (unsigned long )(& descriptor___0) + 16;
3872#line 73
3873  *((char const   **)__cil_tmp101) = "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p";
3874#line 73
3875  __cil_tmp102 = (unsigned long )(& descriptor___0) + 24;
3876#line 73
3877  *((char const   **)__cil_tmp102) = "%s: tm is secs=%d, mins=%d, hours=%d, mday=%d, mon=%d, year=%d, wday=%d\n";
3878#line 73
3879  __cil_tmp103 = (unsigned long )(& descriptor___0) + 32;
3880#line 73
3881  *((unsigned int *)__cil_tmp103) = 76U;
3882#line 73
3883  __cil_tmp104 = (unsigned long )(& descriptor___0) + 35;
3884#line 73
3885  *((unsigned char *)__cil_tmp104) = (unsigned char)1;
3886#line 73
3887  __cil_tmp105 = (unsigned long )(& descriptor___0) + 35;
3888#line 73
3889  __cil_tmp106 = *((unsigned char *)__cil_tmp105);
3890#line 73
3891  __cil_tmp107 = (long )__cil_tmp106;
3892#line 73
3893  __cil_tmp108 = __cil_tmp107 & 1L;
3894#line 73
3895  tmp___1 = __builtin_expect(__cil_tmp108, 0L);
3896  }
3897#line 73
3898  if (tmp___1 != 0L) {
3899    {
3900#line 73
3901    __cil_tmp109 = (unsigned long )client;
3902#line 73
3903    __cil_tmp110 = __cil_tmp109 + 40;
3904#line 73
3905    __cil_tmp111 = (struct device *)__cil_tmp110;
3906#line 73
3907    __cil_tmp112 = (struct device  const  *)__cil_tmp111;
3908#line 73
3909    __cil_tmp113 = *((int *)tm);
3910#line 73
3911    __cil_tmp114 = (unsigned long )tm;
3912#line 73
3913    __cil_tmp115 = __cil_tmp114 + 4;
3914#line 73
3915    __cil_tmp116 = *((int *)__cil_tmp115);
3916#line 73
3917    __cil_tmp117 = (unsigned long )tm;
3918#line 73
3919    __cil_tmp118 = __cil_tmp117 + 8;
3920#line 73
3921    __cil_tmp119 = *((int *)__cil_tmp118);
3922#line 73
3923    __cil_tmp120 = (unsigned long )tm;
3924#line 73
3925    __cil_tmp121 = __cil_tmp120 + 12;
3926#line 73
3927    __cil_tmp122 = *((int *)__cil_tmp121);
3928#line 73
3929    __cil_tmp123 = (unsigned long )tm;
3930#line 73
3931    __cil_tmp124 = __cil_tmp123 + 16;
3932#line 73
3933    __cil_tmp125 = *((int *)__cil_tmp124);
3934#line 73
3935    __cil_tmp126 = (unsigned long )tm;
3936#line 73
3937    __cil_tmp127 = __cil_tmp126 + 20;
3938#line 73
3939    __cil_tmp128 = *((int *)__cil_tmp127);
3940#line 73
3941    __cil_tmp129 = (unsigned long )tm;
3942#line 73
3943    __cil_tmp130 = __cil_tmp129 + 24;
3944#line 73
3945    __cil_tmp131 = *((int *)__cil_tmp130);
3946#line 73
3947    __dynamic_dev_dbg(& descriptor___0, __cil_tmp112, "%s: tm is secs=%d, mins=%d, hours=%d, mday=%d, mon=%d, year=%d, wday=%d\n",
3948                      "ds1672_get_datetime", __cil_tmp113, __cil_tmp116, __cil_tmp119,
3949                      __cil_tmp122, __cil_tmp125, __cil_tmp128, __cil_tmp131);
3950    }
3951  } else {
3952
3953  }
3954#line 78
3955  return (0);
3956}
3957}
3958#line 81 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
3959static int ds1672_set_mmss(struct i2c_client *client , unsigned long secs ) 
3960{ int xfer ;
3961  unsigned char buf[6U] ;
3962  unsigned long __cil_tmp5 ;
3963  unsigned long __cil_tmp6 ;
3964  unsigned long __cil_tmp7 ;
3965  unsigned long __cil_tmp8 ;
3966  unsigned long __cil_tmp9 ;
3967  unsigned long __cil_tmp10 ;
3968  unsigned long __cil_tmp11 ;
3969  unsigned long __cil_tmp12 ;
3970  unsigned long __cil_tmp13 ;
3971  unsigned long __cil_tmp14 ;
3972  unsigned long __cil_tmp15 ;
3973  unsigned long __cil_tmp16 ;
3974  unsigned long __cil_tmp17 ;
3975  unsigned long __cil_tmp18 ;
3976  unsigned long __cil_tmp19 ;
3977  unsigned long __cil_tmp20 ;
3978  unsigned long __cil_tmp21 ;
3979  unsigned long __cil_tmp22 ;
3980  struct i2c_client  const  *__cil_tmp23 ;
3981  char const   *__cil_tmp24 ;
3982  unsigned long __cil_tmp25 ;
3983  unsigned long __cil_tmp26 ;
3984  struct device *__cil_tmp27 ;
3985  struct device  const  *__cil_tmp28 ;
3986
3987  {
3988  {
3989#line 86
3990  __cil_tmp5 = 0 * 1UL;
3991#line 86
3992  __cil_tmp6 = (unsigned long )(buf) + __cil_tmp5;
3993#line 86
3994  *((unsigned char *)__cil_tmp6) = (unsigned char)0;
3995#line 87
3996  __cil_tmp7 = 1 * 1UL;
3997#line 87
3998  __cil_tmp8 = (unsigned long )(buf) + __cil_tmp7;
3999#line 87
4000  *((unsigned char *)__cil_tmp8) = (unsigned char )secs;
4001#line 88
4002  __cil_tmp9 = 2 * 1UL;
4003#line 88
4004  __cil_tmp10 = (unsigned long )(buf) + __cil_tmp9;
4005#line 88
4006  __cil_tmp11 = secs & 65280UL;
4007#line 88
4008  __cil_tmp12 = __cil_tmp11 >> 8;
4009#line 88
4010  *((unsigned char *)__cil_tmp10) = (unsigned char )__cil_tmp12;
4011#line 89
4012  __cil_tmp13 = 3 * 1UL;
4013#line 89
4014  __cil_tmp14 = (unsigned long )(buf) + __cil_tmp13;
4015#line 89
4016  __cil_tmp15 = secs & 16711680UL;
4017#line 89
4018  __cil_tmp16 = __cil_tmp15 >> 16;
4019#line 89
4020  *((unsigned char *)__cil_tmp14) = (unsigned char )__cil_tmp16;
4021#line 90
4022  __cil_tmp17 = 4 * 1UL;
4023#line 90
4024  __cil_tmp18 = (unsigned long )(buf) + __cil_tmp17;
4025#line 90
4026  __cil_tmp19 = secs & 4278190080UL;
4027#line 90
4028  __cil_tmp20 = __cil_tmp19 >> 24;
4029#line 90
4030  *((unsigned char *)__cil_tmp18) = (unsigned char )__cil_tmp20;
4031#line 91
4032  __cil_tmp21 = 5 * 1UL;
4033#line 91
4034  __cil_tmp22 = (unsigned long )(buf) + __cil_tmp21;
4035#line 91
4036  *((unsigned char *)__cil_tmp22) = (unsigned char)0;
4037#line 93
4038  __cil_tmp23 = (struct i2c_client  const  *)client;
4039#line 93
4040  __cil_tmp24 = (char const   *)(& buf);
4041#line 93
4042  xfer = i2c_master_send(__cil_tmp23, __cil_tmp24, 6);
4043  }
4044#line 94
4045  if (xfer != 6) {
4046    {
4047#line 95
4048    __cil_tmp25 = (unsigned long )client;
4049#line 95
4050    __cil_tmp26 = __cil_tmp25 + 40;
4051#line 95
4052    __cil_tmp27 = (struct device *)__cil_tmp26;
4053#line 95
4054    __cil_tmp28 = (struct device  const  *)__cil_tmp27;
4055#line 95
4056    dev_err(__cil_tmp28, "%s: send: %d\n", "ds1672_set_mmss", xfer);
4057    }
4058#line 96
4059    return (-5);
4060  } else {
4061
4062  }
4063#line 99
4064  return (0);
4065}
4066}
4067#line 102 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4068static int ds1672_rtc_read_time(struct device *dev , struct rtc_time *tm ) 
4069{ struct device  const  *__mptr ;
4070  int tmp ;
4071  struct i2c_client *__cil_tmp5 ;
4072  struct i2c_client *__cil_tmp6 ;
4073
4074  {
4075  {
4076#line 104
4077  __mptr = (struct device  const  *)dev;
4078#line 104
4079  __cil_tmp5 = (struct i2c_client *)__mptr;
4080#line 104
4081  __cil_tmp6 = __cil_tmp5 + 0xffffffffffffffd8UL;
4082#line 104
4083  tmp = ds1672_get_datetime(__cil_tmp6, tm);
4084  }
4085#line 104
4086  return (tmp);
4087}
4088}
4089#line 107 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4090static int ds1672_rtc_set_mmss(struct device *dev , unsigned long secs ) 
4091{ struct device  const  *__mptr ;
4092  int tmp ;
4093  struct i2c_client *__cil_tmp5 ;
4094  struct i2c_client *__cil_tmp6 ;
4095
4096  {
4097  {
4098#line 109
4099  __mptr = (struct device  const  *)dev;
4100#line 109
4101  __cil_tmp5 = (struct i2c_client *)__mptr;
4102#line 109
4103  __cil_tmp6 = __cil_tmp5 + 0xffffffffffffffd8UL;
4104#line 109
4105  tmp = ds1672_set_mmss(__cil_tmp6, secs);
4106  }
4107#line 109
4108  return (tmp);
4109}
4110}
4111#line 243
4112extern void ldv_check_final_state(void) ;
4113#line 249
4114extern void ldv_initialize(void) ;
4115#line 252
4116extern int __VERIFIER_nondet_int(void) ;
4117#line 255 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4118int LDV_IN_INTERRUPT  ;
4119#line 258 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4120void main(void) 
4121{ struct device *var_group1 ;
4122  struct rtc_time *var_group2 ;
4123  unsigned long var_ds1672_rtc_set_mmss_3_p1 ;
4124  int tmp ;
4125  int tmp___0 ;
4126
4127  {
4128  {
4129#line 294
4130  LDV_IN_INTERRUPT = 1;
4131#line 303
4132  ldv_initialize();
4133  }
4134#line 307
4135  goto ldv_23855;
4136  ldv_23854: 
4137  {
4138#line 310
4139  tmp = __VERIFIER_nondet_int();
4140  }
4141#line 312
4142  if (tmp == 0) {
4143#line 312
4144    goto case_0;
4145  } else
4146#line 334
4147  if (tmp == 1) {
4148#line 334
4149    goto case_1;
4150  } else {
4151    {
4152#line 356
4153    goto switch_default;
4154#line 310
4155    if (0) {
4156      case_0: /* CIL Label */ 
4157      {
4158#line 326
4159      ds1672_rtc_read_time(var_group1, var_group2);
4160      }
4161#line 333
4162      goto ldv_23851;
4163      case_1: /* CIL Label */ 
4164      {
4165#line 348
4166      ds1672_rtc_set_mmss(var_group1, var_ds1672_rtc_set_mmss_3_p1);
4167      }
4168#line 355
4169      goto ldv_23851;
4170      switch_default: /* CIL Label */ ;
4171#line 356
4172      goto ldv_23851;
4173    } else {
4174      switch_break: /* CIL Label */ ;
4175    }
4176    }
4177  }
4178  ldv_23851: ;
4179  ldv_23855: 
4180  {
4181#line 307
4182  tmp___0 = __VERIFIER_nondet_int();
4183  }
4184#line 307
4185  if (tmp___0 != 0) {
4186#line 308
4187    goto ldv_23854;
4188  } else {
4189#line 310
4190    goto ldv_23856;
4191  }
4192  ldv_23856: ;
4193
4194  {
4195#line 365
4196  ldv_check_final_state();
4197  }
4198#line 368
4199  return;
4200}
4201}
4202#line 5 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast-assert.h"
4203void ldv_blast_assert(void) 
4204{ 
4205
4206  {
4207  ERROR: ;
4208#line 6
4209  goto ERROR;
4210}
4211}
4212#line 6 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/engine-blast.h"
4213extern int __VERIFIER_nondet_int(void) ;
4214#line 389 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4215int ldv_spin  =    0;
4216#line 393 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4217void ldv_check_alloc_flags(gfp_t flags ) 
4218{ 
4219
4220  {
4221#line 396
4222  if (ldv_spin != 0) {
4223#line 396
4224    if (flags != 32U) {
4225      {
4226#line 396
4227      ldv_blast_assert();
4228      }
4229    } else {
4230
4231    }
4232  } else {
4233
4234  }
4235#line 399
4236  return;
4237}
4238}
4239#line 399
4240extern struct page *ldv_some_page(void) ;
4241#line 402 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4242struct page *ldv_check_alloc_flags_and_return_some_page(gfp_t flags ) 
4243{ struct page *tmp ;
4244
4245  {
4246#line 405
4247  if (ldv_spin != 0) {
4248#line 405
4249    if (flags != 32U) {
4250      {
4251#line 405
4252      ldv_blast_assert();
4253      }
4254    } else {
4255
4256    }
4257  } else {
4258
4259  }
4260  {
4261#line 407
4262  tmp = ldv_some_page();
4263  }
4264#line 407
4265  return (tmp);
4266}
4267}
4268#line 411 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4269void ldv_check_alloc_nonatomic(void) 
4270{ 
4271
4272  {
4273#line 414
4274  if (ldv_spin != 0) {
4275    {
4276#line 414
4277    ldv_blast_assert();
4278    }
4279  } else {
4280
4281  }
4282#line 417
4283  return;
4284}
4285}
4286#line 418 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4287void ldv_spin_lock(void) 
4288{ 
4289
4290  {
4291#line 421
4292  ldv_spin = 1;
4293#line 422
4294  return;
4295}
4296}
4297#line 425 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4298void ldv_spin_unlock(void) 
4299{ 
4300
4301  {
4302#line 428
4303  ldv_spin = 0;
4304#line 429
4305  return;
4306}
4307}
4308#line 432 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4309int ldv_spin_trylock(void) 
4310{ int is_lock ;
4311
4312  {
4313  {
4314#line 437
4315  is_lock = __VERIFIER_nondet_int();
4316  }
4317#line 439
4318  if (is_lock != 0) {
4319#line 442
4320    return (0);
4321  } else {
4322#line 447
4323    ldv_spin = 1;
4324#line 449
4325    return (1);
4326  }
4327}
4328}
4329#line 616 "/home/zakharov/launch/work/current--X--drivers/--X--defaultlinux-3.4--X--43_1a--X--cpachecker/linux-3.4/csd_deg_dscv/2640/dscv_tempdir/dscv/ri/43_1a/drivers/rtc/rtc-ds1672.c.p"
4330void *ldv_kmem_cache_alloc_16(struct kmem_cache *ldv_func_arg1 , gfp_t ldv_func_arg2 ) 
4331{ 
4332
4333  {
4334  {
4335#line 622
4336  ldv_check_alloc_flags(ldv_func_arg2);
4337#line 624
4338  kmem_cache_alloc(ldv_func_arg1, ldv_func_arg2);
4339  }
4340#line 625
4341  return ((void *)0);
4342}
4343}