+#define DKIOCGETMAXPRIORITYCOUNT _IOR('d', 84, uint32_t)
+
+#ifdef XNU_KERNEL_PRIVATE
+typedef struct
+{
+ boolean_t mi_mdev; /* Is this a memdev device? */
+ boolean_t mi_phys; /* Physical memory? */
+ uint32_t mi_base; /* Base page number of the device? */
+ uint64_t mi_size; /* Size of the device (in ) */
+} dk_memdev_info_t;
+
+typedef dk_memdev_info_t memdev_info_t;
+
+#define DKIOCGETMEMDEVINFO _IOR('d', 90, dk_memdev_info_t)
+#endif /* XNU_KERNEL_PRIVATE */