-#else /* !defined(__i386__) && !defined(__x86_64__) && !defined(__arm__) */
-#error Unsupported architecture
-#endif /* !defined(__i386__) && !defined(__x86_64__) && !defined(__arm__) */
+
+
+#else /* !CONFIG_REQUIRES_U32_MUNGING || (__arm__ && (__BIGGEST_ALIGNMENT__ > 4)) */
+
+#if !MACH_ASSERT
+#define MACH_TRAP(name, arg_count, u32_arg_words, munge32) \
+ { (arg_count), (kern_return_t (*)(void *)) (name), (u32_arg_words) }
+#else /* !MACH_ASSERT */
+#define MACH_TRAP(name, arg_count, u32_arg_words, munge32) \
+ { (arg_count), (kern_return_t (*)(void *)) (name), (u32_arg_words), #name }
+#endif /* !MACH_ASSERT */
+
+#endif /* !CONFIG_REQUIRES_U32_MUNGING */