---
 i386-tdep.c |   10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

--- a/i386-tdep.c
+++ b/i386-tdep.c
@@ -4847,10 +4847,6 @@ reswitch:
       /* int3 */
       /* XXX */
     case 0xcc:
-      printf_unfiltered (_("Process record doesn't support instruction "
-			   "int3.\n"));
-      ir.addr -= 1;
-      goto no_support;
       break;
 
       /* int */
@@ -4958,10 +4954,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 */