#include "memory/Heap.h" #include "arch/MMU.h" #include "memory/MemoryManager.h" #include Result allocate_pages_impl(usize count) { return (void*)TRY(MemoryManager::alloc_for_kernel(count, MMU::ReadWrite | MMU::NoExecute)); } Result release_pages_impl(void* address, usize count) { return MemoryManager::unmap_owned_and_free_vm((u64)address, count); }