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