+#ifdef XNU_KERNEL_PRIVATE
+/* ARM64_TODO: move to higher memory */
+#endif
+#define SHARED_REGION_BASE_ARM64 0x180000000ULL
+#define SHARED_REGION_SIZE_ARM64 0x28000000ULL
+#define SHARED_REGION_NESTING_BASE_ARM64 0x180000000ULL
+#define SHARED_REGION_NESTING_SIZE_ARM64 0x28000000ULL
+#define SHARED_REGION_NESTING_MIN_ARM64 ?
+#define SHARED_REGION_NESTING_MAX_ARM64 ?
+
+#if defined(__i386__)
+#define SHARED_REGION_BASE SHARED_REGION_BASE_I386
+#define SHARED_REGION_SIZE SHARED_REGION_SIZE_I386
+#define SHARED_REGION_NESTING_BASE SHARED_REGION_NESTING_BASE_I386
+#define SHARED_REGION_NESTING_SIZE SHARED_REGION_NESTING_SIZE_I386
+#define SHARED_REGION_NESTING_MIN SHARED_REGION_NESTING_MIN_I386
+#define SHARED_REGION_NESTING_MAX SHARED_REGION_NESTING_MAX_I386
+#elif defined(__x86_64__)
+#define SHARED_REGION_BASE SHARED_REGION_BASE_X86_64
+#define SHARED_REGION_SIZE SHARED_REGION_SIZE_X86_64
+#define SHARED_REGION_NESTING_BASE SHARED_REGION_NESTING_BASE_X86_64
+#define SHARED_REGION_NESTING_SIZE SHARED_REGION_NESTING_SIZE_X86_64
+#define SHARED_REGION_NESTING_MIN SHARED_REGION_NESTING_MIN_X86_64
+#define SHARED_REGION_NESTING_MAX SHARED_REGION_NESTING_MAX_X86_64
+#endif
+
+#ifdef KERNEL_PRIVATE
+
+/*
+ * This is routine sets the current source of power.
+ * Arguments:
+ * 0 if it is external source (connected to power )
+ * 1 if it is internal power source ie battery
+ */
+
+void post_sys_powersource(int);
+
+#endif /* KERNEL_PRIVATE */