vm_offset_t videoMapping;
vm_size_t videoAllocSize;
vm_size_t videoMapSize;
+ uint8_t * consoleMapping;
uint8_t haveFastBoot;
uint8_t saveBootAudioVolume;
uint8_t wiredCryptKey[kIOHibernateAESKeySize / 8];
hibernate_sum(uint8_t *buf, int32_t len);
extern vm_offset_t sectHIBB;
-extern int sectSizeHIB;
+extern unsigned long sectSizeHIB;
extern vm_offset_t sectDATAB;
-extern int sectSizeDATA;
+extern unsigned long sectSizeDATA;
+#if defined(__i386__) || defined(__x86_64__)
+extern vm_offset_t sectINITPTB;
+#endif
+
+extern vm_offset_t gIOHibernateWakeMap; // ppnum
+extern vm_size_t gIOHibernateWakeMapSize;