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--mfd--janz-cmodio.ko_003.65e5235.08_1a.cil_true-unreach-call.i", 3, "reach_error"); }
/* Generated by CIL v. 1.5.1 */
/* print_CIL_Input is false */
typedef unsigned short __u16;
typedef unsigned int __u32;
typedef unsigned long long __u64;
typedef unsigned char u8;
typedef unsigned short u16;
typedef unsigned int u32;
typedef long long s64;
typedef unsigned long long u64;
typedef unsigned int __kernel_mode_t;
typedef unsigned long __kernel_size_t;
typedef long __kernel_ssize_t;
typedef long __kernel_time_t;
typedef int __kernel_clockid_t;
typedef long long __kernel_loff_t;
typedef __u32 __kernel_dev_t;
typedef __kernel_dev_t dev_t;
typedef __kernel_mode_t mode_t;
typedef __kernel_clockid_t clockid_t;
typedef _Bool bool;
typedef __kernel_loff_t loff_t;
typedef __kernel_size_t size_t;
typedef __kernel_ssize_t ssize_t;
typedef u64 dma_addr_t;
typedef unsigned int gfp_t;
typedef u64 phys_addr_t;
typedef phys_addr_t resource_size_t;
struct __anonstruct_atomic_t_6 {
int counter ;
};
typedef struct __anonstruct_atomic_t_6 atomic_t;
struct __anonstruct_atomic64_t_7 {
long counter ;
};
typedef struct __anonstruct_atomic64_t_7 atomic64_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 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 ;
};
typedef void (*ctor_fn_t)(void);
struct module;
struct _ddebug {
char const *modname ;
char const *function ;
char const *filename ;
char const *format ;
unsigned int lineno : 24 ;
unsigned char flags ;
char enabled ;
};
struct bug_entry {
int bug_addr_disp ;
int file_disp ;
unsigned short line ;
unsigned short flags ;
};
struct completion;
typedef unsigned long pgdval_t;
typedef unsigned long pgprotval_t;
struct pgprot {
pgprotval_t pgprot ;
};
typedef struct pgprot pgprot_t;
struct __anonstruct_pgd_t_11 {
pgdval_t pgd ;
};
typedef struct __anonstruct_pgd_t_11 pgd_t;
struct page;
typedef struct page *pgtable_t;
struct file;
struct cpumask;
struct arch_spinlock;
struct cpumask {
unsigned long bits[64U] ;
};
typedef struct cpumask cpumask_t;
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 kmem_cache;
struct __anonstruct_mm_segment_t_24 {
unsigned long seg ;
};
typedef struct __anonstruct_mm_segment_t_24 mm_segment_t;
struct timespec;
struct compat_timespec;
struct __anonstruct_futex_26 {
u32 *uaddr ;
u32 val ;
u32 flags ;
u32 bitset ;
u64 time ;
u32 *uaddr2 ;
};
struct __anonstruct_nanosleep_27 {
clockid_t index ;
struct timespec *rmtp ;
struct compat_timespec *compat_rmtp ;
u64 expires ;
};
struct pollfd;
struct __anonstruct_poll_28 {
struct pollfd *ufds ;
int nfds ;
int has_timeout ;
unsigned long tv_sec ;
unsigned long tv_nsec ;
};
union __anonunion_ldv_5332_25 {
struct __anonstruct_futex_26 futex ;
struct __anonstruct_nanosleep_27 nanosleep ;
struct __anonstruct_poll_28 poll ;
};
struct restart_block {
long (*fn)(struct restart_block * ) ;
union __anonunion_ldv_5332_25 ldv_5332 ;
};
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 ;
int uaccess_err ;
};
struct arch_spinlock {
unsigned int slock ;
};
typedef struct arch_spinlock arch_spinlock_t;
struct lockdep_map;
struct stack_trace {
unsigned int nr_entries ;
unsigned int max_entries ;
unsigned long *entries ;
int skip ;
};
struct lockdep_subclass_key {
char __one_byte ;
};
struct lock_class_key {
struct lockdep_subclass_key subkeys[8U] ;
};
struct lock_class {
struct list_head hash_entry ;
struct list_head lock_entry ;
struct lockdep_subclass_key *key ;
unsigned int subclass ;
unsigned int dep_gen_id ;
unsigned long usage_mask ;
struct stack_trace usage_traces[13U] ;
struct list_head locks_after ;
struct list_head locks_before ;
unsigned int version ;
unsigned long ops ;
char const *name ;
int name_version ;
unsigned long contention_point[4U] ;
unsigned long contending_point[4U] ;
};
struct lockdep_map {
struct lock_class_key *key ;
struct lock_class *class_cache[2U] ;
char const *name ;
int cpu ;
unsigned long ip ;
};
struct raw_spinlock {
arch_spinlock_t raw_lock ;
unsigned int magic ;
unsigned int owner_cpu ;
void *owner ;
struct lockdep_map dep_map ;
};
struct __anonstruct_ldv_5914_31 {
u8 __padding[1U] ;
struct lockdep_map dep_map ;
};
union __anonunion_ldv_5915_30 {
struct raw_spinlock rlock ;
struct __anonstruct_ldv_5914_31 ldv_5914 ;
};
struct spinlock {
union __anonunion_ldv_5915_30 ldv_5915 ;
};
typedef struct spinlock spinlock_t;
struct timespec {
__kernel_time_t tv_sec ;
long tv_nsec ;
};
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_34 {
unsigned long bits[16U] ;
};
typedef struct __anonstruct_nodemask_t_34 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 rw_semaphore;
struct rw_semaphore {
long count ;
spinlock_t wait_lock ;
struct list_head wait_list ;
struct lockdep_map dep_map ;
};
struct resource {
resource_size_t start ;
resource_size_t end ;
char const *name ;
unsigned long flags ;
struct resource *parent ;
struct resource *sibling ;
struct resource *child ;
};
struct pci_dev;
struct device;
union ktime {
s64 tv64 ;
};
typedef union ktime ktime_t;
struct tvec_base;
struct timer_list {
struct list_head entry ;
unsigned long expires ;
struct tvec_base *base ;
void (*function)(unsigned long ) ;
unsigned long data ;
int slack ;
int start_pid ;
void *start_site ;
char start_comm[16U] ;
struct lockdep_map lockdep_map ;
};
struct work_struct;
struct work_struct {
atomic_long_t data ;
struct list_head entry ;
void (*func)(struct work_struct * ) ;
struct lockdep_map lockdep_map ;
};
struct completion {
unsigned int done ;
wait_queue_head_t wait ;
};
struct pm_message {
int event ;
};
typedef struct pm_message pm_message_t;
struct dev_pm_ops {
int (*prepare)(struct device * ) ;
void (*complete)(struct device * ) ;
int (*suspend)(struct device * ) ;
int (*resume)(struct device * ) ;
int (*freeze)(struct device * ) ;
int (*thaw)(struct device * ) ;
int (*poweroff)(struct device * ) ;
int (*restore)(struct device * ) ;
int (*suspend_noirq)(struct device * ) ;
int (*resume_noirq)(struct device * ) ;
int (*freeze_noirq)(struct device * ) ;
int (*thaw_noirq)(struct device * ) ;
int (*poweroff_noirq)(struct device * ) ;
int (*restore_noirq)(struct device * ) ;
int (*runtime_suspend)(struct device * ) ;
int (*runtime_resume)(struct device * ) ;
int (*runtime_idle)(struct device * ) ;
};
enum rpm_status {
RPM_ACTIVE = 0,
RPM_RESUMING = 1,
RPM_SUSPENDED = 2,
RPM_SUSPENDING = 3
} ;
enum rpm_request {
RPM_REQ_NONE = 0,
RPM_REQ_IDLE = 1,
RPM_REQ_SUSPEND = 2,
RPM_REQ_AUTOSUSPEND = 3,
RPM_REQ_RESUME = 4
} ;
struct wakeup_source;
struct dev_pm_info {
pm_message_t power_state ;
unsigned char can_wakeup : 1 ;
unsigned char async_suspend : 1 ;
unsigned char in_suspend : 1 ;
spinlock_t lock ;
struct list_head entry ;
struct completion completion ;
struct wakeup_source *wakeup ;
struct timer_list suspend_timer ;
unsigned long timer_expires ;
struct work_struct work ;
wait_queue_head_t wait_queue ;
atomic_t usage_count ;
atomic_t child_count ;
unsigned char disable_depth : 3 ;
unsigned char ignore_children : 1 ;
unsigned char idle_notification : 1 ;
unsigned char request_pending : 1 ;
unsigned char deferred_resume : 1 ;
unsigned char run_wake : 1 ;
unsigned char runtime_auto : 1 ;
unsigned char no_callbacks : 1 ;
unsigned char irq_safe : 1 ;
unsigned char use_autosuspend : 1 ;
unsigned char timer_autosuspends : 1 ;
enum rpm_request request ;
enum rpm_status runtime_status ;
int runtime_error ;
int autosuspend_delay ;
unsigned long last_busy ;
unsigned long active_jiffies ;
unsigned long suspended_jiffies ;
unsigned long accounting_timestamp ;
};
struct dev_power_domain {
struct dev_pm_ops ops ;
};
struct pci_bus;
struct __anonstruct_mm_context_t_99 {
void *ldt ;
int size ;
struct mutex lock ;
void *vdso ;
};
typedef struct __anonstruct_mm_context_t_99 mm_context_t;
struct vm_area_struct;
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 sock;
struct kobject;
enum kobj_ns_type {
KOBJ_NS_TYPE_NONE = 0,
KOBJ_NS_TYPE_NET = 1,
KOBJ_NS_TYPES = 2
} ;
struct kobj_ns_type_operations {
enum kobj_ns_type type ;
void const *(*current_ns)(void) ;
void const *(*netlink_ns)(struct sock * ) ;
void const *(*initial_ns)(void) ;
};
struct attribute {
char const *name ;
mode_t mode ;
struct lock_class_key *key ;
struct lock_class_key skey ;
};
struct attribute_group {
char const *name ;
mode_t (*is_visible)(struct kobject * , struct attribute * , int ) ;
struct attribute **attrs ;
};
struct bin_attribute {
struct attribute attr ;
size_t size ;
void *private ;
ssize_t (*read)(struct file * , struct kobject * , struct bin_attribute * , char * ,
loff_t , size_t ) ;
ssize_t (*write)(struct file * , struct kobject * , struct bin_attribute * , char * ,
loff_t , size_t ) ;
int (*mmap)(struct file * , struct kobject * , struct bin_attribute * , struct vm_area_struct * ) ;
};
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 char state_initialized : 1 ;
unsigned char state_in_sysfs : 1 ;
unsigned char state_add_uevent_sent : 1 ;
unsigned char state_remove_uevent_sent : 1 ;
unsigned char uevent_suppress : 1 ;
};
struct kobj_type {
void (*release)(struct kobject * ) ;
struct sysfs_ops const *sysfs_ops ;
struct attribute **default_attrs ;
struct kobj_ns_type_operations const *(*child_ns_type)(struct kobject * ) ;
void const *(*namespace)(struct kobject * ) ;
};
struct kobj_uevent_env {
char *envp[32U] ;
int envp_idx ;
char buf[2048U] ;
int buflen ;
};
struct kset_uevent_ops {
int (* const filter)(struct kset * , struct kobject * ) ;
char const *(* const name)(struct kset * , struct kobject * ) ;
int (* const uevent)(struct kset * , struct kobject * , struct kobj_uevent_env * ) ;
};
struct kset {
struct list_head list ;
spinlock_t list_lock ;
struct kobject kobj ;
struct kset_uevent_ops const *uevent_ops ;
};
struct kernel_param;
struct kernel_param_ops {
int (*set)(char const * , struct kernel_param const * ) ;
int (*get)(char * , struct kernel_param const * ) ;
void (*free)(void * ) ;
};
struct kparam_string;
struct kparam_array;
union __anonunion_ldv_11763_124 {
void *arg ;
struct kparam_string const *str ;
struct kparam_array const *arr ;
};
struct kernel_param {
char const *name ;
struct kernel_param_ops const *ops ;
u16 perm ;
u16 flags ;
union __anonunion_ldv_11763_124 ldv_11763 ;
};
struct kparam_string {
unsigned int maxlen ;
char *string ;
};
struct kparam_array {
unsigned int max ;
unsigned int *num ;
struct kernel_param_ops const *ops ;
unsigned int elemsize ;
void *elem ;
};
struct tracepoint;
struct tracepoint_func {
void *func ;
void *data ;
};
struct tracepoint {
char const *name ;
int state ;
void (*regfunc)(void) ;
void (*unregfunc)(void) ;
struct tracepoint_func *funcs ;
};
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 ) ;
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_ref {
unsigned int incs ;
unsigned int decs ;
};
struct module_sect_attrs;
struct module_notes_attrs;
struct ftrace_event_call;
struct module {
enum module_state state ;
struct list_head list ;
char name[56U] ;
struct module_kobject mkobj ;
struct module_attribute *modinfo_attrs ;
char const *version ;
char const *srcversion ;
struct kobject *holders_dir ;
struct kernel_symbol const *syms ;
unsigned long const *crcs ;
unsigned int num_syms ;
struct kernel_param *kp ;
unsigned int num_kp ;
unsigned int num_gpl_syms ;
struct kernel_symbol const *gpl_syms ;
unsigned long const *gpl_crcs ;
struct kernel_symbol const *unused_syms ;
unsigned long const *unused_crcs ;
unsigned int num_unused_syms ;
unsigned int num_unused_gpl_syms ;
struct kernel_symbol const *unused_gpl_syms ;
unsigned long const *unused_gpl_crcs ;
struct kernel_symbol const *gpl_future_syms ;
unsigned long const *gpl_future_crcs ;
unsigned int num_gpl_future_syms ;
unsigned int num_exentries ;
struct exception_table_entry *extable ;
int (*init)(void) ;
void *module_init ;
void *module_core ;
unsigned int init_size ;
unsigned int core_size ;
unsigned int init_text_size ;
unsigned int core_text_size ;
unsigned int init_ro_size ;
unsigned int core_ro_size ;
struct mod_arch_specific arch ;
unsigned int taints ;
unsigned int num_bugs ;
struct list_head bug_list ;
struct bug_entry *bug_table ;
Elf64_Sym *symtab ;
Elf64_Sym *core_symtab ;
unsigned int num_symtab ;
unsigned int core_num_syms ;
char *strtab ;
char *core_strtab ;
struct module_sect_attrs *sect_attrs ;
struct module_notes_attrs *notes_attrs ;
void *percpu ;
unsigned int percpu_size ;
char *args ;
struct tracepoint * const *tracepoints_ptrs ;
unsigned int num_tracepoints ;
char const **trace_bprintk_fmt_start ;
unsigned int num_trace_bprintk_fmt ;
struct ftrace_event_call **trace_events ;
unsigned int num_trace_events ;
unsigned long *ftrace_callsites ;
unsigned int num_ftrace_callsites ;
struct list_head source_list ;
struct list_head target_list ;
struct task_struct *waiter ;
void (*exit)(void) ;
struct module_ref *refptr ;
ctor_fn_t (**ctors)(void) ;
unsigned int num_ctors ;
};
typedef unsigned long kernel_ulong_t;
struct pci_device_id {
__u32 vendor ;
__u32 device ;
__u32 subvendor ;
__u32 subdevice ;
__u32 class ;
__u32 class_mask ;
kernel_ulong_t driver_data ;
};
struct of_device_id {
char name[32U] ;
char type[32U] ;
char compatible[128U] ;
void *data ;
};
struct platform_device_id {
char name[20U] ;
kernel_ulong_t driver_data ;
};
struct klist_node;
struct klist_node {
void *n_klist ;
struct list_head n_node ;
struct kref n_ref ;
};
struct dma_map_ops;
struct dev_archdata {
void *acpi_handle ;
struct dma_map_ops *dma_ops ;
void *iommu ;
};
struct pdev_archdata {
};
struct device_private;
struct device_driver;
struct driver_private;
struct class;
struct subsys_private;
struct bus_type;
struct device_node;
struct bus_attribute {
struct attribute attr ;
ssize_t (*show)(struct bus_type * , char * ) ;
ssize_t (*store)(struct bus_type * , char const * , size_t ) ;
};
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 * , struct device_driver * ) ;
int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
int (*probe)(struct device * ) ;
int (*remove)(struct device * ) ;
void (*shutdown)(struct device * ) ;
int (*suspend)(struct device * , pm_message_t ) ;
int (*resume)(struct device * ) ;
struct dev_pm_ops const *pm ;
struct subsys_private *p ;
};
struct device_driver {
char const *name ;
struct bus_type *bus ;
struct module *owner ;
char const *mod_name ;
bool suppress_bind_attrs ;
struct of_device_id const *of_match_table ;
int (*probe)(struct device * ) ;
int (*remove)(struct device * ) ;
void (*shutdown)(struct device * ) ;
int (*suspend)(struct device * , pm_message_t ) ;
int (*resume)(struct device * ) ;
struct attribute_group const **groups ;
struct dev_pm_ops const *pm ;
struct driver_private *p ;
};
struct driver_attribute {
struct attribute attr ;
ssize_t (*show)(struct device_driver * , char * ) ;
ssize_t (*store)(struct device_driver * , char const * , size_t ) ;
};
struct class_attribute;
struct class {
char const *name ;
struct module *owner ;
struct class_attribute *class_attrs ;
struct device_attribute *dev_attrs ;
struct bin_attribute *dev_bin_attrs ;
struct kobject *dev_kobj ;
int (*dev_uevent)(struct device * , struct kobj_uevent_env * ) ;
char *(*devnode)(struct device * , mode_t * ) ;
void (*class_release)(struct class * ) ;
void (*dev_release)(struct device * ) ;
int (*suspend)(struct device * , pm_message_t ) ;
int (*resume)(struct device * ) ;
struct kobj_ns_type_operations const *ns_type ;
void const *(*namespace)(struct device * ) ;
struct dev_pm_ops const *pm ;
struct subsys_private *p ;
};
struct device_type;
struct class_attribute {
struct attribute attr ;
ssize_t (*show)(struct class * , struct class_attribute * , char * ) ;
ssize_t (*store)(struct class * , struct class_attribute * , char const * , size_t ) ;
};
struct device_type {
char const *name ;
struct attribute_group const **groups ;
int (*uevent)(struct device * , struct kobj_uevent_env * ) ;
char *(*devnode)(struct device * , mode_t * ) ;
void (*release)(struct device * ) ;
struct dev_pm_ops const *pm ;
};
struct device_attribute {
struct attribute attr ;
ssize_t (*show)(struct device * , struct device_attribute * , char * ) ;
ssize_t (*store)(struct device * , struct device_attribute * , char const * ,
size_t ) ;
};
struct device_dma_parameters {
unsigned int max_segment_size ;
unsigned long segment_boundary_mask ;
};
struct dma_coherent_mem;
struct device {
struct device *parent ;
struct device_private *p ;
struct kobject kobj ;
char const *init_name ;
struct device_type *type ;
struct mutex mutex ;
struct bus_type *bus ;
struct device_driver *driver ;
void *platform_data ;
struct dev_pm_info power ;
struct dev_power_domain *pwr_domain ;
int numa_node ;
u64 *dma_mask ;
u64 coherent_dma_mask ;
struct device_dma_parameters *dma_parms ;
struct list_head dma_pools ;
struct dma_coherent_mem *dma_mem ;
struct dev_archdata archdata ;
struct device_node *of_node ;
struct of_device_id const *of_match ;
dev_t devt ;
spinlock_t devres_lock ;
struct list_head devres_head ;
struct klist_node knode_class ;
struct class *class ;
struct attribute_group const **groups ;
void (*release)(struct device * ) ;
};
struct wakeup_source {
char *name ;
struct list_head entry ;
spinlock_t lock ;
struct timer_list timer ;
unsigned long timer_expires ;
ktime_t total_time ;
ktime_t max_time ;
ktime_t last_time ;
unsigned long event_count ;
unsigned long active_count ;
unsigned long relax_count ;
unsigned long hit_count ;
unsigned char active : 1 ;
};
struct hotplug_slot;
struct pci_slot {
struct pci_bus *bus ;
struct list_head list ;
struct hotplug_slot *hotplug ;
unsigned char number ;
struct kobject kobj ;
};
typedef int pci_power_t;
typedef unsigned int pci_channel_state_t;
enum pci_channel_state {
pci_channel_io_normal = 1,
pci_channel_io_frozen = 2,
pci_channel_io_perm_failure = 3
} ;
typedef unsigned short pci_dev_flags_t;
typedef unsigned short pci_bus_flags_t;
struct pcie_link_state;
struct pci_vpd;
struct pci_sriov;
struct pci_ats;
struct proc_dir_entry;
struct pci_driver;
union __anonunion_ldv_13685_126 {
struct pci_sriov *sriov ;
struct pci_dev *physfn ;
};
struct pci_dev {
struct list_head bus_list ;
struct pci_bus *bus ;
struct pci_bus *subordinate ;
void *sysdata ;
struct proc_dir_entry *procent ;
struct pci_slot *slot ;
unsigned int devfn ;
unsigned short vendor ;
unsigned short device ;
unsigned short subsystem_vendor ;
unsigned short subsystem_device ;
unsigned int class ;
u8 revision ;
u8 hdr_type ;
u8 pcie_cap ;
u8 pcie_type ;
u8 rom_base_reg ;
u8 pin ;
struct pci_driver *driver ;
u64 dma_mask ;
struct device_dma_parameters dma_parms ;
pci_power_t current_state ;
int pm_cap ;
unsigned char pme_support : 5 ;
unsigned char pme_interrupt : 1 ;
unsigned char d1_support : 1 ;
unsigned char d2_support : 1 ;
unsigned char no_d1d2 : 1 ;
unsigned char mmio_always_on : 1 ;
unsigned char wakeup_prepared : 1 ;
unsigned int d3_delay ;
struct pcie_link_state *link_state ;
pci_channel_state_t error_state ;
struct device dev ;
int cfg_size ;
unsigned int irq ;
struct resource resource[18U] ;
resource_size_t fw_addr[18U] ;
unsigned char transparent : 1 ;
unsigned char multifunction : 1 ;
unsigned char is_added : 1 ;
unsigned char is_busmaster : 1 ;
unsigned char no_msi : 1 ;
unsigned char block_ucfg_access : 1 ;
unsigned char broken_parity_status : 1 ;
unsigned char irq_reroute_variant : 2 ;
unsigned char msi_enabled : 1 ;
unsigned char msix_enabled : 1 ;
unsigned char ari_enabled : 1 ;
unsigned char is_managed : 1 ;
unsigned char is_pcie : 1 ;
unsigned char needs_freset : 1 ;
unsigned char state_saved : 1 ;
unsigned char is_physfn : 1 ;
unsigned char is_virtfn : 1 ;
unsigned char reset_fn : 1 ;
unsigned char is_hotplug_bridge : 1 ;
unsigned char __aer_firmware_first_valid : 1 ;
unsigned char __aer_firmware_first : 1 ;
pci_dev_flags_t dev_flags ;
atomic_t enable_cnt ;
u32 saved_config_space[16U] ;
struct hlist_head saved_cap_space ;
struct bin_attribute *rom_attr ;
int rom_attr_enabled ;
struct bin_attribute *res_attr[18U] ;
struct bin_attribute *res_attr_wc[18U] ;
struct list_head msi_list ;
struct pci_vpd *vpd ;
union __anonunion_ldv_13685_126 ldv_13685 ;
struct pci_ats *ats ;
};
struct pci_ops;
struct pci_bus {
struct list_head node ;
struct pci_bus *parent ;
struct list_head children ;
struct list_head devices ;
struct pci_dev *self ;
struct list_head slots ;
struct resource *resource[4U] ;
struct list_head resources ;
struct pci_ops *ops ;
void *sysdata ;
struct proc_dir_entry *procdir ;
unsigned char number ;
unsigned char primary ;
unsigned char secondary ;
unsigned char subordinate ;
unsigned char max_bus_speed ;
unsigned char cur_bus_speed ;
char name[48U] ;
unsigned short bridge_ctl ;
pci_bus_flags_t bus_flags ;
struct device *bridge ;
struct device dev ;
struct bin_attribute *legacy_io ;
struct bin_attribute *legacy_mem ;
unsigned char is_added : 1 ;
};
struct pci_ops {
int (*read)(struct pci_bus * , unsigned int , int , int , u32 * ) ;
int (*write)(struct pci_bus * , unsigned int , int , int , u32 ) ;
};
struct pci_dynids {
spinlock_t lock ;
struct list_head list ;
};
typedef unsigned int pci_ers_result_t;
struct pci_error_handlers {
pci_ers_result_t (*error_detected)(struct pci_dev * , enum pci_channel_state ) ;
pci_ers_result_t (*mmio_enabled)(struct pci_dev * ) ;
pci_ers_result_t (*link_reset)(struct pci_dev * ) ;
pci_ers_result_t (*slot_reset)(struct pci_dev * ) ;
void (*resume)(struct pci_dev * ) ;
};
struct pci_driver {
struct list_head node ;
char const *name ;
struct pci_device_id const *id_table ;
int (*probe)(struct pci_dev * , struct pci_device_id const * ) ;
void (*remove)(struct pci_dev * ) ;
int (*suspend)(struct pci_dev * , pm_message_t ) ;
int (*suspend_late)(struct pci_dev * , pm_message_t ) ;
int (*resume_early)(struct pci_dev * ) ;
int (*resume)(struct pci_dev * ) ;
void (*shutdown)(struct pci_dev * ) ;
struct pci_error_handlers *err_handler ;
struct device_driver driver ;
struct pci_dynids dynids ;
};
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 ;
};
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 address_space;
struct __anonstruct_ldv_14523_128 {
u16 inuse ;
u16 objects ;
};
union __anonunion_ldv_14524_127 {
atomic_t _mapcount ;
struct __anonstruct_ldv_14523_128 ldv_14523 ;
};
struct __anonstruct_ldv_14529_130 {
unsigned long private ;
struct address_space *mapping ;
};
union __anonunion_ldv_14532_129 {
struct __anonstruct_ldv_14529_130 ldv_14529 ;
struct kmem_cache *slab ;
struct page *first_page ;
};
union __anonunion_ldv_14536_131 {
unsigned long index ;
void *freelist ;
};
struct page {
unsigned long flags ;
atomic_t _count ;
union __anonunion_ldv_14524_127 ldv_14524 ;
union __anonunion_ldv_14532_129 ldv_14532 ;
union __anonunion_ldv_14536_131 ldv_14536 ;
struct list_head lru ;
};
struct __anonstruct_vm_set_133 {
struct list_head list ;
void *parent ;
struct vm_area_struct *head ;
};
union __anonunion_shared_132 {
struct __anonstruct_vm_set_133 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 ;
struct vm_area_struct *vm_prev ;
pgprot_t vm_page_prot ;
unsigned long vm_flags ;
struct rb_node vm_rb ;
union __anonunion_shared_132 shared ;
struct list_head anon_vma_chain ;
struct anon_vma *anon_vma ;
struct vm_operations_struct const *vm_ops ;
unsigned long vm_pgoff ;
struct file *vm_file ;
void *vm_private_data ;
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 mm_rss_stat {
unsigned long count[3U] ;
};
struct linux_binfmt;
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 * , unsigned long , unsigned long ,
unsigned long , unsigned long ) ;
void (*unmap_area)(struct mm_struct * , unsigned long ) ;
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 ;
spinlock_t page_table_lock ;
struct rw_semaphore mmap_sem ;
struct list_head mmlist ;
unsigned long hiwater_rss ;
unsigned long hiwater_vm ;
unsigned long total_vm ;
unsigned long locked_vm ;
unsigned long 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[44U] ;
struct mm_rss_stat rss_stat ;
struct linux_binfmt *binfmt ;
cpumask_t cpu_vm_mask ;
mm_context_t context ;
unsigned int faultstamp ;
unsigned int token_priority ;
unsigned int last_interval ;
atomic_t oom_disable_count ;
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 ;
pgtable_t pmd_huge_pte ;
};
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 * ) ;
void (*close)(struct vm_area_struct * ) ;
int (*fault)(struct vm_area_struct * , struct vm_fault * ) ;
int (*page_mkwrite)(struct vm_area_struct * , struct vm_fault * ) ;
int (*access)(struct vm_area_struct * , unsigned long , void * , int , int ) ;
int (*set_policy)(struct vm_area_struct * , struct mempolicy * ) ;
struct mempolicy *(*get_policy)(struct vm_area_struct * , unsigned long ) ;
int (*migrate)(struct vm_area_struct * , nodemask_t const * , nodemask_t const * ,
unsigned long ) ;
};
struct kmem_cache_cpu {
void **freelist ;
unsigned long tid ;
struct page *page ;
int node ;
unsigned int stat[19U] ;
};
struct kmem_cache_node {
spinlock_t list_lock ;
unsigned long nr_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 {
struct kmem_cache_cpu *cpu_slab ;
unsigned long flags ;
unsigned long min_partial ;
int size ;
int objsize ;
int offset ;
struct kmem_cache_order_objects oo ;
struct kmem_cache_order_objects max ;
struct kmem_cache_order_objects min ;
gfp_t allocflags ;
int refcount ;
void (*ctor)(void * ) ;
int inuse ;
int align ;
int reserved ;
char const *name ;
struct list_head list ;
struct kobject kobj ;
int remote_node_defrag_ratio ;
struct kmem_cache_node *node[1024U] ;
};
struct dma_attrs {
unsigned long flags[1U] ;
};
enum dma_data_direction {
DMA_BIDIRECTIONAL = 0,
DMA_TO_DEVICE = 1,
DMA_FROM_DEVICE = 2,
DMA_NONE = 3
} ;
struct dma_map_ops {
void *(*alloc_coherent)(struct device * , size_t , dma_addr_t * , gfp_t ) ;
void (*free_coherent)(struct device * , size_t , void * , dma_addr_t ) ;
dma_addr_t (*map_page)(struct device * , struct page * , unsigned long , size_t ,
enum dma_data_direction , struct dma_attrs * ) ;
void (*unmap_page)(struct device * , dma_addr_t , size_t , enum dma_data_direction ,
struct dma_attrs * ) ;
int (*map_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
struct dma_attrs * ) ;
void (*unmap_sg)(struct device * , struct scatterlist * , int , enum dma_data_direction ,
struct dma_attrs * ) ;
void (*sync_single_for_cpu)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
void (*sync_single_for_device)(struct device * , dma_addr_t , size_t , enum dma_data_direction ) ;
void (*sync_sg_for_cpu)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
void (*sync_sg_for_device)(struct device * , struct scatterlist * , int , enum dma_data_direction ) ;
int (*mapping_error)(struct device * , dma_addr_t ) ;
int (*dma_supported)(struct device * , u64 ) ;
int (*set_dma_mask)(struct device * , u64 ) ;
int is_phys ;
};
struct exception_table_entry {
unsigned long insn ;
unsigned long fixup ;
};
struct platform_device {
char const *name ;
int id ;
struct device dev ;
u32 num_resources ;
struct resource *resource ;
struct platform_device_id const *id_entry ;
struct pdev_archdata archdata ;
};
struct mfd_cell {
char const *name ;
int id ;
int (*enable)(struct platform_device * ) ;
int (*disable)(struct platform_device * ) ;
int (*suspend)(struct platform_device * ) ;
int (*resume)(struct platform_device * ) ;
void *driver_data ;
void *mfd_data ;
int num_resources ;
struct resource const *resources ;
bool ignore_resource_conflicts ;
bool pm_runtime_no_callbacks ;
};
struct janz_platform_data {
unsigned int modno ;
};
struct janz_cmodio_onboard_regs {
u8 unused1 ;
u8 int_disable ;
u8 unused2 ;
u8 int_enable ;
u8 unused3 ;
u8 reset_assert ;
u8 unused4 ;
u8 reset_deassert ;
u8 unused5 ;
u8 eep ;
u8 unused6 ;
u8 enid ;
};
struct cmodio_device {
struct pci_dev *pdev ;
struct janz_cmodio_onboard_regs *ctrl ;
u8 hex ;
struct mfd_cell cells[4U] ;
struct resource resources[12U] ;
struct janz_platform_data pdata[4U] ;
};
long ldv__builtin_expect(long exp , long c ) ;
extern int snprintf(char * , size_t , char const * , ...) ;
extern int strcmp(char const * , char const * ) ;
extern void iounmap(void volatile * ) ;
extern unsigned int ioread8(void * ) ;
extern void iowrite8(u8 , void * ) ;
extern int sysfs_create_group(struct kobject * , struct attribute_group const * ) ;
extern void sysfs_remove_group(struct kobject * , struct attribute_group const * ) ;
extern struct module __this_module ;
extern void *dev_get_drvdata(struct device const * ) ;
extern void dev_set_drvdata(struct device * , void * ) ;
extern int dev_printk(char const * , struct device const * , char const * , ...) ;
extern int dev_err(struct device const * , char const * , ...) ;
extern int pci_enable_device(struct pci_dev * ) ;
extern void pci_disable_device(struct pci_dev * ) ;
extern void pci_set_master(struct pci_dev * ) ;
extern int pci_request_regions(struct pci_dev * , char const * ) ;
extern void pci_release_regions(struct pci_dev * ) ;
extern int __pci_register_driver(struct pci_driver * , struct module * , char const * ) ;
extern void pci_unregister_driver(struct pci_driver * ) ;
extern void kfree(void const * ) ;
extern void *__kmalloc(size_t , gfp_t ) ;
__inline static void *kmalloc(size_t size , gfp_t flags )
{
void *tmp___2 ;
{
tmp___2 = __kmalloc(size, flags);
return (tmp___2);
}
}
__inline static void *kzalloc(size_t size , gfp_t flags )
{
void *tmp ;
{
tmp = kmalloc(size, flags | 32768U);
return (tmp);
}
}
__inline static void *pci_get_drvdata(struct pci_dev *pdev )
{
void *tmp ;
{
tmp = dev_get_drvdata((struct device const *)(& pdev->dev));
return (tmp);
}
}
__inline static void pci_set_drvdata(struct pci_dev *pdev , void *data )
{
{
dev_set_drvdata(& pdev->dev, data);
return;
}
}
extern void *pci_ioremap_bar(struct pci_dev * , int ) ;
extern int mfd_add_devices(struct device * , int , struct mfd_cell const * , int ,
struct resource * , int ) ;
extern void mfd_remove_devices(struct device * ) ;
static unsigned int num_modules = 4U;
static unsigned char *modules[4U] = { (unsigned char *)"empty", (unsigned char *)"empty", (unsigned char *)"empty", (unsigned char *)"empty"};
static unsigned int cmodio_id ;
static int cmodio_setup_subdevice(struct cmodio_device *priv , char *name , unsigned int devno ,
unsigned int modno )
{
struct janz_platform_data *pdata ;
struct mfd_cell *cell ;
struct resource *res ;
struct pci_dev *pci ;
unsigned int tmp ;
{
pci = priv->pdev;
cell = (struct mfd_cell *)(& priv->cells) + (unsigned long )devno;
res = (struct resource *)(& priv->resources) + (unsigned long )(devno * 3U);
pdata = (struct janz_platform_data *)(& priv->pdata) + (unsigned long )devno;
cell->name = (char const *)name;
cell->resources = (struct resource const *)res;
cell->num_resources = 3;
tmp = cmodio_id;
cmodio_id = cmodio_id + 1U;
cell->id = (int )tmp;
pdata->modno = modno;
cell->mfd_data = (void *)pdata;
res->flags = 512UL;
res->parent = (struct resource *)(& pci->resource) + 3UL;
res->start = pci->resource[3].start + (resource_size_t )(modno * 512U);
res->end = res->start + 511ULL;
res = res + 1;
res->flags = 512UL;
res->parent = (struct resource *)(& pci->resource) + 4UL;
res->start = pci->resource[4].start;
res->end = pci->resource[4].end;
res = res + 1;
res->flags = 1024UL;
res->parent = 0;
res->start = 0ULL;
res->end = 0ULL;
res = res + 1;
return (0);
}
}
static int cmodio_probe_submodules(struct cmodio_device *priv )
{
struct pci_dev *pdev ;
unsigned int num_probed ;
char *name ;
int i ;
int tmp ;
int tmp___0 ;
struct _ddebug descriptor ;
long tmp___1 ;
int tmp___2 ;
{
pdev = priv->pdev;
num_probed = 0U;
i = 0;
goto ldv_20291;
ldv_20290:
name = (char *)modules[i];
tmp = strcmp((char const *)name, "");
if (tmp == 0) {
goto ldv_20287;
} else {
tmp___0 = strcmp((char const *)name, "empty");
if (tmp___0 == 0) {
goto ldv_20287;
} else {
}
}
descriptor.modname = "janz_cmodio";
descriptor.function = "cmodio_probe_submodules";
descriptor.filename = "/work/ldvuser/novikov/work/current--X--drivers/mfd/janz-cmodio.ko--X--defaultlinux--X--08_1a--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/08_1a/drivers/mfd/janz-cmodio.c.prepared";
descriptor.format = "MODULbus %d: name %s\n";
descriptor.lineno = 142U;
descriptor.flags = 0U;
descriptor.enabled = (char)0;
tmp___1 = ldv__builtin_expect((int )((signed char )descriptor.enabled) != 0, 0L);
if (tmp___1 != 0L) {
dev_printk("<7>", (struct device const *)(& (priv->pdev)->dev), "MODULbus %d: name %s\n",
i, name);
} else {
}
cmodio_setup_subdevice(priv, name, num_probed, (unsigned int )i);
num_probed = num_probed + 1U;
ldv_20287:
i = i + 1;
ldv_20291: ;
if ((unsigned int )i < num_modules) {
goto ldv_20290;
} else {
}
if (num_probed == 0U) {
dev_err((struct device const *)(& (priv->pdev)->dev), "no MODULbus modules specified, please set the ``modules\'\' kernel parameter according to your hardware configuration\n");
return (-19);
} else {
}
tmp___2 = mfd_add_devices(& pdev->dev, 0, (struct mfd_cell const *)(& priv->cells),
(int )num_probed, 0, (int )pdev->irq);
return (tmp___2);
}
}
static ssize_t mbus_show(struct device *dev , struct device_attribute *attr , char *buf )
{
struct cmodio_device *priv ;
void *tmp ;
int tmp___0 ;
{
tmp = dev_get_drvdata((struct device const *)dev);
priv = (struct cmodio_device *)tmp;
tmp___0 = snprintf(buf, 4096UL, "%x\n", (int )priv->hex);
return ((ssize_t )tmp___0);
}
}
static struct device_attribute dev_attr_modulbus_number = {{"modulbus_number", 292U, 0, {{{(char)0}, {(char)0}, {(char)0}, {(char)0}, {(char)0},
{(char)0}, {(char)0}, {(char)0}}}}, & mbus_show,
0};
static struct attribute *cmodio_sysfs_attrs[2U] = { & dev_attr_modulbus_number.attr, 0};
static struct attribute_group const cmodio_sysfs_attr_group = {0, 0, (struct attribute **)(& cmodio_sysfs_attrs)};
static int cmodio_pci_probe(struct pci_dev *dev , struct pci_device_id const *id )
{
struct cmodio_device *priv ;
int ret ;
void *tmp ;
void *tmp___0 ;
unsigned int tmp___1 ;
{
tmp = kzalloc(1064UL, 208U);
priv = (struct cmodio_device *)tmp;
if ((unsigned long )priv == (unsigned long )((struct cmodio_device *)0)) {
dev_err((struct device const *)(& dev->dev), "unable to allocate private data\n");
ret = -12;
goto out_return;
} else {
}
pci_set_drvdata(dev, (void *)priv);
priv->pdev = dev;
ret = pci_enable_device(dev);
if (ret != 0) {
dev_err((struct device const *)(& dev->dev), "unable to enable device\n");
goto out_free_priv;
} else {
}
pci_set_master(dev);
ret = pci_request_regions(dev, "janz-cmodio");
if (ret != 0) {
dev_err((struct device const *)(& dev->dev), "unable to request regions\n");
goto out_pci_disable_device;
} else {
}
tmp___0 = pci_ioremap_bar(dev, 4);
priv->ctrl = (struct janz_cmodio_onboard_regs *)tmp___0;
if ((unsigned long )priv->ctrl == (unsigned long )((struct janz_cmodio_onboard_regs *)0)) {
dev_err((struct device const *)(& dev->dev), "unable to remap onboard regs\n");
ret = -12;
goto out_pci_release_regions;
} else {
}
tmp___1 = ioread8((void *)(& (priv->ctrl)->int_enable));
priv->hex = (u8 )tmp___1;
ret = sysfs_create_group(& dev->dev.kobj, & cmodio_sysfs_attr_group);
if (ret != 0) {
dev_err((struct device const *)(& dev->dev), "unable to create sysfs attributes\n");
goto out_unmap_ctrl;
} else {
}
iowrite8(15, (void *)(& (priv->ctrl)->int_disable));
ret = cmodio_probe_submodules(priv);
if (ret != 0) {
dev_err((struct device const *)(& dev->dev), "unable to probe submodules\n");
goto out_sysfs_remove_group;
} else {
}
return (0);
out_sysfs_remove_group:
sysfs_remove_group(& dev->dev.kobj, & cmodio_sysfs_attr_group);
out_unmap_ctrl:
iounmap((void volatile *)priv->ctrl);
out_pci_release_regions:
pci_release_regions(dev);
out_pci_disable_device:
pci_disable_device(dev);
out_free_priv:
kfree((void const *)priv);
out_return: ;
return (ret);
}
}
static void cmodio_pci_remove(struct pci_dev *dev )
{
struct cmodio_device *priv ;
void *tmp ;
{
tmp = pci_get_drvdata(dev);
priv = (struct cmodio_device *)tmp;
mfd_remove_devices(& dev->dev);
sysfs_remove_group(& dev->dev.kobj, & cmodio_sysfs_attr_group);
iounmap((void volatile *)priv->ctrl);
pci_release_regions(dev);
pci_disable_device(dev);
kfree((void const *)priv);
return;
}
}
static struct pci_device_id const cmodio_pci_ids[3U] = { {4277U, 36912U, 5059U, 257U, 0U, 0U, 0UL},
{4277U, 36944U, 5059U, 256U, 0U, 0U, 0UL},
{0U, 0U, 0U, 0U, 0U, 0U, 0UL}};
struct pci_device_id const __mod_pci_device_table ;
static struct pci_driver cmodio_pci_driver =
{{0, 0}, "janz-cmodio", (struct pci_device_id const *)(& cmodio_pci_ids), & cmodio_pci_probe,
& cmodio_pci_remove, 0, 0, 0, 0, 0, 0, {0, 0, 0, 0, (_Bool)0, 0, 0, 0, 0, 0, 0,
0, 0, 0}, {{{{{0U}, 0U, 0U, 0, {0, {0,
0},
0, 0,
0UL}}}},
{0, 0}}};
static int cmodio_init(void)
{
int tmp ;
{
tmp = __pci_register_driver(& cmodio_pci_driver, & __this_module, "janz_cmodio");
return (tmp);
}
}
static void cmodio_exit(void)
{
{
pci_unregister_driver(& cmodio_pci_driver);
return;
}
}
void ldv_check_final_state(void) ;
extern void ldv_check_return_value(int ) ;
extern void ldv_check_return_value_probe(int ) ;
extern void ldv_initialize(void) ;
extern void ldv_handler_precall(void) ;
extern int nondet_int(void) ;
int LDV_IN_INTERRUPT ;
int main(void)
{
struct pci_dev *var_group1 ;
struct pci_device_id const *var_cmodio_pci_probe_3_p1 ;
int res_cmodio_pci_probe_3 ;
int ldv_s_cmodio_pci_driver_pci_driver ;
int tmp ;
int tmp___0 ;
int tmp___1 ;
{
ldv_s_cmodio_pci_driver_pci_driver = 0;
LDV_IN_INTERRUPT = 1;
ldv_initialize();
ldv_handler_precall();
tmp = cmodio_init();
if (tmp != 0) {
goto ldv_final;
} else {
}
goto ldv_20367;
ldv_20366:
tmp___0 = nondet_int();
switch (tmp___0) {
case 0: ;
if (ldv_s_cmodio_pci_driver_pci_driver == 0) {
res_cmodio_pci_probe_3 = cmodio_pci_probe(var_group1, var_cmodio_pci_probe_3_p1);
ldv_check_return_value(res_cmodio_pci_probe_3);
ldv_check_return_value_probe(res_cmodio_pci_probe_3);
if (res_cmodio_pci_probe_3 != 0) {
goto ldv_module_exit;
} else {
}
ldv_s_cmodio_pci_driver_pci_driver = ldv_s_cmodio_pci_driver_pci_driver + 1;
} else {
}
goto ldv_20363;
case 1: ;
if (ldv_s_cmodio_pci_driver_pci_driver == 1) {
ldv_handler_precall();
cmodio_pci_remove(var_group1);
ldv_s_cmodio_pci_driver_pci_driver = 0;
} else {
}
goto ldv_20363;
default: ;
goto ldv_20363;
}
ldv_20363: ;
ldv_20367:
tmp___1 = nondet_int();
if (tmp___1 != 0 || ldv_s_cmodio_pci_driver_pci_driver != 0) {
goto ldv_20366;
} else {
}
ldv_module_exit:
ldv_handler_precall();
cmodio_exit();
ldv_final:
ldv_check_final_state();
return 0;
}
}
__inline static void ldv_error(void)
{
{
LDV_ERROR: {reach_error();abort();}
}
}
extern int ldv_undef_int(void) ;
long ldv__builtin_expect(long exp , long c )
{
{
return (exp);
}
}
int ldv_module_refcounter = 1;
void ldv_module_get(struct module *module )
{
{
if (module) {
ldv_module_refcounter = ldv_module_refcounter + 1;
} else {
}
return;
}
}
int ldv_try_module_get(struct module *module )
{
int module_get_succeeded ;
{
if (module) {
module_get_succeeded = ldv_undef_int();
if (module_get_succeeded == 1) {
ldv_module_refcounter = ldv_module_refcounter + 1;
return (1);
} else {
return (0);
}
} else {
}
return (0);
}
}
void ldv_module_put(struct module *module )
{
{
if (module) {
if (ldv_module_refcounter > 1) {
} else {
ldv_error();
}
ldv_module_refcounter = ldv_module_refcounter - 1;
} else {
}
return;
}
}
void ldv_module_put_and_exit(void)
{
{
ldv_module_put((struct module *)1);
LDV_STOP:
goto LDV_STOP;
}
}
unsigned int ldv_module_refcount(void)
{
{
return (ldv_module_refcounter - 1);
}
}
void ldv_check_final_state(void)
{
{
if (ldv_module_refcounter == 1) {
} else {
ldv_error();
}
return;
}
}