Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/genwqe/card_dev.c ddcb_cmd_cleanup() -> genwqe_user_vunmap()

Type Parameter Key Value
PARAM_VALUE 0 cd 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->size 1-u32max
NOCHECK_CALL

drivers/misc/genwqe/card_dev.c genwqe_remove_mappings() -> genwqe_user_vunmap()

Type Parameter Key Value
PARAM_VALUE 0 cd 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 1 m->type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 *m->k_vaddr

drivers/misc/genwqe/card_dev.c genwqe_remove_pinnings() -> genwqe_user_vunmap()

Type Parameter Key Value
PARAM_VALUE 0 cd 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/genwqe/card_dev.c genwqe_unpin_mem() -> genwqe_user_vunmap()

Type Parameter Key Value
PARAM_VALUE 0 cd 4096-ptr_max
PARAM_VALUE 1 m 4096-ptr_max
CAPPED_DATA 1 m->u_vaddr 1
DATA_SOURCE 1 m r genwqe_search_pin
NOCHECK_CALL