Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_balloon.c vmballoon_deflate() -> vmballoon_dequeue_page_list()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->conf_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 b->conf_sem.first_waiter->type 0-1
PARAM_VALUE 0 b->conf_sem.wait_lock.owner_cpu (-1)-s32max
PARAM_VALUE 1 pages 5952589777105801216
PARAM_VALUE 1 pages->next 4096-ptr_max
PARAM_VALUE 1 pages->prev 5952589777105801216
PARAM_VALUE 2 n_pages 5952589777105801268
PARAM_VALUE 2 *n_pages 0
BUF_SIZE 0 b (-1),640
BUF_SIZE 0 b (-1),640
CAPPED_DATA 4 n_req_pages 1
DATA_SOURCE 0 b $0
PARAM_COMPARE 0 b->max_page_size >= $3
PARAM_COMPARE 3 page_size <= $0->max_page_size
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &b->conf_sem