RDPMC instruction

This commit is contained in:
Cosmin Apreutesei 2015-10-29 23:52:26 +02:00
parent 0029110ce9
commit 4b76a00f65

View File

@ -1116,6 +1116,7 @@ local map_op = {
shrd_3 = "mriqdw:0FACRmU|mrC/qq:0FADRm|mrC/dd:|mrC/ww:",
rdtsc_0 = "0F31", -- P1+
rdpmc_0 = "0F33",
cpuid_0 = "0FA2", -- P1+
-- floating point ops