diff options
| author | Peter Xu <peterx@redhat.com> | 2018-05-18 15:25:15 +0800 |
|---|---|---|
| committer | Michael S. Tsirkin <mst@redhat.com> | 2018-05-23 17:33:58 +0300 |
| commit | d118c06ebbee2d23ddf873cae4a809311aa61310 (patch) | |
| tree | fa1f1d1ebff1c6dc4deed1cd9f9a4885e5458ca9 /util | |
| parent | 2f764fa87d2a81812b313dd6d998e10126292653 (diff) | |
intel-iommu: trace domain id during page walk
This patch only modifies the trace points.
Previously we were tracing page walk levels. They are redundant since
we have page mask (size) already. Now we trace something much more
useful which is the domain ID of the page walking. That can be very
useful when we trace more than one devices on the same system, so that
we can know which map is for which domain.
CC: QEMU Stable <qemu-stable@nongnu.org>
Signed-off-by: Peter Xu <peterx@redhat.com>
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions