+/* DBG_IOKIT/DBG_IOSERVICE codes */
+#define IOSERVICE_BUSY 1 /* 0x05080004 */
+#define IOSERVICE_NONBUSY 2 /* 0x05080008 */
+#define IOSERVICE_MODULESTALL 3 /* 0x0508000C */
+#define IOSERVICE_MODULEUNSTALL 4 /* 0x05080010 */
+
+#define IOSERVICE_TERMINATE_PHASE1 5 /* 0x05080014 */
+#define IOSERVICE_TERMINATE_REQUEST_OK 6 /* 0x05080018 */
+#define IOSERVICE_TERMINATE_REQUEST_FAIL 7 /* 0x0508001C */
+#define IOSERVICE_TERMINATE_SCHEDULE_STOP 8 /* 0x05080020 */
+#define IOSERVICE_TERMINATE_SCHEDULE_FINALIZE 9 /* 0x05080024 */
+#define IOSERVICE_TERMINATE_WILL 10 /* 0x05080028 */
+#define IOSERVICE_TERMINATE_DID 11 /* 0x0508002C */
+#define IOSERVICE_TERMINATE_DID_DEFER 12 /* 0x05080030 */
+#define IOSERVICE_TERMINATE_FINALIZE 13 /* 0x05080034 */
+#define IOSERVICE_TERMINATE_STOP 14 /* 0x05080038 */
+#define IOSERVICE_TERMINATE_STOP_NOP 15 /* 0x0508003C */
+#define IOSERVICE_TERMINATE_STOP_DEFER 16 /* 0x05080040 */
+#define IOSERVICE_TERMINATE_DONE 17 /* 0x05080044 */
+
+#define IOSERVICE_KEXTD_ALIVE 18 /* 0x05080048 */
+#define IOSERVICE_KEXTD_READY 19 /* 0x0508004C */
+#define IOSERVICE_REGISTRY_QUIET 20 /* 0x05080050 */
+