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--auxdisplay--cfag12864b.ko_005.5a0e3ad.32_7a.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 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 __kernel_mode_t mode_t;
typedef __kernel_clockid_t clockid_t;
typedef __kernel_size_t size_t;
typedef __kernel_ssize_t ssize_t;
typedef unsigned int gfp_t;
struct __anonstruct_atomic_t_6 {
int volatile counter ;
};
typedef struct __anonstruct_atomic_t_6 atomic_t;
struct __anonstruct_atomic64_t_7 {
long volatile counter ;
};
typedef struct __anonstruct_atomic64_t_7 atomic64_t;
struct module;
struct bug_entry {
int bug_addr_disp ;
int file_disp ;
unsigned short line ;
unsigned short flags ;
};
struct pt_regs;
struct task_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 page;
struct arch_spinlock;
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 list_head {
struct list_head *next ;
struct list_head *prev ;
};
struct arch_spinlock {
unsigned int slock ;
};
typedef struct arch_spinlock arch_spinlock_t;
struct lockdep_map;
typedef atomic64_t atomic_long_t;
struct stack_trace {
unsigned int nr_entries ;
unsigned int max_entries ;
unsigned long *entries ;
int skip ;
};
struct lockdep_subclass_key {
char __one_byte ;
} __attribute__((__packed__)) ;
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 ;
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_5574_27 {
u8 __padding[1U] ;
struct lockdep_map dep_map ;
};
union __anonunion_ldv_5575_26 {
struct raw_spinlock rlock ;
struct __anonstruct_ldv_5574_27 ldv_5574 ;
};
struct spinlock {
union __anonunion_ldv_5575_26 ldv_5575 ;
};
typedef struct spinlock spinlock_t;
struct thread_info;
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 timespec;
struct compat_timespec;
struct __anonstruct_ldv_5704_30 {
unsigned long arg0 ;
unsigned long arg1 ;
unsigned long arg2 ;
unsigned long arg3 ;
};
struct __anonstruct_futex_31 {
u32 *uaddr ;
u32 val ;
u32 flags ;
u32 bitset ;
u64 time ;
u32 *uaddr2 ;
};
struct __anonstruct_nanosleep_32 {
clockid_t index ;
struct timespec *rmtp ;
struct compat_timespec *compat_rmtp ;
u64 expires ;
};
struct pollfd;
struct __anonstruct_poll_33 {
struct pollfd *ufds ;
int nfds ;
int has_timeout ;
unsigned long tv_sec ;
unsigned long tv_nsec ;
};
union __anonunion_ldv_5727_29 {
struct __anonstruct_ldv_5704_30 ldv_5704 ;
struct __anonstruct_futex_31 futex ;
struct __anonstruct_nanosleep_32 nanosleep ;
struct __anonstruct_poll_33 poll ;
};
struct restart_block {
long (*fn)(struct restart_block * ) ;
union __anonunion_ldv_5727_29 ldv_5727 ;
};
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 timespec {
__kernel_time_t tv_sec ;
long tv_nsec ;
};
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[16U] ;
int start_pid ;
struct lockdep_map lockdep_map ;
};
struct workqueue_struct;
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 delayed_work {
struct work_struct work ;
struct timer_list timer ;
};
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 lock_class_key *key ;
struct lock_class_key skey ;
};
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_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 kparam_string;
struct kparam_array;
union __anonunion_ldv_10634_110 {
void *arg ;
struct kparam_string const *str ;
struct kparam_array const *arr ;
};
struct kernel_param {
char const *name ;
u16 perm ;
u16 flags ;
int (*set)(char const * , struct kernel_param * ) ;
int (*get)(char * , struct kernel_param * ) ;
union __anonunion_ldv_10634_110 ldv_10634 ;
};
struct kparam_string {
unsigned int maxlen ;
char *string ;
};
struct kparam_array {
unsigned int max ;
unsigned int *num ;
int (*set)(char const * , struct kernel_param * ) ;
int (*get)(char * , struct kernel_param * ) ;
unsigned int elemsize ;
void *elem ;
};
struct tracepoint;
struct tracepoint {
char const *name ;
int state ;
void (*regfunc)(void) ;
void (*unregfunc)(void) ;
void **funcs ;
};
struct kmem_cache_cpu {
void **freelist ;
struct page *page ;
int node ;
unsigned int stat[18U] ;
};
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 ;
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 ;
unsigned long min_partial ;
char const *name ;
struct list_head list ;
struct kobject kobj ;
int remote_node_defrag_ratio ;
struct kmem_cache_node *node[512U] ;
};
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 {
int count ;
};
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 ;
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 ;
char *args ;
struct tracepoint *tracepoints ;
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 ;
struct list_head modules_which_use_me ;
struct task_struct *waiter ;
void (*exit)(void) ;
struct module_ref *refptr ;
ctor_fn_t (**ctors)(void) ;
unsigned int num_ctors ;
};
struct exception_table_entry {
unsigned long insn ;
unsigned long fixup ;
};
void *memcpy(void * , void const * , unsigned long ) ;
long ldv__builtin_expect(long exp , long c ) ;
__inline static void clear_bit(int nr , unsigned long volatile *addr )
{
{
__asm__ volatile (".section .smp_locks,\"a\"\n .balign 8 \n .quad 661f\n.previous\n661:\n\tlock; btr %1,%0": "+m" (*((long volatile *)addr)): "Ir" (nr));
return;
}
}
extern int printk(char const * , ...) ;
extern void *memcpy(void * , void const * , size_t ) ;
extern int memcmp(void const * , void const * , size_t ) ;
__inline static int get_order(unsigned long size )
{
int order ;
{
size = (size - 1UL) >> 11;
order = -1;
ldv_4325:
size = size >> 1;
order = order + 1;
if (size != 0UL) {
goto ldv_4325;
} else {
}
return (order);
}
}
extern int debug_locks ;
extern void lockdep_rcu_dereference(char const * , int const ) ;
extern void mutex_unlock(struct mutex * ) ;
void ldv_mutex_unlock_2(struct mutex *ldv_func_arg1 ) ;
void ldv_mutex_unlock_4(struct mutex *ldv_func_arg1 ) ;
extern void mutex_lock(struct mutex * ) ;
void ldv_mutex_lock_1(struct mutex *ldv_func_arg1 ) ;
void ldv_mutex_lock_3(struct mutex *ldv_func_arg1 ) ;
void ldv_mutex_lock_cfag12864b_mutex(struct mutex *lock ) ;
void ldv_mutex_unlock_cfag12864b_mutex(struct mutex *lock ) ;
extern struct tvec_base boot_tvec_bases ;
extern int del_timer_sync(struct timer_list * ) ;
extern struct workqueue_struct *__create_workqueue_key(char const * , int , int ,
int , struct lock_class_key * ,
char const * ) ;
extern void destroy_workqueue(struct workqueue_struct * ) ;
extern int queue_delayed_work(struct workqueue_struct * , struct delayed_work * ,
unsigned long ) ;
extern void flush_workqueue(struct workqueue_struct * ) ;
__inline static int cancel_delayed_work(struct delayed_work *work )
{
int ret ;
{
ret = del_timer_sync(& work->timer);
if (ret != 0) {
clear_bit(0, (unsigned long volatile *)(& work->work.data));
} else {
}
return (ret);
}
}
extern unsigned long __get_free_pages(gfp_t , unsigned int ) ;
extern unsigned long get_zeroed_page(gfp_t ) ;
extern void free_pages(unsigned long , unsigned int ) ;
extern int rcu_scheduler_active ;
__inline static int debug_lockdep_rcu_enabled(void)
{
long tmp ;
long tmp___0 ;
int tmp___1 ;
{
tmp = ldv__builtin_expect(rcu_scheduler_active != 0, 1L);
if (tmp != 0L) {
tmp___0 = ldv__builtin_expect(debug_locks != 0, 1L);
if (tmp___0 != 0L) {
tmp___1 = 1;
} else {
tmp___1 = 0;
}
} else {
tmp___1 = 0;
}
return (tmp___1);
}
}
__inline static int rcu_read_lock_sched_held(void)
{
{
return (1);
}
}
__inline static void rcu_read_lock_sched_notrace(void)
{
{
return;
}
}
extern void kfree(void const * ) ;
extern struct tracepoint __tracepoint_kmalloc ;
__inline static void trace_kmalloc(unsigned long call_site , void const *ptr , size_t bytes_req ,
size_t bytes_alloc , gfp_t gfp_flags )
{
void **it_func ;
int tmp ;
int tmp___0 ;
void **_________p1 ;
long tmp___1 ;
{
tmp___1 = ldv__builtin_expect(__tracepoint_kmalloc.state != 0, 0L);
if (tmp___1 != 0L) {
rcu_read_lock_sched_notrace();
tmp = debug_lockdep_rcu_enabled();
if (tmp != 0) {
tmp___0 = rcu_read_lock_sched_held();
if (tmp___0 == 0) {
lockdep_rcu_dereference("include/trace/events/kmem.h", 87);
} else {
}
} else {
}
_________p1 = *((void ** volatile *)(& __tracepoint_kmalloc.funcs));
it_func = _________p1;
if ((unsigned long )it_func != (unsigned long )((void **)0)) {
ldv_10974:
(*((void (*)(unsigned long , void const * , size_t , size_t , gfp_t ))*it_func))(call_site,
ptr,
bytes_req,
bytes_alloc,
gfp_flags);
it_func = it_func + 1;
if ((unsigned long )*it_func != (unsigned long )((void *)0)) {
goto ldv_10974;
} else {
}
} else {
}
rcu_read_lock_sched_notrace();
} else {
}
return;
}
}
__inline static void kmemleak_alloc(void const *ptr , size_t size , int min_count ,
gfp_t gfp )
{
{
return;
}
}
extern struct kmem_cache kmalloc_caches[22U] ;
__inline static int kmalloc_index(size_t size )
{
{
if (size == 0UL) {
return (0);
} else {
}
if (size <= 8UL) {
return (3);
} else {
}
if (size > 64UL && size <= 96UL) {
return (1);
} else {
}
if (size > 128UL && size <= 192UL) {
return (2);
} else {
}
if (size <= 8UL) {
return (3);
} else {
}
if (size <= 16UL) {
return (4);
} else {
}
if (size <= 32UL) {
return (5);
} else {
}
if (size <= 64UL) {
return (6);
} else {
}
if (size <= 128UL) {
return (7);
} else {
}
if (size <= 256UL) {
return (8);
} else {
}
if (size <= 512UL) {
return (9);
} else {
}
if (size <= 1024UL) {
return (10);
} else {
}
if (size <= 2048UL) {
return (11);
} else {
}
if (size <= 4096UL) {
return (12);
} else {
}
if (size <= 8192UL) {
return (13);
} else {
}
if (size <= 16384UL) {
return (14);
} else {
}
if (size <= 32768UL) {
return (15);
} else {
}
if (size <= 65536UL) {
return (16);
} else {
}
if (size <= 131072UL) {
return (17);
} else {
}
if (size <= 262144UL) {
return (18);
} else {
}
if (size <= 524288UL) {
return (19);
} else {
}
if (size <= 1048576UL) {
return (20);
} else {
}
if (size <= 2097152UL) {
return (21);
} else {
}
return (-1);
}
}
__inline static struct kmem_cache *kmalloc_slab(size_t size )
{
int index ;
int tmp ;
{
tmp = kmalloc_index(size);
index = tmp;
if (index == 0) {
return (0);
} else {
}
return ((struct kmem_cache *)(& kmalloc_caches) + (unsigned long )index);
}
}
extern void *__kmalloc(size_t , gfp_t ) ;
extern void *kmem_cache_alloc_notrace(struct kmem_cache * , gfp_t ) ;
__inline static void *kmalloc_large(size_t size , gfp_t flags )
{
unsigned int order ;
int tmp ;
void *ret ;
unsigned long tmp___0 ;
{
tmp = get_order(size);
order = (unsigned int )tmp;
tmp___0 = __get_free_pages(flags | 16384U, order);
ret = (void *)tmp___0;
kmemleak_alloc((void const *)ret, size, 1, flags);
trace_kmalloc((unsigned long )((void *)0), (void const *)ret, size, 4096UL << (int )order,
flags);
return (ret);
}
}
__inline static void *kmalloc(size_t size , gfp_t flags )
{
void *ret ;
void *tmp ;
struct kmem_cache *s ;
struct kmem_cache *tmp___0 ;
void *tmp___1 ;
{
if (0) {
if (size > 8192UL) {
tmp = kmalloc_large(size, flags);
return (tmp);
} else {
}
if ((flags & 1U) == 0U) {
tmp___0 = kmalloc_slab(size);
s = tmp___0;
if ((unsigned long )s == (unsigned long )((struct kmem_cache *)0)) {
return (16);
} else {
}
ret = kmem_cache_alloc_notrace(s, flags);
trace_kmalloc((unsigned long )((void *)0), (void const *)ret, size, (size_t )s->size,
flags);
return (ret);
} else {
}
} else {
}
tmp___1 = __kmalloc(size, flags);
return (tmp___1);
}
}
extern void ks0108_writedata(unsigned char ) ;
extern void ks0108_writecontrol(unsigned char ) ;
extern void ks0108_displaystate(unsigned char ) ;
extern void ks0108_startline(unsigned char ) ;
extern void ks0108_address(unsigned char ) ;
extern void ks0108_page(unsigned char ) ;
extern unsigned char ks0108_isinited(void) ;
unsigned char *cfag12864b_buffer ;
unsigned int cfag12864b_getrate(void) ;
unsigned char cfag12864b_enable(void) ;
void cfag12864b_disable(void) ;
unsigned char cfag12864b_isenabled(void) ;
unsigned char cfag12864b_isinited(void) ;
static unsigned int cfag12864b_rate = 20U;
unsigned int cfag12864b_getrate(void)
{
{
return (cfag12864b_rate);
}
}
static unsigned char cfag12864b_state ;
static void cfag12864b_set(void)
{
{
ks0108_writecontrol((int )cfag12864b_state);
return;
}
}
static void cfag12864b_setbit(unsigned char state , unsigned char n )
{
{
if ((unsigned int )state != 0U) {
cfag12864b_state = (unsigned char )((int )((signed char )(1 << (int )n)) | (int )((signed char )cfag12864b_state));
} else {
cfag12864b_state = (unsigned char )(~ ((int )((signed char )(1 << (int )n))) & (int )((signed char )cfag12864b_state));
}
return;
}
}
static void cfag12864b_e(unsigned char state )
{
{
cfag12864b_setbit((int )state, 0);
cfag12864b_set();
return;
}
}
static void cfag12864b_cs1(unsigned char state )
{
{
cfag12864b_setbit((int )state, 2);
return;
}
}
static void cfag12864b_cs2(unsigned char state )
{
{
cfag12864b_setbit((int )state, 1);
return;
}
}
static void cfag12864b_di(unsigned char state )
{
{
cfag12864b_setbit((int )state, 3);
return;
}
}
static void cfag12864b_setcontrollers(unsigned char first , unsigned char second )
{
{
if ((unsigned int )first != 0U) {
cfag12864b_cs1(0);
} else {
cfag12864b_cs1(1);
}
if ((unsigned int )second != 0U) {
cfag12864b_cs2(0);
} else {
cfag12864b_cs2(1);
}
return;
}
}
static void cfag12864b_controller(unsigned char which )
{
{
if ((unsigned int )which == 0U) {
cfag12864b_setcontrollers(1, 0);
} else
if ((unsigned int )which == 1U) {
cfag12864b_setcontrollers(0, 1);
} else {
}
return;
}
}
static void cfag12864b_displaystate(unsigned char state )
{
{
cfag12864b_di(0);
cfag12864b_e(1);
ks0108_displaystate((int )state);
cfag12864b_e(0);
return;
}
}
static void cfag12864b_address(unsigned char address )
{
{
cfag12864b_di(0);
cfag12864b_e(1);
ks0108_address((int )address);
cfag12864b_e(0);
return;
}
}
static void cfag12864b_page(unsigned char page )
{
{
cfag12864b_di(0);
cfag12864b_e(1);
ks0108_page((int )page);
cfag12864b_e(0);
return;
}
}
static void cfag12864b_startline(unsigned char startline )
{
{
cfag12864b_di(0);
cfag12864b_e(1);
ks0108_startline((int )startline);
cfag12864b_e(0);
return;
}
}
static void cfag12864b_writebyte(unsigned char byte )
{
{
cfag12864b_di(1);
cfag12864b_e(1);
ks0108_writedata((int )byte);
cfag12864b_e(0);
return;
}
}
static void cfag12864b_nop(void)
{
{
cfag12864b_startline(0);
return;
}
}
static void cfag12864b_on(void)
{
{
cfag12864b_setcontrollers(1, 1);
cfag12864b_displaystate(1);
return;
}
}
static void cfag12864b_off(void)
{
{
cfag12864b_setcontrollers(1, 1);
cfag12864b_displaystate(0);
return;
}
}
static void cfag12864b_clear(void)
{
unsigned char i ;
unsigned char j ;
{
cfag12864b_setcontrollers(1, 1);
i = 0U;
goto ldv_16348;
ldv_16347:
cfag12864b_page((int )i);
cfag12864b_address(0);
j = 0U;
goto ldv_16345;
ldv_16344:
cfag12864b_writebyte(0);
j = (unsigned char )((int )j + 1);
ldv_16345: ;
if ((unsigned int )j <= 63U) {
goto ldv_16344;
} else {
}
i = (unsigned char )((int )i + 1);
ldv_16348: ;
if ((unsigned int )i <= 7U) {
goto ldv_16347;
} else {
}
return;
}
}
static unsigned char *cfag12864b_cache ;
static struct mutex cfag12864b_mutex = {{1}, {{{{0U}, 3735899821U, 4294967295U, 0xffffffffffffffffUL, {0, 0, "cfag12864b_mutex.wait_lock",
0, 0UL}}}}, {& cfag12864b_mutex.wait_list,
& cfag12864b_mutex.wait_list},
0, 0, (void *)(& cfag12864b_mutex), {0, 0, "cfag12864b_mutex", 0, 0UL}};
static unsigned char cfag12864b_updating ;
static void cfag12864b_update(struct work_struct *work ) ;
static struct workqueue_struct *cfag12864b_workqueue ;
static struct delayed_work cfag12864b_work = {{{2L}, {& cfag12864b_work.work.entry, & cfag12864b_work.work.entry}, & cfag12864b_update,
{(struct lock_class_key *)(& cfag12864b_work.work), 0, "(cfag12864b_work).work",
0, 0UL}}, {{0, 1953723489}, 0UL, 0, 0UL, & boot_tvec_bases, 0, {(char)0, (char)0,
(char)0, (char)0,
(char)0, (char)0,
(char)0, (char)0,
(char)0, (char)0,
(char)0, (char)0,
(char)0, (char)0,
(char)0, (char)0},
0, {(struct lock_class_key *)"/work/ldvuser/novikov/work/current--X--drivers/auxdisplay/cfag12864b.ko--X--defaultlinux--X--32_7a--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/32_7a/drivers/auxdisplay/cfag12864b.c.prepared:243",
0, "/work/ldvuser/novikov/work/current--X--drivers/auxdisplay/cfag12864b.ko--X--defaultlinux--X--32_7a--X--cpachecker/linux/csd_deg_dscv/11/dscv_tempdir/dscv/ri/32_7a/drivers/auxdisplay/cfag12864b.c.prepared:243",
0, 0UL}}};
static void cfag12864b_queue(void)
{
{
queue_delayed_work(cfag12864b_workqueue, & cfag12864b_work, (unsigned long )(250U / cfag12864b_rate));
return;
}
}
unsigned char cfag12864b_enable(void)
{
unsigned char ret ;
{
ldv_mutex_lock_1(& cfag12864b_mutex);
if ((unsigned int )cfag12864b_updating == 0U) {
cfag12864b_updating = 1U;
cfag12864b_queue();
ret = 0U;
} else {
ret = 1U;
}
ldv_mutex_unlock_2(& cfag12864b_mutex);
return (ret);
}
}
void cfag12864b_disable(void)
{
{
ldv_mutex_lock_3(& cfag12864b_mutex);
if ((unsigned int )cfag12864b_updating != 0U) {
cfag12864b_updating = 0U;
cancel_delayed_work(& cfag12864b_work);
flush_workqueue(cfag12864b_workqueue);
} else {
}
ldv_mutex_unlock_4(& cfag12864b_mutex);
return;
}
}
unsigned char cfag12864b_isenabled(void)
{
{
return (cfag12864b_updating);
}
}
static void cfag12864b_update(struct work_struct *work )
{
unsigned char c ;
unsigned short i ;
unsigned short j ;
unsigned short k ;
unsigned short b ;
size_t __len ;
void *__ret ;
int tmp ;
{
tmp = memcmp((void const *)cfag12864b_cache, (void const *)cfag12864b_buffer,
1024UL);
if (tmp != 0) {
i = 0U;
goto ldv_16390;
ldv_16389:
cfag12864b_controller((int )((unsigned char )i));
cfag12864b_nop();
j = 0U;
goto ldv_16387;
ldv_16386:
cfag12864b_page((int )((unsigned char )j));
cfag12864b_nop();
cfag12864b_address(0);
cfag12864b_nop();
k = 0U;
goto ldv_16384;
ldv_16383:
c = 0U;
b = 0U;
goto ldv_16381;
ldv_16380: ;
if (((int )*(cfag12864b_buffer + (unsigned long )((((int )i * 64) / 8 + (int )((unsigned int )k / 8U)) + (((int )j * 8 + (int )b) * 128) / 8)) >> ((int )k & 7)) & 1) {
c = (unsigned char )((int )((signed char )(1 << (int )b)) | (int )((signed char )c));
} else {
}
b = (unsigned short )((int )b + 1);
ldv_16381: ;
if ((unsigned int )b <= 7U) {
goto ldv_16380;
} else {
}
cfag12864b_writebyte((int )c);
k = (unsigned short )((int )k + 1);
ldv_16384: ;
if ((unsigned int )k <= 63U) {
goto ldv_16383;
} else {
}
j = (unsigned short )((int )j + 1);
ldv_16387: ;
if ((unsigned int )j <= 7U) {
goto ldv_16386;
} else {
}
i = (unsigned short )((int )i + 1);
ldv_16390: ;
if ((unsigned int )i <= 1U) {
goto ldv_16389;
} else {
}
__len = 1024UL;
if (__len > 63UL) {
__ret = memcpy((void *)cfag12864b_cache, (void const *)cfag12864b_buffer,
__len);
} else {
__ret = memcpy((void *)cfag12864b_cache, (void const *)cfag12864b_buffer,
__len);
}
} else {
}
if ((unsigned int )cfag12864b_updating != 0U) {
cfag12864b_queue();
} else {
}
return;
}
}
static unsigned char cfag12864b_inited ;
unsigned char cfag12864b_isinited(void)
{
{
return (cfag12864b_inited);
}
}
static int cfag12864b_init(void)
{
int ret ;
unsigned char tmp ;
unsigned long tmp___0 ;
void *tmp___1 ;
struct lock_class_key __key ;
char const *__lock_name ;
struct workqueue_struct *tmp___2 ;
{
ret = -22;
tmp = ks0108_isinited();
if ((unsigned int )tmp == 0U) {
printk("<3>cfag12864b: ERROR: ks0108 is not initialized\n");
goto none;
} else {
}
tmp___0 = get_zeroed_page(208U);
cfag12864b_buffer = (unsigned char *)tmp___0;
if ((unsigned long )cfag12864b_buffer == (unsigned long )((unsigned char *)0)) {
printk("<3>cfag12864b: ERROR: can\'t get a free page\n");
ret = -12;
goto none;
} else {
}
tmp___1 = kmalloc(1024UL, 208U);
cfag12864b_cache = (unsigned char *)tmp___1;
if ((unsigned long )cfag12864b_cache == (unsigned long )((unsigned char *)0)) {
printk("<3>cfag12864b: ERROR: can\'t alloc cache buffer (%i bytes)\n", 1024);
ret = -12;
goto bufferalloced;
} else {
}
__lock_name = "cfag12864b";
tmp___2 = __create_workqueue_key("cfag12864b", 1, 0, 0, & __key, __lock_name);
cfag12864b_workqueue = tmp___2;
if ((unsigned long )cfag12864b_workqueue == (unsigned long )((struct workqueue_struct *)0)) {
goto cachealloced;
} else {
}
cfag12864b_clear();
cfag12864b_on();
cfag12864b_inited = 1U;
return (0);
cachealloced:
kfree((void const *)cfag12864b_cache);
bufferalloced:
free_pages((unsigned long )cfag12864b_buffer, 0U);
none: ;
return (ret);
}
}
static void cfag12864b_exit(void)
{
{
cfag12864b_disable();
cfag12864b_off();
destroy_workqueue(cfag12864b_workqueue);
kfree((void const *)cfag12864b_cache);
free_pages((unsigned long )cfag12864b_buffer, 0U);
return;
}
}
void ldv_check_final_state(void) ;
void ldv_initialize(void) ;
extern void ldv_handler_precall(void) ;
extern int nondet_int(void) ;
int LDV_IN_INTERRUPT ;
int main(void)
{
int tmp ;
int tmp___0 ;
int tmp___1 ;
{
LDV_IN_INTERRUPT = 1;
ldv_initialize();
ldv_handler_precall();
tmp = cfag12864b_init();
if (tmp != 0) {
goto ldv_final;
} else {
}
goto ldv_16475;
ldv_16474:
tmp___0 = nondet_int();
switch (tmp___0) {
default: ;
goto ldv_16473;
}
ldv_16473: ;
ldv_16475:
tmp___1 = nondet_int();
if (tmp___1 != 0) {
goto ldv_16474;
} else {
}
ldv_handler_precall();
cfag12864b_exit();
ldv_final:
ldv_check_final_state();
return 0;
}
}
void ldv_mutex_lock_1(struct mutex *ldv_func_arg1 )
{
{
ldv_mutex_lock_cfag12864b_mutex(ldv_func_arg1);
mutex_lock(ldv_func_arg1);
return;
}
}
void ldv_mutex_unlock_2(struct mutex *ldv_func_arg1 )
{
{
ldv_mutex_unlock_cfag12864b_mutex(ldv_func_arg1);
mutex_unlock(ldv_func_arg1);
return;
}
}
void ldv_mutex_lock_3(struct mutex *ldv_func_arg1 )
{
{
ldv_mutex_lock_cfag12864b_mutex(ldv_func_arg1);
mutex_lock(ldv_func_arg1);
return;
}
}
void ldv_mutex_unlock_4(struct mutex *ldv_func_arg1 )
{
{
ldv_mutex_unlock_cfag12864b_mutex(ldv_func_arg1);
mutex_unlock(ldv_func_arg1);
return;
}
}
__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);
}
}
static int ldv_mutex_cfag12864b_mutex ;
int ldv_mutex_lock_interruptible_cfag12864b_mutex(struct mutex *lock )
{
int nondetermined ;
{
if (ldv_mutex_cfag12864b_mutex == 1) {
} else {
ldv_error();
}
nondetermined = ldv_undef_int();
if (nondetermined) {
ldv_mutex_cfag12864b_mutex = 2;
return (0);
} else {
return (-4);
}
}
}
int ldv_mutex_lock_killable_cfag12864b_mutex(struct mutex *lock )
{
int nondetermined ;
{
if (ldv_mutex_cfag12864b_mutex == 1) {
} else {
ldv_error();
}
nondetermined = ldv_undef_int();
if (nondetermined) {
ldv_mutex_cfag12864b_mutex = 2;
return (0);
} else {
return (-4);
}
}
}
void ldv_mutex_lock_cfag12864b_mutex(struct mutex *lock )
{
{
if (ldv_mutex_cfag12864b_mutex == 1) {
} else {
ldv_error();
}
ldv_mutex_cfag12864b_mutex = 2;
return;
}
}
int ldv_mutex_trylock_cfag12864b_mutex(struct mutex *lock )
{
int is_mutex_held_by_another_thread ;
{
if (ldv_mutex_cfag12864b_mutex == 1) {
} else {
ldv_error();
}
is_mutex_held_by_another_thread = ldv_undef_int();
if (is_mutex_held_by_another_thread) {
return (0);
} else {
ldv_mutex_cfag12864b_mutex = 2;
return (1);
}
}
}
int ldv_atomic_dec_and_mutex_lock_cfag12864b_mutex(atomic_t *cnt , struct mutex *lock )
{
int atomic_value_after_dec ;
{
if (ldv_mutex_cfag12864b_mutex == 1) {
} else {
ldv_error();
}
atomic_value_after_dec = ldv_undef_int();
if (atomic_value_after_dec == 0) {
ldv_mutex_cfag12864b_mutex = 2;
return (1);
} else {
}
return (0);
}
}
int ldv_mutex_is_locked_cfag12864b_mutex(struct mutex *lock )
{
int nondetermined ;
{
if (ldv_mutex_cfag12864b_mutex == 1) {
nondetermined = ldv_undef_int();
if (nondetermined) {
return (0);
} else {
return (1);
}
} else {
return (1);
}
}
}
void ldv_mutex_unlock_cfag12864b_mutex(struct mutex *lock )
{
{
if (ldv_mutex_cfag12864b_mutex == 2) {
} else {
ldv_error();
}
ldv_mutex_cfag12864b_mutex = 1;
return;
}
}
void ldv_initialize(void)
{
{
ldv_mutex_cfag12864b_mutex = 1;
return;
}
}
void ldv_check_final_state(void)
{
{
if (ldv_mutex_cfag12864b_mutex == 1) {
} else {
ldv_error();
}
return;
}
}