Defined in 2 files as a function:
- drivers/misc/vmw_balloon.c, line 1701 (as a function)
- drivers/misc/vmw_balloon.c, line 1715 (as a function)
Referenced in 1 files:
Smatch caller information:
drivers/misc/vmw_balloon.c vmballoon_exit() -> vmballoon_debugfs_exit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | b | 6089539403516022784 |
| PARAM_VALUE | 0 | b->shrinker | 0 |
| PARAM_VALUE | 0 | b->vmci_doorbell.context | 0-s32max |
| PARAM_VALUE | 0 | b->vmci_doorbell.resource | 0-s32max |
| NOCHECK_CALL |