--- /dev/null
+#ifndef __LUNAIX_AA64_CPU_H
+#define __LUNAIX_AA64_CPU_H
+
+#include <sys/msrs.h>
+
+void
+cpu_trap_sched();
+
+static inline void
+cpu_enable_interrupt()
+{
+ set_sysreg(ALLINT_EL1, 0);
+}
+
+static inline void
+cpu_disable_interrupt()
+{
+ set_sysreg(ALLINT_EL1, 1 << 12);
+}
+
+#endif /* __LUNAIX_AA64_CPU_H */