+/*
+ * mach thread scheduler state
+ */
+inline int TH_WAIT = 0x01;
+#pragma D binding "1.0" TH_WAIT
+inline int TH_SUSP = 0x02;
+#pragma D binding "1.0" TH_SUSP
+inline int TH_RUN = 0x04;
+#pragma D binding "1.0" TH_RUN
+inline int TH_UNINT = 0x08;
+#pragma D binding "1.0" TH_UNINT
+inline int TH_TERMINATE = 0x10;
+#pragma D binding "1.0" TH_TERMINATE
+inline int TH_TERMINATE2 = 0x20;
+#pragma D binding "1.0" TH_TERMINATE2
+inline int TH_IDLE = 0x80;
+#pragma D binding "1.0" TH_IDLE
+