extern void abort(void);
extern void __assert_fail(const char *, const char *, unsigned int, const char *) __attribute__ ((__nothrow__ , __leaf__)) __attribute__ ((__noreturn__));
void reach_error() { __assert_fail("0", "drivers--net--usb--catc.ko_008.19b8f8f.68_1.cil_unknown.i", 3, "reach_error"); }
/* Generated by CIL v. 1.5.1 */
/* print_CIL_Input is false */
struct __anonstruct____missing_field_name_2 {
unsigned long correct ;
unsigned long incorrect ;
};
struct __anonstruct____missing_field_name_3 {
unsigned long miss ;
unsigned long hit ;
};
union __anonunion____missing_field_name_1 {
struct __anonstruct____missing_field_name_2 __annonCompField1 ;
struct __anonstruct____missing_field_name_3 __annonCompField2 ;
};
struct ftrace_branch_data {
char const *func ;
char const *file ;
unsigned int line ;
union __anonunion____missing_field_name_1 __annonCompField3 ;
};
typedef unsigned int __kernel_mode_t;
typedef unsigned long __kernel_nlink_t;
typedef long __kernel_off_t;
typedef int __kernel_pid_t;
typedef unsigned int __kernel_uid_t;
typedef unsigned int __kernel_gid_t;
typedef unsigned long __kernel_size_t;
typedef long __kernel_ssize_t;
typedef long __kernel_time_t;
typedef long __kernel_clock_t;
typedef int __kernel_timer_t;
typedef int __kernel_clockid_t;
typedef long long __kernel_loff_t;
typedef __kernel_uid_t __kernel_uid32_t;
typedef __kernel_gid_t __kernel_gid32_t;
typedef signed char __s8;
typedef unsigned char __u8;
typedef short __s16;
typedef unsigned short __u16;
typedef int __s32;
typedef unsigned int __u32;
typedef long long __s64;
typedef unsigned long long __u64;
typedef signed char s8;
typedef unsigned char u8;
typedef unsigned short u16;
typedef int s32;
typedef unsigned int u32;
typedef long long s64;
typedef unsigned long long u64;
typedef unsigned short umode_t;
typedef u64 dma_addr_t;
typedef __u32 __kernel_dev_t;
typedef __kernel_dev_t dev_t;
typedef __kernel_mode_t mode_t;
typedef __kernel_nlink_t nlink_t;
typedef __kernel_off_t off_t;
typedef __kernel_pid_t pid_t;
typedef __kernel_timer_t timer_t;
typedef __kernel_clockid_t clockid_t;
typedef __kernel_uid32_t uid_t;
typedef __kernel_gid32_t gid_t;
typedef __kernel_loff_t loff_t;
typedef __kernel_size_t size_t;
typedef __kernel_ssize_t ssize_t;
typedef __kernel_time_t time_t;
typedef __kernel_clock_t clock_t;
typedef __s32 int32_t;
typedef __u32 uint32_t;
typedef unsigned long sector_t;
typedef unsigned long blkcnt_t;
typedef __u16 __le16;
typedef __u16 __be16;
typedef __u32 __be32;
typedef __u32 __wsum;
typedef unsigned int gfp_t;
typedef unsigned int fmode_t;
typedef u64 phys_addr_t;
struct __anonstruct_atomic_t_7 {
int volatile counter ;
};
typedef struct __anonstruct_atomic_t_7 atomic_t;
struct __anonstruct_atomic64_t_8 {
long volatile counter ;
};
typedef struct __anonstruct_atomic64_t_8 atomic64_t;
struct task_struct;
struct mm_struct;
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 ;
};
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 ;
};
union __anonunion____missing_field_name_9 {
struct pt_regs *regs ;
struct kernel_vm86_regs *vm86 ;
};
struct math_emu_info {
long ___orig_eip ;
union __anonunion____missing_field_name_9 __annonCompField4 ;
};
typedef __builtin_va_list __gnuc_va_list;
typedef __gnuc_va_list va_list;
struct module;
struct bug_entry {
int bug_addr_disp ;
int file_disp ;
unsigned short line ;
unsigned short flags ;
};
struct completion;
struct pid;
typedef unsigned long pgdval_t;
typedef unsigned long pgprotval_t;
struct page;
struct __anonstruct_pgd_t_13 {
pgdval_t pgd ;
};
typedef struct __anonstruct_pgd_t_13 pgd_t;
struct __anonstruct_pgprot_t_14 {
pgprotval_t pgprot ;
};
typedef struct __anonstruct_pgprot_t_14 pgprot_t;
struct __anonstruct____missing_field_name_18 {
unsigned int a ;
unsigned int b ;
};
struct __anonstruct____missing_field_name_19 {
u16 limit0 ;
u16 base0 ;
unsigned int base1 : 8 ;
unsigned int type : 4 ;
unsigned int s : 1 ;
unsigned int dpl : 2 ;
unsigned int p : 1 ;
unsigned int limit : 4 ;
unsigned int avl : 1 ;
unsigned int l : 1 ;
unsigned int d : 1 ;
unsigned int g : 1 ;
unsigned int base2 : 8 ;
};
union __anonunion____missing_field_name_17 {
struct __anonstruct____missing_field_name_18 __annonCompField6 ;
struct __anonstruct____missing_field_name_19 __annonCompField7 ;
};
struct desc_struct {
union __anonunion____missing_field_name_17 __annonCompField8 ;
} __attribute__((__packed__)) ;
struct cpumask {
unsigned long bits[((4096UL + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
};
typedef struct cpumask cpumask_t;
struct thread_struct;
struct raw_spinlock;
struct ds_context;
struct bts_tracer;
struct exec_domain;
struct map_segment;
struct exec_domain {
char const *name ;
void (*handler)(int , struct pt_regs * ) ;
unsigned char pers_low ;
unsigned char pers_high ;
unsigned long *signal_map ;
unsigned long *signal_invmap ;
struct map_segment *err_map ;
struct map_segment *socktype_map ;
struct map_segment *sockopt_map ;
struct map_segment *af_map ;
struct module *module ;
struct exec_domain *next ;
};
struct seq_operations;
struct i387_fsave_struct {
u32 cwd ;
u32 swd ;
u32 twd ;
u32 fip ;
u32 fcs ;
u32 foo ;
u32 fos ;
u32 st_space[20] ;
u32 status ;
};
struct __anonstruct____missing_field_name_28 {
u64 rip ;
u64 rdp ;
};
struct __anonstruct____missing_field_name_29 {
u32 fip ;
u32 fcs ;
u32 foo ;
u32 fos ;
};
union __anonunion____missing_field_name_27 {
struct __anonstruct____missing_field_name_28 __annonCompField9 ;
struct __anonstruct____missing_field_name_29 __annonCompField10 ;
};
union __anonunion____missing_field_name_30 {
u32 padding1[12] ;
u32 sw_reserved[12] ;
};
struct i387_fxsave_struct {
u16 cwd ;
u16 swd ;
u16 twd ;
u16 fop ;
union __anonunion____missing_field_name_27 __annonCompField11 ;
u32 mxcsr ;
u32 mxcsr_mask ;
u32 st_space[32] ;
u32 xmm_space[64] ;
u32 padding[12] ;
union __anonunion____missing_field_name_30 __annonCompField12 ;
} __attribute__((__aligned__(16))) ;
struct i387_soft_struct {
u32 cwd ;
u32 swd ;
u32 twd ;
u32 fip ;
u32 fcs ;
u32 foo ;
u32 fos ;
u32 st_space[20] ;
u8 ftop ;
u8 changed ;
u8 lookahead ;
u8 no_update ;
u8 rm ;
u8 alimit ;
struct math_emu_info *info ;
u32 entry_eip ;
};
struct xsave_hdr_struct {
u64 xstate_bv ;
u64 reserved1[2] ;
u64 reserved2[5] ;
} __attribute__((__packed__)) ;
struct xsave_struct {
struct i387_fxsave_struct i387 ;
struct xsave_hdr_struct xsave_hdr ;
} __attribute__((__packed__, __aligned__(64))) ;
union thread_xstate {
struct i387_fsave_struct fsave ;
struct i387_fxsave_struct fxsave ;
struct i387_soft_struct soft ;
struct xsave_struct xsave ;
};
struct kmem_cache;
struct thread_struct {
struct desc_struct tls_array[3] ;
unsigned long sp0 ;
unsigned long sp ;
unsigned long usersp ;
unsigned short es ;
unsigned short ds ;
unsigned short fsindex ;
unsigned short gsindex ;
unsigned long ip ;
unsigned long fs ;
unsigned long gs ;
unsigned long debugreg0 ;
unsigned long debugreg1 ;
unsigned long debugreg2 ;
unsigned long debugreg3 ;
unsigned long debugreg6 ;
unsigned long debugreg7 ;
unsigned long cr2 ;
unsigned long trap_no ;
unsigned long error_code ;
union thread_xstate *xstate ;
unsigned long *io_bitmap_ptr ;
unsigned long iopl ;
unsigned int io_bitmap_max ;
unsigned long debugctlmsr ;
struct ds_context *ds_ctx ;
unsigned int bts_ovfl_signal ;
};
struct __anonstruct_mm_segment_t_31 {
unsigned long seg ;
};
typedef struct __anonstruct_mm_segment_t_31 mm_segment_t;
struct list_head {
struct list_head *next ;
struct list_head *prev ;
};
struct hlist_node;
struct hlist_head {
struct hlist_node *first ;
};
struct hlist_node {
struct hlist_node *next ;
struct hlist_node **pprev ;
};
struct timespec;
struct compat_timespec;
struct __anonstruct____missing_field_name_33 {
unsigned long arg0 ;
unsigned long arg1 ;
unsigned long arg2 ;
unsigned long arg3 ;
};
struct __anonstruct_futex_34 {
u32 *uaddr ;
u32 val ;
u32 flags ;
u32 bitset ;
u64 time ;
};
struct __anonstruct_nanosleep_35 {
clockid_t index ;
struct timespec *rmtp ;
struct compat_timespec *compat_rmtp ;
u64 expires ;
};
struct pollfd;
struct __anonstruct_poll_36 {
struct pollfd *ufds ;
int nfds ;
int has_timeout ;
unsigned long tv_sec ;
unsigned long tv_nsec ;
};
union __anonunion____missing_field_name_32 {
struct __anonstruct____missing_field_name_33 __annonCompField13 ;
struct __anonstruct_futex_34 futex ;
struct __anonstruct_nanosleep_35 nanosleep ;
struct __anonstruct_poll_36 poll ;
};
struct restart_block {
long (*fn)(struct restart_block * ) ;
union __anonunion____missing_field_name_32 __annonCompField14 ;
};
struct ftrace_ret_stack {
unsigned long ret ;
unsigned long func ;
unsigned long long calltime ;
};
typedef atomic64_t atomic_long_t;
struct thread_info {
struct task_struct *task ;
struct exec_domain *exec_domain ;
__u32 flags ;
__u32 status ;
__u32 cpu ;
int preempt_count ;
mm_segment_t addr_limit ;
struct restart_block restart_block ;
void *sysenter_return ;
};
struct raw_spinlock {
unsigned int slock ;
};
typedef struct raw_spinlock raw_spinlock_t;
struct __anonstruct_raw_rwlock_t_37 {
unsigned int lock ;
};
typedef struct __anonstruct_raw_rwlock_t_37 raw_rwlock_t;
struct lockdep_map;
struct stack_trace {
unsigned int nr_entries ;
unsigned int max_entries ;
unsigned long *entries ;
int skip ;
};
enum lock_usage_bit {
LOCK_USED = 0,
LOCK_USED_IN_HARDIRQ = 1,
LOCK_USED_IN_SOFTIRQ = 2,
LOCK_ENABLED_SOFTIRQS = 3,
LOCK_ENABLED_HARDIRQS = 4,
LOCK_USED_IN_HARDIRQ_READ = 5,
LOCK_USED_IN_SOFTIRQ_READ = 6,
LOCK_ENABLED_SOFTIRQS_READ = 7,
LOCK_ENABLED_HARDIRQS_READ = 8,
LOCK_USAGE_STATES = 9
} ;
struct lockdep_subclass_key {
char __one_byte ;
} __attribute__((__packed__)) ;
struct lock_class_key {
struct lockdep_subclass_key subkeys[8UL] ;
};
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[LOCK_USAGE_STATES] ;
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[4] ;
unsigned long contending_point[4] ;
};
struct lockdep_map {
struct lock_class_key *key ;
struct lock_class *class_cache ;
char const *name ;
int cpu ;
unsigned long ip ;
};
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 class_idx : 13 ;
unsigned int irq_context : 2 ;
unsigned int trylock : 1 ;
unsigned int read : 2 ;
unsigned int check : 2 ;
unsigned int hardirqs_off : 1 ;
};
struct __anonstruct_spinlock_t_38 {
raw_spinlock_t raw_lock ;
unsigned int magic ;
unsigned int owner_cpu ;
void *owner ;
struct lockdep_map dep_map ;
};
typedef struct __anonstruct_spinlock_t_38 spinlock_t;
struct __anonstruct_rwlock_t_39 {
raw_rwlock_t raw_lock ;
unsigned int magic ;
unsigned int owner_cpu ;
void *owner ;
struct lockdep_map dep_map ;
};
typedef struct __anonstruct_rwlock_t_39 rwlock_t;
struct __anonstruct_seqlock_t_40 {
unsigned int sequence ;
spinlock_t lock ;
};
typedef struct __anonstruct_seqlock_t_40 seqlock_t;
struct timespec {
time_t tv_sec ;
long tv_nsec ;
};
struct kstat {
u64 ino ;
dev_t dev ;
umode_t mode ;
unsigned int nlink ;
uid_t uid ;
gid_t gid ;
dev_t rdev ;
loff_t size ;
struct timespec atime ;
struct timespec mtime ;
struct timespec ctime ;
unsigned long blksize ;
unsigned long long blocks ;
};
struct __wait_queue;
typedef struct __wait_queue wait_queue_t;
struct __wait_queue {
unsigned int flags ;
void *private ;
int (*func)(wait_queue_t *wait , unsigned int mode , int sync , void *key ) ;
struct list_head task_list ;
};
struct __wait_queue_head {
spinlock_t lock ;
struct list_head task_list ;
};
typedef struct __wait_queue_head wait_queue_head_t;
struct __anonstruct_nodemask_t_41 {
unsigned long bits[(((unsigned long )(1 << 9) + 8UL * sizeof(long )) - 1UL) / (8UL * sizeof(long ))] ;
};
typedef struct __anonstruct_nodemask_t_41 nodemask_t;
struct mutex {
atomic_t count ;
spinlock_t wait_lock ;
struct list_head wait_list ;
struct thread_info *owner ;
char const *name ;
void *magic ;
struct lockdep_map dep_map ;
};
struct mutex_waiter {
struct list_head list ;
struct task_struct *task ;
struct mutex *lock ;
void *magic ;
};
struct rw_semaphore;
struct rw_semaphore {
__s32 activity ;
spinlock_t wait_lock ;
struct list_head wait_list ;
struct lockdep_map dep_map ;
};
struct ctl_table;
struct file;
struct device;
struct pm_message {
int event ;
};
typedef struct pm_message pm_message_t;
struct dev_pm_ops {
int (*prepare)(struct device *dev ) ;
void (*complete)(struct device *dev ) ;
int (*suspend)(struct device *dev ) ;
int (*resume)(struct device *dev ) ;
int (*freeze)(struct device *dev ) ;
int (*thaw)(struct device *dev ) ;
int (*poweroff)(struct device *dev ) ;
int (*restore)(struct device *dev ) ;
int (*suspend_noirq)(struct device *dev ) ;
int (*resume_noirq)(struct device *dev ) ;
int (*freeze_noirq)(struct device *dev ) ;
int (*thaw_noirq)(struct device *dev ) ;
int (*poweroff_noirq)(struct device *dev ) ;
int (*restore_noirq)(struct device *dev ) ;
};
enum dpm_state {
DPM_INVALID = 0,
DPM_ON = 1,
DPM_PREPARING = 2,
DPM_RESUMING = 3,
DPM_SUSPENDING = 4,
DPM_OFF = 5,
DPM_OFF_IRQ = 6
} ;
struct dev_pm_info {
pm_message_t power_state ;
unsigned int can_wakeup : 1 ;
unsigned int should_wakeup : 1 ;
enum dpm_state status ;
struct list_head entry ;
};
struct __anonstruct_mm_context_t_90 {
void *ldt ;
int size ;
struct mutex lock ;
void *vdso ;
};
typedef struct __anonstruct_mm_context_t_90 mm_context_t;
struct vm_area_struct;
struct key;
typedef __u64 Elf64_Addr;
typedef __u16 Elf64_Half;
typedef __u32 Elf64_Word;
typedef __u64 Elf64_Xword;
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 ;
};
typedef struct elf64_sym Elf64_Sym;
struct kobject;
struct attribute {
char const *name ;
struct module *owner ;
mode_t mode ;
};
struct attribute_group {
char const *name ;
mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
struct attribute **attrs ;
};
struct sysfs_ops {
ssize_t (*show)(struct kobject * , struct attribute * , char * ) ;
ssize_t (*store)(struct kobject * , struct attribute * , char const * , size_t ) ;
};
struct sysfs_dirent;
struct kref {
atomic_t refcount ;
};
struct kset;
struct kobj_type;
struct kobject {
char const *name ;
struct list_head entry ;
struct kobject *parent ;
struct kset *kset ;
struct kobj_type *ktype ;
struct sysfs_dirent *sd ;
struct kref kref ;
unsigned int state_initialized : 1 ;
unsigned int state_in_sysfs : 1 ;
unsigned int state_add_uevent_sent : 1 ;
unsigned int state_remove_uevent_sent : 1 ;
};
struct kobj_type {
void (*release)(struct kobject *kobj ) ;
struct sysfs_ops *sysfs_ops ;
struct attribute **default_attrs ;
};
struct kobj_uevent_env {
char *envp[32] ;
int envp_idx ;
char buf[2048] ;
int buflen ;
};
struct kset_uevent_ops {
int (*filter)(struct kset *kset , struct kobject *kobj ) ;
char const *(*name)(struct kset *kset , struct kobject *kobj ) ;
int (*uevent)(struct kset *kset , struct kobject *kobj , struct kobj_uevent_env *env ) ;
};
struct kset {
struct list_head list ;
spinlock_t list_lock ;
struct kobject kobj ;
struct kset_uevent_ops *uevent_ops ;
};
struct marker;
typedef void marker_probe_func(void *probe_private , void *call_private , char const *fmt ,
va_list *args );
struct marker_probe_closure {
marker_probe_func *func ;
void *probe_private ;
};
struct marker {
char const *name ;
char const *format ;
char state ;
char ptype ;
void (*call)(struct marker const *mdata , void *call_private , ...) ;
struct marker_probe_closure single ;
struct marker_probe_closure *multi ;
char const *tp_name ;
void *tp_cb ;
} __attribute__((__aligned__(8))) ;
union ktime {
s64 tv64 ;
};
typedef union ktime ktime_t;
struct tvec_base;
struct timer_list {
struct list_head entry ;
unsigned long expires ;
void (*function)(unsigned long ) ;
unsigned long data ;
struct tvec_base *base ;
void *start_site ;
char start_comm[16] ;
int start_pid ;
};
struct hrtimer;
enum hrtimer_restart;
struct work_struct;
struct work_struct {
atomic_long_t data ;
struct list_head entry ;
void (*func)(struct work_struct *work ) ;
struct lockdep_map lockdep_map ;
};
struct delayed_work {
struct work_struct work ;
struct timer_list timer ;
};
enum stat_item {
ALLOC_FASTPATH = 0,
ALLOC_SLOWPATH = 1,
FREE_FASTPATH = 2,
FREE_SLOWPATH = 3,
FREE_FROZEN = 4,
FREE_ADD_PARTIAL = 5,
FREE_REMOVE_PARTIAL = 6,
ALLOC_FROM_PARTIAL = 7,
ALLOC_SLAB = 8,
ALLOC_REFILL = 9,
FREE_SLAB = 10,
CPUSLAB_FLUSH = 11,
DEACTIVATE_FULL = 12,
DEACTIVATE_EMPTY = 13,
DEACTIVATE_TO_HEAD = 14,
DEACTIVATE_TO_TAIL = 15,
DEACTIVATE_REMOTE_FREES = 16,
ORDER_FALLBACK = 17,
NR_SLUB_STAT_ITEMS = 18
} ;
struct kmem_cache_cpu {
void **freelist ;
struct page *page ;
int node ;
unsigned int offset ;
unsigned int objsize ;
unsigned int stat[NR_SLUB_STAT_ITEMS] ;
};
struct kmem_cache_node {
spinlock_t list_lock ;
unsigned long nr_partial ;
unsigned long min_partial ;
struct list_head partial ;
atomic_long_t nr_slabs ;
atomic_long_t total_objects ;
struct list_head full ;
};
struct kmem_cache_order_objects {
unsigned long x ;
};
struct kmem_cache {
unsigned long flags ;
int size ;
int objsize ;
int offset ;
struct kmem_cache_order_objects oo ;
struct kmem_cache_node local_node ;
struct kmem_cache_order_objects max ;
struct kmem_cache_order_objects min ;
gfp_t allocflags ;
int refcount ;
void (*ctor)(void * ) ;
int inuse ;
int align ;
char const *name ;
struct list_head list ;
struct kobject kobj ;
int remote_node_defrag_ratio ;
struct kmem_cache_node *node[1 << 9] ;
struct kmem_cache_cpu *cpu_slab[4096] ;
};
struct completion {
unsigned int done ;
wait_queue_head_t wait ;
};
struct rcu_head {
struct rcu_head *next ;
void (*func)(struct rcu_head *head ) ;
};
struct tracepoint;
struct tracepoint {
char const *name ;
int state ;
void **funcs ;
} __attribute__((__aligned__(32))) ;
struct mod_arch_specific {
};
struct kernel_symbol {
unsigned long value ;
char const *name ;
};
struct module_attribute {
struct attribute attr ;
ssize_t (*show)(struct module_attribute * , struct module * , char * ) ;
ssize_t (*store)(struct module_attribute * , struct module * , char const * ,
size_t count ) ;
void (*setup)(struct module * , char const * ) ;
int (*test)(struct module * ) ;
void (*free)(struct module * ) ;
};
struct module_param_attrs;
struct module_kobject {
struct kobject kobj ;
struct module *mod ;
struct kobject *drivers_dir ;
struct module_param_attrs *mp ;
};
struct exception_table_entry;
enum module_state {
MODULE_STATE_LIVE = 0,
MODULE_STATE_COMING = 1,
MODULE_STATE_GOING = 2
} ;
struct module_sect_attrs;
struct module_notes_attrs;
struct module {
enum module_state state ;
struct list_head list ;
char name[64UL - sizeof(unsigned long )] ;
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 ;
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 ;
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 ;
struct mod_arch_specific arch ;
unsigned int taints ;
unsigned int num_bugs ;
struct list_head bug_list ;
struct bug_entry *bug_table ;
Elf64_Sym *symtab ;
unsigned int num_symtab ;
char *strtab ;
struct module_sect_attrs *sect_attrs ;
struct module_notes_attrs *notes_attrs ;
void *percpu ;
char *args ;
struct marker *markers ;
unsigned int num_markers ;
struct tracepoint *tracepoints ;
unsigned int num_tracepoints ;
struct list_head modules_which_use_me ;
struct task_struct *waiter ;
void (*exit)(void) ;
char *refptr ;
};
struct device_driver;
struct sockaddr;
struct iovec {
void *iov_base ;
__kernel_size_t iov_len ;
};
struct seq_file;
typedef unsigned short sa_family_t;
struct sockaddr {
sa_family_t sa_family ;
char sa_data[14] ;
};
struct __anonstruct_sync_serial_settings_102 {
unsigned int clock_rate ;
unsigned int clock_type ;
unsigned short loopback ;
};
typedef struct __anonstruct_sync_serial_settings_102 sync_serial_settings;
struct __anonstruct_te1_settings_103 {
unsigned int clock_rate ;
unsigned int clock_type ;
unsigned short loopback ;
unsigned int slot_map ;
};
typedef struct __anonstruct_te1_settings_103 te1_settings;
struct __anonstruct_raw_hdlc_proto_104 {
unsigned short encoding ;
unsigned short parity ;
};
typedef struct __anonstruct_raw_hdlc_proto_104 raw_hdlc_proto;
struct __anonstruct_fr_proto_105 {
unsigned int t391 ;
unsigned int t392 ;
unsigned int n391 ;
unsigned int n392 ;
unsigned int n393 ;
unsigned short lmi ;
unsigned short dce ;
};
typedef struct __anonstruct_fr_proto_105 fr_proto;
struct __anonstruct_fr_proto_pvc_106 {
unsigned int dlci ;
};
typedef struct __anonstruct_fr_proto_pvc_106 fr_proto_pvc;
struct __anonstruct_fr_proto_pvc_info_107 {
unsigned int dlci ;
char master[16] ;
};
typedef struct __anonstruct_fr_proto_pvc_info_107 fr_proto_pvc_info;
struct __anonstruct_cisco_proto_108 {
unsigned int interval ;
unsigned int timeout ;
};
typedef struct __anonstruct_cisco_proto_108 cisco_proto;
struct ifmap {
unsigned long mem_start ;
unsigned long mem_end ;
unsigned short base_addr ;
unsigned char irq ;
unsigned char dma ;
unsigned char port ;
};
union __anonunion_ifs_ifsu_111 {
raw_hdlc_proto *raw_hdlc ;
cisco_proto *cisco ;
fr_proto *fr ;
fr_proto_pvc *fr_pvc ;
fr_proto_pvc_info *fr_pvc_info ;
sync_serial_settings *sync ;
te1_settings *te1 ;
};
struct if_settings {
unsigned int type ;
unsigned int size ;
union __anonunion_ifs_ifsu_111 ifs_ifsu ;
};
union __anonunion_ifr_ifrn_112 {
char ifrn_name[16] ;
};
union __anonunion_ifr_ifru_113 {
struct sockaddr ifru_addr ;
struct sockaddr ifru_dstaddr ;
struct sockaddr ifru_broadaddr ;
struct sockaddr ifru_netmask ;
struct sockaddr ifru_hwaddr ;
short ifru_flags ;
int ifru_ivalue ;
int ifru_mtu ;
struct ifmap ifru_map ;
char ifru_slave[16] ;
char ifru_newname[16] ;
void *ifru_data ;
struct if_settings ifru_settings ;
};
struct ifreq {
union __anonunion_ifr_ifrn_112 ifr_ifrn ;
union __anonunion_ifr_ifru_113 ifr_ifru ;
};
struct poll_table_struct;
struct pipe_inode_info;
struct inode;
struct net;
struct fasync_struct;
struct sock;
struct kiocb;
struct nsproxy;
struct ctl_table_root;
struct ctl_table_set {
struct list_head list ;
struct ctl_table_set *parent ;
int (*is_seen)(struct ctl_table_set * ) ;
};
struct ctl_table_header;
typedef int ctl_handler(struct ctl_table *table , void *oldval , size_t *oldlenp ,
void *newval , size_t newlen );
typedef int proc_handler(struct ctl_table *ctl , int write , struct file *filp , void *buffer ,
size_t *lenp , loff_t *ppos );
struct ctl_table {
int ctl_name ;
char const *procname ;
void *data ;
int maxlen ;
mode_t mode ;
struct ctl_table *child ;
struct ctl_table *parent ;
proc_handler *proc_handler ;
ctl_handler *strategy ;
void *extra1 ;
void *extra2 ;
};
struct ctl_table_root {
struct list_head root_list ;
struct ctl_table_set default_set ;
struct ctl_table_set *(*lookup)(struct ctl_table_root *root , struct nsproxy *namespaces ) ;
int (*permissions)(struct ctl_table_root *root , struct nsproxy *namespaces , struct ctl_table *table ) ;
};
struct ctl_table_header {
struct ctl_table *ctl_table ;
struct list_head ctl_entry ;
int used ;
int count ;
struct completion *unregistering ;
struct ctl_table *ctl_table_arg ;
struct ctl_table_root *root ;
struct ctl_table_set *set ;
struct ctl_table *attached_by ;
struct ctl_table *attached_to ;
struct ctl_table_header *parent ;
};
struct exception_table_entry {
unsigned long insn ;
unsigned long fixup ;
};
struct sk_buff;
struct klist_node;
struct klist {
spinlock_t k_lock ;
struct list_head k_list ;
void (*get)(struct klist_node * ) ;
void (*put)(struct klist_node * ) ;
} __attribute__((__aligned__(4))) ;
struct klist_node {
void *n_klist ;
struct list_head n_node ;
struct kref n_ref ;
};
struct semaphore {
spinlock_t lock ;
unsigned int count ;
struct list_head wait_list ;
};
struct dma_mapping_ops;
struct dev_archdata {
void *acpi_handle ;
struct dma_mapping_ops *dma_ops ;
void *iommu ;
};
struct driver_private;
struct class;
struct class_private;
struct bus_type;
struct bus_type_private;
struct bus_attribute {
struct attribute attr ;
ssize_t (*show)(struct bus_type *bus , char *buf ) ;
ssize_t (*store)(struct bus_type *bus , char const *buf , size_t count ) ;
};
struct device_attribute;
struct driver_attribute;
struct bus_type {
char const *name ;
struct bus_attribute *bus_attrs ;
struct device_attribute *dev_attrs ;
struct driver_attribute *drv_attrs ;
int (*match)(struct device *dev , struct device_driver *drv ) ;
int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
int (*probe)(struct device *dev ) ;
int (*remove)(struct device *dev ) ;
void (*shutdown)(struct device *dev ) ;
int (*suspend)(struct device *dev , pm_message_t state ) ;
int (*suspend_late)(struct device *dev , pm_message_t state ) ;
int (*resume_early)(struct device *dev ) ;
int (*resume)(struct device *dev ) ;
struct dev_pm_ops *pm ;
struct bus_type_private *p ;
};
struct device_driver {
char const *name ;
struct bus_type *bus ;
struct module *owner ;
char const *mod_name ;
int (*probe)(struct device *dev ) ;
int (*remove)(struct device *dev ) ;
void (*shutdown)(struct device *dev ) ;
int (*suspend)(struct device *dev , pm_message_t state ) ;
int (*resume)(struct device *dev ) ;
struct attribute_group **groups ;
struct dev_pm_ops *pm ;
struct driver_private *p ;
};
struct driver_attribute {
struct attribute attr ;
ssize_t (*show)(struct device_driver *driver , char *buf ) ;
ssize_t (*store)(struct device_driver *driver , char const *buf , size_t count ) ;
};
struct class_attribute;
struct class {
char const *name ;
struct module *owner ;
struct class_attribute *class_attrs ;
struct device_attribute *dev_attrs ;
struct kobject *dev_kobj ;
int (*dev_uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
void (*class_release)(struct class *class ) ;
void (*dev_release)(struct device *dev ) ;
int (*suspend)(struct device *dev , pm_message_t state ) ;
int (*resume)(struct device *dev ) ;
struct dev_pm_ops *pm ;
struct class_private *p ;
};
struct device_type;
struct class_attribute {
struct attribute attr ;
ssize_t (*show)(struct class *class , char *buf ) ;
ssize_t (*store)(struct class *class , char const *buf , size_t count ) ;
};
struct device_type {
char const *name ;
struct attribute_group **groups ;
int (*uevent)(struct device *dev , struct kobj_uevent_env *env ) ;
void (*release)(struct device *dev ) ;
int (*suspend)(struct device *dev , pm_message_t state ) ;
int (*resume)(struct device *dev ) ;
struct dev_pm_ops *pm ;
};
struct device_attribute {
struct attribute attr ;
ssize_t (*show)(struct device *dev , struct device_attribute *attr , char *buf ) ;
ssize_t (*store)(struct device *dev , struct device_attribute *attr , char const *buf ,
size_t count ) ;
};
struct device_dma_parameters {
unsigned int max_segment_size ;
unsigned long segment_boundary_mask ;
};
struct dma_coherent_mem;
struct device {
struct klist klist_children ;
struct klist_node knode_parent ;
struct klist_node knode_driver ;
struct klist_node knode_bus ;
struct device *parent ;
struct kobject kobj ;
char bus_id[20] ;
unsigned int uevent_suppress : 1 ;
char const *init_name ;
struct device_type *type ;
struct semaphore sem ;
struct bus_type *bus ;
struct device_driver *driver ;
void *driver_data ;
void *platform_data ;
struct dev_pm_info power ;
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 ;
dev_t devt ;
spinlock_t devres_lock ;
struct list_head devres_head ;
struct klist_node knode_class ;
struct class *class ;
struct attribute_group **groups ;
void (*release)(struct device *dev ) ;
};
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 ;
};
struct rb_node {
unsigned long rb_parent_color ;
struct rb_node *rb_right ;
struct rb_node *rb_left ;
} __attribute__((__aligned__(sizeof(long )))) ;
struct rb_root {
struct rb_node *rb_node ;
};
struct prio_tree_node;
struct raw_prio_tree_node {
struct prio_tree_node *left ;
struct prio_tree_node *right ;
struct prio_tree_node *parent ;
};
struct prio_tree_node {
struct prio_tree_node *left ;
struct prio_tree_node *right ;
struct prio_tree_node *parent ;
unsigned long start ;
unsigned long last ;
};
struct prio_tree_root {
struct prio_tree_node *prio_tree_node ;
unsigned short index_bits ;
unsigned short raw ;
};
struct address_space;
typedef atomic_long_t mm_counter_t;
struct __anonstruct____missing_field_name_172 {
u16 inuse ;
u16 objects ;
};
union __anonunion____missing_field_name_171 {
atomic_t _mapcount ;
struct __anonstruct____missing_field_name_172 __annonCompField16 ;
};
struct __anonstruct____missing_field_name_174 {
unsigned long private ;
struct address_space *mapping ;
};
union __anonunion____missing_field_name_173 {
struct __anonstruct____missing_field_name_174 __annonCompField18 ;
spinlock_t ptl ;
struct kmem_cache *slab ;
struct page *first_page ;
};
union __anonunion____missing_field_name_175 {
unsigned long index ;
void *freelist ;
};
struct page {
unsigned long flags ;
atomic_t _count ;
union __anonunion____missing_field_name_171 __annonCompField17 ;
union __anonunion____missing_field_name_173 __annonCompField19 ;
union __anonunion____missing_field_name_175 __annonCompField20 ;
struct list_head lru ;
};
struct __anonstruct_vm_set_177 {
struct list_head list ;
void *parent ;
struct vm_area_struct *head ;
};
union __anonunion_shared_176 {
struct __anonstruct_vm_set_177 vm_set ;
struct raw_prio_tree_node prio_tree_node ;
};
struct anon_vma;
struct vm_operations_struct;
struct mempolicy;
struct vm_area_struct {
struct mm_struct *vm_mm ;
unsigned long vm_start ;
unsigned long vm_end ;
struct vm_area_struct *vm_next ;
pgprot_t vm_page_prot ;
unsigned long vm_flags ;
struct rb_node vm_rb ;
union __anonunion_shared_176 shared ;
struct list_head anon_vma_node ;
struct anon_vma *anon_vma ;
struct vm_operations_struct *vm_ops ;
unsigned long vm_pgoff ;
struct file *vm_file ;
void *vm_private_data ;
unsigned long vm_truncate_count ;
struct mempolicy *vm_policy ;
};
struct core_thread {
struct task_struct *task ;
struct core_thread *next ;
};
struct core_state {
atomic_t nr_threads ;
struct core_thread dumper ;
struct completion startup ;
};
struct mmu_notifier_mm;
struct mm_struct {
struct vm_area_struct *mmap ;
struct rb_root mm_rb ;
struct vm_area_struct *mmap_cache ;
unsigned long (*get_unmapped_area)(struct file *filp , unsigned long addr , unsigned long len ,
unsigned long pgoff , unsigned long flags ) ;
void (*unmap_area)(struct mm_struct *mm , unsigned long addr ) ;
unsigned long mmap_base ;
unsigned long task_size ;
unsigned long cached_hole_size ;
unsigned long free_area_cache ;
pgd_t *pgd ;
atomic_t mm_users ;
atomic_t mm_count ;
int map_count ;
struct rw_semaphore mmap_sem ;
spinlock_t page_table_lock ;
struct list_head mmlist ;
mm_counter_t _file_rss ;
mm_counter_t _anon_rss ;
unsigned long hiwater_rss ;
unsigned long hiwater_vm ;
unsigned long total_vm ;
unsigned long locked_vm ;
unsigned long shared_vm ;
unsigned long exec_vm ;
unsigned long stack_vm ;
unsigned long reserved_vm ;
unsigned long def_flags ;
unsigned long nr_ptes ;
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[2 * ((2 + 19) + 1)] ;
cpumask_t cpu_vm_mask ;
mm_context_t context ;
unsigned int faultstamp ;
unsigned int token_priority ;
unsigned int last_interval ;
unsigned long flags ;
struct core_state *core_state ;
spinlock_t ioctx_lock ;
struct hlist_head ioctx_list ;
struct task_struct *owner ;
struct file *exe_file ;
unsigned long num_exe_file_vmas ;
struct mmu_notifier_mm *mmu_notifier_mm ;
};
struct file_ra_state;
struct user_struct;
struct writeback_control;
struct vm_fault {
unsigned int flags ;
unsigned long pgoff ;
void *virtual_address ;
struct page *page ;
};
struct vm_operations_struct {
void (*open)(struct vm_area_struct *area ) ;
void (*close)(struct vm_area_struct *area ) ;
int (*fault)(struct vm_area_struct *vma , struct vm_fault *vmf ) ;
int (*page_mkwrite)(struct vm_area_struct *vma , struct page *page ) ;
int (*access)(struct vm_area_struct *vma , unsigned long addr , void *buf , int len ,
int write ) ;
int (*set_policy)(struct vm_area_struct *vma , struct mempolicy *new ) ;
struct mempolicy *(*get_policy)(struct vm_area_struct *vma , unsigned long addr ) ;
int (*migrate)(struct vm_area_struct *vma , nodemask_t const *from , nodemask_t const *to ,
unsigned long flags ) ;
};
struct dma_mapping_ops {
int (*mapping_error)(struct device *dev , dma_addr_t dma_addr ) ;
void *(*alloc_coherent)(struct device *dev , size_t size , dma_addr_t *dma_handle ,
gfp_t gfp ) ;
void (*free_coherent)(struct device *dev , size_t size , void *vaddr , dma_addr_t dma_handle ) ;
dma_addr_t (*map_single)(struct device *hwdev , phys_addr_t ptr , size_t size ,
int direction ) ;
void (*unmap_single)(struct device *dev , dma_addr_t addr , size_t size , int direction ) ;
void (*sync_single_for_cpu)(struct device *hwdev , dma_addr_t dma_handle , size_t size ,
int direction ) ;
void (*sync_single_for_device)(struct device *hwdev , dma_addr_t dma_handle , size_t size ,
int direction ) ;
void (*sync_single_range_for_cpu)(struct device *hwdev , dma_addr_t dma_handle ,
unsigned long offset , size_t size , int direction ) ;
void (*sync_single_range_for_device)(struct device *hwdev , dma_addr_t dma_handle ,
unsigned long offset , size_t size , int direction ) ;
void (*sync_sg_for_cpu)(struct device *hwdev , struct scatterlist *sg , int nelems ,
int direction ) ;
void (*sync_sg_for_device)(struct device *hwdev , struct scatterlist *sg , int nelems ,
int direction ) ;
int (*map_sg)(struct device *hwdev , struct scatterlist *sg , int nents , int direction ) ;
void (*unmap_sg)(struct device *hwdev , struct scatterlist *sg , int nents , int direction ) ;
int (*dma_supported)(struct device *hwdev , u64 mask ) ;
int is_phys ;
};
typedef s32 dma_cookie_t;
struct hrtimer_clock_base;
struct hrtimer_cpu_base;
enum hrtimer_restart {
HRTIMER_NORESTART = 0,
HRTIMER_RESTART = 1
} ;
struct hrtimer {
struct rb_node node ;
ktime_t _expires ;
ktime_t _softexpires ;
enum hrtimer_restart (*function)(struct hrtimer * ) ;
struct hrtimer_clock_base *base ;
unsigned long state ;
struct list_head cb_entry ;
int start_pid ;
void *start_site ;
char start_comm[16] ;
};
struct hrtimer_clock_base {
struct hrtimer_cpu_base *cpu_base ;
clockid_t index ;
struct rb_root active ;
struct rb_node *first ;
ktime_t resolution ;
ktime_t (*get_time)(void) ;
ktime_t softirq_time ;
ktime_t offset ;
};
struct hrtimer_cpu_base {
spinlock_t lock ;
struct hrtimer_clock_base clock_base[2] ;
ktime_t expires_next ;
int hres_active ;
unsigned long nr_events ;
};
struct net_device;
struct nf_conntrack {
atomic_t use ;
};
struct nf_bridge_info {
atomic_t use ;
struct net_device *physindev ;
struct net_device *physoutdev ;
unsigned int mask ;
unsigned long data[32UL / sizeof(unsigned long )] ;
};
typedef unsigned int sk_buff_data_t;
struct dst_entry;
struct rtable;
union __anonunion____missing_field_name_183 {
struct dst_entry *dst ;
struct rtable *rtable ;
};
struct sec_path;
struct __anonstruct____missing_field_name_185 {
__u16 csum_start ;
__u16 csum_offset ;
};
union __anonunion____missing_field_name_184 {
__wsum csum ;
struct __anonstruct____missing_field_name_185 __annonCompField23 ;
};
struct sk_buff {
struct sk_buff *next ;
struct sk_buff *prev ;
struct sock *sk ;
ktime_t tstamp ;
struct net_device *dev ;
union __anonunion____missing_field_name_183 __annonCompField22 ;
struct sec_path *sp ;
char cb[48] ;
unsigned int len ;
unsigned int data_len ;
__u16 mac_len ;
__u16 hdr_len ;
union __anonunion____missing_field_name_184 __annonCompField24 ;
__u32 priority ;
__u8 local_df : 1 ;
__u8 cloned : 1 ;
__u8 ip_summed : 2 ;
__u8 nohdr : 1 ;
__u8 nfctinfo : 3 ;
__u8 pkt_type : 3 ;
__u8 fclone : 2 ;
__u8 ipvs_property : 1 ;
__u8 peeked : 1 ;
__u8 nf_trace : 1 ;
__be16 protocol ;
void (*destructor)(struct sk_buff *skb ) ;
struct nf_conntrack *nfct ;
struct sk_buff *nfct_reasm ;
struct nf_bridge_info *nf_bridge ;
int iif ;
__u16 queue_mapping ;
__u16 tc_index ;
__u16 tc_verd ;
__u8 ndisc_nodetype : 2 ;
__u8 do_not_encrypt : 1 ;
__u8 requeue : 1 ;
dma_cookie_t dma_cookie ;
__u32 secmark ;
__u32 mark ;
__u16 vlan_tci ;
sk_buff_data_t transport_header ;
sk_buff_data_t network_header ;
sk_buff_data_t mac_header ;
sk_buff_data_t tail ;
sk_buff_data_t end ;
unsigned char *head ;
unsigned char *data ;
unsigned int truesize ;
atomic_t users ;
};
struct prot_inuse;
struct netns_core {
struct ctl_table_header *sysctl_hdr ;
int sysctl_somaxconn ;
struct prot_inuse *inuse ;
};
enum __anonenum_186 {
IPSTATS_MIB_NUM = 0,
IPSTATS_MIB_INRECEIVES = 1,
IPSTATS_MIB_INHDRERRORS = 2,
IPSTATS_MIB_INTOOBIGERRORS = 3,
IPSTATS_MIB_INNOROUTES = 4,
IPSTATS_MIB_INADDRERRORS = 5,
IPSTATS_MIB_INUNKNOWNPROTOS = 6,
IPSTATS_MIB_INTRUNCATEDPKTS = 7,
IPSTATS_MIB_INDISCARDS = 8,
IPSTATS_MIB_INDELIVERS = 9,
IPSTATS_MIB_OUTFORWDATAGRAMS = 10,
IPSTATS_MIB_OUTREQUESTS = 11,
IPSTATS_MIB_OUTDISCARDS = 12,
IPSTATS_MIB_OUTNOROUTES = 13,
IPSTATS_MIB_REASMTIMEOUT = 14,
IPSTATS_MIB_REASMREQDS = 15,
IPSTATS_MIB_REASMOKS = 16,
IPSTATS_MIB_REASMFAILS = 17,
IPSTATS_MIB_FRAGOKS = 18,
IPSTATS_MIB_FRAGFAILS = 19,
IPSTATS_MIB_FRAGCREATES = 20,
IPSTATS_MIB_INMCASTPKTS = 21,
IPSTATS_MIB_OUTMCASTPKTS = 22,
IPSTATS_MIB_INBCASTPKTS = 23,
IPSTATS_MIB_OUTBCASTPKTS = 24,
__IPSTATS_MIB_MAX = 25
} ;
enum __anonenum_187 {
ICMP_MIB_NUM = 0,
ICMP_MIB_INMSGS = 1,
ICMP_MIB_INERRORS = 2,
ICMP_MIB_INDESTUNREACHS = 3,
ICMP_MIB_INTIMEEXCDS = 4,
ICMP_MIB_INPARMPROBS = 5,
ICMP_MIB_INSRCQUENCHS = 6,
ICMP_MIB_INREDIRECTS = 7,
ICMP_MIB_INECHOS = 8,
ICMP_MIB_INECHOREPS = 9,
ICMP_MIB_INTIMESTAMPS = 10,
ICMP_MIB_INTIMESTAMPREPS = 11,
ICMP_MIB_INADDRMASKS = 12,
ICMP_MIB_INADDRMASKREPS = 13,
ICMP_MIB_OUTMSGS = 14,
ICMP_MIB_OUTERRORS = 15,
ICMP_MIB_OUTDESTUNREACHS = 16,
ICMP_MIB_OUTTIMEEXCDS = 17,
ICMP_MIB_OUTPARMPROBS = 18,
ICMP_MIB_OUTSRCQUENCHS = 19,
ICMP_MIB_OUTREDIRECTS = 20,
ICMP_MIB_OUTECHOS = 21,
ICMP_MIB_OUTECHOREPS = 22,
ICMP_MIB_OUTTIMESTAMPS = 23,
ICMP_MIB_OUTTIMESTAMPREPS = 24,
ICMP_MIB_OUTADDRMASKS = 25,
ICMP_MIB_OUTADDRMASKREPS = 26,
__ICMP_MIB_MAX = 27
} ;
enum __anonenum_188 {
ICMP6_MIB_NUM = 0,
ICMP6_MIB_INMSGS = 1,
ICMP6_MIB_INERRORS = 2,
ICMP6_MIB_OUTMSGS = 3,
__ICMP6_MIB_MAX = 4
} ;
enum __anonenum_189 {
TCP_MIB_NUM = 0,
TCP_MIB_RTOALGORITHM = 1,
TCP_MIB_RTOMIN = 2,
TCP_MIB_RTOMAX = 3,
TCP_MIB_MAXCONN = 4,
TCP_MIB_ACTIVEOPENS = 5,
TCP_MIB_PASSIVEOPENS = 6,
TCP_MIB_ATTEMPTFAILS = 7,
TCP_MIB_ESTABRESETS = 8,
TCP_MIB_CURRESTAB = 9,
TCP_MIB_INSEGS = 10,
TCP_MIB_OUTSEGS = 11,
TCP_MIB_RETRANSSEGS = 12,
TCP_MIB_INERRS = 13,
TCP_MIB_OUTRSTS = 14,
__TCP_MIB_MAX = 15
} ;
enum __anonenum_190 {
UDP_MIB_NUM = 0,
UDP_MIB_INDATAGRAMS = 1,
UDP_MIB_NOPORTS = 2,
UDP_MIB_INERRORS = 3,
UDP_MIB_OUTDATAGRAMS = 4,
UDP_MIB_RCVBUFERRORS = 5,
UDP_MIB_SNDBUFERRORS = 6,
__UDP_MIB_MAX = 7
} ;
enum __anonenum_191 {
LINUX_MIB_NUM = 0,
LINUX_MIB_SYNCOOKIESSENT = 1,
LINUX_MIB_SYNCOOKIESRECV = 2,
LINUX_MIB_SYNCOOKIESFAILED = 3,
LINUX_MIB_EMBRYONICRSTS = 4,
LINUX_MIB_PRUNECALLED = 5,
LINUX_MIB_RCVPRUNED = 6,
LINUX_MIB_OFOPRUNED = 7,
LINUX_MIB_OUTOFWINDOWICMPS = 8,
LINUX_MIB_LOCKDROPPEDICMPS = 9,
LINUX_MIB_ARPFILTER = 10,
LINUX_MIB_TIMEWAITED = 11,
LINUX_MIB_TIMEWAITRECYCLED = 12,
LINUX_MIB_TIMEWAITKILLED = 13,
LINUX_MIB_PAWSPASSIVEREJECTED = 14,
LINUX_MIB_PAWSACTIVEREJECTED = 15,
LINUX_MIB_PAWSESTABREJECTED = 16,
LINUX_MIB_DELAYEDACKS = 17,
LINUX_MIB_DELAYEDACKLOCKED = 18,
LINUX_MIB_DELAYEDACKLOST = 19,
LINUX_MIB_LISTENOVERFLOWS = 20,
LINUX_MIB_LISTENDROPS = 21,
LINUX_MIB_TCPPREQUEUED = 22,
LINUX_MIB_TCPDIRECTCOPYFROMBACKLOG = 23,
LINUX_MIB_TCPDIRECTCOPYFROMPREQUEUE = 24,
LINUX_MIB_TCPPREQUEUEDROPPED = 25,
LINUX_MIB_TCPHPHITS = 26,
LINUX_MIB_TCPHPHITSTOUSER = 27,
LINUX_MIB_TCPPUREACKS = 28,
LINUX_MIB_TCPHPACKS = 29,
LINUX_MIB_TCPRENORECOVERY = 30,
LINUX_MIB_TCPSACKRECOVERY = 31,
LINUX_MIB_TCPSACKRENEGING = 32,
LINUX_MIB_TCPFACKREORDER = 33,
LINUX_MIB_TCPSACKREORDER = 34,
LINUX_MIB_TCPRENOREORDER = 35,
LINUX_MIB_TCPTSREORDER = 36,
LINUX_MIB_TCPFULLUNDO = 37,
LINUX_MIB_TCPPARTIALUNDO = 38,
LINUX_MIB_TCPDSACKUNDO = 39,
LINUX_MIB_TCPLOSSUNDO = 40,
LINUX_MIB_TCPLOSS = 41,
LINUX_MIB_TCPLOSTRETRANSMIT = 42,
LINUX_MIB_TCPRENOFAILURES = 43,
LINUX_MIB_TCPSACKFAILURES = 44,
LINUX_MIB_TCPLOSSFAILURES = 45,
LINUX_MIB_TCPFASTRETRANS = 46,
LINUX_MIB_TCPFORWARDRETRANS = 47,
LINUX_MIB_TCPSLOWSTARTRETRANS = 48,
LINUX_MIB_TCPTIMEOUTS = 49,
LINUX_MIB_TCPRENORECOVERYFAIL = 50,
LINUX_MIB_TCPSACKRECOVERYFAIL = 51,
LINUX_MIB_TCPSCHEDULERFAILED = 52,
LINUX_MIB_TCPRCVCOLLAPSED = 53,
LINUX_MIB_TCPDSACKOLDSENT = 54,
LINUX_MIB_TCPDSACKOFOSENT = 55,
LINUX_MIB_TCPDSACKRECV = 56,
LINUX_MIB_TCPDSACKOFORECV = 57,
LINUX_MIB_TCPABORTONSYN = 58,
LINUX_MIB_TCPABORTONDATA = 59,
LINUX_MIB_TCPABORTONCLOSE = 60,
LINUX_MIB_TCPABORTONMEMORY = 61,
LINUX_MIB_TCPABORTONTIMEOUT = 62,
LINUX_MIB_TCPABORTONLINGER = 63,
LINUX_MIB_TCPABORTFAILED = 64,
LINUX_MIB_TCPMEMORYPRESSURES = 65,
LINUX_MIB_TCPSACKDISCARD = 66,
LINUX_MIB_TCPDSACKIGNOREDOLD = 67,
LINUX_MIB_TCPDSACKIGNOREDNOUNDO = 68,
LINUX_MIB_TCPSPURIOUSRTOS = 69,
LINUX_MIB_TCPMD5NOTFOUND = 70,
LINUX_MIB_TCPMD5UNEXPECTED = 71,
LINUX_MIB_SACKSHIFTED = 72,
LINUX_MIB_SACKMERGED = 73,
LINUX_MIB_SACKSHIFTFALLBACK = 74,
__LINUX_MIB_MAX = 75
} ;
enum __anonenum_192 {
LINUX_MIB_XFRMNUM = 0,
LINUX_MIB_XFRMINERROR = 1,
LINUX_MIB_XFRMINBUFFERERROR = 2,
LINUX_MIB_XFRMINHDRERROR = 3,
LINUX_MIB_XFRMINNOSTATES = 4,
LINUX_MIB_XFRMINSTATEPROTOERROR = 5,
LINUX_MIB_XFRMINSTATEMODEERROR = 6,
LINUX_MIB_XFRMINSTATESEQERROR = 7,
LINUX_MIB_XFRMINSTATEEXPIRED = 8,
LINUX_MIB_XFRMINSTATEMISMATCH = 9,
LINUX_MIB_XFRMINSTATEINVALID = 10,
LINUX_MIB_XFRMINTMPLMISMATCH = 11,
LINUX_MIB_XFRMINNOPOLS = 12,
LINUX_MIB_XFRMINPOLBLOCK = 13,
LINUX_MIB_XFRMINPOLERROR = 14,
LINUX_MIB_XFRMOUTERROR = 15,
LINUX_MIB_XFRMOUTBUNDLEGENERROR = 16,
LINUX_MIB_XFRMOUTBUNDLECHECKERROR = 17,
LINUX_MIB_XFRMOUTNOSTATES = 18,
LINUX_MIB_XFRMOUTSTATEPROTOERROR = 19,
LINUX_MIB_XFRMOUTSTATEMODEERROR = 20,
LINUX_MIB_XFRMOUTSTATESEQERROR = 21,
LINUX_MIB_XFRMOUTSTATEEXPIRED = 22,
LINUX_MIB_XFRMOUTPOLBLOCK = 23,
LINUX_MIB_XFRMOUTPOLDEAD = 24,
LINUX_MIB_XFRMOUTPOLERROR = 25,
__LINUX_MIB_XFRMMAX = 26
} ;
struct ipstats_mib {
unsigned long mibs[__IPSTATS_MIB_MAX] ;
} __attribute__((__aligned__((1) << (7) ))) ;
struct icmp_mib {
unsigned long mibs[__ICMP_MIB_MAX + 1] ;
} __attribute__((__aligned__((1) << (7) ))) ;
struct icmpmsg_mib {
unsigned long mibs[512] ;
} __attribute__((__aligned__((1) << (7) ))) ;
struct icmpv6_mib {
unsigned long mibs[__ICMP6_MIB_MAX] ;
} __attribute__((__aligned__((1) << (7) ))) ;
struct icmpv6msg_mib {
unsigned long mibs[512] ;
} __attribute__((__aligned__((1) << (7) ))) ;
struct tcp_mib {
unsigned long mibs[__TCP_MIB_MAX] ;
} __attribute__((__aligned__((1) << (7) ))) ;
struct udp_mib {
unsigned long mibs[__UDP_MIB_MAX] ;
} __attribute__((__aligned__((1) << (7) ))) ;
struct linux_mib {
unsigned long mibs[__LINUX_MIB_MAX] ;
};
struct linux_xfrm_mib {
unsigned long mibs[__LINUX_MIB_XFRMMAX] ;
};
struct proc_dir_entry;
struct netns_mib {
struct tcp_mib *tcp_statistics[2] ;
struct ipstats_mib *ip_statistics[2] ;
struct linux_mib *net_statistics[2] ;
struct udp_mib *udp_statistics[2] ;
struct udp_mib *udplite_statistics[2] ;
struct icmp_mib *icmp_statistics[2] ;
struct icmpmsg_mib *icmpmsg_statistics[2] ;
struct proc_dir_entry *proc_net_devsnmp6 ;
struct udp_mib *udp_stats_in6[2] ;
struct udp_mib *udplite_stats_in6[2] ;
struct ipstats_mib *ipv6_statistics[2] ;
struct icmpv6_mib *icmpv6_statistics[2] ;
struct icmpv6msg_mib *icmpv6msg_statistics[2] ;
struct linux_xfrm_mib *xfrm_statistics[2] ;
};
struct netns_unix {
int sysctl_max_dgram_qlen ;
struct ctl_table_header *ctl ;
};
struct netns_packet {
rwlock_t sklist_lock ;
struct hlist_head sklist ;
};
struct netns_frags {
int nqueues ;
atomic_t mem ;
struct list_head lru_list ;
int timeout ;
int high_thresh ;
int low_thresh ;
};
struct ipv4_devconf;
struct fib_rules_ops;
struct xt_table;
struct mfc_cache;
struct vif_device;
struct netns_ipv4 {
struct ctl_table_header *forw_hdr ;
struct ctl_table_header *frags_hdr ;
struct ctl_table_header *ipv4_hdr ;
struct ctl_table_header *route_hdr ;
struct ipv4_devconf *devconf_all ;
struct ipv4_devconf *devconf_dflt ;
struct fib_rules_ops *rules_ops ;
struct hlist_head *fib_table_hash ;
struct sock *fibnl ;
struct sock **icmp_sk ;
struct sock *tcp_sock ;
struct netns_frags frags ;
struct xt_table *iptable_filter ;
struct xt_table *iptable_mangle ;
struct xt_table *iptable_raw ;
struct xt_table *arptable_filter ;
struct xt_table *iptable_security ;
struct xt_table *nat_table ;
struct hlist_head *nat_bysource ;
int nat_vmalloced ;
int sysctl_icmp_echo_ignore_all ;
int sysctl_icmp_echo_ignore_broadcasts ;
int sysctl_icmp_ignore_bogus_error_responses ;
int sysctl_icmp_ratelimit ;
int sysctl_icmp_ratemask ;
int sysctl_icmp_errors_use_inbound_ifaddr ;
int sysctl_rt_cache_rebuild_count ;
int current_rt_cache_rebuild_count ;
struct timer_list rt_secret_timer ;
atomic_t rt_genid ;
struct sock *mroute_sk ;
struct mfc_cache **mfc_cache_array ;
struct vif_device *vif_table ;
int maxvif ;
atomic_t cache_resolve_queue_len ;
int mroute_do_assert ;
int mroute_do_pim ;
int mroute_reg_vif_num ;
};
struct netns_sysctl_ipv6 {
struct ctl_table_header *table ;
struct ctl_table_header *frags_hdr ;
int bindv6only ;
int flush_delay ;
int ip6_rt_max_size ;
int ip6_rt_gc_min_interval ;
int ip6_rt_gc_timeout ;
int ip6_rt_gc_interval ;
int ip6_rt_gc_elasticity ;
int ip6_rt_mtu_expires ;
int ip6_rt_min_advmss ;
int icmpv6_time ;
};
struct ipv6_devconf;
struct rt6_info;
struct rt6_statistics;
struct fib6_table;
struct dst_ops;
struct mfc6_cache;
struct mif_device;
struct netns_ipv6 {
struct netns_sysctl_ipv6 sysctl ;
struct ipv6_devconf *devconf_all ;
struct ipv6_devconf *devconf_dflt ;
struct netns_frags frags ;
struct xt_table *ip6table_filter ;
struct xt_table *ip6table_mangle ;
struct xt_table *ip6table_raw ;
struct xt_table *ip6table_security ;
struct rt6_info *ip6_null_entry ;
struct rt6_statistics *rt6_stats ;
struct timer_list ip6_fib_timer ;
struct hlist_head *fib_table_hash ;
struct fib6_table *fib6_main_tbl ;
struct dst_ops *ip6_dst_ops ;
unsigned int ip6_rt_gc_expire ;
unsigned long ip6_rt_last_gc ;
struct rt6_info *ip6_prohibit_entry ;
struct rt6_info *ip6_blk_hole_entry ;
struct fib6_table *fib6_local_tbl ;
struct fib_rules_ops *fib6_rules_ops ;
struct sock **icmp_sk ;
struct sock *ndisc_sk ;
struct sock *tcp_sk ;
struct sock *igmp_sk ;
struct sock *mroute6_sk ;
struct mfc6_cache **mfc6_cache_array ;
struct mif_device *vif6_table ;
int maxvif ;
atomic_t cache_resolve_queue_len ;
int mroute_do_assert ;
int mroute_do_pim ;
int mroute_reg_vif_num ;
};
struct netns_dccp {
struct sock *v4_ctl_sk ;
struct sock *v6_ctl_sk ;
};
enum __anonenum_195 {
NFPROTO_UNSPEC = 0,
NFPROTO_IPV4 = 2,
NFPROTO_ARP = 3,
NFPROTO_BRIDGE = 7,
NFPROTO_IPV6 = 10,
NFPROTO_DECNET = 12,
NFPROTO_NUMPROTO = 13
} ;
struct nameidata;
struct path;
struct vfsmount;
struct qstr {
unsigned int hash ;
unsigned int len ;
unsigned char const *name ;
};
union __anonunion_d_u_205 {
struct list_head d_child ;
struct rcu_head d_rcu ;
};
struct dentry_operations;
struct super_block;
struct dentry {
atomic_t d_count ;
unsigned int d_flags ;
spinlock_t d_lock ;
int d_mounted ;
struct inode *d_inode ;
struct hlist_node d_hash ;
struct dentry *d_parent ;
struct qstr d_name ;
struct list_head d_lru ;
union __anonunion_d_u_205 d_u ;
struct list_head d_subdirs ;
struct list_head d_alias ;
unsigned long d_time ;
struct dentry_operations *d_op ;
struct super_block *d_sb ;
void *d_fsdata ;
unsigned char d_iname[32] ;
};
struct dentry_operations {
int (*d_revalidate)(struct dentry * , struct nameidata * ) ;
int (*d_hash)(struct dentry * , struct qstr * ) ;
int (*d_compare)(struct dentry * , struct qstr * , struct qstr * ) ;
int (*d_delete)(struct dentry * ) ;
void (*d_release)(struct dentry * ) ;
void (*d_iput)(struct dentry * , struct inode * ) ;
char *(*d_dname)(struct dentry * , char * , int ) ;
};
struct path {
struct vfsmount *mnt ;
struct dentry *dentry ;
};
struct radix_tree_node;
struct radix_tree_root {
unsigned int height ;
gfp_t gfp_mask ;
struct radix_tree_node *rnode ;
};
enum pid_type {
PIDTYPE_PID = 0,
PIDTYPE_PGID = 1,
PIDTYPE_SID = 2,
PIDTYPE_MAX = 3
} ;
struct pid_namespace;
struct upid {
int nr ;
struct pid_namespace *ns ;
struct hlist_node pid_chain ;
};
struct pid {
atomic_t count ;
unsigned int level ;
struct hlist_head tasks[PIDTYPE_MAX] ;
struct rcu_head rcu ;
struct upid numbers[1] ;
};
struct pid_link {
struct hlist_node node ;
struct pid *pid ;
};
struct kernel_cap_struct {
__u32 cap[2] ;
};
typedef struct kernel_cap_struct kernel_cap_t;
struct fiemap_extent {
__u64 fe_logical ;
__u64 fe_physical ;
__u64 fe_length ;
__u64 fe_reserved64[2] ;
__u32 fe_flags ;
__u32 fe_reserved[3] ;
};
struct export_operations;
struct kstatfs;
struct cred;
struct iattr {
unsigned int ia_valid ;
umode_t ia_mode ;
uid_t ia_uid ;
gid_t ia_gid ;
loff_t ia_size ;
struct timespec ia_atime ;
struct timespec ia_mtime ;
struct timespec ia_ctime ;
struct file *ia_file ;
};
struct if_dqblk {
__u64 dqb_bhardlimit ;
__u64 dqb_bsoftlimit ;
__u64 dqb_curspace ;
__u64 dqb_ihardlimit ;
__u64 dqb_isoftlimit ;
__u64 dqb_curinodes ;
__u64 dqb_btime ;
__u64 dqb_itime ;
__u32 dqb_valid ;
};
struct if_dqinfo {
__u64 dqi_bgrace ;
__u64 dqi_igrace ;
__u32 dqi_flags ;
__u32 dqi_valid ;
};
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[8] ;
};
struct fs_qfilestat {
__u64 qfs_ino ;
__u64 qfs_nblks ;
__u32 qfs_nextents ;
};
typedef struct fs_qfilestat fs_qfilestat_t;
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 ;
};
struct dquot;
typedef __kernel_uid32_t qid_t;
typedef long long qsize_t;
struct mem_dqblk {
qsize_t dqb_bhardlimit ;
qsize_t dqb_bsoftlimit ;
qsize_t dqb_curspace ;
qsize_t dqb_ihardlimit ;
qsize_t dqb_isoftlimit ;
qsize_t dqb_curinodes ;
time_t dqb_btime ;
time_t dqb_itime ;
};
struct quota_format_type;
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 ;
};
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 ;
unsigned int dq_id ;
loff_t dq_off ;
unsigned long dq_flags ;
short dq_type ;
struct mem_dqblk dq_dqb ;
};
struct quota_format_ops {
int (*check_quota_file)(struct super_block *sb , int type ) ;
int (*read_file_info)(struct super_block *sb , int type ) ;
int (*write_file_info)(struct super_block *sb , int type ) ;
int (*free_file_info)(struct super_block *sb , int type ) ;
int (*read_dqblk)(struct dquot *dquot ) ;
int (*commit_dqblk)(struct dquot *dquot ) ;
int (*release_dqblk)(struct dquot *dquot ) ;
};
struct dquot_operations {
int (*initialize)(struct inode * , int ) ;
int (*drop)(struct inode * ) ;
int (*alloc_space)(struct inode * , qsize_t , int ) ;
int (*alloc_inode)(struct inode const * , qsize_t ) ;
int (*free_space)(struct inode * , qsize_t ) ;
int (*free_inode)(struct inode const * , qsize_t ) ;
int (*transfer)(struct inode * , struct iattr * ) ;
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 ) ;
};
struct quotactl_ops {
int (*quota_on)(struct super_block * , int , int , char * , int ) ;
int (*quota_off)(struct super_block * , int , 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 * , int , qid_t , struct if_dqblk * ) ;
int (*set_dqblk)(struct super_block * , int , qid_t , struct if_dqblk * ) ;
int (*get_xstate)(struct super_block * , struct fs_quota_stat * ) ;
int (*set_xstate)(struct super_block * , unsigned int , int ) ;
int (*get_xquota)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
int (*set_xquota)(struct super_block * , int , qid_t , struct fs_disk_quota * ) ;
};
struct quota_format_type {
int qf_fmt_id ;
struct quota_format_ops *qf_ops ;
struct module *qf_owner ;
struct quota_format_type *qf_next ;
};
struct quota_info {
unsigned int flags ;
struct mutex dqio_mutex ;
struct mutex dqonoff_mutex ;
struct rw_semaphore dqptr_sem ;
struct inode *files[2] ;
struct mem_dqinfo info[2] ;
struct quota_format_ops *ops[2] ;
};
union __anonunion_arg_212 {
char *buf ;
void *data ;
};
struct __anonstruct_read_descriptor_t_211 {
size_t written ;
size_t count ;
union __anonunion_arg_212 arg ;
int error ;
};
typedef struct __anonstruct_read_descriptor_t_211 read_descriptor_t;
struct address_space_operations {
int (*writepage)(struct page *page , struct writeback_control *wbc ) ;
int (*readpage)(struct file * , struct page * ) ;
void (*sync_page)(struct page * ) ;
int (*writepages)(struct address_space * , struct writeback_control * ) ;
int (*set_page_dirty)(struct page *page ) ;
int (*readpages)(struct file *filp , struct address_space *mapping , struct list_head *pages ,
unsigned int nr_pages ) ;
int (*write_begin)(struct file * , struct address_space *mapping , loff_t pos ,
unsigned int len , unsigned int flags , struct page **pagep ,
void **fsdata ) ;
int (*write_end)(struct file * , struct address_space *mapping , loff_t pos , unsigned int len ,
unsigned int copied , struct page *page , void *fsdata ) ;
sector_t (*bmap)(struct address_space * , sector_t ) ;
void (*invalidatepage)(struct page * , unsigned long ) ;
int (*releasepage)(struct page * , gfp_t ) ;
ssize_t (*direct_IO)(int , struct kiocb * , struct iovec const *iov , loff_t offset ,
unsigned long nr_segs ) ;
int (*get_xip_mem)(struct address_space * , unsigned long , int , void ** , unsigned long * ) ;
int (*migratepage)(struct address_space * , struct page * , struct page * ) ;
int (*launder_page)(struct page * ) ;
int (*is_partially_uptodate)(struct page * , read_descriptor_t * , unsigned long ) ;
};
struct backing_dev_info;
struct address_space {
struct inode *host ;
struct radix_tree_root page_tree ;
spinlock_t tree_lock ;
unsigned int i_mmap_writable ;
struct prio_tree_root i_mmap ;
struct list_head i_mmap_nonlinear ;
spinlock_t i_mmap_lock ;
unsigned int truncate_count ;
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 ;
struct address_space *assoc_mapping ;
} __attribute__((__aligned__(sizeof(long )))) ;
struct hd_struct;
struct gendisk;
struct block_device {
dev_t bd_dev ;
struct inode *bd_inode ;
struct super_block *bd_super ;
int bd_openers ;
struct mutex bd_mutex ;
struct semaphore bd_mount_sem ;
struct list_head bd_inodes ;
void *bd_holder ;
int bd_holders ;
struct list_head bd_holder_list ;
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 list_head bd_list ;
struct backing_dev_info *bd_inode_backing_dev_info ;
unsigned long bd_private ;
int bd_fsfreeze_count ;
struct mutex bd_fsfreeze_mutex ;
};
struct inode_operations;
struct file_operations;
struct file_lock;
struct cdev;
union __anonunion____missing_field_name_213 {
struct pipe_inode_info *i_pipe ;
struct block_device *i_bdev ;
struct cdev *i_cdev ;
};
struct dnotify_struct;
struct inode {
struct hlist_node i_hash ;
struct list_head i_list ;
struct list_head i_sb_list ;
struct list_head i_dentry ;
unsigned long i_ino ;
atomic_t i_count ;
unsigned int i_nlink ;
uid_t i_uid ;
gid_t i_gid ;
dev_t i_rdev ;
u64 i_version ;
loff_t i_size ;
struct timespec i_atime ;
struct timespec i_mtime ;
struct timespec i_ctime ;
unsigned int i_blkbits ;
blkcnt_t i_blocks ;
unsigned short i_bytes ;
umode_t i_mode ;
spinlock_t i_lock ;
struct mutex i_mutex ;
struct rw_semaphore i_alloc_sem ;
struct inode_operations const *i_op ;
struct file_operations const *i_fop ;
struct super_block *i_sb ;
struct file_lock *i_flock ;
struct address_space *i_mapping ;
struct address_space i_data ;
struct dquot *i_dquot[2] ;
struct list_head i_devices ;
union __anonunion____missing_field_name_213 __annonCompField25 ;
int i_cindex ;
__u32 i_generation ;
unsigned long i_dnotify_mask ;
struct dnotify_struct *i_dnotify ;
struct list_head inotify_watches ;
struct mutex inotify_mutex ;
unsigned long i_state ;
unsigned long dirtied_when ;
unsigned int i_flags ;
atomic_t i_writecount ;
void *i_security ;
void *i_private ;
};
struct fown_struct {
rwlock_t lock ;
struct pid *pid ;
enum pid_type pid_type ;
uid_t uid ;
uid_t euid ;
int signum ;
};
struct file_ra_state {
unsigned long start ;
unsigned int size ;
unsigned int async_size ;
unsigned int ra_pages ;
int mmap_miss ;
loff_t prev_pos ;
};
union __anonunion_f_u_214 {
struct list_head fu_list ;
struct rcu_head fu_rcuhead ;
};
struct file {
union __anonunion_f_u_214 f_u ;
struct path f_path ;
struct file_operations const *f_op ;
atomic_long_t f_count ;
unsigned int f_flags ;
fmode_t f_mode ;
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 ;
spinlock_t f_ep_lock ;
struct address_space *f_mapping ;
unsigned long f_mnt_write_state ;
};
struct files_struct;
typedef struct files_struct *fl_owner_t;
struct file_lock_operations {
void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
void (*fl_release_private)(struct file_lock * ) ;
};
struct lock_manager_operations {
int (*fl_compare_owner)(struct file_lock * , struct file_lock * ) ;
void (*fl_notify)(struct file_lock * ) ;
int (*fl_grant)(struct file_lock * , struct file_lock * , int ) ;
void (*fl_copy_lock)(struct file_lock * , struct file_lock * ) ;
void (*fl_release_private)(struct file_lock * ) ;
void (*fl_break)(struct file_lock * ) ;
int (*fl_mylease)(struct file_lock * , struct file_lock * ) ;
int (*fl_change)(struct file_lock ** , int ) ;
};
struct nlm_lockowner;
struct nfs_lock_info {
u32 state ;
struct nlm_lockowner *owner ;
struct list_head list ;
};
struct nfs4_lock_state;
struct nfs4_lock_info {
struct nfs4_lock_state *owner ;
};
struct __anonstruct_afs_216 {
struct list_head link ;
int state ;
};
union __anonunion_fl_u_215 {
struct nfs_lock_info nfs_fl ;
struct nfs4_lock_info nfs4_fl ;
struct __anonstruct_afs_216 afs ;
};
struct file_lock {
struct file_lock *fl_next ;
struct list_head fl_link ;
struct list_head fl_block ;
fl_owner_t fl_owner ;
unsigned char fl_flags ;
unsigned char fl_type ;
unsigned int fl_pid ;
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 ;
struct file_lock_operations *fl_ops ;
struct lock_manager_operations *fl_lmops ;
union __anonunion_fl_u_215 fl_u ;
};
struct fasync_struct {
int magic ;
int fa_fd ;
struct fasync_struct *fa_next ;
struct file *fa_file ;
};
struct file_system_type;
struct super_operations;
struct xattr_handler;
struct mtd_info;
struct super_block {
struct list_head s_list ;
dev_t s_dev ;
unsigned long s_blocksize ;
unsigned char s_blocksize_bits ;
unsigned char s_dirt ;
unsigned long long s_maxbytes ;
struct file_system_type *s_type ;
struct super_operations const *s_op ;
struct dquot_operations *dq_op ;
struct quotactl_ops *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 ;
struct mutex s_lock ;
int s_count ;
int s_need_sync_fs ;
atomic_t s_active ;
void *s_security ;
struct xattr_handler **s_xattr ;
struct list_head s_inodes ;
struct list_head s_dirty ;
struct list_head s_io ;
struct list_head s_more_io ;
struct hlist_head s_anon ;
struct list_head s_files ;
struct list_head s_dentry_lru ;
int s_nr_dentry_unused ;
struct block_device *s_bdev ;
struct mtd_info *s_mtd ;
struct list_head s_instances ;
struct quota_info s_dquot ;
int s_frozen ;
wait_queue_head_t s_wait_unfrozen ;
char s_id[32] ;
void *s_fs_info ;
fmode_t s_mode ;
struct mutex s_vfs_rename_mutex ;
u32 s_time_gran ;
char *s_subtype ;
char *s_options ;
struct list_head s_async_list ;
};
struct fiemap_extent_info {
unsigned int fi_flags ;
unsigned int fi_extents_mapped ;
unsigned int fi_extents_max ;
struct fiemap_extent *fi_extents_start ;
};
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 (*readdir)(struct file * , void * , int (*)(void * , char const * , int ,
loff_t , u64 , unsigned int ) ) ;
unsigned int (*poll)(struct file * , struct poll_table_struct * ) ;
int (*ioctl)(struct inode * , struct file * , unsigned int , unsigned long ) ;
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 id ) ;
int (*release)(struct inode * , struct file * ) ;
int (*fsync)(struct file * , struct dentry * , int datasync ) ;
int (*aio_fsync)(struct kiocb * , int datasync ) ;
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 ** ) ;
};
struct inode_operations {
int (*create)(struct inode * , struct dentry * , int , struct nameidata * ) ;
struct dentry *(*lookup)(struct inode * , struct dentry * , struct nameidata * ) ;
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 * , int ) ;
int (*rmdir)(struct inode * , struct dentry * ) ;
int (*mknod)(struct inode * , struct dentry * , int , dev_t ) ;
int (*rename)(struct inode * , struct dentry * , struct inode * , struct dentry * ) ;
int (*readlink)(struct dentry * , char * , int ) ;
void *(*follow_link)(struct dentry * , struct nameidata * ) ;
void (*put_link)(struct dentry * , struct nameidata * , void * ) ;
void (*truncate)(struct inode * ) ;
int (*permission)(struct inode * , int ) ;
int (*setattr)(struct dentry * , struct iattr * ) ;
int (*getattr)(struct vfsmount *mnt , 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 * ) ;
void (*truncate_range)(struct inode * , loff_t , loff_t ) ;
long (*fallocate)(struct inode *inode , int mode , loff_t offset , loff_t len ) ;
int (*fiemap)(struct inode * , struct fiemap_extent_info * , u64 start , u64 len ) ;
};
struct super_operations {
struct inode *(*alloc_inode)(struct super_block *sb ) ;
void (*destroy_inode)(struct inode * ) ;
void (*dirty_inode)(struct inode * ) ;
int (*write_inode)(struct inode * , int ) ;
void (*drop_inode)(struct inode * ) ;
void (*delete_inode)(struct inode * ) ;
void (*put_super)(struct super_block * ) ;
void (*write_super)(struct super_block * ) ;
int (*sync_fs)(struct super_block *sb , int wait ) ;
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 (*clear_inode)(struct inode * ) ;
void (*umount_begin)(struct super_block * ) ;
int (*show_options)(struct seq_file * , struct vfsmount * ) ;
int (*show_stats)(struct seq_file * , struct vfsmount * ) ;
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 ) ;
};
struct file_system_type {
char const *name ;
int fs_flags ;
int (*get_sb)(struct file_system_type * , int , char const * , void * , struct vfsmount * ) ;
void (*kill_sb)(struct super_block * ) ;
struct module *owner ;
struct file_system_type *next ;
struct list_head fs_supers ;
struct lock_class_key s_lock_key ;
struct lock_class_key s_umount_key ;
struct lock_class_key i_lock_key ;
struct lock_class_key i_mutex_key ;
struct lock_class_key i_mutex_dir_key ;
struct lock_class_key i_alloc_sem_key ;
};
struct bio;
typedef int read_proc_t(char *page , char **start , off_t off , int count , int *eof ,
void *data );
typedef int write_proc_t(struct file *file , char const *buffer , unsigned long count ,
void *data );
struct proc_dir_entry {
unsigned int low_ino ;
unsigned short namelen ;
char const *name ;
mode_t mode ;
nlink_t nlink ;
uid_t uid ;
gid_t gid ;
loff_t size ;
struct inode_operations const *proc_iops ;
struct file_operations const *proc_fops ;
struct module *owner ;
struct proc_dir_entry *next ;
struct proc_dir_entry *parent ;
struct proc_dir_entry *subdir ;
void *data ;
read_proc_t *read_proc ;
write_proc_t *write_proc ;
atomic_t count ;
int pde_users ;
spinlock_t pde_unload_lock ;
struct completion *pde_unload_completion ;
struct list_head pde_openers ;
};
struct ebt_table;
struct netns_xt {
struct list_head tables[NFPROTO_NUMPROTO] ;
struct ebt_table *broute_table ;
struct ebt_table *frame_filter ;
struct ebt_table *frame_nat ;
};
struct nf_conntrack_ecache;
struct ip_conntrack_stat;
struct netns_ct {
atomic_t count ;
unsigned int expect_count ;
struct hlist_head *hash ;
struct hlist_head *expect_hash ;
struct hlist_head unconfirmed ;
struct ip_conntrack_stat *stat ;
struct nf_conntrack_ecache *ecache ;
int sysctl_acct ;
int sysctl_checksum ;
unsigned int sysctl_log_invalid ;
struct ctl_table_header *sysctl_header ;
struct ctl_table_header *acct_sysctl_header ;
int hash_vmalloc ;
int expect_vmalloc ;
};
enum __anonenum_222 {
XFRM_POLICY_IN = 0,
XFRM_POLICY_OUT = 1,
XFRM_POLICY_FWD = 2,
XFRM_POLICY_MASK = 3,
XFRM_POLICY_MAX = 3
} ;
struct xfrm_policy_hash {
struct hlist_head *table ;
unsigned int hmask ;
};
struct netns_xfrm {
struct list_head state_all ;
struct hlist_head *state_bydst ;
struct hlist_head *state_bysrc ;
struct hlist_head *state_byspi ;
unsigned int state_hmask ;
unsigned int state_num ;
struct work_struct state_hash_work ;
struct hlist_head state_gc_list ;
struct work_struct state_gc_work ;
wait_queue_head_t km_waitq ;
struct list_head policy_all ;
struct hlist_head *policy_byidx ;
unsigned int policy_idx_hmask ;
struct hlist_head policy_inexact[XFRM_POLICY_MAX * 2] ;
struct xfrm_policy_hash policy_bydst[XFRM_POLICY_MAX * 2] ;
unsigned int policy_count[XFRM_POLICY_MAX * 2] ;
struct work_struct policy_hash_work ;
struct sock *nlsk ;
u32 sysctl_aevent_etime ;
u32 sysctl_aevent_rseqth ;
int sysctl_larval_drop ;
u32 sysctl_acq_expires ;
struct ctl_table_header *sysctl_hdr ;
};
struct net_generic;
struct net {
atomic_t count ;
struct list_head list ;
struct work_struct work ;
struct proc_dir_entry *proc_net ;
struct proc_dir_entry *proc_net_stat ;
struct ctl_table_set sysctls ;
struct net_device *loopback_dev ;
struct list_head dev_base_head ;
struct hlist_head *dev_name_head ;
struct hlist_head *dev_index_head ;
struct list_head rules_ops ;
spinlock_t rules_mod_lock ;
struct sock *rtnl ;
struct netns_core core ;
struct netns_mib mib ;
struct netns_packet packet ;
struct netns_unix unx ;
struct netns_ipv4 ipv4 ;
struct netns_ipv6 ipv6 ;
struct netns_dccp dccp ;
struct netns_xt xt ;
struct netns_ct ct ;
struct netns_xfrm xfrm ;
struct net_generic *gen ;
};
struct seq_file {
char *buf ;
size_t size ;
size_t from ;
size_t count ;
loff_t index ;
loff_t read_pos ;
u64 version ;
struct mutex lock ;
struct seq_operations const *op ;
void *private ;
};
struct seq_operations {
void *(*start)(struct seq_file *m , loff_t *pos ) ;
void (*stop)(struct seq_file *m , void *v ) ;
void *(*next)(struct seq_file *m , void *v , loff_t *pos ) ;
int (*show)(struct seq_file *m , void *v ) ;
};
struct dcbnl_rtnl_ops {
u8 (*getstate)(struct net_device * ) ;
u8 (*setstate)(struct net_device * , u8 ) ;
void (*getpermhwaddr)(struct net_device * , u8 * ) ;
void (*setpgtccfgtx)(struct net_device * , int , u8 , u8 , u8 , u8 ) ;
void (*setpgbwgcfgtx)(struct net_device * , int , u8 ) ;
void (*setpgtccfgrx)(struct net_device * , int , u8 , u8 , u8 , u8 ) ;
void (*setpgbwgcfgrx)(struct net_device * , int , u8 ) ;
void (*getpgtccfgtx)(struct net_device * , int , u8 * , u8 * , u8 * , u8 * ) ;
void (*getpgbwgcfgtx)(struct net_device * , int , u8 * ) ;
void (*getpgtccfgrx)(struct net_device * , int , u8 * , u8 * , u8 * , u8 * ) ;
void (*getpgbwgcfgrx)(struct net_device * , int , u8 * ) ;
void (*setpfccfg)(struct net_device * , int , u8 ) ;
void (*getpfccfg)(struct net_device * , int , u8 * ) ;
u8 (*setall)(struct net_device * ) ;
u8 (*getcap)(struct net_device * , int , u8 * ) ;
u8 (*getnumtcs)(struct net_device * , int , u8 * ) ;
u8 (*setnumtcs)(struct net_device * , int , u8 ) ;
u8 (*getpfcstate)(struct net_device * ) ;
void (*setpfcstate)(struct net_device * , u8 ) ;
void (*getbcncfg)(struct net_device * , int , u32 * ) ;
void (*setbcncfg)(struct net_device * , int , u32 ) ;
void (*getbcnrp)(struct net_device * , int , u8 * ) ;
void (*setbcnrp)(struct net_device * , int , u8 ) ;
};
struct vlan_group;
struct ethtool_ops;
struct netpoll_info;
struct wireless_dev;
struct net_device_stats {
unsigned long rx_packets ;
unsigned long tx_packets ;
unsigned long rx_bytes ;
unsigned long tx_bytes ;
unsigned long rx_errors ;
unsigned long tx_errors ;
unsigned long rx_dropped ;
unsigned long tx_dropped ;
unsigned long multicast ;
unsigned long collisions ;
unsigned long rx_length_errors ;
unsigned long rx_over_errors ;
unsigned long rx_crc_errors ;
unsigned long rx_frame_errors ;
unsigned long rx_fifo_errors ;
unsigned long rx_missed_errors ;
unsigned long tx_aborted_errors ;
unsigned long tx_carrier_errors ;
unsigned long tx_fifo_errors ;
unsigned long tx_heartbeat_errors ;
unsigned long tx_window_errors ;
unsigned long rx_compressed ;
unsigned long tx_compressed ;
};
struct neighbour;
struct neigh_parms;
struct dev_addr_list {
struct dev_addr_list *next ;
u8 da_addr[32] ;
u8 da_addrlen ;
u8 da_synced ;
int da_users ;
int da_gusers ;
};
struct hh_cache {
struct hh_cache *hh_next ;
atomic_t hh_refcnt ;
__be16 hh_type __attribute__((__aligned__((1) << (7) ))) ;
u16 hh_len ;
int (*hh_output)(struct sk_buff *skb ) ;
seqlock_t hh_lock ;
unsigned long hh_data[(unsigned long )((128 + (16 - 1)) & ~ (16 - 1)) / sizeof(long )] ;
};
struct header_ops {
int (*create)(struct sk_buff *skb , struct net_device *dev , unsigned short type ,
void const *daddr , void const *saddr , unsigned int len ) ;
int (*parse)(struct sk_buff const *skb , unsigned char *haddr ) ;
int (*rebuild)(struct sk_buff *skb ) ;
int (*cache)(struct neighbour const *neigh , struct hh_cache *hh ) ;
void (*cache_update)(struct hh_cache *hh , struct net_device const *dev , unsigned char const *haddr ) ;
};
enum netdev_queue_state_t {
__QUEUE_STATE_XOFF = 0,
__QUEUE_STATE_FROZEN = 1
} ;
struct Qdisc;
struct netdev_queue {
struct net_device *dev ;
struct Qdisc *qdisc ;
unsigned long state ;
spinlock_t _xmit_lock ;
int xmit_lock_owner ;
struct Qdisc *qdisc_sleeping ;
} __attribute__((__aligned__((1) << (7) ))) ;
struct net_device_ops {
int (*ndo_init)(struct net_device *dev ) ;
void (*ndo_uninit)(struct net_device *dev ) ;
int (*ndo_open)(struct net_device *dev ) ;
int (*ndo_stop)(struct net_device *dev ) ;
int (*ndo_start_xmit)(struct sk_buff *skb , struct net_device *dev ) ;
u16 (*ndo_select_queue)(struct net_device *dev , struct sk_buff *skb ) ;
void (*ndo_change_rx_flags)(struct net_device *dev , int flags ) ;
void (*ndo_set_rx_mode)(struct net_device *dev ) ;
void (*ndo_set_multicast_list)(struct net_device *dev ) ;
int (*ndo_set_mac_address)(struct net_device *dev , void *addr ) ;
int (*ndo_validate_addr)(struct net_device *dev ) ;
int (*ndo_do_ioctl)(struct net_device *dev , struct ifreq *ifr , int cmd ) ;
int (*ndo_set_config)(struct net_device *dev , struct ifmap *map ) ;
int (*ndo_change_mtu)(struct net_device *dev , int new_mtu ) ;
int (*ndo_neigh_setup)(struct net_device *dev , struct neigh_parms * ) ;
void (*ndo_tx_timeout)(struct net_device *dev ) ;
struct net_device_stats *(*ndo_get_stats)(struct net_device *dev ) ;
void (*ndo_vlan_rx_register)(struct net_device *dev , struct vlan_group *grp ) ;
void (*ndo_vlan_rx_add_vid)(struct net_device *dev , unsigned short vid ) ;
void (*ndo_vlan_rx_kill_vid)(struct net_device *dev , unsigned short vid ) ;
void (*ndo_poll_controller)(struct net_device *dev ) ;
};
struct iw_handler_def;
struct iw_public_data;
enum __anonenum_reg_state_228 {
NETREG_UNINITIALIZED = 0,
NETREG_REGISTERED = 1,
NETREG_UNREGISTERING = 2,
NETREG_UNREGISTERED = 3,
NETREG_RELEASED = 4,
NETREG_DUMMY = 5
} ;
struct net_bridge_port;
struct macvlan_port;
struct garp_port;
struct rtnl_link_ops;
struct __anonstruct____missing_field_name_229 {
int (*init)(struct net_device *dev ) ;
void (*uninit)(struct net_device *dev ) ;
int (*open)(struct net_device *dev ) ;
int (*stop)(struct net_device *dev ) ;
int (*hard_start_xmit)(struct sk_buff *skb , struct net_device *dev ) ;
u16 (*select_queue)(struct net_device *dev , struct sk_buff *skb ) ;
void (*change_rx_flags)(struct net_device *dev , int flags ) ;
void (*set_rx_mode)(struct net_device *dev ) ;
void (*set_multicast_list)(struct net_device *dev ) ;
int (*set_mac_address)(struct net_device *dev , void *addr ) ;
int (*validate_addr)(struct net_device *dev ) ;
int (*do_ioctl)(struct net_device *dev , struct ifreq *ifr , int cmd ) ;
int (*set_config)(struct net_device *dev , struct ifmap *map ) ;
int (*change_mtu)(struct net_device *dev , int new_mtu ) ;
int (*neigh_setup)(struct net_device *dev , struct neigh_parms * ) ;
void (*tx_timeout)(struct net_device *dev ) ;
struct net_device_stats *(*get_stats)(struct net_device *dev ) ;
void (*vlan_rx_register)(struct net_device *dev , struct vlan_group *grp ) ;
void (*vlan_rx_add_vid)(struct net_device *dev , unsigned short vid ) ;
void (*vlan_rx_kill_vid)(struct net_device *dev , unsigned short vid ) ;
void (*poll_controller)(struct net_device *dev ) ;
};
struct net_device {
char name[16] ;
struct hlist_node name_hlist ;
char *ifalias ;
unsigned long mem_end ;
unsigned long mem_start ;
unsigned long base_addr ;
unsigned int irq ;
unsigned char if_port ;
unsigned char dma ;
unsigned long state ;
struct list_head dev_list ;
struct list_head napi_list ;
unsigned long features ;
int ifindex ;
int iflink ;
struct net_device_stats stats ;
struct iw_handler_def const *wireless_handlers ;
struct iw_public_data *wireless_data ;
struct net_device_ops const *netdev_ops ;
struct ethtool_ops const *ethtool_ops ;
struct header_ops const *header_ops ;
unsigned int flags ;
unsigned short gflags ;
unsigned short priv_flags ;
unsigned short padded ;
unsigned char operstate ;
unsigned char link_mode ;
unsigned int mtu ;
unsigned short type ;
unsigned short hard_header_len ;
unsigned short needed_headroom ;
unsigned short needed_tailroom ;
struct net_device *master ;
unsigned char perm_addr[32] ;
unsigned char addr_len ;
unsigned short dev_id ;
spinlock_t addr_list_lock ;
struct dev_addr_list *uc_list ;
int uc_count ;
int uc_promisc ;
struct dev_addr_list *mc_list ;
int mc_count ;
unsigned int promiscuity ;
unsigned int allmulti ;
void *dsa_ptr ;
void *atalk_ptr ;
void *ip_ptr ;
void *dn_ptr ;
void *ip6_ptr ;
void *ec_ptr ;
void *ax25_ptr ;
struct wireless_dev *ieee80211_ptr ;
unsigned long last_rx ;
unsigned char dev_addr[32] ;
unsigned char broadcast[32] ;
struct netdev_queue rx_queue ;
struct netdev_queue *_tx __attribute__((__aligned__((1) << (7) ))) ;
unsigned int num_tx_queues ;
unsigned int real_num_tx_queues ;
unsigned long tx_queue_len ;
spinlock_t tx_global_lock ;
unsigned long trans_start ;
int watchdog_timeo ;
struct timer_list watchdog_timer ;
atomic_t refcnt __attribute__((__aligned__((1) << (7) ))) ;
struct list_head todo_list ;
struct hlist_node index_hlist ;
struct net_device *link_watch_next ;
enum __anonenum_reg_state_228 reg_state ;
void (*destructor)(struct net_device *dev ) ;
struct netpoll_info *npinfo ;
struct net *nd_net ;
void *ml_priv ;
struct net_bridge_port *br_port ;
struct macvlan_port *macvlan_port ;
struct garp_port *garp_port ;
struct device dev ;
struct attribute_group *sysfs_groups[3] ;
struct rtnl_link_ops const *rtnl_link_ops ;
unsigned long vlan_features ;
unsigned int gso_max_size ;
struct dcbnl_rtnl_ops *dcbnl_ops ;
struct __anonstruct____missing_field_name_229 __annonCompField26 ;
};
typedef unsigned long cputime_t;
struct sem_undo_list;
struct sem_undo_list {
atomic_t refcnt ;
spinlock_t lock ;
struct list_head list_proc ;
};
struct sysv_sem {
struct sem_undo_list *undo_list ;
};
struct siginfo;
struct __anonstruct_sigset_t_230 {
unsigned long sig[64 / 64] ;
};
typedef struct __anonstruct_sigset_t_230 sigset_t;
typedef void __signalfn_t(int );
typedef __signalfn_t *__sighandler_t;
typedef void __restorefn_t(void);
typedef __restorefn_t *__sigrestore_t;
struct sigaction {
__sighandler_t sa_handler ;
unsigned long sa_flags ;
__sigrestore_t sa_restorer ;
sigset_t sa_mask ;
};
struct k_sigaction {
struct sigaction sa ;
};
union sigval {
int sival_int ;
void *sival_ptr ;
};
typedef union sigval sigval_t;
struct __anonstruct__kill_232 {
pid_t _pid ;
uid_t _uid ;
};
struct __anonstruct__timer_233 {
timer_t _tid ;
int _overrun ;
char _pad[sizeof(uid_t ) - sizeof(int )] ;
sigval_t _sigval ;
int _sys_private ;
};
struct __anonstruct__rt_234 {
pid_t _pid ;
uid_t _uid ;
sigval_t _sigval ;
};
struct __anonstruct__sigchld_235 {
pid_t _pid ;
uid_t _uid ;
int _status ;
clock_t _utime ;
clock_t _stime ;
};
struct __anonstruct__sigfault_236 {
void *_addr ;
};
struct __anonstruct__sigpoll_237 {
long _band ;
int _fd ;
};
union __anonunion__sifields_231 {
int _pad[(128UL - 4UL * sizeof(int )) / sizeof(int )] ;
struct __anonstruct__kill_232 _kill ;
struct __anonstruct__timer_233 _timer ;
struct __anonstruct__rt_234 _rt ;
struct __anonstruct__sigchld_235 _sigchld ;
struct __anonstruct__sigfault_236 _sigfault ;
struct __anonstruct__sigpoll_237 _sigpoll ;
};
struct siginfo {
int si_signo ;
int si_errno ;
int si_code ;
union __anonunion__sifields_231 _sifields ;
};
typedef struct siginfo siginfo_t;
struct sigpending {
struct list_head list ;
sigset_t signal ;
};
struct fs_struct {
atomic_t count ;
rwlock_t lock ;
int umask ;
struct path root ;
struct path pwd ;
};
struct prop_local_single {
unsigned long events ;
unsigned long period ;
int shift ;
spinlock_t lock ;
};
struct __anonstruct_seccomp_t_240 {
int mode ;
};
typedef struct __anonstruct_seccomp_t_240 seccomp_t;
struct plist_head {
struct list_head prio_list ;
struct list_head node_list ;
spinlock_t *lock ;
};
struct rt_mutex_waiter;
struct rlimit {
unsigned long rlim_cur ;
unsigned long rlim_max ;
};
struct task_io_accounting {
u64 rchar ;
u64 wchar ;
u64 syscr ;
u64 syscw ;
u64 read_bytes ;
u64 write_bytes ;
u64 cancelled_write_bytes ;
};
struct latency_record {
unsigned long backtrace[12] ;
unsigned int count ;
unsigned long time ;
unsigned long max ;
};
typedef int32_t key_serial_t;
typedef uint32_t key_perm_t;
struct signal_struct;
struct key_type;
struct keyring_list;
struct key_user;
union __anonunion_type_data_241 {
struct list_head link ;
unsigned long x[2] ;
void *p[2] ;
};
union __anonunion_payload_242 {
unsigned long value ;
void *data ;
struct keyring_list *subscriptions ;
};
struct key {
atomic_t usage ;
key_serial_t serial ;
struct rb_node serial_node ;
struct key_type *type ;
struct rw_semaphore sem ;
struct key_user *user ;
void *security ;
time_t expiry ;
uid_t uid ;
gid_t gid ;
key_perm_t perm ;
unsigned short quotalen ;
unsigned short datalen ;
unsigned long flags ;
char *description ;
union __anonunion_type_data_241 type_data ;
union __anonunion_payload_242 payload ;
};
struct group_info {
atomic_t usage ;
int ngroups ;
int nblocks ;
gid_t small_block[32] ;
gid_t *blocks[0] ;
};
struct thread_group_cred {
atomic_t usage ;
pid_t tgid ;
spinlock_t lock ;
struct key *session_keyring ;
struct key *process_keyring ;
struct rcu_head rcu ;
};
struct cred {
atomic_t usage ;
uid_t uid ;
gid_t gid ;
uid_t suid ;
gid_t sgid ;
uid_t euid ;
gid_t egid ;
uid_t fsuid ;
gid_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 *thread_keyring ;
struct key *request_key_auth ;
struct thread_group_cred *tgcred ;
void *security ;
struct user_struct *user ;
struct group_info *group_info ;
struct rcu_head rcu ;
};
struct futex_pi_state;
struct robust_list_head;
struct cfs_rq;
struct task_group;
struct user_namespace;
struct io_event {
__u64 data ;
__u64 obj ;
__s64 res ;
__s64 res2 ;
};
struct kioctx;
union __anonunion_ki_obj_244 {
void *user ;
struct task_struct *tsk ;
};
struct kiocb {
struct list_head ki_run_list ;
unsigned long ki_flags ;
int ki_users ;
unsigned int ki_key ;
struct file *ki_filp ;
struct kioctx *ki_ctx ;
int (*ki_cancel)(struct kiocb * , struct io_event * ) ;
ssize_t (*ki_retry)(struct kiocb * ) ;
void (*ki_dtor)(struct kiocb * ) ;
union __anonunion_ki_obj_244 ki_obj ;
__u64 ki_user_data ;
wait_queue_t ki_wait ;
loff_t ki_pos ;
void *private ;
unsigned short ki_opcode ;
size_t ki_nbytes ;
char *ki_buf ;
size_t ki_left ;
struct iovec ki_inline_vec ;
struct iovec *ki_iovec ;
unsigned long ki_nr_segs ;
unsigned long ki_cur_seg ;
struct list_head ki_list ;
struct file *ki_eventfd ;
};
struct aio_ring_info {
unsigned long mmap_base ;
unsigned long mmap_size ;
struct page **ring_pages ;
spinlock_t ring_lock ;
long nr_pages ;
unsigned int nr ;
unsigned int tail ;
struct page *internal_pages[8] ;
};
struct kioctx {
atomic_t users ;
int dead ;
struct mm_struct *mm ;
unsigned long user_id ;
struct hlist_node list ;
wait_queue_head_t wait ;
spinlock_t ctx_lock ;
int reqs_active ;
struct list_head active_reqs ;
struct list_head run_list ;
unsigned int max_reqs ;
struct aio_ring_info ring_info ;
struct delayed_work wq ;
struct rcu_head rcu_head ;
};
struct sighand_struct {
atomic_t count ;
struct k_sigaction action[64] ;
spinlock_t siglock ;
wait_queue_head_t signalfd_wqh ;
};
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 ;
};
struct task_cputime {
cputime_t utime ;
cputime_t stime ;
unsigned long long sum_exec_runtime ;
};
struct thread_group_cputimer {
struct task_cputime cputime ;
int running ;
spinlock_t lock ;
};
union __anonunion____missing_field_name_245 {
pid_t pgrp __attribute__((__deprecated__)) ;
pid_t __pgrp ;
};
union __anonunion____missing_field_name_246 {
pid_t session __attribute__((__deprecated__)) ;
pid_t __session ;
};
struct tty_struct;
struct taskstats;
struct tty_audit_buf;
struct signal_struct {
atomic_t count ;
atomic_t live ;
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 ;
struct list_head posix_timers ;
struct hrtimer real_timer ;
struct pid *leader_pid ;
ktime_t it_real_incr ;
cputime_t it_prof_expires ;
cputime_t it_virt_expires ;
cputime_t it_prof_incr ;
cputime_t it_virt_incr ;
struct thread_group_cputimer cputimer ;
struct task_cputime cputime_expires ;
struct list_head cpu_timers[3] ;
union __anonunion____missing_field_name_245 __annonCompField27 ;
struct pid *tty_old_pgrp ;
union __anonunion____missing_field_name_246 __annonCompField28 ;
int leader ;
struct tty_struct *tty ;
cputime_t utime ;
cputime_t stime ;
cputime_t cutime ;
cputime_t cstime ;
cputime_t gtime ;
cputime_t cgtime ;
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 ;
struct task_io_accounting ioac ;
unsigned long long sum_sched_runtime ;
struct rlimit rlim[16] ;
struct pacct_struct pacct ;
struct taskstats *stats ;
unsigned int audit_tty ;
struct tty_audit_buf *tty_audit_buf ;
};
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 epoll_watches ;
unsigned long mq_bytes ;
unsigned long locked_shm ;
struct key *uid_keyring ;
struct key *session_keyring ;
struct hlist_node uidhash_node ;
uid_t uid ;
struct user_namespace *user_ns ;
struct task_group *tg ;
struct kobject kobj ;
struct work_struct work ;
};
struct reclaim_state;
struct sched_info {
unsigned long pcount ;
unsigned long long run_delay ;
unsigned long long last_arrival ;
unsigned long long last_queued ;
unsigned int bkl_count ;
};
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 ;
};
enum cpu_idle_type {
CPU_IDLE = 0,
CPU_NOT_IDLE = 1,
CPU_NEWLY_IDLE = 2,
CPU_MAX_IDLE_TYPES = 3
} ;
struct sched_group {
struct sched_group *next ;
unsigned int __cpu_power ;
u32 reciprocal_cpu_power ;
unsigned long cpumask[] ;
};
enum sched_domain_level {
SD_LV_NONE = 0,
SD_LV_SIBLING = 1,
SD_LV_MC = 2,
SD_LV_CPU = 3,
SD_LV_NODE = 4,
SD_LV_ALLNODES = 5,
SD_LV_MAX = 6
} ;
struct sched_domain {
struct sched_domain *parent ;
struct sched_domain *child ;
struct sched_group *groups ;
unsigned long min_interval ;
unsigned long max_interval ;
unsigned int busy_factor ;
unsigned int imbalance_pct ;
unsigned int cache_nice_tries ;
unsigned int busy_idx ;
unsigned int idle_idx ;
unsigned int newidle_idx ;
unsigned int wake_idx ;
unsigned int forkexec_idx ;
int flags ;
enum sched_domain_level level ;
unsigned long last_balance ;
unsigned int balance_interval ;
unsigned int nr_balance_failed ;
u64 last_update ;
unsigned int lb_count[CPU_MAX_IDLE_TYPES] ;
unsigned int lb_failed[CPU_MAX_IDLE_TYPES] ;
unsigned int lb_balanced[CPU_MAX_IDLE_TYPES] ;
unsigned int lb_imbalance[CPU_MAX_IDLE_TYPES] ;
unsigned int lb_gained[CPU_MAX_IDLE_TYPES] ;
unsigned int lb_hot_gained[CPU_MAX_IDLE_TYPES] ;
unsigned int lb_nobusyg[CPU_MAX_IDLE_TYPES] ;
unsigned int lb_nobusyq[CPU_MAX_IDLE_TYPES] ;
unsigned int alb_count ;
unsigned int alb_failed ;
unsigned int alb_pushed ;
unsigned int sbe_count ;
unsigned int sbe_balanced ;
unsigned int sbe_pushed ;
unsigned int sbf_count ;
unsigned int sbf_balanced ;
unsigned int sbf_pushed ;
unsigned int ttwu_wake_remote ;
unsigned int ttwu_move_affine ;
unsigned int ttwu_move_balance ;
char *name ;
unsigned long span[] ;
};
struct io_context;
struct audit_context;
struct rq;
struct sched_class {
struct sched_class const *next ;
void (*enqueue_task)(struct rq *rq , struct task_struct *p , int wakeup ) ;
void (*dequeue_task)(struct rq *rq , struct task_struct *p , int sleep ) ;
void (*yield_task)(struct rq *rq ) ;
void (*check_preempt_curr)(struct rq *rq , struct task_struct *p , int sync ) ;
struct task_struct *(*pick_next_task)(struct rq *rq ) ;
void (*put_prev_task)(struct rq *rq , struct task_struct *p ) ;
int (*select_task_rq)(struct task_struct *p , int sync ) ;
unsigned long (*load_balance)(struct rq *this_rq , int this_cpu , struct rq *busiest ,
unsigned long max_load_move , struct sched_domain *sd ,
enum cpu_idle_type idle , int *all_pinned , int *this_best_prio ) ;
int (*move_one_task)(struct rq *this_rq , int this_cpu , struct rq *busiest , struct sched_domain *sd ,
enum cpu_idle_type idle ) ;
void (*pre_schedule)(struct rq *this_rq , struct task_struct *task ) ;
void (*post_schedule)(struct rq *this_rq ) ;
void (*task_wake_up)(struct rq *this_rq , struct task_struct *task ) ;
void (*set_cpus_allowed)(struct task_struct *p , struct cpumask const *newmask ) ;
void (*rq_online)(struct rq *rq ) ;
void (*rq_offline)(struct rq *rq ) ;
void (*set_curr_task)(struct rq *rq ) ;
void (*task_tick)(struct rq *rq , struct task_struct *p , int queued ) ;
void (*task_new)(struct rq *rq , struct task_struct *p ) ;
void (*switched_from)(struct rq *this_rq , struct task_struct *task , int running ) ;
void (*switched_to)(struct rq *this_rq , struct task_struct *task , int running ) ;
void (*prio_changed)(struct rq *this_rq , struct task_struct *task , int oldprio ,
int running ) ;
void (*moved_group)(struct task_struct *p ) ;
};
struct load_weight {
unsigned long weight ;
unsigned long inv_weight ;
};
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 last_wakeup ;
u64 avg_overlap ;
u64 wait_start ;
u64 wait_max ;
u64 wait_count ;
u64 wait_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 ;
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_forced2_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 ;
struct sched_entity *parent ;
struct cfs_rq *cfs_rq ;
struct cfs_rq *my_q ;
};
struct rt_rq;
struct sched_rt_entity {
struct list_head run_list ;
unsigned long timeout ;
unsigned int time_slice ;
int nr_cpus_allowed ;
struct sched_rt_entity *back ;
struct sched_rt_entity *parent ;
struct rt_rq *rt_rq ;
struct rt_rq *my_q ;
};
struct linux_binfmt;
struct css_set;
struct compat_robust_list_head;
struct task_struct {
long volatile state ;
void *stack ;
atomic_t usage ;
unsigned int flags ;
unsigned int ptrace ;
int lock_depth ;
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 hlist_head preempt_notifiers ;
unsigned char fpu_counter ;
s8 oomkilladj ;
unsigned int btrace_seq ;
unsigned int policy ;
cpumask_t cpus_allowed ;
struct sched_info sched_info ;
struct list_head tasks ;
struct mm_struct *mm ;
struct mm_struct *active_mm ;
struct linux_binfmt *binfmt ;
int exit_state ;
int exit_code ;
int exit_signal ;
int pdeath_signal ;
unsigned int personality ;
unsigned int did_exec : 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 bts_tracer *bts ;
void *bts_buffer ;
size_t bts_size ;
struct pid_link pids[PIDTYPE_MAX] ;
struct list_head thread_group ;
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 ;
cputime_t prev_utime ;
cputime_t prev_stime ;
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[3] ;
struct cred const *real_cred ;
struct cred const *cred ;
struct mutex cred_exec_mutex ;
char comm[16] ;
int link_count ;
int total_link_count ;
struct sysv_sem sysvsem ;
unsigned long last_switch_timestamp ;
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 *priv ) ;
void *notifier_data ;
sigset_t *notifier_mask ;
struct audit_context *audit_context ;
uid_t loginuid ;
unsigned int sessionid ;
seccomp_t seccomp ;
u32 parent_exec_id ;
u32 self_exec_id ;
spinlock_t alloc_lock ;
spinlock_t pi_lock ;
struct plist_head pi_waiters ;
struct rt_mutex_waiter *pi_blocked_on ;
struct mutex_waiter *blocked_on ;
unsigned int irq_events ;
int hardirqs_enabled ;
unsigned long hardirq_enable_ip ;
unsigned int hardirq_enable_event ;
unsigned long hardirq_disable_ip ;
unsigned int hardirq_disable_event ;
int softirqs_enabled ;
unsigned long softirq_disable_ip ;
unsigned int softirq_disable_event ;
unsigned long softirq_enable_ip ;
unsigned int softirq_enable_event ;
int hardirq_context ;
int softirq_context ;
u64 curr_chain_key ;
int lockdep_depth ;
unsigned int lockdep_recursion ;
struct held_lock held_locks[48UL] ;
void *journal_info ;
struct bio *bio_list ;
struct bio **bio_tail ;
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 ;
int cpuset_mems_generation ;
int cpuset_mem_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 mempolicy *mempolicy ;
short il_next ;
atomic_t fs_excl ;
struct rcu_head rcu ;
struct pipe_inode_info *splice_pipe ;
struct task_delay_info *delays ;
int make_it_fail ;
struct prop_local_single dirties ;
int latency_record_count ;
struct latency_record latency_record[32] ;
unsigned long timer_slack_ns ;
unsigned long default_timer_slack_ns ;
struct list_head *scm_work_list ;
int curr_ret_stack ;
struct ftrace_ret_stack *ret_stack ;
atomic_t trace_overrun ;
atomic_t tracing_graph_pause ;
unsigned long trace ;
};
struct ethtool_cmd {
__u32 cmd ;
__u32 supported ;
__u32 advertising ;
__u16 speed ;
__u8 duplex ;
__u8 port ;
__u8 phy_address ;
__u8 transceiver ;
__u8 autoneg ;
__u32 maxtxpkt ;
__u32 maxrxpkt ;
__u16 speed_hi ;
__u16 reserved2 ;
__u32 reserved[3] ;
};
struct ethtool_drvinfo {
__u32 cmd ;
char driver[32] ;
char version[32] ;
char fw_version[32] ;
char bus_info[32] ;
char reserved1[32] ;
char reserved2[12] ;
__u32 n_priv_flags ;
__u32 n_stats ;
__u32 testinfo_len ;
__u32 eedump_len ;
__u32 regdump_len ;
};
struct ethtool_wolinfo {
__u32 cmd ;
__u32 supported ;
__u32 wolopts ;
__u8 sopass[6] ;
};
struct ethtool_regs {
__u32 cmd ;
__u32 version ;
__u32 len ;
__u8 data[0] ;
};
struct ethtool_eeprom {
__u32 cmd ;
__u32 magic ;
__u32 offset ;
__u32 len ;
__u8 data[0] ;
};
struct ethtool_coalesce {
__u32 cmd ;
__u32 rx_coalesce_usecs ;
__u32 rx_max_coalesced_frames ;
__u32 rx_coalesce_usecs_irq ;
__u32 rx_max_coalesced_frames_irq ;
__u32 tx_coalesce_usecs ;
__u32 tx_max_coalesced_frames ;
__u32 tx_coalesce_usecs_irq ;
__u32 tx_max_coalesced_frames_irq ;
__u32 stats_block_coalesce_usecs ;
__u32 use_adaptive_rx_coalesce ;
__u32 use_adaptive_tx_coalesce ;
__u32 pkt_rate_low ;
__u32 rx_coalesce_usecs_low ;
__u32 rx_max_coalesced_frames_low ;
__u32 tx_coalesce_usecs_low ;
__u32 tx_max_coalesced_frames_low ;
__u32 pkt_rate_high ;
__u32 rx_coalesce_usecs_high ;
__u32 rx_max_coalesced_frames_high ;
__u32 tx_coalesce_usecs_high ;
__u32 tx_max_coalesced_frames_high ;
__u32 rate_sample_interval ;
};
struct ethtool_ringparam {
__u32 cmd ;
__u32 rx_max_pending ;
__u32 rx_mini_max_pending ;
__u32 rx_jumbo_max_pending ;
__u32 tx_max_pending ;
__u32 rx_pending ;
__u32 rx_mini_pending ;
__u32 rx_jumbo_pending ;
__u32 tx_pending ;
};
struct ethtool_pauseparam {
__u32 cmd ;
__u32 autoneg ;
__u32 rx_pause ;
__u32 tx_pause ;
};
struct ethtool_test {
__u32 cmd ;
__u32 flags ;
__u32 reserved ;
__u32 len ;
__u64 data[0] ;
};
struct ethtool_stats {
__u32 cmd ;
__u32 n_stats ;
__u64 data[0] ;
};
struct ethtool_tcpip4_spec {
__be32 ip4src ;
__be32 ip4dst ;
__be16 psrc ;
__be16 pdst ;
__u8 tos ;
};
struct ethtool_ah_espip4_spec {
__be32 ip4src ;
__be32 ip4dst ;
__be32 spi ;
__u8 tos ;
};
struct ethtool_rawip4_spec {
__be32 ip4src ;
__be32 ip4dst ;
__u8 hdata[64] ;
};
struct ethtool_ether_spec {
__be16 ether_type ;
__u8 frame_size ;
__u8 eframe[16] ;
};
struct ethtool_usrip4_spec {
__be32 ip4src ;
__be32 ip4dst ;
__be32 l4_4_bytes ;
__u8 tos ;
__u8 ip_ver ;
__u8 proto ;
};
union __anonunion_h_u_250 {
struct ethtool_tcpip4_spec tcp_ip4_spec ;
struct ethtool_tcpip4_spec udp_ip4_spec ;
struct ethtool_tcpip4_spec sctp_ip4_spec ;
struct ethtool_ah_espip4_spec ah_ip4_spec ;
struct ethtool_ah_espip4_spec esp_ip4_spec ;
struct ethtool_rawip4_spec raw_ip4_spec ;
struct ethtool_ether_spec ether_spec ;
struct ethtool_usrip4_spec usr_ip4_spec ;
__u8 hdata[64] ;
};
struct ethtool_rx_flow_spec {
__u32 flow_type ;
union __anonunion_h_u_250 h_u ;
union __anonunion_h_u_250 m_u ;
__u64 ring_cookie ;
__u32 location ;
};
struct ethtool_rxnfc {
__u32 cmd ;
__u32 flow_type ;
__u64 data ;
struct ethtool_rx_flow_spec fs ;
__u32 rule_cnt ;
__u32 rule_locs[0] ;
};
struct ethtool_ops {
int (*get_settings)(struct net_device * , struct ethtool_cmd * ) ;
int (*set_settings)(struct net_device * , struct ethtool_cmd * ) ;
void (*get_drvinfo)(struct net_device * , struct ethtool_drvinfo * ) ;
int (*get_regs_len)(struct net_device * ) ;
void (*get_regs)(struct net_device * , struct ethtool_regs * , void * ) ;
void (*get_wol)(struct net_device * , struct ethtool_wolinfo * ) ;
int (*set_wol)(struct net_device * , struct ethtool_wolinfo * ) ;
u32 (*get_msglevel)(struct net_device * ) ;
void (*set_msglevel)(struct net_device * , u32 ) ;
int (*nway_reset)(struct net_device * ) ;
u32 (*get_link)(struct net_device * ) ;
int (*get_eeprom_len)(struct net_device * ) ;
int (*get_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ;
int (*set_eeprom)(struct net_device * , struct ethtool_eeprom * , u8 * ) ;
int (*get_coalesce)(struct net_device * , struct ethtool_coalesce * ) ;
int (*set_coalesce)(struct net_device * , struct ethtool_coalesce * ) ;
void (*get_ringparam)(struct net_device * , struct ethtool_ringparam * ) ;
int (*set_ringparam)(struct net_device * , struct ethtool_ringparam * ) ;
void (*get_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ;
int (*set_pauseparam)(struct net_device * , struct ethtool_pauseparam * ) ;
u32 (*get_rx_csum)(struct net_device * ) ;
int (*set_rx_csum)(struct net_device * , u32 ) ;
u32 (*get_tx_csum)(struct net_device * ) ;
int (*set_tx_csum)(struct net_device * , u32 ) ;
u32 (*get_sg)(struct net_device * ) ;
int (*set_sg)(struct net_device * , u32 ) ;
u32 (*get_tso)(struct net_device * ) ;
int (*set_tso)(struct net_device * , u32 ) ;
void (*self_test)(struct net_device * , struct ethtool_test * , u64 * ) ;
void (*get_strings)(struct net_device * , u32 stringset , u8 * ) ;
int (*phys_id)(struct net_device * , u32 ) ;
void (*get_ethtool_stats)(struct net_device * , struct ethtool_stats * , u64 * ) ;
int (*begin)(struct net_device * ) ;
void (*complete)(struct net_device * ) ;
u32 (*get_ufo)(struct net_device * ) ;
int (*set_ufo)(struct net_device * , u32 ) ;
u32 (*get_flags)(struct net_device * ) ;
int (*set_flags)(struct net_device * , u32 ) ;
u32 (*get_priv_flags)(struct net_device * ) ;
int (*set_priv_flags)(struct net_device * , u32 ) ;
int (*get_sset_count)(struct net_device * , int ) ;
int (*self_test_count)(struct net_device * ) ;
int (*get_stats_count)(struct net_device * ) ;
int (*get_rxnfc)(struct net_device * , struct ethtool_rxnfc * , void * ) ;
int (*set_rxnfc)(struct net_device * , struct ethtool_rxnfc * ) ;
};
typedef unsigned long kernel_ulong_t;
struct usb_device_id {
__u16 match_flags ;
__u16 idVendor ;
__u16 idProduct ;
__u16 bcdDevice_lo ;
__u16 bcdDevice_hi ;
__u8 bDeviceClass ;
__u8 bDeviceSubClass ;
__u8 bDeviceProtocol ;
__u8 bInterfaceClass ;
__u8 bInterfaceSubClass ;
__u8 bInterfaceProtocol ;
kernel_ulong_t driver_info ;
};
struct usb_ctrlrequest {
__u8 bRequestType ;
__u8 bRequest ;
__le16 wValue ;
__le16 wIndex ;
__le16 wLength ;
} __attribute__((__packed__)) ;
struct usb_device_descriptor {
__u8 bLength ;
__u8 bDescriptorType ;
__le16 bcdUSB ;
__u8 bDeviceClass ;
__u8 bDeviceSubClass ;
__u8 bDeviceProtocol ;
__u8 bMaxPacketSize0 ;
__le16 idVendor ;
__le16 idProduct ;
__le16 bcdDevice ;
__u8 iManufacturer ;
__u8 iProduct ;
__u8 iSerialNumber ;
__u8 bNumConfigurations ;
} __attribute__((__packed__)) ;
struct usb_config_descriptor {
__u8 bLength ;
__u8 bDescriptorType ;
__le16 wTotalLength ;
__u8 bNumInterfaces ;
__u8 bConfigurationValue ;
__u8 iConfiguration ;
__u8 bmAttributes ;
__u8 bMaxPower ;
} __attribute__((__packed__)) ;
struct usb_interface_descriptor {
__u8 bLength ;
__u8 bDescriptorType ;
__u8 bInterfaceNumber ;
__u8 bAlternateSetting ;
__u8 bNumEndpoints ;
__u8 bInterfaceClass ;
__u8 bInterfaceSubClass ;
__u8 bInterfaceProtocol ;
__u8 iInterface ;
} __attribute__((__packed__)) ;
struct usb_endpoint_descriptor {
__u8 bLength ;
__u8 bDescriptorType ;
__u8 bEndpointAddress ;
__u8 bmAttributes ;
__le16 wMaxPacketSize ;
__u8 bInterval ;
__u8 bRefresh ;
__u8 bSynchAddress ;
} __attribute__((__packed__)) ;
struct usb_interface_assoc_descriptor {
__u8 bLength ;
__u8 bDescriptorType ;
__u8 bFirstInterface ;
__u8 bInterfaceCount ;
__u8 bFunctionClass ;
__u8 bFunctionSubClass ;
__u8 bFunctionProtocol ;
__u8 iFunction ;
} __attribute__((__packed__)) ;
enum usb_device_speed {
USB_SPEED_UNKNOWN = 0,
USB_SPEED_LOW = 1,
USB_SPEED_FULL = 2,
USB_SPEED_HIGH = 3,
USB_SPEED_VARIABLE = 4
} ;
enum usb_device_state {
USB_STATE_NOTATTACHED = 0,
USB_STATE_ATTACHED = 1,
USB_STATE_POWERED = 2,
USB_STATE_UNAUTHENTICATED = 3,
USB_STATE_RECONNECTING = 4,
USB_STATE_DEFAULT = 5,
USB_STATE_ADDRESS = 6,
USB_STATE_CONFIGURED = 7,
USB_STATE_SUSPENDED = 8
} ;
struct usb_device;
struct usb_driver;
struct wusb_dev;
struct ep_device;
struct usb_host_endpoint {
struct usb_endpoint_descriptor desc ;
struct list_head urb_list ;
void *hcpriv ;
struct ep_device *ep_dev ;
unsigned char *extra ;
int extralen ;
int enabled ;
};
struct usb_host_interface {
struct usb_interface_descriptor desc ;
struct usb_host_endpoint *endpoint ;
char *string ;
unsigned char *extra ;
int extralen ;
};
enum usb_interface_condition {
USB_INTERFACE_UNBOUND = 0,
USB_INTERFACE_BINDING = 1,
USB_INTERFACE_BOUND = 2,
USB_INTERFACE_UNBINDING = 3
} ;
struct usb_interface {
struct usb_host_interface *altsetting ;
struct usb_host_interface *cur_altsetting ;
unsigned int num_altsetting ;
struct usb_interface_assoc_descriptor *intf_assoc ;
int minor ;
enum usb_interface_condition condition ;
unsigned int is_active : 1 ;
unsigned int sysfs_files_created : 1 ;
unsigned int ep_devs_created : 1 ;
unsigned int unregistering : 1 ;
unsigned int needs_remote_wakeup : 1 ;
unsigned int needs_altsetting0 : 1 ;
unsigned int needs_binding : 1 ;
unsigned int reset_running : 1 ;
struct device dev ;
struct device *usb_dev ;
int pm_usage_cnt ;
struct work_struct reset_ws ;
};
struct usb_interface_cache {
unsigned int num_altsetting ;
struct kref ref ;
struct usb_host_interface altsetting[0] ;
};
struct usb_host_config {
struct usb_config_descriptor desc ;
char *string ;
struct usb_interface_assoc_descriptor *intf_assoc[32 / 2] ;
struct usb_interface *interface[32] ;
struct usb_interface_cache *intf_cache[32] ;
unsigned char *extra ;
int extralen ;
};
struct usb_devmap {
unsigned long devicemap[128UL / (8UL * sizeof(unsigned long ))] ;
};
struct mon_bus;
struct usb_bus {
struct device *controller ;
int busnum ;
char const *bus_name ;
u8 uses_dma ;
u8 otg_port ;
unsigned int is_b_host : 1 ;
unsigned int b_hnp_enable : 1 ;
int devnum_next ;
struct usb_devmap devmap ;
struct usb_device *root_hub ;
struct list_head bus_list ;
int bandwidth_allocated ;
int bandwidth_int_reqs ;
int bandwidth_isoc_reqs ;
struct dentry *usbfs_dentry ;
struct device *dev ;
struct mon_bus *mon_bus ;
int monitored ;
};
struct usb_tt;
struct usb_device {
int devnum ;
char devpath[16] ;
enum usb_device_state state ;
enum usb_device_speed speed ;
struct usb_tt *tt ;
int ttport ;
unsigned int toggle[2] ;
struct usb_device *parent ;
struct usb_bus *bus ;
struct usb_host_endpoint ep0 ;
struct device dev ;
struct usb_device_descriptor descriptor ;
struct usb_host_config *config ;
struct usb_host_config *actconfig ;
struct usb_host_endpoint *ep_in[16] ;
struct usb_host_endpoint *ep_out[16] ;
char **rawdescriptors ;
unsigned short bus_mA ;
u8 portnum ;
u8 level ;
unsigned int can_submit : 1 ;
unsigned int discon_suspended : 1 ;
unsigned int persist_enabled : 1 ;
unsigned int have_langid : 1 ;
unsigned int authorized : 1 ;
unsigned int authenticated : 1 ;
unsigned int wusb : 1 ;
int string_langid ;
char *product ;
char *manufacturer ;
char *serial ;
struct list_head filelist ;
struct device *usb_classdev ;
struct dentry *usbfs_dentry ;
int maxchild ;
struct usb_device *children[31] ;
int pm_usage_cnt ;
u32 quirks ;
atomic_t urbnum ;
unsigned long active_duration ;
struct delayed_work autosuspend ;
struct work_struct autoresume ;
struct mutex pm_mutex ;
unsigned long last_busy ;
int autosuspend_delay ;
unsigned long connect_time ;
unsigned int auto_pm : 1 ;
unsigned int do_remote_wakeup : 1 ;
unsigned int reset_resume : 1 ;
unsigned int autosuspend_disabled : 1 ;
unsigned int autoresume_disabled : 1 ;
unsigned int skip_sys_resume : 1 ;
struct wusb_dev *wusb_dev ;
};
struct usb_dynids {
spinlock_t lock ;
struct list_head list ;
};
struct usbdrv_wrap {
struct device_driver driver ;
int for_devices ;
};
struct usb_driver {
char const *name ;
int (*probe)(struct usb_interface *intf , struct usb_device_id const *id ) ;
void (*disconnect)(struct usb_interface *intf ) ;
int (*ioctl)(struct usb_interface *intf , unsigned int code , void *buf ) ;
int (*suspend)(struct usb_interface *intf , pm_message_t message ) ;
int (*resume)(struct usb_interface *intf ) ;
int (*reset_resume)(struct usb_interface *intf ) ;
int (*pre_reset)(struct usb_interface *intf ) ;
int (*post_reset)(struct usb_interface *intf ) ;
struct usb_device_id const *id_table ;
struct usb_dynids dynids ;
struct usbdrv_wrap drvwrap ;
unsigned int no_dynamic_id : 1 ;
unsigned int supports_autosuspend : 1 ;
unsigned int soft_unbind : 1 ;
};
struct usb_iso_packet_descriptor {
unsigned int offset ;
unsigned int length ;
unsigned int actual_length ;
int status ;
};
struct urb;
struct usb_anchor {
struct list_head urb_list ;
wait_queue_head_t wait ;
spinlock_t lock ;
unsigned int poisoned : 1 ;
};
struct urb {
struct kref kref ;
void *hcpriv ;
atomic_t use_count ;
atomic_t reject ;
int unlinked ;
struct list_head urb_list ;
struct list_head anchor_list ;
struct usb_anchor *anchor ;
struct usb_device *dev ;
struct usb_host_endpoint *ep ;
unsigned int pipe ;
int status ;
unsigned int transfer_flags ;
void *transfer_buffer ;
dma_addr_t transfer_dma ;
int transfer_buffer_length ;
int actual_length ;
unsigned char *setup_packet ;
dma_addr_t setup_dma ;
int start_frame ;
int number_of_packets ;
int interval ;
int error_count ;
void *context ;
void (*complete)(struct urb * ) ;
struct usb_iso_packet_descriptor iso_frame_desc[0] ;
};
enum control_requests {
ReadMem = 241,
GetMac = 242,
Reset = 244,
SetMac = 245,
SetRxMode = 245,
WriteROM = 248,
SetReg = 250,
GetReg = 251,
WriteMem = 252,
ReadROM = 253
} ;
enum register_offsets {
TxBufCount = 32,
RxBufCount = 33,
OpModes = 34,
TxQed = 35,
RxQed = 36,
MaxBurst = 37,
RxUnit = 96,
EthStatus = 97,
StationAddr0 = 103,
EthStats = 105,
LEDCtrl = 129
} ;
enum eth_stats {
TxSingleColl = 0,
TxMultiColl = 2,
TxExcessColl = 4,
RxFramErr = 6
} ;
enum op_mode_bits {
Op3MemWaits = 3,
OpLenInclude = 8,
OpRxMerge = 16,
OpTxMerge = 32,
OpWin95bugfix = 64,
OpLoopback = 128
} ;
enum rx_filter_bits {
RxEnable = 1,
RxPolarity = 2,
RxForceOK = 4,
RxMultiCast = 8,
RxPromisc = 16,
AltRxPromisc = 32
} ;
enum led_values {
LEDFast = 1,
LEDSlow = 2,
LEDFlash = 3,
LEDPulse = 4,
LEDLink = 8
} ;
enum link_status {
LinkNoChange = 0,
LinkGood = 1,
LinkBad = 2
} ;
struct ctrl_queue {
u8 dir ;
u8 request ;
u16 value ;
u16 index ;
void *buf ;
int len ;
void (*callback)(struct catc *catc , struct ctrl_queue *q ) ;
};
struct catc {
struct net_device *netdev ;
struct usb_device *usbdev ;
unsigned long flags ;
unsigned int tx_ptr ;
unsigned int tx_idx ;
unsigned int ctrl_head ;
unsigned int ctrl_tail ;
spinlock_t tx_lock ;
spinlock_t ctrl_lock ;
u8 tx_buf[2][15 * (1536 + 2)] ;
u8 rx_buf[15 * (1536 + 2)] ;
u8 irq_buf[2] ;
u8 ctrl_buf[64] ;
struct usb_ctrlrequest ctrl_dr ;
struct timer_list timer ;
u8 stats_buf[8] ;
u16 stats_vals[4] ;
unsigned long last_stats ;
u8 multicast[64] ;
struct ctrl_queue ctrl_queue[16] ;
struct urb *tx_urb ;
struct urb *rx_urb ;
struct urb *irq_urb ;
struct urb *ctrl_urb ;
u8 is_f5u011 ;
u8 rxmode[2] ;
atomic_t recq_sz ;
};
enum hrtimer_restart;
void *memcpy(void * , void const * , unsigned long ) ;
long ldv__builtin_expect(long exp , long c ) ;
extern void ftrace_likely_update(struct ftrace_branch_data *f , int val , int expect ) ;
__inline static void ( __attribute__((__always_inline__)) set_bit)(unsigned int nr ,
unsigned long volatile *addr ) ;
__inline static void ( __attribute__((__always_inline__)) set_bit)(unsigned int nr ,
unsigned long volatile *addr )
{
{
__asm__ volatile (".section .smp_locks,\"a\"\n"
" "
".balign 8"
" "
"\n"
" "
".quad"
" "
"661f\n"
".previous\n"
"661:\n\tlock; "
"bts %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr): "memory");
return;
}
}
__inline static void ( __attribute__((__always_inline__)) clear_bit)(int nr , unsigned long volatile *addr ) ;
__inline static void ( __attribute__((__always_inline__)) clear_bit)(int nr , unsigned long volatile *addr )
{
{
__asm__ volatile (".section .smp_locks,\"a\"\n"
" "
".balign 8"
" "
"\n"
" "
".quad"
" "
"661f\n"
".previous\n"
"661:\n\tlock; "
"btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr));
return;
}
}
__inline static int test_and_set_bit(int nr , unsigned long volatile *addr )
{
int oldbit ;
{
__asm__ volatile (".section .smp_locks,\"a\"\n"
" "
".balign 8"
" "
"\n"
" "
".quad"
" "
"661f\n"
".previous\n"
"661:\n\tlock; "
"bts %2,%1\n\t"
"sbb %0,%0": "=r" (oldbit), "+m" (*((long volatile *)addr)): "Ir" (nr): "memory");
return (oldbit);
}
}
__inline static int test_and_clear_bit(int nr , unsigned long volatile *addr )
{
int oldbit ;
{
__asm__ volatile (".section .smp_locks,\"a\"\n"
" "
".balign 8"
" "
"\n"
" "
".quad"
" "
"661f\n"
".previous\n"
"661:\n\tlock; "
"btr %2,%1\n\t"
"sbb %0,%0": "=r" (oldbit), "+m" (*((long volatile *)addr)): "Ir" (nr): "memory");
return (oldbit);
}
}
__inline static __u16 __fswab16(__u16 val ) __attribute__((__const__)) ;
__inline static __u16 __fswab16(__u16 val )
{
{
return ((__u16 )((((int )val & (int )((__u16 )255U)) << 8) | (((int )val & (int )((__u16 )65280U)) >> 8)));
}
}
__inline static __u16 __swab16p(__u16 const *p )
{
__u16 tmp ;
{
tmp = __fswab16(*p);
return (tmp);
}
}
__inline static __u16 __le16_to_cpup(__le16 const *p )
{
{
return ((__u16 )*p);
}
}
__inline static __u16 __be16_to_cpup(__be16 const *p )
{
__u16 tmp ;
{
tmp = __swab16p((__u16 *)p);
return (tmp);
}
}
extern int ( /* format attribute */ snprintf)(char *buf , size_t size , char const *fmt
, ...) ;
extern int ( /* format attribute */ printk)(char const *fmt , ...) ;
extern void *memset(void *s , int c , size_t n ) ;
extern char *strncpy(char * , char const * , __kernel_size_t ) ;
__inline static void atomic_inc(atomic_t *v )
{
{
__asm__ volatile (".section .smp_locks,\"a\"\n"
" "
".balign 8"
" "
"\n"
" "
".quad"
" "
"661f\n"
".previous\n"
"661:\n\tlock; "
"incl %0": "=m" (v->counter): "m" (v->counter));
return;
}
}
__inline static void atomic_dec(atomic_t *v )
{
{
__asm__ volatile (".section .smp_locks,\"a\"\n"
" "
".balign 8"
" "
"\n"
" "
".quad"
" "
"661f\n"
".previous\n"
"661:\n\tlock; "
"decl %0": "=m" (v->counter): "m" (v->counter));
return;
}
}
extern void __spin_lock_init(spinlock_t *lock , char const *name , struct lock_class_key *key ) ;
extern unsigned long _spin_lock_irqsave(spinlock_t *lock ) __attribute__((__section__(".spinlock.text"))) ;
extern void _spin_unlock_irqrestore(spinlock_t *lock , unsigned long flags ) __attribute__((__section__(".spinlock.text"))) ;
extern unsigned long volatile jiffies __attribute__((__section__(".data"))) ;
extern void init_timer(struct timer_list *timer ) ;
extern int mod_timer(struct timer_list *timer , unsigned long expires ) ;
extern int del_timer_sync(struct timer_list *timer ) ;
int init_module(void) ;
void cleanup_module(void) ;
extern struct module __this_module ;
__inline static char const *dev_name(struct device const *dev )
{
{
return (dev->bus_id);
}
}
__inline static void *dev_get_drvdata(struct device const *dev )
{
{
return (dev->driver_data);
}
}
__inline static void dev_set_drvdata(struct device *dev , void *data )
{
{
dev->driver_data = data;
return;
}
}
extern char const *dev_driver_string(struct device const *dev ) ;
extern void consume_skb(struct sk_buff *skb ) ;
extern unsigned char *skb_put(struct sk_buff *skb , unsigned int len ) ;
extern struct sk_buff *dev_alloc_skb(unsigned int length ) ;
__inline static void skb_copy_from_linear_data(struct sk_buff const *skb , void *to ,
unsigned int const len ) ;
__inline static void skb_copy_from_linear_data(struct sk_buff const *skb , void *to ,
unsigned int const len )
{
size_t __len ;
void *__ret ;
{
__len = len;
__ret = memcpy(to, skb->data, __len);
return;
}
}
__inline static void skb_copy_to_linear_data(struct sk_buff *skb , void const *from ,
unsigned int const len ) ;
__inline static void skb_copy_to_linear_data(struct sk_buff *skb , void const *from ,
unsigned int const len )
{
size_t __len ;
void *__ret ;
{
__len = len;
__ret = memcpy(skb->data, from, __len);
return;
}
}
__inline static struct netdev_queue *netdev_get_tx_queue(struct net_device const *dev ,
unsigned int index )
{
{
return (dev->_tx + index);
}
}
__inline static void *netdev_priv(struct net_device const *dev )
{
{
return ((char *)dev + ((sizeof(struct net_device ) + (unsigned long )(32 - 1)) & (unsigned long )(~ (32 - 1))));
}
}
extern void free_netdev(struct net_device *dev ) ;
extern int netpoll_trap(void) ;
extern void __netif_schedule(struct Qdisc *q ) ;
__inline static void netif_tx_start_queue(struct netdev_queue *dev_queue )
{
{
clear_bit(__QUEUE_STATE_XOFF, & dev_queue->state);
return;
}
}
__inline static void netif_start_queue(struct net_device *dev )
{
struct netdev_queue *tmp ;
{
tmp = netdev_get_tx_queue(dev, 0);
netif_tx_start_queue(tmp);
return;
}
}
__inline static void netif_tx_wake_queue(struct netdev_queue *dev_queue ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1100 __attribute__((__section__("_ftrace_branch"))) = {"netif_tx_wake_queue",
"include/linux/netdevice.h", 1227, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1101 __attribute__((__section__("_ftrace_branch"))) = {"netif_tx_wake_queue",
"include/linux/netdevice.h", 1232, {{0UL, 0UL}}};
__inline static void netif_tx_wake_queue(struct netdev_queue *dev_queue )
{
int ______r ;
int tmp___2 ;
int tmp___3 ;
int ______r___0 ;
int tmp___7 ;
int tmp___8 ;
{
tmp___2 = netpoll_trap();
if (tmp___2) {
tmp___3 = 1;
} else {
tmp___3 = 0;
}
______r = tmp___3;
if (______r) {
______f___1100.__annonCompField3.__annonCompField2.hit = ______f___1100.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1100.__annonCompField3.__annonCompField2.miss = ______f___1100.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
clear_bit(__QUEUE_STATE_XOFF, & dev_queue->state);
return;
} else {
}
tmp___7 = test_and_clear_bit(__QUEUE_STATE_XOFF, & dev_queue->state);
if (tmp___7) {
tmp___8 = 1;
} else {
tmp___8 = 0;
}
______r___0 = tmp___8;
if (______r___0) {
______f___1101.__annonCompField3.__annonCompField2.hit = ______f___1101.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1101.__annonCompField3.__annonCompField2.miss = ______f___1101.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
__netif_schedule(dev_queue->qdisc);
} else {
}
return;
}
}
__inline static void netif_wake_queue(struct net_device *dev )
{
struct netdev_queue *tmp ;
{
tmp = netdev_get_tx_queue(dev, 0);
netif_tx_wake_queue(tmp);
return;
}
}
__inline static void netif_tx_stop_queue(struct netdev_queue *dev_queue )
{
{
set_bit(__QUEUE_STATE_XOFF, & dev_queue->state);
return;
}
}
__inline static void netif_stop_queue(struct net_device *dev )
{
struct netdev_queue *tmp ;
{
tmp = netdev_get_tx_queue(dev, 0);
netif_tx_stop_queue(tmp);
return;
}
}
extern int netif_rx(struct sk_buff *skb ) ;
extern void netif_carrier_on(struct net_device *dev ) ;
extern void netif_carrier_off(struct net_device *dev ) ;
extern int register_netdev(struct net_device *dev ) ;
extern void unregister_netdev(struct net_device *dev ) ;
extern __be16 eth_type_trans(struct sk_buff *skb , struct net_device *dev ) ;
extern int eth_mac_addr(struct net_device *dev , void *p ) ;
extern int eth_change_mtu(struct net_device *dev , int new_mtu ) ;
extern int eth_validate_addr(struct net_device *dev ) ;
extern struct net_device *alloc_etherdev_mq(int sizeof_priv , unsigned int queue_count ) ;
extern u32 ethtool_op_get_link(struct net_device *dev ) ;
extern u32 crc32_le(u32 crc , unsigned char const *p , size_t len ) ;
__inline static void *usb_get_intfdata(struct usb_interface *intf )
{
void *tmp ;
{
tmp = dev_get_drvdata(& intf->dev);
return (tmp);
}
}
__inline static void usb_set_intfdata(struct usb_interface *intf , void *data )
{
{
dev_set_drvdata(& intf->dev, data);
return;
}
}
__inline static int usb_make_path(struct usb_device *dev , char *buf , size_t size )
{
int actual ;
{
actual = snprintf(buf, size, "usb-%s-%s", (dev->bus)->bus_name, dev->devpath);
return (actual >= (int )size ? -1 : actual);
}
}
extern int usb_register_driver(struct usb_driver * , struct module * , char const * ) ;
__inline static int usb_register(struct usb_driver *driver )
{
int tmp ;
{
tmp = usb_register_driver(driver, & __this_module, "catc");
return (tmp);
}
}
extern void usb_deregister(struct usb_driver * ) ;
__inline static void usb_fill_control_urb(struct urb *urb , struct usb_device *dev ,
unsigned int pipe , unsigned char *setup_packet ,
void *transfer_buffer , int buffer_length ,
void (*complete_fn)(struct urb * ) , void *context )
{
{
urb->dev = dev;
urb->pipe = pipe;
urb->setup_packet = setup_packet;
urb->transfer_buffer = transfer_buffer;
urb->transfer_buffer_length = buffer_length;
urb->complete = complete_fn;
urb->context = context;
return;
}
}
__inline static void usb_fill_bulk_urb(struct urb *urb , struct usb_device *dev ,
unsigned int pipe , void *transfer_buffer ,
int buffer_length , void (*complete_fn)(struct urb * ) ,
void *context )
{
{
urb->dev = dev;
urb->pipe = pipe;
urb->transfer_buffer = transfer_buffer;
urb->transfer_buffer_length = buffer_length;
urb->complete = complete_fn;
urb->context = context;
return;
}
}
__inline static void usb_fill_int_urb(struct urb *urb , struct usb_device *dev , unsigned int pipe ,
void *transfer_buffer , int buffer_length ,
void (*complete_fn)(struct urb * ) , void *context ,
int interval ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1123 __attribute__((__section__("_ftrace_branch"))) = {"usb_fill_int_urb",
"include/linux/usb.h", 1471, {{0UL, 0UL}}};
__inline static void usb_fill_int_urb(struct urb *urb , struct usb_device *dev , unsigned int pipe ,
void *transfer_buffer , int buffer_length ,
void (*complete_fn)(struct urb * ) , void *context ,
int interval )
{
int ______r ;
{
urb->dev = dev;
urb->pipe = pipe;
urb->transfer_buffer = transfer_buffer;
urb->transfer_buffer_length = buffer_length;
urb->complete = complete_fn;
urb->context = context;
______r = ! (! ((unsigned int )dev->speed == (unsigned int )USB_SPEED_HIGH));
if (______r) {
______f___1123.__annonCompField3.__annonCompField2.hit = ______f___1123.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1123.__annonCompField3.__annonCompField2.miss = ______f___1123.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
urb->interval = 1 << (interval - 1);
} else {
urb->interval = interval;
}
urb->start_frame = -1;
return;
}
}
struct urb *usb_alloc_urb(int iso_packets , gfp_t mem_flags ) ;
void usb_free_urb(struct urb *urb ) ;
extern int usb_submit_urb(struct urb *urb , gfp_t mem_flags ) ;
extern int usb_unlink_urb(struct urb *urb ) ;
extern void usb_kill_urb(struct urb *urb ) ;
extern int usb_control_msg(struct usb_device *dev , unsigned int pipe , __u8 request ,
__u8 requesttype , __u16 value , __u16 index , void *data ,
__u16 size , int timeout ) ;
extern int usb_set_interface(struct usb_device *dev , int ifnum , int alternate ) ;
__inline static unsigned int __create_pipe(struct usb_device *dev , unsigned int endpoint )
{
{
return ((unsigned int )(dev->devnum << 8) | (endpoint << 15));
}
}
static char const __mod_author63[40] __attribute__((__used__, __unused__, __section__(".modinfo"))) =
{ 'a', 'u', 't', 'h',
'o', 'r', '=', 'V',
'o', 'j', 't', 'e',
'c', 'h', ' ', 'P',
'a', 'v', 'l', 'i',
'k', ' ', '<', 'v',
'o', 'j', 't', 'e',
'c', 'h', '@', 's',
'u', 's', 'e', '.',
'c', 'z', '>', '\000'};
static char const __mod_description64[53] __attribute__((__used__, __unused__,
__section__(".modinfo"))) =
{ 'd', 'e', 's', 'c',
'r', 'i', 'p', 't',
'i', 'o', 'n', '=',
'C', 'A', 'T', 'C',
' ', 'E', 'L', '1',
'2', '1', '0', 'A',
' ', 'N', 'e', 't',
'M', 'a', 't', 'e',
' ', 'U', 'S', 'B',
' ', 'E', 't', 'h',
'e', 'r', 'n', 'e',
't', ' ', 'd', 'r',
'i', 'v', 'e', 'r',
'\000'};
static char const __mod_license65[12] __attribute__((__used__, __unused__, __section__(".modinfo"))) =
{ 'l', 'i', 'c', 'e',
'n', 's', 'e', '=',
'G', 'P', 'L', '\000'};
static char const driver_name[5] = { 'c', 'a', 't', 'c',
'\000'};
static void catc_rx_done(struct urb *urb ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1136 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
234, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1137 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
239, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1138 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
247, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1139 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
245, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1140 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
256, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1141 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
269, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1142 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
281, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1143 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
276, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1144 __attribute__((__section__("_ftrace_branch"))) = {"catc_rx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
275, {{0UL, 0UL}}};
static void catc_rx_done(struct urb *urb )
{
struct catc *catc ;
u8 *pkt_start ;
struct sk_buff *skb ;
int pkt_len ;
int pkt_offset ;
int status ;
int ______r ;
int ______r___0 ;
__u16 tmp ;
int ______r___1 ;
int ______r___2 ;
int ______r___3 ;
int tmp___2 ;
int ______r___4 ;
int state ;
int ______r___5 ;
int tmp___4 ;
int ______r___6 ;
int ______r___7 ;
{
catc = urb->context;
pkt_start = urb->transfer_buffer;
pkt_offset = 0;
status = urb->status;
______r = ! (! (! catc->is_f5u011));
if (______r) {
______f___1136.__annonCompField3.__annonCompField2.hit = ______f___1136.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1136.__annonCompField3.__annonCompField2.miss = ______f___1136.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
clear_bit(1, & catc->flags);
pkt_offset = 2;
} else {
}
______r___0 = ! (! status);
if (______r___0) {
______f___1137.__annonCompField3.__annonCompField2.hit = ______f___1137.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1137.__annonCompField3.__annonCompField2.miss = ______f___1137.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
while (1) {
break;
}
return;
} else {
}
while (1) {
______r___2 = ! (! (! catc->is_f5u011));
if (______r___2) {
______f___1139.__annonCompField3.__annonCompField2.hit = ______f___1139.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1139.__annonCompField3.__annonCompField2.miss = ______f___1139.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___2) {
tmp = __le16_to_cpup((__le16 *)pkt_start);
pkt_len = tmp;
______r___1 = ! (! (pkt_len > urb->actual_length));
if (______r___1) {
______f___1138.__annonCompField3.__annonCompField2.hit = ______f___1138.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1138.__annonCompField3.__annonCompField2.miss = ______f___1138.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___1) {
(catc->netdev)->stats.rx_length_errors = (catc->netdev)->stats.rx_length_errors + 1UL;
(catc->netdev)->stats.rx_errors = (catc->netdev)->stats.rx_errors + 1UL;
break;
} else {
}
} else {
pkt_len = urb->actual_length;
}
skb = dev_alloc_skb(pkt_len);
if (skb) {
tmp___2 = 0;
} else {
tmp___2 = 1;
}
______r___3 = tmp___2;
if (______r___3) {
______f___1140.__annonCompField3.__annonCompField2.hit = ______f___1140.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1140.__annonCompField3.__annonCompField2.miss = ______f___1140.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___3) {
return;
} else {
}
skb_copy_to_linear_data(skb, pkt_start + pkt_offset, pkt_len);
skb_put(skb, pkt_len);
skb->protocol = eth_type_trans(skb, catc->netdev);
netif_rx(skb);
(catc->netdev)->stats.rx_packets = (catc->netdev)->stats.rx_packets + 1UL;
(catc->netdev)->stats.rx_bytes = (catc->netdev)->stats.rx_bytes + (unsigned long )pkt_len;
______r___4 = ! (! catc->is_f5u011);
if (______r___4) {
______f___1141.__annonCompField3.__annonCompField2.hit = ______f___1141.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1141.__annonCompField3.__annonCompField2.miss = ______f___1141.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___4) {
break;
} else {
}
pkt_start = pkt_start + ((((pkt_len + 1) >> 6) + 1) << 6);
if (pkt_start - (u8 *)urb->transfer_buffer < (long )urb->actual_length) {
} else {
break;
}
}
______r___7 = ! (! catc->is_f5u011);
if (______r___7) {
______f___1144.__annonCompField3.__annonCompField2.hit = ______f___1144.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1144.__annonCompField3.__annonCompField2.miss = ______f___1144.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___7) {
______r___6 = ! (! catc->recq_sz.counter);
if (______r___6) {
______f___1143.__annonCompField3.__annonCompField2.hit = ______f___1143.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1143.__annonCompField3.__annonCompField2.miss = ______f___1143.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___6) {
atomic_dec(& catc->recq_sz);
while (1) {
break;
}
urb->dev = catc->usbdev;
state = usb_submit_urb(urb, 32U);
if (state < 0) {
tmp___4 = 1;
} else {
tmp___4 = 0;
}
______r___5 = tmp___4;
if (______r___5) {
______f___1142.__annonCompField3.__annonCompField2.hit = ______f___1142.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1142.__annonCompField3.__annonCompField2.miss = ______f___1142.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___5) {
while (1) {
break;
}
} else {
}
} else {
clear_bit(1, & catc->flags);
}
} else {
}
return;
}
}
static void catc_irq_done(struct urb *urb ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1145 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
302, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1146 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
300, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1147 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
308, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1148 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
306, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1149 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
298, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1150 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
325, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1151 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
330, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1152 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
337, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1153 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
341, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1154 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
336, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1155 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
335, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1156 __attribute__((__section__("_ftrace_branch"))) = {"catc_irq_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
348, {{0UL, 0UL}}};
static void catc_irq_done(struct urb *urb )
{
struct catc *catc ;
u8 *data ;
int status ;
unsigned int hasdata ;
unsigned int linksts ;
int res ;
int ______r ;
int ______r___0 ;
__u16 tmp ;
int ______r___1 ;
int ______r___2 ;
int ______r___3 ;
int ______r___4 ;
int ______r___5 ;
int ______r___6 ;
int ______r___7 ;
int tmp___1 ;
int ______r___8 ;
int tmp___5 ;
int tmp___6 ;
int ______r___9 ;
int ______r___10 ;
{
catc = urb->context;
data = urb->transfer_buffer;
status = urb->status;
hasdata = 0;
linksts = LinkNoChange;
______r___3 = ! (! (! catc->is_f5u011));
if (______r___3) {
______f___1149.__annonCompField3.__annonCompField2.hit = ______f___1149.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1149.__annonCompField3.__annonCompField2.miss = ______f___1149.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___3) {
hasdata = (int )*(data + 1) & 128;
______r___0 = ! (! ((int )*(data + 1) & 64));
if (______r___0) {
______f___1146.__annonCompField3.__annonCompField2.hit = ______f___1146.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1146.__annonCompField3.__annonCompField2.miss = ______f___1146.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
linksts = LinkGood;
} else {
______r = ! (! ((int )*(data + 1) & 32));
if (______r) {
______f___1145.__annonCompField3.__annonCompField2.hit = ______f___1145.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1145.__annonCompField3.__annonCompField2.miss = ______f___1145.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
linksts = LinkBad;
} else {
}
}
} else {
tmp = __be16_to_cpup((__be16 *)data);
hasdata = (unsigned int )((int )tmp & 4095);
______r___2 = ! (! ((int )*(data + 0) == 144));
if (______r___2) {
______f___1148.__annonCompField3.__annonCompField2.hit = ______f___1148.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1148.__annonCompField3.__annonCompField2.miss = ______f___1148.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___2) {
linksts = LinkGood;
} else {
______r___1 = ! (! ((int )*(data + 0) == 160));
if (______r___1) {
______f___1147.__annonCompField3.__annonCompField2.hit = ______f___1147.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1147.__annonCompField3.__annonCompField2.miss = ______f___1147.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___1) {
linksts = LinkBad;
} else {
}
}
}
switch (status) {
case 0:
break;
case -108:
case -2:
case -104:
return;
default:
while (1) {
break;
}
goto resubmit;
}
______r___4 = ! (! (linksts == (unsigned int )LinkGood));
if (______r___4) {
______f___1150.__annonCompField3.__annonCompField2.hit = ______f___1150.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1150.__annonCompField3.__annonCompField2.miss = ______f___1150.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___4) {
netif_carrier_on(catc->netdev);
while (1) {
break;
}
} else {
}
______r___5 = ! (! (linksts == (unsigned int )LinkBad));
if (______r___5) {
______f___1151.__annonCompField3.__annonCompField2.hit = ______f___1151.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1151.__annonCompField3.__annonCompField2.miss = ______f___1151.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___5) {
netif_carrier_off(catc->netdev);
while (1) {
break;
}
} else {
}
______r___9 = ! (! hasdata);
if (______r___9) {
______f___1155.__annonCompField3.__annonCompField2.hit = ______f___1155.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1155.__annonCompField3.__annonCompField2.miss = ______f___1155.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___9) {
tmp___5 = test_and_set_bit(1, & catc->flags);
if (tmp___5) {
tmp___6 = 1;
} else {
tmp___6 = 0;
}
______r___8 = tmp___6;
if (______r___8) {
______f___1154.__annonCompField3.__annonCompField2.hit = ______f___1154.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1154.__annonCompField3.__annonCompField2.miss = ______f___1154.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___8) {
______r___6 = ! (! catc->is_f5u011);
if (______r___6) {
______f___1152.__annonCompField3.__annonCompField2.hit = ______f___1152.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1152.__annonCompField3.__annonCompField2.miss = ______f___1152.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___6) {
atomic_inc(& catc->recq_sz);
} else {
}
} else {
(catc->rx_urb)->dev = catc->usbdev;
res = usb_submit_urb(catc->rx_urb, 32U);
if (res < 0) {
tmp___1 = 1;
} else {
tmp___1 = 0;
}
______r___7 = tmp___1;
if (______r___7) {
______f___1153.__annonCompField3.__annonCompField2.hit = ______f___1153.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1153.__annonCompField3.__annonCompField2.miss = ______f___1153.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___7) {
printk("<3>catc: submit(rx_urb) status %d\n", res);
} else {
}
}
} else {
}
resubmit:
res = usb_submit_urb(urb, 32U);
______r___10 = ! (! res);
if (______r___10) {
______f___1156.__annonCompField3.__annonCompField2.hit = ______f___1156.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1156.__annonCompField3.__annonCompField2.miss = ______f___1156.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___10) {
printk("<3>catc: can\'t resubmit intr, %s-%s, status %d\n", ((catc->usbdev)->bus)->bus_name,
(catc->usbdev)->devpath, res);
} else {
}
return;
}
}
static int catc_tx_run(struct catc *catc ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1157 __attribute__((__section__("_ftrace_branch"))) = {"catc_tx_run",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
362, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1158 __attribute__((__section__("_ftrace_branch"))) = {"catc_tx_run",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
369, {{0UL, 0UL}}};
static int catc_tx_run(struct catc *catc )
{
int status ;
int ______r ;
int ______r___0 ;
int tmp___0 ;
{
______r = ! (! catc->is_f5u011);
if (______r) {
______f___1157.__annonCompField3.__annonCompField2.hit = ______f___1157.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1157.__annonCompField3.__annonCompField2.miss = ______f___1157.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
catc->tx_ptr = (catc->tx_ptr + 63U) & (unsigned int )(~ 63);
} else {
}
(catc->tx_urb)->transfer_buffer_length = catc->tx_ptr;
(catc->tx_urb)->transfer_buffer = catc->tx_buf[catc->tx_idx];
(catc->tx_urb)->dev = catc->usbdev;
status = usb_submit_urb(catc->tx_urb, 32U);
if (status < 0) {
tmp___0 = 1;
} else {
tmp___0 = 0;
}
______r___0 = tmp___0;
if (______r___0) {
______f___1158.__annonCompField3.__annonCompField2.hit = ______f___1158.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1158.__annonCompField3.__annonCompField2.miss = ______f___1158.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
printk("<3>catc: submit(tx_urb), status %d\n", status);
} else {
}
catc->tx_idx = ! catc->tx_idx;
catc->tx_ptr = 0;
(catc->netdev)->trans_start = jiffies;
return (status);
}
}
static void catc_tx_done(struct urb *urb ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1159 __attribute__((__section__("_ftrace_branch"))) = {"catc_tx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
385, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1160 __attribute__((__section__("_ftrace_branch"))) = {"catc_tx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
395, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1163 __attribute__((__section__("_ftrace_branch"))) = {"catc_tx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
404, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1164 __attribute__((__section__("_ftrace_annotated_branch"))) = {"catc_tx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
404, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1165 __attribute__((__section__("_ftrace_branch"))) = {"catc_tx_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
402, {{0UL, 0UL}}};
static void catc_tx_done(struct urb *urb )
{
struct catc *catc ;
unsigned long flags ;
int r ;
int status ;
int ______r ;
int ______r___0 ;
int ______r___3 ;
int ______r___4 ;
long tmp___2 ;
int tmp___3 ;
int ______r___5 ;
{
catc = urb->context;
status = urb->status;
______r = ! (! (status == -104));
if (______r) {
______f___1159.__annonCompField3.__annonCompField2.hit = ______f___1159.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1159.__annonCompField3.__annonCompField2.miss = ______f___1159.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
while (1) {
break;
}
urb->status = 0;
(catc->netdev)->trans_start = jiffies;
(catc->netdev)->stats.tx_errors = (catc->netdev)->stats.tx_errors + 1UL;
clear_bit(2, & catc->flags);
netif_wake_queue(catc->netdev);
return;
} else {
}
______r___0 = ! (! status);
if (______r___0) {
______f___1160.__annonCompField3.__annonCompField2.hit = ______f___1160.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1160.__annonCompField3.__annonCompField2.miss = ______f___1160.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
while (1) {
break;
}
return;
} else {
}
while (1) {
flags = _spin_lock_irqsave(& catc->tx_lock);
break;
}
______r___5 = ! (! catc->tx_ptr);
if (______r___5) {
______f___1165.__annonCompField3.__annonCompField2.hit = ______f___1165.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1165.__annonCompField3.__annonCompField2.miss = ______f___1165.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___5) {
r = catc_tx_run(catc);
tmp___2 = ldv__builtin_expect(! (! (r < 0)), 1);
______r___4 = tmp___2;
ftrace_likely_update(& ______f___1164, ______r___4, 0);
if (______r___4) {
tmp___3 = 1;
} else {
tmp___3 = 0;
}
______r___3 = tmp___3;
if (______r___3) {
______f___1163.__annonCompField3.__annonCompField2.hit = ______f___1163.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1163.__annonCompField3.__annonCompField2.miss = ______f___1163.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___3) {
clear_bit(2, & catc->flags);
} else {
}
} else {
clear_bit(2, & catc->flags);
}
netif_wake_queue(catc->netdev);
while (1) {
_spin_unlock_irqrestore(& catc->tx_lock, flags);
break;
}
return;
}
}
static int catc_start_xmit(struct sk_buff *skb , struct net_device *netdev ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1166 __attribute__((__section__("_ftrace_branch"))) = {"catc_start_xmit",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
426, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1167 __attribute__((__section__("_ftrace_branch"))) = {"catc_start_xmit",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
435, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1168 __attribute__((__section__("_ftrace_branch"))) = {"catc_start_xmit",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
433, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1169 __attribute__((__section__("_ftrace_branch"))) = {"catc_start_xmit",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
440, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1170 __attribute__((__section__("_ftrace_branch"))) = {"catc_start_xmit",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
445, {{0UL, 0UL}}};
static int catc_start_xmit(struct sk_buff *skb , struct net_device *netdev )
{
struct catc *catc ;
void *tmp ;
unsigned long flags ;
int r ;
char *tx_buf ;
__u16 tmp___0 ;
int ______r ;
int ______r___0 ;
int ______r___1 ;
int tmp___5 ;
int tmp___6 ;
int ______r___2 ;
int ______r___3 ;
{
tmp = netdev_priv(netdev);
catc = tmp;
r = 0;
while (1) {
flags = _spin_lock_irqsave(& catc->tx_lock);
break;
}
catc->tx_ptr = (((catc->tx_ptr - 1U) >> 6) + 1U) << 6;
tx_buf = catc->tx_buf[catc->tx_idx] + catc->tx_ptr;
______r = ! (! catc->is_f5u011);
if (______r) {
______f___1166.__annonCompField3.__annonCompField2.hit = ______f___1166.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1166.__annonCompField3.__annonCompField2.miss = ______f___1166.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
tmp___0 = __fswab16(skb->len);
*((__be16 *)tx_buf) = (__be16 )tmp___0;
} else {
*((__le16 *)tx_buf) = (__u16 )skb->len;
}
skb_copy_from_linear_data(skb, tx_buf + 2, skb->len);
catc->tx_ptr = catc->tx_ptr + (skb->len + 2U);
tmp___5 = test_and_set_bit(2, & catc->flags);
if (tmp___5) {
tmp___6 = 0;
} else {
tmp___6 = 1;
}
______r___1 = tmp___6;
if (______r___1) {
______f___1168.__annonCompField3.__annonCompField2.hit = ______f___1168.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1168.__annonCompField3.__annonCompField2.miss = ______f___1168.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___1) {
r = catc_tx_run(catc);
______r___0 = ! (! (r < 0));
if (______r___0) {
______f___1167.__annonCompField3.__annonCompField2.hit = ______f___1167.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1167.__annonCompField3.__annonCompField2.miss = ______f___1167.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
clear_bit(2, & catc->flags);
} else {
}
} else {
}
______r___2 = ! (! ((catc->is_f5u011 && catc->tx_ptr) || catc->tx_ptr >= (unsigned int )((15 - 1) * (1536 + 2))));
if (______r___2) {
______f___1169.__annonCompField3.__annonCompField2.hit = ______f___1169.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1169.__annonCompField3.__annonCompField2.miss = ______f___1169.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___2) {
netif_stop_queue(netdev);
} else {
}
while (1) {
_spin_unlock_irqrestore(& catc->tx_lock, flags);
break;
}
______r___3 = ! (! (r >= 0));
if (______r___3) {
______f___1170.__annonCompField3.__annonCompField2.hit = ______f___1170.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1170.__annonCompField3.__annonCompField2.miss = ______f___1170.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___3) {
(catc->netdev)->stats.tx_bytes = (catc->netdev)->stats.tx_bytes + (unsigned long )skb->len;
(catc->netdev)->stats.tx_packets = (catc->netdev)->stats.tx_packets + 1UL;
} else {
}
consume_skb(skb);
return (0);
}
}
static void catc_tx_timeout(struct net_device *netdev )
{
struct catc *catc ;
void *tmp ;
char const *tmp___0 ;
char const *tmp___1 ;
{
tmp = netdev_priv(netdev);
catc = tmp;
tmp___0 = dev_name(& netdev->dev);
tmp___1 = dev_driver_string(& netdev->dev);
printk("<4>%s %s: Transmit timed out.\n", tmp___1, tmp___0);
usb_unlink_urb(catc->tx_urb);
return;
}
}
static int catc_ctrl_msg(struct catc *catc , u8 dir , u8 request , u16 value , u16 index ,
void *buf , int len )
{
int retval ;
unsigned int tmp ;
unsigned int tmp___0 ;
unsigned int tmp___1 ;
int tmp___2 ;
{
if (dir) {
tmp = __create_pipe(catc->usbdev, 0);
tmp___1 = ((unsigned int )(2 << 30) | tmp) | 128U;
} else {
tmp___0 = __create_pipe(catc->usbdev, 0);
tmp___1 = (unsigned int )(2 << 30) | tmp___0;
}
tmp___2 = usb_control_msg(catc->usbdev, tmp___1, request, 64 | (int )dir, value,
index, buf, len, 1000);
retval = tmp___2;
return (retval < 0 ? retval : 0);
}
}
static void catc_ctrl_run(struct catc *catc ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1172 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_run",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
495, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1173 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_run",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
498, {{0UL, 0UL}}};
static void catc_ctrl_run(struct catc *catc )
{
struct ctrl_queue *q ;
struct usb_device *usbdev ;
struct urb *urb ;
struct usb_ctrlrequest *dr ;
int status ;
unsigned int tmp ;
unsigned int tmp___0 ;
size_t __len ;
void *__ret ;
int ______r___0 ;
int ______r___1 ;
int tmp___2 ;
{
q = catc->ctrl_queue + catc->ctrl_tail;
usbdev = catc->usbdev;
urb = catc->ctrl_urb;
dr = & catc->ctrl_dr;
dr->bRequest = q->request;
dr->bRequestType = 64 | (int )q->dir;
dr->wValue = q->value;
dr->wIndex = q->index;
dr->wLength = (__u16 )q->len;
if (q->dir) {
tmp = __create_pipe(usbdev, 0);
urb->pipe = ((unsigned int )(2 << 30) | tmp) | 128U;
} else {
tmp___0 = __create_pipe(usbdev, 0);
urb->pipe = (unsigned int )(2 << 30) | tmp___0;
}
urb->transfer_buffer_length = q->len;
urb->transfer_buffer = catc->ctrl_buf;
urb->setup_packet = (void *)dr;
urb->dev = usbdev;
______r___0 = ! (! ((! q->dir && q->buf) && q->len));
if (______r___0) {
______f___1172.__annonCompField3.__annonCompField2.hit = ______f___1172.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1172.__annonCompField3.__annonCompField2.miss = ______f___1172.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
__len = q->len;
__ret = memcpy(catc->ctrl_buf, q->buf, __len);
} else {
}
status = usb_submit_urb(catc->ctrl_urb, (16U | 64U) | 128U);
if (status) {
tmp___2 = 1;
} else {
tmp___2 = 0;
}
______r___1 = tmp___2;
if (______r___1) {
______f___1173.__annonCompField3.__annonCompField2.hit = ______f___1173.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1173.__annonCompField3.__annonCompField2.miss = ______f___1173.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___1) {
printk("<3>catc: submit(ctrl_urb) status %d\n", status);
} else {
}
return;
}
}
static void catc_ctrl_done(struct urb *urb ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1174 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
509, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1176 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
517, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1177 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
516, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1178 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
523, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1179 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
528, {{0UL, 0UL}}};
static void catc_ctrl_done(struct urb *urb )
{
struct catc *catc ;
struct ctrl_queue *q ;
unsigned long flags ;
int status ;
int ______r ;
size_t __len ;
void *__ret ;
int ______r___1 ;
int ______r___2 ;
int ______r___3 ;
int ______r___4 ;
{
catc = urb->context;
status = urb->status;
______r = ! (! status);
if (______r) {
______f___1174.__annonCompField3.__annonCompField2.hit = ______f___1174.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1174.__annonCompField3.__annonCompField2.miss = ______f___1174.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
while (1) {
break;
}
} else {
}
while (1) {
flags = _spin_lock_irqsave(& catc->ctrl_lock);
break;
}
q = catc->ctrl_queue + catc->ctrl_tail;
______r___2 = ! (! q->dir);
if (______r___2) {
______f___1177.__annonCompField3.__annonCompField2.hit = ______f___1177.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1177.__annonCompField3.__annonCompField2.miss = ______f___1177.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___2) {
______r___1 = ! (! (q->buf && q->len));
if (______r___1) {
______f___1176.__annonCompField3.__annonCompField2.hit = ______f___1176.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1176.__annonCompField3.__annonCompField2.miss = ______f___1176.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___1) {
__len = q->len;
__ret = memcpy(q->buf, catc->ctrl_buf, __len);
} else {
q->buf = catc->ctrl_buf;
}
} else {
}
______r___3 = ! (! q->callback);
if (______r___3) {
______f___1178.__annonCompField3.__annonCompField2.hit = ______f___1178.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1178.__annonCompField3.__annonCompField2.miss = ______f___1178.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___3) {
(*(q->callback))(catc, q);
} else {
}
catc->ctrl_tail = (catc->ctrl_tail + 1U) & (unsigned int )(16 - 1);
______r___4 = ! (! (catc->ctrl_head != catc->ctrl_tail));
if (______r___4) {
______f___1179.__annonCompField3.__annonCompField2.hit = ______f___1179.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1179.__annonCompField3.__annonCompField2.miss = ______f___1179.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___4) {
catc_ctrl_run(catc);
} else {
clear_bit(0, & catc->flags);
}
while (1) {
_spin_unlock_irqrestore(& catc->ctrl_lock, flags);
break;
}
return;
}
}
static int catc_ctrl_async(struct catc *catc , u8 dir , u8 request , u16 value , u16 index ,
void *buf , int len , void (*callback)(struct catc *catc ,
struct ctrl_queue *q ) ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1180 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_async",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
557, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1181 __attribute__((__section__("_ftrace_branch"))) = {"catc_ctrl_async",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
563, {{0UL, 0UL}}};
static int catc_ctrl_async(struct catc *catc , u8 dir , u8 request , u16 value , u16 index ,
void *buf , int len , void (*callback)(struct catc *catc ,
struct ctrl_queue *q ) )
{
struct ctrl_queue *q ;
int retval ;
unsigned long flags ;
int ______r ;
int ______r___0 ;
int tmp___3 ;
int tmp___4 ;
{
retval = 0;
while (1) {
flags = _spin_lock_irqsave(& catc->ctrl_lock);
break;
}
q = catc->ctrl_queue + catc->ctrl_head;
q->dir = dir;
q->request = request;
q->value = value;
q->index = index;
q->buf = buf;
q->len = len;
q->callback = callback;
catc->ctrl_head = (catc->ctrl_head + 1U) & (unsigned int )(16 - 1);
______r = ! (! (catc->ctrl_head == catc->ctrl_tail));
if (______r) {
______f___1180.__annonCompField3.__annonCompField2.hit = ______f___1180.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1180.__annonCompField3.__annonCompField2.miss = ______f___1180.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
printk("<3>catc: ctrl queue full\n");
catc->ctrl_tail = (catc->ctrl_tail + 1U) & (unsigned int )(16 - 1);
retval = -1;
} else {
}
tmp___3 = test_and_set_bit(0, & catc->flags);
if (tmp___3) {
tmp___4 = 0;
} else {
tmp___4 = 1;
}
______r___0 = tmp___4;
if (______r___0) {
______f___1181.__annonCompField3.__annonCompField2.hit = ______f___1181.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1181.__annonCompField3.__annonCompField2.miss = ______f___1181.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
catc_ctrl_run(catc);
} else {
}
while (1) {
_spin_unlock_irqrestore(& catc->ctrl_lock, flags);
break;
}
return (retval);
}
}
static void catc_stats_done(struct catc *catc , struct ctrl_queue *q ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1182 __attribute__((__section__("_ftrace_branch"))) = {"catc_stats_done",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
582, {{0UL, 0UL}}};
static void catc_stats_done(struct catc *catc , struct ctrl_queue *q )
{
int index ;
u16 data ;
u16 last ;
int ______r ;
{
index = (int )q->index - EthStats;
catc->stats_buf[index] = *((char *)q->buf);
______r = ! (! (index & 1));
if (______r) {
______f___1182.__annonCompField3.__annonCompField2.hit = ______f___1182.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1182.__annonCompField3.__annonCompField2.miss = ______f___1182.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
return;
} else {
}
data = ((int )((u16 )catc->stats_buf[index]) << 8) | (int )catc->stats_buf[index + 1];
last = catc->stats_vals[index >> 1];
switch (index) {
case TxMultiColl:
case TxSingleColl:
(catc->netdev)->stats.collisions = (catc->netdev)->stats.collisions + (unsigned long )((int )data - (int )last);
break;
case TxExcessColl:
(catc->netdev)->stats.tx_aborted_errors = (catc->netdev)->stats.tx_aborted_errors + (unsigned long )((int )data - (int )last);
(catc->netdev)->stats.tx_errors = (catc->netdev)->stats.tx_errors + (unsigned long )((int )data - (int )last);
break;
case RxFramErr:
(catc->netdev)->stats.rx_frame_errors = (catc->netdev)->stats.rx_frame_errors + (unsigned long )((int )data - (int )last);
(catc->netdev)->stats.rx_errors = (catc->netdev)->stats.rx_errors + (unsigned long )((int )data - (int )last);
break;
}
catc->stats_vals[index >> 1] = data;
return;
}
}
static void catc_stats_timer(unsigned long data )
{
struct catc *catc ;
int i ;
{
catc = (void *)data;
i = 0;
while (1) {
if (i < 8) {
} else {
break;
}
catc_ctrl_async(catc, 128, GetReg, 0, (EthStats + 7) - i, (void *)0, 1, & catc_stats_done);
i = i + 1;
}
mod_timer(& catc->timer, jiffies + (unsigned long volatile )250);
return;
}
}
static void catc_multicast(unsigned char *addr , u8 *multicast )
{
u32 crc ;
{
crc = crc32_le(~ 0, addr, 6);
*(multicast + ((crc >> 3) & 63U)) = (int )*(multicast + ((crc >> 3) & 63U)) | (1 << (crc & 7U));
return;
}
}
static void catc_set_multicast_list(struct net_device *netdev ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1183 __attribute__((__section__("_ftrace_branch"))) = {"catc_set_multicast_list",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
643, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1184 __attribute__((__section__("_ftrace_branch"))) = {"catc_set_multicast_list",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
653, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1185 __attribute__((__section__("_ftrace_branch"))) = {"catc_set_multicast_list",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
648, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1186 __attribute__((__section__("_ftrace_branch"))) = {"catc_set_multicast_list",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
665, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1187 __attribute__((__section__("_ftrace_branch"))) = {"catc_set_multicast_list",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
660, {{0UL, 0UL}}};
static void catc_set_multicast_list(struct net_device *netdev )
{
struct catc *catc ;
void *tmp ;
struct dev_addr_list *mc ;
u8 broadcast[6] ;
u8 rx ;
int i ;
int ______r ;
u32 crc ;
u32 tmp___0 ;
int ______r___0 ;
int ______r___1 ;
int ______r___2 ;
int ______r___3 ;
{
tmp = netdev_priv(netdev);
catc = tmp;
rx = (RxEnable | RxPolarity) | RxMultiCast;
memset(broadcast, 255, 6);
memset(catc->multicast, 0, 64);
catc_multicast(broadcast, catc->multicast);
catc_multicast(netdev->dev_addr, catc->multicast);
______r = ! (! (netdev->flags & 256U));
if (______r) {
______f___1183.__annonCompField3.__annonCompField2.hit = ______f___1183.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1183.__annonCompField3.__annonCompField2.miss = ______f___1183.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
memset(catc->multicast, 255, 64);
rx = (int )rx | (! catc->is_f5u011 ? RxPromisc : AltRxPromisc);
} else {
}
______r___1 = ! (! (netdev->flags & 512U));
if (______r___1) {
______f___1185.__annonCompField3.__annonCompField2.hit = ______f___1185.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1185.__annonCompField3.__annonCompField2.miss = ______f___1185.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___1) {
memset(catc->multicast, 255, 64);
} else {
i = 0;
mc = netdev->mc_list;
while (1) {
if (mc && i < netdev->mc_count) {
} else {
break;
}
tmp___0 = crc32_le(~ 0, mc->da_addr, 6);
crc = tmp___0;
______r___0 = ! (! (! catc->is_f5u011));
if (______r___0) {
______f___1184.__annonCompField3.__annonCompField2.hit = ______f___1184.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1184.__annonCompField3.__annonCompField2.miss = ______f___1184.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
catc->multicast[(crc >> 3) & 63U] = (int )catc->multicast[(crc >> 3) & 63U] | (1 << (crc & 7U));
} else {
catc->multicast[(u32 )7 - (crc >> 29)] = (int )catc->multicast[(u32 )7 - (crc >> 29)] | (1 << ((crc >> 26) & 7U));
}
i = i + 1;
mc = mc->next;
}
}
______r___3 = ! (! (! catc->is_f5u011));
if (______r___3) {
______f___1187.__annonCompField3.__annonCompField2.hit = ______f___1187.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1187.__annonCompField3.__annonCompField2.miss = ______f___1187.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___3) {
catc_ctrl_async(catc, 0, SetReg, rx, RxUnit, (void *)0, 0, (void *)0);
catc_ctrl_async(catc, 0, WriteMem, 0, 64128, catc->multicast, 64, (void *)0);
} else {
catc_ctrl_async(catc, 0, SetRxMode, 0, 2, & catc->multicast, 8, (void *)0);
______r___2 = ! (! ((int )catc->rxmode[0] != (int )rx));
if (______r___2) {
______f___1186.__annonCompField3.__annonCompField2.hit = ______f___1186.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1186.__annonCompField3.__annonCompField2.miss = ______f___1186.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___2) {
catc->rxmode[0] = rx;
while (1) {
break;
}
catc_ctrl_async(catc, 0, SetRxMode, 0, 1, & catc->rxmode, 2, (void *)0);
} else {
}
}
return;
}
}
static void catc_get_drvinfo(struct net_device *dev , struct ethtool_drvinfo *info )
{
struct catc *catc ;
void *tmp ;
{
tmp = netdev_priv(dev);
catc = tmp;
strncpy(info->driver, driver_name, 32);
strncpy(info->version, "v2.8", 32);
usb_make_path(catc->usbdev, info->bus_info, sizeof(info->bus_info));
return;
}
}
static int catc_get_settings(struct net_device *dev , struct ethtool_cmd *cmd ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1188 __attribute__((__section__("_ftrace_branch"))) = {"catc_get_settings",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
685, {{0UL, 0UL}}};
static int catc_get_settings(struct net_device *dev , struct ethtool_cmd *cmd )
{
struct catc *catc ;
void *tmp ;
int ______r ;
{
tmp = netdev_priv(dev);
catc = tmp;
______r = ! (! (! catc->is_f5u011));
if (______r) {
______f___1188.__annonCompField3.__annonCompField2.hit = ______f___1188.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1188.__annonCompField3.__annonCompField2.miss = ______f___1188.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
return (-95);
} else {
}
cmd->supported = (1 << 0) | (1 << 7);
cmd->advertising = (1 << 0) | (1 << 7);
cmd->speed = 10;
cmd->duplex = 0;
cmd->port = 0;
cmd->phy_address = 0;
cmd->transceiver = 0;
cmd->autoneg = 0;
cmd->maxtxpkt = 1;
cmd->maxrxpkt = 1;
return (0);
}
}
static struct ethtool_ops ops =
{& catc_get_settings, 0, & catc_get_drvinfo, 0, 0, 0, 0, 0, 0, 0, & ethtool_op_get_link,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0};
static int catc_open(struct net_device *netdev ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1189 __attribute__((__section__("_ftrace_branch"))) = {"catc_open",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
717, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1190 __attribute__((__section__("_ftrace_branch"))) = {"catc_open",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
724, {{0UL, 0UL}}};
static int catc_open(struct net_device *netdev )
{
struct catc *catc ;
void *tmp ;
int status ;
int ______r ;
int tmp___1 ;
int ______r___0 ;
{
tmp = netdev_priv(netdev);
catc = tmp;
(catc->irq_urb)->dev = catc->usbdev;
status = usb_submit_urb(catc->irq_urb, (16U | 64U) | 128U);
if (status < 0) {
tmp___1 = 1;
} else {
tmp___1 = 0;
}
______r = tmp___1;
if (______r) {
______f___1189.__annonCompField3.__annonCompField2.hit = ______f___1189.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1189.__annonCompField3.__annonCompField2.miss = ______f___1189.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
printk("<3>catc: submit(irq_urb) status %d\n", status);
return (-1);
} else {
}
netif_start_queue(netdev);
______r___0 = ! (! (! catc->is_f5u011));
if (______r___0) {
______f___1190.__annonCompField3.__annonCompField2.hit = ______f___1190.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1190.__annonCompField3.__annonCompField2.miss = ______f___1190.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
mod_timer(& catc->timer, jiffies + (unsigned long volatile )250);
} else {
}
return (0);
}
}
static int catc_stop(struct net_device *netdev ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1191 __attribute__((__section__("_ftrace_branch"))) = {"catc_stop",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
736, {{0UL, 0UL}}};
static int catc_stop(struct net_device *netdev )
{
struct catc *catc ;
void *tmp ;
int ______r ;
{
tmp = netdev_priv(netdev);
catc = tmp;
netif_stop_queue(netdev);
______r = ! (! (! catc->is_f5u011));
if (______r) {
______f___1191.__annonCompField3.__annonCompField2.hit = ______f___1191.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1191.__annonCompField3.__annonCompField2.miss = ______f___1191.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
del_timer_sync(& catc->timer);
} else {
}
usb_kill_urb(catc->rx_urb);
usb_kill_urb(catc->tx_urb);
usb_kill_urb(catc->irq_urb);
usb_kill_urb(catc->ctrl_urb);
return (0);
}
}
static struct net_device_ops const catc_netdev_ops =
{0, 0, & catc_open, & catc_stop, & catc_start_xmit, 0, 0, 0, & catc_set_multicast_list,
& eth_mac_addr, & eth_validate_addr, 0, 0, & eth_change_mtu, 0, & catc_tx_timeout,
0, 0, 0, 0, 0};
static int catc_probe(struct usb_interface *intf , struct usb_device_id const *id ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1192 __attribute__((__section__("_ftrace_branch"))) = {"catc_probe",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
772, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1193 __attribute__((__section__("_ftrace_branch"))) = {"catc_probe",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
778, {{0UL, 0UL}}};
static struct lock_class_key __key___4 ;
static struct lock_class_key __key___5 ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1194 __attribute__((__section__("_ftrace_branch"))) = {"catc_probe",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
802, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1195 __attribute__((__section__("_ftrace_branch"))) = {"catc_probe",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
815, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1196 __attribute__((__section__("_ftrace_branch"))) = {"catc_probe",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
836, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1197 __attribute__((__section__("_ftrace_branch"))) = {"catc_probe",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
908, {{0UL, 0UL}}};
static int catc_probe(struct usb_interface *intf , struct usb_device_id const *id )
{
struct usb_device *usbdev ;
struct device const *__mptr ;
struct net_device *netdev ;
struct catc *catc ;
u8 broadcast[6] ;
int i ;
int pktsz ;
int ______r ;
int tmp___2 ;
int tmp___3 ;
int ______r___0 ;
void *tmp___4 ;
int ______r___1 ;
int ______r___2 ;
unsigned int tmp___5 ;
unsigned int tmp___6 ;
unsigned int tmp___7 ;
unsigned int tmp___8 ;
char const *tmp___9 ;
char const *tmp___10 ;
int ______r___3 ;
int ______r___4 ;
int tmp___14 ;
int tmp___15 ;
{
__mptr = intf->dev.parent;
usbdev = (struct usb_device *)((char *)__mptr - (unsigned int )(& ((struct usb_device *)0)->dev));
tmp___2 = usb_set_interface(usbdev, (intf->altsetting)->desc.bInterfaceNumber, 1);
if (tmp___2) {
tmp___3 = 1;
} else {
tmp___3 = 0;
}
______r = tmp___3;
if (______r) {
______f___1192.__annonCompField3.__annonCompField2.hit = ______f___1192.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1192.__annonCompField3.__annonCompField2.miss = ______f___1192.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
printk("<3>catc: Can\'t set altsetting 1.\n");
return (-5);
} else {
}
netdev = alloc_etherdev_mq(sizeof(struct catc ), 1);
______r___0 = ! (! (! netdev));
if (______r___0) {
______f___1193.__annonCompField3.__annonCompField2.hit = ______f___1193.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1193.__annonCompField3.__annonCompField2.miss = ______f___1193.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
return (-12);
} else {
}
tmp___4 = netdev_priv(netdev);
catc = tmp___4;
netdev->netdev_ops = & catc_netdev_ops;
netdev->watchdog_timeo = 5 * 250;
netdev->ethtool_ops = & ops;
catc->usbdev = usbdev;
catc->netdev = netdev;
while (1) {
__spin_lock_init(& catc->tx_lock, "&catc->tx_lock", & __key___4);
break;
}
while (1) {
__spin_lock_init(& catc->ctrl_lock, "&catc->ctrl_lock", & __key___5);
break;
}
init_timer(& catc->timer);
catc->timer.data = (long )catc;
catc->timer.function = & catc_stats_timer;
catc->ctrl_urb = usb_alloc_urb(0, (16U | 64U) | 128U);
catc->tx_urb = usb_alloc_urb(0, (16U | 64U) | 128U);
catc->rx_urb = usb_alloc_urb(0, (16U | 64U) | 128U);
catc->irq_urb = usb_alloc_urb(0, (16U | 64U) | 128U);
______r___1 = ! (! (((! catc->ctrl_urb || ! catc->tx_urb) || ! catc->rx_urb) || ! catc->irq_urb));
if (______r___1) {
______f___1194.__annonCompField3.__annonCompField2.hit = ______f___1194.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1194.__annonCompField3.__annonCompField2.miss = ______f___1194.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___1) {
printk("<3>catc: No free urbs available.\n");
usb_free_urb(catc->ctrl_urb);
usb_free_urb(catc->tx_urb);
usb_free_urb(catc->rx_urb);
usb_free_urb(catc->irq_urb);
free_netdev(netdev);
return (-12);
} else {
}
______r___2 = ! (! (((int )usbdev->descriptor.idVendor == 1059 && (int )usbdev->descriptor.idProduct == 10) && (int )(catc->usbdev)->descriptor.bcdDevice == 304));
if (______r___2) {
______f___1195.__annonCompField3.__annonCompField2.hit = ______f___1195.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1195.__annonCompField3.__annonCompField2.miss = ______f___1195.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___2) {
while (1) {
break;
}
catc->is_f5u011 = 1;
catc->recq_sz.counter = 0;
pktsz = 1600;
} else {
pktsz = 15 * (1536 + 2);
}
tmp___5 = __create_pipe(usbdev, 0);
usb_fill_control_urb(catc->ctrl_urb, usbdev, (unsigned int )(2 << 30) | tmp___5,
(void *)0, (void *)0, 0, & catc_ctrl_done, catc);
tmp___6 = __create_pipe(usbdev, 1);
usb_fill_bulk_urb(catc->tx_urb, usbdev, (unsigned int )(3 << 30) | tmp___6, (void *)0,
0, & catc_tx_done, catc);
tmp___7 = __create_pipe(usbdev, 1);
usb_fill_bulk_urb(catc->rx_urb, usbdev, ((unsigned int )(3 << 30) | tmp___7) | 128U,
catc->rx_buf, pktsz, & catc_rx_done, catc);
tmp___8 = __create_pipe(usbdev, 2);
usb_fill_int_urb(catc->irq_urb, usbdev, ((unsigned int )(1 << 30) | tmp___8) | 128U,
catc->irq_buf, 2, & catc_irq_done, catc, 1);
______r___3 = ! (! (! catc->is_f5u011));
if (______r___3) {
______f___1196.__annonCompField3.__annonCompField2.hit = ______f___1196.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1196.__annonCompField3.__annonCompField2.miss = ______f___1196.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___3) {
while (1) {
break;
}
i = 305419896;
catc_ctrl_msg(catc, 0, WriteMem, 0, 31360, & i, 4);
i = 2271560481U;
catc_ctrl_msg(catc, 0, WriteMem, 0, 64128, & i, 4);
catc_ctrl_msg(catc, 128, ReadMem, 0, 31360, & i, 4);
switch (i) {
case 305419896:
catc_ctrl_msg(catc, 0, SetReg, 8, TxBufCount, (void *)0, 0);
catc_ctrl_msg(catc, 0, SetReg, 32, RxBufCount, (void *)0, 0);
while (1) {
break;
}
break;
default:
tmp___9 = dev_name(& intf->dev);
tmp___10 = dev_driver_string(& intf->dev);
printk("<4>%s %s: Couldn\'t detect memory size, assuming 32k\n", tmp___10, tmp___9);
case -2023406815:
catc_ctrl_msg(catc, 0, SetReg, 4, TxBufCount, (void *)0, 0);
catc_ctrl_msg(catc, 0, SetReg, 16, RxBufCount, (void *)0, 0);
while (1) {
break;
}
break;
}
while (1) {
break;
}
catc_ctrl_msg(catc, 128, GetMac, 0, 0, netdev->dev_addr, 6);
while (1) {
break;
}
i = 0;
while (1) {
if (i < 6) {
} else {
break;
}
catc_ctrl_msg(catc, 0, SetReg, netdev->dev_addr[i], StationAddr0 - i, (void *)0,
0);
i = i + 1;
}
while (1) {
break;
}
memset(broadcast, 255, 6);
catc_multicast(broadcast, catc->multicast);
catc_multicast(netdev->dev_addr, catc->multicast);
catc_ctrl_msg(catc, 0, WriteMem, 0, 64128, catc->multicast, 64);
while (1) {
break;
}
i = 0;
while (1) {
if (i < 8) {
} else {
break;
}
catc_ctrl_msg(catc, 0, SetReg, 0, EthStats + i, (void *)0, 0);
i = i + 1;
}
catc->last_stats = jiffies;
while (1) {
break;
}
catc_ctrl_msg(catc, 0, SetReg, 15, MaxBurst, (void *)0, 0);
catc_ctrl_msg(catc, 0, SetReg, ((OpTxMerge | OpRxMerge) | OpLenInclude) | Op3MemWaits,
OpModes, (void *)0, 0);
catc_ctrl_msg(catc, 0, SetReg, LEDLink, LEDCtrl, (void *)0, 0);
catc_ctrl_msg(catc, 0, SetReg, (RxEnable | RxPolarity) | RxMultiCast, RxUnit,
(void *)0, 0);
} else {
while (1) {
break;
}
catc_ctrl_msg(catc, 0, Reset, 0, 0, (void *)0, 0);
catc_ctrl_msg(catc, 128, GetMac, 0, 0, netdev->dev_addr, 6);
while (1) {
break;
}
catc->rxmode[0] = (RxEnable | RxPolarity) | RxMultiCast;
catc->rxmode[1] = 0;
catc_ctrl_msg(catc, 0, SetRxMode, 0, 1, catc->rxmode, 2);
}
while (1) {
break;
}
printk("<6>%s: %s USB Ethernet at usb-%s-%s, ", netdev->name, catc->is_f5u011 ? "Belkin F5U011" : "CATC EL1210A NetMate",
(usbdev->bus)->bus_name, usbdev->devpath);
i = 0;
while (1) {
if (i < 5) {
} else {
break;
}
printk("%2.2x:", netdev->dev_addr[i]);
i = i + 1;
}
printk("%2.2x.\n", netdev->dev_addr[i]);
usb_set_intfdata(intf, catc);
netdev->dev.parent = & intf->dev;
tmp___14 = register_netdev(netdev);
if (tmp___14 != 0) {
tmp___15 = 1;
} else {
tmp___15 = 0;
}
______r___4 = tmp___15;
if (______r___4) {
______f___1197.__annonCompField3.__annonCompField2.hit = ______f___1197.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1197.__annonCompField3.__annonCompField2.miss = ______f___1197.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___4) {
usb_set_intfdata(intf, (void *)0);
usb_free_urb(catc->ctrl_urb);
usb_free_urb(catc->tx_urb);
usb_free_urb(catc->rx_urb);
usb_free_urb(catc->irq_urb);
free_netdev(netdev);
return (-5);
} else {
}
return (0);
}
}
static void catc_disconnect(struct usb_interface *intf ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1198 __attribute__((__section__("_ftrace_branch"))) = {"catc_disconnect",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
925, {{0UL, 0UL}}};
static void catc_disconnect(struct usb_interface *intf )
{
struct catc *catc ;
void *tmp ;
int ______r ;
{
tmp = usb_get_intfdata(intf);
catc = tmp;
usb_set_intfdata(intf, (void *)0);
______r = ! (! catc);
if (______r) {
______f___1198.__annonCompField3.__annonCompField2.hit = ______f___1198.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1198.__annonCompField3.__annonCompField2.miss = ______f___1198.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
unregister_netdev(catc->netdev);
usb_free_urb(catc->ctrl_urb);
usb_free_urb(catc->tx_urb);
usb_free_urb(catc->rx_urb);
usb_free_urb(catc->irq_urb);
free_netdev(catc->netdev);
} else {
}
return;
}
}
static struct usb_device_id catc_id_table[3] = { {1 | 2, 1059, 10, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
(unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 0UL},
{1 | 2,
1059, 12, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
(unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 0UL},
{1 | 2,
2257, 1, (unsigned short)0, (unsigned short)0, (unsigned char)0, (unsigned char)0,
(unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, 0UL}};
extern struct usb_device_id const __mod_usb_device_table __attribute__((__unused__,
__alias__("catc_id_table"))) ;
static struct usb_driver catc_driver =
{driver_name, & catc_probe, & catc_disconnect, 0, 0, 0, 0, 0, 0, catc_id_table,
{{{0U}, 0U, 0U, 0, {0, 0, 0, 0, 0UL}}, {0, 0}}, {{0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0}, 0}, 0U, 0U, 0U};
static int catc_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1199 __attribute__((__section__("_ftrace_branch"))) = {"catc_init",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
958, {{0UL, 0UL}}};
static int catc_init(void) __attribute__((__section__(".init.text"), __no_instrument_function__)) ;
static int catc_init(void)
{
int result ;
int tmp ;
int ______r ;
{
tmp = usb_register(& catc_driver);
result = tmp;
______r = ! (! (result == 0));
if (______r) {
______f___1199.__annonCompField3.__annonCompField2.hit = ______f___1199.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1199.__annonCompField3.__annonCompField2.miss = ______f___1199.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
printk("<6>catc: v2.8:CATC EL1210A NetMate USB Ethernet driver\n");
} else {
}
return (result);
}
}
static void catc_exit(void) __attribute__((__section__(".exit.text"))) ;
static void catc_exit(void)
{
{
usb_deregister(& catc_driver);
return;
}
}
int init_module(void)
{
int tmp ;
{
tmp = catc_init();
return (tmp);
}
}
void cleanup_module(void)
{
{
catc_exit();
return;
}
}
void ldv_check_final_state(void) ;
extern void ldv_check_return_value(int res ) ;
extern void ldv_check_return_value_probe(int res ) ;
extern void ldv_initialize(void) ;
extern void ldv_handler_precall(void) ;
extern int nondet_int(void) ;
int LDV_IN_INTERRUPT ;
static int res_catc_open_15 ;
static int res_catc_stop_16 ;
static int res_catc_probe_17 ;
int main(void) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1200 __attribute__((__section__("_ftrace_branch"))) = {"main",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
1393, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1201 __attribute__((__section__("_ftrace_branch"))) = {"main",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
1541, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1202 __attribute__((__section__("_ftrace_branch"))) = {"main",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
1505, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1203 __attribute__((__section__("_ftrace_branch"))) = {"main",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
1589, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1204 __attribute__((__section__("_ftrace_branch"))) = {"main",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
1553, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1205 __attribute__((__section__("_ftrace_branch"))) = {"main",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
1772, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1206 __attribute__((__section__("_ftrace_branch"))) = {"main",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
1736, {{0UL, 0UL}}};
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___1207 __attribute__((__section__("_ftrace_branch"))) = {"main",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/68_1/drivers/net/usb/catc.c",
1784, {{0UL, 0UL}}};
int main(void)
{
struct net_device *var_group1 ;
struct ethtool_drvinfo *var_group2 ;
struct ethtool_cmd *var_group3 ;
struct sk_buff *var_group4 ;
struct usb_interface *var_group5 ;
struct usb_device_id const *var_catc_probe_17_p1 ;
unsigned long var_catc_stats_timer_10_p0 ;
int ______r ;
int tmp___2 ;
int tmp___3 ;
int ldv_s_catc_netdev_ops_net_device_ops ;
int ldv_s_catc_driver_usb_driver ;
int tmp___4 ;
int ______r___0 ;
int ______r___1 ;
int ______r___2 ;
int ______r___3 ;
int ______r___4 ;
int ______r___5 ;
int ______r___6 ;
int tmp___5 ;
{
LDV_IN_INTERRUPT = 1;
ldv_initialize();
ldv_handler_precall();
tmp___2 = catc_init();
if (tmp___2) {
tmp___3 = 1;
} else {
tmp___3 = 0;
}
______r = tmp___3;
if (______r) {
______f___1200.__annonCompField3.__annonCompField2.hit = ______f___1200.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1200.__annonCompField3.__annonCompField2.miss = ______f___1200.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
goto ldv_final;
} else {
}
ldv_s_catc_netdev_ops_net_device_ops = 0;
ldv_s_catc_driver_usb_driver = 0;
while (1) {
tmp___5 = nondet_int();
if ((tmp___5 || ! (ldv_s_catc_netdev_ops_net_device_ops == 0)) || ! (ldv_s_catc_driver_usb_driver == 0)) {
} else {
break;
}
tmp___4 = nondet_int();
switch (tmp___4) {
case 0:
ldv_handler_precall();
catc_get_drvinfo(var_group1, var_group2);
break;
case 1:
ldv_handler_precall();
catc_get_settings(var_group1, var_group3);
break;
case 2:
______r___1 = ! (! (ldv_s_catc_netdev_ops_net_device_ops == 0));
if (______r___1) {
______f___1202.__annonCompField3.__annonCompField2.hit = ______f___1202.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1202.__annonCompField3.__annonCompField2.miss = ______f___1202.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___1) {
ldv_handler_precall();
res_catc_open_15 = catc_open(var_group1);
ldv_check_return_value(res_catc_open_15);
______r___0 = ! (! (res_catc_open_15 < 0));
if (______r___0) {
______f___1201.__annonCompField3.__annonCompField2.hit = ______f___1201.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1201.__annonCompField3.__annonCompField2.miss = ______f___1201.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___0) {
goto ldv_module_exit;
} else {
}
ldv_s_catc_netdev_ops_net_device_ops = ldv_s_catc_netdev_ops_net_device_ops + 1;
} else {
}
break;
case 3:
______r___3 = ! (! (ldv_s_catc_netdev_ops_net_device_ops == 1));
if (______r___3) {
______f___1204.__annonCompField3.__annonCompField2.hit = ______f___1204.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1204.__annonCompField3.__annonCompField2.miss = ______f___1204.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___3) {
ldv_handler_precall();
res_catc_stop_16 = catc_stop(var_group1);
ldv_check_return_value(res_catc_stop_16);
______r___2 = ! (! res_catc_stop_16);
if (______r___2) {
______f___1203.__annonCompField3.__annonCompField2.hit = ______f___1203.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1203.__annonCompField3.__annonCompField2.miss = ______f___1203.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___2) {
goto ldv_module_exit;
} else {
}
ldv_s_catc_netdev_ops_net_device_ops = 0;
} else {
}
break;
case 4:
ldv_handler_precall();
catc_start_xmit(var_group4, var_group1);
break;
case 5:
ldv_handler_precall();
catc_tx_timeout(var_group1);
break;
case 6:
ldv_handler_precall();
catc_set_multicast_list(var_group1);
break;
case 7:
______r___5 = ! (! (ldv_s_catc_driver_usb_driver == 0));
if (______r___5) {
______f___1206.__annonCompField3.__annonCompField2.hit = ______f___1206.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1206.__annonCompField3.__annonCompField2.miss = ______f___1206.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___5) {
res_catc_probe_17 = catc_probe(var_group5, var_catc_probe_17_p1);
ldv_check_return_value(res_catc_probe_17);
ldv_check_return_value_probe(res_catc_probe_17);
______r___4 = ! (! res_catc_probe_17);
if (______r___4) {
______f___1205.__annonCompField3.__annonCompField2.hit = ______f___1205.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1205.__annonCompField3.__annonCompField2.miss = ______f___1205.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___4) {
goto ldv_module_exit;
} else {
}
ldv_s_catc_driver_usb_driver = ldv_s_catc_driver_usb_driver + 1;
} else {
}
break;
case 8:
______r___6 = ! (! (ldv_s_catc_driver_usb_driver == 1));
if (______r___6) {
______f___1207.__annonCompField3.__annonCompField2.hit = ______f___1207.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___1207.__annonCompField3.__annonCompField2.miss = ______f___1207.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r___6) {
ldv_handler_precall();
catc_disconnect(var_group5);
ldv_s_catc_driver_usb_driver = 0;
} else {
}
break;
case 9:
ldv_handler_precall();
catc_stats_timer(var_catc_stats_timer_10_p0);
break;
default:
break;
}
}
ldv_module_exit:
ldv_handler_precall();
catc_exit();
ldv_final:
ldv_check_final_state();
return 0;
}
}
__inline static void ldv_error(void)
{
{
LDV_ERROR: {reach_error();abort();}
}
}
__inline static void ldv_stop(void)
{
{
LDV_STOP:
goto LDV_STOP;
}
}
extern void *ldv_undef_ptr(void) ;
long ldv__builtin_expect(long exp , long c )
{
{
return (exp);
}
}
int ldv_urb_state = 0;
int ldv_coherent_state = 0;
void *usb_alloc_coherent(struct usb_device *dev , size_t size , gfp_t mem_flags ,
dma_addr_t *dma ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___796 __attribute__((__section__("_ftrace_branch"))) = {"usb_alloc_coherent",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/rule-instrumentor/68_1/common-model/ldv_common_model.c",
47, {{0UL, 0UL}}};
void *usb_alloc_coherent(struct usb_device *dev , size_t size , gfp_t mem_flags ,
dma_addr_t *dma )
{
void *arbitrary_memory ;
void *tmp ;
int ______r ;
{
while (1) {
tmp = ldv_undef_ptr();
arbitrary_memory = tmp;
______r = ! (! (! arbitrary_memory));
if (______r) {
______f___796.__annonCompField3.__annonCompField2.hit = ______f___796.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___796.__annonCompField3.__annonCompField2.miss = ______f___796.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
return ((void *)0);
} else {
}
ldv_coherent_state = ldv_coherent_state + 1;
return (arbitrary_memory);
break;
}
return ((void *)0);
}
}
void usb_free_coherent(struct usb_device *dev , size_t size , void *addr , dma_addr_t dma ) ;
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___797 __attribute__((__section__("_ftrace_branch"))) = {"usb_free_coherent",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/rule-instrumentor/68_1/common-model/ldv_common_model.c",
53, {{0UL, 0UL}}};
void usb_free_coherent(struct usb_device *dev , size_t size , void *addr , dma_addr_t dma )
{
int ______r ;
{
while (1) {
if ((unsigned long )addr != (unsigned long )((void *)0)) {
} else {
ldv_stop();
}
______r = ! (! addr);
if (______r) {
______f___797.__annonCompField3.__annonCompField2.hit = ______f___797.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___797.__annonCompField3.__annonCompField2.miss = ______f___797.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
if (ldv_coherent_state >= 1) {
} else {
ldv_error();
}
ldv_coherent_state = ldv_coherent_state - 1;
} else {
}
break;
}
return;
}
}
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___798 __attribute__((__section__("_ftrace_branch"))) = {"usb_alloc_urb",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/rule-instrumentor/68_1/common-model/ldv_common_model.c",
58, {{0UL, 0UL}}};
struct urb *usb_alloc_urb(int iso_packets , gfp_t mem_flags )
{
void *arbitrary_memory ;
void *tmp ;
int ______r ;
{
while (1) {
tmp = ldv_undef_ptr();
arbitrary_memory = tmp;
______r = ! (! (! arbitrary_memory));
if (______r) {
______f___798.__annonCompField3.__annonCompField2.hit = ______f___798.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___798.__annonCompField3.__annonCompField2.miss = ______f___798.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
return ((void *)0);
} else {
}
ldv_urb_state = ldv_urb_state + 1;
return (arbitrary_memory);
break;
}
return ((struct urb *)0);
}
}
static struct ftrace_branch_data __attribute__((__aligned__(4))) ______f___799 __attribute__((__section__("_ftrace_branch"))) = {"usb_free_urb",
"/work/ldvuser/novikov/work/current--X--drivers/net/usb/catc.ko--X--defaultlinux--X--68_1--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/rule-instrumentor/68_1/common-model/ldv_common_model.c",
63, {{0UL, 0UL}}};
void usb_free_urb(struct urb *urb )
{
int ______r ;
{
while (1) {
if ((unsigned long )urb != (unsigned long )((struct urb *)0)) {
} else {
ldv_stop();
}
______r = ! (! urb);
if (______r) {
______f___799.__annonCompField3.__annonCompField2.hit = ______f___799.__annonCompField3.__annonCompField2.hit + 1UL;
} else {
______f___799.__annonCompField3.__annonCompField2.miss = ______f___799.__annonCompField3.__annonCompField2.miss + 1UL;
}
if (______r) {
if (ldv_urb_state >= 1) {
} else {
ldv_error();
}
ldv_urb_state = ldv_urb_state - 1;
} else {
}
break;
}
return;
}
}
void ldv_check_final_state(void)
{
{
if (ldv_urb_state == 0) {
} else {
ldv_error();
}
if (ldv_coherent_state == 0) {
} else {
ldv_error();
}
return;
}
}