Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rtc/rtc-ds2404.c ds2404_read_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
PARAM_VALUE 1 byte 240
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte
HALF_LOCKED2 &rtc->ops_lock

drivers/rtc/rtc-ds2404.c ds2404_read_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
PARAM_VALUE 1 byte 3
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte
HALF_LOCKED2 &rtc->ops_lock

drivers/rtc/rtc-ds2404.c ds2404_read_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
PARAM_VALUE 1 byte 2
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte
HALF_LOCKED2 &rtc->ops_lock

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
PARAM_VALUE 1 byte 15
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
PARAM_VALUE 1 byte 1,3
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
BIT_INFO 1 byte 0x0,0xff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
PARAM_VALUE 1 byte 2
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
PARAM_VALUE 1 byte 170
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
PARAM_VALUE 1 byte 85
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 byte r ds2404_read_byte
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 byte r ds2404_read_byte
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte

drivers/rtc/rtc-ds2404.c ds2404_write_memory() -> ds2404_write_byte()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->clk_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod 0,4096-u64max
PARAM_VALUE 0 chip->dq_gpiod->debounce_period_us 0-4294967295
PARAM_VALUE 0 chip->dq_gpiod->gdev->line_state_notifier.head->priority s32min-s32max
PARAM_VALUE 0 chip->rst_gpiod 0,4096-u64max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip s32min-(-2),1-s32max
BUF_SIZE 0 chip->dev (-1),1616
DATA_SOURCE 0 chip $0
DATA_SOURCE 1 byte r ds2404_read_byte
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 chip unit_byte