Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/vmw_balloon.c vmballoon_inflate() -> vmballoon_split_refused_pages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctl | 4356027141682032640 |
| PARAM_VALUE | 0 | ctl->n_pages | 0 |
| PARAM_VALUE | 0 | ctl->op | 0 |
| PARAM_VALUE | 0 | ctl->page_size | 1-u32max |
| PARAM_VALUE | 0 | ctl->prealloc_pages.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctl->prealloc_pages.prev | 4356027141682032672 |
| PARAM_VALUE | 0 | ctl->refused_pages.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ctl->refused_pages.prev | 4356027141682032656 |
| NOCHECK_CALL | |||
| LOCK2 | &b->conf_sem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vmballoon)->conf_sem |