+/* 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 */
+
+#define IOSERVICE_TERM_SET_INACTIVE 21 /* 0x05080054 */
+#define IOSERVICE_TERM_SCHED_PHASE2 22 /* 0x05080058 */
+#define IOSERVICE_TERM_START_PHASE2 23 /* 0x0508005C */
+#define IOSERVICE_TERM_TRY_PHASE2 24 /* 0x05080060 */
+#define IOSERVICE_TERM_UC_DEFER 25 /* 0x05080064 */
+#define IOSERVICE_DETACH 26 /* 0x05080068 */
+
+/* DBG_IOKIT/DBG_IOREGISTRY codes */
+#define IOREGISTRYENTRY_NAME_STRING 1 /* 0x05090004 */
+#define IOREGISTRYENTRY_NAME 2 /* 0x05090008 */
+