diff options
| author | Kevin Wolf <kwolf@redhat.com> | 2020-10-05 17:58:43 +0200 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2020-10-09 07:08:19 +0200 |
| commit | 87e6f4a4d6885006931b371771e2933c40700427 (patch) | |
| tree | 72eb29a53ab5f36ecd323fce6cf1f1622ad3baf3 /trace | |
| parent | dcba65f824817596e817a43f83ef83bac9099e76 (diff) | |
monitor: Add Monitor parameter to monitor_get_cpu_index()
Most callers actually don't have to rely on cur_mon, but already know
for which monitor they call monitor_get_cpu_index().
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
Message-Id: <20201005155855.256490-3-kwolf@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Diffstat (limited to 'trace')
0 files changed, 0 insertions, 0 deletions