Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rtc/rtc-ma35d1.c ma35d1_alarm_irq_enable() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 offset 40
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
BIT_INFO 2 value 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
UNITS 0 p unit_byte
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock

drivers/rtc/rtc-ma35d1.c ma35d1_alarm_irq_enable() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 offset 40
PARAM_VALUE 2 value 0,2-4294967294
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
BIT_INFO 2 value 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0,2-4294967294
UNITS 0 p unit_byte
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock

drivers/rtc/rtc-ma35d1.c ma35d1_rtc_init() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->rtc_reg 4096-ptr_max
PARAM_VALUE 1 offset 0
PARAM_VALUE 2 value 2783646551
BUF_SIZE 0 p 24
DATA_SOURCE 0 p $0
MEM_ZERO 0 p
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/rtc/rtc-ma35d1.c ma35d1_rtc_interrupt() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 offset 44
PARAM_VALUE 2 value 1
DATA_SOURCE 0 p $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/rtc/rtc-ma35d1.c ma35d1_rtc_set_alarm() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 32
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
BIT_INFO 2 value 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock

drivers/rtc/rtc-ma35d1.c ma35d1_rtc_set_alarm() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 offset 28
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
BIT_INFO 2 value 0x0,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
LOCK2 &rtc->ops_lock
TYPE_LOCK (struct rtc_device)->ops_lock

drivers/rtc/rtc-ma35d1.c ma35d1_rtc_set_time() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 1 offset 16
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
HALF_LOCKED2 &rtc->ops_lock

drivers/rtc/rtc-ma35d1.c ma35d1_rtc_set_time() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 offset 12
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
HALF_LOCKED2 &rtc->ops_lock

drivers/rtc/rtc-ma35d1.c ma35d1_rtc_set_time() -> rtc_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 offset 24
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 value 0-u32max
UNITS 0 p unit_byte
HALF_LOCKED2 &rtc->ops_lock