Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/iio/adc/men_z188_adc.c men_z188_probe() -> mcb_release_mem()

Type Parameter Key Value
PARAM_VALUE 0 mem 4096-ptr_max
PARAM_VALUE 0 mem->parent 4096-ptr_max
PARAM_VALUE 0 mem->parent->child 4096-ptr_max
PARAM_VALUE 0 mem->sibling 0,4096-ptr_max
PARAM_VALUE 0 mem->sibling->start 1-u64max
BUF_SIZE 0 mem 64
DATA_SOURCE 0 mem r mcb_request_mem
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iio/adc/men_z188_adc.c men_z188_remove() -> mcb_release_mem()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/tty/serial/men_z135_uart.c men_z135_release_port() -> mcb_release_mem()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/tty/serial/men_z135_uart.c men_z135_request_port() -> mcb_release_mem()

Type Parameter Key Value
PARAM_VALUE 0 mem 4096-ptr_max
PARAM_VALUE 0 mem->parent 4096-ptr_max
PARAM_VALUE 0 mem->parent->child 4096-ptr_max
PARAM_VALUE 0 mem->sibling 0,4096-ptr_max
PARAM_VALUE 0 mem->sibling->start 1-u64max
BUF_SIZE 0 mem 64
DATA_SOURCE 0 mem r mcb_request_mem
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

drivers/gpio/gpio-menz127.c men_z127_release_mem() -> mcb_release_mem()

Type Parameter Key Value
DATA_SOURCE 0 mem $0
NOCHECK_CALL

drivers/watchdog/menz69_wdt.c men_z069_probe() -> mcb_release_mem()

Type Parameter Key Value
PARAM_VALUE 0 mem 4096-ptr_max
PARAM_VALUE 0 mem->parent 4096-ptr_max
PARAM_VALUE 0 mem->parent->child 4096-ptr_max
PARAM_VALUE 0 mem->sibling 0,4096-ptr_max
PARAM_VALUE 0 mem->sibling->start 1-u64max
BUF_SIZE 0 mem 64
DATA_SOURCE 0 mem r mcb_request_mem
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/menz69_wdt.c men_z069_remove() -> mcb_release_mem()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex