Defined in 1 files as a function:
Referenced in 3 files:
- arch/powerpc/platforms/pseries/cmm.c, line 542
- drivers/misc/vmw_balloon.c, line 1829
- drivers/virtio/virtio_balloon.c, line 960
Smatch caller information:
drivers/misc/vmw_balloon.c vmballoon_init() -> balloon_devinfo_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | balloon | 6089539403516022864 |
| NOCHECK_CALL |
drivers/virtio/virtio_balloon.c virtballoon_probe() -> balloon_devinfo_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | balloon | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |