On 06/01/2020 16:35, Jan Beulich wrote: > Note that SDM revision 070 doesn't specify exception behavior for > ModRM.mod != 0b11; assuming #UD here.
Don't you mean mod == 11 here? My Jacobsville SDP does have MOVDIRI, and 0F 38 F9 C0 does result in #UD, whereas the example from the test emulator below (ModRM byte as 0x11) does function as expected. ~Andrew _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel