aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/vmw3.c
diff options
context:
space:
mode:
Diffstat (limited to 'mps/code/vmw3.c')
-rw-r--r--mps/code/vmw3.c10
1 files changed, 5 insertions, 5 deletions
diff --git a/mps/code/vmw3.c b/mps/code/vmw3.c
index ee33544793b..f864d315749 100644
--- a/mps/code/vmw3.c
+++ b/mps/code/vmw3.c
@@ -151,7 +151,7 @@ Res VMCreate(VM *vmReturn, Size size)
151 return ResOK; 151 return ResOK;
152 152
153failReserve: 153failReserve:
154 b = VirtualFree((LPVOID)vm, (DWORD)0, MEM_RELEASE); 154 b = VirtualFree((LPVOID)vm, (SIZE_T)0, MEM_RELEASE);
155 AVER(b != 0); 155 AVER(b != 0);
156 return res; 156 return res;
157} 157}
@@ -171,10 +171,10 @@ void VMDestroy(VM vm)
171 * fail and it would be nice to have a dead sig there. */ 171 * fail and it would be nice to have a dead sig there. */
172 vm->sig = SigInvalid; 172 vm->sig = SigInvalid;
173 173
174 b = VirtualFree((LPVOID)vm->base, (DWORD)0, MEM_RELEASE); 174 b = VirtualFree((LPVOID)vm->base, (SIZE_T)0, MEM_RELEASE);
175 AVER(b != 0); 175 AVER(b != 0);
176 176
177 b = VirtualFree((LPVOID)vm, (DWORD)0, MEM_RELEASE); 177 b = VirtualFree((LPVOID)vm, (SIZE_T)0, MEM_RELEASE);
178 AVER(b != 0); 178 AVER(b != 0);
179 EVENT_P(VMDestroy, vm); 179 EVENT_P(VMDestroy, vm);
180} 180}
@@ -238,7 +238,7 @@ Res VMMap(VM vm, Addr base, Addr limit)
238 /* .improve.query-map: We could check that the pages we are about to 238 /* .improve.query-map: We could check that the pages we are about to
239 * map are unmapped using VirtualQuery. */ 239 * map are unmapped using VirtualQuery. */
240 240
241 b = VirtualAlloc((LPVOID)base, (DWORD)AddrOffset(base, limit), 241 b = VirtualAlloc((LPVOID)base, (SIZE_T)AddrOffset(base, limit),
242 MEM_COMMIT, PAGE_EXECUTE_READWRITE); 242 MEM_COMMIT, PAGE_EXECUTE_READWRITE);
243 if (b == NULL) 243 if (b == NULL)
244 return ResMEMORY; 244 return ResMEMORY;
@@ -268,7 +268,7 @@ void VMUnmap(VM vm, Addr base, Addr limit)
268 268
269 /* .improve.query-unmap: Could check that the pages we are about */ 269 /* .improve.query-unmap: Could check that the pages we are about */
270 /* to unmap are mapped, using VirtualQuery. */ 270 /* to unmap are mapped, using VirtualQuery. */
271 b = VirtualFree((LPVOID)base, (DWORD)AddrOffset(base, limit), MEM_DECOMMIT); 271 b = VirtualFree((LPVOID)base, (SIZE_T)AddrOffset(base, limit), MEM_DECOMMIT);
272 AVER(b != 0); /* .assume.free.success */ 272 AVER(b != 0); /* .assume.free.success */
273 vm->mapped -= AddrOffset(base, limit); 273 vm->mapped -= AddrOffset(base, limit);
274 274