INT64 __fastcall MiLockPageAtDpc(INT64 a1){
INT64 result;
UINT64 SpinCount;
LODWORD(SpinCount) = 0;
while( _interlockedbittestandset64((volatile signed __int32 *)(a1 + 24), 0x3Fui64) )
{
do
{
KeYieldProcessorEx(&SpinCount);
result = *(_QWORD *)(a1 + 24);
}
while( result < 0 );
}
return result;
}