--- i386-tdep.c | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) --- a/i386-tdep.c +++ b/i386-tdep.c @@ -4847,9 +4847,6 @@ reswitch: /* int3 */ /* XXX */ case 0xcc: - printf_unfiltered (_("Process record doesn't support instruction " - "int3.\n")); - ir.addr -= 1; goto no_support; break; @@ -4958,10 +4955,8 @@ reswitch: /* rdtsc */ case 0x0f31: - printf_unfiltered (_("Process record doesn't support " - "instruction rdtsc.\n")); - ir.addr -= 2; - goto no_support; + I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REAX_REGNUM); + I386_RECORD_ARCH_LIST_ADD_REG (X86_RECORD_REDX_REGNUM); break; /* sysenter */