diff options
Diffstat (limited to 'mps/code/vmw3.c')
| -rw-r--r-- | mps/code/vmw3.c | 10 |
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 | ||
| 153 | failReserve: | 153 | failReserve: |
| 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 | ||