Showing error 1346

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