#ifndef __DXE_MEMORY_ALLOCATION_LIB_INTERNALS_H__\r
#define __DXE_MEMORY_ALLOCATION_LIB_INTERNALS_H__\r
\r
+#include <PiDxe.h>\r
+#include <Library/MemoryAllocationLib.h>\r
+#include <Library/UefiBootServicesTableLib.h>\r
+#include <Library/BaseMemoryLib.h>\r
+#include <Library/DebugLib.h>\r
+\r
+\r
/**\r
Allocates one or more 4KB pages of a certain memory type.\r
\r