7#define MiB (1024ULL * KiB)
8#define GiB (1024ULL * MiB)
9#define TiB (1024ULL * GiB)
void mm_bootstrap(ptr_t usable_page)
void * mm_alloc_pages(uint64_t count)
void mm_print_physical_free_regions(void)
void mm_mark_physical_pages(ptr_t start, uint64_t count, mm_page_status_t status)
void mm_make_writeable(ptr_t address, int writeable)
ptr_t mm_highest_address(void)
void mm_set_caching_mode(mm_caching_mode_t mode, ptr_t start, size_t len)
@ MM_UEFI_MAPPING_REQUIRED