+enum {
+ kIOTraceInterrupts = 0x00000001ULL, // Trace primary interrupts
+ kIOTraceWorkLoops = 0x00000002ULL, // Trace workloop activity
+ kIOTraceEventSources = 0x00000004ULL, // Trace non-passive event sources
+ kIOTraceIntEventSource = 0x00000008ULL, // Trace IOIES and IOFIES sources
+ kIOTraceCommandGates = 0x00000010ULL, // Trace command gate activity
+ kIOTraceTimers = 0x00000020ULL, // Trace timer event source activity
+
+ kIOTracePowerMgmt = 0x00000400ULL, // Trace power management changes
+
+ kIOTraceIOService = 0x00080000ULL, // registerService/termination
+
+ kIOTraceCompatBootArgs = kIOTraceIOService | kIOTracePowerMgmt
+};
+
+enum {
+ kIODKEnable = 0x00000001ULL,
+ kIODKLogSetup = 0x00000002ULL,
+ kIODKLogIPC = 0x00000004ULL,
+ kIODKLogPM = 0x00000008ULL,
+ kIODKLogMessages = 0x00000010ULL,
+
+ kIODKDisablePM = 0x000000100ULL,
+ kIODKDisableDextLaunch = 0x00001000ULL,
+ kIODKDisableDextTag = 0x00002000ULL,
+ kIODKDisableCDHashChecking = 0x00004000ULL,
+ kIODKDisableEntitlementChecking = 0x00008000ULL,
+};
+
+#if XNU_KERNEL_PRIVATE
+
+#define DKLOG(fmt, args...) { IOLog("DK: " fmt, ## args); }
+#define DKS "%s-0x%qx"
+#define DKN(s) s->getName(), s->getRegistryEntryID()
+
+#endif /* XNU_KERNEL_PRIVATE */
+