BBT
/
arch
/
x86_64
/
RDPID
RDPID
RDPID
RDPID
x86_64
4 encoding forms.
X86_RDPID_X86_LEGACY_0F_C7_152719
r32
X86_LEGACY
C7
/7
RDPID
X86_RDPID_X86_LEGACY_0F_C7_735914
r64
X86_LEGACY
C7
/7
RDPID
XED_RDPID_GPR32u32
REG0=GPR32_B():w:d:u32 REG1=XED_REG_TSCAUX:r:SUPP:d:u32
X86_LEGACY
C7
/7
RDPID
XED_RDPID_GPR64u64
REG0=GPR64_B():w:q:u64 REG1=XED_REG_TSCAUX:r:SUPP:d:u32
X86_LEGACY
C7
/7
RDPID