Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/hv/hv_balloon.c balloon_up() -> post_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dm | 1643056732995350528 |
| PARAM_VALUE | 0 | dm->balloon_wrk.num_pages | 0-s32max |
| PARAM_VALUE | 0 | dm->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dm->state | 0-1,5 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/hv/hv_balloon.c dm_thread_func() -> post_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | dm | 128 |
| BUF_SIZE | 0 | dm | 128 |
| DATA_SOURCE | 0 | dm | $0 |
| NOCHECK_CALL |
drivers/hv/hv_balloon.c hv_mem_hot_add() -> post_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dm | 1643056732995350528 |
| PARAM_VALUE | 0 | dm->ol_waitevent.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | dm->ol_waitevent.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | dm->ol_waitevent.wait.lock.owner_cpu | u32max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |