Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/8250/8250_men_mcb.c init_serial_data() -> read_serial_data()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 mdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mdev->dev.parent 4096-ptr_max
PARAM_VALUE 0 mdev->dev.parent->driver 4096-ptr_max
PARAM_VALUE 0 mdev->dev.parent->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 mdev->dev.parent->driver->owner->state 0-1,3-u32max
PARAM_VALUE 0 mdev->id 25,57
PARAM_VALUE 1 mem_res 4096-ptr_max
PARAM_VALUE 2 serial_data 1-u64max
BUF_SIZE 1 mem_res 64
BUF_SIZE 2 serial_data 36
CAPPED_DATA 0 mdev->id 1
DATA_SOURCE 0 mdev $0
DATA_SOURCE 1 mem_res $1
DATA_SOURCE 2 serial_data $2
MEM_ZERO 2 serial_data
RX_PATH
TASK_NOT_RUNNING