VOID __fastcall MiFreePlaceholderStorage(INT64 a1){
__int64 *VadWakeList;
__int64 *v2;
VadWakeList = MiGetVadWakeList(a1, 128);
v2 = VadWakeList;
if( VadWakeList )
{
MiFreePlaceholderVadEvent((INT64)VadWakeList);
ExFreePoolWithTag(v2, 0);
}
}