My workaround for now is just something like

     int mode = hvm_guest_x86_mode(curr);

     uint32_t eax = regs->eax;


+    if(eax == 0xFACE) {
+        hvm_event_guest_request();
+        return 1;
+    }
+

     switch ( mode )
     {
     case 8:

This way I don't have to worry about if it's a 32 or 64 bit guest. As
long as I set EAX to 0xFACE before VMCALL, I can define my own calling
convention for the rest of the registers.

Might not be what you'd want, but just thought I'd share.

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel

Reply via email to