Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_host_get_user_memory() -> qp_release_pages()

Type Parameter Key Value
PARAM_VALUE 1 num_pages 1-2147483646
PARAM_VALUE 2 dirty 0
CAPPED_DATA 1 num_pages 1
DATA_SOURCE 1 num_pages r get_user_pages_fast
NOCHECK_CALL
USER_DATA 1 num_pages 1-2147483646[c]
LOCK2 global &qp_broker_list.mutex
TYPE_LOCK (struct qp_list)->mutex

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_host_get_user_memory() -> qp_release_pages()

Type Parameter Key Value
PARAM_VALUE 1 num_pages 1-2147483646
PARAM_VALUE 2 dirty 0
CAPPED_DATA 1 num_pages 1
DATA_SOURCE 1 num_pages r get_user_pages_fast
NOCHECK_CALL
USER_DATA 1 num_pages 1-2147483646[c]
LOCK2 global &qp_broker_list.mutex
TYPE_LOCK (struct qp_list)->mutex

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_host_get_user_memory() -> qp_release_pages()

Type Parameter Key Value
PARAM_VALUE 1 num_pages 0-s32max,18446744071562067968-u64max
PARAM_VALUE 2 dirty 0
CAPPED_DATA 1 num_pages 1
CAPPED_DATA 1 num_pages 1
NOSPEC 1 num_pages
NOCHECK_CALL
USER_DATA 1 num_pages 1-32769[c]
LOCK2 global &qp_broker_list.mutex
TYPE_LOCK (struct qp_list)->mutex

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_host_unregister_user_memory() -> qp_release_pages()

Type Parameter Key Value
PARAM_VALUE 1 num_pages 0-1152921504606846962,18446744071562067968-u64max
PARAM_VALUE 2 dirty 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &qp_broker_list.mutex
TYPE_LOCK (struct qp_list)->mutex

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_host_unregister_user_memory() -> qp_release_pages()

Type Parameter Key Value
PARAM_VALUE 1 num_pages 0-1152921504606846962,18446744071562067968-u64max
PARAM_VALUE 2 dirty 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &qp_broker_list.mutex
TYPE_LOCK (struct qp_list)->mutex