commit | 7716417eac82b319b204f29224ffe1a6d2c0668a | [log] [tgz] |
---|---|---|
author | Paolo Bonzini <pbonzini@redhat.com> | Tue Apr 26 13:58:59 2022 +0200 |
committer | Paolo Bonzini <pbonzini@redhat.com> | Tue Jun 14 16:50:30 2022 +0200 |
tree | f63d87faaa380d880766b480d94040c08d5e40df | |
parent | 068cc51d42f771d2a453d628c10e199e7d104edd [diff] |
hmp: add filtering of statistics by provider Allow the user to request statistics for a single provider of interest. Extracted from a patch by Mark Kanda. Reviewed-by: Dr. David Alan Gilbert <dgilbert@redhat.com> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>