tree 72eb29a53ab5f36ecd323fce6cf1f1622ad3baf3
parent dcba65f824817596e817a43f83ef83bac9099e76
author Kevin Wolf <kwolf@redhat.com> 1601913523 +0200
committer Markus Armbruster <armbru@redhat.com> 1602220099 +0200

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>