+
+extern OSSymbol * gPlatformInterruptControllerName;
+
+extern const OSSymbol * gIOPlatformSleepActionKey;
+extern const OSSymbol * gIOPlatformWakeActionKey;
+extern const OSSymbol * gIOPlatformQuiesceActionKey;
+extern const OSSymbol * gIOPlatformActiveActionKey;