1 /* 2 * Copyright 2022 Haiku, Inc. All rights reserved. 3 * Released under the terms of the MIT License. 4 */ 5 #ifndef EFI_GENERIC_MMU_H 6 #define EFI_GENERIC_MMU_H 7 8 9 #include <SupportDefs.h> 10 #include <efi/types.h> 11 #include <efi/boot-services.h> 12 13 14 void build_physical_memory_list(size_t memoryMapSize, efi_memory_descriptor *memoryMap, 15 size_t descriptorSize, uint32_t descriptorVersion, 16 uint64_t physicalMemoryLow, uint64_t physicalMemoryHigh); 17 18 void build_physical_allocated_list(size_t memoryMapSize, efi_memory_descriptor *memoryMap, 19 size_t descriptorSize, uint32_t descriptorVersion); 20 21 const char* memory_region_type_str(int type); 22 23 24 #endif /* EFI_GENERIC_MMU_H */ 25