Showing error 668

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--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
Line in file: 13798
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

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