+#else /* DEVELOPMENT || DEBUG */
+ (void) wkbuf;
+#endif
+}
+
+//todo fix clang diagnostic
+#pragma clang diagnostic push
+#pragma clang diagnostic ignored "-Wincompatible-pointer-types"
+
+#if defined(__arm64__)
+#endif
+
+static inline void
+WKdmD(WK_word* src_buf, WK_word* dest_buf, WK_word* scratch, unsigned int bytes)
+{
+#if defined(__arm64__)
+#endif
+ WKdm_hv(src_buf);
+#if defined(__arm64__)
+ if (PAGE_SIZE == 4096) {
+ WKdm_decompress_4k(src_buf, dest_buf, scratch, bytes);
+ } else {
+ __unused uint64_t wdsstart;
+
+ VM_COMPRESSOR_STAT_DBG(wdsstart = mach_absolute_time());
+ WKdm_decompress_16k(src_buf, dest_buf, scratch, bytes);
+
+ VM_COMPRESSOR_STAT_DBG(compressor_stats.wks_dabstime += mach_absolute_time() - wdsstart);
+ VM_COMPRESSOR_STAT(compressor_stats.wks_decompressions++);
+ }
+#else /* !defined arm64 */