MiMarkPxeAsShadowed

NTSTATUS __stdcall MiMarkPxeAsShadowed(UINT64 a1){
  unsigned int v1; 
  NTSTATUS result; 
  _KLOCK_QUEUE_HANDLE LockHandle; 

  memset(&LockHandle, 0, sizeof(LockHandle));
  v1 = (((unsigned int)a1 >> 3) & 0x1FF) - 256;
  KeAcquireInStackQueuedSpinLock((PKSPIN_LOCK)&stru_140C4DB30 + 522, &LockHandle);
  _bittestandset((signed __int32 *)&stru_140C4DB30 + 291, v1);
  KeReleaseInStackQueuedSpinLockFromDpcLevel(&LockHandle);
  result = KiIrqlFlags;
  __writecr8(LockHandle.OldIrql);
  return result;
}

Referenced by: