VmpProcessContextLockExclusive

NTSTATUS __stdcall VmpProcessContextLockExclusive(INT64 *SpinLock){
  unsigned __int8 CurrentIrql; 
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xFui64);
  ExAcquireSpinLockExclusiveAtDpcLevel(SpinLock);
  return CurrentIrql;
}

Referenced by:

VmpFlushTb
VmpFlushTbVaRange
VmpInsertMemoryRange
VmpMergeMemoryRanges
VmpRemoveMemoryRange
VmpSplitMemoryRange