Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/misc/vmw_balloon.c vmballoon_dequeue_page_list() -> balloon_page_list_dequeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b_dev_info | 4096-ptr_max |
| PARAM_VALUE | 1 | pages | 5952589777105801216 |
| PARAM_VALUE | 1 | pages->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pages->prev | 5952589777105801216 |
| CAPPED_DATA | 2 | n_req_pages | 1 |
| DATA_SOURCE | 1 | pages | $1 |
| DATA_SOURCE | 2 | n_req_pages | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &b->conf_sem |
mm/balloon.c balloon_page_dequeue() -> balloon_page_list_dequeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b_dev_info | 4096-ptr_max |
| PARAM_VALUE | 1 | pages | 5052402174294183936 |
| PARAM_VALUE | 1 | pages->next | 5052402174294183936 |
| PARAM_VALUE | 1 | pages->prev | 5052402174294183936 |
| PARAM_VALUE | 2 | n_req_pages | 1 |
| BUF_SIZE | 0 | b_dev_info | 40 |
| DATA_SOURCE | 0 | b_dev_info | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &vb->balloon_lock | ||
| TYPE_LOCK | (struct virtio_balloon)->balloon_lock |