Showing error 516

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