Showing error 84

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ldv-drivers/module_get_put-drivers-block-pktcdvd.ko_unsafe.cil.out.i.pp.i
Line in file: 13646
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC


Source:

    1# 1 "ldv/08_1/drivers/block/pktcdvd.ko/unsafe.cil.out.i"
    2# 1 "<built-in>"
    3# 1 "<command-line>"
    4# 1 "ldv/08_1/drivers/block/pktcdvd.ko/unsafe.cil.out.i"
    5# 19 "include/asm-generic/int-ll64.h"
    6typedef signed char __s8;
    7# 20 "include/asm-generic/int-ll64.h"
    8typedef unsigned char __u8;
    9# 22 "include/asm-generic/int-ll64.h"
   10typedef short __s16;
   11# 23 "include/asm-generic/int-ll64.h"
   12typedef unsigned short __u16;
   13# 25 "include/asm-generic/int-ll64.h"
   14typedef int __s32;
   15# 26 "include/asm-generic/int-ll64.h"
   16typedef unsigned int __u32;
   17# 29 "include/asm-generic/int-ll64.h"
   18typedef long long __s64;
   19# 30 "include/asm-generic/int-ll64.h"
   20typedef unsigned long long __u64;
   21# 43 "include/asm-generic/int-ll64.h"
   22typedef unsigned char u8;
   23# 46 "include/asm-generic/int-ll64.h"
   24typedef unsigned short u16;
   25# 48 "include/asm-generic/int-ll64.h"
   26typedef int s32;
   27# 49 "include/asm-generic/int-ll64.h"
   28typedef unsigned int u32;
   29# 51 "include/asm-generic/int-ll64.h"
   30typedef long long s64;
   31# 52 "include/asm-generic/int-ll64.h"
   32typedef unsigned long long u64;
   33# 11 "include/asm-generic/types.h"
   34typedef unsigned short umode_t;
   35# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   36typedef unsigned int __kernel_mode_t;
   37# 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   38typedef unsigned long __kernel_nlink_t;
   39# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   40typedef long __kernel_off_t;
   41# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   42typedef int __kernel_pid_t;
   43# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   44typedef unsigned int __kernel_uid_t;
   45# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   46typedef unsigned int __kernel_gid_t;
   47# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   48typedef unsigned long __kernel_size_t;
   49# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   50typedef long __kernel_ssize_t;
   51# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   52typedef long __kernel_time_t;
   53# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   54typedef long __kernel_clock_t;
   55# 24 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   56typedef int __kernel_timer_t;
   57# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   58typedef int __kernel_clockid_t;
   59# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   60typedef long long __kernel_loff_t;
   61# 41 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   62typedef __kernel_uid_t __kernel_uid32_t;
   63# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/posix_types_64.h"
   64typedef __kernel_gid_t __kernel_gid32_t;
   65# 21 "include/linux/types.h"
   66typedef __u32 __kernel_dev_t;
   67# 24 "include/linux/types.h"
   68typedef __kernel_dev_t dev_t;
   69# 26 "include/linux/types.h"
   70typedef __kernel_mode_t mode_t;
   71# 27 "include/linux/types.h"
   72typedef __kernel_nlink_t nlink_t;
   73# 28 "include/linux/types.h"
   74typedef __kernel_off_t off_t;
   75# 29 "include/linux/types.h"
   76typedef __kernel_pid_t pid_t;
   77# 34 "include/linux/types.h"
   78typedef __kernel_clockid_t clockid_t;
   79# 37 "include/linux/types.h"
   80typedef _Bool bool;
   81# 39 "include/linux/types.h"
   82typedef __kernel_uid32_t uid_t;
   83# 40 "include/linux/types.h"
   84typedef __kernel_gid32_t gid_t;
   85# 53 "include/linux/types.h"
   86typedef __kernel_loff_t loff_t;
   87# 62 "include/linux/types.h"
   88typedef __kernel_size_t size_t;
   89# 67 "include/linux/types.h"
   90typedef __kernel_ssize_t ssize_t;
   91# 77 "include/linux/types.h"
   92typedef __kernel_time_t time_t;
   93# 110 "include/linux/types.h"
   94typedef __s32 int32_t;
   95# 116 "include/linux/types.h"
   96typedef __u32 uint32_t;
   97# 141 "include/linux/types.h"
   98typedef unsigned long sector_t;
   99# 142 "include/linux/types.h"
  100typedef unsigned long blkcnt_t;
  101# 154 "include/linux/types.h"
  102typedef u64 dma_addr_t;
  103# 178 "include/linux/types.h"
  104typedef __u16 __be16;
  105# 180 "include/linux/types.h"
  106typedef __u32 __be32;
  107# 201 "include/linux/types.h"
  108typedef unsigned int gfp_t;
  109# 202 "include/linux/types.h"
  110typedef unsigned int fmode_t;
  111# 214 "include/linux/types.h"
  112struct __anonstruct_atomic_t_6 {
  113   int counter ;
  114};
  115# 214 "include/linux/types.h"
  116typedef struct __anonstruct_atomic_t_6 atomic_t;
  117# 219 "include/linux/types.h"
  118struct __anonstruct_atomic64_t_7 {
  119   long counter ;
  120};
  121# 219 "include/linux/types.h"
  122typedef struct __anonstruct_atomic64_t_7 atomic64_t;
  123# 220 "include/linux/types.h"
  124struct list_head {
  125   struct list_head *next ;
  126   struct list_head *prev ;
  127};
  128# 225 "include/linux/types.h"
  129struct hlist_node;
  130# 225 "include/linux/types.h"
  131struct hlist_node;
  132# 225 "include/linux/types.h"
  133struct hlist_head {
  134   struct hlist_node *first ;
  135};
  136# 229 "include/linux/types.h"
  137struct hlist_node {
  138   struct hlist_node *next ;
  139   struct hlist_node **pprev ;
  140};
  141# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  142struct module;
  143# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  144struct module;
  145# 58 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/alternative.h"
  146struct module;
  147# 145 "include/linux/init.h"
  148typedef void (*ctor_fn_t)(void);
  149# 48 "include/linux/dynamic_debug.h"
  150struct bug_entry {
  151   int bug_addr_disp ;
  152   int file_disp ;
  153   unsigned short line ;
  154   unsigned short flags ;
  155};
  156# 70 "include/asm-generic/bug.h"
  157struct completion;
  158# 70 "include/asm-generic/bug.h"
  159struct completion;
  160# 70 "include/asm-generic/bug.h"
  161struct completion;
  162# 71 "include/asm-generic/bug.h"
  163struct pt_regs;
  164# 71 "include/asm-generic/bug.h"
  165struct pt_regs;
  166# 71 "include/asm-generic/bug.h"
  167struct pt_regs;
  168# 321 "include/linux/kernel.h"
  169struct pid;
  170# 321 "include/linux/kernel.h"
  171struct pid;
  172# 321 "include/linux/kernel.h"
  173struct pid;
  174# 671 "include/linux/kernel.h"
  175struct timespec;
  176# 671 "include/linux/kernel.h"
  177struct timespec;
  178# 671 "include/linux/kernel.h"
  179struct timespec;
  180# 672 "include/linux/kernel.h"
  181struct compat_timespec;
  182# 672 "include/linux/kernel.h"
  183struct compat_timespec;
  184# 672 "include/linux/kernel.h"
  185struct compat_timespec;
  186# 673 "include/linux/kernel.h"
  187struct __anonstruct_futex_9 {
  188   u32 *uaddr ;
  189   u32 val ;
  190   u32 flags ;
  191   u32 bitset ;
  192   u64 time ;
  193   u32 *uaddr2 ;
  194};
  195# 673 "include/linux/kernel.h"
  196struct __anonstruct_nanosleep_10 {
  197   clockid_t clockid ;
  198   struct timespec *rmtp ;
  199   struct compat_timespec *compat_rmtp ;
  200   u64 expires ;
  201};
  202# 673 "include/linux/kernel.h"
  203struct pollfd;
  204# 673 "include/linux/kernel.h"
  205struct pollfd;
  206# 673 "include/linux/kernel.h"
  207struct __anonstruct_poll_11 {
  208   struct pollfd *ufds ;
  209   int nfds ;
  210   int has_timeout ;
  211   unsigned long tv_sec ;
  212   unsigned long tv_nsec ;
  213};
  214# 673 "include/linux/kernel.h"
  215union __anonunion_ldv_2052_8 {
  216   struct __anonstruct_futex_9 futex ;
  217   struct __anonstruct_nanosleep_10 nanosleep ;
  218   struct __anonstruct_poll_11 poll ;
  219};
  220# 673 "include/linux/kernel.h"
  221struct restart_block {
  222   long (*fn)(struct restart_block * ) ;
  223   union __anonunion_ldv_2052_8 ldv_2052 ;
  224};
  225# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  226struct page;
  227# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  228struct page;
  229# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/page_types.h"
  230struct page;
  231# 21 "include/asm-generic/getorder.h"
  232struct task_struct;
  233# 21 "include/asm-generic/getorder.h"
  234struct task_struct;
  235# 21 "include/asm-generic/getorder.h"
  236struct task_struct;
  237# 22 "include/asm-generic/getorder.h"
  238struct exec_domain;
  239# 22 "include/asm-generic/getorder.h"
  240struct exec_domain;
  241# 22 "include/asm-generic/getorder.h"
  242struct exec_domain;
  243# 23 "include/asm-generic/getorder.h"
  244struct mm_struct;
  245# 23 "include/asm-generic/getorder.h"
  246struct mm_struct;
  247# 23 "include/asm-generic/getorder.h"
  248struct mm_struct;
  249# 215 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/segment.h"
  250struct pt_regs {
  251   unsigned long r15 ;
  252   unsigned long r14 ;
  253   unsigned long r13 ;
  254   unsigned long r12 ;
  255   unsigned long bp ;
  256   unsigned long bx ;
  257   unsigned long r11 ;
  258   unsigned long r10 ;
  259   unsigned long r9 ;
  260   unsigned long r8 ;
  261   unsigned long ax ;
  262   unsigned long cx ;
  263   unsigned long dx ;
  264   unsigned long si ;
  265   unsigned long di ;
  266   unsigned long orig_ax ;
  267   unsigned long ip ;
  268   unsigned long cs ;
  269   unsigned long flags ;
  270   unsigned long sp ;
  271   unsigned long ss ;
  272};
  273# 282 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/ptrace.h"
  274struct kernel_vm86_regs {
  275   struct pt_regs pt ;
  276   unsigned short es ;
  277   unsigned short __esh ;
  278   unsigned short ds ;
  279   unsigned short __dsh ;
  280   unsigned short fs ;
  281   unsigned short __fsh ;
  282   unsigned short gs ;
  283   unsigned short __gsh ;
  284};
  285# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
  286union __anonunion_ldv_2292_12 {
  287   struct pt_regs *regs ;
  288   struct kernel_vm86_regs *vm86 ;
  289};
  290# 203 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/vm86.h"
  291struct math_emu_info {
  292   long ___orig_eip ;
  293   union __anonunion_ldv_2292_12 ldv_2292 ;
  294};
  295# 13 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  296typedef unsigned long pgdval_t;
  297# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  298typedef unsigned long pgprotval_t;
  299# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_64_types.h"
  300struct pgprot {
  301   pgprotval_t pgprot ;
  302};
  303# 190 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  304typedef struct pgprot pgprot_t;
  305# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  306struct __anonstruct_pgd_t_15 {
  307   pgdval_t pgd ;
  308};
  309# 192 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  310typedef struct __anonstruct_pgd_t_15 pgd_t;
  311# 280 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  312typedef struct page *pgtable_t;
  313# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  314struct file;
  315# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  316struct file;
  317# 288 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  318struct file;
  319# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  320struct seq_file;
  321# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  322struct seq_file;
  323# 303 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  324struct seq_file;
  325# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  326struct __anonstruct_ldv_2526_19 {
  327   unsigned int a ;
  328   unsigned int b ;
  329};
  330# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  331struct __anonstruct_ldv_2541_20 {
  332   u16 limit0 ;
  333   u16 base0 ;
  334   unsigned char base1 ;
  335   unsigned char type : 4 ;
  336   unsigned char s : 1 ;
  337   unsigned char dpl : 2 ;
  338   unsigned char p : 1 ;
  339   unsigned char limit : 4 ;
  340   unsigned char avl : 1 ;
  341   unsigned char l : 1 ;
  342   unsigned char d : 1 ;
  343   unsigned char g : 1 ;
  344   unsigned char base2 ;
  345};
  346# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  347union __anonunion_ldv_2542_18 {
  348   struct __anonstruct_ldv_2526_19 ldv_2526 ;
  349   struct __anonstruct_ldv_2541_20 ldv_2541 ;
  350};
  351# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/pgtable_types.h"
  352struct desc_struct {
  353   union __anonunion_ldv_2542_18 ldv_2542 ;
  354};
  355# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  356struct thread_struct;
  357# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  358struct thread_struct;
  359# 122 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  360struct thread_struct;
  361# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  362struct cpumask;
  363# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  364struct cpumask;
  365# 124 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/desc_defs.h"
  366struct cpumask;
  367# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  368struct arch_spinlock;
  369# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  370struct arch_spinlock;
  371# 320 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/paravirt_types.h"
  372struct arch_spinlock;
  373# 304 "include/linux/bitmap.h"
  374struct cpumask {
  375   unsigned long bits[64U] ;
  376};
  377# 13 "include/linux/cpumask.h"
  378typedef struct cpumask cpumask_t;
  379# 622 "include/linux/cpumask.h"
  380typedef struct cpumask *cpumask_var_t;
  381# 90 "include/linux/personality.h"
  382struct map_segment;
  383# 90 "include/linux/personality.h"
  384struct map_segment;
  385# 90 "include/linux/personality.h"
  386struct exec_domain {
  387   char const *name ;
  388   void (*handler)(int , struct pt_regs * ) ;
  389   unsigned char pers_low ;
  390   unsigned char pers_high ;
  391   unsigned long *signal_map ;
  392   unsigned long *signal_invmap ;
  393   struct map_segment *err_map ;
  394   struct map_segment *socktype_map ;
  395   struct map_segment *sockopt_map ;
  396   struct map_segment *af_map ;
  397   struct module *module ;
  398   struct exec_domain *next ;
  399};
  400# 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  401struct seq_operations;
  402# 145 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  403struct seq_operations;
  404# 277 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  405struct i387_fsave_struct {
  406   u32 cwd ;
  407   u32 swd ;
  408   u32 twd ;
  409   u32 fip ;
  410   u32 fcs ;
  411   u32 foo ;
  412   u32 fos ;
  413   u32 st_space[20U] ;
  414   u32 status ;
  415};
  416# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  417struct __anonstruct_ldv_5171_24 {
  418   u64 rip ;
  419   u64 rdp ;
  420};
  421# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  422struct __anonstruct_ldv_5177_25 {
  423   u32 fip ;
  424   u32 fcs ;
  425   u32 foo ;
  426   u32 fos ;
  427};
  428# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  429union __anonunion_ldv_5178_23 {
  430   struct __anonstruct_ldv_5171_24 ldv_5171 ;
  431   struct __anonstruct_ldv_5177_25 ldv_5177 ;
  432};
  433# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  434union __anonunion_ldv_5187_26 {
  435   u32 padding1[12U] ;
  436   u32 sw_reserved[12U] ;
  437};
  438# 295 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  439struct i387_fxsave_struct {
  440   u16 cwd ;
  441   u16 swd ;
  442   u16 twd ;
  443   u16 fop ;
  444   union __anonunion_ldv_5178_23 ldv_5178 ;
  445   u32 mxcsr ;
  446   u32 mxcsr_mask ;
  447   u32 st_space[32U] ;
  448   u32 xmm_space[64U] ;
  449   u32 padding[12U] ;
  450   union __anonunion_ldv_5187_26 ldv_5187 ;
  451};
  452# 329 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  453struct i387_soft_struct {
  454   u32 cwd ;
  455   u32 swd ;
  456   u32 twd ;
  457   u32 fip ;
  458   u32 fcs ;
  459   u32 foo ;
  460   u32 fos ;
  461   u32 st_space[20U] ;
  462   u8 ftop ;
  463   u8 changed ;
  464   u8 lookahead ;
  465   u8 no_update ;
  466   u8 rm ;
  467   u8 alimit ;
  468   struct math_emu_info *info ;
  469   u32 entry_eip ;
  470};
  471# 350 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  472struct ymmh_struct {
  473   u32 ymmh_space[64U] ;
  474};
  475# 355 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  476struct xsave_hdr_struct {
  477   u64 xstate_bv ;
  478   u64 reserved1[2U] ;
  479   u64 reserved2[5U] ;
  480};
  481# 361 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  482struct xsave_struct {
  483   struct i387_fxsave_struct i387 ;
  484   struct xsave_hdr_struct xsave_hdr ;
  485   struct ymmh_struct ymmh ;
  486};
  487# 367 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  488union thread_xstate {
  489   struct i387_fsave_struct fsave ;
  490   struct i387_fxsave_struct fxsave ;
  491   struct i387_soft_struct soft ;
  492   struct xsave_struct xsave ;
  493};
  494# 375 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  495struct fpu {
  496   union thread_xstate *state ;
  497};
  498# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  499struct kmem_cache;
  500# 421 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  501struct kmem_cache;
  502# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  503struct perf_event;
  504# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  505struct perf_event;
  506# 422 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  507struct perf_event;
  508# 423 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  509struct thread_struct {
  510   struct desc_struct tls_array[3U] ;
  511   unsigned long sp0 ;
  512   unsigned long sp ;
  513   unsigned long usersp ;
  514   unsigned short es ;
  515   unsigned short ds ;
  516   unsigned short fsindex ;
  517   unsigned short gsindex ;
  518   unsigned long fs ;
  519   unsigned long gs ;
  520   struct perf_event *ptrace_bps[4U] ;
  521   unsigned long debugreg6 ;
  522   unsigned long ptrace_dr7 ;
  523   unsigned long cr2 ;
  524   unsigned long trap_no ;
  525   unsigned long error_code ;
  526   struct fpu fpu ;
  527   unsigned long *io_bitmap_ptr ;
  528   unsigned long iopl ;
  529   unsigned int io_bitmap_max ;
  530};
  531# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  532struct __anonstruct_mm_segment_t_28 {
  533   unsigned long seg ;
  534};
  535# 622 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/processor.h"
  536typedef struct __anonstruct_mm_segment_t_28 mm_segment_t;
  537# 23 "include/asm-generic/atomic-long.h"
  538typedef atomic64_t atomic_long_t;
  539# 131 "include/asm-generic/atomic-long.h"
  540struct thread_info {
  541   struct task_struct *task ;
  542   struct exec_domain *exec_domain ;
  543   __u32 flags ;
  544   __u32 status ;
  545   __u32 cpu ;
  546   int preempt_count ;
  547   mm_segment_t addr_limit ;
  548   struct restart_block restart_block ;
  549   void *sysenter_return ;
  550   int uaccess_err ;
  551};
  552# 8 "include/linux/bottom_half.h"
  553struct arch_spinlock {
  554   unsigned int slock ;
  555};
  556# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  557typedef struct arch_spinlock arch_spinlock_t;
  558# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  559struct __anonstruct_arch_rwlock_t_29 {
  560   unsigned int lock ;
  561};
  562# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  563typedef struct __anonstruct_arch_rwlock_t_29 arch_rwlock_t;
  564# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  565struct lockdep_map;
  566# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  567struct lockdep_map;
  568# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/spinlock_types.h"
  569struct lockdep_map;
  570# 55 "include/linux/debug_locks.h"
  571struct stack_trace {
  572   unsigned int nr_entries ;
  573   unsigned int max_entries ;
  574   unsigned long *entries ;
  575   int skip ;
  576};
  577# 26 "include/linux/stacktrace.h"
  578struct lockdep_subclass_key {
  579   char __one_byte ;
  580};
  581# 53 "include/linux/lockdep.h"
  582struct lock_class_key {
  583   struct lockdep_subclass_key subkeys[8U] ;
  584};
  585# 59 "include/linux/lockdep.h"
  586struct lock_class {
  587   struct list_head hash_entry ;
  588   struct list_head lock_entry ;
  589   struct lockdep_subclass_key *key ;
  590   unsigned int subclass ;
  591   unsigned int dep_gen_id ;
  592   unsigned long usage_mask ;
  593   struct stack_trace usage_traces[13U] ;
  594   struct list_head locks_after ;
  595   struct list_head locks_before ;
  596   unsigned int version ;
  597   unsigned long ops ;
  598   char const *name ;
  599   int name_version ;
  600   unsigned long contention_point[4U] ;
  601   unsigned long contending_point[4U] ;
  602};
  603# 144 "include/linux/lockdep.h"
  604struct lockdep_map {
  605   struct lock_class_key *key ;
  606   struct lock_class *class_cache[2U] ;
  607   char const *name ;
  608   int cpu ;
  609   unsigned long ip ;
  610};
  611# 187 "include/linux/lockdep.h"
  612struct held_lock {
  613   u64 prev_chain_key ;
  614   unsigned long acquire_ip ;
  615   struct lockdep_map *instance ;
  616   struct lockdep_map *nest_lock ;
  617   u64 waittime_stamp ;
  618   u64 holdtime_stamp ;
  619   unsigned short class_idx : 13 ;
  620   unsigned char irq_context : 2 ;
  621   unsigned char trylock : 1 ;
  622   unsigned char read : 2 ;
  623   unsigned char check : 2 ;
  624   unsigned char hardirqs_off : 1 ;
  625   unsigned short references : 11 ;
  626};
  627# 552 "include/linux/lockdep.h"
  628struct raw_spinlock {
  629   arch_spinlock_t raw_lock ;
  630   unsigned int magic ;
  631   unsigned int owner_cpu ;
  632   void *owner ;
  633   struct lockdep_map dep_map ;
  634};
  635# 32 "include/linux/spinlock_types.h"
  636typedef struct raw_spinlock raw_spinlock_t;
  637# 33 "include/linux/spinlock_types.h"
  638struct __anonstruct_ldv_6059_31 {
  639   u8 __padding[24U] ;
  640   struct lockdep_map dep_map ;
  641};
  642# 33 "include/linux/spinlock_types.h"
  643union __anonunion_ldv_6060_30 {
  644   struct raw_spinlock rlock ;
  645   struct __anonstruct_ldv_6059_31 ldv_6059 ;
  646};
  647# 33 "include/linux/spinlock_types.h"
  648struct spinlock {
  649   union __anonunion_ldv_6060_30 ldv_6060 ;
  650};
  651# 76 "include/linux/spinlock_types.h"
  652typedef struct spinlock spinlock_t;
  653# 23 "include/linux/rwlock_types.h"
  654struct __anonstruct_rwlock_t_32 {
  655   arch_rwlock_t raw_lock ;
  656   unsigned int magic ;
  657   unsigned int owner_cpu ;
  658   void *owner ;
  659   struct lockdep_map dep_map ;
  660};
  661# 23 "include/linux/rwlock_types.h"
  662typedef struct __anonstruct_rwlock_t_32 rwlock_t;
  663# 110 "include/linux/seqlock.h"
  664struct seqcount {
  665   unsigned int sequence ;
  666};
  667# 121 "include/linux/seqlock.h"
  668typedef struct seqcount seqcount_t;
  669# 233 "include/linux/seqlock.h"
  670struct timespec {
  671   __kernel_time_t tv_sec ;
  672   long tv_nsec ;
  673};
  674# 286 "include/linux/time.h"
  675struct kstat {
  676   u64 ino ;
  677   dev_t dev ;
  678   umode_t mode ;
  679   unsigned int nlink ;
  680   uid_t uid ;
  681   gid_t gid ;
  682   dev_t rdev ;
  683   loff_t size ;
  684   struct timespec atime ;
  685   struct timespec mtime ;
  686   struct timespec ctime ;
  687   unsigned long blksize ;
  688   unsigned long long blocks ;
  689};
  690# 28 "include/linux/wait.h"
  691struct __wait_queue;
  692# 28 "include/linux/wait.h"
  693struct __wait_queue;
  694# 28 "include/linux/wait.h"
  695typedef struct __wait_queue wait_queue_t;
  696# 31 "include/linux/wait.h"
  697struct __wait_queue {
  698   unsigned int flags ;
  699   void *private ;
  700   int (*func)(wait_queue_t * , unsigned int , int , void * ) ;
  701   struct list_head task_list ;
  702};
  703# 49 "include/linux/wait.h"
  704struct __wait_queue_head {
  705   spinlock_t lock ;
  706   struct list_head task_list ;
  707};
  708# 54 "include/linux/wait.h"
  709typedef struct __wait_queue_head wait_queue_head_t;
  710# 96 "include/linux/nodemask.h"
  711struct __anonstruct_nodemask_t_34 {
  712   unsigned long bits[16U] ;
  713};
  714# 96 "include/linux/nodemask.h"
  715typedef struct __anonstruct_nodemask_t_34 nodemask_t;
  716# 640 "include/linux/mmzone.h"
  717struct mutex {
  718   atomic_t count ;
  719   spinlock_t wait_lock ;
  720   struct list_head wait_list ;
  721   struct task_struct *owner ;
  722   char const *name ;
  723   void *magic ;
  724   struct lockdep_map dep_map ;
  725};
  726# 63 "include/linux/mutex.h"
  727struct mutex_waiter {
  728   struct list_head list ;
  729   struct task_struct *task ;
  730   void *magic ;
  731};
  732# 171 "include/linux/mutex.h"
  733struct rw_semaphore;
  734# 171 "include/linux/mutex.h"
  735struct rw_semaphore;
  736# 171 "include/linux/mutex.h"
  737struct rw_semaphore;
  738# 172 "include/linux/mutex.h"
  739struct rw_semaphore {
  740   long count ;
  741   spinlock_t wait_lock ;
  742   struct list_head wait_list ;
  743   struct lockdep_map dep_map ;
  744};
  745# 763 "include/linux/mmzone.h"
  746struct ctl_table;
  747# 763 "include/linux/mmzone.h"
  748struct ctl_table;
  749# 763 "include/linux/mmzone.h"
  750struct ctl_table;
  751# 175 "include/linux/ioport.h"
  752struct device;
  753# 175 "include/linux/ioport.h"
  754struct device;
  755# 175 "include/linux/ioport.h"
  756struct device;
  757# 312 "include/linux/jiffies.h"
  758union ktime {
  759   s64 tv64 ;
  760};
  761# 59 "include/linux/ktime.h"
  762typedef union ktime ktime_t;
  763# 99 "include/linux/debugobjects.h"
  764struct tvec_base;
  765# 99 "include/linux/debugobjects.h"
  766struct tvec_base;
  767# 99 "include/linux/debugobjects.h"
  768struct tvec_base;
  769# 100 "include/linux/debugobjects.h"
  770struct timer_list {
  771   struct list_head entry ;
  772   unsigned long expires ;
  773   struct tvec_base *base ;
  774   void (*function)(unsigned long ) ;
  775   unsigned long data ;
  776   int slack ;
  777   int start_pid ;
  778   void *start_site ;
  779   char start_comm[16U] ;
  780   struct lockdep_map lockdep_map ;
  781};
  782# 289 "include/linux/timer.h"
  783struct hrtimer;
  784# 289 "include/linux/timer.h"
  785struct hrtimer;
  786# 289 "include/linux/timer.h"
  787struct hrtimer;
  788# 290 "include/linux/timer.h"
  789enum hrtimer_restart;
  790# 290 "include/linux/timer.h"
  791enum hrtimer_restart;
  792# 302 "include/linux/timer.h"
  793struct work_struct;
  794# 302 "include/linux/timer.h"
  795struct work_struct;
  796# 302 "include/linux/timer.h"
  797struct work_struct;
  798# 45 "include/linux/workqueue.h"
  799struct work_struct {
  800   atomic_long_t data ;
  801   struct list_head entry ;
  802   void (*func)(struct work_struct * ) ;
  803   struct lockdep_map lockdep_map ;
  804};
  805# 86 "include/linux/workqueue.h"
  806struct delayed_work {
  807   struct work_struct work ;
  808   struct timer_list timer ;
  809};
  810# 443 "include/linux/workqueue.h"
  811struct completion {
  812   unsigned int done ;
  813   wait_queue_head_t wait ;
  814};
  815# 46 "include/linux/pm.h"
  816struct pm_message {
  817   int event ;
  818};
  819# 52 "include/linux/pm.h"
  820typedef struct pm_message pm_message_t;
  821# 53 "include/linux/pm.h"
  822struct dev_pm_ops {
  823   int (*prepare)(struct device * ) ;
  824   void (*complete)(struct device * ) ;
  825   int (*suspend)(struct device * ) ;
  826   int (*resume)(struct device * ) ;
  827   int (*freeze)(struct device * ) ;
  828   int (*thaw)(struct device * ) ;
  829   int (*poweroff)(struct device * ) ;
  830   int (*restore)(struct device * ) ;
  831   int (*suspend_noirq)(struct device * ) ;
  832   int (*resume_noirq)(struct device * ) ;
  833   int (*freeze_noirq)(struct device * ) ;
  834   int (*thaw_noirq)(struct device * ) ;
  835   int (*poweroff_noirq)(struct device * ) ;
  836   int (*restore_noirq)(struct device * ) ;
  837   int (*runtime_suspend)(struct device * ) ;
  838   int (*runtime_resume)(struct device * ) ;
  839   int (*runtime_idle)(struct device * ) ;
  840};
  841# 272 "include/linux/pm.h"
  842enum rpm_status {
  843    RPM_ACTIVE = 0,
  844    RPM_RESUMING = 1,
  845    RPM_SUSPENDED = 2,
  846    RPM_SUSPENDING = 3
  847} ;
  848# 279 "include/linux/pm.h"
  849enum rpm_request {
  850    RPM_REQ_NONE = 0,
  851    RPM_REQ_IDLE = 1,
  852    RPM_REQ_SUSPEND = 2,
  853    RPM_REQ_AUTOSUSPEND = 3,
  854    RPM_REQ_RESUME = 4
  855} ;
  856# 287 "include/linux/pm.h"
  857struct wakeup_source;
  858# 287 "include/linux/pm.h"
  859struct wakeup_source;
  860# 287 "include/linux/pm.h"
  861struct wakeup_source;
  862# 288 "include/linux/pm.h"
  863struct dev_pm_info {
  864   pm_message_t power_state ;
  865   unsigned char can_wakeup : 1 ;
  866   unsigned char async_suspend : 1 ;
  867   bool is_prepared ;
  868   bool is_suspended ;
  869   spinlock_t lock ;
  870   struct list_head entry ;
  871   struct completion completion ;
  872   struct wakeup_source *wakeup ;
  873   struct timer_list suspend_timer ;
  874   unsigned long timer_expires ;
  875   struct work_struct work ;
  876   wait_queue_head_t wait_queue ;
  877   atomic_t usage_count ;
  878   atomic_t child_count ;
  879   unsigned char disable_depth : 3 ;
  880   unsigned char ignore_children : 1 ;
  881   unsigned char idle_notification : 1 ;
  882   unsigned char request_pending : 1 ;
  883   unsigned char deferred_resume : 1 ;
  884   unsigned char run_wake : 1 ;
  885   unsigned char runtime_auto : 1 ;
  886   unsigned char no_callbacks : 1 ;
  887   unsigned char irq_safe : 1 ;
  888   unsigned char use_autosuspend : 1 ;
  889   unsigned char timer_autosuspends : 1 ;
  890   enum rpm_request request ;
  891   enum rpm_status runtime_status ;
  892   int runtime_error ;
  893   int autosuspend_delay ;
  894   unsigned long last_busy ;
  895   unsigned long active_jiffies ;
  896   unsigned long suspended_jiffies ;
  897   unsigned long accounting_timestamp ;
  898   void *subsys_data ;
  899};
  900# 469 "include/linux/pm.h"
  901struct dev_power_domain {
  902   struct dev_pm_ops ops ;
  903};
  904# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
  905struct __anonstruct_mm_context_t_99 {
  906   void *ldt ;
  907   int size ;
  908   unsigned short ia32_compat ;
  909   struct mutex lock ;
  910   void *vdso ;
  911};
  912# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/mmu.h"
  913typedef struct __anonstruct_mm_context_t_99 mm_context_t;
  914# 71 "include/asm-generic/iomap.h"
  915struct vm_area_struct;
  916# 71 "include/asm-generic/iomap.h"
  917struct vm_area_struct;
  918# 71 "include/asm-generic/iomap.h"
  919struct vm_area_struct;
  920# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
  921struct bio_vec;
  922# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
  923struct bio_vec;
  924# 335 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/io.h"
  925struct bio_vec;
  926# 18 "include/linux/smp.h"
  927struct call_single_data {
  928   struct list_head list ;
  929   void (*func)(void * ) ;
  930   void *info ;
  931   u16 flags ;
  932   u16 priv ;
  933};
  934# 53 "include/linux/rcupdate.h"
  935struct rcu_head {
  936   struct rcu_head *next ;
  937   void (*func)(struct rcu_head * ) ;
  938};
  939# 841 "include/linux/rcupdate.h"
  940struct nsproxy;
  941# 841 "include/linux/rcupdate.h"
  942struct nsproxy;
  943# 841 "include/linux/rcupdate.h"
  944struct nsproxy;
  945# 842 "include/linux/rcupdate.h"
  946struct ctl_table_root;
  947# 842 "include/linux/rcupdate.h"
  948struct ctl_table_root;
  949# 842 "include/linux/rcupdate.h"
  950struct ctl_table_root;
  951# 843 "include/linux/rcupdate.h"
  952struct ctl_table_set {
  953   struct list_head list ;
  954   struct ctl_table_set *parent ;
  955   int (*is_seen)(struct ctl_table_set * ) ;
  956};
  957# 947 "include/linux/sysctl.h"
  958struct ctl_table_header;
  959# 947 "include/linux/sysctl.h"
  960struct ctl_table_header;
  961# 947 "include/linux/sysctl.h"
  962struct ctl_table_header;
  963# 965 "include/linux/sysctl.h"
  964typedef int proc_handler(struct ctl_table * , int , void * , size_t * , loff_t * );
  965# 985 "include/linux/sysctl.h"
  966struct ctl_table {
  967   char const *procname ;
  968   void *data ;
  969   int maxlen ;
  970   mode_t mode ;
  971   struct ctl_table *child ;
  972   struct ctl_table *parent ;
  973   proc_handler *proc_handler ;
  974   void *extra1 ;
  975   void *extra2 ;
  976};
  977# 1027 "include/linux/sysctl.h"
  978struct ctl_table_root {
  979   struct list_head root_list ;
  980   struct ctl_table_set default_set ;
  981   struct ctl_table_set *(*lookup)(struct ctl_table_root * , struct nsproxy * ) ;
  982   int (*permissions)(struct ctl_table_root * , struct nsproxy * , struct ctl_table * ) ;
  983};
  984# 1035 "include/linux/sysctl.h"
  985struct __anonstruct_ldv_12193_124 {
  986   struct ctl_table *ctl_table ;
  987   struct list_head ctl_entry ;
  988   int used ;
  989   int count ;
  990};
  991# 1035 "include/linux/sysctl.h"
  992union __anonunion_ldv_12195_123 {
  993   struct __anonstruct_ldv_12193_124 ldv_12193 ;
  994   struct rcu_head rcu ;
  995};
  996# 1035 "include/linux/sysctl.h"
  997struct ctl_table_header {
  998   union __anonunion_ldv_12195_123 ldv_12195 ;
  999   struct completion *unregistering ;
 1000   struct ctl_table *ctl_table_arg ;
 1001   struct ctl_table_root *root ;
 1002   struct ctl_table_set *set ;
 1003   struct ctl_table *attached_by ;
 1004   struct ctl_table *attached_to ;
 1005   struct ctl_table_header *parent ;
 1006};
 1007# 36 "include/linux/kmod.h"
 1008struct cred;
 1009# 36 "include/linux/kmod.h"
 1010struct cred;
 1011# 36 "include/linux/kmod.h"
 1012struct cred;
 1013# 27 "include/linux/elf.h"
 1014typedef __u64 Elf64_Addr;
 1015# 28 "include/linux/elf.h"
 1016typedef __u16 Elf64_Half;
 1017# 32 "include/linux/elf.h"
 1018typedef __u32 Elf64_Word;
 1019# 33 "include/linux/elf.h"
 1020typedef __u64 Elf64_Xword;
 1021# 202 "include/linux/elf.h"
 1022struct elf64_sym {
 1023   Elf64_Word st_name ;
 1024   unsigned char st_info ;
 1025   unsigned char st_other ;
 1026   Elf64_Half st_shndx ;
 1027   Elf64_Addr st_value ;
 1028   Elf64_Xword st_size ;
 1029};
 1030# 210 "include/linux/elf.h"
 1031typedef struct elf64_sym Elf64_Sym;
 1032# 444 "include/linux/elf.h"
 1033struct sock;
 1034# 444 "include/linux/elf.h"
 1035struct sock;
 1036# 444 "include/linux/elf.h"
 1037struct sock;
 1038# 445 "include/linux/elf.h"
 1039struct kobject;
 1040# 445 "include/linux/elf.h"
 1041struct kobject;
 1042# 445 "include/linux/elf.h"
 1043struct kobject;
 1044# 446 "include/linux/elf.h"
 1045enum kobj_ns_type {
 1046    KOBJ_NS_TYPE_NONE = 0,
 1047    KOBJ_NS_TYPE_NET = 1,
 1048    KOBJ_NS_TYPES = 2
 1049} ;
 1050# 452 "include/linux/elf.h"
 1051struct kobj_ns_type_operations {
 1052   enum kobj_ns_type type ;
 1053   void *(*grab_current_ns)(void) ;
 1054   void const *(*netlink_ns)(struct sock * ) ;
 1055   void const *(*initial_ns)(void) ;
 1056   void (*drop_ns)(void * ) ;
 1057};
 1058# 57 "include/linux/kobject_ns.h"
 1059struct attribute {
 1060   char const *name ;
 1061   mode_t mode ;
 1062   struct lock_class_key *key ;
 1063   struct lock_class_key skey ;
 1064};
 1065# 33 "include/linux/sysfs.h"
 1066struct attribute_group {
 1067   char const *name ;
 1068   mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
 1069   struct attribute **attrs ;
 1070};
 1071# 62 "include/linux/sysfs.h"
 1072struct bin_attribute {
 1073   struct attribute attr ;
 1074   size_t size ;
 1075   void *private ;
 1076   ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1077                   loff_t , size_t ) ;
 1078   ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
 1079                    loff_t , size_t ) ;
 1080   int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
 1081};
 1082# 98 "include/linux/sysfs.h"
 1083struct sysfs_ops {
 1084   ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
 1085   ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
 1086};
 1087# 116 "include/linux/sysfs.h"
 1088struct sysfs_dirent;
 1089# 116 "include/linux/sysfs.h"
 1090struct sysfs_dirent;
 1091# 116 "include/linux/sysfs.h"
 1092struct sysfs_dirent;
 1093# 181 "include/linux/sysfs.h"
 1094struct kref {
 1095   atomic_t refcount ;
 1096};
 1097# 39 "include/linux/kobject.h"
 1098enum kobject_action {
 1099    KOBJ_ADD = 0,
 1100    KOBJ_REMOVE = 1,
 1101    KOBJ_CHANGE = 2,
 1102    KOBJ_MOVE = 3,
 1103    KOBJ_ONLINE = 4,
 1104    KOBJ_OFFLINE = 5,
 1105    KOBJ_MAX = 6
 1106} ;
 1107# 49 "include/linux/kobject.h"
 1108struct kset;
 1109# 49 "include/linux/kobject.h"
 1110struct kset;
 1111# 49 "include/linux/kobject.h"
 1112struct kobj_type;
 1113# 49 "include/linux/kobject.h"
 1114struct kobj_type;
 1115# 49 "include/linux/kobject.h"
 1116struct kobject {
 1117   char const *name ;
 1118   struct list_head entry ;
 1119   struct kobject *parent ;
 1120   struct kset *kset ;
 1121   struct kobj_type *ktype ;
 1122   struct sysfs_dirent *sd ;
 1123   struct kref kref ;
 1124   unsigned char state_initialized : 1 ;
 1125   unsigned char state_in_sysfs : 1 ;
 1126   unsigned char state_add_uevent_sent : 1 ;
 1127   unsigned char state_remove_uevent_sent : 1 ;
 1128   unsigned char uevent_suppress : 1 ;
 1129};
 1130# 109 "include/linux/kobject.h"
 1131struct kobj_type {
 1132   void (*release)(struct kobject * ) ;
 1133   struct sysfs_ops const *sysfs_ops ;
 1134   struct attribute **default_attrs ;
 1135   struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
 1136   void const *(*namespace)(struct kobject * ) ;
 1137};
 1138# 117 "include/linux/kobject.h"
 1139struct kobj_uevent_env {
 1140   char *envp[32U] ;
 1141   int envp_idx ;
 1142   char buf[2048U] ;
 1143   int buflen ;
 1144};
 1145# 124 "include/linux/kobject.h"
 1146struct kset_uevent_ops {
 1147   int (* const filter)(struct kset * , struct kobject * ) ;
 1148   char const *(* const name)(struct kset * , struct kobject * ) ;
 1149   int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
 1150};
 1151# 141 "include/linux/kobject.h"
 1152struct kset {
 1153   struct list_head list ;
 1154   spinlock_t list_lock ;
 1155   struct kobject kobj ;
 1156   struct kset_uevent_ops const *uevent_ops ;
 1157};
 1158# 219 "include/linux/kobject.h"
 1159struct kernel_param;
 1160# 219 "include/linux/kobject.h"
 1161struct kernel_param;
 1162# 219 "include/linux/kobject.h"
 1163struct kernel_param;
 1164# 220 "include/linux/kobject.h"
 1165struct kernel_param_ops {
 1166   int (*set)(char const * , struct kernel_param const * ) ;
 1167   int (*get)(char * , struct kernel_param const * ) ;
 1168   void (*free)(void * ) ;
 1169};
 1170# 44 "include/linux/moduleparam.h"
 1171struct kparam_string;
 1172# 44 "include/linux/moduleparam.h"
 1173struct kparam_string;
 1174# 44 "include/linux/moduleparam.h"
 1175struct kparam_array;
 1176# 44 "include/linux/moduleparam.h"
 1177struct kparam_array;
 1178# 44 "include/linux/moduleparam.h"
 1179union __anonunion_ldv_12924_129 {
 1180   void *arg ;
 1181   struct kparam_string const *str ;
 1182   struct kparam_array const *arr ;
 1183};
 1184# 44 "include/linux/moduleparam.h"
 1185struct kernel_param {
 1186   char const *name ;
 1187   struct kernel_param_ops const *ops ;
 1188   u16 perm ;
 1189   u16 flags ;
 1190   union __anonunion_ldv_12924_129 ldv_12924 ;
 1191};
 1192# 59 "include/linux/moduleparam.h"
 1193struct kparam_string {
 1194   unsigned int maxlen ;
 1195   char *string ;
 1196};
 1197# 65 "include/linux/moduleparam.h"
 1198struct kparam_array {
 1199   unsigned int max ;
 1200   unsigned int elemsize ;
 1201   unsigned int *num ;
 1202   struct kernel_param_ops const *ops ;
 1203   void *elem ;
 1204};
 1205# 404 "include/linux/moduleparam.h"
 1206struct jump_label_key {
 1207   atomic_t enabled ;
 1208};
 1209# 99 "include/linux/jump_label.h"
 1210struct tracepoint;
 1211# 99 "include/linux/jump_label.h"
 1212struct tracepoint;
 1213# 99 "include/linux/jump_label.h"
 1214struct tracepoint;
 1215# 100 "include/linux/jump_label.h"
 1216struct tracepoint_func {
 1217   void *func ;
 1218   void *data ;
 1219};
 1220# 29 "include/linux/tracepoint.h"
 1221struct tracepoint {
 1222   char const *name ;
 1223   struct jump_label_key key ;
 1224   void (*regfunc)(void) ;
 1225   void (*unregfunc)(void) ;
 1226   struct tracepoint_func *funcs ;
 1227};
 1228# 84 "include/linux/tracepoint.h"
 1229struct mod_arch_specific {
 1230
 1231};
 1232# 127 "include/trace/events/module.h"
 1233struct kernel_symbol {
 1234   unsigned long value ;
 1235   char const *name ;
 1236};
 1237# 48 "include/linux/module.h"
 1238struct module_attribute {
 1239   struct attribute attr ;
 1240   ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
 1241   ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
 1242                    size_t ) ;
 1243   void (*setup)(struct module * , char const * ) ;
 1244   int (*test)(struct module * ) ;
 1245   void (*free)(struct module * ) ;
 1246};
 1247# 68 "include/linux/module.h"
 1248struct module_param_attrs;
 1249# 68 "include/linux/module.h"
 1250struct module_param_attrs;
 1251# 68 "include/linux/module.h"
 1252struct module_kobject {
 1253   struct kobject kobj ;
 1254   struct module *mod ;
 1255   struct kobject *drivers_dir ;
 1256   struct module_param_attrs *mp ;
 1257};
 1258# 81 "include/linux/module.h"
 1259struct exception_table_entry;
 1260# 81 "include/linux/module.h"
 1261struct exception_table_entry;
 1262# 81 "include/linux/module.h"
 1263struct exception_table_entry;
 1264# 218 "include/linux/module.h"
 1265enum module_state {
 1266    MODULE_STATE_LIVE = 0,
 1267    MODULE_STATE_COMING = 1,
 1268    MODULE_STATE_GOING = 2
 1269} ;
 1270# 224 "include/linux/module.h"
 1271struct module_ref {
 1272   unsigned int incs ;
 1273   unsigned int decs ;
 1274};
 1275# 418 "include/linux/module.h"
 1276struct module_sect_attrs;
 1277# 418 "include/linux/module.h"
 1278struct module_sect_attrs;
 1279# 418 "include/linux/module.h"
 1280struct module_notes_attrs;
 1281# 418 "include/linux/module.h"
 1282struct module_notes_attrs;
 1283# 418 "include/linux/module.h"
 1284struct ftrace_event_call;
 1285# 418 "include/linux/module.h"
 1286struct ftrace_event_call;
 1287# 418 "include/linux/module.h"
 1288struct module {
 1289   enum module_state state ;
 1290   struct list_head list ;
 1291   char name[56U] ;
 1292   struct module_kobject mkobj ;
 1293   struct module_attribute *modinfo_attrs ;
 1294   char const *version ;
 1295   char const *srcversion ;
 1296   struct kobject *holders_dir ;
 1297   struct kernel_symbol const *syms ;
 1298   unsigned long const *crcs ;
 1299   unsigned int num_syms ;
 1300   struct kernel_param *kp ;
 1301   unsigned int num_kp ;
 1302   unsigned int num_gpl_syms ;
 1303   struct kernel_symbol const *gpl_syms ;
 1304   unsigned long const *gpl_crcs ;
 1305   struct kernel_symbol const *unused_syms ;
 1306   unsigned long const *unused_crcs ;
 1307   unsigned int num_unused_syms ;
 1308   unsigned int num_unused_gpl_syms ;
 1309   struct kernel_symbol const *unused_gpl_syms ;
 1310   unsigned long const *unused_gpl_crcs ;
 1311   struct kernel_symbol const *gpl_future_syms ;
 1312   unsigned long const *gpl_future_crcs ;
 1313   unsigned int num_gpl_future_syms ;
 1314   unsigned int num_exentries ;
 1315   struct exception_table_entry *extable ;
 1316   int (*init)(void) ;
 1317   void *module_init ;
 1318   void *module_core ;
 1319   unsigned int init_size ;
 1320   unsigned int core_size ;
 1321   unsigned int init_text_size ;
 1322   unsigned int core_text_size ;
 1323   unsigned int init_ro_size ;
 1324   unsigned int core_ro_size ;
 1325   struct mod_arch_specific arch ;
 1326   unsigned int taints ;
 1327   unsigned int num_bugs ;
 1328   struct list_head bug_list ;
 1329   struct bug_entry *bug_table ;
 1330   Elf64_Sym *symtab ;
 1331   Elf64_Sym *core_symtab ;
 1332   unsigned int num_symtab ;
 1333   unsigned int core_num_syms ;
 1334   char *strtab ;
 1335   char *core_strtab ;
 1336   struct module_sect_attrs *sect_attrs ;
 1337   struct module_notes_attrs *notes_attrs ;
 1338   char *args ;
 1339   void *percpu ;
 1340   unsigned int percpu_size ;
 1341   unsigned int num_tracepoints ;
 1342   struct tracepoint * const *tracepoints_ptrs ;
 1343   unsigned int num_trace_bprintk_fmt ;
 1344   char const **trace_bprintk_fmt_start ;
 1345   struct ftrace_event_call **trace_events ;
 1346   unsigned int num_trace_events ;
 1347   unsigned int num_ftrace_callsites ;
 1348   unsigned long *ftrace_callsites ;
 1349   struct list_head source_list ;
 1350   struct list_head target_list ;
 1351   struct task_struct *waiter ;
 1352   void (*exit)(void) ;
 1353   struct module_ref *refptr ;
 1354   ctor_fn_t (**ctors)(void) ;
 1355   unsigned int num_ctors ;
 1356};
 1357# 8 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 1358struct pkt_ctrl_command {
 1359   __u32 command ;
 1360   __u32 dev_index ;
 1361   __u32 dev ;
 1362   __u32 pkt_dev ;
 1363   __u32 num_devices ;
 1364   __u32 padding ;
 1365};
 1366# 93 "include/linux/capability.h"
 1367struct kernel_cap_struct {
 1368   __u32 cap[2U] ;
 1369};
 1370# 96 "include/linux/capability.h"
 1371typedef struct kernel_cap_struct kernel_cap_t;
 1372# 104 "include/linux/capability.h"
 1373struct dentry;
 1374# 104 "include/linux/capability.h"
 1375struct dentry;
 1376# 104 "include/linux/capability.h"
 1377struct dentry;
 1378# 105 "include/linux/capability.h"
 1379struct user_namespace;
 1380# 105 "include/linux/capability.h"
 1381struct user_namespace;
 1382# 105 "include/linux/capability.h"
 1383struct user_namespace;
 1384# 553 "include/linux/capability.h"
 1385struct rb_node {
 1386   unsigned long rb_parent_color ;
 1387   struct rb_node *rb_right ;
 1388   struct rb_node *rb_left ;
 1389};
 1390# 108 "include/linux/rbtree.h"
 1391struct rb_root {
 1392   struct rb_node *rb_node ;
 1393};
 1394# 176 "include/linux/rbtree.h"
 1395struct prio_tree_node;
 1396# 176 "include/linux/rbtree.h"
 1397struct prio_tree_node;
 1398# 176 "include/linux/rbtree.h"
 1399struct raw_prio_tree_node {
 1400   struct prio_tree_node *left ;
 1401   struct prio_tree_node *right ;
 1402   struct prio_tree_node *parent ;
 1403};
 1404# 19 "include/linux/prio_tree.h"
 1405struct prio_tree_node {
 1406   struct prio_tree_node *left ;
 1407   struct prio_tree_node *right ;
 1408   struct prio_tree_node *parent ;
 1409   unsigned long start ;
 1410   unsigned long last ;
 1411};
 1412# 27 "include/linux/prio_tree.h"
 1413struct prio_tree_root {
 1414   struct prio_tree_node *prio_tree_node ;
 1415   unsigned short index_bits ;
 1416   unsigned short raw ;
 1417};
 1418# 115 "include/linux/prio_tree.h"
 1419struct address_space;
 1420# 115 "include/linux/prio_tree.h"
 1421struct address_space;
 1422# 115 "include/linux/prio_tree.h"
 1423struct address_space;
 1424# 116 "include/linux/prio_tree.h"
 1425struct __anonstruct_ldv_13933_132 {
 1426   u16 inuse ;
 1427   u16 objects ;
 1428};
 1429# 116 "include/linux/prio_tree.h"
 1430union __anonunion_ldv_13934_131 {
 1431   atomic_t _mapcount ;
 1432   struct __anonstruct_ldv_13933_132 ldv_13933 ;
 1433};
 1434# 116 "include/linux/prio_tree.h"
 1435struct __anonstruct_ldv_13939_134 {
 1436   unsigned long private ;
 1437   struct address_space *mapping ;
 1438};
 1439# 116 "include/linux/prio_tree.h"
 1440union __anonunion_ldv_13942_133 {
 1441   struct __anonstruct_ldv_13939_134 ldv_13939 ;
 1442   struct kmem_cache *slab ;
 1443   struct page *first_page ;
 1444};
 1445# 116 "include/linux/prio_tree.h"
 1446union __anonunion_ldv_13946_135 {
 1447   unsigned long index ;
 1448   void *freelist ;
 1449};
 1450# 116 "include/linux/prio_tree.h"
 1451struct page {
 1452   unsigned long flags ;
 1453   atomic_t _count ;
 1454   union __anonunion_ldv_13934_131 ldv_13934 ;
 1455   union __anonunion_ldv_13942_133 ldv_13942 ;
 1456   union __anonunion_ldv_13946_135 ldv_13946 ;
 1457   struct list_head lru ;
 1458};
 1459# 124 "include/linux/mm_types.h"
 1460struct __anonstruct_vm_set_137 {
 1461   struct list_head list ;
 1462   void *parent ;
 1463   struct vm_area_struct *head ;
 1464};
 1465# 124 "include/linux/mm_types.h"
 1466union __anonunion_shared_136 {
 1467   struct __anonstruct_vm_set_137 vm_set ;
 1468   struct raw_prio_tree_node prio_tree_node ;
 1469};
 1470# 124 "include/linux/mm_types.h"
 1471struct anon_vma;
 1472# 124 "include/linux/mm_types.h"
 1473struct anon_vma;
 1474# 124 "include/linux/mm_types.h"
 1475struct vm_operations_struct;
 1476# 124 "include/linux/mm_types.h"
 1477struct vm_operations_struct;
 1478# 124 "include/linux/mm_types.h"
 1479struct mempolicy;
 1480# 124 "include/linux/mm_types.h"
 1481struct mempolicy;
 1482# 124 "include/linux/mm_types.h"
 1483struct vm_area_struct {
 1484   struct mm_struct *vm_mm ;
 1485   unsigned long vm_start ;
 1486   unsigned long vm_end ;
 1487   struct vm_area_struct *vm_next ;
 1488   struct vm_area_struct *vm_prev ;
 1489   pgprot_t vm_page_prot ;
 1490   unsigned long vm_flags ;
 1491   struct rb_node vm_rb ;
 1492   union __anonunion_shared_136 shared ;
 1493   struct list_head anon_vma_chain ;
 1494   struct anon_vma *anon_vma ;
 1495   struct vm_operations_struct const *vm_ops ;
 1496   unsigned long vm_pgoff ;
 1497   struct file *vm_file ;
 1498   void *vm_private_data ;
 1499   struct mempolicy *vm_policy ;
 1500};
 1501# 187 "include/linux/mm_types.h"
 1502struct core_thread {
 1503   struct task_struct *task ;
 1504   struct core_thread *next ;
 1505};
 1506# 193 "include/linux/mm_types.h"
 1507struct core_state {
 1508   atomic_t nr_threads ;
 1509   struct core_thread dumper ;
 1510   struct completion startup ;
 1511};
 1512# 206 "include/linux/mm_types.h"
 1513struct mm_rss_stat {
 1514   atomic_long_t count[3U] ;
 1515};
 1516# 219 "include/linux/mm_types.h"
 1517struct linux_binfmt;
 1518# 219 "include/linux/mm_types.h"
 1519struct linux_binfmt;
 1520# 219 "include/linux/mm_types.h"
 1521struct mmu_notifier_mm;
 1522# 219 "include/linux/mm_types.h"
 1523struct mmu_notifier_mm;
 1524# 219 "include/linux/mm_types.h"
 1525struct mm_struct {
 1526   struct vm_area_struct *mmap ;
 1527   struct rb_root mm_rb ;
 1528   struct vm_area_struct *mmap_cache ;
 1529   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
 1530                                      unsigned long , unsigned long ) ;
 1531   void (*unmap_area)(struct mm_struct * , unsigned long ) ;
 1532   unsigned long mmap_base ;
 1533   unsigned long task_size ;
 1534   unsigned long cached_hole_size ;
 1535   unsigned long free_area_cache ;
 1536   pgd_t *pgd ;
 1537   atomic_t mm_users ;
 1538   atomic_t mm_count ;
 1539   int map_count ;
 1540   spinlock_t page_table_lock ;
 1541   struct rw_semaphore mmap_sem ;
 1542   struct list_head mmlist ;
 1543   unsigned long hiwater_rss ;
 1544   unsigned long hiwater_vm ;
 1545   unsigned long total_vm ;
 1546   unsigned long locked_vm ;
 1547   unsigned long shared_vm ;
 1548   unsigned long exec_vm ;
 1549   unsigned long stack_vm ;
 1550   unsigned long reserved_vm ;
 1551   unsigned long def_flags ;
 1552   unsigned long nr_ptes ;
 1553   unsigned long start_code ;
 1554   unsigned long end_code ;
 1555   unsigned long start_data ;
 1556   unsigned long end_data ;
 1557   unsigned long start_brk ;
 1558   unsigned long brk ;
 1559   unsigned long start_stack ;
 1560   unsigned long arg_start ;
 1561   unsigned long arg_end ;
 1562   unsigned long env_start ;
 1563   unsigned long env_end ;
 1564   unsigned long saved_auxv[44U] ;
 1565   struct mm_rss_stat rss_stat ;
 1566   struct linux_binfmt *binfmt ;
 1567   cpumask_var_t cpu_vm_mask_var ;
 1568   mm_context_t context ;
 1569   unsigned int faultstamp ;
 1570   unsigned int token_priority ;
 1571   unsigned int last_interval ;
 1572   atomic_t oom_disable_count ;
 1573   unsigned long flags ;
 1574   struct core_state *core_state ;
 1575   spinlock_t ioctx_lock ;
 1576   struct hlist_head ioctx_list ;
 1577   struct task_struct *owner ;
 1578   struct file *exe_file ;
 1579   unsigned long num_exe_file_vmas ;
 1580   struct mmu_notifier_mm *mmu_notifier_mm ;
 1581   pgtable_t pmd_huge_pte ;
 1582   struct cpumask cpumask_allocation ;
 1583};
 1584# 7 "include/asm-generic/cputime.h"
 1585typedef unsigned long cputime_t;
 1586# 118 "include/linux/sem.h"
 1587struct sem_undo_list;
 1588# 118 "include/linux/sem.h"
 1589struct sem_undo_list;
 1590# 131 "include/linux/sem.h"
 1591struct sem_undo_list {
 1592   atomic_t refcnt ;
 1593   spinlock_t lock ;
 1594   struct list_head list_proc ;
 1595};
 1596# 140 "include/linux/sem.h"
 1597struct sysv_sem {
 1598   struct sem_undo_list *undo_list ;
 1599};
 1600# 149 "include/linux/sem.h"
 1601struct siginfo;
 1602# 149 "include/linux/sem.h"
 1603struct siginfo;
 1604# 149 "include/linux/sem.h"
 1605struct siginfo;
 1606# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 1607struct __anonstruct_sigset_t_138 {
 1608   unsigned long sig[1U] ;
 1609};
 1610# 32 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 1611typedef struct __anonstruct_sigset_t_138 sigset_t;
 1612# 17 "include/asm-generic/signal-defs.h"
 1613typedef void __signalfn_t(int );
 1614# 18 "include/asm-generic/signal-defs.h"
 1615typedef __signalfn_t *__sighandler_t;
 1616# 20 "include/asm-generic/signal-defs.h"
 1617typedef void __restorefn_t(void);
 1618# 21 "include/asm-generic/signal-defs.h"
 1619typedef __restorefn_t *__sigrestore_t;
 1620# 126 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 1621struct sigaction {
 1622   __sighandler_t sa_handler ;
 1623   unsigned long sa_flags ;
 1624   __sigrestore_t sa_restorer ;
 1625   sigset_t sa_mask ;
 1626};
 1627# 173 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 1628struct k_sigaction {
 1629   struct sigaction sa ;
 1630};
 1631# 185 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/signal.h"
 1632union sigval {
 1633   int sival_int ;
 1634   void *sival_ptr ;
 1635};
 1636# 10 "include/asm-generic/siginfo.h"
 1637typedef union sigval sigval_t;
 1638# 11 "include/asm-generic/siginfo.h"
 1639struct __anonstruct__kill_140 {
 1640   __kernel_pid_t _pid ;
 1641   __kernel_uid32_t _uid ;
 1642};
 1643# 11 "include/asm-generic/siginfo.h"
 1644struct __anonstruct__timer_141 {
 1645   __kernel_timer_t _tid ;
 1646   int _overrun ;
 1647   char _pad[0U] ;
 1648   sigval_t _sigval ;
 1649   int _sys_private ;
 1650};
 1651# 11 "include/asm-generic/siginfo.h"
 1652struct __anonstruct__rt_142 {
 1653   __kernel_pid_t _pid ;
 1654   __kernel_uid32_t _uid ;
 1655   sigval_t _sigval ;
 1656};
 1657# 11 "include/asm-generic/siginfo.h"
 1658struct __anonstruct__sigchld_143 {
 1659   __kernel_pid_t _pid ;
 1660   __kernel_uid32_t _uid ;
 1661   int _status ;
 1662   __kernel_clock_t _utime ;
 1663   __kernel_clock_t _stime ;
 1664};
 1665# 11 "include/asm-generic/siginfo.h"
 1666struct __anonstruct__sigfault_144 {
 1667   void *_addr ;
 1668   short _addr_lsb ;
 1669};
 1670# 11 "include/asm-generic/siginfo.h"
 1671struct __anonstruct__sigpoll_145 {
 1672   long _band ;
 1673   int _fd ;
 1674};
 1675# 11 "include/asm-generic/siginfo.h"
 1676union __anonunion__sifields_139 {
 1677   int _pad[28U] ;
 1678   struct __anonstruct__kill_140 _kill ;
 1679   struct __anonstruct__timer_141 _timer ;
 1680   struct __anonstruct__rt_142 _rt ;
 1681   struct __anonstruct__sigchld_143 _sigchld ;
 1682   struct __anonstruct__sigfault_144 _sigfault ;
 1683   struct __anonstruct__sigpoll_145 _sigpoll ;
 1684};
 1685# 11 "include/asm-generic/siginfo.h"
 1686struct siginfo {
 1687   int si_signo ;
 1688   int si_errno ;
 1689   int si_code ;
 1690   union __anonunion__sifields_139 _sifields ;
 1691};
 1692# 94 "include/asm-generic/siginfo.h"
 1693typedef struct siginfo siginfo_t;
 1694# 14 "include/linux/signal.h"
 1695struct user_struct;
 1696# 14 "include/linux/signal.h"
 1697struct user_struct;
 1698# 24 "include/linux/signal.h"
 1699struct sigpending {
 1700   struct list_head list ;
 1701   sigset_t signal ;
 1702};
 1703# 387 "include/linux/signal.h"
 1704enum pid_type {
 1705    PIDTYPE_PID = 0,
 1706    PIDTYPE_PGID = 1,
 1707    PIDTYPE_SID = 2,
 1708    PIDTYPE_MAX = 3
 1709} ;
 1710# 394 "include/linux/signal.h"
 1711struct pid_namespace;
 1712# 394 "include/linux/signal.h"
 1713struct pid_namespace;
 1714# 394 "include/linux/signal.h"
 1715struct upid {
 1716   int nr ;
 1717   struct pid_namespace *ns ;
 1718   struct hlist_node pid_chain ;
 1719};
 1720# 56 "include/linux/pid.h"
 1721struct pid {
 1722   atomic_t count ;
 1723   unsigned int level ;
 1724   struct hlist_head tasks[3U] ;
 1725   struct rcu_head rcu ;
 1726   struct upid numbers[1U] ;
 1727};
 1728# 68 "include/linux/pid.h"
 1729struct pid_link {
 1730   struct hlist_node node ;
 1731   struct pid *pid ;
 1732};
 1733# 175 "include/linux/pid.h"
 1734struct percpu_counter {
 1735   spinlock_t lock ;
 1736   s64 count ;
 1737   struct list_head list ;
 1738   s32 *counters ;
 1739};
 1740# 45 "include/linux/proportions.h"
 1741struct prop_local_percpu {
 1742   struct percpu_counter events ;
 1743   int shift ;
 1744   unsigned long period ;
 1745   spinlock_t lock ;
 1746};
 1747# 90 "include/linux/proportions.h"
 1748struct prop_local_single {
 1749   unsigned long events ;
 1750   unsigned long period ;
 1751   int shift ;
 1752   spinlock_t lock ;
 1753};
 1754# 10 "include/linux/seccomp.h"
 1755struct __anonstruct_seccomp_t_148 {
 1756   int mode ;
 1757};
 1758# 10 "include/linux/seccomp.h"
 1759typedef struct __anonstruct_seccomp_t_148 seccomp_t;
 1760# 427 "include/linux/rculist.h"
 1761struct plist_head {
 1762   struct list_head node_list ;
 1763   raw_spinlock_t *rawlock ;
 1764   spinlock_t *spinlock ;
 1765};
 1766# 88 "include/linux/plist.h"
 1767struct plist_node {
 1768   int prio ;
 1769   struct list_head prio_list ;
 1770   struct list_head node_list ;
 1771};
 1772# 38 "include/linux/rtmutex.h"
 1773struct rt_mutex_waiter;
 1774# 38 "include/linux/rtmutex.h"
 1775struct rt_mutex_waiter;
 1776# 38 "include/linux/rtmutex.h"
 1777struct rt_mutex_waiter;
 1778# 41 "include/linux/resource.h"
 1779struct rlimit {
 1780   unsigned long rlim_cur ;
 1781   unsigned long rlim_max ;
 1782};
 1783# 85 "include/linux/resource.h"
 1784struct timerqueue_node {
 1785   struct rb_node node ;
 1786   ktime_t expires ;
 1787};
 1788# 12 "include/linux/timerqueue.h"
 1789struct timerqueue_head {
 1790   struct rb_root head ;
 1791   struct timerqueue_node *next ;
 1792};
 1793# 50 "include/linux/timerqueue.h"
 1794struct hrtimer_clock_base;
 1795# 50 "include/linux/timerqueue.h"
 1796struct hrtimer_clock_base;
 1797# 50 "include/linux/timerqueue.h"
 1798struct hrtimer_clock_base;
 1799# 51 "include/linux/timerqueue.h"
 1800struct hrtimer_cpu_base;
 1801# 51 "include/linux/timerqueue.h"
 1802struct hrtimer_cpu_base;
 1803# 51 "include/linux/timerqueue.h"
 1804struct hrtimer_cpu_base;
 1805# 60 "include/linux/timerqueue.h"
 1806enum hrtimer_restart {
 1807    HRTIMER_NORESTART = 0,
 1808    HRTIMER_RESTART = 1
 1809} ;
 1810# 65 "include/linux/timerqueue.h"
 1811struct hrtimer {
 1812   struct timerqueue_node node ;
 1813   ktime_t _softexpires ;
 1814   enum hrtimer_restart (*function)(struct hrtimer * ) ;
 1815   struct hrtimer_clock_base *base ;
 1816   unsigned long state ;
 1817   int start_pid ;
 1818   void *start_site ;
 1819   char start_comm[16U] ;
 1820};
 1821# 132 "include/linux/hrtimer.h"
 1822struct hrtimer_clock_base {
 1823   struct hrtimer_cpu_base *cpu_base ;
 1824   int index ;
 1825   clockid_t clockid ;
 1826   struct timerqueue_head active ;
 1827   ktime_t resolution ;
 1828   ktime_t (*get_time)(void) ;
 1829   ktime_t softirq_time ;
 1830   ktime_t offset ;
 1831};
 1832# 162 "include/linux/hrtimer.h"
 1833struct hrtimer_cpu_base {
 1834   raw_spinlock_t lock ;
 1835   unsigned long active_bases ;
 1836   ktime_t expires_next ;
 1837   int hres_active ;
 1838   int hang_detected ;
 1839   unsigned long nr_events ;
 1840   unsigned long nr_retries ;
 1841   unsigned long nr_hangs ;
 1842   ktime_t max_hang_time ;
 1843   struct hrtimer_clock_base clock_base[3U] ;
 1844};
 1845# 452 "include/linux/hrtimer.h"
 1846struct task_io_accounting {
 1847   u64 rchar ;
 1848   u64 wchar ;
 1849   u64 syscr ;
 1850   u64 syscw ;
 1851   u64 read_bytes ;
 1852   u64 write_bytes ;
 1853   u64 cancelled_write_bytes ;
 1854};
 1855# 45 "include/linux/task_io_accounting.h"
 1856struct latency_record {
 1857   unsigned long backtrace[12U] ;
 1858   unsigned int count ;
 1859   unsigned long time ;
 1860   unsigned long max ;
 1861};
 1862# 29 "include/linux/key.h"
 1863typedef int32_t key_serial_t;
 1864# 32 "include/linux/key.h"
 1865typedef uint32_t key_perm_t;
 1866# 33 "include/linux/key.h"
 1867struct key;
 1868# 33 "include/linux/key.h"
 1869struct key;
 1870# 33 "include/linux/key.h"
 1871struct key;
 1872# 34 "include/linux/key.h"
 1873struct signal_struct;
 1874# 34 "include/linux/key.h"
 1875struct signal_struct;
 1876# 34 "include/linux/key.h"
 1877struct signal_struct;
 1878# 35 "include/linux/key.h"
 1879struct key_type;
 1880# 35 "include/linux/key.h"
 1881struct key_type;
 1882# 35 "include/linux/key.h"
 1883struct key_type;
 1884# 37 "include/linux/key.h"
 1885struct keyring_list;
 1886# 37 "include/linux/key.h"
 1887struct keyring_list;
 1888# 37 "include/linux/key.h"
 1889struct keyring_list;
 1890# 115 "include/linux/key.h"
 1891struct key_user;
 1892# 115 "include/linux/key.h"
 1893struct key_user;
 1894# 115 "include/linux/key.h"
 1895union __anonunion_ldv_15200_149 {
 1896   time_t expiry ;
 1897   time_t revoked_at ;
 1898};
 1899# 115 "include/linux/key.h"
 1900union __anonunion_type_data_150 {
 1901   struct list_head link ;
 1902   unsigned long x[2U] ;
 1903   void *p[2U] ;
 1904   int reject_error ;
 1905};
 1906# 115 "include/linux/key.h"
 1907union __anonunion_payload_151 {
 1908   unsigned long value ;
 1909   void *rcudata ;
 1910   void *data ;
 1911   struct keyring_list *subscriptions ;
 1912};
 1913# 115 "include/linux/key.h"
 1914struct key {
 1915   atomic_t usage ;
 1916   key_serial_t serial ;
 1917   struct rb_node serial_node ;
 1918   struct key_type *type ;
 1919   struct rw_semaphore sem ;
 1920   struct key_user *user ;
 1921   void *security ;
 1922   union __anonunion_ldv_15200_149 ldv_15200 ;
 1923   uid_t uid ;
 1924   gid_t gid ;
 1925   key_perm_t perm ;
 1926   unsigned short quotalen ;
 1927   unsigned short datalen ;
 1928   unsigned long flags ;
 1929   char *description ;
 1930   union __anonunion_type_data_150 type_data ;
 1931   union __anonunion_payload_151 payload ;
 1932};
 1933# 310 "include/linux/key.h"
 1934struct audit_context;
 1935# 310 "include/linux/key.h"
 1936struct audit_context;
 1937# 310 "include/linux/key.h"
 1938struct audit_context;
 1939# 27 "include/linux/selinux.h"
 1940struct inode;
 1941# 27 "include/linux/selinux.h"
 1942struct inode;
 1943# 27 "include/linux/selinux.h"
 1944struct inode;
 1945# 28 "include/linux/selinux.h"
 1946struct group_info {
 1947   atomic_t usage ;
 1948   int ngroups ;
 1949   int nblocks ;
 1950   gid_t small_block[32U] ;
 1951   gid_t *blocks[0U] ;
 1952};
 1953# 77 "include/linux/cred.h"
 1954struct thread_group_cred {
 1955   atomic_t usage ;
 1956   pid_t tgid ;
 1957   spinlock_t lock ;
 1958   struct key *session_keyring ;
 1959   struct key *process_keyring ;
 1960   struct rcu_head rcu ;
 1961};
 1962# 91 "include/linux/cred.h"
 1963struct cred {
 1964   atomic_t usage ;
 1965   atomic_t subscribers ;
 1966   void *put_addr ;
 1967   unsigned int magic ;
 1968   uid_t uid ;
 1969   gid_t gid ;
 1970   uid_t suid ;
 1971   gid_t sgid ;
 1972   uid_t euid ;
 1973   gid_t egid ;
 1974   uid_t fsuid ;
 1975   gid_t fsgid ;
 1976   unsigned int securebits ;
 1977   kernel_cap_t cap_inheritable ;
 1978   kernel_cap_t cap_permitted ;
 1979   kernel_cap_t cap_effective ;
 1980   kernel_cap_t cap_bset ;
 1981   unsigned char jit_keyring ;
 1982   struct key *thread_keyring ;
 1983   struct key *request_key_auth ;
 1984   struct thread_group_cred *tgcred ;
 1985   void *security ;
 1986   struct user_struct *user ;
 1987   struct user_namespace *user_ns ;
 1988   struct group_info *group_info ;
 1989   struct rcu_head rcu ;
 1990};
 1991# 264 "include/linux/cred.h"
 1992struct futex_pi_state;
 1993# 264 "include/linux/cred.h"
 1994struct futex_pi_state;
 1995# 264 "include/linux/cred.h"
 1996struct futex_pi_state;
 1997# 265 "include/linux/cred.h"
 1998struct robust_list_head;
 1999# 265 "include/linux/cred.h"
 2000struct robust_list_head;
 2001# 265 "include/linux/cred.h"
 2002struct robust_list_head;
 2003# 266 "include/linux/cred.h"
 2004struct bio_list;
 2005# 266 "include/linux/cred.h"
 2006struct bio_list;
 2007# 266 "include/linux/cred.h"
 2008struct bio_list;
 2009# 267 "include/linux/cred.h"
 2010struct fs_struct;
 2011# 267 "include/linux/cred.h"
 2012struct fs_struct;
 2013# 267 "include/linux/cred.h"
 2014struct fs_struct;
 2015# 268 "include/linux/cred.h"
 2016struct perf_event_context;
 2017# 268 "include/linux/cred.h"
 2018struct perf_event_context;
 2019# 268 "include/linux/cred.h"
 2020struct perf_event_context;
 2021# 269 "include/linux/cred.h"
 2022struct blk_plug;
 2023# 269 "include/linux/cred.h"
 2024struct blk_plug;
 2025# 269 "include/linux/cred.h"
 2026struct blk_plug;
 2027# 149 "include/linux/sched.h"
 2028struct cfs_rq;
 2029# 149 "include/linux/sched.h"
 2030struct cfs_rq;
 2031# 149 "include/linux/sched.h"
 2032struct cfs_rq;
 2033# 44 "include/linux/aio_abi.h"
 2034struct io_event {
 2035   __u64 data ;
 2036   __u64 obj ;
 2037   __s64 res ;
 2038   __s64 res2 ;
 2039};
 2040# 106 "include/linux/aio_abi.h"
 2041struct iovec {
 2042   void *iov_base ;
 2043   __kernel_size_t iov_len ;
 2044};
 2045# 54 "include/linux/uio.h"
 2046struct kioctx;
 2047# 54 "include/linux/uio.h"
 2048struct kioctx;
 2049# 54 "include/linux/uio.h"
 2050struct kioctx;
 2051# 55 "include/linux/uio.h"
 2052union __anonunion_ki_obj_152 {
 2053   void *user ;
 2054   struct task_struct *tsk ;
 2055};
 2056# 55 "include/linux/uio.h"
 2057struct eventfd_ctx;
 2058# 55 "include/linux/uio.h"
 2059struct eventfd_ctx;
 2060# 55 "include/linux/uio.h"
 2061struct kiocb {
 2062   struct list_head ki_run_list ;
 2063   unsigned long ki_flags ;
 2064   int ki_users ;
 2065   unsigned int ki_key ;
 2066   struct file *ki_filp ;
 2067   struct kioctx *ki_ctx ;
 2068   int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
 2069   ssize_t (*ki_retry)(struct kiocb * ) ;
 2070   void (*ki_dtor)(struct kiocb * ) ;
 2071   union __anonunion_ki_obj_152 ki_obj ;
 2072   __u64 ki_user_data ;
 2073   loff_t ki_pos ;
 2074   void *private ;
 2075   unsigned short ki_opcode ;
 2076   size_t ki_nbytes ;
 2077   char *ki_buf ;
 2078   size_t ki_left ;
 2079   struct iovec ki_inline_vec ;
 2080   struct iovec *ki_iovec ;
 2081   unsigned long ki_nr_segs ;
 2082   unsigned long ki_cur_seg ;
 2083   struct list_head ki_list ;
 2084   struct eventfd_ctx *ki_eventfd ;
 2085};
 2086# 161 "include/linux/aio.h"
 2087struct aio_ring_info {
 2088   unsigned long mmap_base ;
 2089   unsigned long mmap_size ;
 2090   struct page **ring_pages ;
 2091   spinlock_t ring_lock ;
 2092   long nr_pages ;
 2093   unsigned int nr ;
 2094   unsigned int tail ;
 2095   struct page *internal_pages[8U] ;
 2096};
 2097# 177 "include/linux/aio.h"
 2098struct kioctx {
 2099   atomic_t users ;
 2100   int dead ;
 2101   struct mm_struct *mm ;
 2102   unsigned long user_id ;
 2103   struct hlist_node list ;
 2104   wait_queue_head_t wait ;
 2105   spinlock_t ctx_lock ;
 2106   int reqs_active ;
 2107   struct list_head active_reqs ;
 2108   struct list_head run_list ;
 2109   unsigned int max_reqs ;
 2110   struct aio_ring_info ring_info ;
 2111   struct delayed_work wq ;
 2112   struct rcu_head rcu_head ;
 2113};
 2114# 404 "include/linux/sched.h"
 2115struct sighand_struct {
 2116   atomic_t count ;
 2117   struct k_sigaction action[64U] ;
 2118   spinlock_t siglock ;
 2119   wait_queue_head_t signalfd_wqh ;
 2120};
 2121# 447 "include/linux/sched.h"
 2122struct pacct_struct {
 2123   int ac_flag ;
 2124   long ac_exitcode ;
 2125   unsigned long ac_mem ;
 2126   cputime_t ac_utime ;
 2127   cputime_t ac_stime ;
 2128   unsigned long ac_minflt ;
 2129   unsigned long ac_majflt ;
 2130};
 2131# 455 "include/linux/sched.h"
 2132struct cpu_itimer {
 2133   cputime_t expires ;
 2134   cputime_t incr ;
 2135   u32 error ;
 2136   u32 incr_error ;
 2137};
 2138# 462 "include/linux/sched.h"
 2139struct task_cputime {
 2140   cputime_t utime ;
 2141   cputime_t stime ;
 2142   unsigned long long sum_exec_runtime ;
 2143};
 2144# 479 "include/linux/sched.h"
 2145struct thread_group_cputimer {
 2146   struct task_cputime cputime ;
 2147   int running ;
 2148   spinlock_t lock ;
 2149};
 2150# 515 "include/linux/sched.h"
 2151struct autogroup;
 2152# 515 "include/linux/sched.h"
 2153struct autogroup;
 2154# 515 "include/linux/sched.h"
 2155struct autogroup;
 2156# 516 "include/linux/sched.h"
 2157struct tty_struct;
 2158# 516 "include/linux/sched.h"
 2159struct tty_struct;
 2160# 516 "include/linux/sched.h"
 2161struct taskstats;
 2162# 516 "include/linux/sched.h"
 2163struct taskstats;
 2164# 516 "include/linux/sched.h"
 2165struct tty_audit_buf;
 2166# 516 "include/linux/sched.h"
 2167struct tty_audit_buf;
 2168# 516 "include/linux/sched.h"
 2169struct signal_struct {
 2170   atomic_t sigcnt ;
 2171   atomic_t live ;
 2172   int nr_threads ;
 2173   wait_queue_head_t wait_chldexit ;
 2174   struct task_struct *curr_target ;
 2175   struct sigpending shared_pending ;
 2176   int group_exit_code ;
 2177   int notify_count ;
 2178   struct task_struct *group_exit_task ;
 2179   int group_stop_count ;
 2180   unsigned int flags ;
 2181   struct list_head posix_timers ;
 2182   struct hrtimer real_timer ;
 2183   struct pid *leader_pid ;
 2184   ktime_t it_real_incr ;
 2185   struct cpu_itimer it[2U] ;
 2186   struct thread_group_cputimer cputimer ;
 2187   struct task_cputime cputime_expires ;
 2188   struct list_head cpu_timers[3U] ;
 2189   struct pid *tty_old_pgrp ;
 2190   int leader ;
 2191   struct tty_struct *tty ;
 2192   struct autogroup *autogroup ;
 2193   cputime_t utime ;
 2194   cputime_t stime ;
 2195   cputime_t cutime ;
 2196   cputime_t cstime ;
 2197   cputime_t gtime ;
 2198   cputime_t cgtime ;
 2199   cputime_t prev_utime ;
 2200   cputime_t prev_stime ;
 2201   unsigned long nvcsw ;
 2202   unsigned long nivcsw ;
 2203   unsigned long cnvcsw ;
 2204   unsigned long cnivcsw ;
 2205   unsigned long min_flt ;
 2206   unsigned long maj_flt ;
 2207   unsigned long cmin_flt ;
 2208   unsigned long cmaj_flt ;
 2209   unsigned long inblock ;
 2210   unsigned long oublock ;
 2211   unsigned long cinblock ;
 2212   unsigned long coublock ;
 2213   unsigned long maxrss ;
 2214   unsigned long cmaxrss ;
 2215   struct task_io_accounting ioac ;
 2216   unsigned long long sum_sched_runtime ;
 2217   struct rlimit rlim[16U] ;
 2218   struct pacct_struct pacct ;
 2219   struct taskstats *stats ;
 2220   unsigned int audit_tty ;
 2221   struct tty_audit_buf *tty_audit_buf ;
 2222   struct rw_semaphore threadgroup_fork_lock ;
 2223   int oom_adj ;
 2224   int oom_score_adj ;
 2225   int oom_score_adj_min ;
 2226   struct mutex cred_guard_mutex ;
 2227};
 2228# 683 "include/linux/sched.h"
 2229struct user_struct {
 2230   atomic_t __count ;
 2231   atomic_t processes ;
 2232   atomic_t files ;
 2233   atomic_t sigpending ;
 2234   atomic_t inotify_watches ;
 2235   atomic_t inotify_devs ;
 2236   atomic_t fanotify_listeners ;
 2237   atomic_long_t epoll_watches ;
 2238   unsigned long mq_bytes ;
 2239   unsigned long locked_shm ;
 2240   struct key *uid_keyring ;
 2241   struct key *session_keyring ;
 2242   struct hlist_node uidhash_node ;
 2243   uid_t uid ;
 2244   struct user_namespace *user_ns ;
 2245   atomic_long_t locked_vm ;
 2246};
 2247# 728 "include/linux/sched.h"
 2248struct backing_dev_info;
 2249# 728 "include/linux/sched.h"
 2250struct backing_dev_info;
 2251# 728 "include/linux/sched.h"
 2252struct backing_dev_info;
 2253# 729 "include/linux/sched.h"
 2254struct reclaim_state;
 2255# 729 "include/linux/sched.h"
 2256struct reclaim_state;
 2257# 729 "include/linux/sched.h"
 2258struct reclaim_state;
 2259# 730 "include/linux/sched.h"
 2260struct sched_info {
 2261   unsigned long pcount ;
 2262   unsigned long long run_delay ;
 2263   unsigned long long last_arrival ;
 2264   unsigned long long last_queued ;
 2265};
 2266# 744 "include/linux/sched.h"
 2267struct task_delay_info {
 2268   spinlock_t lock ;
 2269   unsigned int flags ;
 2270   struct timespec blkio_start ;
 2271   struct timespec blkio_end ;
 2272   u64 blkio_delay ;
 2273   u64 swapin_delay ;
 2274   u32 blkio_count ;
 2275   u32 swapin_count ;
 2276   struct timespec freepages_start ;
 2277   struct timespec freepages_end ;
 2278   u64 freepages_delay ;
 2279   u32 freepages_count ;
 2280};
 2281# 1037 "include/linux/sched.h"
 2282struct io_context;
 2283# 1037 "include/linux/sched.h"
 2284struct io_context;
 2285# 1037 "include/linux/sched.h"
 2286struct io_context;
 2287# 1059 "include/linux/sched.h"
 2288struct pipe_inode_info;
 2289# 1059 "include/linux/sched.h"
 2290struct pipe_inode_info;
 2291# 1059 "include/linux/sched.h"
 2292struct pipe_inode_info;
 2293# 1061 "include/linux/sched.h"
 2294struct rq;
 2295# 1061 "include/linux/sched.h"
 2296struct rq;
 2297# 1061 "include/linux/sched.h"
 2298struct rq;
 2299# 1062 "include/linux/sched.h"
 2300struct sched_class {
 2301   struct sched_class const *next ;
 2302   void (*enqueue_task)(struct rq * , struct task_struct * , int ) ;
 2303   void (*dequeue_task)(struct rq * , struct task_struct * , int ) ;
 2304   void (*yield_task)(struct rq * ) ;
 2305   bool (*yield_to_task)(struct rq * , struct task_struct * , bool ) ;
 2306   void (*check_preempt_curr)(struct rq * , struct task_struct * , int ) ;
 2307   struct task_struct *(*pick_next_task)(struct rq * ) ;
 2308   void (*put_prev_task)(struct rq * , struct task_struct * ) ;
 2309   int (*select_task_rq)(struct task_struct * , int , int ) ;
 2310   void (*pre_schedule)(struct rq * , struct task_struct * ) ;
 2311   void (*post_schedule)(struct rq * ) ;
 2312   void (*task_waking)(struct task_struct * ) ;
 2313   void (*task_woken)(struct rq * , struct task_struct * ) ;
 2314   void (*set_cpus_allowed)(struct task_struct * , struct cpumask const * ) ;
 2315   void (*rq_online)(struct rq * ) ;
 2316   void (*rq_offline)(struct rq * ) ;
 2317   void (*set_curr_task)(struct rq * ) ;
 2318   void (*task_tick)(struct rq * , struct task_struct * , int ) ;
 2319   void (*task_fork)(struct task_struct * ) ;
 2320   void (*switched_from)(struct rq * , struct task_struct * ) ;
 2321   void (*switched_to)(struct rq * , struct task_struct * ) ;
 2322   void (*prio_changed)(struct rq * , struct task_struct * , int ) ;
 2323   unsigned int (*get_rr_interval)(struct rq * , struct task_struct * ) ;
 2324   void (*task_move_group)(struct task_struct * , int ) ;
 2325};
 2326# 1127 "include/linux/sched.h"
 2327struct load_weight {
 2328   unsigned long weight ;
 2329   unsigned long inv_weight ;
 2330};
 2331# 1132 "include/linux/sched.h"
 2332struct sched_statistics {
 2333   u64 wait_start ;
 2334   u64 wait_max ;
 2335   u64 wait_count ;
 2336   u64 wait_sum ;
 2337   u64 iowait_count ;
 2338   u64 iowait_sum ;
 2339   u64 sleep_start ;
 2340   u64 sleep_max ;
 2341   s64 sum_sleep_runtime ;
 2342   u64 block_start ;
 2343   u64 block_max ;
 2344   u64 exec_max ;
 2345   u64 slice_max ;
 2346   u64 nr_migrations_cold ;
 2347   u64 nr_failed_migrations_affine ;
 2348   u64 nr_failed_migrations_running ;
 2349   u64 nr_failed_migrations_hot ;
 2350   u64 nr_forced_migrations ;
 2351   u64 nr_wakeups ;
 2352   u64 nr_wakeups_sync ;
 2353   u64 nr_wakeups_migrate ;
 2354   u64 nr_wakeups_local ;
 2355   u64 nr_wakeups_remote ;
 2356   u64 nr_wakeups_affine ;
 2357   u64 nr_wakeups_affine_attempts ;
 2358   u64 nr_wakeups_passive ;
 2359   u64 nr_wakeups_idle ;
 2360};
 2361# 1167 "include/linux/sched.h"
 2362struct sched_entity {
 2363   struct load_weight load ;
 2364   struct rb_node run_node ;
 2365   struct list_head group_node ;
 2366   unsigned int on_rq ;
 2367   u64 exec_start ;
 2368   u64 sum_exec_runtime ;
 2369   u64 vruntime ;
 2370   u64 prev_sum_exec_runtime ;
 2371   u64 nr_migrations ;
 2372   struct sched_statistics statistics ;
 2373   struct sched_entity *parent ;
 2374   struct cfs_rq *cfs_rq ;
 2375   struct cfs_rq *my_q ;
 2376};
 2377# 1193 "include/linux/sched.h"
 2378struct rt_rq;
 2379# 1193 "include/linux/sched.h"
 2380struct rt_rq;
 2381# 1193 "include/linux/sched.h"
 2382struct sched_rt_entity {
 2383   struct list_head run_list ;
 2384   unsigned long timeout ;
 2385   unsigned int time_slice ;
 2386   int nr_cpus_allowed ;
 2387   struct sched_rt_entity *back ;
 2388   struct sched_rt_entity *parent ;
 2389   struct rt_rq *rt_rq ;
 2390   struct rt_rq *my_q ;
 2391};
 2392# 1217 "include/linux/sched.h"
 2393struct mem_cgroup;
 2394# 1217 "include/linux/sched.h"
 2395struct mem_cgroup;
 2396# 1217 "include/linux/sched.h"
 2397struct memcg_batch_info {
 2398   int do_batch ;
 2399   struct mem_cgroup *memcg ;
 2400   unsigned long nr_pages ;
 2401   unsigned long memsw_nr_pages ;
 2402};
 2403# 1569 "include/linux/sched.h"
 2404struct files_struct;
 2405# 1569 "include/linux/sched.h"
 2406struct files_struct;
 2407# 1569 "include/linux/sched.h"
 2408struct irqaction;
 2409# 1569 "include/linux/sched.h"
 2410struct irqaction;
 2411# 1569 "include/linux/sched.h"
 2412struct css_set;
 2413# 1569 "include/linux/sched.h"
 2414struct css_set;
 2415# 1569 "include/linux/sched.h"
 2416struct compat_robust_list_head;
 2417# 1569 "include/linux/sched.h"
 2418struct compat_robust_list_head;
 2419# 1569 "include/linux/sched.h"
 2420struct ftrace_ret_stack;
 2421# 1569 "include/linux/sched.h"
 2422struct ftrace_ret_stack;
 2423# 1569 "include/linux/sched.h"
 2424struct task_struct {
 2425   long volatile state ;
 2426   void *stack ;
 2427   atomic_t usage ;
 2428   unsigned int flags ;
 2429   unsigned int ptrace ;
 2430   struct task_struct *wake_entry ;
 2431   int on_cpu ;
 2432   int on_rq ;
 2433   int prio ;
 2434   int static_prio ;
 2435   int normal_prio ;
 2436   unsigned int rt_priority ;
 2437   struct sched_class const *sched_class ;
 2438   struct sched_entity se ;
 2439   struct sched_rt_entity rt ;
 2440   struct hlist_head preempt_notifiers ;
 2441   unsigned char fpu_counter ;
 2442   unsigned int btrace_seq ;
 2443   unsigned int policy ;
 2444   cpumask_t cpus_allowed ;
 2445   struct sched_info sched_info ;
 2446   struct list_head tasks ;
 2447   struct plist_node pushable_tasks ;
 2448   struct mm_struct *mm ;
 2449   struct mm_struct *active_mm ;
 2450   unsigned char brk_randomized : 1 ;
 2451   int exit_state ;
 2452   int exit_code ;
 2453   int exit_signal ;
 2454   int pdeath_signal ;
 2455   unsigned int group_stop ;
 2456   unsigned int personality ;
 2457   unsigned char did_exec : 1 ;
 2458   unsigned char in_execve : 1 ;
 2459   unsigned char in_iowait : 1 ;
 2460   unsigned char sched_reset_on_fork : 1 ;
 2461   unsigned char sched_contributes_to_load : 1 ;
 2462   pid_t pid ;
 2463   pid_t tgid ;
 2464   unsigned long stack_canary ;
 2465   struct task_struct *real_parent ;
 2466   struct task_struct *parent ;
 2467   struct list_head children ;
 2468   struct list_head sibling ;
 2469   struct task_struct *group_leader ;
 2470   struct list_head ptraced ;
 2471   struct list_head ptrace_entry ;
 2472   struct pid_link pids[3U] ;
 2473   struct list_head thread_group ;
 2474   struct completion *vfork_done ;
 2475   int *set_child_tid ;
 2476   int *clear_child_tid ;
 2477   cputime_t utime ;
 2478   cputime_t stime ;
 2479   cputime_t utimescaled ;
 2480   cputime_t stimescaled ;
 2481   cputime_t gtime ;
 2482   cputime_t prev_utime ;
 2483   cputime_t prev_stime ;
 2484   unsigned long nvcsw ;
 2485   unsigned long nivcsw ;
 2486   struct timespec start_time ;
 2487   struct timespec real_start_time ;
 2488   unsigned long min_flt ;
 2489   unsigned long maj_flt ;
 2490   struct task_cputime cputime_expires ;
 2491   struct list_head cpu_timers[3U] ;
 2492   struct cred const *real_cred ;
 2493   struct cred const *cred ;
 2494   struct cred *replacement_session_keyring ;
 2495   char comm[16U] ;
 2496   int link_count ;
 2497   int total_link_count ;
 2498   struct sysv_sem sysvsem ;
 2499   unsigned long last_switch_count ;
 2500   struct thread_struct thread ;
 2501   struct fs_struct *fs ;
 2502   struct files_struct *files ;
 2503   struct nsproxy *nsproxy ;
 2504   struct signal_struct *signal ;
 2505   struct sighand_struct *sighand ;
 2506   sigset_t blocked ;
 2507   sigset_t real_blocked ;
 2508   sigset_t saved_sigmask ;
 2509   struct sigpending pending ;
 2510   unsigned long sas_ss_sp ;
 2511   size_t sas_ss_size ;
 2512   int (*notifier)(void * ) ;
 2513   void *notifier_data ;
 2514   sigset_t *notifier_mask ;
 2515   struct audit_context *audit_context ;
 2516   uid_t loginuid ;
 2517   unsigned int sessionid ;
 2518   seccomp_t seccomp ;
 2519   u32 parent_exec_id ;
 2520   u32 self_exec_id ;
 2521   spinlock_t alloc_lock ;
 2522   struct irqaction *irqaction ;
 2523   raw_spinlock_t pi_lock ;
 2524   struct plist_head pi_waiters ;
 2525   struct rt_mutex_waiter *pi_blocked_on ;
 2526   struct mutex_waiter *blocked_on ;
 2527   unsigned int irq_events ;
 2528   unsigned long hardirq_enable_ip ;
 2529   unsigned long hardirq_disable_ip ;
 2530   unsigned int hardirq_enable_event ;
 2531   unsigned int hardirq_disable_event ;
 2532   int hardirqs_enabled ;
 2533   int hardirq_context ;
 2534   unsigned long softirq_disable_ip ;
 2535   unsigned long softirq_enable_ip ;
 2536   unsigned int softirq_disable_event ;
 2537   unsigned int softirq_enable_event ;
 2538   int softirqs_enabled ;
 2539   int softirq_context ;
 2540   u64 curr_chain_key ;
 2541   int lockdep_depth ;
 2542   unsigned int lockdep_recursion ;
 2543   struct held_lock held_locks[48U] ;
 2544   gfp_t lockdep_reclaim_gfp ;
 2545   void *journal_info ;
 2546   struct bio_list *bio_list ;
 2547   struct blk_plug *plug ;
 2548   struct reclaim_state *reclaim_state ;
 2549   struct backing_dev_info *backing_dev_info ;
 2550   struct io_context *io_context ;
 2551   unsigned long ptrace_message ;
 2552   siginfo_t *last_siginfo ;
 2553   struct task_io_accounting ioac ;
 2554   u64 acct_rss_mem1 ;
 2555   u64 acct_vm_mem1 ;
 2556   cputime_t acct_timexpd ;
 2557   nodemask_t mems_allowed ;
 2558   int mems_allowed_change_disable ;
 2559   int cpuset_mem_spread_rotor ;
 2560   int cpuset_slab_spread_rotor ;
 2561   struct css_set *cgroups ;
 2562   struct list_head cg_list ;
 2563   struct robust_list_head *robust_list ;
 2564   struct compat_robust_list_head *compat_robust_list ;
 2565   struct list_head pi_state_list ;
 2566   struct futex_pi_state *pi_state_cache ;
 2567   struct perf_event_context *perf_event_ctxp[2U] ;
 2568   struct mutex perf_event_mutex ;
 2569   struct list_head perf_event_list ;
 2570   struct mempolicy *mempolicy ;
 2571   short il_next ;
 2572   short pref_node_fork ;
 2573   atomic_t fs_excl ;
 2574   struct rcu_head rcu ;
 2575   struct pipe_inode_info *splice_pipe ;
 2576   struct task_delay_info *delays ;
 2577   int make_it_fail ;
 2578   struct prop_local_single dirties ;
 2579   int latency_record_count ;
 2580   struct latency_record latency_record[32U] ;
 2581   unsigned long timer_slack_ns ;
 2582   unsigned long default_timer_slack_ns ;
 2583   struct list_head *scm_work_list ;
 2584   int curr_ret_stack ;
 2585   struct ftrace_ret_stack *ret_stack ;
 2586   unsigned long long ftrace_timestamp ;
 2587   atomic_t trace_overrun ;
 2588   atomic_t tracing_graph_pause ;
 2589   unsigned long trace ;
 2590   unsigned long trace_recursion ;
 2591   struct memcg_batch_info memcg_batch ;
 2592   atomic_t ptrace_bp_refcnt ;
 2593};
 2594# 118 "include/linux/kmemleak.h"
 2595struct kmem_cache_cpu {
 2596   void **freelist ;
 2597   unsigned long tid ;
 2598   struct page *page ;
 2599   int node ;
 2600   unsigned int stat[19U] ;
 2601};
 2602# 46 "include/linux/slub_def.h"
 2603struct kmem_cache_node {
 2604   spinlock_t list_lock ;
 2605   unsigned long nr_partial ;
 2606   struct list_head partial ;
 2607   atomic_long_t nr_slabs ;
 2608   atomic_long_t total_objects ;
 2609   struct list_head full ;
 2610};
 2611# 57 "include/linux/slub_def.h"
 2612struct kmem_cache_order_objects {
 2613   unsigned long x ;
 2614};
 2615# 67 "include/linux/slub_def.h"
 2616struct kmem_cache {
 2617   struct kmem_cache_cpu *cpu_slab ;
 2618   unsigned long flags ;
 2619   unsigned long min_partial ;
 2620   int size ;
 2621   int objsize ;
 2622   int offset ;
 2623   struct kmem_cache_order_objects oo ;
 2624   struct kmem_cache_order_objects max ;
 2625   struct kmem_cache_order_objects min ;
 2626   gfp_t allocflags ;
 2627   int refcount ;
 2628   void (*ctor)(void * ) ;
 2629   int inuse ;
 2630   int align ;
 2631   int reserved ;
 2632   char const *name ;
 2633   struct list_head list ;
 2634   struct kobject kobj ;
 2635   int remote_node_defrag_ratio ;
 2636   struct kmem_cache_node *node[1024U] ;
 2637};
 2638# 25 "include/linux/genhd.h"
 2639struct device_type;
 2640# 25 "include/linux/genhd.h"
 2641struct device_type;
 2642# 27 "include/linux/genhd.h"
 2643struct class;
 2644# 27 "include/linux/genhd.h"
 2645struct class;
 2646# 51 "include/linux/genhd.h"
 2647struct klist_node;
 2648# 51 "include/linux/genhd.h"
 2649struct klist_node;
 2650# 51 "include/linux/genhd.h"
 2651struct klist_node;
 2652# 37 "include/linux/klist.h"
 2653struct klist_node {
 2654   void *n_klist ;
 2655   struct list_head n_node ;
 2656   struct kref n_ref ;
 2657};
 2658# 67 "include/linux/klist.h"
 2659struct dma_map_ops;
 2660# 67 "include/linux/klist.h"
 2661struct dma_map_ops;
 2662# 67 "include/linux/klist.h"
 2663struct dev_archdata {
 2664   void *acpi_handle ;
 2665   struct dma_map_ops *dma_ops ;
 2666   void *iommu ;
 2667};
 2668# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2669struct device_private;
 2670# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2671struct device_private;
 2672# 17 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2673struct device_private;
 2674# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2675struct device_driver;
 2676# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2677struct device_driver;
 2678# 18 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2679struct device_driver;
 2680# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2681struct driver_private;
 2682# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2683struct driver_private;
 2684# 19 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2685struct driver_private;
 2686# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2687struct subsys_private;
 2688# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2689struct subsys_private;
 2690# 20 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2691struct subsys_private;
 2692# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2693struct bus_type;
 2694# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2695struct bus_type;
 2696# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2697struct bus_type;
 2698# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2699struct device_node;
 2700# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2701struct device_node;
 2702# 22 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2703struct device_node;
 2704# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/device.h"
 2705struct bus_attribute {
 2706   struct attribute attr ;
 2707   ssize_t (*show)(struct bus_type * , char * ) ;
 2708   ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
 2709};
 2710# 49 "include/linux/device.h"
 2711struct device_attribute;
 2712# 49 "include/linux/device.h"
 2713struct device_attribute;
 2714# 49 "include/linux/device.h"
 2715struct driver_attribute;
 2716# 49 "include/linux/device.h"
 2717struct driver_attribute;
 2718# 49 "include/linux/device.h"
 2719struct bus_type {
 2720   char const *name ;
 2721   struct bus_attribute *bus_attrs ;
 2722   struct device_attribute *dev_attrs ;
 2723   struct driver_attribute *drv_attrs ;
 2724   int (*match)(struct device * , struct device_driver * ) ;
 2725   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 2726   int (*probe)(struct device * ) ;
 2727   int (*remove)(struct device * ) ;
 2728   void (*shutdown)(struct device * ) ;
 2729   int (*suspend)(struct device * , pm_message_t ) ;
 2730   int (*resume)(struct device * ) ;
 2731   struct dev_pm_ops const *pm ;
 2732   struct subsys_private *p ;
 2733};
 2734# 153 "include/linux/device.h"
 2735struct of_device_id;
 2736# 153 "include/linux/device.h"
 2737struct of_device_id;
 2738# 153 "include/linux/device.h"
 2739struct device_driver {
 2740   char const *name ;
 2741   struct bus_type *bus ;
 2742   struct module *owner ;
 2743   char const *mod_name ;
 2744   bool suppress_bind_attrs ;
 2745   struct of_device_id const *of_match_table ;
 2746   int (*probe)(struct device * ) ;
 2747   int (*remove)(struct device * ) ;
 2748   void (*shutdown)(struct device * ) ;
 2749   int (*suspend)(struct device * , pm_message_t ) ;
 2750   int (*resume)(struct device * ) ;
 2751   struct attribute_group const **groups ;
 2752   struct dev_pm_ops const *pm ;
 2753   struct driver_private *p ;
 2754};
 2755# 218 "include/linux/device.h"
 2756struct driver_attribute {
 2757   struct attribute attr ;
 2758   ssize_t (*show)(struct device_driver * , char * ) ;
 2759   ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
 2760};
 2761# 248 "include/linux/device.h"
 2762struct class_attribute;
 2763# 248 "include/linux/device.h"
 2764struct class_attribute;
 2765# 248 "include/linux/device.h"
 2766struct class {
 2767   char const *name ;
 2768   struct module *owner ;
 2769   struct class_attribute *class_attrs ;
 2770   struct device_attribute *dev_attrs ;
 2771   struct bin_attribute *dev_bin_attrs ;
 2772   struct kobject *dev_kobj ;
 2773   int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
 2774   char *(*devnode)(struct device * , mode_t * ) ;
 2775   void (*class_release)(struct class * ) ;
 2776   void (*dev_release)(struct device * ) ;
 2777   int (*suspend)(struct device * , pm_message_t ) ;
 2778   int (*resume)(struct device * ) ;
 2779   struct kobj_ns_type_operations const *ns_type ;
 2780   void const *(*namespace)(struct device * ) ;
 2781   struct dev_pm_ops const *pm ;
 2782   struct subsys_private *p ;
 2783};
 2784# 344 "include/linux/device.h"
 2785struct class_attribute {
 2786   struct attribute attr ;
 2787   ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
 2788   ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
 2789};
 2790# 395 "include/linux/device.h"
 2791struct device_type {
 2792   char const *name ;
 2793   struct attribute_group const **groups ;
 2794   int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
 2795   char *(*devnode)(struct device * , mode_t * ) ;
 2796   void (*release)(struct device * ) ;
 2797   struct dev_pm_ops const *pm ;
 2798};
 2799# 422 "include/linux/device.h"
 2800struct device_attribute {
 2801   struct attribute attr ;
 2802   ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
 2803   ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
 2804                    size_t ) ;
 2805};
 2806# 483 "include/linux/device.h"
 2807struct device_dma_parameters {
 2808   unsigned int max_segment_size ;
 2809   unsigned long segment_boundary_mask ;
 2810};
 2811# 492 "include/linux/device.h"
 2812struct dma_coherent_mem;
 2813# 492 "include/linux/device.h"
 2814struct dma_coherent_mem;
 2815# 492 "include/linux/device.h"
 2816struct device {
 2817   struct device *parent ;
 2818   struct device_private *p ;
 2819   struct kobject kobj ;
 2820   char const *init_name ;
 2821   struct device_type const *type ;
 2822   struct mutex mutex ;
 2823   struct bus_type *bus ;
 2824   struct device_driver *driver ;
 2825   void *platform_data ;
 2826   struct dev_pm_info power ;
 2827   struct dev_power_domain *pwr_domain ;
 2828   int numa_node ;
 2829   u64 *dma_mask ;
 2830   u64 coherent_dma_mask ;
 2831   struct device_dma_parameters *dma_parms ;
 2832   struct list_head dma_pools ;
 2833   struct dma_coherent_mem *dma_mem ;
 2834   struct dev_archdata archdata ;
 2835   struct device_node *of_node ;
 2836   dev_t devt ;
 2837   spinlock_t devres_lock ;
 2838   struct list_head devres_head ;
 2839   struct klist_node knode_class ;
 2840   struct class *class ;
 2841   struct attribute_group const **groups ;
 2842   void (*release)(struct device * ) ;
 2843};
 2844# 604 "include/linux/device.h"
 2845struct wakeup_source {
 2846   char *name ;
 2847   struct list_head entry ;
 2848   spinlock_t lock ;
 2849   struct timer_list timer ;
 2850   unsigned long timer_expires ;
 2851   ktime_t total_time ;
 2852   ktime_t max_time ;
 2853   ktime_t last_time ;
 2854   unsigned long event_count ;
 2855   unsigned long active_count ;
 2856   unsigned long relax_count ;
 2857   unsigned long hit_count ;
 2858   unsigned char active : 1 ;
 2859};
 2860# 904 "include/linux/device.h"
 2861struct bio;
 2862# 904 "include/linux/device.h"
 2863struct bio;
 2864# 904 "include/linux/device.h"
 2865struct bio;
 2866# 905 "include/linux/device.h"
 2867struct bio_integrity_payload;
 2868# 905 "include/linux/device.h"
 2869struct bio_integrity_payload;
 2870# 905 "include/linux/device.h"
 2871struct bio_integrity_payload;
 2872# 906 "include/linux/device.h"
 2873struct block_device;
 2874# 906 "include/linux/device.h"
 2875struct block_device;
 2876# 906 "include/linux/device.h"
 2877struct block_device;
 2878# 17 "include/linux/blk_types.h"
 2879typedef void bio_end_io_t(struct bio * , int );
 2880# 18 "include/linux/blk_types.h"
 2881typedef void bio_destructor_t(struct bio * );
 2882# 19 "include/linux/blk_types.h"
 2883struct bio_vec {
 2884   struct page *bv_page ;
 2885   unsigned int bv_len ;
 2886   unsigned int bv_offset ;
 2887};
 2888# 28 "include/linux/blk_types.h"
 2889struct bio {
 2890   sector_t bi_sector ;
 2891   struct bio *bi_next ;
 2892   struct block_device *bi_bdev ;
 2893   unsigned long bi_flags ;
 2894   unsigned long bi_rw ;
 2895   unsigned short bi_vcnt ;
 2896   unsigned short bi_idx ;
 2897   unsigned int bi_phys_segments ;
 2898   unsigned int bi_size ;
 2899   unsigned int bi_seg_front_size ;
 2900   unsigned int bi_seg_back_size ;
 2901   unsigned int bi_max_vecs ;
 2902   unsigned int bi_comp_cpu ;
 2903   atomic_t bi_cnt ;
 2904   struct bio_vec *bi_io_vec ;
 2905   bio_end_io_t *bi_end_io ;
 2906   void *bi_private ;
 2907   struct bio_integrity_payload *bi_integrity ;
 2908   bio_destructor_t *bi_destructor ;
 2909   struct bio_vec bi_inline_vecs[0U] ;
 2910};
 2911# 92 "include/linux/bit_spinlock.h"
 2912struct hlist_bl_node;
 2913# 92 "include/linux/bit_spinlock.h"
 2914struct hlist_bl_node;
 2915# 92 "include/linux/bit_spinlock.h"
 2916struct hlist_bl_head {
 2917   struct hlist_bl_node *first ;
 2918};
 2919# 36 "include/linux/list_bl.h"
 2920struct hlist_bl_node {
 2921   struct hlist_bl_node *next ;
 2922   struct hlist_bl_node **pprev ;
 2923};
 2924# 114 "include/linux/rculist_bl.h"
 2925struct nameidata;
 2926# 114 "include/linux/rculist_bl.h"
 2927struct nameidata;
 2928# 114 "include/linux/rculist_bl.h"
 2929struct nameidata;
 2930# 115 "include/linux/rculist_bl.h"
 2931struct path;
 2932# 115 "include/linux/rculist_bl.h"
 2933struct path;
 2934# 115 "include/linux/rculist_bl.h"
 2935struct path;
 2936# 116 "include/linux/rculist_bl.h"
 2937struct vfsmount;
 2938# 116 "include/linux/rculist_bl.h"
 2939struct vfsmount;
 2940# 116 "include/linux/rculist_bl.h"
 2941struct vfsmount;
 2942# 117 "include/linux/rculist_bl.h"
 2943struct qstr {
 2944   unsigned int hash ;
 2945   unsigned int len ;
 2946   unsigned char const *name ;
 2947};
 2948# 100 "include/linux/dcache.h"
 2949struct dentry_operations;
 2950# 100 "include/linux/dcache.h"
 2951struct dentry_operations;
 2952# 100 "include/linux/dcache.h"
 2953struct super_block;
 2954# 100 "include/linux/dcache.h"
 2955struct super_block;
 2956# 100 "include/linux/dcache.h"
 2957union __anonunion_d_u_154 {
 2958   struct list_head d_child ;
 2959   struct rcu_head d_rcu ;
 2960};
 2961# 100 "include/linux/dcache.h"
 2962struct dentry {
 2963   unsigned int d_flags ;
 2964   seqcount_t d_seq ;
 2965   struct hlist_bl_node d_hash ;
 2966   struct dentry *d_parent ;
 2967   struct qstr d_name ;
 2968   struct inode *d_inode ;
 2969   unsigned char d_iname[32U] ;
 2970   unsigned int d_count ;
 2971   spinlock_t d_lock ;
 2972   struct dentry_operations const *d_op ;
 2973   struct super_block *d_sb ;
 2974   unsigned long d_time ;
 2975   void *d_fsdata ;
 2976   struct list_head d_lru ;
 2977   union __anonunion_d_u_154 d_u ;
 2978   struct list_head d_subdirs ;
 2979   struct list_head d_alias ;
 2980};
 2981# 151 "include/linux/dcache.h"
 2982struct dentry_operations {
 2983   int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
 2984   int (*d_hash)(struct dentry const * , struct inode const * , struct qstr * ) ;
 2985   int (*d_compare)(struct dentry const * , struct inode const * , struct dentry const * ,
 2986                    struct inode const * , unsigned int , char const * , struct qstr const * ) ;
 2987   int (*d_delete)(struct dentry const * ) ;
 2988   void (*d_release)(struct dentry * ) ;
 2989   void (*d_iput)(struct dentry * , struct inode * ) ;
 2990   char *(*d_dname)(struct dentry * , char * , int ) ;
 2991   struct vfsmount *(*d_automount)(struct path * ) ;
 2992   int (*d_manage)(struct dentry * , bool ) ;
 2993};
 2994# 422 "include/linux/dcache.h"
 2995struct path {
 2996   struct vfsmount *mnt ;
 2997   struct dentry *dentry ;
 2998};
 2999# 51 "include/linux/radix-tree.h"
 3000struct radix_tree_node;
 3001# 51 "include/linux/radix-tree.h"
 3002struct radix_tree_node;
 3003# 51 "include/linux/radix-tree.h"
 3004struct radix_tree_root {
 3005   unsigned int height ;
 3006   gfp_t gfp_mask ;
 3007   struct radix_tree_node *rnode ;
 3008};
 3009# 45 "include/linux/semaphore.h"
 3010struct fiemap_extent {
 3011   __u64 fe_logical ;
 3012   __u64 fe_physical ;
 3013   __u64 fe_length ;
 3014   __u64 fe_reserved64[2U] ;
 3015   __u32 fe_flags ;
 3016   __u32 fe_reserved[3U] ;
 3017};
 3018# 38 "include/linux/fiemap.h"
 3019struct export_operations;
 3020# 38 "include/linux/fiemap.h"
 3021struct export_operations;
 3022# 38 "include/linux/fiemap.h"
 3023struct export_operations;
 3024# 39 "include/linux/fiemap.h"
 3025struct hd_geometry;
 3026# 39 "include/linux/fiemap.h"
 3027struct hd_geometry;
 3028# 39 "include/linux/fiemap.h"
 3029struct hd_geometry;
 3030# 40 "include/linux/fiemap.h"
 3031struct poll_table_struct;
 3032# 40 "include/linux/fiemap.h"
 3033struct poll_table_struct;
 3034# 40 "include/linux/fiemap.h"
 3035struct poll_table_struct;
 3036# 41 "include/linux/fiemap.h"
 3037struct kstatfs;
 3038# 41 "include/linux/fiemap.h"
 3039struct kstatfs;
 3040# 41 "include/linux/fiemap.h"
 3041struct kstatfs;
 3042# 426 "include/linux/fs.h"
 3043struct iattr {
 3044   unsigned int ia_valid ;
 3045   umode_t ia_mode ;
 3046   uid_t ia_uid ;
 3047   gid_t ia_gid ;
 3048   loff_t ia_size ;
 3049   struct timespec ia_atime ;
 3050   struct timespec ia_mtime ;
 3051   struct timespec ia_ctime ;
 3052   struct file *ia_file ;
 3053};
 3054# 119 "include/linux/quota.h"
 3055struct if_dqinfo {
 3056   __u64 dqi_bgrace ;
 3057   __u64 dqi_igrace ;
 3058   __u32 dqi_flags ;
 3059   __u32 dqi_valid ;
 3060};
 3061# 152 "include/linux/quota.h"
 3062struct fs_disk_quota {
 3063   __s8 d_version ;
 3064   __s8 d_flags ;
 3065   __u16 d_fieldmask ;
 3066   __u32 d_id ;
 3067   __u64 d_blk_hardlimit ;
 3068   __u64 d_blk_softlimit ;
 3069   __u64 d_ino_hardlimit ;
 3070   __u64 d_ino_softlimit ;
 3071   __u64 d_bcount ;
 3072   __u64 d_icount ;
 3073   __s32 d_itimer ;
 3074   __s32 d_btimer ;
 3075   __u16 d_iwarns ;
 3076   __u16 d_bwarns ;
 3077   __s32 d_padding2 ;
 3078   __u64 d_rtb_hardlimit ;
 3079   __u64 d_rtb_softlimit ;
 3080   __u64 d_rtbcount ;
 3081   __s32 d_rtbtimer ;
 3082   __u16 d_rtbwarns ;
 3083   __s16 d_padding3 ;
 3084   char d_padding4[8U] ;
 3085};
 3086# 75 "include/linux/dqblk_xfs.h"
 3087struct fs_qfilestat {
 3088   __u64 qfs_ino ;
 3089   __u64 qfs_nblks ;
 3090   __u32 qfs_nextents ;
 3091};
 3092# 150 "include/linux/dqblk_xfs.h"
 3093typedef struct fs_qfilestat fs_qfilestat_t;
 3094# 151 "include/linux/dqblk_xfs.h"
 3095struct fs_quota_stat {
 3096   __s8 qs_version ;
 3097   __u16 qs_flags ;
 3098   __s8 qs_pad ;
 3099   fs_qfilestat_t qs_uquota ;
 3100   fs_qfilestat_t qs_gquota ;
 3101   __u32 qs_incoredqs ;
 3102   __s32 qs_btimelimit ;
 3103   __s32 qs_itimelimit ;
 3104   __s32 qs_rtbtimelimit ;
 3105   __u16 qs_bwarnlimit ;
 3106   __u16 qs_iwarnlimit ;
 3107};
 3108# 165 "include/linux/dqblk_xfs.h"
 3109struct dquot;
 3110# 165 "include/linux/dqblk_xfs.h"
 3111struct dquot;
 3112# 165 "include/linux/dqblk_xfs.h"
 3113struct dquot;
 3114# 185 "include/linux/quota.h"
 3115typedef __kernel_uid32_t qid_t;
 3116# 186 "include/linux/quota.h"
 3117typedef long long qsize_t;
 3118# 189 "include/linux/quota.h"
 3119struct mem_dqblk {
 3120   qsize_t dqb_bhardlimit ;
 3121   qsize_t dqb_bsoftlimit ;
 3122   qsize_t dqb_curspace ;
 3123   qsize_t dqb_rsvspace ;
 3124   qsize_t dqb_ihardlimit ;
 3125   qsize_t dqb_isoftlimit ;
 3126   qsize_t dqb_curinodes ;
 3127   time_t dqb_btime ;
 3128   time_t dqb_itime ;
 3129};
 3130# 211 "include/linux/quota.h"
 3131struct quota_format_type;
 3132# 211 "include/linux/quota.h"
 3133struct quota_format_type;
 3134# 211 "include/linux/quota.h"
 3135struct quota_format_type;
 3136# 212 "include/linux/quota.h"
 3137struct mem_dqinfo {
 3138   struct quota_format_type *dqi_format ;
 3139   int dqi_fmt_id ;
 3140   struct list_head dqi_dirty_list ;
 3141   unsigned long dqi_flags ;
 3142   unsigned int dqi_bgrace ;
 3143   unsigned int dqi_igrace ;
 3144   qsize_t dqi_maxblimit ;
 3145   qsize_t dqi_maxilimit ;
 3146   void *dqi_priv ;
 3147};
 3148# 271 "include/linux/quota.h"
 3149struct dquot {
 3150   struct hlist_node dq_hash ;
 3151   struct list_head dq_inuse ;
 3152   struct list_head dq_free ;
 3153   struct list_head dq_dirty ;
 3154   struct mutex dq_lock ;
 3155   atomic_t dq_count ;
 3156   wait_queue_head_t dq_wait_unused ;
 3157   struct super_block *dq_sb ;
 3158   unsigned int dq_id ;
 3159   loff_t dq_off ;
 3160   unsigned long dq_flags ;
 3161   short dq_type ;
 3162   struct mem_dqblk dq_dqb ;
 3163};
 3164# 299 "include/linux/quota.h"
 3165struct quota_format_ops {
 3166   int (*check_quota_file)(struct super_block * , int ) ;
 3167   int (*read_file_info)(struct super_block * , int ) ;
 3168   int (*write_file_info)(struct super_block * , int ) ;
 3169   int (*free_file_info)(struct super_block * , int ) ;
 3170   int (*read_dqblk)(struct dquot * ) ;
 3171   int (*commit_dqblk)(struct dquot * ) ;
 3172   int (*release_dqblk)(struct dquot * ) ;
 3173};
 3174# 310 "include/linux/quota.h"
 3175struct dquot_operations {
 3176   int (*write_dquot)(struct dquot * ) ;
 3177   struct dquot *(*alloc_dquot)(struct super_block * , int ) ;
 3178   void (*destroy_dquot)(struct dquot * ) ;
 3179   int (*acquire_dquot)(struct dquot * ) ;
 3180   int (*release_dquot)(struct dquot * ) ;
 3181   int (*mark_dirty)(struct dquot * ) ;
 3182   int (*write_info)(struct super_block * , int ) ;
 3183   qsize_t *(*get_reserved_space)(struct inode * ) ;
 3184};
 3185# 324 "include/linux/quota.h"
 3186struct quotactl_ops {
 3187   int (*quota_on)(struct super_block * , int , int , struct path * ) ;
 3188   int (*quota_on_meta)(struct super_block * , int , int ) ;
 3189   int (*quota_off)(struct super_block * , int ) ;
 3190   int (*quota_sync)(struct super_block * , int , int ) ;
 3191   int (*get_info)(struct super_block * , int , struct if_dqinfo * ) ;
 3192   int (*set_info)(struct super_block * , int , struct if_dqinfo * ) ;
 3193   int (*get_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
 3194   int (*set_dqblk)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
 3195   int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
 3196   int (*set_xstate)(struct super_block * , unsigned int , int ) ;
 3197};
 3198# 340 "include/linux/quota.h"
 3199struct quota_format_type {
 3200   int qf_fmt_id ;
 3201   struct quota_format_ops const *qf_ops ;
 3202   struct module *qf_owner ;
 3203   struct quota_format_type *qf_next ;
 3204};
 3205# 386 "include/linux/quota.h"
 3206struct quota_info {
 3207   unsigned int flags ;
 3208   struct mutex dqio_mutex ;
 3209   struct mutex dqonoff_mutex ;
 3210   struct rw_semaphore dqptr_sem ;
 3211   struct inode *files[2U] ;
 3212   struct mem_dqinfo info[2U] ;
 3213   struct quota_format_ops const *ops[2U] ;
 3214};
 3215# 417 "include/linux/quota.h"
 3216struct writeback_control;
 3217# 417 "include/linux/quota.h"
 3218struct writeback_control;
 3219# 417 "include/linux/quota.h"
 3220struct writeback_control;
 3221# 576 "include/linux/fs.h"
 3222union __anonunion_arg_156 {
 3223   char *buf ;
 3224   void *data ;
 3225};
 3226# 576 "include/linux/fs.h"
 3227struct __anonstruct_read_descriptor_t_155 {
 3228   size_t written ;
 3229   size_t count ;
 3230   union __anonunion_arg_156 arg ;
 3231   int error ;
 3232};
 3233# 576 "include/linux/fs.h"
 3234typedef struct __anonstruct_read_descriptor_t_155 read_descriptor_t;
 3235# 579 "include/linux/fs.h"
 3236struct address_space_operations {
 3237   int (*writepage)(struct page * , struct writeback_control * ) ;
 3238   int (*readpage)(struct file * , struct page * ) ;
 3239   int (*writepages)(struct address_space * , struct writeback_control * ) ;
 3240   int (*set_page_dirty)(struct page * ) ;
 3241   int (*readpages)(struct file * , struct address_space * , struct list_head * ,
 3242                    unsigned int ) ;
 3243   int (*write_begin)(struct file * , struct address_space * , loff_t , unsigned int ,
 3244                      unsigned int , struct page ** , void ** ) ;
 3245   int (*write_end)(struct file * , struct address_space * , loff_t , unsigned int ,
 3246                    unsigned int , struct page * , void * ) ;
 3247   sector_t (*bmap)(struct address_space * , sector_t ) ;
 3248   void (*invalidatepage)(struct page * , unsigned long ) ;
 3249   int (*releasepage)(struct page * , gfp_t ) ;
 3250   void (*freepage)(struct page * ) ;
 3251   ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const * , loff_t ,
 3252                        unsigned long ) ;
 3253   int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
 3254   int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
 3255   int (*launder_page)(struct page * ) ;
 3256   int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
 3257   int (*error_remove_page)(struct address_space * , struct page * ) ;
 3258};
 3259# 630 "include/linux/fs.h"
 3260struct address_space {
 3261   struct inode *host ;
 3262   struct radix_tree_root page_tree ;
 3263   spinlock_t tree_lock ;
 3264   unsigned int i_mmap_writable ;
 3265   struct prio_tree_root i_mmap ;
 3266   struct list_head i_mmap_nonlinear ;
 3267   struct mutex i_mmap_mutex ;
 3268   unsigned long nrpages ;
 3269   unsigned long writeback_index ;
 3270   struct address_space_operations const *a_ops ;
 3271   unsigned long flags ;
 3272   struct backing_dev_info *backing_dev_info ;
 3273   spinlock_t private_lock ;
 3274   struct list_head private_list ;
 3275   struct address_space *assoc_mapping ;
 3276};
 3277# 652 "include/linux/fs.h"
 3278struct hd_struct;
 3279# 652 "include/linux/fs.h"
 3280struct hd_struct;
 3281# 652 "include/linux/fs.h"
 3282struct gendisk;
 3283# 652 "include/linux/fs.h"
 3284struct gendisk;
 3285# 652 "include/linux/fs.h"
 3286struct block_device {
 3287   dev_t bd_dev ;
 3288   int bd_openers ;
 3289   struct inode *bd_inode ;
 3290   struct super_block *bd_super ;
 3291   struct mutex bd_mutex ;
 3292   struct list_head bd_inodes ;
 3293   void *bd_claiming ;
 3294   void *bd_holder ;
 3295   int bd_holders ;
 3296   bool bd_write_holder ;
 3297   struct list_head bd_holder_disks ;
 3298   struct block_device *bd_contains ;
 3299   unsigned int bd_block_size ;
 3300   struct hd_struct *bd_part ;
 3301   unsigned int bd_part_count ;
 3302   int bd_invalidated ;
 3303   struct gendisk *bd_disk ;
 3304   struct list_head bd_list ;
 3305   unsigned long bd_private ;
 3306   int bd_fsfreeze_count ;
 3307   struct mutex bd_fsfreeze_mutex ;
 3308};
 3309# 723 "include/linux/fs.h"
 3310struct posix_acl;
 3311# 723 "include/linux/fs.h"
 3312struct posix_acl;
 3313# 723 "include/linux/fs.h"
 3314struct posix_acl;
 3315# 724 "include/linux/fs.h"
 3316struct inode_operations;
 3317# 724 "include/linux/fs.h"
 3318struct inode_operations;
 3319# 724 "include/linux/fs.h"
 3320union __anonunion_ldv_19050_157 {
 3321   struct list_head i_dentry ;
 3322   struct rcu_head i_rcu ;
 3323};
 3324# 724 "include/linux/fs.h"
 3325struct file_operations;
 3326# 724 "include/linux/fs.h"
 3327struct file_operations;
 3328# 724 "include/linux/fs.h"
 3329struct file_lock;
 3330# 724 "include/linux/fs.h"
 3331struct file_lock;
 3332# 724 "include/linux/fs.h"
 3333struct cdev;
 3334# 724 "include/linux/fs.h"
 3335struct cdev;
 3336# 724 "include/linux/fs.h"
 3337union __anonunion_ldv_19077_158 {
 3338   struct pipe_inode_info *i_pipe ;
 3339   struct block_device *i_bdev ;
 3340   struct cdev *i_cdev ;
 3341};
 3342# 724 "include/linux/fs.h"
 3343struct inode {
 3344   umode_t i_mode ;
 3345   uid_t i_uid ;
 3346   gid_t i_gid ;
 3347   struct inode_operations const *i_op ;
 3348   struct super_block *i_sb ;
 3349   spinlock_t i_lock ;
 3350   unsigned int i_flags ;
 3351   unsigned long i_state ;
 3352   void *i_security ;
 3353   struct mutex i_mutex ;
 3354   unsigned long dirtied_when ;
 3355   struct hlist_node i_hash ;
 3356   struct list_head i_wb_list ;
 3357   struct list_head i_lru ;
 3358   struct list_head i_sb_list ;
 3359   union __anonunion_ldv_19050_157 ldv_19050 ;
 3360   unsigned long i_ino ;
 3361   atomic_t i_count ;
 3362   unsigned int i_nlink ;
 3363   dev_t i_rdev ;
 3364   unsigned int i_blkbits ;
 3365   u64 i_version ;
 3366   loff_t i_size ;
 3367   struct timespec i_atime ;
 3368   struct timespec i_mtime ;
 3369   struct timespec i_ctime ;
 3370   blkcnt_t i_blocks ;
 3371   unsigned short i_bytes ;
 3372   struct rw_semaphore i_alloc_sem ;
 3373   struct file_operations const *i_fop ;
 3374   struct file_lock *i_flock ;
 3375   struct address_space *i_mapping ;
 3376   struct address_space i_data ;
 3377   struct dquot *i_dquot[2U] ;
 3378   struct list_head i_devices ;
 3379   union __anonunion_ldv_19077_158 ldv_19077 ;
 3380   __u32 i_generation ;
 3381   __u32 i_fsnotify_mask ;
 3382   struct hlist_head i_fsnotify_marks ;
 3383   atomic_t i_readcount ;
 3384   atomic_t i_writecount ;
 3385   struct posix_acl *i_acl ;
 3386   struct posix_acl *i_default_acl ;
 3387   void *i_private ;
 3388};
 3389# 902 "include/linux/fs.h"
 3390struct fown_struct {
 3391   rwlock_t lock ;
 3392   struct pid *pid ;
 3393   enum pid_type pid_type ;
 3394   uid_t uid ;
 3395   uid_t euid ;
 3396   int signum ;
 3397};
 3398# 910 "include/linux/fs.h"
 3399struct file_ra_state {
 3400   unsigned long start ;
 3401   unsigned int size ;
 3402   unsigned int async_size ;
 3403   unsigned int ra_pages ;
 3404   unsigned int mmap_miss ;
 3405   loff_t prev_pos ;
 3406};
 3407# 933 "include/linux/fs.h"
 3408union __anonunion_f_u_159 {
 3409   struct list_head fu_list ;
 3410   struct rcu_head fu_rcuhead ;
 3411};
 3412# 933 "include/linux/fs.h"
 3413struct file {
 3414   union __anonunion_f_u_159 f_u ;
 3415   struct path f_path ;
 3416   struct file_operations const *f_op ;
 3417   spinlock_t f_lock ;
 3418   int f_sb_list_cpu ;
 3419   atomic_long_t f_count ;
 3420   unsigned int f_flags ;
 3421   fmode_t f_mode ;
 3422   loff_t f_pos ;
 3423   struct fown_struct f_owner ;
 3424   struct cred const *f_cred ;
 3425   struct file_ra_state f_ra ;
 3426   u64 f_version ;
 3427   void *f_security ;
 3428   void *private_data ;
 3429   struct list_head f_ep_links ;
 3430   struct address_space *f_mapping ;
 3431   unsigned long f_mnt_write_state ;
 3432};
 3433# 1064 "include/linux/fs.h"
 3434typedef struct files_struct *fl_owner_t;
 3435# 1065 "include/linux/fs.h"
 3436struct file_lock_operations {
 3437   void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
 3438   void (*fl_release_private)(struct file_lock * ) ;
 3439};
 3440# 1070 "include/linux/fs.h"
 3441struct lock_manager_operations {
 3442   int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
 3443   void (*fl_notify)(struct file_lock * ) ;
 3444   int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
 3445   void (*fl_release_private)(struct file_lock * ) ;
 3446   void (*fl_break)(struct file_lock * ) ;
 3447   int (*fl_change)(struct file_lock ** , int ) ;
 3448};
 3449# 163 "include/linux/nfs.h"
 3450struct nlm_lockowner;
 3451# 163 "include/linux/nfs.h"
 3452struct nlm_lockowner;
 3453# 163 "include/linux/nfs.h"
 3454struct nlm_lockowner;
 3455# 164 "include/linux/nfs.h"
 3456struct nfs_lock_info {
 3457   u32 state ;
 3458   struct nlm_lockowner *owner ;
 3459   struct list_head list ;
 3460};
 3461# 18 "include/linux/nfs_fs_i.h"
 3462struct nfs4_lock_state;
 3463# 18 "include/linux/nfs_fs_i.h"
 3464struct nfs4_lock_state;
 3465# 18 "include/linux/nfs_fs_i.h"
 3466struct nfs4_lock_state;
 3467# 19 "include/linux/nfs_fs_i.h"
 3468struct nfs4_lock_info {
 3469   struct nfs4_lock_state *owner ;
 3470};
 3471# 23 "include/linux/nfs_fs_i.h"
 3472struct fasync_struct;
 3473# 23 "include/linux/nfs_fs_i.h"
 3474struct fasync_struct;
 3475# 23 "include/linux/nfs_fs_i.h"
 3476struct __anonstruct_afs_161 {
 3477   struct list_head link ;
 3478   int state ;
 3479};
 3480# 23 "include/linux/nfs_fs_i.h"
 3481union __anonunion_fl_u_160 {
 3482   struct nfs_lock_info nfs_fl ;
 3483   struct nfs4_lock_info nfs4_fl ;
 3484   struct __anonstruct_afs_161 afs ;
 3485};
 3486# 23 "include/linux/nfs_fs_i.h"
 3487struct file_lock {
 3488   struct file_lock *fl_next ;
 3489   struct list_head fl_link ;
 3490   struct list_head fl_block ;
 3491   fl_owner_t fl_owner ;
 3492   unsigned char fl_flags ;
 3493   unsigned char fl_type ;
 3494   unsigned int fl_pid ;
 3495   struct pid *fl_nspid ;
 3496   wait_queue_head_t fl_wait ;
 3497   struct file *fl_file ;
 3498   loff_t fl_start ;
 3499   loff_t fl_end ;
 3500   struct fasync_struct *fl_fasync ;
 3501   unsigned long fl_break_time ;
 3502   struct file_lock_operations const *fl_ops ;
 3503   struct lock_manager_operations const *fl_lmops ;
 3504   union __anonunion_fl_u_160 fl_u ;
 3505};
 3506# 1171 "include/linux/fs.h"
 3507struct fasync_struct {
 3508   spinlock_t fa_lock ;
 3509   int magic ;
 3510   int fa_fd ;
 3511   struct fasync_struct *fa_next ;
 3512   struct file *fa_file ;
 3513   struct rcu_head fa_rcu ;
 3514};
 3515# 1363 "include/linux/fs.h"
 3516struct file_system_type;
 3517# 1363 "include/linux/fs.h"
 3518struct file_system_type;
 3519# 1363 "include/linux/fs.h"
 3520struct super_operations;
 3521# 1363 "include/linux/fs.h"
 3522struct super_operations;
 3523# 1363 "include/linux/fs.h"
 3524struct xattr_handler;
 3525# 1363 "include/linux/fs.h"
 3526struct xattr_handler;
 3527# 1363 "include/linux/fs.h"
 3528struct mtd_info;
 3529# 1363 "include/linux/fs.h"
 3530struct mtd_info;
 3531# 1363 "include/linux/fs.h"
 3532struct super_block {
 3533   struct list_head s_list ;
 3534   dev_t s_dev ;
 3535   unsigned char s_dirt ;
 3536   unsigned char s_blocksize_bits ;
 3537   unsigned long s_blocksize ;
 3538   loff_t s_maxbytes ;
 3539   struct file_system_type *s_type ;
 3540   struct super_operations const *s_op ;
 3541   struct dquot_operations const *dq_op ;
 3542   struct quotactl_ops const *s_qcop ;
 3543   struct export_operations const *s_export_op ;
 3544   unsigned long s_flags ;
 3545   unsigned long s_magic ;
 3546   struct dentry *s_root ;
 3547   struct rw_semaphore s_umount ;
 3548   struct mutex s_lock ;
 3549   int s_count ;
 3550   atomic_t s_active ;
 3551   void *s_security ;
 3552   struct xattr_handler const **s_xattr ;
 3553   struct list_head s_inodes ;
 3554   struct hlist_bl_head s_anon ;
 3555   struct list_head *s_files ;
 3556   struct list_head s_dentry_lru ;
 3557   int s_nr_dentry_unused ;
 3558   struct block_device *s_bdev ;
 3559   struct backing_dev_info *s_bdi ;
 3560   struct mtd_info *s_mtd ;
 3561   struct list_head s_instances ;
 3562   struct quota_info s_dquot ;
 3563   int s_frozen ;
 3564   wait_queue_head_t s_wait_unfrozen ;
 3565   char s_id[32U] ;
 3566   u8 s_uuid[16U] ;
 3567   void *s_fs_info ;
 3568   fmode_t s_mode ;
 3569   u32 s_time_gran ;
 3570   struct mutex s_vfs_rename_mutex ;
 3571   char *s_subtype ;
 3572   char *s_options ;
 3573   struct dentry_operations const *s_d_op ;
 3574   int cleancache_poolid ;
 3575};
 3576# 1495 "include/linux/fs.h"
 3577struct fiemap_extent_info {
 3578   unsigned int fi_flags ;
 3579   unsigned int fi_extents_mapped ;
 3580   unsigned int fi_extents_max ;
 3581   struct fiemap_extent *fi_extents_start ;
 3582};
 3583# 1533 "include/linux/fs.h"
 3584struct block_device_operations;
 3585# 1533 "include/linux/fs.h"
 3586struct block_device_operations;
 3587# 1533 "include/linux/fs.h"
 3588struct block_device_operations;
 3589# 1534 "include/linux/fs.h"
 3590struct file_operations {
 3591   struct module *owner ;
 3592   loff_t (*llseek)(struct file * , loff_t , int ) ;
 3593   ssize_t (*read)(struct file * , char * , size_t , loff_t * ) ;
 3594   ssize_t (*write)(struct file * , char const * , size_t , loff_t * ) ;
 3595   ssize_t (*aio_read)(struct kiocb * , struct iovec const * , unsigned long ,
 3596                       loff_t ) ;
 3597   ssize_t (*aio_write)(struct kiocb * , struct iovec const * , unsigned long ,
 3598                        loff_t ) ;
 3599   int (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
 3600                                                   loff_t , u64 , unsigned int ) ) ;
 3601   unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
 3602   long (*unlocked_ioctl)(struct file * , unsigned int , unsigned long ) ;
 3603   long (*compat_ioctl)(struct file * , unsigned int , unsigned long ) ;
 3604   int (*mmap)(struct file * , struct vm_area_struct * ) ;
 3605   int (*open)(struct inode * , struct file * ) ;
 3606   int (*flush)(struct file * , fl_owner_t ) ;
 3607   int (*release)(struct inode * , struct file * ) ;
 3608   int (*fsync)(struct file * , int ) ;
 3609   int (*aio_fsync)(struct kiocb * , int ) ;
 3610   int (*fasync)(int , struct file * , int ) ;
 3611   int (*lock)(struct file * , int , struct file_lock * ) ;
 3612   ssize_t (*sendpage)(struct file * , struct page * , int , size_t , loff_t * ,
 3613                       int ) ;
 3614   unsigned long (*get_unmapped_area)(struct file * , unsigned long , unsigned long ,
 3615                                      unsigned long , unsigned long ) ;
 3616   int (*check_flags)(int ) ;
 3617   int (*flock)(struct file * , int , struct file_lock * ) ;
 3618   ssize_t (*splice_write)(struct pipe_inode_info * , struct file * , loff_t * , size_t ,
 3619                           unsigned int ) ;
 3620   ssize_t (*splice_read)(struct file * , loff_t * , struct pipe_inode_info * , size_t ,
 3621                          unsigned int ) ;
 3622   int (*setlease)(struct file * , long , struct file_lock ** ) ;
 3623   long (*fallocate)(struct file * , int , loff_t , loff_t ) ;
 3624};
 3625# 1574 "include/linux/fs.h"
 3626struct inode_operations {
 3627   struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
 3628   void *(*follow_link)(struct dentry * , struct nameidata * ) ;
 3629   int (*permission)(struct inode * , int , unsigned int ) ;
 3630   int (*check_acl)(struct inode * , int , unsigned int ) ;
 3631   int (*readlink)(struct dentry * , char * , int ) ;
 3632   void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
 3633   int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
 3634   int (*link)(struct dentry * , struct inode * , struct dentry * ) ;
 3635   int (*unlink)(struct inode * , struct dentry * ) ;
 3636   int (*symlink)(struct inode * , struct dentry * , char const * ) ;
 3637   int (*mkdir)(struct inode * , struct dentry * , int ) ;
 3638   int (*rmdir)(struct inode * , struct dentry * ) ;
 3639   int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
 3640   int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
 3641   void (*truncate)(struct inode * ) ;
 3642   int (*setattr)(struct dentry * , struct iattr * ) ;
 3643   int (*getattr)(struct vfsmount * , struct dentry * , struct kstat * ) ;
 3644   int (*setxattr)(struct dentry * , char const * , void const * , size_t , int ) ;
 3645   ssize_t (*getxattr)(struct dentry * , char const * , void * , size_t ) ;
 3646   ssize_t (*listxattr)(struct dentry * , char * , size_t ) ;
 3647   int (*removexattr)(struct dentry * , char const * ) ;
 3648   void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
 3649   int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 , u64 ) ;
 3650};
 3651# 1620 "include/linux/fs.h"
 3652struct super_operations {
 3653   struct inode *(*alloc_inode)(struct super_block * ) ;
 3654   void (*destroy_inode)(struct inode * ) ;
 3655   void (*dirty_inode)(struct inode * , int ) ;
 3656   int (*write_inode)(struct inode * , struct writeback_control * ) ;
 3657   int (*drop_inode)(struct inode * ) ;
 3658   void (*evict_inode)(struct inode * ) ;
 3659   void (*put_super)(struct super_block * ) ;
 3660   void (*write_super)(struct super_block * ) ;
 3661   int (*sync_fs)(struct super_block * , int ) ;
 3662   int (*freeze_fs)(struct super_block * ) ;
 3663   int (*unfreeze_fs)(struct super_block * ) ;
 3664   int (*statfs)(struct dentry * , struct kstatfs * ) ;
 3665   int (*remount_fs)(struct super_block * , int * , char * ) ;
 3666   void (*umount_begin)(struct super_block * ) ;
 3667   int (*show_options)(struct seq_file * , struct vfsmount * ) ;
 3668   int (*show_devname)(struct seq_file * , struct vfsmount * ) ;
 3669   int (*show_path)(struct seq_file * , struct vfsmount * ) ;
 3670   int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
 3671   ssize_t (*quota_read)(struct super_block * , int , char * , size_t , loff_t ) ;
 3672   ssize_t (*quota_write)(struct super_block * , int , char const * , size_t ,
 3673                          loff_t ) ;
 3674   int (*bdev_try_to_free_page)(struct super_block * , struct page * , gfp_t ) ;
 3675};
 3676# 1801 "include/linux/fs.h"
 3677struct file_system_type {
 3678   char const *name ;
 3679   int fs_flags ;
 3680   struct dentry *(*mount)(struct file_system_type * , int , char const * , void * ) ;
 3681   void (*kill_sb)(struct super_block * ) ;
 3682   struct module *owner ;
 3683   struct file_system_type *next ;
 3684   struct list_head fs_supers ;
 3685   struct lock_class_key s_lock_key ;
 3686   struct lock_class_key s_umount_key ;
 3687   struct lock_class_key s_vfs_rename_key ;
 3688   struct lock_class_key i_lock_key ;
 3689   struct lock_class_key i_mutex_key ;
 3690   struct lock_class_key i_mutex_dir_key ;
 3691   struct lock_class_key i_alloc_sem_key ;
 3692};
 3693# 81 "include/linux/genhd.h"
 3694struct disk_stats {
 3695   unsigned long sectors[2U] ;
 3696   unsigned long ios[2U] ;
 3697   unsigned long merges[2U] ;
 3698   unsigned long ticks[2U] ;
 3699   unsigned long io_ticks ;
 3700   unsigned long time_in_queue ;
 3701};
 3702# 90 "include/linux/genhd.h"
 3703struct partition_meta_info {
 3704   u8 uuid[16U] ;
 3705   u8 volname[64U] ;
 3706};
 3707# 98 "include/linux/genhd.h"
 3708struct hd_struct {
 3709   sector_t start_sect ;
 3710   sector_t nr_sects ;
 3711   sector_t alignment_offset ;
 3712   unsigned int discard_alignment ;
 3713   struct device __dev ;
 3714   struct kobject *holder_dir ;
 3715   int policy ;
 3716   int partno ;
 3717   struct partition_meta_info *info ;
 3718   int make_it_fail ;
 3719   unsigned long stamp ;
 3720   atomic_t in_flight[2U] ;
 3721   struct disk_stats *dkstats ;
 3722   atomic_t ref ;
 3723   struct rcu_head rcu_head ;
 3724};
 3725# 145 "include/linux/genhd.h"
 3726struct disk_part_tbl {
 3727   struct rcu_head rcu_head ;
 3728   int len ;
 3729   struct hd_struct *last_lookup ;
 3730   struct hd_struct *part[0U] ;
 3731};
 3732# 152 "include/linux/genhd.h"
 3733struct disk_events;
 3734# 152 "include/linux/genhd.h"
 3735struct disk_events;
 3736# 152 "include/linux/genhd.h"
 3737struct disk_events;
 3738# 153 "include/linux/genhd.h"
 3739struct request_queue;
 3740# 153 "include/linux/genhd.h"
 3741struct request_queue;
 3742# 153 "include/linux/genhd.h"
 3743struct timer_rand_state;
 3744# 153 "include/linux/genhd.h"
 3745struct timer_rand_state;
 3746# 153 "include/linux/genhd.h"
 3747struct blk_integrity;
 3748# 153 "include/linux/genhd.h"
 3749struct blk_integrity;
 3750# 153 "include/linux/genhd.h"
 3751struct gendisk {
 3752   int major ;
 3753   int first_minor ;
 3754   int minors ;
 3755   char disk_name[32U] ;
 3756   char *(*devnode)(struct gendisk * , mode_t * ) ;
 3757   unsigned int events ;
 3758   unsigned int async_events ;
 3759   struct disk_part_tbl *part_tbl ;
 3760   struct hd_struct part0 ;
 3761   struct block_device_operations const *fops ;
 3762   struct request_queue *queue ;
 3763   void *private_data ;
 3764   int flags ;
 3765   struct device *driverfs_dev ;
 3766   struct kobject *slave_dir ;
 3767   struct timer_rand_state *random ;
 3768   atomic_t sync_io ;
 3769   struct disk_events *ev ;
 3770   struct blk_integrity *integrity ;
 3771   int node_id ;
 3772};
 3773# 175 "include/linux/mm.h"
 3774struct vm_fault {
 3775   unsigned int flags ;
 3776   unsigned long pgoff ;
 3777   void *virtual_address ;
 3778   struct page *page ;
 3779};
 3780# 192 "include/linux/mm.h"
 3781struct vm_operations_struct {
 3782   void (*open)(struct vm_area_struct * ) ;
 3783   void (*close)(struct vm_area_struct * ) ;
 3784   int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
 3785   int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
 3786   int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
 3787   int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
 3788   struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
 3789   int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
 3790                  unsigned long ) ;
 3791};
 3792# 1652 "include/linux/mm.h"
 3793struct exception_table_entry {
 3794   unsigned long insn ;
 3795   unsigned long fixup ;
 3796};
 3797# 331 "include/linux/irq.h"
 3798struct proc_dir_entry;
 3799# 331 "include/linux/irq.h"
 3800struct proc_dir_entry;
 3801# 331 "include/linux/irq.h"
 3802struct proc_dir_entry;
 3803# 13 "include/linux/writeback.h"
 3804enum writeback_sync_modes {
 3805    WB_SYNC_NONE = 0,
 3806    WB_SYNC_ALL = 1
 3807} ;
 3808# 18 "include/linux/writeback.h"
 3809struct writeback_control {
 3810   enum writeback_sync_modes sync_mode ;
 3811   unsigned long *older_than_this ;
 3812   unsigned long wb_start ;
 3813   long nr_to_write ;
 3814   long pages_skipped ;
 3815   loff_t range_start ;
 3816   loff_t range_end ;
 3817   unsigned char nonblocking : 1 ;
 3818   unsigned char encountered_congestion : 1 ;
 3819   unsigned char for_kupdate : 1 ;
 3820   unsigned char for_background : 1 ;
 3821   unsigned char for_reclaim : 1 ;
 3822   unsigned char range_cyclic : 1 ;
 3823   unsigned char more_io : 1 ;
 3824};
 3825# 54 "include/linux/writeback.h"
 3826struct bdi_writeback;
 3827# 54 "include/linux/writeback.h"
 3828struct bdi_writeback;
 3829# 54 "include/linux/writeback.h"
 3830struct bdi_writeback;
 3831# 38 "include/linux/backing-dev.h"
 3832typedef int congested_fn(void * , int );
 3833# 45 "include/linux/backing-dev.h"
 3834struct bdi_writeback {
 3835   struct backing_dev_info *bdi ;
 3836   unsigned int nr ;
 3837   unsigned long last_old_flush ;
 3838   unsigned long last_active ;
 3839   struct task_struct *task ;
 3840   struct timer_list wakeup_timer ;
 3841   struct list_head b_dirty ;
 3842   struct list_head b_io ;
 3843   struct list_head b_more_io ;
 3844};
 3845# 61 "include/linux/backing-dev.h"
 3846struct backing_dev_info {
 3847   struct list_head bdi_list ;
 3848   unsigned long ra_pages ;
 3849   unsigned long state ;
 3850   unsigned int capabilities ;
 3851   congested_fn *congested_fn ;
 3852   void *congested_data ;
 3853   char *name ;
 3854   struct percpu_counter bdi_stat[2U] ;
 3855   struct prop_local_percpu completions ;
 3856   int dirty_exceeded ;
 3857   unsigned int min_ratio ;
 3858   unsigned int max_ratio ;
 3859   unsigned int max_prop_frac ;
 3860   struct bdi_writeback wb ;
 3861   spinlock_t wb_lock ;
 3862   struct list_head work_list ;
 3863   struct device *dev ;
 3864   struct timer_list laptop_mode_wb_timer ;
 3865   struct dentry *debug_dir ;
 3866   struct dentry *debug_stats ;
 3867};
 3868# 11 "include/linux/mempool.h"
 3869typedef void *mempool_alloc_t(gfp_t , void * );
 3870# 12 "include/linux/mempool.h"
 3871typedef void mempool_free_t(void * , void * );
 3872# 13 "include/linux/mempool.h"
 3873struct mempool_s {
 3874   spinlock_t lock ;
 3875   int min_nr ;
 3876   int curr_nr ;
 3877   void **elements ;
 3878   void *pool_data ;
 3879   mempool_alloc_t *alloc ;
 3880   mempool_free_t *free ;
 3881   wait_queue_head_t wait ;
 3882};
 3883# 24 "include/linux/mempool.h"
 3884typedef struct mempool_s mempool_t;
 3885# 29 "include/linux/iocontext.h"
 3886struct io_context {
 3887   atomic_long_t refcount ;
 3888   atomic_t nr_tasks ;
 3889   spinlock_t lock ;
 3890   unsigned short ioprio ;
 3891   unsigned short ioprio_changed ;
 3892   unsigned short cgroup_changed ;
 3893   int nr_batch_requests ;
 3894   unsigned long last_waited ;
 3895   struct radix_tree_root radix_root ;
 3896   struct hlist_head cic_list ;
 3897   void *ioc_data ;
 3898};
 3899# 90 "include/linux/bio.h"
 3900struct bio_integrity_payload {
 3901   struct bio *bip_bio ;
 3902   sector_t bip_sector ;
 3903   void *bip_buf ;
 3904   bio_end_io_t *bip_end_io ;
 3905   unsigned int bip_size ;
 3906   unsigned short bip_slab ;
 3907   unsigned short bip_vcnt ;
 3908   unsigned short bip_idx ;
 3909   struct work_struct bip_work ;
 3910   struct bio_vec bip_vec[0U] ;
 3911};
 3912# 186 "include/linux/bio.h"
 3913struct bio_pair {
 3914   struct bio bio1 ;
 3915   struct bio bio2 ;
 3916   struct bio_vec bv1 ;
 3917   struct bio_vec bv2 ;
 3918   struct bio_integrity_payload bip1 ;
 3919   struct bio_integrity_payload bip2 ;
 3920   struct bio_vec iv1 ;
 3921   struct bio_vec iv2 ;
 3922   atomic_t cnt ;
 3923   int error ;
 3924};
 3925# 373 "include/linux/bio.h"
 3926struct bio_list {
 3927   struct bio *head ;
 3928   struct bio *tail ;
 3929};
 3930# 63 "include/linux/bsg.h"
 3931struct bsg_class_device {
 3932   struct device *class_dev ;
 3933   struct device *parent ;
 3934   int minor ;
 3935   struct request_queue *queue ;
 3936   struct kref ref ;
 3937   void (*release)(struct device * ) ;
 3938};
 3939# 80 "include/linux/bsg.h"
 3940struct scatterlist {
 3941   unsigned long sg_magic ;
 3942   unsigned long page_link ;
 3943   unsigned int offset ;
 3944   unsigned int length ;
 3945   dma_addr_t dma_address ;
 3946   unsigned int dma_length ;
 3947};
 3948# 18 "include/asm-generic/scatterlist.h"
 3949struct elevator_queue;
 3950# 18 "include/asm-generic/scatterlist.h"
 3951struct elevator_queue;
 3952# 18 "include/asm-generic/scatterlist.h"
 3953struct elevator_queue;
 3954# 20 "include/asm-generic/scatterlist.h"
 3955struct blk_trace;
 3956# 20 "include/asm-generic/scatterlist.h"
 3957struct blk_trace;
 3958# 20 "include/asm-generic/scatterlist.h"
 3959struct blk_trace;
 3960# 21 "include/asm-generic/scatterlist.h"
 3961struct request;
 3962# 21 "include/asm-generic/scatterlist.h"
 3963struct request;
 3964# 21 "include/asm-generic/scatterlist.h"
 3965struct request;
 3966# 38 "include/linux/blkdev.h"
 3967typedef void rq_end_io_fn(struct request * , int );
 3968# 39 "include/linux/blkdev.h"
 3969struct request_list {
 3970   int count[2U] ;
 3971   int starved[2U] ;
 3972   int elvpriv ;
 3973   mempool_t *rq_pool ;
 3974   wait_queue_head_t wait[2U] ;
 3975};
 3976# 51 "include/linux/blkdev.h"
 3977enum rq_cmd_type_bits {
 3978    REQ_TYPE_FS = 1,
 3979    REQ_TYPE_BLOCK_PC = 2,
 3980    REQ_TYPE_SENSE = 3,
 3981    REQ_TYPE_PM_SUSPEND = 4,
 3982    REQ_TYPE_PM_RESUME = 5,
 3983    REQ_TYPE_PM_SHUTDOWN = 6,
 3984    REQ_TYPE_SPECIAL = 7,
 3985    REQ_TYPE_ATA_TASKFILE = 8,
 3986    REQ_TYPE_ATA_PC = 9
 3987} ;
 3988# 63 "include/linux/blkdev.h"
 3989union __anonunion_ldv_26214_163 {
 3990   struct rb_node rb_node ;
 3991   void *completion_data ;
 3992};
 3993# 63 "include/linux/blkdev.h"
 3994struct __anonstruct_flush_165 {
 3995   unsigned int seq ;
 3996   struct list_head list ;
 3997};
 3998# 63 "include/linux/blkdev.h"
 3999union __anonunion_ldv_26221_164 {
 4000   void *elevator_private[3U] ;
 4001   struct __anonstruct_flush_165 flush ;
 4002};
 4003# 63 "include/linux/blkdev.h"
 4004struct request {
 4005   struct list_head queuelist ;
 4006   struct call_single_data csd ;
 4007   struct request_queue *q ;
 4008   unsigned int cmd_flags ;
 4009   enum rq_cmd_type_bits cmd_type ;
 4010   unsigned long atomic_flags ;
 4011   int cpu ;
 4012   unsigned int __data_len ;
 4013   sector_t __sector ;
 4014   struct bio *bio ;
 4015   struct bio *biotail ;
 4016   struct hlist_node hash ;
 4017   union __anonunion_ldv_26214_163 ldv_26214 ;
 4018   union __anonunion_ldv_26221_164 ldv_26221 ;
 4019   struct gendisk *rq_disk ;
 4020   struct hd_struct *part ;
 4021   unsigned long start_time ;
 4022   unsigned short nr_phys_segments ;
 4023   unsigned short nr_integrity_segments ;
 4024   unsigned short ioprio ;
 4025   int ref_count ;
 4026   void *special ;
 4027   char *buffer ;
 4028   int tag ;
 4029   int errors ;
 4030   unsigned char __cmd[16U] ;
 4031   unsigned char *cmd ;
 4032   unsigned short cmd_len ;
 4033   unsigned int extra_len ;
 4034   unsigned int sense_len ;
 4035   unsigned int resid_len ;
 4036   void *sense ;
 4037   unsigned long deadline ;
 4038   struct list_head timeout_list ;
 4039   unsigned int timeout ;
 4040   int retries ;
 4041   rq_end_io_fn *end_io ;
 4042   void *end_io_data ;
 4043   struct request *next_rq ;
 4044};
 4045# 8 "include/linux/elevator.h"
 4046typedef int elevator_merge_fn(struct request_queue * , struct request ** , struct bio * );
 4047# 11 "include/linux/elevator.h"
 4048typedef void elevator_merge_req_fn(struct request_queue * , struct request * , struct request * );
 4049# 13 "include/linux/elevator.h"
 4050typedef void elevator_merged_fn(struct request_queue * , struct request * , int );
 4051# 15 "include/linux/elevator.h"
 4052typedef int elevator_allow_merge_fn(struct request_queue * , struct request * , struct bio * );
 4053# 17 "include/linux/elevator.h"
 4054typedef void elevator_bio_merged_fn(struct request_queue * , struct request * , struct bio * );
 4055# 20 "include/linux/elevator.h"
 4056typedef int elevator_dispatch_fn(struct request_queue * , int );
 4057# 22 "include/linux/elevator.h"
 4058typedef void elevator_add_req_fn(struct request_queue * , struct request * );
 4059# 23 "include/linux/elevator.h"
 4060typedef struct request *elevator_request_list_fn(struct request_queue * , struct request * );
 4061# 24 "include/linux/elevator.h"
 4062typedef void elevator_completed_req_fn(struct request_queue * , struct request * );
 4063# 25 "include/linux/elevator.h"
 4064typedef int elevator_may_queue_fn(struct request_queue * , int );
 4065# 27 "include/linux/elevator.h"
 4066typedef int elevator_set_req_fn(struct request_queue * , struct request * , gfp_t );
 4067# 28 "include/linux/elevator.h"
 4068typedef void elevator_put_req_fn(struct request * );
 4069# 29 "include/linux/elevator.h"
 4070typedef void elevator_activate_req_fn(struct request_queue * , struct request * );
 4071# 30 "include/linux/elevator.h"
 4072typedef void elevator_deactivate_req_fn(struct request_queue * , struct request * );
 4073# 32 "include/linux/elevator.h"
 4074typedef void *elevator_init_fn(struct request_queue * );
 4075# 33 "include/linux/elevator.h"
 4076typedef void elevator_exit_fn(struct elevator_queue * );
 4077# 34 "include/linux/elevator.h"
 4078struct elevator_ops {
 4079   elevator_merge_fn *elevator_merge_fn ;
 4080   elevator_merged_fn *elevator_merged_fn ;
 4081   elevator_merge_req_fn *elevator_merge_req_fn ;
 4082   elevator_allow_merge_fn *elevator_allow_merge_fn ;
 4083   elevator_bio_merged_fn *elevator_bio_merged_fn ;
 4084   elevator_dispatch_fn *elevator_dispatch_fn ;
 4085   elevator_add_req_fn *elevator_add_req_fn ;
 4086   elevator_activate_req_fn *elevator_activate_req_fn ;
 4087   elevator_deactivate_req_fn *elevator_deactivate_req_fn ;
 4088   elevator_completed_req_fn *elevator_completed_req_fn ;
 4089   elevator_request_list_fn *elevator_former_req_fn ;
 4090   elevator_request_list_fn *elevator_latter_req_fn ;
 4091   elevator_set_req_fn *elevator_set_req_fn ;
 4092   elevator_put_req_fn *elevator_put_req_fn ;
 4093   elevator_may_queue_fn *elevator_may_queue_fn ;
 4094   elevator_init_fn *elevator_init_fn ;
 4095   elevator_exit_fn *elevator_exit_fn ;
 4096   void (*trim)(struct io_context * ) ;
 4097};
 4098# 62 "include/linux/elevator.h"
 4099struct elv_fs_entry {
 4100   struct attribute attr ;
 4101   ssize_t (*show)(struct elevator_queue * , char * ) ;
 4102   ssize_t (*store)(struct elevator_queue * , char const * , size_t ) ;
 4103};
 4104# 70 "include/linux/elevator.h"
 4105struct elevator_type {
 4106   struct list_head list ;
 4107   struct elevator_ops ops ;
 4108   struct elv_fs_entry *elevator_attrs ;
 4109   char elevator_name[16U] ;
 4110   struct module *elevator_owner ;
 4111};
 4112# 82 "include/linux/elevator.h"
 4113struct elevator_queue {
 4114   struct elevator_ops *ops ;
 4115   void *elevator_data ;
 4116   struct kobject kobj ;
 4117   struct elevator_type *elevator_type ;
 4118   struct mutex sysfs_lock ;
 4119   struct hlist_head *hash ;
 4120   unsigned char registered : 1 ;
 4121};
 4122# 195 "include/linux/blkdev.h"
 4123typedef void request_fn_proc(struct request_queue * );
 4124# 196 "include/linux/blkdev.h"
 4125typedef int make_request_fn(struct request_queue * , struct bio * );
 4126# 197 "include/linux/blkdev.h"
 4127typedef int prep_rq_fn(struct request_queue * , struct request * );
 4128# 198 "include/linux/blkdev.h"
 4129typedef void unprep_rq_fn(struct request_queue * , struct request * );
 4130# 199 "include/linux/blkdev.h"
 4131struct bvec_merge_data {
 4132   struct block_device *bi_bdev ;
 4133   sector_t bi_sector ;
 4134   unsigned int bi_size ;
 4135   unsigned long bi_rw ;
 4136};
 4137# 207 "include/linux/blkdev.h"
 4138typedef int merge_bvec_fn(struct request_queue * , struct bvec_merge_data * , struct bio_vec * );
 4139# 209 "include/linux/blkdev.h"
 4140typedef void softirq_done_fn(struct request * );
 4141# 210 "include/linux/blkdev.h"
 4142typedef int dma_drain_needed_fn(struct request * );
 4143# 211 "include/linux/blkdev.h"
 4144typedef int lld_busy_fn(struct request_queue * );
 4145# 212 "include/linux/blkdev.h"
 4146enum blk_eh_timer_return {
 4147    BLK_EH_NOT_HANDLED = 0,
 4148    BLK_EH_HANDLED = 1,
 4149    BLK_EH_RESET_TIMER = 2
 4150} ;
 4151# 219 "include/linux/blkdev.h"
 4152typedef enum blk_eh_timer_return rq_timed_out_fn(struct request * );
 4153# 225 "include/linux/blkdev.h"
 4154struct blk_queue_tag {
 4155   struct request **tag_index ;
 4156   unsigned long *tag_map ;
 4157   int busy ;
 4158   int max_depth ;
 4159   int real_max_depth ;
 4160   atomic_t refcnt ;
 4161};
 4162# 234 "include/linux/blkdev.h"
 4163struct queue_limits {
 4164   unsigned long bounce_pfn ;
 4165   unsigned long seg_boundary_mask ;
 4166   unsigned int max_hw_sectors ;
 4167   unsigned int max_sectors ;
 4168   unsigned int max_segment_size ;
 4169   unsigned int physical_block_size ;
 4170   unsigned int alignment_offset ;
 4171   unsigned int io_min ;
 4172   unsigned int io_opt ;
 4173   unsigned int max_discard_sectors ;
 4174   unsigned int discard_granularity ;
 4175   unsigned int discard_alignment ;
 4176   unsigned short logical_block_size ;
 4177   unsigned short max_segments ;
 4178   unsigned short max_integrity_segments ;
 4179   unsigned char misaligned ;
 4180   unsigned char discard_misaligned ;
 4181   unsigned char cluster ;
 4182   unsigned char discard_zeroes_data ;
 4183};
 4184# 262 "include/linux/blkdev.h"
 4185struct request_queue {
 4186   struct list_head queue_head ;
 4187   struct request *last_merge ;
 4188   struct elevator_queue *elevator ;
 4189   struct request_list rq ;
 4190   request_fn_proc *request_fn ;
 4191   make_request_fn *make_request_fn ;
 4192   prep_rq_fn *prep_rq_fn ;
 4193   unprep_rq_fn *unprep_rq_fn ;
 4194   merge_bvec_fn *merge_bvec_fn ;
 4195   softirq_done_fn *softirq_done_fn ;
 4196   rq_timed_out_fn *rq_timed_out_fn ;
 4197   dma_drain_needed_fn *dma_drain_needed ;
 4198   lld_busy_fn *lld_busy_fn ;
 4199   sector_t end_sector ;
 4200   struct request *boundary_rq ;
 4201   struct delayed_work delay_work ;
 4202   struct backing_dev_info backing_dev_info ;
 4203   void *queuedata ;
 4204   gfp_t bounce_gfp ;
 4205   unsigned long queue_flags ;
 4206   spinlock_t __queue_lock ;
 4207   spinlock_t *queue_lock ;
 4208   struct kobject kobj ;
 4209   unsigned long nr_requests ;
 4210   unsigned int nr_congestion_on ;
 4211   unsigned int nr_congestion_off ;
 4212   unsigned int nr_batching ;
 4213   void *dma_drain_buffer ;
 4214   unsigned int dma_drain_size ;
 4215   unsigned int dma_pad_mask ;
 4216   unsigned int dma_alignment ;
 4217   struct blk_queue_tag *queue_tags ;
 4218   struct list_head tag_busy_list ;
 4219   unsigned int nr_sorted ;
 4220   unsigned int in_flight[2U] ;
 4221   unsigned int rq_timeout ;
 4222   struct timer_list timeout ;
 4223   struct list_head timeout_list ;
 4224   struct queue_limits limits ;
 4225   unsigned int sg_timeout ;
 4226   unsigned int sg_reserved_size ;
 4227   int node ;
 4228   struct blk_trace *blk_trace ;
 4229   unsigned int flush_flags ;
 4230   unsigned char flush_not_queueable : 1 ;
 4231   unsigned char flush_queue_delayed : 1 ;
 4232   unsigned char flush_pending_idx : 1 ;
 4233   unsigned char flush_running_idx : 1 ;
 4234   unsigned long flush_pending_since ;
 4235   struct list_head flush_queue[2U] ;
 4236   struct list_head flush_data_in_flight ;
 4237   struct request flush_rq ;
 4238   struct mutex sysfs_lock ;
 4239   struct bsg_class_device bsg_dev ;
 4240};
 4241# 859 "include/linux/blkdev.h"
 4242struct blk_plug {
 4243   unsigned long magic ;
 4244   struct list_head list ;
 4245   struct list_head cb_list ;
 4246   unsigned int should_sort ;
 4247};
 4248# 1192 "include/linux/blkdev.h"
 4249struct blk_integrity_exchg {
 4250   void *prot_buf ;
 4251   void *data_buf ;
 4252   sector_t sector ;
 4253   unsigned int data_size ;
 4254   unsigned short sector_size ;
 4255   char const *disk_name ;
 4256};
 4257# 1212 "include/linux/blkdev.h"
 4258typedef void integrity_gen_fn(struct blk_integrity_exchg * );
 4259# 1213 "include/linux/blkdev.h"
 4260typedef int integrity_vrfy_fn(struct blk_integrity_exchg * );
 4261# 1214 "include/linux/blkdev.h"
 4262typedef void integrity_set_tag_fn(void * , void * , unsigned int );
 4263# 1215 "include/linux/blkdev.h"
 4264typedef void integrity_get_tag_fn(void * , void * , unsigned int );
 4265# 1216 "include/linux/blkdev.h"
 4266struct blk_integrity {
 4267   integrity_gen_fn *generate_fn ;
 4268   integrity_vrfy_fn *verify_fn ;
 4269   integrity_set_tag_fn *set_tag_fn ;
 4270   integrity_get_tag_fn *get_tag_fn ;
 4271   unsigned short flags ;
 4272   unsigned short tuple_size ;
 4273   unsigned short sector_size ;
 4274   unsigned short tag_size ;
 4275   char const *name ;
 4276   struct kobject kobj ;
 4277};
 4278# 1275 "include/linux/blkdev.h"
 4279struct block_device_operations {
 4280   int (*open)(struct block_device * , fmode_t ) ;
 4281   int (*release)(struct gendisk * , fmode_t ) ;
 4282   int (*ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
 4283   int (*compat_ioctl)(struct block_device * , fmode_t , unsigned int , unsigned long ) ;
 4284   int (*direct_access)(struct block_device * , sector_t , void ** , unsigned long * ) ;
 4285   unsigned int (*check_events)(struct gendisk * , unsigned int ) ;
 4286   int (*media_changed)(struct gendisk * ) ;
 4287   void (*unlock_native_capacity)(struct gendisk * ) ;
 4288   int (*revalidate_disk)(struct gendisk * ) ;
 4289   int (*getgeo)(struct block_device * , struct hd_geometry * ) ;
 4290   void (*swap_slot_free_notify)(struct block_device * , unsigned long ) ;
 4291   struct module *owner ;
 4292};
 4293# 272 "include/linux/cdrom.h"
 4294struct request_sense;
 4295# 272 "include/linux/cdrom.h"
 4296struct request_sense;
 4297# 696 "include/linux/cdrom.h"
 4298struct request_sense {
 4299   unsigned char error_code : 7 ;
 4300   unsigned char valid : 1 ;
 4301   __u8 segment_number ;
 4302   unsigned char sense_key : 4 ;
 4303   unsigned char reserved2 : 1 ;
 4304   unsigned char ili : 1 ;
 4305   unsigned char reserved1 : 2 ;
 4306   __u8 information[4U] ;
 4307   __u8 add_sense_len ;
 4308   __u8 command_info[4U] ;
 4309   __u8 asc ;
 4310   __u8 ascq ;
 4311   __u8 fruc ;
 4312   __u8 sks[3U] ;
 4313   __u8 asb[46U] ;
 4314};
 4315# 853 "include/linux/cdrom.h"
 4316struct __anonstruct_disc_information_169 {
 4317   __be16 disc_information_length ;
 4318   unsigned char disc_status : 2 ;
 4319   unsigned char border_status : 2 ;
 4320   unsigned char erasable : 1 ;
 4321   unsigned char reserved1 : 3 ;
 4322   __u8 n_first_track ;
 4323   __u8 n_sessions_lsb ;
 4324   __u8 first_track_lsb ;
 4325   __u8 last_track_lsb ;
 4326   unsigned char mrw_status : 2 ;
 4327   unsigned char dbit : 1 ;
 4328   unsigned char reserved2 : 2 ;
 4329   unsigned char uru : 1 ;
 4330   unsigned char dbc_v : 1 ;
 4331   unsigned char did_v : 1 ;
 4332   __u8 disc_type ;
 4333   __u8 n_sessions_msb ;
 4334   __u8 first_track_msb ;
 4335   __u8 last_track_msb ;
 4336   __u32 disc_id ;
 4337   __u32 lead_in ;
 4338   __u32 lead_out ;
 4339   __u8 disc_bar_code[8U] ;
 4340   __u8 reserved3 ;
 4341   __u8 n_opc ;
 4342};
 4343# 853 "include/linux/cdrom.h"
 4344typedef struct __anonstruct_disc_information_169 disc_information;
 4345# 893 "include/linux/cdrom.h"
 4346struct __anonstruct_track_information_170 {
 4347   __be16 track_information_length ;
 4348   __u8 track_lsb ;
 4349   __u8 session_lsb ;
 4350   __u8 reserved1 ;
 4351   unsigned char track_mode : 4 ;
 4352   unsigned char copy : 1 ;
 4353   unsigned char damage : 1 ;
 4354   unsigned char reserved2 : 2 ;
 4355   unsigned char data_mode : 4 ;
 4356   unsigned char fp : 1 ;
 4357   unsigned char packet : 1 ;
 4358   unsigned char blank : 1 ;
 4359   unsigned char rt : 1 ;
 4360   unsigned char nwa_v : 1 ;
 4361   unsigned char lra_v : 1 ;
 4362   unsigned char reserved3 : 6 ;
 4363   __be32 track_start ;
 4364   __be32 next_writable ;
 4365   __be32 free_blocks ;
 4366   __be32 fixed_packet_size ;
 4367   __be32 track_size ;
 4368   __be32 last_rec_address ;
 4369};
 4370# 893 "include/linux/cdrom.h"
 4371typedef struct __anonstruct_track_information_170 track_information;
 4372# 910 "include/linux/cdrom.h"
 4373struct packet_command {
 4374   unsigned char cmd[12U] ;
 4375   unsigned char *buffer ;
 4376   unsigned int buflen ;
 4377   int stat ;
 4378   struct request_sense *sense ;
 4379   unsigned char data_direction ;
 4380   int quiet ;
 4381   int timeout ;
 4382   void *reserved[1U] ;
 4383};
 4384# 1128 "include/linux/cdrom.h"
 4385struct __anonstruct_write_param_page_172 {
 4386   unsigned char page_code : 6 ;
 4387   unsigned char reserved1 : 1 ;
 4388   unsigned char ps : 1 ;
 4389   __u8 page_length ;
 4390   unsigned char write_type : 4 ;
 4391   unsigned char test_write : 1 ;
 4392   unsigned char ls_v : 1 ;
 4393   unsigned char bufe : 1 ;
 4394   unsigned char reserved2 : 1 ;
 4395   unsigned char track_mode : 4 ;
 4396   unsigned char copy : 1 ;
 4397   unsigned char fp : 1 ;
 4398   unsigned char multi_session : 2 ;
 4399   unsigned char data_block_type : 4 ;
 4400   unsigned char reserved3 : 4 ;
 4401   __u8 link_size ;
 4402   __u8 reserved4 ;
 4403   unsigned char app_code : 6 ;
 4404   unsigned char reserved5 : 2 ;
 4405   __u8 session_format ;
 4406   __u8 reserved6 ;
 4407   __be32 packet_size ;
 4408   __u16 audio_pause ;
 4409   __u8 mcn[16U] ;
 4410   __u8 isrc[16U] ;
 4411   __u8 subhdr0 ;
 4412   __u8 subhdr1 ;
 4413   __u8 subhdr2 ;
 4414   __u8 subhdr3 ;
 4415};
 4416# 1128 "include/linux/cdrom.h"
 4417typedef struct __anonstruct_write_param_page_172 write_param_page;
 4418# 1212 "include/linux/cdrom.h"
 4419struct packet_settings {
 4420   __u32 size ;
 4421   __u8 fp ;
 4422   __u8 link_loss ;
 4423   __u8 write_type ;
 4424   __u8 track_mode ;
 4425   __u8 block_mode ;
 4426};
 4427# 133 "include/linux/pktcdvd.h"
 4428struct packet_stats {
 4429   unsigned long pkt_started ;
 4430   unsigned long pkt_ended ;
 4431   unsigned long secs_w ;
 4432   unsigned long secs_rg ;
 4433   unsigned long secs_r ;
 4434};
 4435# 145 "include/linux/pktcdvd.h"
 4436struct packet_cdrw {
 4437   struct list_head pkt_free_list ;
 4438   struct list_head pkt_active_list ;
 4439   spinlock_t active_list_lock ;
 4440   struct task_struct *thread ;
 4441   atomic_t pending_bios ;
 4442};
 4443# 154 "include/linux/pktcdvd.h"
 4444struct packet_iosched {
 4445   atomic_t attention ;
 4446   int writing ;
 4447   spinlock_t lock ;
 4448   struct bio_list read_queue ;
 4449   struct bio_list write_queue ;
 4450   sector_t last_write ;
 4451   int successive_reads ;
 4452};
 4453# 171 "include/linux/pktcdvd.h"
 4454enum packet_data_state {
 4455    PACKET_IDLE_STATE = 0,
 4456    PACKET_WAITING_STATE = 1,
 4457    PACKET_READ_WAIT_STATE = 2,
 4458    PACKET_WRITE_WAIT_STATE = 3,
 4459    PACKET_RECOVERY_STATE = 4,
 4460    PACKET_FINISHED_STATE = 5,
 4461    PACKET_NUM_STATES = 6
 4462} ;
 4463# 181 "include/linux/pktcdvd.h"
 4464struct pktcdvd_device;
 4465# 181 "include/linux/pktcdvd.h"
 4466struct pktcdvd_device;
 4467# 181 "include/linux/pktcdvd.h"
 4468struct pktcdvd_device;
 4469# 182 "include/linux/pktcdvd.h"
 4470struct packet_data {
 4471   struct list_head list ;
 4472   spinlock_t lock ;
 4473   struct bio_list orig_bios ;
 4474   int write_size ;
 4475   struct bio *w_bio ;
 4476   sector_t sector ;
 4477   int frames ;
 4478   enum packet_data_state state ;
 4479   atomic_t run_sm ;
 4480   long sleep_time ;
 4481   atomic_t io_wait ;
 4482   atomic_t io_errors ;
 4483   struct bio *r_bios[128U] ;
 4484   struct page *pages[64U] ;
 4485   int cache_valid ;
 4486   int id ;
 4487   struct pktcdvd_device *pd ;
 4488};
 4489# 237 "include/linux/pktcdvd.h"
 4490struct pkt_rb_node {
 4491   struct rb_node rb_node ;
 4492   struct bio *bio ;
 4493};
 4494# 242 "include/linux/pktcdvd.h"
 4495struct packet_stacked_data {
 4496   struct bio *bio ;
 4497   struct pktcdvd_device *pd ;
 4498};
 4499# 248 "include/linux/pktcdvd.h"
 4500struct pktcdvd_kobj {
 4501   struct kobject kobj ;
 4502   struct pktcdvd_device *pd ;
 4503};
 4504# 255 "include/linux/pktcdvd.h"
 4505struct pktcdvd_device {
 4506   struct block_device *bdev ;
 4507   dev_t pkt_dev ;
 4508   char name[20U] ;
 4509   struct packet_settings settings ;
 4510   struct packet_stats stats ;
 4511   int refcnt ;
 4512   int write_speed ;
 4513   int read_speed ;
 4514   unsigned long offset ;
 4515   __u8 mode_offset ;
 4516   __u8 type ;
 4517   unsigned long flags ;
 4518   __u16 mmc3_profile ;
 4519   __u32 nwa ;
 4520   __u32 lra ;
 4521   struct packet_cdrw cdrw ;
 4522   wait_queue_head_t wqueue ;
 4523   spinlock_t lock ;
 4524   struct rb_root bio_queue ;
 4525   int bio_queue_size ;
 4526   sector_t current_sector ;
 4527   atomic_t scan_queue ;
 4528   mempool_t *rb_pool ;
 4529   struct packet_iosched iosched ;
 4530   struct gendisk *disk ;
 4531   int write_congestion_off ;
 4532   int write_congestion_on ;
 4533   struct device *dev ;
 4534   struct pktcdvd_kobj *kobj_stat ;
 4535   struct pktcdvd_kobj *kobj_wqueue ;
 4536   struct dentry *dfs_d_root ;
 4537   struct dentry *dfs_f_info ;
 4538};
 4539# 16 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 4540typedef s32 compat_time_t;
 4541# 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 4542typedef s32 compat_long_t;
 4543# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 4544struct compat_timespec {
 4545   compat_time_t tv_sec ;
 4546   s32 tv_nsec ;
 4547};
 4548# 196 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 4549typedef u32 compat_uptr_t;
 4550# 205 "include/linux/compat.h"
 4551struct compat_robust_list {
 4552   compat_uptr_t next ;
 4553};
 4554# 209 "include/linux/compat.h"
 4555struct compat_robust_list_head {
 4556   struct compat_robust_list list ;
 4557   compat_long_t futex_offset ;
 4558   compat_uptr_t list_op_pending ;
 4559};
 4560# 46 "include/linux/proc_fs.h"
 4561typedef int read_proc_t(char * , char ** , off_t , int , int * , void * );
 4562# 48 "include/linux/proc_fs.h"
 4563typedef int write_proc_t(struct file * , char const * , unsigned long , void * );
 4564# 49 "include/linux/proc_fs.h"
 4565struct proc_dir_entry {
 4566   unsigned int low_ino ;
 4567   unsigned int namelen ;
 4568   char const *name ;
 4569   mode_t mode ;
 4570   nlink_t nlink ;
 4571   uid_t uid ;
 4572   gid_t gid ;
 4573   loff_t size ;
 4574   struct inode_operations const *proc_iops ;
 4575   struct file_operations const *proc_fops ;
 4576   struct proc_dir_entry *next ;
 4577   struct proc_dir_entry *parent ;
 4578   struct proc_dir_entry *subdir ;
 4579   void *data ;
 4580   read_proc_t *read_proc ;
 4581   write_proc_t *write_proc ;
 4582   atomic_t count ;
 4583   int pde_users ;
 4584   spinlock_t pde_unload_lock ;
 4585   struct completion *pde_unload_completion ;
 4586   struct list_head pde_openers ;
 4587};
 4588# 241 "include/linux/proc_fs.h"
 4589struct proc_ns_operations {
 4590   char const *name ;
 4591   int type ;
 4592   void *(*get)(struct task_struct * ) ;
 4593   void (*put)(void * ) ;
 4594   int (*install)(struct nsproxy * , void * ) ;
 4595};
 4596# 254 "include/linux/proc_fs.h"
 4597union proc_op {
 4598   int (*proc_get_link)(struct inode * , struct path * ) ;
 4599   int (*proc_read)(struct task_struct * , char * ) ;
 4600   int (*proc_show)(struct seq_file * , struct pid_namespace * , struct pid * , struct task_struct * ) ;
 4601};
 4602# 260 "include/linux/proc_fs.h"
 4603struct proc_inode {
 4604   struct pid *pid ;
 4605   int fd ;
 4606   union proc_op op ;
 4607   struct proc_dir_entry *pde ;
 4608   struct ctl_table_header *sysctl ;
 4609   struct ctl_table *sysctl_entry ;
 4610   void *ns ;
 4611   struct proc_ns_operations const *ns_ops ;
 4612   struct inode vfs_inode ;
 4613};
 4614# 292 "include/linux/proc_fs.h"
 4615struct seq_file {
 4616   char *buf ;
 4617   size_t size ;
 4618   size_t from ;
 4619   size_t count ;
 4620   loff_t index ;
 4621   loff_t read_pos ;
 4622   u64 version ;
 4623   struct mutex lock ;
 4624   struct seq_operations const *op ;
 4625   void *private ;
 4626};
 4627# 28 "include/linux/seq_file.h"
 4628struct seq_operations {
 4629   void *(*start)(struct seq_file * , loff_t * ) ;
 4630   void (*stop)(struct seq_file * , void * ) ;
 4631   void *(*next)(struct seq_file * , void * , loff_t * ) ;
 4632   int (*show)(struct seq_file * , void * ) ;
 4633};
 4634# 154 "include/linux/seq_file.h"
 4635struct miscdevice {
 4636   int minor ;
 4637   char const *name ;
 4638   struct file_operations const *fops ;
 4639   struct list_head list ;
 4640   struct device *parent ;
 4641   struct device *this_device ;
 4642   char const *nodename ;
 4643   mode_t mode ;
 4644};
 4645# 34 "include/linux/bug.h"
 4646struct dma_attrs {
 4647   unsigned long flags[1U] ;
 4648};
 4649# 266 "include/linux/scatterlist.h"
 4650enum dma_data_direction {
 4651    DMA_BIDIRECTIONAL = 0,
 4652    DMA_TO_DEVICE = 1,
 4653    DMA_FROM_DEVICE = 2,
 4654    DMA_NONE = 3
 4655} ;
 4656# 273 "include/linux/scatterlist.h"
 4657struct dma_map_ops {
 4658   void *(*alloc_coherent)(struct device * , size_t , dma_addr_t * , gfp_t ) ;
 4659   void (*free_coherent)(struct device * , size_t , void * , dma_addr_t ) ;
 4660   dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
 4661                          enum dma_data_direction , struct dma_attrs * ) ;
 4662   void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
 4663                      struct dma_attrs * ) ;
 4664   int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
 4665                 struct dma_attrs * ) ;
 4666   void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
 4667                    struct dma_attrs * ) ;
 4668   void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
 4669   void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
 4670   void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
 4671   void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
 4672   int (*mapping_error)(struct device * , dma_addr_t ) ;
 4673   int (*dma_supported)(struct device * , u64 ) ;
 4674   int (*set_dma_mask)(struct device * , u64 ) ;
 4675   int is_phys ;
 4676};
 4677# 1 "<compiler builtins>"
 4678
 4679# 1 "<compiler builtins>"
 4680
 4681# 1 "<compiler builtins>"
 4682
 4683# 24 "include/linux/list.h"
 4684__inline static void INIT_LIST_HEAD(struct list_head *list )
 4685{
 4686
 4687  {
 4688# 26 "include/linux/list.h"
 4689  list->next = list;
 4690# 27 "include/linux/list.h"
 4691  list->prev = list;
 4692# 28 "include/linux/list.h"
 4693  return;
 4694}
 4695}
 4696# 47 "include/linux/list.h"
 4697extern void __list_add(struct list_head * , struct list_head * , struct list_head * ) ;
 4698# 60 "include/linux/list.h"
 4699__inline static void list_add(struct list_head *new , struct list_head *head )
 4700{
 4701
 4702  {
 4703  {
 4704# 62 "include/linux/list.h"
 4705  __list_add(new, head, head->next);
 4706  }
 4707# 63 "include/linux/list.h"
 4708  return;
 4709}
 4710}
 4711# 74 "include/linux/list.h"
 4712__inline static void list_add_tail(struct list_head *new , struct list_head *head )
 4713{
 4714
 4715  {
 4716  {
 4717# 76 "include/linux/list.h"
 4718  __list_add(new, head->prev, head);
 4719  }
 4720# 77 "include/linux/list.h"
 4721  return;
 4722}
 4723}
 4724# 111 "include/linux/list.h"
 4725extern void __list_del_entry(struct list_head * ) ;
 4726# 112 "include/linux/list.h"
 4727extern void list_del(struct list_head * ) ;
 4728# 142 "include/linux/list.h"
 4729__inline static void list_del_init(struct list_head *entry )
 4730{
 4731
 4732  {
 4733  {
 4734# 144 "include/linux/list.h"
 4735  __list_del_entry(entry);
 4736# 145 "include/linux/list.h"
 4737  INIT_LIST_HEAD(entry);
 4738  }
 4739# 146 "include/linux/list.h"
 4740  return;
 4741}
 4742}
 4743# 186 "include/linux/list.h"
 4744__inline static int list_empty(struct list_head const *head )
 4745{
 4746
 4747  {
 4748# 188 "include/linux/list.h"
 4749  return ((unsigned long )((struct list_head const *)head->next) == (unsigned long )head);
 4750}
 4751}
 4752# 60 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4753__inline static void set_bit(unsigned int nr , unsigned long volatile *addr )
 4754{
 4755
 4756  {
 4757# 68 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4758  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory");
 4759# 70 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4760  return;
 4761}
 4762}
 4763# 98 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4764__inline static void clear_bit(int nr , unsigned long volatile *addr )
 4765{
 4766
 4767  {
 4768# 105 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4769  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr));
 4770# 107 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4771  return;
 4772}
 4773}
 4774# 309 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4775__inline static int constant_test_bit(unsigned int nr , unsigned long const volatile *addr )
 4776{
 4777
 4778  {
 4779# 311 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4780  return ((int )((unsigned long )*(addr + (unsigned long )(nr / 64U)) >> ((int )nr & 63)) & 1);
 4781}
 4782}
 4783# 315 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4784__inline static int variable_test_bit(int nr , unsigned long const volatile *addr )
 4785{ int oldbit ;
 4786
 4787  {
 4788# 319 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4789  __asm__ volatile ("bt %2,%1\n\tsbb %0,%0": "=r" (oldbit): "m" (*((unsigned long *)addr)),
 4790                       "Ir" (nr));
 4791# 324 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/bitops.h"
 4792  return (oldbit);
 4793}
 4794}
 4795# 7 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/swab.h"
 4796__inline static __u32 __arch_swab32(__u32 val )
 4797{
 4798
 4799  {
 4800# 21 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/swab.h"
 4801  __asm__ ("bswapl %0": "=r" (val): "0" (val));
 4802# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/swab.h"
 4803  return (val);
 4804}
 4805}
 4806# 46 "include/linux/swab.h"
 4807__inline static __u16 __fswab16(__u16 val )
 4808{
 4809
 4810  {
 4811# 51 "include/linux/swab.h"
 4812  return ((__u16 )((int )((short )((int )val << 8)) | (int )((short )((int )val >> 8))));
 4813}
 4814}
 4815# 55 "include/linux/swab.h"
 4816__inline static __u32 __fswab32(__u32 val )
 4817{ __u32 tmp ;
 4818
 4819  {
 4820  {
 4821# 58 "include/linux/swab.h"
 4822  tmp = __arch_swab32(val);
 4823  }
 4824# 58 "include/linux/swab.h"
 4825  return (tmp);
 4826}
 4827}
 4828# 101 "include/linux/printk.h"
 4829extern int printk(char const * , ...) ;
 4830# 64 "include/asm-generic/bug.h"
 4831extern void warn_slowpath_fmt(char const * , int const , char const * , ...) ;
 4832# 170 "include/linux/kernel.h"
 4833extern void might_fault(void) ;
 4834# 291 "include/linux/kernel.h"
 4835extern int sprintf(char * , char const * , ...) ;
 4836# 303 "include/linux/kernel.h"
 4837extern char *kasprintf(gfp_t , char const * , ...) ;
 4838# 307 "include/linux/kernel.h"
 4839extern int sscanf(char const * , char const * , ...) ;
 4840# 88 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/percpu.h"
 4841extern void __bad_percpu_size(void) ;
 4842# 10 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4843extern struct task_struct *current_task ;
 4844# 12 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4845__inline static struct task_struct *get_current(void)
 4846{ struct task_struct *pfo_ret__ ;
 4847
 4848  {
 4849# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4850  if (1) {
 4851# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4852    goto case_8;
 4853  } else {
 4854# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4855    goto switch_default;
 4856# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4857    if (0) {
 4858# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4859      __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task));
 4860# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4861      goto ldv_2386;
 4862# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4863      __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task));
 4864# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4865      goto ldv_2386;
 4866# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4867      __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task));
 4868# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4869      goto ldv_2386;
 4870      case_8:
 4871# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4872      __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task));
 4873# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4874      goto ldv_2386;
 4875      switch_default:
 4876      {
 4877# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4878      __bad_percpu_size();
 4879      }
 4880    } else {
 4881
 4882    }
 4883  }
 4884  ldv_2386: ;
 4885# 14 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/current.h"
 4886  return (pfo_ret__);
 4887}
 4888}
 4889# 11 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/cmpxchg_64.h"
 4890extern void __xchg_wrong_size(void) ;
 4891# 34 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 4892extern void *__memcpy(void * , void const * , size_t ) ;
 4893# 55 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 4894extern void *memset(void * , int , size_t ) ;
 4895# 62 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 4896extern char *strcpy(char * , char const * ) ;
 4897# 64 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/string_64.h"
 4898extern int strcmp(char const * , char const * ) ;
 4899# 32 "include/linux/err.h"
 4900__inline static long IS_ERR(void const *ptr )
 4901{ long tmp ;
 4902
 4903  {
 4904  {
 4905# 34 "include/linux/err.h"
 4906  tmp = __builtin_expect((long )((unsigned long )ptr > 0x0ffffffffffff000UL), 0L);
 4907  }
 4908# 34 "include/linux/err.h"
 4909  return (tmp);
 4910}
 4911}
 4912# 23 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4913__inline static int atomic_read(atomic_t const *v )
 4914{
 4915
 4916  {
 4917# 25 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4918  return ((int )*((int volatile *)(& v->counter)));
 4919}
 4920}
 4921# 35 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4922__inline static void atomic_set(atomic_t *v , int i )
 4923{
 4924
 4925  {
 4926# 37 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4927  v->counter = i;
 4928# 38 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4929  return;
 4930}
 4931}
 4932# 93 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4933__inline static void atomic_inc(atomic_t *v )
 4934{
 4935
 4936  {
 4937# 95 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4938  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; incl %0": "+m" (v->counter));
 4939# 97 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4940  return;
 4941}
 4942}
 4943# 105 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4944__inline static void atomic_dec(atomic_t *v )
 4945{
 4946
 4947  {
 4948# 107 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4949  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; decl %0": "+m" (v->counter));
 4950# 109 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4951  return;
 4952}
 4953}
 4954# 119 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4955__inline static int atomic_dec_and_test(atomic_t *v )
 4956{ unsigned char c ;
 4957
 4958  {
 4959# 123 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4960  __asm__ volatile (".section .smp_locks,\"a\"\n.balign 4\n.long 671f - .\n.previous\n671:\n\tlock; decl %0; sete %1": "+m" (v->counter),
 4961                       "=qm" (c): : "memory");
 4962# 126 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/atomic.h"
 4963  return ((unsigned int )c != 0U);
 4964}
 4965}
 4966# 217 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4967extern unsigned long kernel_stack ;
 4968# 219 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4969__inline static struct thread_info *current_thread_info(void)
 4970{ struct thread_info *ti ;
 4971  unsigned long pfo_ret__ ;
 4972
 4973  {
 4974# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4975  if (1) {
 4976# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4977    goto case_8;
 4978  } else {
 4979# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4980    goto switch_default;
 4981# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4982    if (0) {
 4983# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4984      __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& kernel_stack));
 4985# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4986      goto ldv_5782;
 4987# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4988      __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 4989# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4990      goto ldv_5782;
 4991# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4992      __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 4993# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4994      goto ldv_5782;
 4995      case_8:
 4996# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4997      __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack));
 4998# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 4999      goto ldv_5782;
 5000      switch_default:
 5001      {
 5002# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5003      __bad_percpu_size();
 5004      }
 5005    } else {
 5006
 5007    }
 5008  }
 5009  ldv_5782:
 5010# 222 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5011  ti = (struct thread_info *)(pfo_ret__ - 8152UL);
 5012# 224 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/thread_info.h"
 5013  return (ti);
 5014}
 5015}
 5016# 82 "include/linux/thread_info.h"
 5017__inline static int test_ti_thread_flag(struct thread_info *ti , int flag )
 5018{ int tmp ;
 5019
 5020  {
 5021  {
 5022# 84 "include/linux/thread_info.h"
 5023  tmp = variable_test_bit(flag, (unsigned long const volatile *)(& ti->flags));
 5024  }
 5025# 84 "include/linux/thread_info.h"
 5026  return (tmp);
 5027}
 5028}
 5029# 93 "include/linux/spinlock.h"
 5030extern void __raw_spin_lock_init(raw_spinlock_t * , char const * , struct lock_class_key * ) ;
 5031# 22 "include/linux/spinlock_api_smp.h"
 5032extern void _raw_spin_lock(raw_spinlock_t * ) ;
 5033# 29 "include/linux/spinlock_api_smp.h"
 5034extern void _raw_spin_lock_irq(raw_spinlock_t * ) ;
 5035# 39 "include/linux/spinlock_api_smp.h"
 5036extern void _raw_spin_unlock(raw_spinlock_t * ) ;
 5037# 41 "include/linux/spinlock_api_smp.h"
 5038extern void _raw_spin_unlock_irq(raw_spinlock_t * ) ;
 5039# 272 "include/linux/spinlock.h"
 5040__inline static raw_spinlock_t *spinlock_check(spinlock_t *lock )
 5041{
 5042
 5043  {
 5044# 274 "include/linux/spinlock.h"
 5045  return (& lock->ldv_6060.rlock);
 5046}
 5047}
 5048# 283 "include/linux/spinlock.h"
 5049__inline static void spin_lock(spinlock_t *lock )
 5050{
 5051
 5052  {
 5053  {
 5054# 285 "include/linux/spinlock.h"
 5055  _raw_spin_lock(& lock->ldv_6060.rlock);
 5056  }
 5057# 286 "include/linux/spinlock.h"
 5058  return;
 5059}
 5060}
 5061# 308 "include/linux/spinlock.h"
 5062__inline static void spin_lock_irq(spinlock_t *lock )
 5063{
 5064
 5065  {
 5066  {
 5067# 310 "include/linux/spinlock.h"
 5068  _raw_spin_lock_irq(& lock->ldv_6060.rlock);
 5069  }
 5070# 311 "include/linux/spinlock.h"
 5071  return;
 5072}
 5073}
 5074# 323 "include/linux/spinlock.h"
 5075__inline static void spin_unlock(spinlock_t *lock )
 5076{
 5077
 5078  {
 5079  {
 5080# 325 "include/linux/spinlock.h"
 5081  _raw_spin_unlock(& lock->ldv_6060.rlock);
 5082  }
 5083# 326 "include/linux/spinlock.h"
 5084  return;
 5085}
 5086}
 5087# 333 "include/linux/spinlock.h"
 5088__inline static void spin_unlock_irq(spinlock_t *lock )
 5089{
 5090
 5091  {
 5092  {
 5093# 335 "include/linux/spinlock.h"
 5094  _raw_spin_unlock_irq(& lock->ldv_6060.rlock);
 5095  }
 5096# 336 "include/linux/spinlock.h"
 5097  return;
 5098}
 5099}
 5100# 30 "include/linux/wait.h"
 5101extern int default_wake_function(wait_queue_t * , unsigned int , int , void * ) ;
 5102# 80 "include/linux/wait.h"
 5103extern void __init_waitqueue_head(wait_queue_head_t * , struct lock_class_key * ) ;
 5104# 118 "include/linux/wait.h"
 5105extern void add_wait_queue(wait_queue_head_t * , wait_queue_t * ) ;
 5106# 120 "include/linux/wait.h"
 5107extern void remove_wait_queue(wait_queue_head_t * , wait_queue_t * ) ;
 5108# 156 "include/linux/wait.h"
 5109extern void __wake_up(wait_queue_head_t * , unsigned int , int , void * ) ;
 5110# 115 "include/linux/mutex.h"
 5111extern void __mutex_init(struct mutex * , char const * , struct lock_class_key * ) ;
 5112# 134 "include/linux/mutex.h"
 5113extern void mutex_lock_nested(struct mutex * , unsigned int ) ;
 5114# 169 "include/linux/mutex.h"
 5115extern void mutex_unlock(struct mutex * ) ;
 5116# 322 "include/linux/gfp.h"
 5117extern struct page *alloc_pages_current(gfp_t , unsigned int ) ;
 5118# 325 "include/linux/gfp.h"
 5119__inline static struct page *alloc_pages(gfp_t gfp_mask , unsigned int order )
 5120{ struct page *tmp ;
 5121
 5122  {
 5123  {
 5124# 327 "include/linux/gfp.h"
 5125  tmp = alloc_pages_current(gfp_mask, order);
 5126  }
 5127# 327 "include/linux/gfp.h"
 5128  return (tmp);
 5129}
 5130}
 5131# 358 "include/linux/gfp.h"
 5132extern void __free_pages(struct page * , unsigned int ) ;
 5133# 830 "include/linux/rcupdate.h"
 5134extern void kfree(void const * ) ;
 5135# 90 "include/linux/kobject.h"
 5136extern int kobject_init_and_add(struct kobject * , struct kobj_type * , struct kobject * ,
 5137                                char const * , ...) ;
 5138# 106 "include/linux/kobject.h"
 5139extern void kobject_put(struct kobject * ) ;
 5140# 211 "include/linux/kobject.h"
 5141extern int kobject_uevent(struct kobject * , enum kobject_action ) ;
 5142# 99 "include/linux/module.h"
 5143extern struct module __this_module ;
 5144# 519 "include/linux/module.h"
 5145__inline static void ldv___module_get_3(struct module *module ) ;
 5146# 541 "include/linux/module.h"
 5147__inline static int ldv_try_module_get_1(struct module *module ) ;
 5148# 547 "include/linux/module.h"
 5149void ldv_module_put_2(struct module *ldv_func_arg1 ) ;
 5150# 551 "include/linux/module.h"
 5151void ldv_module_put_4(struct module *ldv_func_arg1 ) ;
 5152# 555 "include/linux/module.h"
 5153void ldv_module_put_5(struct module *ldv_func_arg1 ) ;
 5154# 3 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5155int ldv_try_module_get(struct module *module ) ;
 5156# 4 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5157void ldv_module_get(struct module *module ) ;
 5158# 5 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5159void ldv_module_put(struct module *module ) ;
 5160# 6 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5161unsigned int ldv_module_refcount(void) ;
 5162# 7 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5163void ldv_module_put_and_exit(void) ;
 5164# 546 "include/linux/capability.h"
 5165extern bool capable(int ) ;
 5166# 147 "include/linux/rbtree.h"
 5167extern void rb_insert_color(struct rb_node * , struct rb_root * ) ;
 5168# 148 "include/linux/rbtree.h"
 5169extern void rb_erase(struct rb_node * , struct rb_root * ) ;
 5170# 159 "include/linux/rbtree.h"
 5171extern struct rb_node *rb_next(struct rb_node const * ) ;
 5172# 161 "include/linux/rbtree.h"
 5173extern struct rb_node *rb_first(struct rb_root const * ) ;
 5174# 168 "include/linux/rbtree.h"
 5175__inline static void rb_link_node(struct rb_node *node , struct rb_node *parent ,
 5176                                  struct rb_node **rb_link )
 5177{ struct rb_node *tmp ;
 5178
 5179  {
 5180# 171 "include/linux/rbtree.h"
 5181  node->rb_parent_color = (unsigned long )parent;
 5182# 172 "include/linux/rbtree.h"
 5183  tmp = (struct rb_node *)0;
 5184# 172 "include/linux/rbtree.h"
 5185  node->rb_right = tmp;
 5186# 172 "include/linux/rbtree.h"
 5187  node->rb_left = tmp;
 5188# 174 "include/linux/rbtree.h"
 5189  *rb_link = node;
 5190# 175 "include/linux/rbtree.h"
 5191  return;
 5192}
 5193}
 5194# 357 "include/linux/sched.h"
 5195extern long schedule_timeout(long ) ;
 5196# 2037 "include/linux/sched.h"
 5197extern void set_user_nice(struct task_struct * , long ) ;
 5198# 2112 "include/linux/sched.h"
 5199extern int wake_up_process(struct task_struct * ) ;
 5200# 2441 "include/linux/sched.h"
 5201__inline static int test_tsk_thread_flag(struct task_struct *tsk , int flag )
 5202{ int tmp ;
 5203
 5204  {
 5205  {
 5206# 2443 "include/linux/sched.h"
 5207  tmp = test_ti_thread_flag((struct thread_info *)tsk->stack, flag);
 5208  }
 5209# 2443 "include/linux/sched.h"
 5210  return (tmp);
 5211}
 5212}
 5213# 41 "include/linux/kdev_t.h"
 5214__inline static u32 new_encode_dev(dev_t dev )
 5215{ unsigned int major ;
 5216  unsigned int minor ;
 5217
 5218  {
 5219# 43 "include/linux/kdev_t.h"
 5220  major = dev >> 20;
 5221# 44 "include/linux/kdev_t.h"
 5222  minor = dev & 1048575U;
 5223# 45 "include/linux/kdev_t.h"
 5224  return (((minor & 255U) | (major << 8)) | ((minor & 4294967040U) << 12));
 5225}
 5226}
 5227# 48 "include/linux/kdev_t.h"
 5228__inline static dev_t new_decode_dev(u32 dev )
 5229{ unsigned int major ;
 5230  unsigned int minor ;
 5231
 5232  {
 5233# 50 "include/linux/kdev_t.h"
 5234  major = (dev & 1048320U) >> 8;
 5235# 51 "include/linux/kdev_t.h"
 5236  minor = (dev & 255U) | ((dev >> 12) & 1048320U);
 5237# 52 "include/linux/kdev_t.h"
 5238  return ((major << 20) | minor);
 5239}
 5240}
 5241# 221 "include/linux/slub_def.h"
 5242extern void *__kmalloc(size_t , gfp_t ) ;
 5243# 255 "include/linux/slub_def.h"
 5244__inline static void *kmalloc(size_t size , gfp_t flags )
 5245{ void *tmp___2 ;
 5246
 5247  {
 5248  {
 5249# 270 "include/linux/slub_def.h"
 5250  tmp___2 = __kmalloc(size, flags);
 5251  }
 5252# 270 "include/linux/slub_def.h"
 5253  return (tmp___2);
 5254}
 5255}
 5256# 223 "include/linux/slab.h"
 5257__inline static void *kcalloc(size_t n , size_t size , gfp_t flags )
 5258{ void *tmp ;
 5259
 5260  {
 5261# 225 "include/linux/slab.h"
 5262  if (size != 0UL) {
 5263# 225 "include/linux/slab.h"
 5264    if (0x0fffffffffffffffUL / size < n) {
 5265# 226 "include/linux/slab.h"
 5266      return ((void *)0);
 5267    } else {
 5268
 5269    }
 5270  } else {
 5271
 5272  }
 5273  {
 5274# 227 "include/linux/slab.h"
 5275  tmp = __kmalloc(n * size, flags | 32768U);
 5276  }
 5277# 227 "include/linux/slab.h"
 5278  return (tmp);
 5279}
 5280}
 5281# 318 "include/linux/slab.h"
 5282__inline static void *kzalloc(size_t size , gfp_t flags )
 5283{ void *tmp ;
 5284
 5285  {
 5286  {
 5287# 320 "include/linux/slab.h"
 5288  tmp = kmalloc(size, flags | 32768U);
 5289  }
 5290# 320 "include/linux/slab.h"
 5291  return (tmp);
 5292}
 5293}
 5294# 313 "include/linux/device.h"
 5295extern int __class_register(struct class * , struct lock_class_key * ) ;
 5296# 394 "include/linux/device.h"
 5297extern void class_destroy(struct class * ) ;
 5298# 692 "include/linux/device.h"
 5299extern void device_unregister(struct device * ) ;
 5300# 743 "include/linux/device.h"
 5301extern struct device *device_create(struct class * , struct device * , dev_t , void * ,
 5302                                    char const * , ...) ;
 5303# 2025 "include/linux/fs.h"
 5304extern int register_blkdev(unsigned int , char const * ) ;
 5305# 2026 "include/linux/fs.h"
 5306extern void unregister_blkdev(unsigned int , char const * ) ;
 5307# 2027 "include/linux/fs.h"
 5308extern struct block_device *bdget(dev_t ) ;
 5309# 2029 "include/linux/fs.h"
 5310extern void bd_set_size(struct block_device * , loff_t ) ;
 5311# 2062 "include/linux/fs.h"
 5312extern int blkdev_get(struct block_device * , fmode_t , void * ) ;
 5313# 2067 "include/linux/fs.h"
 5314extern int blkdev_put(struct block_device * , fmode_t ) ;
 5315# 2115 "include/linux/fs.h"
 5316extern char const *bdevname(struct block_device * , char * ) ;
 5317# 2296 "include/linux/fs.h"
 5318extern int set_blocksize(struct block_device * , int ) ;
 5319# 2337 "include/linux/fs.h"
 5320extern loff_t no_llseek(struct file * , loff_t , int ) ;
 5321# 2342 "include/linux/fs.h"
 5322extern int nonseekable_open(struct inode * , struct file * ) ;
 5323# 408 "include/linux/genhd.h"
 5324extern void add_disk(struct gendisk * ) ;
 5325# 409 "include/linux/genhd.h"
 5326extern void del_gendisk(struct gendisk * ) ;
 5327# 438 "include/linux/genhd.h"
 5328__inline static void set_capacity(struct gendisk *disk , sector_t size )
 5329{
 5330
 5331  {
 5332# 440 "include/linux/genhd.h"
 5333  disk->part0.nr_sects = size;
 5334# 441 "include/linux/genhd.h"
 5335  return;
 5336}
 5337}
 5338# 607 "include/linux/genhd.h"
 5339extern struct gendisk *alloc_disk(int ) ;
 5340# 609 "include/linux/genhd.h"
 5341extern void put_disk(struct gendisk * ) ;
 5342# 720 "include/linux/mm.h"
 5343__inline static void *lowmem_page_address(struct page *page )
 5344{
 5345
 5346  {
 5347# 722 "include/linux/mm.h"
 5348  return ((void *)((unsigned long )((unsigned long long )(((long )page + 24189255811072L) / 56L) << 12) + 0x0fff880000000000UL));
 5349}
 5350}
 5351# 40 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5352extern unsigned long _copy_to_user(void * , void const * , unsigned int ) ;
 5353# 42 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5354extern unsigned long _copy_from_user(void * , void const * , unsigned int ) ;
 5355# 46 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5356__inline static unsigned long copy_from_user(void *to , void const *from , unsigned long n )
 5357{ int sz ;
 5358  unsigned long tmp ;
 5359  int __ret_warn_on ;
 5360  long tmp___0 ;
 5361  long tmp___1 ;
 5362  long tmp___2 ;
 5363
 5364  {
 5365  {
 5366# 50 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5367  tmp = __builtin_object_size((void *)((void const *)to), 0);
 5368# 50 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5369  sz = (int )tmp;
 5370# 52 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5371  might_fault();
 5372# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5373  tmp___1 = __builtin_expect((long )(sz == -1), 1L);
 5374  }
 5375# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5376  if (tmp___1 != 0L) {
 5377    {
 5378# 54 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5379    n = _copy_from_user(to, from, (unsigned int )n);
 5380    }
 5381  } else {
 5382    {
 5383# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5384    tmp___2 = __builtin_expect((long )((unsigned long )sz >= n), 1L);
 5385    }
 5386# 53 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5387    if (tmp___2 != 0L) {
 5388      {
 5389# 54 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5390      n = _copy_from_user(to, from, (unsigned int )n);
 5391      }
 5392    } else {
 5393      {
 5394# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5395      __ret_warn_on = 1;
 5396# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5397      tmp___0 = __builtin_expect((long )(__ret_warn_on != 0), 0L);
 5398      }
 5399# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5400      if (tmp___0 != 0L) {
 5401        {
 5402# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5403        warn_slowpath_fmt("/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h",
 5404                          (int const )57, "Buffer overflow detected!\n");
 5405        }
 5406      } else {
 5407
 5408      }
 5409      {
 5410# 57 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5411      __builtin_expect((long )(__ret_warn_on != 0), 0L);
 5412      }
 5413    }
 5414  }
 5415# 59 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5416  return (n);
 5417}
 5418}
 5419# 63 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5420__inline static int copy_to_user(void *dst , void const *src , unsigned int size )
 5421{ unsigned long tmp ;
 5422
 5423  {
 5424  {
 5425# 65 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5426  might_fault();
 5427# 67 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5428  tmp = _copy_to_user(dst, src, size);
 5429  }
 5430# 67 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/uaccess_64.h"
 5431  return ((int )tmp);
 5432}
 5433}
 5434# 16 "include/linux/uaccess.h"
 5435__inline static void pagefault_disable(void)
 5436{ struct thread_info *tmp ;
 5437
 5438  {
 5439  {
 5440# 18 "include/linux/uaccess.h"
 5441  tmp = current_thread_info();
 5442# 18 "include/linux/uaccess.h"
 5443  tmp->preempt_count = tmp->preempt_count + 1;
 5444# 23 "include/linux/uaccess.h"
 5445  __asm__ volatile ("": : : "memory");
 5446  }
 5447# 24 "include/linux/uaccess.h"
 5448  return;
 5449}
 5450}
 5451# 26 "include/linux/uaccess.h"
 5452__inline static void pagefault_enable(void)
 5453{ struct thread_info *tmp ;
 5454
 5455  {
 5456  {
 5457# 32 "include/linux/uaccess.h"
 5458  __asm__ volatile ("": : : "memory");
 5459# 33 "include/linux/uaccess.h"
 5460  tmp = current_thread_info();
 5461# 33 "include/linux/uaccess.h"
 5462  tmp->preempt_count = tmp->preempt_count + -1;
 5463# 37 "include/linux/uaccess.h"
 5464  __asm__ volatile ("": : : "memory");
 5465  }
 5466# 38 "include/linux/uaccess.h"
 5467  return;
 5468}
 5469}
 5470# 58 "include/linux/highmem.h"
 5471__inline static void *__kmap_atomic(struct page *page )
 5472{ void *tmp ;
 5473
 5474  {
 5475  {
 5476# 60 "include/linux/highmem.h"
 5477  pagefault_disable();
 5478# 61 "include/linux/highmem.h"
 5479  tmp = lowmem_page_address(page);
 5480  }
 5481# 61 "include/linux/highmem.h"
 5482  return (tmp);
 5483}
 5484}
 5485# 65 "include/linux/highmem.h"
 5486__inline static void __kunmap_atomic(void *addr )
 5487{
 5488
 5489  {
 5490  {
 5491# 67 "include/linux/highmem.h"
 5492  pagefault_enable();
 5493  }
 5494# 68 "include/linux/highmem.h"
 5495  return;
 5496}
 5497}
 5498# 283 "include/linux/backing-dev.h"
 5499extern void clear_bdi_congested(struct backing_dev_info * , int ) ;
 5500# 284 "include/linux/backing-dev.h"
 5501extern void set_bdi_congested(struct backing_dev_info * , int ) ;
 5502# 285 "include/linux/backing-dev.h"
 5503extern long congestion_wait(int , long ) ;
 5504# 26 "include/linux/mempool.h"
 5505extern mempool_t *mempool_create(int , mempool_alloc_t * , mempool_free_t * , void * ) ;
 5506# 32 "include/linux/mempool.h"
 5507extern void mempool_destroy(mempool_t * ) ;
 5508# 33 "include/linux/mempool.h"
 5509extern void *mempool_alloc(mempool_t * , gfp_t ) ;
 5510# 34 "include/linux/mempool.h"
 5511extern void mempool_free(void * , mempool_t * ) ;
 5512# 53 "include/linux/mempool.h"
 5513extern void *mempool_kmalloc(gfp_t , void * ) ;
 5514# 54 "include/linux/mempool.h"
 5515extern void mempool_kfree(void * , void * ) ;
 5516# 55 "include/linux/mempool.h"
 5517__inline static mempool_t *mempool_create_kmalloc_pool(int min_nr , size_t size )
 5518{ mempool_t *tmp ;
 5519
 5520  {
 5521  {
 5522# 57 "include/linux/mempool.h"
 5523  tmp = mempool_create(min_nr, & mempool_kmalloc, & mempool_kfree, (void *)size);
 5524  }
 5525# 57 "include/linux/mempool.h"
 5526  return (tmp);
 5527}
 5528}
 5529# 208 "include/linux/bio.h"
 5530extern struct bio_pair *bio_split(struct bio * , int ) ;
 5531# 209 "include/linux/bio.h"
 5532extern void bio_pair_release(struct bio_pair * ) ;
 5533# 217 "include/linux/bio.h"
 5534extern void bio_put(struct bio * ) ;
 5535# 220 "include/linux/bio.h"
 5536extern void bio_endio(struct bio * , int ) ;
 5537# 225 "include/linux/bio.h"
 5538extern struct bio *bio_clone(struct bio * , gfp_t ) ;
 5539# 227 "include/linux/bio.h"
 5540extern void bio_init(struct bio * ) ;
 5541# 229 "include/linux/bio.h"
 5542extern int bio_add_page(struct bio * , struct page * , unsigned int , unsigned int ) ;
 5543# 386 "include/linux/bio.h"
 5544__inline static int bio_list_empty(struct bio_list const *bl )
 5545{
 5546
 5547  {
 5548# 388 "include/linux/bio.h"
 5549  return ((unsigned long )bl->head == (unsigned long )((struct bio * const )0));
 5550}
 5551}
 5552# 391 "include/linux/bio.h"
 5553__inline static void bio_list_init(struct bio_list *bl )
 5554{ struct bio *tmp ;
 5555
 5556  {
 5557# 393 "include/linux/bio.h"
 5558  tmp = (struct bio *)0;
 5559# 393 "include/linux/bio.h"
 5560  bl->tail = tmp;
 5561# 393 "include/linux/bio.h"
 5562  bl->head = tmp;
 5563# 394 "include/linux/bio.h"
 5564  return;
 5565}
 5566}
 5567# 410 "include/linux/bio.h"
 5568__inline static void bio_list_add(struct bio_list *bl , struct bio *bio )
 5569{
 5570
 5571  {
 5572# 412 "include/linux/bio.h"
 5573  bio->bi_next = (struct bio *)0;
 5574# 414 "include/linux/bio.h"
 5575  if ((unsigned long )bl->tail != (unsigned long )((struct bio *)0)) {
 5576# 415 "include/linux/bio.h"
 5577    (bl->tail)->bi_next = bio;
 5578  } else {
 5579# 417 "include/linux/bio.h"
 5580    bl->head = bio;
 5581  }
 5582# 419 "include/linux/bio.h"
 5583  bl->tail = bio;
 5584# 420 "include/linux/bio.h"
 5585  return;
 5586}
 5587}
 5588# 459 "include/linux/bio.h"
 5589__inline static struct bio *bio_list_peek(struct bio_list *bl )
 5590{
 5591
 5592  {
 5593# 461 "include/linux/bio.h"
 5594  return (bl->head);
 5595}
 5596}
 5597# 464 "include/linux/bio.h"
 5598__inline static struct bio *bio_list_pop(struct bio_list *bl )
 5599{ struct bio *bio ;
 5600
 5601  {
 5602# 466 "include/linux/bio.h"
 5603  bio = bl->head;
 5604# 468 "include/linux/bio.h"
 5605  if ((unsigned long )bio != (unsigned long )((struct bio *)0)) {
 5606# 469 "include/linux/bio.h"
 5607    bl->head = (bl->head)->bi_next;
 5608# 470 "include/linux/bio.h"
 5609    if ((unsigned long )bl->head == (unsigned long )((struct bio *)0)) {
 5610# 471 "include/linux/bio.h"
 5611      bl->tail = (struct bio *)0;
 5612    } else {
 5613
 5614    }
 5615# 473 "include/linux/bio.h"
 5616    bio->bi_next = (struct bio *)0;
 5617  } else {
 5618
 5619  }
 5620# 476 "include/linux/bio.h"
 5621  return (bio);
 5622}
 5623}
 5624# 599 "include/linux/blkdev.h"
 5625extern void blk_queue_bounce(struct request_queue * , struct bio ** ) ;
 5626# 651 "include/linux/blkdev.h"
 5627extern void generic_make_request(struct bio * ) ;
 5628# 653 "include/linux/blkdev.h"
 5629extern void blk_put_request(struct request * ) ;
 5630# 655 "include/linux/blkdev.h"
 5631extern struct request *blk_get_request(struct request_queue * , int , gfp_t ) ;
 5632# 708 "include/linux/blkdev.h"
 5633extern int blk_rq_map_kern(struct request_queue * , struct request * , void * , unsigned int ,
 5634                           gfp_t ) ;
 5635# 712 "include/linux/blkdev.h"
 5636extern int blk_execute_rq(struct request_queue * , struct gendisk * , struct request * ,
 5637                          int ) ;
 5638# 717 "include/linux/blkdev.h"
 5639__inline static struct request_queue *bdev_get_queue(struct block_device *bdev )
 5640{
 5641
 5642  {
 5643# 719 "include/linux/blkdev.h"
 5644  return ((bdev->bd_disk)->queue);
 5645}
 5646}
 5647# 807 "include/linux/blkdev.h"
 5648extern void blk_cleanup_queue(struct request_queue * ) ;
 5649# 808 "include/linux/blkdev.h"
 5650extern void blk_queue_make_request(struct request_queue * , make_request_fn * ) ;
 5651# 811 "include/linux/blkdev.h"
 5652extern void blk_queue_max_hw_sectors(struct request_queue * , unsigned int ) ;
 5653# 816 "include/linux/blkdev.h"
 5654extern void blk_queue_logical_block_size(struct request_queue * , unsigned short ) ;
 5655# 841 "include/linux/blkdev.h"
 5656extern void blk_queue_merge_bvec(struct request_queue * , merge_bvec_fn * ) ;
 5657# 856 "include/linux/blkdev.h"
 5658extern struct request_queue *blk_alloc_queue(gfp_t ) ;
 5659# 975 "include/linux/blkdev.h"
 5660__inline static unsigned short queue_max_segments(struct request_queue *q )
 5661{
 5662
 5663  {
 5664# 977 "include/linux/blkdev.h"
 5665  return (q->limits.max_segments);
 5666}
 5667}
 5668# 1313 "include/linux/blkdev.h"
 5669extern int __blkdev_driver_ioctl(struct block_device * , fmode_t , unsigned int ,
 5670                                 unsigned long ) ;
 5671# 1022 "include/linux/cdrom.h"
 5672extern void init_cdrom_command(struct packet_command * , void * , int , int ) ;
 5673# 198 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 5674__inline static void *compat_ptr(compat_uptr_t uptr )
 5675{
 5676
 5677  {
 5678# 200 "/anthill/stuff/tacas-comp/inst/current/envs/linux-3.0.1/linux-3.0.1/arch/x86/include/asm/compat.h"
 5679  return ((void *)((unsigned long )uptr));
 5680}
 5681}
 5682# 7 "include/linux/kthread.h"
 5683extern struct task_struct *kthread_create_on_node(int (*)(void * ) , void * , int ,
 5684                                                  char const * , ...) ;
 5685# 36 "include/linux/kthread.h"
 5686extern int kthread_stop(struct task_struct * ) ;
 5687# 37 "include/linux/kthread.h"
 5688extern int kthread_should_stop(void) ;
 5689# 111 "include/linux/proc_fs.h"
 5690extern struct proc_dir_entry *proc_create_data(char const * , mode_t , struct proc_dir_entry * ,
 5691                                               struct file_operations const * ,
 5692                                               void * ) ;
 5693# 115 "include/linux/proc_fs.h"
 5694extern void remove_proc_entry(char const * , struct proc_dir_entry * ) ;
 5695# 148 "include/linux/proc_fs.h"
 5696extern struct proc_dir_entry *proc_mkdir(char const * , struct proc_dir_entry * ) ;
 5697# 278 "include/linux/proc_fs.h"
 5698__inline static struct proc_inode *PROC_I(struct inode const *inode )
 5699{ struct inode const *__mptr ;
 5700
 5701  {
 5702# 280 "include/linux/proc_fs.h"
 5703  __mptr = inode;
 5704# 280 "include/linux/proc_fs.h"
 5705  return ((struct proc_inode *)__mptr + 0x0fffffffffffffc0UL);
 5706}
 5707}
 5708# 283 "include/linux/proc_fs.h"
 5709__inline static struct proc_dir_entry *PDE(struct inode const *inode )
 5710{ struct proc_inode *tmp ;
 5711
 5712  {
 5713  {
 5714# 285 "include/linux/proc_fs.h"
 5715  tmp = PROC_I(inode);
 5716  }
 5717# 285 "include/linux/proc_fs.h"
 5718  return (tmp->pde);
 5719}
 5720}
 5721# 78 "include/linux/seq_file.h"
 5722extern ssize_t seq_read(struct file * , char * , size_t , loff_t * ) ;
 5723# 79 "include/linux/seq_file.h"
 5724extern loff_t seq_lseek(struct file * , loff_t , int ) ;
 5725# 86 "include/linux/seq_file.h"
 5726extern int seq_printf(struct seq_file * , char const * , ...) ;
 5727# 119 "include/linux/seq_file.h"
 5728extern int single_open(struct file * , int (*)(struct seq_file * , void * ) , void * ) ;
 5729# 120 "include/linux/seq_file.h"
 5730extern int single_release(struct inode * , struct file * ) ;
 5731# 58 "include/linux/miscdevice.h"
 5732extern int misc_register(struct miscdevice * ) ;
 5733# 59 "include/linux/miscdevice.h"
 5734extern int misc_deregister(struct miscdevice * ) ;
 5735# 21 "include/linux/freezer.h"
 5736__inline static int freezing(struct task_struct *p )
 5737{ int tmp ;
 5738
 5739  {
 5740  {
 5741# 23 "include/linux/freezer.h"
 5742  tmp = test_tsk_thread_flag(p, 23);
 5743  }
 5744# 23 "include/linux/freezer.h"
 5745  return (tmp);
 5746}
 5747}
 5748# 50 "include/linux/freezer.h"
 5749extern void refrigerator(void) ;
 5750# 54 "include/linux/freezer.h"
 5751__inline static int try_to_freeze(void)
 5752{ struct task_struct *tmp ;
 5753  int tmp___0 ;
 5754
 5755  {
 5756  {
 5757# 56 "include/linux/freezer.h"
 5758  tmp = get_current();
 5759# 56 "include/linux/freezer.h"
 5760  tmp___0 = freezing(tmp);
 5761  }
 5762# 56 "include/linux/freezer.h"
 5763  if (tmp___0 != 0) {
 5764    {
 5765# 57 "include/linux/freezer.h"
 5766    refrigerator();
 5767    }
 5768# 58 "include/linux/freezer.h"
 5769    return (1);
 5770  } else {
 5771# 60 "include/linux/freezer.h"
 5772    return (0);
 5773  }
 5774}
 5775}
 5776# 122 "include/linux/freezer.h"
 5777__inline static void set_freezable(void)
 5778{ struct task_struct *tmp ;
 5779
 5780  {
 5781  {
 5782# 124 "include/linux/freezer.h"
 5783  tmp = get_current();
 5784# 124 "include/linux/freezer.h"
 5785  tmp->flags = tmp->flags & 4294934527U;
 5786  }
 5787# 125 "include/linux/freezer.h"
 5788  return;
 5789}
 5790}
 5791# 206 "include/scsi/scsi.h"
 5792extern unsigned char const scsi_command_size_tbl[8U] ;
 5793# 37 "include/linux/debugfs.h"
 5794extern struct dentry *debugfs_create_file(char const * , mode_t , struct dentry * ,
 5795                                          void * , struct file_operations const * ) ;
 5796# 41 "include/linux/debugfs.h"
 5797extern struct dentry *debugfs_create_dir(char const * , struct dentry * ) ;
 5798# 46 "include/linux/debugfs.h"
 5799extern void debugfs_remove(struct dentry * ) ;
 5800# 96 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5801static struct mutex pktcdvd_mutex = {{1}, {{{{0U}, 3735899821U, 4294967295U, (void *)0x0fffffffffffffffUL, {(struct lock_class_key *)0,
 5802                                                                           {(struct lock_class *)0,
 5803                                                                            (struct lock_class *)0},
 5804                                                                           "pktcdvd_mutex.wait_lock",
 5805                                                                           0, 0UL}}}},
 5806    {& pktcdvd_mutex.wait_list, & pktcdvd_mutex.wait_list}, (struct task_struct *)0,
 5807    (char const *)0, (void *)(& pktcdvd_mutex), {(struct lock_class_key *)0, {(struct lock_class *)0,
 5808                                                                                (struct lock_class *)0},
 5809                                                   "pktcdvd_mutex", 0, 0UL}};
 5810# 97 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5811static struct pktcdvd_device *pkt_devs[8U] ;
 5812# 98 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5813static struct proc_dir_entry *pkt_proc ;
 5814# 99 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5815static int pktdev_major ;
 5816# 100 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5817static int write_congestion_on = 10000;
 5818# 101 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5819static int write_congestion_off = 9000;
 5820# 102 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5821static struct mutex ctl_mutex ;
 5822# 103 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5823static mempool_t *psd_pool ;
 5824# 105 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5825static struct class *class_pktcdvd = (struct class *)0;
 5826# 106 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5827static struct dentry *pkt_debugfs_root = (struct dentry *)0;
 5828# 109 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5829static int pkt_setup_dev(dev_t dev , dev_t *pkt_dev ) ;
 5830# 110 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5831static int pkt_remove_dev(dev_t pkt_dev ) ;
 5832# 111 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5833static int pkt_seq_show(struct seq_file *m , void *p ) ;
 5834# 118 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5835static struct pktcdvd_kobj *pkt_kobj_create(struct pktcdvd_device *pd , char const *name ,
 5836                                            struct kobject *parent , struct kobj_type *ktype )
 5837{ struct pktcdvd_kobj *p ;
 5838  int error ;
 5839  void *tmp ;
 5840
 5841  {
 5842  {
 5843# 126 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5844  tmp = kzalloc(72UL, 208U);
 5845# 126 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5846  p = (struct pktcdvd_kobj *)tmp;
 5847  }
 5848# 127 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5849  if ((unsigned long )p == (unsigned long )((struct pktcdvd_kobj *)0)) {
 5850# 128 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5851    return ((struct pktcdvd_kobj *)0);
 5852  } else {
 5853
 5854  }
 5855  {
 5856# 129 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5857  p->pd = pd;
 5858# 130 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5859  error = kobject_init_and_add(& p->kobj, ktype, parent, "%s", name);
 5860  }
 5861# 131 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5862  if (error != 0) {
 5863    {
 5864# 132 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5865    kobject_put(& p->kobj);
 5866    }
 5867# 133 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5868    return ((struct pktcdvd_kobj *)0);
 5869  } else {
 5870
 5871  }
 5872  {
 5873# 135 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5874  kobject_uevent(& p->kobj, (enum kobject_action )0);
 5875  }
 5876# 136 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5877  return (p);
 5878}
 5879}
 5880# 141 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5881static void pkt_kobj_remove(struct pktcdvd_kobj *p )
 5882{
 5883
 5884  {
 5885# 143 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5886  if ((unsigned long )p != (unsigned long )((struct pktcdvd_kobj *)0)) {
 5887    {
 5888# 144 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5889    kobject_put(& p->kobj);
 5890    }
 5891  } else {
 5892
 5893  }
 5894# 145 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5895  return;
 5896}
 5897}
 5898# 149 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5899static void pkt_kobj_release(struct kobject *kobj )
 5900{ struct kobject const *__mptr ;
 5901
 5902  {
 5903  {
 5904# 151 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5905  __mptr = (struct kobject const *)kobj;
 5906# 151 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5907  kfree((void const *)((struct pktcdvd_kobj *)__mptr));
 5908  }
 5909# 153 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5910  return;
 5911}
 5912}
 5913# 178 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5914static struct attribute kobj_pkt_attr_st1 = {"reset", 128U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0},
 5915                                                 {(char)0}, {(char)0}, {(char)0},
 5916                                                 {(char)0}, {(char)0}}}};
 5917# 179 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5918static struct attribute kobj_pkt_attr_st2 = {"packets_started", 292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0},
 5919                                                           {(char)0}, {(char)0}, {(char)0},
 5920                                                           {(char)0}, {(char)0}}}};
 5921# 180 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5922static struct attribute kobj_pkt_attr_st3 = {"packets_finished", 292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0},
 5923                                                            {(char)0}, {(char)0},
 5924                                                            {(char)0}, {(char)0},
 5925                                                            {(char)0}, {(char)0}}}};
 5926# 181 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5927static struct attribute kobj_pkt_attr_st4 = {"kb_written", 292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0},
 5928                                                      {(char)0}, {(char)0}, {(char)0},
 5929                                                      {(char)0}, {(char)0}}}};
 5930# 182 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5931static struct attribute kobj_pkt_attr_st5 = {"kb_read", 292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0},
 5932                                                   {(char)0}, {(char)0}, {(char)0},
 5933                                                   {(char)0}, {(char)0}}}};
 5934# 183 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5935static struct attribute kobj_pkt_attr_st6 = {"kb_read_gather", 292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0},
 5936                                                          {(char)0}, {(char)0}, {(char)0},
 5937                                                          {(char)0}, {(char)0}}}};
 5938# 185 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5939static struct attribute *kobj_pkt_attrs_stat[7U] = { & kobj_pkt_attr_st1, & kobj_pkt_attr_st2, & kobj_pkt_attr_st3, & kobj_pkt_attr_st4,
 5940        & kobj_pkt_attr_st5, & kobj_pkt_attr_st6, (struct attribute *)0};
 5941# 195 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5942static struct attribute kobj_pkt_attr_wq1 = {"size", 292U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0}, {(char)0},
 5943                                                {(char)0}, {(char)0}, {(char)0}, {(char)0}}}};
 5944# 196 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5945static struct attribute kobj_pkt_attr_wq2 = {"congestion_off", 420U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0},
 5946                                                          {(char)0}, {(char)0}, {(char)0},
 5947                                                          {(char)0}, {(char)0}}}};
 5948# 197 "/anthill/stuff/tacas-comp/work/current--X--drivers/block/pktcdvd.ko--X--unsafelinux-3.0.1--X--08_1/linux-3.0.1/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1/drivers/block/pktcdvd.c.p"
 5949static struct attribute kobj_pkt_attr_wq3 = {"congestion_on", 420U, (struct lock_class_key *)0, {{{(char)0}, {(char)0}, {(char)0},
 5950                                                         {(char)0}, {(char)0}, {(char)0},
 5951                                                         {(char)0}, {(char)0}}}};
 5952# 199 "/anthill/stuff/tacas-comp/work/cu