Add altp2m information to HVM events as well when altp2m is active.
Signed-off-by: Tamas K Lengyel <tamas@tklengyel.com>
Acked-by: Razvan Cojocaru <rcojocaru@bitdefender.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
#include <xen/paging.h>
#include <asm/hvm/event.h>
#include <asm/monitor.h>
+#include <asm/altp2m.h>
#include <public/vm_event.h>
static void hvm_event_fill_regs(vm_event_request_t *req)
vm_event_vcpu_pause(curr);
}
+ if ( altp2m_active(currd) )
+ {
+ req->flags |= VM_EVENT_FLAG_ALTERNATE_P2M;
+ req->altp2m_idx = vcpu_altp2m(curr).p2midx;
+ }
+
hvm_event_fill_regs(req);
vm_event_put_request(currd, &currd->vm_event->monitor, req);