|
@@ -48,7 +48,6 @@ int _DkVirtualMemoryAlloc (void ** paddr, uint64_t size, int alloc_type,
|
|
|
int flags = HOST_FLAGS(alloc_type, prot|PAL_PROT_WRITECOPY);
|
|
int flags = HOST_FLAGS(alloc_type, prot|PAL_PROT_WRITECOPY);
|
|
|
mem = (void *) ARCH_MMAP(addr, size, prot, flags, -1, 0);
|
|
mem = (void *) ARCH_MMAP(addr, size, prot, flags, -1, 0);
|