--- libmalloc/libmalloc-521.120.7/src/internal.h
+++ libmalloc/libmalloc-521.100.59/src/internal.h
@@ -110,9 +110,6 @@
 # if !MALLOC_TARGET_EXCLAVES_INTROSPECTOR
 typedef void plat_map_t;
 # else
-#  if !defined(__x86_64__)
-#   include <l4/l4.h>
-#  endif // !defined(__x86_64__)
 typedef plat_map_exclaves_t plat_map_t;
 # endif // !MALLOC_TARGET_EXCLAVES_INTROSPECTOR
 #else
@@ -217,7 +214,6 @@
 # define roundup(x, y) ((((x) % (y)) == 0) ? \
 					   (x) : ((x) + ((y) - ((x) % (y)))))
 #endif // !MALLOC_TARGET_EXCLAVES
-#define rounddown(x,y)  (((x)/(y))*(y))
 #include <sys/types.h>
 #if !MALLOC_TARGET_EXCLAVES
 # include <sys/ulock.h>
@@ -288,9 +284,7 @@
 #endif // !MALLOC_TARGET_EXCLAVES && MALLOC_TARGET_EXCLAVES_INTROSPECTOR
 #include "xzone/xzone_introspect.h"
 #include "xzone/xzone_malloc.h"
-#if !(MALLOC_TARGET_EXCLAVES_INTROSPECTOR && defined(__x86_64__))
-# include "xzone/xzone_inline_internal.h"
-#endif // !(MALLOC_TARGET_EXCLAVES_INTROSPECTOR && defined(__x86_64__))
+#include "xzone/xzone_inline_internal.h"
 #if !MALLOC_TARGET_EXCLAVES
 # include "stack_logging.h"
 # include "stack_trace.h"