VOID __fastcall VmFreePreallocationForRangeCreate(INT64 a1){
DEVICE_OBJECT *v1;
void *v2;
v1 = *(DEVICE_OBJECT **)(*((_QWORD *)KeGetCurrentThread() + 23) + 2288i64);
if( !v1 )
NT_ASSERT("0");
v2 = (void *)VmpDecodePreallocationRangeHandle(v1);
VmpFreeMemoryRanges(v2);
}