case VKI_PR_SET_ENDIAN:
PRE_REG_READ2(int, "prctl", int, option, int, value);
break;
+ case VKI_PR_SET_PTRACER:
+ PRE_REG_READ2(int, "prctl", int, option, int, ptracer_process_ID);
+ break;
default:
PRE_REG_READ5(long, "prctl",
int, option, unsigned long, arg2, unsigned long, arg3,
# define VKI_PR_ENDIAN_BIG 0
# define VKI_PR_ENDIAN_LITTLE 1 /* True little endian mode */
# define VKI_PR_ENDIAN_PPC_LITTLE 2 /* "PowerPC" pseudo little endian */
+#define VKI_PR_SET_PTRACER 0x59616d61
//----------------------------------------------------------------------
// From linux-2.6.19/include/linux/usbdevice_fs.h