+#include <sys/cdefs.h>
+
+/*
+ * Definitions
+ *
+ * ioctl description
+ * -------------------------------- --------------------------------------------
+ * DKIOCEJECT eject media
+ * DKIOCSYNCHRONIZECACHE flush media
+ *
+ * DKIOCFORMAT format media
+ * DKIOCGETFORMATCAPACITIES get media's formattable capacities
+ *
+ * DKIOCGETBLOCKSIZE get media's block size
+ * DKIOCGETBLOCKCOUNT get media's block count
+ * DKIOCGETFIRMWAREPATH get media's firmware path
+ *
+ * DKIOCISFORMATTED is media formatted?
+ * DKIOCISWRITABLE is media writable?
+ *
+ * DKIOCGETMAXBLOCKCOUNTREAD get maximum block count for reads
+ * DKIOCGETMAXBLOCKCOUNTWRITE get maximum block count for writes
+ * DKIOCGETMAXBYTECOUNTREAD get maximum byte count for reads
+ * DKIOCGETMAXBYTECOUNTWRITE get maximum byte count for writes
+ * DKIOCGETMAXSEGMENTCOUNTREAD get maximum segment count for reads
+ * DKIOCGETMAXSEGMENTCOUNTWRITE get maximum segment count for writes
+ * DKIOCGETMAXSEGMENTBYTECOUNTREAD get maximum segment byte count for reads
+ * DKIOCGETMAXSEGMENTBYTECOUNTWRITE get maximum segment byte count for writes
+ */
+
+#if __DARWIN_ALIGN_POWER
+#pragma options align=power
+#endif