Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rtc/rtc-moxart.c moxart_rtc_read_register() -> moxart_rtc_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
PARAM_VALUE 1 data 129,131,133,135,137,139,141
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 data $1
HARD_MAX 1 data 141
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &moxart_rtc->rtc_lock
LOCK2 flags
LOCK2 irq
HALF_LOCKED2 &rtc->ops_lock
TYPE_LOCK (struct moxart_rtc)->rtc_lock

drivers/rtc/rtc-moxart.c moxart_rtc_write_register() -> moxart_rtc_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
PARAM_VALUE 1 data 128,130,132,134,136,140,142
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 data $1
HARD_MAX 1 data 142
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &moxart_rtc->rtc_lock
LOCK2 flags
LOCK2 irq
HALF_LOCKED2 &rtc->ops_lock
TYPE_LOCK (struct moxart_rtc)->rtc_lock

drivers/rtc/rtc-moxart.c moxart_rtc_write_register() -> moxart_rtc_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 data $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 data 0-255[c]
LOCK2 &moxart_rtc->rtc_lock
LOCK2 flags
LOCK2 irq
HALF_LOCKED2 &rtc->ops_lock
TYPE_LOCK (struct moxart_rtc)->rtc_lock