005feccf62
Let's trace the address and the id of a memory device when pre_plugging/plugging/unplugging succeeded. Trace it when pre_plugging as well as when plugging, so we really know when a specific address is actually used. Reviewed-by: David Gibson <david@gibson.dropbear.id.au> Reviewed-by: Igor Mammedov <imammedo@redhat.com> Signed-off-by: David Hildenbrand <david@redhat.com> Message-Id: <20181005092024.14344-17-david@redhat.com> Signed-off-by: Eduardo Habkost <ehabkost@redhat.com>
9 lines
366 B
Plaintext
9 lines
366 B
Plaintext
# See docs/devel/tracing.txt for syntax documentation.
|
|
|
|
# hw/mem/pc-dimm.c
|
|
mhp_pc_dimm_assigned_slot(int slot) "%d"
|
|
# hw/mem/memory-device.c
|
|
memory_device_pre_plug(const char *id, uint64_t addr) "id=%s addr=0x%"PRIx64
|
|
memory_device_plug(const char *id, uint64_t addr) "id=%s addr=0x%"PRIx64
|
|
memory_device_unplug(const char *id, uint64_t addr) "id=%s addr=0x%"PRIx64
|