Showing error 661

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