Function KernelFree4KPages

Kernel/src/arch/x86_64/paging.cpp:463–474

	}
	
	void KernelFree4KPages(void* addr, uint64_t amount){
		uint64_t pageDirIndex, pageIndex;
		uint64_t virt = (uint64_t)addr;

		while(amount--){
			pageDirIndex = PAGE_DIR_GET_INDEX(virt);
			pageIndex = PAGE_TABLE_GET_INDEX(virt);
			kernelHeapDirTables[pageDirIndex][pageIndex] = 0;
			invlpg(virt);
			virt += PAGE_SIZE_4K;
		}
	}

	void KernelFree2MPages(void* addr, uint64_t amount){
		while(amount--){