Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/dsa/hirschmann/hellcreek_hwtstamp.c hellcreek_hwtstamp_setup() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->ptp_base 4096-ptr_max
PARAM_VALUE 1 data 784
PARAM_VALUE 2 offset 18
BUF_SIZE 0 hellcreek->dev 1616
BUF_SIZE 0 hellcreek->ds 144
BUF_SIZE 0 hellcreek->ds->dev 1616
BUF_SIZE 0 hellcreek->ds->ops 952
BUF_SIZE 0 hellcreek->vidmbrcfg 4096
CAPPED_DATA 0 hellcreek->ds 1
CAPPED_DATA 0 hellcreek->ds->num_ports 1
CAPPED_DATA 0 hellcreek->pdata->module_id 1
CAPPED_DATA 0 hellcreek->pdata->num_ports 1
DATA_SOURCE 0 hellcreek $0
MEM_ZERO 0 hellcreek
MEM_ZERO 0 hellcreek->ds
MEM_ZERO 0 hellcreek->vidmbrcfg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hellcreek->ds->num_ports
NO_OVERFLOW_SIMPLE 0 hellcreek->pdata->num_ports

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjfine() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 0,32768
PARAM_VALUE 2 offset 32
CAPPED_DATA 0 &hellcreek->ptp_lock 1
BIT_INFO 1 data 0x0,0x8000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjfine() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 0
PARAM_VALUE 2 offset 32
CAPPED_DATA 0 &hellcreek->ptp_lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjfine() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 0
PARAM_VALUE 2 offset 32
CAPPED_DATA 0 &hellcreek->ptp_lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjfine() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 2 offset 32
CAPPED_DATA 0 &hellcreek->ptp_lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjfine() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 2 offset 32
CAPPED_DATA 0 &hellcreek->ptp_lock 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjtime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 0,32768
PARAM_VALUE 2 offset 30
CAPPED_DATA 0 &hellcreek->ptp_lock 1
BIT_INFO 1 data 0x0,0x8000
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjtime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 7
PARAM_VALUE 2 offset 30
CAPPED_DATA 0 &hellcreek->ptp_lock 1
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjtime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 0
PARAM_VALUE 2 offset 30
CAPPED_DATA 0 &hellcreek->ptp_lock 1
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjtime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 2 offset 30
CAPPED_DATA 0 &hellcreek->ptp_lock 1
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_adjtime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 2 offset 30
CAPPED_DATA 0 &hellcreek->ptp_lock 1
NOCHECK_CALL
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_clock_read() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 1
PARAM_VALUE 2 offset 20
DATA_SOURCE 0 hellcreek $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 hellcreek->last_ts 0-u32max[c]
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_settime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 0
PARAM_VALUE 2 offset 28
CAPPED_DATA 0 &hellcreek->ptp_lock 1
BIT_INFO 0 hellcreek->last_ts 0x0,0x7fffffffffffffff
BIT_INFO 0 hellcreek->seconds 0x0,0x7fffffffffffffff
NOCHECK_CALL
USER_DATA 0 hellcreek->last_ts 0-999999999
USER_DATA 0 hellcreek->seconds 0-8277292035
NO_OVERFLOW_SIMPLE 0 hellcreek->seconds
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_settime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 1 data 0
PARAM_VALUE 2 offset 28
CAPPED_DATA 0 &hellcreek->ptp_lock 1
BIT_INFO 0 hellcreek->last_ts 0x0,0x7fffffffffffffff
BIT_INFO 0 hellcreek->seconds 0x0,0x7fffffffffffffff
NOCHECK_CALL
USER_DATA 0 hellcreek->last_ts 0-999999999
USER_DATA 0 hellcreek->seconds 0-8277292035
NO_OVERFLOW_SIMPLE 0 hellcreek->seconds
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_settime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 2 offset 28
CAPPED_DATA 0 &hellcreek->ptp_lock 1
BIT_INFO 0 hellcreek->last_ts 0x0,0x7fffffffffffffff
BIT_INFO 0 hellcreek->seconds 0x0,0x7fffffffffffffff
NOCHECK_CALL
USER_DATA 0 hellcreek->last_ts 0-999999999
USER_DATA 0 hellcreek->seconds 0-8277292035
USER_DATA 1 data 0-29699[c]
NO_OVERFLOW_SIMPLE 0 hellcreek->seconds
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_settime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 2 offset 28
CAPPED_DATA 0 &hellcreek->ptp_lock 1
BIT_INFO 0 hellcreek->last_ts 0x0,0x7fffffffffffffff
BIT_INFO 0 hellcreek->seconds 0x0,0x7fffffffffffffff
NOCHECK_CALL
USER_DATA 0 hellcreek->last_ts 0-999999999
USER_DATA 0 hellcreek->seconds 0-8277292035
USER_DATA 1 data 0-15258[c]
NO_OVERFLOW_SIMPLE 0 hellcreek->seconds
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_settime() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 2 offset 28
CAPPED_DATA 0 &hellcreek->ptp_lock 1
BIT_INFO 0 hellcreek->last_ts 0x0,0x7fffffffffffffff
BIT_INFO 0 hellcreek->seconds 0x0,0x7fffffffffffffff
NOCHECK_CALL
USER_DATA 0 hellcreek->last_ts 0-999999999
USER_DATA 0 hellcreek->seconds 0-8277292035
USER_DATA 1 data 0-51711[c]
NO_OVERFLOW_SIMPLE 0 hellcreek->seconds
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_setup() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->ptp_base 4096-ptr_max
PARAM_VALUE 2 offset 24
BUF_SIZE 0 hellcreek->dev 1616
BUF_SIZE 0 hellcreek->ds 144
BUF_SIZE 0 hellcreek->ds->dev 1616
BUF_SIZE 0 hellcreek->ds->ops 952
BUF_SIZE 0 hellcreek->ptp_clock 2928
BUF_SIZE 0 hellcreek->vidmbrcfg 4096
CAPPED_DATA 0 hellcreek->ds 1
CAPPED_DATA 0 hellcreek->ds->num_ports 1
CAPPED_DATA 0 hellcreek->pdata->module_id 1
CAPPED_DATA 0 hellcreek->pdata->num_ports 1
CAPPED_DATA 0 hellcreek->ptp_clock 1
CAPPED_DATA 0 hellcreek->ptp_clock->debugfs_root 1
CAPPED_DATA 0 hellcreek->ptp_clock->info->n_pins 1
DATA_SOURCE 0 hellcreek $0
STR_LEN 0 hellcreek->ptp_clock_info.name 31
BIT_INFO 1 data 0x4000,0xdfff
MEM_ZERO 0 hellcreek
MEM_ZERO 0 hellcreek->ds
MEM_ZERO 0 hellcreek->vidmbrcfg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 0-u16max
NO_OVERFLOW_SIMPLE 0 hellcreek->ds->num_ports
NO_OVERFLOW_SIMPLE 0 hellcreek->pdata->num_ports
NO_OVERFLOW_SIMPLE 0 hellcreek->ptp_clock->clock.cdev.count
NO_OVERFLOW_SIMPLE 0 hellcreek->ptp_clock->info->n_pins
NO_OVERFLOW_SIMPLE 0 hellcreek->ptp_clock_info.name

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_ptp_setup() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 0 hellcreek->ptp_base 4096-ptr_max
PARAM_VALUE 2 offset 24
BUF_SIZE 0 hellcreek->dev 1616
BUF_SIZE 0 hellcreek->ds 144
BUF_SIZE 0 hellcreek->ds->dev 1616
BUF_SIZE 0 hellcreek->ds->ops 952
BUF_SIZE 0 hellcreek->ptp_clock 2928
BUF_SIZE 0 hellcreek->vidmbrcfg 4096
CAPPED_DATA 0 hellcreek->ds 1
CAPPED_DATA 0 hellcreek->ds->num_ports 1
CAPPED_DATA 0 hellcreek->pdata->module_id 1
CAPPED_DATA 0 hellcreek->pdata->num_ports 1
CAPPED_DATA 0 hellcreek->ptp_clock 1
CAPPED_DATA 0 hellcreek->ptp_clock->debugfs_root 1
CAPPED_DATA 0 hellcreek->ptp_clock->info->n_pins 1
DATA_SOURCE 0 hellcreek $0
STR_LEN 0 hellcreek->ptp_clock_info.name 31
BIT_INFO 1 data 0x1000,0xffff
MEM_ZERO 0 hellcreek
MEM_ZERO 0 hellcreek->ds
MEM_ZERO 0 hellcreek->vidmbrcfg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 0-u16max
NO_OVERFLOW_SIMPLE 0 hellcreek->ds->num_ports
NO_OVERFLOW_SIMPLE 0 hellcreek->pdata->num_ports
NO_OVERFLOW_SIMPLE 0 hellcreek->ptp_clock->clock.cdev.count
NO_OVERFLOW_SIMPLE 0 hellcreek->ptp_clock->info->n_pins
NO_OVERFLOW_SIMPLE 0 hellcreek->ptp_clock_info.name

drivers/net/dsa/hirschmann/hellcreek_ptp.c hellcreek_set_brightness() -> hellcreek_ptp_write()

Type Parameter Key Value
PARAM_VALUE 0 hellcreek 4096-ptr_max
PARAM_VALUE 2 offset 192
BUF_SIZE 0 hellcreek->dev (-1),1616
BUF_SIZE 0 hellcreek->ds (-1),144
BUF_SIZE 0 hellcreek->ds->dev (-1),1616
BUF_SIZE 0 hellcreek->ds->ops (-1),952
BUF_SIZE 0 hellcreek->led_is_gm.name (-1),6
BUF_SIZE 0 hellcreek->led_sync_good.name (-1),10
BUF_SIZE 0 hellcreek->ptp_clock (-1),2928
BUF_SIZE 0 hellcreek->vidmbrcfg (-1),4096
CAPPED_DATA 0 &hellcreek->ptp_lock 1
DATA_SOURCE 0 hellcreek $0
STR_LEN 0 hellcreek->led_is_gm.name (-1),5
STR_LEN 0 hellcreek->led_sync_good.name (-1),9
STR_LEN 0 hellcreek->ptp_clock_info.name (-1),31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hellcreek->ds->num_ports
NO_OVERFLOW_SIMPLE 0 hellcreek->pdata->num_ports
NO_OVERFLOW_SIMPLE 0 hellcreek->ptp_clock->clock.cdev.count
NO_OVERFLOW_SIMPLE 0 hellcreek->ptp_clock->info->n_pins
LOCK2 0 &hellcreek->ptp_lock
TYPE_LOCK (struct hellcreek)->ptp_lock