#ifdef KERNEL
#ifndef __ASSEMBLER__
+
+#if !defined(__LP64__) || defined(XNU_KERNEL_PRIVATE)
/*
* Machine-dependent SPL definitions.
*
extern void spln(unsigned int level);
#define splstatclock() splhigh()
+#endif /* !__LP64__ || XNU_KERNEL_PRIVATE */
+
#endif /* __ASSEMBLER__ */
#endif /* KERNEL */