Function KernelFree2MPages

Kernel/src/arch/x86_64/paging.cpp:476–482

	}

	void KernelFree2MPages(void* addr, uint64_t amount){
		while(amount--){
			uint64_t pageDirIndex = PAGE_DIR_GET_INDEX((uint64_t)addr);
			kernelHeapDir[pageDirIndex] = 0;
			addr = (void*)((uint64_t)addr + 0x200000);
		}
	}

	void Free4KPages(void* addr, uint64_t amount, address_space_t* addressSpace){
		uint64_t pml4Index, pdptIndex, pageDirIndex, pageIndex;