|
/* Generated by Frama-C */
|
|
int __VERIFIER_nondet_int(void);
|
|
|
|
|
|
# 19 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/int-ll64.h"
|
|
typedef signed char __s8;
|
|
|
|
# 20 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/int-ll64.h"
|
|
typedef unsigned char __u8;
|
|
|
|
# 22 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/int-ll64.h"
|
|
typedef short __s16;
|
|
|
|
# 23 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/int-ll64.h"
|
|
typedef unsigned short __u16;
|
|
|
|
# 25 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/int-ll64.h"
|
|
typedef int __s32;
|
|
|
|
# 26 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/int-ll64.h"
|
|
typedef unsigned int __u32;
|
|
|
|
# 30 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/int-ll64.h"
|
|
typedef unsigned long long __u64;
|
|
|
|
# 16 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/int-ll64.h"
|
|
typedef unsigned char u8;
|
|
|
|
# 18 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/int-ll64.h"
|
|
typedef short s16;
|
|
|
|
# 19 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/int-ll64.h"
|
|
typedef unsigned short u16;
|
|
|
|
# 21 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/int-ll64.h"
|
|
typedef int s32;
|
|
|
|
# 22 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/int-ll64.h"
|
|
typedef unsigned int u32;
|
|
|
|
# 24 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/int-ll64.h"
|
|
typedef long long s64;
|
|
|
|
# 25 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/int-ll64.h"
|
|
typedef unsigned long long u64;
|
|
|
|
# 14 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef long __kernel_long_t;
|
|
|
|
# 15 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef unsigned long __kernel_ulong_t;
|
|
|
|
# 27 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef int __kernel_pid_t;
|
|
|
|
# 48 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef unsigned int __kernel_uid32_t;
|
|
|
|
# 49 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef unsigned int __kernel_gid32_t;
|
|
|
|
# 71 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef __kernel_ulong_t __kernel_size_t;
|
|
|
|
# 72 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef __kernel_long_t __kernel_ssize_t;
|
|
|
|
# 87 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef long long __kernel_loff_t;
|
|
|
|
# 88 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef __kernel_long_t __kernel_time_t;
|
|
|
|
# 89 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef __kernel_long_t __kernel_clock_t;
|
|
|
|
# 90 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef int __kernel_timer_t;
|
|
|
|
# 91 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/posix_types.h"
|
|
typedef int __kernel_clockid_t;
|
|
|
|
# 12 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __u32 __kernel_dev_t;
|
|
|
|
# 15 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_dev_t dev_t;
|
|
|
|
# 18 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef unsigned short umode_t;
|
|
|
|
# 21 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_pid_t pid_t;
|
|
|
|
# 26 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_clockid_t clockid_t;
|
|
|
|
# 29 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef _Bool bool;
|
|
|
|
# 31 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_uid32_t uid_t;
|
|
|
|
# 32 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_gid32_t gid_t;
|
|
|
|
# 45 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_loff_t loff_t;
|
|
|
|
# 54 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_size_t size_t;
|
|
|
|
# 59 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_ssize_t ssize_t;
|
|
|
|
# 69 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __kernel_time_t time_t;
|
|
|
|
# 102 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __s32 int32_t;
|
|
|
|
# 108 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __u32 uint32_t;
|
|
|
|
# 111 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef __u64 uint64_t;
|
|
|
|
# 133 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef unsigned long sector_t;
|
|
|
|
# 134 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef unsigned long blkcnt_t;
|
|
|
|
# 146 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef u64 dma_addr_t;
|
|
|
|
# 157 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef unsigned int gfp_t;
|
|
|
|
# 158 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef unsigned int fmode_t;
|
|
|
|
# 159 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef unsigned int oom_flags_t;
|
|
|
|
# 162 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef u64 phys_addr_t;
|
|
|
|
# 167 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef phys_addr_t resource_size_t;
|
|
|
|
# 177 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
struct __anonstruct_atomic_t_6 {
|
|
int counter ;
|
|
};
|
|
|
|
# 177 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef struct __anonstruct_atomic_t_6 atomic_t;
|
|
|
|
# 182 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
struct __anonstruct_atomic64_t_7 {
|
|
long counter ;
|
|
};
|
|
|
|
# 182 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
typedef struct __anonstruct_atomic64_t_7 atomic64_t;
|
|
|
|
# 183 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
struct list_head {
|
|
struct list_head *next ;
|
|
struct list_head *prev ;
|
|
};
|
|
|
|
# 188
|
|
struct hlist_node;
|
|
|
|
# 188 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
struct hlist_head {
|
|
struct hlist_node *first ;
|
|
};
|
|
|
|
# 192 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
struct hlist_node {
|
|
struct hlist_node *next ;
|
|
struct hlist_node **pprev ;
|
|
};
|
|
|
|
# 203 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/types.h"
|
|
struct callback_head {
|
|
struct callback_head *next ;
|
|
void (*func)(struct callback_head *) ;
|
|
};
|
|
|
|
# 17 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/weaver/.tmp_i7300_idle.c.aux"
|
|
struct device;
|
|
|
|
# 23 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/sysinfo.h"
|
|
struct kernel_symbol {
|
|
unsigned long value ;
|
|
char const *name ;
|
|
};
|
|
|
|
# 33 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/export.h"
|
|
struct module;
|
|
|
|
# 65 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/page_types.h"
|
|
struct pt_regs {
|
|
unsigned long r15 ;
|
|
unsigned long r14 ;
|
|
unsigned long r13 ;
|
|
unsigned long r12 ;
|
|
unsigned long bp ;
|
|
unsigned long bx ;
|
|
unsigned long r11 ;
|
|
unsigned long r10 ;
|
|
unsigned long r9 ;
|
|
unsigned long r8 ;
|
|
unsigned long ax ;
|
|
unsigned long cx ;
|
|
unsigned long dx ;
|
|
unsigned long si ;
|
|
unsigned long di ;
|
|
unsigned long orig_ax ;
|
|
unsigned long ip ;
|
|
unsigned long cs ;
|
|
unsigned long flags ;
|
|
unsigned long sp ;
|
|
unsigned long ss ;
|
|
};
|
|
|
|
# 59 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/ptrace.h"
|
|
struct __anonstruct_9 {
|
|
unsigned int a ;
|
|
unsigned int b ;
|
|
};
|
|
|
|
# 59 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/ptrace.h"
|
|
struct __anonstruct_10 {
|
|
u16 limit0 ;
|
|
u16 base0 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(8))) base1 : 8 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(4))) type : 4 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) s : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(2))) dpl : 2 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) p : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(4))) limit : 4 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) avl : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) l : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) d : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) g : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(8))) base2 : 8 ;
|
|
};
|
|
|
|
# 59 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/ptrace.h"
|
|
union __anonunion_8 {
|
|
struct __anonstruct_9 __anonCompField___anonunion_8_4 ;
|
|
struct __anonstruct_10 __anonCompField___anonunion_8_5 ;
|
|
};
|
|
|
|
# 59 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/ptrace.h"
|
|
struct desc_struct {
|
|
union __anonunion_8 __anonCompField_desc_struct_6 ;
|
|
};
|
|
|
|
# 15 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/pgtable_64_types.h"
|
|
typedef unsigned long pgdval_t;
|
|
|
|
# 16 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/pgtable_64_types.h"
|
|
typedef unsigned long pgprotval_t;
|
|
|
|
# 20 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/pgtable_64_types.h"
|
|
struct pgprot {
|
|
pgprotval_t pgprot ;
|
|
};
|
|
|
|
# 243 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/pgtable_types.h"
|
|
typedef struct pgprot pgprot_t;
|
|
|
|
# 245 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/pgtable_types.h"
|
|
struct __anonstruct_pgd_t_12 {
|
|
pgdval_t pgd ;
|
|
};
|
|
|
|
# 245 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/pgtable_types.h"
|
|
typedef struct __anonstruct_pgd_t_12 pgd_t;
|
|
|
|
# 333
|
|
struct page;
|
|
|
|
# 333 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/pgtable_types.h"
|
|
typedef struct page *pgtable_t;
|
|
|
|
# 341
|
|
struct file;
|
|
|
|
# 354
|
|
struct seq_file;
|
|
|
|
# 389
|
|
struct thread_struct;
|
|
|
|
# 391
|
|
struct mm_struct;
|
|
|
|
# 392
|
|
struct task_struct;
|
|
|
|
# 393
|
|
struct cpumask;
|
|
|
|
# 327 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/paravirt_types.h"
|
|
struct arch_spinlock;
|
|
|
|
# 18 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/spinlock_types.h"
|
|
typedef u16 __ticket_t;
|
|
|
|
# 19 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/spinlock_types.h"
|
|
typedef u32 __ticketpair_t;
|
|
|
|
# 20 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/spinlock_types.h"
|
|
struct __raw_tickets {
|
|
__ticket_t head ;
|
|
__ticket_t tail ;
|
|
};
|
|
|
|
# 32 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/spinlock_types.h"
|
|
union __anonunion_15 {
|
|
__ticketpair_t head_tail ;
|
|
struct __raw_tickets tickets ;
|
|
};
|
|
|
|
# 32 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/spinlock_types.h"
|
|
struct arch_spinlock {
|
|
union __anonunion_15 __anonCompField_arch_spinlock_7 ;
|
|
};
|
|
|
|
# 33 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/spinlock_types.h"
|
|
typedef struct arch_spinlock arch_spinlock_t;
|
|
|
|
# 33 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/rwlock.h"
|
|
struct __anonstruct_17 {
|
|
u32 read ;
|
|
s32 write ;
|
|
};
|
|
|
|
# 33 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/rwlock.h"
|
|
union __anonunion_arch_rwlock_t_16 {
|
|
s64 lock ;
|
|
struct __anonstruct_17 __anonCompField___anonunion_arch_rwlock_t_16_8 ;
|
|
};
|
|
|
|
# 33 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/rwlock.h"
|
|
typedef union __anonunion_arch_rwlock_t_16 arch_rwlock_t;
|
|
|
|
# 142 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/init.h"
|
|
typedef void (*ctor_fn_t)(void);
|
|
|
|
# 376 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/printk.h"
|
|
struct file_operations;
|
|
|
|
# 388
|
|
struct completion;
|
|
|
|
# 416 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernel.h"
|
|
struct pid;
|
|
|
|
# 527 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/percpu.h"
|
|
struct bug_entry {
|
|
int bug_addr_disp ;
|
|
int file_disp ;
|
|
unsigned short line ;
|
|
unsigned short flags ;
|
|
};
|
|
|
|
# 102 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/bug.h"
|
|
struct timespec;
|
|
|
|
# 127 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/uapi/asm/vm86.h"
|
|
struct kernel_vm86_regs {
|
|
struct pt_regs pt ;
|
|
unsigned short es ;
|
|
unsigned short __esh ;
|
|
unsigned short ds ;
|
|
unsigned short __dsh ;
|
|
unsigned short fs ;
|
|
unsigned short __fsh ;
|
|
unsigned short gs ;
|
|
unsigned short __gsh ;
|
|
};
|
|
|
|
# 79 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/vm86.h"
|
|
union __anonunion_22 {
|
|
struct pt_regs *regs ;
|
|
struct kernel_vm86_regs *vm86 ;
|
|
};
|
|
|
|
# 79 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/vm86.h"
|
|
struct math_emu_info {
|
|
long ___orig_eip ;
|
|
union __anonunion_22 __anonCompField_math_emu_info_10 ;
|
|
};
|
|
|
|
# 306 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/bitmap.h"
|
|
struct cpumask {
|
|
unsigned long bits[128U] ;
|
|
};
|
|
|
|
# 14 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/cpumask.h"
|
|
typedef struct cpumask cpumask_t;
|
|
|
|
# 663 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/cpumask.h"
|
|
typedef struct cpumask *cpumask_var_t;
|
|
|
|
# 195 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/paravirt.h"
|
|
struct static_key;
|
|
|
|
# 162 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct seq_operations;
|
|
|
|
# 294 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct i387_fsave_struct {
|
|
u32 cwd ;
|
|
u32 swd ;
|
|
u32 twd ;
|
|
u32 fip ;
|
|
u32 fcs ;
|
|
u32 foo ;
|
|
u32 fos ;
|
|
u32 st_space[20U] ;
|
|
u32 status ;
|
|
};
|
|
|
|
# 312 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct __anonstruct_27 {
|
|
u64 rip ;
|
|
u64 rdp ;
|
|
};
|
|
|
|
# 312 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct __anonstruct_28 {
|
|
u32 fip ;
|
|
u32 fcs ;
|
|
u32 foo ;
|
|
u32 fos ;
|
|
};
|
|
|
|
# 312 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
union __anonunion_26 {
|
|
struct __anonstruct_27 __anonCompField___anonunion_26_14 ;
|
|
struct __anonstruct_28 __anonCompField___anonunion_26_15 ;
|
|
};
|
|
|
|
# 312 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
union __anonunion_29 {
|
|
u32 padding1[12U] ;
|
|
u32 sw_reserved[12U] ;
|
|
};
|
|
|
|
# 312 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct i387_fxsave_struct {
|
|
u16 cwd ;
|
|
u16 swd ;
|
|
u16 twd ;
|
|
u16 fop ;
|
|
union __anonunion_26 __anonCompField_i387_fxsave_struct_16 ;
|
|
u32 mxcsr ;
|
|
u32 mxcsr_mask ;
|
|
u32 st_space[32U] ;
|
|
u32 xmm_space[64U] ;
|
|
u32 padding[12U] ;
|
|
union __anonunion_29 __anonCompField_i387_fxsave_struct_17 ;
|
|
};
|
|
|
|
# 346 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct i387_soft_struct {
|
|
u32 cwd ;
|
|
u32 swd ;
|
|
u32 twd ;
|
|
u32 fip ;
|
|
u32 fcs ;
|
|
u32 foo ;
|
|
u32 fos ;
|
|
u32 st_space[20U] ;
|
|
u8 ftop ;
|
|
u8 changed ;
|
|
u8 lookahead ;
|
|
u8 no_update ;
|
|
u8 rm ;
|
|
u8 alimit ;
|
|
struct math_emu_info *info ;
|
|
u32 entry_eip ;
|
|
};
|
|
|
|
# 367 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct ymmh_struct {
|
|
u32 ymmh_space[64U] ;
|
|
};
|
|
|
|
# 372 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct lwp_struct {
|
|
u8 reserved[128U] ;
|
|
};
|
|
|
|
# 377 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct bndregs_struct {
|
|
u64 bndregs[8U] ;
|
|
};
|
|
|
|
# 381 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct bndcsr_struct {
|
|
u64 cfg_reg_u ;
|
|
u64 status_reg ;
|
|
};
|
|
|
|
# 386 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct xsave_hdr_struct {
|
|
u64 xstate_bv ;
|
|
u64 reserved1[2U] ;
|
|
u64 reserved2[5U] ;
|
|
};
|
|
|
|
# 392 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct xsave_struct {
|
|
struct i387_fxsave_struct i387 ;
|
|
struct xsave_hdr_struct xsave_hdr ;
|
|
struct ymmh_struct ymmh ;
|
|
struct lwp_struct lwp ;
|
|
struct bndregs_struct bndregs ;
|
|
struct bndcsr_struct bndcsr ;
|
|
};
|
|
|
|
# 401 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
union thread_xstate {
|
|
struct i387_fsave_struct fsave ;
|
|
struct i387_fxsave_struct fxsave ;
|
|
struct i387_soft_struct soft ;
|
|
struct xsave_struct xsave ;
|
|
};
|
|
|
|
# 409 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct fpu {
|
|
unsigned int last_cpu ;
|
|
unsigned int has_fpu ;
|
|
union thread_xstate *state ;
|
|
};
|
|
|
|
# 456
|
|
struct kmem_cache;
|
|
|
|
# 457
|
|
struct perf_event;
|
|
|
|
# 458 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/processor.h"
|
|
struct thread_struct {
|
|
struct desc_struct tls_array[3U] ;
|
|
unsigned long sp0 ;
|
|
unsigned long sp ;
|
|
unsigned long usersp ;
|
|
unsigned short es ;
|
|
unsigned short ds ;
|
|
unsigned short fsindex ;
|
|
unsigned short gsindex ;
|
|
unsigned long fs ;
|
|
unsigned long gs ;
|
|
struct perf_event *ptrace_bps[4U] ;
|
|
unsigned long debugreg6 ;
|
|
unsigned long ptrace_dr7 ;
|
|
unsigned long cr2 ;
|
|
unsigned long trap_nr ;
|
|
unsigned long error_code ;
|
|
struct fpu fpu ;
|
|
unsigned long *io_bitmap_ptr ;
|
|
unsigned long iopl ;
|
|
unsigned int io_bitmap_max ;
|
|
unsigned char fpu_counter ;
|
|
};
|
|
|
|
# 23 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/atomic-long.h"
|
|
typedef atomic64_t atomic_long_t;
|
|
|
|
# 152 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/barrier.h"
|
|
struct lockdep_map;
|
|
|
|
# 55 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/debug_locks.h"
|
|
struct stack_trace {
|
|
unsigned int nr_entries ;
|
|
unsigned int max_entries ;
|
|
unsigned long *entries ;
|
|
int skip ;
|
|
};
|
|
|
|
# 26 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/stacktrace.h"
|
|
struct lockdep_subclass_key {
|
|
char __one_byte ;
|
|
};
|
|
|
|
# 53 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockdep.h"
|
|
struct lock_class_key {
|
|
struct lockdep_subclass_key subkeys[8U] ;
|
|
};
|
|
|
|
# 59 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockdep.h"
|
|
struct lock_class {
|
|
struct list_head hash_entry ;
|
|
struct list_head lock_entry ;
|
|
struct lockdep_subclass_key *key ;
|
|
unsigned int subclass ;
|
|
unsigned int dep_gen_id ;
|
|
unsigned long usage_mask ;
|
|
struct stack_trace usage_traces[13U] ;
|
|
struct list_head locks_after ;
|
|
struct list_head locks_before ;
|
|
unsigned int version ;
|
|
unsigned long ops ;
|
|
char const *name ;
|
|
int name_version ;
|
|
unsigned long contention_point[4U] ;
|
|
unsigned long contending_point[4U] ;
|
|
};
|
|
|
|
# 144 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockdep.h"
|
|
struct lockdep_map {
|
|
struct lock_class_key *key ;
|
|
struct lock_class *class_cache[2U] ;
|
|
char const *name ;
|
|
int cpu ;
|
|
unsigned long ip ;
|
|
};
|
|
|
|
# 205 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockdep.h"
|
|
struct held_lock {
|
|
u64 prev_chain_key ;
|
|
unsigned long acquire_ip ;
|
|
struct lockdep_map *instance ;
|
|
struct lockdep_map *nest_lock ;
|
|
u64 waittime_stamp ;
|
|
u64 holdtime_stamp ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(13))) class_idx : 13 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(2))) irq_context : 2 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) trylock : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(2))) read : 2 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(2))) check : 2 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) hardirqs_off : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(11))) references : 11 ;
|
|
};
|
|
|
|
# 537 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockdep.h"
|
|
struct raw_spinlock {
|
|
arch_spinlock_t raw_lock ;
|
|
unsigned int magic ;
|
|
unsigned int owner_cpu ;
|
|
void *owner ;
|
|
struct lockdep_map dep_map ;
|
|
};
|
|
|
|
# 32 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/spinlock_types.h"
|
|
typedef struct raw_spinlock raw_spinlock_t;
|
|
|
|
# 33 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/spinlock_types.h"
|
|
struct __anonstruct_33 {
|
|
u8 __padding[24U] ;
|
|
struct lockdep_map dep_map ;
|
|
};
|
|
|
|
# 33 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/spinlock_types.h"
|
|
union __anonunion_32 {
|
|
struct raw_spinlock rlock ;
|
|
struct __anonstruct_33 __anonCompField___anonunion_32_19 ;
|
|
};
|
|
|
|
# 33 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/spinlock_types.h"
|
|
struct spinlock {
|
|
union __anonunion_32 __anonCompField_spinlock_20 ;
|
|
};
|
|
|
|
# 76 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/spinlock_types.h"
|
|
typedef struct spinlock spinlock_t;
|
|
|
|
# 23 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/rwlock_types.h"
|
|
struct __anonstruct_rwlock_t_34 {
|
|
arch_rwlock_t raw_lock ;
|
|
unsigned int magic ;
|
|
unsigned int owner_cpu ;
|
|
void *owner ;
|
|
struct lockdep_map dep_map ;
|
|
};
|
|
|
|
# 23 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/rwlock_types.h"
|
|
typedef struct __anonstruct_rwlock_t_34 rwlock_t;
|
|
|
|
# 54 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/jump_label.h"
|
|
struct jump_entry;
|
|
|
|
# 54
|
|
struct static_key_mod;
|
|
|
|
# 54 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/jump_label.h"
|
|
struct static_key {
|
|
atomic_t enabled ;
|
|
struct jump_entry *entries ;
|
|
struct static_key_mod *next ;
|
|
};
|
|
|
|
# 36 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/jump_label.h"
|
|
typedef u64 jump_label_t;
|
|
|
|
# 37 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/jump_label.h"
|
|
struct jump_entry {
|
|
jump_label_t code ;
|
|
jump_label_t target ;
|
|
jump_label_t key ;
|
|
};
|
|
|
|
# 412 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/spinlock.h"
|
|
struct seqcount {
|
|
unsigned int sequence ;
|
|
struct lockdep_map dep_map ;
|
|
};
|
|
|
|
# 51 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/seqlock.h"
|
|
typedef struct seqcount seqcount_t;
|
|
|
|
# 431 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/seqlock.h"
|
|
struct timespec {
|
|
__kernel_time_t tv_sec ;
|
|
long tv_nsec ;
|
|
};
|
|
|
|
# 83 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/highuid.h"
|
|
struct user_namespace;
|
|
|
|
# 22 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uidgid.h"
|
|
struct __anonstruct_kuid_t_36 {
|
|
uid_t val ;
|
|
};
|
|
|
|
# 22 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uidgid.h"
|
|
typedef struct __anonstruct_kuid_t_36 kuid_t;
|
|
|
|
# 27 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uidgid.h"
|
|
struct __anonstruct_kgid_t_37 {
|
|
gid_t val ;
|
|
};
|
|
|
|
# 27 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uidgid.h"
|
|
typedef struct __anonstruct_kgid_t_37 kgid_t;
|
|
|
|
# 127 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uidgid.h"
|
|
struct kstat {
|
|
u64 ino ;
|
|
dev_t dev ;
|
|
umode_t mode ;
|
|
unsigned int nlink ;
|
|
kuid_t uid ;
|
|
kgid_t gid ;
|
|
dev_t rdev ;
|
|
loff_t size ;
|
|
struct timespec atime ;
|
|
struct timespec mtime ;
|
|
struct timespec ctime ;
|
|
unsigned long blksize ;
|
|
unsigned long long blocks ;
|
|
};
|
|
|
|
# 34 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/wait.h"
|
|
struct __wait_queue_head {
|
|
spinlock_t lock ;
|
|
struct list_head task_list ;
|
|
};
|
|
|
|
# 39 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/wait.h"
|
|
typedef struct __wait_queue_head wait_queue_head_t;
|
|
|
|
# 98 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/nodemask.h"
|
|
struct __anonstruct_nodemask_t_38 {
|
|
unsigned long bits[16U] ;
|
|
};
|
|
|
|
# 98 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/nodemask.h"
|
|
typedef struct __anonstruct_nodemask_t_38 nodemask_t;
|
|
|
|
# 820 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mmzone.h"
|
|
struct mutex {
|
|
atomic_t count ;
|
|
spinlock_t wait_lock ;
|
|
struct list_head wait_list ;
|
|
struct task_struct *owner ;
|
|
char const *name ;
|
|
void *magic ;
|
|
struct lockdep_map dep_map ;
|
|
};
|
|
|
|
# 67 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mutex.h"
|
|
struct mutex_waiter {
|
|
struct list_head list ;
|
|
struct task_struct *task ;
|
|
void *magic ;
|
|
};
|
|
|
|
# 177
|
|
struct rw_semaphore;
|
|
|
|
# 178 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mutex.h"
|
|
struct rw_semaphore {
|
|
long count ;
|
|
raw_spinlock_t wait_lock ;
|
|
struct list_head wait_list ;
|
|
struct lockdep_map dep_map ;
|
|
};
|
|
|
|
# 155 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/rwsem.h"
|
|
struct completion {
|
|
unsigned int done ;
|
|
wait_queue_head_t wait ;
|
|
};
|
|
|
|
# 311 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/jiffies.h"
|
|
union ktime {
|
|
s64 tv64 ;
|
|
};
|
|
|
|
# 59 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/ktime.h"
|
|
typedef union ktime ktime_t;
|
|
|
|
# 388
|
|
struct tvec_base;
|
|
|
|
# 389 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/ktime.h"
|
|
struct timer_list {
|
|
struct list_head entry ;
|
|
unsigned long expires ;
|
|
struct tvec_base *base ;
|
|
void (*function)(unsigned long ) ;
|
|
unsigned long data ;
|
|
int slack ;
|
|
int start_pid ;
|
|
void *start_site ;
|
|
char start_comm[16U] ;
|
|
struct lockdep_map lockdep_map ;
|
|
};
|
|
|
|
# 254 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/timer.h"
|
|
struct hrtimer;
|
|
|
|
# 266
|
|
struct workqueue_struct;
|
|
|
|
# 267
|
|
struct work_struct;
|
|
|
|
# 55 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/workqueue.h"
|
|
struct work_struct {
|
|
atomic_long_t data ;
|
|
struct list_head entry ;
|
|
void (*func)(struct work_struct *) ;
|
|
struct lockdep_map lockdep_map ;
|
|
};
|
|
|
|
# 108 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/workqueue.h"
|
|
struct delayed_work {
|
|
struct work_struct work ;
|
|
struct timer_list timer ;
|
|
struct workqueue_struct *wq ;
|
|
int cpu ;
|
|
};
|
|
|
|
# 72 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/e820.h"
|
|
struct resource {
|
|
resource_size_t start ;
|
|
resource_size_t end ;
|
|
char const *name ;
|
|
unsigned long flags ;
|
|
struct resource *parent ;
|
|
struct resource *sibling ;
|
|
struct resource *child ;
|
|
};
|
|
|
|
# 172 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/x86_init.h"
|
|
struct pci_dev;
|
|
|
|
# 58 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pm.h"
|
|
struct pm_message {
|
|
int event ;
|
|
};
|
|
|
|
# 64 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pm.h"
|
|
typedef struct pm_message pm_message_t;
|
|
|
|
# 65 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pm.h"
|
|
struct dev_pm_ops {
|
|
int (*prepare)(struct device *) ;
|
|
void (*complete)(struct device *) ;
|
|
int (*suspend)(struct device *) ;
|
|
int (*resume)(struct device *) ;
|
|
int (*freeze)(struct device *) ;
|
|
int (*thaw)(struct device *) ;
|
|
int (*poweroff)(struct device *) ;
|
|
int (*restore)(struct device *) ;
|
|
int (*suspend_late)(struct device *) ;
|
|
int (*resume_early)(struct device *) ;
|
|
int (*freeze_late)(struct device *) ;
|
|
int (*thaw_early)(struct device *) ;
|
|
int (*poweroff_late)(struct device *) ;
|
|
int (*restore_early)(struct device *) ;
|
|
int (*suspend_noirq)(struct device *) ;
|
|
int (*resume_noirq)(struct device *) ;
|
|
int (*freeze_noirq)(struct device *) ;
|
|
int (*thaw_noirq)(struct device *) ;
|
|
int (*poweroff_noirq)(struct device *) ;
|
|
int (*restore_noirq)(struct device *) ;
|
|
int (*runtime_suspend)(struct device *) ;
|
|
int (*runtime_resume)(struct device *) ;
|
|
int (*runtime_idle)(struct device *) ;
|
|
};
|
|
|
|
# 301
|
|
enum rpm_status {
|
|
RPM_ACTIVE = 0,
|
|
RPM_RESUMING = 1,
|
|
RPM_SUSPENDED = 2,
|
|
RPM_SUSPENDING = 3
|
|
};
|
|
|
|
# 308
|
|
enum rpm_request {
|
|
RPM_REQ_NONE = 0,
|
|
RPM_REQ_IDLE = 1,
|
|
RPM_REQ_SUSPEND = 2,
|
|
RPM_REQ_AUTOSUSPEND = 3,
|
|
RPM_REQ_RESUME = 4
|
|
};
|
|
|
|
# 316
|
|
struct wakeup_source;
|
|
|
|
# 527 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pm.h"
|
|
struct pm_subsys_data {
|
|
spinlock_t lock ;
|
|
unsigned int refcount ;
|
|
struct list_head clock_list ;
|
|
};
|
|
|
|
# 534
|
|
struct dev_pm_qos;
|
|
|
|
# 534 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pm.h"
|
|
struct dev_pm_info {
|
|
pm_message_t power_state ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) can_wakeup : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) async_suspend : 1 ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_prepared : 1 ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_suspended : 1 ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) ignore_children : 1 ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) early_init : 1 ;
|
|
spinlock_t lock ;
|
|
struct list_head entry ;
|
|
struct completion completion ;
|
|
struct wakeup_source *wakeup ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) wakeup_path : 1 ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) syscore : 1 ;
|
|
struct timer_list suspend_timer ;
|
|
unsigned long timer_expires ;
|
|
struct work_struct work ;
|
|
wait_queue_head_t wait_queue ;
|
|
atomic_t usage_count ;
|
|
atomic_t child_count ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(3))) disable_depth : 3 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) idle_notification : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) request_pending : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) deferred_resume : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) run_wake : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) runtime_auto : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) no_callbacks : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) irq_safe : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) use_autosuspend : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) timer_autosuspends : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) memalloc_noio : 1 ;
|
|
enum rpm_request request ;
|
|
enum rpm_status runtime_status ;
|
|
int runtime_error ;
|
|
int autosuspend_delay ;
|
|
unsigned long last_busy ;
|
|
unsigned long active_jiffies ;
|
|
unsigned long suspended_jiffies ;
|
|
unsigned long accounting_timestamp ;
|
|
struct pm_subsys_data *subsys_data ;
|
|
struct dev_pm_qos *qos ;
|
|
};
|
|
|
|
# 591 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pm.h"
|
|
struct dev_pm_domain {
|
|
struct dev_pm_ops ops ;
|
|
};
|
|
|
|
# 133 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/topology.h"
|
|
struct pci_bus;
|
|
|
|
# 22 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/mmu.h"
|
|
struct __anonstruct_mm_context_t_103 {
|
|
void *ldt ;
|
|
int size ;
|
|
unsigned short ia32_compat ;
|
|
struct mutex lock ;
|
|
void *vdso ;
|
|
};
|
|
|
|
# 22 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/mmu.h"
|
|
typedef struct __anonstruct_mm_context_t_103 mm_context_t;
|
|
|
|
# 18 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/pci_iomap.h"
|
|
struct rb_node {
|
|
unsigned long __rb_parent_color ;
|
|
struct rb_node *rb_right ;
|
|
struct rb_node *rb_left ;
|
|
};
|
|
|
|
# 40 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/rbtree.h"
|
|
struct rb_root {
|
|
struct rb_node *rb_node ;
|
|
};
|
|
|
|
# 87
|
|
struct vm_area_struct;
|
|
|
|
# 341 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/clocksource.h"
|
|
struct device_node;
|
|
|
|
# 1297 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mmzone.h"
|
|
struct llist_node;
|
|
|
|
# 64 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/llist.h"
|
|
struct llist_node {
|
|
struct llist_node *next ;
|
|
};
|
|
|
|
# 835 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/sysctl.h"
|
|
struct nsproxy;
|
|
|
|
# 37 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kmod.h"
|
|
struct cred;
|
|
|
|
# 15 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/elf.h"
|
|
typedef __u64 Elf64_Addr;
|
|
|
|
# 16 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/elf.h"
|
|
typedef __u16 Elf64_Half;
|
|
|
|
# 20 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/elf.h"
|
|
typedef __u32 Elf64_Word;
|
|
|
|
# 21 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/elf.h"
|
|
typedef __u64 Elf64_Xword;
|
|
|
|
# 190 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/elf.h"
|
|
struct elf64_sym {
|
|
Elf64_Word st_name ;
|
|
unsigned char st_info ;
|
|
unsigned char st_other ;
|
|
Elf64_Half st_shndx ;
|
|
Elf64_Addr st_value ;
|
|
Elf64_Xword st_size ;
|
|
};
|
|
|
|
# 198 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/elf.h"
|
|
typedef struct elf64_sym Elf64_Sym;
|
|
|
|
# 48 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/elf.h"
|
|
struct idr_layer {
|
|
int prefix ;
|
|
unsigned long bitmap[4U] ;
|
|
struct idr_layer *ary[256U] ;
|
|
int count ;
|
|
int layer ;
|
|
struct callback_head callback_head ;
|
|
};
|
|
|
|
# 38 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/idr.h"
|
|
struct idr {
|
|
struct idr_layer *hint ;
|
|
struct idr_layer *top ;
|
|
struct idr_layer *id_free ;
|
|
int layers ;
|
|
int id_free_cnt ;
|
|
int cur ;
|
|
spinlock_t lock ;
|
|
};
|
|
|
|
# 197 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/idr.h"
|
|
struct ida_bitmap {
|
|
long nr_busy ;
|
|
unsigned long bitmap[15U] ;
|
|
};
|
|
|
|
# 213 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/idr.h"
|
|
struct ida {
|
|
struct idr idr ;
|
|
struct ida_bitmap *free_bitmap ;
|
|
};
|
|
|
|
# 245
|
|
struct dentry;
|
|
|
|
# 246
|
|
struct iattr;
|
|
|
|
# 247
|
|
struct super_block;
|
|
|
|
# 248
|
|
struct file_system_type;
|
|
|
|
# 249
|
|
struct kernfs_open_node;
|
|
|
|
# 250
|
|
struct kernfs_iattrs;
|
|
|
|
# 266
|
|
struct kernfs_root;
|
|
|
|
# 266 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/idr.h"
|
|
struct kernfs_elem_dir {
|
|
unsigned long subdirs ;
|
|
struct rb_root children ;
|
|
struct kernfs_root *root ;
|
|
};
|
|
|
|
# 62 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kernfs_node;
|
|
|
|
# 62 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kernfs_elem_symlink {
|
|
struct kernfs_node *target_kn ;
|
|
};
|
|
|
|
# 66
|
|
struct kernfs_ops;
|
|
|
|
# 66 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kernfs_elem_attr {
|
|
struct kernfs_ops const *ops ;
|
|
struct kernfs_open_node *open ;
|
|
loff_t size ;
|
|
};
|
|
|
|
# 72 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
union __anonunion_u_137 {
|
|
struct completion *completion ;
|
|
struct kernfs_node *removed_list ;
|
|
};
|
|
|
|
# 72 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
union __anonunion_138 {
|
|
struct kernfs_elem_dir dir ;
|
|
struct kernfs_elem_symlink symlink ;
|
|
struct kernfs_elem_attr attr ;
|
|
};
|
|
|
|
# 72 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kernfs_node {
|
|
atomic_t count ;
|
|
atomic_t active ;
|
|
struct lockdep_map dep_map ;
|
|
struct kernfs_node *parent ;
|
|
char const *name ;
|
|
struct rb_node rb ;
|
|
union __anonunion_u_137 u ;
|
|
void const *ns ;
|
|
unsigned int hash ;
|
|
union __anonunion_138 __anonCompField_kernfs_node_34 ;
|
|
void *priv ;
|
|
unsigned short flags ;
|
|
umode_t mode ;
|
|
unsigned int ino ;
|
|
struct kernfs_iattrs *iattr ;
|
|
};
|
|
|
|
# 114 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kernfs_dir_ops {
|
|
int (*mkdir)(struct kernfs_node *, char const *, umode_t ) ;
|
|
int (*rmdir)(struct kernfs_node *) ;
|
|
int (*rename)(struct kernfs_node *, struct kernfs_node *, char const *) ;
|
|
};
|
|
|
|
# 127 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kernfs_root {
|
|
struct kernfs_node *kn ;
|
|
struct ida ino_ida ;
|
|
struct kernfs_dir_ops *dir_ops ;
|
|
};
|
|
|
|
# 137
|
|
struct vm_operations_struct;
|
|
|
|
# 137 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kernfs_open_file {
|
|
struct kernfs_node *kn ;
|
|
struct file *file ;
|
|
struct mutex mutex ;
|
|
int event ;
|
|
struct list_head list ;
|
|
bool mmapped ;
|
|
struct vm_operations_struct const *vm_ops ;
|
|
};
|
|
|
|
# 151 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kernfs_ops {
|
|
int (*seq_show)(struct seq_file *, void *) ;
|
|
void *(*seq_start)(struct seq_file *, loff_t *) ;
|
|
void *(*seq_next)(struct seq_file *, void *, loff_t *) ;
|
|
void (*seq_stop)(struct seq_file *, void *) ;
|
|
ssize_t (*read)(struct kernfs_open_file *, char *, size_t , loff_t ) ;
|
|
ssize_t (*write)(struct kernfs_open_file *, char *, size_t , loff_t ) ;
|
|
int (*mmap)(struct kernfs_open_file *, struct vm_area_struct *) ;
|
|
struct lock_class_key lockdep_key ;
|
|
};
|
|
|
|
# 376
|
|
struct sock;
|
|
|
|
# 377
|
|
struct kobject;
|
|
|
|
# 378
|
|
enum kobj_ns_type {
|
|
KOBJ_NS_TYPE_NONE = 0,
|
|
KOBJ_NS_TYPE_NET = 1,
|
|
KOBJ_NS_TYPES = 2
|
|
};
|
|
|
|
# 384 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kernfs.h"
|
|
struct kobj_ns_type_operations {
|
|
enum kobj_ns_type type ;
|
|
bool (*current_may_mount)(void) ;
|
|
void *(*grab_current_ns)(void) ;
|
|
void const *(*netlink_ns)(struct sock *) ;
|
|
void const *(*initial_ns)(void) ;
|
|
void (*drop_ns)(void *) ;
|
|
};
|
|
|
|
# 59 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject_ns.h"
|
|
struct bin_attribute;
|
|
|
|
# 60 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject_ns.h"
|
|
struct attribute {
|
|
char const *name ;
|
|
umode_t mode ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) ignore_lockdep : 1 ;
|
|
struct lock_class_key *key ;
|
|
struct lock_class_key skey ;
|
|
};
|
|
|
|
# 37 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sysfs.h"
|
|
struct attribute_group {
|
|
char const *name ;
|
|
umode_t (*is_visible)(struct kobject *, struct attribute *, int ) ;
|
|
struct attribute **attrs ;
|
|
struct bin_attribute **bin_attrs ;
|
|
};
|
|
|
|
# 67 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sysfs.h"
|
|
struct bin_attribute {
|
|
struct attribute attr ;
|
|
size_t size ;
|
|
void *private ;
|
|
ssize_t (*read)(struct file *, struct kobject *, struct bin_attribute *, char *, loff_t , size_t ) ;
|
|
ssize_t (*write)(struct file *, struct kobject *, struct bin_attribute *, char *, loff_t , size_t ) ;
|
|
int (*mmap)(struct file *, struct kobject *, struct bin_attribute *, struct vm_area_struct *) ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sysfs.h"
|
|
struct sysfs_ops {
|
|
ssize_t (*show)(struct kobject *, struct attribute *, char *) ;
|
|
ssize_t (*store)(struct kobject *, struct attribute *, char const *, size_t ) ;
|
|
};
|
|
|
|
# 462 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sysfs.h"
|
|
struct kref {
|
|
atomic_t refcount ;
|
|
};
|
|
|
|
# 50 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject.h"
|
|
struct kset;
|
|
|
|
# 50
|
|
struct kobj_type;
|
|
|
|
# 50 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject.h"
|
|
struct kobject {
|
|
char const *name ;
|
|
struct list_head entry ;
|
|
struct kobject *parent ;
|
|
struct kset *kset ;
|
|
struct kobj_type *ktype ;
|
|
struct kernfs_node *sd ;
|
|
struct kref kref ;
|
|
struct delayed_work release ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) state_initialized : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) state_in_sysfs : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) state_add_uevent_sent : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) state_remove_uevent_sent : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) uevent_suppress : 1 ;
|
|
};
|
|
|
|
# 112 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject.h"
|
|
struct kobj_type {
|
|
void (*release)(struct kobject *) ;
|
|
struct sysfs_ops const *sysfs_ops ;
|
|
struct attribute **default_attrs ;
|
|
struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject *) ;
|
|
void const *(*namespace)(struct kobject *) ;
|
|
};
|
|
|
|
# 120 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject.h"
|
|
struct kobj_uevent_env {
|
|
char *envp[32U] ;
|
|
int envp_idx ;
|
|
char buf[2048U] ;
|
|
int buflen ;
|
|
};
|
|
|
|
# 127 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject.h"
|
|
struct kset_uevent_ops {
|
|
int (* const filter)(struct kset *, struct kobject *) ;
|
|
char const *(* const name)(struct kset *, struct kobject *) ;
|
|
int (* const uevent)(struct kset *, struct kobject *, struct kobj_uevent_env *) ;
|
|
};
|
|
|
|
# 144 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject.h"
|
|
struct kset {
|
|
struct list_head list ;
|
|
spinlock_t list_lock ;
|
|
struct kobject kobj ;
|
|
struct kset_uevent_ops const *uevent_ops ;
|
|
};
|
|
|
|
# 219
|
|
struct kernel_param;
|
|
|
|
# 224 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kobject.h"
|
|
struct kernel_param_ops {
|
|
unsigned int flags ;
|
|
int (*set)(char const *, struct kernel_param const *) ;
|
|
int (*get)(char *, struct kernel_param const *) ;
|
|
void (*free)(void *) ;
|
|
};
|
|
|
|
# 58 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/moduleparam.h"
|
|
struct kparam_string;
|
|
|
|
# 58
|
|
struct kparam_array;
|
|
|
|
# 58 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/moduleparam.h"
|
|
union __anonunion_139 {
|
|
void *arg ;
|
|
struct kparam_string const *str ;
|
|
struct kparam_array const *arr ;
|
|
};
|
|
|
|
# 58 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/moduleparam.h"
|
|
struct kernel_param {
|
|
char const *name ;
|
|
struct kernel_param_ops const *ops ;
|
|
u16 perm ;
|
|
s16 level ;
|
|
union __anonunion_139 __anonCompField_kernel_param_35 ;
|
|
};
|
|
|
|
# 70 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/moduleparam.h"
|
|
struct kparam_string {
|
|
unsigned int maxlen ;
|
|
char *string ;
|
|
};
|
|
|
|
# 76 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/moduleparam.h"
|
|
struct kparam_array {
|
|
unsigned int max ;
|
|
unsigned int elemsize ;
|
|
unsigned int *num ;
|
|
struct kernel_param_ops const *ops ;
|
|
void *elem ;
|
|
};
|
|
|
|
# 463
|
|
struct tracepoint;
|
|
|
|
# 464 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/moduleparam.h"
|
|
struct tracepoint_func {
|
|
void *func ;
|
|
void *data ;
|
|
};
|
|
|
|
# 32 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/tracepoint.h"
|
|
struct tracepoint {
|
|
char const *name ;
|
|
struct static_key key ;
|
|
void (*regfunc)(void) ;
|
|
void (*unregfunc)(void) ;
|
|
struct tracepoint_func *funcs ;
|
|
};
|
|
|
|
# 95 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/tracepoint.h"
|
|
struct mod_arch_specific {
|
|
|
|
};
|
|
|
|
# 36 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/module.h"
|
|
struct module_param_attrs;
|
|
|
|
# 36 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/module.h"
|
|
struct module_kobject {
|
|
struct kobject kobj ;
|
|
struct module *mod ;
|
|
struct kobject *drivers_dir ;
|
|
struct module_param_attrs *mp ;
|
|
struct completion *kobj_completion ;
|
|
};
|
|
|
|
# 46 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/module.h"
|
|
struct module_attribute {
|
|
struct attribute attr ;
|
|
ssize_t (*show)(struct module_attribute *, struct module_kobject *, char *) ;
|
|
ssize_t (*store)(struct module_attribute *, struct module_kobject *, char const *, size_t ) ;
|
|
void (*setup)(struct module *, char const *) ;
|
|
int (*test)(struct module *) ;
|
|
void (*free)(struct module *) ;
|
|
};
|
|
|
|
# 72
|
|
struct exception_table_entry;
|
|
|
|
# 208
|
|
enum module_state {
|
|
MODULE_STATE_LIVE = 0,
|
|
MODULE_STATE_COMING = 1,
|
|
MODULE_STATE_GOING = 2,
|
|
MODULE_STATE_UNFORMED = 3
|
|
};
|
|
|
|
# 215 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/module.h"
|
|
struct module_ref {
|
|
unsigned long incs ;
|
|
unsigned long decs ;
|
|
};
|
|
|
|
# 229 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/module.h"
|
|
struct mod_kallsyms {
|
|
Elf64_Sym *symtab ;
|
|
unsigned int num_symtab ;
|
|
char *strtab ;
|
|
};
|
|
|
|
# 235
|
|
struct module_sect_attrs;
|
|
|
|
# 235
|
|
struct module_notes_attrs;
|
|
|
|
# 235
|
|
struct ftrace_event_call;
|
|
|
|
# 235 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/module.h"
|
|
struct module {
|
|
enum module_state state ;
|
|
struct list_head list ;
|
|
char name[56U] ;
|
|
struct module_kobject mkobj ;
|
|
struct module_attribute *modinfo_attrs ;
|
|
char const *version ;
|
|
char const *srcversion ;
|
|
struct kobject *holders_dir ;
|
|
struct kernel_symbol const *syms ;
|
|
unsigned long const *crcs ;
|
|
unsigned int num_syms ;
|
|
struct kernel_param *kp ;
|
|
unsigned int num_kp ;
|
|
unsigned int num_gpl_syms ;
|
|
struct kernel_symbol const *gpl_syms ;
|
|
unsigned long const *gpl_crcs ;
|
|
struct kernel_symbol const *unused_syms ;
|
|
unsigned long const *unused_crcs ;
|
|
unsigned int num_unused_syms ;
|
|
unsigned int num_unused_gpl_syms ;
|
|
struct kernel_symbol const *unused_gpl_syms ;
|
|
unsigned long const *unused_gpl_crcs ;
|
|
bool sig_ok ;
|
|
struct kernel_symbol const *gpl_future_syms ;
|
|
unsigned long const *gpl_future_crcs ;
|
|
unsigned int num_gpl_future_syms ;
|
|
unsigned int num_exentries ;
|
|
struct exception_table_entry *extable ;
|
|
int (*init)(void) ;
|
|
void *module_init ;
|
|
void *module_core ;
|
|
unsigned int init_size ;
|
|
unsigned int core_size ;
|
|
unsigned int init_text_size ;
|
|
unsigned int core_text_size ;
|
|
unsigned int init_ro_size ;
|
|
unsigned int core_ro_size ;
|
|
struct mod_arch_specific arch ;
|
|
unsigned int taints ;
|
|
unsigned int num_bugs ;
|
|
struct list_head bug_list ;
|
|
struct bug_entry *bug_table ;
|
|
struct mod_kallsyms *kallsyms ;
|
|
struct mod_kallsyms core_kallsyms ;
|
|
struct module_sect_attrs *sect_attrs ;
|
|
struct module_notes_attrs *notes_attrs ;
|
|
char *args ;
|
|
void *percpu ;
|
|
unsigned int percpu_size ;
|
|
unsigned int num_tracepoints ;
|
|
struct tracepoint * const *tracepoints_ptrs ;
|
|
struct jump_entry *jump_entries ;
|
|
unsigned int num_jump_entries ;
|
|
unsigned int num_trace_bprintk_fmt ;
|
|
char const **trace_bprintk_fmt_start ;
|
|
struct ftrace_event_call **trace_events ;
|
|
unsigned int num_trace_events ;
|
|
unsigned int num_ftrace_callsites ;
|
|
unsigned long *ftrace_callsites ;
|
|
struct list_head source_list ;
|
|
struct list_head target_list ;
|
|
void (*exit)(void) ;
|
|
struct module_ref *refptr ;
|
|
ctor_fn_t (**ctors)(void) ;
|
|
unsigned int num_ctors ;
|
|
};
|
|
|
|
# 13 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mod_devicetable.h"
|
|
typedef unsigned long kernel_ulong_t;
|
|
|
|
# 14 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mod_devicetable.h"
|
|
struct pci_device_id {
|
|
__u32 vendor ;
|
|
__u32 device ;
|
|
__u32 subvendor ;
|
|
__u32 subdevice ;
|
|
__u32 class ;
|
|
__u32 class_mask ;
|
|
kernel_ulong_t driver_data ;
|
|
};
|
|
|
|
# 186 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mod_devicetable.h"
|
|
struct acpi_device_id {
|
|
__u8 id[9U] ;
|
|
kernel_ulong_t driver_data ;
|
|
};
|
|
|
|
# 219 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mod_devicetable.h"
|
|
struct of_device_id {
|
|
char name[32U] ;
|
|
char type[32U] ;
|
|
char compatible[128U] ;
|
|
void const *data ;
|
|
};
|
|
|
|
# 609
|
|
struct klist_node;
|
|
|
|
# 37 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/klist.h"
|
|
struct klist_node {
|
|
void *n_klist ;
|
|
struct list_head n_node ;
|
|
struct kref n_ref ;
|
|
};
|
|
|
|
# 67
|
|
struct path;
|
|
|
|
# 68
|
|
struct inode;
|
|
|
|
# 69 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/klist.h"
|
|
struct seq_file {
|
|
char *buf ;
|
|
size_t size ;
|
|
size_t from ;
|
|
size_t count ;
|
|
size_t pad_until ;
|
|
loff_t index ;
|
|
loff_t read_pos ;
|
|
u64 version ;
|
|
struct mutex lock ;
|
|
struct seq_operations const *op ;
|
|
int poll_event ;
|
|
struct user_namespace *user_ns ;
|
|
void *private ;
|
|
};
|
|
|
|
# 35 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/seq_file.h"
|
|
struct seq_operations {
|
|
void *(*start)(struct seq_file *, loff_t *) ;
|
|
void (*stop)(struct seq_file *, void *) ;
|
|
void *(*next)(struct seq_file *, void *, loff_t *) ;
|
|
int (*show)(struct seq_file *, void *) ;
|
|
};
|
|
|
|
# 196
|
|
struct pinctrl;
|
|
|
|
# 197
|
|
struct pinctrl_state;
|
|
|
|
# 194 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pinctrl/consumer.h"
|
|
struct dev_pin_info {
|
|
struct pinctrl *p ;
|
|
struct pinctrl_state *default_state ;
|
|
struct pinctrl_state *sleep_state ;
|
|
struct pinctrl_state *idle_state ;
|
|
};
|
|
|
|
# 42 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/ratelimit.h"
|
|
struct dma_map_ops;
|
|
|
|
# 42 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/ratelimit.h"
|
|
struct dev_archdata {
|
|
struct dma_map_ops *dma_ops ;
|
|
void *iommu ;
|
|
};
|
|
|
|
# 15 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/device.h"
|
|
struct device_driver;
|
|
|
|
# 16
|
|
struct driver_private;
|
|
|
|
# 17
|
|
struct class;
|
|
|
|
# 18
|
|
struct subsys_private;
|
|
|
|
# 19
|
|
struct bus_type;
|
|
|
|
# 20
|
|
struct iommu_ops;
|
|
|
|
# 21
|
|
struct iommu_group;
|
|
|
|
# 60 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct device_attribute;
|
|
|
|
# 60 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct bus_type {
|
|
char const *name ;
|
|
char const *dev_name ;
|
|
struct device *dev_root ;
|
|
struct device_attribute *dev_attrs ;
|
|
struct attribute_group const **bus_groups ;
|
|
struct attribute_group const **dev_groups ;
|
|
struct attribute_group const **drv_groups ;
|
|
int (*match)(struct device *, struct device_driver *) ;
|
|
int (*uevent)(struct device *, struct kobj_uevent_env *) ;
|
|
int (*probe)(struct device *) ;
|
|
int (*remove)(struct device *) ;
|
|
void (*shutdown)(struct device *) ;
|
|
int (*online)(struct device *) ;
|
|
int (*offline)(struct device *) ;
|
|
int (*suspend)(struct device *, pm_message_t ) ;
|
|
int (*resume)(struct device *) ;
|
|
struct dev_pm_ops const *pm ;
|
|
struct iommu_ops *iommu_ops ;
|
|
struct subsys_private *p ;
|
|
struct lock_class_key lock_key ;
|
|
};
|
|
|
|
# 138
|
|
struct device_type;
|
|
|
|
# 195 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct device_driver {
|
|
char const *name ;
|
|
struct bus_type *bus ;
|
|
struct module *owner ;
|
|
char const *mod_name ;
|
|
bool suppress_bind_attrs ;
|
|
struct of_device_id const *of_match_table ;
|
|
struct acpi_device_id const *acpi_match_table ;
|
|
int (*probe)(struct device *) ;
|
|
int (*remove)(struct device *) ;
|
|
void (*shutdown)(struct device *) ;
|
|
int (*suspend)(struct device *, pm_message_t ) ;
|
|
int (*resume)(struct device *) ;
|
|
struct attribute_group const **groups ;
|
|
struct dev_pm_ops const *pm ;
|
|
struct driver_private *p ;
|
|
};
|
|
|
|
# 321
|
|
struct class_attribute;
|
|
|
|
# 321 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct class {
|
|
char const *name ;
|
|
struct module *owner ;
|
|
struct class_attribute *class_attrs ;
|
|
struct attribute_group const **dev_groups ;
|
|
struct kobject *dev_kobj ;
|
|
int (*dev_uevent)(struct device *, struct kobj_uevent_env *) ;
|
|
char *(*devnode)(struct device *, umode_t *) ;
|
|
void (*class_release)(struct class *) ;
|
|
void (*dev_release)(struct device *) ;
|
|
int (*suspend)(struct device *, pm_message_t ) ;
|
|
int (*resume)(struct device *) ;
|
|
struct kobj_ns_type_operations const *ns_type ;
|
|
void const *(*namespace)(struct device *) ;
|
|
struct dev_pm_ops const *pm ;
|
|
struct subsys_private *p ;
|
|
};
|
|
|
|
# 414 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct class_attribute {
|
|
struct attribute attr ;
|
|
ssize_t (*show)(struct class *, struct class_attribute *, char *) ;
|
|
ssize_t (*store)(struct class *, struct class_attribute *, char const *, size_t ) ;
|
|
};
|
|
|
|
# 482 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct device_type {
|
|
char const *name ;
|
|
struct attribute_group const **groups ;
|
|
int (*uevent)(struct device *, struct kobj_uevent_env *) ;
|
|
char *(*devnode)(struct device *, umode_t *, kuid_t *, kgid_t *) ;
|
|
void (*release)(struct device *) ;
|
|
struct dev_pm_ops const *pm ;
|
|
};
|
|
|
|
# 510 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct device_attribute {
|
|
struct attribute attr ;
|
|
ssize_t (*show)(struct device *, struct device_attribute *, char *) ;
|
|
ssize_t (*store)(struct device *, struct device_attribute *, char const *, size_t ) ;
|
|
};
|
|
|
|
# 637 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct device_dma_parameters {
|
|
unsigned int max_segment_size ;
|
|
unsigned long segment_boundary_mask ;
|
|
};
|
|
|
|
# 646
|
|
struct acpi_device;
|
|
|
|
# 647 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct acpi_dev_node {
|
|
struct acpi_device *companion ;
|
|
};
|
|
|
|
# 653
|
|
struct dma_coherent_mem;
|
|
|
|
# 653 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct device {
|
|
struct device *parent ;
|
|
struct device_private *p ;
|
|
struct kobject kobj ;
|
|
char const *init_name ;
|
|
struct device_type const *type ;
|
|
struct mutex mutex ;
|
|
struct bus_type *bus ;
|
|
struct device_driver *driver ;
|
|
void *platform_data ;
|
|
struct dev_pm_info power ;
|
|
struct dev_pm_domain *pm_domain ;
|
|
struct dev_pin_info *pins ;
|
|
int numa_node ;
|
|
u64 *dma_mask ;
|
|
u64 coherent_dma_mask ;
|
|
struct device_dma_parameters *dma_parms ;
|
|
struct list_head dma_pools ;
|
|
struct dma_coherent_mem *dma_mem ;
|
|
struct dev_archdata archdata ;
|
|
struct device_node *of_node ;
|
|
struct acpi_dev_node acpi_node ;
|
|
dev_t devt ;
|
|
u32 id ;
|
|
spinlock_t devres_lock ;
|
|
struct list_head devres_head ;
|
|
struct klist_node knode_class ;
|
|
struct class *class ;
|
|
struct attribute_group const **groups ;
|
|
void (*release)(struct device *) ;
|
|
struct iommu_group *iommu_group ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) offline_disabled : 1 ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) offline : 1 ;
|
|
};
|
|
|
|
# 795 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/device.h"
|
|
struct wakeup_source {
|
|
char const *name ;
|
|
struct list_head entry ;
|
|
spinlock_t lock ;
|
|
struct timer_list timer ;
|
|
unsigned long timer_expires ;
|
|
ktime_t total_time ;
|
|
ktime_t max_time ;
|
|
ktime_t last_time ;
|
|
ktime_t start_prevent_time ;
|
|
ktime_t prevent_sleep_time ;
|
|
unsigned long event_count ;
|
|
unsigned long active_count ;
|
|
unsigned long relax_count ;
|
|
unsigned long expire_count ;
|
|
unsigned long wakeup_count ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) active : 1 ;
|
|
bool __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) autosleep_enabled : 1 ;
|
|
};
|
|
|
|
# 17 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/irqreturn.h"
|
|
struct hotplug_slot;
|
|
|
|
# 17 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/irqreturn.h"
|
|
struct pci_slot {
|
|
struct pci_bus *bus ;
|
|
struct list_head list ;
|
|
struct hotplug_slot *hotplug ;
|
|
unsigned char number ;
|
|
struct kobject kobj ;
|
|
};
|
|
|
|
# 110 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
typedef int pci_power_t;
|
|
|
|
# 137 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
typedef unsigned int pci_channel_state_t;
|
|
|
|
# 138
|
|
enum pci_channel_state {
|
|
pci_channel_io_normal = 1,
|
|
pci_channel_io_frozen = 2,
|
|
pci_channel_io_perm_failure = 3
|
|
};
|
|
|
|
# 163 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
typedef unsigned short pci_dev_flags_t;
|
|
|
|
# 182 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
typedef unsigned short pci_bus_flags_t;
|
|
|
|
# 239
|
|
struct pcie_link_state;
|
|
|
|
# 240
|
|
struct pci_vpd;
|
|
|
|
# 241
|
|
struct pci_sriov;
|
|
|
|
# 242
|
|
struct pci_ats;
|
|
|
|
# 243
|
|
struct proc_dir_entry;
|
|
|
|
# 243
|
|
struct pci_driver;
|
|
|
|
# 243 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
union __anonunion_143 {
|
|
struct pci_sriov *sriov ;
|
|
struct pci_dev *physfn ;
|
|
};
|
|
|
|
# 243 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
struct pci_dev {
|
|
struct list_head bus_list ;
|
|
struct pci_bus *bus ;
|
|
struct pci_bus *subordinate ;
|
|
void *sysdata ;
|
|
struct proc_dir_entry *procent ;
|
|
struct pci_slot *slot ;
|
|
unsigned int devfn ;
|
|
unsigned short vendor ;
|
|
unsigned short device ;
|
|
unsigned short subsystem_vendor ;
|
|
unsigned short subsystem_device ;
|
|
unsigned int class ;
|
|
u8 revision ;
|
|
u8 hdr_type ;
|
|
u8 pcie_cap ;
|
|
u8 msi_cap ;
|
|
u8 msix_cap ;
|
|
u8 __attribute__((__FRAMA_C_BITFIELD_SIZE__(3))) pcie_mpss : 3 ;
|
|
u8 rom_base_reg ;
|
|
u8 pin ;
|
|
u16 pcie_flags_reg ;
|
|
struct pci_driver *driver ;
|
|
u64 dma_mask ;
|
|
struct device_dma_parameters dma_parms ;
|
|
pci_power_t current_state ;
|
|
u8 pm_cap ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(5))) pme_support : 5 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) pme_interrupt : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) pme_poll : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) d1_support : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) d2_support : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) no_d1d2 : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) no_d3cold : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) d3cold_allowed : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) mmio_always_on : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) wakeup_prepared : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) runtime_d3cold : 1 ;
|
|
unsigned int d3_delay ;
|
|
unsigned int d3cold_delay ;
|
|
struct pcie_link_state *link_state ;
|
|
pci_channel_state_t error_state ;
|
|
struct device dev ;
|
|
int cfg_size ;
|
|
unsigned int irq ;
|
|
struct resource resource[17U] ;
|
|
bool match_driver ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) transparent : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) multifunction : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_added : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_busmaster : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) no_msi : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) no_64bit_msi : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) block_cfg_access : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) broken_parity_status : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(2))) irq_reroute_variant : 2 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) msi_enabled : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) msix_enabled : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) ari_enabled : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_managed : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) needs_freset : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) state_saved : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_physfn : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_virtfn : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) reset_fn : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_hotplug_bridge : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) __aer_firmware_first_valid : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) __aer_firmware_first : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) broken_intx_masking : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) io_window_1k : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) non_compliant_bars : 1 ;
|
|
pci_dev_flags_t dev_flags ;
|
|
atomic_t enable_cnt ;
|
|
u32 saved_config_space[16U] ;
|
|
struct hlist_head saved_cap_space ;
|
|
struct bin_attribute *rom_attr ;
|
|
int rom_attr_enabled ;
|
|
struct bin_attribute *res_attr[17U] ;
|
|
struct bin_attribute *res_attr_wc[17U] ;
|
|
struct list_head msi_list ;
|
|
struct attribute_group const **msi_irq_groups ;
|
|
struct pci_vpd *vpd ;
|
|
union __anonunion_143 __anonCompField_pci_dev_36 ;
|
|
struct pci_ats *ats ;
|
|
phys_addr_t rom ;
|
|
size_t romlen ;
|
|
};
|
|
|
|
# 433
|
|
struct pci_ops;
|
|
|
|
# 433
|
|
struct msi_chip;
|
|
|
|
# 433 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
struct pci_bus {
|
|
struct list_head node ;
|
|
struct pci_bus *parent ;
|
|
struct list_head children ;
|
|
struct list_head devices ;
|
|
struct pci_dev *self ;
|
|
struct list_head slots ;
|
|
struct resource *resource[4U] ;
|
|
struct list_head resources ;
|
|
struct resource busn_res ;
|
|
struct pci_ops *ops ;
|
|
struct msi_chip *msi ;
|
|
void *sysdata ;
|
|
struct proc_dir_entry *procdir ;
|
|
unsigned char number ;
|
|
unsigned char primary ;
|
|
unsigned char max_bus_speed ;
|
|
unsigned char cur_bus_speed ;
|
|
char name[48U] ;
|
|
unsigned short bridge_ctl ;
|
|
pci_bus_flags_t bus_flags ;
|
|
struct device *bridge ;
|
|
struct device dev ;
|
|
struct bin_attribute *legacy_io ;
|
|
struct bin_attribute *legacy_mem ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_added : 1 ;
|
|
};
|
|
|
|
# 538 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
struct pci_ops {
|
|
int (*read)(struct pci_bus *, unsigned int , int , int , u32 *) ;
|
|
int (*write)(struct pci_bus *, unsigned int , int , int , u32 ) ;
|
|
};
|
|
|
|
# 559 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
struct pci_dynids {
|
|
spinlock_t lock ;
|
|
struct list_head list ;
|
|
};
|
|
|
|
# 573 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
typedef unsigned int pci_ers_result_t;
|
|
|
|
# 583 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
struct pci_error_handlers {
|
|
pci_ers_result_t (*error_detected)(struct pci_dev *, enum pci_channel_state ) ;
|
|
pci_ers_result_t (*mmio_enabled)(struct pci_dev *) ;
|
|
pci_ers_result_t (*link_reset)(struct pci_dev *) ;
|
|
pci_ers_result_t (*slot_reset)(struct pci_dev *) ;
|
|
void (*resume)(struct pci_dev *) ;
|
|
};
|
|
|
|
# 613 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
struct pci_driver {
|
|
struct list_head node ;
|
|
char const *name ;
|
|
struct pci_device_id const *id_table ;
|
|
int (*probe)(struct pci_dev *, struct pci_device_id const *) ;
|
|
void (*remove)(struct pci_dev *) ;
|
|
int (*suspend)(struct pci_dev *, pm_message_t ) ;
|
|
int (*suspend_late)(struct pci_dev *, pm_message_t ) ;
|
|
int (*resume_early)(struct pci_dev *) ;
|
|
int (*resume)(struct pci_dev *) ;
|
|
void (*shutdown)(struct pci_dev *) ;
|
|
int (*sriov_configure)(struct pci_dev *, int ) ;
|
|
struct pci_error_handlers const *err_handler ;
|
|
struct device_driver driver ;
|
|
struct pci_dynids dynids ;
|
|
};
|
|
|
|
# 1135 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
struct scatterlist {
|
|
unsigned long sg_magic ;
|
|
unsigned long page_link ;
|
|
unsigned int offset ;
|
|
unsigned int length ;
|
|
dma_addr_t dma_address ;
|
|
unsigned int dma_length ;
|
|
};
|
|
|
|
# 45 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/uprobes.h"
|
|
struct arch_uprobe_task {
|
|
unsigned long saved_scratch_register ;
|
|
unsigned int saved_trap_nr ;
|
|
unsigned int saved_tf ;
|
|
};
|
|
|
|
# 54
|
|
enum uprobe_task_state {
|
|
UTASK_RUNNING = 0,
|
|
UTASK_SSTEP = 1,
|
|
UTASK_SSTEP_ACK = 2,
|
|
UTASK_SSTEP_TRAPPED = 3
|
|
};
|
|
|
|
# 61 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/uprobes.h"
|
|
struct __anonstruct_146 {
|
|
struct arch_uprobe_task autask ;
|
|
unsigned long vaddr ;
|
|
};
|
|
|
|
# 61 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/uprobes.h"
|
|
struct __anonstruct_147 {
|
|
struct callback_head dup_xol_work ;
|
|
unsigned long dup_xol_addr ;
|
|
};
|
|
|
|
# 61 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/uprobes.h"
|
|
union __anonunion_145 {
|
|
struct __anonstruct_146 __anonCompField___anonunion_145_38 ;
|
|
struct __anonstruct_147 __anonCompField___anonunion_145_39 ;
|
|
};
|
|
|
|
# 61
|
|
struct uprobe;
|
|
|
|
# 61
|
|
struct return_instance;
|
|
|
|
# 61 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/uprobes.h"
|
|
struct uprobe_task {
|
|
enum uprobe_task_state state ;
|
|
union __anonunion_145 __anonCompField_uprobe_task_40 ;
|
|
struct uprobe *active_uprobe ;
|
|
unsigned long xol_vaddr ;
|
|
struct return_instance *return_instances ;
|
|
unsigned int depth ;
|
|
};
|
|
|
|
# 93 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
struct xol_area;
|
|
|
|
# 94 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
struct uprobes_state {
|
|
struct xol_area *xol_area ;
|
|
};
|
|
|
|
# 129
|
|
struct address_space;
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
union __anonunion_148 {
|
|
struct address_space *mapping ;
|
|
void *s_mem ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
union __anonunion_150 {
|
|
unsigned long index ;
|
|
void *freelist ;
|
|
bool pfmemalloc ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
struct __anonstruct_154 {
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(16))) inuse : 16 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(15))) objects : 15 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) frozen : 1 ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
union __anonunion_153 {
|
|
atomic_t _mapcount ;
|
|
struct __anonstruct_154 __anonCompField___anonunion_153_43 ;
|
|
int units ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
struct __anonstruct_152 {
|
|
union __anonunion_153 __anonCompField___anonstruct_152_44 ;
|
|
atomic_t _count ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
union __anonunion_151 {
|
|
unsigned long counters ;
|
|
struct __anonstruct_152 __anonCompField___anonunion_151_45 ;
|
|
unsigned int active ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
struct __anonstruct_149 {
|
|
union __anonunion_150 __anonCompField___anonstruct_149_42 ;
|
|
union __anonunion_151 __anonCompField___anonstruct_149_46 ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
struct __anonstruct_156 {
|
|
struct page *next ;
|
|
int pages ;
|
|
int pobjects ;
|
|
};
|
|
|
|
# 130
|
|
struct slab;
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
union __anonunion_155 {
|
|
struct list_head lru ;
|
|
struct __anonstruct_156 __anonCompField___anonunion_155_48 ;
|
|
struct list_head list ;
|
|
struct slab *slab_page ;
|
|
struct callback_head callback_head ;
|
|
pgtable_t pmd_huge_pte ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
union __anonunion_157 {
|
|
unsigned long private ;
|
|
spinlock_t *ptl ;
|
|
struct kmem_cache *slab_cache ;
|
|
struct page *first_page ;
|
|
};
|
|
|
|
# 130 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/uprobes.h"
|
|
struct page {
|
|
unsigned long flags ;
|
|
union __anonunion_148 __anonCompField_page_41 ;
|
|
struct __anonstruct_149 __anonCompField_page_47 ;
|
|
union __anonunion_155 __anonCompField_page_49 ;
|
|
union __anonunion_157 __anonCompField_page_50 ;
|
|
unsigned long debug_flags ;
|
|
};
|
|
|
|
# 186 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
struct page_frag {
|
|
struct page *page ;
|
|
__u32 offset ;
|
|
__u32 size ;
|
|
};
|
|
|
|
# 238 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
struct __anonstruct_linear_159 {
|
|
struct rb_node rb ;
|
|
unsigned long rb_subtree_last ;
|
|
};
|
|
|
|
# 238 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
union __anonunion_shared_158 {
|
|
struct __anonstruct_linear_159 linear ;
|
|
struct list_head nonlinear ;
|
|
};
|
|
|
|
# 238
|
|
struct anon_vma;
|
|
|
|
# 238
|
|
struct mempolicy;
|
|
|
|
# 238 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
struct vm_area_struct {
|
|
unsigned long vm_start ;
|
|
unsigned long vm_end ;
|
|
struct vm_area_struct *vm_next ;
|
|
struct vm_area_struct *vm_prev ;
|
|
struct rb_node vm_rb ;
|
|
unsigned long rb_subtree_gap ;
|
|
struct mm_struct *vm_mm ;
|
|
pgprot_t vm_page_prot ;
|
|
unsigned long vm_flags ;
|
|
union __anonunion_shared_158 shared ;
|
|
struct list_head anon_vma_chain ;
|
|
struct anon_vma *anon_vma ;
|
|
struct vm_operations_struct const *vm_ops ;
|
|
unsigned long vm_pgoff ;
|
|
struct file *vm_file ;
|
|
void *vm_private_data ;
|
|
struct mempolicy *vm_policy ;
|
|
};
|
|
|
|
# 310 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
struct core_thread {
|
|
struct task_struct *task ;
|
|
struct core_thread *next ;
|
|
};
|
|
|
|
# 316 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
struct core_state {
|
|
atomic_t nr_threads ;
|
|
struct core_thread dumper ;
|
|
struct completion startup ;
|
|
};
|
|
|
|
# 329 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
struct task_rss_stat {
|
|
int events ;
|
|
int count[3U] ;
|
|
};
|
|
|
|
# 337 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
struct mm_rss_stat {
|
|
atomic_long_t count[3U] ;
|
|
};
|
|
|
|
# 342
|
|
struct kioctx_table;
|
|
|
|
# 343
|
|
struct linux_binfmt;
|
|
|
|
# 343
|
|
struct mmu_notifier_mm;
|
|
|
|
# 343 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm_types.h"
|
|
struct mm_struct {
|
|
struct vm_area_struct *mmap ;
|
|
struct rb_root mm_rb ;
|
|
u32 vmacache_seqnum ;
|
|
unsigned long (*get_unmapped_area)(struct file *, unsigned long , unsigned long , unsigned long , unsigned long ) ;
|
|
unsigned long mmap_base ;
|
|
unsigned long mmap_legacy_base ;
|
|
unsigned long task_size ;
|
|
unsigned long highest_vm_end ;
|
|
pgd_t *pgd ;
|
|
atomic_t mm_users ;
|
|
atomic_t mm_count ;
|
|
atomic_long_t nr_ptes ;
|
|
int map_count ;
|
|
spinlock_t page_table_lock ;
|
|
struct rw_semaphore mmap_sem ;
|
|
struct list_head mmlist ;
|
|
unsigned long hiwater_rss ;
|
|
unsigned long hiwater_vm ;
|
|
unsigned long total_vm ;
|
|
unsigned long locked_vm ;
|
|
unsigned long pinned_vm ;
|
|
unsigned long shared_vm ;
|
|
unsigned long exec_vm ;
|
|
unsigned long stack_vm ;
|
|
unsigned long def_flags ;
|
|
unsigned long start_code ;
|
|
unsigned long end_code ;
|
|
unsigned long start_data ;
|
|
unsigned long end_data ;
|
|
unsigned long start_brk ;
|
|
unsigned long brk ;
|
|
unsigned long start_stack ;
|
|
unsigned long arg_start ;
|
|
unsigned long arg_end ;
|
|
unsigned long env_start ;
|
|
unsigned long env_end ;
|
|
unsigned long saved_auxv[46U] ;
|
|
struct mm_rss_stat rss_stat ;
|
|
struct linux_binfmt *binfmt ;
|
|
cpumask_var_t cpu_vm_mask_var ;
|
|
mm_context_t context ;
|
|
unsigned long flags ;
|
|
struct core_state *core_state ;
|
|
spinlock_t ioctx_lock ;
|
|
struct kioctx_table *ioctx_table ;
|
|
struct task_struct *owner ;
|
|
struct file *exe_file ;
|
|
struct mmu_notifier_mm *mmu_notifier_mm ;
|
|
struct cpumask cpumask_allocation ;
|
|
unsigned long numa_next_scan ;
|
|
unsigned long numa_scan_offset ;
|
|
int numa_scan_seq ;
|
|
bool tlb_flush_pending ;
|
|
struct uprobes_state uprobes_state ;
|
|
};
|
|
|
|
# 93 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/bit_spinlock.h"
|
|
struct shrink_control {
|
|
gfp_t gfp_mask ;
|
|
unsigned long nr_to_scan ;
|
|
nodemask_t nodes_to_scan ;
|
|
int nid ;
|
|
};
|
|
|
|
# 26 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/shrinker.h"
|
|
struct shrinker {
|
|
unsigned long (*count_objects)(struct shrinker *, struct shrink_control *) ;
|
|
unsigned long (*scan_objects)(struct shrinker *, struct shrink_control *) ;
|
|
int seeks ;
|
|
long batch ;
|
|
unsigned long flags ;
|
|
struct list_head list ;
|
|
atomic_long_t *nr_deferred ;
|
|
};
|
|
|
|
# 71
|
|
struct file_ra_state;
|
|
|
|
# 72
|
|
struct user_struct;
|
|
|
|
# 73
|
|
struct writeback_control;
|
|
|
|
# 185 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm.h"
|
|
struct vm_fault {
|
|
unsigned int flags ;
|
|
unsigned long pgoff ;
|
|
void *virtual_address ;
|
|
struct page *page ;
|
|
};
|
|
|
|
# 210 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/mm.h"
|
|
struct vm_operations_struct {
|
|
void (*open)(struct vm_area_struct *) ;
|
|
void (*close)(struct vm_area_struct *) ;
|
|
int (*fault)(struct vm_area_struct *, struct vm_fault *) ;
|
|
int (*page_mkwrite)(struct vm_area_struct *, struct vm_fault *) ;
|
|
int (*access)(struct vm_area_struct *, unsigned long , void *, int , int ) ;
|
|
int (*set_policy)(struct vm_area_struct *, struct mempolicy *) ;
|
|
struct mempolicy *(*get_policy)(struct vm_area_struct *, unsigned long ) ;
|
|
int (*migrate)(struct vm_area_struct *, nodemask_t const *, nodemask_t const *, unsigned long ) ;
|
|
int (*remap_pages)(struct vm_area_struct *, unsigned long , unsigned long , unsigned long ) ;
|
|
};
|
|
|
|
# 58 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kmemleak.h"
|
|
struct mem_cgroup;
|
|
|
|
# 355 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/slab.h"
|
|
struct kmem_cache_cpu {
|
|
void **freelist ;
|
|
unsigned long tid ;
|
|
struct page *page ;
|
|
struct page *partial ;
|
|
unsigned int stat[26U] ;
|
|
};
|
|
|
|
# 48 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/slub_def.h"
|
|
struct kmem_cache_order_objects {
|
|
unsigned long x ;
|
|
};
|
|
|
|
# 58
|
|
struct memcg_cache_params;
|
|
|
|
# 58
|
|
struct kmem_cache_node;
|
|
|
|
# 58 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/slub_def.h"
|
|
struct kmem_cache {
|
|
struct kmem_cache_cpu *cpu_slab ;
|
|
unsigned long flags ;
|
|
unsigned long min_partial ;
|
|
int size ;
|
|
int object_size ;
|
|
int offset ;
|
|
int cpu_partial ;
|
|
struct kmem_cache_order_objects oo ;
|
|
struct kmem_cache_order_objects max ;
|
|
struct kmem_cache_order_objects min ;
|
|
gfp_t allocflags ;
|
|
int refcount ;
|
|
void (*ctor)(void *) ;
|
|
int inuse ;
|
|
int align ;
|
|
int reserved ;
|
|
char const *name ;
|
|
struct list_head list ;
|
|
struct kobject kobj ;
|
|
struct memcg_cache_params *memcg_params ;
|
|
int max_attr_size ;
|
|
int remote_node_defrag_ratio ;
|
|
struct kmem_cache_node *node[1024U] ;
|
|
};
|
|
|
|
# 501 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/slab.h"
|
|
struct __anonstruct_161 {
|
|
struct callback_head callback_head ;
|
|
struct kmem_cache *memcg_caches[0U] ;
|
|
};
|
|
|
|
# 501 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/slab.h"
|
|
struct __anonstruct_162 {
|
|
struct mem_cgroup *memcg ;
|
|
struct list_head list ;
|
|
struct kmem_cache *root_cache ;
|
|
bool dead ;
|
|
atomic_t nr_pages ;
|
|
struct work_struct destroy ;
|
|
};
|
|
|
|
# 501 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/slab.h"
|
|
union __anonunion_160 {
|
|
struct __anonstruct_161 __anonCompField___anonunion_160_51 ;
|
|
struct __anonstruct_162 __anonCompField___anonunion_160_52 ;
|
|
};
|
|
|
|
# 501 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/slab.h"
|
|
struct memcg_cache_params {
|
|
bool is_root_cache ;
|
|
union __anonunion_160 __anonCompField_memcg_cache_params_53 ;
|
|
};
|
|
|
|
# 34 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/pci_64.h"
|
|
struct dma_attrs {
|
|
unsigned long flags[1U] ;
|
|
};
|
|
|
|
# 70 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/dma-attrs.h"
|
|
enum dma_data_direction {
|
|
DMA_BIDIRECTIONAL = 0,
|
|
DMA_TO_DEVICE = 1,
|
|
DMA_FROM_DEVICE = 2,
|
|
DMA_NONE = 3
|
|
};
|
|
|
|
# 77 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/dma-attrs.h"
|
|
struct sg_table {
|
|
struct scatterlist *sgl ;
|
|
unsigned int nents ;
|
|
unsigned int orig_nents ;
|
|
};
|
|
|
|
# 351 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/scatterlist.h"
|
|
struct dma_map_ops {
|
|
void *(*alloc)(struct device *, size_t , dma_addr_t *, gfp_t , struct dma_attrs *) ;
|
|
void (*free)(struct device *, size_t , void *, dma_addr_t , struct dma_attrs *) ;
|
|
int (*mmap)(struct device *, struct vm_area_struct *, void *, dma_addr_t , size_t , struct dma_attrs *) ;
|
|
int (*get_sgtable)(struct device *, struct sg_table *, void *, dma_addr_t , size_t , struct dma_attrs *) ;
|
|
dma_addr_t (*map_page)(struct device *, struct page *, unsigned long , size_t , enum dma_data_direction , struct dma_attrs *) ;
|
|
void (*unmap_page)(struct device *, dma_addr_t , size_t , enum dma_data_direction , struct dma_attrs *) ;
|
|
int (*map_sg)(struct device *, struct scatterlist *, int , enum dma_data_direction , struct dma_attrs *) ;
|
|
void (*unmap_sg)(struct device *, struct scatterlist *, int , enum dma_data_direction , struct dma_attrs *) ;
|
|
void (*sync_single_for_cpu)(struct device *, dma_addr_t , size_t , enum dma_data_direction ) ;
|
|
void (*sync_single_for_device)(struct device *, dma_addr_t , size_t , enum dma_data_direction ) ;
|
|
void (*sync_sg_for_cpu)(struct device *, struct scatterlist *, int , enum dma_data_direction ) ;
|
|
void (*sync_sg_for_device)(struct device *, struct scatterlist *, int , enum dma_data_direction ) ;
|
|
int (*mapping_error)(struct device *, dma_addr_t ) ;
|
|
int (*dma_supported)(struct device *, u64 ) ;
|
|
int (*set_dma_mask)(struct device *, u64 ) ;
|
|
int is_phys ;
|
|
};
|
|
|
|
# 22 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/capability.h"
|
|
struct kernel_cap_struct {
|
|
__u32 cap[2U] ;
|
|
};
|
|
|
|
# 25 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/capability.h"
|
|
typedef struct kernel_cap_struct kernel_cap_t;
|
|
|
|
# 84 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/plist.h"
|
|
struct plist_node {
|
|
int prio ;
|
|
struct list_head prio_list ;
|
|
struct list_head node_list ;
|
|
};
|
|
|
|
# 4 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/asm-generic/cputime_jiffies.h"
|
|
typedef unsigned long cputime_t;
|
|
|
|
# 25 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sem.h"
|
|
struct sem_undo_list;
|
|
|
|
# 25 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sem.h"
|
|
struct sysv_sem {
|
|
struct sem_undo_list *undo_list ;
|
|
};
|
|
|
|
# 24 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/signal.h"
|
|
struct __anonstruct_sigset_t_164 {
|
|
unsigned long sig[1U] ;
|
|
};
|
|
|
|
# 24 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/signal.h"
|
|
typedef struct __anonstruct_sigset_t_164 sigset_t;
|
|
|
|
# 25
|
|
struct siginfo;
|
|
|
|
# 17 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/signal-defs.h"
|
|
typedef void __signalfn_t(int );
|
|
|
|
# 18 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/signal-defs.h"
|
|
typedef __signalfn_t *__sighandler_t;
|
|
|
|
# 20 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/signal-defs.h"
|
|
typedef void __restorefn_t(void);
|
|
|
|
# 21 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/signal-defs.h"
|
|
typedef __restorefn_t *__sigrestore_t;
|
|
|
|
# 34 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/signal.h"
|
|
union sigval {
|
|
int sival_int ;
|
|
void *sival_ptr ;
|
|
};
|
|
|
|
# 10 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
typedef union sigval sigval_t;
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
struct __anonstruct__kill_166 {
|
|
__kernel_pid_t _pid ;
|
|
__kernel_uid32_t _uid ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
struct __anonstruct__timer_167 {
|
|
__kernel_timer_t _tid ;
|
|
int _overrun ;
|
|
char _pad[0U] ;
|
|
sigval_t _sigval ;
|
|
int _sys_private ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
struct __anonstruct__rt_168 {
|
|
__kernel_pid_t _pid ;
|
|
__kernel_uid32_t _uid ;
|
|
sigval_t _sigval ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
struct __anonstruct__sigchld_169 {
|
|
__kernel_pid_t _pid ;
|
|
__kernel_uid32_t _uid ;
|
|
int _status ;
|
|
__kernel_clock_t _utime ;
|
|
__kernel_clock_t _stime ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
struct __anonstruct__sigfault_170 {
|
|
void *_addr ;
|
|
short _addr_lsb ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
struct __anonstruct__sigpoll_171 {
|
|
long _band ;
|
|
int _fd ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
struct __anonstruct__sigsys_172 {
|
|
void *_call_addr ;
|
|
int _syscall ;
|
|
unsigned int _arch ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
union __anonunion__sifields_165 {
|
|
int _pad[28U] ;
|
|
struct __anonstruct__kill_166 _kill ;
|
|
struct __anonstruct__timer_167 _timer ;
|
|
struct __anonstruct__rt_168 _rt ;
|
|
struct __anonstruct__sigchld_169 _sigchld ;
|
|
struct __anonstruct__sigfault_170 _sigfault ;
|
|
struct __anonstruct__sigpoll_171 _sigpoll ;
|
|
struct __anonstruct__sigsys_172 _sigsys ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
struct siginfo {
|
|
int si_signo ;
|
|
int si_errno ;
|
|
int si_code ;
|
|
union __anonunion__sifields_165 _sifields ;
|
|
};
|
|
|
|
# 109 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/asm-generic/siginfo.h"
|
|
typedef struct siginfo siginfo_t;
|
|
|
|
# 21 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/signal.h"
|
|
struct sigpending {
|
|
struct list_head list ;
|
|
sigset_t signal ;
|
|
};
|
|
|
|
# 250 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/signal.h"
|
|
struct sigaction {
|
|
__sighandler_t sa_handler ;
|
|
unsigned long sa_flags ;
|
|
__sigrestore_t sa_restorer ;
|
|
sigset_t sa_mask ;
|
|
};
|
|
|
|
# 264 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/signal.h"
|
|
struct k_sigaction {
|
|
struct sigaction sa ;
|
|
};
|
|
|
|
# 447
|
|
enum pid_type {
|
|
PIDTYPE_PID = 0,
|
|
PIDTYPE_PGID = 1,
|
|
PIDTYPE_SID = 2,
|
|
PIDTYPE_MAX = 3
|
|
};
|
|
|
|
# 454
|
|
struct pid_namespace;
|
|
|
|
# 454 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/signal.h"
|
|
struct upid {
|
|
int nr ;
|
|
struct pid_namespace *ns ;
|
|
struct hlist_node pid_chain ;
|
|
};
|
|
|
|
# 56 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pid.h"
|
|
struct pid {
|
|
atomic_t count ;
|
|
unsigned int level ;
|
|
struct hlist_head tasks[3U] ;
|
|
struct callback_head rcu ;
|
|
struct upid numbers[1U] ;
|
|
};
|
|
|
|
# 68 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pid.h"
|
|
struct pid_link {
|
|
struct hlist_node node ;
|
|
struct pid *pid ;
|
|
};
|
|
|
|
# 174 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pid.h"
|
|
struct percpu_counter {
|
|
raw_spinlock_t lock ;
|
|
s64 count ;
|
|
struct list_head list ;
|
|
s32 *counters ;
|
|
};
|
|
|
|
# 46 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/seccomp.h"
|
|
struct seccomp_filter;
|
|
|
|
# 47 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/seccomp.h"
|
|
struct seccomp {
|
|
int mode ;
|
|
struct seccomp_filter *filter ;
|
|
};
|
|
|
|
# 40 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/rtmutex.h"
|
|
struct rt_mutex_waiter;
|
|
|
|
# 41 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/resource.h"
|
|
struct rlimit {
|
|
__kernel_ulong_t rlim_cur ;
|
|
__kernel_ulong_t rlim_max ;
|
|
};
|
|
|
|
# 11 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/resource.h"
|
|
struct timerqueue_node {
|
|
struct rb_node node ;
|
|
ktime_t expires ;
|
|
};
|
|
|
|
# 12 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/timerqueue.h"
|
|
struct timerqueue_head {
|
|
struct rb_root head ;
|
|
struct timerqueue_node *next ;
|
|
};
|
|
|
|
# 50
|
|
struct hrtimer_clock_base;
|
|
|
|
# 51
|
|
struct hrtimer_cpu_base;
|
|
|
|
# 65 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/timerqueue.h"
|
|
struct hrtimer {
|
|
struct timerqueue_node node ;
|
|
ktime_t _softexpires ;
|
|
int (*function)(struct hrtimer *) ;
|
|
struct hrtimer_clock_base *base ;
|
|
unsigned long state ;
|
|
int start_pid ;
|
|
void *start_site ;
|
|
char start_comm[16U] ;
|
|
};
|
|
|
|
# 132 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/hrtimer.h"
|
|
struct hrtimer_clock_base {
|
|
struct hrtimer_cpu_base *cpu_base ;
|
|
int index ;
|
|
clockid_t clockid ;
|
|
struct timerqueue_head active ;
|
|
ktime_t resolution ;
|
|
ktime_t (*get_time)(void) ;
|
|
ktime_t softirq_time ;
|
|
ktime_t offset ;
|
|
};
|
|
|
|
# 163 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/hrtimer.h"
|
|
struct hrtimer_cpu_base {
|
|
raw_spinlock_t lock ;
|
|
unsigned int active_bases ;
|
|
unsigned int clock_was_set ;
|
|
ktime_t expires_next ;
|
|
int hres_active ;
|
|
int hang_detected ;
|
|
unsigned long nr_events ;
|
|
unsigned long nr_retries ;
|
|
unsigned long nr_hangs ;
|
|
ktime_t max_hang_time ;
|
|
struct hrtimer_clock_base clock_base[4U] ;
|
|
};
|
|
|
|
# 463 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/hrtimer.h"
|
|
struct task_io_accounting {
|
|
u64 rchar ;
|
|
u64 wchar ;
|
|
u64 syscr ;
|
|
u64 syscw ;
|
|
u64 read_bytes ;
|
|
u64 write_bytes ;
|
|
u64 cancelled_write_bytes ;
|
|
};
|
|
|
|
# 45 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/task_io_accounting.h"
|
|
struct latency_record {
|
|
unsigned long backtrace[12U] ;
|
|
unsigned int count ;
|
|
unsigned long time ;
|
|
unsigned long max ;
|
|
};
|
|
|
|
# 39 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/latencytop.h"
|
|
struct assoc_array_ptr;
|
|
|
|
# 39 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/latencytop.h"
|
|
struct assoc_array {
|
|
struct assoc_array_ptr *root ;
|
|
unsigned long nr_leaves_on_tree ;
|
|
};
|
|
|
|
# 31 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
typedef int32_t key_serial_t;
|
|
|
|
# 34 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
typedef uint32_t key_perm_t;
|
|
|
|
# 35
|
|
struct key;
|
|
|
|
# 36
|
|
struct signal_struct;
|
|
|
|
# 37
|
|
struct key_type;
|
|
|
|
# 41 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
struct keyring_index_key {
|
|
struct key_type *type ;
|
|
char const *description ;
|
|
size_t desc_len ;
|
|
};
|
|
|
|
# 123 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
union __anonunion_175 {
|
|
struct list_head graveyard_link ;
|
|
struct rb_node serial_node ;
|
|
};
|
|
|
|
# 123
|
|
struct key_user;
|
|
|
|
# 123 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
union __anonunion_176 {
|
|
time_t expiry ;
|
|
time_t revoked_at ;
|
|
};
|
|
|
|
# 123 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
struct __anonstruct_178 {
|
|
struct key_type *type ;
|
|
char *description ;
|
|
};
|
|
|
|
# 123 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
union __anonunion_177 {
|
|
struct keyring_index_key index_key ;
|
|
struct __anonstruct_178 __anonCompField___anonunion_177_56 ;
|
|
};
|
|
|
|
# 123 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
union __anonunion_type_data_179 {
|
|
struct list_head link ;
|
|
unsigned long x[2U] ;
|
|
void *p[2U] ;
|
|
int reject_error ;
|
|
};
|
|
|
|
# 123 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
union __anonunion_payload_181 {
|
|
unsigned long value ;
|
|
void *rcudata ;
|
|
void *data ;
|
|
void *data2[2U] ;
|
|
};
|
|
|
|
# 123 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
union __anonunion_180 {
|
|
union __anonunion_payload_181 payload ;
|
|
struct assoc_array keys ;
|
|
};
|
|
|
|
# 123 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/key.h"
|
|
struct key {
|
|
atomic_t usage ;
|
|
key_serial_t serial ;
|
|
union __anonunion_175 __anonCompField_key_54 ;
|
|
struct rw_semaphore sem ;
|
|
struct key_user *user ;
|
|
void *security ;
|
|
union __anonunion_176 __anonCompField_key_55 ;
|
|
time_t last_used_at ;
|
|
kuid_t uid ;
|
|
kgid_t gid ;
|
|
key_perm_t perm ;
|
|
unsigned short quotalen ;
|
|
unsigned short datalen ;
|
|
unsigned long flags ;
|
|
union __anonunion_177 __anonCompField_key_57 ;
|
|
union __anonunion_type_data_179 type_data ;
|
|
union __anonunion_180 __anonCompField_key_58 ;
|
|
};
|
|
|
|
# 345
|
|
struct audit_context;
|
|
|
|
# 27 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/selinux.h"
|
|
struct group_info {
|
|
atomic_t usage ;
|
|
int ngroups ;
|
|
int nblocks ;
|
|
kgid_t small_block[32U] ;
|
|
kgid_t *blocks[0U] ;
|
|
};
|
|
|
|
# 79 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/cred.h"
|
|
struct cred {
|
|
atomic_t usage ;
|
|
atomic_t subscribers ;
|
|
void *put_addr ;
|
|
unsigned int magic ;
|
|
kuid_t uid ;
|
|
kgid_t gid ;
|
|
kuid_t suid ;
|
|
kgid_t sgid ;
|
|
kuid_t euid ;
|
|
kgid_t egid ;
|
|
kuid_t fsuid ;
|
|
kgid_t fsgid ;
|
|
unsigned int securebits ;
|
|
kernel_cap_t cap_inheritable ;
|
|
kernel_cap_t cap_permitted ;
|
|
kernel_cap_t cap_effective ;
|
|
kernel_cap_t cap_bset ;
|
|
unsigned char jit_keyring ;
|
|
struct key *session_keyring ;
|
|
struct key *process_keyring ;
|
|
struct key *thread_keyring ;
|
|
struct key *request_key_auth ;
|
|
void *security ;
|
|
struct user_struct *user ;
|
|
struct user_namespace *user_ns ;
|
|
struct group_info *group_info ;
|
|
struct callback_head rcu ;
|
|
};
|
|
|
|
# 127 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct futex_pi_state;
|
|
|
|
# 128
|
|
struct robust_list_head;
|
|
|
|
# 129
|
|
struct bio_list;
|
|
|
|
# 130
|
|
struct fs_struct;
|
|
|
|
# 131
|
|
struct perf_event_context;
|
|
|
|
# 132
|
|
struct blk_plug;
|
|
|
|
# 184
|
|
struct cfs_rq;
|
|
|
|
# 185
|
|
struct task_group;
|
|
|
|
# 425 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct sighand_struct {
|
|
atomic_t count ;
|
|
struct k_sigaction action[64U] ;
|
|
spinlock_t siglock ;
|
|
wait_queue_head_t signalfd_wqh ;
|
|
};
|
|
|
|
# 464 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct pacct_struct {
|
|
int ac_flag ;
|
|
long ac_exitcode ;
|
|
unsigned long ac_mem ;
|
|
cputime_t ac_utime ;
|
|
cputime_t ac_stime ;
|
|
unsigned long ac_minflt ;
|
|
unsigned long ac_majflt ;
|
|
};
|
|
|
|
# 472 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct cpu_itimer {
|
|
cputime_t expires ;
|
|
cputime_t incr ;
|
|
u32 error ;
|
|
u32 incr_error ;
|
|
};
|
|
|
|
# 479 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct cputime {
|
|
cputime_t utime ;
|
|
cputime_t stime ;
|
|
};
|
|
|
|
# 491 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct task_cputime {
|
|
cputime_t utime ;
|
|
cputime_t stime ;
|
|
unsigned long long sum_exec_runtime ;
|
|
};
|
|
|
|
# 511 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct thread_group_cputimer {
|
|
struct task_cputime cputime ;
|
|
int running ;
|
|
raw_spinlock_t lock ;
|
|
};
|
|
|
|
# 553
|
|
struct autogroup;
|
|
|
|
# 554
|
|
struct tty_struct;
|
|
|
|
# 554
|
|
struct taskstats;
|
|
|
|
# 554
|
|
struct tty_audit_buf;
|
|
|
|
# 554 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct signal_struct {
|
|
atomic_t sigcnt ;
|
|
atomic_t live ;
|
|
int nr_threads ;
|
|
struct list_head thread_head ;
|
|
wait_queue_head_t wait_chldexit ;
|
|
struct task_struct *curr_target ;
|
|
struct sigpending shared_pending ;
|
|
int group_exit_code ;
|
|
int notify_count ;
|
|
struct task_struct *group_exit_task ;
|
|
int group_stop_count ;
|
|
unsigned int flags ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) is_child_subreaper : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) has_child_subreaper : 1 ;
|
|
int posix_timer_id ;
|
|
struct list_head posix_timers ;
|
|
struct hrtimer real_timer ;
|
|
struct pid *leader_pid ;
|
|
ktime_t it_real_incr ;
|
|
struct cpu_itimer it[2U] ;
|
|
struct thread_group_cputimer cputimer ;
|
|
struct task_cputime cputime_expires ;
|
|
struct list_head cpu_timers[3U] ;
|
|
struct pid *tty_old_pgrp ;
|
|
int leader ;
|
|
struct tty_struct *tty ;
|
|
struct autogroup *autogroup ;
|
|
cputime_t utime ;
|
|
cputime_t stime ;
|
|
cputime_t cutime ;
|
|
cputime_t cstime ;
|
|
cputime_t gtime ;
|
|
cputime_t cgtime ;
|
|
struct cputime prev_cputime ;
|
|
unsigned long nvcsw ;
|
|
unsigned long nivcsw ;
|
|
unsigned long cnvcsw ;
|
|
unsigned long cnivcsw ;
|
|
unsigned long min_flt ;
|
|
unsigned long maj_flt ;
|
|
unsigned long cmin_flt ;
|
|
unsigned long cmaj_flt ;
|
|
unsigned long inblock ;
|
|
unsigned long oublock ;
|
|
unsigned long cinblock ;
|
|
unsigned long coublock ;
|
|
unsigned long maxrss ;
|
|
unsigned long cmaxrss ;
|
|
struct task_io_accounting ioac ;
|
|
unsigned long long sum_sched_runtime ;
|
|
struct rlimit rlim[16U] ;
|
|
struct pacct_struct pacct ;
|
|
struct taskstats *stats ;
|
|
unsigned int audit_tty ;
|
|
unsigned int audit_tty_log_passwd ;
|
|
struct tty_audit_buf *tty_audit_buf ;
|
|
struct rw_semaphore group_rwsem ;
|
|
oom_flags_t oom_flags ;
|
|
short oom_score_adj ;
|
|
short oom_score_adj_min ;
|
|
struct mutex cred_guard_mutex ;
|
|
};
|
|
|
|
# 734 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct user_struct {
|
|
atomic_t __count ;
|
|
atomic_t processes ;
|
|
atomic_t files ;
|
|
atomic_t sigpending ;
|
|
atomic_t inotify_watches ;
|
|
atomic_t inotify_devs ;
|
|
atomic_t fanotify_listeners ;
|
|
atomic_long_t epoll_watches ;
|
|
unsigned long mq_bytes ;
|
|
unsigned long locked_shm ;
|
|
unsigned long unix_inflight ;
|
|
atomic_long_t pipe_bufs ;
|
|
struct key *uid_keyring ;
|
|
struct key *session_keyring ;
|
|
struct hlist_node uidhash_node ;
|
|
kuid_t uid ;
|
|
atomic_long_t locked_vm ;
|
|
};
|
|
|
|
# 780
|
|
struct backing_dev_info;
|
|
|
|
# 781
|
|
struct reclaim_state;
|
|
|
|
# 782 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct sched_info {
|
|
unsigned long pcount ;
|
|
unsigned long long run_delay ;
|
|
unsigned long long last_arrival ;
|
|
unsigned long long last_queued ;
|
|
};
|
|
|
|
# 796 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct task_delay_info {
|
|
spinlock_t lock ;
|
|
unsigned int flags ;
|
|
struct timespec blkio_start ;
|
|
struct timespec blkio_end ;
|
|
u64 blkio_delay ;
|
|
u64 swapin_delay ;
|
|
u32 blkio_count ;
|
|
u32 swapin_count ;
|
|
struct timespec freepages_start ;
|
|
struct timespec freepages_end ;
|
|
u64 freepages_delay ;
|
|
u32 freepages_count ;
|
|
};
|
|
|
|
# 982
|
|
struct io_context;
|
|
|
|
# 1010
|
|
struct pipe_inode_info;
|
|
|
|
# 1012 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct load_weight {
|
|
unsigned long weight ;
|
|
u32 inv_weight ;
|
|
};
|
|
|
|
# 1019 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct sched_avg {
|
|
u32 runnable_avg_sum ;
|
|
u32 runnable_avg_period ;
|
|
u64 last_runnable_update ;
|
|
s64 decay_count ;
|
|
unsigned long load_avg_contrib ;
|
|
};
|
|
|
|
# 1031 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct sched_statistics {
|
|
u64 wait_start ;
|
|
u64 wait_max ;
|
|
u64 wait_count ;
|
|
u64 wait_sum ;
|
|
u64 iowait_count ;
|
|
u64 iowait_sum ;
|
|
u64 sleep_start ;
|
|
u64 sleep_max ;
|
|
s64 sum_sleep_runtime ;
|
|
u64 block_start ;
|
|
u64 block_max ;
|
|
u64 exec_max ;
|
|
u64 slice_max ;
|
|
u64 nr_migrations_cold ;
|
|
u64 nr_failed_migrations_affine ;
|
|
u64 nr_failed_migrations_running ;
|
|
u64 nr_failed_migrations_hot ;
|
|
u64 nr_forced_migrations ;
|
|
u64 nr_wakeups ;
|
|
u64 nr_wakeups_sync ;
|
|
u64 nr_wakeups_migrate ;
|
|
u64 nr_wakeups_local ;
|
|
u64 nr_wakeups_remote ;
|
|
u64 nr_wakeups_affine ;
|
|
u64 nr_wakeups_affine_attempts ;
|
|
u64 nr_wakeups_passive ;
|
|
u64 nr_wakeups_idle ;
|
|
};
|
|
|
|
# 1066 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct sched_entity {
|
|
struct load_weight load ;
|
|
struct rb_node run_node ;
|
|
struct list_head group_node ;
|
|
unsigned int on_rq ;
|
|
u64 exec_start ;
|
|
u64 sum_exec_runtime ;
|
|
u64 vruntime ;
|
|
u64 prev_sum_exec_runtime ;
|
|
u64 nr_migrations ;
|
|
struct sched_statistics statistics ;
|
|
struct sched_entity *parent ;
|
|
struct cfs_rq *cfs_rq ;
|
|
struct cfs_rq *my_q ;
|
|
struct sched_avg avg ;
|
|
};
|
|
|
|
# 1097
|
|
struct rt_rq;
|
|
|
|
# 1097 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct sched_rt_entity {
|
|
struct list_head run_list ;
|
|
unsigned long timeout ;
|
|
unsigned long watchdog_stamp ;
|
|
unsigned int time_slice ;
|
|
struct sched_rt_entity *back ;
|
|
struct sched_rt_entity *parent ;
|
|
struct rt_rq *rt_rq ;
|
|
struct rt_rq *my_q ;
|
|
};
|
|
|
|
# 1113 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct sched_dl_entity {
|
|
struct rb_node rb_node ;
|
|
u64 dl_runtime ;
|
|
u64 dl_deadline ;
|
|
u64 dl_period ;
|
|
u64 dl_bw ;
|
|
s64 runtime ;
|
|
u64 deadline ;
|
|
unsigned int flags ;
|
|
int dl_throttled ;
|
|
int dl_new ;
|
|
int dl_boosted ;
|
|
struct hrtimer dl_timer ;
|
|
};
|
|
|
|
# 1168 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct memcg_batch_info {
|
|
int do_batch ;
|
|
struct mem_cgroup *memcg ;
|
|
unsigned long nr_pages ;
|
|
unsigned long memsw_nr_pages ;
|
|
};
|
|
|
|
# 1578 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct memcg_oom_info {
|
|
struct mem_cgroup *memcg ;
|
|
gfp_t gfp_mask ;
|
|
int order ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) may_oom : 1 ;
|
|
};
|
|
|
|
# 1585
|
|
struct sched_class;
|
|
|
|
# 1585
|
|
struct files_struct;
|
|
|
|
# 1585
|
|
struct css_set;
|
|
|
|
# 1585
|
|
struct compat_robust_list_head;
|
|
|
|
# 1585
|
|
struct numa_group;
|
|
|
|
# 1585
|
|
struct ftrace_ret_stack;
|
|
|
|
# 1585 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/sched.h"
|
|
struct task_struct {
|
|
long volatile state ;
|
|
void *stack ;
|
|
atomic_t usage ;
|
|
unsigned int flags ;
|
|
unsigned int ptrace ;
|
|
struct llist_node wake_entry ;
|
|
int on_cpu ;
|
|
struct task_struct *last_wakee ;
|
|
unsigned long wakee_flips ;
|
|
unsigned long wakee_flip_decay_ts ;
|
|
int wake_cpu ;
|
|
int on_rq ;
|
|
int prio ;
|
|
int static_prio ;
|
|
int normal_prio ;
|
|
unsigned int rt_priority ;
|
|
struct sched_class const *sched_class ;
|
|
struct sched_entity se ;
|
|
struct sched_rt_entity rt ;
|
|
struct task_group *sched_task_group ;
|
|
struct sched_dl_entity dl ;
|
|
struct hlist_head preempt_notifiers ;
|
|
unsigned int btrace_seq ;
|
|
unsigned int policy ;
|
|
int nr_cpus_allowed ;
|
|
cpumask_t cpus_allowed ;
|
|
struct sched_info sched_info ;
|
|
struct list_head tasks ;
|
|
struct plist_node pushable_tasks ;
|
|
struct rb_node pushable_dl_tasks ;
|
|
struct mm_struct *mm ;
|
|
struct mm_struct *active_mm ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) brk_randomized : 1 ;
|
|
u32 vmacache_seqnum ;
|
|
struct vm_area_struct *vmacache[4U] ;
|
|
struct task_rss_stat rss_stat ;
|
|
int exit_state ;
|
|
int exit_code ;
|
|
int exit_signal ;
|
|
int pdeath_signal ;
|
|
unsigned int jobctl ;
|
|
unsigned int personality ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) in_execve : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) in_iowait : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) no_new_privs : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) sched_reset_on_fork : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) sched_contributes_to_load : 1 ;
|
|
pid_t pid ;
|
|
pid_t tgid ;
|
|
struct task_struct *real_parent ;
|
|
struct task_struct *parent ;
|
|
struct list_head children ;
|
|
struct list_head sibling ;
|
|
struct task_struct *group_leader ;
|
|
struct list_head ptraced ;
|
|
struct list_head ptrace_entry ;
|
|
struct pid_link pids[3U] ;
|
|
struct list_head thread_group ;
|
|
struct list_head thread_node ;
|
|
struct completion *vfork_done ;
|
|
int *set_child_tid ;
|
|
int *clear_child_tid ;
|
|
cputime_t utime ;
|
|
cputime_t stime ;
|
|
cputime_t utimescaled ;
|
|
cputime_t stimescaled ;
|
|
cputime_t gtime ;
|
|
struct cputime prev_cputime ;
|
|
unsigned long nvcsw ;
|
|
unsigned long nivcsw ;
|
|
struct timespec start_time ;
|
|
struct timespec real_start_time ;
|
|
unsigned long min_flt ;
|
|
unsigned long maj_flt ;
|
|
struct task_cputime cputime_expires ;
|
|
struct list_head cpu_timers[3U] ;
|
|
struct cred const *real_cred ;
|
|
struct cred const *cred ;
|
|
char comm[16U] ;
|
|
int link_count ;
|
|
int total_link_count ;
|
|
struct sysv_sem sysvsem ;
|
|
unsigned long last_switch_count ;
|
|
struct thread_struct thread ;
|
|
struct fs_struct *fs ;
|
|
struct files_struct *files ;
|
|
struct nsproxy *nsproxy ;
|
|
struct signal_struct *signal ;
|
|
struct sighand_struct *sighand ;
|
|
sigset_t blocked ;
|
|
sigset_t real_blocked ;
|
|
sigset_t saved_sigmask ;
|
|
struct sigpending pending ;
|
|
unsigned long sas_ss_sp ;
|
|
size_t sas_ss_size ;
|
|
int (*notifier)(void *) ;
|
|
void *notifier_data ;
|
|
sigset_t *notifier_mask ;
|
|
struct callback_head *task_works ;
|
|
struct audit_context *audit_context ;
|
|
kuid_t loginuid ;
|
|
unsigned int sessionid ;
|
|
struct seccomp seccomp ;
|
|
u32 parent_exec_id ;
|
|
u32 self_exec_id ;
|
|
spinlock_t alloc_lock ;
|
|
raw_spinlock_t pi_lock ;
|
|
struct rb_root pi_waiters ;
|
|
struct rb_node *pi_waiters_leftmost ;
|
|
struct rt_mutex_waiter *pi_blocked_on ;
|
|
struct task_struct *pi_top_task ;
|
|
struct mutex_waiter *blocked_on ;
|
|
unsigned int irq_events ;
|
|
unsigned long hardirq_enable_ip ;
|
|
unsigned long hardirq_disable_ip ;
|
|
unsigned int hardirq_enable_event ;
|
|
unsigned int hardirq_disable_event ;
|
|
int hardirqs_enabled ;
|
|
int hardirq_context ;
|
|
unsigned long softirq_disable_ip ;
|
|
unsigned long softirq_enable_ip ;
|
|
unsigned int softirq_disable_event ;
|
|
unsigned int softirq_enable_event ;
|
|
int softirqs_enabled ;
|
|
int softirq_context ;
|
|
u64 curr_chain_key ;
|
|
int lockdep_depth ;
|
|
unsigned int lockdep_recursion ;
|
|
struct held_lock held_locks[48U] ;
|
|
gfp_t lockdep_reclaim_gfp ;
|
|
void *journal_info ;
|
|
struct bio_list *bio_list ;
|
|
struct blk_plug *plug ;
|
|
struct reclaim_state *reclaim_state ;
|
|
struct backing_dev_info *backing_dev_info ;
|
|
struct io_context *io_context ;
|
|
unsigned long ptrace_message ;
|
|
siginfo_t *last_siginfo ;
|
|
struct task_io_accounting ioac ;
|
|
u64 acct_rss_mem1 ;
|
|
u64 acct_vm_mem1 ;
|
|
cputime_t acct_timexpd ;
|
|
nodemask_t mems_allowed ;
|
|
seqcount_t mems_allowed_seq ;
|
|
int cpuset_mem_spread_rotor ;
|
|
int cpuset_slab_spread_rotor ;
|
|
struct css_set *cgroups ;
|
|
struct list_head cg_list ;
|
|
struct robust_list_head *robust_list ;
|
|
struct compat_robust_list_head *compat_robust_list ;
|
|
struct list_head pi_state_list ;
|
|
struct futex_pi_state *pi_state_cache ;
|
|
struct perf_event_context *perf_event_ctxp[2U] ;
|
|
struct mutex perf_event_mutex ;
|
|
struct list_head perf_event_list ;
|
|
struct mempolicy *mempolicy ;
|
|
short il_next ;
|
|
short pref_node_fork ;
|
|
int numa_scan_seq ;
|
|
unsigned int numa_scan_period ;
|
|
unsigned int numa_scan_period_max ;
|
|
int numa_preferred_nid ;
|
|
int numa_migrate_deferred ;
|
|
unsigned long numa_migrate_retry ;
|
|
u64 node_stamp ;
|
|
struct callback_head numa_work ;
|
|
struct list_head numa_entry ;
|
|
struct numa_group *numa_group ;
|
|
unsigned long *numa_faults ;
|
|
unsigned long total_numa_faults ;
|
|
unsigned long *numa_faults_buffer ;
|
|
unsigned long numa_faults_locality[2U] ;
|
|
unsigned long numa_pages_migrated ;
|
|
struct callback_head rcu ;
|
|
struct pipe_inode_info *splice_pipe ;
|
|
struct page_frag task_frag ;
|
|
struct task_delay_info *delays ;
|
|
int make_it_fail ;
|
|
int nr_dirtied ;
|
|
int nr_dirtied_pause ;
|
|
unsigned long dirty_paused_when ;
|
|
int latency_record_count ;
|
|
struct latency_record latency_record[32U] ;
|
|
unsigned long timer_slack_ns ;
|
|
unsigned long default_timer_slack_ns ;
|
|
int curr_ret_stack ;
|
|
struct ftrace_ret_stack *ret_stack ;
|
|
unsigned long long ftrace_timestamp ;
|
|
atomic_t trace_overrun ;
|
|
atomic_t tracing_graph_pause ;
|
|
unsigned long trace ;
|
|
unsigned long trace_recursion ;
|
|
struct memcg_batch_info memcg_batch ;
|
|
unsigned int memcg_kmem_skip_account ;
|
|
struct memcg_oom_info memcg_oom ;
|
|
struct uprobe_task *utask ;
|
|
unsigned int sequential_io ;
|
|
unsigned int sequential_io_avg ;
|
|
};
|
|
|
|
# 91 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kdev_t.h"
|
|
struct hlist_bl_node;
|
|
|
|
# 91 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/kdev_t.h"
|
|
struct hlist_bl_head {
|
|
struct hlist_bl_node *first ;
|
|
};
|
|
|
|
# 36 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/list_bl.h"
|
|
struct hlist_bl_node {
|
|
struct hlist_bl_node *next ;
|
|
struct hlist_bl_node **pprev ;
|
|
};
|
|
|
|
# 114 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/rculist_bl.h"
|
|
struct __anonstruct_184 {
|
|
spinlock_t lock ;
|
|
unsigned int count ;
|
|
};
|
|
|
|
# 114 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/rculist_bl.h"
|
|
union __anonunion_183 {
|
|
struct __anonstruct_184 __anonCompField___anonunion_183_60 ;
|
|
};
|
|
|
|
# 114 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/rculist_bl.h"
|
|
struct lockref {
|
|
union __anonunion_183 __anonCompField_lockref_61 ;
|
|
};
|
|
|
|
# 49 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockref.h"
|
|
struct nameidata;
|
|
|
|
# 50
|
|
struct vfsmount;
|
|
|
|
# 51 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockref.h"
|
|
struct __anonstruct_186 {
|
|
u32 hash ;
|
|
u32 len ;
|
|
};
|
|
|
|
# 51 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockref.h"
|
|
union __anonunion_185 {
|
|
struct __anonstruct_186 __anonCompField___anonunion_185_62 ;
|
|
u64 hash_len ;
|
|
};
|
|
|
|
# 51 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/lockref.h"
|
|
struct qstr {
|
|
union __anonunion_185 __anonCompField_qstr_63 ;
|
|
unsigned char const *name ;
|
|
};
|
|
|
|
# 90 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/dcache.h"
|
|
struct dentry_operations;
|
|
|
|
# 90 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/dcache.h"
|
|
union __anonunion_d_u_187 {
|
|
struct hlist_node d_alias ;
|
|
struct callback_head d_rcu ;
|
|
};
|
|
|
|
# 90 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/dcache.h"
|
|
struct dentry {
|
|
unsigned int d_flags ;
|
|
seqcount_t d_seq ;
|
|
struct hlist_bl_node d_hash ;
|
|
struct dentry *d_parent ;
|
|
struct qstr d_name ;
|
|
struct inode *d_inode ;
|
|
unsigned char d_iname[32U] ;
|
|
struct lockref d_lockref ;
|
|
struct dentry_operations const *d_op ;
|
|
struct super_block *d_sb ;
|
|
unsigned long d_time ;
|
|
void *d_fsdata ;
|
|
struct list_head d_lru ;
|
|
struct list_head d_child ;
|
|
struct list_head d_subdirs ;
|
|
union __anonunion_d_u_187 d_u ;
|
|
};
|
|
|
|
# 142 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/dcache.h"
|
|
struct dentry_operations {
|
|
int (*d_revalidate)(struct dentry *, unsigned int ) ;
|
|
int (*d_weak_revalidate)(struct dentry *, unsigned int ) ;
|
|
int (*d_hash)(struct dentry const *, struct qstr *) ;
|
|
int (*d_compare)(struct dentry const *, struct dentry const *, unsigned int , char const *, struct qstr const *) ;
|
|
int (*d_delete)(struct dentry const *) ;
|
|
void (*d_release)(struct dentry *) ;
|
|
void (*d_prune)(struct dentry *) ;
|
|
void (*d_iput)(struct dentry *, struct inode *) ;
|
|
char *(*d_dname)(struct dentry *, char *, int ) ;
|
|
struct vfsmount *(*d_automount)(struct path *) ;
|
|
int (*d_manage)(struct dentry *, bool ) ;
|
|
};
|
|
|
|
# 476 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/dcache.h"
|
|
struct path {
|
|
struct vfsmount *mnt ;
|
|
struct dentry *dentry ;
|
|
};
|
|
|
|
# 26 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/path.h"
|
|
struct list_lru_node {
|
|
spinlock_t lock ;
|
|
struct list_head list ;
|
|
long nr_items ;
|
|
};
|
|
|
|
# 28 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/list_lru.h"
|
|
struct list_lru {
|
|
struct list_lru_node *node ;
|
|
nodemask_t active_nodes ;
|
|
};
|
|
|
|
# 58 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/radix-tree.h"
|
|
struct radix_tree_node;
|
|
|
|
# 58 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/radix-tree.h"
|
|
struct radix_tree_root {
|
|
unsigned int height ;
|
|
gfp_t gfp_mask ;
|
|
struct radix_tree_node *rnode ;
|
|
};
|
|
|
|
# 45 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/semaphore.h"
|
|
struct fiemap_extent {
|
|
__u64 fe_logical ;
|
|
__u64 fe_physical ;
|
|
__u64 fe_length ;
|
|
__u64 fe_reserved64[2U] ;
|
|
__u32 fe_flags ;
|
|
__u32 fe_reserved[3U] ;
|
|
};
|
|
|
|
# 38 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/fiemap.h"
|
|
enum migrate_mode {
|
|
MIGRATE_ASYNC = 0,
|
|
MIGRATE_SYNC_LIGHT = 1,
|
|
MIGRATE_SYNC = 2
|
|
};
|
|
|
|
# 30 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/percpu-rwsem.h"
|
|
struct block_device;
|
|
|
|
# 56 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/fs.h"
|
|
struct export_operations;
|
|
|
|
# 58
|
|
struct iovec;
|
|
|
|
# 59
|
|
struct kiocb;
|
|
|
|
# 61
|
|
struct kstatfs;
|
|
|
|
# 62
|
|
struct swap_info_struct;
|
|
|
|
# 68 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct iattr {
|
|
unsigned int ia_valid ;
|
|
umode_t ia_mode ;
|
|
kuid_t ia_uid ;
|
|
kgid_t ia_gid ;
|
|
loff_t ia_size ;
|
|
struct timespec ia_atime ;
|
|
struct timespec ia_mtime ;
|
|
struct timespec ia_ctime ;
|
|
struct file *ia_file ;
|
|
};
|
|
|
|
# 246 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct fs_disk_quota {
|
|
__s8 d_version ;
|
|
__s8 d_flags ;
|
|
__u16 d_fieldmask ;
|
|
__u32 d_id ;
|
|
__u64 d_blk_hardlimit ;
|
|
__u64 d_blk_softlimit ;
|
|
__u64 d_ino_hardlimit ;
|
|
__u64 d_ino_softlimit ;
|
|
__u64 d_bcount ;
|
|
__u64 d_icount ;
|
|
__s32 d_itimer ;
|
|
__s32 d_btimer ;
|
|
__u16 d_iwarns ;
|
|
__u16 d_bwarns ;
|
|
__s32 d_padding2 ;
|
|
__u64 d_rtb_hardlimit ;
|
|
__u64 d_rtb_softlimit ;
|
|
__u64 d_rtbcount ;
|
|
__s32 d_rtbtimer ;
|
|
__u16 d_rtbwarns ;
|
|
__s16 d_padding3 ;
|
|
char d_padding4[8U] ;
|
|
};
|
|
|
|
# 76 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/dqblk_xfs.h"
|
|
struct fs_qfilestat {
|
|
__u64 qfs_ino ;
|
|
__u64 qfs_nblks ;
|
|
__u32 qfs_nextents ;
|
|
};
|
|
|
|
# 151 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/dqblk_xfs.h"
|
|
typedef struct fs_qfilestat fs_qfilestat_t;
|
|
|
|
# 152 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/dqblk_xfs.h"
|
|
struct fs_quota_stat {
|
|
__s8 qs_version ;
|
|
__u16 qs_flags ;
|
|
__s8 qs_pad ;
|
|
fs_qfilestat_t qs_uquota ;
|
|
fs_qfilestat_t qs_gquota ;
|
|
__u32 qs_incoredqs ;
|
|
__s32 qs_btimelimit ;
|
|
__s32 qs_itimelimit ;
|
|
__s32 qs_rtbtimelimit ;
|
|
__u16 qs_bwarnlimit ;
|
|
__u16 qs_iwarnlimit ;
|
|
};
|
|
|
|
# 166 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/dqblk_xfs.h"
|
|
struct fs_qfilestatv {
|
|
__u64 qfs_ino ;
|
|
__u64 qfs_nblks ;
|
|
__u32 qfs_nextents ;
|
|
__u32 qfs_pad ;
|
|
};
|
|
|
|
# 196 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/dqblk_xfs.h"
|
|
struct fs_quota_statv {
|
|
__s8 qs_version ;
|
|
__u8 qs_pad1 ;
|
|
__u16 qs_flags ;
|
|
__u32 qs_incoredqs ;
|
|
struct fs_qfilestatv qs_uquota ;
|
|
struct fs_qfilestatv qs_gquota ;
|
|
struct fs_qfilestatv qs_pquota ;
|
|
__s32 qs_btimelimit ;
|
|
__s32 qs_itimelimit ;
|
|
__s32 qs_rtbtimelimit ;
|
|
__u16 qs_bwarnlimit ;
|
|
__u16 qs_iwarnlimit ;
|
|
__u64 qs_pad2[8U] ;
|
|
};
|
|
|
|
# 212
|
|
struct dquot;
|
|
|
|
# 19 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/projid.h"
|
|
typedef __kernel_uid32_t projid_t;
|
|
|
|
# 23 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/projid.h"
|
|
struct __anonstruct_kprojid_t_188 {
|
|
projid_t val ;
|
|
};
|
|
|
|
# 23 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/projid.h"
|
|
typedef struct __anonstruct_kprojid_t_188 kprojid_t;
|
|
|
|
# 119 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/uapi/linux/quota.h"
|
|
struct if_dqinfo {
|
|
__u64 dqi_bgrace ;
|
|
__u64 dqi_igrace ;
|
|
__u32 dqi_flags ;
|
|
__u32 dqi_valid ;
|
|
};
|
|
|
|
# 152
|
|
enum quota_type {
|
|
USRQUOTA = 0,
|
|
GRPQUOTA = 1,
|
|
PRJQUOTA = 2
|
|
};
|
|
|
|
# 60 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
typedef long long qsize_t;
|
|
|
|
# 61 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
union __anonunion_189 {
|
|
kuid_t uid ;
|
|
kgid_t gid ;
|
|
kprojid_t projid ;
|
|
};
|
|
|
|
# 61 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct kqid {
|
|
union __anonunion_189 __anonCompField_kqid_64 ;
|
|
enum quota_type type ;
|
|
};
|
|
|
|
# 178 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct mem_dqblk {
|
|
qsize_t dqb_bhardlimit ;
|
|
qsize_t dqb_bsoftlimit ;
|
|
qsize_t dqb_curspace ;
|
|
qsize_t dqb_rsvspace ;
|
|
qsize_t dqb_ihardlimit ;
|
|
qsize_t dqb_isoftlimit ;
|
|
qsize_t dqb_curinodes ;
|
|
time_t dqb_btime ;
|
|
time_t dqb_itime ;
|
|
};
|
|
|
|
# 200
|
|
struct quota_format_type;
|
|
|
|
# 201 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct mem_dqinfo {
|
|
struct quota_format_type *dqi_format ;
|
|
int dqi_fmt_id ;
|
|
struct list_head dqi_dirty_list ;
|
|
unsigned long dqi_flags ;
|
|
unsigned int dqi_bgrace ;
|
|
unsigned int dqi_igrace ;
|
|
qsize_t dqi_maxblimit ;
|
|
qsize_t dqi_maxilimit ;
|
|
void *dqi_priv ;
|
|
};
|
|
|
|
# 264 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct dquot {
|
|
struct hlist_node dq_hash ;
|
|
struct list_head dq_inuse ;
|
|
struct list_head dq_free ;
|
|
struct list_head dq_dirty ;
|
|
struct mutex dq_lock ;
|
|
atomic_t dq_count ;
|
|
wait_queue_head_t dq_wait_unused ;
|
|
struct super_block *dq_sb ;
|
|
struct kqid dq_id ;
|
|
loff_t dq_off ;
|
|
unsigned long dq_flags ;
|
|
struct mem_dqblk dq_dqb ;
|
|
};
|
|
|
|
# 291 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct quota_format_ops {
|
|
int (*check_quota_file)(struct super_block *, int ) ;
|
|
int (*read_file_info)(struct super_block *, int ) ;
|
|
int (*write_file_info)(struct super_block *, int ) ;
|
|
int (*free_file_info)(struct super_block *, int ) ;
|
|
int (*read_dqblk)(struct dquot *) ;
|
|
int (*commit_dqblk)(struct dquot *) ;
|
|
int (*release_dqblk)(struct dquot *) ;
|
|
};
|
|
|
|
# 302 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct dquot_operations {
|
|
int (*write_dquot)(struct dquot *) ;
|
|
struct dquot *(*alloc_dquot)(struct super_block *, int ) ;
|
|
void (*destroy_dquot)(struct dquot *) ;
|
|
int (*acquire_dquot)(struct dquot *) ;
|
|
int (*release_dquot)(struct dquot *) ;
|
|
int (*mark_dirty)(struct dquot *) ;
|
|
int (*write_info)(struct super_block *, int ) ;
|
|
qsize_t *(*get_reserved_space)(struct inode *) ;
|
|
};
|
|
|
|
# 316 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct quotactl_ops {
|
|
int (*quota_on)(struct super_block *, int , int , struct path *) ;
|
|
int (*quota_on_meta)(struct super_block *, int , int ) ;
|
|
int (*quota_off)(struct super_block *, int ) ;
|
|
int (*quota_sync)(struct super_block *, int ) ;
|
|
int (*get_info)(struct super_block *, int , struct if_dqinfo *) ;
|
|
int (*set_info)(struct super_block *, int , struct if_dqinfo *) ;
|
|
int (*get_dqblk)(struct super_block *, struct kqid , struct fs_disk_quota *) ;
|
|
int (*set_dqblk)(struct super_block *, struct kqid , struct fs_disk_quota *) ;
|
|
int (*get_xstate)(struct super_block *, struct fs_quota_stat *) ;
|
|
int (*set_xstate)(struct super_block *, unsigned int , int ) ;
|
|
int (*get_xstatev)(struct super_block *, struct fs_quota_statv *) ;
|
|
};
|
|
|
|
# 333 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct quota_format_type {
|
|
int qf_fmt_id ;
|
|
struct quota_format_ops const *qf_ops ;
|
|
struct module *qf_owner ;
|
|
struct quota_format_type *qf_next ;
|
|
};
|
|
|
|
# 379 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/quota.h"
|
|
struct quota_info {
|
|
unsigned int flags ;
|
|
struct mutex dqio_mutex ;
|
|
struct mutex dqonoff_mutex ;
|
|
struct rw_semaphore dqptr_sem ;
|
|
struct inode *files[2U] ;
|
|
struct mem_dqinfo info[2U] ;
|
|
struct quota_format_ops const *ops[2U] ;
|
|
};
|
|
|
|
# 345 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
union __anonunion_arg_191 {
|
|
char *buf ;
|
|
void *data ;
|
|
};
|
|
|
|
# 345 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct __anonstruct_read_descriptor_t_190 {
|
|
size_t written ;
|
|
size_t count ;
|
|
union __anonunion_arg_191 arg ;
|
|
int error ;
|
|
};
|
|
|
|
# 345 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
typedef struct __anonstruct_read_descriptor_t_190 read_descriptor_t;
|
|
|
|
# 348 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct address_space_operations {
|
|
int (*writepage)(struct page *, struct writeback_control *) ;
|
|
int (*readpage)(struct file *, struct page *) ;
|
|
int (*writepages)(struct address_space *, struct writeback_control *) ;
|
|
int (*set_page_dirty)(struct page *) ;
|
|
int (*readpages)(struct file *, struct address_space *, struct list_head *, unsigned int ) ;
|
|
int (*write_begin)(struct file *, struct address_space *, loff_t , unsigned int , unsigned int , struct page **, void **) ;
|
|
int (*write_end)(struct file *, struct address_space *, loff_t , unsigned int , unsigned int , struct page *, void *) ;
|
|
sector_t (*bmap)(struct address_space *, sector_t ) ;
|
|
void (*invalidatepage)(struct page *, unsigned int , unsigned int ) ;
|
|
int (*releasepage)(struct page *, gfp_t ) ;
|
|
void (*freepage)(struct page *) ;
|
|
ssize_t (*direct_IO)(int , struct kiocb *, struct iovec const *, loff_t , unsigned long ) ;
|
|
int (*get_xip_mem)(struct address_space *, unsigned long , int , void **, unsigned long *) ;
|
|
int (*migratepage)(struct address_space *, struct page *, struct page *, enum migrate_mode ) ;
|
|
int (*launder_page)(struct page *) ;
|
|
int (*is_partially_uptodate)(struct page *, read_descriptor_t *, unsigned long ) ;
|
|
void (*is_dirty_writeback)(struct page *, bool *, bool *) ;
|
|
int (*error_remove_page)(struct address_space *, struct page *) ;
|
|
int (*swap_activate)(struct swap_info_struct *, struct file *, sector_t *) ;
|
|
void (*swap_deactivate)(struct file *) ;
|
|
};
|
|
|
|
# 408 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct address_space {
|
|
struct inode *host ;
|
|
struct radix_tree_root page_tree ;
|
|
spinlock_t tree_lock ;
|
|
unsigned int i_mmap_writable ;
|
|
struct rb_root i_mmap ;
|
|
struct list_head i_mmap_nonlinear ;
|
|
struct mutex i_mmap_mutex ;
|
|
unsigned long nrpages ;
|
|
unsigned long writeback_index ;
|
|
struct address_space_operations const *a_ops ;
|
|
unsigned long flags ;
|
|
struct backing_dev_info *backing_dev_info ;
|
|
spinlock_t private_lock ;
|
|
struct list_head private_list ;
|
|
void *private_data ;
|
|
};
|
|
|
|
# 430
|
|
struct request_queue;
|
|
|
|
# 431
|
|
struct hd_struct;
|
|
|
|
# 431
|
|
struct gendisk;
|
|
|
|
# 431 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct block_device {
|
|
dev_t bd_dev ;
|
|
int bd_openers ;
|
|
struct inode *bd_inode ;
|
|
struct super_block *bd_super ;
|
|
struct mutex bd_mutex ;
|
|
struct list_head bd_inodes ;
|
|
void *bd_claiming ;
|
|
void *bd_holder ;
|
|
int bd_holders ;
|
|
bool bd_write_holder ;
|
|
struct list_head bd_holder_disks ;
|
|
struct block_device *bd_contains ;
|
|
unsigned int bd_block_size ;
|
|
struct hd_struct *bd_part ;
|
|
unsigned int bd_part_count ;
|
|
int bd_invalidated ;
|
|
struct gendisk *bd_disk ;
|
|
struct request_queue *bd_queue ;
|
|
struct list_head bd_list ;
|
|
unsigned long bd_private ;
|
|
int bd_fsfreeze_count ;
|
|
struct mutex bd_fsfreeze_mutex ;
|
|
};
|
|
|
|
# 503
|
|
struct posix_acl;
|
|
|
|
# 504
|
|
struct inode_operations;
|
|
|
|
# 504 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
union __anonunion_192 {
|
|
unsigned int const i_nlink ;
|
|
unsigned int __i_nlink ;
|
|
};
|
|
|
|
# 504 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
union __anonunion_193 {
|
|
struct hlist_head i_dentry ;
|
|
struct callback_head i_rcu ;
|
|
};
|
|
|
|
# 504
|
|
struct file_lock;
|
|
|
|
# 504
|
|
struct cdev;
|
|
|
|
# 504 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
union __anonunion_194 {
|
|
struct pipe_inode_info *i_pipe ;
|
|
struct block_device *i_bdev ;
|
|
struct cdev *i_cdev ;
|
|
};
|
|
|
|
# 504 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct inode {
|
|
umode_t i_mode ;
|
|
unsigned short i_opflags ;
|
|
kuid_t i_uid ;
|
|
kgid_t i_gid ;
|
|
unsigned int i_flags ;
|
|
struct posix_acl *i_acl ;
|
|
struct posix_acl *i_default_acl ;
|
|
struct inode_operations const *i_op ;
|
|
struct super_block *i_sb ;
|
|
struct address_space *i_mapping ;
|
|
void *i_security ;
|
|
unsigned long i_ino ;
|
|
union __anonunion_192 __anonCompField_inode_65 ;
|
|
dev_t i_rdev ;
|
|
loff_t i_size ;
|
|
struct timespec i_atime ;
|
|
struct timespec i_mtime ;
|
|
struct timespec i_ctime ;
|
|
spinlock_t i_lock ;
|
|
unsigned short i_bytes ;
|
|
unsigned int i_blkbits ;
|
|
blkcnt_t i_blocks ;
|
|
unsigned long i_state ;
|
|
struct mutex i_mutex ;
|
|
unsigned long dirtied_when ;
|
|
struct hlist_node i_hash ;
|
|
struct list_head i_wb_list ;
|
|
struct list_head i_lru ;
|
|
struct list_head i_sb_list ;
|
|
union __anonunion_193 __anonCompField_inode_66 ;
|
|
u64 i_version ;
|
|
atomic_t i_count ;
|
|
atomic_t i_dio_count ;
|
|
atomic_t i_writecount ;
|
|
struct file_operations const *i_fop ;
|
|
struct file_lock *i_flock ;
|
|
struct address_space i_data ;
|
|
struct dquot *i_dquot[2U] ;
|
|
struct list_head i_devices ;
|
|
union __anonunion_194 __anonCompField_inode_67 ;
|
|
__u32 i_generation ;
|
|
__u32 i_fsnotify_mask ;
|
|
struct hlist_head i_fsnotify_marks ;
|
|
atomic_t i_readcount ;
|
|
void *i_private ;
|
|
};
|
|
|
|
# 740 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct fown_struct {
|
|
rwlock_t lock ;
|
|
struct pid *pid ;
|
|
enum pid_type pid_type ;
|
|
kuid_t uid ;
|
|
kuid_t euid ;
|
|
int signum ;
|
|
};
|
|
|
|
# 748 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct file_ra_state {
|
|
unsigned long start ;
|
|
unsigned int size ;
|
|
unsigned int async_size ;
|
|
unsigned int ra_pages ;
|
|
unsigned int mmap_miss ;
|
|
loff_t prev_pos ;
|
|
};
|
|
|
|
# 771 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
union __anonunion_f_u_195 {
|
|
struct llist_node fu_llist ;
|
|
struct callback_head fu_rcuhead ;
|
|
};
|
|
|
|
# 771 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct file {
|
|
union __anonunion_f_u_195 f_u ;
|
|
struct path f_path ;
|
|
struct inode *f_inode ;
|
|
struct file_operations const *f_op ;
|
|
spinlock_t f_lock ;
|
|
atomic_long_t f_count ;
|
|
unsigned int f_flags ;
|
|
fmode_t f_mode ;
|
|
struct mutex f_pos_lock ;
|
|
loff_t f_pos ;
|
|
struct fown_struct f_owner ;
|
|
struct cred const *f_cred ;
|
|
struct file_ra_state f_ra ;
|
|
u64 f_version ;
|
|
void *f_security ;
|
|
void *private_data ;
|
|
struct list_head f_ep_links ;
|
|
struct list_head f_tfile_llink ;
|
|
struct address_space *f_mapping ;
|
|
unsigned long f_mnt_write_state ;
|
|
};
|
|
|
|
# 909 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
typedef struct files_struct *fl_owner_t;
|
|
|
|
# 910 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct file_lock_operations {
|
|
void (*fl_copy_lock)(struct file_lock *, struct file_lock *) ;
|
|
void (*fl_release_private)(struct file_lock *) ;
|
|
};
|
|
|
|
# 915 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct lock_manager_operations {
|
|
int (*lm_compare_owner)(struct file_lock *, struct file_lock *) ;
|
|
unsigned long (*lm_owner_key)(struct file_lock *) ;
|
|
void (*lm_notify)(struct file_lock *) ;
|
|
int (*lm_grant)(struct file_lock *, struct file_lock *, int ) ;
|
|
void (*lm_break)(struct file_lock *) ;
|
|
int (*lm_change)(struct file_lock **, int ) ;
|
|
};
|
|
|
|
# 933
|
|
struct nlm_lockowner;
|
|
|
|
# 934 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct nfs_lock_info {
|
|
u32 state ;
|
|
struct nlm_lockowner *owner ;
|
|
struct list_head list ;
|
|
};
|
|
|
|
# 14 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/nfs_fs_i.h"
|
|
struct nfs4_lock_state;
|
|
|
|
# 15 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/nfs_fs_i.h"
|
|
struct nfs4_lock_info {
|
|
struct nfs4_lock_state *owner ;
|
|
};
|
|
|
|
# 19
|
|
struct fasync_struct;
|
|
|
|
# 19 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/nfs_fs_i.h"
|
|
struct __anonstruct_afs_197 {
|
|
struct list_head link ;
|
|
int state ;
|
|
};
|
|
|
|
# 19 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/nfs_fs_i.h"
|
|
union __anonunion_fl_u_196 {
|
|
struct nfs_lock_info nfs_fl ;
|
|
struct nfs4_lock_info nfs4_fl ;
|
|
struct __anonstruct_afs_197 afs ;
|
|
};
|
|
|
|
# 19 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/nfs_fs_i.h"
|
|
struct file_lock {
|
|
struct file_lock *fl_next ;
|
|
struct hlist_node fl_link ;
|
|
struct list_head fl_block ;
|
|
fl_owner_t fl_owner ;
|
|
unsigned int fl_flags ;
|
|
unsigned char fl_type ;
|
|
unsigned int fl_pid ;
|
|
int fl_link_cpu ;
|
|
struct pid *fl_nspid ;
|
|
wait_queue_head_t fl_wait ;
|
|
struct file *fl_file ;
|
|
loff_t fl_start ;
|
|
loff_t fl_end ;
|
|
struct fasync_struct *fl_fasync ;
|
|
unsigned long fl_break_time ;
|
|
unsigned long fl_downgrade_time ;
|
|
struct file_lock_operations const *fl_ops ;
|
|
struct lock_manager_operations const *fl_lmops ;
|
|
union __anonunion_fl_u_196 fl_u ;
|
|
};
|
|
|
|
# 1036 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct fasync_struct {
|
|
spinlock_t fa_lock ;
|
|
int magic ;
|
|
int fa_fd ;
|
|
struct fasync_struct *fa_next ;
|
|
struct file *fa_file ;
|
|
struct callback_head fa_rcu ;
|
|
};
|
|
|
|
# 1228 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct sb_writers {
|
|
struct percpu_counter counter[3U] ;
|
|
wait_queue_head_t wait ;
|
|
int frozen ;
|
|
wait_queue_head_t wait_unfrozen ;
|
|
struct lockdep_map lock_map[3U] ;
|
|
};
|
|
|
|
# 1244
|
|
struct super_operations;
|
|
|
|
# 1244
|
|
struct xattr_handler;
|
|
|
|
# 1244
|
|
struct mtd_info;
|
|
|
|
# 1244 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct super_block {
|
|
struct list_head s_list ;
|
|
dev_t s_dev ;
|
|
unsigned char s_blocksize_bits ;
|
|
unsigned long s_blocksize ;
|
|
loff_t s_maxbytes ;
|
|
struct file_system_type *s_type ;
|
|
struct super_operations const *s_op ;
|
|
struct dquot_operations const *dq_op ;
|
|
struct quotactl_ops const *s_qcop ;
|
|
struct export_operations const *s_export_op ;
|
|
unsigned long s_flags ;
|
|
unsigned long s_magic ;
|
|
struct dentry *s_root ;
|
|
struct rw_semaphore s_umount ;
|
|
int s_count ;
|
|
atomic_t s_active ;
|
|
void *s_security ;
|
|
struct xattr_handler const **s_xattr ;
|
|
struct list_head s_inodes ;
|
|
struct hlist_bl_head s_anon ;
|
|
struct list_head s_mounts ;
|
|
struct block_device *s_bdev ;
|
|
struct backing_dev_info *s_bdi ;
|
|
struct mtd_info *s_mtd ;
|
|
struct hlist_node s_instances ;
|
|
struct quota_info s_dquot ;
|
|
struct sb_writers s_writers ;
|
|
char s_id[32U] ;
|
|
u8 s_uuid[16U] ;
|
|
void *s_fs_info ;
|
|
unsigned int s_max_links ;
|
|
fmode_t s_mode ;
|
|
u32 s_time_gran ;
|
|
struct mutex s_vfs_rename_mutex ;
|
|
char *s_subtype ;
|
|
char *s_options ;
|
|
struct dentry_operations const *s_d_op ;
|
|
int cleancache_poolid ;
|
|
struct shrinker s_shrink ;
|
|
atomic_long_t s_remove_count ;
|
|
int s_readonly_remount ;
|
|
struct workqueue_struct *s_dio_done_wq ;
|
|
struct list_lru s_dentry_lru ;
|
|
struct list_lru s_inode_lru ;
|
|
struct callback_head rcu ;
|
|
};
|
|
|
|
# 1474 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct fiemap_extent_info {
|
|
unsigned int fi_flags ;
|
|
unsigned int fi_extents_mapped ;
|
|
unsigned int fi_extents_max ;
|
|
struct fiemap_extent *fi_extents_start ;
|
|
};
|
|
|
|
# 1512 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct dir_context {
|
|
int (*actor)(void *, char const *, int , loff_t , u64 , unsigned int ) ;
|
|
loff_t pos ;
|
|
};
|
|
|
|
# 1517 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct file_operations {
|
|
struct module *owner ;
|
|
loff_t (*llseek)(struct file *, loff_t , int ) ;
|
|
ssize_t (*read)(struct file *, char *, size_t , loff_t *) ;
|
|
ssize_t (*write)(struct file *, char const *, size_t , loff_t *) ;
|
|
ssize_t (*aio_read)(struct kiocb *, struct iovec const *, unsigned long , loff_t ) ;
|
|
ssize_t (*aio_write)(struct kiocb *, struct iovec const *, unsigned long , loff_t ) ;
|
|
int (*iterate)(struct file *, struct dir_context *) ;
|
|
unsigned int (*poll)(struct file *, struct poll_table_struct *) ;
|
|
long (*unlocked_ioctl)(struct file *, unsigned int , unsigned long ) ;
|
|
long (*compat_ioctl)(struct file *, unsigned int , unsigned long ) ;
|
|
int (*mmap)(struct file *, struct vm_area_struct *) ;
|
|
int (*open)(struct inode *, struct file *) ;
|
|
int (*flush)(struct file *, fl_owner_t ) ;
|
|
int (*release)(struct inode *, struct file *) ;
|
|
int (*fsync)(struct file *, loff_t , loff_t , int ) ;
|
|
int (*aio_fsync)(struct kiocb *, int ) ;
|
|
int (*fasync)(int , struct file *, int ) ;
|
|
int (*lock)(struct file *, int , struct file_lock *) ;
|
|
ssize_t (*sendpage)(struct file *, struct page *, int , size_t , loff_t *, int ) ;
|
|
unsigned long (*get_unmapped_area)(struct file *, unsigned long , unsigned long , unsigned long , unsigned long ) ;
|
|
int (*check_flags)(int ) ;
|
|
int (*flock)(struct file *, int , struct file_lock *) ;
|
|
ssize_t (*splice_write)(struct pipe_inode_info *, struct file *, loff_t *, size_t , unsigned int ) ;
|
|
ssize_t (*splice_read)(struct file *, loff_t *, struct pipe_inode_info *, size_t , unsigned int ) ;
|
|
int (*setlease)(struct file *, long , struct file_lock **) ;
|
|
long (*fallocate)(struct file *, int , loff_t , loff_t ) ;
|
|
int (*show_fdinfo)(struct seq_file *, struct file *) ;
|
|
};
|
|
|
|
# 1555 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct inode_operations {
|
|
struct dentry *(*lookup)(struct inode *, struct dentry *, unsigned int ) ;
|
|
void *(*follow_link)(struct dentry *, struct nameidata *) ;
|
|
int (*permission)(struct inode *, int ) ;
|
|
struct posix_acl *(*get_acl)(struct inode *, int ) ;
|
|
int (*readlink)(struct dentry *, char *, int ) ;
|
|
void (*put_link)(struct dentry *, struct nameidata *, void *) ;
|
|
int (*create)(struct inode *, struct dentry *, umode_t , bool ) ;
|
|
int (*link)(struct dentry *, struct inode *, struct dentry *) ;
|
|
int (*unlink)(struct inode *, struct dentry *) ;
|
|
int (*symlink)(struct inode *, struct dentry *, char const *) ;
|
|
int (*mkdir)(struct inode *, struct dentry *, umode_t ) ;
|
|
int (*rmdir)(struct inode *, struct dentry *) ;
|
|
int (*mknod)(struct inode *, struct dentry *, umode_t , dev_t ) ;
|
|
int (*rename)(struct inode *, struct dentry *, struct inode *, struct dentry *) ;
|
|
int (*setattr)(struct dentry *, struct iattr *) ;
|
|
int (*getattr)(struct vfsmount *, struct dentry *, struct kstat *) ;
|
|
int (*setxattr)(struct dentry *, char const *, void const *, size_t , int ) ;
|
|
ssize_t (*getxattr)(struct dentry *, char const *, void *, size_t ) ;
|
|
ssize_t (*listxattr)(struct dentry *, char *, size_t ) ;
|
|
int (*removexattr)(struct dentry *, char const *) ;
|
|
int (*fiemap)(struct inode *, struct fiemap_extent_info *, u64 , u64 ) ;
|
|
int (*update_time)(struct inode *, struct timespec *, int ) ;
|
|
int (*atomic_open)(struct inode *, struct dentry *, struct file *, unsigned int , umode_t , int *) ;
|
|
int (*tmpfile)(struct inode *, struct dentry *, umode_t ) ;
|
|
int (*set_acl)(struct inode *, struct posix_acl *, int ) ;
|
|
};
|
|
|
|
# 1600 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct super_operations {
|
|
struct inode *(*alloc_inode)(struct super_block *) ;
|
|
void (*destroy_inode)(struct inode *) ;
|
|
void (*dirty_inode)(struct inode *, int ) ;
|
|
int (*write_inode)(struct inode *, struct writeback_control *) ;
|
|
int (*drop_inode)(struct inode *) ;
|
|
void (*evict_inode)(struct inode *) ;
|
|
void (*put_super)(struct super_block *) ;
|
|
int (*sync_fs)(struct super_block *, int ) ;
|
|
int (*freeze_fs)(struct super_block *) ;
|
|
int (*unfreeze_fs)(struct super_block *) ;
|
|
int (*statfs)(struct dentry *, struct kstatfs *) ;
|
|
int (*remount_fs)(struct super_block *, int *, char *) ;
|
|
void (*umount_begin)(struct super_block *) ;
|
|
int (*show_options)(struct seq_file *, struct dentry *) ;
|
|
int (*show_devname)(struct seq_file *, struct dentry *) ;
|
|
int (*show_path)(struct seq_file *, struct dentry *) ;
|
|
int (*show_stats)(struct seq_file *, struct dentry *) ;
|
|
ssize_t (*quota_read)(struct super_block *, int , char *, size_t , loff_t ) ;
|
|
ssize_t (*quota_write)(struct super_block *, int , char const *, size_t , loff_t ) ;
|
|
int (*bdev_try_to_free_page)(struct super_block *, struct page *, gfp_t ) ;
|
|
long (*nr_cached_objects)(struct super_block *, int ) ;
|
|
long (*free_cached_objects)(struct super_block *, long , int ) ;
|
|
};
|
|
|
|
# 1814 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/fs.h"
|
|
struct file_system_type {
|
|
char const *name ;
|
|
int fs_flags ;
|
|
struct dentry *(*mount)(struct file_system_type *, int , char const *, void *) ;
|
|
void (*kill_sb)(struct super_block *) ;
|
|
struct module *owner ;
|
|
struct file_system_type *next ;
|
|
struct hlist_head fs_supers ;
|
|
struct lock_class_key s_lock_key ;
|
|
struct lock_class_key s_umount_key ;
|
|
struct lock_class_key s_vfs_rename_key ;
|
|
struct lock_class_key s_writers_key[3U] ;
|
|
struct lock_class_key i_lock_key ;
|
|
struct lock_class_key i_mutex_key ;
|
|
struct lock_class_key i_mutex_dir_key ;
|
|
};
|
|
|
|
# 129 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/stop_machine.h"
|
|
struct fbd_ioat {
|
|
unsigned int vendor ;
|
|
unsigned int ioat_dev ;
|
|
unsigned int enabled ;
|
|
};
|
|
|
|
# 68 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/dma/ioat/hw.h"
|
|
struct __anonstruct_ctl_f_199 {
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) int_en : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) src_snoop_dis : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) dest_snoop_dis : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) compl_write : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) fence : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) null : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) src_brk : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) dest_brk : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) bundle : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) dest_dca : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(1))) hint : 1 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(13))) rsvd2 : 13 ;
|
|
unsigned int __attribute__((__FRAMA_C_BITFIELD_SIZE__(8))) op : 8 ;
|
|
};
|
|
|
|
# 68 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/dma/ioat/hw.h"
|
|
union __anonunion_198 {
|
|
uint32_t ctl ;
|
|
struct __anonstruct_ctl_f_199 ctl_f ;
|
|
};
|
|
|
|
# 68 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/dma/ioat/hw.h"
|
|
union __anonunion_200 {
|
|
uint64_t user1 ;
|
|
uint64_t tx_cnt ;
|
|
};
|
|
|
|
# 68 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/dma/ioat/hw.h"
|
|
struct ioat_dma_descriptor {
|
|
uint32_t size ;
|
|
union __anonunion_198 __anonCompField_ioat_dma_descriptor_68 ;
|
|
uint64_t src_addr ;
|
|
uint64_t dst_addr ;
|
|
uint64_t next ;
|
|
uint64_t rsv1 ;
|
|
uint64_t rsv2 ;
|
|
union __anonunion_200 __anonCompField_ioat_dma_descriptor_69 ;
|
|
uint64_t user2 ;
|
|
};
|
|
|
|
# 41 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/verifier/nondet.h"
|
|
struct device_private {
|
|
void *driver_data ;
|
|
};
|
|
|
|
# 32 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/poll.h"
|
|
struct poll_table_struct {
|
|
void (*_qproc)(struct file *, wait_queue_head_t *, struct poll_table_struct *) ;
|
|
unsigned long _key ;
|
|
};
|
|
|
|
# 15 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/weaver/.tmp_i7300_idle.c.aux"
|
|
void *ldv_io_mem_remap(void);
|
|
|
|
|
|
# 16
|
|
void ldv_io_mem_unmap(void);
|
|
|
|
|
|
# 668 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/cpumask.h"
|
|
bool zalloc_cpumask_var(cpumask_var_t **arg, gfp_t arg1);
|
|
|
|
|
|
# 53 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/io.h"
|
|
__inline static unsigned char readb(void const volatile *addr)
|
|
{
|
|
unsigned char ret;
|
|
|
|
# 53
|
|
return ret;
|
|
}
|
|
|
|
|
|
# 54 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/io.h"
|
|
__inline static unsigned short readw(void const volatile *addr)
|
|
{
|
|
unsigned short ret;
|
|
|
|
# 54
|
|
return ret;
|
|
}
|
|
|
|
|
|
# 84 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/io.h"
|
|
__inline static unsigned long readq(void const volatile *addr)
|
|
{
|
|
unsigned long ret;
|
|
|
|
# 84
|
|
return ret;
|
|
}
|
|
|
|
|
|
# 181
|
|
static void *ldv_ioremap_nocache_23(resource_size_t ldv_func_arg1, unsigned long ldv_func_arg2);
|
|
|
|
|
|
# 202
|
|
static void ldv_iounmap_24(void volatile *ldv_func_arg1);
|
|
|
|
|
|
# 206
|
|
static void ldv_iounmap_25(void volatile *ldv_func_arg1);
|
|
|
|
|
|
# 814 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
struct pci_dev *pci_get_domain_bus_and_slot(int arg, unsigned int arg1, unsigned int arg2);
|
|
|
|
|
|
# 816 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/pci.h"
|
|
__inline static struct pci_dev *pci_get_bus_and_slot(unsigned int bus, unsigned int devfn)
|
|
{
|
|
struct pci_dev *tmp;
|
|
|
|
# 819
|
|
tmp = pci_get_domain_bus_and_slot(0,bus,devfn);
|
|
|
|
# 819
|
|
return tmp;
|
|
}
|
|
|
|
|
|
# 70 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/dma-mapping.h"
|
|
__inline static int is_device_dma_capable(struct device *dev)
|
|
{
|
|
int __retres;
|
|
|
|
# 72
|
|
__retres = (dev->dma_mask != (u64 *)0ULL && *(dev->dma_mask) != 0ULL) != 0;
|
|
|
|
# 72
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 27 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/dma-mapping.h"
|
|
extern struct device x86_dma_fallback_dev;
|
|
|
|
|
|
# 30
|
|
extern struct dma_map_ops *dma_ops;
|
|
|
|
|
|
# 32 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/dma-mapping.h"
|
|
__inline static struct dma_map_ops *get_dma_ops(struct device *dev)
|
|
{
|
|
struct dma_map_ops *__retres;
|
|
|
|
# 37
|
|
if ((long)(dev == (struct device *)0) != 0L || dev->archdata.dma_ops == (struct dma_map_ops *)0)
|
|
|
|
# 38
|
|
__retres = dma_ops; else
|
|
# 40
|
|
__retres = dev->archdata.dma_ops;
|
|
|
|
# 37
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 103 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/dma-mapping.h"
|
|
__inline static unsigned long dma_alloc_coherent_mask(struct device *dev, gfp_t gfp)
|
|
{
|
|
|
|
# 106
|
|
unsigned long dma_mask = 0UL;
|
|
|
|
# 108
|
|
dma_mask = (unsigned long)dev->coherent_dma_mask;
|
|
|
|
# 109
|
|
if (dma_mask == 0UL) {
|
|
unsigned long long tmp;
|
|
|
|
# 110
|
|
if ((gfp & 1U) != 0U)
|
|
# 110
|
|
tmp = 16777215ULL; else
|
|
# 110
|
|
tmp = 4294967295ULL;
|
|
|
|
# 110
|
|
dma_mask = (unsigned long)tmp;
|
|
}
|
|
else ;
|
|
|
|
# 112
|
|
return dma_mask;
|
|
}
|
|
|
|
|
|
# 115 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/dma-mapping.h"
|
|
__inline static gfp_t dma_alloc_coherent_gfp_flags(struct device *dev, gfp_t gfp)
|
|
{
|
|
unsigned long tmp;
|
|
|
|
# 117
|
|
tmp = dma_alloc_coherent_mask(dev,gfp);
|
|
|
|
# 117
|
|
unsigned long dma_mask = tmp;
|
|
|
|
# 119
|
|
if (dma_mask <= 16777215UL)
|
|
# 120
|
|
gfp |= 1U; else ;
|
|
|
|
# 122
|
|
if (dma_mask <= 4294967295UL && (gfp & 1U) == 0U)
|
|
# 123
|
|
gfp |= 4U; else ;
|
|
|
|
# 125
|
|
return gfp;
|
|
}
|
|
|
|
|
|
# 131 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/arch/x86/include/asm/dma-mapping.h"
|
|
__inline static void *dma_alloc_attrs(struct device *dev, size_t size, dma_addr_t *dma_handle, gfp_t gfp, struct dma_attrs *attrs)
|
|
{
|
|
int nondet_stub;
|
|
void *__retres;
|
|
struct dma_map_ops *tmp;
|
|
void *memory;
|
|
int tmp_0;
|
|
gfp_t tmp_1;
|
|
|
|
# 134
|
|
tmp = get_dma_ops(dev);
|
|
|
|
# 134
|
|
struct dma_map_ops *ops = tmp;
|
|
|
|
# 137
|
|
gfp &= 4294967288U;
|
|
|
|
# 142
|
|
if (dev == (struct device *)0)
|
|
# 143
|
|
dev = & x86_dma_fallback_dev; else ;
|
|
|
|
# 145
|
|
tmp_0 = is_device_dma_capable(dev);
|
|
|
|
# 145
|
|
if (tmp_0 == 0) {
|
|
|
|
# 146
|
|
__retres = (void *)0;
|
|
|
|
# 146
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 148
|
|
if (ops->alloc == (void *(*)(struct device *, size_t , dma_addr_t *, gfp_t , struct dma_attrs *))0) {
|
|
|
|
# 149
|
|
__retres = (void *)0;
|
|
|
|
# 149
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 151
|
|
;
|
|
|
|
# 151
|
|
tmp_1 = dma_alloc_coherent_gfp_flags(dev,gfp);
|
|
|
|
# 151
|
|
;
|
|
|
|
# 151
|
|
;
|
|
|
|
# 151
|
|
;
|
|
|
|
# 151
|
|
nondet_stub = __VERIFIER_nondet_int();
|
|
|
|
# 151
|
|
memory = (void *)nondet_stub;
|
|
|
|
# 155
|
|
__retres = memory;
|
|
return_label:
|
|
# 155
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 29 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/i7300_idle.h"
|
|
static struct fbd_ioat const fbd_ioat_list[3U] = {{.vendor = 32902U, .ioat_dev = 13835U, .enabled = 1U}, {.vendor = 32902U, .ioat_dev = 6712U, .enabled = 0U}, {.vendor = 0U, .ioat_dev = 0U, .enabled = 0U}};
|
|
|
|
# 36 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/i7300_idle.h"
|
|
static struct pci_device_id const pci_tbl[3U] = {{.vendor = 32902U, .device = 13836U, .subvendor = 4294967295U, .subdevice = 4294967295U, .class = 0U, .class_mask = 0U, .driver_data = 0UL}, {.vendor = 32902U, .device = 9712U, .subvendor = 4294967295U, .subdevice = 4294967295U, .class = 0U, .class_mask = 0U, .driver_data = 0UL}, {.vendor = 0U, .device = 0U, .subvendor = 0U, .subdevice = 0U, .class = 0U, .class_mask = 0U, .driver_data = 0UL}};
|
|
|
|
# 43 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/include/linux/i7300_idle.h"
|
|
__inline static int i7300_idle_platform_probe(struct pci_dev **fbd_dev_0, struct pci_dev **ioat_dev_0, int enable_all)
|
|
{
|
|
int __retres;
|
|
int i;
|
|
struct pci_dev *memdev;
|
|
struct pci_dev *dmadev;
|
|
|
|
# 50
|
|
memdev = pci_get_bus_and_slot(0U,129U);
|
|
|
|
# 51
|
|
if (memdev == (struct pci_dev *)0) {
|
|
|
|
# 52
|
|
__retres = -19;
|
|
|
|
# 52
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 54
|
|
i = 0;
|
|
|
|
# 54
|
|
goto ldv_29666;
|
|
ldv_29665:
|
|
# 55
|
|
if ((unsigned int)memdev->vendor == pci_tbl[i].vendor && (unsigned int)memdev->device == pci_tbl[i].device)
|
|
|
|
# 57
|
|
goto ldv_29664; else ;
|
|
|
|
# 54
|
|
i += 1;
|
|
ldv_29666:
|
|
# 54
|
|
if (pci_tbl[i].vendor != 0U)
|
|
# 56
|
|
goto ldv_29665; else ;
|
|
ldv_29664:
|
|
# 60
|
|
if (pci_tbl[i].vendor == 0U) {
|
|
|
|
# 61
|
|
__retres = -19;
|
|
|
|
# 61
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 63
|
|
dmadev = pci_get_bus_and_slot(0U,64U);
|
|
|
|
# 64
|
|
if (dmadev == (struct pci_dev *)0) {
|
|
|
|
# 65
|
|
__retres = -19;
|
|
|
|
# 65
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 67
|
|
i = 0;
|
|
|
|
# 67
|
|
goto ldv_29669;
|
|
ldv_29668:
|
|
# 68
|
|
if ((unsigned int)dmadev->vendor == fbd_ioat_list[i].vendor && (unsigned int)dmadev->device == fbd_ioat_list[i].ioat_dev) {
|
|
|
|
# 70
|
|
if (fbd_ioat_list[i].enabled == 0U && enable_all == 0)
|
|
|
|
# 71
|
|
goto ldv_29667; else ;
|
|
|
|
# 77
|
|
__retres = 0;
|
|
|
|
# 77
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
ldv_29667:
|
|
# 67
|
|
i += 1;
|
|
ldv_29669:
|
|
# 67
|
|
if (fbd_ioat_list[i].vendor != 0U)
|
|
# 69
|
|
goto ldv_29668; else ;
|
|
ldv_29670:
|
|
# 80
|
|
__retres = -19;
|
|
return_label:
|
|
# 80
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 45 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static int forceload;
|
|
|
|
# 76 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static struct pci_dev *fbd_dev;
|
|
|
|
# 85 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static cpumask_var_t idle_cpumask;
|
|
|
|
# 98 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static struct pci_dev *ioat_dev;
|
|
|
|
# 99 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static struct ioat_dma_descriptor *ioat_desc;
|
|
|
|
# 100 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static unsigned long ioat_desc_phys;
|
|
|
|
# 101 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static u8 *ioat_iomap;
|
|
|
|
# 102 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static u8 *ioat_chanbase;
|
|
|
|
# 144 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static int i7300_idle_ioat_selftest(u8 *ctl, struct ioat_dma_descriptor *desc, unsigned long desc_phys)
|
|
{
|
|
int __retres;
|
|
u64 chan_sts;
|
|
unsigned long tmp;
|
|
|
|
# 152
|
|
desc->size = 1024U;
|
|
|
|
# 163
|
|
tmp = readq((void const volatile *)(ioat_chanbase + 4U));
|
|
|
|
# 163
|
|
chan_sts = (unsigned long long)tmp & 7ULL;
|
|
|
|
# 166
|
|
if (chan_sts != 1ULL) {
|
|
|
|
# 170
|
|
__retres = -1;
|
|
|
|
# 170
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 173
|
|
if (*((u32 *)desc + 3068U) != 2880154539U || *((u32 *)desc + 2044U) != 2880154539U) {
|
|
|
|
# 179
|
|
__retres = -1;
|
|
|
|
# 179
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 181
|
|
__retres = 0;
|
|
return_label:
|
|
# 181
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 184 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static struct device dummy_dma_dev = {.dma_mask = & dummy_dma_dev.coherent_dma_mask, .coherent_dma_mask = 18446744073709551615ULL, .archdata = {.dma_ops = (struct dma_map_ops *)0, .iommu = (void *)0}};
|
|
|
|
# 195 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static int i7300_idle_ioat_init(void)
|
|
{
|
|
int __retres;
|
|
u8 ver;
|
|
u8 chan_count;
|
|
u8 ioat_chan;
|
|
u16 chan_ctl;
|
|
void *tmp_0;
|
|
resource_size_t tmp;
|
|
void *tmp_1;
|
|
int tmp_2;
|
|
|
|
# 200
|
|
tmp_0 = ldv_ioremap_nocache_23(ioat_dev->resource[0].start,(unsigned long)tmp);
|
|
|
|
# 200
|
|
ioat_iomap = (u8 *)tmp_0;
|
|
|
|
# 203
|
|
if (ioat_iomap == (u8 *)0U)
|
|
# 205
|
|
goto err_ret; else ;
|
|
|
|
# 208
|
|
ver = readb((void const volatile *)(ioat_iomap + 8U));
|
|
|
|
# 209
|
|
if ((unsigned int)ver != 18U)
|
|
# 212
|
|
goto err_free; else ;
|
|
|
|
# 215
|
|
chan_count = readb((void const volatile *)ioat_iomap);
|
|
|
|
# 216
|
|
if ((unsigned int)chan_count == 0U)
|
|
# 220
|
|
goto err_free; else ;
|
|
|
|
# 226
|
|
chan_ctl = readw((void const volatile *)ioat_chanbase);
|
|
|
|
# 227
|
|
if (((int)chan_ctl & 256) != 0)
|
|
# 229
|
|
goto err_free; else ;
|
|
|
|
# 235
|
|
tmp_1 = dma_alloc_attrs(& dummy_dma_dev,4096UL,(dma_addr_t *)(& ioat_desc_phys),208U,(struct dma_attrs *)0);
|
|
|
|
# 235
|
|
ioat_desc = (struct ioat_dma_descriptor *)tmp_1;
|
|
|
|
# 238
|
|
if (ioat_desc == (struct ioat_dma_descriptor *)0)
|
|
# 240
|
|
goto err_free; else ;
|
|
|
|
# 248
|
|
tmp_2 = i7300_idle_ioat_selftest(ioat_iomap,ioat_desc,ioat_desc_phys);
|
|
|
|
# 248
|
|
if (tmp_2 != 0)
|
|
# 250
|
|
goto err_free; else ;
|
|
|
|
# 257
|
|
ioat_desc->size = 128U;
|
|
|
|
# 263
|
|
(ioat_desc + 1U)->size = ioat_desc->size;
|
|
|
|
# 266
|
|
__retres = 0;
|
|
|
|
# 266
|
|
goto return_label;
|
|
err_free:
|
|
# 273
|
|
ldv_iounmap_24((void volatile *)ioat_iomap);
|
|
err_ret:
|
|
# 275
|
|
__retres = -19;
|
|
return_label:
|
|
# 275
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 279 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static void i7300_idle_ioat_exit(void)
|
|
{
|
|
int i;
|
|
u64 chan_sts;
|
|
unsigned long tmp;
|
|
unsigned long tmp_0;
|
|
|
|
# 287
|
|
i = 0;
|
|
|
|
# 287
|
|
goto ldv_29944;
|
|
ldv_29943: { /* sequence */
|
|
|
|
# 291
|
|
tmp = readq((void const volatile *)(ioat_chanbase + 4U));
|
|
|
|
# 291
|
|
chan_sts = (unsigned long long)tmp & 7ULL;
|
|
}
|
|
|
|
# 294
|
|
if (chan_sts != 0ULL)
|
|
# 296
|
|
goto ldv_29942; else ;
|
|
|
|
# 287
|
|
i += 1;
|
|
ldv_29944:
|
|
# 287
|
|
if (i <= 9)
|
|
# 289
|
|
goto ldv_29943; else ;
|
|
ldv_29942: { /* sequence */
|
|
|
|
# 301
|
|
tmp_0 = readq((void const volatile *)(ioat_chanbase + 4U));
|
|
|
|
# 301
|
|
chan_sts = (unsigned long long)tmp_0 & 7ULL;
|
|
}
|
|
|
|
# 309
|
|
if (chan_sts == 0ULL)
|
|
# 312
|
|
goto return_label; else ;
|
|
|
|
# 316
|
|
ldv_iounmap_25((void volatile *)ioat_iomap);
|
|
return_label:
|
|
# 317
|
|
return;
|
|
}
|
|
|
|
|
|
# 346 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static int i7300_idle_thrt_save(void)
|
|
{
|
|
int __retres;
|
|
u32 new_mc_val;
|
|
u8 gblactlm;
|
|
|
|
# 374
|
|
if ((unsigned int)gblactlm == 0U)
|
|
# 377
|
|
__retres = 0; else
|
|
# 380
|
|
__retres = -19;
|
|
|
|
# 374
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 549 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static int i7300_idle_init(void)
|
|
{
|
|
int __retres;
|
|
int tmp;
|
|
int tmp_0;
|
|
int tmp_1;
|
|
int tmp_3;
|
|
bool tmp_2;
|
|
|
|
# 554
|
|
tmp = i7300_idle_platform_probe(& fbd_dev,& ioat_dev,forceload);
|
|
|
|
# 554
|
|
if (tmp != 0) {
|
|
|
|
# 555
|
|
__retres = -19;
|
|
|
|
# 555
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 557
|
|
tmp_0 = i7300_idle_thrt_save();
|
|
|
|
# 557
|
|
if (tmp_0 != 0) {
|
|
|
|
# 558
|
|
__retres = -19;
|
|
|
|
# 558
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 560
|
|
tmp_1 = i7300_idle_ioat_init();
|
|
|
|
# 560
|
|
if (tmp_1 != 0) {
|
|
|
|
# 561
|
|
__retres = -19;
|
|
|
|
# 561
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 563
|
|
tmp_2 = zalloc_cpumask_var((cpumask_var_t **)(& idle_cpumask),208U);
|
|
|
|
# 563
|
|
if (tmp_2)
|
|
# 563
|
|
tmp_3 = 0; else
|
|
# 563
|
|
tmp_3 = 1;
|
|
|
|
# 563
|
|
if (tmp_3) {
|
|
|
|
# 564
|
|
__retres = -12;
|
|
|
|
# 564
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
ldv_30095:
|
|
# 584
|
|
__retres = 0;
|
|
return_label:
|
|
# 584
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 587 "/home/novikov/work/klever-data/build bases/linux-3.14.79/Storage/home/novikov/work/klever-data/linux-stable/drivers/idle/i7300_idle.c"
|
|
static void i7300_idle_exit(void)
|
|
{
|
|
ldv_30102:
|
|
# 603
|
|
i7300_idle_ioat_exit();
|
|
|
|
# 604
|
|
return;
|
|
}
|
|
|
|
|
|
# 47 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/weaver/.tmp_i7300_idle.c.aux"
|
|
int ldv_emg_i7300_idle_init(void)
|
|
{
|
|
int tmp;
|
|
|
|
# 48
|
|
tmp = i7300_idle_init();
|
|
|
|
# 48
|
|
return tmp;
|
|
}
|
|
|
|
|
|
# 51 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/weaver/.tmp_i7300_idle.c.aux"
|
|
void ldv_emg_i7300_idle_exit(void)
|
|
{
|
|
|
|
# 52
|
|
i7300_idle_exit();
|
|
|
|
# 53
|
|
return;
|
|
}
|
|
|
|
|
|
# 210 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/weaver/.tmp_i7300_idle.c.aux"
|
|
static void *ldv_ioremap_nocache_23(resource_size_t ldv_func_arg1, unsigned long ldv_func_arg2)
|
|
{
|
|
void *tmp;
|
|
|
|
# 213
|
|
tmp = ldv_io_mem_remap();
|
|
|
|
# 213
|
|
return tmp;
|
|
}
|
|
|
|
|
|
# 217 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/weaver/.tmp_i7300_idle.c.aux"
|
|
static void ldv_iounmap_24(void volatile *ldv_func_arg1)
|
|
{
|
|
|
|
# 220
|
|
ldv_io_mem_unmap();
|
|
|
|
# 221
|
|
return;
|
|
}
|
|
|
|
|
|
# 224 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/weaver/.tmp_i7300_idle.c.aux"
|
|
static void ldv_iounmap_25(void volatile *ldv_func_arg1)
|
|
{
|
|
|
|
# 227
|
|
ldv_io_mem_unmap();
|
|
|
|
# 228
|
|
return;
|
|
}
|
|
|
|
|
|
# 1 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/rsg/models/io.bk.c"
|
|
void ldv_assert_linux_arch_io__less_initial_decrement(int expr);
|
|
|
|
|
|
# 2
|
|
void ldv_assert_linux_arch_io__more_initial_at_exit(int expr);
|
|
|
|
|
|
# 62 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/linux/ldv/common.h"
|
|
void ldv_initialize(void);
|
|
|
|
|
|
# 76
|
|
void ldv_check_final_state(void);
|
|
|
|
|
|
# 112
|
|
int ldv_post_init(int init_ret_val);
|
|
|
|
|
|
# 22 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/verifier/common.h"
|
|
void __VERIFIER_error(void);
|
|
|
|
|
|
# 23
|
|
void __VERIFIER_assume(int arg);
|
|
|
|
|
|
# 23 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/verifier/nondet.h"
|
|
int ldv_undef_int(void);
|
|
|
|
|
|
# 28
|
|
void *ldv_undef_ptr(void);
|
|
|
|
|
|
# 22 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/linux/arch/io.c"
|
|
int ldv_iomem = 0;
|
|
|
|
# 25 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/linux/arch/io.c"
|
|
void *ldv_io_mem_remap(void)
|
|
{
|
|
void *__retres;
|
|
void *tmp;
|
|
|
|
# 27
|
|
tmp = ldv_undef_ptr();
|
|
|
|
# 27
|
|
void *ptr = tmp;
|
|
|
|
# 29
|
|
if (ptr != (void *)0) {
|
|
|
|
# 31
|
|
ldv_iomem += 1;
|
|
|
|
# 33
|
|
__retres = ptr;
|
|
|
|
# 33
|
|
goto return_label;
|
|
}
|
|
else ;
|
|
|
|
# 36
|
|
__retres = ptr;
|
|
return_label:
|
|
# 36
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 40 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/linux/arch/io.c"
|
|
void ldv_io_mem_unmap(void)
|
|
{
|
|
|
|
# 43
|
|
ldv_assert_linux_arch_io__less_initial_decrement(ldv_iomem > 0);
|
|
|
|
# 45
|
|
ldv_iomem -= 1;
|
|
|
|
# 46
|
|
return;
|
|
}
|
|
|
|
|
|
# 49 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/linux/arch/io.c"
|
|
void ldv_check_final_state(void)
|
|
{
|
|
|
|
# 52
|
|
ldv_assert_linux_arch_io__more_initial_at_exit(ldv_iomem == 0);
|
|
|
|
# 53
|
|
return;
|
|
}
|
|
|
|
|
|
# 44 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/linux/ldv/common.c"
|
|
static int ldv_filter_positive_int(int val)
|
|
{
|
|
|
|
# 46
|
|
__VERIFIER_assume(val <= 0);
|
|
|
|
# 47
|
|
return val;
|
|
}
|
|
|
|
|
|
# 54 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/linux/ldv/common.c"
|
|
int ldv_post_init(int init_ret_val)
|
|
{
|
|
int tmp;
|
|
|
|
# 56
|
|
tmp = ldv_filter_positive_int(init_ret_val);
|
|
|
|
# 56
|
|
return tmp;
|
|
}
|
|
|
|
|
|
# 29 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/verifier/nondet.c"
|
|
int __VERIFIER_nondet_int(void);
|
|
|
|
|
|
# 43
|
|
void *__VERIFIER_nondet_pointer(void);
|
|
|
|
|
|
# 46 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/verifier/nondet.c"
|
|
int ldv_undef_int(void)
|
|
{
|
|
int tmp;
|
|
|
|
# 48
|
|
tmp = __VERIFIER_nondet_int();
|
|
|
|
# 48
|
|
return tmp;
|
|
}
|
|
|
|
|
|
# 61 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/root/specifications/verifier/nondet.c"
|
|
void *ldv_undef_ptr(void)
|
|
{
|
|
void *tmp;
|
|
|
|
# 63
|
|
tmp = __VERIFIER_nondet_pointer();
|
|
|
|
# 63
|
|
return tmp;
|
|
}
|
|
|
|
|
|
# 31 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/emg/environment_model.c"
|
|
void ldv_insmod_1(void *arg0);
|
|
|
|
|
|
# 32
|
|
int main(void);
|
|
|
|
|
|
# 298 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/emg/environment_model.c"
|
|
void ldv_insmod_1(void *arg0)
|
|
{
|
|
int ldv_1_ret;
|
|
int tmp;
|
|
|
|
# 305
|
|
ldv_1_ret = ldv_emg_i7300_idle_init();
|
|
|
|
# 306
|
|
ldv_1_ret = ldv_post_init(ldv_1_ret);
|
|
|
|
# 309
|
|
tmp = ldv_undef_int();
|
|
|
|
# 309
|
|
if (tmp != 0)
|
|
# 311
|
|
__VERIFIER_assume(ldv_1_ret != 0);
|
|
else {
|
|
|
|
# 319
|
|
__VERIFIER_assume(ldv_1_ret == 0);
|
|
|
|
# 324
|
|
ldv_emg_i7300_idle_exit();
|
|
}
|
|
|
|
# 331
|
|
return;
|
|
}
|
|
|
|
|
|
# 336 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/emg/environment_model.c"
|
|
int main(void)
|
|
{
|
|
int __retres;
|
|
|
|
# 339
|
|
ldv_initialize();
|
|
|
|
# 342
|
|
ldv_insmod_1((void *)0);
|
|
|
|
# 345
|
|
ldv_check_final_state();
|
|
|
|
# 347
|
|
__retres = 0;
|
|
|
|
# 347
|
|
return __retres;
|
|
}
|
|
|
|
|
|
# 3 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/fvtp/bug kind funcs.c"
|
|
void ldv_assert_linux_arch_io__less_initial_decrement(int expr)
|
|
{
|
|
|
|
# 4
|
|
if (! expr)
|
|
# 5
|
|
__VERIFIER_error(); else ;
|
|
|
|
# 6
|
|
return;
|
|
}
|
|
|
|
|
|
# 7 "/home/novikov/work/klever-work/native-scheduler-work-dir/scheduler/jobs/949e2b252e1c57049e5ed6f12e4ebdbd/klever-core-work-dir/job/vtg/drivers/idle/i7300_idle.ko/linux:arch:io/fvtp/bug kind funcs.c"
|
|
void ldv_assert_linux_arch_io__more_initial_at_exit(int expr)
|
|
{
|
|
|
|
# 8
|
|
if (! expr)
|
|
# 9
|
|
__VERIFIER_error(); else ;
|
|
|
|
# 10
|
|
return;
|
|
}
|
|
|
|
|