IN EFI_HOB_PLATFORM_INFO *PlatformInfoHob\r
);\r
\r
+VOID\r
+EFIAPI\r
+PlatformMemMapInitialization (\r
+ IN OUT EFI_HOB_PLATFORM_INFO *PlatformInfoHob\r
+ );\r
+\r
+/**\r
+ * Fetch "opt/ovmf/PcdSetNxForStack" from QEMU\r
+ *\r
+ * @param Setting The pointer to the setting of "/opt/ovmf/PcdSetNxForStack".\r
+ * @return EFI_SUCCESS Successfully fetch the settings.\r
+ */\r
+EFI_STATUS\r
+EFIAPI\r
+PlatformNoexecDxeInitialization (\r
+ IN OUT EFI_HOB_PLATFORM_INFO *PlatformInfoHob\r
+ );\r
+\r
+VOID\r
+EFIAPI\r
+PlatformMiscInitialization (\r
+ IN EFI_HOB_PLATFORM_INFO *PlatformInfoHob\r
+ );\r
+\r
+/**\r
+ Fetch the boot CPU count and the possible CPU count from QEMU, and expose\r
+ them to UefiCpuPkg modules.\r
+**/\r
+VOID\r
+EFIAPI\r
+PlatformMaxCpuCountInitialization (\r
+ IN OUT EFI_HOB_PLATFORM_INFO *PlatformInfoHob\r
+ );\r
+\r
#endif // PLATFORM_INIT_LIB_H_\r