VmpProcessContextLockExclusive

NTSTATUS __fastcall VmpProcessContextLockExclusive(INT64 *SpinLock){
  unsigned __int8 CurrentIrql; 

  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xFui64);
  ExAcquireSpinLockExclusiveAtDpcLevel(SpinLock);
  return CurrentIrql;
}

Referenced by:

VmpFlushTb
VmpFlushTbVaRange
VmpInsertMemoryRange
VmpMergeMemoryRanges
VmpRemoveMemoryRange
VmpSplitMemoryRange