Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/xilinx/xilinx_emaclite.c xemaclite_send_data() -> xemaclite_aligned_write()

Type Parameter Key Value
PARAM_VALUE 1 dest_ptr 4096-ptr_max
PARAM_VALUE 2 length 0-1514
BUF_SIZE 0 src_ptr 1-s32max
DATA_SOURCE 0 src_ptr $1
DATA_SOURCE 2 length $2 [m]
FUZZY_MAX 2 length 1514
HARD_MAX 2 length 1514
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 length 0-1514[c]
NO_OVERFLOW_SIMPLE 2 length
UNITS 0 src_ptr unit_byte
UNITS 2 length unit_byte
USER_PTR 0 src_ptr
HALF_LOCKED2 &drvdata->reset_lock
HALF_LOCKED2 flags

drivers/net/ethernet/xilinx/xilinx_emaclite.c xemaclite_update_address() -> xemaclite_aligned_write()

Type Parameter Key Value
PARAM_VALUE 1 dest_ptr 4096-ptr_max
PARAM_VALUE 2 length 6
BUF_SIZE 0 src_ptr 32
DATA_SOURCE 0 src_ptr $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL