instrs: Add WRMSRNS

decode-test.c

@@ -417,6 +417,7 @@ main(int argc, char** argv)
     // TODO: MOVDIR64B first operand has address size.
     // TEST32("\x67\x66\x0f\x38\xf8\x01", "movdir64b ax, zmmword ptr [cx]");
     // TEST64("\x67\x66\x0f\x38\xf8\x01", "movdir64b eax, zmmword ptr [ecx]");
+    TEST("\x0f\x01\xc6", "wrmsrns");
     TEST64("\xf2\x0f\x01\xc6", "rdmsrlist");
     TEST64("\xf3\x0f\x01\xc6", "wrmsrlist");
 

encode-test.inc

@@ -177,6 +177,7 @@ TEST("", MOV64ar, FE_ADDR32, 0xfedcba98, FE_CX);
 
 TEST("\xc7\xf8\x02\x00\x00\x00", XBEGIN, 0, FE_PTR(8));
 
+TEST("\x0f\x01\xc6", WRMSRNS, 0);
 TEST("\xf2\x0f\x01\xc6", RDMSRLIST, 0);
 TEST("\xf3\x0f\x01\xc6", WRMSRLIST, 0);
 

instrs.txt

@@ -1613,6 +1613,9 @@ F3.0f01ee              NP   -   -   -   -   CLUI        O64     F=UINTR
 F3.0f01ef              NP   -   -   -   -   STUI        O64     F=UINTR
 F3.0fc7/6r             M    Ry  -   -   -   SENDUIPI    O64 D64 F=UINTR
 
+# WRMSRNS
+NP.0f01c6              NP   -   -   -   -   WRMSRNS             F=WRMSRNS
+
 # MSRLIST
 F2.0f01c6              NP   -   -   -   -   RDMSRLIST   O64     F=MSRLIST
 F3.0f01c6              NP   -   -   -   -   WRMSRLIST   O64     F=MSRLIST