Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virtio/virtio_mem.c virtio_mem_memory_notifier_cb() -> virtio_mem_bbm_notify_cancel_offline()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vm | 4096-ptr_max |
| PARAM_VALUE | 0 | vm->addr | 0-18446744073709547519 |
| PARAM_VALUE | 0 | vm->hotplug_active | 1 |
| PARAM_VALUE | 0 | vm->in_sbm | 0 |
| CAPPED_DATA | 0 | vm->addr | 1 |
| CAPPED_DATA | 1 | bb_id | 1 |
| CAPPED_DATA | 1 | bb_id | 1 |
| DATA_SOURCE | 1 | bb_id | r virtio_mem_phys_to_bb_id |
| NOCHECK_CALL |