MiLockPageInline

INT64 __fastcall MiLockPageInline(INT64 a1){
  unsigned __int8 CurrentIrql; 
  UINT64 SpinCount; 
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(2ui64);
  LODWORD(SpinCount) = 0;
  while( _interlockedbittestandset64((volatile signed __int32 *)(a1 + 24), 0x3Fui64) )
  {
    do
      KeYieldProcessorEx(&SpinCount);
    while( *(__int64 *)(a1 + 24) < 0 );
  }
  return CurrentIrql;
}

Referenced by: